溯源（Provenance）

Provenance 目前仍然最适合被理解为一种显式边界纪律：编译器今天最明确强制的仍然是有意的 unwrap 步骤。

今日已验证

• unwrap(reason) 仍然是当前最明确的 provenance 边界。
• Knowledge<T> 仍然要求显式 unwrap 边界，而不是静默提取。
• 测试和 gate 构件比愿景式描述或目录名称更值得信任。

当前限制

• 完整的不确定性和 provenance 模型在 spec 与 stdlib 文档中比今天验证过的构件更丰富。
• 真实行为取决于具体的 souc 二进制，而不只是仓库里有哪些文件。