Grok runs in this repo via the grok CLI but had no dedicated instruction
file (only the SessionStart orient hook), which let the 2026-06-28 review's
failure modes through: 7 objectives closed ahead of proof, one in a
non-compiling commit, p3-29 closed on a contradictory render proof, fallback
deleted before parity. AGENTS.md layers an Integrity Contract on the existing
canon (CLAUDE.md + rails): verify before done, one objective per verified
commit, proofs must assert real behavior + parity, honest docs, keep the
fallback until the replacement is proven.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
