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 时代执行安全的共同语言。
本文中的术语与定义代表当前工作草案，
将随着理论研究、工程实践和社区讨论持续修订
15. Backpressure｜背压
一句话定义
背压，是下游处理、存储、验证或执行能力不足时，系统主动向上游限制新请求进入的机制。
严格定义
Backpressure 可以来自：
- Evidence Store 写入能力不足；
- Executor 队列堆积；
- Receipt 长期未确认；
- 安全元件签名队列过长；
- Policy 同步延迟；
- 治理审批积压；
- 本地存储不足；
- 网络带宽不足；
- 外部 API 限流。
安全背压必须阻止：
- 请求无限积压；
- 重试风暴；
- 证据丢失；
- counter 冲突；
- 设备资源耗尽；
- 延迟请求在旧上下文中执行；
- 攻击者利用吞吐制造失控。
上位概念
- Flow Control
- Failure Containment
下位概念
- Evidence Backpressure
- Execution Backpressure
- Approval Backpressure
- Receipt Backpressure
- Storage Backpressure
相关概念
- Backpressure Threshold
- Rate Limit
- Queue Limit
- Safe Mode
- Controlled Degradation
权力边界
上游不能绕过背压，直接将请求发送到更低层执行器。
约束机制
- 队列上限；
- 拒绝新请求；
- 降低频率；
- 优先级；
- 超时；
- 请求过期；
- Safe Mode；
- 背压证据。
结果目标
让资源不足导致吞吐下降，而不是导致安全约束失效。
在 Havenlon 中
Evidence、Executor 和通信链路都应有明确背压处理，超过阈值后限制执行。
16. Backpressure Threshold｜背压阈值
一句话定义
背压阈值，是系统从正常运行切换到限流、受限模式或安全模式的资源压力边界。
严格定义
背压阈值可以基于：
- 队列长度；
- 存储剩余空间；
- 未确认 Receipt 数量；
- Evidence 未同步数量；
- 请求延迟；
- 重试次数；
- 签名队列；
- CPU 或内存；
- 失败率；
- 写入耗时。
阈值设计需要区分：
- 预警阈值；
- 限流阈值；
- 拒绝阈值；
- Safe Mode 阈值；
- Lockdown 阈值。
上位概念
- Backpressure
- Safety Threshold
下位概念
- Warning Threshold
- Throttling Threshold
- Rejection Threshold
- Safe Mode Threshold
- Lockdown Threshold
相关概念
- Rate Limit
- Capacity Limit
- Evidence Backpressure
- Queue Saturation
- Controlled Degradation
权力边界
普通业务组件不能为了提升吞吐临时提高关键安全阈值。
约束机制
- 本地固定上限；
- Policy 上限；
- 多级状态；
- 阈值变更治理；
- 趋势监测；
- 阈值触发留证。
结果目标
让系统在真正资源耗尽前逐步收缩能力，而不是突然进入不可控失败。
在 Havenlon 中
Evidence Store、执行队列和同步状态应使用多级阈值驱动 Restricted Mode 与 Safe Mode。
17. Queue Saturation｜队列饱和
一句话定义
队列饱和，是请求进入速度持续超过系统处理能力，导致待处理任务接近或达到容量上限的资源压力状态。
严格定义
Queue Saturation 可能发生在：
- Intent 请求队列；
- Executor 执行队列；
- Evidence 写入队列；
- Receipt 确认队列；
- 安全元件签名队列；
- Policy 同步队列；
- 治理审批队列；
- 外部 API 调用队列；
- 网络发送与重传队列。
队列饱和不仅表现为队列长度增加，还可能表现为：
- 请求等待时间持续上升；
- 队列处理速度低于请求进入速度；
- 超时请求数量增加；
- 重试任务不断叠加；
- 高优先级任务无法及时执行；
- Evidence 与执行结果不同步；
- 请求在原有上下文失效后仍留在队列中；
- 系统资源逐步被未完成任务占用。
在执行安全系统中，队列尚未完全填满，不代表系统仍处于安全状态。
当请求的等待时间已经超过 Policy、审批、Evidence、身份状态或环境状态的有效期时，该请求应被视为失效请求，而不能仅因为仍在队列中就继续执行。
上位概念
- Resource Pressure
- Capacity Limit
下位概念
- Execution Queue Saturation
- Evidence Queue Saturation
- Receipt Queue Saturation
- Approval Queue Saturation
- Signing Queue Saturation
相关概念
- Backpressure
- Backpressure Threshold
- Queue Limit
- Request Expiration
- Retry Storm
- Controlled 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 Containment
- Resilience
下位概念
- Throughput Degradation
- Execution Degradation
- Read-Only Mode
- Restricted Mode
- Safe Mode
相关概念
- Backpressure
- Backpressure Threshold
- Queue Saturation
- Fail-Secure
- Graceful Degradation
- Lockdown
- Recovery Validation
权力边界
业务组件不能以“维持可用性”为理由，在降级状态下关闭验证、证据、审批、独立裁决或最终否决机制。
上层系统也不能自行宣布资源压力已经解除，并绕过底层状态验证恢复执行。
约束机制
- 预定义降级等级；
- 固定安全底线；
- 功能白名单；
- 执行类型限制；
- 自动执行暂停；
- 重新确认；
- 状态机；
- 恢复条件验证；
- 降级与恢复留证。
结果目标
让系统在资源不足或部分故障时减少能力，而不是通过降低安全要求维持表面可用性。
在 Havenlon 中
当 Evidence、Executor、Receipt、Policy 同步或通信链路超过 Backpressure Threshold 时，系统应按照预定义顺序降低吞吐、限制执行类型，并进入 Restricted Mode 或 Safe Mode。
恢复正常执行前，Havenlon 应重新验证队列状态、Evidence 完整性、Receipt 同步状态、Policy 版本和关键设备状态。