@furongjun1999/dsh-memory 0.4.6 → 0.4.8

package/docs/theory//345/215/225/347/272/277/347/250/213/344/270/216/346/263/250/346/204/217/345/212/233/351/233/206/344/270/255_/346/227/240/344/272/211/350/256/256/347/220/206/350/256/272/346/226/207/346/241/243_v1.0.md

@@ -0,0 +1,129 @@
+# 单线程与注意力的集中 —— 无争议理论文档 v1.0
+
+> **来源**：命题「单线程只是注意力的集中」出自主代理与使用者的对话，其初版白箱精确化曾收录《并发必然性理论》§2。
+> **本文不是初版的沿用**：初版经蜂巢并发五单元审查（反思单元×2 + 验证单元×3，判定见 §6），初版全部三份验证判定为 REJECT（可修订），本文按全部判定单重写。
+> **重写原则**：每处断言要么被条件边界封住，要么弱化为状态标注的刻画；凡不能由观测或文本检查裁决的项，显式标注为建模选择，不作为断言提出。
+
+---
+
+## 0 边界声明（先于一切断言）
+
+| # | 声明 | 封住的攻击 |
+|---|---|---|
+| B1 | 本文全部工程性断言在**计算架构/功能层**陈述；神经科学内容仅以**工作假设**身份出现并标注争议状态（见 B5），不作为已决经验结论。 | 跨层等同误读（C1/A1） |
+| B2 | 本文**不主张**主观串行感是幻觉、不否认第一人称报告的价值，也不主张第一人称与第三人称证据有本体论等级；本文区分的是证据类型（报告 vs 测量），不是真实性等级。 | 消除主义误读（C2） |
+| B3 | 本文对「单线程」的归因是**非排他的**：注意力带宽的序列化分配是一种充分的刻画路径，不排除其他成因并存。 | 排他命题反例（D1/V1-1） |
+| B4 | **串行作为策略选择是正当的**。本文不主张「并发总优于串行」；收敛粒度选择是成本-收益权衡（见 §3.2）。 | 全称规范断言（B1面/V1-2） |
+| B5 | 「神经层不存在全局单线程执行器」为**工作假设**：现有行为学证据（心理不应期、注意瞬脱等）同时表明存在任务特异的**局部串行瓶颈**。两者相容：无全局串行执行器 ≠ 无任何串行瓶颈。 | 全称否定与中央瓶颈证据的冲突（V2-1/A1） |
+| B6 | 「注意力」「收敛带宽」「收敛位」「调度」均为**功能性术语**（见 §1），不是解剖学或生理学断言。 | 术语实体化误读（A2/D4） |
+| B7 | 「4±1」是工作记忆组块容量的**启发式借用**，仅作量级参照，不是对任何整合带宽的直接测量；工作记忆组块容量与多对象追踪容量不是同一构念。 | 数值锚点过度声称（V2-5/6/7/D3） |
+| B8 | 本文**不涉及**意识本质（hard problem）的任何立场；「人脑→agent」为功能性类比，不主张工程系统复制人脑机制。 | 类比外溢（V3-9） |
+| B9 | **元条款**：凡不能由观测或文本检查裁决的断言，本文显式标注为「建模选择」，不作为断言提出。 | 不可证伪指责（B2面-D7） |
+| B10 | 串行/并发区分是**理想型**描述；实际系统的收敛粒度可连续、可自适应、可混合。 | 二元对立误读（B2面-B2/D5） |
+
+---
+
+## 1 术语表（显式定义，防滑移）
+
+**1.1 「单线程」的三义**（初版同一词三用未分界，为本版显式拆分）：
+
+| 标签 | 指称 | 层 |
+|---|---|---|
+| **S-单线程** | 主观报告：「我一次只做一件事」 | 报告层 |
+| **E-单线程** | 收敛形态：收敛粒度设为整任务的执行呈现 | 架构层 |
+| **C-单线程** | 工程约束：系统实现是否应串行 | 决策层 |
+
+命题只在 E-义上做刻画；S-义是现象（B2），C-义是权衡（B4）。三者不得互推。
+
+**1.2 注意力（本文用法）**：**带宽分配过程**——决定「哪个节点获得整合」的功能。该刻画不预设中心执行者，不使用日常心理语义（聚光灯、可意志控制的实体）。它是一个功能性角色描述，不是机制断言（B6/B9）。
+
+**1.3 两个独立参数**（初版将二者折叠，为本版拆分）：
+- **收敛带宽**＝容量参数（多少整合可同时发生；稀缺）；
+- **收敛粒度**＝单位参数（收敛事件在任务树的哪个深度发生）。
+粒度下沉改变收敛事件的**次数**，带宽约束收敛事件的**容量**；二者相关但不同一，任何从一方到另一方的推论必须显式给出资源账本（本文 §3 不依赖此类推论）。
+
+**1.4 三类串行**（初版坍缩为一类，为本版三分）：
+- **基座串行**：底层展开本身串行（单执行器、单输出通道、因果依赖链）；
+- **约束串行**：由正确性/安全/资源约束导出的串行（事务串行化、速率限制）；
+- **认知伪串行**：底层可并行、任务可分解，但执行被组织为串行黑盒。
+**本文全部刻画只针对第三类。** 前两类不在本文断言范围内。
+
+---
+
+## 2 核心命题（弱化形式）
+
+**P0（命题，替代初版排他形式）**：
+> 在本文条件空间内，E-单线程不是与并行展开对立的独立执行机制；它被定义为收敛粒度设为整任务时的序列化收敛形态，可由注意力的有限带宽序列化分配来刻画。此为功能性刻画，不穷尽 E-单线程的全部成因，不作排他性唯一因声明。
+
+**公设 A1**（初版误标为第 1 条的推论，依判定改标公设）：
+> 本文公设：注意力承担收敛带宽分配，不承担展开计算；底层执行由并行展开过程承担。
+> （状态：建模选择。注意参与执行控制的经验证据不与此公设冲突——「分配不承担展开」是本文的功能分工定义，非神经机制断言；见 B6/B9。）
+
+**刻画 1（对应初版第 1 条，弱化+状态标注）**：
+> 神经活动层面，任意时刻存在大规模并行分布式处理；「全脑单一串行执行线程」没有证据支持，但也未被排除——此为工作假设（B5）。反应选择等阶段存在任务特异的局部串行瓶颈（心理不应期、双任务干扰等现象），可产生主观串行感。主观串行感与注意/中央瓶颈类模型**相容**；「由稀缺带宽逐个锚定实现」是待检验的机制假设，不作共识断言。
+
+**刻画 2（对应初版第 3 条，理想型化+B10）**：
+> 给定任务树：E-单线程（串行执行）＝收敛粒度设为整任务的理想型——全部展开在收敛位视角外，收敛只在根节点发生一次；并发执行＝收敛粒度下沉到子任务的理想型——各分支节点各自收敛，产出到达收敛位时已是裁决单位。实际系统在两极之间连续分布（B10）。
+
+**刻画 3（粒度术语冲突修复）**：
+> 「多任务之间的串行」（注意力依次锚定不同任务根节点）与「单任务内部的收敛粒度」（根节点内是否黑盒一次收敛）是两个不同问题。初版第 1 条描述前者、第 3 条定义后者，二者不冲突，但必须分开陈述——本文如此陈述。
+
+---
+
+## 3 工程含义（条件式推论，替代初版全称断言）
+
+**3.1 条件式推论 P1**（初版「agent 没有单线程义务」「结构性倒置，不是审慎」的修订形式）：
+> **当且仅当**满足前提集 {底层展开确实可并行 ∧ 任务可分解 ∧ 无外部串行契约（正确性/安全/实时/资源约束）} 时：把整任务实现为串行黑盒，等于把宽展开层的工作压入唯一窄收敛位，构成**结构性错配**。此时 agent 不默认承担整任务串行黑盒义务。
+> 任一前提不满足时，本推论不适用，串行由该前提正当化。
+
+「唯一窄收敛位」是本文模型构造的容量限制（B6/B9），其与工作记忆 4±1 的关系仅为启发式量级参照（B7），不承担论证重量。
+
+**3.2 串行正当场景（非穷举）**：
+1. **基座串行**：单执行器/单输出通道/强因果依赖——无并行可供分配；
+2. **约束串行**：事务一致性、竞态避免、副作用幂等、速率与成本约束——串行由正确性导出；
+3. **成本串行**：子任务过微，拆解与协调/合并成本超过并行收益——保持粗粒度是权衡结果而非倒置；
+4. **耦合串行**：子任务状态强耦合不可拆——无独立子任务即无「宽展开层」可依赖。
+
+**3.3 粒度决策规则（非规范性，B4）**：
+> 收敛粒度下沉的收益须扣除协调与合并成本；粒度选择是逐任务的成本-收益权衡，本文不提供默认答案。
+
+---
+
+## 4 争议封口对照表（初版表述 → 本版处置）
+
+| 初版表述 | 问题（判定单溯源） | 本版处置 |
+|---|---|---|
+| 「单线程**只是**注意力的集中」 | 排他量词把功能刻画升格为还原等同（R1-D1、R2-C1、V1-1、V3-1 全五面命中） | P0 弱化：非排他归因 + 功能性刻画（B3） |
+| 「神经层没有单线程」 | 全称否定与中央瓶颈证据冲突、以已决语气陈述（R2-A1、V2-1、V3-5） | 刻画 1：工作假设 + 局部瓶颈相容声明（B5） |
+| 「注意力是调度器，不是执行器」 | 二分过强：注意参与执行控制；「调度器」携带未授权蕴含（R2-A2、V2-3、V1-5、R1-D4） | 公设 A1 显式标为建模选择 + §1.2 功能性定义（B6/B9） |
+| 「agent 没有单线程义务」「结构性倒置，不是审慎」 | 描述性前提推不出规范性结论；反例场景未封（R2-B1、V1-2、V3-2/3） | P1 条件式推论 + §3.2 正当场景清单（B4） |
+| 「唯一窄通道（4±1 量级）」 | 工作记忆组块容量≠追踪容量；借用未授权（R1-D3、V2-5/6/7、V3-7） | 降为启发式参照，不承担论证重量（B7） |
+| 「串行＝粒度整任务；并发＝粒度下沉」 | 无操作定义、二元对立（R2-B2、V3-8） | 刻画 2 理想型化 + 可观测代理量（任务树收敛深度 d 处的裁决节点数）（B10） |
+| 「是主观报告，不是神经事实」 | 可滑向消除主义与本体等级制（R2-C2） | B2 非消除主义声明 |
+
+---
+
+## 5 结论
+
+1. 初版命题的可保留内核：E-单线程可由注意力带宽的序列化分配作**功能性刻画**——该内核在全部五面审查下存活；
+2. 初版的争议全部来自**形式强度**（排他量词、全称量词、规范跳跃、术语滑移、未声明借用），不来自内核本身——本版以条件边界与状态标注封住全部已识别争议源；
+3. 「无需争议」的达成方式不是断言更强，而是**每个断言声明自己的条件空间与证据状态**（B9 元条款）。
+
+---
+
+## 6 验证留痕（蜂巢并发，v0.2 配置标准）
+
+| 单元 | 身份 | 审查面 | 裁决 | job |
+|---|---|---|---|---|
+| 反思×1 | 反思者 | 概念偏差（D1-D6 假说） | 假说移交包 | h1789458016491_7320 |
+| 反思×2 | 反思者 | 争议预测（A/B/C 三类读者） | 假说移交包 + 边界条款候选 | h1789458016570_7050 |
+| 验证×1 | 裁决者 | 逻辑有效性 | REJECT（修订后可再审） | h1789458307647_56cc |
+| 验证×2 | 裁决者 | 科学锚点（离线，标置信度） | REJECT（修订后可再审） | h1789458016737_4824 |
+| 验证×3 | 裁决者 | 类比外溢与边界完备性 | REJECT（修订后可再审） | h1789458016823_7658 |
+
+> 产出物生命周期说明（2026-09-15）：五单元的原始产出中间件（R1/R2/V1-V3 文件）已按《子代理配置标准》§5.4 在结论整合后清理，回放凭证以本表 job id 为准。
+
+**剩余未决项（诚实保留，不静默丢弃）**：
+- 判定单产出环境均为 memory_access=degraded，未做记忆检索与联网核验；本文因此把全部经验锚点降级为状态标注引用（B5/B7/B9），使未决项不承担论证重量；
+- 若后续联网复核 PRP / Cowan 2001 / Pylyshyn & Storm 1988 等原文，可把刻画 1 与 B7 的置信度升级；
+- 本文 §2/§3 的修订文本接受下一轮验证单元复审（初版三 REJECT 均注明「修订后可再审」）。

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）。