KLM：未知がゼロではない理由

記録された0と利用できない測定値は、別の記述です。ゼロは値を示し、未知は値を示す情報が足りないことを示します。

日付のない出典について、コードが欠けた鮮度スコアをゼロに置き換え、画面が測定値として示すと、証拠の欠如が低いスコアに変わります。KLMのhonest-null規則は、利用できない信号を理由付きのnullとして残します。

ゼロでは言えないこと

鮮度を測っていないなら、ゼロのスコアは「古いと測定された」ことを意味しません。有効な日付は調査する必要があります。次はリポジトリの例の一部であり、完全なKLM記録ではありません。

{
  "freshness_score": null,
  "signal_status": {
    "freshness_score": "unavailable"
  },
  "nulls": {
    "freshness_score": {
      "reason": "no_varve_age_metadata"
    }
  }
}

行っていない測定を報告せず、理由を後から調べられる履歴として残します。

境界で消える未知

JSONでnullを保持しても、別の部品が消してしまうことがあります。value ?? 0は明示された未知をゼロに変えます。通信形式によっては、欠如とスカラーの既定値を区別するために追加メタデータが必要です。

KLMは、実装が管理する構築、符号化、復号の境界で区別を残すよう求めます。不正な信号も欠けた信号とは別です。形式が壊れた値や範囲外の値を、黙って「未知」にしてはいけません。

数値の背後にある知識の種類

• measured：記録された出来事から決定的に計算でき、再現可能。
• heuristic：観測可能な信号による近似で、再現可能。
• synthesized：モデルまたは評価者の解釈で生成。
• unavailable：生成されておらず、理由付きのnull。

モデルが申告する確信度と、証拠が支える確信度は別です。モデルの評価は記録を豊かにできますが、適合性の主張に必要な機械的な基礎を置き換えません。

誠実な記録の限界

未知を正直に示しても、答えが真になるわけではありません。隙間を隠さず残すことです。KLMの適合性は構造と追跡可能性の問題であり、事実の正しさの一般保証ではありません。

スコアの比較だけでなく、生成方法、状態、利用できない場合の扱いを読む必要があります。KLMの紹介と検証ガイドも参照してください。

出典と版

この文章は次の日に確認した公開版に基づきます： 2026年10月9日. リンクはその版に固定しています。説明例は編集上の解釈であり、研究結果は元の範囲を保持します。その後、研究が変わっている可能性があります。

• 仕様 §4.5
• honest-nullの例