attest

ATTEST 是一个金融控制层，在 AI 提出的操作改变财务状态之前对其进行验证。结算对账是它处理的第一个工作流。它要解决的问题是：支付网关会一次性发来一笔涵盖多个订单、扣除费用后的总付款，而必须有人确定这笔入账由什么构成。如果记录带有订单级别的引用，重建只是一次连接，很容易。困难的情形是没有这类引用，例如银行入账是对照对账单而非网关报告进行对账、某个期间的对账不可用，或某笔调整没有关联实体。此时只能根据金额、费用和日期推导构成，而且可能有不止一组订单恰好加起来等于同一笔入账。

ATTEST 通过四层运作：ADVISOR 提出调查信号，VERIFIER 独立重建并证明解释，POLICY 决定已证明的结果是否可以安全地自动化，LEDGER 只记录被允许的执行。顾问仅提供建议，不能授权财务操作。它只会拿到标识符、名称和日期，从不会拿到金额。验证器根据源记录重新计算解释，不读取顾问所说的内容，账本也不接受验证器没有重新推导出的任何内容。

在留出评估集上的实测结果为：精确集合恢复率 16.0%，覆盖率 16.8%，歧义率 82.4%，证明精确率 0.952，误证明率 0.80%，错误自动过账金额为 ₹0.00。系统全程使用整数派沙，配有一个独立的 35 行检查器、一道策略关卡，以及包含 35 种攻击的对抗测试。局限包括评估数据为合成数据、没有真实商户资金，以及覆盖率为 16% 而非 90%。