build — スペック実装

シングルスレッド ネイティブ plan→execute。あなたはメイン Claude です。スワームなし。

LOAD

1. SPEC.md を読む。ない場合 → ユーザーに spec スキルを先に呼び出すよう案内する。停止。
2. FORMAT.md をまだ読んでいなければ一度読む。
3. 呼び出し引数を解析する：
   • §T.n → そのタスクのみ
   • --next → ステータスが . または ~ の最小番号の行
   • --all または空 → §T 順の全ての . 行

PLAN

ネイティブプラン モード。選択されたタスク用に：

1. 適用されるすべての §V 不変式を引用する。プランはすべてを尊重しなければならない。
2. 操作するすべての §I インターフェースを引用する。プランは形状を保持しなければならない。
3. 作成・編集するファイルをリストアップする。
4. 追加・更新するテストをリストアップする（操作する不変式ごとに 1 つ）。
5. 検証コマンドに名前を付ける（test、build、lint）。

プランを表示する。オートモードでない限りユーザー OK を待つ。

EXECUTE

タスクを順に実行：

1. §T.n ステータスセルを . → ~ に反転させる。SPEC.md に書き込むだけ。
2. プランに従ってコードを編集する。
3. 検証コマンドを実行する。
4. 成功 → ~ → x に反転させる。次のタスク。
5. 失敗 → backprop スキルを呼び出す。盲目的に再試行しないこと。

FAIL → BACKPROP

テスト/ビルド失敗時：

1. 失敗出力を読む。
2. 質問する：失敗は (a) コードバグ、(b) スペック誤り、(c) 未指定のエッジケース か？
3. (a) の場合 → コードを修正、再実行。スペック変更なし。
4. (b) または (c) の場合 → 先に spec スキルを bug: <cause> で呼び出し、§V と §B を更新させ、その後更新されたスペック対して ビルドを再開する。

ルール：根本原因を backprop を検討せずに静かに修正してはいけない。§B は再発を止める記憶。

WRITE POLICY

• §T ステータスのみ反転させる。build からの他の SPEC.md 編集なし。
• 他のスペック編集 → spec スキルを呼び出す。
• 各 §T 完了後にコミットする。メッセージ：T<n>: <goal line> + §V 引用。

VERIFICATION

タスク x は以下の場合のみ：

• 検証コマンドが exit 0。
• プランごとに新しいテストが追加されている。
• §V 不変式の退行なし（最後に全テストスイートを実行）。

NON-GOALS

• サブエージェントなし。パラレルワーカーなし。メインスレッドのみ。
• プログレス ダッシュボードなし。cat SPEC.md | grep §T がダッシュボード。
• 選択されたタスク範囲を超えた投機的作業なし。