Specification

规范仍然重要，但公开文档现在把它明确呈现为意图和参考材料，必须与当前测试和构件交叉核对。

今日已验证

• 语言规范可能领先于当前公开构件真正执行的能力。
• 测试和 gate 构件比愿景式描述或目录名称更值得信任。
• LLVM、GPU 和 LSP 等后端能力必须按构件确认，不能只看源码目录。

当前限制

• 真实行为取决于具体的 souc 二进制，而不只是仓库里有哪些文件。
• 单位与 quantity 语法存在，但端到端约束仍然只有部分实现。