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

Merge finality-boundary 85aecb96 into master (gate: green on 85aecb96, recorded by tools/ci/pre-push.sh; landed on the build mirror under the exception declared by main: finality-boundary registry write-back (the CI steward's form, 19:30 UK): tools/ci/batches/fin-boundary-20261008.json and the registry only; no .rs, Cargo or build file)

Browse source
This commit is contained in:
igneum-labs 2026-10-08 18:38:45 +00:00
commit 65a0d85cd5
2 changed files with 117 additions and 93 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

198
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:38:45.233Z",
"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:38:45.233Z"
}
},
{
@ -321,10 +321,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"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:38:45.233Z"
}
}
]
@ -565,10 +565,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "accepted work under ordinary connectivity needs the fault network F4",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -1442,10 +1442,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"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:38:45.233Z"
}
},
{
@ -1600,10 +1600,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "the no-new-rules counterfactual is a research harness",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
}
]
@ -2209,10 +2209,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "execution DoS workloads need the workload catalogue F3",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -2640,10 +2640,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "the consumer-shard reproduction is the fleet lane's pods",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -2675,10 +2675,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "proving on the mining configuration is the fleet lane's",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -2710,10 +2710,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"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:38:45.233Z"
}
},
{
@ -2745,10 +2745,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "sustained load is the proving fleet's",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -2780,10 +2780,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "overload and recovery is the proving fleet's",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -2815,10 +2815,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "assignment windows are the proving fleet's",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -2850,10 +2850,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "reassignment is the proving fleet's",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -2885,10 +2885,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "customer-verifiable output is the reference apps plus the fleet",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
}
]
@ -2983,10 +2983,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "revenue separation is the economics lane's model",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -3020,10 +3020,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "the modified-client task choice needs an adversarial client harness",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -3057,10 +3057,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "demand spikes are the economic model",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -3094,10 +3094,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "reservation abuse needs the capacity harness",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -3131,10 +3131,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "difficulty and timestamp manipulation needs the fault network F4",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -3168,10 +3168,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"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:38:45.233Z"
}
},
{
@ -3205,10 +3205,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "failure concentration is a live-window measurement",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
}
]
@ -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: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"
}
},
{
@ -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: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"
}
}
]
},
@ -3750,10 +3762,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"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:38:45.233Z"
}
},
{
@ -3785,10 +3797,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "withholding and corruption detection needs the fault network F4",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -3820,10 +3832,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "wallet key protection is the wallet lane's security row",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -3913,10 +3925,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"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:38:45.233Z"
}
},
{
@ -3948,10 +3960,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "bootstrap diversity needs the fault network F4",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -4062,10 +4074,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "proving workload isolation is the fleet's pod row",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -4137,10 +4149,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "runbook detection is an operations run",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -4172,10 +4184,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "repeat independent operation is a cross-release observation",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
}
]
@ -4566,10 +4578,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "commercial evidence, no automated harness",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -4606,10 +4618,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -4646,10 +4658,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -4686,10 +4698,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -4726,10 +4738,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -4766,10 +4778,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -4929,10 +4941,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "leadership comparison, an observation window",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -4967,10 +4979,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -5005,10 +5017,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -5043,10 +5055,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -5081,10 +5093,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
},
{
@ -5153,10 +5165,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:28:32.518Z",
"updated": "2026-10-08T18:38:45.233Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T18:28:32.518Z"
"at": "2026-10-08T18:38:45.233Z"
}
}
]

12
tools/ci/batches/fin-boundary-20261008.json Normal file
View file

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