From caa3040fdc0d614cdcbfb1ab5be7e2753b8b684f Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Thu, 8 Oct 2026 18:44:31 +0000 Subject: [PATCH] Registry batches: the 2.0.1 literal run (ef0f2ed8 + 2826f37e) and F0's GOV-01 row; the finality cells split Run 201-ef0f2ed8-2826f37e: node ef0f2ed8 (291ee6ae plus the 2.0.1 version bump) on the key-succession pairing, kaspad check and the five node-side suites green on build-4; the miner cut tip 2826f37e (app crate identical to 2ea7b43f), pow and app green on build-2; evidence at build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/. GOV-01's row takes F0 (docs/plans/igneum-2.0-f0-manifest.md) as its evidence through the batch f0-manifest-20261008-b (the earlier f0 batch landed before the replay existed and never recorded). The map splits the finality cells at the finality lane's ask: harness:finality-sim keeps FIN-08 (the model side), harness:finality-sim-fin02 carries FIN-02's simulator half, node:finality-realnode carries the node lane's real-node lines for FIN-02 and FIN-07. Co-Authored-By: Claude Fable 5.1 --- docs/plans/igneum-2.0-test-harness-map.md | 22 +- docs/plans/igneum-2.0-test-registry.json | 420 ++++++++++--------- tools/ci/batches/201-ef0f2ed8-2826f37e.json | 52 +++ tools/ci/batches/f0-manifest-20261008-b.json | 13 + tools/ci/test-map.json | 36 +- 5 files changed, 327 insertions(+), 216 deletions(-) create mode 100644 tools/ci/batches/201-ef0f2ed8-2826f37e.json create mode 100644 tools/ci/batches/f0-manifest-20261008-b.json diff --git a/docs/plans/igneum-2.0-test-harness-map.md b/docs/plans/igneum-2.0-test-harness-map.md index a540fe8f8..0e7f39f43 100644 --- a/docs/plans/igneum-2.0-test-harness-map.md +++ b/docs/plans/igneum-2.0-test-harness-map.md @@ -110,12 +110,11 @@ Rule: a case maps to a cell only where the cell's tests visibly answer it; cover ### harness:finality-sim -- Command: `igneum/harness-sim (the finality lane's scenarios: partition, split populations, long partition)` +- Command: `igneum/harness-sim, the finality lane's scenarios (sim/results_v2.md, the Rule v4 section: N1, N1b, N2, N2b, N3, N4, N6 and the real-node known-failed line)` - Box class: harness - Fixtures: F0, F4 - Cases: - - FIN-02 Attack finality with split honest populations: partial: split honest populations in the simulator; the real-node run is the fault network F4 - - FIN-08 Combine boundaries, faults and adversarial scheduling: partial: the combined boundary and fault scenarios in the simulator; model checking is the formal review + - FIN-08 Combine boundaries, faults and adversarial scheduling: partial: the combined boundary and fault scenarios in the simulator with adversarial schedules; model checking is the formal review ### harness:p01-vectors @@ -196,6 +195,23 @@ Rule: a case maps to a cell only where the cell's tests visibly answer it; cover - ECO-01 Reconcile complete cost per accepted work: partial: the hand-worked fixtures and the second implementation; the independent reconciliation of inputs and units remains - ECO-08 Reproduce and adversarially audit the model: partial: the package runs from the served files (README, inputs with sources and labels, fixtures); the independent report, the rerun and the perturbations remain +### harness:finality-sim-fin02 + +- Command: `igneum/harness-sim, the split honest populations and boundary splits (the 40/40/20 fixture, the pause valid, zero conflicting final certificates within the bound)` +- Box class: harness +- Fixtures: F0, F4 +- Cases: + - FIN-02 Attack finality with split honest populations: the simulator half of the accept text; the real-node run on the fault network F4 with independent operators is node:finality-realnode + +### node:finality-realnode + +- Command: `the node lane's v3.mjs lines on release-2.0.0-node (real nodes, the rule v4 harness; rows in sim/results_v2.md)` +- Box class: harness (the lease pool) +- Fixtures: F0, F4 +- Cases: + - FIN-02 Attack finality with split honest populations: partial: the real-node half; independent operators and the review remain + - FIN-07 Recover deterministically after reconnection and crash: partial: deterministic recovery after reconnection and crash on real nodes (the HEAL reruns) + ## Automated cases with no harness in the matrix (NOT RUN, the reason) - GOV-02 Approve thresholds before results: the approval is recorded in the registry's approval field; the automated half (thresholds frozen before any run_status) is the gate rule landing by 21:00 diff --git a/docs/plans/igneum-2.0-test-registry.json b/docs/plans/igneum-2.0-test-registry.json index 3480a99d1..3b2bbea7e 100644 --- a/docs/plans/igneum-2.0-test-registry.json +++ b/docs/plans/igneum-2.0-test-registry.json @@ -50,16 +50,16 @@ "manual_page": 18, "owner_lane": "node lane (a283f5f0d364ceef0)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/miner-7d82b71e/box4-pow.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "docs/plans/igneum-2.0-f0-manifest.md; packaging/pow-freeze.txt; build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-kaspad-check.log", + "run_id": "f0-manifest-20261008-b", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "cell": "check:freeze", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "GOV-01": "partial: the linked igneum-pow tree's fingerprint must match a listed freeze or the build fails, the binary prints which; the manifest (igneum_getManifest) names the object digest; the signed F0 manifest is the node lane's row tonight" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -165,10 +165,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "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:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -321,10 +321,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "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:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } } ] @@ -587,10 +587,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "accepted work under ordinary connectivity needs the fault network F4", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -708,16 +708,18 @@ "manual_page": 24, "owner_lane": "hash lane (a690540514aa453d7)", "run_status": "RUNNING", - "evidence_path": "build-2:/srv/artefacts/tas/review-harness-20261008T180034Z/igneum-algorithm-review/all_results.json", - "run_id": "review-harness-20261008T180034Z", - "updated": "2026-10-08T18:28:32.518Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-miner.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { - "cell": "crosscheck:review-harness", - "manifest_sha": "07e5fa68", + "cell": "suite:miner", + "manifest_sha": "ef0f2ed8", "coverage": { - "POW-01": "partial: independent execution agrees with the tree on the V2/V3 genesis program id and op mix, the two closed-form hashes, the three census ids and the eight header-bound memory-hard vectors; the v5 object's and the v6 freeze's vectors are outside the transcription's model (its README) and read NOT RUN for this cell; every backend is harness:p01-vectors" + "UX-06": "partial: the miner's own template selection tests", + "UX-04": "partial: payout label and share accounting tests; custody is the pool lane's row", + "POW-01": "partial: the pack re-check seam against the pack's 96 vectors (recheck_pack); the million-vector campaign is harness:p01-vectors" }, - "at": "2026-10-08T18:28:32.518Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -747,18 +749,18 @@ "manual_page": 24, "owner_lane": "hash lane (a690540514aa453d7)", "run_status": "RUNNING", - "evidence_path": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md", - "run_id": "hash-lane-20261008-batch1", - "updated": "2026-10-08T18:41:01.185Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-pow.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:pow", - "manifest_sha": "c245d50b9", + "manifest_sha": "ef0f2ed8", "coverage": { "POW-02": "partial: program derivation, ds55 geometry, the v6 fold, the packs and the spec read-back tests; the independent re-implementation and the index-fold census are the hash lane's harnesses", "POW-08": "partial: the freeze list and the generator version pin; the public-claim scrub is the site gate's", "POW-07": "the mixed FP32 branch is excluded and unreachable: no class flag reaches an FP op in igneum-pow on master (the mixedfp lane's branch is not on master); evidence the grep of the emitters on master, recorded by the hash lane" }, - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -938,18 +940,18 @@ "manual_page": 26, "owner_lane": "hash lane (a690540514aa453d7)", "run_status": "RUNNING", - "evidence_path": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md", - "run_id": "hash-lane-20261008-batch1", - "updated": "2026-10-08T18:41:01.185Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-pow.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:pow", - "manifest_sha": "c245d50b9", + "manifest_sha": "ef0f2ed8", "coverage": { "POW-02": "partial: program derivation, ds55 geometry, the v6 fold, the packs and the spec read-back tests; the independent re-implementation and the index-fold census are the hash lane's harnesses", "POW-08": "partial: the freeze list and the generator version pin; the public-claim scrub is the site gate's", "POW-07": "the mixed FP32 branch is excluded and unreachable: no class flag reaches an FP op in igneum-pow on master (the mixedfp lane's branch is not on master); evidence the grep of the emitters on master, recorded by the hash lane" }, - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -979,18 +981,18 @@ "manual_page": 26, "owner_lane": "hash lane (a690540514aa453d7)", "run_status": "RUNNING", - "evidence_path": "docs/analysis/class-v6/rows/pow-07-fp32-unreachable.md", - "run_id": "hash-lane-20261008-batch1", - "updated": "2026-10-08T18:41:01.185Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-pow.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:pow", - "manifest_sha": "c245d50b9", + "manifest_sha": "ef0f2ed8", "coverage": { "POW-02": "partial: program derivation, ds55 geometry, the v6 fold, the packs and the spec read-back tests; the independent re-implementation and the index-fold census are the hash lane's harnesses", "POW-08": "partial: the freeze list and the generator version pin; the public-claim scrub is the site gate's", "POW-07": "the mixed FP32 branch is excluded and unreachable: no class flag reaches an FP op in igneum-pow on master (the mixedfp lane's branch is not on master); evidence the grep of the emitters on master, recorded by the hash lane" }, - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.444Z" } } ] @@ -1464,10 +1466,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "seed-selection resistance is the census harness (the class v6 invention lane), not yet in the matrix", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -1497,12 +1499,12 @@ "manual_page": 31, "owner_lane": "finality lane (aca0f5ed924a2a99b)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-consensus.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-consensus.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:consensus", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "FIN-01": "partial: the finality processes' agreement tests", "FIN-03": "partial: rule v4's anchored table and authority expiry tests (bee41b5e)", @@ -1512,7 +1514,7 @@ "ROT-05": "partial: the finality-stopped pause tests", "ZKP-01": "partial: a proof-less or wrong-statement block refused by consensus" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -1542,18 +1544,18 @@ "manual_page": 31, "owner_lane": "hash lane (a690540514aa453d7)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-core.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-core.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:core", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "FIN-01": "partial: the finality field and checkpoint tests on the object; ordering under load is the consensus suite and the sim", "INC-01": "partial: emission, fee and payout arithmetic tests; the reconciliation over a live chain is the economics lane's", "ROT-06": "partial: the dataset activation and digest tests; a live activation is the fast-time harness" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -1622,10 +1624,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "the no-new-rules counterfactual is a research harness", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } } ] @@ -2043,19 +2045,19 @@ "manual_page": 36, "owner_lane": "reference-apps lane (a2060899d2a27d31c)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-exec.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-exec.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:exec", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "ZKP-01": "partial: a real proof verifies, a wrong statement and garbage are refused (nativeverify)", "ZKP-03": "partial: a snapshot under another digest refused, the epoch streams bound to the digest", "OPS-04": "partial: snapshot install, replay and genesis recapture after a crash", "EVM-02": "partial: the replay tests on the day stream; the signature and chain-id binding vectors are an EVM harness still to map" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -2245,10 +2247,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "execution DoS workloads need the workload catalogue F3", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -2338,19 +2340,19 @@ "manual_page": 39, "owner_lane": "enforced-proving lane (a6e8f84588b809d62)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-exec.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-exec.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:exec", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "ZKP-01": "partial: a real proof verifies, a wrong statement and garbage are refused (nativeverify)", "ZKP-03": "partial: a snapshot under another digest refused, the epoch streams bound to the digest", "OPS-04": "partial: snapshot install, replay and genesis recapture after a crash", "EVM-02": "partial: the replay tests on the day stream; the signature and chain-id binding vectors are an EVM harness still to map" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -2422,19 +2424,19 @@ "manual_page": 39, "owner_lane": "enforced-proving lane (a6e8f84588b809d62)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-exec.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-exec.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:exec", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "ZKP-01": "partial: a real proof verifies, a wrong statement and garbage are refused (nativeverify)", "ZKP-03": "partial: a snapshot under another digest refused, the epoch streams bound to the digest", "OPS-04": "partial: snapshot install, replay and genesis recapture after a crash", "EVM-02": "partial: the replay tests on the day stream; the signature and chain-id binding vectors are an EVM harness still to map" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -2545,17 +2547,17 @@ "manual_page": 40, "owner_lane": "enforced-proving lane (a6e8f84588b809d62)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-p2p-flows.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-p2p-flows.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:p2p-flows", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "OPS-06": "partial: malformed relay messages refused; traffic containment under load is an OPS harness", "ZKP-06": "partial: proof relay coverage tests; aggregation completeness is the proving lane's test set" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -2676,10 +2678,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "the consumer-shard reproduction is the fleet lane's pods", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -2711,10 +2713,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "proving on the mining configuration is the fleet lane's", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -2746,10 +2748,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "the request-to-payment path is the proving fleet's measurement", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -2781,10 +2783,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "sustained load is the proving fleet's", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -2816,10 +2818,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "overload and recovery is the proving fleet's", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -2851,10 +2853,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "assignment windows are the proving fleet's", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -2886,10 +2888,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "reassignment is the proving fleet's", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -2921,10 +2923,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "customer-verifiable output is the reference apps plus the fleet", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } } ] @@ -2974,18 +2976,18 @@ "manual_page": 45, "owner_lane": "enforced-proving lane (a6e8f84588b809d62)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-core.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-core.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:core", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "FIN-01": "partial: the finality field and checkpoint tests on the object; ordering under load is the consensus suite and the sim", "INC-01": "partial: emission, fee and payout arithmetic tests; the reconciliation over a live chain is the economics lane's", "ROT-06": "partial: the dataset activation and digest tests; a live activation is the fast-time harness" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -3019,10 +3021,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "revenue separation is the economics lane's model", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -3056,10 +3058,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "the modified-client task choice needs an adversarial client harness", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -3093,10 +3095,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "demand spikes are the economic model", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -3130,10 +3132,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "reservation abuse needs the capacity harness", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -3167,10 +3169,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "difficulty and timestamp manipulation needs the fault network F4", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -3204,10 +3206,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "self-dealing fees need the economic model and a live window", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -3241,10 +3243,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "failure concentration is a live-window measurement", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } } ] @@ -3290,12 +3292,12 @@ "manual_page": 48, "owner_lane": "fast-time lane (a8be71a0db962911c)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-consensus.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-consensus.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:consensus", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "FIN-01": "partial: the finality processes' agreement tests", "FIN-03": "partial: rule v4's anchored table and authority expiry tests (bee41b5e)", @@ -3305,7 +3307,7 @@ "ROT-05": "partial: the finality-stopped pause tests", "ZKP-01": "partial: a proof-less or wrong-statement block refused by consensus" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -3375,12 +3377,12 @@ "manual_page": 48, "owner_lane": "finality lane (aca0f5ed924a2a99b)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-consensus.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-consensus.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:consensus", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "FIN-01": "partial: the finality processes' agreement tests", "FIN-03": "partial: rule v4's anchored table and authority expiry tests (bee41b5e)", @@ -3390,7 +3392,7 @@ "ROT-05": "partial: the finality-stopped pause tests", "ZKP-01": "partial: a proof-less or wrong-statement block refused by consensus" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -3420,12 +3422,12 @@ "manual_page": 49, "owner_lane": "finality lane (aca0f5ed924a2a99b)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-consensus.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-consensus.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:consensus", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "FIN-01": "partial: the finality processes' agreement tests", "FIN-03": "partial: rule v4's anchored table and authority expiry tests (bee41b5e)", @@ -3435,7 +3437,7 @@ "ROT-05": "partial: the finality-stopped pause tests", "ZKP-01": "partial: a proof-less or wrong-statement block refused by consensus" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -3465,12 +3467,12 @@ "manual_page": 49, "owner_lane": "finality lane (aca0f5ed924a2a99b)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-consensus.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-consensus.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:consensus", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "FIN-01": "partial: the finality processes' agreement tests", "FIN-03": "partial: rule v4's anchored table and authority expiry tests (bee41b5e)", @@ -3480,7 +3482,7 @@ "ROT-05": "partial: the finality-stopped pause tests", "ZKP-01": "partial: a proof-less or wrong-statement block refused by consensus" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -3547,12 +3549,12 @@ "manual_page": 50, "owner_lane": "finality lane (aca0f5ed924a2a99b)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-consensus.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-consensus.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:consensus", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "FIN-01": "partial: the finality processes' agreement tests", "FIN-03": "partial: rule v4's anchored table and authority expiry tests (bee41b5e)", @@ -3562,7 +3564,7 @@ "ROT-05": "partial: the finality-stopped pause tests", "ZKP-01": "partial: a proof-less or wrong-statement block refused by consensus" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -3798,10 +3800,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "state reconstruction without founder storage is the OPS no-founder exercise", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -3833,10 +3835,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "withholding and corruption detection needs the fault network F4", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -3868,10 +3870,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "wallet key protection is the wallet lane's security row", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -3901,19 +3903,19 @@ "manual_page": 53, "owner_lane": "reference-apps lane (a2060899d2a27d31c)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/miner-7d82b71e/box4-app.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-app.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:app", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "UX-02": "partial: the engine state machine's pause, stop and knob tests; the operator study is UX-01's", "UX-03": "partial: the card and earnings rendering tests; the net-earnings model against real bills is COM/ECO evidence", "UX-07": "partial: the refused-update and manifest tests; the update-return lane's install classes are its own rows", "VER-08": "partial: the app's own state-word tests; the wallet and light client rows are VER-01 to VER-03" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } } ] @@ -3961,10 +3963,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "the no-founder exercise is an operations run, not a suite", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -3996,10 +3998,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "bootstrap diversity needs the fault network F4", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -4066,19 +4068,19 @@ "manual_page": 55, "owner_lane": "node lane (a283f5f0d364ceef0)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-exec.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-exec.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:exec", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "ZKP-01": "partial: a real proof verifies, a wrong statement and garbage are refused (nativeverify)", "ZKP-03": "partial: a snapshot under another digest refused, the epoch streams bound to the digest", "OPS-04": "partial: snapshot install, replay and genesis recapture after a crash", "EVM-02": "partial: the replay tests on the day stream; the signature and chain-id binding vectors are an EVM harness still to map" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -4110,10 +4112,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "proving workload isolation is the fleet's pod row", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -4143,17 +4145,17 @@ "manual_page": 55, "owner_lane": "build-server lane (a352e49ff4613df86)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-p2p-flows.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-p2p-flows.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:p2p-flows", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "OPS-06": "partial: malformed relay messages refused; traffic containment under load is an OPS harness", "ZKP-06": "partial: proof relay coverage tests; aggregation completeness is the proving lane's test set" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -4185,10 +4187,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "runbook detection is an operations run", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -4220,10 +4222,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "repeat independent operation is a cross-release observation", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } } ] @@ -4300,19 +4302,19 @@ "manual_page": 57, "owner_lane": "shipper (ae892a8b0f78fe31c)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/miner-7d82b71e/box4-app.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-app.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:app", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "UX-02": "partial: the engine state machine's pause, stop and knob tests; the operator study is UX-01's", "UX-03": "partial: the card and earnings rendering tests; the net-earnings model against real bills is COM/ECO evidence", "UX-07": "partial: the refused-update and manifest tests; the update-return lane's install classes are its own rows", "VER-08": "partial: the app's own state-word tests; the wallet and light client rows are VER-01 to VER-03" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -4342,19 +4344,19 @@ "manual_page": 57, "owner_lane": "shipper (ae892a8b0f78fe31c)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/miner-7d82b71e/box4-app.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-app.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:app", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "UX-02": "partial: the engine state machine's pause, stop and knob tests; the operator study is UX-01's", "UX-03": "partial: the card and earnings rendering tests; the net-earnings model against real bills is COM/ECO evidence", "UX-07": "partial: the refused-update and manifest tests; the update-return lane's install classes are its own rows", "VER-08": "partial: the app's own state-word tests; the wallet and light client rows are VER-01 to VER-03" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -4384,18 +4386,18 @@ "manual_page": 58, "owner_lane": "pool design seat (a3832b1c3b274b310)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-miner.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-miner.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:miner", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "UX-06": "partial: the miner's own template selection tests", "UX-04": "partial: payout label and share accounting tests; custody is the pool lane's row", "POW-01": "partial: the pack re-check seam against the pack's 96 vectors (recheck_pack); the million-vector campaign is harness:p01-vectors" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -4462,18 +4464,18 @@ "manual_page": 58, "owner_lane": "shipper (ae892a8b0f78fe31c)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/node-417c4a57/box2-miner.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-miner.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:miner", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "UX-06": "partial: the miner's own template selection tests", "UX-04": "partial: payout label and share accounting tests; custody is the pool lane's row", "POW-01": "partial: the pack re-check seam against the pack's 96 vectors (recheck_pack); the million-vector campaign is harness:p01-vectors" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -4503,19 +4505,19 @@ "manual_page": 59, "owner_lane": "shipper (ae892a8b0f78fe31c)", "run_status": "RUNNING", - "evidence_path": "build-1:/srv/artefacts/tas/200-417c4a57-b2/miner-7d82b71e/box4-app.log", - "run_id": "200-417c4a57-b2", - "updated": "2026-10-08T18:28:32.408Z", + "evidence_path": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-app.log", + "run_id": "201-ef0f2ed8-2826f37e", + "updated": "2026-10-08T18:44:30.444Z", "evidence_record": { "cell": "suite:app", - "manifest_sha": "417c4a57", + "manifest_sha": "ef0f2ed8", "coverage": { "UX-02": "partial: the engine state machine's pause, stop and knob tests; the operator study is UX-01's", "UX-03": "partial: the card and earnings rendering tests; the net-earnings model against real bills is COM/ECO evidence", "UX-07": "partial: the refused-update and manifest tests; the update-return lane's install classes are its own rows", "VER-08": "partial: the app's own state-word tests; the wallet and light client rows are VER-01 to VER-03" }, - "at": "2026-10-08T18:28:32.408Z" + "at": "2026-10-08T18:44:30.444Z" } }, { @@ -4614,10 +4616,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "commercial evidence, no automated harness", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -4654,10 +4656,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -4694,10 +4696,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -4734,10 +4736,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -4774,10 +4776,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -4814,10 +4816,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "commercial evidence", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -4977,10 +4979,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "leadership comparison, an observation window", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -5015,10 +5017,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -5053,10 +5055,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -5091,10 +5093,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -5129,10 +5131,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } }, { @@ -5201,10 +5203,10 @@ "run_status": "NOT RUN", "evidence_path": "", "run_id": "", - "updated": "2026-10-08T18:41:01.185Z", + "updated": "2026-10-08T18:44:30.495Z", "evidence_record": { "reason": "observation window", - "at": "2026-10-08T18:41:01.185Z" + "at": "2026-10-08T18:44:30.495Z" } } ] diff --git a/tools/ci/batches/201-ef0f2ed8-2826f37e.json b/tools/ci/batches/201-ef0f2ed8-2826f37e.json new file mode 100644 index 000000000..7e6b5c1ff --- /dev/null +++ b/tools/ci/batches/201-ef0f2ed8-2826f37e.json @@ -0,0 +1,52 @@ +{ + "run_id": "201-ef0f2ed8-2826f37e", + "manifest_sha": "ef0f2ed8", + "cut_tip": "2826f37e (miner); node ef0f2ed8 = 291ee6ae + the 2.0.1 version bump, read on the key-succession pairing (elf/prior, the class v5 freeze igneum-pow)", + "evidence_dir": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e", + "boxes": [ + "build-2", + "build-4" + ], + "cells": [ + { + "cell": "suite:pow", + "status": "RUNNING", + "evidence": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-pow.log" + }, + { + "cell": "suite:app", + "status": "RUNNING", + "evidence": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/miner-2826f37e/box2-app.log" + }, + { + "cell": "suite:core", + "status": "RUNNING", + "evidence": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-core.log" + }, + { + "cell": "suite:consensus", + "status": "RUNNING", + "evidence": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-consensus.log" + }, + { + "cell": "suite:exec", + "status": "RUNNING", + "evidence": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-exec.log" + }, + { + "cell": "suite:miner", + "status": "RUNNING", + "evidence": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-miner.log" + }, + { + "cell": "suite:p2p-flows", + "status": "RUNNING", + "evidence": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-p2p-flows.log" + }, + { + "cell": "check:freeze", + "status": "RUNNING", + "evidence": "build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-kaspad-check.log" + } + ] +} \ No newline at end of file diff --git a/tools/ci/batches/f0-manifest-20261008-b.json b/tools/ci/batches/f0-manifest-20261008-b.json new file mode 100644 index 000000000..1a15fbd01 --- /dev/null +++ b/tools/ci/batches/f0-manifest-20261008-b.json @@ -0,0 +1,13 @@ +{ + "run_id": "f0-manifest-20261008-b", + "manifest_sha": "ef0f2ed8", + "evidence_dir": "docs/plans/igneum-2.0-f0-manifest.md", + "boxes": [], + "cells": [ + { + "cell": "check:freeze", + "status": "RUNNING", + "evidence": "docs/plans/igneum-2.0-f0-manifest.md; packaging/pow-freeze.txt; build-1:/srv/artefacts/tas/201-ef0f2ed8-2826f37e/node-ef0f2ed8/box4-kaspad-check.log" + } + ] +} diff --git a/tools/ci/test-map.json b/tools/ci/test-map.json index 541abbbd4..95bdc9c6b 100644 --- a/tools/ci/test-map.json +++ b/tools/ci/test-map.json @@ -186,19 +186,17 @@ } }, "harness:finality-sim": { - "command": "igneum/harness-sim (the finality lane's scenarios: partition, split populations, long partition)", + "command": "igneum/harness-sim, the finality lane's scenarios (sim/results_v2.md, the Rule v4 section: N1, N1b, N2, N2b, N3, N4, N6 and the real-node known-failed line)", "box_class": "harness", "fixtures": [ "F0", "F4" ], "cases": [ - "FIN-02", "FIN-08" ], "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-08": "partial: the combined boundary and fault scenarios in the simulator with adversarial schedules; model checking is the formal review" } }, "harness:p01-vectors": { @@ -338,6 +336,36 @@ "ECO-01": "partial: the hand-worked fixtures and the second implementation; the independent reconciliation of inputs and units remains", "ECO-08": "partial: the package runs from the served files (README, inputs with sources and labels, fixtures); the independent report, the rerun and the perturbations remain" } + }, + "harness:finality-sim-fin02": { + "command": "igneum/harness-sim, the split honest populations and boundary splits (the 40/40/20 fixture, the pause valid, zero conflicting final certificates within the bound)", + "box_class": "harness", + "fixtures": [ + "F0", + "F4" + ], + "cases": [ + "FIN-02" + ], + "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" + } + }, + "node:finality-realnode": { + "command": "the node lane's v3.mjs lines on release-2.0.0-node (real nodes, the rule v4 harness; rows in sim/results_v2.md)", + "box_class": "harness (the lease pool)", + "fixtures": [ + "F0", + "F4" + ], + "cases": [ + "FIN-02", + "FIN-07" + ], + "coverage": { + "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)" + } } }, "not_run": {