二七王：固化两组 design 差分测试（§7 全量对拍 + §5.2 穷举差分）

把第五轮复验用的取证探针固化入库。两者都不枚举「我想到的场景」，而是把
design 的规则整条转写成参考实现再与代码大面积对拍，专治手写用例覆盖不到
的欠约束分支：

- test_calc.js：§7 算子全量对拍。参考实现逐字转写自 §7.1/§7.2/§7.3 判定表，
  比对 2 种算子模式 × 14 个叫分档 × grade 0~260 共 7308 格（每格比
  base/Q/判定倍率/最终子数），另按 design 的 17 张表逐格抽查 141 个写死的
  最终子数。断言按档位分组，失败可直接定位。
- test_followdiff.js：§5.2 跟牌强制层级穷举差分。对每手牌枚举全部 C 张出牌
  组合，逐个比对参考裁定与 can_followcard，约 11 万组。

两组均通过变异检验：关掉 follow_tractor_cover_ok → followdiff 三种拖拉机
首出全红；大光倍率 3→4 / 常规55档 base 4→5 / 爬坡40·35档 Q 20→40 → calc
精确指出档位与 grade。

过程中的教训已写进 test/README 与 compliance：差分测试的强度取决于造牌器。
第一版纯随机抽牌跑 7.8 万组全绿，但关掉覆盖度校验依然全绿——「同花色三组
互不相邻的两连对」这种唯一能区分「只出零散对子」与「先凑最长拖拉机」的
12 张结构随机抽不出来；掺牌又一度把它撑过枚举上限被静默跳过。故随机源改用
固定种子 PRNG，关键结构用确定性 structHands() 钉死。

全套单测 401 → 462 项全绿，总耗时 < 1.5s。

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

server/games/erqiwang/docs/compliance/01-design合规逐节核对.md

@@ -185,7 +185,11 @@ F1~F4 修复后，对 **design.md 维度**又做了一次独立取证复核。
 
 > 一句话结论：**就 design.md 而言，服务端实现完整且准确**。本轮两次「疑似失配」（甩错最小张 170 例、闲家赢轮捡分 15 vs 10）经查**都是探针写错**，代码是对的；已在上表注明，后续核对不要再把它们当缺陷重提。
 >
-> 取证脚本为一次性探针，未入库（随机差分与穷举耗时较长，不适合放进每次都跑的 `test/run.js`）；如需固化，优先固化 §7 全量对拍（确定性）与 §5.2 穷举差分（差分比对、不抖动）。
+> **已固化两组差分测试入库**（其余取证为一次性探针）：`test/test_calc.js`（§7 全量对拍，7308 格 + design 表 141 格）与 `test/test_followdiff.js`（§5.2 穷举差分，约 11 万组），全套单测由 401 项增至 **462 项**，总耗时仍 < 1.5s。
+>
+> 两组都做过**变异检验**：关掉 `follow_tractor_cover_ok` → `test_followdiff` 三种拖拉机首出全红；大光倍率 3→4 / 常规 55 档 base 4→5 / 爬坡 40·35 档 Q 20→40 → `test_calc` 精确指出档位与 grade。
+>
+> ⚠️ 固化过程中的一个教训（改这两个文件时别踩回去）：**差分测试的强度取决于造牌器，不取决于对拍逻辑**。第一版用纯随机抽牌，跑 7.8 万组全绿，但关掉 `follow_tractor_cover_ok` **依然全绿**——因为「同花色三组互不相邻的两连对」（12 张）这种唯一能区分"只出零散对子"与"先凑最长拖拉机"的结构，随机抽根本抽不出来（少于 3 组时任取 3 对必含相邻对，测不出差别）。补上确定性的 `structHands()` 后才转红。同理，掺入的其他花色一度把这手撑到 15 张、超过枚举上限被**静默跳过**，表面照常全绿。**"跑了很多组且全绿"不等于"测到了"，新增差分测试必须做变异检验。**
 
 ---