@furongjun1999/dsh-memory 0.4.6 → 0.4.8

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

@@ -0,0 +1,144 @@
+# 理论—机制—代码—实验—缺口矩阵 v0.4（条件论 + 端口/锚定 + 信息差）
+
+> 目的：回应外部评审（AGI 架构 8.3/10）风险 5——「理论-实现同构未证明，须建立 Theory → Implementation Traceability Matrix」。
+> 方法：三路并行盘点（理论命题 P-T-* ／ 工程对象 P-E-* ／ 证据 P-V-*），逐条对齐。
+> 范围：v0.1 条件论主链；v0.2 新增端口架构/锚定验证/五层记忆/自我连续性/维生系统（P-T-61~116、P-E-21~45、P-V-20~45）；v0.3 信息差公理（P-T-117~140、P-E-46~59、P-V-46~57）；**v0.4（2026-09-13）三轨收口：#23 通道贝叶斯 / #6 增益门槛+四保护 / #37 信息价值链 / #30 互维闭环 / #25 端口命题声明**。
+
+## 0. 证据等级定义
+
+| 等级 | 含义 |
+|---|---|
+| A | 跑过的测试产出数据，有数字/断言可复现 |
+| B | 测试断言在库（可一条命令复现），未见独立运行记录 |
+| C | 文档声明 / 仅归档（含 vb=null 节点） |
+| D | 无证据（缺口） |
+
+## 1. 核心映射矩阵（条件论主链）
+
+| # | 理论命题（P-T） | 工程对象（P-E） | 测试 | 证据（强度） | 状态 |
+|---|---|---|---|---|---|
+| 1 | P-T-06 条件空间四维坐标 C_position/C_tool/C_time/C_existence | P-E-06 `CONDITION_SLOTS` 四槽合成（nodefile.py，`condition_space_text` 唯一入口，fail-closed） | test_p37 ① | P-V-05 全库 96.7% 已声明生效条件，单槽冒充残留 0（A） | ✅ 已证 |
+| 2 | P-T-30 四态判定 ACCEPT/REJECT/DEFER/BLINDSPOT | P-E-01 `judge_qualification`（mdcg.py，判定序 BLINDSPOT→REJECT→DEFER→ACCEPT） | test_cond_match 全套 / test_p1 维度3 / test_p33 ⑥ | P-V-05 全库复算四态分布 29/4487/1（A） | ✅ 已证 |
+| 3 | P-T-31 概率≠资格（相似度产生候选，条件授予资格） | P-E-05 search→judge 贯通（tier 与 state 正交） | test_p1「被 REJECT 的节点仍被召回（资格≠性能）」 | P-V-09 deja-vu 实测：显式否决对检索零影响，其 25%「负条件拒绝率」全为 BM25 词法阈值（A） | ✅ 已证（且有竞品反例对照） |
+| 4 | P-T-32 负路由（能力级不适用条件，拒什么与命中什么同构） | P-E-14 `positive_body` 负条件不作召回键，反例去向 judge REJECT | test_p33 ⑤⑥ / test_p5 条件级负路由 | P-V-01 L3 对照：无路由 0.20 → 条件路由 1.00 且双向对称（A） | ✅ 已证 |
+| 5 | P-T-42/43 条件扰动反事实（条件词互换→路由/计划/结果三变） | 条件扰动实验（理论仓 §6/§11，实验 3/3 切换+混合条件 BLINDSPOT） | **test_ccg_perturb.py 已入库（2026-09-13）**：36 断言确定性反事实 | ✅ 已证并归位（A）：①结果变 3/3（条件词互换→ACCEPT↔REJECT 双向对称翻转）②路由变（剥条件行正文逐字相同→桶不同）③计划变（T0/T1 桶路↔T2/T3 全局路；无路由对照同对得分相等 0.75——相似度无法区分、归属由条件决定）④混合条件 BLINDSPOT=要素不全触发（如实边界：混域词面不检测矛盾）。可证伪口径：任一②失败即推翻命题 | ✅ 已证 |
+| 6 | P-T-40 信息增益门槛（gain≤0 → DEFER_EXHAUSTED，即「新增条件须有预测增益」防线） | **autonomy.explore 四保护投影（2026-09-13）**：①深度=单轮不递归展开 ②本轮 seen 循环去重 ③`gain_gate` 增益门槛（读上轮 outcomes 实现值，连续 2 次终态停滞→DEFER_EXHAUSTED 冷却）④`limit` 预算 + `bypass_gain` 显式豁免（2.9.3.1） | **test_gain_gate 14 断言（2026-09-13）**：首探放行/停滞冷却/冷却过期/证据不足/终态有变化/proposals 拦截 deferred 可审计/enforce_gain 放行/outcomes 留痕/预算豁免 | B（judge 当前单层无递归；四保护投影到 explore 探索循环=当前唯一显式循环面，诚实边界） | ✅ 已证 |
+| 7 | P-T-44 分层判断 escalation（L1→L2→L3，盲区是所有层共同结论） | 无直接对象（judge 为单层判定） | 无 | D | 🔴 工程缺口 |
+| 8 | P-T-45 递归缩小信息差至可验证执行路径（可证伪四条 §12.2） | P-E-18 autonomy/predict（盲区提案→五态终判） | test_autonomy / test_p17 / **test_transfer** | P-V-15 transfer_test 首批实测（test_transfer，2026-09-13）：固定题族 20 新实体×20 旧实体（同条件空间四槽+CCG 六要素），成功率 **0.0→1.0**（Δ=1.0，完全分离，2×SE 显著），迁移后 20/20 全 ACCEPT，旧任务不遗忘 20→20，样本守卫 n<20 拒判（D→A） | ✅ 已证 |
+| 9 | P-T-46 搜索=导航（先定位条件空间再激活） | P-E-12 两阶段收敛路由 + P-E-13 T0/T1 阶梯 | test_p1 维度5 | P-V-06 T0 1.1ms vs 全量 13.9ms（12.4x），回退代价 0.91x（A） | ✅ 已证 |
+| 10 | P-T-54 实体/关系附条件空间声明，未验证关系衰减 | condition_space 字段 + forgetting | test_p5 槽位正交 | P-V-05（A） | ✅ 已证 |
+| 11 | P-T-38 五失配维度（四要素+条件边界） | P-E-06 四槽（**无「条件边界」第五槽**） | — | — | 🟡 部分：第五维未投影 |
+| 12 | P-T-37 三方条件空间（任务/感知/声明）失败归因 | designer.py（skills 侧方法论，非引擎内置） | — | C | 🟡 方法论在 skills 层，引擎未内置 |
+| 13 | P-T-33 四态判定不交给 LLM（导航税） | 判定全为确定性词面/规则（P-E-01/02） | test_cond_match ②「无语义猜测」 | 结构性成立（代码即证），导航税本身未度量（理论盲区91已登记） | ✅ 结构已证 / 🟡 税未量化 |
+| 14 | P-T-47 执行资格声明（六要素+三闸门） | 部分：judge reason + 验证基底声明 | 部分 | C | 🟡 六要素未全投影 |
+| 15 | P-T-51/52 状态空间 S=(C,K,B)、目标函数 π* | 无对应（DEV-003 自认有损投影） | — | — | 🔴 理论层缺口（暂不投影，符合投影声明） |
+
+统计：✅ 已证 8 ｜ 🟡 部分/待归位 6 ｜ 🔴 缺口 4（#6 工程侧、#7 工程侧、#8 双侧、#15 理论侧）
+
+## 1A. 端口/锚定/五层记忆映射矩阵（v0.2，编号续接）
+
+| # | 理论命题（P-T） | 工程对象（P-E） | 测试 | 证据（强度） | 状态 |
+|---|---|---|---|---|---|
+| 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） | ✅ 已证 |
+| 20 | P-T-79 stable 是带 TTL 的租约，超时降级 | P-E-36 `verify` 非对称降级（confirmed +0.05 / weakened −0.15）+ DEMOTE 0.2 自动迁层 | test_p6 72 项 | B | 🟡 机制在；TTL 显式租约未投影 |
+| 21 | P-T-81 降级作用于状态不作用于记录 | P-E-36 evidence_log 累加 + falsified→rejected 层保留 | test_p30 | C | ✅ 结构已证（负记忆保留纪律） |
+| 22 | P-T-77 完全确认四条件（通道一致∧强验证命中∧跨时稳定∧无矛盾） | P-E-32 `verify_answer` 三层校验 + chat_engine 出口强制闸 | test_verify_answer 31/31（2026-09-13） | P-V-32 专项测试落地：三层拦截矩阵 13 拒绝案例留痕+通过面+边界值+强制闸接线断言+自指案例；anchor 层 4 节点 vb=null→test + confirmed 证据链（A） | ✅ 已证 |
+| 23 | P-T-73/74 置信度≠可信度、通道贝叶斯后验更新 | **predict.py 通道贝叶斯（2026-09-13）**：`feedback(channel=...)` 通道标注 + `beta_posterior` Beta-Bernoulli 后验（α0=8/β0=12，先验均值=BASE_HIT_RATE 口径无缝）+ `channel_posterior` 通道分解；self_state 预测面增 posterior 字段 | **test_predict_beta 23 断言（2026-09-13）**：先验=基线/小样本收缩（n=5 全命中→0.52 不过度自信）/大样本收敛（n=200→0.9455）/通道分离/留痕 unlabeled 诚实/dynamic_hit_threshold 零回归 | A | ✅ 已证 |
+| 24 | P-T-75 弱验证/强验证分级（感知互裁慢、行动裁决快） | 部分：`consistency.check` 写入预检 ≈ 弱验证；世界反馈侧无 | 无 | D | 🔴 缺口 |
+| 25 | P-T-62/63 三端口架构（输入/内部/输出）与输出端口=验证前提 | **文档层声明已落（2026-09-13，v0.4）**：输入端口=AEIS 感知侧（ingest/add 写入门控）；内部端口=predict/reflect（预测-反馈-反思）；输出端口=宿主工具面（MCP/explore/mutual_watch 心跳拉起——互维守护面即输出端口对环境施加动作的最小具身形态）。测试面仍留具身场景 | **无端口专属测试**（机制测试已在位：test_preflight_failclosed 输入闸 / test_predict_beta 内部端口 / test_sustain_mutual 输出动作面） | C→B（映射边界声明 + 三端口各自的机制测试在位） | 🟡 声明已落，专属具身场景测试待真实多实例环境 |
+| 26 | P-T-94 节点必带四维条件空间；importance≥0.7 不可遗忘 | P-E-22 `add` 写入门控 + P-E-24 `protect` 三层保护 | test_p37/p9 全绿 | P-V-05 96.7% 声明（A） | ✅ 已证 |
+| 27 | P-T-92 睡眠整理/联想保留（无边=候选垃圾） | P-E-37 `consolidate.promote` 三门槛（CCG 齐/非密文/热度） | test_p30 ⑦ | 知识层治理 94.7% 孤岛→高联系密度（C，理论仓数据） | 🟡 机制在，本仓无治理前后数字 |
+| 28 | P-T-105~108 维生三级仲裁（P2 观察/P1 响应/P0 保护） | sustain 心跳/自愈/水位续接 + **互维守护面（2026-09-13）** | test_p14 44 项全绿 + **test_sustain_mutual 12 断言** | P-V-36（A/B） | ✅ 已证（单机形态三级仲裁+互维机制；跨机 W4 实机部署留待，见 #30） |
+| 29 | P-T-114 preflight 输出前价值观检查 | P-E-44 AEIS 门面 + md_cg 镜像同步 **fail-closed**（未装配 ok:False+装配错误透传） | test_preflight_failclosed 双侧 12+12（2026-09-13） | 未装配拦截+错误可见可修、装配路径零干扰委托、真身↔镜像逐行一致；AEIS test_body 50/50 回归（A） | ✅ 已证 |
+| 30 | P-T-110 互维闭环（双实例心跳互检） | **sustain.py 互维守护面（2026-09-13）**：`mutual_watch`（pid 探活防误杀→冷却防风暴→幂等拉起→**验戳新鲜闭合**）+ `mutual_status` 双亡检测（both_dead→外部告警语义）；全链路审计进 _sustain.jsonl | **test_sustain_mutual 12 断言（2026-09-13）**：端到端真子进程拉起 recovered=True / **W4 场景显式暴露**（拉起已执行但戳未更新→recovered=False+unresponsive，不假装成功）/冷却/无手段诚实上报/alive_but_stale 防误杀/双亡 | A（同机双实例心跳互检实证；v1.1 §7「拉起后验证对端戳新鲜度」部署教训已机制化） | ✅ 已证（跨机实机部署留待——机制问题已解决，余部署问题） |
+
+统计（端口/锚定）：✅ 已证 7 ｜ 🟡 部分 5 ｜ 🔴 缺口 3（2026-09-13 v0.4：#23/#25/#30 收口后）
+**跨专题不对称**：条件论 ✅8/🔴4 vs 端口/锚定 ✅4/🔴6——与外部评审评分结构（Memory/CondRouting 9.0 vs Embodied 5.5）**独立收敛**，两条证据链互相印证。**v0.4 三轨收口后**：条件论 ✅9/🔴3 vs 端口/锚定 ✅7/🟡5/🔴3——不对称显著收窄（Embodied 缺口从 6 降到 3：#7 escalation/#24 强验证分级/#31-33 D 分离待真实场景）。
+
+## 2. 六项实现—理论张力（盘点实查，如实列出）
+
+1. **载体/位置主动合并**：理论四元中「智能载体」无独立槽，与观测位置合并为 `observation_position`（保留未来拆分扩展位）——主动合并非遗漏。
+2. **时间维双重身份**：`time_window` 参与四槽声明完整性，但不参与路由键（实测仅 3 种取值，进哈希键是纯噪声）与条件词面匹配——「参与声明、不参与匹配」。
+3. **无情境 ACCEPT 兼容窗口**：query/context 全空时正条件段跳过可 ACCEPT（reason 诚实标注「未做正条件确认」）——v1 明确保留的决策，与「条件授予资格」强主张存在张力。
+4. **条件路由仅覆盖 knowledge 层**：`BUCKETED_LAYERS=("knowledge",)`，contextual 层不路由——收益验证范围有限。
+5. ~~**条件扰动实验工件不在库**~~（2026-09-13 已解决）：`md_cg/test_ccg_perturb.py` 36 断言入库，命题①-④全部可复现（见 §1 表 #5）。同轮偿债：judge v2 断言过期 5 处（test_p1/test_p26_refindex/test_p27_docindex 旧断言仍期待「条件未命中→ACCEPT」）已对齐 DEFER 诚实语义。
+6. **实现残留**：mdcg.search 负记忆覆盖段重复实现未清理（子类 `_neg_coverage` 已替代）。
+7. ~~**test_p44 白箱镜像漂移（新发现，未修）**~~（2026-09-13 已解决）：真因修正——非「api.py 未同步」（其 modified 仅为 preflight fail-closed 行为层，与 schema/数据无关），而是 md 语料真源 `_md_cg_wisdom_graph/` **空壳化**（10 个分层目录在、0 个 md 文件，gitignored 可再生产物疑被清理误删，MdCGOS 对空语料静默返回 0 节点）。修复：`migrate_wisdom_graph.export()` 重新导出（4355/4355 逐节点、L1 层级/L2 关系/L3 字段三校验全绿）→ test_p44 四面对齐全绿（结构 4355/2948 一致、候选集 20/20、端到端严格一致 19/20 + 同分并列 1 非数据差异）。防复发：test_p44 的 force=True 重建即守卫（空语料 0/0 vs 源库必 FAIL）；再生命令=`python -c "from md_cg.migrate_wisdom_graph import export; export()"`。
+
+## 3. 外部评审五风险对照（条件论部分）
+
+| 风险 | 本矩阵结论 |
+|---|---|
+| 风险1 条件论过强（防万能解释变量） | **理论已设防**：P-T-40 信息增益门槛即「新增条件须产生预测增益」的功能等价物（候选集缩减/路由确定性提升，gain≤0→DEFER_EXHAUSTED）；**工程未投影**（缺口 #6） |
+| 风险3 自我指涉（须理论外盲测） | bench6 即理论外盲测：六家竞品均不知 CTP，条件词面影响检索的弱证据干扰实证发生在盲测语境（P-V-04/11） |
+| 风险5 同构未证明（须溯源矩阵） | 本文件即 v0.4 溯源矩阵；条件论 ✅9 / 🟡3 / 🔴3（#7/#11/#15 待真实场景或理论裁决，见 §1） |
+
+## 4. 缺口裁决与补测建议（按优先级）
+
+1. **#8 transfer_test 迁移成功率**（双侧缺口，最高优先）：工具定义已有（「条件空间内新实体预测成功率，2×SE 显著性，样本<20 不判定」），predict.py 部分实现。补测设计：固定题族（同条件空间、新实体）×新旧知识库对照，产出成功率+显著性；这直接回应外部评审「Level 3 能力学习证据」与「开放持续基准」诉求。
+   **✅ 已完成（2026-09-13）**：`md_cg/test_transfer.py` 落地三阶段对照（Phase A 旧库→B 纯 add 写入→C 复测），实测成功率 **0.0→1.0**（Δ=1.0 完全分离，20/20 全 ACCEPT，旧任务不遗忘 20→20），DEVIATION-005 样本守卫实跑验证；语料构造踩坑留证：CCG 要素须 `# 要素：` 标题行（正文行不识别）、生效条件须四槽渲染不得正文手写（两形态均触发 BLINDSPOT）。
+2. ~~**#6 递归四保护投影**~~（**已完成 2026-09-13**）：judge 当前单层无递归（如实边界）；四保护投影到 autonomy.explore 探索循环=当前唯一显式循环面——①单轮深度②seen 循环去重③`gain_gate` 增益门槛（outcomes 实现值→DEFER_EXHAUSTED 冷却）④`limit` 预算+bypass_gain 显式豁免；test_gain_gate 14 断言全绿。
+3. **#5 条件扰动实验入库**：把理论仓的条件扰动/条件词互换实验落为 md_cg 内可复现测试（对应 §12.2 可证伪四条的第一条），消掉「理论仓声明已证、代码库无工件」的裂缝。
+4. **#7 分层判断 escalation**：L1→L2→L3 升级判定暂缓——需先有真实多域场景，避免为投影而投影（理论投影声明允许）。
+5. **#11 第五失配维「条件边界」**：评估是否新增独立槽，或声明为派生量；先出裁决再动数据。
+
+## 2A. 端口/锚定实现—理论张力（v0.2 盘点实查）
+
+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 此边界。
+5. ~~**锚定验证三层校验零运行记录**~~（**已完成 2026-09-13**）：`test_verify_answer.py` 31/31 落地——13 条拒绝案例留痕（L1 内部格式泄漏/超长、L2 未知类别/无hits/缺导航、L3 截断/占位）+ 强制闸接线静态断言 + 自指案例；anchor 层 4 节点经 add(override)+verify(confirmed) 回填 vb=test 并落保护。
+
+## 3A. 端口/锚定缺口裁决（按优先级）
+
+1. ~~**#22 verify_answer 专项测试**~~（**已完成 2026-09-13，B→A**）：`md_cg/test_verify_answer.py` 31/31——三层拦截确定性用例矩阵+拒绝案例留痕 13 条+chat_engine 强制闸接线断言；anchor 层 4 节点 vb 回填（add override 快照通道 + verify confirmed 证据链，importance≥0.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 层启用裁决**~~（**已裁决并落地 2026-09-16**）：两条候选中选「接入实际流程」而非「文档声明暂缓」——structural 层新增正式业务写入口 `md_cg/tasks.py`（任务实体）。生效条件：存在需跨会话/跨上下文压缩续接的工程任务；边界：该层只承载任务骨架（目标／计划／计划变更／结果／状态／验收／边界），执行中间过程仍由情境层自持、任务产出知识归知识层，三者不互相替代；不适用：闲聊与无延续性的单步操作。
+
+## 1B. 信息差公理映射矩阵（v0.3，编号续接；理论 24 条 P-T-117~140 / 工程 P-E-46~59 / 证据 P-V-46~57）
+
+| # | 理论命题（P-T） | 工程对象（P-E） | 测试 | 证据（强度） | 状态 |
+|---|---|---|---|---|---|
+| 31 | P-T-117 信息差增定律 dD/dt≥0（自我定级「可操作化的经验命题」） | D_task/D_meta 分离未投影 | — | — | 🔴 理论自认经验命题，工程无对应 |
+| 32 | P-T-124 D_norm 四分量（w=0.30/0.25/0.30/0.15，**权重无来源推导**） | P-E-59 `wisdom_book.dex_auto_verify` 唯一数值实现 | 无 | B | ✅ **桥接裁决完成（2026-09-13）**：智能论3.4 §2.7.0 新增 DEV-002a——主工程检索口径 D 与 wisdom 四分量 D_norm 同为 D_task 工程化身（检索链路/验证链路），对象同一、数值不互换；两侧实现 docstring/注释已落口径声明。权重来源推导仍开放（诚实保留） |
+| 33 | P-T-126/127 D_task/D_meta 分离（学习悖论消解，有实测方案） | D_task≈`reflect` 的 D（检索命中口径）；D_meta 无对象 | 无 | P-V-51 审计自认「world 侧无处可写」 | 🔴 |
+| 34 | P-T-133 情绪=d²D/dt²（自我定级「形式化假设」） | P-E-48 `_emotion`（D2_EMOTION=0.05 阈值三态） | test_p12 状态转移断言 | P-V-47（B）；实库已激活（2026-09-13）：emotion=stable（D 序列 [1,1,1] → d2=0.0；D 恒 1.0 因复合 query 检索全 DEFER/BLINDSPOT 无 ACCEPT，D 口径对 judge 结果敏感） | 🟡 机制已证、实库有值（语义弱：序列无变化） |
+| 35 | P-T-134 情感=d²T/dt² | P-E-49 trust 二阶差分 | test_p12 D1-D3 | B | 🟡 同上 |
+| 36 | P-T-140 P_trust≠信息差补集、P_gap 判定 | P-E-49 `metacognition.trust` + P-E-58 `links.py` 链路级 P_trust（±步进/衰减/降级） | test_p12 | 实库 p_trust=0.75（12 事件 9 confirmed，2026-09-13：补测③ anchor 回填 4 + 本轮 preflight gate confirmed + 既有 mem 验证；p_gap=0.0 与 D=1.0 一致自洽） | 🟡 信任面已激活 |
+| 37 | P-T-129/130 Value=ΔD·σ(Gain) 与猎奇出局条款 | **autonomy 价值链（2026-09-13）**：score（ΔD 代理）定价排序 × `gain_gate` σ(Gain) 资格筛选；**期望/实现分离**：proposals 端 σ 由上轮 explore 的 outcomes 实现值推导；被拦提案落 deferred 可审计（不静默丢弃）；`bypass_gain` 预算化豁免（2.9.3.1 非任务探索显式预算） | **test_gain_gate 14 断言**（含「被拦提案的 ΔD 定价仍在——被拦原因=σ=0 非 score 低」）；连续 σ 留待 D_task 分离后（当前 0/1 粗粒度，诚实边界） | A | ✅ 已证 |
+| 38 | P-T-137 管理三工具（索引+条件路由/BLINDSPOT/误差更新） | 三工具全部在库（routing/judge/predict.feedback） | 全绿 | 条件论部分 A 级 | ✅ 管理宣言的工程形态已证 |
+| 39 | P-T-136（本次抽取发现的理论缺口）统一变量**无边界条款**——审美/创造零条款，好奇心被降格为策略而非豁免 | — | — | — | ✅ **条款已写入（2026-09-13）**：智能论3.4 §2.9.3.1「统一变量边界条款」——独立动机类/预算化豁免（非无限豁免）/与猎奇出局分条件空间/白箱纪律自限（规范性声明非定理）。对 GPT 三核心问题①的正面回答基础就位 |
+
+统计（信息差）：✅ 4 ｜ 🟡 3 ｜ 🔴 2（2026-09-13 v0.4：#37 价值链收口后；剩余 🔴=#31 D_task/D_meta 分离、#33 D_meta 无对象——待真实多域场景）
+
+## 2B. 信息差实现—理论张力（v0.3 盘点实查）
+
+1. **实库空转**（v0.3 盘点发现；**2026-09-13 已基本解除**）：激活后四面有值——D 面 `_reflection.jsonl` 3 条真实反思留痕（D 序列 [1,1,1]：复合 query 检索全 DEFER/BLINDSPOT 无 ACCEPT，D 口径对 judge 结果敏感——序列无变化能力的张力如实保留）、信任面 p_trust=0.75（12 事件 9 confirmed）、校准面 calibrated（ece=0.22）、预测反馈面 `_prediction.jsonl` 3 条 feedback（样本 1→3，hit 0/3 如实；9 条真实 routes 路线证实机制走通）。取证修正：盘点时「0 次 feedback」过时——盘点会话已留 1 条（文件名为 `_prediction.jsonl` 而非 `_predict.jsonl`）。根因发现：预测面数据形态先决条件——仅 causal/sequential 边可作为预测依据（hierarchical 被 D-002 门设计性拒绝），md 知识节点无边、须选真实因果链节点（如存在论）为起点。
+2. ~~**两套 D_norm 口径未打通**~~（2026-09-13 已桥接）：智能论3.4 §2.7.0 DEV-002a 声明两口径同属 D_task 工程化身（检索链路/验证链路），对象同一、数值不互换；mdcg._compute_d 与 wisdom VERIFY_WEIGHTS 两侧已落口径声明。剩余开放项：四分量权重（0.30/0.25/0.30/0.15）仍无来源推导。
+3. **U_behavior 零对应**：行为偏差只存文本字段无量化结构；U_prediction_error 不回流 D（误差只进 self 的校准面统计）。
+4. ~~**理论版本不同步**~~（2026-09-13 已回改）：智能论3.4 §2.7 信息差增定律处已回改为「结构对应，非数学同构——结构映射是有损投影，不构成数学等价」，与论证篇口径一致；附录15 映射表自带「映射性质声明」自限，维持原文。
+
+## 3B. 三专题合并补测优先级（总收尾）
+
+1. ~~**实库空转激活**~~（v0.3，成本最低）：**已完成（2026-09-13）**——真实 reflect ×3 + predict.feedback ×2（存在论因果链起点，口径先于预测声明，hit=False 如实登记）+ verify(confirmed) + self_state.refresh：D/情绪/p_trust/校准/预测反馈五面非空，audit 九条约束 PASS，状态卡 v5→v7；剩余张力如实入 §2B-1（D 恒 1.0、预测 hit 0/3）。
+2. ~~**transfer_test 迁移成功率**~~（v0.1 #8，双侧最高价值）：**已完成（2026-09-13，test_transfer 7/7）**——成功率 0.0→1.0、Δ=1.0 完全分离、全 ACCEPT、无遗忘、样本守卫验证；直接回应外部评审 Level 3 诉求。
+3. ~~**verify_answer 专项测试 + anchor 层 vb 回填**~~（v0.2 #22，B→A）：**已完成（2026-09-13，test_verify_answer 31/31）**——拒绝案例留痕 13 条，anchor 层 4 节点 vb=test+confirmed 证据链。
+4. ~~**preflight 改 fail-closed**~~（v0.2 #29）：**已完成（2026-09-13，双侧 12+12，真身+镜像同步）**。
+5. **条件扰动实验入库**（v0.1 #5，消理论仓声明与代码库工件裂缝）。
+6. ~~**D_norm 口径桥接裁决**（v0.3 #32）~~：**已完成（2026-09-13）**——选「声明」路径：智能论3.4 §2.7.0 DEV-002a 声明主工程 D=检索链路工程化身、wisdom 四分量=验证链路工程化身，对象同一数值不互换；未做工程打通（两化身各自条件空间内自洽，强打通无必要）。
+7. ~~**统一变量边界条款**（v0.3 #39，理论仓侧）~~：**已完成（2026-09-13）**——智能论3.4 §2.9.3.1 落「不归约」四条边界（独立动机类/预算化豁免/分条件空间/白箱自限）。
+
+## 5. 下一步
+
+- 三专题审计完成（条件论 ✅8/🔴4、端口锚定 ✅4/🔴6、信息差 ✅1/🔴4+实库空转）——矩阵 v0.3 定稿
+- 补测按 §3B 优先级执行；理论仓侧事项（版本不同步、边界条款）单列移交
+- 本文件含本地工作区路径与内部节点引用，**公开仓推送前需脱敏审查**（路径、内部报告名）
+
+---
+*盘点方法：三路并行多智能体侦察（理论仓 CommonTrustProtocol ／ md_cg 工程面 ／ 测试证据面），主仓对齐裁决。*

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 本机实测。
 
 ---
@@ -95,7 +95,7 @@ MdcgClient     → python -m md_cg.mcp_server   ← 本仓 md_cg/（需 PYTHONPA
 | B1 | `src/index.ts:126` | `moduleArgs` 默认 `['-m','aeis.mcp.server']` | `['-m','md_cg.mcp_server']` |
 | B2 | `src/index.ts:186` | `env: { AEIS_DB, AEIS_IDENTITY, ... }` | 去掉 `AEIS_DB`（或降为兼容可选） |
 | B3 | `src/bridge.ts:50` | 注释/默认指向 `aeis.mcp.server` | 同步为 `md_cg.mcp_server` |
-| B4 | `cordis.yml.example:26` | `moduleArgs: ['-m','aeis.mcp.server']` | 同步 |
+| B4 | `dsh/cordis.yml.example:26` | `moduleArgs: ['-m','aeis.mcp.server']` | 同步 |
 | B5 | **`package.json:14-21`** | `files` 白名单**不含** `md_cg` | **加 `md_cg`**（否则 npm 包不含大脑，B 无意义） |
 | B6 | `md_cg/whitebox.py:63` | `args = ["-m","aeis.mcp.server"]`（子进程） | 改为进程内调用（见 §4.2） |
 | B7 | `md_cg/vision_evidence.py:81,173` | `AEIS/data/vision/...` | 本仓 `data/vision/...` |

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 · 条件论重构稿。本文遵循白箱纪律：能被验证，才能被信任；能被反驳，才有资格成为理论。*