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 时代执行安全的共同语言。 本文中的术语与定义代表当前工作草案 将随着理论研究、工程实践和社区讨论持续修订7. Evidence Chain证据链一句话定义证据链是将执行与治理过程中的关键证据按照因果、顺序和密码学关系连接起来的连续结构。严格定义证据链必须证明每条证据属于哪个 Intent每条证据由谁产生每条证据发生在哪一个阶段当前证据引用哪一条前序证据是否存在证据缺失是否出现证据分叉是否存在旧状态重放是否删除了拒绝或失败记录最终结果来自哪个 Commit恢复动作基于哪个异常状态。证据链并不是简单按时间排序的日志集合。它必须维护身份关系因果关系前序关系状态关系密码学关系执行结果关系。上位概念Evidence执行证明层Chain Integrity下位概念Intent Evidence ChainApproval Evidence ChainExecution Evidence ChainGovernance Evidence ChainRecovery Evidence Chain相关概念Execution ChainEvidence ContinuityPrevious Evidence HashCurrent Evidence HashEvidence Store权力边界任何单一组件都不能无痕删除、插入或重新排序证据链中的关键事实。约束机制哈希链前序引用单调计数器设备签名域分离Chain Digest多副本。结果目标让系统能够证明一次动作完整经历了什么而不只是保存最终结果。在 Havenlon 中Evidence Store 使用 counter、previous hash、current hash、Policy Hash、result hash 和 device signature 建立连续证据链。8. Evidence Continuity证据连续性一句话定义证据连续性是证据记录在计数器、哈希、时间和执行状态上保持无未解释缺口的属性。严格定义证据连续性至少要求counter 单调递增current record 的 previous hash 对应上一条有效记录不存在重复 counter不存在未解释跳号不存在未知链分叉设备重启后链能够继续恢复操作引用最后可信状态Evidence Checkpoint 与当前链一致。证据缺失并不自动证明发生了攻击。但证据缺失必须成为一个显式安全异常而不能被系统忽略。上位概念Evidence Chain证据完整性下位概念Counter ContinuityHash ContinuityTime ContinuityState ContinuityRecovery Continuity相关概念Monotonic CounterEvidence GapAnti-RollbackEvidence CheckpointBackpressure权力边界管理员不能通过删除中间证据后重新设置最新状态使证据链看起来仍然连续。约束机制单调 counter前序哈希防回滚持久化缺口告警链分叉检测异常时限制执行。结果目标阻止攻击者静默删除一段执行历史后从新的“正常状态”继续运行。在 Havenlon 中counter 和 prev_hash 共同用于发现证据删除、快照回滚和旧状态恢复。9. Evidence Gap证据缝隙一句话定义证据缝隙是执行状态已经变化但系统无法生成、保存或验证对应证据的区间。严格定义证据缝隙可能发生在Commit 形成之后、Executor 调用之前Executor 调用之后、Receipt 返回之前本地设备记录之后、SaaS 同步之前设备掉电前后Evidence Store 写入失败期间存储容量耗尽期间恢复模式期间管理员旁路操作期间。证据缝隙会导致系统无法确定动作是否已经发生动作发生到了哪一步是否允许重试是否产生部分结果外部 Receipt 属于哪次 Commit最终灾难半径是多少。上位概念Evidence RiskExecution Gap下位概念Commit Evidence GapExecution Result GapReceipt GapSynchronization GapRecovery Evidence Gap相关概念Ambiguous Execution StateSafe InterruptionEvidence BackpressureRetry SafetyReceipt Binding权力边界当证据无法确认动作是否已发生时上游不能简单把状态重置为“未执行”。约束机制先记录后执行预留证据空间Commit ID幂等执行未知状态冻结外部状态核验证据异常 Safe Mode。结果目标避免系统在“可能已经执行但无法证明”的状态下重复执行或继续扩大风险。在 Havenlon 中证据链写入失败或状态不确定时高风险请求必须冻结不能无条件重新签名和广播。10. Previous Evidence Hash前序证据哈希一句话定义前序证据哈希是当前证据引用的上一条有效证据的密码学摘要。严格定义Previous Evidence Hash 建立证据之间的顺序关系因果关系防删除关系防插入关系防重排关系防回滚关系。当前证据可以采用类似结构current_hash Hash( evidence_domain || evidence_version || counter || previous_hash || event_type || IntentHash || CommitID || PolicyHash || GovernanceHash || ResultHash )具体字段应根据协议定义但必须采用规范编码和域分离。上位概念Evidence Chain哈希链下位概念Previous Execution Evidence HashPrevious Governance Evidence HashPrevious Recovery Evidence Hash相关概念Current Evidence HashMonotonic CounterEvidence ContinuityStep HashChain Digest约束机制精确引用上一记录本地持久化断链拒绝防回滚设备签名重启验证。结果目标使证据的删除、替换和重排破坏后续链路从而可以被发现。在 Havenlon 中Evidence Store 中每条新记录保存上一条记录的current_hash作为自己的prev_hash。11. Current Evidence Hash当前证据哈希一句话定义当前证据哈希是对当前证据内容、前序关系和状态生成的密码学摘要。严格定义Current Evidence Hash 应覆盖证据版本事件类型counterPrevious Evidence HashIntentHashCommit IDPolicy HashGovernance HashPayload HashResult Hash设备身份当前设备状态。Current Evidence Hash 通常还应被设备签名。这使系统能够验证当前证据内容未被修改当前证据属于特定设备当前证据属于当前证据链下一条证据应引用什么。上位概念Evidence Chain证据摘要下位概念Commit Evidence HashResult Evidence HashDenial Evidence HashRecovery Evidence Hash相关概念Previous Evidence HashDevice SignatureResult HashEvidence StoreChain Digest约束机制Canonical Encoding域分离全字段覆盖设备签名版本化后续引用。结果目标为每一条证据建立不可静默修改的唯一密码学身份。在 Havenlon 中current_hash与 device signature 共同形成证据记录并成为后续记录的前序锚点。