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 currentworking draft and may evolve as the discipline matures.AI 时代执行安全语言体系工作草案本系列旨在建立 AI 时代执行安全的共同语言。本文中的术语与定义代表当前工作草案将随着理论研究、工程实践和社区讨论持续修订15. Backpressure背压一句话定义背压是下游处理、存储、验证或执行能力不足时系统主动向上游限制新请求进入的机制。严格定义Backpressure 可以来自Evidence Store 写入能力不足Executor 队列堆积Receipt 长期未确认安全元件签名队列过长Policy 同步延迟治理审批积压本地存储不足网络带宽不足外部 API 限流。安全背压必须阻止请求无限积压重试风暴证据丢失counter 冲突设备资源耗尽延迟请求在旧上下文中执行攻击者利用吞吐制造失控。上位概念Flow ControlFailure Containment下位概念Evidence BackpressureExecution BackpressureApproval BackpressureReceipt BackpressureStorage Backpressure相关概念Backpressure ThresholdRate LimitQueue LimitSafe ModeControlled Degradation权力边界上游不能绕过背压直接将请求发送到更低层执行器。约束机制队列上限拒绝新请求降低频率优先级超时请求过期Safe Mode背压证据。结果目标让资源不足导致吞吐下降而不是导致安全约束失效。在 Havenlon 中Evidence、Executor 和通信链路都应有明确背压处理超过阈值后限制执行。16. Backpressure Threshold背压阈值一句话定义背压阈值是系统从正常运行切换到限流、受限模式或安全模式的资源压力边界。严格定义背压阈值可以基于队列长度存储剩余空间未确认 Receipt 数量Evidence 未同步数量请求延迟重试次数签名队列CPU 或内存失败率写入耗时。阈值设计需要区分预警阈值限流阈值拒绝阈值Safe Mode 阈值Lockdown 阈值。上位概念BackpressureSafety Threshold下位概念Warning ThresholdThrottling ThresholdRejection ThresholdSafe Mode ThresholdLockdown Threshold相关概念Rate LimitCapacity LimitEvidence BackpressureQueue SaturationControlled Degradation权力边界普通业务组件不能为了提升吞吐临时提高关键安全阈值。约束机制本地固定上限Policy 上限多级状态阈值变更治理趋势监测阈值触发留证。结果目标让系统在真正资源耗尽前逐步收缩能力而不是突然进入不可控失败。在 Havenlon 中Evidence Store、执行队列和同步状态应使用多级阈值驱动 Restricted Mode 与 Safe Mode。17. Queue Saturation队列饱和一句话定义队列饱和是请求进入速度持续超过系统处理能力导致待处理任务接近或达到容量上限的资源压力状态。严格定义Queue Saturation 可能发生在Intent 请求队列Executor 执行队列Evidence 写入队列Receipt 确认队列安全元件签名队列Policy 同步队列治理审批队列外部 API 调用队列网络发送与重传队列。队列饱和不仅表现为队列长度增加还可能表现为请求等待时间持续上升队列处理速度低于请求进入速度超时请求数量增加重试任务不断叠加高优先级任务无法及时执行Evidence 与执行结果不同步请求在原有上下文失效后仍留在队列中系统资源逐步被未完成任务占用。在执行安全系统中队列尚未完全填满不代表系统仍处于安全状态。当请求的等待时间已经超过 Policy、审批、Evidence、身份状态或环境状态的有效期时该请求应被视为失效请求而不能仅因为仍在队列中就继续执行。上位概念Resource PressureCapacity Limit下位概念Execution Queue SaturationEvidence Queue SaturationReceipt Queue SaturationApproval Queue SaturationSigning Queue Saturation相关概念BackpressureBackpressure ThresholdQueue LimitRequest ExpirationRetry StormControlled Degradation权力边界上游组件不能因为队列尚未达到物理容量上限就继续无限提交请求。业务优先级也不能绕过队列饱和状态将新请求直接插入受保护的执行路径。约束机制队列容量上限队列等待时间上限请求有效期优先级隔离重试次数限制过期请求清理队列趋势监测背压触发队列状态留证。结果目标在队列完全耗尽系统资源之前识别持续积压并阻止旧请求、过期请求和重试请求形成失控执行。在 Havenlon 中Evidence、Executor、Receipt 和安全元件任务队列都应同时监测队列长度与请求等待时间。达到 Queue Saturation 状态后系统应触发 Backpressure限制新请求进入并对超过有效期的请求重新验证或直接拒绝。18. Controlled Degradation受控降级一句话定义受控降级是系统在资源不足、依赖异常或部分能力失效时按照预定义边界主动减少功能和吞吐同时继续维持核心安全约束的机制。严格定义Controlled Degradation 不是系统任意关闭功能也不是在故障状态下放宽安全规则。它要求系统按照确定的降级顺序收缩能力例如降低请求接收频率暂停低优先级任务限制批量执行停止自动执行要求重新确认仅允许读取和状态查询拒绝新的高风险请求暂停依赖不完整 Evidence 的执行从 Normal Mode 切换至 Restricted Mode从 Restricted Mode 切换至 Safe Mode必要时进入 Lockdown。受控降级必须保证降级不能关闭固定安全底线降级不能跳过 Evidence 写入降级不能跳过 counter 校验降级不能允许过期请求继续执行降级不能将权限集中到单一组件降级状态必须可观察降级原因和触发条件必须留证恢复正常状态前必须重新验证系统条件。受控降级的核心不是保持业务连续性而是在业务能力收缩时保持安全语义连续性。上位概念Failure ContainmentResilience下位概念Throughput DegradationExecution DegradationRead-Only ModeRestricted ModeSafe Mode相关概念BackpressureBackpressure ThresholdQueue SaturationFail-SecureGraceful DegradationLockdownRecovery Validation权力边界业务组件不能以“维持可用性”为理由在降级状态下关闭验证、证据、审批、独立裁决或最终否决机制。上层系统也不能自行宣布资源压力已经解除并绕过底层状态验证恢复执行。约束机制预定义降级等级固定安全底线功能白名单执行类型限制自动执行暂停重新确认状态机恢复条件验证降级与恢复留证。结果目标让系统在资源不足或部分故障时减少能力而不是通过降低安全要求维持表面可用性。在 Havenlon 中当 Evidence、Executor、Receipt、Policy 同步或通信链路超过 Backpressure Threshold 时系统应按照预定义顺序降低吞吐、限制执行类型并进入 Restricted Mode 或 Safe Mode。恢复正常执行前Havenlon 应重新验证队列状态、Evidence 完整性、Receipt 同步状态、Policy 版本和关键设备状态。
