hook+gate: catch the shape of a retraction, and stop the vacuous coverage pass - #309

Merged

mergify[bot] merged 2 commits into

mainfrom

vacuous-gate-fix

Sep 10, 2026

Commits on Sep 10, 2026

hook+gate: catch the shape of a retraction, and stop the vacuous coverage pass

edbert-bot
and
claude
committed
a914895
fix CI: keep engine Python off corpus/ paths and out of comments

edbert-bot
and
claude
committed
b47fcd2