版本与修订

废止理由：笛卡尔积只生成联合状态空间，其切空间为直和、跨因子截面曲率为零，数学含义是三者互不耦合，无法表达交互、约束与涌现；且语义、数据、任务与规范不满足流形条件。同一对象此前并用 ×、+、∩ 三种运算符，本身不自洽。

现行表述：异质状态空间 X₀ = X_phy × X_cyb × X_task × X_norm 作为先验联合域，真正承重的是其上由强 Kleene 三值合取确定的可行集 Z_adm、安全集与可达集。

废止理由：概念图结构表示在知识图谱、图嵌入与隐空间研究中已有长期积累；且离散图不局部欧氏，称「流形」是类比而非对象。

现行表述：不追求任何术语的首次提出；相关表示方法注明来源谱系。

废止理由：范畴论提供组合性的形式语言，不自动给出安全保持的证明。在没有「函子性 ⇒ 安全保持」的具体定理及其前提之前，该表述属于以命名冒充定理。

现行表述：范畴论作为接口组合的描述语言使用。

废止理由：属几何深度学习与图信号处理既有谱系。

现行表述：修订为「采用」流形／图傅里叶与 Laplace-Beltrami 谱方法，注明来源。

废止理由：单一 Spine 同时承担非实时知识推理、任务编译与硬实时安全职责，形成过大的可信计算基，违反运行时保证「安全控制器小到可验证」的基本要求。

现行表述：Brain / Compliance Gateway / Deterministic Executor / Safety Kernel / Body / Bus 六层，各层保证方式分别声明。

废止理由：Permit(T) ≠ TRUE ⇒ Execute(T) = 0 仅是软件门控层面的确定性，且以计算平台与执行链正常为前提；它是安全性质，永不行动的系统亦可平凡满足。

现行表述：限定运行域内的条件化保证（A ⇒ P），超界后确定性拒绝、降级与接管；安全指标 UVR 必须与有效任务误拒率 FRR 成对报告。