When VERIFICATION.md already exists with gaps, verifier now: - Loads previous must-haves instead of re-deriving - Focuses deep verification on failed items - Quick regression check on passed items - Tracks re-verification metadata (gaps_closed, regressions) Saves tokens by not starting from scratch after gap closure. Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>