来歴(Provenance)

データの出所と、どのように変換されたか。

来歴(Provenance)

provenance は今も、明示的な境界の規律として理解するのが最適です。コンパイラが最も明確に強制しているのは、意図的な unwrap の一歩です。

本日時点で確認済み

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

現在の注意点

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