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 时代执行安全的共同语言。 本文中的术语与定义代表当前工作草案 将随着理论研究、工程实践和社区讨论持续修订26. Evidence Witness证据见证者一句话定义证据见证者是独立接收、验证、保存或检查证据连续性的主体。严格定义Evidence Witness 可以验证设备签名保存原始证据副本检查 counter验证 prev_hash验证 Chain Digest发现链缺口对比本地和 SaaS 状态保存 Evidence Checkpoint对异常发出告警。Evidence Witness 不负责创造原始执行事实。它能够证明的是在某一时间点它收到了并验证了某组证据。上位概念Evidence Role独立见证下位概念SaaS Evidence WitnessLocal Evidence WitnessExternal Audit WitnessCross-Organization WitnessOffline Witness相关概念ObserverEvidence StoreDevice-Signed FactEvidence SurvivabilityEvidence Checkpoint权力边界证据见证者不能代替设备签署 Commit修改原始 Evidence通过归档权限获得执行权单方面解释全部执行语义。约束机制独立身份只读验证原始签名保留追加式存储见证记录签名多副本。结果目标在本地设备或 SaaS 失陷后仍保留独立可验证的证据副本。在 Havenlon 中Bletchley 可以作为 Evidence Witness 和 Archive但不是 Device-Signed Fact 的生产者。27. Evidence Checkpoint证据检查点一句话定义证据检查点是对某一时刻之前的证据链状态生成并保存的签名摘要。严格定义Evidence Checkpoint 可以包含latest counterlatest current hashEvidence Chain Digestdevice_idGovernance HashPolicy Hashcheckpoint timedevice signaturewitness signature。检查点用于快速验证长链防止历史整体回滚支持设备迁移支持证据恢复发现多副本分叉降低长期验证成本。上位概念Evidence Chain证据归档下位概念Device CheckpointDaily CheckpointGovernance CheckpointRecovery CheckpointWitnessed Checkpoint相关概念Chain DigestEvidence WitnessAnti-RollbackArchiveRecovery Evidence权力边界检查点不能代替之后的完整证据也不能由单一管理员无痕重置。约束机制设备签名外部见证签名时间戳多副本检查点链恢复引用。结果目标为证据历史建立稳定锚点使整体历史回滚变得可发现。在 Havenlon 中设备可以周期性对最新 counter 和 current hash 生成 Checkpoint并同步到 Bletchley 或外部归档。28. Evidence Replication证据复制一句话定义证据复制是将原始可验证证据保存到多个独立位置提高证据存续和冲突发现能力的机制。严格定义证据副本必须保留原始设备签名原始 Evidence Hash原始 counter原始顺序原始来源原始检查点关系。复制方不能重新生成一个“内容相同”的本地记录来替代原始证据。有效证据副本应尽可能位于不同失陷路径本地设备HubSaaS离线存储外部审计系统不同地域。上位概念Evidence Survivability数据冗余下位概念Local ReplicationCloud ReplicationCross-Region ReplicationOffline ReplicationWitness Replication相关概念BackupEvidence WitnessEvidence CheckpointDisaster RecoveryMulti-Source Verification权力边界复制方拥有保存和验证权不拥有重写原始执行事实或参与执行的权力。约束机制原始签名保留副本哈希校验异步确认缺失告警不同管理域保留策略。结果目标使单一存储损坏或被删除后证据仍然可以恢复和验证。在 Havenlon 中本地 Evidence Store 保存原始证据Bletchley 和外部归档保存可验证副本。