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")