Type System

类型系统叙事最强的部分，仍然是它与 effects、置信度拒绝以及当前仍可指向的保守 units 表面的交叉点。

今日已验证

• 带有置信度边界的 compile-fail fixture 属于已验证合同。
• 显式 with ... effect 仍然是语言真实合同的一部分。
• 单位与 quantity 语法存在，但端到端约束仍然只有部分实现。

当前限制

• LLVM、GPU 和 LSP 等后端能力必须按构件确认，不能只看源码目录。
• 语言规范可能领先于当前公开构件真正执行的能力。