不确定性

不确定性仍然是这门语言叙事的核心，但当前已验证构件暴露出来的表面仍比完整 spec 模型更小。

今日已验证

• 带有置信度边界的 compile-fail fixture 属于已验证合同。
• Knowledge<T> 仍然要求显式 unwrap 边界，而不是静默提取。
• 测试和 gate 构件比愿景式描述或目录名称更值得信任。

当前限制

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