Compact Proof Node
Single-user or bounded team proof on a sanitised corpus.
- Good for
- feasibility, citations, refusal and archive-quality discovery
- Not for
- unproven critical production or large concurrent load
- Acceptance
- quality contract and explicit stop/expand decision