一句话定位
把电网标准条款变成机器可执行、可审计、可验证的作业约束：
标准条款 → 结构化解释 → 形式规则/任务约束/控制边界 → 专家评审签署 → 测试 → 发布 → EvidencePack
这条链是 EICPS 当前最值得验证的领域研究增量（V0.2 命题 P10）——不是把成熟工具重新命名，而是建立”电网标准条款—专家解释—形式规则—任务与控制约束—运行证据”的可追溯编译协议，以及规范闭合性下的默认拒绝机制。
证据状态：【待验证假设】。该链的价值主张尚未经 167 闭环实验验证，本栏目全部内容属于协议设计，不是已验证成果。
为什么是”编译”
标准文本对机器人不可直接执行。中间必须经过一系列语义保持的转换，且每一步可回溯到上一步——这正是编译器的结构：
| 编译器 | 规范编译链 |
|---|---|
| 源代码 | 标准条款原文（含上下文与版本） |
| 前端解析 | 条款单元化、术语与对象绑定 |
| 中间表示 | 结构化解释（条件—义务/禁止—例外—后果） |
| 优化与检查 | 条款级双审、测试用例（正/反/边界/域外） |
| 目标代码 | 形式规则、HTN 前置条件、连续控制约束、FAILSAFE |
| 符号表与调试信息 | SignedConstraintArtifact 的溯源字段 |
| 运行时 | 三值门控 Permit + 运行证据 EvidencePack |
与编译器不同的是：正确性不来自自动证明，而来自条款级专家评审、签署、测试和版本治理。η_cert 不是自动可证明正确的自然语言翻译函数。
栏目导航
- 标准知识七层结构 — 来源层到证据层的分层与可追溯关系
- 两次编译 — 精准对话（认知使用）与可靠作业（行动使用）
- SignedConstraintArtifact — 编译产物的最低字段要求与双审签署
- 三值门控与默认拒绝 — 强 Kleene 合取、UNKNOWN 语义与闭世界校验
- 条款覆盖率 — 覆盖率分母与冲突消解（关键口径待定）