认识论类型

Epistemic 类型仍然是 Sounio 今天最有辨识度的部分：公开可验证的合同不宽，但它是真实且有测试支撑的。

今日已验证

• Knowledge<T> 仍然要求显式 unwrap 边界，而不是静默提取。
• 带有置信度边界的 compile-fail fixture 属于已验证合同。
• tests/run-pass/vancomycin_propagation.sio 和 med fixture 共同描述了当前的 epistemic 工作流。

当前限制

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