溯源（Provenance）
数据从何而来，以及如何被变换。
溯源（Provenance）
在认识论计算中，没有来源的数据就谈不上信任。Sounio 的认识论模型将溯源视为值的一部分，而不是外部日志文件。
今天可用的部分（编译器现状）
语言通过 Knowledge<T>.unwrap(reason) 在认识论数据与非认识论数据之间建立显式边界。这是最小的“审计钩子”: 你必须说明 为什么 要提取原始值。
在规范 / stdlib 设计中
预期的溯源模型是:
- 在变换下 append-only
- 在纯计算下保持
- 在合并多个输入时可合并
stdlib 的认识论模块定义了更丰富的溯源结构，可记录来源、变换与证据链。
实用建议
- 将
unwrap(...)视为合规边界: 记录理由与周边上下文。 - 导出中间结果时尽量保持溯源完整。