@AGENTS.md
The agent guide for this repository is `AGENTS.md`, imported above so it is
always in context. It is tool-agnostic: every agent working here follows the
same instructions rather than one set per assistant.
Most of it is shared byte-identically with the sibling repositories — the
claim protocol, the red-first rule, "nothing skips", oracle independence,
output budgets, and the commit conventions. Do not edit that block here.