daoqi/erqiwang_youle
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
175 Commits 1 Branch 0 Tags
master
Commit Graph
12 Commits
Author SHA1 Message Date
joywayerandClaude Opus 5 a4361a802d 二七王：补 9 处 design 规则的正/反/边界用例（均通过变异检验） 
对 design §1~§12 重做「每条规则是否三类用例齐全」的审计。此前的覆盖矩阵按
「被测函数」组织，容易漏掉跨函数才体现的规则，本轮补齐 9 处：

- G1/G2 §4.2 叫分：下限5与非首家不叫接受，负数/缺call/步进外/同分拒；
  「不叫即退出本局叫分」——反悔再叫被 SEAT 拒、callproc 不变、仍轮到下一家
- G3 §4.5 埋牌：非庄家 SEAT、step2/step5 STEP、7张/9张/空数组 PARAM
- G4 §5.1 每轮由上一轮牌面最大的一方先出（闲1赢/闲2赢两种）
- G5 §6.2 闲家赢计入台面全部分牌（含庄家自己打出的）、庄家赢作废、
  两个闲家谁赢结果一致
- G6 §8 算奖快照：庄家埋后28（已埋不在内）、闲家28、投降36、打出后不缩水
- G7 §3 对子只认同花色同点数两副：跨花色副7/副2、正副7、大小王均不成对
- G8 §6.3 赢末轮的牌不全是主牌就不扣底（副牌拖拉机/混合出牌/顺序颠倒）
- G9 §11 无超时托管守卫：对局阶段 min_ontimeout 调用次数必须为 0，
  将来有人加超时代打就会转红

每条都在副本上注入违反该规则的改动确认转红（7 组变异全部被抓住）。

顺带修一个测试自身的问题：mkBury 桩缺 do_burycard，导致「埋牌张数校验被
改松」这类变异表现为整个文件崩溃而非某条断言转红，后续断言全不执行。桩已
补完整到能走完成功路径。

全套单测 462 → 511 项全绿。

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
 2026-08-23 13:36:09 +08:00
joywayerandClaude Opus 5 b6aeba412f 二七王：把「无超时托管」确认为规则，写入 design §11 
服务端四个阶段只下发 countdown、没有任何定时器，此前被本轮核对记
为待办 D3（等规则设计者定义超时默认动作）。规则设计者已确认：
**维持现状，不需要超时动作**。

这属于规则本身如此、而非实现缺口。若不固化下来，下一轮核对会再次
把它当缺陷提出、甚至有人去补一套「超时自动出牌」，反而违背规则。
故写进 design.md 作为权威约定：

- design §11 新增一条：倒计时只作展示、不触发任何自动操作——不自
  动叫分/选主/埋牌/出牌，也不判负、不跳过；轮到谁而谁不操作，牌局
  就停在这一步等待。并加醒目说明：这是确认过的规则、不是待实现的
  缺口，牌局停住由玩家走房间解散流程收场（按当前累计分结算，
  §12.2），后续核对不要为它补超时托管。
  （解散路径已核实：平台 server_room 侧有 freeroom 解散倒计时，并
  回调子游戏 export.get_disbandRoom → get_paiju_account(2) 出解散
  结算包，与 §12.2 一致。）
- 协议文档新增 0.3「countdown 只是展示用的秒数」：说明服务端无定
  时器、归零不做任何事，并要求客户端不得在归零时做乐观界面推进
  （原 0.3 顺延为 0.4）。
- 合规 01：D3 由「🟧 中等/未修」改为「✅ 规则如此」，并说明 server
  dev-guide「服务端自动操作复用真人链路」约束的是「若要做代打就必
  须复用真人链路」，本局不做代打故不适用；「尚未处置」小节改为
  「无」，11 项全部收口。
- 合规 02：撤掉「仍无自动化覆盖」中的超时项，改为说明不需要超时用
  例，并反向标注：若将来有人给服务端加了超时代打，那才是违反
  design §11、应由核对拦下。

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
 2026-08-16 19:05:24 +08:00
joywayerandClaude Opus 5 35affa7c20 二七王：不可查牌模式屏蔽出牌历史（design §9 消歧义 + 代码门控） 
design §9 原文把可查牌模式的四项功能列成无序列表，不可查牌只写
「不提供以上任何查看 / 明牌功能」，随后展开的例子却只提了主牌数量、
对子结构、明牌按钮、亮牌统计，没提第一条「已经打出的牌可以查看」，
导致"以上"的范围有歧义。代码据此照发出牌历史，前一轮核对把它记为
待确认项（01 表 D6）。

规则设计者已确认：**不可查牌模式必须屏蔽出牌历史，只有可查牌模式
才能查看**。据此：

- design §9 改写为无歧义表述：先给出「查牌 = 回看不该随时可见的信
  息」的定义，把可查牌的四项功能编号列出（① 出牌历史 ② 报无主后的
  他家主牌数/对子数 ③ 明牌 ④ 庄家亮牌），不可查牌逐条对应说明一项
  都不提供；并补一段边界说明——**当前这一轮桌面上的牌两种模式下都
  必须可见**，否则后出的人无从跟牌、无从判断本轮谁最大，断线重连同
  理（当前轮照常恢复，往轮历史按模式开关给不给）。
- class.export.js：get_deskinfo 的 PushCards.pushlist 构建与排序整
  体移入 `if (!cfg.nocheck)`，不查牌时不带该属性；当前轮桌面牌由
  PushCards.playproc.cards 恢复，两种模式都有。
- 协议文档：pushlist 补「仅可查牌模式下有此属性」，playproc 补「两
  种模式恒有」及其原因。
- 合规文档：01 表 D6 由「待确认/未修」改为已确认并修复，从「尚未处
  置」移出；02 测试计划断言总数 357→361 并新增该维度覆盖行。

test_rpc 新增 4 项：不查牌房无 pushlist、可查牌房有 pushlist，且两
种模式下当前轮桌面牌 playproc.cards 都能恢复。

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
 2026-08-16 18:55:33 +08:00
joywayerandClaude Opus 5 c4256c51db 二七王合规文档：修正"全部符合"结论并补第三轮核对 
01 的「二次全量复核结论」写的是「服务端全部符合 design.md」，但该
轮核对完全按 design 章节组织，平台接入、客户端入参校验、下发面一
致性、协议红线这几类问题整类不在范围内——所以 270 项断言全绿的同
时，漏掉了 1 项阻断级（子游戏从未在 app.js 注册，运行时不可达）、
3 项严重（重复牌id 可伪造牌型、入参无类型校验、下发面 multiple 忽
略爬坡）与 data.success 红线缺失。

本次：
- 01 把结论限定为「就 design.md 的玩法规则维度而言符合」，并加警示
  「符合 design.md ≠ 实现完整正确」。
- 01 新增「第三轮核对」章节：A1/B1/B2/B3/C1/D1~D7 共 11 项的严重
  度、位置、实测现象与处置，并单列两项需外部输入的待办（D3 超时托
  管无定时器、D6 不查牌模式是否屏蔽出牌历史的规则歧义）。
- 02 测试计划更新断言总数 270→357，新增「第三轮补充：design 之外
  的可验证维度」覆盖表（入参校验/重复id/报无主刷新/success 成功包
  与失败回包/multiple 同源/甩牌下发面/pushlist 结构/相邻链花色），
  并写明两项仍无自动化覆盖的原因。
- 00 加一段说明前两轮的核对范围局限，指向 01 第三轮。

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
 2026-08-12 04:25:15 +08:00
joywayerandClaude Opus 4.8 9456ab9319 二七王：实现 §11 闲家三提示(踩/没分/有分) + 明确副7/副2 成对语义 
全面符合性再审查(4 维度独立对抗核对)结论：与计分/发牌/出牌/跟牌/甩牌
相关规则均一致，无缺陷；仅 §11 闲家三提示服务端缺失、副7/副2 异花色
成对语义存疑两项待办。本次按用户裁定落地：

1. §11 三提示（新增 mod.tishi）：闲家在出牌阶段(step5)发 踩/没分/有分，
   服务端不校验真实性、只 SendPack 转发给对家(另一闲家 3-banker-seat)；
   庄家无对家不参与；非法 tip/非出牌阶段/庄家发均拒。
   协议补 packet_protocol §13.7/13.8；test_rpc +11 例(正反+边界)。
2. 副7/副2 成对语义：裁定"只同花色同点数两副成对"(代码本已如此，无需改)，
   在 design §3 补说明闭合该反复出现的存疑（异花色副7 不成对）。

compliance 文档同步：§11 状态转✅、首轮结论摘要加"非当前状态"说明、
计数 259→270。全套 270 项断言全绿(rpc 34→45)。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-07-05 16:39:04 +08:00
joywayerandClaude Opus 4.8 5c9a78029a 二七王测试计划：同步跟牌覆盖度修复后的计数与状态 
test_follow 由 35→50 例、全套 244→259 项；§5.1/5.2 覆盖状态由"❌重大
缺口"更新为✅（含混合出牌、毙牌完全缺门、降级递归 else 欠约束修复回归）。

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-07-05 07:19:23 +08:00
joywayerandClaude Opus 4.8 0d9ea36c10 二七王测试：穷举跟牌方手牌分支，补主牌首出与拖拉机各分支 
回应"是否模拟了跟牌方所有手牌与边界"的核对，补齐：
- 主牌首出的跟牌（单/对）——原仅测副牌首出
- 对子首出·同花色仅1张（必出它+补1张）
- 拖拉机首出的跟牌方分支：对子不够(出仅有的对+补)、同花无对(补同花)、
  多候选拖拉机(cantype=3xx，回归 can_followcard 曾崩溃的 D1 分支)、
  3连对首出、富余对子中必出3连拖/拆散拒
- 手牌数==首出张数（全部必出）

全部单测 244 项断言全绿（test_follow 35）

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-07-05 01:51:58 +08:00
joywayerandClaude Opus 4.8 c29aec140c 二七王测试：补全甩牌/跟甩牌全部情形 
回应"甩牌与跟甩牌测试是否完整"的核对，补齐缺口：
- 甩牌首出(§5.4)：甩错由主对分量/拖拉机分量/双对之一被压引发(原仅测单张分量)；
  纯双单张、纯双对(不连)、单张+拖拉机、单+对+拖三分量混合的合法；副牌禁甩·对手非缺门
- 甩错惩罚实际执行(§5.4.5)：do_playcard 收回甩牌、只强制打出最小一张、其余留手；合法甩牌整套打出
- 跟甩牌(§5.4.4)：拖拉机分量退化到单张(对子也不够)、多组拖拉机分量、混合demand逐分量对位
- 集成：首出合法甩牌→跟牌方拆散主对(违反§5.4.4)→ do_playcard 拒；正确对位→接受

全部单测 226 项断言全绿（arith 101 / paiju 31 等）

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-07-05 01:34:02 +08:00
joywayerandClaude Opus 4.8 339e6e99e1 二七王测试：完成 P2 用例，达成测试计划 DoD 
- test_deal.js(新)：§2 发牌构成——92张/去3-4共16/三家各28+底8/分值(§6.1)
- test_arith.js：§3 编码排序（order_cards 降序=设计顺序、is_continuous 相邻链逐段+反例）、
  §7 每档小光/过庄分界+升3级补齐
- test_paiju.js：§8.2 亮牌更多边界（6个7仅qi、固定主9→null、固定主10仅zhu）
- test_config.js：§10 直接调 export.get_asetcount/get_needroomcard(_joinroom)
- test_rpc.js/_rpc.js：§12 端到端（真实驱动 叫分→上庄→选主→埋牌→出牌ready）、
  §9 maipai 亮牌门控 + get_deskinfo PushCards 门控
- 02-测试计划.md/README：P2 与 DoD 标记达成

全部单测 204 项断言全绿（node server/games/erqiwang/test/run.js）

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-07-05 01:24:34 +08:00
joywayerandClaude Opus 4.8 6939e70ed7 二七王测试：完成 P1 用例（L3 RPC 层 + 坐庄轮换） 
- mod.js：加 module.exports 守卫，使其可被 Node require（友乐无 module 跳过）
- test/_rpc.js(新)：L3 脚手架——挂类全局、mock cls_mod/min_loadJsFile 装配 mod.js、
  捕获 SendPack/sendpack_toother 下发包
- test/test_rpc.js(新)：§9 明牌 mingpai(合法/不查牌·未报无主·非出牌阶段拒 + others结构)、
  §9 出牌 chupai 的 info/baozhu 查牌门控(可查有/不查无)、§4 投降 touxiang 条件(70·step2·庄家)、
  §4.2 mod.jiaofen 入参校验(>70/非5倍/首家必叫/后叫更低)、
  §4 70分上庄暗牌亮牌(真实 jiaofen 驱动到上庄，验证 bottomcards/ancard3s 门控)
- test/test_desk.js(新)：§4.6 坐庄轮换 do_prepare(庄赢连庄/闲赢·投降下家)
- 02-测试计划.md/README：P1 标记完成，剩余归入 P2

全部单测 156 项断言全绿（node server/games/erqiwang/test/run.js）

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-07-05 01:14:33 +08:00
joywayerandClaude Opus 4.8 0049754988 二七王测试：完成 P0 用例（正常跟牌/结算集成/叫分坐庄/扣底触发） 
- test_follow.js(新)：§5.1/5.2 正常跟牌/毙牌/垫牌 17 例——单张/对子/拖拉机的
  必出、缺门毙牌数量对应(副单→主单/副对→主对/副N连→主N连)、垫牌、有对/拖却出散张被拒
- test_callgrade.js(新)：§4.2 叫分坐庄 do_callgrade 6 例（叫5立即/两家不叫/后叫更低）
- test_paiju.js：§7/§8 结算集成扩充(大光/过庄/升级/爬坡/傍王+算奖参与/对照)、
  §6.3 扣底触发 get_bottom_account(主对×2/两连对×4/副牌不扣/庄赢不扣)
- 02-测试计划.md/README：P0 全部标记完成

全部单测 123 项断言全绿（node server/games/erqiwang/test/run.js）

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-07-05 01:03:01 +08:00
joywayerandClaude Opus 4.8 5a5165a319 二七王：制定服务端合规测试计划 
- docs/compliance/02-测试计划.md：按 design 章节的"规则→用例"覆盖矩阵
  （标注被测函数/测试层L1-L3/正反边界/覆盖状态），缺口清单按优先级排序，
  以及 L2 局内集成 / L3 RPC 层所需脚手架
- test/README.md：链接测试计划

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
 2026-07-05 00:02:52 +08:00