diff --git a/docs/plans/igneum-2.0-test-harness-map.md b/docs/plans/igneum-2.0-test-harness-map.md index 85cc3f0b0..a540fe8f8 100644 --- a/docs/plans/igneum-2.0-test-harness-map.md +++ b/docs/plans/igneum-2.0-test-harness-map.md @@ -179,6 +179,23 @@ 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 + ## 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 @@ -195,11 +212,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 @@ -258,4 +273,4 @@ Rule: a case maps to a cell only where the cell's tests visibly answer it; cover ## Count -109 automated cases: 37 mapped to a cell, 74 NOT RUN with a reason. +109 automated cases: 40 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 076344d50..e2b90097d 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:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "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:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -321,10 +321,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "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:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } } ] @@ -565,10 +565,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "accepted work under ordinary connectivity needs the fault network F4", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -1442,10 +1442,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "seed-selection resistance is the census harness (the class v6 invention lane), not yet in the matrix", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -1600,10 +1600,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "the no-new-rules counterfactual is a research harness", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } } ] @@ -1651,14 +1651,17 @@ "manual_page": 33, "owner_lane": "research lane (ad6a2bd47d4a46105)", "run_status": "RUNNING", - "evidence_path": "docs/analysis/class-v6/reference-population.md", - "run_id": "team-2026-10-08", - "updated": "2026-10-08 18:3x UK", + "evidence_path": "sim/economy/coexist/README.md", + "run_id": "eco05-20261008-01", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { - "what_was_run": "the cost per accepted unit in reference-population.md", - "run_by": "research lane (ad6a2bd47d4a46105)", - "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": "model:coexist-fixtures", + "manifest_sha": "80178b3b", + "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" + }, + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -1802,15 +1805,17 @@ "owner": "Economics lead + independent reviewer", "manual_page": 34, "owner_lane": "research lane (ad6a2bd47d4a46105)", - "run_status": "RUNNING", - "evidence_path": "docs/analysis/class-v6/coexistence-model.md", - "run_id": "team-2026-10-08", - "updated": "2026-10-08 18:3x UK", + "run_status": "FAIL", + "evidence_path": "docs/analysis/class-v6/eco-05-results.md", + "run_id": "eco05-20261008-01", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { - "what_was_run": "the success, contraction and cheap-electricity paths in the model", - "run_by": "research lane (ad6a2bd47d4a46105)", - "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": "model:eco05", + "manifest_sha": "80178b3b", + "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" + }, + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -1916,10 +1921,19 @@ "owner": "Economics lead + independent reviewer", "manual_page": 35, "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": "sim/economy/coexist/README.md", + "run_id": "eco05-20261008-01", + "updated": "2026-10-08T18:32:03.800Z", + "evidence_record": { + "cell": "model:coexist-fixtures", + "manifest_sha": "80178b3b", + "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" + }, + "at": "2026-10-08T18:32:03.800Z" + } } ] }, @@ -2209,10 +2223,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "execution DoS workloads need the workload catalogue F3", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -2640,10 +2654,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "the consumer-shard reproduction is the fleet lane's pods", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -2675,10 +2689,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "proving on the mining configuration is the fleet lane's", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -2710,10 +2724,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "the request-to-payment path is the proving fleet's measurement", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -2745,10 +2759,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "sustained load is the proving fleet's", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -2780,10 +2794,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "overload and recovery is the proving fleet's", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -2815,10 +2829,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "assignment windows are the proving fleet's", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -2850,10 +2864,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "reassignment is the proving fleet's", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -2885,10 +2899,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "customer-verifiable output is the reference apps plus the fleet", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } } ] @@ -2983,10 +2997,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "revenue separation is the economics lane's model", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -3020,10 +3034,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "the modified-client task choice needs an adversarial client harness", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -3057,10 +3071,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "demand spikes are the economic model", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -3094,10 +3108,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "reservation abuse needs the capacity harness", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -3131,10 +3145,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "difficulty and timestamp manipulation needs the fault network F4", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -3168,10 +3182,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "self-dealing fees need the economic model and a live window", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -3205,10 +3219,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "failure concentration is a live-window measurement", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } } ] @@ -3750,10 +3764,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "state reconstruction without founder storage is the OPS no-founder exercise", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -3785,10 +3799,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "withholding and corruption detection needs the fault network F4", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -3820,10 +3834,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "wallet key protection is the wallet lane's security row", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -3913,10 +3927,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "the no-founder exercise is an operations run, not a suite", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -3948,10 +3962,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "bootstrap diversity needs the fault network F4", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -4062,10 +4076,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "proving workload isolation is the fleet's pod row", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -4137,10 +4151,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "runbook detection is an operations run", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -4172,10 +4186,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "repeat independent operation is a cross-release observation", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } } ] @@ -4566,10 +4580,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "commercial evidence, no automated harness", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -4606,10 +4620,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -4646,10 +4660,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -4686,10 +4700,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -4726,10 +4740,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -4766,10 +4780,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -4929,10 +4943,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "leadership comparison, an observation window", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -4967,10 +4981,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -5005,10 +5019,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -5043,10 +5057,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -5081,10 +5095,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } }, { @@ -5153,10 +5167,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:32:03.800Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:32:03.800Z" } } ] diff --git a/tools/ci/batches/eco05-20261008-01.json b/tools/ci/batches/eco05-20261008-01.json new file mode 100644 index 000000000..d2100a4a0 --- /dev/null +++ b/tools/ci/batches/eco05-20261008-01.json @@ -0,0 +1,21 @@ +{ + "run_id": "eco05-20261008-01", + "manifest_sha": "80178b3b", + "cut_tip": "80178b3b on class-v6-floor-sram (the package sim/economy/coexist and the results; lands on master in the research lane's 21:00 UK landing)", + "evidence_dir": "docs/analysis/class-v6", + "boxes": [ + "build-4" + ], + "cells": [ + { + "cell": "model:eco05", + "status": "FAIL", + "evidence": "docs/analysis/class-v6/eco-05-results.md" + }, + { + "cell": "model:coexist-fixtures", + "status": "RUNNING", + "evidence": "sim/economy/coexist/README.md" + } + ] +} diff --git a/tools/ci/test-map.json b/tools/ci/test-map.json index 509f93a6d..541abbbd4 100644 --- a/tools/ci/test-map.json +++ b/tools/ci/test-map.json @@ -309,6 +309,35 @@ "coverage": { "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" + } } }, "not_run": { @@ -326,11 +355,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",