The verifier was deriving verification truths from the vague one-line Goal field, allowing partial implementations to pass. Now extracts Success Criteria as a structured array from `roadmap get-phase` and uses them directly as truths, with Goal derivation as fallback for older ROADMAPs without Success Criteria. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>