二七王：记录第五轮·复验（design 维度的穷举/差分取证，未发现不一致）

不再逐条读代码，改为按 design.md 原文另写参考实现再与代码穷举对拍：

- §7 算子：两种算子模式 × 14 个叫分档 × grade 0~260 全量对拍 14672 格
  失配 0，另抽查 design 表格里写死的最终子数 113 格失配 0
- §5.2 跟牌强制层级：按原文写参考裁定，4000 手牌枚举全部出牌组合，
  86474 组失配 0
- §5.4 甩牌最大性：按 §5.4.2 原文写参考判定，6000 例失配 0
- §2/§3/§5.3/§6/§8/§4/§9/§10/§11 逐条取证，全部符合

两次「疑似失配」经查都是探针写错（甩错最小张那一档有两副牌、闲家赢轮的
台面分含庄家自己打出的分牌），代码是对的，已在台账注明避免后续重提。

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

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

@@ -158,6 +158,35 @@
 
 **无。** F1/F4 已改代码 + 补回归单测（并已用「回退修复→用例转红」反验有效性），F2/F3 已改协议文档。全套单测 **401 项**全绿。
 
+### 第五轮·复验（design 维度的穷举/差分取证）
+
+F1~F4 修复后，对 **design.md 维度**又做了一次独立取证复核。方法上比前几轮更进一步：不再逐条读代码，而是**按 design 原文另写一份参考实现**，再和代码**穷举对拍**——参考实现只依据 design 的文字与表格，不看 `class.arith.js`。**未发现任何不一致。**
+
+| design 章节 | 取证方式 | 规模 / 结果 |
+| --- | --- | --- |
+| §2 牌局构成 · §6.1 分牌 | 直接清点 `init_cards` 产物 | 108 张牌表 / 去 3-4 共 16 张 / 发 92 张 = 三家 84 + 暗牌 8 / 11 种点数各 8 张 + 大小王各 2 张 / 分值 5-10-K / 全场总分 200 ✅ |
+| §3 主牌顺序 · 对子判定 | 取全部主牌排序后归并成「等级序列」，与 §3 表逐级比对 | 大王-小王-正7-副7-正2-副2-主A…主5 共 15 级完全一致；副牌 A…5 顺序一致；♥7+♣7 / ♥2+♣2 / 大王+小王 均不成对，同花色两副成对 ✅ |
+| §5.3 拖拉机相邻 | 15 级相邻链逐段验证 + 反例 | 链全通；7 不与 6/8 相连、6 与 8 同花色相连、♥8+♣6 跨花色不相连、副2 只接主A ✅ |
+| §5.1 / §5.2 跟牌强制层级 | **穷举差分**：按 §5.2 原文写参考裁定（缺门/不足/够牌 × 单张/对子/N 连对 + 最长拖拉机优先的档案比较），随机手牌枚举**全部** C 张出牌组合逐个对拍 | 4000 手牌 / **86474 个出牌组合，失配 0** ✅ |
+| §5.4.1-3、§5.4.5 甩牌 | **随机差分**：按 §5.4.2 原文写「对手是否持有能压过任一分量的主牌/主对/同长主拖」的参考判定 | **6000 例，失配 0**；副牌禁甩 4 种组合全拒、副牌单一牌型全放行 ✅<br>（首轮出现的 170 例「最小张不符」经查是**同一等级的两副牌选了不同那张**，非分歧——改按牌面等级比对即归零） |
+| §5.4.4 强制跟牌分量拆解 | 按 §5.4.4 五条逐条造正反用例 | 同长主拖必出 / 无同长退化为主对 / 主对不够全出+主单补 / 主牌不够全出+垫副 / 无主牌随意垫 / 多组不同长拖拉机逐组匹配，12 条全符合 ✅ |
+| §5.4.5 甩错惩罚落地 | 走 `do_playcard` 真实链路 | 甩错后 `shuaicuo=true`、实际只打出最小一张、其余收回手牌、本轮牌型退化为 101、不再带 `shuai_demand` ✅ |
+| §6.2 捡分归属 | 造庄赢/闲赢两轮 | 庄家赢 → 台面分牌作废（闲家捡分 0）；闲家赢 → **台面全部分牌（含庄家自己打出的）** 计入闲家 ✅ |
+| §6.3 扣底倍数 | §6.3 表逐格 | 单张 1 / 主对 2 / 2-6 连对 4·6·8·10·12；混合甩牌取最高规格；末轮用副牌或混合牌赢 → 0 不扣底 ✅ |
+| §7 算子（全部） | **全量对拍**：把 §7.2.1 / §7.3.3 的判定表转写成参考实现，两种算子模式 × 14 个叫分档 × grade 0~260 逐格比 base / Q / 判定 / 最终子数 | **14672 格失配 0**，另抽查 design 表格里写死的最终子数 **113 格失配 0** ✅ |
+| §8.1 常规算奖 | 逐组合造手牌 | 三王 1 / 四王 3 / 六·七·八个 7 → 1·2·3 / 六·八个 2 → 1·3；连对链 正7→副7→正2→副2→主A→主K 逐级 2·3·4·5·6·7 奖；链必起于正7（无正7 断链）、缺副7 断于正7、副A 对（非主花色）不入链、无三王则无链奖、固定主 ≥10 不给奖 ✅ |
+| §8.2 亮牌 | 四档阈值边界（含刚好差 1） | 王≥3 / 7≥6 / 2≥6 / 固定主≥10 分别触发，各自差 1 即不触发；输出只含数量与结构、无具体牌面 ✅ |
+| §8 快照时间点 | 走真实埋牌/出牌/投降链路 | 庄家=埋牌后 28 张（已埋 8 张不在内、出牌后不缩水）、闲家=发牌后 28 张、投降局庄家 36 张且 `flower=-1` ✅ |
+| §8.4 算奖并入结算 | §8.4 举例数值 | `X=6, N=[1,2,0]` → `aw=[0,18,-18]`，三条支付线零和；只庄家持奖 → 另两家各付 X ✅ |
+| §4.2 叫分 | **穷举全部叫分序列**（DFS，叫分集 {70,50,25,10,5}+不叫） | **80 条终局路径**：受理判定、待叫者永不落在已「不叫」者身上、上庄者恒为最低叫分者、上庄条件恒为「叫 5」或「另两家都不叫」，**异常 0**；首家不能不叫、75/71/67/3/-5 全按 PARAM 拒 ✅ |
+| §4.3 暗牌可见性 · §4.4 投降 | 非 70 分 / 70 分两条链路 + 重连 | 非 70 分暗牌只给庄家（闲家无 `bottomcards`、无 `ancard3s`、无 `cards`）；70 分三家都收到 8 张 + `ancard3s=1`；重连一律只给庄家（3 秒亮牌不重放）；`touxiang` 仅 70 分为 1；投降 base=1、庄 -2 闲各 +1 ✅ |
+| §4.6 轮庄 | 三种 result | 庄赢连庄 / 闲赢顺延下家 / 投降顺延下家；首局暂定庄家为 0 号座位 ✅ |
+| §9 查牌模式 · §10 房间设置 · §11 提示 | 可查牌与不查牌两套房间跑同一段对局 | 可查牌下 `chupai.seatlist` 整表三家、`baozhu` 有值、重连带 `pushlist`/`seatlist`；不查牌下三者全无、`baozhu` 恒 0、明牌回 RULE；**当前轮桌面牌（`playproc`）两种模式都下发**；局数 6/12、房主 2/4、AA 1/2 与加入者扣卡 4 组合正确；提示只转发给对家、庄家发 → RULE、非法 tip → PARAM；不操作则 `step`/`playproc` 不变（无超时托管）✅ |
+
+> 一句话结论：**就 design.md 而言，服务端实现完整且准确**。本轮两次「疑似失配」（甩错最小张 170 例、闲家赢轮捡分 15 vs 10）经查**都是探针写错**，代码是对的；已在上表注明，后续核对不要再把它们当缺陷重提。
+>
+> 取证脚本为一次性探针，未入库（随机差分与穷举耗时较长，不适合放进每次都跑的 `test/run.js`）；如需固化，优先固化 §7 全量对拍（确定性）与 §5.2 穷举差分（差分比对、不抖动）。
+
 ---
 
 ## 结论摘要