check

check — ドリフトレポート

診断のみです。違反を報告します。何も書き込みません。対処方法はユーザーが決定します。

仕様がコードからいつの間にか乖離することが、SDD で最も多い失敗パターンです。check はその検出ツールです。各 /build の後とリリース前に実行してください。ここで検出したドリフトは差分ですが、本番環境で検出したドリフトは §B です。

LOAD

1. SPEC.md を読み込みます。見つからない場合は「仕様がないため、チェック対象もありません」と表示して終了します。
2. 呼び出し引数を解析します。
   • §V → 不変条件のみをチェックします（デフォルト）
   • §I → インターフェースをチェックします
   • §T → タスクのステータスとコードを照合します
   • --all → 3 つすべてをチェックします

CHECK §V — 不変条件

各 V について、以下を実行します。

1. 不変条件を、検証可能なコード上の主張に置き換えます。
2. 関連ファイルを grep するか、読み込みます。
3. 次のように分類します。HOLD／VIOLATE／UNVERIFIABLE
4. アドレスとファイル名:行番号の証拠を記録します。

CHECK §I — インターフェース

各 I 項目について、以下を実行します。

1. 実装箇所を特定します。
2. 次のように分類します。
   • MATCH — コード上の構造と仕様上の構造が一致しています。
   • DRIFT — 実装は存在しますが、構造が異なります。
   • MISSING — 実装がありません。
   • EXTRA — コードが §I にないインターフェースを公開しています。

CHECK §T — タスク

各 T について、以下を実行します。

1. x の場合は、申告された作業が存在することを確認します。
2. ~ の場合は、進行中として記録します。
3. . の場合は、保留中として記録します。
4. 証拠のない x の行には、STALE のフラグを付けます。

REPORT

簡潔に。重大度ごとにまとめます。

## §V drift
V2 VIOLATE: auth/mw.go:47 uses `<` not `≤`. see §B.1.
V5 UNVERIFIABLE: no test covers ∀ req path.

## §I drift
I.api DRIFT: POST /x returns `{result}` not `{id}`. route.go:112.
I.cmd MISSING: `foo bar` absent from cli/*.go.

## §T drift
T3 STALE: status `x`, no middleware file exists.

## summary
2 violate. 1 missing. 1 stale. 1 unverifiable.
next: spec skill with `bug:` or fix code at cited lines.

REMEDY HINTS（アクションではありません）

各分類について、レポートの末尾に 1 行のヒントを記載します。

• VIOLATE / DRIFT → 仕様スキル bug: <V.n> を呼び出すか、コードを修正します。
• MISSING → タスクが存在する場合は、§T.n に対してビルドスキルを呼び出します。存在しない場合は、仕様スキル amend §T を呼び出します。
• STALE → 仕様スキル amend §T を呼び出してチェックを外します。
• EXTRA → 仕様スキル amend §I を呼び出して文書化するか、コードを削除します。

修正を呼び出してはいけません。レポートのみです。

NON-GOALS

• 書き込みは一切行いません。SPEC.md の編集も、コードの編集も行いません。
• サブエージェントは使いません。メインスレッドが読み込みます。
• スコアや評価はありません。項目ごとに二択です。不変条件を満たすか、ドリフトしているかです。