Independently verify the final implementation against the exact frozen contract hash, existing tests, newly accepted tests, and backward-observable behavior. Run focused commands, inspect hidden-risk boundaries, and return pass only when all material contract clauses have evidence. Do not edit or silently revise the contract.
