工作流状态面板（示例）

reports/workflow.html 是 P0–P3 验证编排 的人类审阅视图：展示每一步 PASS / FAIL / HUMAN ONLY、P2 分层矩阵与当前阻塞项。Agent 闭环以 JSON 为准；此 HTML 供你快速扫进度、签核与审计。

在线示例（Golden）

下方链接打开 axis_fifo golden 工程的静态快照（与本地 --render-reports 产物同版式）：

打开工作流状态面板示例 →

示例页内指向 p2/、loop/ 等的链接在门户上可能无法跳转；本地 Harness 中这些链接指向真实 reports/ 产物。

本地如何生成

在验证工程根目录（含 klymora.toml）：

# 跑完 verify / orchestrator 后，统一渲染人类视图
klymora-run --render-reports /path/to/harness

# 浏览器打开
xdg-open /path/to/harness/reports/workflow.html
# 或从 Hub 进入：reports/index.html → Workflow

编排器路径（推荐生产）：

klymora-orchestrator run /path/to/harness --resume
# 各 P2 层 prove 通过后 archive；结束时 workflow.html 与 JSON 同步

与 Agent 的分工（双通道）

读者	真源	典型文件
Agent / MCP	JSON	`reports/loop/summary.json`、`reports/p2/P2.N_audit.json`
人	HTML	`reports/workflow.html`、`reports/index.html`、`reports/signoff/`

铁律：Agent 判决以 summary.json 的 stop_reason 为准，不以 HTML 文案或终端颜色代替。HTML 可能滞后于最新一轮 verify（见 AI 验证工作流 §9）。

面板里看什么

工作状态栏 — 当前阻塞步（如 P2.2.prove FAIL）与 orchestrator work_state
P0–P1 管道 — bootstrap、interface、P0.6 SPEC 合稿（子闭环 DESIGN→HUMAN + 产物：SPEC_RTL.md / data_flow_map.json）、compile、tb-wrapper
P2 矩阵 — P2.0–P2.7 每层 RUN / PROVE / HUMAN 三相位；区分 SIGNED OFF 与 HUMAN ONLY
P3 闭环 — verify exec、summary 判决、改码 round
报告坞 — 跳转 compile、interface、record、signoff 等 HTML

P0.6 注意：机器 PASS ≠ 可步进；须人审 .approve。面板链接应对齐 YAML artifacts_out 双产物（SPEC + 数据流图），中英文切换走页内语言按钮。

工作流状态面板（示例）

在线示例（Golden）

本地如何生成

与 Agent 的分工（双通道）

面板里看什么

相关文档