Build Verifier

Produce a project-local verify-<app> that a fresh agent can execute. Reuse an existing verifier and the project's conventions. Ordinary feature acceptance uses that verifier.

Project knowledge

Make these properties executable with existing tools: