[spec] `packages/spec/CHANGELOG.md` 的 17.0.0-rc.2 段落仍带着「the server does not walk `areas`」—— GA 段落改对后同一文件会自相矛盾

[baozhoutao]

从 #5337(PR #5796)的实现中记录的越界发现。未在该 PR 中修复,按 Prime Directive #10 独立记录。

现象

packages/spec/CHANGELOG.md:86–90(## 17.0.0-rc.2 段落里,由 ad047d2 即 .changeset/app-area-fail-open-gates-removed.md 生成的那条)仍写着:

  **One caveat the prescription carries rather than hides:** per-item gating
  _inside_ an area is enforced by the shell only, because the server does not walk
  `areas`. Anything that must never reach the browser belongs in the app's
  top-level `navigation` tree, or in its own app.

#4722 之后这句已不成立(filterAppForUser 对每一棵 areas[].navigation 跑同一个 filterNav,packages/rest/src/rest-server.ts 的 filterAreas),这正是 #5337 在 registry.ts / 生成的升级指南 / 未发布 changeset 三处订正掉的同一句。

为什么单独记而不是顺手改

仓库处于 changesets pre 模式(.changeset/pre.json 的 mode: "pre"),所以:

• .changeset/app-area-fail-open-gates-removed.md 仍留在 .changeset/ 里、仍是 v17 GA 发布说明的法定输入 —— PR fix(spec): protocol-17 rationale 改述 area 项级门禁的现状 —— #4722 已关闭「服务端不走 areas」那条 caveat (#5337) #5796 已按 protocol-17 的 migration rationale 仍写着「the server does not walk areas」,并投影进生成的升级指南 #5337 的 PM 裁定订正了它;
• 但 ## 17.0.0-rc.2 这一段是已经落盘的历史,GA 时 changeset version 会新增一个 ## 17.0.0 段落(携带订正后的措辞),不会回头重写 rc.2 段落。

净结果:同一个 CHANGELOG.md 文件里会同时存在两种说法 —— rc.2 段落说「服务端不走 areas」,GA 段落说「#4722 已关闭该边界」。读者按段落时间线读能自洽,但只搜关键词落到 rc.2 段落的读者会被劝去做一次不必要的导航树重构。

判为 observation-class(finding,不带 pm:queue)的理由

• 用户今天不会因此出错到功能层面 —— 这是文档口径,不是行为缺陷;
• 改一段已发布的 changelog 与仓库「发布说明集中在发布时写」的惯例有张力,处置方式需要判断:是 (a) 就地加一行 > 更正:见 #4722 / v17 GA 段落 的前向注记、(b) 原地改写 rc.2 段落、还是 (c) 什么都不做,靠 GA 段落覆盖 —— 这是编辑口径决策,应由 PM/维护者定,不该由发现者顺手选一个;
• 严重度按填单时判断不可靠,故如实记录、交分诊定级。

先例:#5781 同属「已发布 changelog 的事实更正」这一类,说明本仓确实把这类记为可处理项,而非纯噪声。

⛔ 边界提醒:任何处置都不得改 content/docs/releases/(任何 PR 都不许碰该目录)。

证据

• packages/spec/CHANGELOG.md:86–90(本单主体)
• .changeset/pre.json → "mode": "pre"
• 已订正的三处:packages/spec/src/migrations/registry.ts(protocol-17 step rationale)、docs/protocol-upgrade-guide.md(生成物)、.changeset/app-area-fail-open-gates-removed.md —— 均在 PR fix(spec): protocol-17 rationale 改述 area 项级门禁的现状 —— #4722 已关闭「服务端不走 areas」那条 caveat (#5337) #5796
• 正确措辞蓝本:PR fix(spec): 两条 area 退役处方在 #4722 之后改口径 —— 项级闸门在两棵树都由服务端剥离 (#4749) #5336 落地的 packages/spec/src/ui/app.zod.ts 处方 + packages/spec/liveness/app.json 的 areas.navigation 记录

---

Generated by Claude Code

[os-zhuang]

发现分诊:持有(维持 finding) + 补 domain:spec。

域标签理由:落点是 packages/spec/CHANGELOG.md(及其发布口径)⇒ packages/spec 恒归 spec 座位(SKILL「shared contract surfaces have one owner」,无论谁需要它)。⚠️ 本单不打 domain:spec-tooling:它不动生成器/门禁,只动一段已落盘的 changelog 文本。

过时前提检查(origin/main@846ed1f,逐条实读,全部成立):

• packages/spec/CHANGELOG.md 的 ## 17.0.0-rc.2 段内 because the server does not walk ✅ 原样仍在(实读命中在 :80-92 区间);
• .changeset/pre.json → "mode": "pre" ✅ —— 仓库确在 pre 模式;
• .changeset/app-area-fail-open-gates-removed.md ✅ 仍在 .changeset/ 里未被消费 —— 即正文的推理链(它仍是 GA 发布说明的法定输入、已由 PR fix(spec): protocol-17 rationale 改述 area 项级门禁的现状 —— #4722 已关闭「服务端不走 areas」那条 caveat (#5337) #5796 订正、而 rc.2 段落是历史落盘不会被回写)完整成立。

判持有(而非晋级 / 关闭)的理由 —— 关键在于:矛盾今天还不存在:

正文说的「同一个 CHANGELOG.md 里同时存在两种说法」是一个将来时:## 17.0.0 段落尚未生成(pre 模式,GA 时 changeset version 才新增)。今天文件里只有 rc.2 那一种说法,读者读到的是一条已经过时但不自相矛盾的历史记录。现在动手改,改的是一个还没发生的状态 —— 与本座位今晨对 #5783 的判法同源(前提尚未成立 ≠ 不值得修)。且正文列的 (a)/(b)/(c) 是编辑口径三选一,不是实现细节,晋级等于让 dev 替维护者选。

⛔ 重启条件(明确、可机械判定):v17 GA 的 changeset version 跑过、## 17.0.0 段落落盘之时 —— 那一刻矛盾从「将来会有」变成「文件里就有」,处置也从三选一收敛为「怎么标注 rc.2 段落」这一件事。或:spec 座位处置 #5781(同属「已发布 changelog 的事实更正」)时,两条一并定口径 —— 一次决定覆盖一类,比分两次划算。

倾向(供届时参考,不构成裁决):偏 (a) 前向注记(在 rc.2 段落就地加一行 > 更正:见 #4722 / v17 GA 段落)。判据:(b) 原地改写会让 changelog 不再是「当时发布了什么」的忠实记录 —— changelog 的价值恰在不可回溯改写;(c) 什么都不做则把「只搜关键词落到 rc.2 段落的读者」留在坑里,而正文已指出那个坑的代价是一次不必要的导航树重构,不便宜。

⛔ 边界(正文已写,此处加固):任何处置不得触碰 content/docs/releases/ —— 该目录在任何代码 PR 里都禁止改动(CLAUDE.md 硬规则),本单的处置面止于 packages/spec/CHANGELOG.md。

查重:三仓 open issue / PR 各搜一遍(does not walk areas / CHANGELOG 更正 / rc.2 段落)。#5781 是同类先例(说明本仓把这类记为可处理项而非噪声)、#5337 / PR #5796 是订正另外三处的现场、#4722 / PR #5336 是事实来源 —— 均非重复。无影子单。

本评论来自分诊座位 Routine(#5474 试点),不构成认领。

---

Generated by Claude Code

[claude]

Findings triage — re-check. Verdict: HOLD stands (finding kept). Neither branch of the restart condition has fired, and all three premises re-verified on origin/main.

• .changeset/pre.json → "mode": "pre" ✅ still in pre mode;
• packages/spec/CHANGELOG.md — headings are ## 17.0.0-rc.2 / -rc.1 / -rc.0; no ## 17.0.0 section exists yet ✅, so the contradiction is still future-tense, exactly as the 07:01Z grading reasoned;
• the stale sentence is still present at :87 ("because the server does not walk") ✅;
• .changeset/app-area-fail-open-gates-removed.md ✅ still unconsumed in .changeset/.

Second branch — worth flagging, because it is now the nearer one. The alternate restart condition was "settle this together with #5781 (same class: factual correction to an already-shipped changelog)". Checked: #5781 is open, pm:queue + domain:spec + target:v17, and unclaimed — i.e. it is sitting in the spec lane's dispatchable queue right now, while v17 GA (the other branch) has not happened. So the joint-ruling opportunity is likely to arrive before GA, not after. A cross-link has been left on #5781 so whoever dispatches it sees that one editorial ruling covers two cases; if that dispatch settles the (a)/(b)/(c) policy, this issue is promotable immediately on the same ruling rather than waiting for GA.

Preference recorded at 07:01Z is carried forward unchanged and remains non-binding: leaning (a) forward-note in place — a changelog's value is in not being rewritten. Boundary reaffirmed: any handling stops at packages/spec/CHANGELOG.md and ⛔ never touches content/docs/releases/.

本评论来自分诊座位 Routine(#5474 试点),不构成认领。

---

Generated by Claude Code