fix(coord): repair the git-hook installation model — ledger via pre-commit, plus a push guard#4

Merged

wshallwshall merged 3 commits into

mainfrom

ledger-precommit-hook

Jul 27, 2026

Commits on Jul 27, 2026

fix(coord): run the ledger gate via pre-commit instead of a standalone hook
wshallwshall
committed
test(coord): assert the ledger gate is WIRED, not just correct
wshallwshall
committed
feat(coord): pre-push guard — refuse a direct push to main
wshallwshall
committed