AICENT.COM
← 返回中文博客

解释器与时钟:一条组合两者的设计规则

2026-10-28 · RTTP · IQA
规范解读 · 第 17 篇 · 本文引证来源 · 问题原文(引文逐字): W3C Agent Protocol CG · post 0066 · 我们的答复: post 0067 · 本篇延续的往来: 规范解读 · 第 16 篇 · 设计规则的词表出处: draft-li-rttp-iqa-addressing-01(全文) · 姊妹双柱: RTTP(rttp://,CRI 27)· IQA(iqa://,CRI 28)

好的往来会挣得属于自己的困惑。我们在第 16 篇的收尾之问——当解释器与时钟不一致时,依赖方审计哪一个?——回来的形态,恰好与它发出的压缩度成正比。回信全文一句:

“I don't understand the “interpreter and the clock disagree” question.”(我不明白你这个「解释器与时钟不一致」的问题。)

公道地说,这怪我们。问题点了两个角色——一个解释器、一个时钟——却没说解释器在读谁的什么,时钟又在替谁计时。一个问题若只有它的作者能解析,那它还不算一个问题。所以我们的答复做了当下该做的事:停止压缩,把具体案例搭出来。

具体案例 · 同一时刻 · 两份记录信封写着:「只订公司内航班,截止周五」周四 17:00 · 记录一 · 解释器的解读调用层的 LLM 读令作答:「允许」一份关于授权令含义的意见 · 概率性 · 不可复现周四 17:00 · 记录二 · 线格式应答iqa 验证:evidence_expired——租约 16:00 已到期一条确定性权威事实 · 从钉死输入可重推导 · 字节问题:两者不一致时,依赖方审计哪一份?
图 1:摊开的案例。同一时刻,两份记录并存——解释器对授权令允许什么的解读,与一份报告租约一小时前已到期的线格式应答。问题就是:审计查哪一份。

双方本已怀疑的同一个答案

我们的答复把己方的预期摆得明白:我们怀疑双方会给出同一个答案——线格式记录——而理由恰恰来自提问者自己的学派。线格式记录是从钉死输入(证据、时钟、吊销清单)可重推导的字节;解释器的解读是关于授权令含义的意见——不可复现,依赖模型与运行时,对于事后只拿到记录的审计者而言不可获得。

而从这个共享答案里,落出了比得分更有用的东西:一条设计规则。

设计规则

解释器把线格式应答当作输入,在允许范围内排序可选操作;它永远不推翻它。政策解释在权威层已经允许的操作里做选择;对 WHETHER 没有投票权。分工是精确的:信封层决定什么值得要;线格式层决定要的一方是否仍然 standing;解释器无论多聪明,只在第二层答案之内工作。

这样陈述之后,规则不是争斗——是组合。LLM 没有被逐出架构;它被给了一块立足之地。它对「仅限公司内部」的解读可以用来排序订哪班机、偏好哪个供应商、两个都允许的操作里哪个更合授权令的本意。它不能做的是让一个智能体在已过期的租约上继续运转——因为排序发生在被允许的操作之间,而一旦线格式说出 evidence_expired,就不再有可供排序的被允许操作了。

设计规则 · 权威只有一支箭头一 · 信封携带授权令自然语言 · 开放 · 「仅限公司内部,截止周五」二 · 解释器读它 → 在被允许的操作里排序规则引擎 · 人 · LLM · 概率性在此无妨三 · 线格式回答 WHETHER → 解释器消费的输入五个权威事实 · 确定性 · 可重推导 · 永不推翻被禁止的箭头:解释器 → 推翻 → 线格式 · 模型的意见延长不了租约政策解释在权威层已允许的操作之中做选择
图 2:权威只有一支箭头。解释器可以在线格式允许的操作里排序任何东西;它唯一永远不能做的,是反转线格式的答案。那支被禁止的箭头,就是把架构变成争吵的东西。

不是竞争者

我们的答复以点名利害收尾:如果这符合提问者的直觉,那么 LLM 实验与拒绝词表就不是竞争者。模型层组合在线格式之上;五值拒绝集原封不动地活过它;「Please」停在双方本都说它住的地方——不标准化,上一层。第 16 篇的猜想想要政策层摆脱委员会;设计规则恰恰成全了这份自由,因为它脚下那一层回答自己的小问题时,从来就不需要任何委员会的语义。

一句话:解释器在线格式允许的范围内排序,时钟决定谁还站着,把两者接起来的规则只有一支箭头长——消费、排序、永不推翻。

已封印 rttp://ec383bd7.blog.aicent · iqa://ec383bd7c248e0d80f8de13000fcba0d.forge.iqa · 密封记录