ci(devx): 让 type-check ledger 的余量可见、可一键抹平,并拒绝在未构建闭包上测量 (#6376)

`DEBT`/`TEST_DEBT` 的「记录值高于实测值」不是记账滞后,而是一张**实打实的许可
额度**:两个账本里的每一条 entry,都是它所度量那一层的**唯一看门人**(DEBT 只
在没有 `typecheck` script 时存在,TEST_DEBT 只在没有任何被调用的 tsconfig 读测
试层时存在),所以余量敞着的时候,任何不超过余量的回归都会全绿落地。
driver-mongodb 记 43 实测 10,把 `aggregate` 签名回退实测出的 12 条整个吞掉 ——
一次正当的改进(#6210 消掉 33 条)顺手把下一个人的 pin 变哑了。

本 PR **不**把余量判红(#5278 的裁决继续成立,改进仍然全绿落地),而是:

- **可见**:每条 ℹ 提示带上「这道口子现在允许多少条回归静默通过」,并在绿色
  收尾行汇总全仓余量。实测 main @ 1818998:11/34 条 entry 合计 310 条余量,占
  两个账本记录总量的 15%,其中 199 条集中在 plugin-approvals 一条上。
- **可一键抹平**:`--lower` 把实测值写回账本,抹平一条 entry 不再需要人手敲一
  个实测数字。实测值降到 0 的条目**不写**(那是毕业,不是更低的天花板)。
- **拒绝在未构建的依赖闭包上测量**:tsc 通过依赖的 `dist/*.d.ts` 解析工作区
  导入,闭包没构建时测量不会失败,只会**测到另一个世界** —— 同一棵树同一个
  commit,packages/lint 构建后实测 19、未构建实测 147(TS2307 x71 + 级联)。
  偏差在两个方向上都无界,所以这里改为**前置拒绝**而不是扫 tsc 输出(账本里
  本来就有条目把 TS2307 记为真实债务)。

自测新增 21 条(built-closure 12 + auto-lowering 9)与 4 条 #6376 用例,其中
driver-mongodb 那一对是把「余量吞掉回归」这件事本身钉下来:同一棵树同一次回
归,天花板 43 时门禁沉默、天花板 10 时判红。

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01BDmDsu2575gDxeMCxXhDE3

Author: claude