Keep verification state independent of context refreshes
Proposed recovery design: use conversation history to recover reasoning, but keep exact operational state in durable records. Preserve the contract revision, candidate commit, outstanding blockers, captured checks, review artifacts, and pending side effects. Recompute readiness f…