Workflow State

test_axis_fifo · Generated by klymora_report_render
Signoff
Work Status P0.2 Bootstrap Verdict In Progress
Updated 2026-07-27T07:15:54+00:00 workflow_state.json · reconcile JSON
Current Work P0.2 Bootstrap Verdict
Current step P0.2 artifacts lag behind disk results. Run klymora-orchestrator ensure --apply-reconcile to sync state, then continue.
Overall Progress 100% · 22 / 22 steps
PASS22
PENDING0
FAIL0
NOT RUN0
TOTAL22
P0

Environment Setup

7 steps
P0.0
Harness Scaffold
PASS
Report Signed
P0.1
bootstrap exec
PASS
2026-07-27T06:05:25+00:00
Report Signed
P0.2 ▶
Bootstrap Verdict
PASS
Report Signed
P0.3
Read DUT/Inventory
PASS
RTL Signals Signed
P0.4
Interface Skeleton
PASS
Report Signed
P0.5
check-interface
PASS
Report Signed
P0.6
RTL Analysis & SPEC Draft
PASS
P0.6 sub-loop · ENTER→DESIGN→SELF→ACT→PROVE→HUMAN
DESIGN
SELF
ACT
PROVE
HUMAN
RTL SPEC Data Flow Map Signed
P1

Simulation Code

4 steps
P1.0
Architecture Choice
PASS
Architecture Choice Signed
P1.1
Write Testbench
PASS
Signed
P1.2
check-tb-wrapper
PASS
TB wrapper Signed
P1.3
cargo check
PASS
Report Signed
P2

Layered Verification

8 steps
P2.0 L1 Smoke · smoke_* SIGNED OFF Machine + Human Approved
P2.0.design
AI auto · no human gate
DESIGN
SELF
ACT
PASS
Design Audit JSON
P2.0.prove
Human gate required
RUN
PROVE
HUMAN
SIGNED OFF
Prove Audit JSON Prove/Human Signed
P2 Matrix P2 Signoff
Stimulus / Assertion (HTML)
Stimulus waveform SVA capture (live)
RSUT JSON (this layer)
Audit JSON (this layer)
EDA waveform (last --wave): sim_build/verilator/dump.fst

Per-layer snapshot: reports/p2/P2.0/ (copied by post_hook from record/assert); global scratch at footer record/ (shared across layers, not evidence for this layer)

How to --wave this layer (production)

Orchestrator (recommended): klymora-orchestrator run examples/test_axis_fifo --resume --ci (at P2.0.prove: auto --wave --record + archive to reports/p2/P2.0/)

Manual ACT (requires step stamp):

export KLYMORA_ORCHESTRATOR_STEP=P2.0.prove
klymora-run --frust --simulator verilator examples/test_axis_fifo \
--case 'smoke_*' --wave --record

P2 prove requires both --wave (EDA FST/FSDB) and --record (RSUT trace/HTML); bare klymora-run without orchestrator stamp may cause prove FAIL.

P2.1 L2 Functional · func_* SIGNED OFF Machine + Human Approved
P2.1.design
AI auto · no human gate
DESIGN
SELF
ACT
PASS
Design Audit JSON
P2.1.prove
Human gate required
RUN
PROVE
HUMAN
SIGNED OFF
Prove Audit JSON Prove/Human Signed
P2 Matrix P2 Signoff
Stimulus / Assertion (HTML)
Stimulus waveform SVA capture (live)
RSUT JSON (this layer)
Audit JSON (this layer)
EDA waveform (last --wave): sim_build/verilator/dump.fst

Per-layer snapshot: reports/p2/P2.1/ (copied by post_hook from record/assert); global scratch at footer record/ (shared across layers, not evidence for this layer)

How to --wave this layer (production)

Orchestrator (recommended): klymora-orchestrator run examples/test_axis_fifo --resume --ci (at P2.1.prove: auto --wave --record + archive to reports/p2/P2.1/)

Manual ACT (requires step stamp):

export KLYMORA_ORCHESTRATOR_STEP=P2.1.prove
klymora-run --frust --simulator verilator examples/test_axis_fifo \
--case 'func_*' --wave --record

P2 prove requires both --wave (EDA FST/FSDB) and --record (RSUT trace/HTML); bare klymora-run without orchestrator stamp may cause prove FAIL.

P2.2 L3 Stress · stress_* SIGNED OFF Machine + Human Approved
P2.2.design
AI auto · no human gate
DESIGN
SELF
ACT
PASS
Design Audit JSON
P2.2.prove
Human gate required
RUN
PROVE
HUMAN
SIGNED OFF
Prove Audit JSON Prove/Human Signed
P2 Matrix P2 Signoff
Stimulus / Assertion (HTML)
Stimulus waveform SVA capture (live)
RSUT JSON (this layer)
Audit JSON (this layer)
EDA waveform (last --wave): sim_build/verilator/dump.fst

Per-layer snapshot: reports/p2/P2.2/ (copied by post_hook from record/assert); global scratch at footer record/ (shared across layers, not evidence for this layer)

How to --wave this layer (production)

Orchestrator (recommended): klymora-orchestrator run examples/test_axis_fifo --resume --ci (at P2.2.prove: auto --wave --record + archive to reports/p2/P2.2/)

Manual ACT (requires step stamp):

export KLYMORA_ORCHESTRATOR_STEP=P2.2.prove
klymora-run --frust --simulator verilator examples/test_axis_fifo \
--case 'stress_*' --wave --record

P2 prove requires both --wave (EDA FST/FSDB) and --record (RSUT trace/HTML); bare klymora-run without orchestrator stamp may cause prove FAIL.

P2.3 L4 Boundary · boundary_* SIGNED OFF Machine + Human Approved
P2.3.design
AI auto · no human gate
DESIGN
SELF
ACT
PASS
Design Audit JSON
P2.3.prove
Human gate required
RUN
PROVE
HUMAN
SIGNED OFF
Prove Audit JSON Prove/Human Signed
P2 Matrix P2 Signoff
Stimulus / Assertion (HTML)
Stimulus waveform SVA capture (live)
RSUT JSON (this layer)
Audit JSON (this layer)
EDA waveform (last --wave): sim_build/verilator/dump.fst

Per-layer snapshot: reports/p2/P2.3/ (copied by post_hook from record/assert); global scratch at footer record/ (shared across layers, not evidence for this layer)

How to --wave this layer (production)

Orchestrator (recommended): klymora-orchestrator run examples/test_axis_fifo --resume --ci (at P2.3.prove: auto --wave --record + archive to reports/p2/P2.3/)

Manual ACT (requires step stamp):

export KLYMORA_ORCHESTRATOR_STEP=P2.3.prove
klymora-run --frust --simulator verilator examples/test_axis_fifo \
--case 'boundary_*' --wave --record

P2 prove requires both --wave (EDA FST/FSDB) and --record (RSUT trace/HTML); bare klymora-run without orchestrator stamp may cause prove FAIL.

P2.4 L5 Assertion · assert-capture SIGNED OFF Machine + Human Approved
P2.4.design
AI auto · no human gate
DESIGN
SELF
ACT
PASS
Design Audit JSON
P2.4.prove
Human gate required
RUN
PROVE
HUMAN
SIGNED OFF
Prove Audit JSON Prove/Human Signed
P2 Matrix P2 Signoff Assertion Health Assertion Inventory
Stimulus / Assertion (HTML)
Stimulus waveform SVA capture (live) SVA capture (wave) Assertion health (live) Assertion health (wave)
RSUT JSON (this layer)
Audit JSON (this layer)
EDA waveform (last --wave): sim_build/verilator/dump.fst

Per-layer snapshot: reports/p2/P2.4/ (copied by post_hook from record/assert); global scratch at footer record/ (shared across layers, not evidence for this layer)

How to --wave this layer (production)

Orchestrator (recommended): klymora-orchestrator run examples/test_axis_fifo --resume --ci (at P2.4.prove: auto --wave --record + archive to reports/p2/P2.4/)

Manual ACT (requires step stamp):

export KLYMORA_ORCHESTRATOR_STEP=P2.4.prove
klymora-run --frust --simulator verilator examples/test_axis_fifo \
--case 'boundary_*' --wave --record --assert-capture=live

P2 prove requires both --wave (EDA FST/FSDB) and --record (RSUT trace/HTML); bare klymora-run without orchestrator stamp may cause prove FAIL.

P2.5 L6 Error/Exception · error_* SIGNED OFF Machine + Human Approved
P2.5.design
AI auto · no human gate
DESIGN
SELF
ACT
PASS
Design Audit JSON
P2.5.prove
Human gate required
RUN
PROVE
HUMAN
SIGNED OFF
Prove Audit JSON Prove/Human Signed
P2 Matrix P2 Signoff
Stimulus / Assertion (HTML)
Stimulus waveform SVA capture (live)
RSUT JSON (this layer)
Audit JSON (this layer)
EDA waveform (last --wave): sim_build/verilator/dump.fst

Per-layer snapshot: reports/p2/P2.5/ (copied by post_hook from record/assert); global scratch at footer record/ (shared across layers, not evidence for this layer)

How to --wave this layer (production)

Orchestrator (recommended): klymora-orchestrator run examples/test_axis_fifo --resume --ci (at P2.5.prove: auto --wave --record + archive to reports/p2/P2.5/)

Manual ACT (requires step stamp):

export KLYMORA_ORCHESTRATOR_STEP=P2.5.prove
klymora-run --frust --simulator verilator examples/test_axis_fifo \
--case 'error_*' --wave --record

P2 prove requires both --wave (EDA FST/FSDB) and --record (RSUT trace/HTML); bare klymora-run without orchestrator stamp may cause prove FAIL.

P2.6 L7 Long Soak · soak_* SIGNED OFF Machine + Human Approved
P2.6.design
AI auto · no human gate
DESIGN
SELF
ACT
PASS
Design Audit JSON
P2.6.prove
Human gate required
RUN
PROVE
HUMAN
SIGNED OFF
Prove Audit JSON Prove/Human Signed
P2 Matrix P2 Signoff Coverage
Stimulus / Assertion (HTML)
Stimulus waveform SVA capture (live)
RSUT JSON (this layer)
Audit JSON (this layer)
EDA waveform (last --wave): sim_build/verilator/dump.fst

Per-layer snapshot: reports/p2/P2.6/ (copied by post_hook from record/assert); global scratch at footer record/ (shared across layers, not evidence for this layer)

How to --wave this layer (production)

Orchestrator (recommended): klymora-orchestrator run examples/test_axis_fifo --resume --ci (at P2.6.prove: auto --wave --record + archive to reports/p2/P2.6/)

Manual ACT (requires step stamp):

export KLYMORA_ORCHESTRATOR_STEP=P2.6.prove
klymora-run --frust --simulator verilator examples/test_axis_fifo \
--case 'soak_*' --wave --record

P2 prove requires both --wave (EDA FST/FSDB) and --record (RSUT trace/HTML); bare klymora-run without orchestrator stamp may cause prove FAIL.

P2.7 L8 Orchestrated · orch_* SIGNED OFF Machine + Human Approved
P2.7.design
AI auto · no human gate
DESIGN
SELF
ACT
PASS
Design Audit JSON
P2.7.prove
Human gate required
RUN
PROVE
HUMAN
SIGNED OFF
Prove Audit JSON Prove/Human Signed
P2 Matrix P2 Signoff
Stimulus / Assertion (HTML)
Stimulus waveform SVA capture (live)
RSUT JSON (this layer)
Audit JSON (this layer)
EDA waveform (last --wave): sim_build/verilator/dump.fst

Per-layer snapshot: reports/p2/P2.7/ (copied by post_hook from record/assert); global scratch at footer record/ (shared across layers, not evidence for this layer)

How to --wave this layer (production)

Orchestrator (recommended): klymora-orchestrator run examples/test_axis_fifo --resume --ci (at P2.7.prove: auto --wave --record + archive to reports/p2/P2.7/)

Manual ACT (requires step stamp):

export KLYMORA_ORCHESTRATOR_STEP=P2.7.prove
klymora-run --frust --simulator verilator examples/test_axis_fifo \
--case 'orch_*' --wave --record

P2 prove requires both --wave (EDA FST/FSDB) and --record (RSUT trace/HTML); bare klymora-run without orchestrator stamp may cause prove FAIL.

P3

Summary & Close

3 steps
P3.0
verify exec
PASS
Report Loop JSON Coverage Comparison Verilator Coverage VCS Coverage Signed
P3.1
Summary Verdict
PASS
Report Loop JSON Signed
P3.2
Fix & Close Loop
PASS
Signoff Board Coverage Comparison Signed
P3 Coverage Coverage Comparison Verilator Coverage VCS Coverage coverage_registry.json
EDALineBranchFSM
vcs91.94%81.82%—
verilator91.16%95.90%—
threshold: Line ≥80% · Branch ≥70%

Use HTML pages for human review; JSON is the Agent closed-loop source of truth.

Hub Board: workflow_state.json · stage updates

All reports (HTML · human review)

Timing waveforms (HTML)

Reports

Agent reference (JSON source · optional for humans)
Generated by klymora_report_render at 2026-07-27 07:29:12 UTC