hourly full run: red on main (Lint & Type Check)

[github-actions]

Blocked-by: #19011

（由分诊席于 R+317 写入。#19011 载维护者裁决 C —— 回退 PR #18971（d8b12fca9），该回退删掉的正是本卡失败的那一步 Check @objectstack/spec declaration text (the shape half)；引入点唯一性由 git log -S 量过。⛔ 本卡上无可修之物。依据见评论 5735068819。写于 2026-09-18T19:22Z。）

---

Generated by Claude Code

[os-sam]

分诊审计 — 六态补齐(R+317,objectstack 轮)

本卡标签齐(bug, priority:p1, domain:devx)而缺六态之一 ⇒ 本轮优先处置。以下全部读数为本次动作现读,列表快照一律作废。

1. 条件是否仍成立(现读)

origin/main(本席先 git fetch origin main 后读)= 07c6f822edd9c4c48a7ce34767de420c6096b9c3 —— 与本卡登记时的 head 同一个。

该 sha 上 Lint & Type Check 的全部运行(走 head_sha= 查询,33 个 run 全取后过滤,⛔ 不用按分支的首页,理由见 §3):

事件	run	建于	结论
schedule	#36580	2026-09-18T18:13:12Z	❌ failure(收尾 2026-09-18T18:41:38Z)
push	#36579	2026-09-18T18:10:16Z	✅ success
merge_group	#36575	2026-09-18T17:49:48Z	✅ success

schedule 那次既是本卡登记的那次,也是该工作流在当前 head 上最新的一次。下一次 hourly 尚未开跑(本席动作时该 sha 上无 Lint & Type Check 处于 in_progress)。

失败作业与失败步(run #36580 的 jobs 端点现读):

• ❌ Type Check · consumer gates(2026-09-18T18:13:15Z → 2026-09-18T18:20:25Z),失败步 = Check @objectstack/spec declaration text (the shape half)
• ❌ TypeScript Type Check(2026-09-18T18:30:47Z → 2026-09-18T18:30:50Z),失败步 = Verify every type-check lane succeeded(汇总闸,跟着上面那条红)
• 其余四条 lane 皆 success:Type Check · source gates · Lint & Repo Gates · Type Check · workspace · Type Check · debt ledger

⇒ 条件仍成立,故六态取 pm:queue(可派发,非 pm:blocked/pm:on-hold:无前置卡、无重启谓词)。

2. ⭐ 一条对修车道有决定作用的读数:同一 sha、同一作业,两次运行结论相反且时间重叠

Type Check · consumer gates 这个作业在同一棵树上跑了两次:

• 在 push run #36579:2026-09-18T18:11:42Z → 2026-09-18T18:22:52Z ⇒ success
• 在 schedule run #36580:2026-09-18T18:13:15Z → 2026-09-18T18:20:25Z ⇒ failure

两者并发,且失败那次先结束(2026-09-18T18:20:25Z 早于 2026-09-18T18:22:52Z)。

这条读数排除了「@objectstack/spec 的公共类型动了而声明文本快照没刷」这一类解释 —— 快照过时会让两次都红。树是同一个 sha,差别只在运行环境/时序。

3. 仪器可达半径,与半径外的已知目标

• ⛔ 失败步的日志正文 NOT MEASURED。actions/jobs/<id>/logs 302 到 productionresultssa3.blob.core.windows.net,本环境出网策略判为 connect_rejected(curl 退出 56,HTTP=000)。故本条只量到:作业名 · 步名 · 结论 · 起止时刻 · 两次运行的并发关系。红的原因未测。
• 半径外的已知目标:该步的输出 diff(check:api-surface-declarations 实际报出的声明文本差异行)、turbo 缓存命中/未命中的那几行。这些要么由能读 blob 的账号读,要么在本地复跑该 filter 脚本才可得 —— 后者⛔ 不是分诊席的动作(会构成写码/认领)。
• 另一处半径:按分支查 actions/runs?branch=main&per_page=60 的首页在本仓不是按 created_at 降序的可用视图(首页最新一条为 2026-08-29T23:50:33Z,远早于今日),故本节所有 run 级读数改走 head_sha= + commits/<sha>/check-runs。这条本身是一个盲区:凡是靠 branch= 首页判断「最新一次跑了什么」的读法,在本仓会读到三周前的运行还以为是最新 —— 与接手者必读 ㉔ 同形(「一个只会回『一切正常』的闸门与一个坏掉的闸门在输出上无法区分」),此处是「一个把旧运行当最新的视图与一个真的没有新运行的仓库在输出上无法区分」。

4. 车道判定:domain:devx 保留,⛔ 不改 domain:spec

被测对象是 @objectstack/spec 的声明文本,按车道表「packages/spec 整包 ⇒ spec」本会收进 spec。但闸门自述(origin/main:.github/workflows/lint.yml 该步上方注释现读)说它「resolves each entry point through the exports map to the BUILT .d.ts」,且「A missing or stale dist is a HARD REFUSAL in both of the script's modes, never a skip」—— 它是一个 build 依赖闸门。

§2 那条「同一树上并发两跑、结论相反」把争点从「spec 的类型变了」挪到「闸门读到的 built dist / turbo 缓存不是同一份」,修点落在 CI 车道侧 ⇒ domain:devx 保留,标签一字不动。

⚠️ 反转判据写在这里:若开发席/维护者后续量到确系 spec 公共类型变更未刷快照(例如在无并发 push 运行的一次 hourly 上仍红),本条判定应翻回 domain:spec。本席给出的是判据,⛔ 不是裁决。

5. 级别:priority:p1 保留

main 的 hourly full run 现在就是红(该工作流在当前 head 上最新一次 = failure)⇒ 已发生的事故链,不是「仅有实测活违规/盲区」⇒ p1 站得住,⛔ 不降 p2。

6. 形状邻居 —— ⛔ 不合卡,只点名

#19086(check:generated --fix 从 turbo CACHE-SERVED dist 写产物,却报「All 16 generated artifacts are up to date」)与本卡同属「build 依赖的闸门读到的 dist 不是它以为的那份」这一形状。但闸门不同(check:generated vs check:api-surface-declarations)、载体不同、读数不同 ⇒ 两张卡各自独立,⛔ 不判重。按「同一形状的第二个载体 ⛔ 不自动降级」,#19086 的级别也不因本卡而动。

7. 同轮姊妹卡

#19079(hourly full run: red on main (CI))本轮已关 completed —— 它登记的那次 failure 之后 main 上 CI 连续两次 success。本卡是 Lint & Type Check 变体,仍红 ⇒ ⛔ 不同命,不随之关。

8. 本席边界

⛔ 分诊席不认领卡 · 不派发 dev · 不写码 · 不代维护者裁决。本卡本次只补六态(pm:queue),既有 bug · priority:p1 · domain:devx 一字不动;assignee 为空,故可动。

_{分诊席 · R+317 · 本条评论写于 2026-09-18T19:09Z;上表所有时刻均为引用读数,⛔ 非本条写作时刻。}

---

Generated by Claude Code

[os-sam]

⛔ 更正本席同卡上一条审计评论 —— 六态改判 pm:queue → pm:blocked,车道改判 domain:devx → domain:spec

本席在同一轮(R+317)内先落了评论 5734917564,其中 §4 结论是「domain:devx 保留,⛔ 不改 domain:spec」、§1 结论是「六态取 pm:queue」。两条本轮都作废。 按「⛔ 已落的审计评论不重写」,上一条一字不改,更正落在这里。

1. 上一条错在哪里 —— 以及不是我当时写下的那条反转判据被触发了

上一条 §4 我写了反转判据:「若…量到确系 spec 公共类型变更未刷快照,本条判定应翻回 domain:spec」。

⚠️ 那条判据并没有被触发,别让后来人这样读。作废的理由是一条我写上一条时没有读到的东西:一条已下的维护者裁决,把本卡失败的那一步整个删掉。

2. 现读到的决定性链条(本席自己量的)

#19011 —— 现读 open · priority:p1, pm:dispatched, domain:spec, needs:contract-review · assignee os-bill · 标题 [ruling C] revert PR #18971 — the 12 MiB declaration-text snapshot comes out; consumer compilation against spec@main becomes the shape gate。

其正文载维护者裁决 C 的照抄原文,并写明该回退「deletes packages/spec/scripts/build-api-surface-declarations.ts and the 17 shards」,并取回 PR #18971 加进 .github/workflows/lint.yml 的行;该裁决取代了 #16045 上 director batch #60 的选项 A。

本卡失败的那一步是不是就是被删的那一步 —— 本席没有转述,自己量:

git log origin/main --oneline -S "check:api-surface-declarations" -- .github/workflows/lint.yml
⇒ d8b12fca97 feat(spec): pin every export by its .d.ts declaration text, and retire the 27 signature hashes (#18971)   ← 唯一一条

⇒ Check @objectstack/spec declaration text (the shape half) 这一步的引入点只有 d8b12fca9 一个,而裁决 C 要回退的正是它。

⇒ 本卡的红不是任何人能在本卡上修的:它随 #19011 的回退 PR 落地而消失。

3. 同时更正一处归因偏窄(上一条 §2 / §4)

上一条 §4 我把分歧归给「闸门读到的 built dist / turbo 缓存不是同一份」。这个归因偏窄。 #19086 的立卡席在 2026-09-18T17:37:53Z 落的更正(评论 5733832926)实测到:「在本容器上,turbo 从未被调用的前提下,同一棵树同一条路径的多次『无缓存』新鲜构建,彼此在联合成员顺序上并不一致」;并且 .build-input-hash-dts 是输入哈希,在红那次与绿那次之间完全相同。

• ✅ 上一条 §2 的结论仍然成立:同一 sha 上一绿一红 ⇒ 「快照过时」这一类解释被排除。这一条不动。
• ⛔ 上一条 §4 把成因收窄到 turbo 缓存 —— 作废。成因在 dts 构建层的联合成员顺序不确定,缓存只是其中一条路径。
• ⚠️ 这条实测是 finding(tooling): check:generated --fix writes artifacts from a turbo CACHE-SERVED dist and then reports 「All 16 generated artifacts are up to date」 — a verifier reporting success over a measurement it did not take #19086 立卡席与达档复核所量,本席转述,⛔ 非本席重跑;本席自己量到的仍只是「同一 sha、同一作业、并发两跑、结论相反」。

4. 改判

维度	上一条	本条	依据
六态	pm:queue	pm:blocked	唯一的清除动作在 #19011,本卡上无可修之物 ⇒ 等上游
车道	domain:devx	domain:spec	清除动作是 spec 车道的回退 PR;留 domain:devx 会让 devx 车道一直看见一张自己修不了的 p1 红
级别	priority:p1	priority:p1(不动)	main 的 hourly 现在仍红,事故链未变
类型	bug	bug(不动)	—

pm:blocked 的行契约同笔落地:本卡正文原为空,本条之后正文首行为 Blocked-by: #19011(机器可读,#19011 关闭时由解锁扫描放回)。⛔ 评论里的引用不算,必须在正文。

5. 两条出路都通,⛔ 不冲突

• 若下一次 hourly 的 Lint & Type Check 自行转绿(按 finding(tooling): check:generated --fix writes artifacts from a turbo CACHE-SERVED dist and then reports 「All 16 generated artifacts are up to date」 — a verifier reporting success over a measurement it did not take #19086 的读数,新鲜构建之间本就时红时绿),本卡按其卡类惯例自闭 —— 同轮姊妹卡 hourly full run: red on main (CI) #19079 就是这样关的。
• 若一直红到 [ruling C] revert PR #18971 — the 12 MiB declaration-text snapshot comes out; consumer compilation against spec@main becomes the shape gate #19011 的回退 PR 落地,则由解锁扫描在 [ruling C] revert PR #18971 — the 12 MiB declaration-text snapshot comes out; consumer compilation against spec@main becomes the shape gate #19011 关闭时放回。

⇒ 挂 pm:blocked ⛔ 不妨碍自闭那条路。

6. 与 #19086 的关系:同根,⛔ 不合卡

#19086(check:generated --fix 在未测量的 dist 上写产物却报「全部最新」)与本卡同一个门禁、同一个根,但方向相反:#19086 是假绿,本卡是假红。本轮 #19086 已定 bug · priority:p1 · pm:queue · domain:spec,其可派发面被本席收窄到与声明文本产物无关的那一半(带 readsDist: true 的其它 roster 项),正因为声明文本那一族被 #19011 删掉。⇒ 两卡各自独立,⛔ 不判重、级别互不牵动。

7. 本席边界

⛔ 分诊席不认领、不派发、不写码、不代维护者裁决。本条只做三件事:更正上一条的两个结论、给正文补 Blocked-by: 行、改两个标签。#19011 的方向是维护者已裁的,本席⛔ 不重裁、⛔ 不评论其 PR。

_{分诊席 · R+317 · 本条评论写于 2026-09-18T19:21Z;2026-09-18T17:37:53Z 为 #19086 那条更正评论的平台时刻(引用读数),d8b12fca97 / 07c6f822ed 为 sha。}

---

Generated by Claude Code