文档中心
应用驱动的具身智能集成框架 — 困难问题 · 理论选型 · 工程实现 · 场景验证
困难问题
Hard Problems
四个约束同时绑定，才构成非平凡问题：高压作业场景、无人自主执行、人机协同、实时安全可靠。现有方案各攻一隅，无一全解。
规范编译链
Norm Compilation ★ 主推增量
标准条款 → 结构化解释 → 形式规则与控制约束 → 专家评审签署 → 测试发布 → 运行证据。当前最值得验证的领域研究增量【待验证假设】。
保证与边界
Assurance & Boundaries
什么能保证、什么不能、超界后如何处置：条件化保证 A ⇒ P、假设集清单、UVR/FRR 成对指标、人的三重角色与网络安全边界。全站可信度承重栏目。
集成框架
Integration Framework
七项工程选型各司其职——SE(3) 管几何、HTN 做规划、STL 写规约、CBF 守安全、EKF 估状态。具身空间三稳定性条件是理论内核，接口设计将它们粘合为可运行的整体。
系统工程
Systems Engineering
Brain/Spine/Body 三层架构的工程实现：Harness 框架、ESTL 任务语言、双流 V 模型、EvidencePack 证据协议——从部署到验证的完整工具链。
场景验证
Scene Validation
架空线路运检是试金石：四个约束在真实场景下能否同时满足？任务完成性、实时安全性、集成增益三把尺子给出量化答案。
论文专著
Research Papers
每篇论文拆解为概览、方法、实验、代码、数据集五个子页。理论如何转化为可重现的实验结果——细节都在这里。
数学讲义
Math Foundations
两条主线，十三讲：流形几何等成熟数学工具的系统讲义（流形叙事部分已按 V0.2 加废止标注）；STL / CBF / HTN / EKF 打通控制理论选型基础。代码即证明，每讲配套 Colab。