Cost And Proof Freshness
Expensive Cautilus eval and improve evidence should be shown honestly. Reader-facing reports should distinguish selected evidence, prepared evidence, stale evidence, and newly executed proof.
Key: rule.cost-and-proof-freshness.
Where To Check This
- User-facing attachments: Behavior Evaluation, Bounded Improvement
- Maintainer evidence routes: Evaluation Surfaces And Runners, Improvement Loop, Scenario History And Proposal Normalization
Evidence State
The missing checked-in held-out improve cycle is tracked as gap.improve-held-out-cycle in Proof Gaps.