@AGENTS.md The agent instructions for this repo live in AGENTS.md; edit that file only.