Playbooks
ProofOS
Updated · 2026-01-10What counts as proof, how it is logged, and how it is referenced publicly — without drifting into narrative.
Scope
- Evidence standards
- Logging format
- Linking and trace discipline
Constraints
- No claims without trace
- No interpretation without artifacts
- Prefer deltas over retrospectives
Boundaries
- Public sets the standard; it does not publish private artifacts.
- Claims should route to Proof or be removed.
- Corrections are logged; edits are not silent.