Contributing

Branch from develop. Never push to develop or main.
Open a draft pull request. A human merges.
Sign commits with the GitHub identity that owns the commits.
Public repository: English for commits, pull requests, and comments.
Do not name private repositories, internal hostnames, or internal infrastructure.
Add or update tests in the same change.
Run pytest before you push. Tests need PostgreSQL (AGENT_TEST_PG or a local initdb).

Pull request text

Four sentences of summary, then details if needed.