From 5fc76bcbd3adf2d891130f8d97a51cf0889ebd77 Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Thu, 8 Oct 2026 18:52:43 +0000 Subject: [PATCH] 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 Co-Authored-By: Claude Fable 5.1 --- docs/plans/igneum-2.0-test-registry.json | 177 +++++++++--------- .../ci/batches/fin-boundary-20261008-02.json | 12 ++ 2 files changed, 100 insertions(+), 89 deletions(-) create mode 100644 tools/ci/batches/fin-boundary-20261008-02.json diff --git a/docs/plans/igneum-2.0-test-registry.json b/docs/plans/igneum-2.0-test-registry.json index e21c357f4..ce93fd3c4 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: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" } } ] diff --git a/tools/ci/batches/fin-boundary-20261008-02.json b/tools/ci/batches/fin-boundary-20261008-02.json new file mode 100644 index 000000000..b37086b84 --- /dev/null +++ b/tools/ci/batches/fin-boundary-20261008-02.json @@ -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" + } + ] +}