writ-verify

Prove or disprove, independently, that what was built meets its spec - check each acceptance criterion against the real running product and write the Proof into the spec. Used by writ-build through a fresh helper, or directly for "does this work?", "prove it", "check this branch". Part of Writ.