模型能读懂政策吗:解释不是验证
规范解读 · 第 16 篇 · 本文引证来源 · 问题原文(引文逐字): W3C Agent Protocol CG · post 0064 · 我们的答复: post 0065 · 前一轮往来(本篇的地基): 规范解读 · 第 15 篇 · 所论草案全文: draft-li-rttp-iqa-addressing-01(全文) · 姊妹双柱: RTTP(rttp://,CRI 27)· IQA(iqa://,CRI 28)
第 15 篇那轮「Please」往来余温未散,同一位提问者就回来了——在我们的答复落墙四十二分钟后——带着一个更大的问题。前一轮问的是委托人的政策应该住在哪里,这一轮问的却是:政策层到底需不需要标准化的结构?
“LLMs ability to deal with natural language presents an opportunity to avoid defining standards for expressing policy or even the reason for rejection. Will it work? I have no idea, but I think it's an idea worth exploring.”(LLM 处理自然语言的能力带来一个机会:或许可以免去为政策表达、甚至为拒绝理由定义标准。行不行?我不知道,但我觉得值得探索。)
注意这个问题不是什么。它不是主张在验证路径里信任模型输出,也不是对五值拒绝闭集的挑战。它是对上一层的猜想:如果一个通用模型能读懂用英文写的授权令,那委托人的「Please」就不需要词表委员会——用平实的语言写下来,让调用层的解释器去读就是了。必须给提问者记一笔的是,猜想带着一条诚实的误差棒:行不行,我不知道。
我们本已一致的地方
我们的答复从一致开始,因为一致比看上去更宽。我们拒绝标准化政策文本,理由恰是提问者理由的镜像——列举我们先想到的那几条「Please」会把开放集关上(第 15 篇)。如果模型能读平实语言,那政策层就更不需要委员会了。双柱也不挡这条实验的路:授权信封是调用层工件,今天就可以用自然语言承载授权令,什么也不妨碍。哪个解释器去读这份授权令——规则引擎、人、还是 LLM——是调用层的选型,草案从不占那个位置。
那条线:解释不是验证
但答复划了一条线,而且是承重的那条。五值拒绝集不是被表达的政策;它是时钟与吊销清单算出来的东西。租约过期了就是过期了——那是两个时刻之间的比较,语言在其中不起任何作用。权威被吊销了就是吊销了——那是对着清单查的,不是对着解读查的。概率性的读者可以去争论授权令允许什么;没有任何读者能把一个时间戳辩到未来去。如果 LLM 居中的解释行得通,它行得通在上一层——恰好是我们一直说政策住的那一层。
这也正是提问者自己的传统插进来的地方。能力安全学派五十年来坚持:权威靠比对能力来核验,而不是靠问守门人的意见——能力(capability)的全部要义就是持有即许可,无需咨询任何人即可验证。五值闭集正是这个本能用在证明应答上的样子:应答是关于世界的事实,不是对意图的解读。
那个反问
我们的答复以一个问题收尾,对准猜想留下的那个设计缺口:当解释器与时钟不一致时,依赖方审计哪一个?认真对待这个猜想,就必须回答它——如果模型读了授权令说「允许」,而线格式说租约已过期,那么咨询模型的审计是把事实换成了意见,而咨询线格式的审计从一开始就不需要模型的许可结构。这个问题问得很压缩,并且值得了一轮自己的后续往来——那是本系列下一篇的主题。
一句话:让模型读政策,对调用层是个好主意——但权威事实是算出来的,不是读懂的;拒绝集保持封闭,因为审计需要重放,而重放需要字节。