@furongjun1999/dsh-memory 0.4.11 → 0.5.0

package/docs/swarm//350/234/202/347/276/244/345/220/214/351/224/231/346/243/200/346/265/213/345/256/236/351/252/214/345/215/217/350/256/256_v0.1.md

@@ -1,242 +1,242 @@
-# 蜂群同错检测实验协议 v0.1（CTP 核心命题「多数≠真」验证设计）
-
-> **性质**：实验协议设计文档，非实现。启动任何实现（注入器代码、聚合补丁、测试脚本）须使用者批准。
-> **任务来源**：外部评审要求验证 CTP（共同信任协议）核心命题——3 个 agent 同时犯同一种错误（系统性误观测）时，系统能否识别「共识不等于真相」。
-> **对象**：`swarm/`（蜂群多智能体，第五件套）信任聚合与证据面现状；理论参照 `CommonTrustProtocol/docs/`（仓外理论仓，只读引用）。
-> **取证基线**：本仓 main 分支当前工作区（2026-09-15）。行号以当日文件为准。
-
----
-
-## 一、目的与理论命题
-
-CTP 理论主张：**共识 ≠ 真相**。多个协作者给出一致结论，不构成该结论正确的证据——只有外部可观测的验证基底（编译/测试/测量/形式化证明等独立裁决来源）才能约束输出（`CommonTrustProtocol/docs/theory/智能的认知过程.md` L233-263：「系统不能自己编故事说"我觉得对了"，它需要一个外部可观测的验证基底」；`智能的公理化基石.md` L408：「信任可以度量、可以更新、可以被否决（验证基底裁决后失效）」）。
-
-本协议设计一个最小故障注入实验：让 N 个实例**同时观测到同一份伪证据**（系统性误观测），检验蜂群现有信任聚合面在 3/3 同错输入下的行为，并给出「真伪判据=证据基底分离」的退化判准与机制缺口清单。
-
-**平台形态诚实边界**：蜂群实例是确定性 VM 子进程（术数程序，非 LLM agent）。「误观测」在本平台形态下 = 污染的输入（初始符号）或污染的程序逻辑，而非模型幻觉。注入器据此设计（§三）。
-
----
-
-## 二、现状调研：蜂群信任与证据面
-
-### 2.1 信任的产生——自报制（核心事实）
-
-| 机制 | 位置 | 当前语义 |
-|---|---|---|
-| 信任值寄存器 | `swarm/rust_runtime/src/vm.rs` L21 | `信任值` 是 VM 内建符号（BUILTIN_TRUST_VALUE），程序内可读写 |
-| 程序内修改 | `vm.rs` L408-415 | `德(DE)` 指令直接修改 trust_value（加 delta）——信任升降由**实例自身程序逻辑**决定 |
-| 信任阈值路由 | `vm.rs` L24, L430 | 内建 `信任阈值` 缺省 0.7，程序可据 trust 值分支（仅实例内部决策用） |
-| 终态输出 | `vm.rs` L595-596 | 实例终态 JSON 携带 trust 字段（千分位舍入） |
-| 协调器信任提交 | `swarm/rust_runtime/src/swarm.rs` L929-940 | 实例终态 trust 字段**直接采信**为该实例信任值；仅做 0-1 夹取；error 终态无 trust 字段时沿用上一轮值（L930 注释：实例故障不推平信任曲线） |
-
-**关键结论**：信任是**自报值**。协调器不验证实例为何自报该值，不存在「证据→信任」的裁决链。实例程序写「德 +0.5」信任即升，写「德 -0.3」信任即降——升降的全部依据在实例自身代码里，协调器零否决权。
-
-### 2.2 信任聚合
-
-| 机制 | 位置 | 当前语义 |
-|---|---|---|
-| 聚合公式 | `swarm.rs` L1247-1271 | 从各实例最后终态收集 trust（夹取 0-1），计算 T_avg / T_min / T_variance / T_alignment |
-| T_alignment 定义 | `swarm.rs` L1267-1271 | T_alignment = 1 - T_variance / T_avg（avg>0 时）；Python 参照 `swarm/rust_swarm.py` L129-139（对齐 aeis.swarm.trust_aggregator.snapshot 操作化定义） |
-| 报告透出 | `swarm.rs` L1313-1318（report_json） | trust 四元组以 6 位小数进报告；`swarm/swarm_cli.py` L99 摘要透出 |
-
-**语义要点**：T_alignment 度量的是「实例间信任值的离散程度」，**不是**结论正确性。全部实例信任值一致（无论对错）时 T_variance=0 → T_alignment=1.0（理论最大值）。
-
-### 2.3 健康分（health）
-
-| 机制 | 位置 | 当前语义 |
-|---|---|---|
-| 四因子公式 | `swarm/rust_runtime/src/health.rs` L5-7, L51-84 | score = 0.4×成功率 + 0.2×在线率 + 0.2×(1-威胁率) + 0.2×integrity；integrity = 验签通过事件占比 × gossip 覆盖率 |
-| error 判定 | `swarm.rs` L879-884 | 终态含 error 键 = 该轮失败（威胁事件）；`serve.rs` L278-283 VM 执行异常产出 error 终态 |
-| integrity 数据通路 | `swarm.rs` L1203-1207 | 单机在线自签自验恒过、重放事件已过坏尾守卫 → verify_fail 恒 0（代码注释原文）；区分度在跨机场景启用 |
-| 与信任的关系 | 全文检索确认 | **无**。health 只进报告（`swarm.rs` L1322-1340），不回馈 trust 计算，不参与任何路由/晋升/降级决策 |
-
-### 2.4 反例 / 修正通道
-
-| 机制 | 位置 | 当前语义 |
-|---|---|---|
-| G-R3 复算修正信号 | `swarm.rs` L893-927 | protocol 拓扑下 verifier 子进程重放 primary 完整输入逐位复算；不一致时产出「修正信号」事件（level=1，P1），终态仍以 primary 为准（verifier 仅复核） |
-| G-R1 反思触发器 | `swarm.rs` L1024-1063 | 四触发：每 100 轮（L1027-1029）；error 终态连续 2 轮（L1030-1041）；T_avg 连续 3 轮下降（L1048-1057）；实例退场（L1059-1063）。命中产出「修正信号」事件（level=2，P2） |
-| 维生边界 | `swarm.rs` L693-695 | 修正信号**仅记录+透出（P2 观察级），不自动改路由**；P0/P1 介入留待真实重大分歧场景（盲区登记 BS-6，`docs/swarm/蜂群盲区标记_v1.0.md` L47-52） |
-
-**关键结论**：修正信号是当前唯一的反例通道，但它（a）由「复算不一致」或「信任值下降趋势」触发，而非由「证据被否决」触发；（b）触发后无任何信任/路由后果（纯观察级）。
-
-### 2.5 证据存储（WAL）
-
-| 机制 | 位置 | 当前语义 |
-|---|---|---|
-| WAL 事件行 | `swarm.rs` L1005-1023 | append-only events.jsonl，每行 HMAC-SHA256 签名（签名串 v0.7.1：seq/type/from/to/round/ts/payload，L373-382） |
-| 轮末快照 | `swarm.rs` L1100-1165 | 快照行存 trusts+states（条件空间 space_id 随快照持久，L1126-1130）；sync_all 提交点，恢复语义见 L436-528 |
-| 独立验签 | `swarm/rust_swarm.py` L88-126 | Python hashlib/hmac 交叉复核 Rust 手写 SHA256；快照行验签但不计入事件口径 |
-
-**语义要点**：WAL 存的是**事件流**（谁在何时给谁发了什么），不是**证据**。事件 payload 无来源标注、无验证基底字段、无真伪属性——WAL 能证明「某实例在某轮说了某话」（不可篡改），不能证明「某话为真」。
-
-### 2.6 promote/degrade 判据
-
-**不存在**。全仓检索确认：信任无分级体系（无晋升/降级阈值）、健康分不影响信任（§2.3）、修正信号不改信任（§2.4）。信任值的全部变化来源 = 实例程序自身的德指令 + 实例故障时沿用上轮。跨实例信任传播仅有一种形式：路由 payload 的 `@trust` 占位符（`swarm.rs` L964；`swarm/rust_swarm.py` L32）把源实例终态信任值作为消息内容发给目标实例——目标实例如何使用完全由其程序决定，协调器不做任何交叉校验。
-
-### 2.7 实例间对账面（现有的「一致」语义）
-
-| 机制 | 位置 | 当前语义 |
-|---|---|---|
-| gossip 对账 | `swarm.rs` L1272-1278 | 全部 gossip 目标实收水位相等 = gossip_consistent——**投递一致性**，非内容一致性 |
-| 复算对账 | `swarm.rs` L893-927 | verifier 与 primary **同输入同程序**（确定性 VM）→ 复算一致是结构性必然 |
-| 消息内容对账 | — | **无**。没有任何机制比较不同实例对同一观测的结论是否一致（更无真伪裁决） |
-
----
-
-## 三、故障注入形态：最小可行注入器
-
-### 3.1 伪证据三属性（设计约束）
-
-| 属性 | 含义 | 本协议的实现判据 |
-|---|---|---|
-| 可构造 | 注入路径确定、零代码改动可达 | 经 swarm.json 初始符号注入（§3.2），一行配置完成 |
-| 可重复 | 确定性 VM 下同输入必同终态，N 轮可复现 | 同 config+同 WAL 重入逐位一致（既有 B1 幂等语义，`swarm.rs` L710-727） |
-| 可检测基底缺失 | 伪证据**在结构上**缺失可验证基底，而非靠真值对照才能识别 | 伪证据不携带 verification_basis 字段（对照：大脑端 `md_cg/nodefile.py` L58-64 已有八档枚举——蜂群端无对应物，这正是被测缺口） |
-
-### 3.2 注入点选择
-
-| 候选注入点 | 判定 | 理由 |
-|---|---|---|
-| **A. 初始符号注入（选定）** | 可行，零代码改动 | `make_swarm_config` 接受每实例 symbols（`swarm/rust_swarm.py` L27-47）；每轮完整环境注入实例（`swarm.rs` L584-603）——向全部实例 symbols 写入同一伪观测值即构成「系统性误观测」。这是平台形态下「所有 agent 观测到同一伪证据」的忠实映射：共享同一（被污染的）观测通道 |
-| B. WAL 直接注入 | 不可行（守卫正常拒绝） | 事件行须过 HMAC 验签（`swarm.rs` L468, L490），外部注入必被坏尾守卫截断——恰证明完整性面无缺口，不构成「系统性误观测」注入面 |
-| C. 路由 payload 注入 | 备选（第二轮变体） | 经 routes payload 携带伪观测跨实例传播（`swarm.rs` L962-1003），可模拟「污染经 gossip 扩散」——留作扩展臂 E3（§六） |
-| D. 术数程序注入 | 备选（对照解释用） | 污染程序逻辑（如把判定阈值写错）同样产生 3/3 同错，但它测的是「程序缺陷」而非「观测缺陷」，只作对照解释，不作主实验 |
-
-### 3.3 注入器规格（最小实现）
-
-```text
-输入：swarm.json（既有格式，swarm_cli.py L13-16）
-注入器 = 配置预处理脚本（协议层，不改 swarm/ 源码）：
-  1) 读基础 config（实例表/术数源码/路由表）
-  2) 对实验组：向全部实例 symbols 追加伪观测键值对
-     如 {"传感器X读数": 99, "观测轮次": R}（真值 50；伪证据无 basis 字段）
-  3) 对照组：symbols 注入真观测 {"传感器X读数": 50, ...} 或不注入
-  4) 输出 inject_swarm.json → 交既有 python -m swarm.swarm_cli run 执行
-伪证据形态：与实例术数程序判定条件严格对齐（程序「若 传感器X读数 大于 80
-则 德 0.5」——伪值 99 必触发信任上升，真值 50 不触发）
-```
-
-**示例术数程序**（全部实例共用同一 pbc——BS-4 异构程序未实现，`docs/swarm/蜂群盲区标记_v1.0.md` L33-38，单字节码恰是「同构观测」的现成条件）：
-
-```text
-问曰：如何处理观测？
-答曰：读数超阈值则采信并提升信任。
-术曰：
-1。若 传感器X读数 大于 80，则 德 0.5；
-2。止。
-```
-
----
-
-## 四、共识判据：3/3 同错输入下的推演（基于代码现状）
-
-设 3 实例（初始 trust=0.1）共用上例程序，实验组注入伪读数 99、对照组真读数 50，运行 1 轮：
-
-### 4.1 逐字段推演
-
-| 报告字段 | 实验组（3/3 同错） | 对照组（3/3 正确） | 行号依据 |
-|---|---|---|---|
-| 各实例终态 trust | 0.6（0.1+0.5，德指令触发） | 0.1（不触发） | `vm.rs` L408-415, L929-940 |
-| T_avg | 0.6 | 0.1 | `swarm.rs` L1256 |
-| T_variance | 0（三值相等） | 0 | `swarm.rs` L1262-1266 |
-| **T_alignment** | **1.0（理论满分）** | **1.0（理论满分）** | `swarm.rs` L1267-1271 |
-| health.score | 1.0 满分（无 error 轮、在线满、integrity 恒 1） | 1.0 满分 | `health.rs` L51-84 + `swarm.rs` L1203-1207 |
-| recalc_mismatches | 0（verifier 同输入重放，确定性 VM 同终态） | 0 | `swarm.rs` L893-927 |
-| 修正信号 | 无（无 error、T_avg 上升不触发任何触发器） | 无 | `swarm.rs` L1024-1063 |
-| gossip_consistent | true（投递对账与内容无关） | true | `swarm.rs` L1272-1278 |
-
-### 4.2 推演结论（核心）
-
-1. **3/3 同错在现有聚合面上与 3/3 全对不可区分**：两组 T_alignment 均为 1.0、health 均满分、零修正信号。同错场景下系统输出的是「最高对齐+最健康」读数——T_alignment 把系统性误观测**奖励**为完美一致。
-2. **伪证据晋升结果**：当前系统无信任分级，晋升即「信任值本身上升」——伪证据使全群信任从 0.1 升至 0.6，且该上升在报告面呈现为健康状态。若存在下游消费方按 T_avg/T_alignment 做决策（如 `@trust` 路由传播），伪信任将带着 1.0 的对齐背书向外扩散（`swarm.rs` L964）。
-3. **多轮无自愈**：T_avg 连续 3 轮下降触发器（L1048-1057）只对「信任下降」敏感；同错升信任永不触发。error 触发器（L1030-1041）对「终态含 error 键」敏感；同错是成功终态，不触发。**全部四个反思触发器对系统性误观测均盲**。
-4. **唯一可能检出异见的机制也不在本平台**：N=4（3 同错+1 异见者）时，异见者终态 trust=0.1、同错者 0.6 → T_avg≈0.475、T_alignment≈0.901——异见者在现有语义下的效果是**拉低对齐度**：「说真话的少数派」表现为对齐破坏者，而非伪共识的暴露者。该反直觉读数本身就是实验的重要产出。
-
----
-
-## 五、退化判准：证据基底分离（CTP）与机制缺失清单
-
-### 5.1 应有行为（理论判准）
-
-CTP 判据：伪证据缺失可验证基底时，**不因多数派采信而晋升**。对应到灵枢四态语义（大脑端 judge 既有语义），蜂群层应有：
-
-| 检测结果 | 应触发行为 |
-|---|---|
-| 证据无 basis 字段 / basis 不可追溯 | 该断言**不参与信任晋升**（最多维持现值，只降不升）——对齐大脑端「拿不出证据的节点绝不写 verification_basis」（`md_cg/crosscheck.py` L11-14）纪律 |
-| 实例间结论一致但全体无 basis | 群级 **BLINDSPOT**：透出「共识无基底」修正信号，T_alignment 另行标注「无基底对齐」，不作为健康证据 |
-| 有 basis 且基底独立可验证（互验证） | 才允许晋升——对齐 T12 互验证语义：「VERDICT 由接收方用己方验证基底裁决（自验证不采信）」（`CommonTrustProtocol/docs/T12_M1两节点互联详细设计_v0.1.md` L26-33） |
-| 伪证据被基底否决 | 实例信任**降级**（反例击穿通路，`智能的公理化基石.md` L408），修正信号升级 P1（限制敏感操作）/P0（隔离退场，BS-6 预留面） |
-
-### 5.2 机制缺失清单（如实标注）
-
-| # | 缺失机制 | 现状证据 | 对应 §5.1 行为 |
-|---|---|---|---|
-| M1 | 证据基底字段：WAL 事件与实例终态无 basis 概念 | `swarm.rs` L1005-1023 行格式、终态仅 halt/stack/symbols/trust/condition_space（`vm.rs` L568-608） | 判准 1 |
-| M2 | 互验证裁决：verifier 是「同输入逐位复算」非「独立基底裁决」 | `swarm.rs` L809-815（replay envelope：verifier 用 primary 完整输入）、L893-927；同错必复算一致 | 判准 3 |
-| M3 | 反例→降级通路：修正信号无任何信任/路由后果 | `swarm.rs` L693-695 维生边界 + BS-6（盲区清单 L47-52） | 判准 4 |
-| M4 | 健康→信任回馈：health 单向透出，不参与聚合 | §2.3 末行 | 判准 1/4 的输入面 |
-| M5 | 同错检测统计量：T_alignment 对同错完全盲且为正奖励 | §4.2 结论 1 | 判准 2 |
-
-### 5.3 最小补丁面建议（本协议只建议，不改代码）
-
-| # | 补丁面 | 内容 | 侵入度 |
-|---|---|---|---|
-| P1 | 事件 schema 扩展 | WAL 事件行/终态增加可选 basis 字段（枚举复用大脑端 `nodefile.py` L58-64 八档）；缺省缺省不破坏既有验签（basis 不入签名串或版本化入签，需二选一裁决） | 低（增量字段） |
-| P2 | 聚合层基底覆盖门 | aggregate_report 新增无基底断言计数：无 basis 的信任上升不计入 T_avg 晋升（只降不升门）；报告透出 basis_coverage | 中（聚合逻辑） |
-| P3 | 互验证升级 | protocol 拓扑 verifier 改持独立观测通道（per-instance symbols 差异化，依赖 BS-4 异构程序/异构输入先行）→ 复算不一致才获得真实检出力 | 高（依赖 BS-4） |
-| P4 | 对齐度语义分离 | 报告区分「有基底对齐」与「无基底对齐」两个 T_alignment；新增异见存活率指标（少数派终态未被多数派吞没的比例） | 中（报告层） |
-| P5 | 修正信号分级 | 「共识无基底」触发 P2 信号；「基底否决的多数派断言」触发 P1（信任降级）——沿 BS-6 预留的 §3.16 介入面 | 中（沿既有信号通道） |
-
-**建议实施序**：P1→P2→P4 可独立落地且零破坏（缺省行为不变）；P3 依赖 BS-4；P5 留真实场景。实验协议（§六）在 P1/P2 落地前后各跑一轮，即可量化「基底覆盖门」的净效应。
-
----
-
-## 六、实验步骤（双组设计）
-
-### 6.1 构型矩阵
-
-| 臂 | N | 注入 | 目的 |
-|---|---|---|---|
-| C0 对照 | 3 | 真观测（读数 50） | 基线：全对场景全字段读数 |
-| E1 主实验 | 3 | 伪观测 99（3/3 同错） | 检验 §四推演：T_alignment=1.0 与 C0 不可区分 |
-| E2 异见 | 4 | 3 实例伪观测 99 + 1 实例真观测 50 | 检验异见者被现有语义标记为「对齐破坏者」（§4.2 结论 4） |
-| E3 扩散（可选） | 3 | 第 1 轮仅实例甲收伪观测，经路由/gossip 传播 | 测伪证据跨实例扩散后的对账面表现 |
-| V1 验证（补丁后复跑） | 3 | 同 E1 | P2 基底覆盖门生效后：无 basis 信任上升不被晋升 |
-
-### 6.2 轮次与执行
-
-- M=5 轮（足以观察多轮趋势触发器均不触发，§4.2 结论 3）；每臂独立 WAL/project 目录；确定性 VM 下每臂重复 3 次校验逐位一致（可重复性属性验证）。
-- 执行入口：`python -m swarm.swarm_cli run --config <臂配置> --out report.json`（`swarm_cli.py` L113）；配置经 §3.3 注入器预处理生成。
-- 双实现交叉核对：Rust 聚合报告 vs `aggregate_trust_python`/`aggregate_health_python`（`rust_swarm.py` L129-178），1e-6 容差（`rust_swarm.py` L62-63 口径契约）。
-
-### 6.3 指标表
-
-| 指标 | 来源字段 | C0 预期 | E1 预期（§四推演） | 判定意义 |
-|---|---|---|---|---|
-| T_alignment | report.trust | 1.0 | 1.0 | 两臂相等 = 同错不可区分（命题「系统无法识别共识≠真相」在现状下成立） |
-| T_avg | report.trust | 0.1 | 0.6 | 伪证据推动信任晋升的幅度 |
-| health.score（逐实例） | report.health | 1.0 | 1.0 | 同错实例满健康 = 健康面无检出力 |
-| recalc_mismatches | report.recalc | 0 | 0 | 复算通道对同构同错盲（M2 实证） |
-| 修正信号计数 | WAL type=修正信号 行数 | 0 | 0 | 反例通道未触发（M3 实证） |
-| 伪信任外溢 | 路由 @trust 载荷值 | 0.1 | 0.6 | 伪信任向外扩散量 |
-| E2 专属：异见者读数 | T_alignment / roles | — | ≈0.901（下降） | 少数派真话拉低对齐度的反直觉量化 |
-| V1 专属：晋升拦截 | T_avg | — | 0.1（不再升至 0.6） | 基底覆盖门净效应 |
-
-### 6.4 验收断言（协议级，可执行判定）
-
-1. E1 与 C0 的 trust 四元组中 T_alignment 逐位相等（<1e-6）→ 证实「现状不可区分」。
-2. E1 全部修正信号计数=0 且 health=1.0 → 证实「反例通道与健康面对同错盲」。
-3. E2 的 T_alignment < E1 的 T_alignment → 证实「异见者表现为对齐破坏者」。
-4. （V1，补丁批准后）E1 构型在 V1 下 T_avg 不高于 C0 → 证实「基底覆盖门拦截伪晋升」。
-5. 全臂 WAL 验签 all_valid=true（`rust_swarm.py` L88-126）→ 注入未破坏完整性面。
-
----
-
-## 七、边界声明
-
-1. **本文件是实验协议**：不含任何实现。注入器脚本、聚合补丁（P1-P5）、测试用例的编写均须使用者批准后另立任务。
-2. **平台形态边界**：实验结论的适用域是「确定性 VM 实例 + 自报信任 + 聚合透出」的蜂群形态；LLM agent 形态下的同错（模型共因幻觉）需经 harness 层接入（`swarm_cli.py` 统一入口），结论外推须另行论证。
-3. **理论引用边界**：CTP 文档行号引自仓外 `CommonTrustProtocol/docs/`（理论仓），其版本演进不受本仓控制；本仓内可信的理论落点为大脑端 `md_cg/nodefile.py` L58-64（verification_basis 八档）与 `md_cg/crosscheck.py` L11-14（无证据不写基底纪律）。
-4. **不做 git 操作、不改源文件**：本任务全部产出即本文件。
-5. **诚实预期**：§四推演若被实验证实（E1 与 C0 不可区分），结论是「现状不能识别同错」——这是机制缺口的实证而非系统缺陷的遮掩；修复面已在 §5.3 如实列出，是否实施由使用者裁决。
+# 蜂群同错检测实验协议 v0.1（CTP 核心命题「多数≠真」验证设计）
+
+> **性质**：实验协议设计文档，非实现。启动任何实现（注入器代码、聚合补丁、测试脚本）须使用者批准。
+> **任务来源**：外部评审要求验证 CTP（共同信任协议）核心命题——3 个 agent 同时犯同一种错误（系统性误观测）时，系统能否识别「共识不等于真相」。
+> **对象**：`swarm/`（蜂群多智能体，第五件套）信任聚合与证据面现状；理论参照 `CommonTrustProtocol/docs/`（仓外理论仓，只读引用）。
+> **取证基线**：本仓 main 分支当前工作区（2026-09-15）。行号以当日文件为准。
+
+---
+
+## 一、目的与理论命题
+
+CTP 理论主张：**共识 ≠ 真相**。多个协作者给出一致结论，不构成该结论正确的证据——只有外部可观测的验证基底（编译/测试/测量/形式化证明等独立裁决来源）才能约束输出（`CommonTrustProtocol/docs/theory/智能的认知过程.md` L233-263：「系统不能自己编故事说"我觉得对了"，它需要一个外部可观测的验证基底」；`智能的公理化基石.md` L408：「信任可以度量、可以更新、可以被否决（验证基底裁决后失效）」）。
+
+本协议设计一个最小故障注入实验：让 N 个实例**同时观测到同一份伪证据**（系统性误观测），检验蜂群现有信任聚合面在 3/3 同错输入下的行为，并给出「真伪判据=证据基底分离」的退化判准与机制缺口清单。
+
+**平台形态诚实边界**：蜂群实例是确定性 VM 子进程（术数程序，非 LLM agent）。「误观测」在本平台形态下 = 污染的输入（初始符号）或污染的程序逻辑，而非模型幻觉。注入器据此设计（§三）。
+
+---
+
+## 二、现状调研：蜂群信任与证据面
+
+### 2.1 信任的产生——自报制（核心事实）
+
+| 机制 | 位置 | 当前语义 |
+|---|---|---|
+| 信任值寄存器 | `swarm/rust_runtime/src/vm.rs` L21 | `信任值` 是 VM 内建符号（BUILTIN_TRUST_VALUE），程序内可读写 |
+| 程序内修改 | `vm.rs` L408-415 | `德(DE)` 指令直接修改 trust_value（加 delta）——信任升降由**实例自身程序逻辑**决定 |
+| 信任阈值路由 | `vm.rs` L24, L430 | 内建 `信任阈值` 缺省 0.7，程序可据 trust 值分支（仅实例内部决策用） |
+| 终态输出 | `vm.rs` L595-596 | 实例终态 JSON 携带 trust 字段（千分位舍入） |
+| 协调器信任提交 | `swarm/rust_runtime/src/swarm.rs` L929-940 | 实例终态 trust 字段**直接采信**为该实例信任值；仅做 0-1 夹取；error 终态无 trust 字段时沿用上一轮值（L930 注释：实例故障不推平信任曲线） |
+
+**关键结论**：信任是**自报值**。协调器不验证实例为何自报该值，不存在「证据→信任」的裁决链。实例程序写「德 +0.5」信任即升，写「德 -0.3」信任即降——升降的全部依据在实例自身代码里，协调器零否决权。
+
+### 2.2 信任聚合
+
+| 机制 | 位置 | 当前语义 |
+|---|---|---|
+| 聚合公式 | `swarm.rs` L1247-1271 | 从各实例最后终态收集 trust（夹取 0-1），计算 T_avg / T_min / T_variance / T_alignment |
+| T_alignment 定义 | `swarm.rs` L1267-1271 | T_alignment = 1 - T_variance / T_avg（avg>0 时）；Python 参照 `swarm/rust_swarm.py` L129-139（对齐 aeis.swarm.trust_aggregator.snapshot 操作化定义） |
+| 报告透出 | `swarm.rs` L1313-1318（report_json） | trust 四元组以 6 位小数进报告；`swarm/swarm_cli.py` L99 摘要透出 |
+
+**语义要点**：T_alignment 度量的是「实例间信任值的离散程度」，**不是**结论正确性。全部实例信任值一致（无论对错）时 T_variance=0 → T_alignment=1.0（理论最大值）。
+
+### 2.3 健康分（health）
+
+| 机制 | 位置 | 当前语义 |
+|---|---|---|
+| 四因子公式 | `swarm/rust_runtime/src/health.rs` L5-7, L51-84 | score = 0.4×成功率 + 0.2×在线率 + 0.2×(1-威胁率) + 0.2×integrity；integrity = 验签通过事件占比 × gossip 覆盖率 |
+| error 判定 | `swarm.rs` L879-884 | 终态含 error 键 = 该轮失败（威胁事件）；`serve.rs` L278-283 VM 执行异常产出 error 终态 |
+| integrity 数据通路 | `swarm.rs` L1203-1207 | 单机在线自签自验恒过、重放事件已过坏尾守卫 → verify_fail 恒 0（代码注释原文）；区分度在跨机场景启用 |
+| 与信任的关系 | 全文检索确认 | **无**。health 只进报告（`swarm.rs` L1322-1340），不回馈 trust 计算，不参与任何路由/晋升/降级决策 |
+
+### 2.4 反例 / 修正通道
+
+| 机制 | 位置 | 当前语义 |
+|---|---|---|
+| G-R3 复算修正信号 | `swarm.rs` L893-927 | protocol 拓扑下 verifier 子进程重放 primary 完整输入逐位复算；不一致时产出「修正信号」事件（level=1，P1），终态仍以 primary 为准（verifier 仅复核） |
+| G-R1 反思触发器 | `swarm.rs` L1024-1063 | 四触发：每 100 轮（L1027-1029）；error 终态连续 2 轮（L1030-1041）；T_avg 连续 3 轮下降（L1048-1057）；实例退场（L1059-1063）。命中产出「修正信号」事件（level=2，P2） |
+| 维生边界 | `swarm.rs` L693-695 | 修正信号**仅记录+透出（P2 观察级），不自动改路由**；P0/P1 介入留待真实重大分歧场景（盲区登记 BS-6，`docs/swarm/蜂群盲区标记_v1.0.md` L47-52） |
+
+**关键结论**：修正信号是当前唯一的反例通道，但它（a）由「复算不一致」或「信任值下降趋势」触发，而非由「证据被否决」触发；（b）触发后无任何信任/路由后果（纯观察级）。
+
+### 2.5 证据存储（WAL）
+
+| 机制 | 位置 | 当前语义 |
+|---|---|---|
+| WAL 事件行 | `swarm.rs` L1005-1023 | append-only events.jsonl，每行 HMAC-SHA256 签名（签名串 v0.7.1：seq/type/from/to/round/ts/payload，L373-382） |
+| 轮末快照 | `swarm.rs` L1100-1165 | 快照行存 trusts+states（条件空间 space_id 随快照持久，L1126-1130）；sync_all 提交点，恢复语义见 L436-528 |
+| 独立验签 | `swarm/rust_swarm.py` L88-126 | Python hashlib/hmac 交叉复核 Rust 手写 SHA256；快照行验签但不计入事件口径 |
+
+**语义要点**：WAL 存的是**事件流**（谁在何时给谁发了什么），不是**证据**。事件 payload 无来源标注、无验证基底字段、无真伪属性——WAL 能证明「某实例在某轮说了某话」（不可篡改），不能证明「某话为真」。
+
+### 2.6 promote/degrade 判据
+
+**不存在**。全仓检索确认：信任无分级体系（无晋升/降级阈值）、健康分不影响信任（§2.3）、修正信号不改信任（§2.4）。信任值的全部变化来源 = 实例程序自身的德指令 + 实例故障时沿用上轮。跨实例信任传播仅有一种形式：路由 payload 的 `@trust` 占位符（`swarm.rs` L964；`swarm/rust_swarm.py` L32）把源实例终态信任值作为消息内容发给目标实例——目标实例如何使用完全由其程序决定，协调器不做任何交叉校验。
+
+### 2.7 实例间对账面（现有的「一致」语义）
+
+| 机制 | 位置 | 当前语义 |
+|---|---|---|
+| gossip 对账 | `swarm.rs` L1272-1278 | 全部 gossip 目标实收水位相等 = gossip_consistent——**投递一致性**，非内容一致性 |
+| 复算对账 | `swarm.rs` L893-927 | verifier 与 primary **同输入同程序**（确定性 VM）→ 复算一致是结构性必然 |
+| 消息内容对账 | — | **无**。没有任何机制比较不同实例对同一观测的结论是否一致（更无真伪裁决） |
+
+---
+
+## 三、故障注入形态：最小可行注入器
+
+### 3.1 伪证据三属性（设计约束）
+
+| 属性 | 含义 | 本协议的实现判据 |
+|---|---|---|
+| 可构造 | 注入路径确定、零代码改动可达 | 经 swarm.json 初始符号注入（§3.2），一行配置完成 |
+| 可重复 | 确定性 VM 下同输入必同终态，N 轮可复现 | 同 config+同 WAL 重入逐位一致（既有 B1 幂等语义，`swarm.rs` L710-727） |
+| 可检测基底缺失 | 伪证据**在结构上**缺失可验证基底，而非靠真值对照才能识别 | 伪证据不携带 verification_basis 字段（对照：大脑端 `md_cg/nodefile.py` L58-64 已有八档枚举——蜂群端无对应物，这正是被测缺口） |
+
+### 3.2 注入点选择
+
+| 候选注入点 | 判定 | 理由 |
+|---|---|---|
+| **A. 初始符号注入（选定）** | 可行，零代码改动 | `make_swarm_config` 接受每实例 symbols（`swarm/rust_swarm.py` L27-47）；每轮完整环境注入实例（`swarm.rs` L584-603）——向全部实例 symbols 写入同一伪观测值即构成「系统性误观测」。这是平台形态下「所有 agent 观测到同一伪证据」的忠实映射：共享同一（被污染的）观测通道 |
+| B. WAL 直接注入 | 不可行（守卫正常拒绝） | 事件行须过 HMAC 验签（`swarm.rs` L468, L490），外部注入必被坏尾守卫截断——恰证明完整性面无缺口，不构成「系统性误观测」注入面 |
+| C. 路由 payload 注入 | 备选（第二轮变体） | 经 routes payload 携带伪观测跨实例传播（`swarm.rs` L962-1003），可模拟「污染经 gossip 扩散」——留作扩展臂 E3（§六） |
+| D. 术数程序注入 | 备选（对照解释用） | 污染程序逻辑（如把判定阈值写错）同样产生 3/3 同错，但它测的是「程序缺陷」而非「观测缺陷」，只作对照解释，不作主实验 |
+
+### 3.3 注入器规格（最小实现）
+
+```text
+输入：swarm.json（既有格式，swarm_cli.py L13-16）
+注入器 = 配置预处理脚本（协议层，不改 swarm/ 源码）：
+  1) 读基础 config（实例表/术数源码/路由表）
+  2) 对实验组：向全部实例 symbols 追加伪观测键值对
+     如 {"传感器X读数": 99, "观测轮次": R}（真值 50；伪证据无 basis 字段）
+  3) 对照组：symbols 注入真观测 {"传感器X读数": 50, ...} 或不注入
+  4) 输出 inject_swarm.json → 交既有 python -m swarm.swarm_cli run 执行
+伪证据形态：与实例术数程序判定条件严格对齐（程序「若 传感器X读数 大于 80
+则 德 0.5」——伪值 99 必触发信任上升，真值 50 不触发）
+```
+
+**示例术数程序**（全部实例共用同一 pbc——BS-4 异构程序未实现，`docs/swarm/蜂群盲区标记_v1.0.md` L33-38，单字节码恰是「同构观测」的现成条件）：
+
+```text
+问曰：如何处理观测？
+答曰：读数超阈值则采信并提升信任。
+术曰：
+1。若 传感器X读数 大于 80，则 德 0.5；
+2。止。
+```
+
+---
+
+## 四、共识判据：3/3 同错输入下的推演（基于代码现状）
+
+设 3 实例（初始 trust=0.1）共用上例程序，实验组注入伪读数 99、对照组真读数 50，运行 1 轮：
+
+### 4.1 逐字段推演
+
+| 报告字段 | 实验组（3/3 同错） | 对照组（3/3 正确） | 行号依据 |
+|---|---|---|---|
+| 各实例终态 trust | 0.6（0.1+0.5，德指令触发） | 0.1（不触发） | `vm.rs` L408-415, L929-940 |
+| T_avg | 0.6 | 0.1 | `swarm.rs` L1256 |
+| T_variance | 0（三值相等） | 0 | `swarm.rs` L1262-1266 |
+| **T_alignment** | **1.0（理论满分）** | **1.0（理论满分）** | `swarm.rs` L1267-1271 |
+| health.score | 1.0 满分（无 error 轮、在线满、integrity 恒 1） | 1.0 满分 | `health.rs` L51-84 + `swarm.rs` L1203-1207 |
+| recalc_mismatches | 0（verifier 同输入重放，确定性 VM 同终态） | 0 | `swarm.rs` L893-927 |
+| 修正信号 | 无（无 error、T_avg 上升不触发任何触发器） | 无 | `swarm.rs` L1024-1063 |
+| gossip_consistent | true（投递对账与内容无关） | true | `swarm.rs` L1272-1278 |
+
+### 4.2 推演结论（核心）
+
+1. **3/3 同错在现有聚合面上与 3/3 全对不可区分**：两组 T_alignment 均为 1.0、health 均满分、零修正信号。同错场景下系统输出的是「最高对齐+最健康」读数——T_alignment 把系统性误观测**奖励**为完美一致。
+2. **伪证据晋升结果**：当前系统无信任分级，晋升即「信任值本身上升」——伪证据使全群信任从 0.1 升至 0.6，且该上升在报告面呈现为健康状态。若存在下游消费方按 T_avg/T_alignment 做决策（如 `@trust` 路由传播），伪信任将带着 1.0 的对齐背书向外扩散（`swarm.rs` L964）。
+3. **多轮无自愈**：T_avg 连续 3 轮下降触发器（L1048-1057）只对「信任下降」敏感；同错升信任永不触发。error 触发器（L1030-1041）对「终态含 error 键」敏感；同错是成功终态，不触发。**全部四个反思触发器对系统性误观测均盲**。
+4. **唯一可能检出异见的机制也不在本平台**：N=4（3 同错+1 异见者）时，异见者终态 trust=0.1、同错者 0.6 → T_avg≈0.475、T_alignment≈0.901——异见者在现有语义下的效果是**拉低对齐度**：「说真话的少数派」表现为对齐破坏者，而非伪共识的暴露者。该反直觉读数本身就是实验的重要产出。
+
+---
+
+## 五、退化判准：证据基底分离（CTP）与机制缺失清单
+
+### 5.1 应有行为（理论判准）
+
+CTP 判据：伪证据缺失可验证基底时，**不因多数派采信而晋升**。对应到灵枢四态语义（大脑端 judge 既有语义），蜂群层应有：
+
+| 检测结果 | 应触发行为 |
+|---|---|
+| 证据无 basis 字段 / basis 不可追溯 | 该断言**不参与信任晋升**（最多维持现值，只降不升）——对齐大脑端「拿不出证据的节点绝不写 verification_basis」（`md_cg/crosscheck.py` L11-14）纪律 |
+| 实例间结论一致但全体无 basis | 群级 **BLINDSPOT**：透出「共识无基底」修正信号，T_alignment 另行标注「无基底对齐」，不作为健康证据 |
+| 有 basis 且基底独立可验证（互验证） | 才允许晋升——对齐 T12 互验证语义：「VERDICT 由接收方用己方验证基底裁决（自验证不采信）」（`CommonTrustProtocol/docs/T12_M1两节点互联详细设计_v0.1.md` L26-33） |
+| 伪证据被基底否决 | 实例信任**降级**（反例击穿通路，`智能的公理化基石.md` L408），修正信号升级 P1（限制敏感操作）/P0（隔离退场，BS-6 预留面） |
+
+### 5.2 机制缺失清单（如实标注）
+
+| # | 缺失机制 | 现状证据 | 对应 §5.1 行为 |
+|---|---|---|---|
+| M1 | 证据基底字段：WAL 事件与实例终态无 basis 概念 | `swarm.rs` L1005-1023 行格式、终态仅 halt/stack/symbols/trust/condition_space（`vm.rs` L568-608） | 判准 1 |
+| M2 | 互验证裁决：verifier 是「同输入逐位复算」非「独立基底裁决」 | `swarm.rs` L809-815（replay envelope：verifier 用 primary 完整输入）、L893-927；同错必复算一致 | 判准 3 |
+| M3 | 反例→降级通路：修正信号无任何信任/路由后果 | `swarm.rs` L693-695 维生边界 + BS-6（盲区清单 L47-52） | 判准 4 |
+| M4 | 健康→信任回馈：health 单向透出，不参与聚合 | §2.3 末行 | 判准 1/4 的输入面 |
+| M5 | 同错检测统计量：T_alignment 对同错完全盲且为正奖励 | §4.2 结论 1 | 判准 2 |
+
+### 5.3 最小补丁面建议（本协议只建议，不改代码）
+
+| # | 补丁面 | 内容 | 侵入度 |
+|---|---|---|---|
+| P1 | 事件 schema 扩展 | WAL 事件行/终态增加可选 basis 字段（枚举复用大脑端 `nodefile.py` L58-64 八档）；缺省缺省不破坏既有验签（basis 不入签名串或版本化入签，需二选一裁决） | 低（增量字段） |
+| P2 | 聚合层基底覆盖门 | aggregate_report 新增无基底断言计数：无 basis 的信任上升不计入 T_avg 晋升（只降不升门）；报告透出 basis_coverage | 中（聚合逻辑） |
+| P3 | 互验证升级 | protocol 拓扑 verifier 改持独立观测通道（per-instance symbols 差异化，依赖 BS-4 异构程序/异构输入先行）→ 复算不一致才获得真实检出力 | 高（依赖 BS-4） |
+| P4 | 对齐度语义分离 | 报告区分「有基底对齐」与「无基底对齐」两个 T_alignment；新增异见存活率指标（少数派终态未被多数派吞没的比例） | 中（报告层） |
+| P5 | 修正信号分级 | 「共识无基底」触发 P2 信号；「基底否决的多数派断言」触发 P1（信任降级）——沿 BS-6 预留的 §3.16 介入面 | 中（沿既有信号通道） |
+
+**建议实施序**：P1→P2→P4 可独立落地且零破坏（缺省行为不变）；P3 依赖 BS-4；P5 留真实场景。实验协议（§六）在 P1/P2 落地前后各跑一轮，即可量化「基底覆盖门」的净效应。
+
+---
+
+## 六、实验步骤（双组设计）
+
+### 6.1 构型矩阵
+
+| 臂 | N | 注入 | 目的 |
+|---|---|---|---|
+| C0 对照 | 3 | 真观测（读数 50） | 基线：全对场景全字段读数 |
+| E1 主实验 | 3 | 伪观测 99（3/3 同错） | 检验 §四推演：T_alignment=1.0 与 C0 不可区分 |
+| E2 异见 | 4 | 3 实例伪观测 99 + 1 实例真观测 50 | 检验异见者被现有语义标记为「对齐破坏者」（§4.2 结论 4） |
+| E3 扩散（可选） | 3 | 第 1 轮仅实例甲收伪观测，经路由/gossip 传播 | 测伪证据跨实例扩散后的对账面表现 |
+| V1 验证（补丁后复跑） | 3 | 同 E1 | P2 基底覆盖门生效后：无 basis 信任上升不被晋升 |
+
+### 6.2 轮次与执行
+
+- M=5 轮（足以观察多轮趋势触发器均不触发，§4.2 结论 3）；每臂独立 WAL/project 目录；确定性 VM 下每臂重复 3 次校验逐位一致（可重复性属性验证）。
+- 执行入口：`python -m swarm.swarm_cli run --config <臂配置> --out report.json`（`swarm_cli.py` L113）；配置经 §3.3 注入器预处理生成。
+- 双实现交叉核对：Rust 聚合报告 vs `aggregate_trust_python`/`aggregate_health_python`（`rust_swarm.py` L129-178），1e-6 容差（`rust_swarm.py` L62-63 口径契约）。
+
+### 6.3 指标表
+
+| 指标 | 来源字段 | C0 预期 | E1 预期（§四推演） | 判定意义 |
+|---|---|---|---|---|
+| T_alignment | report.trust | 1.0 | 1.0 | 两臂相等 = 同错不可区分（命题「系统无法识别共识≠真相」在现状下成立） |
+| T_avg | report.trust | 0.1 | 0.6 | 伪证据推动信任晋升的幅度 |
+| health.score（逐实例） | report.health | 1.0 | 1.0 | 同错实例满健康 = 健康面无检出力 |
+| recalc_mismatches | report.recalc | 0 | 0 | 复算通道对同构同错盲（M2 实证） |
+| 修正信号计数 | WAL type=修正信号 行数 | 0 | 0 | 反例通道未触发（M3 实证） |
+| 伪信任外溢 | 路由 @trust 载荷值 | 0.1 | 0.6 | 伪信任向外扩散量 |
+| E2 专属：异见者读数 | T_alignment / roles | — | ≈0.901（下降） | 少数派真话拉低对齐度的反直觉量化 |
+| V1 专属：晋升拦截 | T_avg | — | 0.1（不再升至 0.6） | 基底覆盖门净效应 |
+
+### 6.4 验收断言（协议级，可执行判定）
+
+1. E1 与 C0 的 trust 四元组中 T_alignment 逐位相等（<1e-6）→ 证实「现状不可区分」。
+2. E1 全部修正信号计数=0 且 health=1.0 → 证实「反例通道与健康面对同错盲」。
+3. E2 的 T_alignment < E1 的 T_alignment → 证实「异见者表现为对齐破坏者」。
+4. （V1，补丁批准后）E1 构型在 V1 下 T_avg 不高于 C0 → 证实「基底覆盖门拦截伪晋升」。
+5. 全臂 WAL 验签 all_valid=true（`rust_swarm.py` L88-126）→ 注入未破坏完整性面。
+
+---
+
+## 七、边界声明
+
+1. **本文件是实验协议**：不含任何实现。注入器脚本、聚合补丁（P1-P5）、测试用例的编写均须使用者批准后另立任务。
+2. **平台形态边界**：实验结论的适用域是「确定性 VM 实例 + 自报信任 + 聚合透出」的蜂群形态；LLM agent 形态下的同错（模型共因幻觉）需经 harness 层接入（`swarm_cli.py` 统一入口），结论外推须另行论证。
+3. **理论引用边界**：CTP 文档行号引自仓外 `CommonTrustProtocol/docs/`（理论仓），其版本演进不受本仓控制；本仓内可信的理论落点为大脑端 `md_cg/nodefile.py` L58-64（verification_basis 八档）与 `md_cg/crosscheck.py` L11-14（无证据不写基底纪律）。
+4. **不做 git 操作、不改源文件**：本任务全部产出即本文件。
+5. **诚实预期**：§四推演若被实验证实（E1 与 C0 不可区分），结论是「现状不能识别同错」——这是机制缺口的实证而非系统缺陷的遮掩；修复面已在 §5.3 如实列出，是否实施由使用者裁决。