Effect System

effect system 仍然是设计核心，但公开文档现在把已强制执行的签名合同与仍在积极演进的更完整 handler 模型区分开来。

今日已验证

• 显式 with ... effect 仍然是语言真实合同的一部分。
• 把 with IO 放在外层边界，其余流水线尽量保持纯净。
• 自定义 effect 属于语言设计的一部分，但更深层的 handler 体验仍在演进。

当前限制

• 更完整的 handler 模型已经存在于设计中，但执行支持仍然不均衡。
• LLVM、GPU 和 LSP 等后端能力必须按构件确认，不能只看源码目录。