Working Draft · AI Era Execution Security Language
This article is part of the Havenlon Execution Security Language project.
The terminology and definitions presented here describe the current
working draft and may evolve as the discipline matures.AI 时代执行安全语言体系（工作草案）
本系列旨在建立 AI 时代执行安全的共同语言。
本文中的术语与定义代表当前工作草案，
将随着理论研究、工程实践和社区讨论持续修订
23. Boundary Independence｜边界独立性
一句话定义
边界独立性，是一个安全边界在身份、权限、状态、更新、通信和失陷路径上不被另一边界完全控制的属性。
严格定义
两个模块名称不同，不代表边界独立。
如果它们共享：
- 同一个管理员；
- 同一个操作系统；
- 同一个 root；
- 同一套更新密钥；
- 同一个数据库；
- 同一个恢复入口；
- 同一个网络控制面；
- 同一套日志；
那么它们可能仍然属于同一个事实信任域。
边界独立性需要评估：
- 谁能修改它；
- 谁能关闭它；
- 谁能恢复它；
- 谁能更新它；
- 谁能读取其密钥；
- 谁能伪造其状态；
- 谁能绕过其接口。
上位概念
- Trust Domain
- Layered Distrust
下位概念
- Administrative Independence
- Update Independence
- State Independence
- Credential Independence
- Communication Independence
相关概念
- Shared Trust Domain
- Boundary Collapse
- Independent Final Veto
- Physical Trust Boundary
- Common-Mode Failure
约束机制
- 不同处理器；
- 不同密钥；
- 不同更新权限；
- 独立状态；
- 最小通信；
- 独立恢复；
- 交叉验证。
结果目标
使攻击者控制一层后，不能自动控制其他全部约束层。
在 Havenlon 中
应用域、Arbiter Domain 和 Security Domain 拥有不同职责、密钥和通信接口。
24. Boundary Collapse｜边界坍塌
一句话定义
边界坍塌，是原本设计为独立的安全层因为共享权限、更新、恢复或通信控制而在失陷时同时失效的状态。
严格定义
边界坍塌可能发生在：
- 多个组件运行于同一 root 权限；
- 所有固件由同一在线密钥签名；
- SaaS 可以远程重置本地设备；
- 管理员可以同时修改 Policy 和证据；
- Arbiter 只是透明代理；
- Security Domain 接受任意上游命令；
- 恢复模式可以绕过全部检查；
- 多个设备共享同一主密钥。
上位概念
- Trust Failure
- Common-Mode Failure
下位概念
- Administrative Boundary Collapse
- Credential Boundary Collapse
- Recovery Boundary Collapse
- Update Boundary Collapse
- Evidence Boundary Collapse
相关概念
- Shared Trust Domain
- Boundary Independence
- Catastrophic Authority
- Multi-Layer Collusion
- Single-Point Catastrophic Execution
约束机制
- 失陷路径分析；
- 独立凭证；
- 更新分离；
- 恢复分离；
- 非透明协议；
- 本地拒绝；
- 多层证据。
结果目标
识别名义上的多层安全是否实际上仍由一个主体统一控制。
在 Havenlon 中
设计评审必须检查 Linux、Arbiter、Security Domain、SaaS 和生产密钥是否存在共同控制点。
25. Common-Mode Failure｜共因失效
一句话定义
共因失效，是多个看似独立的组件因共享同一漏洞、权限、依赖或环境而同时失效的现象。
严格定义
共因可能包括：
- 相同固件代码；
- 相同编译链；
- 相同管理员凭证；
- 相同云账户；
- 相同供应链；
- 相同更新密钥；
- 相同时间源；
- 相同数据库；
- 相同 AI 模型；
- 相同外部 Policy 来源。
多个设备并不自动意味着多个独立边界。
如果它们全部运行同一固件、由同一更新通道控制，仍可能发生共因失效。
上位概念
- Failure Propagation
- Systemic Risk
下位概念
- Software Common-Mode Failure
- Administrative Common-Mode Failure
- Supply Chain Common-Mode Failure
- Policy Common-Mode Failure
相关概念
- Boundary Independence
- Coordinated Compromise
- Diversity
- Layered Distrust
- Blast Radius
约束机制
- 技术多样性；
- 权限分离；
- 独立密钥；
- 不同更新路径；
- 本地与远程状态分离；
- 共因评审。
结果目标
避免“多个副本”被错误理解为“多个独立安全边界”。
在 Havenlon 中
Arbiter 与 Security Domain 不应只是同一软件在两个芯片上的简单复制，而应具有不同职责和最小化接口。
26. Boundary of Boundaries｜边界的边界
一句话定义
边界的边界，是限制谁能够修改、关闭、恢复或重新定义安全边界本身的更高层约束。
严格定义
任何安全边界都面临一个问题：
谁保护这道边界？
如果答案是某个无限权限管理员，那么该管理员就是事实上的最终执行权拥有者。
Boundary of Boundaries 关注：
- 谁可以更新 Security Domain 固件；
- 谁可以修改硬件 Policy；
- 谁可以重置 counter；
- 谁可以替换设备；
- 谁可以恢复 Owner；
- 谁可以解锁调试接口；
- 谁可以改变 Key Slot；
- 谁可以修改 Execution Slot；
- 谁可以关闭 Evidence-Safe Mode。
这些能力必须：
- 进入 Governance Intent；
- 需要更高阈值；
- 具有延迟；
- 需要物理条件；
- 留下恢复与变更证据；
- 不能立即获得完整执行能力。
上位概念
- Governance Boundary
- Meta-Control
下位概念
- Firmware Governance Boundary
- Recovery Governance Boundary
- Device Replacement Boundary
- Debug Unlock Boundary
- Root Key Rotation Boundary
相关概念
- Governance Mutation Control
- Owner ≠ God
- Physical Recovery
- Firmware Update Boundary
- No Unilateral Catastrophic Authority
权力边界
改变边界的权力不能由被边界约束的单一主体自行拥有。
约束机制
- 更高治理阈值；
- 独立角色；
- 物理确认；
- 延迟；
- 受限恢复；
- 新状态冷静期；
- 完整证据。
结果目标
防止攻击者不去绕过执行边界，而是直接修改边界规则本身。
在 Havenlon 中
固件更新、设备替换、Owner 恢复和调试解锁都必须受到比普通执行更严格的治理。
 agent和组件)