chore(module-size): 抬 tree 行时漏改树下那条 file 行 —— 加一条交叉判据,让「登记做了一半」当场红并点名第几行 (#1435)

[jinjunnn]

体积检查最近在主干上自己超标了,查下来不是有人偷偷加代码,而是一次登记做了一半:三个月前那次改动把「总量」那一行的基线抬了、理由里还逐字写了某某文件的增量,却没改那个文件自己那一行。#1430 补完了那半边,但今天没有任何东西会发现下一次同样的漏 —— 所以它会再犯。

本 PR 加一条交叉判据:抬高「总量」那一行的时候,如果这次增量里有哪个被单独盯着的文件也变长了、而它那一行没跟着改,就当场红并点名是第几行。

① 判据(主要工作)

落点:scripts/assert-module-size.sh,判官测试只判它的行为。理由:

• 这条判据要问的是「这一次有没有抬高某个 tree 行」—— 那是 push 时相对 origin/alpha 的分支事实。脚本已经持有 BASELINE_REF、已经逐行解析登记簿、已经量出每一行的实测值与它在 TSV 里的真行号;
• 判官测试(packages/ui-mac/src/main/module-size-ratchet.test.ts)的夹具正好能造出「tree 抬了 / file 行没跟着改」这个状态,并把脚本本体复制进去跑 —— 它的角色是判脚本,不是自己变成第二个供数方;
• 把判据写进测试,等于让 push 时真正跑的那道门继续瞎着。

判据:把本次登记簿与 origin/alpha 上那一份比 —— 某个 tree 行的基线被抬高了 ⇒ 那棵树下每个「实测已超自己基线、而自己那一行的基线一个字没动」的 file 行,逐条点名(第几行 + 路径 + 实测/基线/差值 + 本次抬的是第几行)并 exit 1。

为什么是 1 不是 2:半份登记不是「量到了、结果不好看」(那是 2 档),是登记簿在骗人,与「点名的路径不存在」同一族。它结构上到不了「主干恒红」:合并之后本次的登记簿 diff 归零,这一条自动闭嘴 —— 能红的只有正在改登记簿的那条分支,而那正是唯一能修它的人。取不到基准上的登记簿时明说「本次没比对」,不静默当绿。

② 订正错数字

tsv 里 tree 行 #1381 那段的「启停投影(+13)」→ +14(#1430 逐 commit 量过:329847979 = 3525 → ad3864206 = 3539)。file 行里引用那句原文的地方同时注明「原文那个数本身也错了」,否则改完两行互相矛盾、而被引的原句在文件里 grep 不到。

三行基线一个没动:diff <(git show origin/alpha:…tsv | awk 取前三列) <(工作树同上) 为空。

AC 证据(真仓 + 夹具,成对;都在最终这棵树上跑的)

AC3(现状) —— 三行全 = 基线、exit 0:

        ✓ packages/ui-mac/src/main/ext-install-planner.ts 3539 行(= 基线)
        ✓ packages/ui-mac/src/main/ext-transaction.ts 2825 行(= 基线)
        ✓ packages/ui-mac/src/main 59762 行(= 基线)
exit=0

AC1(真仓) —— 人为把 tree 行 59762 → 59769,并给 ext-install-planner.ts 加 7 行而不改它那一行:

    · ① 棘轮(scripts/module-size-ratchet.tsv,只许降不许升):
        ⚠ 超基线:packages/ui-mac/src/main/ext-install-planner.ts 实测 3546 行 > 基线 3539(+7)
        ✓ packages/ui-mac/src/main/ext-transaction.ts 2825 行(= 基线)
        ✓ packages/ui-mac/src/main 59769 行(= 基线)
    ✗ 登记只做了一半(#1435)—— 本次抬高了 tree 行,而树下被单独登记的那一行没跟着改:
        ✗ 第 27 行(packages/ui-mac/src/main/ext-install-planner.ts):实测 3546 行 > 这一行的基线 3539(+7),而这一行的基线一个字没动
          本次抬高的是第 29 行(packages/ui-mac/src/main:59762 → 59769)—— 把它撑大的那些行,至少有 7 行长在上面这个文件里
      → 在**同一个 PR、同一只手**里把上面点名的那一行也改成实测值(基线只能靠人手写的 diff 抬高,评审看得见)。
exit=1

点名的第 27 / 29 行是 TSV 的真行号(sed -n '27p' 直接对得上)。

AC2(真仓) —— 同一次把 file 行也改成 3546:三行全 = 基线、exit=0;还原后仍 exit=0。

判官夹具:AC1 反向用例(exit 1 + 逐字断到「第 2 行(…pinned-a.ts)」与「第 4 行(…/main:12 → 15)」)、AC2 控制组(同一次改了那一行 ⇒ 绿),外加两个控制组:抬 tree 行本身不许红(撑大它的行长在别的文件上)、取不到基准 ⇒ 明说没比对。

变异实测(逐个改生产脚本再还原 —— 先证明这几条测得出已知的坏):

变异	结果
点名了但去掉 exit 1	#1435 AC1 红(16 pass / 1 fail)
去掉「只在抬高时问」	既有的 ②③ 两条反向/控制组红(15 pass / 2 fail)—— 证明它不会在没抬 tree 的分支上乱响
去掉「没比对」那句	⑰ 红(16 pass / 1 fail)
还原	17 pass / 0 fail

真实世界的两个真阴性(这条判据不会拦住合法的抬基线):最近两次真的抬了 tree 行的合并 —— #1436(59075 → 59117)与 #1426(59117 → 59762)—— 在 origin/alpha 上两个 file 行都仍恰好等于基线,登记是做完整的 ⇒ 这条判据对它们会保持沉默。

登记

• scripts/gate-files.tsv 那一行的精确条数 13 → 17,并逐条写清新增四条守什么(闸门本身跑过:bun exit=0 · 实际通过 17 条 · 登记精确条数 17);
• docs/runbooks/ci.md 第 [14/14] 行补上这条判据与 exit 1 的新成因;
• scripts/alpha-check.sh 消费 exit 1 的那句总结补上新成因 —— 不补的话总结行会把这种红说成「路径不存在或行格式非法」。

本地门(真实输出)

pre-push 钩子跑的完整 alpha-check(没有 --no-verify)⇒ PUSH_RC=0:

• [4/14] typecheck ✓
• [5/14] ui-mac 全量 5362 pass / 0 fail;base(f2fe21b91,同一棵树、同样补齐 electron/{dist,path.txt} 与本树现编的 alpha_fence.node)= 5358 pass / 0 fail ⇒ 差 = +4,正是本 PR 新增的四条,零新红
• [6/14] assert gate files ✓ 225 个闸门文件条数与登记精确一致
• [8/14] docs gate ✓ 21 relative link(s) / 1 file
• [14/14] ✓ 三行全 = 基线

总结行是 ⚠️ local gates passed, but 有一步这次没验成 —— 那是 [9/14](registry)/[10/14]/[11/14]/[13/14] 的网络降级档,与本改动无关,在 base 上同样如此。

合并须知:tsv 那一行会跟 alpha 冲突

本分支已两次 rebase(#1436 与 #1426 各抬过一次 tree 行基线)。只要 alpha 再抬一次那一行就会再冲突一次,解法是机械的:基线与别人的理由一律取 alpha 那一份,只把本票唯一的改动(#1381 段的 +13 → +14)重放上去;解完核对一句 diff <(git show origin/alpha:…tsv | awk 取前三列) <(工作树同上) 必须为空。截至最后一次 push,git merge-tree --write-tree origin/alpha HEAD 无冲突。

本票范围内主动没做的事

• 不开 ext-install-planner.ts 的拆分票(#1435 已判:唯一能独立的 6 行挪走后本文件仍 3533 > 3525,而 tree 行一点不降 —— 正是要挡的「把行搬进新文件」式绕过);
• 「抬了但抬不够」不在本条里升级(如 3525 → 3530 而实测 3539):那是另一种漏,该行确实被人动过,继续由 ① 的超基线告警(exit 2)点名。本条的措辞是「没跟着改」,判据得对得上措辞;
• 没有 --update、没有任何运行时写回;没有重构棘轮脚本;没有抬任何基线。

Fixes #1435

🤖 Generated with Claude Code