来歴（Provenance）
データの出所と、どのように変換されたか。
来歴（Provenance）
エピステミック計算では、出所のないデータは信頼できません。Sounio のエピステミックモデルは、来歴を外部ログではなく値の一部として扱います。
いま動くこと（コンパイラの現状）
言語は Knowledge<T>.unwrap(reason) によって、エピステミックなデータと非エピステミックなデータの境界を明示します。これが最小の「監査フック」です。生の値を取り出す 理由 を必ず書かなければなりません。
仕様 / stdlib 設計
意図された来歴モデルは次の通りです:
- 変換の下で append-only
- 純粋計算の下で保持される
- 複数入力の結合時にマージ可能
stdlib のエピステミックモジュールは、ソース、変換、証拠チェーンを記録できるより豊かな来歴構造を定義します。
実用的な指針
unwrap(...)をコンプライアンス境界として扱い、理由と周辺コンテキストを記録する。- 中間結果をエクスポートする際も来歴を保つ。