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

Test registry: the research batch rebased on master's 29c87fed (lane 3's eco05 and coexist-fixtures cells own ECO-01, ECO-05 and ECO-08; harness:economics-model keeps the other nine cases), no duplicate cells

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-08 18:44:45 +00:00
parent c4d6a19d13
commit 0dfdba82d6
4 changed files with 270 additions and 265 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -179,39 +179,39 @@ Rule: a case maps to a cell only where the cell's tests visibly answer it; cover
- Cases:
- POW-01 Match independent execution across every backend: partial: independent execution agrees with the tree on the V2/V3 genesis program id and op mix, the two closed-form hashes, the three census ids and the eight header-bound memory-hard vectors; the v5 object's and the v6 freeze's vectors are outside the transcription's model (its README) and read NOT RUN for this cell; every backend is harness:p01-vectors
### model:eco05
- Command: `python3 sim/economy/coexist/eco05.py 0.5 31.65e6 and python3 sim/economy/coexist/eco05.py 0.055 31.65e6 on a build box (python3, no packages; the frozen register docs/analysis/class-v6/eco-05-scenarios.md; the cube to sim/economy/coexist/out/)`
- Box class: build box (CPU, python3)
- Fixtures: F0, F7
- Cases:
- ECO-05 Stress success, contraction and cheap electricity: full on the frozen register's grid and the eight adversarial rows at the team's reconciled specialist rows; the independent reviewer's own adversarial rows (ECO-08) remain
### model:coexist-fixtures
- Command: `python3 sim/economy/coexist/fixtures.py on a build box (exit 0 = the second implementation of the per-class cost formula agrees with the hand-worked values and the model's own function within 0.5 percent)`
- Box class: build box (CPU, python3)
- Fixtures: F7
- Cases:
- ECO-01 Reconcile complete cost per accepted work: partial: the hand-worked fixtures and the second implementation; the independent reconciliation of inputs and units remains
- ECO-08 Reproduce and adversarially audit the model: partial: the package runs from the served files (README, inputs with sources and labels, fixtures); the independent report, the rerun and the perturbations remain
### harness:economics-model
- Command: `python3 fixtures.py && python3 refpop.py && python3 coexist2.py && python3 hybrid.py && python3 market.py && python3 surface.py && python3 opsim.py 0.5 (from sim/economy/coexist/; no packages; a box or any Python 3.10)`
- Command: `python3 refpop.py && python3 coexist2.py && python3 hybrid.py && python3 market.py && python3 surface.py && python3 opsim.py 0.5 (from sim/economy/coexist/; no packages; a box or any Python 3.10)`
- Box class: harness (research; build-4 today; any box)
- Fixtures: F0
- Cases:
- ECO-01 Reconcile complete cost per accepted work: partial: the per-class cost per accepted MH/s-hour reconciled to its inputs (coexistence-model.md section 2, reference-population.md) and fixtures.py as the second implementation with hand-worked values and edge cases (ALL OK); the independent reconciliation is ECO-08
- ECO-02 Separate existing-owner and new-entrant viability: partial: the existing-owner and new-entrant tests per class at three tariffs, MSRP and street, with resale (reference-population.md); resale at zero, failures and financing not yet stressed
- ECO-03 Let the specialist keep its sunk development: partial: the sunk-development case first with low and high ranges, private mining, hardware sales and the hybrid, GPU re-entry after the fleet (coexistence-model.md sections 2, 8a, 12 to 12c; the surface in floor/sram-and-floor.md 4.4); the source thresholds retired to coexistence-workbook.md
- ECO-04 Model entry, exit and difficulty response: partial: a per-class supply curve with the installed base as a cap and re-entry (coexistence-model.md), the market-structure axis (8a), the operator simulation (operator-simulation.md); dynamic agent policies beyond the single-rule reaction are the simulation second cut
- ECO-06 Fund security and proving as issuance falls: partial: the recipients and burns reconciled on the chain block-one split (proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed
- ECO-07 Price memory growth and honest-card displacement: partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured
- ECO-06 Fund security and proving as issuance falls: partial: the recipients and burns reconciled on the chain block-one split (docs/design/proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed
- ECO-07 Price memory growth and honest-card displacement: partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (docs/design/class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured
- INC-02 Keep revenue streams and claims separate: partial: the income streams kept separate in the model (mining subsidy, internal proving, external jobs; burns never counted as payment); the node-record and Ember reconciliation are the node and app lanes
- INC-03 Let a modified client choose the most profitable task: partial: the profit-maximising operator simulation first run (mine, internal prove, external prove, off); per-card agents and switching costs are the second cut
- INC-04 Survive external-demand spikes and token declines: partial: the four shocks in the operator simulation (the demand spike, the price fall, the largest provers leaving, the entrants), restored or not and in how many periods
- INC-08 Quantify provider and supplier failure concentration: partial: the supplier and operator dependence table (coexistence-model.md 8a); the signing, proving and aggregation roles are the node lane
### harness:eco-05
- Command: `python3 eco05.py 0.5 31.65 > out/eco05-cube-eff050.tsv && python3 eco05.py 0.055 31.65 > out/eco05-cube-eff0055.tsv (from sim/economy/coexist/; the register inputs/eco05-register.json frozen before any result)`
- Box class: harness (research; build-4 today; any box)
- Fixtures: F0
- Cases:
- ECO-05 Stress success, contraction and cheap electricity: full on the frozen P12 grid plus the eight adversarial combinations (eco-05-scenarios.md, eco-05-results.md, both cubes); the independent reviewer adversarial combinations are ECO-08
### harness:eco-08-package
- Command: `python3 fixtures.py (from sim/economy/coexist/; then the README run lines, by an unaffiliated reviewer from the served files)`
- Box class: harness (independent review; any box)
- Fixtures: F0
- Cases:
- ECO-08 Reproduce and adversarially audit the model: partial: the package runnable from the served files with inputs, README, frozen criteria and ECO-01 fixtures; the independent economist rerun and perturbation report owed
## 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
@ -228,11 +228,9 @@ Rule: a case maps to a cell only where the cell's tests visibly answer it; cover
- 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
- ROT-07 Ablate redundant rotation layers: layer ablation is a research harness, not a release suite
- ROT-08 Pass the no-new-rules counterfactual: the no-new-rules counterfactual is a research harness
- ECO-01 Reconcile complete cost per accepted work: the economic model F7 is the economics lane's; no automated harness in the matrix
- ECO-02 Separate existing-owner and new-entrant viability: F7
- ECO-03 Let the specialist keep its sunk development: F7
- ECO-04 Model entry, exit and difficulty response: F7
- ECO-05 Stress success, contraction and cheap electricity: F7
- ECO-06 Fund security and proving as issuance falls: F7
- ECO-07 Price memory growth and honest-card displacement: F7
- 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
@ -291,4 +289,4 @@ Rule: a case maps to a cell only where the cell's tests visibly answer it; cover
## Count
109 automated cases: 49 mapped to a cell, 74 NOT RUN with a reason.
109 automated cases: 49 mapped to a cell, 72 NOT RUN with a reason.

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

@ -165,10 +165,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "the evidence vault F9 (raw and negative evidence preserved) is the gate rule landing by 21:00: a PASS must carry its evidence file",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -321,10 +321,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "the stale-evidence rule (evidence older than the manifest sha reads NOT RUN) is the gate rule landing by 21:00",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
}
]
@ -373,10 +373,20 @@
"owner": "GPU lead + three independent operators",
"manual_page": 21,
"owner_lane": "research lane (ad6a2bd47d4a46105)",
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08 18:3x UK"
"run_status": "RUNNING",
"evidence_path": "docs/analysis/class-v6/rows/fleet-l8off-20261008.md",
"run_id": "hash-lane-20261008-batch1",
"updated": "2026-10-08T18:41:01.185Z",
"evidence_record": {
"cell": "bench:fleet-pods",
"manifest_sha": "c245d50b9",
"coverage": {
"GPU-01": "partial: the NVIDIA cells of P02 that RunPod carries",
"GPU-03": "partial: the 4090 cell",
"POW-08": "partial: W = 16 on four cards"
},
"at": "2026-10-08T18:41:01.185Z"
}
},
{
"id": "GPU-02",
@ -407,14 +417,19 @@
"manual_page": 21,
"owner_lane": "hash lane (a690540514aa453d7)",
"run_status": "RUNNING",
"evidence_path": "docs/plans/counter-asic-3-status.md; docs/analysis/class-v6/floor/sm-sparse.md",
"run_id": "team-2026-10-08",
"updated": "2026-10-08 18:3x UK",
"evidence_path": "docs/analysis/class-v6/rows/run-ca3-pc1-readwidth-5090-20261008-b.md",
"run_id": "hash-lane-20261008-batch1",
"updated": "2026-10-08T18:41:01.185Z",
"evidence_record": {
"what_was_run": "the 5090 knee 1,300 MHz (134.6 MH/s at 223 W against 305 W stock), the 5080 1,100 MHz (71.2 at 146.6 W), the 9070 XT both floors (149 W at 18.96 MH/s); team-measured on the project rigs",
"run_by": "hash lane (a690540514aa453d7)",
"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"
"cell": "bench:pc1-packs",
"manifest_sha": "c245d50b9",
"coverage": {
"GPU-02": "partial: the paired stock and locked rows on the same board, host and workload (the rate held, 2.37 against 3.26 microjoules per hash on the class v5 pack); the historical 34 to 41 percent claim's full configuration set is owed",
"GPU-03": "partial: hl-v6-all against hl-v6-foldrw on the 5090, the window's cost per unit of work, registers and blocks per SM, no spill; the mandatory-SKU set is owed",
"GPU-05": "partial: v3-1g, v3-ds29, v3-ds30, ds55, ds4g-ms complete with their fingerprints, energy per step at stock and at the knee on the 5090 and the 7600; the 8.5 and 11.5 GiB candidates are owed",
"POW-08": "partial: rw-w4, rw-w32, rw-w64 and the 1p5x long-program packs as regression controls for the excluded levers"
},
"at": "2026-10-08T18:41:01.185Z"
}
},
{
@ -446,14 +461,18 @@
"manual_page": 21,
"owner_lane": "hash lane (a690540514aa453d7)",
"run_status": "RUNNING",
"evidence_path": "docs/design/class-v6-rotating-family.md 10.0e",
"run_id": "team-2026-10-08",
"updated": "2026-10-08 18:3x UK",
"evidence_path": "docs/analysis/class-v6/rows/fleet-l8off-20261008.md",
"run_id": "hash-lane-20261008-batch1",
"updated": "2026-10-08T18:41:01.185Z",
"evidence_record": {
"what_was_run": "the 64-register window measured on a rented 5090 and 4090: at most 5 percent per load, no spill, no rate per unit of work; the full-chain form hl-reg64c",
"run_by": "hash lane (a690540514aa453d7)",
"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"
"cell": "bench:fleet-pods",
"manifest_sha": "c245d50b9",
"coverage": {
"GPU-01": "partial: the NVIDIA cells of P02 that RunPod carries",
"GPU-03": "partial: the 4090 cell",
"POW-08": "partial: W = 16 on four cards"
},
"at": "2026-10-08T18:41:01.185Z"
}
},
{
@ -524,14 +543,17 @@
"manual_page": 22,
"owner_lane": "hash lane (a690540514aa453d7)",
"run_status": "RUNNING",
"evidence_path": "docs/analysis/class-v6/coexist-rows.md; docs/design/class-v6-rotating-family.md 10.0u",
"run_id": "team-2026-10-08",
"updated": "2026-10-08 18:3x UK",
"evidence_path": "docs/analysis/class-v6/rows/run-ca3-pc1-amd-cardin-20261008T1703.md",
"run_id": "hash-lane-20261008-batch1",
"updated": "2026-10-08T18:41:01.185Z",
"evidence_record": {
"what_was_run": "the 5.5 GiB rows: the 5090 +14.3 percent energy per hash at the lock (+4.8 at stock), the RX 7600 under 3 percent of rate; the 3060 and 4060 coexist rows",
"run_by": "hash lane (a690540514aa453d7)",
"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"
"cell": "bench:pc1-amd",
"manifest_sha": "c245d50b9",
"coverage": {
"GPU-01": "partial: the 8 GB AMD cell, fingerprints and rates at 1, 2, 4 and 5.5 GiB; one cell of P02's twelve",
"GPU-05": "partial: the 8 GB tier's fit rows"
},
"at": "2026-10-08T18:41:01.185Z"
}
},
{
@ -565,10 +587,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "accepted work under ordinary connectivity needs the fault network F4",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -725,18 +747,18 @@
"manual_page": 24,
"owner_lane": "hash lane (a690540514aa453d7)",
"run_status": "RUNNING",
"evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/miner-7d82b71e/box4-pow.log",
"run_id": "200-417c4a57-b2",
"updated": "2026-10-08T18:28:32.408Z",
"evidence_path": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md",
"run_id": "hash-lane-20261008-batch1",
"updated": "2026-10-08T18:41:01.185Z",
"evidence_record": {
"cell": "suite:pow",
"manifest_sha": "417c4a57",
"manifest_sha": "c245d50b9",
"coverage": {
"POW-02": "partial: program derivation, ds55 geometry, the v6 fold, the packs and the spec read-back tests; the independent re-implementation and the index-fold census are the hash lane's harnesses",
"POW-08": "partial: the freeze list and the generator version pin; the public-claim scrub is the site gate's",
"POW-07": "the mixed FP32 branch is excluded and unreachable: no class flag reaches an FP op in igneum-pow on master (the mixedfp lane's branch is not on master); evidence the grep of the emitters on master, recorded by the hash lane"
},
"at": "2026-10-08T18:28:32.408Z"
"at": "2026-10-08T18:41:01.185Z"
}
},
{
@ -916,18 +938,18 @@
"manual_page": 26,
"owner_lane": "hash lane (a690540514aa453d7)",
"run_status": "RUNNING",
"evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/miner-7d82b71e/box4-pow.log",
"run_id": "200-417c4a57-b2",
"updated": "2026-10-08T18:28:32.408Z",
"evidence_path": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md",
"run_id": "hash-lane-20261008-batch1",
"updated": "2026-10-08T18:41:01.185Z",
"evidence_record": {
"cell": "suite:pow",
"manifest_sha": "417c4a57",
"manifest_sha": "c245d50b9",
"coverage": {
"POW-02": "partial: program derivation, ds55 geometry, the v6 fold, the packs and the spec read-back tests; the independent re-implementation and the index-fold census are the hash lane's harnesses",
"POW-08": "partial: the freeze list and the generator version pin; the public-claim scrub is the site gate's",
"POW-07": "the mixed FP32 branch is excluded and unreachable: no class flag reaches an FP op in igneum-pow on master (the mixedfp lane's branch is not on master); evidence the grep of the emitters on master, recorded by the hash lane"
},
"at": "2026-10-08T18:28:32.408Z"
"at": "2026-10-08T18:41:01.185Z"
}
},
{
@ -957,18 +979,18 @@
"manual_page": 26,
"owner_lane": "hash lane (a690540514aa453d7)",
"run_status": "RUNNING",
"evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/miner-7d82b71e/box4-pow.log",
"run_id": "200-417c4a57-b2",
"updated": "2026-10-08T18:28:32.408Z",
"evidence_path": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md",
"run_id": "hash-lane-20261008-batch1",
"updated": "2026-10-08T18:41:01.185Z",
"evidence_record": {
"cell": "suite:pow",
"manifest_sha": "417c4a57",
"manifest_sha": "c245d50b9",
"coverage": {
"POW-02": "partial: program derivation, ds55 geometry, the v6 fold, the packs and the spec read-back tests; the independent re-implementation and the index-fold census are the hash lane's harnesses",
"POW-08": "partial: the freeze list and the generator version pin; the public-claim scrub is the site gate's",
"POW-07": "the mixed FP32 branch is excluded and unreachable: no class flag reaches an FP op in igneum-pow on master (the mixedfp lane's branch is not on master); evidence the grep of the emitters on master, recorded by the hash lane"
},
"at": "2026-10-08T18:28:32.408Z"
"at": "2026-10-08T18:41:01.185Z"
}
}
]
@ -1442,10 +1464,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "seed-selection resistance is the census harness (the class v6 invention lane), not yet in the matrix",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -1600,10 +1622,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "the no-new-rules counterfactual is a research harness",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
}
]
@ -1651,25 +1673,17 @@
"manual_page": 33,
"owner_lane": "research lane (ad6a2bd47d4a46105)",
"run_status": "RUNNING",
"evidence_path": "docs/analysis/class-v6/coexistence-model.md",
"run_id": "eco-d4-20261008-01",
"updated": "2026-10-08T18:30:51.108Z",
"evidence_path": "sim/economy/coexist/README.md",
"run_id": "eco05-20261008-01",
"updated": "2026-10-08T18:39:55.238Z",
"evidence_record": {
"cell": "harness:economics-model",
"manifest_sha": "db424d20",
"cell": "model:coexist-fixtures",
"manifest_sha": "80178b3b",
"coverage": {
"ECO-01": "partial: the per-class cost per accepted MH/s-hour reconciled to its inputs (coexistence-model.md section 2, reference-population.md) and fixtures.py as the second implementation with hand-worked values and edge cases (ALL OK); the independent reconciliation is ECO-08",
"ECO-02": "partial: the existing-owner and new-entrant tests per class at three tariffs, MSRP and street, with resale (reference-population.md); resale at zero, failures and financing not yet stressed",
"ECO-03": "partial: the sunk-development case first with low and high ranges, private mining, hardware sales and the hybrid, GPU re-entry after the fleet (coexistence-model.md sections 2, 8a, 12 to 12c; the surface in floor/sram-and-floor.md 4.4); the source thresholds retired to coexistence-workbook.md",
"ECO-04": "partial: a per-class supply curve with the installed base as a cap and re-entry (coexistence-model.md), the market-structure axis (8a), the operator simulation (operator-simulation.md); dynamic agent policies beyond the single-rule reaction are the simulation second cut",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"INC-02": "partial: the income streams kept separate in the model (mining subsidy, internal proving, external jobs; burns never counted as payment); the node-record and Ember reconciliation are the node and app lanes",
"INC-03": "partial: the profit-maximising operator simulation first run (mine, internal prove, external prove, off); per-card agents and switching costs are the second cut",
"INC-04": "partial: the four shocks in the operator simulation (the demand spike, the price fall, the largest provers leaving, the entrants), restored or not and in how many periods",
"INC-08": "partial: the supplier and operator dependence table (coexistence-model.md 8a); the signing, proving and aggregation roles are the node lane"
"ECO-01": "partial: the hand-worked fixtures and the second implementation; the independent reconciliation of inputs and units remains",
"ECO-08": "partial: the package runs from the served files (README, inputs with sources and labels, fixtures); the independent report, the rerun and the perturbations remain"
},
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:39:55.238Z"
}
},
{
@ -1702,23 +1716,22 @@
"run_status": "RUNNING",
"evidence_path": "docs/analysis/class-v6/coexistence-model.md",
"run_id": "eco-d4-20261008-01",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"cell": "harness:economics-model",
"manifest_sha": "db424d20",
"coverage": {
"ECO-01": "partial: the per-class cost per accepted MH/s-hour reconciled to its inputs (coexistence-model.md section 2, reference-population.md) and fixtures.py as the second implementation with hand-worked values and edge cases (ALL OK); the independent reconciliation is ECO-08",
"ECO-02": "partial: the existing-owner and new-entrant tests per class at three tariffs, MSRP and street, with resale (reference-population.md); resale at zero, failures and financing not yet stressed",
"ECO-03": "partial: the sunk-development case first with low and high ranges, private mining, hardware sales and the hybrid, GPU re-entry after the fleet (coexistence-model.md sections 2, 8a, 12 to 12c; the surface in floor/sram-and-floor.md 4.4); the source thresholds retired to coexistence-workbook.md",
"ECO-04": "partial: a per-class supply curve with the installed base as a cap and re-entry (coexistence-model.md), the market-structure axis (8a), the operator simulation (operator-simulation.md); dynamic agent policies beyond the single-rule reaction are the simulation second cut",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (docs/design/proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (docs/design/class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"INC-02": "partial: the income streams kept separate in the model (mining subsidy, internal proving, external jobs; burns never counted as payment); the node-record and Ember reconciliation are the node and app lanes",
"INC-03": "partial: the profit-maximising operator simulation first run (mine, internal prove, external prove, off); per-card agents and switching costs are the second cut",
"INC-04": "partial: the four shocks in the operator simulation (the demand spike, the price fall, the largest provers leaving, the entrants), restored or not and in how many periods",
"INC-08": "partial: the supplier and operator dependence table (coexistence-model.md 8a); the signing, proving and aggregation roles are the node lane"
},
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -1751,23 +1764,22 @@
"run_status": "RUNNING",
"evidence_path": "docs/analysis/class-v6/coexistence-model.md",
"run_id": "eco-d4-20261008-01",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"cell": "harness:economics-model",
"manifest_sha": "db424d20",
"coverage": {
"ECO-01": "partial: the per-class cost per accepted MH/s-hour reconciled to its inputs (coexistence-model.md section 2, reference-population.md) and fixtures.py as the second implementation with hand-worked values and edge cases (ALL OK); the independent reconciliation is ECO-08",
"ECO-02": "partial: the existing-owner and new-entrant tests per class at three tariffs, MSRP and street, with resale (reference-population.md); resale at zero, failures and financing not yet stressed",
"ECO-03": "partial: the sunk-development case first with low and high ranges, private mining, hardware sales and the hybrid, GPU re-entry after the fleet (coexistence-model.md sections 2, 8a, 12 to 12c; the surface in floor/sram-and-floor.md 4.4); the source thresholds retired to coexistence-workbook.md",
"ECO-04": "partial: a per-class supply curve with the installed base as a cap and re-entry (coexistence-model.md), the market-structure axis (8a), the operator simulation (operator-simulation.md); dynamic agent policies beyond the single-rule reaction are the simulation second cut",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (docs/design/proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (docs/design/class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"INC-02": "partial: the income streams kept separate in the model (mining subsidy, internal proving, external jobs; burns never counted as payment); the node-record and Ember reconciliation are the node and app lanes",
"INC-03": "partial: the profit-maximising operator simulation first run (mine, internal prove, external prove, off); per-card agents and switching costs are the second cut",
"INC-04": "partial: the four shocks in the operator simulation (the demand spike, the price fall, the largest provers leaving, the entrants), restored or not and in how many periods",
"INC-08": "partial: the supplier and operator dependence table (coexistence-model.md 8a); the signing, proving and aggregation roles are the node lane"
},
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -1800,23 +1812,22 @@
"run_status": "RUNNING",
"evidence_path": "docs/analysis/class-v6/coexistence-model.md",
"run_id": "eco-d4-20261008-01",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"cell": "harness:economics-model",
"manifest_sha": "db424d20",
"coverage": {
"ECO-01": "partial: the per-class cost per accepted MH/s-hour reconciled to its inputs (coexistence-model.md section 2, reference-population.md) and fixtures.py as the second implementation with hand-worked values and edge cases (ALL OK); the independent reconciliation is ECO-08",
"ECO-02": "partial: the existing-owner and new-entrant tests per class at three tariffs, MSRP and street, with resale (reference-population.md); resale at zero, failures and financing not yet stressed",
"ECO-03": "partial: the sunk-development case first with low and high ranges, private mining, hardware sales and the hybrid, GPU re-entry after the fleet (coexistence-model.md sections 2, 8a, 12 to 12c; the surface in floor/sram-and-floor.md 4.4); the source thresholds retired to coexistence-workbook.md",
"ECO-04": "partial: a per-class supply curve with the installed base as a cap and re-entry (coexistence-model.md), the market-structure axis (8a), the operator simulation (operator-simulation.md); dynamic agent policies beyond the single-rule reaction are the simulation second cut",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (docs/design/proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (docs/design/class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"INC-02": "partial: the income streams kept separate in the model (mining subsidy, internal proving, external jobs; burns never counted as payment); the node-record and Ember reconciliation are the node and app lanes",
"INC-03": "partial: the profit-maximising operator simulation first run (mine, internal prove, external prove, off); per-card agents and switching costs are the second cut",
"INC-04": "partial: the four shocks in the operator simulation (the demand spike, the price fall, the largest provers leaving, the entrants), restored or not and in how many periods",
"INC-08": "partial: the supplier and operator dependence table (coexistence-model.md 8a); the signing, proving and aggregation roles are the node lane"
},
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -1848,15 +1859,15 @@
"owner_lane": "research lane (ad6a2bd47d4a46105)",
"run_status": "FAIL",
"evidence_path": "docs/analysis/class-v6/eco-05-results.md",
"run_id": "eco-d4-20261008-01",
"updated": "2026-10-08T18:30:51.108Z",
"run_id": "eco05-20261008-01",
"updated": "2026-10-08T18:39:55.238Z",
"evidence_record": {
"cell": "harness:eco-05",
"manifest_sha": "db424d20",
"cell": "model:eco05",
"manifest_sha": "80178b3b",
"coverage": {
"ECO-05": "full on the frozen P12 grid plus the eight adversarial combinations (eco-05-scenarios.md, eco-05-results.md, both cubes); the independent reviewer adversarial combinations are ECO-08"
"ECO-05": "full on the frozen register's grid and the eight adversarial rows at the team's reconciled specialist rows; the independent reviewer's own adversarial rows (ECO-08) remain"
},
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:39:55.238Z"
}
},
{
@ -1889,23 +1900,22 @@
"run_status": "RUNNING",
"evidence_path": "docs/analysis/class-v6/coexistence-model.md",
"run_id": "eco-d4-20261008-01",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"cell": "harness:economics-model",
"manifest_sha": "db424d20",
"coverage": {
"ECO-01": "partial: the per-class cost per accepted MH/s-hour reconciled to its inputs (coexistence-model.md section 2, reference-population.md) and fixtures.py as the second implementation with hand-worked values and edge cases (ALL OK); the independent reconciliation is ECO-08",
"ECO-02": "partial: the existing-owner and new-entrant tests per class at three tariffs, MSRP and street, with resale (reference-population.md); resale at zero, failures and financing not yet stressed",
"ECO-03": "partial: the sunk-development case first with low and high ranges, private mining, hardware sales and the hybrid, GPU re-entry after the fleet (coexistence-model.md sections 2, 8a, 12 to 12c; the surface in floor/sram-and-floor.md 4.4); the source thresholds retired to coexistence-workbook.md",
"ECO-04": "partial: a per-class supply curve with the installed base as a cap and re-entry (coexistence-model.md), the market-structure axis (8a), the operator simulation (operator-simulation.md); dynamic agent policies beyond the single-rule reaction are the simulation second cut",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (docs/design/proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (docs/design/class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"INC-02": "partial: the income streams kept separate in the model (mining subsidy, internal proving, external jobs; burns never counted as payment); the node-record and Ember reconciliation are the node and app lanes",
"INC-03": "partial: the profit-maximising operator simulation first run (mine, internal prove, external prove, off); per-card agents and switching costs are the second cut",
"INC-04": "partial: the four shocks in the operator simulation (the demand spike, the price fall, the largest provers leaving, the entrants), restored or not and in how many periods",
"INC-08": "partial: the supplier and operator dependence table (coexistence-model.md 8a); the signing, proving and aggregation roles are the node lane"
},
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -1938,23 +1948,22 @@
"run_status": "RUNNING",
"evidence_path": "docs/analysis/class-v6/coexistence-model.md",
"run_id": "eco-d4-20261008-01",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"cell": "harness:economics-model",
"manifest_sha": "db424d20",
"coverage": {
"ECO-01": "partial: the per-class cost per accepted MH/s-hour reconciled to its inputs (coexistence-model.md section 2, reference-population.md) and fixtures.py as the second implementation with hand-worked values and edge cases (ALL OK); the independent reconciliation is ECO-08",
"ECO-02": "partial: the existing-owner and new-entrant tests per class at three tariffs, MSRP and street, with resale (reference-population.md); resale at zero, failures and financing not yet stressed",
"ECO-03": "partial: the sunk-development case first with low and high ranges, private mining, hardware sales and the hybrid, GPU re-entry after the fleet (coexistence-model.md sections 2, 8a, 12 to 12c; the surface in floor/sram-and-floor.md 4.4); the source thresholds retired to coexistence-workbook.md",
"ECO-04": "partial: a per-class supply curve with the installed base as a cap and re-entry (coexistence-model.md), the market-structure axis (8a), the operator simulation (operator-simulation.md); dynamic agent policies beyond the single-rule reaction are the simulation second cut",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (docs/design/proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (docs/design/class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"INC-02": "partial: the income streams kept separate in the model (mining subsidy, internal proving, external jobs; burns never counted as payment); the node-record and Ember reconciliation are the node and app lanes",
"INC-03": "partial: the profit-maximising operator simulation first run (mine, internal prove, external prove, off); per-card agents and switching costs are the second cut",
"INC-04": "partial: the four shocks in the operator simulation (the demand spike, the price fall, the largest provers leaving, the entrants), restored or not and in how many periods",
"INC-08": "partial: the supplier and operator dependence table (coexistence-model.md 8a); the signing, proving and aggregation roles are the node lane"
},
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -1986,15 +1995,16 @@
"owner_lane": "research lane (ad6a2bd47d4a46105)",
"run_status": "RUNNING",
"evidence_path": "sim/economy/coexist/README.md",
"run_id": "eco-d4-20261008-01",
"updated": "2026-10-08T18:30:51.108Z",
"run_id": "eco05-20261008-01",
"updated": "2026-10-08T18:39:55.238Z",
"evidence_record": {
"cell": "harness:eco-08-package",
"manifest_sha": "db424d20",
"cell": "model:coexist-fixtures",
"manifest_sha": "80178b3b",
"coverage": {
"ECO-08": "partial: the package runnable from the served files with inputs, README, frozen criteria and ECO-01 fixtures; the independent economist rerun and perturbation report owed"
"ECO-01": "partial: the hand-worked fixtures and the second implementation; the independent reconciliation of inputs and units remains",
"ECO-08": "partial: the package runs from the served files (README, inputs with sources and labels, fixtures); the independent report, the rerun and the perturbations remain"
},
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:39:55.238Z"
}
}
]
@ -2285,10 +2295,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "execution DoS workloads need the workload catalogue F3",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -2716,10 +2726,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "the consumer-shard reproduction is the fleet lane's pods",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -2751,10 +2761,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "proving on the mining configuration is the fleet lane's",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -2786,10 +2796,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "the request-to-payment path is the proving fleet's measurement",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -2821,10 +2831,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "sustained load is the proving fleet's",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -2856,10 +2866,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "overload and recovery is the proving fleet's",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -2891,10 +2901,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "assignment windows are the proving fleet's",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -2926,10 +2936,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "reassignment is the proving fleet's",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -2961,10 +2971,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "customer-verifiable output is the reference apps plus the fleet",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
}
]
@ -3059,23 +3069,22 @@
"run_status": "RUNNING",
"evidence_path": "docs/analysis/class-v6/coexistence-model.md",
"run_id": "eco-d4-20261008-01",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"cell": "harness:economics-model",
"manifest_sha": "db424d20",
"coverage": {
"ECO-01": "partial: the per-class cost per accepted MH/s-hour reconciled to its inputs (coexistence-model.md section 2, reference-population.md) and fixtures.py as the second implementation with hand-worked values and edge cases (ALL OK); the independent reconciliation is ECO-08",
"ECO-02": "partial: the existing-owner and new-entrant tests per class at three tariffs, MSRP and street, with resale (reference-population.md); resale at zero, failures and financing not yet stressed",
"ECO-03": "partial: the sunk-development case first with low and high ranges, private mining, hardware sales and the hybrid, GPU re-entry after the fleet (coexistence-model.md sections 2, 8a, 12 to 12c; the surface in floor/sram-and-floor.md 4.4); the source thresholds retired to coexistence-workbook.md",
"ECO-04": "partial: a per-class supply curve with the installed base as a cap and re-entry (coexistence-model.md), the market-structure axis (8a), the operator simulation (operator-simulation.md); dynamic agent policies beyond the single-rule reaction are the simulation second cut",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (docs/design/proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (docs/design/class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"INC-02": "partial: the income streams kept separate in the model (mining subsidy, internal proving, external jobs; burns never counted as payment); the node-record and Ember reconciliation are the node and app lanes",
"INC-03": "partial: the profit-maximising operator simulation first run (mine, internal prove, external prove, off); per-card agents and switching costs are the second cut",
"INC-04": "partial: the four shocks in the operator simulation (the demand spike, the price fall, the largest provers leaving, the entrants), restored or not and in how many periods",
"INC-08": "partial: the supplier and operator dependence table (coexistence-model.md 8a); the signing, proving and aggregation roles are the node lane"
},
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -3109,23 +3118,22 @@
"run_status": "RUNNING",
"evidence_path": "docs/analysis/class-v6/coexistence-model.md",
"run_id": "eco-d4-20261008-01",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"cell": "harness:economics-model",
"manifest_sha": "db424d20",
"coverage": {
"ECO-01": "partial: the per-class cost per accepted MH/s-hour reconciled to its inputs (coexistence-model.md section 2, reference-population.md) and fixtures.py as the second implementation with hand-worked values and edge cases (ALL OK); the independent reconciliation is ECO-08",
"ECO-02": "partial: the existing-owner and new-entrant tests per class at three tariffs, MSRP and street, with resale (reference-population.md); resale at zero, failures and financing not yet stressed",
"ECO-03": "partial: the sunk-development case first with low and high ranges, private mining, hardware sales and the hybrid, GPU re-entry after the fleet (coexistence-model.md sections 2, 8a, 12 to 12c; the surface in floor/sram-and-floor.md 4.4); the source thresholds retired to coexistence-workbook.md",
"ECO-04": "partial: a per-class supply curve with the installed base as a cap and re-entry (coexistence-model.md), the market-structure axis (8a), the operator simulation (operator-simulation.md); dynamic agent policies beyond the single-rule reaction are the simulation second cut",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (docs/design/proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (docs/design/class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"INC-02": "partial: the income streams kept separate in the model (mining subsidy, internal proving, external jobs; burns never counted as payment); the node-record and Ember reconciliation are the node and app lanes",
"INC-03": "partial: the profit-maximising operator simulation first run (mine, internal prove, external prove, off); per-card agents and switching costs are the second cut",
"INC-04": "partial: the four shocks in the operator simulation (the demand spike, the price fall, the largest provers leaving, the entrants), restored or not and in how many periods",
"INC-08": "partial: the supplier and operator dependence table (coexistence-model.md 8a); the signing, proving and aggregation roles are the node lane"
},
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -3159,23 +3167,22 @@
"run_status": "RUNNING",
"evidence_path": "docs/analysis/class-v6/coexistence-model.md",
"run_id": "eco-d4-20261008-01",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"cell": "harness:economics-model",
"manifest_sha": "db424d20",
"coverage": {
"ECO-01": "partial: the per-class cost per accepted MH/s-hour reconciled to its inputs (coexistence-model.md section 2, reference-population.md) and fixtures.py as the second implementation with hand-worked values and edge cases (ALL OK); the independent reconciliation is ECO-08",
"ECO-02": "partial: the existing-owner and new-entrant tests per class at three tariffs, MSRP and street, with resale (reference-population.md); resale at zero, failures and financing not yet stressed",
"ECO-03": "partial: the sunk-development case first with low and high ranges, private mining, hardware sales and the hybrid, GPU re-entry after the fleet (coexistence-model.md sections 2, 8a, 12 to 12c; the surface in floor/sram-and-floor.md 4.4); the source thresholds retired to coexistence-workbook.md",
"ECO-04": "partial: a per-class supply curve with the installed base as a cap and re-entry (coexistence-model.md), the market-structure axis (8a), the operator simulation (operator-simulation.md); dynamic agent policies beyond the single-rule reaction are the simulation second cut",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (docs/design/proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (docs/design/class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"INC-02": "partial: the income streams kept separate in the model (mining subsidy, internal proving, external jobs; burns never counted as payment); the node-record and Ember reconciliation are the node and app lanes",
"INC-03": "partial: the profit-maximising operator simulation first run (mine, internal prove, external prove, off); per-card agents and switching costs are the second cut",
"INC-04": "partial: the four shocks in the operator simulation (the demand spike, the price fall, the largest provers leaving, the entrants), restored or not and in how many periods",
"INC-08": "partial: the supplier and operator dependence table (coexistence-model.md 8a); the signing, proving and aggregation roles are the node lane"
},
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -3209,10 +3216,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "reservation abuse needs the capacity harness",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -3246,10 +3253,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "difficulty and timestamp manipulation needs the fault network F4",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -3283,10 +3290,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "self-dealing fees need the economic model and a live window",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -3320,23 +3327,22 @@
"run_status": "RUNNING",
"evidence_path": "docs/analysis/class-v6/coexistence-model.md",
"run_id": "eco-d4-20261008-01",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"cell": "harness:economics-model",
"manifest_sha": "db424d20",
"coverage": {
"ECO-01": "partial: the per-class cost per accepted MH/s-hour reconciled to its inputs (coexistence-model.md section 2, reference-population.md) and fixtures.py as the second implementation with hand-worked values and edge cases (ALL OK); the independent reconciliation is ECO-08",
"ECO-02": "partial: the existing-owner and new-entrant tests per class at three tariffs, MSRP and street, with resale (reference-population.md); resale at zero, failures and financing not yet stressed",
"ECO-03": "partial: the sunk-development case first with low and high ranges, private mining, hardware sales and the hybrid, GPU re-entry after the fleet (coexistence-model.md sections 2, 8a, 12 to 12c; the surface in floor/sram-and-floor.md 4.4); the source thresholds retired to coexistence-workbook.md",
"ECO-04": "partial: a per-class supply curve with the installed base as a cap and re-entry (coexistence-model.md), the market-structure axis (8a), the operator simulation (operator-simulation.md); dynamic agent policies beyond the single-rule reaction are the simulation second cut",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (docs/design/proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (docs/design/class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"INC-02": "partial: the income streams kept separate in the model (mining subsidy, internal proving, external jobs; burns never counted as payment); the node-record and Ember reconciliation are the node and app lanes",
"INC-03": "partial: the profit-maximising operator simulation first run (mine, internal prove, external prove, off); per-card agents and switching costs are the second cut",
"INC-04": "partial: the four shocks in the operator simulation (the demand spike, the price fall, the largest provers leaving, the entrants), restored or not and in how many periods",
"INC-08": "partial: the supplier and operator dependence table (coexistence-model.md 8a); the signing, proving and aggregation roles are the node lane"
},
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
}
]
@ -3427,14 +3433,17 @@
"manual_page": 48,
"owner_lane": "finality lane (aca0f5ed924a2a99b)",
"run_status": "RUNNING",
"evidence_path": "sim/results_v2.md Rule v4",
"run_id": "team-2026-10-08",
"updated": "2026-10-08 18:3x UK",
"evidence_path": "sim/results_v2.md",
"run_id": "fin-boundary-20261008",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"what_was_run": "rule v4 pause 0 conflicts everywhere; the equivocator bound 2,800 to 2,889 at day 30",
"run_by": "finality lane (aca0f5ed924a2a99b)",
"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"
"cell": "harness:finality-sim",
"manifest_sha": "4b423dad8",
"coverage": {
"FIN-02": "partial: split honest populations in the simulator; the real-node run is the fault network F4",
"FIN-08": "partial: the combined boundary and fault scenarios in the simulator; model checking is the formal review"
},
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -3680,10 +3689,19 @@
"owner": "Consensus lead + independent formal/security review",
"manual_page": 50,
"owner_lane": "fast-time lane (a8be71a0db962911c)",
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08 18:3x UK"
"run_status": "RUNNING",
"evidence_path": "sim/results_v2.md",
"run_id": "fin-boundary-20261008",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"cell": "harness:finality-sim",
"manifest_sha": "4b423dad8",
"coverage": {
"FIN-02": "partial: split honest populations in the simulator; the real-node run is the fault network F4",
"FIN-08": "partial: the combined boundary and fault scenarios in the simulator; model checking is the formal review"
},
"at": "2026-10-08T18:38:45.233Z"
}
}
]
},
@ -3878,10 +3896,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "state reconstruction without founder storage is the OPS no-founder exercise",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -3913,10 +3931,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "withholding and corruption detection needs the fault network F4",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -3948,10 +3966,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "wallet key protection is the wallet lane's security row",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -4041,10 +4059,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "the no-founder exercise is an operations run, not a suite",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -4076,10 +4094,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "bootstrap diversity needs the fault network F4",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -4190,10 +4208,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "proving workload isolation is the fleet's pod row",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -4265,10 +4283,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "runbook detection is an operations run",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -4300,10 +4318,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "repeat independent operation is a cross-release observation",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
}
]
@ -4694,10 +4712,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "commercial evidence, no automated harness",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -4734,10 +4752,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -4774,10 +4792,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -4814,10 +4832,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -4854,10 +4872,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -4894,10 +4912,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -5057,10 +5075,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "leadership comparison, an observation window",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -5095,10 +5113,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -5133,10 +5151,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -5171,10 +5189,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -5209,10 +5227,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
},
{
@ -5281,10 +5299,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:30:51.108Z",
"updated": "2026-10-08T18:44:45.400Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T18:30:51.108Z"
"at": "2026-10-08T18:44:45.400Z"
}
}
]

12
tools/ci/batches/eco-d4-20261008-01.json
View file

@ -1,7 +1,7 @@
{
"run_id": "eco-d4-20261008-01",
"manifest_sha": "db424d20",
"cut_tip": "counter-asic-4 db424d20 (the D4 documents and sim/economy/coexist as landed; the manifest sha is the package commit)",
"cut_tip": "counter-asic-4 db424d20 (the D4 documents and sim/economy/coexist; ECO-01, ECO-05 and ECO-08 are floor lane 3 batch eco05-20261008-01 on master at 0f2e214f)",
"evidence_dir": "sim/economy/coexist/out",
"boxes": [
"build-4"
@ -11,16 +11,6 @@
"cell": "harness:economics-model",
"status": "RUNNING",
"evidence": "docs/analysis/class-v6/coexistence-model.md"
},
{
"cell": "harness:eco-05",
"status": "FAIL",
"evidence": "docs/analysis/class-v6/eco-05-results.md"
},
{
"cell": "harness:eco-08-package",
"status": "RUNNING",
"evidence": "sim/economy/coexist/README.md"
}
]
}

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

@ -310,14 +310,42 @@
"POW-01": "partial: independent execution agrees with the tree on the V2/V3 genesis program id and op mix, the two closed-form hashes, the three census ids and the eight header-bound memory-hard vectors; the v5 object's and the v6 freeze's vectors are outside the transcription's model (its README) and read NOT RUN for this cell; every backend is harness:p01-vectors"
}
},
"model:eco05": {
"command": "python3 sim/economy/coexist/eco05.py 0.5 31.65e6 and python3 sim/economy/coexist/eco05.py 0.055 31.65e6 on a build box (python3, no packages; the frozen register docs/analysis/class-v6/eco-05-scenarios.md; the cube to sim/economy/coexist/out/)",
"box_class": "build box (CPU, python3)",
"fixtures": [
"F0",
"F7"
],
"cases": [
"ECO-05"
],
"coverage": {
"ECO-05": "full on the frozen register's grid and the eight adversarial rows at the team's reconciled specialist rows; the independent reviewer's own adversarial rows (ECO-08) remain"
}
},
"model:coexist-fixtures": {
"command": "python3 sim/economy/coexist/fixtures.py on a build box (exit 0 = the second implementation of the per-class cost formula agrees with the hand-worked values and the model's own function within 0.5 percent)",
"box_class": "build box (CPU, python3)",
"fixtures": [
"F7"
],
"cases": [
"ECO-01",
"ECO-08"
],
"coverage": {
"ECO-01": "partial: the hand-worked fixtures and the second implementation; the independent reconciliation of inputs and units remains",
"ECO-08": "partial: the package runs from the served files (README, inputs with sources and labels, fixtures); the independent report, the rerun and the perturbations remain"
}
},
"harness:economics-model": {
"command": "python3 fixtures.py && python3 refpop.py && python3 coexist2.py && python3 hybrid.py && python3 market.py && python3 surface.py && python3 opsim.py 0.5 (from sim/economy/coexist/; no packages; a box or any Python 3.10)",
"command": "python3 refpop.py && python3 coexist2.py && python3 hybrid.py && python3 market.py && python3 surface.py && python3 opsim.py 0.5 (from sim/economy/coexist/; no packages; a box or any Python 3.10)",
"box_class": "harness (research; build-4 today; any box)",
"fixtures": [
"F0"
],
"cases": [
"ECO-01",
"ECO-02",
"ECO-03",
"ECO-04",
@ -329,43 +357,16 @@
"INC-08"
],
"coverage": {
"ECO-01": "partial: the per-class cost per accepted MH/s-hour reconciled to its inputs (coexistence-model.md section 2, reference-population.md) and fixtures.py as the second implementation with hand-worked values and edge cases (ALL OK); the independent reconciliation is ECO-08",
"ECO-02": "partial: the existing-owner and new-entrant tests per class at three tariffs, MSRP and street, with resale (reference-population.md); resale at zero, failures and financing not yet stressed",
"ECO-03": "partial: the sunk-development case first with low and high ranges, private mining, hardware sales and the hybrid, GPU re-entry after the fleet (coexistence-model.md sections 2, 8a, 12 to 12c; the surface in floor/sram-and-floor.md 4.4); the source thresholds retired to coexistence-workbook.md",
"ECO-04": "partial: a per-class supply curve with the installed base as a cap and re-entry (coexistence-model.md), the market-structure axis (8a), the operator simulation (operator-simulation.md); dynamic agent policies beyond the single-rule reaction are the simulation second cut",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"ECO-06": "partial: the recipients and burns reconciled on the chain block-one split (docs/design/proving-payment.md), proving demand as an income axis at none, launch and spike (coexistence-model.md); the full-horizon issuance ledger owed",
"ECO-07": "partial: each dataset size scored by adversary burden against commodity burden on measured card rows and modelled chip tickets (docs/design/class-v6-rotating-family.md 10.0u); the 8.5 and 11.5 GiB knee costs expected, not measured",
"INC-02": "partial: the income streams kept separate in the model (mining subsidy, internal proving, external jobs; burns never counted as payment); the node-record and Ember reconciliation are the node and app lanes",
"INC-03": "partial: the profit-maximising operator simulation first run (mine, internal prove, external prove, off); per-card agents and switching costs are the second cut",
"INC-04": "partial: the four shocks in the operator simulation (the demand spike, the price fall, the largest provers leaving, the entrants), restored or not and in how many periods",
"INC-08": "partial: the supplier and operator dependence table (coexistence-model.md 8a); the signing, proving and aggregation roles are the node lane"
}
},
"harness:eco-05": {
"command": "python3 eco05.py 0.5 31.65 > out/eco05-cube-eff050.tsv && python3 eco05.py 0.055 31.65 > out/eco05-cube-eff0055.tsv (from sim/economy/coexist/; the register inputs/eco05-register.json frozen before any result)",
"box_class": "harness (research; build-4 today; any box)",
"fixtures": [
"F0"
],
"cases": [
"ECO-05"
],
"coverage": {
"ECO-05": "full on the frozen P12 grid plus the eight adversarial combinations (eco-05-scenarios.md, eco-05-results.md, both cubes); the independent reviewer adversarial combinations are ECO-08"
}
},
"harness:eco-08-package": {
"command": "python3 fixtures.py (from sim/economy/coexist/; then the README run lines, by an unaffiliated reviewer from the served files)",
"box_class": "harness (independent review; any box)",
"fixtures": [
"F0"
],
"cases": [
"ECO-08"
],
"coverage": {
"ECO-08": "partial: the package runnable from the served files with inputs, README, frozen criteria and ECO-01 fixtures; the independent economist rerun and perturbation report owed"
}
}
},
"not_run": {
@ -383,11 +384,9 @@
"ROT-04": "seed-selection resistance is the census harness (the class v6 invention lane), not yet in the matrix",
"ROT-07": "layer ablation is a research harness, not a release suite",
"ROT-08": "the no-new-rules counterfactual is a research harness",
"ECO-01": "the economic model F7 is the economics lane's; no automated harness in the matrix",
"ECO-02": "F7",
"ECO-03": "F7",
"ECO-04": "F7",
"ECO-05": "F7",
"ECO-06": "F7",
"ECO-07": "F7",
"EVM-01": "no EVM conformance-vector harness is mapped tonight; the exec suite does not run the reference test vectors",