Repository doctrine for this project lives in AGENTS.md, shared with Codex. @AGENTS.md