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 时代执行安全的共同语言。 本文中的术语与定义代表当前工作草案 将随着理论研究、工程实践和社区讨论持续修订。17. Semantic Correctness语义正确性一句话定义语义正确性是 Intent 或 Payload 所表达的真实含义符合主体目标、业务目的和治理要求的属性。严格定义语义正确性关注的不是数据格式而是这段数据究竟意味着什么它是不是系统真正应该做的事情例如一个 Payload 可以结构合法字段完整签名有效权限允许但仍可能语义错误转账对象不是用户真正想要的对象金额单位理解错误权限范围过大导出对象是错误的数据集AI 选择了错误工具治理变更影响了错误成员合约调用的实际含义与界面描述不同。上位概念执行正确性意图语义下位概念对象语义正确性参数语义正确性金额语义正确性场景语义正确性工具语义正确性相关概念Semantic IntegrityPayload ValidityIntent ConfirmationSemantic GapValid Request ≠ Safe Result权力边界格式验证器、密码学签名和身份系统都不能单独证明语义正确性。约束机制业务对象结构化单位明确场景绑定人类可读摘要独立语义规则风险对象确认结果目标比对。结果目标让系统不仅验证“能不能执行”还验证“执行的到底是不是正确的事情”。在 Havenlon 中目标、金额、币种、链、执行槽位和场景都必须明确绑定避免只验证底层数据格式。18. Semantic Integrity语义完整性一句话定义语义完整性是一个 Intent 的实际含义在跨系统、协议、界面和执行阶段转换后仍然保持一致的属性。严格定义语义完整性与语义正确性的区别是语义正确性关注原始含义是否正确语义完整性关注这个含义在传递中是否被改变。语义完整性可能因以下原因破坏字段映射不同单位转换精度截断默认参数补全对象别名解析API 语义不同Agent 重新解释任务合约调用含义变化执行器对参数使用不同解释。即使原始 Intent 正确转换后也可能失去原始语义。上位概念Intent Integrity语义安全下位概念跨协议语义完整性跨系统语义完整性UI 到载荷语义完整性Agent 到工具语义完整性载荷到执行语义完整性相关概念Semantic CorrectnessSemantic GapIntent BindingParameter IntegrityObject Integrity约束机制统一语义模型单位和类型明确关键字段不使用隐式默认值每阶段可重建摘要最终执行语义对比映射规则版本化。结果目标确保“同一个 Intent”在不同组件中仍然代表同一件事。在 Havenlon 中协议字段、业务对象和执行载荷必须使用明确固定的语义定义并通过链路绑定防止跨阶段重新解释。19. Payload Validity载荷合法性术语说明这里的“合法性”指格式合法协议合法字段合法密码学验证通过。不特指法律意义上的合法。必要时对外可写为Payload Validity载荷有效性。一句话定义载荷合法性是 Payload 满足格式、协议、类型、签名和基础校验要求的属性。严格定义Payload Validity 通常验证消息格式是否正确必填字段是否存在数值类型是否正确长度是否有效签名是否可验证编码是否正确协议版本是否受支持字段值是否在允许范围内。载荷合法性回答系统能不能正确解析和处理这段数据它不能回答这段数据表达的事情是否正确、安全并符合原始意图上位概念Payload 属性协议校验下位概念格式合法性类型合法性协议合法性密码学合法性字段范围合法性相关概念Payload IntegritySemantic CorrectnessValid Request ≠ Safe ResultSignature ≠ ExecutionPayload Substitution容易混淆的概念载荷合法性不等于Intent 真实语义正确对象正确当前上下文安全最终执行应当被允许。约束机制严格解析类型检查长度检查版本检查签名验证字段范围未知字段拒绝。结果目标阻止畸形、无法解析或基础验证失败的 Payload 进入执行链。在 Havenlon 中载荷合法性是最低层检查只有通过之后才进入意图、语义、Policy、治理和执行边界验证。20. Payload Integrity载荷完整性一句话定义载荷完整性是 Payload 的字段和值在生成、签名、传输和执行过程中未被未授权修改的属性。严格定义Payload Integrity 关注数据是否被修改字段是否被删除顺序或编码是否变化参数是否被替换签名覆盖是否完整最终广播内容是否与签名内容一致。Payload 完整不代表 Payload 语义正确。一个错误对象或错误金额也可以被完整、正确地签名和传输。上位概念Payload 属性数据完整性下位概念字段完整性签名覆盖完整性传输完整性广播完整性封装完整性相关概念Payload ValidityParameter IntegrityIntent IntegrityFinal Signing PayloadChain Digest约束机制全字段哈希数字签名Canonical Encoding防重放最终载荷比较广播回执校验。结果目标保证被审批、被签名和被执行的是同一份具体 Payload。在 Havenlon 中FinalSigningPayload 和 chain digest 用于绑定最终执行字段防止签名后发生数据替换。21. Context Integrity上下文完整性一句话定义上下文完整性是执行判断所依赖的时间、状态、环境和关系信息保持真实、完整、当前有效且未被污染的属性。严格定义上下文可能包括当前时间设备位置治理成员已用额度风险状态业务阶段设备健康请求来源之前的执行结果AI 对话背景。上下文完整性要求来源明确状态未被篡改信息没有关键遗漏时间仍然有效多个来源之间没有未解析冲突当前执行与该上下文确实对应。上位概念执行完整性上下文安全下位概念时间上下文完整性治理上下文完整性设备上下文完整性业务上下文完整性AI 上下文完整性相关概念Polluted ContextContext GapContext DriftPolicy ContextState-Bound Judgment约束机制来源证明新鲜度多源验证状态哈希本地状态冲突拒绝执行前重新读取。结果目标防止系统基于错误、过期或被选择性提供的背景信息执行高风险动作。在 Havenlon 中本地治理状态、设备状态、TimeGuard、DistanceGuard 和当前额度共同构成执行上下文验证。