検証の問題はどのように検証できるか
検証の問題：それが何か
検証の問題とは、検証プロセスが期待どおりに完了できない状況、または「検証基準」と「提出された情報」が一致しないために結果が不明確になる状況のことです。実務的には、必要な入力が欠けている、形式が一致しない、あるいは検証者がルールを一貫性なく適用しているために、検証が失敗することがあります。
このトピックは金融サービスやプラットフォームの周辺で語られることが多いですが、概念はそれより広いです。検証とは、たとえば本人性属性（identity attribute）に関する主張が受け入れ可能かどうかを判断する仕組みです。検証の問題は、特定の要求、提出された証拠、そして受け入れまたは拒否の理由を指し示せるときに、検証可能になります。
メカニクス：独立して何を検証できるか
検証の問題を検証するには、次の3つの層を分けます。
- 安定したメカニクス（時間に依存しない）：提供されるべきもののチェックリスト、許容される形式、そして記録間で一致している必要がある本人性の詳細。
- 変動する条件（変わり得る）：提出のタイミング、システムの利用可能性、そして変化し得る運用上の処理ルール。
- 文脈上の前提：管轄範囲、言語／形式の期待、そして（関連する場合）コストや実行の詳細が、あなたが作り出せる証拠にどう影響するか。
再現可能な検証アプローチは、各検証基準を1つの証拠に結びつける記録を作ることです。プロセスが理由コードや説明を生成するなら、それをそのまま（逐語的に）記録します。次に、その理由を、それが対応すると主張する基準にマッピングします。これにより、「うまくいかなかった」という不明確さを、検証可能な不一致へと変えられます。
証拠と例：不一致をテストにする
よくある失敗モードを考えます。提出された書類の項目が、検証者の期待する値と一致しないケースです。たとえば、検証者がプロフィールに保存されている名前どおりに完全一致を期待しているのに、書類には別の綴りがある、または余分なミドル要素が含まれている場合、システムは一致しないものとして扱う可能性があります。検証の問題を検証するには、次のようにできます。
- テストしている「項目の正確な要件」を書き出す（たとえば、「名（given name）はプロフィールの名（given name）と一致している必要がある」）。
- 提出された値と、書類に対応する値を記録する。書式の選択も含める。
- 前提を述べる：検証者が、軽微な綴りの違い、転写（transliteration）の違い、句読点の違いを許容するかどうか。
- 検証者の拒否説明が、その項目に対応しているかを確認する。
同じ安定した基準でプロセスを繰り返し、制御可能な入力（句読点や書式など）だけを変更すれば、失敗モードが一貫しているかどうかを観察できます。一貫性があれば、検証可能な不一致を支持し、逆に一貫性がなければ、変動する条件や解釈ルールが関与している可能性を示唆します。
制限とリスク：確認を妨げるもの
検証は、注意深い文書化があっても、常に決定的な答えをもたらすとは限りません。少なくとも1つの重要な制限は、処理条件や人間または自動の解釈によって結果が変わり得ることです。もう1つの失敗モードは、不完全なフィードバックです。検証者が、どの基準が満たされなかったのかを指定せずに「検証に失敗した」と報告するかもしれず、その場合は推測を強いられます。
また、過去に見られた関係は、次に何が起きるかを確立しません。特定の入力が以前に拒否につながったとしても、その後の処理ルールやデータの取り扱いが異なる可能性があります。最後に、あなたが行うあらゆる計算や比較には、前提を明確に述べる必要があります。そうしないと、基礎となる検証ルールではなく、自分自身の推論を確認してしまうことがあります。
検証チェックリストと次の質問
「証拠の履歴（evidence trail）」という書面のアプローチを使います。
- あなたが失敗したと考える、特定の検証基準を特定する。
- 対応する提出された証拠を集め、どのように一致または相違しているかを示す。
- 提供されている場合は、検証者の正確なフィードバック（理由文または結果カテゴリ）を記録する。
- 安定しているもの（基準、データ項目）と、変動するもの（タイミング、運用上の処理）を分ける。
- 前提を明示したまま、提出のうち制御できる部分だけを繰り返す。
良い次の質問は次のとおりです：検証者は、どの基準を、どの正確なデータ項目において満たされていないと主張しているのか？ その結びつきが欠けていると、検証の問題は検証しにくくなり、原因の特定まで検証できず、失敗が存在することだけを検証できる可能性があります。
DOCUMENT END