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 时代执行安全的共同语言。 本文中的术语与定义代表当前工作草案， 将随着理论研究、工程实践和社区讨论持续修订

执行安全不能只看最终执行器是否安全。

一次真实动作从最初被提出，到最终发生，通常会穿过：

• 用户或 AI Agent；

• 应用系统；

• SaaS 协同系统；

• 审批者；

• Policy；

• 仲裁器；

• 本地设备；

• 安全执行域；

• 外部网络或业务系统；

• 结果回执系统；

• 证据存储。

任何一段路径被替换、跳过、重放或重新解释，都可能使一个原本正确的 Intent 变成错误执行。

因此，Havenlon 不把执行理解为一次孤立的 API 调用，而把它视为：

一条从 Intent 开始，经提议、审批、授权、仲裁、确认、提交、执行、回执和证明组成的连续执行链。

这条链必须同时满足：

1. 每一步来源明确；

2. 每一步都对应同一个 Intent；

3. 每一步都引用前序状态；

4. 关键步骤不可被静默删除；

5. 任何路径变化都可以被发现；

6. 最终载荷与原始 Intent 保持绑定；

7. 执行前重新验证当前状态；

8. 执行后生成设备签名事实；

9. 回执不能替代执行证明；

10. 未完成最终提交的请求不能被视为已执行。

1. Execution Path｜执行路径

一句话定义

执行路径，是一个 Intent 从产生到形成真实结果时，实际经过的主体、组件、接口、设备和信任域。

严格定义

执行路径描述的是：

这次动作实际上从哪里走到了哪里。

它可能包括：

• Intent 发起端；

• 应用服务器；

• API；

• SaaS；

• 审批界面；

• Policy 引擎；

• 消息通道；

• Arbiter；

• Security Domain；

• Executor；

• 外部业务系统；

• 广播节点；

• 回执服务；

• Evidence Store。

执行路径不仅包含正常主路径，也包括：

• 重试路径；

• 降级路径；

• 恢复路径；

• 备用执行路径；

• 管理员路径；

• 异常中断路径。

上位概念

• 系统路径

• 执行结构

下位概念

• 正常执行路径

• 重试路径

• 恢复路径

• 降级路径

• 备用执行路径

• 异常中断路径

相关概念

• Execution Chain

• Execution Flow

• Execution Path Mutation

• Boundary Bypass

• Chain Binding

容易混淆的概念

执行路径不等于执行流程。

流程是设计上规定应该怎么走，路径是这一次实际上怎么走。

如果系统设计了安全流程，但实际存在管理员直连、备用密钥或恢复后门，真实执行路径仍然不安全。

约束机制

• 所有执行路径统一收口；

• 路径标识；

• 固定入口；

• 未知路径拒绝；

• 重试继承原约束；

• 恢复路径同等治理；

• 路径变化留证。

结果目标

确保所有能够产生真实结果的路径，都经过相同的核心执行边界。

在 Havenlon 中

正常请求、重试、恢复和降级请求都必须经过 Arbiter 与 Security Domain，不能存在应用或 SaaS 直达执行根的旁路。

2. Execution Chain｜执行链

一句话定义

执行链，是一次执行中所有关键步骤按照顺序、因果和密码学关系连接形成的连续结构。

严格定义

执行链不仅记录步骤顺序，还要证明：

• 每一步属于同一个 Intent；

• 每一步来自合法主体；

• 每一步引用前一步；

• 中间步骤未被替换；

• 拒绝和失败没有被删除；

• 最终执行使用的是当前链的最新状态；

• 另一条执行链的结果不能被拼接进来。

执行链通常包含：

Intent → Proposal → Approval → Policy Decision → Arbitration → Confirmation → Commitment → Execution → Receipt → Evidence

并不是所有场景都必须包含相同业务步骤，但所有关键状态变化都必须进入链。

上位概念

• 执行结构

• 因果链

• 证据链基础

下位概念

• Intent 链

• 审批链

• 仲裁链

• 提交链

• 执行证据链

相关概念

• Step Hash

• Previous Step Hash

• Last Step Hash

• Chain Digest

• Chain Integrity

• Evidence Chain

权力边界

任何单一组件都不能自行删除、插入或重排关键执行步骤，并要求下游继续接受。

约束机制

• Step Hash；

• 前序引用；

• 步骤签名；

• 单调计数器；

• Chain Digest；

• 路径 ID；

• 断链拒绝。

结果目标

让最终执行能够证明自己是经过完整合法链条形成的，而不是孤立出现的有效载荷。

在 Havenlon 中

每个关键步骤关联 IntentHash 和前序 Step Hash，最终执行使用 Last Step Hash 与 Chain Digest 验证整条链。

3. Execution Flow｜执行流程

一句话定义

执行流程，是系统设计上规定一次 Intent 应经过哪些阶段、条件和状态转换的规范。

严格定义

执行流程回答：

一次动作通常应该如何推进？

它包括：

• 状态机；

• 阶段顺序；

• 必要条件；

• 失败分支；

• 超时处理；

• 重试规则；

• 中断条件；

• 恢复方式；

• 证据生成要求。

执行流程可能规定：

Draft → Proposed → Pending Approval → Approved → Arbitrated → Confirmed → Committed → Executed → Receipted → Proven

流程规范本身不能证明实际路径遵守了流程，因此必须结合执行链和证据验证。

上位概念

• 系统流程

• 状态机

下位概念

• 正常流程

• 拒绝流程

• 超时流程

• 中断流程

• 恢复流程

• 重试流程

相关概念

• Execution Path

• Execution Chain

• Safe Interruption

• State Machine

• Commitment

约束机制

• 明确状态机；

• 禁止非法跳转；

• 状态转换签名；

• 超时；

• 幂等性；

• 重试限制；

• 每个终止状态留证。

结果目标

让系统明确知道一次请求现在处于哪个阶段，以及下一步允许发生什么。

在 Havenlon 中

请求不能从 Proposal 直接跳到 Execution，也不能把 Approval 状态直接解释为最终提交完成。