效果系统

Effects 仍然是这门语言最清楚表达意图的部分：把副作用写进签名，把纯逻辑和边界逻辑分开。

今日已验证

• 显式 with ... effect 仍然是语言真实合同的一部分。
• 把 with IO 放在外层边界，其余流水线尽量保持纯净。
• 测试和 gate 构件比愿景式描述或目录名称更值得信任。

当前限制

• 更完整的 handler 模型已经存在于设计中，但执行支持仍然不均衡。
• 真实行为取决于具体的 souc 二进制，而不只是仓库里有哪些文件。