@furongjun1999/dsh-memory 0.4.6 → 0.4.8

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

@@ -0,0 +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 如实列出，是否实施由使用者裁决。

package/docs/swarm//350/234/202/347/276/244/345/244/232/346/231/272/350/203/275/344/275/223_/344/275/277/347/224/250/346/212/245/345/221/212_20260913.md

@@ -0,0 +1,68 @@
+> **迁移注记（2026-09-13）**：本文件自 protocol-compiler 迁入灵枢大脑仓；蜂群子系统现为 `swarm/` 包（大脑核心内部能力）。
+
+# 蜂群多智能体 · 使用报告 20260913
+
+> 报告期：2026-09-12 ~ 2026-09-13（心跳持续推进，B3 裁定甲案）
+> 范围：`protocol-compiler` v0.6（RUST-SWARM-REV2）蜂群多智能体能力的全部交付与实测数据。
+> 所有数字均可复跑：测试命令与基准脚本逐条列于 §四。
+
+## 一、交付总账
+
+| 步骤 | 交付 | 验收 |
+|---|---|---|
+| B1 断点恢复 | WAL 轮末快照 + 启动重放 + 提交点回滚 + 坏尾截断 + 幂等聚合 | `test_rust_swarm_resume` 15/15 |
+| B2 并行超步 | thread::scope 轮内并行 + join 屏障 + 声明序确定性 | 基线 20/20 + 加速比基准 |
+| G3a 健康评分 | `health.rs` 四因子 + 报告 health 字段 + Python 参照双端一致 | `test_swarm_health` 10/10 |
+| G3b Gossip 对账 | `to="*"` 广播 + 水位记账 + gossip_consistent | `test_swarm_gossip`（含 17 项） |
+| G3c 对账闭环 | coverage 接入 integrity 因子 | gossip 扩展验收 |
+| G4a 拓扑 | 三型枚举 + 角色推导 + 报告透出 | `test_swarm_topology` 11/11 |
+| G4b 版本化信箱 | 全局单调 seq + 消费水位 + 恢复不断档 | `test_swarm_watermark` 11/11 |
+| G5 实例容错 | 断裂重建重跑（幂等）+ dead 退场 + 真杀双实例验收 | `test_swarm_fault` 9/9 |
+| C1 压测 | kill 协调器演练 + 规模扫描 + 吞吐基准 | `test_rust_swarm_kill` 11/11 + 两份基准 |
+
+**总账：七套回归（20+15+11+10+17+11+11=95）+ fault 验收（9）= 104 项全绿，clippy 零警告（验证前置：测试流程内先生成 program.pbc 嵌入产物，裸 clippy 因缺该产物无法独立复跑；2026-09-13 验收复跑确认）。**
+
+## 二、容错实测（真实故障注入）
+
+1. **强杀协调器**（`test_rust_swarm_kill`）：轮询锁定真实中途点（快照轮 K=76）强杀 → 重入同 WAL 续跑 → 终态/事件史/水位与无故障基线**逐项一致**，零重复事件。
+2. **强杀两个实例子进程**（`test_swarm_fault`）：运行中 taskkill 两个 `--serve` 实例 → 协调器同线程重建重跑 → 蜂群 rc=0 无感完成，六实例终态与基线逐项一致、对账通过、health 满分——**透明容错**（重试成功在报告中零痕迹）。
+3. 被杀实例的重建进程继续参与后续全部轮次，无进程泄漏（协调器死亡时实例因管道关闭自然退场）。
+
+## 三、性能数据（可复跑）
+
+| 指标 | 数值 | 产物 |
+|---|---|---|
+| 并行加速比 | **2.38×** @ 8 实例 4 轮（VM 计算轻，屏障开销主导；计算越重越趋近 8×） | `bench_swarm_parallel.py` |
+| 规模扩展 | N=1→64 实例每实例每轮摊薄 2.38→0.48 ms（**不升反降**，无调度瓶颈） | `bench_swarm_scale.py` |
+| 事件吞吐 | **12218 events/s** @ 16 实例 fan-out（含每轮快照落盘） | 同上 |
+| kill 恢复一致性 | 快照轮 K=76 强杀 → 续跑 global_seq 与水位 = 基线 | `test_rust_swarm_kill` |
+
+## 四、复现命令
+
+```bash
+cd <本仓根目录>   # dsh-memory
+# 七套功能回归（全绿口径）
+python swarm/tests/test_rust_swarm.py && python swarm/tests/test_rust_swarm_resume.py
+python swarm/tests/test_rust_swarm_kill.py && python swarm/tests/test_swarm_health.py
+python swarm/tests/test_swarm_gossip.py && python swarm/tests/test_swarm_topology.py
+python swarm/tests/test_swarm_watermark.py
+# 容错（运行中杀实例，约 10s）
+python swarm/tests/test_swarm_fault.py
+# 性能基准
+python swarm/tests/bench_swarm_parallel.py
+python swarm/tests/bench_swarm_scale.py
+```
+
+（Windows 环境，`PYTHONUTF8=1`；cargo release 构建自动触发。）
+
+## 五、已声明局限（如实边界）
+
+1. gossip 对账口径为**单机投递覆盖断言**；跨机网络故障域（真丢包/分区）留跨机版。
+2. health/watermark 在恢复场景为**在线窗口口径**（重放前轮次不重计）。
+3. dead 分支（重试仍败退场）已实现并有代码路径，但单机下确定性触发需在重建后的极窄时序窗内二次击杀，留长稳/跨机验证。
+4. 邻接表连接约束/分区复制未实现——单机全连语义下无路由意义，拓扑当前作用于角色推导。
+5. md_cg 向量第 5 路检索：评估后暂缓（ruflo HNSW 默认路径实为暴力余弦、收益窗口窄；升级条件 = md_cg 节点 >5 万且语义检索需求明确）。
+
+## 六、对照结论（为什么自研）
+
+A 阶段六份研读笔记（`agi-architectures/研读笔记/`）的横向结论：三个外部标杆的宣传层与代码层差距普遍很大——ruflo 的"共识"是 LLM 角色卡、HNSW 未接入默认路径、零信任三招牌在文档层。而本仓甲案路线交付的每个数字（水位、评分、对账）都能从 HMAC 事件流**复算**——这是与"LLM 评估"路线的本质区别，也是选择甲案的验证依据。

package/docs/swarm//350/234/202/347/276/244/345/244/232/346/231/272/350/203/275/344/275/223_/345/212/237/350/203/275/350/257/264/346/230/216_v0.6.md

@@ -0,0 +1,130 @@
+> **迁移注记（2026-09-13）**：本文件自 protocol-compiler 迁入灵枢大脑仓；蜂群子系统现为 `swarm/` 包（大脑核心内部能力）。
+
+# 蜂群多智能体 · 功能说明 v0.6
+
+> 对应 `swarm/rust_runtime/src/swarm.rs`（蜂群协调器）+ `swarm/rust_runtime/src/health.rs`（健康评分）+ `swarm/rust_swarm.py`（Python 封装）。
+> 荣 2026-09-12 启动「多智能体高并发」长期任务；B3 裁定甲案（自研传输层 Gossip + 评分自算，可复算路线）。底座不换，纯 std 零外部依赖。
+> 修订 v0.6.1（2026-09-13）：integrity 因子接通真实验签统计（不再硬编码）；§五上手示例重写为五步照抄可跑。
+
+## 一、架构总览
+
+```
+run_swarm(exe, cfg, rounds, wal_path)
+  ├─ WAL 重放（有快照→续跑；无快照→从轮 1；坏尾 HMAC 守卫截断）
+  ├─ 拓扑角色推导（derive_role）
+  ├─ 每轮（BSP 超步）：
+  │    compute：轮内实例并行（thread::scope，一实例一线程一管道）
+  │    apply  ：屏障后按声明序处理——信任提交/ACK/路由产出（确定性保持）
+  │    落盘   ：事件行 flush → 轮末快照行 sync_all（快照永不先于其写入落盘）
+  └─ 聚合报告：信任 T_avg/T_min/T_variance/T_alignment + health 四因子 + gossip 对账 + watermarks
+```
+
+实例 = `protocol_vm --serve` 子进程（进程隔离，stdio 管道）；**符号表不跨轮持久**，跨轮数据只能走消息（消息传递纯净性——无共享内存）。
+
+## 二、七项能力
+
+| 能力 | 入口/字段 | 语义 |
+|---|---|---|
+| 1. 断点恢复 | 自动（WAL 同路径重入） | 轮末快照 = 提交点；快照后未提交轮次整体回滚重跑；已完成 ≥ 目标 → 幂等聚合；坏尾（半行/篡改）HMAC 守卫截断 |
+| 2. 并行超步 | 自动 | 轮内实例并行执行，join 即屏障；事件序/WAL 序与串行版逐位一致 |
+| 3. 健康评分 | 报告 `health` | `score = 0.4×成功率 + 0.2×在线率 + 0.2×(1−威胁率) + 0.2×integrity`；integrity = 验签通过率 × gossip 覆盖率 |
+| 4. Gossip 广播 | `Route.to = "*"` | fan-out 至除源外全部实例；`gossip_consistent` = 全目标实收水位相等（对账） |
+| 5. 拓扑 | `Config.topology` | `hierarchical`（首实例 queen）/ `centralized`（coordinator）/ `mesh`（全 peer）；缺省保持用户 role |
+| 6. 版本化信箱 | 报告 `watermarks`/`global_seq` | 每条投递带全局单调 seq；ACK 携带消费水位（在 HMAC 签名串内）；恢复场景 seq 不断档 |
+| 7. 实例容错 | 自动 | 管道断裂 → 同线程重建进程重跑该轮（轮次号幂等）；重试仍败 → dead 退场（outcomes 记 None，蜂群继续） |
+
+## 三、配置（swarm.json）
+
+```json
+{
+  "algo": "rust_swarm-0.1",
+  "shared_secret": "共享密钥（HMAC-SHA256 签名）",
+  "rounds": 5,
+  "topology": "hierarchical",
+  "instances": [
+    {"id": "实例甲", "role": "记录", "trust": 0.1}
+  ],
+  "routes": [
+    {"from": "实例甲", "event_type": "信任同步", "to": "实例乙", "payload": "@trust", "level": 0}
+  ]
+}
+```
+
+- `payload` 中 `@trust` 占位运行时替换为源实例终态信任值
+- `to: "*"` = gossip 广播（除源外全部实例）
+- 生成：`make_swarm_config(instances, routes, rounds, shared_secret, topology="")`
+
+## 四、报告字段（report_json）
+
+| 字段 | 内容 |
+|---|---|
+| `rounds` / `instances` / `events` / `acks` | 规模计数 |
+| `trust` | `T_avg` / `T_min` / `T_variance` / `T_alignment`（0-1 夹取，error 终态沿用上轮） |
+| `final_states` | 每实例最后轮终态（含 `trust` 与 `symbols`） |
+| `health` | 每实例 `{score, success_rate, uptime_rate, threat_rate, integrity_rate}` |
+| `gossip` / `gossip_consistent` | gossip 水位表与对账结果 |
+| `watermarks` / `global_seq` | 实例消费水位与全局消息 seq |
+| `topology` / `roles` | 生效拓扑与角色表 |
+
+WAL（events.jsonl）行格式：`{"ts","from","to","type","round","level","hmac","payload"}`，其中 `type="__snapshot__"` 为轮末快照行。验签：`verify_wal_signatures(wal, secret)`（快照行验签但不计入事件数）。
+
+## 五、Python API（swarm/rust_swarm.py）
+
+最小可运行五步（与 `tests/test_swarm_health.py` 同构，照抄即可跑）：
+
+```python
+from swarm.rust_codegen import generate_rust_project
+from swarm.rust_swarm import (make_swarm_config, run_swarm,
+                              verify_wal_signatures)
+
+SOURCE = """问曰：如何验证信任？
+答曰：信任值大于0.7。
+术曰：
+1。道 新信任路径；
+2。德 0.3；
+3。若 信任值 大于 0.2，则 德 0.5；
+4。止。
+"""
+
+gen = generate_rust_project(SOURCE, "proj")      # ① 生成 Rust 项目（proj 目录由本步创建）
+cfg = make_swarm_config(                          # ② 蜂群配置（rounds 在此声明）
+    instances=[{"id": "实例甲", "role": "记录", "trust": 0.1},
+               {"id": "实例乙", "role": "验证", "trust": 0.2}],
+    routes=[{"from": "实例甲", "event_type": "信任同步", "to": "实例乙",
+             "payload": "@trust", "level": 0}],
+    rounds=3, shared_secret="密钥", topology="hierarchical")
+rr = run_swarm("proj", cfg, wal_path="events.jsonl")  # ③ 运行：rr["ok"]/["report"]/["wal"]
+v = verify_wal_signatures(rr["wal"], "密钥")          # ④ WAL 验签：v["all_valid"] / v["total"]
+# ⑤ 增量重跑：同 config + 同 wal_path 重入即自动续跑（应用层无需感知）
+```
+
+`run_swarm` 完整签名：`run_swarm(project_dir, config, wal_path="events.jsonl",
+timeout=120, pbc_path=None, exe=None)`——`project_dir` 必须是 ① 的产物目录；
+`exe`/`pbc_path` 仅独立形态（`cargo build --release --no-default-features`）需要，
+生成项目形态（默认 `embed`）两者均可省略。另有两个 Python 参照实现可供对照：
+`aggregate_trust_python`（信任聚合）、`aggregate_health_python`（健康四因子）。
+
+### 命令行面（v0.6.1 插件化内核 · swarm/swarm_cli.py）
+
+为各类 harness 提供统一入口——Bash 即可调用，stdout 恒为**单行 JSON**（机器面），
+过程细节走 stderr：
+
+```bash
+python -m swarm.swarm_cli run --config swarm.json --out report.json   # 执行（重入=续跑/幂等聚合）
+python -m swarm.swarm_cli verify --wal swarm_proj/events.jsonl --secret 密钥
+```
+
+`swarm.json`：`{"source": "术数源码或 @file 引用", "instances": [...],
+"routes": [...], "rounds": 3, "shared_secret": "...", "topology": "..."}`。
+安全模型：实例 = 确定性 VM 子进程（纯 std 无网络/无文件 I/O）、HMAC 全事件
+签名 + `verify` 用 Python hashlib 独立复核、同 project+wal 重入断点续跑。
+
+## 六、验收与基准
+
+- 八套回归 107 项全绿 + Rust lib 单测 4 项 + clippy 零警告（明细见《使用报告 20260913》）
+- 基准可复跑：`tests/bench_swarm_parallel.py`（加速比）、`tests/bench_swarm_scale.py`（规模/吞吐）
+
+## 七、许可与边界
+
+- 本模块为零依赖自研（D-005），外部仓（langgraph/ruflo 等）仅对照研读，无代码复制
+- 已声明局限见《使用报告 20260913》§五

package/docs/swarm//350/234/202/347/276/244/347/233/262/345/214/272/346/240/207/350/256/260_v1.0.md

@@ -0,0 +1,89 @@
+> **迁移注记（2026-09-13）**：本文件自 protocol-compiler 迁入灵枢大脑仓；蜂群子系统现为 `swarm/` 包（大脑核心内部能力）。
+
+# 蜂群多智能体 · 结构性盲区标记 v1.0（R4 · 2026-09-13）
+
+> 制度来源：智能论 v3.4 附录6（盲区标记先例，95 项）——协议承认结构性盲区无法被自身解决，
+> 但将持续标记和关注。本文件是蜂群多智能体架构（RUST-SWARM-REV2，v0.6-v0.7）的工程盲区登记。
+> 规则：每个设计判定单必须携带盲区声明；新盲区连续编号；状态变更须记录。
+
+## 盲区清单
+
+### BS-1：跨机网络故障域未验证
+
+**状态**：新增（2026-09-13），待跨机部署验证
+**描述**：gossip 对账（`gossip_consistent`）口径为单机投递覆盖断言——单机管道投递失败直接 Err，
+不存在静默丢消息。跨机部署引入网络分区/丢包/延迟后，水位对账才面对真实故障域，
+当前的对账逻辑与 watermarks/gossip 水位的恢复口径（在线窗口）均未经跨机检验。
+**处理方式**：跨机 federation（Peer 三 trait 抽象，A5 笔记）实施时重演全部容错验收。
+
+### BS-2：dead 分支的确定性触发缺失
+
+**状态**：已实现，端到端触发留长稳/跨机
+**描述**：实例重试仍失败的 dead 退场路径已实现（outcomes 记 None、uptime 降、蜂群继续），
+但单机下确定性触发需在重建后的极窄时序窗内二次击杀同一实例，测试不可稳定构造。
+**处理方式**：长稳测试（随机 kill 注入）或跨机网络故障场景自然覆盖。
+
+### BS-3：health/watermark 的恢复场景在线窗口口径
+
+**状态**：设计决策（诚实口径），非缺陷
+**描述**：恢复续跑后，health 四因子与 watermarks 仅统计本次会话执行的轮次（在线窗口），
+重放前轮次不重计。幂等聚合路径 health 为空对象。
+**处理方式**：如需跨会话累计口径，需将轮次终态序列持久化进快照（当前快照仅存末轮终态）。
+
+### BS-4：异构程序实例未实现
+
+**状态**：新增（2026-09-13），特性候选
+**描述**：当前 `run_swarm` 全部实例共享同一 program.pbc（单字节码路径），实例仅 id/初始符号不同。
+「不同实例执行不同术数」需要 per-instance pbc 路径——是多程序蜂群/职能异质实例的前提。
+**处理方式**：SwarmConfig.instance_programs 扩展（向后兼容：缺省共用）。
+
+### BS-5：编译器常量折叠绕过运行时除零
+
+**状态**：已确认（2026-09-13）
+**描述**：`德 1/0` 在解析层被常量折叠（编译产物为 DE 1.0），运行时 DIV 除零错误无法通过
+字面量构造。error 终态场景测试改用恒真死循环（步数超限）。
+**处理方式**：如需运行时除零语义，编译器需禁用字面量除法折叠或显式保留 DIV 指令。
+
+### BS-6：修正信号的 P0/P1 级维生介入未实现
+
+**状态**：已实现 P2（观察级），P0/P1 留真实场景
+**描述**：修正信号当前仅记录+透出（维生边界=被动安全服务端，荣 2026-09-13 裁定）。
+P1（限制敏感操作）/P0（冻结/回滚/隔离）对真实重大分歧的介入动作未实现。
+**处理方式**：出现真实重大分歧场景（跨机复算不一致/信任崩溃）时按 §3.16 实现。
+
+### BS-7：条件空间运行时切换未实现
+
+**状态**：新增（2026-09-13），声明+持久化已实现
+**描述**：条件空间卡当前为启动声明+快照持久化；运行中按 D_norm/P_trust 阈值触发切换
+（§3.1.2 流程：触发→声明→验证复核→执行→D_norm 确认→日志）未实现。
+**处理方式**：切换机制依赖 per-instance 状态与 D_norm 实时计算，随 BS-4/BS-1 一并演进。
+
+### BS-8：ruflo HNSW 性能自述未独立复测
+
+**状态**：降级（引用 A4 取证）
+**描述**：ruflo 自述 HNSW 加速倍率（N=5k 3.2-4.7×、N=20k 1.9×）与其自身默认路径
+（暴力余弦，issue #2922）矛盾，且倍率随 N 递减反常。原 C2 复测项降级为引用 A4 结论。
+**处理方式**：若未来接入向量检索（md_cg >5 万节点且语义需求明确），实施时独立复测。
+
+### BS-9：轮次屏障的通信瓶颈（智能论盲区60 的工程对应）
+
+**状态**：结构固有（BSP 模型性质）
+**描述**：轮间屏障使通信与快照落盘成为固定开销——VM 计算轻（~2ms/轮）时屏障主导延迟，
+加速比低于理论值（实测 2.38×@8 实例 vs 理论 8×）。
+**处理方式**：计算加重时自然趋近理论值；如需消除屏障等待，需引入流水线轮次（架构扩展）。
+
+### BS-10：CodeBuddy 并行工作的合并协调
+
+**状态**：新增（2026-09-13），持续观察
+**描述**：多 harness（ZCode/CodeBuddy）并行修改同一仓库时存在字段/构造的合并协调成本
+（实例：SwarmReport.condition_space 字段由 CodeBuddy 并行添加，ZCode 侧补构造共存）。
+**处理方式**：工作区提交前互相知会；字段级冲突以测试全绿为准入。
+
+## 状态图例
+
+| 状态 | 含义 |
+|---|---|
+| 新增 | 已登记，待观察/处理 |
+| 已实现，待触发 | 代码就位，端到端场景留后续 |
+| 设计决策 | 有意的诚实口径，非缺陷 |
+| 降级/已关闭 | 有替代方案或引用依据 |