Loading...
Loading...
Found 2 Skills
Repair named implementation or evidence gaps from a NOT PROVEN proof, report the change honestly, and require fresh proof without declaring acceptance.
Validate a feature or implementation against a finite acceptance contract, from focused tests to complete user flows. Use for feature validation with evidence reuse, bounded repair, and selectable model routes; use verify-changes for named repository checks alone.