From f3e33106830387ea6450c7872edd04810af8748a Mon Sep 17 00:00:00 2001 From: DKChan <524912269@qq.com> Date: Sun, 25 Oct 2026 01:25:43 +0800 Subject: [PATCH 1/3] =?UTF-8?q?docs(=E5=BE=85=E5=8A=9E=E7=99=BB=E8=AE=B0):?= =?UTF-8?q?=20S13=20gdstyle=20=E5=85=8D=E5=90=8D=E5=8D=95=E6=8A=8A?= =?UTF-8?q?=E6=95=B0=E5=AD=97=E5=BD=93=E8=BA=AB=E4=BB=BD=E7=BC=BA=E9=99=B7?= =?UTF-8?q?=E6=9D=A1=E7=9B=AE=E8=90=BD=E7=99=BB=E8=AE=B0=E5=A4=84=E2=80=94?= =?UTF-8?q?=E2=80=94=E7=8E=B0=E7=8A=B6=EF=BC=88tools/gdstyle=5Fgate.py:82?= =?UTF-8?q?=20=E4=B8=89=E5=85=83=E7=BB=84=E5=90=AB=E6=B6=88=E6=81=AF?= =?UTF-8?q?=E5=85=A8=E6=96=87=EF=BC=8C=E5=9F=BA=E7=BA=BF=20241=20=E8=A1=8C?= =?UTF-8?q?=E9=80=90=E5=AD=97=E6=AF=94=E5=AF=B9=EF=BC=9B=E8=BF=AD=E4=BB=A3?= =?UTF-8?q?=2035=20=E5=8D=A1=E2=91=A1=20=E5=AE=9E=E6=B5=8B=2012=20?= =?UTF-8?q?=E9=A1=B9=E5=81=87=E6=96=B0=E5=A2=9E=EF=BC=8C=E9=80=90=E6=9D=A1?= =?UTF-8?q?=E5=AF=B9=E5=9F=BA=E7=BA=BF=E6=97=A7=E5=80=BC=E6=A0=B8=E5=AE=9E?= =?UTF-8?q?=E5=85=A8=E4=B8=BA=E5=AD=98=E9=87=8F=E5=80=BA=E8=AE=A1=E6=95=B0?= =?UTF-8?q?=E6=BC=82=E7=A7=BB=EF=BC=8C=E5=90=AB=E6=9C=AC=E6=89=B9=E6=8A=8A?= =?UTF-8?q?=20cross=5Fvalidate=20159=E2=86=92107=20=E8=A1=8C=E7=AD=89?= =?UTF-8?q?=E6=94=B9=E5=B0=8F=E9=A1=B9=EF=BC=9Bmaster=20=E5=B0=96=205499eb?= =?UTF-8?q?9c=20=E6=9C=AA=E6=95=B4=E5=A5=97=E8=B7=91=E7=BB=BF=E4=BB=A3?= =?UTF-8?q?=E7=A0=81=E5=9F=9F=E9=97=B8=EF=BC=89=EF=BC=8B=E9=A2=84=E8=AE=A1?= =?UTF-8?q?=E6=94=B9=E5=8A=A8=E9=9D=A2=E4=B8=A4=E6=A1=A3=EF=BC=88=E6=B2=BB?= =?UTF-8?q?=E6=A0=87=EF=BC=9D--refresh=20=E4=B8=80=E6=AC=A1=E7=BA=A6=205?= =?UTF-8?q?=20=E5=88=86=E9=92=9F=E4=BD=86=E7=BC=BA=E9=99=B7=E5=A4=8D?= =?UTF-8?q?=E5=8F=91=EF=BC=9B=E6=B2=BB=E6=9C=AC=EF=BC=9D=E9=94=AE=E6=94=B9?= =?UTF-8?q?=E3=80=8C=E6=96=87=E4=BB=B6|=E8=A7=84=E5=88=99|=E5=87=BD?= =?UTF-8?q?=E6=95=B0=E5=90=8D=E3=80=8D=EF=BC=8B=E5=8A=A0=E6=81=B6=E5=8C=96?= =?UTF-8?q?=E5=88=A4=E6=8D=AE=E9=98=B2=20104=E2=86=92300=20=E8=A1=8C?= =?UTF-8?q?=E8=A2=AB=E6=8A=B9=E5=B9=B3=EF=BC=8C=E9=9A=8F=E5=8A=A8=E9=87=8D?= =?UTF-8?q?=E7=94=9F=E6=88=90=E5=9F=BA=E7=BA=BF=EF=BC=8Frun=5Fall=5Fgates.?= =?UTF-8?q?sh=20=E5=A4=B4=E6=B3=A8=EF=BC=8Ftests/README=20=E9=80=9F?= =?UTF-8?q?=E6=9F=A5=E8=A1=8C=EF=BC=8F=E5=8F=98=E5=BC=82=E9=AA=8C=E8=AF=81?= =?UTF-8?q?=E5=9B=9B=E9=A1=B9=EF=BC=8C=E7=BA=A6=200.5=20=E5=B7=A5=E4=BD=9C?= =?UTF-8?q?=E6=97=A5=EF=BC=89=EF=BC=8B=E5=BD=92=E5=B1=9E=20tools/=20?= =?UTF-8?q?=E9=9D=99=E6=80=81=E6=89=AB=E6=8F=8F=E5=9F=9F=E9=9D=9E=E8=BF=AD?= =?UTF-8?q?=E4=BB=A3=E6=89=B9=EF=BC=8B=E7=8A=B6=E6=80=81=E5=BE=85=E5=86=99?= =?UTF-8?q?=E5=8D=A1?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- 待办清单.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/待办清单.md b/待办清单.md index 6ca95f42..71a29369 100644 --- a/待办清单.md +++ b/待办清单.md @@ -39,6 +39,16 @@ **状态**：待写卡＋已写卡 +#### S13 gdstyle 免名单把数字当身份——存量债改小也报「基线外新违规」（2026-10-25 登记，来源=迭代 35 卡② 收口实证，设计面=工程直入） + +**现状**：工程债证据＝迭代 35 卡② 合回前后实测（master 合回笔 `5499eb9c`）。闸件 `tools/gdstyle_gate.py:82` 把每条违规登记成三元组「文件|规则|消息全文」，而 gdstyle 的消息文本里带具体数字（如 `function 'resume_adventure' is 104 lines long (max 50)`），基线 `tools/gdstyle_baseline.txt`（241 行）按整句逐字比对——**只要某函数的行数/分支数/变量数发生变化，老违规就匹配不上，被判「基线外新违规」并判红，改小也算新增**。卡② 一批即因此冒出 12 项假新增，逐条对基线旧值核实全是存量债的计数漂移：`config_db_cross_validator.cross_validate` 159→107 行／31→21 分支／39→24 局部／嵌套 6→5（本批按卡片删除跨表校验④整段所致，债变小）、`level_runner` 类变量 40→38 且其「文件 1013 行超长」违规已消失（债被还掉）、`start_level_external` 参数 8→7、`main.gd` 1509→1507、`adventure_runner` 类变量 43→42／文件 1050→1051／`resume_adventure` 104→108 行（本批加断点代差标记键拒绝检查多 4 行）。本批真正新写的超标仅 1 处（新函数 `validate_graph` 72 行／20 分支），已当场拆成四段修掉。**盘面后果**：卡② 按用户令零复跑合回，master 尖 5499eb9c 从未整套跑绿过代码域闸；下一次任何批跑代码域闸都会看到 S13 红这 12 项（不处理则每批重复一次「要么重生成基线、要么被红挡在合回前」）。 + +**预计改动面（两档，第一条只治标）**：① 治标＝人工跑一次 `python tools/gdstyle_gate.py --refresh` 重生成基线＋一笔提交，约 5 分钟，但键形态未改，下一批再动这些文件还会重演；② 治本＝改 `tools/gdstyle_gate.py` 的键构造段（:77-90，约 10–20 行）为「文件|规则|函数名」——函数名从消息里正则提取 `function 'x'`，无函数名的条目（类变量数/文件长度）退化为「文件|规则」，并**另加一条恶化判据**防新键吞掉真问题（同一函数当前指标较基线登记值恶化超阈值即判红，纯规范化数字会把 104→300 行的恶化也放过去，不可只靠数字抹平）；随动＝重生成 `tools/gdstyle_baseline.txt`（241 行按新键重排）、`tools/run_all_gates.sh` 头注与 `game/tests/README.md` 工具速查表的 S13 描述各一行、变异验证四项（新增一处真超标必红／同函数改小改大的数字漂移不得再冒新／恶化超阈值必红／禁闸内自动重生成清基线换绿的自检仍绿）。合计约 **0.5 个工作日**，非迭代批（tools/ 闸机与文档面），零待裁点即可写卡。 + +**归属**：tools/ 静态扫描域（闸件批，非迭代批）——与「S9 类型闸正则失灵修复」「S6/S7/S8 静态规则落地」两条同族：规则扫描面自身失灵/失准，防线不可信即等于没有防线 + +**状态**：待写卡 + #### S6/S7/S8 静态规则落地——编排唯一性/禁 await/信号纪律三闸（2026-10-24 登记，来源=审计发现，设计面=工程直入） **现状**：工程债证据＝reports/审计-game代码结构审查-2026-10-24.md §二 C2：三规则 static_scan.sh TODO 在案（架构文档静态扫描表自认未落地）——S6 core↔core 信号禁 lambda 捕获 self、S7 B2/B3/B4 API 符号命中文件 ⊆ B1 文件集、S8 结算路径 await 零命中。2026-10-24 审查人工 grep 结论干净（core 零 await、A2/B3/B4 零相互直调），但防线缺位＝回归无闸。S7 前置：须先在架构文档成文 B1 文件集边界（含 core/settlement/ 五段类与 damage_controller——现归属表零条目，见「架构与规范对齐批」条目①）。**2026-10-24 用户裁：条目整条冻结待④（「架构与规范对齐批」）裁决后再写卡**——写卡会话核对结论：S6（core 信号禁 lambda）与 S8（结算路径禁 await，文件集可按现行结算文件直接枚举）与④零依赖、技术上可先行，但按「先裁④再动③」整条冻结不先行。 From 8d35727130e80db51053df51b8e01fac0e1cb91a Mon Sep 17 00:00:00 2001 From: DKChan <524912269@qq.com> Date: Sun, 25 Oct 2026 01:26:09 +0800 Subject: [PATCH 2/3] =?UTF-8?q?docs(=E5=BE=85=E5=8A=9E=E7=99=BB=E8=AE=B0?= =?UTF-8?q?=E4=BD=93=E4=BE=8B=E4=BF=AE=E6=AD=A3):=20S13=20=E6=9D=A1?= =?UTF-8?q?=E7=9B=AE=E6=A0=87=E9=A2=98=E5=85=83=E6=95=B0=E6=8D=AE=E6=9D=A5?= =?UTF-8?q?=E6=BA=90=E8=AF=8D=E6=94=B9=E3=80=8C=E6=89=B9=E6=AC=A1=E7=A7=BB?= =?UTF-8?q?=E4=BA=A4=E3=80=8D=E2=80=94=E2=80=94=E7=99=BB=E8=AE=B0=E6=9D=A5?= =?UTF-8?q?=E6=BA=90=E5=9B=9B=E9=80=89=E4=B8=80=EF=BC=88playnote/=E4=BC=9A?= =?UTF-8?q?=E8=AF=9D=E6=8F=90=E5=8F=8A/=E5=AE=A1=E8=AE=A1=E5=8F=91?= =?UTF-8?q?=E7=8E=B0/=E6=89=B9=E6=AC=A1=E7=A7=BB=E4=BA=A4=EF=BC=89?= =?UTF-8?q?=EF=BC=8C=E5=8E=9F=E5=86=99=E3=80=8C=E8=BF=AD=E4=BB=A3=2035=20?= =?UTF-8?q?=E5=8D=A1=E2=91=A1=20=E6=94=B6=E5=8F=A3=E5=AE=9E=E8=AF=81?= =?UTF-8?q?=E3=80=8D=E4=B8=8D=E5=9C=A8=E8=AF=8D=E8=A1=A8=E5=86=85=EF=BC=8C?= =?UTF-8?q?=E6=B5=81=E6=B0=B4=E7=BA=BF=E9=97=B8=E6=8B=A6=E4=B8=8B=EF=BC=9B?= =?UTF-8?q?=E8=AF=81=E6=8D=AE=E5=87=BA=E5=A4=84=E4=BB=8D=E5=86=99=E5=9C=A8?= =?UTF-8?q?=E7=8E=B0=E7=8A=B6=E6=AE=B5=E7=9A=84=E6=8F=90=E4=BA=A4=E5=8F=B7?= =?UTF-8?q?=205499eb9c=20=E4=B8=8E=E5=AE=9E=E6=B5=8B=E6=B8=85=E5=8D=95?= =?UTF-8?q?=E9=87=8C?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- 待办清单.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/待办清单.md b/待办清单.md index 71a29369..5ed1dfb3 100644 --- a/待办清单.md +++ b/待办清单.md @@ -39,7 +39,7 @@ **状态**：待写卡＋已写卡 -#### S13 gdstyle 免名单把数字当身份——存量债改小也报「基线外新违规」（2026-10-25 登记，来源=迭代 35 卡② 收口实证，设计面=工程直入） +#### S13 gdstyle 免名单把数字当身份——存量债改小也报「基线外新违规」（2026-10-25 登记，来源=批次移交，设计面=工程直入） **现状**：工程债证据＝迭代 35 卡② 合回前后实测（master 合回笔 `5499eb9c`）。闸件 `tools/gdstyle_gate.py:82` 把每条违规登记成三元组「文件|规则|消息全文」，而 gdstyle 的消息文本里带具体数字（如 `function 'resume_adventure' is 104 lines long (max 50)`），基线 `tools/gdstyle_baseline.txt`（241 行）按整句逐字比对——**只要某函数的行数/分支数/变量数发生变化，老违规就匹配不上，被判「基线外新违规」并判红，改小也算新增**。卡② 一批即因此冒出 12 项假新增，逐条对基线旧值核实全是存量债的计数漂移：`config_db_cross_validator.cross_validate` 159→107 行／31→21 分支／39→24 局部／嵌套 6→5（本批按卡片删除跨表校验④整段所致，债变小）、`level_runner` 类变量 40→38 且其「文件 1013 行超长」违规已消失（债被还掉）、`start_level_external` 参数 8→7、`main.gd` 1509→1507、`adventure_runner` 类变量 43→42／文件 1050→1051／`resume_adventure` 104→108 行（本批加断点代差标记键拒绝检查多 4 行）。本批真正新写的超标仅 1 处（新函数 `validate_graph` 72 行／20 分支），已当场拆成四段修掉。**盘面后果**：卡② 按用户令零复跑合回，master 尖 5499eb9c 从未整套跑绿过代码域闸；下一次任何批跑代码域闸都会看到 S13 红这 12 项（不处理则每批重复一次「要么重生成基线、要么被红挡在合回前」）。 From 0dff45c917fc50fc07ab0cc7cdd3bdbf649683c5 Mon Sep 17 00:00:00 2001 From: DKChan <524912269@qq.com> Date: Sun, 25 Oct 2026 01:27:32 +0800 Subject: [PATCH 3/3] =?UTF-8?q?docs(=E5=BE=85=E5=8A=9E=E7=99=BB=E8=AE=B0?= =?UTF-8?q?=E7=94=A8=E8=AF=AD=E4=BF=AE=E6=AD=A3):=20S13=20=E6=9D=A1?= =?UTF-8?q?=E7=9B=AE=E5=86=85=E3=80=8C=E4=B8=8D=E5=BE=97=E3=80=8D=E6=94=B9?= =?UTF-8?q?=E3=80=8C=E7=A6=81=E6=AD=A2=E3=80=8D=E2=80=94=E2=80=94=E7=94=A8?= =?UTF-8?q?=E8=AF=AD=E8=A7=84=E8=8C=83=20A=20=E8=A1=A8=E6=8A=8A=E3=80=8C?= =?UTF-8?q?=E4=B8=8D=E5=BE=97=E3=80=8D=E5=88=97=E4=B8=BA=E9=80=80=E5=BD=B9?= =?UTF-8?q?=E8=AF=8D=EF=BC=882026-10-15=EF=BC=8C=E7=BB=A7=E4=BB=BB?= =?UTF-8?q?=E5=8F=A3=E5=BE=84=EF=BC=9D=E7=A6=81=E6=AD=A2=EF=BC=89=EF=BC=8C?= =?UTF-8?q?08=20doc=5Fterm=20=E9=97=B8=E6=8B=A6=E4=B8=8B=E5=90=8E=E4=BF=AE?= =?UTF-8?q?=E6=AD=A3=EF=BC=8C=E5=8F=A6=E8=B7=91=20doc=5Fterm=20=E4=B8=8E?= =?UTF-8?q?=E6=B5=81=E6=B0=B4=E7=BA=BF=E9=97=B8=E4=B8=A4=E4=BB=B6=E7=AA=84?= =?UTF-8?q?=E6=A3=80=E5=A4=8D=E7=BB=BF?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- 待办清单.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/待办清单.md b/待办清单.md index 5ed1dfb3..ce3acb5b 100644 --- a/待办清单.md +++ b/待办清单.md @@ -43,7 +43,7 @@ **现状**：工程债证据＝迭代 35 卡② 合回前后实测（master 合回笔 `5499eb9c`）。闸件 `tools/gdstyle_gate.py:82` 把每条违规登记成三元组「文件|规则|消息全文」，而 gdstyle 的消息文本里带具体数字（如 `function 'resume_adventure' is 104 lines long (max 50)`），基线 `tools/gdstyle_baseline.txt`（241 行）按整句逐字比对——**只要某函数的行数/分支数/变量数发生变化，老违规就匹配不上，被判「基线外新违规」并判红，改小也算新增**。卡② 一批即因此冒出 12 项假新增，逐条对基线旧值核实全是存量债的计数漂移：`config_db_cross_validator.cross_validate` 159→107 行／31→21 分支／39→24 局部／嵌套 6→5（本批按卡片删除跨表校验④整段所致，债变小）、`level_runner` 类变量 40→38 且其「文件 1013 行超长」违规已消失（债被还掉）、`start_level_external` 参数 8→7、`main.gd` 1509→1507、`adventure_runner` 类变量 43→42／文件 1050→1051／`resume_adventure` 104→108 行（本批加断点代差标记键拒绝检查多 4 行）。本批真正新写的超标仅 1 处（新函数 `validate_graph` 72 行／20 分支），已当场拆成四段修掉。**盘面后果**：卡② 按用户令零复跑合回，master 尖 5499eb9c 从未整套跑绿过代码域闸；下一次任何批跑代码域闸都会看到 S13 红这 12 项（不处理则每批重复一次「要么重生成基线、要么被红挡在合回前」）。 -**预计改动面（两档，第一条只治标）**：① 治标＝人工跑一次 `python tools/gdstyle_gate.py --refresh` 重生成基线＋一笔提交，约 5 分钟，但键形态未改，下一批再动这些文件还会重演；② 治本＝改 `tools/gdstyle_gate.py` 的键构造段（:77-90，约 10–20 行）为「文件|规则|函数名」——函数名从消息里正则提取 `function 'x'`，无函数名的条目（类变量数/文件长度）退化为「文件|规则」，并**另加一条恶化判据**防新键吞掉真问题（同一函数当前指标较基线登记值恶化超阈值即判红，纯规范化数字会把 104→300 行的恶化也放过去，不可只靠数字抹平）；随动＝重生成 `tools/gdstyle_baseline.txt`（241 行按新键重排）、`tools/run_all_gates.sh` 头注与 `game/tests/README.md` 工具速查表的 S13 描述各一行、变异验证四项（新增一处真超标必红／同函数改小改大的数字漂移不得再冒新／恶化超阈值必红／禁闸内自动重生成清基线换绿的自检仍绿）。合计约 **0.5 个工作日**，非迭代批（tools/ 闸机与文档面），零待裁点即可写卡。 +**预计改动面（两档，第一条只治标）**：① 治标＝人工跑一次 `python tools/gdstyle_gate.py --refresh` 重生成基线＋一笔提交，约 5 分钟，但键形态未改，下一批再动这些文件还会重演；② 治本＝改 `tools/gdstyle_gate.py` 的键构造段（:77-90，约 10–20 行）为「文件|规则|函数名」——函数名从消息里正则提取 `function 'x'`，无函数名的条目（类变量数/文件长度）退化为「文件|规则」，并**另加一条恶化判据**防新键吞掉真问题（同一函数当前指标较基线登记值恶化超阈值即判红，纯规范化数字会把 104→300 行的恶化也放过去，不可只靠数字抹平）；随动＝重生成 `tools/gdstyle_baseline.txt`（241 行按新键重排）、`tools/run_all_gates.sh` 头注与 `game/tests/README.md` 工具速查表的 S13 描述各一行、变异验证四项（新增一处真超标必红／同函数改小改大的数字漂移禁止再冒新／恶化超阈值必红／禁闸内自动重生成清基线换绿的自检仍绿）。合计约 **0.5 个工作日**，非迭代批（tools/ 闸机与文档面），零待裁点即可写卡。 **归属**：tools/ 静态扫描域（闸件批，非迭代批）——与「S9 类型闸正则失灵修复」「S6/S7/S8 静态规则落地」两条同族：规则扫描面自身失灵/失准，防线不可信即等于没有防线