Public trust surface for MathEvidence. External backends are untrusted; Lean is the sole authority for theorem acceptance.
| Doc | Role |
|---|---|
KNOWN_TRUST_GAPS.md |
Honest limitations and open human/engineering gates |
SECURITY_AND_TRUST_MODEL.md |
Normative security and trust model |
../threat-model/README.md |
Short threat-model summary |
../../SECURITY.md |
Vulnerability reporting (repo root; GitHub convention) |
Related status: ../STATUS.md. Stable promotion only via
../validation/stable-capability-checklist.md.