diff --git a/docs/plans/igneum-2.0-test-harness-map.md b/docs/plans/igneum-2.0-test-harness-map.md index c78f63afc..61bb36373 100644 --- a/docs/plans/igneum-2.0-test-harness-map.md +++ b/docs/plans/igneum-2.0-test-harness-map.md @@ -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. diff --git a/docs/plans/igneum-2.0-test-registry.json b/docs/plans/igneum-2.0-test-registry.json index c4ab61fea..3eb0f2a24 100644 --- a/docs/plans/igneum-2.0-test-registry.json +++ b/docs/plans/igneum-2.0-test-registry.json @@ -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" } } ] diff --git a/tools/ci/batches/eco-d4-20261008-01.json b/tools/ci/batches/eco-d4-20261008-01.json index 683c5594d..ae08498d1 100644 --- a/tools/ci/batches/eco-d4-20261008-01.json +++ b/tools/ci/batches/eco-d4-20261008-01.json @@ -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" } ] } diff --git a/tools/ci/test-map.json b/tools/ci/test-map.json index c49de50b4..29b0bd175 100644 --- a/tools/ci/test-map.json +++ b/tools/ci/test-map.json @@ -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",