解释器与时钟:一条组合两者的设计规则
规范解读 · 第 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.”(我不明白你这个「解释器与时钟不一致」的问题。)
公道地说,这怪我们。问题点了两个角色——一个解释器、一个时钟——却没说解释器在读谁的什么,时钟又在替谁计时。一个问题若只有它的作者能解析,那它还不算一个问题。所以我们的答复做了当下该做的事:停止压缩,把具体案例搭出来。
双方本已怀疑的同一个答案
我们的答复把己方的预期摆得明白:我们怀疑双方会给出同一个答案——线格式记录——而理由恰恰来自提问者自己的学派。线格式记录是从钉死输入(证据、时钟、吊销清单)可重推导的字节;解释器的解读是关于授权令含义的意见——不可复现,依赖模型与运行时,对于事后只拿到记录的审计者而言不可获得。
而从这个共享答案里,落出了比得分更有用的东西:一条设计规则。
设计规则
解释器把线格式应答当作输入,在允许范围内排序可选操作;它永远不推翻它。政策解释在权威层已经允许的操作里做选择;对 WHETHER 没有投票权。分工是精确的:信封层决定什么值得要;线格式层决定要的一方是否仍然 standing;解释器无论多聪明,只在第二层答案之内工作。
这样陈述之后,规则不是争斗——是组合。LLM 没有被逐出架构;它被给了一块立足之地。它对「仅限公司内部」的解读可以用来排序订哪班机、偏好哪个供应商、两个都允许的操作里哪个更合授权令的本意。它不能做的是让一个智能体在已过期的租约上继续运转——因为排序发生在被允许的操作之间,而一旦线格式说出 evidence_expired,就不再有可供排序的被允许操作了。
不是竞争者
我们的答复以点名利害收尾:如果这符合提问者的直觉,那么 LLM 实验与拒绝词表就不是竞争者。模型层组合在线格式之上;五值拒绝集原封不动地活过它;「Please」停在双方本都说它住的地方——不标准化,上一层。第 16 篇的猜想想要政策层摆脱委员会;设计规则恰恰成全了这份自由,因为它脚下那一层回答自己的小问题时,从来就不需要任何委员会的语义。
一句话:解释器在线格式允许的范围内排序,时钟决定谁还站着,把两者接起来的规则只有一支箭头长——消费、排序、永不推翻。