See @AGENTS.md for guidelines on working with this codebase.