Knowledge<T>

Sounio のエピステミック値型: 明示的 unwrap、黙って不確かさを捨てない。

Knowledge<T>

Knowledge<T> は今も最も明確に強制されている epistemic 表面です。できるだけ長く包んだ値を保持し、理由を記録するときだけ unwrap してください。

本日時点で確認済み

  • Knowledge<T> は今も silent extraction ではなく、明示的な unwrap 境界を要求します。
  • unwrap(reason) は現在もっとも明確に強制されている provenance 境界です。
  • 理想的な文章やディレクトリ名よりも、tests と gate artifact を強い根拠として扱ってください。

現在の注意点

  • 不確実性と provenance の完全なモデルは、今日の検証済み artifact よりも spec と stdlib 文書の方が豊かです。
  • 実際の挙動は、リポジトリ上のファイルだけではなく、使用している souc バイナリそのものに依存します。

このリポジトリで確認する

let k = Knowledge { value: 42.0 }
let accepted: f64 = k.unwrap("accepted for demo")