prove

/prove checks whether a ticket, specification, or agreed outcome is actually met. It verifies a fixed candidate and reports gaps; it does not repair the candidate. Use /repair-gaps for scoped repairs, then run /prove again. /implement-contract develops the candidate; /review-implementation separately examines contract fidelity, scope, and engineering quality. Neither replaces proof.

Before verification, read the acceptance contract protocol. It defines the spec envelope, identities, evidence, and verdicts. Apply its pragmatic assurance and focused re-verification rules: complete coverage and fresh current-candidate judgments do not require exhaustive or duplicate checking.