context-infra 检查与复盘infra.guiming.net · 全内容自包含呈现 · 生成于 2026-07-21 16:28 UTC

agent_protocol_semantic_layer_excerpt_20260510_manual

Z3 全文↑ Z2 条目

方法论库 · 引用级 · none

← 返回方法论库索引 · 返回方法论区

本页是 <code>contexts/methodology/agent_protocol_semantic_layer_excerpt_20260510_manual.md</code> 的逐字投影(仅隐私清洗,零改写)。

时点提示:本页是仓内文件 contexts/methodology/agent_protocol_semantic_layer_excerpt_20260510_manual.md 的逐字投影(仅做隐私清洗:仓库根绝对路径→相对路径、家目录→~/;除此零改写)。若源文件后续有修订,以仓内真源为准。

报告元数据(frontmatter)
name: agent_protocol_semantic_layer_excerpt_20260510_manual
description: agent 协议语义层框架
domain: infra
consumption:
  surface: none
  trigger: ""
  consumer: orchestrator
status: library
promoted_to: null

c87 Agent Protocol Semantics 摘录

Source: contexts/library/harness_refs/papers/c87-agent-protocol-semantics-2026.pdf

核心论证

  1. 论文的中心论点是:agent communication protocols 已经较好覆盖 transport 与 schema,但 semantic layer 仍然薄弱。
  2. 论文把协议能力分成三层:communication layer、syntactic layer、semantic layer。
  3. Communication layer 负责可靠传输、streaming、安全、ordering、delivery guarantee。
  4. Syntactic layer 负责 JSON/RPC/events、tool capability schema、lifecycle、error handling。
  5. Semantic layer 负责 intent alignment、ambiguity resolution、shared context、verification。
  6. 论文指出,当前协议通常能保证消息被送达,也能保证结构能被解析。
  7. 但成功传输和成功解析不等于 shared understanding。
  8. 论文用 Springfield 例子说明:协议可以传递并解析 destination = Springfield,但无法判断用户具体指哪个 Springfield。
  9. 人类沟通会通过 clarification、confirmation、repair、contextual grounding 来弥合 what is said 与 what is meant。
  10. 现代 agent 协议经常把这些机制推给 prompt、wrapper、orchestration logic 或 application adapter。
  11. 这形成 hidden interoperability cost 和 semantic technical debt。
  12. 论文的实践结论是:协议栈需要从 message passing 演进到 protocol-level semantic grounding。

四个 semantic gaps

  1. Clarification gap:协议缺少原生 clarification loop,无法在 ambiguous or incomplete request 上暂停执行并追问。
  2. 典型症状:agent 收到结构正确的请求后直接行动,而不是先确认 intent。
  3. 论文中 A2A 被作为相对正面的例子:接收方可发 clarification query,以 confirm intent before execution。
  4. Context alignment gap:协议缺少 shared context 或 common ground 的同步机制。
  5. 典型症状:长任务跨多个 agent 展开时,各 agent 的 internal context 各自漂移。
  6. 论文称这会导致 Contextual Coherence Debt。
  7. 结果是相同事实在不同 agent 里被放入不同概念模型,协作成本上升。
  8. Verification gap:协议缺少 meaning-level verification,不能检查解释是否符合 intended outcome。
  9. 论文强调 verification 应验证 pre/postconditions、policy constraints、units、ranges、identities、time semantics。
  10. 输出也应由 cited evidence、proof、confidence、risk、timestamp、provenance 支撑。
  11. Repair gap:协议缺少 semantic repair path,无法把失败解释转化为可执行修复动作。
  12. 论文里的 repair path 是:detect ambiguity → clarification exchange → common ground update → optional confirmation → execute。
  13. 没有 repair path 时,语法正确的消息仍可能触发错误行动、deadlock、mis-coordination 或 costly re-synchronization。

字段化提取:proposed semantic layer fields

  1. 说明:以下四个字段名是对论文 semantic mechanisms 的 schema 化重述;PDF 可提取文本中没有精确出现这些 snake_case 字段。
  2. clarification_needed: 表示当前请求是否 ambiguous、incomplete、information-losing,是否需要追问。
  3. 来源依据:论文反复强调 clarification、confirmation,以及 ambiguous request before execution。
  4. 建议取值:false 表示可继续执行;对象值表示追问原因、候选解释、需要用户或上游 agent 补充的字段。
  5. context_assumptions: 显式列出当前解释依赖的 shared context、domain assumptions、units、identity mapping、time zone。
  6. 来源依据:论文把 common ground、shared knowledge、intentions、assumptions 视为 semantic alignment 的基础。
  7. 建议用途:在跨 agent handoff 前冻结可审计的上下文假设,降低 contextual drift。
  8. repair_request: 当 semantic check 失败时,表达下一步修复动作,而不是只返回 generic transport/schema error。
  9. 来源依据:论文提出 failures trigger repair suggestions or safe rollback per policy。
  10. 建议内容:失败类型、触发条件、建议澄清问题、可重试 payload、rollback 或 escalation policy。
  11. verified_against: 记录本次解释或输出已经 against 哪些 contract、schema、invariant、evidence、policy 验证。
  12. 来源依据:论文要求 outputs either logically follow from inputs or be supported by cited evidence。
  13. 建议内容:intended outcome、pre/postconditions、schema version、policy id、evidence id、timestamp、provenance。

可直接迁移到 agent protocol 的最小语义包

  1. 在每条 task/message 上带 clarification_needed,让 agent 在含糊时显式停下。
  2. 在每次 handoff 上带 context_assumptions,把隐含 common ground 变成可检查对象。
  3. 在每次失败上带 repair_request,把语义失败变成可恢复流程。
  4. 在每次完成上带 verified_against,让结果可审计、可复核、可追责。
  5. 这四个字段分别对应论文中的 clarification、context alignment、repair、verification。
  6. 它们的共同作用是把语义责任从 prompt habit 提升到 protocol contract。
  7. 这与论文结论一致:future standards should integrate explicit clarification loops、verifiable intent schemas、robust context synchronization。

← 返回方法论库索引 · 返回方法论区