| Start here | Purpose |
|---|---|
| SPEC.md | Canonical product and engineering spec |
| architecture.md | Monorepo layout and validation flow |
| contributor-playbook.md | Onboarding, local CI (no just), reuse, review, verification, Verso, schema migrations, Gate 7 releases, add a paper / claim |
| CONTRIBUTING.md | Contribution rules and local checks |
| maintainers.md | Public push checklist, clean-room, branch protection, triage, launch cadence |
| Reference | Purpose |
|---|---|
| paper-intake.md | SPEC 8.1 intake and optional metadata.yaml note |
| metrics.md | Metrics and gold benchmarks (SPEC 12) |
| generated-artifacts.md | What is generated and how |
| infra/README.md | CI, release, and cache policy docs |
| ROADMAP.md | Versions and content targets |
| adr/README.md | Architecture decision records |
| Optional tooling | Purpose |
|---|---|
| tooling/mcp-lean-tooling.md | MCP server |
| tooling/pandoc-latex-integration.md | Pandoc / LaTeX extraction |
| pipeline-extension-points.md | Extending pipeline stages; blueprint / leanblueprint note |
| tooling/prime-intellect-llm.md | Optional Prime Intellect LLM proposals (suggest-only; human-gated apply) |
| reference/trust-boundary-and-extraction.md | Canonical vs suggestion artifacts; risk register touchpoints |
| Operations | Purpose |
|---|---|
| operations/hard-wedge-stress-papers.md | Intake-only hard-dimension scaffold policy |
| Per-paper narrative | |
|---|---|
| blueprints/ | Blueprint-style claim maps (mapping remains canonical) |
| playbooks/ | Role-specific checklists |
| status/ | Generated status (e.g. repo snapshot) |
| testing/trust-hardening-e2e-scenarios.md | Manual checklist for extraction modes, normalization, sidecars, publish/hash (complements automated tests) |
| testing/llm-lean-live-test-matrix.md | Operator checklist for LLM Lean assist (fake vs live provider, model routing, apply path) |
| testing/llm-human-eval-rubric.md | Human review rubric for LLM proposal sidecars (before apply) |
Playbook sections (same file): public alpha · local CI · reuse · reviewer / theorem-card lifecycle · verification boundary · Verso · schema versioning · release integrity · domain policy