Preregistered Belief Revision Contracts

1. PBRC把通信层与认知更新层分开：预先登记触发器、修正算子、优先级和回退规则，非回退更新必须携带非空且已验证的证据见证集。
2. 在证据型合同加保守回退下，社交空轮次只能走回退，因此置信度不增；若回退还保持argmax，则纯从众驱动的“错而自信”级联被排除。
3. 任意可审计触发协议都可编译成PBRC规范形：空见证的“理由”在审计上被归为回退，同时保持信念轨迹与审计轨迹等价。
4. 若合同、算子、见证器与路由器都只依赖验证后的令牌，则更新只由令牌暴露轨迹决定；在 flooding 下，轨迹等价于截断可达性，证据闭包时间等于图直径。
5. Sound enforcement 使 top-hypothesis 变化可追溯到具体验证令牌，且 replay、forge、freshness、collusion 等风险被定位到证据有效性层而非“社会推理”本身；CDDL 则提供了一个可写可检的运行时不变量语言。

主要是形式化证明加一组仿真与基准适配实验，没有训练型数据集或模型参数量。Simulation I：n=20、二元假设、T=10、每种拓扑500次试验，拓扑包括 ring、ER(p=0.3)、complete，对比 baseline（social pooling + sharpening）与 PBRC fallback；Simulation I(b)：对回退参数λ∈{0,0.02,0.05,0.1,0.2,0.4}做消融。Simulation II：生成2000对 token-equivalent 事件，检验语义修辞变化不影响更新。Simulation III：在 ring、ER、star、complete、grid 上做 flooding，每个节点一个唯一 token，验证闭包时间与图直径一致。Simulation IV：单智能体、持续有效证据 token、路由器假阴性率q，考察可用性/延迟。Simulation V：token 数N的验证开销压力测试，比较全验证与短路验证。Simulation VI：n=25、ER图p=0.15、T=8、初始证据持有比例ρ=0.2、400次试验、verifier noise ε、k∈{1,3,5} 的多见证触发。基准适配还包含 KAIROS 全测试集 n=3000，使用 gpt-4o、temperature=0.7、reflection mode，对比 Raw、Social、Social_reflected 与 PBRC token-empty gate。