construct

Construct

権限

Construct は実行状態を保持せず、実行成果物も作成しません。計画上のすべての判断は Blueprint が担い、実装の差分は Git ワークツリーの状態が担います。調査結果は証拠であり、権限ではありません。確定済みの Blueprint の範囲を広げることはできません。Blueprint はバイト単位で変更しないでください。無関係な未コミットの変更は保持してください。実行には Git ワークツリーが必要です。スクリプトで証明できるのは仕組みだけです。帰属、スコープの正確さ、完了の判断はエージェントが担います。

コマンド

python <construct>/scripts/cli.py --repo-root <repo> --input blueprint_file=<blueprint.md> --input phase=before --format json verify

まず判定基準を確認します。next_command がある場合はそれに従い、ない場合は required_action に従います。

スムーズな実行ループ

1. 受け入れ。 実行コントラクトを一度読み、新規作業では verify を、再開時には status を実行します。対象が変更済みの場合、Git 管理外のパスの場合、並行作業、破壊的な作業、または復旧作業の場合は、安全性を読みます。編集する前に Blueprint 全体を読みます。呼び出し元が Blueprint の内容を引用または言い換えている場合は、そのステップを読み直し、確定済みのテキストに基づいて作業します。
2. 実装。 各 ### N. を順番に実装します。apply は宣言されたブロックを書き込みます。手動で書き込んではいけません。Red: がある場合は、apply で Frozen を適用し、文章によるテストを書き、宣言された red を prove で証明してから、apply で Exact を適用します。残りを実装し、呼び出し元が保持する次の未使用の試行回数を使って prove で green を証明し、その後の指示に従います。Blueprint で確定している内容だけを修正します。そうでなければ plan-contradiction として停止します。
3. 検証。 verify のフェーズ after を実行し、すべての Expect: を判定します。再開時も含め、Runs は verify または reverify でのみ実行します。Blueprint で正解が確定している場合に限り、局所的に修正し、無効になった最も早い Run 行から reverify します。宣言された Incomplete: の結果が表示された場合は、ステップ 4 の後に verification-incomplete として終了します。それ以外の場合は、計画との矛盾を示す証拠を添えて停止します。タイムアウトまたは変更に関する失敗は安全でないため、reverify してはいけません。
4. 照合と報告。 実行コントラクトに従い、最終差分を確定済みの Blueprint と一度だけ照合します。重大な動作または安全上のリスク、重要な伝播、間接的な検証、または観察しにくい受け入れ条件がある場合は、適合性レビューの実施条件を満たします。それ以外は実施しません。指示、各 Proof の実行と Run、それぞれの Expect: と、条件を満たしたかどうかが分かる引用出力、回復不能な red の未達箇所、通知、Blueprint にない呼び出し元からの引用の有無、レビューを実施条件を満たしたか、実施したか、実施条件を満たしたが未実施だったか、保護対象のパスと HEAD に変更がないかを報告します。

例外

停止すると Construct の実行は終了します。停止理由は plan-contradiction、protected-work-conflict、safety-contradiction のいずれかで、正確な証拠を添えて報告します。失敗した Runs、再開、およびその後の手順は、失敗、再開、停止に従います。

最終報告と停止報告は、結果に合った任意の次のステップを一つだけ添えて終わります。停止した場合は、復旧の担当者に合ったものにします。必要なリポジトリ、イシュー、PR、成果物があればそれを明記した、フェンス付きの自己完結したプロンプトを記載するか、必要なものはないと記載します。「yes」の場合に限り、プロンプトに記載されたスキルを使って開始します。ただし、charter、diagnose、ticket のステップは、ユーザーが対応する /<skill> コマンドを実行します。