Internal design documents for CppVerify development:
- DESIGN.md — contract syntax and language semantics (source of truth for the reference)
- ARCHITECTURE.md — verification pipeline and IR layers
- ROADMAP.md — implementation milestones
- COMPETITIVE.md — landscape vs other tools
User-facing documentation (guide + reference) is published from ../website/ to GitHub Pages.
Research notes and agent tooling live in the separate cpp-verify-roadmap repository, not in this tree.