Contributing
python scripts/gate.py runs what CI runs: fmt, clippy with -D warnings,
tests, rustdoc, cargo deny, typos, ruff and a smoke test of the real server.
The rules for people and coding agents alike are in
borer.rules. Commit titles look like type: summary.