Fix verification
Re-run a bounded proof path after remediation and record whether the original condition remains reproducible.
Regression checks
Where future integrations permit, trigger targeted checks after relevant changes or on an agreed cadence.
- Known finding paths
- Critical authorization assumptions
- Explicit spend and execution limits
Interpretation
A passing recheck means the specific evidence path did not reproduce under the tested conditions. It does not prove the absence of variants, regressions elsewhere, or new weaknesses.