研究问答
研究过程中产生的真实问题与深度解答——不是速查手册，
而是记录"为什么这样设计"的叙述性文字，配合公式与图表。
新问题随时添加：在 src/content/qa/ 创建新 MDX 文件即可。
概念类
理论构造与核心定义
★ Q-29 一张图读懂 EICPS 理论框架
六层推导图的逐层解读：从工程问题到数学诊断、理论框架、形式化工具、Brain-Spine-Body 架构，直到 EvidencePack 安全闭环
★ Q-28 什么是形式化安全验证？理论来龙去脉
从程序逻辑、模型检验、Lyapunov 稳定性到 STL + CBF——两条独立发展的理论河流如何在 Safe Autonomy 框架里汇合
★ Q-25 什么是 Safe Autonomy？EICPS 和它是什么关系？
从 Chuchu Fan（范楚楚）ACM 2023 专著出发，阐明 Safe Autonomy 学术框架与 EICPS 工程实现路径的上下游关系
定位类
与已有方法的边界厘清
Q-10 EICPS 和 VLA / 扩散模型有什么区别？
泛化能力与安全保证是两件不同的事，EICPS 把 VLA 作为组件使用
Q-11 EICPS 和 AI Harness Engineering 的本质区别是什么？
外部行为管理 vs 内嵌动力学约束——两种根本不同的安全路径
Q-12 "不发明新数学"是什么意思？学术贡献在哪里？
V0.2 口径的贡献三层：领域组织（ES）、认识论选型（七项工具）、工程原创（规范编译链与 EvidencePack）
工程类
架构决策与实现逻辑
★ Q-30 Prj167 的具体作业是什么？末端执行器如何设计？
从销钉缺失这一工程触发点出发，解读插拔销钉末端执行器的机械结构、作业流程，以及它在 EICPS Body 层的位置
Q-13 为什么用 CBF 而不是纯 MPC 做实时安全？
前向不变性 vs 滚动时域优化——两者分工不同，EICPS 同时使用两者
★ Q-15 为什么要分层？从三层到六层
时间尺度分离是物理事实，支撑非实时/软实时/硬实时职责分层；层数是设计决定——V0.1 三层因可信计算基过大细化为 V0.2 六层
验证类
实验设计与安全证明
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，
自动出现在侧边栏与本页。
🔗 与文档中心的关系
问答是集成框架文档的叙述性补充—— 框架文档讲"是什么"，问答讲"为什么"和"如何权衡"。
📐 问答品质要求
每条问答按对话品质写作，字数不限，配合公式与图表， 核心是记录研究过程中真实的设计思考与取舍依据。