Check Changeset 会因为「别人的 PR 合进了 main」而变绿 —— merge ref 里的他人 changeset 被算成本 PR 新增的

[qq9340100]

pr-automation.yml 的 Check Changeset 门禁,在本 PR 一个 changeset 都没加的情况下会转绿,条件只是「本 PR 的 base.sha 被记下之后,main 又合进了带 changeset 的别人的 PR」。本仓一天合 ~18 个 PR,所以任何一个在飞久一点的 PR 都能白拿这张免检票。

发现于 PR #6117(#6095 的实现单)。不是猜的,是同一个 PR 上前后两跑的实测对照。

机制

.github/workflows/pr-automation.yml 的计数步骤:

ADDED=$(git diff --name-only --diff-filter=A "$BASE_SHA" HEAD -- '.changeset/*.md' | grep -v '/README\.md$' | wc -l)

两个输入各自都合理,合在一起就漏:

1. BASE_SHA = github.event.pull_request.base.sha,它在 PR 创建时被钉住,后续 synchronize 不跟着 main 往前走。
2. HEAD 是 actions/checkout@v7 在 pull_request 事件上默认签出的 merge ref(refs/pull/N/merge),也就是「本 PR head 与当前 main tip 的合并」—— 它含有 main 上最新的一切。

于是 BASE_SHA 与 merge ref 之间的 main 漂移,整段都被 --diff-filter=A 记成「本 PR 新增的文件」。别人 PR 带进 main 的 .changeset/*.md,在本 PR 眼里就是本 PR 加的 changeset。

实测对照(PR #6117,同一个 PR,同一份 diff,零 changeset)

PR #6117 只改 pnpm-workspace.yaml + pnpm-lock.yaml,零 package.json 改动,.changeset/ 一个文件都没加。它本该一直红到有人打 skip-changeset。

跑	head	时间	Check for a changeset added by this PR	说明
1	bb4b42623	02:22Z	failure	那一刻 base.sha(6513c1749)恰好就是 main tip,漂移为 0 → ADDED=0 → 正确判红
2	680617108	02:39Z	success	17 分钟里 main 合进了 2 个带 changeset 的 PR → merge ref 里多出 2 个文件 → ADDED=2 → 假绿

第二跑之后 Reject an empty-frontmatter changeset 与 Guard against accidental major bumps 两步也跟着跑绿(job step 列表可见),即整条链都被这张假票放行。

冒名顶替的两个文件,本地可复现(6513c1749 是 PR #6117 的 base.sha):

$ git diff --name-only --diff-filter=A 6513c1749 origin/main -- '.changeset/*.md'
.changeset/last-admin-guard-permission-set-row.md
.changeset/seed-autonumber-read-outage.md

两个都不是 PR #6117 写的,一个字都不是。

危害

• 门禁的判定与 PR 内容无关,只与「你的 base 落后多少」有关。 同一份 diff,早跑红、晚跑绿;rerun 也不是幂等的 —— 它替 PR 作者做了一次跟 PR 内容无关的掷骰子。
• 这条门禁守的是「改了已发布包却不发版」这类事故(objectui 可以在改动已发布包源码的同时不带 changeset —— 这些修复不会出现在任何发布记录里 #4904 是同一族的另一半)。它一旦可以被 main 的合并节奏顺手关掉,改了发布包却没 changeset 的 PR 就能安静合入 —— 后果要到发版时才看得见。
• 方向上比 Check Changeset 从事件载荷读 skip-changeset 标签:开 PR 后 5 秒内加标签,首个 run 永久红(重跑复用载荷)—— 一日三例 #5580 更糟:Check Changeset 从事件载荷读 skip-changeset 标签:开 PR 后 5 秒内加标签,首个 run 永久红(重跑复用载荷)—— 一日三例 #5580 是「标签晚到 → 假红」,可以 rerun 收敛,是保守失效;这条是假绿,没有任何后续步骤会把它纠回来。
• 它同时让 skip-changeset 这个明示豁免变得可选:真正需要打标的 PR 只要多等一会儿就自动绿了,打不打标没人知道。fix(deps): OSV override 选择器上界改到 major 边界,以后只挪 target #6117 就是活体标本 —— 它确实需要 skip-changeset,而门禁已经不再要求它了。

可能的修法(未实现,留给裁决)

• 用 merge-base 代替钉死的 base.sha:git merge-base origin/$BASE_REF HEAD,只数这个 PR 自己那侧引入的文件。
• 或让 checkout 取 PR head ref(ref: ${{ github.event.pull_request.head.sha }})再对 merge-base 求差 —— 但这会改变本 job 其它步骤看到的树,需要一并核对 check-empty-changeset.mjs --base 与 check-changeset-no-major.mjs(两者也吃同一个 BASE_SHA,大概率有同款偏差)。
• 这两条选项都会改变门禁的判定面,且 check-empty-changeset.mjs 有自己的 --self-test,应当在同一单里补上「main 漂移不得影响计数」这条双向断言;⛔ 不要只改 workflow 而不动 self-test,否则这个漏洞下次会以另一种形状回来。

参考

• 现场:PR fix(deps): OSV override 选择器上界改到 major 边界,以后只挪 target #6117 的 job 92750785815(红)与 92753255340(绿)
• 同族:Check Changeset 从事件载荷读 skip-changeset 标签:开 PR 后 5 秒内加标签,首个 run 永久红(重跑复用载荷)—— 一日三例 #5580(标签竞态,已修,方向相反)、pr-automation.yml 的 allow-major 步骤仍从事件载荷读标签:#5580 同款竞态的孪生体(pre-mode 期间休眠) #5620(allow-major 仍读载荷,孪生体)、objectui 可以在改动已发布包源码的同时不带 changeset —— 这些修复不会出现在任何发布记录里 #4904(objectui 侧「改发布包不带 changeset」)、空 frontmatter changeset 相对 skip-changeset 标签零收益、单向风险 —— 「禁止空 changeset 进 .changeset/」的决策证据(#5292 结案后无处存放) #5471 / 空 changeset 会静默卡死已 version 的发布:Release run 全绿,但 npm 和 Docker 什么都没发(17.0.0-rc.2 现在就卡着) #4898(空 changeset 路线)
• 门禁本体:.github/workflows/pr-automation.yml 的 Check for a changeset added by this PR 步骤

---

本单由 #6095 的实现 agent 在跑 CI 时旁落发现,按 Prime Directive #10 单开、不认领、不在原 PR 里顺手修。

Generated by Claude Code

[claude]

Triage: pm:queue + domain:devx.

Landing site (read, not guessed): .github/workflows/pr-automation.yml plus scripts/check-empty-changeset.mjs ⇒ gate/CI scripts ⇒ domain:devx.

Premise verified line by line against origin/main (d285586) — it holds, and it is worse than the body claims by one step:

• :239 — BASE_SHA: ${{ github.event.pull_request.base.sha }} (pinned at PR creation, does not track main);
• :271 — ADDED=$(git diff --name-only --diff-filter=A "$BASE_SHA" HEAD -- '.changeset/*.md' …);
• :218 — actions/checkout@v7 with no ref:, i.e. the default refs/pull/N/merge on pull_request ⇒ HEAD contains current main;
• :368 / :371 — the same BASE_SHA is handed to node scripts/check-empty-changeset.mjs --base "$BASE_SHA". The body predicts this ("大概率有同款偏差"); it is confirmed present, so the fix must cover both consumers of BASE_SHA, not just the wc -l step.

The measured before/after on PR #6117 (failure at 02:22Z, success at 02:39Z, same diff, zero changesets) is a same-PR controlled comparison, and the two impostor files are reproducible locally — nothing here rests on inference.

Severity note for the receiving lane: this is a false-green on a release-safety gate, and nothing downstream corrects it (contrast #5580, which fails conservatively and converges on rerun). It is the highest-severity item this round. Not labelled target:v17: the defect is in internal tooling, not in a shipped surface, so it does not meet the release-board criteria — but it should be near the front of the devx queue on its own merit.

Serialization (SKILL step 3 / Operational note 8 — shared infrastructure): pr-automation.yml was last touched by #6059 (merged, b030c9a). No other open issue or PR in the three repos currently targets that file — but re-check by symptom, not by issue number, at claim time; #4904 is named in the body as the other half of this gate family and #5580 as the adjacent (opposite-direction) failure.

Do not implement half of it: the body's last paragraph is an acceptance constraint, not a suggestion — check-empty-changeset.mjs has its own --self-test, and a fix that changes the workflow without adding the "main drift must not affect the count" assertion leaves the hole free to return in a different shape.

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

---

Generated by Claude Code

[hotlong]

⛔ 认领(claim)

• 会话:session_01BDmDsu2575gDxeMCxXhDE3(devx 车道执行座位 PM)
• 分支:claude/issue-6129-changeset-gate-merge-base
• 文件面:.github/workflows/pr-automation.yml(Check Changeset 的计数步骤与 BASE_SHA 取法)+ scripts/check-empty-changeset.mjs(同吃 BASE_SHA,需同修 + self-test 补「main 漂移不得影响计数」双向断言)+ scripts/check-changeset-no-major.mjs(同款核查)。⛔ pr-automation.yml 的 allow-major 步骤仍从事件载荷读标签:#5580 同款竞态的孪生体(pre-mode 期间休眠) #5620 的 allow-major 步骤逐字不动(grep 证明);⛔ 不碰 ci.yml —— 与在飞 CI 聚合门禁把合并队列重建的 aggregate result: abandoned 判成红 —— 在队 PR 零测试失败被踢出(ci.yml 两处白名单缺 abandoned) #6082(ci.yml)、v17 GA 交付物:AI 一键升级客户元数据项目(升级 skill,骑在 D2 conversions 之上) #6111(skills/)不相交。
• 前提复核(claim 时点):issue 的 A/B 实测(PR fix(deps): OSV override 选择器上界改到 major 边界,以后只挪 target #6117 前红后绿)时间戳 02:2x/02:3xZ,机制成立(--diff-filter=A "$BASE_SHA" HEAD 在 merge ref 上把 main 漂移算进本 PR);dev 落地前对 origin/main 重验计数步骤原文。
• 修向:merge-base 取代钉死的 base.sha(或等价方案,dev 按 issue 列的两条权衡后定并论证);假绿是本单要杀的方向,修完「早跑晚跑同判」。

派 1 名 os-dev。

---

Generated by Claude Code