复算、激励与有限责任

网络刚启动或任务交易量很小时，认真复算的成本可能高于业务费；没有基础收入，验证供给会晚于需求或只剩低质量参与者。

NB因此采用：设立基础验证基金，为指定任务中提交结果与计算证据的合格验证者补贴实际算力，维持最低验证能力。

边界：CL·未编号预算须封顶且可退出；补贴不证明验证者诚实，也不能当成真实客户需求、永久收入或结论正确的证据。

验证者若能复制结论或机械跟票，就能以很低成本获得表面记录；仅看正常样本的多数一致，很难暴露惰性或串谋。

NB因此采用：由 Hub 周期性注入答案已知的随机 Canary，比较验证报告与已知答案，并记录识别或漏检。

边界：CL-05错误必须隔离于用户订单、生产产物和正常信誉样本之外，并提供证据、挑战、申诉、重放与终局；Canary 不能证明能发现所有真实攻击。

独立复算比跟随多数更贵；若额外发现错误没有上行收益，即使 Canary 能识别行为，也难以改变长期激励。

NB因此采用：用违规罚没金与跨链手续费为 Jackpot 注资，让正确发现错误者分享奖池，争取使诚实验证收益高于偷懒。

边界：“纳什均衡”只是待验证目标，未终局罚没不得提前承诺；CL-06Claims 负责损失证明、赔付顺位与追偿，Jackpot 不是退款、保险或赔付池。

Creator、Validator 与 Curator 的控制面不同，一刀切 Bond 对低风险过重、对高风险不足，还可能把别人的错误归到当前角色。

NB因此采用：以文件数、代码行数等估算破坏半径，分角色设置责任 Bond。激进候选 低风险 10%—20% 激进候选 高风险 80%—100%

边界：CL-08须分别证明控制面、因果、责任与上限，罚没有限、可申诉且不跨角色连坐；文件数与行数不等于实际损失。