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

Registry: the node lane's rule v4 real-node run (fin-v4-realnode-20261008T2025Z on 12424341) onto FIN-02 and FIN-07 through test-record.mjs; the evidence under sim/finality-attacks-results/

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-08 19:28:51 +00:00
parent 57c9f91b85
commit 75e91cc4d4
2 changed files with 111 additions and 99 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

194
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-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"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-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -321,10 +321,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"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-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
}
]
@ -587,10 +587,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "accepted work under ordinary connectivity needs the fault network F4",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -1466,10 +1466,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "seed-selection resistance is the census harness (the class v6 invention lane), not yet in the matrix",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -1624,10 +1624,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "the no-new-rules counterfactual is a research harness",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
}
]
@ -2272,10 +2272,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "execution DoS workloads need the workload catalogue F3",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -2749,10 +2749,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "the consumer-shard reproduction is the fleet lane's pods",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -2784,10 +2784,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "proving on the mining configuration is the fleet lane's",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -2819,10 +2819,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "the request-to-payment path is the proving fleet's measurement",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -2854,10 +2854,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "sustained load is the proving fleet's",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -2889,10 +2889,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "overload and recovery is the proving fleet's",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -2924,10 +2924,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "assignment windows are the proving fleet's",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -2959,10 +2959,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "reassignment is the proving fleet's",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -2994,10 +2994,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "customer-verifiable output is the reference apps plus the fleet",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
}
]
@ -3092,10 +3092,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "revenue separation is the economics lane's model",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -3129,10 +3129,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "the modified-client task choice needs an adversarial client harness",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -3166,10 +3166,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "demand spikes are the economic model",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -3203,10 +3203,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "reservation abuse needs the capacity harness",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -3240,10 +3240,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "difficulty and timestamp manipulation needs the fault network F4",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -3277,10 +3277,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "self-dealing fees need the economic model and a live window",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -3314,10 +3314,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "failure concentration is a live-window measurement",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
}
]
@ -3408,16 +3408,17 @@
"manual_page": 48,
"owner_lane": "finality lane (aca0f5ed924a2a99b)",
"run_status": "PASS",
"evidence_path": "sim/results_v2.md",
"run_id": "fin-boundary-20261008-02",
"updated": "2026-10-08T18:59:16.459Z",
"evidence_path": "sim/finality-attacks-results/v4-pause-fix.md",
"run_id": "fin-v4-realnode-20261008T2025Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"cell": "harness:finality-sim-fin02",
"manifest_sha": "4b423dad8",
"cell": "node:finality-realnode",
"manifest_sha": "12424341",
"coverage": {
"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"
"FIN-02": "partial: the real-node half; independent operators and the review remain",
"FIN-07": "partial: deterministic recovery after reconnection and crash on real nodes (the HEAL reruns)"
},
"at": "2026-10-08T18:59:16.459Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -3618,23 +3619,18 @@
"owner": "Consensus lead + independent formal/security review",
"manual_page": 50,
"owner_lane": "finality lane (aca0f5ed924a2a99b)",
"run_status": "RUNNING",
"evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-consensus.log",
"run_id": "201-ef0f2ed8-2826f37e",
"updated": "2026-10-08T18:51:08.658Z",
"run_status": "PASS",
"evidence_path": "sim/finality-attacks-results/v4-pause-fix.md",
"run_id": "fin-v4-realnode-20261008T2025Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"cell": "suite:consensus",
"manifest_sha": "ef0f2ed8",
"cell": "node:finality-realnode",
"manifest_sha": "12424341",
"coverage": {
"FIN-01": "partial: the finality processes' agreement tests",
"FIN-03": "partial: rule v4's anchored table and authority expiry tests (bee41b5e)",
"FIN-04": "partial: the frozen table without its time expiry (rule v4)",
"FIN-05": "partial: key succession and another scheme's vote refused",
"FIN-07": "partial: majority-continuity recovery (rule v4)",
"ROT-05": "partial: the finality-stopped pause tests",
"ZKP-01": "partial: a proof-less or wrong-statement block refused by consensus"
"FIN-02": "partial: the real-node half; independent operators and the review remain",
"FIN-07": "partial: deterministic recovery after reconnection and crash on real nodes (the HEAL reruns)"
},
"at": "2026-10-08T18:51:08.658Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -3974,10 +3970,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "wallet key protection is the wallet lane's security row",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -4068,10 +4064,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "the no-founder exercise is an operations run, not a suite",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -4103,10 +4099,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "bootstrap diversity needs the fault network F4",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -4217,10 +4213,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "proving workload isolation is the fleet's pod row",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -4292,10 +4288,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "runbook detection is an operations run",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -4327,10 +4323,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "repeat independent operation is a cross-release observation",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
}
]
@ -4723,10 +4719,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "commercial evidence, no automated harness",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -4763,10 +4759,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -4803,10 +4799,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -4843,10 +4839,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -4883,10 +4879,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -4923,10 +4919,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "commercial evidence",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -5086,10 +5082,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "leadership comparison, an observation window",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -5124,10 +5120,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -5162,10 +5158,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -5200,10 +5196,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -5238,10 +5234,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
},
{
@ -5310,10 +5306,10 @@
"run_status": "NOT RUN",
"evidence_path": "",
"run_id": "",
"updated": "2026-10-08T19:22:31.798Z",
"updated": "2026-10-08T19:28:46.814Z",
"evidence_record": {
"reason": "observation window",
"at": "2026-10-08T19:22:31.798Z"
"at": "2026-10-08T19:28:46.814Z"
}
}
]

16
tools/ci/batches/fin-v4-realnode-20261008T2025Z.json Normal file
View file

@ -0,0 +1,16 @@
{
"run_id": "fin-v4-realnode-20261008T2025Z",
"manifest_sha": "12424341",
"evidence_dir": "sim/finality-attacks-results",
"boxes": [
"build-2"
],
"cells": [
{
"cell": "node:finality-realnode",
"status": "PASS",
"evidence": "sim/finality-attacks-results/v4-pause-fix.md",
"note": "the node lane's rule v4 harness on real nodes (tools/finality-attacks/v3.mjs split50 and split70, three igneumd on the 60x file, six voters, WARM 230 SPLIT 420 HEAL 400 BPS 1): the pause-only run on the fixed pair 12424341 (the pause fix 6872db13) locks nothing during the split and resumes after the heal (lock 7 at the reconnect, 25 by the window's end), 0 conflicting certificates, 0 disagreeing locks; the recovery runs lock exactly the side above half of the anchored table (54.62 percent this time, 51.26 the other way on bee41b5e) with every node on that chain after the heal; split70 as before; rule v3's known-failed line fails as it must (both sides lock alone, 7 disagreeing locks). The first v4-pause run on bee41b5e read the node fault (a permanent pause past one window with the recovery off) that the fix closed. Rows: sim/results_v2.md, Rule v4, the two real-node tables; the seven result files beside this evidence path."
}
]
}