Aggregate independent checks to report all failures at once - #138

Merged

alexkroman merged 5 commits into

mainfrom

claude/agent-repo-dev-tools-e9fdwy

Aug 13, 2026

Commits on Aug 13, 2026

Report every independent check failure, and gate the settled decisions
claude
committed
a203bac
Pin each invariant rule to the prose it enforces
claude
committed
41791b6
Tighten the portable-subset paragraph in the check skill
claude
committed
d1d43cb
Merge origin/main into claude/agent-repo-dev-tools-e9fdwy
claude
committed
0de9388
Drop the duplicated invariants list from the engine guide
claude
committed
e15dfca