From 4b352d69571ba87a7a6136026091bd017d3c179f Mon Sep 17 00:00:00 2001 From: baku-ccron Date: Wed, 16 Sep 2026 12:12:24 +0000 Subject: [PATCH] audit: the #76 record as the new shared ledger gate requires it rainix landed `mutation-ledger` between this repo's PR run and the push run that merged #115, so the record went in green and turned main red four minutes later. Two fields, both named by the gate: `tool` is the constant it matches to recognise a record as the skill's own, so the probe identity moves into `notes` where it is still on the record. `testsAfterCommit` was null to say "no tests changed"; the gate validates it when present and treats absence as exactly that, so the key goes rather than acquiring a SHA it does not have. `nix run github:rainlanguage/rainix#rainix-static -- mutation-ledger` is clean on this tree and reproduces both errors without it. Co-Authored-By: Claude Opus 5 (1M context) Claude-Session: https://claude.ai/code/session_01V8ViHcKLVk2YoS2joH4HdN --- audit/mutation-test-scans.json | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/audit/mutation-test-scans.json b/audit/mutation-test-scans.json index 2c9dd30..03632bf 100644 --- a/audit/mutation-test-scans.json +++ b/audit/mutation-test-scans.json @@ -25,11 +25,10 @@ { "timestamp": "2026-09-16T11:37:04Z", "commit": "f2a9f5f613a82752761c4a17d70597ece17adb97", - "testsAfterCommit": null, "publishedTag": "sol-v0.1.25", "commitsAheadOfTag": 0, "scope": "src/lib/LibHashNoAlloc.sol, against the five documented claims of #76", - "tool": "mutation-probe (adversarial-mutation-test 4e59ec0c)", + "tool": "adversarial-mutation-test", "skillVersion": "0.34.0", "summary": { "behaviours": 28, @@ -42,7 +41,7 @@ "testsAfter": 77, "coveragePRs": [], "filed": [], - "notes": "Mutation probe only, no adversarial pass. 28 mutants over every behaviour the library has: the read offset and byte count of hashBytes and of both hashWords overloads, the two scratch writes and the hashed range of combineHashes, the HASH_NIL literal, and the no-allocation promise of all four. All 28 die to the suite as it stands. The seven tests #76 proposes were written and probed against the same 28: between them they kill 23, none of which the suite misses, and they miss the four no-allocation mutants and HASH_NIL. No test added. main has since moved to 092293e by a README-only commit and a NatSpec-only commit: test/ is byte-identical to the scanned commit and src/ differs from it only in /// lines, so every mutated line is unchanged." + "notes": "Mutation probe only (mutation-probe 4e59ec0c), no adversarial pass, and no test changed so there is no testsAfterCommit tree to name. 28 mutants over every behaviour the library has: the read offset and byte count of hashBytes and of both hashWords overloads, the two scratch writes and the hashed range of combineHashes, the HASH_NIL literal, and the no-allocation promise of all four. All 28 die to the suite as it stands. The seven tests #76 proposes were written and probed against the same 28: between them they kill 23, none of which the suite misses, and they miss the four no-allocation mutants and HASH_NIL. No test added. main has since moved to 092293e by a README-only commit and a NatSpec-only commit: test/ is byte-identical to the scanned commit and src/ differs from it only in /// lines, so every mutated line is unchanged." } } ]