[SkillEffect: Checked Lowering for Memory-Bounded Agent Tools](https://arxiv.org/abs/2608.17007) - 该系统把 Skill 里的程序约束 lowering 成有来源关系、bounded IR 和输出后置条件的工具调用，由独立 checker 重建后才授予执行权。六个插件覆盖 streaming reduction 到 bounded-heap Top-k，合法配置全通过、对抗提案全拒绝；可迁移性来自共享运行时，而不是免维护的通用证明。