@furongjun1999/dsh-memory 0.4.7 → 0.4.8

package/docs/theory//345/271/266/345/217/221/345/277/205/347/204/266/346/200/247/347/220/206/350/256/272_v0.2.md

@@ -0,0 +1,134 @@
+# 并发必然性理论：收敛带宽刚性定理 v0.2
+
+> **版本**：v0.2 ｜ 2026-09-15 ｜ 状态：条件论地基重构稿（蜂巢并发验证未执行，见 §7）
+> **体系定位**：三份核心文档之**理论层**——《并发必然性理论》（本文）→《认知代理与收敛结构》（架构层）→《子代理配置标准》（工程层）。三份体系由使用者裁定收敛（2026-09-15）；其余理论文档（单线程与注意力 v1.0、GridWorld 规格、概念分层对齐表、蜂群同错检测协议）为补充资料。
+> **v0.2 变更**：依据使用者裁定，**地基从神经科学事实（v0.1 的 F1/F2）迁移到条件论与信息差**（真源=《白箱智能是什么？》系列四篇，下文以 ①②③④ 加节号引用）。定理 T 的形式化与工程面保留并重述；推论 T2 按「任务分解前提删除」修正；神经科学内容降为附录 A，不承担论证重量。
+> **架构层承接**：公设的完整展开、认知代理定义、收敛结构见《认知代理与收敛结构_条件论重构_v0.1.md》（下称「架构层文档」）；本文不重复其内容，只立理论判据。
+
+---
+
+## 0 核心主张（一页版）
+
+**定理 T（收敛带宽刚性，条件论重述）**：认知系统的扩展只能发生在展开侧。单收敛位的调用带宽存在刚性上界（④快照三问之三：未被调用的信息等于这次不存在），而展开侧（条件投影）近乎无限可扩；当任务的信息流宽度超过单收敛位的调用带宽时，把整任务压入单一收敛位会使信息差按 R>C 推论扩大（④二），收敛粒度下沉是把**容量瓶颈转换为协调成本**的结构响应。
+
+- **推论 T1（串行=收敛粒度选择）**：串行不是执行的本性，是收敛粒度的选择——把整个任务当作单个收敛事件（E-单线程）。
+- **推论 T2（投影收敛开放，修正 v0.1 的「并发默认」）**：任何认知任务默认允许多条件投影独立收敛（公设 P2——「可分」不依赖「可分解」）；**串行是需要给出理由的例外**。但允许 ≠ 必优：投影间盲区同构时多代理退化为重复计算（架构层文档 CA-T2'），串行正当场景见 T3。
+- **推论 T3（串行正当性条件）**：仅当子任务链存在严格数据依赖（后者需要前者的产出才能开始）时，该链内串行是唯一形态；完整正当场景四分类（基座/约束/成本/耦合串行）见架构层文档 §5.1（承接补充资料《单线程与注意力集中 v1.0》§3.2）。
+- **推论 T4（并发不豁免收敛）**：并发扩的是展开侧；每路产出仍需收敛位裁决，裁决责任不随 worker 数量分散（工程投影：蜂巢「agent 本体只做编排」）。
+
+**一句话**：收敛带宽刚性决定了扩展方向只能朝展开侧；但「展开侧」的单位是**条件投影**，不是「任务切块」——v0.1 的「可分解任务」前提在条件论下被删除。
+
+---
+
+## 1 证据基座（条件论三公设）
+
+| # | 公设 | 内容 | 真源锚点 |
+|---|---|---|---|
+| P1 | 任务原子性 | 认知任务本身原子；非原子展开发生在实现层，不构成任务分解 | 架构层文档公设 P1（建模公设） |
+| P2 | 条件投影可分性 | 同一任务可在多个相互区分的条件空间上建立独立投影（D=D(C)：不同投影携带不同信息可得性） | ①一、③二；架构层公设 P2 |
+| P3 | 收敛带宽有限性 | 单次认知的收敛带宽受调用带宽约束；多投影提高有效观测容量，不消除信息差 | ④三之「调用带宽」、④二 R>C；架构层公设 P3 |
+
+**关键设计**：定理 T 只依赖 P2+P3（P1 用于封「子代理=任务切块」误读）。本文不需要：神经科学事实、任何意识理论、注意力机制假设——后者全部降为附录 A 启发。
+
+---
+
+## 2 单线程的白箱精确化（E-义）
+
+「单线程」三义（S-主观报告 / E-收敛形态 / C-工程约束）的完整展开与防滑移边界见补充资料《单线程与注意力集中 v1.0》§1；本文只在 **E-义**上刻画：
+
+- **E-单线程** = 收敛粒度设为「整任务」的理想型——全部展开隐藏在收敛位视角外，收敛只在根节点发生一次；
+- **多收敛** = 收敛粒度下沉到投影层——各条件投影各自收敛，产出到达收敛位时已是裁决单位（带四态资格）。
+
+收敛粒度（G_c）与收敛带宽（B_c）是两个独立参数：粒度改变收敛事件的**位置**，带宽约束收敛事件的**容量**；互推须显式给出资源账本。
+
+**2.4 工程含义（条件式，替代 v0.1 的全称表述）**：当任务信息流宽度超过单收敛位调用带宽时，整任务串行黑盒=把宽展开面压入窄调用口——此时 agent 不默认承担整任务串行义务（CA-T3 判据见 §4）。前提不满足时，串行由该前提正当化，是权衡结果而非倒置。
+
+---
+
+## 3 理论 → 灵枢实现对照表
+
+（v0.1 的「人脑↔灵枢」两列同构表随地基迁移降级至附录 A；本表只保留纯工程面对应，不依赖任何神经科学内容。）
+
+| 理论概念 | 灵枢实现 | 对应关系 |
+|---|---|---|
+| 条件投影多路展开 | 四路并行召回（lexical/bucket/entity/graph RRF 融合） | 结构对应 |
+| 资格由条件证据裁决，不由相似度裁决 | judge 资格裁决 / 条件路由收敛 | 结构对应 |
+| 展开侧扩容（\|E\| 增大） | 蜂巢 worker 池（spec/result 文件协议） | 结构对应 |
+| 收敛位唯一、责任不分散（T4） | agent 编排位 / 认知图写入广播 | 结构对应 |
+| 预测误差→条件更新 | predict 误差驱动学习闭环 | 机制对应 |
+
+---
+
+## 4 定理 T 的形式化
+
+设系统由两部分组成：
+- **展开集 E**：可复制、可扩容的收敛单位集合（条件投影代理；蜂巢 worker）；
+- **收敛位 C**：对多路产出做更高阶收敛（裁决/融合）的单元，其单次可调用信息量受调用带宽约束 B_c（④快照三问之三）。
+
+**命题 1（收敛瓶颈）**：若所有收敛动作都在根节点串行发生，总墙钟时间 ≥ 全部子任务数 × 单次收敛耗时；且当信息流宽度 W > B_c 时，单收敛位无法取用全部展开面，信息差按 R>C 扩大（④二）——瓶颈不仅在时间，更在信息。
+
+**命题 2（粒度下沉）**：若各条件投影相互独立，收敛动作可下沉至各投影并行发生，根节点只做一次更高阶收敛。总墙钟时间从 Σ（各路收敛时间）降为 max（各投影收敛时间）+ 一次融合成本。
+
+**定理 T**：当任务的信息流宽度超过单收敛位调用带宽（W > B_c）时，把收敛粒度从根下沉到投影层，在信息面上是结构响应而非偏好；且展开侧扩容（|E| 增大）可继续压缩 max 项，而收敛侧扩容不存在——调用带宽是单点观测的结构属性（④快照三问：任何单点观测都是窄的），不可靠复制消除。
+
+**证明要点**：命题 1 由 P3（调用带宽刚性）给出信息面约束、由串行聚合给出时间面约束；命题 2 由投影独立性（P2 的建立条件）给出；合取即得。∎
+
+**适用域**：W ≤ B_c 或存在 T3 串行契约时，本文不作下沉判断——粒度选择是逐任务的成本-收益权衡（架构层文档 CA4；补充资料单线程 v1.0 §3.3）。
+
+---
+
+## 5 工程落地（纪律第 17 条的理论位置）
+
+| 纪律动作 | 理论对应 |
+|---|---|
+| 任务→拆 spec | 收敛粒度下沉（命题 2）；**200k 上下文预算=拆解信号**（W > B_c 的工程判据，见《子代理配置标准 v0.4》§6） |
+| spec 独立性检查 | 条件投影实质区分判定（架构层 CA-T1：四维任一不同且影响信息可得性） |
+| `hive_spawn` 并发提交 | 展开侧扩容（\|E\| 增大） |
+| agent 收 result 汇总裁决 | 收敛位唯一、责任不分散（T4） |
+| 宿主自带 subagent 不是等价通道 | 展开动作必须经统一文件协议留痕（spec/status/result），否则收敛位失去裁决材料 |
+
+---
+
+## 6 边界声明（防外溢）
+
+- **CA1 体系**：本文边界编号沿用架构层文档 CA1-CA6（架构/功能层陈述、建模公设不越界、认知结构并行、非排他、带宽=调用带宽表述、元条款），不另立体系。
+- **B4 并发不豁免收敛**（=T4）：多路产出使收敛位的裁决责任更重，裁决材料必须结构化（文件协议、留痕）。
+- **B6 数字诚实**：本文不使用任何数值锚点（4±1 等已随神经科学地基降级）；「W > B_c」是关系判据，W 与 B_c 均不承诺数值测量——工程代理量见《子代理配置标准》§6。
+- **诚实边界**：本文定理是架构层结构判据，不构成「并发总优于串行」的规范断言（CA4）。
+
+---
+
+## 7 验证状态（诚实标注）
+
+| 项 | 状态 |
+|---|---|
+| v0.1 计划的「蜂巢 4 视角并发反思验证」（逻辑攻击/科学锚点/边界攻击/自洽性） | **未执行**（v0.1 §7 为待回填空节） |
+| v0.2 地基替换后的重新验证 | **待执行**：按架构层文档 §7 实验纲领（七测度）设计；测度 2 承接 GridWorld 规格、测度 4 承接蜂群同错检测协议 |
+| 相关审查留痕 | 《单线程与注意力集中 v1.0》五单元审查（反思×2+验证×3，三 REJECT→重写）结论以其 §6 留痕表为准（job id 可回放）；审查中间件产物（单元原始产出文件）已按《子代理配置标准》§5.4 产出物生命周期在系统整合后清理 |
+
+---
+
+## 8 关联文档与节点
+
+**三份核心体系**：
+- 架构层：《认知代理与收敛结构_条件论重构_v0.1.md》（公设展开/代理定义/收敛结构/实验纲领）
+- 工程层：《子代理配置标准_v0.4.md》（统一执行默认/确定性执行/spec 配置/上下文预算/工具面/理论对应节）
+
+**补充资料**（参考源，不再承担正式理论职责）：
+- 《单线程与注意力集中_无争议理论文档_v1.0.md》（S/E/C 三义、三类串行、串行正当场景、争议封口方法）
+- 《GridWorld最小闭环规格_v0.1.md》（实验设施：闭环机制验证）
+- 《概念分层对齐表_v0.1.md》（五层置信概念：融合位裁决纪律的概念映射）
+- 《蜂群同错检测实验协议_v0.1.md》（实验协议：共识≠真相验证）
+
+**真源**：白箱智能四篇（①②③④）；认知图节点 `mem_1789454083769`（树状递归/条件裁决/误差驱动/调用带宽）、`mem_1789374897301`（hive 落地与文件协议）、`mem_1789454597670`（收敛带宽定理首提）。
+
+---
+
+## 附录 A 神经科学启发（v0.1 证据基座的降级存档）
+
+> **状态**：依使用者裁定（2026-09-15）降为启发引用，不承担本文任何论证重量；保留于此仅为溯源。
+
+- **F1 大规模并行**：人脑约 860 亿神经元持续并行活动；感觉通道各自独立并行处理（Herculano-Houzel & Azevedo 等，2009）。
+- **F2 收敛带宽有限**：工作记忆项目数约 4±1（Cowan, 2001）；多对象视觉追踪上限约 4-5（Pylyshyn & Storm, 1988）。注意：工作记忆组块容量与多对象追踪容量不是同一构念（单线程 v1.0 B7）。
+- **F3 工程同构**（保留为工程事实，非神经科学）：一个会话绑定一个收敛主体；执行位（worker）可任意扩容（灵枢蜂巢 `HIVE_WORKERS` 可调）。
+- **解释性对照**（仅启发）：全局工作空间理论、预测加工框架——v0.1 §3 同构表的「人脑」列随地基迁移移除，对照关系见该表存档（git 历史 v0.1）。

package/docs/theory//346/246/202/345/277/265/345/210/206/345/261/202/345/257/271/351/275/220/350/241/250_v0.1.md

@@ -0,0 +1,145 @@
+# 概念分层对齐表 v0.1
+
+> **定位**：外部评审（GPT）指出系统置信类概念在增殖——condition / evidence / trust / confidence / qualification / prediction confidence / source trust / execution confidence / consensus confidence——若不加约束会退化为 heuristic framework。本文档将既有置信面**严格对齐到五层**：Source Trust（来源信任）→ Evidence Quality（证据质量）→ Claim Confidence（断言置信）→ Execution Confidence（执行置信）→ Consensus Confidence（共识置信），盘点每层的代码落点、量纲与重叠冲突，作为后续概念收敛的共同参照。
+>
+> **边界（先读）**：本表是**文档层对齐**，不裁决任何工程面合并——凡涉及行为变更（改默认值、改排序、改判定序）一律另案，经验证单元与使用者终裁后才可落地。行号对齐 2026-09-15 工作区 HEAD；行号必腐化，以符号名为准绳。
+>
+> **理论锚点**：CTP 仓（仓外私有理论仓 `CommonTrustProtocol`）`智能论3.4.md`（下称「理论」）。
+
+---
+
+## 1 五层定义与判定标准
+
+| 层 | 名称 | 一句话定义 | 判定问句 | CTP 理论锚点 |
+|---|---|---|---|---|
+| L1 | Source Trust 来源信任 | **谁**——来源（实例/写入者/通道）本身的历史行为可信度 | 这个来源过去的行为记录如何？ | 信任值=信噪比映射（理论 L4376）；T_total 第一性分量 P_trust（理论 L1678-1694）；compiler「德」寄存器=trust_value 名实一处 |
+| L2 | Evidence Quality 证据质量 | **凭什么**——支撑断言的外部验证基底有多硬 | 断言背后是什么类型的验证？ | 理论无独立证据层；「验证单元独立复核」（理论 L4654）为最近对应；工程侧 verification_basis 两档口径为自建分级 |
+| L3 | Claim Confidence 断言置信 | **这条断言**本身多可信、当前是否适用 | 这条记忆该不该用/有多可靠？ | 「概率负责可信度，条件负责资格」二分（理论 L1170）——资格（条件）与置信（概率）分离的理论根据 |
+| L4 | Execution Confidence 执行置信 | **做事的预测**——某通道/路线继续做某事会成功的概率 | 这么做能成吗？ | 通道可信度 2.9.1a：「置信度=单次判断内部一致性；可信度=通道历史验证命中率」（理论 L1743-1746）；T_pred 为辅助分量（理论 L1520-1525） |
+| L5 | Consensus Confidence 共识置信 | **多方是否一致**——多个独立来源对同一对象的一致程度 | 大家都同意吗？ | P_gap 宏观信息差（理论 L1737-1741）；蜂群阶段4触发 T_avg≥0.75 持续30天（理论 L2834） |
+
+**归层判定问句**（给后续新增指标用）：先问「这个数回答的是谁/凭什么/该不该/能不能成/同不同意」中的哪一个，再入层；一个数同时回答多个问句的，标记为跨层混合点并在 §4 注记。
+
+---
+
+## 2 对齐总表
+
+量纲记法：`[0,1]` 连续概率型；`名义` 分类枚举型；`{a,b,c}` 离散值域；`无界` 非概率实数。
+
+### L1 Source Trust（来源信任）
+
+| 指标名 | 代码位置 | 当前语义 | 量纲 | 重叠/冲突注记 |
+|---|---|---|---|---|
+| 实例信任初值 `trust` | `swarm/rust_swarm.py:40`（make_swarm_config） | 实例注册时声明的行为信任初值，随 gossip `@trust` payload 在蜂群传播更新 | [0,1] 配置值 | 与 compiler「德」寄存器同源：德=trust_value 名实一处（compiler/SEMANTICS.md；`swarm/tests/test_rust_swarm_resume.py:48-50` 德 0.3 字面驱动） |
+| 信任聚合 T_avg/T_min/T_variance | `swarm/rust_swarm.py:129-139`（aggregate_trust_python）；Rust 对照 `swarm/rust_runtime/src/swarm.rs:6` | 蜂群实例信任分布的四个聚合量（均值/最小/方差） | [0,1] | Rust/Python 双实现已对齐；T_min 是蜂群短板度量，勿与均值混用 |
+| T_alignment 蜂群对齐度 | `swarm/rust_swarm.py:138` | `1 − T_variance/T_avg`：信任分布一致程度 | [0,1]（0 除护） | **兼有 L5 语义**（分布一致性≈弱共识），是 L5 真空缺的最近替身（见 §5） |
+| 「德」寄存器 | `compiler/SEMANTICS.md`（语义契约真源，德↔信任值名实一处存储） | 编译语言内建名，实例行为信任的载体 | [0,1] 字面 | 命名跨仓：CTP 理论叫「信任值」、swarm 叫 trust、编译语言叫「德」——三名一物，收敛时统一术语 |
+| 跨节点证据包验签 | `md_cg/evidence.py:7-21,44-48` | 他证（来源节点对主体的观测）携带签名，验签通过才入库；可拒收、禁转手 | 0/1（通过/拒收） | `evidence.py:20-21` 自声明诚实边界：验证「证据来自该节点」≠「证据为真」——L1（来源可溯）与 L2/L3（内容真假）已正确切分 |
+| writer/session 写入归属 | `md_cg/mdcos.py`（_attribution，2026-09-13 落地） | 记忆节点的写入者/会话身份进 frontmatter，检索可按 session 过滤 | 字符串身份（无数值） | **L1 在记忆域的半成品**：身份已落盘但 writer 不带信任分、不进排序——记忆域来源信任的空缺口（见 §5） |
+
+### L2 Evidence Quality（证据质量）
+
+| 指标名 | 代码位置 | 当前语义 | 量纲 | 重叠/冲突注记 |
+|---|---|---|---|---|
+| verification_basis 枚举 | `md_cg/nodefile.py:51-59`（8 档）；`nodefile.py:62`（REPRODUCIBLE_BASIS 5 档）；校验 `nodefile.py:122-127` | 断言的外部验证基底类型：compiler/test/measurement/formal_proof/data（可复现档）+ textbook/public_kb/other（来源一致档） | 名义（分类，非连续） | **本层唯一主干**。「文科宽松理科严格」两档口径是现成的证据分级先例；与 L3 判定序耦合：无基底→DEFER（`md_cg/mdcg.py:1232`），是设计耦合非冗余 |
+| WAL 验签 | `swarm/rust_swarm.py:88`（verify_wal_signatures） | HMAC 逐条验签，Python 独立实现交叉验证 Rust 写出 | 0/1 + 计数 | 与 integrity_rate（下行）是**同一验证动作的两个读出面**→§4-3 |
+| integrity_rate 证据完整性 | `swarm/rust_swarm.py:173`（aggregate_health_python 内） | `(总轮数−验签失败轮数)/总轮数 × gossip覆盖率` | [0,1] | 被 health score 以 W=0.2 混入 L4 语义的聚合——**跨层混合点**（L2 语义进了 L4 聚合） |
+| 节点证据计数 evidence_count / positive_evidence / negative_evidence | `md_cg/mdcg.py:1612-1618`（verify 更新） | 外部验证裁决的累计次数与正/反例计数 | 非负整数 | 与 fm.confidence（L3）同函数内联动更新（`mdcg.py:1609-1611`）——L2 计数→L3 置信的唯一现成换算通道（固定步长，非贝叶斯） |
+| predict verification 维 | `md_cg/predict.py:378-390`（score_route，W_VERIFICATION=0.25，ver=hit_rate） | 路线评分的「验证」分量，直接代入预测命中率 | [0,1] | **L2 语义位但 L4 实现**：与 hit_rate（L4）同一数值双重使用——既作四维分量又作 dynamic_hit_threshold 输入（`predict.py:655-675`），样本不足时两处同向波动→§4-5 |
+| 「证据强度分离」待办注记 | `md_cg/bench_progressive.py:220`（注释：真伪判据=verification_basis/时间线冲突，证据强度分离另案） | 代码内已自我承认本层无强度量纲 | —（待办） | 佐证 L2 半空缺（见 §5） |
+
+### L3 Claim Confidence（断言置信）
+
+| 指标名 | 代码位置 | 当前语义 | 量纲 | 重叠/冲突注记 |
+|---|---|---|---|---|
+| fm.confidence 节点自声明置信 | `md_cg/mdcg.py:633-635`（add 默认 0.6）；恢复时同读 `mdcg.py:1385` | 写入时对断言的静态置信声明，存 frontmatter 随节点走 | [0,1] | 与 judge qual（动态、query-relative）正交但易混；唯一耦合是降级链（下行 DEMOTE） |
+| 非对称验证步长 | `md_cg/mdcg.py:1609-1611`（verify 内） | confirmed +0.05 / weakened −0.15（反例权重更大），夹取 [0,1]；falsified→负记忆化（`mdcg.py:1595-1605`） | Δ[0,1] | 与 Beta-Bernoulli（L4）哲学同源（证据更新置信）但对象不同：**节点断言 vs 预测通道**——不可合并；步长固定非贝叶斯，样本效应未建模 |
+| DEMOTE_CONFIDENCE 降级阈值 | `md_cg/mdcg.py:48-51`（=0.2，注释：0.6 起需连续 3 次 weakened） | confidence 跌破 0.2→knowledge 降 contextual | 常数阈值 | L3 置信→记忆层级的换算落点（Claim Confidence 驱动分层，非跨层混合） |
+| judge_qualification 四态 | `md_cg/mdcg.py:1171-1243` | 资格判定序：BLINDSPOT（CCG 要素不全）→REJECT（负条件命中）→正条件确认（零命中降 DEFER）→DEFER（无 verification_basis）→ACCEPT；输出 `{state, reason}` | 名义四态 `{ACCEPT, REJECT, DEFER, BLINDSPOT}` | **系统内分层最干净处**：`mdcg.py:1254` 自声明与 tier 正交（tier=怎么找到的性能 / state=是否该用的资格）；qual 是 query-relative 资格而非节点固有属性（同条记忆换问句即变判） |
+| judge_ranking 证据防火墙 | `md_cg/mdcos.py:730,756-760,835-848`（search_rrf，opt-in） | REJECT/BLINDSPOT 剔除、DEFER ×0.5 降权、ACCEPT 保位——资格裁决改写终排 | 乘数 `{0, 0.5, 1}` | **L3→L4 换算的唯一通道**；×0.5 是隐式量纲约定且未文档化——收敛时须显式声明；meta 带 judge_ranking/judge_filtered 审计字段（`mdcos.py:861-864`） |
+
+### L4 Execution Confidence（执行置信）
+
+| 指标名 | 代码位置 | 当前语义 | 量纲 | 重叠/冲突注记 |
+|---|---|---|---|---|
+| hit_rate 滑动命中率 | `md_cg/predict.py:309-314` | feedback 历史滚动窗口（≤200）频率；空历史→0.40 基线 | [0,1] | 小样本过度自信（n=5 全中→1.0），正是 beta_posterior 的修正对象→§4-1 |
+| beta_posterior / beta_mean | `md_cg/predict.py:319-346` | Beta-Bernoulli 后验（PRIOR_STRENGTH=20，先验均值=BASE_HIT_RATE=0.40），小样本向基线收缩；透出 mean/ci95/samples | [0,1] + 置信区间 | docstring（`predict.py:322-326`）自声明「置信度≠可信度（P-T-73/74）」——本层与 CTP 2.9.1a 通道可信度（理论 L1743-1746）精确对应，是五层里理论↔代码对齐最好的一处 |
+| channel_posterior 通道后验 | `md_cg/predict.py:349-375`（channel_history/channel_posterior） | 按反馈通道分组的后验；未标注通道归 unlabeled 诚实不冒充 | [0,1] 分通道 | `md_cg/self_state.py:250-271` 透出 beta_mean/beta_ci95 进自我模型面——同一统计的第二个读出位（透出非重复计算，注记即可） |
+| dynamic_hit_threshold 动态死区 | `md_cg/predict.py:655-675` | 样本<50 不反思；阈值=max(0.40, mean−2σ)——只对显著劣化反思，防噪声空耗 | [0,1] 阈值 | 消费的是 hit_rate 非 beta_mean——修正前后两个读数并存→§4-1 |
+| score_route composite | `md_cg/predict.py:378-390` | T_pred 四维加权：trend 0.40 / boundary 0.20 / verification 0.25 / balance 0.15 | [0,1] | 权重表对齐 AEIS 2.10 节，与 CTP 理论 T_pred 四维（U_trust .30/U_behavior .25/U_connection .30/U_prediction_error .15，理论 L1520-1525）**不同表**——理论↔代码映射须显式注记，防「对齐了」的错觉 |
+| 边置信度 edge confidence | `md_cg/predict.py:127-131`（_edge_conf）；EDGE_BOOST=0.05（`predict.py:43`）；命中回写 +0.05（`predict.py:599-652,678-719`） | 因果/时序边的结构置信，预测命中时增量回写 | [0,1] | `md_cg/mdcos.py:553`（_path_chain）逐跳**乘**边置信度进检索打分——与词面相似度混合聚合，量纲同语义异（结构信任 vs 词面匹配）→§4-7 |
+| σ(Gain) 增益门槛 | `md_cg/autonomy.py:51-92`（gain_gate） | 无历史→1.0；读上轮 explore 实现值，连续 2 次终态停滞且冷却内（GAIN_COOLDOWN=3600s）→0.0 | `{0.0, 1.0}` 二值 | 筛选器非置信——值域碰巧与二值概率同形，勿与 qual 四态或概率混同 |
+| proposals score 信息差定价 | `md_cg/autonomy.py:34,133-138`（W_D2/W_BLINDSPOT/W_DEFER=1.0/2.0/1.0） | 探索提案定价：1.0×Σ\|d2\| + 2.0×BLINDSPOT计数 + 1.0×DEFER计数 | 无界正实数 | **不归五层**（是信息差信号强度非置信）；代码 `autonomy.py:17-18` 自声明「score 只做排序不做资格」；名为 score 与检索分/health score 撞名→§6 |
+
+### L5 Consensus Confidence（共识置信）
+
+| 指标名 | 代码位置 | 当前语义 | 量纲 | 重叠/冲突注记 |
+|---|---|---|---|---|
+| health score 四因子 | `swarm/rust_swarm.py:142-178`（aggregate_health_python）；Rust 同公式 `swarm/rust_runtime/src/health.rs:51`（score_instance） | 0.4×成功轮占比 + 0.2×参与轮占比 + 0.2×(1−error轮占比) + 0.2×integrity_rate | [0,1] | **混合层聚合**：对单实例是 L4 执行健康，成分里含 L2（integrity）；蜂群比较时易被误读为「该实例可信度」（L1）——三层语义挤在一个数里，是 GPT 所指增殖的典型样本 |
+| T_alignment | `swarm/rust_swarm.py:138` | 见 L1 表；此处按语义归 L5 | [0,1] | 度量「信任分布一致性」而非「独立验证共识」——L5 的弱替身（见 §5） |
+| RRF fusion="sum" 多路共识奖励 | `md_cg/mdcos.py:752-755`（search_rrf 注释） | 等权 RRF 用 sum 奖励「多路共识」，max 只认单路最好 | 排序贡献 | L5 弱形态（检索路间共识）；注释自声明会系统性低估单路独有候选——共识语义进召回面的现成案例 |
+| 蜂群阶段4触发条件 | CTP 理论 `智能论3.4.md:2834`（T_avg≥0.75 持续30天） | 阶段升级的共识门槛 | 阈值 | **理论有、代码无**：阶段升级未工程化——L5 空缺的理论侧佐证 |
+
+---
+
+## 3 分层正确先例（代码内自声明，收敛的现成锚点）
+
+概念收敛**不需要发明新原则**——四个关键分离代码里已有自声明，缺的只是给它们统一命名与显式分层：
+
+| 先例 | 代码位置 | 自声明内容 | 对应分层 |
+|---|---|---|---|
+| 性能/资格正交 | `md_cg/mdcg.py:1254` | tier=怎么找到的（性能）/state=是否该用（资格），二者正交 | L3 资格 ≠ L4 检索性能 |
+| 置信度≠可信度 | `md_cg/predict.py:322-326` | 置信度=单次判断内部一致性；可信度=通道历史验证命中率（P-T-73/74） | L3 断言置信 ≠ L4 通道执行置信 |
+| 来源≠内容 | `md_cg/evidence.py:20-21` | 验证「证据来自该节点」≠「证据为真」 | L1 来源信任 ≠ L2/L3 证据与断言 |
+| 定价≠资格 | `md_cg/autonomy.py:17-18` | score 只做排序不做资格 | 信号定价（非五层）≠ L3 资格 |
+
+---
+
+## 4 冗余与可合并项清单
+
+| # | 项组 | 实质关系 | 处理建议（文档层；工程改动另案） |
+|---|---|---|---|
+| 4-1 | hit_rate ↔ beta_mean（`predict.py:309-314` ↔ `319-346`） | **同源同对象**：同一份 feedback 历史；beta = hit_rate 的先验收缩修正 | 读出面统一以 beta_mean 为「可信度」口径，hit_rate 降为审计字段；当前 dynamic_hit_threshold 与 score_route.verification 仍消费 hit_rate（修正前后读数并存）——切换属行为变更须回归验证 |
+| 4-2 | T_alignment ↔ health score（`rust_swarm.py:138` ↔ `142-178`） | **不可合并**：对象不同（信任分布 vs 执行健康）；但两者都被泛称「蜂群健康/信任」 | 保持分离，命名区分（trust_alignment / execution_health），禁止合成为单一 swarm score |
+| 4-3 | WAL 验签 ↔ integrity_rate ↔ 跨节点 evidence 验签（`rust_swarm.py:88` / `173` / `evidence.py`） | 同一验证动作（验签）的三个读出位置 | 统一定位为「验签=来源可信（L1/L2 边界）原语」；三处读出各有用途（对账/健康/入库），不删读出面，只统一术语 |
+| 4-4 | verification_basis 枚举 ↔ judge DEFER 规则（`nodefile.py:51` ↔ `mdcg.py:1232`） | **设计耦合非冗余**：无基底→DEFER 把 L2 当 L3 资格的门槛 | 保留现状；注记该耦合是五层间唯一已实现的跨层依赖，概念收敛时作为跨层依赖的范式 |
+| 4-5 | score_route.verification 维 ↔ hit_rate 双重使用（`predict.py:378-390` ↔ `655-675`） | 同一统计（hit_rate）同时进入路线评分分量与反思死区阈值，样本不足时同向波动 | 建议 verification 维改读 beta_mean（与 4-1 同一动作）；另案 |
+| 4-6 | proposals score ↔ reflect d2（`autonomy.py:133-138` ↔ `mdcg.py:1487-1497`） | 同源链：score = d2 的加权聚合 + 资格计数；非冗余，但「score」与检索相似度分、health score 撞名 | 建议改名（如 signal_price / info_gap_score）；改名属接口变更，另案 |
+| 4-7 | 边置信度 ↔ 检索相似度（`predict.py:127-131` ↔ `mdcos.py:553`） | 量纲同（[0,1]）语义异（结构信任 vs 词面匹配），_path_chain 已逐跳混乘 | 分层命名：edge_trust vs lex_score；混乘公式是否保留属检索行为变更，另案 |
+
+**合并先后建议**：先做零行为变更的（4-2、4-3 命名统一 → 4-6、4-7 改名），后做需回归的（4-1+4-5 统一读数源）；4-4 只注记不动。
+
+---
+
+## 5 空缺层清单
+
+| 层 | 空缺程度 | 具体缺口 | 备注 |
+|---|---|---|---|
+| L1 Source Trust | 半空缺 | 蜂群域有实现（trust/德/验签）；**记忆域只有身份无信任**——writer/session 已落盘（2026-09-13 归属落地）但 writer 不带信任分、不进检索排序 | 若补：writer 信任属 L1，排序消费属 L3/L4，跨层链路须显式设计 |
+| L2 Evidence Quality | 半空缺 | verification_basis 是名义枚举，**无连续证据强度量纲**；REPRODUCIBLE_BASIS 五档是唯一分级；`bench_progressive.py:220` 已自我承认（「证据强度分离，另案」） | 分级（枚举）与强度（数值）是两种量纲，收敛时不可混称 |
+| L3 Claim Confidence | 不空缺 | fm.confidence + 四态 qual + 降级链，链路完整 | 当前最厚实层之一 |
+| L4 Execution Confidence | 不空缺 | predict.py 全套 + judge_ranking 换算通道 | 当前系统重心；理论对齐最好（P-T-73/74） |
+| L5 Consensus Confidence | **最薄（真空缺）** | 无「多验证者对同一断言独立验证→共识聚合」实现：review_queue 是单裁决者制；T_alignment 只度量信任分布一致性；CTP 阶段触发条件（T_avg≥0.75×30天）未工程化 | 若未来补 L5，最小闭环候选=review 队列多裁决者聚合或蜂群对同一节点证据的交叉验签计数 |
+
+---
+
+## 6 术语漂移实录（GPT 所指增殖的词面证据）
+
+| 词 | 现状 | 各处含义 |
+|---|---|---|
+| 信任 / trust / 德 | 三名一物 | CTP「信任值」=信噪比协作度量（理论 L4376）= swarm trust（L1）= compiler「德」寄存器——本层内部一致，但外部读者易读成「总体置信」 |
+| confidence | 一词三用 | fm.confidence（L3 断言静态声明）、edge confidence（L4 结构置信）、SEMANTIC_CONF=0.4（语义诱导候选固定置信） |
+| 可信度 | 最干净 | beta docstring 专指「通道历史验证命中率」（`predict.py:322-326`），与 CTP 2.9.1a 一致——建议保留为 L4 专名 |
+| score | 一词四用 | autonomy proposals（信号定价）、检索相似度分、score_route composite、health score——四处同名异义 |
+| qual / 资格 | 最干净 | judge 四态，名义非数值，自声明与 tier 正交——建议保留为 L3 专名 |
+
+**收敛建议方向**（文档层）：每层一个专名——L1=信任（trust）、L2=证据（basis/strength）、L3=置信（confidence，断言面）+资格（qualification，query 面）、L4=可信度（reliability，通道面）、L5=共识（consensus）；其余同义词（德→trust 保留别名注记、score 按 §4-6/4-7 改名）逐步归位。
+
+---
+
+## 7 边界声明
+
+1. 本表是**文档层对齐**：只做概念归位、量纲盘点、冗余/空缺识别；不裁决任何工程面合并——行为变更（改默认值/排序/判定序/接口名）一律另案，过验证单元与使用者终裁。
+2. 行号对齐 2026-09-15 工作区 HEAD，行号必腐化，引用以「文件+符号名」为准绳；本表为手写文档，不进 cogmap_sync 管线（非 README 认知图/功能映射表的投影对象）。
+3. 五层框架来自外部评审提案；CTP 理论提供了 L1/L3/L4/L5 的锚点，**L2 在理论侧无独立层**（工程侧 verification_basis 为自建）——这是框架引入时的已知差异，不是本表的遗漏。
+4. 表中「建议」列均非决议；凡标注「另案」者需独立判定单（设计者视角）后才可进入工程面。

package/docs/{ → theory/}/347/220/206/350/256/272_/346/234/272/345/210/266_/344/273/243/347/240/201_/345/256/236/351/252/214_/347/274/272/345/217/243/347/237/251/351/230/265_v0.1.md

@@ -39,7 +39,7 @@
 
 | # | 理论命题（P-T） | 工程对象（P-E） | 测试 | 证据（强度） | 状态 |
 |---|---|---|---|---|---|
-| 16 | P-T-85 五层记忆职责（锚点/结构/知识/情境/自我） | P-E-21 `LAYERS` 八槽（+rejected/unresolved/goals） | 逐层测试齐 | G4 对账锚点闭合 228+6102+4+5=6339（A）；**structural 实库 0 条** | 🟡 常量齐，structural 空层 |
+| 16 | P-T-85 五层记忆职责（锚点/结构/知识/情境/自我） | P-E-21 `LAYERS` 八槽（+rejected/unresolved/goals）；**structural 业务写入口 = `md_cg/tasks.py`（2026-09-16）** | 逐层测试齐；**test_tasks 75 断言（2026-09-16）** | G4 对账锚点闭合 228+6102+4+5=6339（A）；~~structural 实库 0 条~~ → 任务实体为该层正式业务入口（结构性一等节点：layer=structural、importance=0.8、跨会话不遗忘） | ✅ 层已启用（#16 结案，裁决见 §3A.5） |
 | 17 | P-T-86 SELF 薄自我（身份+价值观+图接口，不存内容） | P-E-31 `self_state` 状态卡：九项只存当前值+指针，样本不足 unknown 不编造 | test_p16 51/51 | P-V-21/25/26 版本链+审计实库在跑（A） | ✅ 结构已证 |
 | 18 | P-T-87 会话连续性（启动自动加载 SELF，按 session 索引） | P-E-31 session 切片+recall | test_p45 30/30 全绿 | P-V-34/37 跨会话续接实测（A） | ✅ 机制已证；🔴 实库纵深仅 2 版本留痕（月级连续性未证） |
 | 19 | P-T-99 协定式自我赋予/扮演论边界（角色≠自身锚点） | P-E-26 `set_anchor` kind 分流（self→self 层，role→anchor 层，越界拒绝） | test_p10 24 项全绿 | P-V-24/30 实库锚点+保护留痕（A） | ✅ 已证 |
@@ -87,7 +87,7 @@
 
 ## 2A. 端口/锚定实现—理论张力（v0.2 盘点实查）
 
-1. **structural 层空层**：`LAYERS` 八槽齐全，但 structural 唯一业务写入口 `identity.add_trait` 在主库从未使用（G4 对账中 0 条）——「协议/信任结构」内容实际散落在代码与文档，未进记忆层。
+1. ~~**structural 层空层**~~（**已完成 2026-09-16**）：`LAYERS` 八槽齐全，structural 层此前唯一业务写入口 `identity.add_trait` 在主库从未使用（G4 对账中 0 条）。现由 `md_cg/tasks.py`（`cg(op=task)`）承担该层正式业务写入口——任务实体为结构性一等节点，直接对位「忘记已实现的工程／计划与实际不符／缺核验／换表述即新任务」四症状的机制解。
 2. **「锚点」双义未消解**：anchor 身份锚点层（不可遗忘）与 `reconstruct_scene`/`anchor_from_description` 的检索锚点（动态词面选出、跨层）同名异物；重构的 blindspot 判定不读 anchor 层语义。
 3. ~~**preflight fail-open**~~（**已完成 2026-09-13**）：门面（AEIS 真身+md_cg 镜像同步）改为 fail-closed——未装配返回 `ok:False + status=fail_closed + 装配错误透传`，「检查未执行」不再冒充「检查通过」；实现体实际在库内镜像可审计（v0.2 盘点时误判为仓外）。
 4. **自我连续性纵深极薄**：机制测试全绿（P16 51/51、P45 30/30），但实库 `_self_state.jsonl` 仅 2 个版本、self 层 5 节点中 3 个 vb=null——「一个月后还是同一个我」目前仅小时级留痕支撑，v2.0 评分报告已自declared 此边界。
@@ -99,7 +99,7 @@
 2. ~~**#29 preflight 改 fail-closed**~~（**已完成 2026-09-13**）：未装配返回拦截（ok:False+fail_closed+错误透传）而非放行，与写入侧纪律对齐；双侧专项测试 12+12、装配路径回归 50/50。
 3. ~~**#25 端口命题最小投影**~~（**已完成 2026-09-13**）：文档层声明已落（§1A #25 行）——输入=AEIS 感知侧（ingest/add 闸）、内部=predict/reflect、输出=宿主工具面（mutual_watch 心跳拉起=输出端口最小具身形态）；三端口各自机制测试已在位（failclosed/predict_beta/sustain_mutual），专属具身场景测试待真实多实例环境。
 4. **#18 自我连续性长周期实证**：机制已证，缺的是时间——由日常运行自然积累（self_state refresh 留痕），数月后回看，无需专项开发。
-5. **#16 structural 层启用裁决**：要么把 add_trait 接入实际流程（如信任结构、纪律条目落 structural），要么在文档声明该层暂缓并说明理由——消除「空层假象」。
+5. ~~**#16 structural 层启用裁决**~~（**已裁决并落地 2026-09-16**）：两条候选中选「接入实际流程」而非「文档声明暂缓」——structural 层新增正式业务写入口 `md_cg/tasks.py`（任务实体）。生效条件：存在需跨会话/跨上下文压缩续接的工程任务；边界：该层只承载任务骨架（目标／计划／计划变更／结果／状态／验收／边界），执行中间过程仍由情境层自持、任务产出知识归知识层，三者不互相替代；不适用：闲聊与无延续性的单步操作。
 
 ## 1B. 信息差公理映射矩阵（v0.3，编号续接；理论 24 条 P-T-117~140 / 工程 P-E-46~59 / 证据 P-V-46~57）
 

package/docs/{ → theory/}/347/220/206/350/256/272/344/273/223/346/213/206/345/210/206/344/270/216/347/231/275/347/256/261/347/237/245/350/257/206/345/272/223/345/206/205/350/277/201_v0.1.md

@@ -2,7 +2,7 @@
 
 > 状态：执行规格（**未执行任何文件搬迁/删除**）
 > 日期：2026-09-10
-> 上游：[docs/灵枢三层拆分规划_v0.1.md](灵枢三层拆分规划_v0.1.md)
+> 上游：[docs/mdcg/灵枢三层拆分规划_v0.1.md](../mdcg/灵枢三层拆分规划_v0.1.md)
 > 性质：本文给出三条动作的**实测盘点 + 精确改动点 + 执行顺序**；所有数字为 2026-09-10 本机实测。
 
 ---

package/docs/theory//350/256/244/347/237/245/344/273/243/347/220/206/344/270/216/346/224/266/346/225/233/347/273/223/346/236/204_/346/235/241/344/273/266/350/256/272/351/207/215/346/236/204_v0.1.md

@@ -0,0 +1,221 @@
+# 认知代理与收敛结构 —— 条件论重构 v0.1
+
+> **定位**：《并发必然性理论》v0.1 的重构版。依据使用者裁定（2026-09-15）：**地基不建立在神经科学上，建立在信息差与智能认知过程的根本原理上**。真源=《白箱智能是什么？》系列四篇（①白箱智能是什么 ②智能的认知过程 ③智能的公理化基石 ④信息差为什么必然存在且自然扩大），下文以 ①②③④ 加节号引用。
+> **体系定位**（收敛裁定 2026-09-15）：三份核心文档之**架构层**——《并发必然性理论_v0.2》（理论层：定理 T 与判据）→ 本文（架构层：代理定义与收敛结构）→《子代理配置标准_v0.4》（工程层：spec 配置）。其余理论文档降为补充资料（见 §8）。
+> **核心修订**：v0.1 以「任务可分解」为并发前提、以神经科学事实为论证基座；本版以「认知任务原子性」+「条件投影可分性」为前提、以条件论为基座。v0.1 保留为历史层。
+> **评审吸收**：GPT 十八条评审中——三层拆分、Task≠Agent、六元组、Fusion Agent、Swarm 定义、原子性三分、七项实验测度已吸收；P1「当且仅当→单向蕴含」修正精神落入 CA-T1。
+
+---
+
+## 0 边界声明
+
+| # | 声明 | 封住的攻击 |
+|---|---|---|
+| CA1 | 全部断言在认知架构/功能层陈述；神经科学内容降为动机性引用（标注「启发」），不承担论证重量。 | 神经科学争议拖拽 |
+| CA2 | 「任务原子性」是建模公设，不主张任务本体论上原子。 | 本体论越界 |
+| CA3 | 「并行」=认知结构并行：多候选同时展开、独立评估，不要求物理多线程（②五既有定义）。 | 物理并行误读 |
+| CA4 | 非排他：串行收敛在资源/依赖/安全/实时/协调成本约束下是合法策略（兼容 B4）。 | 全称规范断言 |
+| CA5 | 收敛带宽的信息论表述=调用带宽（④快照三问之三），架构层约束，非器官测量值。 | 带宽实体化 |
+| CA6 | 元条款：不能由观测或文本检查裁决的内容标注为「建模选择」（继承 v1.0 B9）。 | 不可证伪指责 |
+
+---
+
+## 1 术语表
+
+| 术语 | 定义 | 状态 |
+|---|---|---|
+| 认知任务 | 一次完整认知收敛请求（如「X 是否成立」）；本文模型内为原子单位 | 建模公设 |
+| 条件空间 C | 四维坐标：观测位置/观测工具/时间窗口/存在约束（③二） | 真源概念 |
+| 条件投影 | 同一任务在某条件空间上的展开；对应七操作之「分离」（③十二） | 本文定义 |
+| 收敛位 | 一个投影上产出带四态资格的 R 的汇聚点 | 本文定义 |
+| 收敛带宽 B_c | 单次认知可调用的信息上限（CA5） | 架构约束 |
+| 收敛粒度 G_c | 收敛事件深度：整任务一次收敛 ↔ 各投影各自收敛的连续谱 | 继承 v1.0 §1.3 |
+| 认知代理 | 承担一个独立收敛过程的功能性计算单元（§3） | 本文核心定义 |
+| 融合位 | 对多个局部收敛做更高阶收敛的代理 | 本文定义 |
+| 信息差 D | D=D(C) 且 D=D(t,C)（③一/七） | 真源概念 |
+
+---
+
+## 2 三条公设
+
+**P1（任务原子性）**：认知任务本身原子；非原子展开发生在实现层（神经计算/底层计算图），不构成任务分解。推论：`非原子任务→任务分解→子代理` 链条在本文模型内删除。
+
+**P2（条件投影可分性）**：同一任务可在多个相互区分的条件空间上建立独立投影，各投影可独立收敛。依据：D=D(C)——不同投影携带不同信息可得性；四维给出「区分」判据。P2 只主张「可建立」，不主张必有信息增益——增益是否非零是实验问题（§6 测度3）。
+
+**P3（收敛带宽有限性）**：单次认知的收敛带宽受调用带宽约束（④三之「调用带宽」）；多投影提高有效观测容量，不消除信息差。依据：R>C ⇒ 可靠传递不可能（④二）。
+
+**总纲**：**认知任务是原子的，认知收敛可以是并行的，神经实现可以是非原子的。** 三者分属不同层（§5），禁止互推。
+
+---
+
+## 3 认知代理的条件论定义
+
+### 3.1 六元组
+
+$$A_i = \langle C_i, S_i, G_i, O_i, K_i, R_i \rangle$$
+
+| 分量 | 条件论含义 | 灵枢工程对应 |
+|---|---|---|
+| C_i 条件空间 | 该代理的四维观测边界 | 任务条件空间声明 / spec 任务边界 |
+| S_i 状态 | 已收敛的局部认知状态 | 最小充分记忆注入 |
+| G_i 目标 | 目标信息差态 D*：该投影要把哪段信息差缩到什么程度 | 验收标准 |
+| O_i 观测 | 条件空间在时间窗内的投影（快照三问：投影+演化） | 观测通道（tools 白名单） |
+| K_i 知识通路 | 调用带宽约束下的条件路由面 | lingshu_cg / 上下文预算 |
+| R_i 结果 | 局部收敛产物，带四态资格 | result.json 终态 |
+
+此定义不需要神经科学，也不需要「注意力」——注意力只是收敛带宽分配的一种实现假说（CA6，继承公设 A1 标注）。
+
+### 3.2 CA-T1（代理边界 = 条件空间边界）
+
+> **当**两个条件投影在四维上存在实质区分（任一维不同且该区分影响信息可得性）**时**，它们构成有资格独立存在的收敛单位；**当**投影完全相同时，建两个代理无信息增益，属冗余配置。「实质区分」由融合位以四态裁决与验证基底判定，不由相似度判定（②五）。
+
+条件式双向判据，非「当且仅当」——前提满足才有判断资格，不满足时本文不作判断（吸收 P1 逻辑修正）。
+
+### 3.3 CA-T2（Task ≠ Agent）
+
+同一任务上可存在多个代理（支持 X 的证据 / 反对 X 的证据 / 预测 X / 检查条件缺失）：G_i 可不同，认知任务是同一个。**代理数由条件投影可分性决定，不由任务大小/复杂度决定。**
+
+### 3.4 为什么需要认知代理（条件论回答，替代 v0.1 的神经科学基座）
+
+> 由推论 3（局部不可知，③六）：任一单投影的收敛结果必然携带该投影特有的盲区；由 D=D(C)：不同投影盲区结构不同。故对单投影盲区敏感的任务，多投影独立收敛+融合在结构上可获盲区互补。
+
+**CA-T2'（条件式）**：当错误代价对单投影盲区敏感、且投影间盲区结构可证不同时，多收敛组织有资格优先。投影同构时多代理退化为重复计算——一致不构成正确性证据，只有验证基底裁决才算（共识≠真相，③七）。
+
+---
+
+## 4 收敛结构
+
+### 4.1 收敛事件的位置变化
+
+并发与串行的差别不是任务被拆，而是**收敛事件的位置变了**：
+
+```text
+E-单线程（G_c=整任务）          多收敛（G_c 下沉）
+Task                            Task
+ └─ Expand                       ├─ 投影A ─ 收敛R_A
+     └─ Expand                   ├─ 投影B ─ 收敛R_B
+         └─ Expand               └─ 投影C ─ 收敛R_C
+             ↓                            ↓
+           Root（全压一点）            Fusion（更高阶收敛）
+             ↓                            ↓
+          Converge                  Higher cognition
+```
+
+②五「两阶段并行收敛」（大域并行→收敛→域内并行→收敛）即 G_c 在知识层下沉的既有实例，本文将其推广到代理层。
+
+### 4.2 融合位本身是认知代理
+
+$$A_F = \langle C_F,\ S_F{=}\{R_i\},\ G_F{=}\text{裁决},\ O_F{=}\{R_i\text{及证据}\},\ K_F,\ R_F \rangle$$
+
+并发不是终点：并发产生局部收敛，必须存在更高阶收敛，否则只是并行计算不是认知系统。**融合位裁决纪律**：不得以「多数一致」代替验证基底裁决；R_i 的四态资格与证据是输入面，R_i 冲突（反题）是冲突检测信号面。
+
+**五层置信概念映射**（承接补充资料《概念分层对齐表 v0.1》）：融合位的裁决面只用 L2 证据基底与 L3 四态资格；L1 信任（P_trust）只调节 R_i 输入权重、不作终裁依据；L4 可信度与 L5 共识是代理与群体层的产出面，**不得反哺为融合位裁决依据**——共识≠真相的裁决纪律在概念层的表现即「禁止 L5→L2/L3 的越层反哺」。
+
+### 4.3 蜂群定义
+
+$$Swarm = \{A_i\} + \mathcal{F}$$
+
+蜂群不是「很多 Agent」，是**多个局部收敛过程 + 更高阶收敛机制**。𝓕 的功能分解=五大单元（记录/反思/验证/输出/维生，③十三）。
+
+### 4.4 条件论七操作 ↔ 代理图边标注
+
+| 七操作（③十二） | 代理图位置 |
+|---|---|
+| 识别 / 声明 | 投影 C_i 显式化 |
+| 分离 | 一任务 → 多 C_i |
+| 路由 | K_i 知识通路 |
+| 收敛 | R_i 局部裁决 |
+| 反题 | R_i 间冲突检测 |
+| 组合 | 融合位更高阶收敛 |
+
+条件论七操作即认知代理图的完整边标注语法。
+
+---
+
+## 5 CA-T3（收敛粒度下沉的信息论判据）——v0.1 定理 T 重述
+
+> **当**任务的信息流宽度（展开面在 D=D(t,C) 下产生的待观测信息速率）**超过**单收敛位的调用带宽（CA5）**时**：整任务压入单一收敛位=把宽展开面压进窄调用口，信息差按 R>C 推论扩大；此时收敛粒度下沉到多投影，是把**容量瓶颈转换为协调成本**的结构响应。
+> **当**前提不满足（信息流窄/协调成本高/存在串行契约），本文不作下沉判断，串行由该前提正当化（CA4）。
+
+「宽」不再来自任务分解——它来自系统状态演化产生的信息流本身（快照三问：任何单点观测都是窄的）。这是「任何任务默认允许多投影收敛」的信息论根据，同时保留了串行的正当出口。
+
+### 5.1 串行正当场景四分类（承接补充资料《单线程与注意力集中 v1.0》§3.2）
+
+| 类型 | 触发条件 | 例 |
+|---|---|---|
+| 基座串行 | 后序任务需要前序任务产出才能开始 | 先检索后判定；先实现后测试 |
+| 约束串行 | 外部条件强制单线（资源配额/实时系统/安全协议/串行契约） | 锁持有期内的操作 |
+| 成本串行 | 协调成本 > 容量收益（B4 的量化形式） | 微小任务的开销摊不平 |
+| 认知伪串行 | 仅因「按顺序写」习惯，无实际依赖 | 可并行化的顺序文件生成 |
+
+前三类是 CA-T3「前提不满足」的具体形态，串行正当；第四类不构成串行理由。
+
+---
+
+## 6 原子性三分与三层模型
+
+### 6.1 原子性三分（禁止互推）
+
+| 层 | 原子性 | 状态 |
+|---|---|---|
+| 认知任务 | 原子（公设 P1） | 建模公设 |
+| 收敛过程 | 一次局部收敛=一个裁决单位 R_i | 本文定义 |
+| 神经/底层计算 | 非原子：认知原子操作在实现层可展开为多个相互依赖的计算单元 | 实现层描述，不要求任务有分解结构（CA1） |
+
+### 6.2 三层模型
+
+```text
+条件论 / 智能论层：条件、信息差、信任、目标
+        ↓
+认知代理层：原子任务 → 多投影代理 → 局部收敛 → 更高阶收敛
+        ↓
+神经基底层：非原子计算、并行展开、局部串行瓶颈
+        ↓
+Runtime
+```
+
+神经科学的位置：仅提供工作假设与启发（如 4±1 为调用带宽的生物学投影），不作为工程架构证明——本文所有定理均不引用它们（CA1）。
+
+---
+
+## 7 实验纲领：认知并发基础验证
+
+核心问题：**一个认知任务能否稳定产生多个独立收敛过程？**
+
+| # | 测度 | 条件论表述 | 与既有实验衔接 |
+|---|---|---|---|
+| 1 | 投影独立性 | 各 R_i 是否满足四维实质区分（CA-T1） | 蜂巢 4 视角审查雏形 |
+| 2 | 可复现性 | 同 C_i 重复执行 R_i 终态一致 | GridWorld 确定性口径 |
+| 3 | 信息增益 | 多投影融合后的 ΔD 是否显著大于单投影（P2 检验） | 新实验 |
+| 4 | 冲突可检测 | 反题信号是否在融合位可观测 | 蜂群同错检测协议 |
+| 5 | 融合可靠性 | Fusion 结果是否优于任一单投影 | 新实验 |
+| 6 | 盲区发现 | 融合是否发现单投影的 BLINDSPOT（CA-T2'） | 新实验 |
+| 7 | 增益递减点 | 投影数增加时 ΔD 增益率何时衰减（可用 d²D 判定，③十一） | 新实验 |
+
+---
+
+## 8 与既有文档的关系
+
+| 文档 | 关系 |
+|---|---|
+| **并发必然性理论 v0.2** | **理论层（同一体系）**：三公设由本文展开为代理定义与收敛结构；CA-T3=其定理 T 的架构层判据来源 |
+| **子代理配置标准 v0.4** | **工程层（同一体系）**：P1/P2/CA-T1/T3 落为 spec 配置规范；其 §6 字段映射引用本文六元组 |
+| 智能的认知过程 ②五 | 「认知结构并行」=本文 P2/P3 的既有通俗表述，本文是其形式化（真源） |
+| 单线程与注意力 v1.0 | 补充资料：S/E/C 三义、三类串行、争议封口方法（其 §3.1 P1 修订已由 CA-T1 吸收） |
+| 概念分层对齐表 v0.1 | 补充资料：五层置信概念，已映射到 §4.2 融合位裁决纪律 |
+| 蜂群同错检测协议 v0.1 | 补充资料：§7 测度 4 的实验协议 |
+| GridWorld 最小闭环规格 v0.1 | 补充资料：§7 测度 2 的实验设施 |
+| 并发必然性理论 v0.1（历史层） | 神经科学地基版，已被 v0.2 替代，仅存 git 历史 |
+
+## 9 可证伪声明
+
+| 命题 | 什么结果推翻它 |
+|---|---|
+| P1 任务原子性 | 找到一个认知任务，其正确执行必然要求任务层分解结构（而非实现层展开） |
+| P2 投影可分性 | 某类任务在一切条件投影下收敛结果相同且不可改善（投影零信息增益） |
+| P3 带宽约束 | 调用带宽放大后，单投影与多投影收敛质量无差异（瓶颈不在调用面） |
+| CA-T2' 盲区互补 | 投影间盲区结构被证实在一切任务类上同构 |
+
+---
+
+*v0.1 · 2026-09-15 · 条件论重构稿。本文遵循白箱纪律：能被验证，才能被信任；能被反驳，才有资格成为理论。*