fix(check): checkpoint 全废时 runner 仍报通过 + 补回丢失的覆盖

缺口（评审复现，我独立复现确认）
上一条替换旧 README 判据时，把它的第二条断言一起带走了。
旧 test 同时守两件事：
  1) README 计数与实现一致      已判定不值得守，删
  2) checkpoints.js 至少注册一条 值得守，跟着 1 一起消失
grep 全仓：没有任何东西守 2。

实测后果（很安静）
把 helper 换成空操作、调用点全保留：
  npm run check  ->  0/0 checkpoints passed, exit=0
  npm test       ->  120 条全绿
即 checkpoint 全废、runner 报通过、测试一条不红。

修法：守结果，不守成因
scripts/checkpoints.js 结尾（if (failed > 0) 之前）：
  if (results.length === 0) {
    console.error('no checkpoints were registered ...')
    process.exitCode = 1
  }
放 runner 而不是补回静态计数的理由：静态计数只能抓 helper 改名；
results.length === 0 抓的是结果，改名、被 stub、条件跳过都会红。

但 process.exit(0) 能绕过任何脚本内检查，所以另加一条外部断言
（test/phase-b-g-static.test.js）三层：
  - declared > 0                    helper 没被改名
  - 源码含 if (results.length === 0)
  - 该守卫确实设置 process.exitCode = 1
分工：runner 守结果，测试守 runner 还带着那道守卫。

实测
  0 条注册（stub）    -> no checkpoints were registered, exit=1
  条件跳过            -> 同上, exit=1
  正常态              -> 10/10 passed, exit=0
  变异：删 runner 守卫 -> not ok 6
  变异：helper 全改名  -> not ok 6

docs/dev-notes-mutation-criteria.md 增第 4 类
判据被替换时，旧判据的覆盖静默消失
- 形态：一条 test 守两件事
- 实测后果：0/0 passed / exit 0 / 120 全绿
- 守结果不守成因的四类成因对照表（含 process.exit(0) 是拦不住的那格）
- 自查问句：这条判据除了名字里那件事，还顺手守了什么
- 探针经验：不要用注释掉调用去验零注册，会变成 SyntaxError

验证
- npm test 120/120、npm run check 10/10
- npm test 3 次、npm run check 3 次（带 exit code 核对）全绿
- 无 .orig / .rej / /tmp/mut-* 残留
- 未 amend / 未 force push

scripts/checkpoints.js

@@ -421,6 +421,11 @@ console.log(`\n${passed}/${results.length} checkpoints passed\n`)
 console.log(`plugin: name=${pluginName} inject=[${pluginInject.join(', ')}]`)
 console.log(`workspace: ${workspace} (removed)\n`)
 
+if (results.length === 0) {
+  console.error('no checkpoints were registered — did the helper get renamed or stubbed?\n')
+  process.exitCode = 1
+}
+
 if (failed > 0) {
   console.error(`${failed} checkpoint(s) FAILED\n`)
   process.exitCode = 1