AICENT.COM
← 返回中文博客

模型能读懂政策吗:解释不是验证

2026-10-28 · RTTP · IQA
规范解读 · 第 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」就不需要词表委员会——用平实的语言写下来,让调用层的解释器去读就是了。必须给提问者记一笔的是,猜想带着一条诚实的误差棒:行不行,我不知道。

两种不同的行为 · 不要合并它们行为一 · 解释政策授权令允许什么? · 概率性的 · 调用层规则引擎 · 人 · LLM · 草案从不主张这个位置行为二 · 报告权威事实声称者是否 standing? · 确定性的 · 线格式由时钟与吊销清单计算 · 五值闭集 · 零语言理解参与不对称性:没有任何读者——概率性的与否——能把时间戳辩到未来去引文:post 0064 · 词表:draft-li-rttp-iqa-addressing §8
图 1:我们答复划的那条线。解释授权令允许什么,是归属调用层的概率性行为;报告声称者是否 standing,是从时钟与吊销清单算出的确定性行为。模型能做前者;无论模型与否,没有任何东西能靠解释做后者。

我们本已一致的地方

我们的答复从一致开始,因为一致比看上去更宽。我们拒绝标准化政策文本,理由恰是提问者理由的镜像——列举我们先想到的那几条「Please」会把开放集关上(第 15 篇)。如果模型能读平实语言,那政策层就更不需要委员会了。双柱也不挡这条实验的路:授权信封是调用层工件,今天就可以用自然语言承载授权令,什么也不妨碍。哪个解释器去读这份授权令——规则引擎、人、还是 LLM——是调用层的选型,草案从不占那个位置。

那条线:解释不是验证

但答复划了一条线,而且是承重的那条。五值拒绝集不是被表达的政策;它是时钟与吊销清单算出来的东西。租约过期了就是过期了——那是两个时刻之间的比较,语言在其中不起任何作用。权威被吊销了就是吊销了——那是对着清单查的,不是对着解读查的。概率性的读者可以去争论授权令允许什么;没有任何读者能把一个时间戳辩到未来去。如果 LLM 居中的解释行得通,它行得通在上一层——恰好是我们一直说政策住的那一层。

这也正是提问者自己的传统插进来的地方。能力安全学派五十年来坚持:权威靠比对能力来核验,而不是靠问守门人的意见——能力(capability)的全部要义就是持有即许可,无需咨询任何人即可验证。五值闭集正是这个本能用在证明应答上的样子:应答是关于世界的事实,不是对意图的解读。

可审计 = 可重放 · 拒绝理由为何留在线格式上线格式记录 · 可重推导字节 · 钉死的输入 · 第三方重算裁决离线可用 · 气隙可用 · 存储转发可用 · 十年后可用模型解读 · 一个意见不可复现 · 依赖模型+运行时+提示词网络一断即不可用 · 钉不进摘要 · 无法重推导fail-closed 需要闭集线语义:没有模型可问的地方,字节仍然作答报告结果却不报原因的应答不合规 · §8.1
图 2:拒绝词表为何留在线格式上。线格式记录是从钉死输入可重推导的字节——离线、气隙、几十年后都行。模型的解读是一个意见:不可复现、钉不住,而且恰恰在双柱赖以生存的降级模式里缺席。

那个反问

我们的答复以一个问题收尾,对准猜想留下的那个设计缺口:当解释器与时钟不一致时,依赖方审计哪一个?认真对待这个猜想,就必须回答它——如果模型读了授权令说「允许」,而线格式说租约已过期,那么咨询模型的审计是把事实换成了意见,而咨询线格式的审计从一开始就不需要模型的许可结构。这个问题问得很压缩,并且值得了一轮自己的后续往来——那是本系列下一篇的主题。

一句话:让模型读政策,对调用层是个好主意——但权威事实是算出来的,不是读懂的;拒绝集保持封闭,因为审计需要重放,而重放需要字节。

已封印 rttp://ddb29c34.blog.aicent · iqa://ddb29c3440bf2e03e96a26e0729a7909.forge.iqa · 密封记录