By: ValentinHirschi <valentin.hirschi@gmail.com>
Fall back before unprovable Epoch residual reuse Preflight persisted exact union coverage before inspecting residuals. Keep independent validation strict and ordinary inspection available on proof-budget exhaustion; test gaps, partial lenders and stack-safe optimization bounds. Co-authored-by: Codex <noreply@openai.com>