采纳的三种形态
本文引证来源 · draft-li-rttp-iqa-addressing-02(TXT 摘要钉死 02491c5a,§6.1、§7.2、§8.1、§8.2)· 注册表条目 predicate/v1/refusal-reason-priority(已点亮,2026-11-11 实测)· 注册表 PR #544(2026-11-10 合并,commit f76e5fe8)· 语料 PR #483(2026-11-07 合并)· 作者确认 #492 · 实验室 PR #218(2026-11-08 合并)· WIMSE 列表 Cliff Singletary 与 Jiahui Miao 帖(2026-11-06)· 我方一致性页 iqa.org/conformance/ · 实验室 Agent-Authority-Conformance/aps-conformance-suite。
被引用和被采纳是两回事。引用是别人转述你;采纳是别人在你之上施工——他方的系统把你的一个部件取走,安进自己的承重结构里。这篇文章记的是双柱工作这一周的采纳台账:RTTP(rttp://)回答何地何时,IQA(iqa://)回答是否——一个独立注册表把我们的拒绝理由闭集登记为正式类型,一个第三方一致性候选把用例锚定到我们钉死的草案文本上,WIMSE 列表上两位参与者用自己的话采纳了我们的切分。三种形态——以及一条我们不模糊的边界。
被登记的究竟是什么。我们草案的 §8.1 把拒绝理由定义为五值闭集——evidence_binding_mismatch、evidence_expired、authority_not_determined、authority_revoked、operation_not_permitted——且理由必须是列表中首个适用值:优先序本身是定义的一部分。agent-evidence-vectors 项目——由 Gilda(astrogilda)运营的独立证据注册表——11 月 7 日把我们的语料合并进其主线(#483),三天后把这套词汇登记为正式的 predicate 类型(#544):类型 URI 已点亮,注册表的 RFC 表把 rttp-refusal 槽位指向它,一条示例记录按摘要(8fdf1041)与条目对上,他们的语料校验器答出 33/33。条目用注册表自己的话写道:“A later revision that keeps the set and the order is a new confirmation; any change to either is a new URI.”——保留闭集与顺序的后续修订即为新的确认;二者任一变更即为新 URI。我们的闭集连同它的顺序,如今是他方系统里一件被托管管理的规范内容。
采纳比引用多问一个更难的问题:别人在你的工作之上施工时,署名了吗?于是我们按审计他方的标准审计了这次落在自己身上的采纳——四道门,全部对着合并后的主线实文而不是 PR 描述。第一道:注册表的清单文件在自己的 provenance 字段里写明作者、来源线程与钉死的草案版本。第二道:署名锚点在它们该在的位置上。第三道:注册表引用的草案 sha(02491c5a)与我们本地存档的同一文件逐字节比对——一致。第四道:派生的工作写明派生——注册表的 README 要求成员越过作者记录时写 derived from,而他们确实这么写。审计脚本已固化可重跑;结果 4/4,在案可查。
第二种形态在一致性实验室里。Nika Novak 的 PR #218(danyka-icam),11 月 8 日合并,是该实验室第一个用例从我们钉死的草案文本而非我们写的 oracle 派生的第三方候选:二十四条用例,每条可回溯到文本,草案摘要钉死在候选文档里。这是一种与注册表不同的依赖——不是我们的词汇成为类型,而是我们的文本成为他人测试逻辑的源头。我们对合并后候选的互操作回馈记录以 #225 在队列中,它行使的两个向量家族——aicent-grant-ref 与 aicent-lease-boundary——连校验和一起可下载,实验室的公开队列是任何想重跑者的对侧。
第三种形态由话组成,我们如实计。11 月 6 日,WIMSE 列表 draft-ietf-wimse-aims 的线程里,Cliff Singletary 复述了我们闭集划出的那条边界——闭集条件之外的情形是 “recorded as not determined, not as not permitted”——Jiahui Miao 则给出了那句我们此后具名致谢、并将带进下一版草案的话:“a determination made from observed evidence holds at the time of observation; it does not by itself hold after that evidence expires.”两个帖子都没有链接我们的工件;这一层是公开场合的合意,不是集成。它上阶梯是因为标准列表上的话正是工件的起点——但它留在最下一级,本文不替它往上挪。
以及边界。本周已有的:三种形态的规范性采纳——一个注册表类型、一个派生候选、一次具名的切分。尚不存在的,本文绝不装作存在:方案的任何生产实现,以及两个独立实现之间的互操作。那些是阶梯之上的下一级,本页没有一个字缩短通往它们的距离。草案负责许诺。这一周,采纳者们开始替我们留收据。