📖 AI 总结

本文提出 Praxa，一种面向大语言模型智能体的执行框架，旨在将“提议、授权、派发、已验证的外部效果与服务上线”区分为不同且可验证的状态，通过确定性准入、代理执行、外部回读、对账与审核式上线加以显式表示。作者报告了四条证据线：仓库本地审计在固定版本上通过 1027/1027 单元测试与 89/89 Workerd 测试，覆盖全部 363 个预期源文件，但缺少原始逐测记录与独立复现；Terminal-Bench 试点中基线与可靠性层各通过 17/36 严格试验，后者多耗 37.49% 输入与 50.73% 输出 token，未显示优越性；协调代理开发对比中两者均完成 180/180 试验且准确率相同，候选方案 token 减少 37.11%、估算成本降低 33.84%、步骤减少 11.63%，但不足以证明质量或生产表现提升；部署证据显示有界反思、召回核算、记忆编译与工具健康路径，但无生产收益。其贡献在于使授权到效果的转换显式且可测试，当前证据尚不支持对抗安全、生产安全或用户收益等结论。

🔑 关键词速览