From 12428e56d78c835802eb199a8b9b22c42fbcc281 Mon Sep 17 00:00:00 2001 From: DKChan <524912269@qq.com> Date: Mon, 5 Oct 2026 06:51:17 +0800 Subject: [PATCH] =?UTF-8?q?=E5=88=A4=E5=BC=8F=E6=8D=A2=E4=BB=A3=E6=89=B9T5?= =?UTF-8?q?=E5=87=BA=E5=8F=A3=EF=BC=88=E8=BF=AD=E4=BB=A314=E2=91=A1?= =?UTF-8?q?=EF=BC=89=EF=BC=9A=E6=94=B9=E5=90=8E=E9=94=9A=E8=B7=91=EF=BC=88?= =?UTF-8?q?MC=20n400=E5=90=8C=E7=AA=97+verifier=E5=8F=8C=E7=AA=97=E9=87=8D?= =?UTF-8?q?=E8=B7=91exit0=E2=80=94=E2=80=94=E9=A6=96=E8=B7=91campaign?= =?UTF-8?q?=E6=AE=B5=E4=BA=92=E8=B8=A9=E9=9D=99=E9=BB=98=E6=AD=BB=E4=BA=A1?= =?UTF-8?q?=E5=9C=A8=E5=86=8C=EF=BC=89+=E5=88=A4=E8=AF=BB=E4=B8=89?= =?UTF-8?q?=E4=BB=B6=EF=BC=88=CE=B2=E5=B8=A6u=3D1/2=E5=B8=A6=E5=86=85u=3D3?= =?UTF-8?q?=E7=99=BB=E8=AE=B0=E6=80=81/=CE=B4=E6=95=8F=E6=84=9F=E5=BA=A6?= =?UTF-8?q?=E8=A1=8C=E4=B8=BA=E6=97=A0=E6=84=9F=E4=BF=9D=E7=95=99+?= =?UTF-8?q?=E7=99=BB=E8=AE=B0/=E6=9D=A1=E4=BB=B6=E4=BA=8C=E7=AD=89?= =?UTF-8?q?=E5=8F=B7=E5=8E=8B=E7=BA=BF=E8=BD=AC=E7=BB=BF=C2=B7=E6=95=B4?= =?UTF-8?q?=E6=95=B0=E9=87=8F=E7=BA=A7u=3D3=E5=BE=AE=E6=AC=A0-1.1%?= =?UTF-8?q?=E7=99=BB=E8=AE=B0=E9=9D=A2=EF=BC=89+audit=E6=9D=A1=E4=BB=B6?= =?UTF-8?q?=E4=BA=8C=E9=9D=A2=E6=9D=BF=E5=8D=87=E7=BA=A7=E6=9C=BA=E5=88=B6?= =?UTF-8?q?=E5=90=8C=E5=BC=8F=E5=AE=9E=E7=AE=97=EF=BC=88w=5Fflag=5Fhit?= =?UTF-8?q?=E5=9B=9B=E8=88=8D=E4=BA=94=E5=85=A5=E8=B7=9F=E9=9A=8FGDScript?= =?UTF-8?q?=EF=BC=89+=E5=87=BA=E5=8F=A3=E6=8A=A5=E5=91=8A=EF=BC=88provisio?= =?UTF-8?q?nal=E8=BF=BD=E8=AE=A4=E5=8D=958=E9=A1=B9=E5=90=ABdamage=5Fprobe?= =?UTF-8?q?=20A1=E6=94=B9=E5=89=8D=E6=97=A2=E6=9C=89=E7=BA=A2=E7=81=AF?= =?UTF-8?q?=E5=9C=A8=E5=86=8C=EF=BC=89+roadmap=E2=9C=85=E8=90=BD=E5=9C=B0?= =?UTF-8?q?=E6=A0=87=E6=B3=A8=EF=BC=9B=E9=94=9A=E6=8D=A2=E4=BB=A3=3Drunsum?= =?UTF-8?q?=5Fm4iter14mineq=5Fpost=5Fn200=5F20261005=E7=8E=B0=E8=A1=8C?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .../m4iter14-mineq-exit-report-2026-10-05.md | 77 +++++++++++++++++++ roadmap.md | 2 +- tools/clear_dominance_audit.py | 37 +++++++-- 3 files changed, 110 insertions(+), 6 deletions(-) create mode 100644 design/qa/m4iter14-mineq-exit-report-2026-10-05.md diff --git a/design/qa/m4iter14-mineq-exit-report-2026-10-05.md b/design/qa/m4iter14-mineq-exit-report-2026-10-05.md new file mode 100644 index 00000000..92706491 --- /dev/null +++ b/design/qa/m4iter14-mineq-exit-report-2026-10-05.md @@ -0,0 +1,77 @@ +# 出口报告：挖掘风险不等式判式换代批（迭代14②号卡） + +> 日期：2026-10-05 · worktree `g-plan2-m4iter14-mineq` / 分支 `m4iter14-mineq-20261005` +> 任务书：`.zcode/plans/mine-inequality-revision-miniloop-plan-2026-10-04.md`（T0-T5；本 prompt 即 U0 批准） +> 设计权威：`design/research/方案-挖掘风险不等式修订-2026-10-04.md` §九（裁决回填） +> 基线：master 912dcb2（冒烟 747/0）· 出口冒烟 **750/0**（+3 旗溢价断言） + +## 一、执行摘要（T0-T5 全落） + +| 卡 | 内容 | 终态 | +|---|---|---| +| T0 | audit 工具常量刷新（池67→77/直伤负向6-8-8/heal2/清图24-40/AP8/off_guard ac−1 0.2u模型/伏击口径甲退役/九型字典/β带+逐型输出） | ✓ 判值与方案报告 §四/附录A 逐位吻合（E_dig 1.442/1.948/2.455 · V_mine 2.460/2.670/2.881 · β 1.71/1.37/1.17）——改前静态锚 | +| T1 | runsum 五字段（flag_placed/flag_hit/flag_miss/flag_hit_gain/flag_miss_penalty） | ✓ 落码 `level_autoplay.gd`+`adventure_monte_carlo.gd`；接缝核证=step_row 行族可达（collect_rows 无关），聚合零新随机源。**行侧判据考证**：结算段对存续增益实例每轮复发行 effect 行且复用实例 source_class——标中事件行唯一判据=授予行专带 highlight="flag_hit"（实测 87 行==87 受理插旗 1:1 精确）；雷区图谱追加分grant 以 display_name 后缀补捕；满层拒收行不入 | +| T2 | 改前行为锚：MC N=200/策略（种子窗 76000-76399，与 iter8 同窗）+ verifier 双窗（na=150/k=100/hp_first，seed0=8000 缺省） | ✓ `sim-data/runsum_m4iter14mineq_pre_n200_20261005.jsonl` + `_raw_verifier_mineq_pre.txt`；η 基线首次到手 | +| T3 | 判式落文五面 | ✓ 行动经济 F1 条款3 重立 v0.8（三层口径：条款2 锚不动/条款3 聚合健康式只留下限 0〔U_band 删〕/旗边际引理+条件二旗溢价 δ=0.25 登记已知破·T4 闭合）+β 带 [1.2,2.5] 与 η 读数入文；战斗结算 v0.25（gp/ap 当量口径注记 A5/A6+验收条款3 对账条）；难度曲线与Boss v0.23（联动表+6 行、P1 改判读回执）；registry `clause3_inequality` 重立条（改前锚+P7 两点修正：d70f6c3 池 76→77 混计、直伤 4/5/5→6/8/8 时效化）；06 破线条正式收口；07⑫ 旗溢价目检项 | +| T4 | 标中兑付溢价机制 | ✓ settlement 新键 `flag_hit_premium=125`（percent 域 [100,999] 域校验；100=无溢价直通零扰动）+ 兑付公式一处（`_grant_routed` 只挂 flag_hit 正向：flat power 乘后入单据/治疗/排队；percent 幅度经 premium_pct 贯穿 `_apply_percent_row` 应用与呈现同乘 + 容器 `magnitude_override` 同快照）；标空/挖格/清图不乘；DamageController 零改、雷安同池冻结、直伤雷 6/8/8 与 p_perfect 不动；smoke 断言 +3 | +| T5 | 改后锚+判读+出口包 | ✓ 本报告；锚换代声明见 §五 | + +## 二、判读三件（T5 义务） + +**① β 带判读**：β = 1.71 / 1.37 / 1.17（u=1/2/3，名义 ρ）——u=1/2 带内、u=3 微破下限（登记态点名，2026-10-04 P4 裁不强制回滚）。值链零表值变动（溢价只挂兑付侧不入 E_dig/V_mine），改前改后同值。 + +**② δ 敏感度判读（判据 ≥5pp，grill Q4）**：**行为无感 → δ 保留 + 登记「行为无感」**。 + +| 指标 | normal（改前→改后） | perfect（改前→改后） | +|---|---|---| +| η=标中÷插旗 | 0.8360 → 0.8445（**+0.85pp**） | 0.9921 → 0.9784（**−1.36pp**） | +| 标空率 | 0.1194 → 0.1154（−0.40pp） | 0 → 0（恒 0） | +| 插旗/局 | 53.0 → 57.3 | 244.4 → 255.8 | +| 全通关 | 1/200 → 0/200（个位数噪声） | 119/200 → 152/200（+16.5%） | +| 承伤/局 | 14.5 → 16.2 | 87.5 → 86.6 | +| 踩雷/局 | 6.78 → 7.13 | **0 → 0（硬不变量 ✓）** | +| 标中兑付合计 | 29,805 → 39,649（≈×1.33=×1.25 兑付+旗数微增，机制在位证据） | 170,606 → 233,745（≈×1.37 同上） | + +η/标空率两位移均 <5pp → 判式诚实性不依赖行为弹性（Q4 裁），δ=1.25 provisional 维持。**只测不判随报面**：perfect 全通关 +16.5% / verifier perfect 冒险通关 65.3%→72.0%（增强向位移，与方案 §五 预测的「完美排雷达成率↑难度下行」腿同向）——四带判读归 M-4。 + +**③ 条件二转绿确认**： +- 判式口径（连续当量）：E[标中]=1.25·E_dig ≥ 1.25·E_dig 等号压线成立（严格大于须 δ>0.25，×1.5 档留后手——§九 数学注记兑现）。 +- **整数量级实现（audit 工具 `w_flag_hit` 按机制同式实算）**：W(1)=1.888 ≥ 1.802 ✓转绿 / W(2)=2.461 ≥ 2.435 ✓转绿 / **W(3)=3.034 < 3.068 微欠 −1.1%（登记面）**——成因=1 点量纲行（ac_up/action/spark）四舍五入取整地板 ×1.0 + u 缩放型在 u=3 占比上升。精化归调参批（后手=δ×1.5 档或取整规则进位）；不构成回滚理由（登记已知破的限期闭合在 u=1/2 已兑现，u=3 欠口 <β_hi 裕度）。 + +## 三、verifier 双窗对照（na=150/k=100/hp_first，只测不判） + +| 指标 | 改前 | 改后 | +|---|---|---| +| 冒险全通关 perfect | 98/150（65.3%） | 108/150（72.0%） | +| 冒险全通关 normal | 0/150 | 0/150 | +| 条件通关 L1 normal | 6.0%（9/150） | 16.7%（25/150） | +| 条件通关 L2 normal | 11.1%（1/9） | 4.0%（1/25）（小样本） | +| 条件通关 L1/L2/L3 perfect | 99.3% / 75.2% / 87.5% | 100.0% / 82.0% / 87.8% | +| 战役 perfect | 91/100 | 97/100 | +| 战役 normal | 0/100 | 0/100 | + +注：verifier 窗与 MC 窗异种子域（8000 缺省 unique），条件通关率口径与 MC 历史带不可直比；配对差值才是本批读数。改后窗首跑曾在 campaign 段 14/100 处静默死亡（并发跑批互踩——与当日冒烟两连中断同签名，机器空闲后全窗重跑 exit 0），首跑残档已被重跑覆盖。 + +## 四、provisional / 追认单（随批呈用户） + +| # | 项 | 状态 | +|---|---|---| +| 1 | δ=1.25（形态 a 兑付溢价，percent 域 flag_hit_premium=125） | provisional 归调参；×1.5 档留后手 | +| 2 | 取整规则=四舍五入（与伤害管线 round_direction=floor 分域） | registry clause3_inequality 已登记；**整数量级 u=3 条件二微欠 −1.1%** 连带登记 | +| 3 | 1 点量纲行整数粒度地板（ac_up/action 取整后 ×1.0 不变） | 登记面（07⑫ 目检注记同步） | +| 4 | δ 行为无感（η/标空率 <5pp） | 保留+登记（Q4 裁） | +| 5 | 条件一上限承载=β_hi 独家（U_band 删） | 已落文（grill Q3） | +| 6 | smoke max 路径存储种子 42→43 重采 | δ 换代战局位移（败于路径终点）；断言注释既定程序，临时重采脚本用后即删 | +| 7 | damage_probe A1 红灯 | **改前既有**（26374ac 复跑同败，非本批新增）——「fresh 池 Boss 21 拍攻击链」断言在现行 master 即红，归独立 mini-loop 处置（本批零新增登记） | +| 8 | 判式换代文本三处（行动经济 F1 条款3 / 战斗结算 验收标准 / 难度曲线与Boss 联动表） | 人闸=呈用户追认（07⑫ 结论回流面） | + +## 五、闸绿记录与锚换代 + +- 冒烟 **750/0**（747 基线 + 3 旗溢价断言）；run_all 15 套全 PASS；ui_input_probe 十六断言全绿；damage_probe 7 项 6 绿 1 既有红（§四.7）。 +- doc 三闸对基线零新增（gdd_lint 失败集与基线同；term 同集；link worktree +2 系 gitignored 路径环境性死链——`.zcode/plans`/`archive/` 在主区实文件在盘 0 死链）。 +- **锚换代声明**：对拍正主换代 → `sim-data/runsum_m4iter14mineq_post_n200_20261005.jsonl`（改后现行锚；改前锚 pre_n200 同窗留档）；旧结构读数（m4iter12_t7off_n20 正主等）只测不判。audit 工具=条款3 常设重跑入口（条件二面板已随批升级为机制同式实算）。 +- 07 新增人工项：⑫ 旗溢价兑付与标旗激励（实机目检约 5 分钟 + δ 行为读数判读回执）。 + +## 六、红线遵守声明 + +DamageController 零改动 ✓ · 雷安同池结构冻结不动 ✓ · mine_density 0.25 不动 ✓ · 直伤雷 6/8/8 不动 ✓ · p_perfect 不动 ✓ · 主区脏文件零接触 ✓ · 昂贵跑批=任务书 T2/T5 既定义务（静态推算先行为锚后跑批，MC 缓存层纪律：runsum 锚落 sim-data 留盘）。 diff --git a/roadmap.md b/roadmap.md index c73afc4f..4c6f4c7f 100644 --- a/roadmap.md +++ b/roadmap.md @@ -59,7 +59,7 @@ | 迭代 11+ | **✅ 三批已落籍（2026-10-03，台账 323-325）**：①魔法道具同调实施批 bc17b66（冒烟 645/0→671/0 基线演进）→ ②GP 商店房重构批 395b2ab（共享池账本+抽 3 买 1 全重抽+A=1.8/b=1.1 provisional+MC off 对拍逐位 PASS+on 新锚 N=60）→ ④视野迷雾实施批 e6260a5（菱形灯光区 R8+区外全黑+暗淡记忆态+探针 case⑮；纯呈现 MC 零跑）——各批合并后主区全量冒烟复跑全绿；**迭代 11 门=待出口人闸关闭（人闸材料包=design/qa/m4-iter11-exit-package-2026-10-03.md：三批检查单+追认清单 18 项+迷雾目检指引+读数报告）**。原登记：**2026-10-03 用户裁迭代 11 范围（三批，推荐序）**：①魔法道具同调实施批 → ②GP 商店房重构批 → ④视野迷雾实施批（各批独立出口闸；同调批先行——商店批共享池账本与通关率复测建在 aux 卡退役后的终局池上，读数只锚一次；迷雾批纯呈现不扰读数，序位可穿插）；**反制批移迭代 12**（前置=双层 BD 外部调研+仲裁后重新立项；2026-10-03 用户终裁=同调位反制道具层级错配失败设计废弃，「每变异≥1反制道具」契约作废——地形变异.md v0.6/魔法道具.md v0.8 同批落文（06 条目已收口移除））；**Beta 方向立项撤出本窗口**（待 Alpha 内容填充+试玩轮次后再议）；关卡内容扩展留讨论位（世界观设定待用户补正主——摩索不达城 repo 无载）。↓ 原登记：反制批 Alpha · **魔法道具同调实施批**（任务书 v1.1 全裁 P1-P8=`design/research/任务书-魔法道具同调实施批-2026-10-02.md`，2026-10-02 用户裁 P7 乙归本窗口，发令即开工——任务书含 T0-T10 可升 loop 计划书）· **GP 商店房重构批**（2026-10-02 用户裁三选一同构化：买一全重抽/重抽绑购买/价格=基价×b^(关序−1)×A^(进店已购次数)〔系数归 game-balancer 研究〕，取代 09-20 无刷新裁决——06「GP 商店房重构」条在册待立项）· 关卡内容扩展 · Beta 方向立项（原迭代 10+ 三主题顺延——迭代 10 位已由奖励结构重构批占用，2026-09-30 用户拍板 P-E；各批顺序按 Alpha 读数定；含营地 2D 画面议题——2026-09-29 裁缓至此再议） | M-3 出口闸（**已解**——2026-10-03 迭代 9 出口闸收官：M-3 关闭、Alpha 到手） | 立项时按「迭代粒度界定」拆任务卡 | | 迭代 12 | **双层 BD 实施批（反制批位移承接——变异应对局内化在本批落地）**：**2026-10-03 用户五裁全落**=R1 甲（树形态融合案：主干脊柱 row-gating+三脉+彩蛋 ≤3+A/B 集中同调脉）/R2 乙（**两层全入本迭代**：批次一 T0-T7=机制件基建+七流派全量铺〔R3 乙〕+地形转化件+商店保底+MC 锚；批次二 T8-T10=天赋树+存档 v4+营地 UI 重构；超软时间盒切 12/12b，切分点=批次一出口）/R3 乙（七流派批次一全量铺）/R4 甲（**信息型永不对冲**+复查闸=T10 呈报信息型真人读数仅呈报不提案；净化工兵仅限伤害型、清除工具件族不做、深挖钻头改非信息税设计）/R5 甲（喂雷流不做，06 留正式待办+kill-switch 判据）。未落地备选内容已自包含迁 06「双层 BD 延期与备选内容总登记」。设计事实源=`design/research/双层BD体系-整合定稿-2026-10-03.md`（双模型并行调研仲裁版），任务书=`design/research/任务书-双层BD实施批-2026-10-03.md`（已定稿）。**✅ 已全批落籍（2026-10-04，台账 328-333）**：TP0 令牌池先行（normal 重锚）→批次一 T0-T7（27 件七流派+MC 成型锚 L1 5%→75% 分岔+红线自检①过）→批次二 T8-T10（天赋树 33 节点+存档 v5+营地树 UI+A/B 面 0.0pp）一次合并 e780063；试玩反馈四连修复（钻头 AP 锁死/v2 收益重投/流派件呈现双界面/清图奖励 toast）至 c43276d；批末冒烟 718/0+run_all 15+探针绿+doc 三闸基线同款+熵增 PASS；**出口人闸待用户**（人工检查清单=台账 328-333+design/qa/m4iter12 两报告）；前置=迭代 11 三批出口+M-4 数值批令牌池落地+商店批共享池 | 迭代 11 出口 | T0-T10 两段式（任务书 §四） | | 迭代 13 | **工程债与测试基建批（含 D6 爆破工兵包实施）**：六条目=ui_click_probe 完整局适配（D1——分派链序修正+停点/锁期/重放三态断言）/探针只读出口（D2——六出口 26 直入清零）/ArmedTimer helper（D3——P4 乙三处计时收口缝零动）/main.gd 二期瘦身（D4——bonus_interact_controller+camp_shop_presenter 拆件 1370→1119，家族②契约3绑定面留置；~900±50 锚差=族级清单上限不自洽已归因）/aux 二期合并（T5 判不合收口）/杂项尾差四件（D5）/爆破工兵包中立移除雷格（D6——P1 甲邻接冻结/P2 甲退色降档，判定逻辑零改动，充能表驱动零新码）。**✅ 已落籍（2026-10-04，台账 342）**：worktree m4iter13-debt-20261004 八提交 cd7d3ea…2402877 合并 eff8cb8；闸=冒烟 718/0（断言数持平基线）+run_all 15+click 三种子绿+全探针绿+doc 三闸零新增+熵增 PASS+MC 零跑（静态零漂移证明）；合并后主区全量复跑同绿 | 迭代 12 出口 | T0-T9 ≈4.8-5.3d（知情超限单批，实际单会话） | -| 迭代 14 | **初始展开收窄批（2026-10-04 用户拍板甲乙混合立项）**：甲=先布后删剃雷域收窄至出生 3×3∪外扩 r 环（参数化半径，现值 r=1——开阔地均值从板面 66.5% 根因性降至约三成）+乙=生成重掷闸 R₀≤cap（合法性门序列、cap=板面 30% 锚〔10×10=30/12×12=43/13×13=51〕、重试耗尽走既有三分出口）；**玩法侧零改动路线**（排雷玩法「初始展开恰等」验收原样为真，minesweeper_rules.gd 零 diff）；裸数字截断路否决退役（可见 0 格+未开邻居=扫雷不可能态）。可行性报告=`design/research/研究-初始展开收窄可行性-2026-10-04.md`，任务书=`design/research/任务书-初始展开收窄批-2026-10-04.md`（T0-T8≈5.25d，读数批 T5-T6 可切独立后批；拍板点 P1-P3 全读数后置；停机点 S1 相变警戒/S2 带越界回调）。**②挖掘风险不等式判式换代批（2026-10-04 用户裁编入本迭代，作为迭代内需求）**：判式三层换代（条款2 标中旗锚/条款3 聚合健康式「(1−ρ̂)E_dig−ρ̂V_mine≥0」/旗边际引理+条件二旗溢价）+β 比值带判读 [1.2,2.5]（u=3 登记态）+标中兑付溢价 δ=1.25（形态 a 兑付公式一处·雷安同池冻结不动）+runsum 旗行为五字段+audit 工具常量刷新（池 77/直伤 6-8-8/AP 8）；裁决全落零新拍板点（方案报告=`design/research/方案-挖掘风险不等式修订-2026-10-04.md` §九），任务书=`.zcode/plans/mine-inequality-revision-miniloop-plan-2026-10-04.md`（T0-T5≈2.5d；条件二 T3 落文按登记已知破·T4 机制转绿；契约红线=DamageController 零改/直伤雷 6-8-8 与 p_perfect 不动——iter8 缺口四选一解绑独立在案；开工门=U0）。**③全局作用域变异首发批（2026-10-04 用户拍板立项——调研报告 P1-P8+盘问 Q1-Q4 全按推荐案落，批内序位待排）**：L2/L3 Boss 图恒定一型 scope=global 变异，首发型=**案A 资源面·微贫向偏斜**（正向格面池合计不变、进攻族 attack/blast/pierce/magic 权重上浮/生存族 heal/defense 明显下调、EV 微降 3-5% provisional、gp/action 白名单不动；v1.0「沃土+雷密对冲」形勘误作废——雷数为生成器事实、布置段不可加，改生成端=踩结构面否决理由）；**替换制**（Boss 图不再布 region 片——L2 完美 Boss 承伤 55.8% 已越带不叠加；迭代 12 四件地形应对件在 Boss 图失效=知情代价，registry/调参日志随批登记）；L1 Boss 免疫（带B [50,85] 教学保护）；三层预告（开战横幅+HUD 常驻角标+帮助手册行）；带A 判读后置 M-4（落地 off/on 对拍只测不判；off 基线=替换制后零变异 Boss 图，与现行带 region 片 Boss 图语义不同须注明）；偏运硬币合成序=图级先件级后（代拍随批锚登记）。调研报告（事实源，v1.1 裁决落盘）=`design/research/调研-全局作用域变异设计空间-2026-10-04.md`，任务书=`design/research/任务书-全局作用域变异首发批-2026-10-04.md`（T0-T8≈5.75d，读数批 T7 可切独立后批→主体≈5.25d；零新拍板点·provisional 追认单随批；停机点 S1 普通图逐位漂移/S2 读数越带只呈报/S3 互锁误伤；开工门=U0；**⑥A4 批开工门含本批出口——本批落地图级偏斜投影点为⑥合成链中段**〔2026-10-05 注：⑥已移出迭代 14 挂起，此依赖句冻结待其重启〕）。与①②互不撞（收窄=普通图初始展开轴/判式=不等式判读口径/全局变异=Boss 图资源面轴），出口读数各自分开归因。**✅ 实施批落地（2026-10-04，worktree m4iter14-gvar-20261004 台账 345）**：T1-T8 实施批全落（T7b MC 读数批按切分预案切独立后批，跑批待用户批准）——skewed_veins 贫矿脉行+互锁三条+effect_value [0,50]/门控第三维节点身份/替换制+兜底回落/装板序全局决议前置（数据依赖调和，出口报告在册）/资源面偏斜投影（整数最大余数守恒 77+合成序图级先件级后）/三层预告三层全接/七正主落文+06 收口；闸=冒烟 747/0（+29）+run_all 15+golden 普通图逐位 12/12 全等+六探针+三闸熵增终录见批报告 design/qa/m4iter14-gvar-exit-report-2026-10-04.md（Q3 四件应对件知情代价登记+静态推演+provisional 追认单+人闸目检清单）；**③出口成立——⑥A4 开工门解一半**（另半=②出口）；off/on 双档读数待 T7b（带 A 判读归 M-4 只测不判）。**④技能池执行批（2026-10-04 用户点名入列——调研+四裁+任务书全齐，06 Alpha 验证条目随之收口）**：文档五件（敌人系统.md 池构成表补 L2/L3 五敌种行/护甲列改读表口径/Boss 三代错峰句/意图呈现节补解锁弹出规格/版本 v0.13+EV 锚整数口径重登记+enemy.tres 批注消歧）+**新机制一件=Boss 半血解锁新独占伤害技**（三 Boss 血量 ≤50%〔用户口径定死〕解锁：酋长「震地怒击」类 ×2.5/CD4·卓尔遏毒类 ×2.0/CD3·石君王「岩崩」类 ×2.5/CD4——参考档即工作值，命名 T5 定稿、倍率冷却 provisional 归调参；enemy.tres 池条目扩 unlock_hp_pct 键〔int [1,99] 缺省无=无门槛〕；未解锁条目双面过滤不进摇号与保底集合；解锁出一次归因明细行「XX 解锁了 YY」）；首拍加权取消（杂鱼纹理注销——巨蜘蛛 52% 读数已被 Package B 抬血自愈、地精两行终裁不加工）；呈现=明细行+既有类型级预告+解锁时技能名一次性弹出（零动画资产、不改演出）；裁决 D1-D8 零待裁；任务书=`design/research/任务书-技能池执行批-2026-10-04.md`（T0-T7≈4.25d，切分预案在册）——开工=用户发令升计划书。**⑤魔法提灯 +2 效果接线（小卡）**：零调研直入——2026-09-30 拍板④已裁（灯甲视野外扩 +2 格、类型微光不随视野扩），迷雾批已留常量 LIGHT_RADIUS_LANTERN_BONUS，纯接线+断言估 0.5d 内。原候选卡注记终态（2026-10-04）：敌人系统内容批=已具化为④；教学引导定稿批=用户裁改排 Beta（06 教学节头注记在案），移出本迭代候选。**⑥冒险前资源配比预设批——已移出本迭代（2026-10-05 用户令挂起：暂不做；条目保留 06-待办清单「冒险前资源配比预设（构筑提案）」〔已裁待实施→挂起〕，八项裁决全数有效、任务书冻结保留=design/research/任务书-冒险前资源配比预设批-2026-10-04.md；重启须用户另行发令，届时开工门仍=②③号卡出口〔若②③已落籍 master 则自动解——合成序与包络数值锚依赖②判式换代与③变异投影，三者共用摇号投影点〕）**。 | 迭代 13 出口（**迭代 13 已落籍 2026-10-04 eff8cb8**，台账 342） | 初始展开批 T0-T8（可两段切分）+判式换代批 T0-T5≈2.5d（独立 worktree 合并）+全局变异首发批 T0-T8≈5.75d（读数批可切，独立 worktree 合并）+技能池执行批 T0-T7≈4.25d（独立 worktree 合并）+提灯接线小卡 0.5d（可并入任一批顺路）〔⑥配比预设批 A4 已移出本迭代挂起，2026-10-05 用户令〕 | +| 迭代 14 | **初始展开收窄批（2026-10-04 用户拍板甲乙混合立项）**：甲=先布后删剃雷域收窄至出生 3×3∪外扩 r 环（参数化半径，现值 r=1——开阔地均值从板面 66.5% 根因性降至约三成）+乙=生成重掷闸 R₀≤cap（合法性门序列、cap=板面 30% 锚〔10×10=30/12×12=43/13×13=51〕、重试耗尽走既有三分出口）；**玩法侧零改动路线**（排雷玩法「初始展开恰等」验收原样为真，minesweeper_rules.gd 零 diff）；裸数字截断路否决退役（可见 0 格+未开邻居=扫雷不可能态）。可行性报告=`design/research/研究-初始展开收窄可行性-2026-10-04.md`，任务书=`design/research/任务书-初始展开收窄批-2026-10-04.md`（T0-T8≈5.25d，读数批 T5-T6 可切独立后批；拍板点 P1-P3 全读数后置；停机点 S1 相变警戒/S2 带越界回调）。**②挖掘风险不等式判式换代批（2026-10-04 用户裁编入本迭代，作为迭代内需求）**：判式三层换代（条款2 标中旗锚/条款3 聚合健康式「(1−ρ̂)E_dig−ρ̂V_mine≥0」/旗边际引理+条件二旗溢价）+β 比值带判读 [1.2,2.5]（u=3 登记态）+标中兑付溢价 δ=1.25（形态 a 兑付公式一处·雷安同池冻结不动）+runsum 旗行为五字段+audit 工具常量刷新（池 77/直伤 6-8-8/AP 8）；裁决全落零新拍板点（方案报告=`design/research/方案-挖掘风险不等式修订-2026-10-04.md` §九），任务书=`.zcode/plans/mine-inequality-revision-miniloop-plan-2026-10-04.md`（T0-T5≈2.5d；条件二 T3 落文按登记已知破·T4 机制转绿；契约红线=DamageController 零改/直伤雷 6-8-8 与 p_perfect 不动——iter8 缺口四选一解绑独立在案；开工门=U0）。**✅ 实施批落地（2026-10-05，worktree m4iter14-mineq-20261005 台账 354）**：T0-T5 全落——audit 工具常量刷新（改前静态锚与方案报告 §四 逐位吻合）+runsum 五字段（行侧判据考证=授予行专带 highlight，87行==87插旗1:1）+F1 条款3 重立三层口径（v0.8）+战斗结算 v0.25+难度联动表+6 行+registry clause3_inequality 重立条（改前锚+P7 修正注记）+06 破线条收口+**T4 标中兑付溢价机制**（settlement.flag_hit_premium=125 provisional，grant 单点只挂 flag_hit 正向·percent 幅度贯穿应用与呈现，标空/挖格不乘，DamageController 零改/同池冻结）+smoke 750/0（+3 断言；max 路径种子 42→43 重采）；判读三件=β 带 u=1/2 带内 u=3 登记态/δ 敏感度行为无感（η 位移 <1.4pp<5pp，保留+登记）/条件二判式口径等号压线转绿（整数量级实现 u=1/2 绿·u=3 微欠 −1.1% 登记面）；改后锚换代 runsum_m4iter14mineq_post_n200_20261005（perfect 冒险通关 65.3%→72.0% 增强向位移，四带判读归 M-4）；出口报告=design/qa/m4iter14-mineq-exit-report-2026-10-05.md（provisional 追认单 8 项+07⑫ 人工项）；damage_probe A1 红灯=改前既有非本批新增（在册）。**③全局作用域变异首发批（2026-10-04 用户拍板立项——调研报告 P1-P8+盘问 Q1-Q4 全按推荐案落，批内序位待排）**：L2/L3 Boss 图恒定一型 scope=global 变异，首发型=**案A 资源面·微贫向偏斜**（正向格面池合计不变、进攻族 attack/blast/pierce/magic 权重上浮/生存族 heal/defense 明显下调、EV 微降 3-5% provisional、gp/action 白名单不动；v1.0「沃土+雷密对冲」形勘误作废——雷数为生成器事实、布置段不可加，改生成端=踩结构面否决理由）；**替换制**（Boss 图不再布 region 片——L2 完美 Boss 承伤 55.8% 已越带不叠加；迭代 12 四件地形应对件在 Boss 图失效=知情代价，registry/调参日志随批登记）；L1 Boss 免疫（带B [50,85] 教学保护）；三层预告（开战横幅+HUD 常驻角标+帮助手册行）；带A 判读后置 M-4（落地 off/on 对拍只测不判；off 基线=替换制后零变异 Boss 图，与现行带 region 片 Boss 图语义不同须注明）；偏运硬币合成序=图级先件级后（代拍随批锚登记）。调研报告（事实源，v1.1 裁决落盘）=`design/research/调研-全局作用域变异设计空间-2026-10-04.md`，任务书=`design/research/任务书-全局作用域变异首发批-2026-10-04.md`（T0-T8≈5.75d，读数批 T7 可切独立后批→主体≈5.25d；零新拍板点·provisional 追认单随批；停机点 S1 普通图逐位漂移/S2 读数越带只呈报/S3 互锁误伤；开工门=U0；**⑥A4 批开工门含本批出口——本批落地图级偏斜投影点为⑥合成链中段**〔2026-10-05 注：⑥已移出迭代 14 挂起，此依赖句冻结待其重启〕）。与①②互不撞（收窄=普通图初始展开轴/判式=不等式判读口径/全局变异=Boss 图资源面轴），出口读数各自分开归因。**✅ 实施批落地（2026-10-04，worktree m4iter14-gvar-20261004 台账 345）**：T1-T8 实施批全落（T7b MC 读数批按切分预案切独立后批，跑批待用户批准）——skewed_veins 贫矿脉行+互锁三条+effect_value [0,50]/门控第三维节点身份/替换制+兜底回落/装板序全局决议前置（数据依赖调和，出口报告在册）/资源面偏斜投影（整数最大余数守恒 77+合成序图级先件级后）/三层预告三层全接/七正主落文+06 收口；闸=冒烟 747/0（+29）+run_all 15+golden 普通图逐位 12/12 全等+六探针+三闸熵增终录见批报告 design/qa/m4iter14-gvar-exit-report-2026-10-04.md（Q3 四件应对件知情代价登记+静态推演+provisional 追认单+人闸目检清单）；**③出口成立——⑥A4 开工门解一半**（另半=②出口）；off/on 双档读数待 T7b（带 A 判读归 M-4 只测不判）。**④技能池执行批（2026-10-04 用户点名入列——调研+四裁+任务书全齐，06 Alpha 验证条目随之收口）**：文档五件（敌人系统.md 池构成表补 L2/L3 五敌种行/护甲列改读表口径/Boss 三代错峰句/意图呈现节补解锁弹出规格/版本 v0.13+EV 锚整数口径重登记+enemy.tres 批注消歧）+**新机制一件=Boss 半血解锁新独占伤害技**（三 Boss 血量 ≤50%〔用户口径定死〕解锁：酋长「震地怒击」类 ×2.5/CD4·卓尔遏毒类 ×2.0/CD3·石君王「岩崩」类 ×2.5/CD4——参考档即工作值，命名 T5 定稿、倍率冷却 provisional 归调参；enemy.tres 池条目扩 unlock_hp_pct 键〔int [1,99] 缺省无=无门槛〕；未解锁条目双面过滤不进摇号与保底集合；解锁出一次归因明细行「XX 解锁了 YY」）；首拍加权取消（杂鱼纹理注销——巨蜘蛛 52% 读数已被 Package B 抬血自愈、地精两行终裁不加工）；呈现=明细行+既有类型级预告+解锁时技能名一次性弹出（零动画资产、不改演出）；裁决 D1-D8 零待裁；任务书=`design/research/任务书-技能池执行批-2026-10-04.md`（T0-T7≈4.25d，切分预案在册）——开工=用户发令升计划书。**⑤魔法提灯 +2 效果接线（小卡）**：零调研直入——2026-09-30 拍板④已裁（灯甲视野外扩 +2 格、类型微光不随视野扩），迷雾批已留常量 LIGHT_RADIUS_LANTERN_BONUS，纯接线+断言估 0.5d 内。原候选卡注记终态（2026-10-04）：敌人系统内容批=已具化为④；教学引导定稿批=用户裁改排 Beta（06 教学节头注记在案），移出本迭代候选。**⑥冒险前资源配比预设批——已移出本迭代（2026-10-05 用户令挂起：暂不做；条目保留 06-待办清单「冒险前资源配比预设（构筑提案）」〔已裁待实施→挂起〕，八项裁决全数有效、任务书冻结保留=design/research/任务书-冒险前资源配比预设批-2026-10-04.md；重启须用户另行发令，届时开工门仍=②③号卡出口〔若②③已落籍 master 则自动解——合成序与包络数值锚依赖②判式换代与③变异投影，三者共用摇号投影点〕）**。 | 迭代 13 出口（**迭代 13 已落籍 2026-10-04 eff8cb8**，台账 342） | 初始展开批 T0-T8（可两段切分）+判式换代批 T0-T5≈2.5d（独立 worktree 合并）+全局变异首发批 T0-T8≈5.75d（读数批可切，独立 worktree 合并）+技能池执行批 T0-T7≈4.25d（独立 worktree 合并）+提灯接线小卡 0.5d（可并入任一批顺路）〔⑥配比预设批 A4 已移出本迭代挂起，2026-10-05 用户令〕 | ## 执行纪律（2026-09-27 用户立规） diff --git a/tools/clear_dominance_audit.py b/tools/clear_dominance_audit.py index f0a55ceb..f74a5a75 100644 --- a/tools/clear_dominance_audit.py +++ b/tools/clear_dominance_audit.py @@ -140,6 +140,31 @@ def v_mine(u: float, d_ref: float) -> float: + ap_drain + gp_lose) / total +def w_flag_hit(u: float, d_ref: float, prem_pct: int = 125) -> float: + """标中旗兑付聚合当量 W(u)——整数量级实现口径（与机制同式：各型四舍五入取整后折算）。 + + 迭代14② T4 起为条件二常设判读式：条件二 = W(u) ≥ (1+δ)·E_dig(u)。 + 取整跟随机制（GDScript round=半分远离零），非 Python banker's rounding。 + 1 点量纲行（ac_up/action/spark）取整地板=×1.0——u=3 聚合微欠的成因（登记面）。 + """ + w = POOL_WEIGHTS + total = sum(w.values()) + + def sc(x: float) -> int: + return int(math.floor(x * prem_pct / 100.0 + 0.5)) + + attack = w["attack"] * sc(ATTACK_UP_PCT) / 100 * d_ref + ac_up = w["defense"] * sc(AC_UP_POINT) * 0.05 * d_ref * u + spark = w["blast"] * (sc(SPARK_AOE) * u) + heal = w["heal"] * sc(HEAL_MINOR) + weaken = w["weaken"] * sc(WEAKEN_PCT) / 100 * d_ref * u + pierce = w["pierce"] * max(1, sc(PIERCE_STRIKE) + ARMOR_EFFECT["pierce"]["light"]) + magic = w["magic"] * max(1, sc(MAGIC_BOLT) + ARMOR_EFFECT["magic"]["light"]) + action = w["action"] * sc(AP_UP) + gp = w["gp"] * sc(GP_COIN) + return (attack + ac_up + spark + heal + weaken + pierce + magic + action + gp) / total + + def per_type_table(u: float, d_ref: float) -> list: """逐型 P_t/N_t 明细（当量），供条件净期望计算。返回 [(型, P_t, N_t)]。""" return [ @@ -204,8 +229,8 @@ def main() -> None: print() print("### 条款3 判式换代面板（β 比值带 + 条件一聚合健康式 + 条件二旗溢价）") print(f"β 带 = [{BETA_LO:g}, {BETA_HI:g}]（2026-10-04 用户裁 P4） 兑付溢价 ×(1+δ) = ×{1 + args.delta:g}（形态 a）") - print("| u | E_dig | V_mine | β=V/E | 带判定 | 条件一 盲挖净期望(名义ρ) | 条件一 盲挖净期望(实测ρ̂) | 条件二(改前同池) |") - print("|---|---|---|---|---|---|---|---|") + print("| u | E_dig | V_mine | β=V/E | 带判定 | 条件一 盲挖净期望(名义ρ) | 条件一 盲挖净期望(实测ρ̂) | 条件二 W(u) | 条件二 阈值(1+δ)E_dig | 条件二判定 |") + print("|---|---|---|---|---|---|---|---|---|---|") for u in (1, 2, 3): ed = e_dig(u, args.d_ref) vm = v_mine(u, args.d_ref) @@ -214,10 +239,12 @@ def main() -> None: "✗破下限(登记态)" if beta < BETA_LO else "✗破上限") blind_nom = (1 - args.rho_nominal) * ed - args.rho_nominal * vm blind_meas = (1 - args.rho_measured) * ed - args.rho_measured * vm - # 条件二改前：雷安同池 ⇒ 标中兑付 ≡ E_dig（同型同字典），判式 E[标中] ≥ (1+δ)·E_dig 恒假 - cond2 = "✗已知破（登记态，T4 机制转绿）" + # 条件二（T4 起机制在位）：W=整数量级标中兑付聚合（取整跟随机制），阈值 =(1+δ)·E_dig + wfh = w_flag_hit(u, args.d_ref, int(round((1 + args.delta) * 100))) + thresh = (1 + args.delta) * ed + cond2 = "✓转绿" if wfh >= thresh else "✗微欠(整数量级取整地板，登记面)" print(f"| {u} | {ed:.3f} | {vm:.3f} | {beta:.2f} | {verdict} | " - f"{blind_nom:+.2f} | {blind_meas:+.2f} | {cond2} |") + f"{blind_nom:+.2f} | {blind_meas:+.2f} | {wfh:.3f} | {thresh:.3f} | {cond2} |") print() print("### 逐型条件净期望 (1−ρ)P_t − ρN_t（当量/格，u=1，名义 ρ 与实测 ρ̂ 双列）") print("| 型 | P_t | N_t | 净期望(名义ρ) | 净期望(实测ρ̂) | 判(名义) |")