revolver

Revolver

正当化できるあらゆる観点から。次の観点に移る前に、すべての指摘に決着をつけます。

手順

1. 対象の状態を固定します。
2. 要件、信頼境界、データと制御の流れ、変更された箇所、障害モード、ユーザー、運用条件から、実質的に異なる観点の候補をすべて導き出します。表面化している重要なリスクをすべて網羅します。重複や水増しは除外します。明示された人間の制約を守り、そうした制約がなければ、確認を求めずに候補を選びます。下限や上限は設けません。
3. 各観点に、反証を試みる質問を1つと、対象となる証拠を設定します。影響の大きさと不確実性に基づいて候補を並べます。ローテーションに入る前に候補を固定します。
4. 毎回、新しいレビュアーを1人ずつ、必要十分な最小コストのモデルで呼び出します。現在の対象、1つの観点、以前のレビュアーの文章を含めずに渡します。 新しいレビュアーを呼び出せない場合は停止します。自己レビューは新しいレビューとはみなしません。
5. すべての指摘を直接的な証拠と照合して事実確認します。次の観点に移る前に、すべての指摘に決着をつけます。
   • 裏付けあり：確定した権威ある情報によって修正方法が決まる場合は修正を適用して検証します。それ以外の場合は人間の判断として停止します。
   • 反証済み：決定的な証拠を示して却下します。
   • 人間の判断が必要：重要な曖昧さを明示的な人間の選択に委ね、選択されるまで停止します。
   • 未検証またはブロック中：不足している証拠または機能を明示して停止します。
6. 次の観点に移る前に、修正済みの対象を固定します。
7. 候補全体のローテーションを完了します。指摘が解決したローテーションの後は、現在の対象に基づいて候補を再構築します。観点の追加や削除は、ローテーションの間にのみ行います。
8. 指摘のないローテーションが1回完了するか、サイクルが3回に達したら停止します。

1サイクルとは、候補全体のローテーション1回です。修正済みとは、裏付けのある指摘を修正し、検証したことを意味します。指摘のない状態とは、検証後に対応が必要な指摘が残らなかったことを意味します。

出力

重要な修正と検証、重大な反証、未解決の人間の判断を返します。 決定的な実行ごとに、コマンド、作業ディレクトリ、状態識別子、数値の終了コード、および手を加えていない最小限の決定的な出力抜粋を1回ずつ含めます。

境界

レビュアーは、主張、呼び出し元、関連する箇所を攻撃対象とします。返すのは、場所、影響、証拠、最小限の修正を含む、対応可能な指摘のみです。オーケストレーターが修正を行い、レビュアーは独立性を保ちます。