reasoning-kernel 0.6.3 发布：用 CaMeL 式控制流隔离防御 LLM Agent 提示词注入

gianlucamazza 在 GitHub 发布 reasoning-kernel 0.6.3，一个框架无关的 Python 参考实现，将 LLM 视为不可信计算，用 CaMeL 式（arXiv:2503.18813）控制/数据流分离降低提示词注入到实际效果的风险。核心是两条不变量：根规划器不接触原始工具输出，模型输出必须通过确定性 Gate 验证才能产生持久效果；P-LLM 与 Q-LLM 均为不可信推理器，权限只能收缩。项目附带威胁模型与非目标清单，明确声明这不是安全证明，PyPI 包名为 capability-reasoning-kernel，MIT 协议。