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

ECO-05 recorded through the acceptance layer: map cells model:eco05 (ECO-05, full coverage of the frozen register) and model:coexist-fixtures (ECO-01, ECO-08 partial); batch eco05-20261008-01 at manifest 80178b3b: ECO-05 FAIL with its evidence, ECO-01 and ECO-08 RUNNING; ECO-01 and ECO-05 out of not_run; the page regenerated

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-08 18:32:04 +00:00
parent cba311f568
commit cf5e1a6847
4 changed files with 183 additions and 106 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -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.

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

@ -165,10 +165,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18: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"
}
}
]

21
tools/ci/batches/eco05-20261008-01.json Normal file
View file

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

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

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