Skip to content

Commit 92261ad

Browse files
committed
chore(gates): record the new suite's pinned engine double in the retained ledger
Co-authored-by: Claude <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01RWZbGvPFcRKvUqASZtunCU
1 parent 9f60b04 commit 92261ad

1 file changed

Lines changed: 5 additions & 0 deletions

File tree

‎scripts/engine-double-contract.pinned.json‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
{
22
"$comment": "GENERATED — the RETAINED ledger of check-engine-double-contract.mjs (#9680). Regenerate with `node scripts/check-engine-double-contract.mjs --write`; never hand-edit. Each row is one (file, verb) whose engine double routes through the producer's dispatch predicate. This is the OPPOSITE polarity to engine-double-contract.baseline.json: that ledger records DEBT and may only shrink, this one records COVERAGE and may only grow. A row that disappears is a pinned double that left the population — the blind spot #9680 measured, where deleting a double's delete() member took 319 pinned to 318 with the gate green. Read a removal in this file's diff as a coverage loss and check it was intended.",
33
"entries": [
4+
{
5+
"file": "packages/cloud-connection/src/marketplace-install-local-sample-data-not-loaded.test.ts",
6+
"verb": "delete",
7+
"pinned": 1
8+
},
49
{
510
"file": "packages/core/src/security/resolve-user-grants-cache.test.ts",
611
"verb": "delete",

0 commit comments

Comments
 (0)