feat(#1000): ship 'synth verify' in released artifacts + non-vacuity smoke gate (RQ-58-SHIPVERIFY) - #1002

Merged

avrabe merged 2 commits into

mainfrom

feat/ship-verify-feature-1000

Aug 19, 2026

Commits on Aug 19, 2026

fix(#1000): capability check before the verify banner — no ASIL-D strategy line from a binary that cannot verify

avrabe
and
claude
committed
a2b8a53
feat(#1000): ship 'synth verify' in every released tarball + non-vacuity smoke gate (RQ-58-SHIPVERIFY)

avrabe
and
claude
committed
888aaa2