第五部分导言

一个理论框架最重要的诚实，不是声称自己能做什么，而是清楚地说明自己在哪里成立、在哪里不成立——以及这道边界本身是理论的一部分，而不是理论的缺陷。

验证不是收尾，而是对话

在许多技术书籍中，“验证”章节扮演的是收尾角色：前面建立了理论，这里展示它在几个例子上运行正常，然后结束。

本书的第五部分不打算扮演这个角色。它是理论框架与工程现实之间的一场诚实对话：框架声称能覆盖完整复杂度谱系，那就必须在谱系的不同层次上逐一检验；框架声称具有分层可适配性，那就必须明确指出每一层的激活条件和有效边界；框架声称能向通用EICPS演化，那就必须诚实地说明当前离那个目标还有多远。

这场对话的结果，应该让读者对框架的能力边界有一个清晰、可操作的理解——不仅知道”它在这里有效”，而且知道”它在那里为什么失效，失效的根本原因是什么”。

分层验证策略

第14章的核心贡献，不是某一个具体实验结果，而是验证策略本身的设计。

这个设计基于一个重要的方法论原则：框架的分层可适配性，必须通过在不同复杂度层次上的独立验证来支撑，而非通过在单一极端场景上的展示来替代。如果只在最复杂的场景上验证，无法说明框架在简单场景上是否是合适的（可能过度复杂，增加了不必要的工程负担）；如果只在最简单的场景上验证，无法说明框架在复杂场景上是否充分（可能在高复杂度时力不从心）。

三层验证的设计如下：

第一层验证对应局部确定场景——架空线/变电站单机运检。在这个场景中，EICPS框架以最小配置运行：Brain层只调用语义路由，不使用完整的HTN规划；Spine层运行STL在线监控和CBF控制；Body层的EKF在无强电磁干扰的条件下运行。验证目标是**安全控制子集（CBF+STL）**的有效性：在规定电压等级安全间距约束下（220kV≥1.8m，500kV≥3.4m），机械臂全程零违规的形式证明。

这一层验证的重要性，在于它说明了一件技术上并不显然的事：完整具身空间框架中的安全控制子集，在简单场景下的性能不亚于专门为该场景设计的局部方法。这是分层框架工程可行性的基本条件。

第二层验证对应中层协同场景——区域电网多机协同巡检。在这个场景中，Brain层的LLM路由和HTN规划被激活；跨机器之间的任务接口和安全隔离协议被调用；SEC=1的语义完备保证需要覆盖多机协同场景的扩展词汇集。验证目标是语义路由+安全控制的联合有效性：多机之间任务分配的语义正确性，以及跨机器的安全边界不被侵入。

第三层验证对应完整认知-物理耦合的复杂系统场景——AI具身主体在全自主模式下完成需要实时推理的复杂运检任务。在这个场景中，EICPS框架的所有组件同时激活：三流形的状态估计、完整验证链（V-SEM+V-PLN+V-SAF）的在线运行、形式证据包的实时生成。验证的目标，是说明完整框架在认知-物理高度耦合的条件下，四类结构性约束的同时满足率。

三层验证通过同一形式化证据链贯通——无论在哪个复杂度层次上运行，Spine层生成的形式证据包都使用相同的结构，保证跨层比较的方法论一致性。

适用边界：不是局限，而是激活条件

第15章处理一个在技术写作中经常被回避的问题：这个框架在哪里不适用？

但这个问题的正确表述，不是”框架的局限是什么”，而是”框架各层的激活条件是什么，以及在条件不满足时会发生什么”。两种表述的区别在于认识论立场：前者暗示局限是缺陷，后者将边界视为设计规约的组成部分。

规范闭合性的前提条件是最重要的边界。$\mathrm{SEC}=1$ 的形式等式成立，要求任务知识域是有限可枚举的闭合域。对于架空输电线路运检，这个条件被满足——行业规程体系规定了有限的操作类型集合，词汇表可以通过系统性枚举达到覆盖闭包。但对于通用服务机器人（需要处理开放世界的自然语言指令），这个条件不满足——此时V-SEM给出的是统计界而非形式等式，后续验证链的保证等级也随之降级。

这个边界的正确理解是：EICPS框架在部分开放域和完全开放域中仍然可用，只是V-SEM在这些情形下给出的是 $\mathrm{SEC} \geq 1-\delta$ 而非 $\mathrm{SEC}=1$，整条验证链的最终保证退化为统计性保证。这不是框架失效，而是框架在不同前提条件下的不同输出——与所有形式化方法的行为规律一致。

动态规程更新是另一个重要边界。当行业规程发生更新（新电压等级标准、新操作类型加入），词汇表需要重新构建并验证规范闭合性，形式证据链需要重新生成。这个更新过程有明确的协议（第15章详述），但它是离线过程而非实时过程——框架不处理”规程在运行中更新”的在线适应场景。

计算代价的分析是第15章的另一个主要内容。三流形状态估计、在线STL监控、CBF QP求解在不同复杂度层次上的计算开销，对应不同的硬件需求——简单层次可在边缘计算设备（NVIDIA Jetson级别）上运行，完整框架需要更强的计算资源。这个分析使框架的工程可行性有了量化的基础，而非仅停留在理论可行性层面。

展望：从专用场景到通用EICPS

第16章是全书的收束，也是向更广阔问题域的开启。

具身空间框架目前的完整验证，集中在架空输电线路运检这一特定应用域。从这一域向通用EICPS的演化，面临三个核心的开放问题：

规范闭合性的泛化条件。 对于不同的应用域（手术机器人、灾难救援、工业装配），如何建立可系统化的词汇枚举协议？是否存在对”部分闭合域”（语义空间大部分闭合但存在长尾开放区域）的有效处理方法？EICPS的理论框架为这些问题提供了精确的问题表述，但具体的解答仍是开放的研究方向。

多流形对齐与联邦验证。 当多个EICPS实例（不同机器人、不同任务域）需要协作时，它们各自的语义流形 $\mathcal{M}_{\mathrm{sem}}$ 一般不同构——不同的词汇集构成不同的语义嵌入空间。跨流形的对齐（在保持各自规范闭合性的同时建立跨域映射）和联邦验证（在不共享内部状态的前提下联合证明系统级安全属性）是通用EICPS的关键理论问题。

具身空间作为世界模型的几何先验。 近年来世界模型（World Model）研究的核心关切——建立对物理世界因果结构的内部表示——与具身空间的三流形框架存在深刻的理论关联。$\mathcal{M}_{\mathrm{phy}}$ 的李群结构为物理世界的运动因果性提供了几何先验；$\mathcal{M}_{\mathrm{sem}}$ 的规范闭合性为任务知识的完备表示提供了认识论保证。将具身空间框架与世界模型研究对接，是一个值得深入探索的方向。

第16章以”形式化自主的哲学”作为全书的最终收束。形式化自主不是要消除不确定性——物理世界的随机性不可消除——而是要在不确定性中维持可证明的不变性。一个能够在任意合法状态下保证安全约束的系统，不是因为它”知道”会发生什么，而是因为它的安全层在结构上独立于它”知道”什么。这种独立性，是具身空间框架设计的最深层逻辑，也是形式化自主在哲学上区别于统计智能的本质所在。

本部分对应 LaTeX 文档的 Part V（第14–16章）。第16章是全书的最终章，其结束语将明确标注书中所有开放问题，供后续研究参考。