Close the control-path timing gap without violating the locked latency contract.
综合后 setup 收敛任务。当前候选增加一级 pipeline,但会触碰 DesignSpec 的最大响应延迟要求,因此执行前需要人工裁决。
- OWNER
- CORY / DESIGN
- ACTIVE ROLE
- REVIEWER
- FIXTURE TIME
- 01:42:18
- RECOVERY
- CP-006 / FIXTURE
- ATTEMPT
- 06 / 12 MAX
- BUDGET
- 64% REMAINING
NEXT SAFE ACTIONREQUEST CHANGES / KEEP ≤2 CYCLES
Mission Control orbit status
Pipeline insertion requires a contract decision
Agent proposal
Insert one register stage on the response path to recover 82 ps of setup margin. The change is structurally valid but increases worst-case response latency from 2 to 3 cycles.
sha256:35af313b033d…837717
- WNS
- -0.082ns now
- LATENCY
- 2cycles locked
- AREA
- 18,430µm² now
- POWER
- 8.7mW now
Reviewer found a direct conflict between the candidate microarchitecture and locked DesignSpec DS-024/V0.7.
Rejecting or requesting a revision leaves the current simulated lineage unchanged.
Qualification, EDA depth and authority stay separate
- 0ASCOPE SCHEMASIMULATED
- 0BTOOL PROFILEUNQUALIFIED
- 0CGOLDEN BASELINESIMULATED
- 3ARTL STATICSIMULATED
- 3BVERIFYSIMULATED
- 4ASYNTHSIMULATED
- 4BSTAGATE FAIL
- 5AFLOORPLANLOCKED
- 5BPLACE / CTSLOCKED
- 5CROUTELOCKED
- 5DBOUNDED ECOLOCKED
- 6ASIGNOFFLOCKED
- 6BRELEASEHUMAN LOCK
- 7ATRACE CURATIONOFFLINE
- 7BMODEL GOVERNANCEOFFLINE
Mission evidence, plan and attempt workspace
Candidate trajectory
- REVIEWER
Raised blocking conflict against
F-031REQ-LAT-004. - CONTROL
Rejected automatic execution and requested exact-hash approval.
EV-219 - PRODUCER
Submitted
CS-017CS-017against RTL snapshotgit:19c4a7. - GATE
STA setup failed with WNS -0.082 ns. Evidence is complete.
G-4B-18
Every conclusion traces to a frozen source
| INSPECT | OBJECT | CONTEXT | FIXTURE AGE | OBJECT RESULT |
|---|---|---|---|---|
| rpt_sta_setup_a006 | MOCK_NOMINAL / MOCK_FUNC | FIXTURE / 08S | FAIL | |
| constraint_coverage_a006 | ALL ENDPOINTS | FIXTURE / 11S | SIMULATED | |
| lec_result_a006 | RTL / NETLIST | FIXTURE / 18M | SIMULATED | |
| area_summary_a006 | SYNTH | FIXTURE / 18M | SIMULATED | |
| power_summary_a006 | SYNTH | FIXTURE / 18M | SIMULATED | |
| DS-024/V0.7 | LOCKED CONTRACT | FROZEN | LOCKED | |
| CS-017 | GIT / 19C4A7 | FIXTURE / 02S | CONFLICT | |
| CP-006 | RECOVERY | FROZEN | CHECKED | |
| latency_assertion_a006 | MOCK FUNCTIONAL / 2 CYC | FROZEN | PASS | |
| function_vectors_a006 | 5 FROZEN VECTORS | FROZEN | PASS | |
| protocol_assertions_a006 | 7 RESET-AWARE RULES | FROZEN | PASS |
Validated dependency path
Control plane accepted the DAG, but Stage 4B remains blocked until the current contract conflict is resolved.
- 01Check static evidence fixtureSIMULATED
Parser, units, scenario and artifact lineage.
- 02Generate bounded timing candidatesSIMULATED
RTL-only proposals, no SDC exception changes.
- 03Resolve latency contract conflictBLOCKED
Human decision required before any candidate execution.
- 04Mint and execute an authorized candidateLOCKED
A real control plane would bind approved ExecutionPayload XP-017 into a new ActionEnvelope.
- 05Re-run equivalence and STA gatesLOCKED
Downstream stages remain invalid until both gates pass.
Forward-only history
Retries, iterations and recovery create new immutable Attempts. Best static-fixture recovery remains CP-006.