merge(同步 master 二): 卡② 分支再次合入 master 现态（gdstyle v0.4.0 S13 质量规则闸引入笔）——本批改动产物须过新闸后再合回

game/tests/README.md

@@ -61,7 +61,7 @@ tests/
 | `tests/run_all.gd`（单元与集成） | 公式／状态机／契约／跨系统闭环（40 套件 manifest） | 退出码＋三硬闸（见下） | 新套件单跑调试；逻辑改动的最小单元复跑 |
 | `tools/probe_gate.sh`（场景探针，`--click`／`--full` 两模式） | UI 可达性、可见性、状态——真实实例化场景＋真实输入路径 | 探针自检＋退出码 | 新增 UI 区域的配套探针直跑与断言复核 |
 | `tools/render_gate.sh`（渲染 golden） | 画面基线——截图与基线图逐像素容差比对 | golden 比对脚本（依赖 PIL） | 主题／素材／排版类改动；窗口化运行，需开显示器 |
-| `game/tests/static_scan.sh`（S 域） | 项目纪律：RNG 单点／core 纯度／类型标注／文件头／注释禁词／旧符号残留 | 退出码（逐规则 FAIL 行） | 改产品码前后的快速自检；新增纪律先补扫描规则再修码 |
+| `game/tests/static_scan.sh`（S 域） | 项目纪律＋第三方质量规则：RNG 单点／core 纯度／类型标注／文件头／注释禁词／旧符号残留；S13＝gdstyle 质量规则（重复 load、循环内 await、循环内分配、不可达代码等真缺陷类，存量基线外新违规才红） | 退出码（逐规则 FAIL 行） | 改产品码前后的快速自检；新增纪律先补扫描规则再修码 |
 | `tools/parity_anchor.py`（回放对拍） | 同种子下三变体逐位确定性 | 工具脚本逐位比对 | 本批触及数值／存档／RNG／结算面时；须用户批准发起 |
 | 测量件（`game/sim/`，逐件见下「游离脚本台账」） | 期望／分布读数——只给读数，不判对错 | 人工读 stdout 或配套工具脚本 | 调参与归因；MC 类一律用户发起（档位表见 `sim-data/README.md`「MC 采集档位表」） |
 

game/tests/static_scan.sh

@@ -236,4 +236,19 @@ else
 fi
 fi
 
+# ── S13 — 第三方质量规则闸（gdstyle v0.4.0，版本钉死）──
+# 规则说明自持本头注（随 S11/S12 惯例）：gdstyle（github.com/atelico/gdstyle，Rust 单二进制）只开
+# quality/* 抓真缺陷（重复 load／循环内 await／循环内分配／不可达代码／自比较／字典重复键／残留
+# print 等），format/*/naming/*/order/* 与 S9/S10 职能重叠全关；扫描面＝产品码三目录（与 S9 同口径，
+# probe/sim/tests 测量面直构惯例不在面）。存量基线 tools/gdstyle_baseline.txt（文件|规则|消息 三元组
+# ——消息含违规对象标识，行漂移稳定），只有基线外新违规才红；基线重生成＝人工专用
+# （python tools/gdstyle_gate.py --refresh），禁清基线换绿。二进制本机固定路径
+# D:/code/gdstyle/gdstyle.exe（不入库），GDSTYLE_BIN 环境变量覆盖；版本与钉定版不符即红（升级须重测）。
+if python tools/gdstyle_gate.py; then
+  echo "[static_scan] S13 ok"
+else
+  echo "[static_scan] S13 FAIL: 基线外新违规或二进制/版本/扫描面问题（清单见上）"
+  fail=1
+fi
+
 exit $fail