具身空间知识库
面向电网机器人的 EICPS 研究工作台
我们不建立新的基础数学。EICPS 集成控制理论、混杂系统、任务规划、本体与知识图谱、时序逻辑、安全控制与运行时保证等成熟工具，解决一个具体问题：让智能系统在真实电网作业环境中，做出可解释、可约束、可验证的物理行动。
规范编译链
Norm Compilation Chain
电网标准怎么变成机器可执行且可审计的约束： 条款级双审签署、SignedConstraintArtifact、三值门控与默认拒绝。
具身空间 ES
Embodied Space
任务执行域怎么被定义成可计算的对象： 七元组 ES(a,T,t)、任务状态闭包 X_T、可行集 / 安全集 / 可达集与强 Kleene 三值门控。
保证与边界
Assurance & Boundaries
什么能保证、什么不能、超界后如何处置：条件化保证 A ⇒ P、 UVR / FRR 成对指标、默认拒绝 · 降级 · 人工接管。
我们不主张什么
- — 不主张「具身空间」是一种新的拓扑或几何空间；「空间」是领域组织术语。
- — 不主张对开放环境作业提供 100% 可靠保证。可提供的是限定运行域内的条件化保证，以及超界后的确定性拒绝、降级与接管。
- — 不主张任何术语的首次提出。
- — 站点历史版本中的「三流形相乘」「语义流形首创」「范畴论证明安全可组合」已废止 → 修订说明
知识库入口
文档中心
框架 · 工程 · 场景 · 验证
从问题定义到工程实现的全链路文档。历史页面带废止横幅，以 V0.2 口径为准。
数学讲义
李群 · STL · CBF · HTN · EKF · 混杂系统
成熟数学工具的讲义与 Colab Notebook——工具属于既有谱系，注明来源。
研究问答
31 篇 · 审稿人式质疑
每篇标题都是一个审稿人式质疑。V0.1 时期篇目已加废止标注，分批修订中。
符号 & 术语
唯一真源（数据化改造中）
全站符号与术语的统一定义；已废止符号单独分区，不再混用。
版本与修订
V0.2 · 2026-07-23
六条废止说明与现行表述对照——对外口径的唯一变更记录。
参考文献
控制 · 混杂系统 · 本体 · 运行时保证
按领域分类的成熟理论来源，附与 EICPS 框架的具体关联说明。