Aletheia：编码智能体规则的权限最小化测试

论文提出 Aletheia 框架，将编码智能体规则中的权限请求转为类型化语言并合成可执行沙箱配置，通过逐项移除权限的独立测试判断请求是否可被替代。在共享重构任务上，该框架检出全部 314 条 AIShellJack 攻击输入，对 5 条良性模板无告警；在 80 条人工验证的良性 GHAgentFiles 规则中产生 3 个误报（3.75%）。