From Proposal to Verified Effect: Praxa, an Evidence-Bound Harness for Governed AI Agent Execution

Praxa 把提案、权限、派发、外部回读、对账和上线审核建成独立状态，由确定性 admission 与 brokered execution 连接。仓库审计通过 1,027/1,027 单元测试和 89/89 Workerd 测试，但 12 项 Terminal-Bench 试点两组都只通过 17/36；可靠性层还多用 37.49% 输入、50.73% 输出 token，因此架构证据强于效果证据。