Contributing

The canonical contributing guide lives at CONTRIBUTING.md in the repo root, where GitHub surfaces it automatically when someone opens a pull request or new issue. This page summarizes it and covers the community side.

Quick summary

• Open an issue before a large change — the project is deliberately narrow in scope right now.
• pnpm typecheck and pnpm test must pass. See Development.
• Adding an assertion kind follows a fixed checklist — see Development → Adding an assertion kind.
• A real architectural tradeoff gets an ADR under docs/adr/, not just a paragraph in a PR description.

Full guide: CONTRIBUTING.md →

Issue templates

Bug reports and feature requests each have a structured template — open one on GitHub.

Code of conduct

Not formally adopted yet — CONTRIBUTING.md's short version ("be direct, be respectful, assume good faith") is what applies today. This page will link to a formal one if and when the project adopts it; it isn't invented here.

Discussions and sponsors

GitHub Discussions isn't enabled on this repository, and there's no sponsorship program. Issues are the only channel today.