verify-claims

主張を検証する

意思決定に影響する主張は、誰かの考えや行動を変えるものです。根拠となる証拠と、主張した結果をユーザーが体験する境界の両方を、互いに異なる2つの証拠面から得た場合に限り、主張を verified と呼びます。引用付きの推測は、証拠面の1つにすぎません。両方が必要です。

1. 主張カードを開始する

診断、推奨、外部への変更、完了判定、またはユーザーの判断に影響し、かつ推論を含む主張には、このワークフローを適用します。直接観察された事実や通常の説明については、このワークフローを終了します。

ユーザーが既存の台帳、レポート、または永続化される課題アーティファクトへの書き込みをすでに許可している場合に限り、その中でこのカードを開始します。そうでなければ、インラインで保持します。

### Claim

- **Claim:** <falsifiable sentence>
- **Consequence:** <decision or action this controls>
- **Counter-hypothesis:** <strongest plausible alternative and distinguishing prediction>
- **Distinguishing observation:** <result, or concrete reason it is unavailable>
- **Basis evidence:** <observation, source, and what it establishes>
- **Boundary evidence:** <observation and acceptance surface, or missing evidence>
- **State:** hypothesis | basis-verified | verified | contradicted | blocked
- **Limitations:** <remaining uncertainty and any explicit reversible-work assumption>
- **Next action:** <action permitted by this state>
- **Independent recheck:** <reviewer verdict and evidence for a material reversal; otherwise not applicable>

ゲート。 正確な主張とその影響が記録されているか、ワークフローが終了しています。

2. 競合する予測を明確にする

形だけの反対意見ではなく、最も有力で妥当な対立仮説を記録します。対立仮説と主張を区別できる観察内容を特定します。

ゲート。 主張と対立仮説が、異なる観察可能な結果を予測しています。

3. 対になる証拠を集める

影響に応じたレーンを選びます。現在の対象を調べます。以前の要約は手がかりであり、証拠ではありません。

レーン	根拠となる証拠	受け入れ境界の証拠
コードの動作	正確なコードパスと、関連する状態またはテストのセットアップ	パブリックシームでのランタイム、テスト、ブラウザー、ネットワーク、または永続化された結果
外部への変更	正確な書き込み先、リクエスト、変更結果の台帳	信頼できる外部システムからの新たな読み戻し
構成または呼び出し	解析済みの構成、登録、検出結果	ピッカーでの表示、手動での呼び出し、または実際のコンシューマーの動作
データに関する主張	データの系統、クエリ、フィルター、対象データセット	そのデータセットからの直接の結果。件数や合計を主張する場合は、再計算した値も含む

互いに異なる証拠面から観察結果を得ます。利用可能な場合は、手順2で特定した識別観察を実施します。他のエージェントが再確認できるよう、コマンド、対象、タイムスタンプ、ファイルの場所、結果識別子を正確に記録します。

ゲート。 各証拠欄には観察結果、または証拠が欠けているか結論が出ない具体的な理由が記載され、識別観察の欄にはその結果、または実施できなかった具体的な理由が記載されています。

4. 状態を1つだけ割り当てる

• hypothesis は、根拠となる証拠が欠けているか、結論が出ていない状態です。仮説と、次に必要な証拠だけを伝えます。
• basis-verified は、根拠となる証拠が主張を支持している一方、境界の証拠または識別観察が欠けているか、結論が出ていない状態です。結論には暫定的であると明記します。
• verified は、両方の証拠面が主張を支持し、完了した識別観察が対立仮説を支持しない状態です。断定的な表現を使用できます。
• contradicted は、必要な観察によって主張が否定されるか、対立仮説が支持される状態です。主張を撤回します。
• blocked は、必要な証拠を入手できず、その主張に外部への操作または不可逆な操作が依存している状態です。ブロックを解除するために必要な証拠を明示します。

境界を確認できない場合、証拠によって到達できる状態に上限が生じます。主張を verified にすることはできません。仮定をカードに明記した場合に限り、取り消し可能な作業を続けます。外部への操作と不可逆な操作は保留します。

ゲート。 状態が記録された証拠に基づいており、伝える結論と次のアクションが、その状態で許容される範囲を超えていません。

5. 主張が実質的に覆った場合は、独立して再確認する

新たな証拠によって、主張の真偽、推奨される対応、またはすでに実施した対応の根拠が変わる場合、その覆りは実質的なものです。実質的な覆りがない場合は、not applicable と記録して続行します。

実質的な覆りがある場合は、元の結論を導き出していない新たなレビュアーに確認を依頼します。正確な未加工ソースの識別子、判断の範囲またはクエリ、そして対立仮説を渡します。ディレクトリや、以前の結論または提案された結論を含むアーティファクトは渡しません。元の根拠、以前の結論、置き換え案の値は伏せます。クレームカードを作成するよう依頼し、その置き換え後の結論に依拠する前に、作業中のカードと照合します。

新たなレビュアーを利用できない場合は、置き換え後の主張を blocked に設定し、未実施の再確認を明記します。

ゲート。 覆りがない場合は「該当なし」と記録します。それ以外の場合は、独立したカードとの照合を行うか、置き換え後の結論への依拠をブロックします。

6. 依拠する前に記録する

カードのすべてのフィールドに入力します。主張について伝達または行動する前に、すでに書き込みが許可されているアーティファクトにカードを保存します。それ以外の場合は、外部の状態を作成または更新せず、インラインで伝達します。

完了。 すべてのフィールドに入力され、識別に役立つ結果または具体的な利用不能の理由が記載され、伝達した結論と次のアクションが記録された状態と一致していること。識別のための観察が完了していない主張を verified にすることはありません。