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

Track B recorded as BOUND and NOT RUN rows: B2's binding batch (model:mhpow-b2-binding on POW-05 and POW-06) and B4's composed-theorem batch (theory:mhpow-b4 on R15-07) recorded as the lanes wrote them, plus the steward's R15-07 row (theory:r15-07-track-b) carrying B4's bound (no 1.5x certificate from the published constants) and B2's O-07 finding, no pass or fail claimed; the three cells carried in the batches (map_cell_requested); the harness map page regenerated

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-09 09:46:46 +00:00
parent 0b8b8d0944
commit c03439533c
6 changed files with 327 additions and 53 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

29
docs/plans/igneum-2.0-test-harness-map.md
View file

@ -475,6 +475,31 @@ Rule: a case maps to a cell only where the cell's tests visibly answer it; cover
- POW-02 Validate generated programs and index folding: full
- POW-04 Evaluate connected-resource restructuring: full
### model:mhpow-b2-binding
- Command: `python3 tools/mhpow/b2/b2_figures.py > docs/analysis/mhpow/b2/figures.txt (a build box under a pid file; byte-identical output, sha256 27bb414c...)`
- Box class: build box, CPU only (build-9)
- Fixtures: none
- Cases:
- POW-05 Prevent amortised cheap winning attempts: partial: the binding obligations for the Track B work unit only; the lottery binding is BLOCKED (B-T3) and the multi-instance bound BLOCKED (B-T5)
- POW-06 Bound verifier work and malformed-input cost: partial: certificate size as a formula; no verifier timing, no malformed-input cost
### theory:mhpow-b4
- Command: `python3 tools/mhpow/b4/params.py > docs/analysis/mhpow/b4/params.txt (a build box under a pid file; the composed accepted-certificate energy statement's constants from the published papers R1 to R4 and R16; byte-identical output)`
- Box class: build box, CPU only
- Fixtures: none
- Cases:
- R15-07 R15-07: Cryptography + hardware: partial: the composed theorem's statement and the losses on the published constants; terms 2 and 3's amortisation open theorems; L BLOCKED; the panel has not read it
### theory:r15-07-track-b
- Command: `the Track B composition read: docs/analysis/mhpow/b2 (the binding obligations O-01 to O-16, figures by tools/mhpow/b2/b2_figures.py) and docs/analysis/mhpow/b4 (the composed theorem and its constants by tools/mhpow/b4/params.py), on a build box under a pid file`
- Box class: build box, CPU only
- Fixtures: none
- Cases:
- R15-07 R15-07: Cryptography + hardware: partial: the statement, the obligations and the losses on published constants; the proof of terms 2 and 3, the amortisation and the panel's reading open
## Automated cases with no harness in the matrix (NOT RUN, the reason)
- GOV-02 Approve thresholds before results: the approval is recorded in the registry's approval field; the automated half (thresholds frozen before any run_status) is the gate rule landing by 21:00
@ -483,7 +508,6 @@ Rule: a case maps to a cell only where the cell's tests visibly answer it; cover
- GPU-04 Find the memory-clock operating ladder: the memory-clock ladder has no harness tonight: the project's own rig mines nothing under the the earlier devnet off order
- GPU-06 Measure accepted work under ordinary connectivity: accepted work under ordinary connectivity needs the fault network F4
- GPU-07 Survive sustained thermal and power operation: the sustained thermal and power soak has no harness tonight: the project's own rig mines nothing under the the earlier devnet off order
- POW-05 Prevent amortised cheap winning attempts: amortised cheap winning attempts are the attack lanes' grind and era harnesses (tools/attack/f7-era, f9-grind), not in the release matrix; their rows come from those lanes
- ROT-03 Test miner-voted bring-forward governance: miner-voted bring-forward needs a vote harness on the fault network F4
- ROT-04 Resist seed selection and faster evaluators: seed-selection resistance is the census harness (the class v6 invention lane), not yet in the matrix
- EVM-01 Match the selected EVM semantics: no EVM conformance-vector harness is mapped tonight; the exec suite does not run the reference test vectors
@ -653,11 +677,10 @@ Rule: a case maps to a cell only where the cell's tests visibly answer it; cover
- R15-04 R15-04: GPU systems: R15-04 (1.5x programme package): no package executed; the harness is the lane's (X2, X3, X4); its batch names the case when it lands; not yet named in the map
- R15-05 R15-05: Cryptography: R15-05 (1.5x programme package): no package executed; the harness is the lane's (B1); its batch names the case when it lands; not yet named in the map
- R15-06 R15-06: GPU + cryptography: R15-06 (1.5x programme package): no package executed; the harness is the lane's (B3); its batch names the case when it lands; not yet named in the map
- R15-07 R15-07: Cryptography + hardware: R15-07 (1.5x programme package): no package executed; the harness is the lane's (B2, B4); its batch names the case when it lands; not yet named in the map
- R15-08 R15-08: Independent ASIC team: R15-08 (1.5x programme package): no package executed; the harness is the lane's (X5, B5); its batch names the case when it lands; not yet named in the map
- R15-09 R15-09: Measurement + economics: R15-09 (1.5x programme package): no package executed; the harness is the lane's (X6); its batch names the case when it lands; not yet named in the map
- R15-10 R15-10: Protocol/security: R15-10 (1.5x programme package): no package executed; the harness is the lane's (B6); its batch names the case when it lands; not yet named in the map
## Count
213 automated cases: 91 mapped to a cell, 180 NOT RUN with a reason.
213 automated cases: 93 mapped to a cell, 178 NOT RUN with a reason.

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

@ -2016,25 +2016,31 @@
"manual_page": 25,
"owner_lane": "pool design seat (a3832b1c3b274b310)",
"run_status": "NOT RUN",
"evidence_path": "docs/analysis/binding-review-2026-10.md (sections 1 to 5a; master ad5a54c5)",
"run_id": "binding-review-2026-10-08-a05",
"updated": "2026-10-08T20:10:24.556Z",
"evidence_path": "docs/analysis/binding-review-2026-10.md (sections 1 to 5a; master ad5a54c5); docs/analysis/mhpow/b2/README.md",
"run_id": "mhpow-b2-20261009-01",
"updated": "2026-10-09T09:46:27.938Z",
"evidence_record": {
"reason": "amortised cheap winning attempts are the attack lanes' grind and era harnesses (tools/attack/f7-era, f9-grind), not in the release matrix; their rows come from those lanes",
"at": "2026-10-08T20:10:24.556Z",
"method": "static",
"requirement_id": "POW-05",
"decision": "NOT RUN",
"reviewer": "",
"claim_impact": "",
"method": "model",
"cell": "model:mhpow-b2-binding",
"manifest_sha": "13c3646e",
"run_id": "mhpow-b2-20261009-01",
"evidence": "docs/analysis/mhpow/b2/README.md",
"in_progress": true,
"coverage": "partial: the binding obligations for the Track B work unit only; the lottery binding is BLOCKED (B-T3) and the multi-instance bound BLOCKED (B-T5)",
"release_identity": {
"commit": "",
"commit": "13c3646e",
"lockfile": "",
"binary": "",
"network_object": "",
"activation": "",
"profile_hashes": ""
}
},
"claim_impact": "none: no public figure moves; Track B's construction is not adopted and nothing activates",
"reviewer": "",
"at": "2026-10-09T09:46:27.938Z",
"note": "POW-05: obligations O-06 to O-11 and O-16 (grinding, chosen instance, amortisation, partial evaluation, precomputation); O-07 records two FAIL rules and B-T3 the open question. POW-06: O-11's certificate sizes as functions of DRSample's unproved constant c3 (13.6 to 194.9 MiB at lambda 256), a sensitivity table only; the verifier budget is B6's. | B2, the binding spec lane of the 1.5x programme's Track B (9 October 2026): the canonical instance input for an MTP/DRSample memory-hard proof of work in Igneum's setting (328 bytes, work version 1, draft) and the obligations table O-01 to O-16 read against Blocki and Smearsoll, eprint 2025/1456 (the full PDF, sha256 13c3646e...). Reuse across template, trial, epoch, day, era, network and class object: answered by the paper's per-input soundness plus the layout. The lottery: two candidate rules FAIL with written counter-examples (re-roll through a red sink, about 1.3 x 10^6 draws per labelling at N = 2^24; free screening on chi alone); the replacement and the multi-instance, adaptive-input, constants and energy questions BLOCKED to the B4 theory lane and the node lane. Figures by tools/mhpow/b2/b2_figures.py on build-9. NOT RUN until the panel reads it; this lane writes no PASS."
},
"status_note": "REVIEWED: fixed by construction (binding), not applicable (final digest); native tests ok on build-2; no change for 2.0",
"approvals": {
@ -2065,8 +2071,32 @@
"run_id": "binding-review-2026-10-08-a05",
"evidence": "docs/analysis/binding-review-2026-10.md (sections 1 to 5a; master ad5a54c5)",
"in_progress": false
},
"model:mhpow-b2-binding": {
"requirement_id": "POW-05",
"decision": "NOT RUN",
"method": "model",
"cell": "model:mhpow-b2-binding",
"manifest_sha": "13c3646e",
"run_id": "mhpow-b2-20261009-01",
"evidence": "docs/analysis/mhpow/b2/README.md",
"in_progress": true,
"coverage": "partial: the binding obligations for the Track B work unit only; the lottery binding is BLOCKED (B-T3) and the multi-instance bound BLOCKED (B-T5)",
"release_identity": {
"commit": "13c3646e",
"lockfile": "",
"binary": "",
"network_object": "",
"activation": "",
"profile_hashes": ""
},
"claim_impact": "none: no public figure moves; Track B's construction is not adopted and nothing activates",
"reviewer": "",
"at": "2026-10-09T09:46:27.938Z",
"note": "POW-05: obligations O-06 to O-11 and O-16 (grinding, chosen instance, amortisation, partial evaluation, precomputation); O-07 records two FAIL rules and B-T3 the open question. POW-06: O-11's certificate sizes as functions of DRSample's unproved constant c3 (13.6 to 194.9 MiB at lambda 256), a sensitivity table only; the verifier budget is B6's. | B2, the binding spec lane of the 1.5x programme's Track B (9 October 2026): the canonical instance input for an MTP/DRSample memory-hard proof of work in Igneum's setting (328 bytes, work version 1, draft) and the obligations table O-01 to O-16 read against Blocki and Smearsoll, eprint 2025/1456 (the full PDF, sha256 13c3646e...). Reuse across template, trial, epoch, day, era, network and class object: answered by the paper's per-input soundness plus the layout. The lottery: two candidate rules FAIL with written counter-examples (re-roll through a red sink, about 1.3 x 10^6 draws per labelling at N = 2^24; free screening on chi alone); the replacement and the multi-instance, adaptive-input, constants and energy questions BLOCKED to the B4 theory lane and the node lane. Figures by tools/mhpow/b2/b2_figures.py on build-9. NOT RUN until the panel reads it; this lane writes no PASS."
}
}
},
"in_progress_since": "2026-10-09T09:46:27.938Z"
},
{
"id": "POW-06",
@ -2095,29 +2125,31 @@
"manual_page": 25,
"owner_lane": "hash lane (a690540514aa453d7)",
"run_status": "NOT RUN",
"evidence_path": "build-1:/srv/artefacts/tas/p01-partb-20261008-01/summary.jsonl",
"run_id": "p01-partb-20261008-01",
"updated": "2026-10-08T18:28:32.463Z",
"evidence_path": "build-1:/srv/artefacts/tas/p01-partb-20261008-01/summary.jsonl; docs/analysis/mhpow/b2/README.md",
"run_id": "mhpow-b2-20261009-01",
"updated": "2026-10-09T09:46:27.938Z",
"evidence_record": {
"cell": "harness:parser-malformed",
"manifest_sha": "417c4a57",
"coverage": {
"POW-06": "partial: three parsers of external bytes (the state stream, the igneum_ RPC params, the pool job line), ten thousand seeded malformed cases each, zero panics, every case under 500 ms (the slowest 152 microseconds); 'accepted' counts mutations that left a valid input, not a parser fault; the verifier work bound (the other half of the accept text) is the proving lane's measurement"
},
"at": "2026-10-08T18:28:32.463Z",
"method": "static",
"requirement_id": "POW-06",
"decision": "NOT RUN",
"reviewer": "",
"claim_impact": "",
"method": "model",
"cell": "model:mhpow-b2-binding",
"manifest_sha": "13c3646e",
"run_id": "mhpow-b2-20261009-01",
"evidence": "docs/analysis/mhpow/b2/README.md",
"in_progress": true,
"coverage": "partial: certificate size as a formula; no verifier timing, no malformed-input cost",
"release_identity": {
"commit": "417c4a57",
"commit": "13c3646e",
"lockfile": "",
"binary": "",
"network_object": "",
"activation": "",
"profile_hashes": ""
}
},
"claim_impact": "none: no public figure moves; Track B's construction is not adopted and nothing activates",
"reviewer": "",
"at": "2026-10-09T09:46:27.938Z",
"note": "POW-05: obligations O-06 to O-11 and O-16 (grinding, chosen instance, amortisation, partial evaluation, precomputation); O-07 records two FAIL rules and B-T3 the open question. POW-06: O-11's certificate sizes as functions of DRSample's unproved constant c3 (13.6 to 194.9 MiB at lambda 256), a sensitivity table only; the verifier budget is B6's. | B2, the binding spec lane of the 1.5x programme's Track B (9 October 2026): the canonical instance input for an MTP/DRSample memory-hard proof of work in Igneum's setting (328 bytes, work version 1, draft) and the obligations table O-01 to O-16 read against Blocki and Smearsoll, eprint 2025/1456 (the full PDF, sha256 13c3646e...). Reuse across template, trial, epoch, day, era, network and class object: answered by the paper's per-input soundness plus the layout. The lottery: two candidate rules FAIL with written counter-examples (re-roll through a red sink, about 1.3 x 10^6 draws per labelling at N = 2^24; free screening on chi alone); the replacement and the multi-instance, adaptive-input, constants and energy questions BLOCKED to the B4 theory lane and the node lane. Figures by tools/mhpow/b2/b2_figures.py on build-9. NOT RUN until the panel reads it; this lane writes no PASS."
},
"in_progress_since": "2026-10-08T18:28:32.463Z",
"approvals": {
@ -2150,6 +2182,29 @@
"run_id": "p01-partb-20261008-01",
"evidence": "build-1:/srv/artefacts/tas/p01-partb-20261008-01/summary.jsonl",
"in_progress": true
},
"model:mhpow-b2-binding": {
"requirement_id": "POW-06",
"decision": "NOT RUN",
"method": "model",
"cell": "model:mhpow-b2-binding",
"manifest_sha": "13c3646e",
"run_id": "mhpow-b2-20261009-01",
"evidence": "docs/analysis/mhpow/b2/README.md",
"in_progress": true,
"coverage": "partial: certificate size as a formula; no verifier timing, no malformed-input cost",
"release_identity": {
"commit": "13c3646e",
"lockfile": "",
"binary": "",
"network_object": "",
"activation": "",
"profile_hashes": ""
},
"claim_impact": "none: no public figure moves; Track B's construction is not adopted and nothing activates",
"reviewer": "",
"at": "2026-10-09T09:46:27.938Z",
"note": "POW-05: obligations O-06 to O-11 and O-16 (grinding, chosen instance, amortisation, partial evaluation, precomputation); O-07 records two FAIL rules and B-T3 the open question. POW-06: O-11's certificate sizes as functions of DRSample's unproved constant c3 (13.6 to 194.9 MiB at lambda 256), a sensitivity table only; the verifier budget is B6's. | B2, the binding spec lane of the 1.5x programme's Track B (9 October 2026): the canonical instance input for an MTP/DRSample memory-hard proof of work in Igneum's setting (328 bytes, work version 1, draft) and the obligations table O-01 to O-16 read against Blocki and Smearsoll, eprint 2025/1456 (the full PDF, sha256 13c3646e...). Reuse across template, trial, epoch, day, era, network and class object: answered by the paper's per-input soundness plus the layout. The lottery: two candidate rules FAIL with written counter-examples (re-roll through a red sink, about 1.3 x 10^6 draws per labelling at N = 2^24; free screening on chi alone); the replacement and the multi-instance, adaptive-input, constants and energy questions BLOCKED to the B4 theory lane and the node lane. Figures by tools/mhpow/b2/b2_figures.py on build-9. NOT RUN until the panel reads it; this lane writes no PASS."
}
}
},
@ -20702,42 +20757,76 @@
"manual_page": null,
"run_status": "NOT RUN",
"plan_status": "NOT RUN",
"updated": "2026-10-09T09:19:24.923Z",
"updated": "2026-10-09T09:46:28.120Z",
"evidence_record": {
"reason": "R15-07 (1.5x programme package): no package executed; the harness is the lane's (B2, B4); its batch names the case when it lands; not yet named in the map",
"at": "2026-10-09T09:19:24.923Z",
"method": "static",
"requirement_id": "R15-07",
"decision": "NOT RUN",
"reviewer": "",
"claim_impact": "",
"method": "model",
"cell": "theory:r15-07-track-b",
"manifest_sha": "067dca70",
"run_id": "r15-track-b-20261009-01",
"evidence": "docs/analysis/mhpow/b2/README.md; docs/analysis/mhpow/b4/README.md; docs/analysis/mhpow/b4/params.txt; docs/analysis/mhpow/b4/RUNS.md; tools/mhpow/b4/params.py",
"in_progress": true,
"coverage": "partial: the statement, the obligations and the losses on published constants; the proof of terms 2 and 3, the amortisation and the panel's reading open",
"release_identity": {
"commit": "",
"commit": "master 067dca70 (B2 eb999f0e, B4 12822bf5, B6 1ab735be landed); B1 e9f94df6 and B3 land by 11:45 UK and are recorded then under R15-05 and R15-06",
"lockfile": "",
"binary": "",
"network_object": "",
"activation": "",
"profile_hashes": ""
}
"network_object": "none: documents and tests only, no chain state read or written",
"activation": "none",
"profile_hashes": "R1 2025/1456 13c3646e...; params.py 7ac7fd48...; params.txt a98ac460..."
},
"claim_impact": "none",
"reviewer": "",
"at": "2026-10-09T09:46:28.120Z",
"note": "BOUND (B4): no 1.5x certificate is reachable from the published constants; the generic route at most 0.151 of the honest prover's energy at log2 N = 22, the red-blue route losing at least 341x at rho 0.25 (docs/analysis/mhpow/b4/README.md, params.txt). FINDING (B2, obligation O-07): the two naive lottery rules FAIL with written counter-examples (the sink re-roll at log2 N + 1 calls, about 1.3 million draws per labelling at N = 2^24; free screening on chi alone), the replacement BLOCKED to B4 (B-T3) (docs/analysis/mhpow/b2/README.md). The package R15-07 (no invalid theorem composition) stays NOT RUN until the independent panel reads the composed statement; terms 2 and 3's amortisation are open theorems; L BLOCKED | the coordinator's order (10:4x UK, 9 October 2026): Track B's reproduction findings recorded as BOUND rows, NOT RUN, no pass or fail claimed for any package; every chip figure WITNESS or BOUND by the R15 suite rule"
},
"evidence_records": {
"record": {
"reason": "R15-07 (1.5x programme package): no package executed; the harness is the lane's (B2, B4); its batch names the case when it lands; not yet named in the map",
"at": "2026-10-09T09:19:24.923Z",
"method": "static",
"theory:mhpow-b4": {
"requirement_id": "R15-07",
"decision": "NOT RUN",
"reviewer": "",
"claim_impact": "",
"method": "model",
"cell": "theory:mhpow-b4",
"manifest_sha": "12822bf5",
"run_id": "mhpow-b4-20261009-01",
"evidence": "docs/analysis/mhpow/b4/README.md; docs/analysis/mhpow/b4/params.txt; docs/analysis/mhpow/b4/RUNS.md; tools/mhpow/b4/params.py",
"in_progress": true,
"coverage": "partial: the composed theorem's statement and the losses on the published constants; terms 2 and 3's amortisation open theorems; L BLOCKED; the panel has not read it",
"release_identity": {
"commit": "",
"commit": "branch mhpow-b4 12822bf5, landed on master at 067dca70 (the typeset docs: docs/analysis/mhpow/b4)",
"lockfile": "",
"binary": "",
"network_object": "",
"activation": "",
"profile_hashes": ""
"network_object": "none: a theorem statement and an audit of published papers, no chain state read or written",
"activation": "none (Track B lands documents and tests only)",
"profile_hashes": "R1 2025/1456 13c3646e...; R2 2018/221 2a466b97...; R3 2017/225 29c5a9c0...; R4 2026/1024 aa6caa39...; R16 arXiv 2207.11519 ac273393...; params.py 7ac7fd48..., params.txt a98ac460..."
},
"in_progress": false
"claim_impact": "none: the composed accepted-proof energy statement is a draft with named proof obligations; the published constants cannot carry a 1.5x certificate (loss at least 6.6x on the generic route, at least 341x on the red-blue route); every row NOT RUN until the panel reads it",
"reviewer": "",
"at": "2026-10-09T09:46:28.024Z",
"note": "NOT RUN: statement and losses written; terms 2 (transfers) and the amortisation of terms 2 and 3 are open theorems; L is BLOCKED (no lower-bound certificate for any technology coefficient); X5 rows stay WITNESS (E_D) | recorded by the CI steward on the coordinator's order (10:4x UK, 9 October 2026): Track B's findings as BOUND and NOT RUN rows; the cell theory:mhpow-b4 carried in map_cell_requested. NOT RUN by this lane: the steward records it only if the coordinator asks, with the cell added to the map. BLOCKED rows B4-B01 to B4-B10 in README section 12."
},
"theory:r15-07-track-b": {
"requirement_id": "R15-07",
"decision": "NOT RUN",
"method": "model",
"cell": "theory:r15-07-track-b",
"manifest_sha": "067dca70",
"run_id": "r15-track-b-20261009-01",
"evidence": "docs/analysis/mhpow/b2/README.md; docs/analysis/mhpow/b4/README.md; docs/analysis/mhpow/b4/params.txt; docs/analysis/mhpow/b4/RUNS.md; tools/mhpow/b4/params.py",
"in_progress": true,
"coverage": "partial: the statement, the obligations and the losses on published constants; the proof of terms 2 and 3, the amortisation and the panel's reading open",
"release_identity": {
"commit": "master 067dca70 (B2 eb999f0e, B4 12822bf5, B6 1ab735be landed); B1 e9f94df6 and B3 land by 11:45 UK and are recorded then under R15-05 and R15-06",
"lockfile": "",
"binary": "",
"network_object": "none: documents and tests only, no chain state read or written",
"activation": "none",
"profile_hashes": "R1 2025/1456 13c3646e...; params.py 7ac7fd48...; params.txt a98ac460..."
},
"claim_impact": "none",
"reviewer": "",
"at": "2026-10-09T09:46:28.120Z",
"note": "BOUND (B4): no 1.5x certificate is reachable from the published constants; the generic route at most 0.151 of the honest prover's energy at log2 N = 22, the red-blue route losing at least 341x at rho 0.25 (docs/analysis/mhpow/b4/README.md, params.txt). FINDING (B2, obligation O-07): the two naive lottery rules FAIL with written counter-examples (the sink re-roll at log2 N + 1 calls, about 1.3 million draws per labelling at N = 2^24; free screening on chi alone), the replacement BLOCKED to B4 (B-T3) (docs/analysis/mhpow/b2/README.md). The package R15-07 (no invalid theorem composition) stays NOT RUN until the independent panel reads the composed statement; terms 2 and 3's amortisation are open theorems; L BLOCKED | the coordinator's order (10:4x UK, 9 October 2026): Track B's reproduction findings recorded as BOUND rows, NOT RUN, no pass or fail claimed for any package; every chip figure WITNESS or BOUND by the R15 suite rule"
}
},
"approvals": {
@ -20745,7 +20834,10 @@
"implementation_complete": null,
"evidence_reproduced": null,
"claim_authorised": null
}
},
"run_id": "r15-track-b-20261009-01",
"evidence_path": "docs/analysis/mhpow/b4/README.md; docs/analysis/mhpow/b4/params.txt; docs/analysis/mhpow/b4/RUNS.md; tools/mhpow/b4/params.py; docs/analysis/mhpow/b2/README.md; docs/analysis/mhpow/b4/README.md; docs/analysis/mhpow/b4/params.txt; docs/analysis/mhpow/b4/RUNS.md; tools/mhpow/b4/params.py",
"in_progress_since": "2026-10-09T09:46:28.024Z"
},
{
"id": "R15-08",

37
tools/ci/batches/mhpow-b2-20261009-01.json Normal file
View file

@ -0,0 +1,37 @@
{
"run_id": "mhpow-b2-20261009-01",
"manifest_sha": "13c3646e",
"evidence_dir": "docs/analysis/mhpow/b2",
"method": "model",
"note": "B2, the binding spec lane of the 1.5x programme's Track B (9 October 2026): the canonical instance input for an MTP/DRSample memory-hard proof of work in Igneum's setting (328 bytes, work version 1, draft) and the obligations table O-01 to O-16 read against Blocki and Smearsoll, eprint 2025/1456 (the full PDF, sha256 13c3646e...). Reuse across template, trial, epoch, day, era, network and class object: answered by the paper's per-input soundness plus the layout. The lottery: two candidate rules FAIL with written counter-examples (re-roll through a red sink, about 1.3 x 10^6 draws per labelling at N = 2^24; free screening on chi alone); the replacement and the multi-instance, adaptive-input, constants and energy questions BLOCKED to the B4 theory lane and the node lane. Figures by tools/mhpow/b2/b2_figures.py on build-9. NOT RUN until the panel reads it; this lane writes no PASS.",
"cells": [
{
"cell": "model:mhpow-b2-binding",
"cases": [
"POW-05",
"POW-06"
],
"status": "NOT RUN",
"method": "model",
"evidence": "docs/analysis/mhpow/b2/README.md",
"note": "POW-05: obligations O-06 to O-11 and O-16 (grinding, chosen instance, amortisation, partial evaluation, precomputation); O-07 records two FAIL rules and B-T3 the open question. POW-06: O-11's certificate sizes as functions of DRSample's unproved constant c3 (13.6 to 194.9 MiB at lambda 256), a sensitivity table only; the verifier budget is B6's.",
"claim_impact": "none: no public figure moves; Track B's construction is not adopted and nothing activates",
"in_progress": true
}
],
"map_cell_requested": {
"model:mhpow-b2-binding": {
"command": "python3 tools/mhpow/b2/b2_figures.py > docs/analysis/mhpow/b2/figures.txt (a build box under a pid file; byte-identical output, sha256 27bb414c...)",
"box_class": "build box, CPU only (build-9)",
"fixtures": [],
"cases": [
"POW-05",
"POW-06"
],
"coverage": {
"POW-05": "partial: the binding obligations for the Track B work unit only; the lottery binding is BLOCKED (B-T3) and the multi-instance bound BLOCKED (B-T5)",
"POW-06": "partial: certificate size as a formula; no verifier timing, no malformed-input cost"
}
}
}
}

43
tools/ci/batches/mhpow-b4-20261009-01.json Normal file
View file

@ -0,0 +1,43 @@
{
"run_id": "mhpow-b4-20261009-01",
"manifest_sha": "12822bf5",
"method": "model",
"evidence_dir": "docs/analysis/mhpow/b4",
"release_identity": {
"commit": "branch mhpow-b4 12822bf5, landed on master at 067dca70 (the typeset docs: docs/analysis/mhpow/b4)",
"lockfile": "",
"binary": "",
"network_object": "none: a theorem statement and an audit of published papers, no chain state read or written",
"activation": "none (Track B lands documents and tests only)",
"profile_hashes": "R1 2025/1456 13c3646e...; R2 2018/221 2a466b97...; R3 2017/225 29c5a9c0...; R4 2026/1024 aa6caa39...; R16 arXiv 2207.11519 ac273393...; params.py 7ac7fd48..., params.txt a98ac460..."
},
"claim_impact": "none: the composed accepted-proof energy statement is a draft with named proof obligations; the published constants cannot carry a 1.5x certificate (loss at least 6.6x on the generic route, at least 341x on the red-blue route); every row NOT RUN until the panel reads it",
"reviewer": "",
"note": "recorded by the CI steward on the coordinator's order (10:4x UK, 9 October 2026): Track B's findings as BOUND and NOT RUN rows; the cell theory:mhpow-b4 carried in map_cell_requested. NOT RUN by this lane: the steward records it only if the coordinator asks, with the cell added to the map. BLOCKED rows B4-B01 to B4-B10 in README section 12.",
"cells": [
{
"cell": "theory:mhpow-b4",
"status": "NOT RUN",
"method": "model",
"evidence": "docs/analysis/mhpow/b4/README.md; docs/analysis/mhpow/b4/params.txt; docs/analysis/mhpow/b4/RUNS.md; tools/mhpow/b4/params.py",
"note": "NOT RUN: statement and losses written; terms 2 (transfers) and the amortisation of terms 2 and 3 are open theorems; L is BLOCKED (no lower-bound certificate for any technology coefficient); X5 rows stay WITNESS (E_D)",
"in_progress": true,
"cases": [
"R15-07"
]
}
],
"map_cell_requested": {
"theory:mhpow-b4": {
"command": "python3 tools/mhpow/b4/params.py > docs/analysis/mhpow/b4/params.txt (a build box under a pid file; the composed accepted-certificate energy statement's constants from the published papers R1 to R4 and R16; byte-identical output)",
"box_class": "build box, CPU only",
"fixtures": [],
"cases": [
"R15-07"
],
"coverage": {
"R15-07": "partial: the composed theorem's statement and the losses on the published constants; terms 2 and 3's amortisation open theorems; L BLOCKED; the panel has not read it"
}
}
}
}

46
tools/ci/batches/r15-track-b-20261009-01.json Normal file
View file

@ -0,0 +1,46 @@
{
"run_id": "r15-track-b-20261009-01",
"manifest_sha": "067dca70",
"method": "model",
"evidence_dir": "docs/analysis/mhpow",
"boxes": [
"build-9"
],
"release_identity": {
"commit": "master 067dca70 (B2 eb999f0e, B4 12822bf5, B6 1ab735be landed); B1 e9f94df6 and B3 land by 11:45 UK and are recorded then under R15-05 and R15-06",
"lockfile": "",
"binary": "",
"network_object": "none: documents and tests only, no chain state read or written",
"activation": "none",
"profile_hashes": "R1 2025/1456 13c3646e...; params.py 7ac7fd48...; params.txt a98ac460..."
},
"claim_impact": "none: no served figure moves; Track B's construction is not adopted and nothing activates",
"note": "the coordinator's order (10:4x UK, 9 October 2026): Track B's reproduction findings recorded as BOUND rows, NOT RUN, no pass or fail claimed for any package; every chip figure WITNESS or BOUND by the R15 suite rule",
"cells": [
{
"cell": "theory:r15-07-track-b",
"cases": [
"R15-07"
],
"status": "NOT RUN",
"in_progress": true,
"method": "model",
"evidence": "docs/analysis/mhpow/b2/README.md; docs/analysis/mhpow/b4/README.md; docs/analysis/mhpow/b4/params.txt; docs/analysis/mhpow/b4/RUNS.md; tools/mhpow/b4/params.py",
"note": "BOUND (B4): no 1.5x certificate is reachable from the published constants; the generic route at most 0.151 of the honest prover's energy at log2 N = 22, the red-blue route losing at least 341x at rho 0.25 (docs/analysis/mhpow/b4/README.md, params.txt). FINDING (B2, obligation O-07): the two naive lottery rules FAIL with written counter-examples (the sink re-roll at log2 N + 1 calls, about 1.3 million draws per labelling at N = 2^24; free screening on chi alone), the replacement BLOCKED to B4 (B-T3) (docs/analysis/mhpow/b2/README.md). The package R15-07 (no invalid theorem composition) stays NOT RUN until the independent panel reads the composed statement; terms 2 and 3's amortisation are open theorems; L BLOCKED",
"claim_impact": "none"
}
],
"map_cell_requested": {
"theory:r15-07-track-b": {
"command": "the Track B composition read: docs/analysis/mhpow/b2 (the binding obligations O-01 to O-16, figures by tools/mhpow/b2/b2_figures.py) and docs/analysis/mhpow/b4 (the composed theorem and its constants by tools/mhpow/b4/params.py), on a build box under a pid file",
"box_class": "build box, CPU only",
"fixtures": [],
"cases": [
"R15-07"
],
"coverage": {
"R15-07": "partial: the statement, the obligations and the losses on published constants; the proof of terms 2 and 3, the amortisation and the panel's reading open"
}
}
}
}

37
tools/ci/test-map.json
View file

@ -809,6 +809,41 @@
"POW-02",
"POW-04"
]
},
"model:mhpow-b2-binding": {
"command": "python3 tools/mhpow/b2/b2_figures.py > docs/analysis/mhpow/b2/figures.txt (a build box under a pid file; byte-identical output, sha256 27bb414c...)",
"box_class": "build box, CPU only (build-9)",
"fixtures": [],
"cases": [
"POW-05",
"POW-06"
],
"coverage": {
"POW-05": "partial: the binding obligations for the Track B work unit only; the lottery binding is BLOCKED (B-T3) and the multi-instance bound BLOCKED (B-T5)",
"POW-06": "partial: certificate size as a formula; no verifier timing, no malformed-input cost"
}
},
"theory:mhpow-b4": {
"command": "python3 tools/mhpow/b4/params.py > docs/analysis/mhpow/b4/params.txt (a build box under a pid file; the composed accepted-certificate energy statement's constants from the published papers R1 to R4 and R16; byte-identical output)",
"box_class": "build box, CPU only",
"fixtures": [],
"cases": [
"R15-07"
],
"coverage": {
"R15-07": "partial: the composed theorem's statement and the losses on the published constants; terms 2 and 3's amortisation open theorems; L BLOCKED; the panel has not read it"
}
},
"theory:r15-07-track-b": {
"command": "the Track B composition read: docs/analysis/mhpow/b2 (the binding obligations O-01 to O-16, figures by tools/mhpow/b2/b2_figures.py) and docs/analysis/mhpow/b4 (the composed theorem and its constants by tools/mhpow/b4/params.py), on a build box under a pid file",
"box_class": "build box, CPU only",
"fixtures": [],
"cases": [
"R15-07"
],
"coverage": {
"R15-07": "partial: the statement, the obligations and the losses on published constants; the proof of terms 2 and 3, the amortisation and the panel's reading open"
}
}
},
"not_run": {
@ -818,7 +853,6 @@
"GPU-04": "the memory-clock ladder has no harness tonight: the project's own rig mines nothing under the the earlier devnet off order",
"GPU-06": "accepted work under ordinary connectivity needs the fault network F4",
"GPU-07": "the sustained thermal and power soak has no harness tonight: the project's own rig mines nothing under the the earlier devnet off order",
"POW-05": "amortised cheap winning attempts are the attack lanes' grind and era harnesses (tools/attack/f7-era, f9-grind), not in the release matrix; their rows come from those lanes",
"ROT-03": "miner-voted bring-forward needs a vote harness on the fault network F4",
"ROT-04": "seed-selection resistance is the census harness (the class v6 invention lane), not yet in the matrix",
"EVM-01": "no EVM conformance-vector harness is mapped tonight; the exec suite does not run the reference test vectors",
@ -988,7 +1022,6 @@
"R15-04": "R15-04 (1.5x programme package): no package executed; the harness is the lane's (X2, X3, X4); its batch names the case when it lands; not yet named in the map",
"R15-05": "R15-05 (1.5x programme package): no package executed; the harness is the lane's (B1); its batch names the case when it lands; not yet named in the map",
"R15-06": "R15-06 (1.5x programme package): no package executed; the harness is the lane's (B3); its batch names the case when it lands; not yet named in the map",
"R15-07": "R15-07 (1.5x programme package): no package executed; the harness is the lane's (B2, B4); its batch names the case when it lands; not yet named in the map",
"R15-08": "R15-08 (1.5x programme package): no package executed; the harness is the lane's (X5, B5); its batch names the case when it lands; not yet named in the map",
"R15-09": "R15-09 (1.5x programme package): no package executed; the harness is the lane's (X6); its batch names the case when it lands; not yet named in the map",
"R15-10": "R15-10 (1.5x programme package): no package executed; the harness is the lane's (B6); its batch names the case when it lands; not yet named in the map"