01 / Evidence ceilings
Typed claim system
Represent every answer as a bounded claim so no summary outruns the evidence class that produced it.
- Measured, simulated, and inferred states stay distinct
- LLM text cannot upgrade the verdict
- Abstention is a valid outcome
