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 时代执行安全的共同语言。 本文中的术语与定义代表当前工作草案 将随着理论研究、工程实践和社区讨论持续修订24. Execution Binding执行绑定一句话定义执行绑定是将 Intent、治理、Policy、上下文、载荷、执行器、密钥和最终结果绑定到同一次具体执行的机制。严格定义Execution Binding 是多个具体绑定的总称包括Intent BindingContext BindingPayload BindingChain BindingExecutor BindingKey Slot BindingExecution Slot BindingResult Binding。它要求一个执行许可不能被拿去执行另一项动作操作另一对象使用另一密钥进入另一环境复用到另一条链重放到另一次请求。上位概念执行完整性Intent Binding下位概念上下文绑定载荷绑定链绑定槽位绑定结果绑定相关概念Final Signing PayloadIntentHashChain DigestDomain SeparationReplay Protection约束机制唯一执行 ID哈希签名槽位 ID环境 IDcounternonce有效期。结果目标让所有执行条件只能共同用于一个具体、明确、不可静默替换的动作。在 Havenlon 中执行绑定由 IntentHash、Step Hash、Chain Digest、Key Slot、Execution Slot 和设备签名共同完成。25. Context Binding上下文绑定一句话定义上下文绑定是将执行许可与特定时间、状态、设备、治理关系、环境和风险条件关联的机制。严格定义Context Binding 可以包含当前时间地理位置设备身份Governance StatePolicy 版本当前额度当前频率执行环境chain_idSafe Mode 状态前序执行结果。上下文变化超过允许范围时原绑定必须失效或重新确认。上位概念Execution Binding下位概念时间绑定设备绑定治理状态绑定环境绑定风险状态绑定相关概念Context IntegrityContext DriftTimeGuardDistanceGuardState-Bound Judgment约束机制状态哈希时间戳设备证书chain_idPolicy HashGovernance Hash执行前重新验证。结果目标防止一个在某种环境下有效的执行许可被拿到另一种环境中使用。在 Havenlon 中时间、设备、本地治理状态、链和槽位共同进入最终确认与执行判断。26. Payload Binding载荷绑定一句话定义载荷绑定是将审批、Policy、仲裁、签名和执行许可与同一份具体最终 Payload 关联的机制。严格定义Payload Binding 要求审批内容对应最终载荷Policy 判断对应最终载荷仲裁结果对应最终载荷签名覆盖最终载荷Executor 只执行该载荷Receipt 对应该载荷Evidence 记录该载荷。任何关键字段变化都必须使原绑定失效。上位概念Execution BindingPayload Integrity下位概念对象绑定参数绑定金额绑定目标绑定槽位绑定相关概念Final Signing PayloadPayload SubstitutionParameter IntegrityObject IntegrityIntentHash约束机制Payload Hash全字段签名Canonical EncodingIntentHashLast Step Hash执行域重新解析关键变化重新审批。结果目标确保被展示、被批准、被签名和被执行的是同一个具体载荷。在 Havenlon 中FinalSigningPayload 是 Payload Binding 的核心对象。27. Chain Binding链绑定一句话定义链绑定是将当前步骤和最终执行与同一条完整执行链的前序关系、路径和累计状态关联的机制。严格定义Chain Binding 防止从另一条链拼接 Approval使用旧 Arbitration跳过 Confirm使用旧 Governance State删除拒绝步骤替换中间 Policy重放旧 Commit。链绑定通常通过IntentHashPrevious Step HashLast Step HashChain Digestcounterpath ID共同实现。上位概念Execution BindingChain Integrity下位概念步骤绑定前序绑定路径绑定提交绑定证据绑定相关概念Step HashChain DigestExecution ChainEvidence ContinuityReplay Protection约束机制前序引用累计摘要单调状态不允许断链当前链状态持久化最终执行重新计算。结果目标让最终执行只能属于当前完整执行链不能使用来自其他请求或历史状态的局部证明。在 Havenlon 中Last Step Hash 与 Chain Digest 同时进入最终载荷使 Security Domain 能够验证链的当前状态。
)
