refactor(slice): 雾格机制整体清理（代码/数据表/文档/registry）

雾格已于 2026-09-14 从设计中永久移除（05-不做清单），本批把残留从实现到文档清干净。

代码与数据表：
- 删：雾布置管线（区域生长/厚度约束/safe_nonzero 强制）、雾预算核算、雾指标输出
  （actual_fog_ratio / fog_burden_ratio / delta_budget_fog）、求解器"雾元知识"信息通道、
  硬编码 "fog" 变异、雾池加载护栏、雾格渲染/tint/雾区全开信号、雾图例条目、雾首遇提示、
  雾教学断言；variation/board_gen/reward_config 三表雾字段与雾校验
- 删 inferability_core（雾移除后恒等于主指标，留着会制造双判据假象）及其 3 处消费方
- 留：变异框架面（variants/variant_ids/候选池门控/变异表加载通道与通用字段/
  出生区无变异不变式/事件载荷 variant_ids 空槽），MVP 下恒空；加行即生效承诺不变
- 验证：冒烟 196/196（+3 变异框架面断言）、三场景探针全 PASS、
  期望扫描与清理前同种子逐位相同（L2 板去雾后可推理率 0.908→0.951）

文档与 registry：
- 十份系统文档的雾失义登记与待拍板条目按删除概念 SOP 关闭并补版本历史；03/02 顶层同步
- design/ux/battle.md 与 interaction-patterns.md 去雾（格态收窄两态）+ 修订记录表
- registry：删 t_fog_min / fog_region_count / fog_target_ratio / terrain_variation_acceptance_mapping
  / pricing_constraints 等键；指标集八项→四项；hint_id 去 fog_first；
  variation_table 反向边收敛为三个真实引用方
- 连带：art-bible 雾资产占位、tests/README 示例测试名、doc-conventions 第 4 节正例、
  研究件失效注记、切片 README 现状陈述与补记

docs/architecture/architecture.md

@@ -2,8 +2,8 @@
 
 ## Document Status
 
-- Version: 1.0
-- Last Updated: 2026-09-12
+- Version: 1.1
+- Last Updated: 2026-09-15（雾格移除清理：variation 定义、生成期指标口径、D1 呈现义务台账同步现行文档）
 - Engine: Godot 4.7.2-stable（GDScript 单语言；2026-09-07 锁定）
 - Review Mode: solo（`production/review-mode.txt`，2026-09-12 用户拍板——TD/LP 门禁按 solo 跳过，用户授权架构产出自主推进、迭代期回调）
 - GDDs Covered: game-concept · game-pillars · systems-index · d2-data-config · a3-action-economy · a4-terrain-variation · b3-status-effect · a1-board-generation · a2-minesweeper-rules · b2-enemy-system · b4-reward-item-economy · b1-settlement（12 份；A5/C1–C4/B5/D3–D6 未设计，按 systems-index 依赖分层预留）
@@ -91,7 +91,7 @@
 | **ConfigDB**（autoload，D2） | 全部玩法数值表（`data/tables/*.tres` + `data/schemas/*.gd`）；SCHEMA_VERSION；加载/校验/override/诊断状态机 | 类型化属性读取；`load_tables(root, collect_only)`；`resolve()`（R1 floor）；debug override；`set_reload_gate()`；诊断收集器 | 无（Foundation 顶点） | Resource/.tres 加载、autoload 生命周期——LOW |
 | **RngService**（autoload，D2） | master_seed、各流 scope 计数器（封闭流：board_gen / reward_roll；增流走 P1 评审） | `set_master_seed()`（唯一调用方 C2）；`open_stream(stream)` 有状态门面；`derive_at(stream, scope)` 纯函数；只读计数器 | ConfigDB（无） | 无——纯逻辑 |
 | **action_economy**（A3） | AP/RAP 账本、last_round_end、轮次相位机 {Idle, Active, Waiting}、结束仲裁 | 8 API 全布尔面：notify_round_start / request_dig / request_flag_place / request_flag_pull / request_stop / request_refresh / notify_settlement_done / notify_combat_end；ap/rap/phase 只读 | ConfigDB（ActionEconomyTable）；B1 回发 next_round_mode/battle_over | 无 |
-| **variation 定义**（A4） | VariationTable schema 与 MVP fog 行、F1 候选池门控谓词 | `variant_pool_gate(level_index, board_biome)` | ConfigDB（VariationTable） | 无 |
+| **variation 定义**（A4） | VariationTable schema（现行空清单，合法态）与 F1 候选池门控谓词 | `variant_pool_gate(level_index, board_biome)` | ConfigDB（VariationTable） | 无 |
 | **status_container**（B3） | 状态实例容器（战斗域生命周期、跨轮跨图延续） | 5 API：notify_battle_start / apply_effect / query_active / decay_round / notify_battle_end | ConfigDB（StatusEffectTable） | 无（RefCounted） |
 | **save_system**（D3，Alpha） | 存档格式与版本比较 | （未设计——契约锚：SCHEMA_VERSION + master_seed + 各流 scope 计数器快照，须在无在飞 open_stream 实例时切出） | ConfigDB、RngService 只读计数器 | FileAccess——LOW |
 | **settings/localization**（D6，愿景） | 设置项、翻译数据 | （未设计） | ConfigDB | 无 |
@@ -100,7 +100,7 @@
 
 | 模块 | Owns | Exposes | Consumes | 引擎 API |
 |---|---|---|---|---|
-| **board_generator**（A1） | 生成算法（五阶段管线）、BoardGenTable 回填、八项生成期指标、合法性谓词（clearable / R₀≠S / min_safe）、可推理率度量（metric_version） | `generate(L, D, rng) -> Board`；度量独立入口×3（推理器 / F3 度量 / 合法性谓词——独立纯函数、同一实现） | ConfigDB（BoardGenTable/VariationTable）；board_gen 流（一次 open_stream = 一张图）；dig_ap_cost 只读 | 无 |
+| **board_generator**（A1） | 生成算法（五阶段管线）、BoardGenTable 回填、生成期指标集、合法性谓词（clearable / R₀≠S / min_safe）、可推理率度量（metric_version） | `generate(L, D, rng) -> Board`；度量独立入口×3（推理器 / F3 度量 / 合法性谓词——独立纯函数、同一实现） | ConfigDB（BoardGenTable/VariationTable）；board_gen 流（一次 open_stream = 一张图）；dig_ap_cost 只读 | 无 |
 | **minesweeper_rules**（A2） | 棋盘状态（已开集 O / 旗集 G / 小人位）、三事件面、批次仲裁、install 四不变式 | `install_board(board)`；`settle_batch(intents)`（唯一提交入口）；try_dig / try_flag_place / try_flag_pull / try_move（便捷形）；`compute_move_path(cell)` 只读；`retire_board()`；三源拒绝（board_face / resource_face / phase）+ sub_reason 封闭枚举 | A1 产物（Board class_name 数据契约）；A3 try_spend / last_round_end / 相位 | 无（零表读取、零 UI——切片实证） |
 | **unit_container**（B2） | hero/enemy 单位实例（hp/atk/行为环指针）、行值快照 | 9 API：spawn / query_alive / query_beat / query_attack / apply_damage / advance / default_target / ambush_grant_plan / despawn_all | ConfigDB（EnemyTable/HeroTable） | 无 |
 | **reward_economy**（B4） | 板级身份映射（install 期预分配、Ready 只读）、关卡域库存（逐件实例）、**RewardSupplyController**（切片新增私有组合件：注入占比 + 指数递减、行值快照、零自有随机） | 10 API：roll_board / query_identity / grant / grant_clear / stock / use / query_inventory / clear_inventory / retire_mapping / equivalence_supply；另 query_full_snapshot（轮内刷新 facts 隔离）、grant_node_active（C1-lite 接口漂移） | ConfigDB（RewardTable/RewardConfigTable）；reward_roll 流（scope = 每次 install 批） | 无 |
@@ -120,10 +120,10 @@
 
 | 模块 | Owns | Exposes | Consumes | 引擎 API |
 |---|---|---|---|---|
-| **D1 HUD**（切片 lite 已拆 9 单元：BoardView / HUDView / HudPresenter / BattleLogView / ItemWindowOverlay / NodeOverlay / LevelStripView / TunePanel / UiKit + 组合根 main.gd） | 全部 Control/CanvasLayer、输入→意图翻译（**唯一提交路径 = settle_batch，不直调 A3**）、呈现义务台账（A2×6 / B2×4 / B3×4 / B4×5 / B1×3 / A4×2） | 视图单元接口（信号外发、setter 只读注入） | A2 compute_move_path / ActionOutcome；A3 ap/rap；B1 步骤流行协议（数据源）；ConfigDB display_name | **MEDIUM**：Control / CanvasLayer / draw_* / InputEvent / RichTextLabel——对照 breaking-changes.md 4.5–4.7 条目（CanvasItem 线条无抗锯齿羽化、设备 ID 常量、RichTextLabel 图片参数两轮变化） |
+| **D1 HUD**（切片 lite 已拆 9 单元：BoardView / HUDView / HudPresenter / BattleLogView / ItemWindowOverlay / NodeOverlay / LevelStripView / TunePanel / UiKit + 组合根 main.gd） | 全部 Control/CanvasLayer、输入→意图翻译（**唯一提交路径 = settle_batch，不直调 A3**）、呈现义务台账（A2×6 / B2×4 / B3×4 / B4×5 / B1×3） | 视图单元接口（信号外发、setter 只读注入） | A2 compute_move_path / ActionOutcome；A3 ap/rap；B1 步骤流行协议（数据源）；ConfigDB display_name | **MEDIUM**：Control / CanvasLayer / draw_* / InputEvent / RichTextLabel——对照 breaking-changes.md 4.5–4.7 条目（CanvasItem 线条无抗锯齿羽化、设备 ID 常量、RichTextLabel 图片参数两轮变化） |
 | **battle_presentation**（B5，垂直切片后） | 结算动画 / 伤害数字 / 战斗舞台 | （未设计——前置"战斗表现美术测试"锁双舞台陷阱） | B1 步骤流（回放脚本源）、D1 | **MEDIUM**：AnimationPlayer（String→StringName 变更）/ Tween |
 | **audio**（D4，Alpha） | 音频挂点 | （挂点 = B1 明细行类型流；负反馈聚合——单结算至多一次） | B1 流水 | AudioStreamPlayer（4.7 area_mask 默认 1→0 注意） |
-| **tutorial**（D5，Alpha） | 教学条目 | （口径来源：A2/A3/A4/B3/B1 各教学条目） | 各上游 | 无 |
+| **tutorial**（D5，Alpha） | 教学条目 | （口径来源：A2/A3/B3/B1 各教学条目） | 各上游 | 无 |
 
 **依赖单向性**：上层可消费下层，禁止反向（C3 禁调用 A1 生成、D1 不直调 A3、A2/B3/B4 零相互直调）。全项目唯一回边 = A2 事件订阅面。
 
@@ -191,7 +191,7 @@ D1 ◀──呈现数据源：A2 事件流 / B1 步骤流 / A3 ap-rap / ConfigDB
 | B1 ↔ A3 | 编排期代理 `request_refresh`（玩家意图，禁 RAP 满自动刷）；回发 next_round_mode/battle_over | stopped/ap_exhausted 未刷新回发 new_board = 违约 fail-fast | 刷新受理契约（同 Waiting 多次合法） |
 | 各系统 → D2 | ConfigDB 类型化属性单点读取 | 禁绕过 ConfigDB load 表、禁缓存副本、禁玩法数值字面量、禁 randomize()/自建 RNG | 校验双通道 + fail-fast 致命 |
 | A1 → A2 | Board 产物 class_name 数据契约 | install 四不变式校验（violation = 拒绝 + 五类诊断枚举） | 生成期合法性闸（R₀≠S / clearable / min_safe） |
-| A1 ↔ B1 | attempt 边界非 scope 事件；actuals p10 为对账输入（非 target 参数） | 编排不把重试当取号 | 八项指标输出（含 fog_burden_ratio） |
+| A1 ↔ B1 | attempt 边界非 scope 事件；actuals p10 为对账输入（非 target 参数） | 编排不把重试当取号 | 生成期指标集输出（实测可推理率 / 实际雷数与安全格数 / 重试次数 / 降级与非法产物标记） |
 | B4 → B3 | buff 类经 B1 调 apply_effect（B4 零跨系统读、零直接接口） | 满层拒绝 = 零兑付 + 明细行（无折算） | 授予时数值快照（抗热重载） |
 | B1 → D1 | [步骤流行协议](../../design/gdd/systems/战斗循环/战斗结算.md#明细流水每一行都能指回你刚才的哪一步棋)（15 类封闭枚举 + 公共字段 type/source_class/origin_cell/round_index/display_name/value/highlight? + 特有字段 target/effect_id/pool_value） | 无来源行 = 断言失败；呈现侧禁按行序重演 B2 状态机 | 可回放步骤流（同种子逐行相同） |
 

docs/architecture/requirements-traceability.md

@@ -1,6 +1,6 @@
 # Requirements Traceability Matrix — Dungeon Sweeper
 
-> 生成：2026-09-12 · 源：`docs/architecture/architecture.md` §Technical Requirements Baseline（63 条）+ ADR-0001~0005
+> 生成：2026-09-12 · 源：`docs/architecture/architecture.md` §Technical Requirements Baseline（63 条）+ ADR-0001~0005 · 2026-09-15 雾格移除清理（a4-001/002 需求文本与载体同步现行文档）
 > 门检查口径：**Foundation 层零缺口** = 每条 Foundation TR 都有明确裁决载体（专项 ADR，或经 design-review 门禁的 Approved GDD 契约 + 本架构文档章节），无未决项。
 > 状态图例：✅ 已覆盖 · 🔶 待 ADR（非 Foundation，随对应系统开工前裁决）· ⏳ 随未设计系统
 
@@ -32,7 +32,7 @@
 | **d2-016** | 项目级静态扫描域 | **ADR-0004**（S1–S8） |
 | a3-001~003/005~008 | AP/RAP 账本、仲裁、相位机、refresh、表承载、last_round_end | A3 GDD（Approved）+ architecture.md |
 | **a3-004** | round_end 双发射源 | **ADR-0001**（round_end_board / round_end_stopped） |
-| a4-001/002 | 变异框架 + 雾行跨字段校验 | A4 GDD（Approved） |
+| a4-001/002 | 变异框架（原雾行跨字段校验已随雾格移除） | A4 GDD（Approved）+ 现行《地形变异》 |
 | a4-003/004 | 生成期布置执行归 A1 / 零特判 | A4 GDD + A1/A2 GDD |
 | b3-001~006 | 统一容器 / 时限量纲 / 五 API / 三分支 / 快照 / 不 clamp | B3 GDD（Approved） |
 

docs/doc-conventions.md

@@ -52,7 +52,7 @@
 文档、评审输出、日志与一切沟通中**禁止自造黑话**——比喻性生造词、只有作者自己懂的缩略语（历史反例："非雾腿""双闸"）。
 
 - 只能使用：（a）人人可懂的直白语言，或（b）游戏行业通用术语（如 flood fill、战争迷雾、连锁展开、结算、增益/减伤）。
-- 需要指代新概念时，用直白的描述性短语（正例："剔除雾格后的可推理率"）。
+- 需要指代新概念时，用直白的描述性短语（正例："实测可推理率"——限定语与规范名绑定）。
 - 确需给新概念命名时：首次出现处必须附一句白话定义，并登记 `design/registry` 术语条目——不得让读者猜测比喻含义。
 - 唯一例外：玩家在游戏里也会看到的专属名词（道具名、界面用语，如"显影尘""探巢摆钟"）。文档内部的机制概念不得造词。
 
@@ -135,3 +135,4 @@
 | v1 | 2026-09-14 | 首版成文：整合用语纪律、文档形态纪律、两件套与树形文档体系、新骨架过渡口径，新增可读性第一纪律与系统文档骨架 |
 | v2 | 2026-09-14 | 新增第 7 节引用纪律（跨文档高内聚低耦合：单点定义 / 规范名唯一 / 引用不转述 / 反向边登记 / 删除概念 SOP），原 7/8 节顺延为 8/9 |
 | v3 | 2026-09-15 | 命名纪律补充：现行文档代号清偿完毕，子系统统一以中文规范名指代；英文代号对照表落盘 `design/gdd/02-系统清单.md`，旧代号仅限解读归档 |
+| v4 | 2026-09-15 | 用语纪律正例去雾：第 4 节正例"剔除雾格后的可推理率"改为现行指标"实测可推理率"（原指标随雾格移除已删）；规则文字与历史反例"非雾腿"、第 8 节雾格移除去向说明均不动 |