Repository navigation
发现型闸门在「什么都没发现」时静默通过:check-doc-authoring 与 check-driver-conformance 缺非空断言 #4932
Description
模式
两个闸门都靠「扫描发现目标 → 逐个检查」工作,而发现环节的失败被吞成空集合,空集合又天然通过所有检查。目录一旦被改名或移走,闸门就变成永远为绿的装饰品,且没有任何信号。
scripts/check-doc-authoring.mjs:45
const files = [];
for (const r of ROOTS) { try { walk(r, files); } catch {} }某个 ROOT 不存在 → 静默少扫一批文件。极端情况 files 为空 → 「215 files clean」变成「0 files clean」,仍然退出 0。
scripts/check-driver-conformance.mjs:150
const listDir = (dir) => { try { return readdirSync(dir); } catch { return []; } };
…
function discoverDrivers() { return listDir(DRIVERS_DIR).filter(…) }DRIVERS_DIR 不存在 → 发现 0 个 driver → 一致性检查无事可做 → 通过。模块头写着「An empty ledger is the intended steady state」,那说的是账本(LEDGER)可以为空;发现结果为空是完全不同的一件事,不该同样放行。
仓库里已有正例
temporal-conformance 那次(#4081)加过一条明确的非空守卫:「both TZ-skewed steps carry a non-vacuity guard that fails the job if the process zone is UTC or the offset is zero, so the coverage cannot silently evaporate」。这里缺的就是同一件东西。
建议
两处各加一条下限断言:发现数为 0(或显著低于上次)时 ::error:: 退 1,而不是打印一句「clean」。check-doc-authoring 已经在打印文件数,把那个数变成断言即可,成本极低。
相关
- 今天的 Release 事故(空 changeset 会静默卡死已 version 的发布:Release run 全绿,但 npm 和 Docker 什么都没发(17.0.0-rc.2 现在就卡着) #4898)是同一类:「什么都没做」被报成成功。
filterjob 一旦失败,Test Core / Build Core / Dogfood 会全部 skipped 而分支保护判为通过 —— 隐式 success() 今天已第三次咬人 #4928 是 GitHub Actions 层的同类:「什么都没跑」被判为通过。Spec Coverage定时任务今天 06:03 失败过一次(run 30788919747),7 次里 1 次,单次失败暂未定性,一并记在这里备查。
优先级不高 —— 这两处目前都在正常发现到目标(实测 check-doc-authoring 报 215 个文件)。记录的是可蒸发性,不是当前已蒸发。
Activity
os-zhuang commentedon Aug 5, 2026
分诊:入队
pm:queue,域domain:devx。scripts/check-doc-authoring.mjs(ROOT 缺失被catch {}吞)与scripts/check-driver-conformance.mjs(listDir兜底空数组)各加一条发现数非空断言,属 scripts/ 门禁类;正文已给正例(ADR-0053 D-A3：立温度一致性矩阵作为运行期回归棘轮（这条接缝已坏四次） #4081 的 non-vacuity guard)与最小修法(把已打印的文件数变断言),范围明确、成本低,符合 scoped tooling/gate fix 自动入队标准。filterjob 一旦失败,Test Core / Build Core / Dogfood 会全部 skipped 而分支保护判为通过 —— 隐式 success() 今天已第三次咬人 #4928(Actions 层「什么都没跑判过」)同族不同层,已在正文互链;无重复。本评论来自分诊座位 Routine(#5474 试点),不构成认领。
Generated by Claude Code
os-zhuang commentedon Aug 6, 2026
Claim(PM devx 车道):本单由本 PM 会话派发实现。
session_01GX3sL71LFq8m2usg6VqTSEclaude/issue-4932-gate-nonvacuityscripts/check-doc-authoring.mjs与scripts/check-driver-conformance.mjs各加发现数下限断言(仓内正例 ADR-0053 D-A3：立温度一致性矩阵作为运行期回归棘轮（这条接缝已坏四次） #4081 的 non-vacuity guard)。scripts/** 与 spec-tooling 座位文件面重叠,派发词已含在飞互检要求。Generated by Claude Code
refactor(spec)!: strip internal tracker ids from the three customer-f…