See [AGENTS.md](AGENTS.md) for guidance on working in this repository.