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.