Merge branch 'master' into runall-hangguard-20261028

design/art/art-bible.md

@@ -63,7 +63,7 @@
 
 > **样张 v2 记录(2026-09-28,四冻结生效)**:机检 16/16 全绿(扩展断言集:A3 图底分离 Δ≥55/F6 墙格顶面立面双明度带 Δ≥18/F7 整板悬崖 DEPTH_PX 与游戏渲染常量同源/A6 观感密度梯度均值 ≥4.70=v1 实测 4.09×1.15)。**四冻结**——①砖面形态:方案甲 21 瓦片+高墙感 D 投影档+整板悬崖(§3.2 高墙瓦片体系条定稿参数);②色板:小人蓝 #2E86DE/接触带微光 #D6ECFF/类型微光五组定稿(§4.1/§4.2);③动画方案:§8.4 帧数档冻结;④数字形制:色牌形制定稿(#F5EAD3 素色直角小牌+Fusion Pixel+字号 max(18, ceil(格边×0.5))+墨三档,§7.4)。产物=`artwork/mockups/sample-batch-v2-2026-09-28.png`,机检报告=git 提交 f9b0765;气质终审=批末用户目检(闸形 A,2026-09-27 拍板)。**(v3.0 注:四冻结之①砖面形态的数字承载面与④数字形制随色牌降级解冻,待样张 v3 重冻;②色板③动画维持冻结不变)**
 
-> **样张 v3 冻结记录(2026-09-30,迭代 9 T1 批 A——四冻结①④重冻生效,圣经升 v3.1)**:机检 17/17 全绿,断言定值两件落锁——A3b 图底分离**定值 Δ≥30**(方向稿实测 38;v2 阈值 55 系色牌制地板 L0.036 时代校定,与格底分档带数学冲突退役)/A4 尺寸基线**硬等冻结**(立绘 46×48+棋盘小人源 32×32;资产升档批换代须显式解冻重校);F6 沿用 v3.4 双明度带口径 Δ≥18。**重冻两件**——①砖面形态:E 格高墙 30% 承接词表扩展(南邻墙地面格南部 30% 承接墙面、墙顶纹理**原亮度**直贴零暗档零阴影、(b)-(c) 连接处无边框〔渲染格线跳段〕、连续墙体内侧不出立面;南向厚度面+v3.4 暗档 D 投影保留)+**格底明度分档**(已开格底=世界底层档 L≈0.10,候选带 0.08–0.14;落码程序归一,地板素材重产归资产批)+装饰物件级解禁(专属形状家族,零信息纪律不变)/④数字形制:**亮墨三档直画**(1–3 冷亮 #D8ECF0/4–5 暖白 #F0E2C8/6–8 金亮 #F8E3A8,直画已开格底,实测对比 6.0–6.3:1)+**色牌后备**(#F5EAD3 仅复杂格底——物件纹样/装饰变体格——垫牌兜底,牌上深墨族 12:1)。②色板③动画维持 v2 冻结不变。产物=`artwork/mockups/sample-batch-v3-final-2026-09-30.png`,机检报告=git 提交 7a847c7【冻结】;气质终审=2026-09-29 用户验收豁免(新 v3.5 方向稿验收通过,状态记录 281)。
+> **样张 v3 冻结记录(2026-09-30,迭代 9 T1 批 A——四冻结①④重冻生效,圣经升 v3.1)**:机检 17/17 全绿,断言定值两件落锁——A3b 图底分离**定值 Δ≥30**(方向稿实测 38;v2 阈值 55 系色牌制地板 L0.036 时代校定,与格底分档带数学冲突退役)/A4 尺寸基线**硬等冻结**(立绘 46×48+棋盘小人源 32×32;资产升档批换代须显式解冻重校);F6 沿用 v3.4 双明度带口径 Δ≥18。**重冻两件**——①砖面形态:E 格高墙 30% 承接词表扩展(南邻墙地面格南部 30% 承接墙面、墙顶纹理**原亮度**直贴零暗档零阴影、(b)-(c) 连接处无边框〔渲染格线跳段〕、连续墙体内侧不出立面;南向厚度面+v3.4 暗档 D 投影保留)+**格底明度分档**(已开格底=世界底层档 L≈0.10,候选带 0.08–0.14;落码程序归一,地板素材重产归资产批)+装饰物件级解禁(专属形状家族,零信息纪律不变)/④数字形制:**亮墨三档直画**(1–3 冷亮 #D8ECF0/4–5 暖白 #F0E2C8/6–8 金亮 #F8E3A8,直画已开格底,实测对比 6.0–6.3:1)+**色牌后备**(#F5EAD3 仅复杂格底——物件纹样/装饰变体格——垫牌兜底,牌上深墨族 12:1)。②色板③动画维持 v2 冻结不变。产物原件已丢失(未入 git、主工作区不可查),机检报告=git 提交 7a847c7【冻结】;气质终审=2026-09-29 用户验收豁免(新 v3.5 方向稿验收通过,状态记录 281)。
 
 ---
 

design/art/art-status-checklist.md

@@ -10,7 +10,7 @@
 
 | 素材 | 状态 | 需求文档 |
 |---|---|---|
-| 格子样张 | ✅ 样张 v3 冻结（2026-09-30 机检 17/17 全绿，art-bible §1.4 v3.2 记录；v2/v3 两次冻结通过；产物 `artwork/mockups/sample-batch-v3-final-2026-09-30.png`） | [art-bible](art-bible.md) §1.4 |
+| 格子样张 | ✅ 样张 v3 冻结（2026-09-30 机检 17/17 全绿，art-bible §1.4 v3.2 记录；v2/v3 两次冻结通过；产物原件已丢失、未入 git） | [art-bible](art-bible.md) §1.4 |
 | 战斗一屏样张 | ⬜ | [战斗表现](../gdd/systems/战斗循环/战斗表现.md)（一屏样张验收标准）+ [art-bible](art-bible.md) §5.1 |
 
 ## P1 角色级（样张通过后开工）

design/engineering/process-conventions.md

@@ -54,7 +54,7 @@
 11. **文档同步闸（实现批禁写文档）**——实现批**禁写 `design/` 整个目录与根规则文件**，要往外交代的东西一律落 `reports/`：实现报告 `reports/iter<N>-实现报告-<日期>.md`（各卡状态+实机目检总清单+遗留读数义务+实现决定记录——超白名单／超卡片明列范围事项逐条记「决了什么／为什么／代价／撤销方式」，全部按卡执行时只写一行「零拍板」）、GDD 反哺点清单 `reports/iter<N>-反哺点-<日期>.md`（每条写清哪个文件哪一节、改成什么、依据是什么）。设计权威文档（GDD/art-bible）**任何批都不直改**：用户在会话中逐点裁决后，由工程/文档设计改动批（直改类）写入 `design/`（执行入口=doc-design 技能），并把反哺条目从 `reports/` 清掉（吸收即死；退役执行=batch-closure 技能）。机械面文档（roadmap 行/术语表/README 工具注）同样归工程/文档设计改动批在合并前更新。反哺点未落地期间相关 GDD 节视为待反哺，读前先查 `reports/` 与待办清单；需求卡片必列「关联文档同步面」按两层标注
 12. **实机目检归用户，只登记不阻塞**——真人检测项登记进实现报告目检总清单与体验验证清单即完成批内义务；禁把等目检当停工理由或完成前置
 13. **中间产物吸收即死**——细则见 AGENTS.md 硬性红线与 doc-conventions 第 11 节
-14. **改动级验收闭合**——写卡期列需求侧对照表，实现期补实际对照表（测试文件:行），每个行为改动做撤销证明；合回前独立验收审计。细则=test-conventions §8
+14. **改动级验收闭合**——写卡期列需求侧对照表，实现期补实际对照表（测试文件:行），每个行为改动的验收断言从真实入口进入、在当轮真实跑批中执行并通过（判据绑定面口径=test-conventions §8.4；禁变异类测试与撤销类取证，2026-10-24/28 用户两裁）；合回前独立验收审计。细则=test-conventions §8
 
 ## 4. 测试执行两入口铁规（细则）
 

tools/pipeline_gate.py

@@ -52,6 +52,8 @@ LEDGER_RULE_DATE = (2026, 10, 21)
 LEDGER_HEADING_RE = re.compile(r"^#{2,4}\s*.*(验收对照表|改动[—\-]验收)")
 LEDGER_REQUIRED = ("需求点", "改动", "验收测试", "真实入口")
 LEDGER_PROOF_MARKS = ("撤销", "证明")
+BINDING_RULE_DATE = (2026, 10, 28)   # req-card §8：换代为判据绑定面列，撤销/变异证明列同日禁列
+BANNED_PROOF_MARKS = ("撤销证明", "变异证明")
 AUDIT_MARK = "验收审计"
 
 DATE_RE = re.compile(r"\d{4}-\d{2}-\d{2}")
@@ -451,7 +453,7 @@ def card_date(path):
     return tuple(int(x) for x in found[-1].split("-"))
 
 
-def check_ledger(text, path, issues):
+def check_ledger(text, path, when, issues):
     """C3 改动—验收对照表结构检查（生效 2026-10-21）。
 
     只查：对照表节在不在、表头有没有五个必需列、有没有数据行、必填格空不空。
@@ -491,13 +493,29 @@ def check_ledger(text, path, issues):
                            "缺「%s」列" % name))
             return
         idx[name] = hit
-    proof_hit = next((k for k, cell in enumerate(header)
+    banned = next((cell for cell in header
-                      if any(mark in cell for mark in LEDGER_PROOF_MARKS)), None)
+                   if any(mark in cell for mark in BANNED_PROOF_MARKS)), None)
-    if proof_hit is None:
+    binding_hit = next((k for k, cell in enumerate(header)
-        issues.append((str(path), header_line, "验收对照表缺列",
+                        if "判据绑定面" in cell), None)
-                       "缺「撤销证明」列"))
+    if when >= BINDING_RULE_DATE:
-        return
+        if banned is not None:
-    idx["证明"] = proof_hit
+            issues.append((str(path), header_line, "验收对照表禁列",
+                           "「%s」列已随 2026-10-24/28 两裁禁列（req-card §8.4，"
+                           "验收断言绑真实入口＋判据绑定面）" % banned))
+            return
+        if binding_hit is None:
+            issues.append((str(path), header_line, "验收对照表缺列",
+                           "缺「判据绑定面」列（2026-10-28 判据口径换代，req-card §8）"))
+            return
+        idx["绑定面"] = binding_hit
+    else:
+        proof_hit = next((k for k, cell in enumerate(header)
+                          if any(mark in cell for mark in LEDGER_PROOF_MARKS)), None)
+        if proof_hit is None:
+            issues.append((str(path), header_line, "验收对照表缺列",
+                           "缺「撤销证明」列"))
+            return
+        idx["证明"] = proof_hit
 
     rows = 0
     for i in range(header_line, len(lines)):
@@ -531,7 +549,8 @@ def check_cards(root, issues):
     C1 判据：「关联文档同步面」表内，目标格指向 design/ 或根规则文件、而义务格仍写
     「随批」者红（2026-10-17 req-card §6 改口径后，这类点只能列 reports/ 反哺点清单）。
     C2 判据：全文既无「设计事实源」也无「唯一事实源」者红（两种写法都与库内实态对齐）。
-    C3 判据：有「改动—验收对照表」节；表头含需求点/改动/验收测试/真实入口/证明列；
+    C3 判据：有「改动—验收对照表」节；表头含需求点/改动/验收测试/真实入口＋证明列
+    （2026-10-28 起换代为「判据绑定面」列，并禁「撤销证明／变异证明」列）；
     至少一行；必填格非空；全文含「验收审计」声明。语义覆盖不在此判。
     """
     dirn = root / CARD_DIR
@@ -550,7 +569,7 @@ def check_cards(root, issues):
                            "须含「设计事实源」或「唯一事实源」声明句（req-card §2 三选一，"
                            "GDD 节＋版本号／样张＋art-bible 版本／工程形态证据指认）"))
         if when >= LEDGER_RULE_DATE:
-            check_ledger(text, path, issues)
+            check_ledger(text, path, when, issues)
             if AUDIT_MARK not in text:
                 issues.append((str(path), 1, "独立验收审计未声明",
                                "须在卡内写明独立验收审计入口与报告文件（2026-10-21 起，"

待办清单.md

@@ -2,14 +2,6 @@
 
 本清单是流水线的唯一登记处：要做的事先在此登记一条，随流水线段推进改状态，做完整条删除；各系统文档的「待办」节只留一行指路存根，不再自建条目。条目格式（标题＝登记元数据含可选优先级，正文＝实况/缺口/改动面/状态四属性）与状态机以 [doc-conventions §12.1](design/engineering/doc-conventions.md) 为权威。
 
-#### 存量断言内部直查全量归位——判据达标专项批（2026-10-28 登记，来源=会话提及）
-
-**实况**：目标=unit/integration 存量断言级内部直查 89 处（grep 口径，2026-10-28 本会话实测）按 test-conventions §8.2 新判据（145c1865 落文）全部改钉公开可观测面。证据＝§8.2 受控例外条文＋本会话 grep 计数；样板=treasure_effects_test（e62e90c8 试点批，12 处改钉零产品码全绿）。执行形态=工程改动 worktree 批（纯测试维护零行为改动，不写卡不编迭代）：盘点先行（逐套件定四类改法——属性直换/公开面等价式/真实路径重塑/公开面对比——并标出需产品码只读访问器的呈报项）→ 按域分波每波闸 → 收尾件核（断言级直查 grep=0）。边界：只清断言级（`Kit.check` 行内 `._` 命中），setup 直调写口构造状态不动（§5.4 惯例）；断言标签逐字不动（验证集清单锚）；禁放宽/删断言；需访问器项逐处呈用户裁（产品码边界）；非 quiet 断言改判同步验证集清单对账。时机=排在迭代 41 之前，与波 0 gdstyle 基线刷新互不影响（tests 不在扫描面）。
-
-**改动面**：游戏代码
-
-**状态**：待执行
-
 #### gdstyle 存量债全量清偿——216 键按病根分波整改（2026-10-26 登记，来源=会话提及，优先级＝P0）
 
 **实况**：S13 闸实测存量债 216 键／60 文件（2026-10-26，master f3b148ce，gdstyle v0.4.0 默认阈值；基线登记 234 键＝实存 216＋陈旧 18）。全量清单、波次方案与纪律见清点报告（本条目裁决源）。2026-10-26 用户裁：撤销「一条总账」与「按病根拆多条」两案，并为本条单账（存量债全部清除，紧急优先级）；原「gdstyle 基线陈旧键待人工清理」条目并入波 0（基线对账刷新），原「结构审查未立项小件候审」条目并入波 7（卡已写；iter38 施工停卡后经用户裁于 2026-10-26 修订定稿 v1.3，待编排）。**2026-10-26 设计段闭合（逐波裁定全数落定）**：①段组织＝逐波开设计段，纯代码波（波 0/2/3/4/5/6/8）写卡前确认零设计改动＋按当时 master 重测读数即可写卡；②波 2 各文件内部拆、波 6 视图内部拆私有函数、波 8 config_db 纯代码收敛（三处零设计改动）；③波 1 拆件定稿＝轴甲两件——battle_orchestrator 拆出 BattleFxHost（效果引擎宿主域）＋RewardGrant（奖励授予域），宿主保留状态机/facts 缓冲/订阅/段驱动/行发射基建/呈现投影，attune 族原位保留（迭代 39 副卡语义领地），emit 经 bind 注入 Callable，行数恶化债（c4c69701 挂账）本波还债归绿，残留债「改善非清零」口径预计 8–10 键；定稿落文 architecture.md v1.18（功能层两新件行＋「战斗编排域拆件定稿」节）；**同日独立审查折入**（grilling＋godot-master 双子代理并行、双判回炉补裁级——骨架成立、接线未闭合）：阻断 8 条去重 6 组＋建议 5 条全数折入 v1.18——跨件单向接线裁死（RewardGrant 持 fx 件引用/fx 兑付走注入 Callable，禁 RefCounted 环）、settlement/ 段类随动（直持三引用封转发壳）、12 随迁键卡内收敛义务（禁波 0 refresh 吸收）、两新件消费依赖列补全＋引用束注入、treasure_interact_controller 三触点分家（现值回调双取值面）、_fx_revealing 再入闸归 fx 件（裁定全文见清点报告 §六第 6 条）；④全部波不改游戏规则与玩家可见行为，design/gdd/systems/ 零修订预期；波 5 已实查落定纯代码（open_ticket 12 参＝单据声明形态）。波 7 的 wr5/wr6 验收载体重裁为写卡段用户裁点（卡 v1.2 在册，写卡补呈报）。裁定全文见清点报告 §六。**2026-10-28 迭代 40 合回出账（波 1＋波 7 闭合，合并提交 514457d1）**：卡①（波 1）45 键清 44、宿主类变量键豁免第三条顺带落 architecture v1.22 S13 豁免登记，行数恶化债还清（实测 1036≤登记 1302；契约 2 残余 36 行系合并适配承接 master 迭代 39 内容带入，用户裁登记残余债归后续批）；卡②（波 7）六件定点修＋运行期违约通道负面套件（run_time_fatal_test）落地合回。余波 2/4/6/8 归迭代 41 两卡（在册）。
@@ -407,15 +399,15 @@
 
 **状态**：待执行
 
-#### 美术资产链路审计两项 P0 — 待用户裁决（2026-10-09 登记，来源=审计发现）
+#### 主角棋盘小人像素管线重产——原「美术资产链路审计两项 P0」之 P0②（2026-10-09 登记，来源=审计发现）
 
-**实况**：**P0①（文档面）**：`design/art/art-bible.md` 第 68/527 行与 art-status-checklist 第 13 行至今仍引用已丢失的冻结样张 sample-batch-v3-final-2026-09-30.png（磁盘实测零命中），死指涉待修复。**P0②（美术面）**：主角棋盘小人未走像素管线（插值糊图），重产事项未在任何登记处在册。审计报告 HTML 件从未进版本库、现已删除，两项 P0 的现状以本条正文为准。裁＝修复死指涉+登记重产，或判过期随旧管线退役。2026-10-13 用户令随「UI 美化三层诊断」登记：本条属第三层「观感提升」，Alpha 阶段需完成。
+**实况**：主角棋盘小人未走像素管线（插值糊图），重产事项未在任何登记处在册；审计报告 HTML 件从未进版本库、现已删除，现状以本条正文为准。2026-10-13 用户令随「UI 美化三层诊断」登记：本条属第三层「观感提升」，Alpha 阶段需完成。原 P0①（文档面：两处引用已丢失的冻结样张路径）2026-10-28 按用户裁乙销号——art-bible §1.4 冻结记录与 art-status-checklist P0 样张行删路径、留「产物原件已丢失」，机检报告凭据（git 提交 7a847c7）保留。
 
-**缺口**：还差用户的路线裁决（修复死指涉＋登记重产，还是判过期随旧管线退役）——裁决后文档面修复与美术重产登记各按轨推进。
+**缺口**：还差美术面的重产（按像素管线重画主角棋盘小人），归美术设计段。
 
-**改动面**：文档＋美术素材
+**改动面**：美术素材
 
-**状态**：待文档设计＋待美术设计
+**状态**：待美术设计
 
 #### 技术债观察登记——长函数余量与 lambda 连接防回归（2026-10-15 登记，来源=批次移交）