从 EST 到 ES：具身空间概念的演进

本页记录一次真实的理论修订。EST（Embodied Space Theory）是 V0.1 时期的名称与主张；2026 年 7 月评审后，V0.2 将其修订为具身空间 ES 的工作定义。修订不是措辞调整，而是撤回了三项实质主张。诚实记录这个过程，本身是研究工作台的一部分。

V0.1 曾主张什么

EST 曾以三流形乘积空间为核心定义：

\mathcal{M} = \mathcal{M}_{sem} \times \mathcal{M}_{phy} \times \mathcal{M}_{lat}

并主张四个”原创概念”：三流形乘积空间、具身变换算子 ET、结构谱 Σ、Flow-Jump 动力学，称其为”理论原创点”。

① 乘积不产生耦合。 笛卡尔积只生成联合状态空间：其切空间为直和，跨因子截面曲率为零——数学含义恰恰是三者互不耦合。想表达的”交互、约束与涌现”没有被这个结构承载。同一对象还曾并用 ×、+、∩ 三种运算符，本身不自洽。

② 流形条件不满足。 语义（概念图结构）、数据、任务与规范不满足流形的局部欧氏条件。称 M_sem 为”流形”是类比而非数学对象，标注”首创”亦不成立——图结构表示在知识图谱与图嵌入研究中有长期积累。

③ “原创”定性撤回。 Flow-Jump 是混杂系统（Goebel, Sanfelice & Teel）的标准语言；结构谱属谱方法既有谱系；ET 的”体系性主张”取消，保留几何/拓扑/安全三类判据的工程用法并注明来源。V0.2 立场：不主张任何术语的首次提出。

完整废止清单见修订说明。

“具身空间”中的”空间”是领域组织术语，不主张新的拓扑或几何空间。若把 ES 替换为”具身任务执行域”，多数结论仍成立：

\mathrm{ES}(a,T,t) = (X_T,\ Y_T,\ U_a,\ \mathcal{A}_T,\ \mathcal{C}_T,\ F_T,\ H_T)

面向特定受控主体 a 与任务 T，把任务判定所需的异质状态、观测、动作、可供关系、交互动力学及约束组织起来，并据此计算允许、安全和可到达的行为。

异质状态用各自合适的数学描述，不强行统一：物理位姿用 SE(3) 与配置流形（这部分用流形是恰当的）；离散任务用自动机/任务网络；语义用本体与知识图谱；不确定性用概率空间；规范用规则与时序逻辑。先验联合域为：

X_0 = X_{phy} \times X_{cyb} \times X_{task} \times X_{norm}

真正承重的不是联合空间，而是其上的三个集合：由三值合取确定的可行集 Z_adm、安全集与可达集。“空间性”由它们承载，而不是由名称承载。

V0.1 表述	V0.2 表述
SE(3) 是 M_phy 的坐标系	SE(3) 描述 X_phy 中的位姿与构型（不变）
HTN 在 M_sem 上做分解	HTN 在任务模型中分解规范任务
CBF 在切空间画安全边界	CBF 在控制层维持安全集（不变）
ET 算子量化语义-物理耦合	语义信念接地 μ_t + 规范编译 η_cert 两类接口，各自可测试
时间尺度分离推导三层架构	时间尺度分离支撑六层架构中非实时/软实时/硬实时的职责分层

工具本身几乎都留下了——被撤回的是”一个几何框架统一一切”的包装。ES 与约束型 POMDP、混杂系统高度重叠，其价值在于面向电网机器人的领域组织与集成，而非新数学。