All agent instructions for this repository live in AGENTS.md — read it before making changes. It is the same file Codex and other agents use, so there is one set of instructions rather than two that can drift apart.
The short version, if you read nothing else:
- Verify with
make agent-check, notmake check.make checkruns no tests. - Run it unpiped and check
$?—make agent-check | tail && git commitreadstail's exit status, notmake's, and will commit over a failing gate. - CI runs the suites in
--release, so adebug_assert!does not exist there. - Put logic in
src/(unit-tested), not insrc/bin/. - When you add a guard, break the thing it guards and confirm it goes red.