research: 挖掘风险不等式结构性修订方案（纯调研零代码零模拟）——破线四层定位（L1界形式结构性×4.4-13.3/L2旗对已知安全格恒非正〔雷安同池⇒EV差=(q+ρ−1)(E+V)，与表值无关〕/L3逐型pierce-1.25·magic-0.50·heal踩线/L4盲挖+0.47~+1.12已翻正）+d70f6c3时效性修正（6/8/8+heal4后风险端再×1.5-2.2·池76→77口径修正）+修订四案（甲双条件判式换代/乙η命中率锚/丙β比值带判读/丁异池累积惩罚后备·与L2缺口方向冲突登记）+联动清单六新增行+验收锚设计（audit工具常量刷新T0+MC对拍+runsum旗行为字段五枚）+拍板点P1-P7全归用户——事实源三正主GDD+d70f6c3§二+clear_dominance_audit.py+表值五件读表核证
This commit is contained in:
DKChan committed
1 parent
843c758ca8
commit
9cabcfabb8
1 file changed
+312
@@ -0,0 +1,312 @@
|
||||
# 方案：挖掘风险不等式结构性修订（纯调研，零代码）
|
||||
|
||||
> 日期：2026-10-04
|
||||
> 性质：调研报告——只推演、不跑模拟、不动代码与表值；拍板点全部归用户（见 §八）
|
||||
> 事实源：战斗结算.md / 难度曲线与Boss.md / 增益状态.md（三正主）+ git 提交 d70f6c3 §二 + 现行 `game/data/tables/*.tres` + `tools/clear_dominance_audit.py`（注册重跑入口）
|
||||
|
||||
## 一、摘要
|
||||
|
||||
**破线不是一个点，是四层，其中两层是结构性的（表值调不掉），两层是数值性的（现行值链下已有变化）。**
|
||||
|
||||
| 层 | 判式 | 现行状态 | 量级 | 性质 |
|
||||
|---|---|---|---|---|
|
||||
| L1 界形式条款3 | P(安全)×增益当量**下界** > P(雷)×惩罚**上界** | 破线 | ×4.4 ～ ×13.3（缺口倍数） | **结构性**——最弱奖励 0.2 当量 vs 最强惩罚 8 当量，量纲断裂，任何表值微调闭不上 |
|
||||
| L2 旗对已知安全格边际 | E[标中兑付] vs E[挖已知安全格] | 恒 ≤ 0 | 相对损失 = 清图进度 + 信息价值（当量外） | **结构性**——雷安同池 + 同正向字典 ⇒ 旗兑付分布 ≡ 安全格兑付分布，期望永不胜出；d70f6c3 的风险端 ×1.9 对此层**零效力** |
|
||||
| L3 逐型条件净期望 | (1−ρ)P_t > ρN_t 逐型 | pierce 型破线 / magic 型破线 / heal 型踩线 | −1.25 / −0.50 / 0 当量·格（名义 ρ）；pierce 型实测 ρ 下仍 −0.16 | 数值性——直伤三型（权重 26%）是残留破线的具体格子 |
|
||||
| L4 盲挖净期望（聚合） | (1−ρ)E_dig − ρV_mine ≥ 0 | **已翻正** | +0.47 ～ +1.12 当量·格（u=1..3，名义 ρ） | 数值性——6/8/8 转正后比 d70f6c3 复算时更健康；但 V/E 比值在 u=3（多敌满配）最劣，与历史「多敌满配深度破线」同源 |
|
||||
|
||||
**另一关键结论（推演引理，§四.3）**：雷安同池结构下，「标中旗 vs 盲挖」的比较退化为纯概率比较 **q > 1−ρ**（q = 玩家对该格为雷的置信），与全部当量表值无关——雷当量抬到多高都动不了这一支。风险端定价只影响「盲挖有多舒服」，不影响「旗相对盲挖有多值」。这就是 d70f6c3「缓解未闭合」的结构根源：**缓解的是 L3/L4，闭不了 L1/L2。**
|
||||
|
||||
修订主推：**案甲（判式换代双条件）+ 案丙（比值带判读）组合**——先立新尺（判式换代是文档修订不是调参），旗溢价条款给 L2 结构破线一个正当地位。案乙（η 系数）降格为案甲的实测化读数而非独立判式；案丁（异池/累积惩罚）列结构后备，与 6/8/8 刚转正 + 普通 L2 缺口加深的现状有方向冲突，须用户裁。
|
||||
|
||||
---
|
||||
|
||||
## 二、口径与判式沿革
|
||||
|
||||
### 2.1 判式的四个历史形态
|
||||
|
||||
1. **注册判式（首版验算所据，现行文档已退役待重立）**——旧版行动经济五条契约条款3 原文：
|
||||
```
|
||||
条款 3（挖掘决策健康不等式）：
|
||||
P(安全) × 增益当量下界 > P(雷) × 敌方增益当量上界
|
||||
```
|
||||
出处：git `7876642^`（八型批前）行动经济.md。首版验算破线记录见 06-待办清单「挖掘风险不等式对账破线」条（归档值链：防御增益时长 1、行值 −30；两参考板形破线、多敌满配深度破线；升格曲线级约束——相关参数处禁独立调参联动）。
|
||||
2. **八型批改写（2026-09-20，现行文本）**——行动经济.md:130：「原『敌方伏击暴露不等式』随伏击机制退役作废——blast 负向现况 = 警觉……**惩罚当量对账模型归难度曲线与Boss 调参批重立**」。→ 本报告即「重立」的底稿。
|
||||
3. **重立记录（M-3 迭代 5 T3，2026-09-28）**——`design/qa/m3-iter5-lever-scan-2026-09-28.md` §三②：当量换算走效果档位对照表（flat E=表值；percent E=|层×行值|÷100×D_ref 每结算每层；**AC 轴=点数×5pp×D_ref=0.2 当量/次攻击**）；结论「风险端定价对收益端系统性不足的状态未闭合；修正位=雷格惩罚行值/负向权重池，不在本批注册杠杆集」。
|
||||
4. **全量复算（迭代 8 卡⑧，2026-09-29，git d70f6c3 §二）**：直伤三行 1/2/2→4/5/5 后风险端当量 ×1.9，「与收益端的差距收窄但未反转（收益端含资源/成长复利，风险端为一次性直伤）——破线状态缓解、未闭合；结构性修订（雷安同池/差异化/累积惩罚）留 Alpha 批」。
|
||||
|
||||
### 2.2 本任务工作定义与口径判读
|
||||
|
||||
任务书定义：「标中旗的期望收益必须优于随便挖一格（当量比较式）」。与在册条款的映射：这是**条款2（标中旗锚）+ 条款3（挖掘风险不等式）合并的行为学读法**——条款2 只保「weaken > 最低档增益」的单点对照，条款3 管「挖一格净期望 > 0」，两者都管不住「旗 vs 挖」的**边际比较**。本报告按任务定义展开推演，同时把三层口径（条款2 单点锚 / 条款3 聚合健康 / 旗-挖边际）分开判读——**口径取舍本身列为拍板点 P2**。
|
||||
|
||||
### 2.3 事实源核证两处（与 d70f6c3 §二 的口径差异）
|
||||
|
||||
- **格池 = 77 权重，不是 76**。代码核证：`reward_economy.gd` `_rollable_rows()`（207-213 行一带）收 `pool_tag=cell & polarity=positive & weight>0` 全集；`clear_blast` pool_tag=`clear_default` 是**清图槽对象、不挂格**（地图战斗资源.md §清图槽明文）。d70f6c3 §二 的 76 口径把清障炸药 weight 1 混计入池，系历史混计。现行正向行权重：attack 14 / defense 11 / blast 16 / heal **4** / weaken 8 / pierce 8 / magic 8 / action 6 / gp 2 = **77**。
|
||||
- **直伤雷现行 6/8/8，不是 4/5/5**。d70f6c3 投的是 4/5/5（provisional）；2026-10-01 数值修复批「配套直伤雷当量同步上调（reward.tres 4/5/5→6/8/8，雷痛回归用户口径）」；2026-10-03 带换代批「直伤雷当量 6/8/8 转正（去 provisional）」。heal 权重同批链 2→4（Package B 第 2 轮）。**即 d70f6c3 复算之后风险端又被抬了一轮，其「×1.9」读数已时效化**——本报告 §四 为现行值链重算。
|
||||
|
||||
---
|
||||
|
||||
## 三、现行值链快照与推演假设
|
||||
|
||||
### 3.1 表值快照（全部读表核证，2026-10-04）
|
||||
|
||||
| 件 | 值 | 出处 |
|
||||
|---|---|---|
|
||||
| 参考敞口 D_ref | 4 | settlement.tres equivalence_ref_damage |
|
||||
| 完美乘数 p_perfect | 200（×2 第二份） | settlement.tres |
|
||||
| AC 掷点 | d20；缺口 1-3→×0.75 / 4-7→×0.5 / 8+→×0.25；nat20 ×2 恒全额；floor 1 | settlement.tres |
|
||||
| 主角 | max_hp 26 / atk 2 / armor_class 10 | hero.tres |
|
||||
| 行动经济 | ap_per_round 8 / dig 1 / flag 1 / refresh 8（cap 2） | action_economy.tres |
|
||||
| 棋盘 | 10×10（L1 前段）与 12×12（后段/Boss），mine_density 0.25，inferability 0.88 | board_gen.tres |
|
||||
| 实测幸存雷率 | 10×10 ≈ 12.91/100 ≈ 0.129；12×12 ≈ 22.6/144 ≈ 0.157（先布后删落地值） | smoke/board_stat_probe 200 样本（2026-09-19 读数；板形行值此后未变） |
|
||||
| 格池正向行 | attack_up 14（+50%×1拍）/ ac_up 11（AC+1×1拍）/ spark_aoe 16（flat 1 全体）/ heal_minor 4（flat 2）/ weaken 8（−65% 敌输出，dur2=有效1拍）/ pierce_strike 8（flat 2+克制）/ magic_bolt 8（flat 2）/ ap_up 6（+1AP）/ gp_coin 2（+3GP） | reward.tres（77 合计） |
|
||||
| 负向字典行（weight=0） | enrage +25%×1拍（attack）/ off_guard AC−1×1拍（defense）/ 警觉 敌AC+1×1拍（blast）/ heal_backlash **6**（heal）/ sapped −25%×1拍（weaken）/ pierce_snare **8**（pierce）/ magic_recoil **8**（magic）/ ap_drain −1AP（action）/ gp_lose −2GP（gp） | reward.tres + status_effects.tres |
|
||||
|
||||
### 3.2 推演假设（判读时必须带着看）
|
||||
|
||||
- **A1 当量口径**：效果档位对照表单一口径（战斗结算.md 收益对照表 + lever-scan 重立模型）：flat E=表值；percent E=|层×行值|÷100×D_ref（每结算每层）；AC 轴=点数×5pp×D_ref（每吃掷点攻击）。
|
||||
- **A2 u 缩放**：u = 敌方单位数。hero 侧单目标效果不随 u 缩放；enemy 侧 side-wide 效果（ac_up 承伤面 / spark_aoe / weaken / enrage / off_guard）随 u 缩放——沿 audit 工具既有口径。
|
||||
- **A3 duration**：weaken dur2 按「先兑付后衰减」计有效 1 拍；enrage/off_guard/警觉/sapped dur1 计 1 拍。
|
||||
- **A4 警觉消费面**：主角每拍恰 1 次攻击 × 警觉 1 拍寿命 ⇒ E = 0.2 当量，u 无关。
|
||||
- **A5 gp 当量 = flat power 代理**（金币袋 3 / 破财 2）。对照表 flat 类枚举（直伤、治疗、行动点）**不含 gp——口径空白，本报告按代理计并登记**；精确口径应经商店定价换算（1 GP 的边际属性当量），归状态层/商店批复核。
|
||||
- **A6 ap 当量 = flat 表值 1**。机会成本口径（+1AP ≈ 多挖一格 ≈ E_dig + 进度 + 信息）更高——差异登记，不进主算。
|
||||
- **A7 ρ 双口径**：名义 0.25 与实测包络（0.129 / 0.157）并报；主表用名义（保守）。
|
||||
- **A8 复利不建模**：收益端静态口径。d70f6c3/lever-scan 的「收益端含资源/成长复利」作为定性输入保留——含复利口径下 L4 的判读会更保守，量化归复算批（需先给复利系数定义，见拍板点 P5）。
|
||||
- **A9 简化**：治疗不做满血封顶折减、溢杀不折减、清图奖励不入逐格当量（单独在 §四.4 讨论其对旗激励的支配性）。
|
||||
|
||||
---
|
||||
|
||||
## 四、① 破线残留的具体位置与量级（静态推演）
|
||||
|
||||
### 4.1 单格收益端 E_dig(u) 与风险端 V_mine(u)
|
||||
|
||||
E_dig = Σ_t w_t·P_t ÷ 77（安全格类型正向期望当量）；V_mine = Σ_t w_t·N_t ÷ 77（踩雷/标空惩罚期望当量，同池同分布）。
|
||||
|
||||
| 分型（权重） | P_t（正向当量） | N_t（负向当量） | P_t 项合计 | N_t 项合计 |
|
||||
|---|---|---|---|---|
|
||||
| attack（14） | 0.50×4 = 2.0 | 0.25×4×u = 1.0u | 28.0 | 14.0u |
|
||||
| defense（11） | 1×0.05×4×u = 0.2u | 0.2u | 2.2u | 2.2u |
|
||||
| blast（16） | 1×u = 1.0u | 0.2（警觉，A4） | 16.0u | 3.2 |
|
||||
| heal（4） | 2 | **6** | 8.0 | 24.0 |
|
||||
| weaken（8） | 0.65×4×u = 2.6u | 0.25×4 = 1.0 | 20.8u | 8.0 |
|
||||
| pierce（8） | max(1, 2−1) = **1**（轻甲 −1） | **8** | 8.0 | 64.0 |
|
||||
| magic（8） | max(1, 2+0) = 2 | **8** | 16.0 | 64.0 |
|
||||
| action（6） | 1（A6） | 1 | 6.0 | 6.0 |
|
||||
| gp（2） | 3（A5 代理） | 2 | 6.0 | 4.0 |
|
||||
|
||||
| | u=1 | u=2 | u=3 |
|
||||
|---|---|---|---|
|
||||
| **E_dig** | 111.0/77 = **1.442** | 150.0/77 = **1.948** | 189.0/77 = **2.455** |
|
||||
| **V_mine** | 189.4/77 = **2.460** | 205.6/77 = **2.670** | 221.8/77 = **2.881** |
|
||||
| **V/E 比值** | **1.71** | **1.37** | **1.17** |
|
||||
| 盲挖净期望（名义 ρ=0.25） | 0.75×1.442−0.25×2.460 = **+0.47** | **+0.79** | **+1.12** |
|
||||
| 盲挖净期望（实测 ρ=0.129，10×10） | **+0.94** | — | — |
|
||||
| 界形式（min P_t × 0.75 vs max N_t × 0.25） | 0.15 vs 2.00 → **缺 13.3×** | 0.30 vs 2.00 → 6.7× | 0.45 vs 2.00 → **4.4×** |
|
||||
| 界形式（实测 ρ=0.129，u=1） | 0.174 vs 1.033 → **缺 5.9×** | — | — |
|
||||
|
||||
### 4.2 逐型条件净期望（挖一格已知其类型，名义 ρ=0.25）
|
||||
|
||||
(1−ρ)P_t − ρN_t，单位当量/格：
|
||||
|
||||
| 型 | 净期望 | 判 | 备注 |
|
||||
|---|---|---|---|
|
||||
| attack | +1.25 | ✓ | |
|
||||
| defense | +0.10u | ✓ | 对称轴，恒 3:1 |
|
||||
| blast | +0.75u − 0.05 | ✓ | |
|
||||
| **heal** | **0**（1.5 − 1.5） | **踩线** | 恰好等号；实测 ρ 下 +0.97 转正 |
|
||||
| weaken | +1.70（u=1） | ✓ | |
|
||||
| **pierce** | **−1.25**（0.75 − 2.00） | **破线** | 实测 ρ 下仍 **−0.16**——唯一实测口径也破的型 |
|
||||
| **magic** | **−0.50**（1.50 − 2.00） | **破线** | 实测 ρ 下 +0.71 转正 |
|
||||
| action | +0.50 | ✓ | |
|
||||
| gp | +1.75（代理口径） | ✓ | |
|
||||
|
||||
加权合计 +0.466/格（与 4.1 聚合式吻合，交叉验证通过）。**残留破线的具体格子 = 直伤三型，根源是同轴镜像比失衡**：pierce 正 1 vs 负 8（1:8）、magic 正 2 vs 负 8（1:4）、heal 正 2 vs 负 6（1:3）——d70f6c3 投值时的设计意图是「负向 ≈ 正向 2–2.5 倍」，6/8/8 转正后实为 **3/4/4 倍**，叠加甲效加法核对穿刺正向下行（轻甲 −1 点 → 落地 1），pierce 轴被压到 1:8。
|
||||
|
||||
### 4.3 引理：旗-盲挖比较的概率化退化（同池结构定理）
|
||||
|
||||
设玩家对某格为雷的置信为 q，旗判式两侧（标中兑付 W、标空惩罚 C）与盲挖两侧（安全格收益 R、踩雷惩罚 M）：
|
||||
|
||||
```
|
||||
EV_flag(q) = q·W − (1−q)·C
|
||||
EV_blind = (1−ρ)·R − ρ·M
|
||||
雷安同池 + 极性矩阵同字典 ⇒ W = R = E_dig，C = M = V_mine
|
||||
⇒ EV_flag − EV_blind = (q + ρ − 1)(E_dig + V_mine)
|
||||
```
|
||||
|
||||
因 E_dig + V_mine > 0 恒成立，**符号只由 q + ρ − 1 决定**：
|
||||
|
||||
- 旗优于盲挖 ⇔ **q > 1−ρ**。名义 ρ=0.25 → 阈值 0.75；**实测幸存雷率 0.129 → 阈值 0.87**（「先布后删」删掉的雷把盲挖变安全，间接抬高了插旗的置信门槛）。
|
||||
- **与 E_dig、V_mine、D_ref、直伤雷 6/8/8 全部无关**。风险端定价影响的是「盲挖有多舒服」（L3/L4），不是「旗相对盲挖有多值」——d70f6c3 ×1.9 的「缓解」不落在此支。
|
||||
- 可推理率 ι=0.88 下，可推理格的 q ∈ {0,1}（证明级），可证雷的旗恒胜盲挖——**真正卡住旗的是与「挖已知安全格」的边际比较**（下条）。
|
||||
|
||||
### 4.4 L2 结构破线：旗对已知安全格恒非正 + 完美排雷的支配性
|
||||
|
||||
```
|
||||
EV_flag(q) − E_dig = −(1−q)(E_dig + V_mine) ≤ 0，等号仅 q=1
|
||||
```
|
||||
|
||||
q=1 时旗与挖已知安全格**期望兑付恰好相等**（同为 E_dig），但挖格额外产出：①清图进度（通往清图奖励 + 终局）②数字信息（抬全体后续 q）。⇒ **完美信息下旗仍严格次优**。现行旗的真实经济支柱不是标中兑付，而是**完美排雷 ×2**（需至少一面标中：clear_blast 32 当量级第二份，比 E_dig 高一个数量级）。这解释了行为面：旗只在「凑完美排雷」时被策略性插，日常边际上无人为兑付插旗——与 d70f6c3「缓解未闭合」的行为学含义一致。
|
||||
|
||||
### 4.5 d70f6c3 §二 读数的时效性修正
|
||||
|
||||
| 指标 | d70f6c3 时（4/5/5，heal 2，池 76 口径） | 现行（6/8/8，heal 4，池 77） | 变化 |
|
||||
|---|---|---|---|
|
||||
| 直伤型概率 | 18/76 = 23.7% | 20/77 = **26.0%** | +2.3pp |
|
||||
| 直伤型雷条件期望 power | 3.78 | (4×6+8×8+8×8)/20 = **7.60** | ×2.01 |
|
||||
| 单雷期望直伤（条件于踩雷） | 0.89 HP | 0.260×7.60 = **1.97 HP** | **×2.2** |
|
||||
| V_mine 全字典（u=1） | 125.4/76 = 1.650 | **2.460** | ×1.49 |
|
||||
| V/E 比值（u=1） | ≈1.19 | **1.71** | 风险端相对更重 |
|
||||
|
||||
即：**d70f6c3 之后的两批（数值修复批 6/8/8 + heal 4）已把风险端再推高一截，静态口径下 L4 聚合已翻正、L3 只剩 pierce/magic 两型、L1/L2 两层结构性破线依旧**。「破线残留」的准确表述：结构层（L1 界形式、L2 旗边际）未动；数值层（L3/L4）在现行值链下已大体闭合，唯 pierce 型与 u=3 比值劣化点（1.17，多敌满配与历史「多敌满配深度破线」同源）仍在带外。
|
||||
|
||||
---
|
||||
|
||||
## 五、② 结构性修订候选案
|
||||
|
||||
> 每案给：数学形态 / 对难度包络的冲击方向 / 实施与复算设计 / 代价与风险。**全部为提案，选型归用户。**
|
||||
|
||||
### 案甲：判式换代——单点不等式改双条件
|
||||
|
||||
**数学形态**（接替旧界形式条款3，落行动经济 F1 条款3 重立 + 战斗结算对照验收）：
|
||||
|
||||
```
|
||||
条件一（挖掘健康式，聚合）：
|
||||
0 ≤ (1−ρ̂)·E_dig(u) − ρ̂·V_mine(u) ≤ U_band 对全部参考板形 × u ∈ {1,2,3}
|
||||
（ρ̂ = 名义 ρ 与实测幸存雷率取包络；下限 0 = 盲挖不为负；上限 U_band = 防收益端通胀）
|
||||
条件二（旗溢价式，直击 L2）：
|
||||
E[标中兑付当量] ≥ (1+δ)·E_dig(u) δ = 旗溢价系数（provisional 0.25–0.5）
|
||||
```
|
||||
|
||||
条件二的实施形态二选一（P3 拍板）：**(a) 兑付溢价**——标中兑付按同型正向 ×(1+δ) 兑付（改战斗结算兑付公式，一处）；**(b) 专属池重摇**——标中兑付从加重的强化池重摇类型（改地图战斗资源摇号结构，打破同池 parity，W 可独立于 R 抬升，是唯一能让引理失效的结构改动）。
|
||||
|
||||
**对难度包络的冲击方向**：抬旗吸引力 → 早期标旗率↑ → AP 从挖掘转向插旗 → 清图进度变慢、轮数↑ → 敌方结算次数↑（**难度上行**）；同时完美排雷达成率↑ → 清图奖励第二份频度↑（**难度下行**）。两向对冲，净方向须 MC 判读；形态 (a) 实施最小、(b) 语义最正（溢价来自「巢穴被控制」的叙事位）。
|
||||
|
||||
**实施与复算**：文档修订批（行动经济 F1 / 战斗结算收益对照表与验收标准 / 难度曲线联动表 / registry clause3 重立条）+ 若取 (a) 一处兑付公式 + smoke 断言随批。复算 = §七锚全套。
|
||||
|
||||
**代价与风险**：δ 与 p_perfect 叠加会放大旗激励 → **标旗 rush 退化复发风险**（AP 压速批的根因正是首轮全标旗）——须与 ap_per_round 联动检算；形态 (b) 动摇「雷安同池」结构冻结项，走修订不走调参。
|
||||
|
||||
### 案乙：引入旗命中率系数 η
|
||||
|
||||
**数学形态**：把判式的玩家侧参数显式化为可测命中率 η = 标中旗数 ÷ 总插旗数（按策略画像实测），判式改为可验收的行为锚：
|
||||
|
||||
```
|
||||
锚一（正期望线）：η ≥ V_mine ÷ (E_dig + V_mine) 现行 u=1：η ≥ 2.46/3.90 = 0.63
|
||||
锚二（占优盲挖线）：η ≥ 1 − ρ̂ 名义 0.75 / 实测 0.87
|
||||
```
|
||||
|
||||
**对难度包络的冲击方向**：零直接冲击（不改任何表值）——它给后续调参提供**合法方向与预警线**：任何抬 ρ / 抬直伤雷的提案须先过「η 阈值会不会被推过画像实际命中率」的检算；反过来 η 实测值长期高于锚 = 风险端定价不足的实锤。
|
||||
|
||||
**实施与复算**：runsum 扩字段（flag_placed / flag_hit / flag_miss——结算流水 source_label 已有 flag_hit/flag_miss，聚合即可、零新随机）；MC 双画像各取 η 读数；判式锚值随 V/E 比值联动重算。
|
||||
|
||||
**代价与风险**：η 依赖策略画像定义（模拟档位重构先例——画像漂移则锚漂移）；普通档画像若不插旗（现行近似如此），η 读数无意义，锚退化为只对完美档成立——须与教学引导批的「教扫雷」口径对齐（只教扫雷已裁定，插旗教学面现状=零）。
|
||||
|
||||
### 案丙：当量锚改区间判读（比值带）
|
||||
|
||||
**数学形态**：把点值判式换成**带判读**，与 2026-10-03 四带验收（带 A–D）同族形态：
|
||||
|
||||
```
|
||||
主带：β(u) = V_mine(u) ÷ E_dig(u) ∈ [β_lo, β_hi]
|
||||
β_lo = 风险端定价下限（旗的避险价值为真）
|
||||
β_hi = 盲挖健康上限：β_hi < (1−ρ̂)÷ρ̂ （保证条件一 L4 恒成立）
|
||||
现行读数：β = 1.71 / 1.37 / 1.17（u=1/2/3）；名义 ρ 上限 3.0，实测 ρ 上限 6.7
|
||||
参考带端点（provisional 待拍）：[1.2, 2.5] —— 现行 u=1/2 落带内，u=3（1.17）微破下限
|
||||
响应曲线：β 对直伤雷行值/ρ 的边际 ≤15pp·S 形（接带 D 形状纪律）
|
||||
```
|
||||
|
||||
**对难度包络的冲击方向**：框架批零冲击（先立尺）；后续按带调参时，β 下限约束「不许再单向削雷罚」，β 上限约束「不许把盲挖打到负」——**把 d70f6c3 那类单点投值（×1.9）升级为带内判读**，投值前先看落带。
|
||||
|
||||
**实施与复算**：audit 工具（clear_dominance_audit.py）加 β 输出与带判定（工具自述「重跑批按当期 .tres 更新默认值即可，公式本体不动」）；registry 登记带端点；复算 = 静态全表 + 改表值提案逐个落带检算。
|
||||
|
||||
**代价与风险**：β 端点是新的用户拍板面（P4）；带不解决 L2 结构破线（旗边际与 β 无关）——**必须与案甲条件二配套**，单独立丙只是把「未闭合」量得更准。
|
||||
|
||||
### 案丁：风险端结构化（d70f6c3 点名的三结构，列后备）
|
||||
|
||||
1. **雷安异池（差异化）**：雷格负向从独立权重池摇定——打破引理前提，W 独立于 R，是 L2 的根治理形态（案甲形态 (b) 的完整版）；代价 = 摇号器第二池 + 「雷安同池」结构冻结项修订 + 全对账重跑。
|
||||
2. **累积惩罚**：第 N 颗起逐颗加价（如第 3 颗起直伤 ×2）——tail-risk 定价，专打盲挖流；**方向冲突登记**：普通档踩雷 ~2.5/战画像、普通 L2 通关率 7.9% 已越下带缺口加深，6/8/8 刚转正，再单向加难与「缺口四选一」待裁案（甲·维持）相抵——**须先裁缺口口径再谈此案**。
|
||||
3. **惩罚分布化**：直伤雷部分换掷点折扣型（把 8 flat 的一部分折成警觉类分布惩罚）——降低 tail、保期望，对 normal 档友好；代价 = 新负向行 + 对照表口径扩写。
|
||||
|
||||
---
|
||||
|
||||
### 案对比与推荐
|
||||
|
||||
| | 数学形态 | 触 L1 | 触 L2 | 触 L3/L4 | 表值改动 | 结构改动 |
|
||||
|---|---|---|---|---|---|---|
|
||||
| 甲 双条件 | 判式换代+旗溢价 δ | ✓（条件一替换界形式） | ✓（条件二） | ✓ | δ 兑付面（可选） | (a) 无 / (b) 池结构 |
|
||||
| 乙 η 系数 | 行为锚 | ✗ | 间接（读数） | ✗ | 无 | 无 |
|
||||
| 丙 比值带 | 带判读 | ✓（β_hi 蕴含 L4） | ✗ | ✓（β 双向） | 无 | 无 |
|
||||
| 丁 结构化 | 池/tail | ✗ | ✓（异池根治） | ✓ | 有 | 有 |
|
||||
|
||||
**推荐**：**甲+丙组合先行**（判式换代是文档修订非调参，丙给甲的条件一提供带形态；乙的 η 作为甲条件二的实测化读数随批落字段），丁挂后备待缺口口径拍板后再议。理由：L1/L2 是结构破线，只有甲的二条件对得上病灶；丙把数值层（L3/L4）的日常判读制度化，防止下一次单点投值再盲投。
|
||||
|
||||
---
|
||||
|
||||
## 六、③ 修订后进入「禁独立调参联动」清单的参数
|
||||
|
||||
既存网络维持（难度曲线与Boss.md 调参联动表 + 战斗结算调参表注：全部结算/曲线参数每次调参须重跑收益对照表与五契约对账）。修订**新增**联动行如下（按案标注生效条件）：
|
||||
|
||||
| 新增联动组 | 对方 | 生效条件 | 纪律 |
|
||||
|---|---|---|---|
|
||||
| 旗溢价系数 δ ↔ 完美乘数 p_perfect ↔ ap_per_round | 战斗结算、行动经济 | 案甲 | 旗激励三件套同窗检算（防标旗 rush 复发：δ 与 ×2 叠加通胀、AP 吞吐上限）——任一变动须重跑双画像标旗率读数 |
|
||||
| 标中强化池权重（若形态 b） ↔ 正向池权重（77 分母） ↔ 关级恒等式奖励占比 [15,40%] | 地图战斗资源、难度曲线 | 案甲(b) | 双池分布变动 = E_dig 与 W 同时漂移，须联合检算 + 恒等式占比复核 |
|
||||
| η 读数 ↔ 模拟画像定义 ↔ 可推理率 ι ↔ min_safe_count/生成尝试上限 | sim 档位、棋盘生成 | 案乙/甲读数面 | η 是画像条件量：画像重构即锚漂移，重锚随批；可推理率三元组既有联动扩一员 |
|
||||
| 比值带端点 β_lo/β_hi ↔ D_ref ↔ hero max_hp ↔ AC 折扣档（5pp 模型系数） | 战斗结算、难度曲线 | 案丙 | 带是 D_ref 的函数：换锚（D_ref/max_hp）须全带重推；AC 档值变更改 5pp 系数，同罪 |
|
||||
| 直伤雷三行（6/8/8） ↔ 正向同轴行（heal_minor/pierce_strike/magic_bolt） | 地图战斗资源 | 无条件（本报告已证同轴镜像比是 L3 破线根源） | **同轴镜像比入对账面**：负向/正向比超出注册区间（案丙带内推导）即越带；单边动负向三行（d70f6c3、数值修复批两先例）今后必须带正向镜像行联合检算 |
|
||||
| clear_blast 区间（24/40/32） ↔ p_perfect | 地图战斗资源、难度曲线 | 案甲（旗激励对账面扩容） | 完美排雷第二份的补贴基数进旗激励对账；单边动清图奖励 = 变相动旗 |
|
||||
|
||||
通用纪律不变式：以上任一参数修订 → 调参日志留联合检算记录 + 重跑五契约对账 + 带判读；越带回滚或登记，禁带病前进（既有四级回滚阶梯照用，判式换代属文档修订、不走该阶梯）。
|
||||
|
||||
---
|
||||
|
||||
## 七、④ 验收读数设计（改前改后锚）
|
||||
|
||||
**总原则（用户既定规）**：先推算后重跑——静态推演为第一读数，昂贵的 MC/verifier 只用于行为级验证与锚换代；冒烟一遍即权威（固定种子确定性复放）。
|
||||
|
||||
1. **改前静态锚（本报告 §四 即锚）**：E_dig(u)/V_mine(u)/β(u)/逐型净期望/双条件判值六张表（2026-10-04 值链快照）——落 registry（clause3 重立条附读数快照）或随批 qa 报告留档，作为修订批的「改前」基准。
|
||||
2. **工具锚（修订批 T0 义务）**：`tools/clear_dominance_audit.py` 常量刷新——67→**77** 池、SPARK 1 / HEAL 2 / BACKLASH **6** / SNARE **8** / RECOIL **8**、C_MIN/MAX→**24/40**（中点 32）、AP_R→**8**、OFF_GUARD→ac 轴 −1（0.2u 模型）、ambush 历史口径退役、V_mine 口径乙换现行字典、板形实测值随 board_stat_probe 复测——该工具是条款3/⑤ 的常设重跑入口，刷新后一次跑出改前全套判值（**先刷新工具，再谈任何表值提案**）。
|
||||
3. **MC 对拍锚**：改前 = 现行锚系（`runsum_m4iter12_t7off_n20_20261004` 现行对拍正主 + `runsum_numfix_final_n200_20261001`）；改后 = `runsum_<案名>_n<N>_<date>` 按现行命名换代；种子窗 76000 系、N≥200/策略（≥50 distinct seeds 铁规满足）；对拍字段 hero_dmg / mine_hits / 通关率。**判读注意**：纯判式/判读案（乙、丙）预期零行为位移——对拍逐位 PASS 本身就是验收判据；表值案（甲 a/b、丁）才预期位移。
|
||||
4. **行为读数新增（旗经济首次可测）**：runsum 扩字段 flag_placed / flag_hit / flag_miss / 标中兑付当量合计 / 标空惩罚当量合计——全部自结算流水 source_label（flag_hit / flag_miss / 标旗未中行）聚合，零新随机源；派生读数 η = flag_hit÷flag_placed 与标空率，按双画像分列。改前改后各测一轮，即为案乙双锚的实测基线。
|
||||
5. **verifier 双窗**：冒险条件通关率（na=150 / k=100 / hp_first 口径，与迭代 8 同参）改前改后各一窗；普通 L2 7.9% 缺口读数随窗复测——**与「缺口四选一」待裁案同窗呈报，不单独判读**。
|
||||
6. **人闸**：判式换代文本（行动经济 F1 条款3 / 战斗结算验收标准 / 难度曲线联动表三处）修订稿随批呈用户；表值类案的所有行值变动逐行呈报（含镜像行联动检算记录）；带端点/δ 值为拍板项不代拟终值。
|
||||
|
||||
---
|
||||
|
||||
## 八、拍板点汇总（全归用户）
|
||||
|
||||
| # | 拍板点 | 备选 |
|
||||
|---|---|---|
|
||||
| P1 | 案选型 | 甲+丙组合（推荐）/ 甲单行 / 乙丙轻量（零表值）/ 丁结构案 / 维持现状只刷新工具锚 |
|
||||
| P2 | 判式换代口径 | 任务书定义（旗-挖边际式）单立 / 三层口径并行立（条款2 锚+条款3 聚合+旗边际，本报告形态）/ 维持旧界形式不改 |
|
||||
| P3 | 若案甲：δ 值与形态 | 兑付溢价 ×1.25 / ×1.5；专属池重摇（b）；δ 域 [0.25, 0.5] provisional |
|
||||
| P4 | 若案丙：带端点 | [1.2, 2.5]（参考值，u=3 微破下限的现状即被点名）/ 其他端点；判读用名义 ρ 或实测包络 |
|
||||
| P5 | 复利系数是否立项量化 | 收益端复利维持定性（现状）/ 立项定义复利系数入对照表（前置：先有定义才能进带判读） |
|
||||
| P6 | 直伤雷 6/8/8 与普通 L2 缺口的处置序 | 先裁「缺口四选一」再议案丁 / 缺口与修订并行呈报（本报告按并行呈报） |
|
||||
| P7 | 口径修正登记 | d70f6c3 §二 池 76→77 混计、直伤 4/5/5→6/8/8 时效化两点，是否随批在 registry 留修正注记 |
|
||||
|
||||
## 附录 A：判值全表（复算用，名义 ρ=0.25）
|
||||
|
||||
```
|
||||
E_dig(1)=1.442 E_dig(2)=1.948 E_dig(3)=2.455 （当量/安全格）
|
||||
V_mine(1)=2.460 V_mine(2)=2.670 V_mine(3)=2.881 （当量/雷）
|
||||
β=V/E: 1.71 / 1.37 / 1.17 （u=1/2/3）
|
||||
盲挖净期望: +0.47 / +0.79 / +1.12 （名义 ρ）
|
||||
盲挖净期望(ρ̂=0.129): +0.94（u=1）；ρ̂=0.157（12×12）: +0.83（u=1）
|
||||
界形式缺口: 13.3×(u1) / 6.7×(u2) / 4.4×(u3)；实测 ρ̂ u1 = 5.9×
|
||||
逐型净期望: attack +1.25 / defense +0.10u / blast +0.70(u1) / heal 0 /
|
||||
weaken +1.70(u1) / pierce −1.25 / magic −0.50 / action +0.50 / gp +1.75
|
||||
旗-盲挖阈值: q > 1−ρ̂（0.75 名义 / 0.87 实测 10×10）
|
||||
旗-已知安全格边际: −(1−q)(E_dig+V_mine) ≤ 0（u1 满置信差值 = 进度+信息价值）
|
||||
η 正期望线: 0.63（u1）；η 占优线: 0.75 名义 / 0.87 实测
|
||||
单雷期望直伤: 1.97 HP（0.260×7.60）；d70f6c3 时 0.89 → ×2.2
|
||||
```
|
||||
|
||||
## 附录 B：主要事实源索引
|
||||
|
||||
- 判式原文（界形式）：git `7876642^` design/gdd/systems/排雷循环/行动经济.md（五条经济契约节）
|
||||
- 八型批改写条：design/gdd/systems/排雷循环/行动经济.md:130-134、136-146（推导节）
|
||||
- 全量复算 §二：git show d70f6c3（design/qa/m3-iter8-t7-mine-power-readings-2026-09-29.md §二）
|
||||
- 重立模型与 5pp/0.2 当量口径：design/qa/m3-iter5-lever-scan-2026-09-28.md §三②
|
||||
- 判式常设重跑入口：tools/clear_dominance_audit.py（E_dig / V_mine 甲乙双口径 / 板形双口径）
|
||||
- 池语义与 77 权重：game/core/reward_economy.gd（_rollable_rows）+ design/gdd/systems/战斗循环/地图战斗资源.md（雷安同池节、清图槽节）+ game/data/tables/reward.tres
|
||||
- 破线升格与对账义务：design/gdd/06-待办清单.md「挖掘风险不等式对账破线」条 + 难度曲线与Boss.md（调参联动表、P1 后置行）
|
||||
- 当量对照表正主：design/gdd/systems/战斗循环/战斗结算.md（收益对照表节）+ 增益状态.md（削弱行=当量锚容器侧落点节）
|
||||
- 现行带与验收形态：难度曲线与Boss.md「带换代（2026-10-03 四带甲案）」节
|
||||
Reference in new issue
Block a user