From 7943b28f2c6ee7a6d493d3230dd2a0523f09aad2 Mon Sep 17 00:00:00 2001 From: David Meister Date: Mon, 15 Jun 2026 01:28:55 +0000 Subject: [PATCH] =?UTF-8?q?test:=20mutation-harden=20CloneFactory=20covera?= =?UTF-8?q?ge=20(scan=20record=20=E2=80=94=20suite=20saturated)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Ran an adversarial-mutation-test coverage pass over the only logic/constant- bearing units: CloneFactory.clone and LibCloneFactoryDeploy's deployed address/codehash constants. 14 behaviour mutations were probed (zero-code guard negate/bypass, wrong clone target, NewClone emit drop + each arg, init success-check negate/bypass/wrong constant, wrong return address, both custom-error selectors, and corrupted deploy address/codehash constants). Every mutant was killed by an existing discriminating test — the suite is mutation-saturated, so no new coverage tests were warranted. An adversarial correctness pass (reentrant clone, magic-value "liar" fallback) surfaced no bug. This commit lands only the committed scan record so org-wide health tracking can see the repo was scanned at this commit and found saturated. No source or test changes. Co-Authored-By: Claude Opus 4.8 --- audit/mutation-test-scans.json | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 audit/mutation-test-scans.json diff --git a/audit/mutation-test-scans.json b/audit/mutation-test-scans.json new file mode 100644 index 0000000..dea5cf4 --- /dev/null +++ b/audit/mutation-test-scans.json @@ -0,0 +1,22 @@ +[ + { + "timestamp": "2026-06-15T01:28:05Z", + "commit": "59a6c4b817c605491980806244860c23b171afde", + "publishedTag": "v0.1.1", + "commitsAheadOfTag": 8, + "scope": "whole repo (CloneFactory.clone + LibCloneFactoryDeploy constants; only logic/constant-bearing units)", + "tool": "adversarial-mutation-test", + "skillVersion": "0.24.0", + "summary": { + "behaviours": 14, + "mutantsProbed": 14, + "mutantsKilledByExistingTests": 14, + "survivingMutants": 0, + "newTestsAdded": 0, + "candidates": 0, + "confirmed": 0, + "filed": [], + "verdict": "saturated — every behaviour pinned by an existing discriminating test; adversarial pass (reentrancy, liar-fallback) found no bug" + } + } +]