check — ドリフトレポート

純粋な診断。違反を報告します。何も書き込みません。ユーザーが改善策を決定します。

LOAD

1. SPEC.md を読み取ります。欠落している場合 → "no spec, nothing to check." 停止。
2. 呼び出し引数を解析します:
   • §V → 不変式のみをチェック (デフォルト)
   • §I → インターフェースをチェック
   • §T → タスク状態とコードを監査
   • --all → 3 つすべて

CHECK §V — 不変式

各 V<n> について:

1. 不変式をコードについての検証可能な主張に変換します。
2. 関連ファイルを Grep/読み取ります。
3. 分類: HOLD / VIOLATE / UNVERIFIABLE。
4. アドレス + file:line の証拠を記録します。

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

各 I アイテムについて:

1. 実装を特定します。
2. 分類:
   • MATCH — コード内のシェイプ = spec 内のシェイプ。
   • DRIFT — 実装が存在する、シェイプが異なる。
   • MISSING — 実装が欠落している。
   • EXTRA — コードが §I にはない外部インターフェースを公開している。

CHECK §T — タスク

各 T<n> について:

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.

改善策ヒント (アクションではなく)

レポートの最後に、クラスごとの 1 行のヒントを追加:

• VIOLATE / DRIFT → spec スキル bug: <V.n> を呼び出すか、cited 行でコードを修正。
• MISSING → タスクが存在する場合は §T.n 上でビルドスキルを呼び出し; そうでなければ spec スキル amend §T。
• STALE → spec スキル amend §T でチェックを外す。
• EXTRA → §I を文書化する spec スキル amend §I を呼び出すか、コードを削除。

決して修正を呼び出さないでください。レポートのみ。

非目標

• ゼロ書き込み。SPEC.md の編集なし。コード編集なし。
• サブエージェントなし。メインスレッド読み取り。
• スコア、グレードなし。アイテムごとにバイナリ: 保持またはドリフト。