研究问答
研究过程中产生的真实问题与深度解答——不是速查手册，
而是记录"为什么这样设计"的叙述性文字，配合公式与图表。
新问题随时添加：在 src/content/qa/ 创建新 MDX 文件即可。
概念类
理论构造与核心定义
2026-04-25 ★ Q-03 什么是具身空间？如何建模？
从机器人关节空间的局限出发，推导出三流形乘积结构 M = M_sem × M_phy × M_lat，给出 2-DOF 机械臂的完整建模示例
★ Q-04 语义和数据可以是流形吗？
三分量的数学地位不对等——物理层是严格的黎曼流形，语义层是离散图（混合状态空间），数据层依赖流形假设；这一区分对 EST 论文的严格性至关重要
定位类
与已有方法的边界厘清
Q-10 EICPS 和 VLA / 扩散模型有什么区别？
泛化能力与安全保证是两件不同的事，EICPS 把 VLA 作为组件使用
Q-11 EICPS 和 AI Harness Engineering 的本质区别是什么？
外部行为管理 vs 内嵌动力学约束——两种根本不同的安全路径
Q-12 "不发明新数学"是什么意思？学术贡献在哪里？
三层区分：EST 原创理论、七项选型的认识论贡献、接口与 EvidencePack 的工程原创
工程类
架构决策与实现逻辑
验证类
实验设计与安全证明
Q-17 消融实验怎么设计？集成增益如何衡量？
三基线设计与集成增益 IG 的形式定义——证明七个工具的组合产生了正向增益
★ Q-18 语义 Nyquist 弱版本证明：基于国网总部167项目的确定性推导
利用电力作业规程的枚举完备性，将 SEC 从统计估计（≥1−δ）提升为确定性保证（= 1）——规程约束假设（PCA）是可验证的，证明过程在数学上严格
★ Q-19 语义 Nyquist 具体实例：架空线路异物清除（激光无人机）
以激光无人机清除架空线路异物为例，完整枚举 V_167 任务词汇表，估计语义内在维度 d_sem ≈ 3，计算 |Q|_min 并验证 PCA——将定理 Q-18 从抽象推导落实为可填数字的实验方案
📝 添加新问答
在 src/content/qa/ 创建 .mdx 文件，
设置 category 和 order，
自动出现在侧边栏与本页。
🔗 与文档中心的关系
问答是集成框架文档的叙述性补充—— 框架文档讲"是什么"，问答讲"为什么"和"如何权衡"。
📐 问答品质要求
每条问答按对话品质写作，字数不限，配合公式与图表， 核心是记录研究过程中真实的设计思考与取舍依据。