feat(gate): enumerate check:engine-double-contract's pinned population so a lost pin names itself - #9712

Merged

os-steve merged 3 commits into

mainfrom

claude/issue-9680-discovered-ratchet

Aug 19, 2026

Commits on Aug 18, 2026

feat(gate): enumerate check:engine-double-contract's pinned population so a lost pin names itself
claude
committed
b1789af

Commits on Aug 19, 2026

merge: resolve check-engine-double-contract conflict as a union of both halves
claude
committed
c3f11e2
docs(gate): re-measure the pinned-set churn over the full commit population
claude
committed
0c98edf