Working Draft · AI Era Execution Security LanguageThis 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 时代执行安全的共同语言。 本文中的术语与定义代表当前工作草案 将随着理论研究、工程实践和社区讨论持续修订。19. Boundary Independence边界独立性一句话定义边界独立性是一个安全边界的控制权、状态、凭证和拒绝能力不会被其所保护的系统直接取消或重写的属性。严格定义一个边界只有在以下意义上独立才能真正限制上游系统上游不能修改边界全部逻辑上游不能直接读取全部秘密上游不能伪造边界状态上游不能关闭边界上游不能替边界作出允许结论上游失陷后边界仍能拒绝边界拥有独立恢复或替换路径。边界独立性不一定要求完全物理隔离但必须避免共同控制导致边界失去实质约束能力。上位概念安全边界独立信任域下位概念管理独立性凭证独立性状态独立性升级独立性拒绝能力独立性相关概念Independent Trust DomainPhysical Trust BoundaryIndependent Final VetoFailure ContainmentBoundary Collapse约束机制独立管理权限独立密钥独立状态最小上游接口上游不可远程取消硬限制独立升级和恢复治理。结果目标确保安全边界不是被保护系统自己可以关闭的软件开关。在 Havenlon 中应用和 SaaS 无法直接关闭本地执行边界也不能单方面修改 Security Domain 的最终验证逻辑。20. Boundary Bypass边界绕过一句话定义边界绕过是执行请求通过备用接口、恢复路径、直接访问或权限组合避开原定安全边界的行为。严格定义边界绕过可能通过管理员后门调试接口备用执行器软件密钥恢复模式直接数据库修改旧版本接口紧急操作流程物理旁路不受控固件升级。边界本身即使工作正确只要系统存在一条不经过它的执行路径边界就不是完整边界。上位概念边界失效执行路径变异下位概念软件绕过管理员绕过恢复路径绕过调试接口绕过升级链绕过备用执行路径绕过相关概念Execution Path MutationLegitimate-Path AbuseFailoverHard LimitsNon-Bypassable Boundary约束机制所有执行路径统一收口调试接口生产禁用恢复路径共同治理备用执行器同等约束不允许软件密钥降级路径标识和证据未知路径默认拒绝。结果目标确保任何能够产生真实结果的路径都必须经过相同核心约束。在 Havenlon 中正常、重试、恢复和降级执行都必须进入统一执行控制链不能因为是紧急模式就直接连接执行根。21. Boundary Collapse边界坍塌一句话定义边界坍塌是多个原本独立的安全边界因为共享控制权、凭证、升级链或执行能力而失去实质独立性的状态。严格定义边界坍塌与边界绕过不同边界绕过是执行路径避开边界边界坍塌是边界仍然存在但已经不再独立。典型边界坍塌包括应用管理员同时拥有执行域 rootSaaS 可以远程修改本地硬限制Arbiter 和 Security Domain 共享完整升级密钥证据系统与执行系统共享可重写数据库多个硬件模块由同一软件后台完全控制所有域使用相同主密钥。上位概念信任集中边界失效下位概念管理边界坍塌升级边界坍塌凭证边界坍塌状态边界坍塌硬件边界坍塌相关概念Single Trust DomainShared Trust DomainTrust ConcentrationCross-Domain Authority InheritanceCommon-Mode Failure约束机制控制权分离独立升级链独立密钥独立数据库或证据链域间最小权限定期边界独立性审查。结果目标让系统中的多个边界在攻击发生时仍然是真正不同的障碍而不是同一控制点的多个外观。在 Havenlon 中硬件数量、芯片数量或服务数量本身不构成边界。只有控制关系、密钥、状态和拒绝能力真正独立边界才成立。22. Boundary of Boundaries边界的边界一句话定义边界的边界是用于约束安全边界自身权力、升级、恢复和失陷后果的更高层边界原则。严格定义安全系统通常关注谁来阻止业务系统执行危险动作但当一个独立边界被建立后还必须继续询问谁可以修改这个边界谁可以升级它谁可以恢复它谁可以替换它谁可以关闭它它失陷后最多能做什么它是否能够自行扩大权力它生成的事实由谁验证边界的边界不是再叠加一个无限更高的超级边界。它要求的是对边界本身的权力同样进行拆分、限制、留证和恢复设计。上位概念安全边界治理分层不信任对抗性完整下位概念升级边界恢复边界管理边界供应链边界证据验证边界相关概念Boundary IndependenceHard LimitsGovernance BoundaryRecovery BoundaryTrust RootExecution Root容易混淆的概念边界的边界不是无限递归寻找“谁保护保护者”。它通过以下方式终止无限递归权力拆分硬限制最小功能可替换性灾难半径约束独立证据明确剩余风险。约束机制边界升级需要独立治理恢复权与日常执行权分离边界不能修改限制自身的根规则边界失陷后仍受额度和范围约束边界动作必须留证必要时通过替换而不是在线无限升级恢复。结果目标防止安全边界自己成为新的超级权限和灾难性单点。在 Havenlon 中Arbiter、Security Domain、设备固件、密钥注入、恢复和升级同样必须进入治理模型。Havenlon 不认为“因为它是安全硬件所以无需再约束”。
Havenlon｜AI 时代的执行安全语言体系（二十）：边界状态
Working Draft · AI Era Execution Security LanguageThis 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 时代执行安全的共同语言。 本文中的术语与定义代表当前工作草案 将随着理论研究、工程实践和社区讨论持续修订。19. Boundary Independence边界独立性一句话定义边界独立性是一个安全边界的控制权、状态、凭证和拒绝能力不会被其所保护的系统直接取消或重写的属性。严格定义一个边界只有在以下意义上独立才能真正限制上游系统上游不能修改边界全部逻辑上游不能直接读取全部秘密上游不能伪造边界状态上游不能关闭边界上游不能替边界作出允许结论上游失陷后边界仍能拒绝边界拥有独立恢复或替换路径。边界独立性不一定要求完全物理隔离但必须避免共同控制导致边界失去实质约束能力。上位概念安全边界独立信任域下位概念管理独立性凭证独立性状态独立性升级独立性拒绝能力独立性相关概念Independent Trust DomainPhysical Trust BoundaryIndependent Final VetoFailure ContainmentBoundary Collapse约束机制独立管理权限独立密钥独立状态最小上游接口上游不可远程取消硬限制独立升级和恢复治理。结果目标确保安全边界不是被保护系统自己可以关闭的软件开关。在 Havenlon 中应用和 SaaS 无法直接关闭本地执行边界也不能单方面修改 Security Domain 的最终验证逻辑。20. Boundary Bypass边界绕过一句话定义边界绕过是执行请求通过备用接口、恢复路径、直接访问或权限组合避开原定安全边界的行为。严格定义边界绕过可能通过管理员后门调试接口备用执行器软件密钥恢复模式直接数据库修改旧版本接口紧急操作流程物理旁路不受控固件升级。边界本身即使工作正确只要系统存在一条不经过它的执行路径边界就不是完整边界。上位概念边界失效执行路径变异下位概念软件绕过管理员绕过恢复路径绕过调试接口绕过升级链绕过备用执行路径绕过相关概念Execution Path MutationLegitimate-Path AbuseFailoverHard LimitsNon-Bypassable Boundary约束机制所有执行路径统一收口调试接口生产禁用恢复路径共同治理备用执行器同等约束不允许软件密钥降级路径标识和证据未知路径默认拒绝。结果目标确保任何能够产生真实结果的路径都必须经过相同核心约束。在 Havenlon 中正常、重试、恢复和降级执行都必须进入统一执行控制链不能因为是紧急模式就直接连接执行根。21. Boundary Collapse边界坍塌一句话定义边界坍塌是多个原本独立的安全边界因为共享控制权、凭证、升级链或执行能力而失去实质独立性的状态。严格定义边界坍塌与边界绕过不同边界绕过是执行路径避开边界边界坍塌是边界仍然存在但已经不再独立。典型边界坍塌包括应用管理员同时拥有执行域 rootSaaS 可以远程修改本地硬限制Arbiter 和 Security Domain 共享完整升级密钥证据系统与执行系统共享可重写数据库多个硬件模块由同一软件后台完全控制所有域使用相同主密钥。上位概念信任集中边界失效下位概念管理边界坍塌升级边界坍塌凭证边界坍塌状态边界坍塌硬件边界坍塌相关概念Single Trust DomainShared Trust DomainTrust ConcentrationCross-Domain Authority InheritanceCommon-Mode Failure约束机制控制权分离独立升级链独立密钥独立数据库或证据链域间最小权限定期边界独立性审查。结果目标让系统中的多个边界在攻击发生时仍然是真正不同的障碍而不是同一控制点的多个外观。在 Havenlon 中硬件数量、芯片数量或服务数量本身不构成边界。只有控制关系、密钥、状态和拒绝能力真正独立边界才成立。22. Boundary of Boundaries边界的边界一句话定义边界的边界是用于约束安全边界自身权力、升级、恢复和失陷后果的更高层边界原则。严格定义安全系统通常关注谁来阻止业务系统执行危险动作但当一个独立边界被建立后还必须继续询问谁可以修改这个边界谁可以升级它谁可以恢复它谁可以替换它谁可以关闭它它失陷后最多能做什么它是否能够自行扩大权力它生成的事实由谁验证边界的边界不是再叠加一个无限更高的超级边界。它要求的是对边界本身的权力同样进行拆分、限制、留证和恢复设计。上位概念安全边界治理分层不信任对抗性完整下位概念升级边界恢复边界管理边界供应链边界证据验证边界相关概念Boundary IndependenceHard LimitsGovernance BoundaryRecovery BoundaryTrust RootExecution Root容易混淆的概念边界的边界不是无限递归寻找“谁保护保护者”。它通过以下方式终止无限递归权力拆分硬限制最小功能可替换性灾难半径约束独立证据明确剩余风险。约束机制边界升级需要独立治理恢复权与日常执行权分离边界不能修改限制自身的根规则边界失陷后仍受额度和范围约束边界动作必须留证必要时通过替换而不是在线无限升级恢复。结果目标防止安全边界自己成为新的超级权限和灾难性单点。在 Havenlon 中Arbiter、Security Domain、设备固件、密钥注入、恢复和升级同样必须进入治理模型。Havenlon 不认为“因为它是安全硬件所以无需再约束”。
