Knowledge<T>

Sounio 的认识论值类型: 显式 unwrap,不会静默丢失不确定性。

Knowledge<T>

Knowledge<T> 仍然是最清晰被强制执行的 epistemic 表面:尽量长时间保留包装值,只在记录原因后才 unwrap。

今日已验证

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

当前限制

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

在这个仓库中验证

let k = Knowledge { value: 42.0 }
let accepted: f64 = k.unwrap("accepted for demo")