Verification before completion

Contract

Field	Bound contract
Trigger	A done, fixed, passes, complete, or ready claim is imminent; a commit, PR, or next-task move is about to happen; or satisfaction is about to be expressed.
Authority	Read-only. No file, VCS, credential, paid, published, deployed, or remote mutation. Reads only what is required to classify the claim, and executes the one named proving action.
Side effect	Runs the narrow proving command or scenario; edits nothing; blocks the completion claim when the output contradicts it.
Done	Each claim carries fresh output from exactly one proving action (or the UNVERIFIED-NO-SURFACE classification when no checkable surface exists), the claim wording matches the output, and failures are reported honestly.

Inputs

• Fires on: Explicit invocation, or a user utterance that contains a completion claim.
• Must supply: The specific claim being made; what would prove it; whether it has been run; the output of the check.
• Optional: The exact command or scenario run; the raw output read; any partial results.

Procedure

1. Handle the no-check surface. If the change has no checkable surface (comment-only, pure prose, a rename with no attached behavior), state that plainly and classify as UNVERIFIED-NO-SURFACE. Do not invent a check to run; skip the proving-action steps and report the classification. Done when: the surface is classified as checkable or UNVERIFIED-NO-SURFACE.
2. Name the proving action. For a checkable surface, identify the precise action that would prove the claim: a specific test, build, lint pass, input scenario, file read, or reproduction of the original failure. "The three tests covering the retry path" is precise; "the test suite" is not. Done when: one precise proving action is named for the checkable surface.
3. Run it. Execute the named action after the last relevant edit to the code. Do not run before the edit and claim the result as post-edit evidence. Done when: the proving action has been executed after the last edit.
4. Read all of it. Read the full output and the exit code. Do not read only a tail, a summary, or the last line. Treat the exit code as a fact to check. Done when: the full output and exit code are read.
5. Classify. VERIFIED if the output confirms the claim at its stated scope; PARTIAL if evidence exists but does not cover the full scope (state what passed and what was left unchecked); UNVERIFIED if no check was run (state "not run" plainly); FAILED if the output contradicts the claim (report the contradiction exactly). Done when: one classification is assigned with its justification.
6. Report. State the classification, the action that was run, what it showed, and the exact claim wording it does or does not support. Do not hedge; do not round up a partial result to "done." Done when: the report states the classification, action, output, and claim wording.

Failure and recovery

unrun-check: The check was not executed. Report UNVERIFIED. Do not substitute a hedge or a confidence statement.

contradicted-claim: The output shows failure, error, or unexpected state. Report FAILED with the exact output. Do not suppress it, qualify it, or claim success despite the output.

timeout: The proving action did not complete. Report TIMEOUT with the partial output present. Do not treat a partial run as a pass.

stale-check: A check was run, but the code changed after it. Treat as UNVERIFIED; re-run before the claim can be made.

Partial-result rule: A partial result is reported as partial. It is not rounded up. No retry is attempted unless the user explicitly requests one; this skill does not perform that action itself.

Non-mutation rule: This skill reads and classifies. It does not write, commit, open PRs, move tickets, or change any state outside its own output.

Output

One terminal classification (VERIFIED, PARTIAL, UNVERIFIED, UNVERIFIED-NO-SURFACE, FAILED, or TIMEOUT) with the action run (or the no-surface statement), what it showed, and the claim wording it supports or contradicts; non-VERIFIED classifications followed by one sentence stating the reason.