来歴(Provenance)
データの出所と、どのように変換されたか。
来歴(Provenance)
provenance は今も、明示的な境界の規律として理解するのが最適です。コンパイラが最も明確に強制しているのは、意図的な unwrap の一歩です。
本日時点で確認済み
unwrap(reason)は現在もっとも明確に強制されている provenance 境界です。Knowledge<T>は今も silent extraction ではなく、明示的な unwrap 境界を要求します。- 理想的な文章やディレクトリ名よりも、tests と gate artifact を強い根拠として扱ってください。
現在の注意点
- 不確実性と provenance の完全なモデルは、今日の検証済み artifact よりも spec と stdlib 文書の方が豊かです。
- 実際の挙動は、リポジトリ上のファイルだけではなく、使用している
soucバイナリそのものに依存します。