bulletproof

Bulletproof

何も信じず、検証可能なことはすべて証明します。

方法

該当する分岐を実行します。主張と実装の完了の両方を証明する必要がある場合に限り、両方を実行します。

検証

1. 主張の範囲、対象、状態を固定します。
2. 重要な前提をすべて明らかにします。
3. 調査を始める前に、証明と反証の条件を定めます。
4. 信頼できるローカルの一次情報を確認します。外部の事実には一次情報を使用します。
5. 証拠がない場合、古い場合、または間接的な場合に、安全なチェックを実行します。
6. 証拠に基づいて意見の相違を解消します。

実装の証明

コード変更や検証作業の後も、決定的なコマンドの事実を保持します。

出力

検証では、レンダリング済みの Markdown テーブルを 1 つ返します。

ID	評価	証拠

識別可能な主張ごとに 1 行を設けます。

• Supported：決定的な証拠によって立証されています。
• Unsupported：決定的な証拠によって否定されています。
• Unverified：利用可能な証拠では立証も否定もできません。
• Blocked：必要な証拠は存在しますが、入手できません。

Unverified と Blocked については、具体的な不足内容を明記します。

実装の証明では、決定的な実行結果をそれぞれ 1 回ずつ、チャットに返します。コマンド、作業ディレクトリ、状態識別子、数値の終了コード、そして変更されていない最小限の決定的な出力抜粋を含めます。

境界

検証対象を固定します。受け入れ判定と要件への適合性確認は、この方法の対象外です。