diff --git a/docs/plans/igneum-2.0-test-registry.json b/docs/plans/igneum-2.0-test-registry.json index c4cb5d883..910bdc14f 100644 --- a/docs/plans/igneum-2.0-test-registry.json +++ b/docs/plans/igneum-2.0-test-registry.json @@ -1547,30 +1547,30 @@ "manual_page": 24, "owner_lane": "adversary lane (a1a9876a88f5a72fc)", "run_status": "FAIL", - "evidence_path": "docs/analysis/class-v6/connected-state.md; docs/analysis/class-v6", - "run_id": "kills-20261008", - "updated": "2026-10-08T20:10:24.624Z", + "evidence_path": "docs/analysis/class-v6/connected-state.md; docs/analysis/class-v6; docs/analysis/class-v6/multi-family-adversary.md", + "run_id": "adversary-20261008-placed-8lane", + "updated": "2026-10-08T20:32:56.233Z", "evidence_record": { "requirement_id": "POW-03", - "decision": "FAIL", - "method": "GPU", - "cell": "experiment:connected-state", - "manifest_sha": "7cfa422a", - "run_id": "kills-20261008", - "evidence": "docs/analysis/class-v6", - "in_progress": false, - "coverage": "the experiment ran and its claim failed: live state does not make the work unavoidable for a chip; the master's register row 18 reads FAIL, published, never PASSED", + "decision": "NOT RUN", + "method": "model", + "cell": "adversary:mf-placed", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "partial: the live state held in an SRAM macro per 8 lanes with a time-multiplexed single port and operand isolation, the complete-system cost in section 6; the liveness trace itself is the connected-state lane's tool", "release_identity": { - "commit": "7cfa422a", + "commit": "3a8874fef", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "claim_impact": "the claims the two experiments carried are withdrawn: live state as an ASIC barrier (connected state), a cheaper mixed-FP32 lane", + "claim_impact": "", "reviewer": "", - "at": "2026-10-08T20:10:24.624Z" + "at": "2026-10-08T20:32:56.233Z" }, "approvals": { "scope_approved": null, @@ -1622,6 +1622,28 @@ "claim_impact": "the claims the two experiments carried are withdrawn: live state as an ASIC barrier (connected state), a cheaper mixed-FP32 lane", "reviewer": "", "at": "2026-10-08T20:10:24.624Z" + }, + "adversary:mf-placed": { + "requirement_id": "POW-03", + "decision": "NOT RUN", + "method": "model", + "cell": "adversary:mf-placed", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "partial: the live state held in an SRAM macro per 8 lanes with a time-multiplexed single port and operand isolation, the complete-system cost in section 6; the liveness trace itself is the connected-state lane's tool", + "release_identity": { + "commit": "3a8874fef", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" } } }, @@ -1652,27 +1674,30 @@ "manual_page": 25, "owner_lane": "adversary lane (a1a9876a88f5a72fc)", "run_status": "NOT RUN", - "evidence_path": "docs/analysis/class-v6/connected-state.md", - "run_id": "team-2026-10-08", - "updated": "2026-10-08 18:3x UK", + "evidence_path": "docs/analysis/class-v6/connected-state.md; docs/analysis/class-v6/multi-family-adversary.md", + "run_id": "adversary-20261008-placed-8lane", + "updated": "2026-10-08T20:32:56.233Z", "evidence_record": { - "what_was_run": "the same experiment, D2(a) closed", - "run_by": "adversary lane (a1a9876a88f5a72fc)", - "under_the_standard": "no: team-run before the standard's procedure; the status is RUNNING until the case is re-run under its steps with the profile's numbers and an independent run where the profile asks one", - "pass_or_fail_today": "not judged under the standard yet", - "method": "static", "requirement_id": "POW-04", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "model", + "cell": "adversary:mf-placed", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "partial: the 64-register window's cost on the macro core (sections 4 and 5, agreeing with the k lane's gated-flop row within 5 percent); the restructured candidate's GPU cost is the invention lane's", "release_identity": { - "commit": "", + "commit": "3a8874fef", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" }, "in_progress_since": "2026-10-08 18:3x UK", "approvals": { @@ -1703,6 +1728,28 @@ "run_id": "team-2026-10-08", "evidence": "docs/analysis/class-v6/connected-state.md", "in_progress": true + }, + "adversary:mf-placed": { + "requirement_id": "POW-04", + "decision": "NOT RUN", + "method": "model", + "cell": "adversary:mf-placed", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "partial: the 64-register window's cost on the macro core (sections 4 and 5, agreeing with the k lane's gated-flop row within 5 percent); the restructured candidate's GPU cost is the invention lane's", + "release_identity": { + "commit": "3a8874fef", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" } } }, @@ -2114,26 +2161,29 @@ "owner_lane": "adversary lane (a1a9876a88f5a72fc)", "run_status": "NOT RUN", "evidence_path": "docs/analysis/class-v6/multi-family-adversary.md", - "run_id": "team-2026-10-08", - "updated": "2026-10-08 18:3x UK", + "run_id": "adversary-20261008-placed-8lane", + "updated": "2026-10-08T20:32:56.233Z", "evidence_record": { - "what_was_run": "the 18-family programmable core placed and routed (9.36 pJ per lane-op, k 0.64 same-node)", - "run_by": "adversary lane (a1a9876a88f5a72fc)", - "under_the_standard": "no: team-run before the standard's procedure; the status is RUNNING until the case is re-run under its steps with the profile's numbers and an independent run where the profile asks one", - "pass_or_fail_today": "not judged under the standard yet", - "method": "static", "requirement_id": "ADV-01", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "model", + "cell": "adversary:mf-placed", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "the mf core (18 families, SRAM window and imem macros, operand isolation, 5-phase port) placed and routed on ASAP7 with SPEF and a gate-level VCD; k per family and per draw; outputs checked against the RTL simulation's checksums per tag, not yet against the POW vectors (owed)", "release_identity": { - "commit": "", + "commit": "3a8874fef", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" }, "in_progress_since": "2026-10-08 18:3x UK", "approvals": { @@ -2164,6 +2214,28 @@ "run_id": "team-2026-10-08", "evidence": "docs/analysis/class-v6/multi-family-adversary.md", "in_progress": true + }, + "adversary:mf-placed": { + "requirement_id": "ADV-01", + "decision": "NOT RUN", + "method": "model", + "cell": "adversary:mf-placed", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "the mf core (18 families, SRAM window and imem macros, operand isolation, 5-phase port) placed and routed on ASAP7 with SPEF and a gate-level VCD; k per family and per draw; outputs checked against the RTL simulation's checksums per tag, not yet against the POW vectors (owed)", + "release_identity": { + "commit": "3a8874fef", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" } } }, @@ -2196,26 +2268,29 @@ "owner_lane": "adversary lane (a1a9876a88f5a72fc)", "run_status": "NOT RUN", "evidence_path": "docs/analysis/class-v6/multi-family-adversary.md", - "run_id": "team-2026-10-08", - "updated": "2026-10-08 18:3x UK", + "run_id": "adversary-20261008-placed-8lane", + "updated": "2026-10-08T20:32:56.233Z", "evidence_record": { - "what_was_run": "D2(b): the stored-half hybrid, memory sharing, recomputation priced (the placed hybrid 1.93x same-node at the mean hit)", - "run_by": "adversary lane (a1a9876a88f5a72fc)", - "under_the_standard": "no: team-run before the standard's procedure; the status is RUNNING until the case is re-run under its steps with the profile's numbers and an independent run where the profile asks one", - "pass_or_fail_today": "not judged under the standard yet", - "method": "static", "requirement_id": "ADV-02", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "model", + "cell": "adversary:d2b", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "memory sharing, partial stores at the measured window-layer hit rates (and hit 0.50 with layer 8 off), recomputation and the set-up amortisation on the complete board (section 13); the formal memory model's terms (section 16)", "release_identity": { - "commit": "", + "commit": "3a8874fef", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" }, "in_progress_since": "2026-10-08 18:3x UK", "approvals": { @@ -2246,6 +2321,28 @@ "run_id": "team-2026-10-08", "evidence": "docs/analysis/class-v6/multi-family-adversary.md", "in_progress": true + }, + "adversary:d2b": { + "requirement_id": "ADV-02", + "decision": "NOT RUN", + "method": "model", + "cell": "adversary:d2b", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "memory sharing, partial stores at the measured window-layer hit rates (and hit 0.50 with layer 8 off), recomputation and the set-up amortisation on the complete board (section 13); the formal memory model's terms (section 16)", + "release_identity": { + "commit": "3a8874fef", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" } } }, @@ -2278,26 +2375,29 @@ "owner_lane": "adversary lane (a1a9876a88f5a72fc)", "run_status": "NOT RUN", "evidence_path": "docs/analysis/class-v6/multi-family-adversary.md", - "run_id": "team-2026-10-08", - "updated": "2026-10-08 18:3x UK", + "run_id": "adversary-20261008-placed-8lane", + "updated": "2026-10-08T20:32:56.233Z", "evidence_record": { - "what_was_run": "data-local execution moves nothing (2,112 bits of live state against an 80-bit read)", - "run_by": "adversary lane (a1a9876a88f5a72fc)", - "under_the_standard": "no: team-run before the standard's procedure; the status is RUNNING until the case is re-run under its steps with the profile's numbers and an independent run where the profile asks one", - "pass_or_fail_today": "not judged under the standard yet", - "method": "static", "requirement_id": "ADV-03", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "model", + "cell": "adversary:mf-placed", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "the data-local, hybrid and companion-host rows of multi-family-adversary.md sections 11, 13 and 14 (bit counts closed-form; the hop and wire energies claimed)", "release_identity": { - "commit": "", + "commit": "3a8874fef", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" }, "in_progress_since": "2026-10-08 18:3x UK", "approvals": { @@ -2328,6 +2428,28 @@ "run_id": "team-2026-10-08", "evidence": "docs/analysis/class-v6/multi-family-adversary.md", "in_progress": true + }, + "adversary:mf-placed": { + "requirement_id": "ADV-03", + "decision": "NOT RUN", + "method": "model", + "cell": "adversary:mf-placed", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "the data-local, hybrid and companion-host rows of multi-family-adversary.md sections 11, 13 and 14 (bit counts closed-form; the hop and wire energies claimed)", + "release_identity": { + "commit": "3a8874fef", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" } } }, @@ -2360,24 +2482,29 @@ "owner_lane": "adversary lane (a1a9876a88f5a72fc)", "run_status": "NOT RUN", "evidence_path": "docs/analysis/class-v6/multi-family-adversary.md", - "run_id": "team-2026-10-08", - "updated": "2026-10-08T20:10:24.556Z", + "run_id": "adversary-20261008-placed-8lane", + "updated": "2026-10-08T20:32:56.233Z", "evidence_record": { - "reason": "selective participation needs the economic model F7 and a live chain window", - "at": "2026-10-08T20:10:24.556Z", - "method": "static", "requirement_id": "ADV-04", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "model", + "cell": "adversary:d2b", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "selective participation over 2,000 era draws under the layer 1 band with two reserve families live per epoch, the specialist's revenue against its ratio gain (section 13); downtime and re-entry priced as the DAA window's lag, not simulated against the difficulty rule itself (owed)", "release_identity": { - "commit": "", + "commit": "3a8874fef", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" }, "in_progress_since": "2026-10-08 18:3x UK", "approvals": { @@ -2408,6 +2535,28 @@ "run_id": "team-2026-10-08", "evidence": "docs/analysis/class-v6/multi-family-adversary.md", "in_progress": true + }, + "adversary:d2b": { + "requirement_id": "ADV-04", + "decision": "NOT RUN", + "method": "model", + "cell": "adversary:d2b", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "selective participation over 2,000 era draws under the layer 1 band with two reserve families live per epoch, the specialist's revenue against its ratio gain (section 13); downtime and re-entry priced as the DAA window's lag, not simulated against the difficulty rule itself (owed)", + "release_identity": { + "commit": "3a8874fef", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" } } }, @@ -2439,27 +2588,30 @@ "manual_page": 28, "owner_lane": "k lane (a3c9601a6d4686fe1)", "run_status": "NOT RUN", - "evidence_path": "docs/analysis/class-v6/multi-family-adversary.md; docs/analysis/class-v6/floor/shadow-k.md", - "run_id": "team-2026-10-08", - "updated": "2026-10-08 18:3x UK", + "evidence_path": "docs/analysis/class-v6/multi-family-adversary.md; docs/analysis/class-v6/floor/shadow-k.md; docs/analysis/class-v6/multi-family-adversary.md", + "run_id": "adversary-20261008-placed-8lane", + "updated": "2026-10-08T20:32:56.233Z", "evidence_record": { - "what_was_run": "the complete GDDR7 machine 1.5x same-node, 1.8x a node ahead at the placed energy; the honest same-node bracket 1.5x to 2.1x: FAIL against P04 at R_E 1.5, served as such", - "run_by": "k lane (a3c9601a6d4686fe1)", - "under_the_standard": "no: team-run before the standard's procedure; the status is RUNNING until the case is re-run under its steps with the profile's numbers and an independent run where the profile asks one", - "pass_or_fail_today": "FAIL against P04 at R_E 1.5", - "method": "static", "requirement_id": "ADV-05", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "model", + "cell": "adversary:mf-placed", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "partial: the SRAM macros, ports, wiring, clocking and the complete-board terms are modelled in sections 2.3, 5 and 6 with the unmodelled items carried as uncertainty; the calibration against an existing hardware block is the k lane's bare-lane row beside it, owed as a named comparison", "release_identity": { - "commit": "", + "commit": "3a8874fef", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" }, "in_progress_since": "2026-10-08 18:3x UK", "approvals": { @@ -2490,6 +2642,28 @@ "run_id": "team-2026-10-08", "evidence": "docs/analysis/class-v6/multi-family-adversary.md; docs/analysis/class-v6/floor/shadow-k.md", "in_progress": true + }, + "adversary:mf-placed": { + "requirement_id": "ADV-05", + "decision": "NOT RUN", + "method": "model", + "cell": "adversary:mf-placed", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "partial: the SRAM macros, ports, wiring, clocking and the complete-board terms are modelled in sections 2.3, 5 and 6 with the unmodelled items carried as uncertainty; the calibration against an existing hardware block is the k lane's bare-lane row beside it, owed as a named comparison", + "release_identity": { + "commit": "3a8874fef", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" } } }, @@ -2601,25 +2775,30 @@ "manual_page": 29, "owner_lane": "adversary lane (a1a9876a88f5a72fc)", "run_status": "NOT RUN", - "evidence_path": "docs/analysis/class-v6/multi-family-adversary.md section 14", - "run_id": "team-2026-10-08", - "updated": "2026-10-08T20:10:24.556Z", + "evidence_path": "docs/analysis/class-v6/multi-family-adversary.md section 14; docs/analysis/class-v6/multi-family-adversary.md", + "run_id": "adversary-20261008-placed-8lane", + "updated": "2026-10-08T20:32:56.233Z", "evidence_record": { - "reason": "lifetime rows are the adversary lanes' models", - "at": "2026-10-08T20:10:24.556Z", - "method": "static", "requirement_id": "ADV-07", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "model", + "cell": "adversary:mf-placed", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "the lifetime table and the six-row transition matrix (sections 7 and 14) on the placed rows; the 32-lane genesis comparator placed on adv-g", "release_identity": { - "commit": "", + "commit": "3a8874fef", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" }, "in_progress_since": "2026-10-08 18:3x UK", "approvals": { @@ -2650,6 +2829,28 @@ "run_id": "team-2026-10-08", "evidence": "docs/analysis/class-v6/multi-family-adversary.md section 14", "in_progress": true + }, + "adversary:mf-placed": { + "requirement_id": "ADV-07", + "decision": "NOT RUN", + "method": "model", + "cell": "adversary:mf-placed", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "the lifetime table and the six-row transition matrix (sections 7 and 14) on the placed rows; the 32-lane genesis comparator placed on adv-g", + "release_identity": { + "commit": "3a8874fef", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" } } }, @@ -2681,15 +2882,62 @@ "manual_page": 29, "owner_lane": "adversary lane (a1a9876a88f5a72fc)", "run_status": "NOT RUN", - "evidence_path": "", - "run_id": "", - "updated": "2026-10-08 18:3x UK", + "evidence_path": "docs/analysis/class-v6/multi-family-adversary.md", + "run_id": "adversary-20261008-placed-8lane", + "updated": "2026-10-08T20:32:56.233Z", "approvals": { "scope_approved": null, "implementation_complete": null, "evidence_reproduced": null, "claim_authorised": null - } + }, + "evidence_records": { + "adversary:mf-placed": { + "requirement_id": "ADV-08", + "decision": "NOT RUN", + "method": "model", + "cell": "adversary:mf-placed", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "the best-cost envelope on the complete machine (section 6) and the SRAM-die ticket reconciliation with lane B (section 15); the unaffiliated second reviewer is not this lane's", + "release_identity": { + "commit": "3a8874fef", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" + } + }, + "evidence_record": { + "requirement_id": "ADV-08", + "decision": "NOT RUN", + "method": "model", + "cell": "adversary:mf-placed", + "manifest_sha": "3a8874fef", + "run_id": "adversary-20261008-placed-8lane", + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "in_progress": true, + "coverage": "the best-cost envelope on the complete machine (section 6) and the SRAM-die ticket reconciliation with lane B (section 15); the unaffiliated second reviewer is not this lane's", + "release_identity": { + "commit": "3a8874fef", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T20:32:56.233Z" + }, + "in_progress_since": "2026-10-08T20:32:56.233Z" } ] }, diff --git a/tools/ci/batches/adversary-20261008-placed-8lane.json b/tools/ci/batches/adversary-20261008-placed-8lane.json index 9283e3870..cc7243925 100644 --- a/tools/ci/batches/adversary-20261008-placed-8lane.json +++ b/tools/ci/batches/adversary-20261008-placed-8lane.json @@ -1,7 +1,7 @@ { "run_id": "adversary-20261008-placed-8lane", "manifest_sha": "3a8874fef", - "evidence_dir": "docs/analysis/class-v6/multi-family-adversary.md and tools/chip-model/mf/results/", + "evidence_dir": "docs/analysis/class-v6/multi-family-adversary.md", "cells": [ { "cell": "adversary:mf-placed", @@ -12,8 +12,9 @@ { "cell": "adversary:d2b", "status": "RUNNING", - "evidence": "tools/chip-model/mf/results/d2b-n5.md", - "method": "model" + "evidence": "docs/analysis/class-v6/multi-family-adversary.md", + "method": "model", + "note": "evidence cited at the document (section 13, D2(b) restated on the placed rows); the mf flow's results file tools/chip-model/mf/results/d2b-n5.md stays on the branch and is cited after it lands (the recorder cites only files in the tree)" } ] }