diff --git a/docs/plans/igneum-2.0-test-registry.json b/docs/plans/igneum-2.0-test-registry.json index 39c5e3c2e..76bad8711 100644 --- a/docs/plans/igneum-2.0-test-registry.json +++ b/docs/plans/igneum-2.0-test-registry.json @@ -50,30 +50,30 @@ "manual_page": 18, "owner_lane": "node lane (a283f5f0d364ceef0)", "run_status": "NOT RUN", - "evidence_path": "docs/plans/igneum-2.0-f0-manifest.md; build-4:/srv/builds/igneum-wt-f03-201/vendor/igneum-node/packaging/pow-freeze.txt; build-4:/srv/builds/igneum-wt-f03-201", - "run_id": "f03-manifest-20261008-01", - "updated": "2026-10-08T21:11:46.383Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-kaspad-check.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { "requirement_id": "GOV-01", "decision": "NOT RUN", - "method": "static", + "method": "native", "cell": "check:freeze", - "manifest_sha": "c30ab32c", - "run_id": "f03-manifest-20261008-01", - "evidence": "docs/plans/igneum-2.0-f0-manifest.md; build-4:/srv/builds/igneum-wt-f03-201/vendor/igneum-node/packaging/pow-freeze.txt; build-4:/srv/builds/igneum-wt-f03-201", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-kaspad-check.log", "in_progress": false, "coverage": "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", "release_identity": { - "commit": "c30ab32c", - "lockfile": "the release tree's Cargo.lock files at c30ab32c", - "binary": "cargo check only: no binary is claimed by this cell; the fleet binaries are the shipper's kit on aa0e0f45", - "network_object": "igneum-devnet-4, chain id 4465", - "activation": "none (a build fact)", - "profile_hashes": "release-manifest-check: every component's own pin equals packaging/release-manifest.json" + "commit": "a284380b", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" }, - "claim_impact": "F03's first rung: one manifest, one build, no unpublished vendor tree; the same-work rung (R02) and the transition rung (R03) stay NOT RUN until the readers run on the job context", + "claim_impact": "", "reviewer": "", - "at": "2026-10-08T21:11:46.383Z" + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -86,24 +86,24 @@ "check:freeze": { "requirement_id": "GOV-01", "decision": "NOT RUN", - "method": "static", + "method": "native", "cell": "check:freeze", - "manifest_sha": "c30ab32c", - "run_id": "f03-manifest-20261008-01", - "evidence": "docs/plans/igneum-2.0-f0-manifest.md; build-4:/srv/builds/igneum-wt-f03-201/vendor/igneum-node/packaging/pow-freeze.txt; build-4:/srv/builds/igneum-wt-f03-201", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-kaspad-check.log", "in_progress": false, "coverage": "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", "release_identity": { - "commit": "c30ab32c", - "lockfile": "the release tree's Cargo.lock files at c30ab32c", - "binary": "cargo check only: no binary is claimed by this cell; the fleet binaries are the shipper's kit on aa0e0f45", - "network_object": "igneum-devnet-4, chain id 4465", - "activation": "none (a build fact)", - "profile_hashes": "release-manifest-check: every component's own pin equals packaging/release-manifest.json" + "commit": "a284380b", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" }, - "claim_impact": "F03's first rung: one manifest, one build, no unpublished vendor tree; the same-work rung (R02) and the transition rung (R03) stay NOT RUN until the readers run on the job context", + "claim_impact": "", "reviewer": "", - "at": "2026-10-08T21:11:46.383Z" + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -1320,30 +1320,30 @@ "manual_page": 24, "owner_lane": "hash lane (a690540514aa453d7)", "run_status": "NOT RUN", - "evidence_path": "docs/analysis/review-2026-10-08-b/f10/emu-test.log; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-5090-hl-v5-win.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-4090-hl-v5-win.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-3090-hl-v5-win.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-5090-hl-v6-all.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-4090-hl-v6-all.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-3090-hl-v6-all.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-5090-hl-v6-foldrw.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-4090-hl-v6-foldrw.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-3090-hl-v6-foldrw.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-5090-hl-v6-all-nowin.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-4090-hl-v6-all-nowin.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-3090-hl-v6-all-nowin.json", - "run_id": "p01-20261008-01", - "updated": "2026-10-08T21:49:19.918Z", + "evidence_path": "docs/analysis/review-2026-10-08-b/f10/emu-test.log; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-5090-hl-v5-win.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-4090-hl-v5-win.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-3090-hl-v5-win.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-5090-hl-v6-all.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-4090-hl-v6-all.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-3090-hl-v6-all.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-5090-hl-v6-foldrw.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-4090-hl-v6-foldrw.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-3090-hl-v6-foldrw.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-5090-hl-v6-all-nowin.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-4090-hl-v6-all-nowin.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-3090-hl-v6-all-nowin.json; build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-miner.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { "requirement_id": "POW-01", "decision": "NOT RUN", - "method": "GPU", - "cell": "harness:p01-vectors", - "manifest_sha": "417c4a57", - "run_id": "p01-20261008-01", - "evidence": "build-1:/srv/artefacts/p01/p01-20261008-01/cuda-5090-hl-v5-win.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-4090-hl-v5-win.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-3090-hl-v5-win.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-5090-hl-v6-all.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-4090-hl-v6-all.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-3090-hl-v6-all.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-5090-hl-v6-foldrw.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-4090-hl-v6-foldrw.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-3090-hl-v6-foldrw.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-5090-hl-v6-all-nowin.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-4090-hl-v6-all-nowin.json; build-1:/srv/artefacts/p01/p01-20261008-01/cuda-3090-hl-v6-all-nowin.json", + "method": "native", + "cell": "suite:miner", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-miner.log", "in_progress": false, - "coverage": "the million-vector campaign per backend per pack, bit-for-bit; PASS only when every supported backend reads a million vectors with zero disagreement; the malformed-input half is harness:parser-malformed", + "coverage": "partial: the pack re-check seam against the pack's 96 vectors (recheck_pack); the million-vector campaign is harness:p01-vectors", "release_identity": { - "commit": "417c4a57 (the node pin at the kit's cut); the kit packs-class-v6-20261008T162324Z.zip 098e64c3…; the worker igneum-worker-cuda 9bfcf728", + "commit": "a284380b", "lockfile": "", - "binary": "bin/linux/igneum-worker-cuda (the kit's)", - "network_object": "the class v5 freeze 1c420786, pack hl-v5-win e3da3669 id 0x6554474f410f36f3", - "activation": "igneum-devnet-4 object be5f4068", + "binary": "", + "network_object": "", + "activation": "", "profile_hashes": "" }, - "claim_impact": "POW-01's CUDA half on the class v5 object and all three class v6 D1 candidates: a million nonces agree bit-for-bit with the CPU reference on three CUDA generations each; OpenCL and Metal remain", + "claim_impact": "", "reviewer": "", - "at": "2026-10-08T21:49:19.918Z" + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T20:07:26.255Z", "approvals": { @@ -1399,6 +1399,28 @@ "claim_impact": "POW-01's CUDA half on the class v5 object and all three class v6 D1 candidates: a million nonces agree bit-for-bit with the CPU reference on three CUDA generations each; OpenCL and Metal remain", "reviewer": "", "at": "2026-10-08T21:49:19.918Z" + }, + "suite:miner": { + "requirement_id": "POW-01", + "decision": "NOT RUN", + "method": "native", + "cell": "suite:miner", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-miner.log", + "in_progress": false, + "coverage": "partial: the pack re-check seam against the pack's 96 vectors (recheck_pack); the million-vector campaign is harness:p01-vectors", + "release_identity": { + "commit": "a284380b", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -1429,21 +1451,21 @@ "manual_page": 24, "owner_lane": "hash lane (a690540514aa453d7)", "run_status": "NOT RUN", - "evidence_path": "docs/analysis/review-2026-10-08-b/f10/packfile-test.log;docs/analysis/review-2026-10-08-b/f10/geometry-check-mini.log; docs/analysis/class-v6/family-gate.md; docs/analysis/class-v6/rows/chainseed-census-1a938abe4.md; docs/analysis/class-v6/rows/pairing-20261008.md", - "run_id": "family-gate-20261008c", - "updated": "2026-10-08T21:49:19.800Z", + "evidence_path": "docs/analysis/review-2026-10-08-b/f10/packfile-test.log;docs/analysis/review-2026-10-08-b/f10/geometry-check-mini.log; docs/analysis/class-v6/family-gate.md; docs/analysis/class-v6/rows/chainseed-census-1a938abe4.md; build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-pow.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { "requirement_id": "POW-02", "decision": "NOT RUN", "method": "native", - "cell": "harness:family-gate", - "manifest_sha": "1a938abe4", - "run_id": "family-gate-20261008c", - "evidence": "docs/analysis/class-v6/family-gate.md", + "cell": "suite:pow", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-pow.log", "in_progress": false, - "coverage": "partial: the acceptance rule's measured rates on drawn classes (the per-candidate rejection, the attempt histogram, the exhaustion count against the independent-attempt arithmetic, the (c'') and (c''') floors' refuse rates and the pre-floor ratio spread per width), the per-site largest-bucket and index-bit statistics at the rule's own 2^20 sample with the seven known-failed seeds (p4, p8, p10, p34, p212, p225, p15), and the F8-form census at 2^20 on the F8 seed set where the attack-f8 mirror validates (0 of 96 warps mismatching); the semantics, termination and memory-bound half and the independent re-implementation are the suite's and the hash lane's; the effect-size limits are the family-gate.md thresholds, predeclared in its section 3", + "coverage": "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", "release_identity": { - "commit": "1a938abe4", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", @@ -1452,7 +1474,7 @@ }, "claim_impact": "", "reviewer": "", - "at": "2026-10-08T21:49:19.800Z" + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T20:07:26.255Z", "approvals": { @@ -1532,16 +1554,16 @@ }, "suite:pow": { "requirement_id": "POW-02", - "decision": "PASS", + "decision": "NOT RUN", "method": "native", "cell": "suite:pow", - "manifest_sha": "1a938abe4", - "run_id": "hash-lane-20261008-batch3", - "evidence": "docs/analysis/class-v6/rows/pairing-20261008.md", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-pow.log", "in_progress": false, "coverage": "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", "release_identity": { - "commit": "1a938abe4", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", @@ -1550,7 +1572,7 @@ }, "claim_impact": "", "reviewer": "", - "at": "2026-10-08T21:34:44.641Z" + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -2087,21 +2109,21 @@ "manual_page": 26, "owner_lane": "hash lane (a690540514aa453d7)", "run_status": "NOT RUN", - "evidence_path": "docs/analysis/class-v6/rows/pairing-20261008.md; build-1:/srv/artefacts/tas/p02-rows/p02-rows.txt", - "run_id": "p02-fleet-pods-20261008-01", - "updated": "2026-10-08T21:49:19.980Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-pow.log; build-1:/srv/artefacts/tas/p02-rows/p02-rows.txt", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { "requirement_id": "POW-08", "decision": "NOT RUN", - "method": "GPU", - "cell": "bench:fleet-pods", - "manifest_sha": "417c4a57", - "run_id": "p02-fleet-pods-20261008-01", - "evidence": "build-1:/srv/artefacts/tas/p02-rows/p02-rows.txt", + "method": "native", + "cell": "suite:pow", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-pow.log", "in_progress": false, - "coverage": "partial: W = 16 on four cards", + "coverage": "partial: the freeze list and the generator version pin; the public-claim scrub is the site gate's", "release_identity": { - "commit": "417c4a57", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", @@ -2110,7 +2132,7 @@ }, "claim_impact": "", "reviewer": "", - "at": "2026-10-08T21:49:19.980Z" + "at": "2026-10-08T22:04:34.563Z" }, "approvals": { "scope_approved": null, @@ -2121,16 +2143,16 @@ "evidence_records": { "suite:pow": { "requirement_id": "POW-08", - "decision": "PASS", + "decision": "NOT RUN", "method": "native", "cell": "suite:pow", - "manifest_sha": "1a938abe4", - "run_id": "hash-lane-20261008-batch3", - "evidence": "docs/analysis/class-v6/rows/pairing-20261008.md", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-pow.log", "in_progress": false, "coverage": "partial: the freeze list and the generator version pin; the public-claim scrub is the site gate's", "release_identity": { - "commit": "1a938abe4", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", @@ -2139,7 +2161,7 @@ }, "claim_impact": "", "reviewer": "", - "at": "2026-10-08T21:34:44.641Z" + "at": "2026-10-08T22:04:34.563Z" }, "bench:fleet-pods": { "requirement_id": "POW-08", @@ -3382,35 +3404,30 @@ "manual_page": 31, "owner_lane": "finality lane (aca0f5ed924a2a99b)", "run_status": "NOT RUN", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-consensus.log", - "run_id": "201-7cfa422a-aa0e0f45", - "updated": "2026-10-08T19:32:50.856Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { - "cell": "suite:consensus", - "manifest_sha": "7cfa422a", - "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" - }, - "at": "2026-10-08T19:32:50.856Z", - "method": "native", "requirement_id": "ROT-05", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:consensus", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "in_progress": false, + "coverage": "partial: the finality-stopped pause tests", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -3421,34 +3438,26 @@ }, "evidence_records": { "suite:consensus": { - "cell": "suite:consensus", - "manifest_sha": "7cfa422a", - "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" - }, - "at": "2026-10-08T19:32:50.856Z", - "method": "native", "requirement_id": "ROT-05", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:consensus", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "in_progress": false, + "coverage": "partial: the finality-stopped pause tests", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "run_id": "201-7cfa422a-aa0e0f45", - "evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-consensus.log", - "in_progress": true + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -3479,31 +3488,30 @@ "manual_page": 31, "owner_lane": "hash lane (a690540514aa453d7)", "run_status": "NOT RUN", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-core.log", - "run_id": "201-7cfa422a-aa0e0f45", - "updated": "2026-10-08T19:32:50.856Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-core.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { - "cell": "suite:core", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "ROT-06", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:core", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-core.log", + "in_progress": false, + "coverage": "partial: the dataset activation and digest tests; a live activation is the fast-time harness", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -3514,30 +3522,26 @@ }, "evidence_records": { "suite:core": { - "cell": "suite:core", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "ROT-06", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:core", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-core.log", + "in_progress": false, + "coverage": "partial: the dataset activation and digest tests; a live activation is the fast-time harness", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "run_id": "201-7cfa422a-aa0e0f45", - "evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-core.log", - "in_progress": true + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -4646,32 +4650,30 @@ "manual_page": 36, "owner_lane": "reference-apps lane (a2060899d2a27d31c)", "run_status": "NOT RUN", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-exec.log", - "run_id": "201-7cfa422a-aa0e0f45", - "updated": "2026-10-08T19:32:50.856Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-exec.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { - "cell": "suite:exec", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "EVM-02", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:exec", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-exec.log", + "in_progress": false, + "coverage": "partial: the replay tests on the day stream; the signature and chain-id binding vectors are an EVM harness still to map", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -4682,31 +4684,26 @@ }, "evidence_records": { "suite:exec": { - "cell": "suite:exec", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "EVM-02", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:exec", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-exec.log", + "in_progress": false, + "coverage": "partial: the replay tests on the day stream; the signature and chain-id binding vectors are an EVM harness still to map", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "run_id": "201-7cfa422a-aa0e0f45", - "evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-exec.log", - "in_progress": true + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -5301,21 +5298,21 @@ "manual_page": 39, "owner_lane": "enforced-proving lane (a6e8f84588b809d62)", "run_status": "NOT RUN", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-exec.log; docs/plans/proving-enforcement/succession-360-window-300-vcache-7.json", - "run_id": "enforced-proving-20261008-02", - "updated": "2026-10-08T21:37:02.905Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-exec.log; docs/plans/proving-enforcement/succession-360-window-300-vcache-7.json; build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { "requirement_id": "ZKP-01", - "decision": "PASS", + "decision": "NOT RUN", "method": "native", - "cell": "harness:proving-enforcement", - "manifest_sha": "3f672661", - "run_id": "enforced-proving-20261008-02", - "evidence": "docs/plans/proving-enforcement/succession-360-window-300-vcache-7.json", + "cell": "suite:consensus", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", "in_progress": false, - "coverage": "partial: the seven refusals as named tests (no proof never inserted; a wrong proof and another program id invalidate the block; the honest record paid once) and the fast-time crossing with a modified producer; the genuine-proof positive control through ordinary network paths is the testnet's live read, not run here", + "coverage": "partial: a proof-less or wrong-statement block refused by consensus", "release_identity": { - "commit": "3f672661", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", @@ -5324,7 +5321,7 @@ }, "claim_impact": "", "reviewer": "", - "at": "2026-10-08T21:37:02.905Z" + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -5335,31 +5332,26 @@ }, "evidence_records": { "suite:exec": { - "cell": "suite:exec", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "ZKP-01", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:exec", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-exec.log", + "in_progress": false, + "coverage": "partial: a real proof verifies, a wrong statement and garbage are refused (nativeverify)", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "run_id": "201-7cfa422a-aa0e0f45", - "evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-exec.log", - "in_progress": true + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "harness:proving-enforcement": { "requirement_id": "ZKP-01", @@ -5382,6 +5374,28 @@ "claim_impact": "", "reviewer": "", "at": "2026-10-08T21:37:02.905Z" + }, + "suite:consensus": { + "requirement_id": "ZKP-01", + "decision": "NOT RUN", + "method": "native", + "cell": "suite:consensus", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "in_progress": false, + "coverage": "partial: a proof-less or wrong-statement block refused by consensus", + "release_identity": { + "commit": "a284380b", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -5500,21 +5514,21 @@ "manual_page": 39, "owner_lane": "enforced-proving lane (a6e8f84588b809d62)", "run_status": "NOT RUN", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-exec.log; docs/plans/proving-enforcement/succession-360-window-300-vcache-7.json", - "run_id": "enforced-proving-20261008-02", - "updated": "2026-10-08T21:37:02.905Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-exec.log; docs/plans/proving-enforcement/succession-360-window-300-vcache-7.json", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { "requirement_id": "ZKP-03", - "decision": "PASS", + "decision": "NOT RUN", "method": "native", - "cell": "harness:proving-enforcement", - "manifest_sha": "3f672661", - "run_id": "enforced-proving-20261008-02", - "evidence": "docs/plans/proving-enforcement/succession-360-window-300-vcache-7.json", + "cell": "suite:exec", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-exec.log", "in_progress": false, - "coverage": "partial: the chain binding (a record signed for another network), the replay, a wrong block, a wrong shard, a stale record outside the window; the fork and replayed-sync steps are not run", + "coverage": "partial: a snapshot under another digest refused, the epoch streams bound to the digest", "release_identity": { - "commit": "3f672661", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", @@ -5523,7 +5537,7 @@ }, "claim_impact": "", "reviewer": "", - "at": "2026-10-08T21:37:02.905Z" + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -5534,31 +5548,26 @@ }, "evidence_records": { "suite:exec": { - "cell": "suite:exec", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "ZKP-03", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:exec", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-exec.log", + "in_progress": false, + "coverage": "partial: a snapshot under another digest refused, the epoch streams bound to the digest", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "run_id": "201-7cfa422a-aa0e0f45", - "evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-exec.log", - "in_progress": true + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "harness:proving-enforcement": { "requirement_id": "ZKP-03", @@ -5784,30 +5793,30 @@ "manual_page": 40, "owner_lane": "enforced-proving lane (a6e8f84588b809d62)", "run_status": "NOT RUN", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-p2p-flows.log", - "run_id": "201-7cfa422a-aa0e0f45", - "updated": "2026-10-08T19:32:50.856Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-p2p-flows.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { - "cell": "suite:p2p-flows", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "ZKP-06", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:p2p-flows", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-p2p-flows.log", + "in_progress": false, + "coverage": "partial: proof relay coverage tests; aggregation completeness is the proving lane's test set", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -5818,29 +5827,26 @@ }, "evidence_records": { "suite:p2p-flows": { - "cell": "suite:p2p-flows", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "ZKP-06", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:p2p-flows", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-p2p-flows.log", + "in_progress": false, + "coverage": "partial: proof relay coverage tests; aggregation completeness is the proving lane's test set", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "run_id": "201-7cfa422a-aa0e0f45", - "evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-p2p-flows.log", - "in_progress": true + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -6640,31 +6646,30 @@ "manual_page": 45, "owner_lane": "enforced-proving lane (a6e8f84588b809d62)", "run_status": "NOT RUN", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-core.log", - "run_id": "201-7cfa422a-aa0e0f45", - "updated": "2026-10-08T19:32:50.856Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-core.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { - "cell": "suite:core", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "INC-01", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:core", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-core.log", + "in_progress": false, + "coverage": "partial: emission, fee and payout arithmetic tests; the reconciliation over a live chain is the economics lane's", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -6675,30 +6680,26 @@ }, "evidence_records": { "suite:core": { - "cell": "suite:core", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "INC-01", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:core", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-core.log", + "in_progress": false, + "coverage": "partial: emission, fee and payout arithmetic tests; the reconciliation over a live chain is the economics lane's", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "run_id": "201-7cfa422a-aa0e0f45", - "evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-core.log", - "in_progress": true + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -7391,35 +7392,30 @@ "manual_page": 48, "owner_lane": "fast-time lane (a8be71a0db962911c)", "run_status": "NOT RUN", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-consensus.log", - "run_id": "201-7cfa422a-aa0e0f45", - "updated": "2026-10-08T19:32:50.856Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log; build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-core.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { - "cell": "suite:consensus", - "manifest_sha": "7cfa422a", - "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" - }, - "at": "2026-10-08T19:32:50.856Z", - "method": "native", "requirement_id": "FIN-01", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:consensus", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "in_progress": false, + "coverage": "partial: the finality processes' agreement tests", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -7430,34 +7426,48 @@ }, "evidence_records": { "suite:consensus": { - "cell": "suite:consensus", - "manifest_sha": "7cfa422a", - "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" - }, - "at": "2026-10-08T19:32:50.856Z", - "method": "native", "requirement_id": "FIN-01", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:consensus", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "in_progress": false, + "coverage": "partial: the finality processes' agreement tests", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "run_id": "201-7cfa422a-aa0e0f45", - "evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-consensus.log", - "in_progress": true + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" + }, + "suite:core": { + "requirement_id": "FIN-01", + "decision": "NOT RUN", + "method": "native", + "cell": "suite:core", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-core.log", + "in_progress": false, + "coverage": "partial: the finality field and checkpoint tests on the object; ordering under load is the consensus suite and the sim", + "release_identity": { + "commit": "a284380b", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -7574,35 +7584,30 @@ "manual_page": 48, "owner_lane": "finality lane (aca0f5ed924a2a99b)", "run_status": "NOT RUN", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-consensus.log", - "run_id": "201-7cfa422a-aa0e0f45", - "updated": "2026-10-08T19:32:50.856Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { - "cell": "suite:consensus", - "manifest_sha": "7cfa422a", - "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" - }, - "at": "2026-10-08T19:32:50.856Z", - "method": "native", "requirement_id": "FIN-03", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:consensus", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "in_progress": false, + "coverage": "partial: rule v4's anchored table and authority expiry tests (bee41b5e)", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -7613,34 +7618,26 @@ }, "evidence_records": { "suite:consensus": { - "cell": "suite:consensus", - "manifest_sha": "7cfa422a", - "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" - }, - "at": "2026-10-08T19:32:50.856Z", - "method": "native", "requirement_id": "FIN-03", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:consensus", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "in_progress": false, + "coverage": "partial: rule v4's anchored table and authority expiry tests (bee41b5e)", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "run_id": "201-7cfa422a-aa0e0f45", - "evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-consensus.log", - "in_progress": true + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -7671,35 +7668,30 @@ "manual_page": 49, "owner_lane": "finality lane (aca0f5ed924a2a99b)", "run_status": "NOT RUN", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-consensus.log", - "run_id": "201-7cfa422a-aa0e0f45", - "updated": "2026-10-08T19:32:50.856Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { - "cell": "suite:consensus", - "manifest_sha": "7cfa422a", - "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" - }, - "at": "2026-10-08T19:32:50.856Z", - "method": "native", "requirement_id": "FIN-04", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:consensus", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "in_progress": false, + "coverage": "partial: the frozen table without its time expiry (rule v4)", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -7710,34 +7702,26 @@ }, "evidence_records": { "suite:consensus": { - "cell": "suite:consensus", - "manifest_sha": "7cfa422a", - "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" - }, - "at": "2026-10-08T19:32:50.856Z", - "method": "native", "requirement_id": "FIN-04", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:consensus", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "in_progress": false, + "coverage": "partial: the frozen table without its time expiry (rule v4)", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "run_id": "201-7cfa422a-aa0e0f45", - "evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-consensus.log", - "in_progress": true + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -7768,35 +7752,30 @@ "manual_page": 49, "owner_lane": "finality lane (aca0f5ed924a2a99b)", "run_status": "NOT RUN", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-consensus.log", - "run_id": "201-7cfa422a-aa0e0f45", - "updated": "2026-10-08T19:32:50.856Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { - "cell": "suite:consensus", - "manifest_sha": "7cfa422a", - "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" - }, - "at": "2026-10-08T19:32:50.856Z", - "method": "native", "requirement_id": "FIN-05", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:consensus", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "in_progress": false, + "coverage": "partial: key succession and another scheme's vote refused", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -7807,34 +7786,26 @@ }, "evidence_records": { "suite:consensus": { - "cell": "suite:consensus", - "manifest_sha": "7cfa422a", - "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" - }, - "at": "2026-10-08T19:32:50.856Z", - "method": "native", "requirement_id": "FIN-05", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:consensus", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "in_progress": false, + "coverage": "partial: key succession and another scheme's vote refused", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "run_id": "201-7cfa422a-aa0e0f45", - "evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-consensus.log", - "in_progress": true + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -7943,31 +7914,31 @@ "owner": "Consensus lead + independent formal/security review", "manual_page": 50, "owner_lane": "finality lane (aca0f5ed924a2a99b)", - "run_status": "PASS", - "evidence_path": "sim/finality-attacks-results/v4-pause-fix.md", - "run_id": "fin-v4-realnode-20261008T2025Z", - "updated": "2026-10-08T19:43:19.697Z", + "run_status": "NOT RUN", + "evidence_path": "sim/finality-attacks-results/v4-pause-fix.md; build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { - "cell": "node:finality-realnode", - "manifest_sha": "12424341", - "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)" - }, - "at": "2026-10-08T19:43:19.697Z", - "method": "static", "requirement_id": "FIN-07", - "decision": "PASS", - "reviewer": "", - "claim_impact": "", + "decision": "NOT RUN", + "method": "native", + "cell": "suite:consensus", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "in_progress": false, + "coverage": "partial: majority-continuity recovery (rule v4)", "release_identity": { - "commit": "12424341", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "approvals": { "scope_approved": null, @@ -8000,6 +7971,28 @@ "run_id": "fin-v4-realnode-20261008T2025Z", "evidence": "sim/finality-attacks-results/v4-pause-fix.md", "in_progress": false + }, + "suite:consensus": { + "requirement_id": "FIN-07", + "decision": "NOT RUN", + "method": "native", + "cell": "suite:consensus", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "in_progress": false, + "coverage": "partial: majority-continuity recovery (rule v4)", + "release_identity": { + "commit": "a284380b", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -8746,32 +8739,30 @@ "manual_page": 53, "owner_lane": "reference-apps lane (a2060899d2a27d31c)", "run_status": "NOT RUN", - "evidence_path": "tools/reference-apps/ver/evidence/summary.json", - "run_id": "ra-20261008T1915-ver", - "updated": "2026-10-08T19:46:20.696Z", + "evidence_path": "tools/reference-apps/ver/evidence/summary.json; build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-app.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { - "cell": "harness:reference-apps-ver", - "manifest_sha": "4cdcc488", - "coverage": { - "VER-03": "partial: a payment receipt is labelled payment only when the receipt is proven against the segment statement's receipts commitment under the finality certificate, inclusion-only receipts read inclusion, a tampered receipt and a flipped status fail; run on the Devnet 3 fixtures, the 2.0 devnet re-run waits for its first paid segment whose last block carries a transaction; Review B F04: a receipt claiming lock_state final under a certificate the node reports as a recovery lock is refused, a recovery lock prints as recovery lock, not final (Node and browser negative cases on the fixtures; the field is not live on devnet-4 tonight, so no live recovery lock was seen)", - "VER-04": "partial: the oracle's trust() names the deployer-installed table and the unchecked aggregator signature, a second hash at a stored certificate index is refused, a root claim at an unknown index is refused, another chain id is refused (tools/reference-apps/oracle/test.mjs on Sepolia); Review B F04: the Sepolia verifiers apply the two-thirds rule only, carry no lock-kind field, and an under-threshold (recovery-rule) certificate fails closed in submitCertificate, so no stored root is a recovery lock (the DEX lane's docs/bridge/light-client-bridge.md paragraph); the claimed-option review of the trust model is the reviewer's", - "VER-06": "partial: the read service never serves a certificate from another network, a withheld header in the path and a corrupted proof node are detected, stale data prints its lock age beside every balance, and a client told no certificate never falls back to a trusted RPC balance; detection on the fault network F4 is not run", - "VER-08": "partial: every served state on /light, /receipt and /oracle uses one of included, executed, proven, finalised from the shared definition block, the lock line serves the live DAA before the first certificate, and the trust assumptions are listed on each page; the wallet and explorer surfaces are their lanes' rows; Review B F04: /light, /receipt, the receipt file and the one-file verifier show a node-reported recovery lock as recovery lock, not final, /oracle says recovery locks are not accepted by its verifier, the terms block defines the recovery lock" - }, - "at": "2026-10-08T19:46:20.696Z", - "method": "static", "requirement_id": "VER-08", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:app", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-app.log", + "in_progress": false, + "coverage": "partial: the app's own state-word tests; the wallet and light client rows are VER-01 to VER-03", "release_identity": { - "commit": "4cdcc488", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:46:20.696Z", "approvals": { @@ -8807,6 +8798,28 @@ "run_id": "ra-20261008T1915-ver", "evidence": "tools/reference-apps/ver/evidence/summary.json", "in_progress": true + }, + "suite:app": { + "requirement_id": "VER-08", + "decision": "NOT RUN", + "method": "native", + "cell": "suite:app", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-app.log", + "in_progress": false, + "coverage": "partial: the app's own state-word tests; the wallet and light client rows are VER-01 to VER-03", + "release_identity": { + "commit": "a284380b", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } } @@ -9113,32 +9126,30 @@ "manual_page": 55, "owner_lane": "node lane (a283f5f0d364ceef0)", "run_status": "NOT RUN", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-exec.log", - "run_id": "201-7cfa422a-aa0e0f45", - "updated": "2026-10-08T19:32:50.856Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-exec.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { - "cell": "suite:exec", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "OPS-04", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:exec", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-exec.log", + "in_progress": false, + "coverage": "partial: snapshot install, replay and genesis recapture after a crash", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -9149,31 +9160,26 @@ }, "evidence_records": { "suite:exec": { - "cell": "suite:exec", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "OPS-04", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:exec", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-exec.log", + "in_progress": false, + "coverage": "partial: snapshot install, replay and genesis recapture after a crash", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "run_id": "201-7cfa422a-aa0e0f45", - "evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-exec.log", - "in_progress": true + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -9280,30 +9286,30 @@ "manual_page": 55, "owner_lane": "build-server lane (a352e49ff4613df86)", "run_status": "NOT RUN", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-p2p-flows.log", - "run_id": "201-7cfa422a-aa0e0f45", - "updated": "2026-10-08T19:32:50.856Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-p2p-flows.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { - "cell": "suite:p2p-flows", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "OPS-06", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:p2p-flows", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-p2p-flows.log", + "in_progress": false, + "coverage": "partial: malformed relay messages refused; traffic containment under load is an OPS harness", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -9314,29 +9320,26 @@ }, "evidence_records": { "suite:p2p-flows": { - "cell": "suite:p2p-flows", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "OPS-06", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:p2p-flows", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-p2p-flows.log", + "in_progress": false, + "coverage": "partial: malformed relay messages refused; traffic containment under load is an OPS harness", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "run_id": "201-7cfa422a-aa0e0f45", - "evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/node-7cfa422a/box4-p2p-flows.log", - "in_progress": true + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -9625,32 +9628,30 @@ "manual_page": 57, "owner_lane": "shipper (ae892a8b0f78fe31c)", "run_status": "NOT RUN", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/miner-9c844503/box2-app.log", - "run_id": "201-7cfa422a-aa0e0f45", - "updated": "2026-10-08T19:32:50.856Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-app.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { - "cell": "suite:app", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "UX-02", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:app", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-app.log", + "in_progress": false, + "coverage": "partial: the engine state machine's pause, stop and knob tests; the operator study is UX-01's", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -9661,31 +9662,26 @@ }, "evidence_records": { "suite:app": { - "cell": "suite:app", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "UX-02", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:app", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-app.log", + "in_progress": false, + "coverage": "partial: the engine state machine's pause, stop and knob tests; the operator study is UX-01's", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "run_id": "201-7cfa422a-aa0e0f45", - "evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/miner-9c844503/box2-app.log", - "in_progress": true + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -9716,32 +9712,30 @@ "manual_page": 57, "owner_lane": "shipper (ae892a8b0f78fe31c)", "run_status": "NOT RUN", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/miner-9c844503/box2-app.log", - "run_id": "201-7cfa422a-aa0e0f45", - "updated": "2026-10-08T19:32:50.856Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-app.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { - "cell": "suite:app", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "UX-03", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:app", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-app.log", + "in_progress": false, + "coverage": "partial: the card and earnings rendering tests; the net-earnings model against real bills is COM/ECO evidence", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" - } + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -9752,31 +9746,26 @@ }, "evidence_records": { "suite:app": { - "cell": "suite:app", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "UX-03", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:app", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-app.log", + "in_progress": false, + "coverage": "partial: the card and earnings rendering tests; the net-earnings model against real bills is COM/ECO evidence", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "run_id": "201-7cfa422a-aa0e0f45", - "evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/miner-9c844503/box2-app.log", - "in_progress": true + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -9807,21 +9796,21 @@ "manual_page": 58, "owner_lane": "pool design seat (a3832b1c3b274b310)", "run_status": "NOT RUN", - "evidence_path": "docs/analysis/pool/pool-pair-2026-10-08.md", - "run_id": "pool-2.0-20261008-03", - "updated": "2026-10-08T20:48:42.741Z", + "evidence_path": "docs/analysis/pool/pool-pair-2026-10-08.md; build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-miner.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { "requirement_id": "UX-04", "decision": "NOT RUN", "method": "native", - "cell": "suite:pool", - "manifest_sha": "986252e73", - "run_id": "pool-2.0-20261008-03", - "evidence": "docs/analysis/pool/pool-pair-2026-10-08.md", - "in_progress": true, - "coverage": "partial: PPLNS distribution tests (fee first, never overpays, late joiner), the payout key file round trip, the signed transfer decode; the live payout path on the devnet-4 pair is the UX-04 batch's evidence; review B F12 and INT-03/INT-04 (8 October 2026): payout::intent_tests (a restart from the pre-broadcast snapshot, a lost send response, a crash on either side of the broadcast, a stuck transaction replaced under the same intent, a reorged receipt and a finality pause, a failed transaction, a ledger that cannot be written: never a duplicate or a lost obligation, finalised only under the chain's final lock) and state::ledger_tests (an unreadable ledger is refused or restored, never emptied); F13/INT-16: frame, admission and pool::share_tests (the frame bound while reading, the bounded outgoing queue, one membership per session, the nonce and in-flight bounds, the share and connection budgets); the devnet-4 pair's class (8 October 2026 21:24 UK): state_provider::tests::an_unsynced_node_hands_the_pool_no_state_and_no_job (no job on a node whose igneum_getExecStatus reads synced false, blocked or re-executing; known-failed first against the 8ff7a0f4 provider; pool-synced-guard-202 f3e99e9c on release-2.0.2, 986252e7 on pool-2.0, 52 of 52 on build-6)", + "cell": "suite:miner", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-miner.log", + "in_progress": false, + "coverage": "partial: payout label and share accounting tests; custody is the pool lane's row", "release_identity": { - "commit": "986252e73", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", @@ -9830,7 +9819,7 @@ }, "claim_impact": "", "reviewer": "", - "at": "2026-10-08T20:48:42.741Z" + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:58:33.370Z", "approvals": { @@ -9861,6 +9850,28 @@ "claim_impact": "", "reviewer": "", "at": "2026-10-08T20:48:42.741Z" + }, + "suite:miner": { + "requirement_id": "UX-04", + "decision": "NOT RUN", + "method": "native", + "cell": "suite:miner", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-miner.log", + "in_progress": false, + "coverage": "partial: payout label and share accounting tests; custody is the pool lane's row", + "release_identity": { + "commit": "a284380b", + "lockfile": "", + "binary": "", + "network_object": "", + "activation": "", + "profile_hashes": "" + }, + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -9969,31 +9980,31 @@ "owner": "Desktop product + pool leads; independent usability study", "manual_page": 58, "owner_lane": "shipper (ae892a8b0f78fe31c)", - "run_status": "FAIL", - "evidence_path": "docs/release/evidence/ux-shipper-2026-10-08.md", - "run_id": "incident-u64-coinbase-2026-10-08", - "updated": "2026-10-08T21:49:19.860Z", + "run_status": "NOT RUN", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-miner.log", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { "requirement_id": "UX-06", - "decision": "FAIL", - "method": "team-reported", + "decision": "NOT RUN", + "method": "native", "cell": "suite:miner", - "manifest_sha": "4cdcc488", - "run_id": "incident-u64-coinbase-2026-10-08", - "evidence": "docs/release/evidence/ux-shipper-2026-10-08.md", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-miner.log", "in_progress": false, "coverage": "partial: the miner's own template selection tests", "release_identity": { - "commit": "4cdcc488", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "claim_impact": "no miner could take the work templates the network gave it above 18.4 IGN of merged subsidy", + "claim_impact": "", "reviewer": "", - "at": "2026-10-08T21:49:19.860Z" + "at": "2026-10-08T22:04:34.563Z" }, "approvals": { "scope_approved": null, @@ -10004,25 +10015,25 @@ "evidence_records": { "suite:miner": { "requirement_id": "UX-06", - "decision": "FAIL", - "method": "team-reported", + "decision": "NOT RUN", + "method": "native", "cell": "suite:miner", - "manifest_sha": "4cdcc488", - "run_id": "incident-u64-coinbase-2026-10-08", - "evidence": "docs/release/evidence/ux-shipper-2026-10-08.md", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-miner.log", "in_progress": false, "coverage": "partial: the miner's own template selection tests", "release_identity": { - "commit": "4cdcc488", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "claim_impact": "no miner could take the work templates the network gave it above 18.4 IGN of merged subsidy", + "claim_impact": "", "reviewer": "", - "at": "2026-10-08T21:49:19.860Z" + "at": "2026-10-08T22:04:34.563Z" } } }, @@ -10053,21 +10064,21 @@ "manual_page": 59, "owner_lane": "shipper (ae892a8b0f78fe31c)", "run_status": "NOT RUN", - "evidence_path": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/miner-9c844503/box2-app.log; docs/plans/evidence/UX-01-20261008.md", - "run_id": "ux-01-20261008-win-2.0.0", - "updated": "2026-10-08T20:42:25.701Z", + "evidence_path": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-app.log; docs/plans/evidence/UX-01-20261008.md", + "run_id": "202-a284380b-5f50afd1", + "updated": "2026-10-08T22:04:34.563Z", "evidence_record": { "requirement_id": "UX-07", "decision": "NOT RUN", - "method": "team-reported", - "cell": "pc:install-update", - "manifest_sha": "aa354ed5", - "run_id": "ux-01-20261008-win-2.0.0", - "evidence": "docs/plans/evidence/UX-01-20261008.md", - "in_progress": true, - "coverage": "partial: the install classes (the payload's stop step, the detached installer under a job, the installer refusing a wrong-version name, a stale install flag) and the no-click resume; the recovery-instruction and canary rows are the shipper's", + "method": "native", + "cell": "suite:app", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-app.log", + "in_progress": false, + "coverage": "partial: the refused-update and manifest tests; the update-return lane's install classes are its own rows", "release_identity": { - "commit": "aa354ed5", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", @@ -10076,7 +10087,7 @@ }, "claim_impact": "", "reviewer": "", - "at": "2026-10-08T20:42:25.701Z" + "at": "2026-10-08T22:04:34.563Z" }, "in_progress_since": "2026-10-08T19:32:50.856Z", "approvals": { @@ -10087,31 +10098,26 @@ }, "evidence_records": { "suite:app": { - "cell": "suite:app", - "manifest_sha": "7cfa422a", - "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-08T19:32:50.856Z", - "method": "native", "requirement_id": "UX-07", "decision": "NOT RUN", - "reviewer": "", - "claim_impact": "", + "method": "native", + "cell": "suite:app", + "manifest_sha": "a284380b", + "run_id": "202-a284380b-5f50afd1", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-app.log", + "in_progress": false, + "coverage": "partial: the refused-update and manifest tests; the update-return lane's install classes are its own rows", "release_identity": { - "commit": "7cfa422a", + "commit": "a284380b", "lockfile": "", "binary": "", "network_object": "", "activation": "", "profile_hashes": "" }, - "run_id": "201-7cfa422a-aa0e0f45", - "evidence": "build-1:/srv/artefacts/tas/201-7cfa422a-aa0e0f45/miner-9c844503/box2-app.log", - "in_progress": true + "claim_impact": "", + "reviewer": "", + "at": "2026-10-08T22:04:34.563Z" }, "pc:install-update": { "requirement_id": "UX-07", diff --git a/tools/ci/batches/202-a284380b-5f50afd1.json b/tools/ci/batches/202-a284380b-5f50afd1.json new file mode 100644 index 000000000..f6f25b5fa --- /dev/null +++ b/tools/ci/batches/202-a284380b-5f50afd1.json @@ -0,0 +1,69 @@ +{ + "run_id": "202-a284380b-5f50afd1", + "manifest_sha": "a284380b", + "cut_tip": "5f50afd1 (miner; pow and app cells on 77b5acc5, no crate move since); node a284380b on the key-succession pairing with the class v5 freeze (fingerprint cbc5bd0a)", + "evidence_dir": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1", + "boxes": [ + "build-4" + ], + "method": "native", + "note": "2.0.2 pair gate on build-4, 22:03 UTC: release-manifest-check green on 5f50afd1 (node block release-2.0.2-node a284380b, the 2.0.1 pairing); 77b5acc5..5f50afd1 moves pool/ (2 files) and packaging only Every suite cell maps its cases partially (the map's coverage words), so the green suites read NOT RUN in progress with their logs as evidence, never PASS by inference (the standard's rule; the 2.0.1 batch 201-7cfa422a-aa0e0f45 reads the same way).", + "cells": [ + { + "cell": "suite:pow", + "status": "NOT RUN", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-pow.log", + "note": "suite GREEN (rc 0, every test passed); the cell covers its cases partially, so the case reads NOT RUN in progress with this evidence until its own acceptance is exercised; pow on release-2.0.2 77b5acc5 (box4, 226s); 77b5acc5..5f50afd1 moves no crate, so the cell covers the tip by content", + "in_progress": true + }, + { + "cell": "suite:app", + "status": "NOT RUN", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/miner-77b5acc5/box4-app.log", + "note": "suite GREEN (rc 0, every test passed); the cell covers its cases partially, so the case reads NOT RUN in progress with this evidence until its own acceptance is exercised; app on release-2.0.2 77b5acc5 (box4, 39s); 77b5acc5..5f50afd1 moves no crate, so the cell covers the tip by content", + "in_progress": true + }, + { + "cell": "check:freeze", + "status": "NOT RUN", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-kaspad-check.log", + "note": "suite GREEN (rc 0, every test passed); the cell covers its cases partially, so the case reads NOT RUN in progress with this evidence until its own acceptance is exercised; kaspad-check on release-2.0.2-node a284380b with the key-succession parent and the class v5 freeze igneum-pow (box4, 35s)", + "in_progress": true + }, + { + "cell": "suite:core", + "status": "NOT RUN", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-core.log", + "note": "suite GREEN (rc 0, every test passed); the cell covers its cases partially, so the case reads NOT RUN in progress with this evidence until its own acceptance is exercised; core on release-2.0.2-node a284380b with the key-succession parent and the class v5 freeze igneum-pow (box4, 26s)", + "in_progress": true + }, + { + "cell": "suite:exec", + "status": "NOT RUN", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-exec.log", + "note": "suite GREEN (rc 0, every test passed); the cell covers its cases partially, so the case reads NOT RUN in progress with this evidence until its own acceptance is exercised; exec on release-2.0.2-node a284380b with the key-succession parent and the class v5 freeze igneum-pow (box4, 45s)", + "in_progress": true + }, + { + "cell": "suite:miner", + "status": "NOT RUN", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-miner.log", + "note": "suite GREEN (rc 0, every test passed); the cell covers its cases partially, so the case reads NOT RUN in progress with this evidence until its own acceptance is exercised; miner on release-2.0.2-node a284380b with the key-succession parent and the class v5 freeze igneum-pow (box4, 45s)", + "in_progress": true + }, + { + "cell": "suite:p2p-flows", + "status": "NOT RUN", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-p2p-flows.log", + "note": "suite GREEN (rc 0, every test passed); the cell covers its cases partially, so the case reads NOT RUN in progress with this evidence until its own acceptance is exercised; p2p-flows on release-2.0.2-node a284380b with the key-succession parent and the class v5 freeze igneum-pow (box4, 46s)", + "in_progress": true + }, + { + "cell": "suite:consensus", + "status": "NOT RUN", + "evidence": "build-1:/srv/artefacts/tas/202-a284380b-5f50afd1/node-a284380b/box4-consensus.log", + "note": "suite GREEN (rc 0, every test passed); the cell covers its cases partially, so the case reads NOT RUN in progress with this evidence until its own acceptance is exercised; consensus on release-2.0.2-node a284380b with the key-succession parent and the class v5 freeze igneum-pow (box4, 45s)", + "in_progress": true + } + ] +}