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

Test registry: FIN-02 PASS on harness:finality-sim-fin02 (batch fin-boundary-20261008-02): the simulator half of the accept text met in sim/results_v2.md Rule v4 (the 40/40/20 fixture, the boundary splits, the pause valid, zero conflicting final certificates within the declared bound); the real-node half stays node:finality-realnode

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-08 18:52:43 +00:00
parent b164fbf0a0
commit 5fc76bcbd3
2 changed files with 100 additions and 89 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

177
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:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"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:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -321,10 +321,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"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:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
}
]
@ -587,10 +587,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "accepted work under ordinary connectivity needs the fault network F4",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -1466,10 +1466,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "seed-selection resistance is the census harness (the class v6 invention lane), not yet in the matrix",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -1624,10 +1624,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "the no-new-rules counterfactual is a research harness",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
}
]
@ -2247,10 +2247,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "execution DoS workloads need the workload catalogue F3",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -2678,10 +2678,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "the consumer-shard reproduction is the fleet lane's pods",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -2713,10 +2713,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "proving on the mining configuration is the fleet lane's",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -2748,10 +2748,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "the request-to-payment path is the proving fleet's measurement",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -2783,10 +2783,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "sustained load is the proving fleet's",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -2818,10 +2818,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "overload and recovery is the proving fleet's",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -2853,10 +2853,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "assignment windows are the proving fleet's",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -2888,10 +2888,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "reassignment is the proving fleet's",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -2923,10 +2923,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "customer-verifiable output is the reference apps plus the fleet",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
}
]
@ -3021,10 +3021,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "revenue separation is the economics lane's model",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -3058,10 +3058,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "the modified-client task choice needs an adversarial client harness",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -3095,10 +3095,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "demand spikes are the economic model",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -3132,10 +3132,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "reservation abuse needs the capacity harness",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -3169,10 +3169,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "difficulty and timestamp manipulation needs the fault network F4",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -3206,10 +3206,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "self-dealing fees need the economic model and a live window",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -3243,10 +3243,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "failure concentration is a live-window measurement",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
}
]
@ -3336,18 +3336,17 @@
"owner": "Consensus lead + independent formal/security review",
"manual_page": 48,
"owner_lane": "finality lane (aca0f5ed924a2a99b)",
"run_status": "RUNNING",
"run_status": "PASS",
"evidence_path": "sim/results_v2.md",
"run_id": "fin-boundary-20261008",
"updated": "2026-10-08T18:38:45.233Z",
"run_id": "fin-boundary-20261008-02",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"cell": "harness:finality-sim",
"cell": "harness:finality-sim-fin02",
"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"
"FIN-02": "the simulator half of the accept text; the real-node run on the fault network F4 with independent operators is node:finality-realnode"
},
"at": "2026-10-08T18:38:45.233Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -3800,10 +3799,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "state reconstruction without founder storage is the OPS no-founder exercise",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -3835,10 +3834,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "withholding and corruption detection needs the fault network F4",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -3870,10 +3869,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "wallet key protection is the wallet lane's security row",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -3963,10 +3962,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "the no-founder exercise is an operations run, not a suite",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -3998,10 +3997,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "bootstrap diversity needs the fault network F4",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -4112,10 +4111,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "proving workload isolation is the fleet's pod row",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -4187,10 +4186,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "runbook detection is an operations run",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -4222,10 +4221,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "repeat independent operation is a cross-release observation",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
}
]
@ -4616,10 +4615,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "commercial evidence, no automated harness",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -4656,10 +4655,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -4696,10 +4695,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -4736,10 +4735,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -4776,10 +4775,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -4816,10 +4815,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -4979,10 +4978,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "leadership comparison, an observation window",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -5017,10 +5016,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -5055,10 +5054,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -5093,10 +5092,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -5131,10 +5130,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
},
{
@ -5203,10 +5202,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T18:51:08.834Z",
"updated": "2026-10-08T18:52:26.899Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T18:51:08.834Z"
"at": "2026-10-08T18:52:26.899Z"
}
}
]

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

@ -0,0 +1,12 @@
{
"run_id": "fin-boundary-20261008-02",
"manifest_sha": "4b423dad8",
"evidence_dir": "sim/results_v2.md",
"cells": [
{
"cell": "harness:finality-sim-fin02",
"status": "PASS",
"evidence": "sim/results_v2.md"
}
]
}