merge: 判式换代批T0-T5全落（迭代14②号卡；冒烟750/0+run_all 15套+探针绿+doc三闸零新增）

design/registry/entities.yaml

@@ -384,9 +384,20 @@ entities:
       variables: [cap, m_amb, unit_count, k_r, L_r]（2026-09-20 八型批：m_amb/k_r/L_r 随伏击退役悬空，条目待曲线调参批重立后重登记）
       output_range: 单结算结构上界 ∈ [0, unit_count×min(AP, cap)×m_amb]（式随 2026-09-20 八型批伏击退役作废、留档历史）（满配语境 3×min(8,4)×3=36；cap≥8 时真可达上界 72 而非 144；默认行值 unit_count=1 下 12）
       account_input: 对账输入 = 棋盘生成 actuals p10（F4 报告 C）非 target 参数（棋盘生成 登记口径）；闭合 owner = 战斗结算 单一签字人；左臂（安全格 buff 当量）载体 = **地图战斗资源 F6 当量供给**（2026-09-09 地图战斗资源 定稿——部分缓解非闭合：窗口使用次数是战斗轨迹量，敌人系统 OQ3 扩项保持；2026-09-11 起基础攻击恒在为左臂提供恒定伤害基底，原"当前内容态结构性不可通关"事实退役——敌人系统 Overview 2026-09-11 改写）
-      direction_precheck: cap=4 下右臂 ≈7.7；左臂按条款 2 最低档锚（+50pp）计 = 0.36×50 = 18——裕度 ≈2.3×（1:1 百分点代理，provisional；2026-09-09 敌人系统 full 评审更正原 4.7×——该值按 +100 两层叠满取值、与"最低档下界"语言矛盾）；量级注记：atk=4 时 attack 拍 L≥2 伏击分量过半（heavy 拍过半点后移、按拍别读取；常态支配修正入口 = 难度曲线与Boss atk 曲线 / 地图战斗资源·战斗结算 m_amb 锚，敌人系统 权限外）。**参照迁移注记（2026-09-09 地图战斗资源 评审；2026-09-11 回迁）**：左臂参照对象曾迁 defense_up 当量（地图战斗资源 F4）——**2026-09-11 用户裁决"基础攻击恒存在"后 attack_up 复活，参照对象回迁 attack_up 当量**（上式 +50pp 系 attack_up 口径，迁移期结束；复算义务随 战斗结算 对照表落定，见 status_effect.anchor_warning 回迁注记）。**闭合回执（2026-09-10 战斗结算 GDD F4——条款③闭合完成；同日评审批双口径更正）**：统一 HP 当量 + 边际配对重算 → 默认 unit_count=1 下 L1 裕度 ≈2.0× / L2 ≈2.6× **通过**（锚行口径；**跨行期望口径 ≈1.2×/1.5× 同向通过——双口径登记，难度曲线与Boss 不得以锚行读数放行 unit_count=2**）；**满配语境（unit_count=3）最坏盲点破线 → 难度曲线与Boss 调参约束登记**（unit_count 轴 + 密度×可推理率轴——unit_count>1 行须降密度或降 m_amb）；本条 pp 代理预检（2.3×）退役为历史记录（量纲混用 + 右臂聚合上界与单格决策单位错配）。**重算回执（2026-09-14 战斗结算 重算批——按现行三输入重推：duration=1 × m_d=−30 × 难度曲线与Boss v3 曲线 d0.25/t0.88）**：L1 裕度 ≈0.48× / L2 ≈0.47× **破线**（锚行口径；跨行期望口径 E_dig=4.5 → ≈0.60×/0.58× 同向破线——双口径登记）；满配语境（unit_count=3）≈0.16× 深度破线；**破线升格为默认曲线级约束——V_safe 侧杠杆（m_d/duration/D_ref）× 板形侧杠杆（密度×ι 联动对）× m_amb 全处"禁独立调参"联动网络（m_w↔D_ref↔m_d↔duration_d），修正方向须 难度曲线与Boss 提案 + 战斗结算 闭合对账共裁**；上段 ≈2.0×/2.6× 读数系 duration=2 × m_d=−50 × v1 曲线旧值链产物，退役为历史记录；actuals p10 交付后强制重跑（战斗结算 AC-39；ι 判式面保守代理 = 行 target 代，总暴露面无效）
+      direction_precheck: cap=4 下右臂 ≈7.7；左臂按条款 2 最低档锚（+50pp）计 = 0.36×50 = 18——裕度 ≈2.3×（1:1 百分点代理，provisional；2026-09-09 敌人系统 full 评审更正原 4.7×——该值按 +100 两层叠满取值、与"最低档下界"语言矛盾）；量级注记：atk=4 时 attack 拍 L≥2 伏击分量过半（heavy 拍过半点后移、按拍别读取；常态支配修正入口 = 难度曲线与Boss atk 曲线 / 地图战斗资源·战斗结算 m_amb 锚，敌人系统 权限外）。**参照迁移注记（2026-09-09 地图战斗资源 评审；2026-09-11 回迁）**：左臂参照对象曾迁 defense_up 当量（地图战斗资源 F4）——**2026-09-11 用户裁决"基础攻击恒存在"后 attack_up 复活，参照对象回迁 attack_up 当量**（上式 +50pp 系 attack_up 口径，迁移期结束；复算义务随 战斗结算 对照表落定，见 status_effect.anchor_warning 回迁注记）。**闭合回执（2026-09-10 战斗结算 GDD F4——条款③闭合完成；同日评审批双口径更正）**：统一 HP 当量 + 边际配对重算 → 默认 unit_count=1 下 L1 裕度 ≈2.0× / L2 ≈2.6× **通过**（锚行口径；**跨行期望口径 ≈1.2×/1.5× 同向通过——双口径登记，难度曲线与Boss 不得以锚行读数放行 unit_count=2**）；**满配语境（unit_count=3）最坏盲点破线 → 难度曲线与Boss 调参约束登记**（unit_count 轴 + 密度×可推理率轴——unit_count>1 行须降密度或降 m_amb）；本条 pp 代理预检（2.3×）退役为历史记录（量纲混用 + 右臂聚合上界与单格决策单位错配）。**重算回执（2026-09-14 战斗结算 重算批——按现行三输入重推：duration=1 × m_d=−30 × 难度曲线与Boss v3 曲线 d0.25/t0.88）**：L1 裕度 ≈0.48× / L2 ≈0.47× **破线**（锚行口径；跨行期望口径 E_dig=4.5 → ≈0.60×/0.58× 同向破线——双口径登记）；满配语境（unit_count=3）≈0.16× 深度破线；**破线升格为默认曲线级约束——V_safe 侧杠杆（m_d/duration/D_ref）× 板形侧杠杆（密度×ι 联动对）× m_amb 全处"禁独立调参"联动网络（m_w↔D_ref↔m_d↔duration_d），修正方向须 难度曲线与Boss 提案 + 战斗结算 闭合对账共裁**；上段 ≈2.0×/2.6× 读数系 duration=2 × m_d=−50 × v1 曲线旧值链产物，退役为历史记录；actuals p10 交付后强制重跑（战斗结算 AC-39；ι 判式面保守代理 = 行 target 代，总暴露面无效）。**换代收口（2026-10-05 判式换代批——clause3_inequality 重立承接）**：本条伏击口径悬空变量（m_amb/k_r/L_r）的重立义务由 clause3_inequality 承接销项；本条 unit_count 满配语境约束（unit_count>1 行须降密度或降 m_amb）由 β 带逐 u 检算（u=1/2/3）接替看护，留档历史
       referenced_by: [战斗结算]
 
+  - name: clause3_inequality
+    type: formula
+    owner: design/gdd/systems/排雷循环/行动经济.md
+    attributes:
+      rule: （2026-10-05 判式换代批重立——迭代14②号卡 T3，2026-10-04 用户两轮拍板+grill 七问全裁，设计权威=design/research/方案-挖掘风险不等式修订-2026-10-04.md §九）行动经济 F1 条款3 三层口径并行立——**条款3 聚合健康式**：(1−ρ̂)·E_dig(u) − ρ̂·V_mine(u) ≥ 0 对全部参考板形 × u ∈ {1,2,3}（下限 0 唯一保留，上限 U_band 删〔grill Q3〕由 β_hi 独家承载）；**旗边际引理**（同池结构定理）：EV_flag−EV_blind = (q+ρ̂−1)(E_dig+V_mine)，旗优于盲挖 ⇔ q > 1−ρ̂，与全部当量表值无关；旗对已知安全格边际恒 ≤ 0（L2 结构破线层）；**条件二旗溢价式**：E[标中兑付] ≥ (1+δ)·E_dig(u)，δ=0.25 provisional（形态 a 兑付溢价 settlement.flag_hit_premium=125 percent 域；形态 b 专属池不启——雷安同池冻结）；**β 比值带**：β(u)=V_mine(u)÷E_dig(u) ∈ [1.2, 2.5]（2026-10-04 用户裁 P4）；**η 读数**（非判式）：η=flag_hit÷flag_placed，分母=全部插旗数〔grill Q5〕，标空率次读数——承载=MC runsum 五字段（flag_placed/flag_hit/flag_miss/flag_hit_gain/flag_miss_penalty，2026-10-05 T1 落码）
+      mechanism_carrier: settlement.tres flag_hit_premium = 125（percent 域 provisional，2026-10-05 T4 落地）——标中旗正向兑付按同型正向 ×(1+δ)：flat 行乘 power、percent 行乘幅度（apply_effect magnitude_override 通道）、gp 行乘 power；取整=四舍五入（与伤害管线 round_direction=floor **分域**——溢价系兑付构造非伤害管线取整，登记注记）；标空/挖格/清图兑付不乘溢价；DamageController 零改、雷安同池冻结不动、直伤雷 6/8/8 与 p_perfect 不动（契约红线）
+      prechange_snapshot: **改前静态锚（2026-10-05 T0，audit 工具常量刷新后跑出，改后判读的基准）**——池 77 权重（attack14/defense11/blast16/heal4/weaken8/pierce8/magic8/action6/gp2，clear_blast 不入格池）：E_dig(1/2/3)=1.442/1.948/2.455，V_mine(1/2/3)=2.460/2.670/2.881（九型负向字典口径乙=唯一口径，伏击口径甲退役删除），β=1.71/1.37/1.17（u=1/2 带内、u=3 微破下限=登记态点名不强制回滚），盲挖净期望（名义ρ）=+0.47/+0.79/+1.12 恒正（条款3 聚合健康式现行即绿），逐型净期望破线残留=pierce −1.25 / magic −0.50 / heal 0 踩线（名义ρ；实测ρ̂ 10×10 下 pierce −0.16 唯一实测也破、magic/heal 转正），条件二改前恒假（E[标中]=E_dig < 1.25·E_dig——登记已知破，T4 机制闭合）；改前行为锚=MC n400 种子窗 76000 系+verifier 双窗（T2，读数随批出口报告）
+      p7_corrections: **P7 口径修正注记（2026-10-04 用户裁随批登记）**：①d70f6c3 §二（迭代8 卡⑧全量复算）池 76 系历史混计——clear_blast（清图槽对象）不该入格池，现行口径=77；②同读数直伤雷 4/5/5 已时效化——2026-10-01 数值修复批 6/8/8 + 2026-10-03 带换代转正，现行单雷期望直伤 ≈1.97 HP（×2.2）；heal 权重 2→4（Package B 第 2 轮）同链时效
+      rerun_obligation: 难度曲线与Boss 每次调参逐 u 检算落 β 带（常设重跑入口 tools/clear_dominance_audit.py，2026-10-05 已刷新=池77/直伤6-8-8/heal2/清图24-40/AP8/off_guard −1/伏击退役/β+逐型输出）；直伤雷/ρ 提案逐档检算落带（grill Q3 裁）；δ 敏感度判据 ≥5pp（grill Q4），行为无效 δ 仍保留+登记「行为无感」
+      referenced_by: [行动经济, 战斗结算, 难度曲线与Boss]
+
   - name: clause5_dominance
     type: formula
     owner: design/gdd/systems/战斗循环/战斗结算.md