See README.md for project structure and description, and general guidelines for development.
When asked to write or suggest a commit message, strictly follow the rules in Commit message style.
When compiling, testing, or formatting code in this repository, use the infra toolchain (infra/env_setup.sh or infra/env_setup.fish) and run cargo fmt instead of rustfmt. See Toolchain and Infrastructure for details.