igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

Batch adversary-20261008-placed-8lane: adversary:d2b's evidence cited at the document (section 13); the mf results file stays on the branch until it lands (the recorder's tree rule since f7c6d511); the batch recorded on master's registry

Browse source
This commit is contained in:
igneum-labs 2026-10-08 20:32:56 +00:00
parent acf161cd91
commit 5bf8e09707
2 changed files with 346 additions and 97 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

436
docs/plans/igneum-2.0-test-registry.json
View file

@ -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"
}
]
},

7
tools/ci/batches/adversary-20261008-placed-8lane.json
View file

@ -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)"
}
]
}