Promote the Tagline Close, the Ledger Refresh, and the Pre-Commit Doc Gates - #643

Merged

ptr727 merged 8 commits into

mainfrom

Aug 9, 2026

Commits on Aug 9, 2026

Close the Tagline Question and Give the About Hop Its Own Number (#640)

ptr727
and
claude
authored
450399e
Refresh the Divergence Ledger and Clear Three Spent Backlog Claims (#641)

ptr727
and
claude
authored
c261405
Run the Diff-Scoped Doc Gates in a Hook This Repository Actually Has (#642)

ptr727
and
claude
authored
fffac74
Say the Hook Header the Way the Body Already Says It (#645)

ptr727
and
claude
authored
765969e
Take the Auto-Fixable Ruff Findings, and Declare the Python Floor They Turn On (#644)

ptr727
and
claude
authored
9eb2510
Put the Floors in the Contract Table, and Tie the Table to the Data (#646)

ptr727
and
claude
authored
1286e80
Probe the Interpreter the Way the Host Contract Declares It (#647)

ptr727
and
claude
authored
bfef86a
Say How Each Measured Requirement Actually Fails (#648)

ptr727
and
claude
authored
25e01e3