测试与验证

协议在推出前已经历了大量的内部测试。内部回归和有状态不变量测试用于检查实现行为，不等同于独立审计或覆盖所有执行路径的形式化证明。生产地址与浏览器源码验证须以部署记录为准。

当前保护措施与测试范围

领域	当前保护措施	内部测试范围
收入接收	只记录实际收到的收入，并防止重复处理	不同到账顺序及转账失败时的处理
舍入与负债	奖励向下取整，待采购资金与已结算奖励分别记录	跨仓位、跨餐次的样本领取，以及资金对已记奖励的覆盖
QQQB 通道收入分成	扣除推动奖励后，净收入的 15% 用于项目资金，余款及取整余数进入 Belly	分配金额与资金去向
预言机定价	价格参考时效、市场均价与流动性检查	价格参考过期及兑换沿途流动性不足

上游收入处理具有独立的升级与紧急转移权限，可能影响到达 Belly 前的税费收入。这些权限不等于可提走用户的质押本金。上游收入与质押本金的区别见托管边界。

舍入测试采用特定仓位数量、批次数量和领取安排，不证明所有使用情况都适用同一残差上限。多阶段取整及分段领取可能留下少量余额；资金与奖励如何分别保管，见托管与记账边界。

测试证据适用于被测源码版本与模型，不能单独证明实际部署地址、生产监控可用性、所有外部代币行为或确定的恢复时间。