Double-Check

The turn that produced the artifact is not evidence about the artifact. Re-derive the contract from the prompt, re-read the bytes from disk, and let the two disagree with the transcript.

Overview

/double-check is an adversarial quality-assurance pass over work that has just been produced — normally by the agent running it. It exists because generation and verification are different jobs: a model finishing a task carries forward its own plan, its own assumptions, and a transcript that reads like proof. This skill discards that carry-forward and rebuilds the picture from two sources that cannot lie about themselves: the user's original words and the current state of disk.

It is a gate, not a second implementation pass. It verifies, corrects narrowly, and reports. It never redesigns, never expands scope, and never approves on the strength of the conversation alone.