MathEvidence documentation for contributors, reviewers, and integrators.
This tree is an experimental research platform. No registry capability is
"stable". Start with status and trust before product or RFC depth.
| Doc | Audience |
|---|---|
| Getting started | Install, just check, Agent API, first replay |
| STATUS.md | Public-preview status and CR eligibility |
| HANDOFF.md | Exact-certification operator runbook |
| security/KNOWN_TRUST_GAPS.md | Honest limitations and open gates |
| ROADMAP.md | Delivery order (points at normative roadmap) |
| SPEC_INDEX.md | Full specification map |
- security/ — trust gaps, normative trust model
- threat-model/ — condensed threat summary
- Root
SECURITY.md— vulnerability reporting
- PROJECT_SPEC.md — normative project specification
- REPOSITORY_ARCHITECTURE.md — monorepo layout and boundaries
- architecture/ — protocol, isolation, federation, discovery
- adr/ — architecture decision records
- rfcs/ — protocol RFCs
- TESTING_AND_CI.md — test and CI expectations
- DELIVERY_ROADMAP.md — milestone roadmap
- products/ — product specs (semantic bridge through Studio)
- assurance/ — algorithm-contract docs for owned checkers
- foundry/ — training/corpus collaboration notes
- validation/ — promotion checklists, review packets, usability
- validation/handoff-2026-08-25-delta.md — dated exact-certification baseline delta
- release/ — public-preview release notes draft
- audits/2026-07-26-real-vision/ — historical re-audit
MathEvidence_Engineering_Handoff_2026-08-25/— dated engineering assessment package (not live status)