diff --git a/docs/plans/igneum-2.0-test-registry.json b/docs/plans/igneum-2.0-test-registry.json index 076344d50..bb0d3a602 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:31:55.739Z", "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:31:55.739Z" } }, { @@ -321,10 +321,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "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:31:55.739Z" } } ] @@ -565,10 +565,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "accepted work under ordinary connectivity needs the fault network F4", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -1442,10 +1442,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "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:31:55.739Z" } }, { @@ -1600,10 +1600,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "the no-new-rules counterfactual is a research harness", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } } ] @@ -2209,10 +2209,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "execution DoS workloads need the workload catalogue F3", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -2640,10 +2640,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "the consumer-shard reproduction is the fleet lane's pods", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -2675,10 +2675,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "proving on the mining configuration is the fleet lane's", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -2710,10 +2710,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "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:31:55.739Z" } }, { @@ -2745,10 +2745,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "sustained load is the proving fleet's", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -2780,10 +2780,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "overload and recovery is the proving fleet's", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -2815,10 +2815,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "assignment windows are the proving fleet's", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -2850,10 +2850,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "reassignment is the proving fleet's", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -2885,10 +2885,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "customer-verifiable output is the reference apps plus the fleet", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } } ] @@ -2983,10 +2983,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "revenue separation is the economics lane's model", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -3020,10 +3020,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "the modified-client task choice needs an adversarial client harness", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -3057,10 +3057,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "demand spikes are the economic model", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -3094,10 +3094,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "reservation abuse needs the capacity harness", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -3131,10 +3131,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "difficulty and timestamp manipulation needs the fault network F4", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -3168,10 +3168,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "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:31:55.739Z" } }, { @@ -3205,10 +3205,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "failure concentration is a live-window measurement", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } } ] @@ -3299,14 +3299,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:31:55.739Z", "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:31:55.739Z" } }, { @@ -3552,10 +3555,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:31:55.739Z", + "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:31:55.739Z" + } } ] }, @@ -3750,10 +3762,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "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:31:55.739Z" } }, { @@ -3785,10 +3797,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "withholding and corruption detection needs the fault network F4", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -3820,10 +3832,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "wallet key protection is the wallet lane's security row", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -3913,10 +3925,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "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:31:55.739Z" } }, { @@ -3948,10 +3960,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "bootstrap diversity needs the fault network F4", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -4062,10 +4074,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "proving workload isolation is the fleet's pod row", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -4137,10 +4149,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "runbook detection is an operations run", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -4172,10 +4184,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "repeat independent operation is a cross-release observation", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } } ] @@ -4566,10 +4578,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "commercial evidence, no automated harness", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -4606,10 +4618,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -4646,10 +4658,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -4686,10 +4698,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -4726,10 +4738,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -4766,10 +4778,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -4929,10 +4941,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "leadership comparison, an observation window", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -4967,10 +4979,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -5005,10 +5017,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -5043,10 +5055,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -5081,10 +5093,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } }, { @@ -5153,10 +5165,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:28:32.518Z", + "updated": "2026-10-08T18:31:55.739Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:31:55.739Z" } } ] diff --git a/tools/ci/batches/fin-boundary-20261008.json b/tools/ci/batches/fin-boundary-20261008.json new file mode 100644 index 000000000..421a15f6e --- /dev/null +++ b/tools/ci/batches/fin-boundary-20261008.json @@ -0,0 +1,12 @@ +{ + "run_id": "fin-boundary-20261008", + "manifest_sha": "4b423dad8", + "evidence_dir": "sim/results_v2.md", + "cells": [ + { + "cell": "harness:finality-sim", + "status": "RUNNING", + "evidence": "sim/results_v2.md" + } + ] +}