AICENT.COM
← 返回中文博客

叶寿限不是裁决年龄——委托链条不该合并的两只时钟

2026-11-07 · RTTP · IQA
本文引证来源 · 本文所读的线程,在案可查:WIMSE 存档,AIMS placement 线程,2026 年 11 月 6 日 · 区分的源流所在:standing of delegated authority at point of use(DOI 10.5281/zenodo.23105657) · 线上答案锚定的文本:draft-li-rttp-iqa-addressing-02(全文) · 系列页:datatracker · 测边界的家族:iqa.org/conformance/aicent-lease-boundary/(四件套,逐文件 SHA-256) · 测词汇表的家族:iqa.org/conformance/aicent-grant-ref/ · 一致性枢纽:iqa.org/conformance/ · 另一半的姊妹篇:时间半边属于 determination · 竞态早前一篇:任务中途发生什么 · 姊妹双柱:RTTP(rttp://,CRI 27) · IQA(iqa://,CRI 28)

每条委托链条里都跑着两只钟,而本周 WIMSE placement 线程的一位参与者——Cliff Singletary——把两者之间的线画得比这个系列引用过的任何规范文本都干净。他在背书线程关于限定句落点的收拢,并在其上追加自己的要求,两句话值得整段引用:"On ShaoBao's time half: yes, it earns its own sentence, because it is a separate requirement from leaf lifetime. Leaf lifetime bounds how long a withdrawn credential keeps being accepted. It says nothing about how old a determination of the authority behind that credential may be when it is relied on." 二十九个词,一个整座架构都会搞错的区分:链条中一片叶子的寿命,不是验证者对这条链条的信念的年龄——两个数字在不同的时刻回答不同的问题。

两条轴 · 叶寿限 & 裁决年龄 · 不同的问题两钟看着像兄弟 — 在不相干的时刻量不相干的东西轴 1 · 叶寿限被撤销的凭证还能在边缘被接受多久 — 撤销传播轴 2 · 裁决年龄验证者关于权威的信念在被依赖时有多旧 — 使用时的陈旧度轴 1 是网络的属性:列表传播、缓存过期、边缘晚知道轴 2 是决定的属性:验证器得出了什么、依据的是什么年份的证据合并的代价拿短叶寿限冒充新鲜度 → 一个感觉现行、决定却建立在腐坏输入上的系统一个限定边缘学多快 · 另一个限定决定多诚实 — 谁也不能替谁上班
图 1:两条轴。叶寿限是网络的属性——撤销多快抵达边缘;裁决年龄是决定的属性——依赖时信念有多陈旧。

为什么两只钟抗拒变成一只

合并它们的诱惑是结构性的:都以秒计量、都听着像「新鲜度」、都会过期——寄存器紧张的实现者就留一只。但合并朝两个方向同时失败。给叶子一个短寿命、指望 determination 继承它的新鲜度,你什么也没买到:每小时重签一次的凭证,对其背后权威最近一次被实际观察的时刻什么也没说,而控制观察间隔的人控制着每个决定的真实新鲜度——不管叶子怎么说。给 determination 一个写明的年龄、指望它顶替撤销,你得到镜像的失败:三秒前的 determination 依然是关于过去的信念,信念再年轻也加速不了网络学到「边缘已有一片叶子被撤销」。两钟必须分开携带,因为它们限定不同的保证——传播与诚实——而一个保证悄悄替另一个上班,正是这个系列记录过的最古老的过度读取形状。

四个象限,四种裁决

把两条轴交叉,区分就变成可操作的,而交叉正是实现分出高下的地方。叶有效且 determination 新鲜:寻常情况——放行,年龄上记录,事后决定可审计。叶已撤销且 determination 新鲜:撤销及时抵达——线上答 authority_revoked,叶寿限正是这个象限能被漏掉多久的边界。叶有效且 determination 过期:安静的象限——表面上毫无异样,凭证查验通过,而查验背后的信念早于本次请求;合并时钟的实现凭叶子的新鲜度在这里畅行无阻,诚实的实现则按它实际依赖之物的年龄作答。叶已撤销且 determination 过期:双陈旧象限——「我们确立过一次」的最坏读法,系统对世界早已翻篇的凭证双重自信。四个象限,合并的钟错两个,而且错的时候感觉更现行,不是更迟钝。

四个象限 · 叶状态 × 裁决年龄合并时钟出错的地方,恰是每个可见表盘都读「正常」的象限边缘叶有效边缘叶已撤销裁决新鲜放行 — 年龄上记录authority_revoked — 传播赢了裁决过期安静象限 — 合并时钟畅行双陈旧 — 双重自信诚实的线上:过期 → 年龄成员直说(observation_as_of_ms,不新鲜即 null)诚实的线上:不可判定 → authority_not_determined,绝不沉默 · 已撤销 → authority_revoked合并的钟错两个象限还感觉现行 · 分开的钟四个全对
图 2:象限表。四种组合里有两种是合并时钟实现失败的地方——而且两种失败从内部感觉都像新鲜。

线上答案,逐值对应

寻址草稿 draft-li-rttp-iqa-addressing-02 已经把这个区分作为词汇表携带,映射与象限一一对应。被撤销的叶是 authority_revoked——"The authority for the subject has been revoked"——叶寿限就是依赖方应能看见的传播边界。不可判定的情形是 authority_not_determined,其定义以整条线程都在绕的那条纪律收尾:"An unreachable source is refused under this value, never read as assent." 而裁决的年龄不是约定,是成员:observation_as_of_ms 凡回答所依赖的观察缺失或不新鲜即为 null——"The member states the age of what the answer actually relied on, not the freshness of the freshest thing the implementation happened to see." 三个值加一个成员,两只钟从不共用一个寄存器。

源流,记在名下

还有一件事必须上记录,因为这个系列信奉:带名字的区分能活下来,没名字的区分每六个月被重新开庭一次。Singletary 为自己的贡献签上了源流:"I set this out as standing of delegated authority at point of use in doi:10.5281/zenodo.23105657." 撤销多快抵达边缘与依赖时信念多旧之间的区分,不是这条线程的新铸币——它是一个人以自己的名义在公开处建造已久的立场,久到有了 DOI,线程因为有这条引注而更好。这个系列押的是同一个注:委托授权的语法,在每一句承重句都带名字和日期时,建造得更快。上面的象限表是我们对这个区分的转译;可执行的转译在咱们一致性枢纽的 aicent-lease-boundary 与 aicent-grant-ref 上跑——checker 分别 15/15 与 25/25,每条期望锚定到发布草稿的引用句——已并入 Agent-Authority-Conformance 实验室主线,随时等着任何想让两只钟被查验的实现。

一行收束:叶寿限限定边缘多快得知一张凭证死了;裁决年龄限定决定做出时有多诚实——两只钟、两种保证、四个象限,合并它们的链条会在每个可见表盘都读「正常」的两个象限里失败。

已封印 rttp://d438f7bf.blog.aicent · iqa://d438f7bf3aa85578e2a20e4bf1bdb6e1.forge.iqa · 密封记录