From e1beb2555a4647d1a44047c8f42d705db5de001d Mon Sep 17 00:00:00 2001 From: DKChan <524912269@qq.com> Date: Mon, 5 Oct 2026 08:36:27 +0800 Subject: [PATCH] =?UTF-8?q?=E5=88=9D=E5=A7=8B=E5=B1=95=E5=BC=80=E6=94=B6?= =?UTF-8?q?=E7=AA=84=E6=89=B9T5/T7/T8=EF=BC=88=E8=BF=AD=E4=BB=A314?= =?UTF-8?q?=E2=91=A0=EF=BC=89=EF=BC=9A=E6=94=B9=E5=90=8E=E7=BB=93=E6=9E=84?= =?UTF-8?q?=E8=AF=BB=E6=95=B0=EF=BC=88calibrate=20200=E6=9D=BF/=E8=A1=8C?= =?UTF-8?q?=EF=BC=9AR=E2=82=80=E5=9D=87=E5=80=BC39.7/37.9/42.8/46.6?= =?UTF-8?q?=E2=80=94=E2=80=9410=C3=9710=E6=94=B6=E7=AA=8442%=E8=87=AA68.6?= =?UTF-8?q?=E3=80=8112=C3=9712=E6=94=B6=E7=AA=8454%=E8=87=AA83.2=EF=BC=9B?= =?UTF-8?q?=E5=B0=BE=E9=83=A8=E8=A2=AB=E9=97=B8=E7=B2=BE=E7=A1=AE=E6=88=AA?= =?UTF-8?q?=E6=96=ADr0=5Fmax=3D=3Dcap=E5=85=A8=E8=A1=8C=EF=BC=9B=E9=9B=B7?= =?UTF-8?q?=E5=AF=86=E5=BA=A619.2-21.6%<25%=E7=9B=B8=E5=8F=98=E7=BA=BF?= =?UTF-8?q?=EF=BC=9B=E9=97=B8=E8=A7=A6=E5=8F=9122%/42%/42%/24%=E5=85=A80.5、预警 <0.3**），字段随 81000 重锚入库后补算终值。 diff --git a/design/gdd/systems/排雷循环/棋盘生成.md b/design/gdd/systems/排雷循环/棋盘生成.md index 3a46d988..f05e786d 100644 --- a/design/gdd/systems/排雷循环/棋盘生成.md +++ b/design/gdd/systems/排雷循环/棋盘生成.md @@ -95,10 +95,11 @@ | 反退化规则 | 内容 | |---|---| -| 先布后删 | 先把 N 颗雷在"全格 − 出生 3×3"上布完，再把开局免费展开域外扩一圈内的雷移除——只减不增、不重投、无迭代，必然终止且可复现；实际雷数与 N 的差额随指标观测 | +| 先布后删 | 先把 N 颗雷在"全格 − 出生 3×3"上布完，再把剃雷域内的雷移除——只减不增、不重投、无迭代，必然终止且可复现；实际雷数与 N 的差额随指标观测。**剃雷域已收窄（2026-10-05 初始展开收窄批）**：从「开局免费展开（flood）域∪外扩一圈」缩到「出生 3×3 ∪ 外扩 r 环」（切比雪夫距离 ≤1+r，r=shave_ring_radius 现行 1 → 5×5=25 格）——全域剃雷=开局免费展开巨大（10×10 板 R₀ 均值 68.6=板面 68.6%）的根因；收窄后开局免费展开=出生邻域剃雷诱发的自然连锁，均值降至板面约四成（10×10 实测 39.7） | | 出生区安全 | 出生 3×3 与开局免费展开域内恒无雷；变异不落两域由布置段顺序保障（非本管线义务） | | 开局白给板拒绝 | 开局免费展开域不得覆盖全部安全格——等于即退化板，尝试弃用重试；运行期另有同义兜底不变式，归[排雷玩法](排雷玩法.md) | | 清图可达性 | 每个安全格都必须能从出生区沿安全格八向连通走到；带孤岛安全格的板判非法，不进降级候选 | +| R₀≤cap 重掷闸（2026-10-05 初始展开收窄批） | 每次尝试出板后实测自然 R₀（开局免费展开格数），超过该行 r0_max_cap 即整板作废同流重试——合法性先于质量评分（同白给板先例）；全部尝试超阈 → 既有三分出口接受最不坏+非法产物标记诚实降级，玩家永不卡死；闸触发次数随指标集 r0_cap_rejected 观测（占比过高=剃雷半径与闸配比失衡信号） | 清图可达性与可推理率是两道独立的闸：合法性先查、质量分后算——一张"分高但通不了"的图没有意义。另一条推理前提也由本系统保证：数字恒真，每个非雷格的数字恒等于它的八邻雷数，整局推理都建立在这句话上。 @@ -210,6 +211,8 @@ | min_safe_count | int [1, 999] | 现行值见 board_gen.tres | 最小安全格数下限 | | max_gen_attempts | int [1, 32] | 域 [1, 32]，现行按行取值见 board_gen.tres | 生成-验证重试上限；受成本闸联合约束 | | board_type | String，词表 {dungeon, underdark, deep_underdark} | 现行值见 board_gen.tres（词表 v1.1，2026-09-20 第三关内容批增补） | 图类型标签（玩家侧「地图类型」）；域校验 = 词表成员检查 | +| shave_ring_radius | int [0, 2] | 现行 1（board_gen.tres 全行） | 先布后删剃雷半径：剃雷域=距出生中心切比雪夫距离 ≤1+r 的格（r=1 → 5×5=25 格；r=0 即只剃出生 3×3 本身=无环剃雷）。**2026-10-05 初始展开收窄批新参数**（调参项非结构冻结） | +| r0_max_cap | int [出生格数 9, 板格数一半]（护栏，违例加载期致命） | 现行按板形：10×10=45 / 12×12=43 / 13×13=51 / 14×14=59（board_gen.tres） | 自然 R₀（开局免费展开格数）上限闸=合法性门；超阈整板重掷、耗尽走三分出口。板面 30% 锚（30/43/51/59）经 S1 停机呈报用户裁上调：10×10→45（r=1 自然均值 39>30 结构性倒挂；其余行 30% 锚维持）。**2026-10-05 初始展开收窄批新参数** | 结构冻结（非调参项）：键结构与每关深度 0 锚行、四阶段顺序（变异布置段 2026-09-20 已移出管线）、solver_rules、可推理率的合法信息源枚举、及格线域下限 0.85、成本闸常数（结构护栏，登记于 registry board_gen_table 条目，调整走文档修订）、先布后删语义。 @@ -227,6 +230,8 @@ - 降级诚实：零合法板照常出图，必带非法产物标记与最高级告警；进程不死锁，玩家界面得到诚实告知。 - 加载期校验：布雷数下限、计数可行性、标签非空等违例组合加载期致命。 - 黄金图回归：手工核验小板集的可推理率输出与登记整数对逐位相等（整数对比对，禁浮点容差）；换生成参数（推理定义、信息源、定义版本号）必须重制向量并入版本库。 +- R₀≤cap 闸（2026-10-05 初始展开收窄批）：每张出图自然 R₀ ≤ 该行 r0_max_cap（合法板），或带非法产物标记（accept_worst 诚实降级）；闸触发次数入指标集 r0_cap_rejected。 +- 剃雷域参数化（同批）：剃雷域=出生中心切比雪夫 ≤1+shave_ring_radius 的方域，出图 ring_removed ≤ 域内候选雷格数 (3+2r)²−9；同种子布雷序列与收窄前逐位一致（零 RNG 消费变化）。 - 表实一致：配置表字段定义与 registry `board_gen_table` 条目一致。 ## 版本历史 @@ -237,3 +242,4 @@ | v0.2 | 2026-09-15 | 雾格残留清理：删除「待拍板」五项旧版失义条目（雾参数两字段与雾域跨字段校验、双判据与 inferability_core、雾相关生成约束、雾致清图预算增量两指标、黄金图向量的 core 整数对）；验收标准「表实一致」条去掉指向该节的清理登记。参数表、五阶段管线与三分支出图等现行规则不变 | | v0.3 | 2026-09-17 | 数值纪律收口批：正文与调参表 knob 现行值改指路存根（事实源 data/tables/*.tres 与 registry），3 处失同步修正（雷密度、可推理率及格线、生成尝试上限——文档面旧 provisional 值与 board_gen.tres 现值不一致，改指路）；成本闸 16384 改标注「结构护栏常数，登记于 registry board_gen_table 条目」，其余引用处指路；调参表「现行值」列整列指路化 | | v0.4 | 2026-09-20 | **第三关内容批（与切片代码 / registry / 03-内容规模 / 难度曲线与Boss / 地形变异 同批，参数行值零改动）**：图类型词表 v1.0 → v1.1，增补第三值 deep_underdark（灰矮人矿道方向）；正文词表句与调参表 board_type 行随批同步（L3 = deep_underdark）。[地图战斗资源](../战斗循环/地图战斗资源.md)的图类型差异化插槽句不随批动——clear_deep_underdark 启用仍为预留 | +| v0.5 | 2026-10-05 | **初始展开收窄批（迭代14①号卡 T7——甲乙混合，用户裁 D1-D5+S1 方案A）**：①反退化规则表「先布后删」行换代（剃雷域=出生 3×3∪外扩 r 环参数化，全域 flood 剃雷退役）+新增「R₀≤cap 重掷闸」行；②调参表 +2 行（shave_ring_radius [0,2] 现行 1 / r0_max_cap 护栏 [9,半板] 现行 45/43/51/59——10×10 经 S1 停机呈报用户裁上调 30→45）；③验收标准 +2 条（R₀≤cap 闸 / 剃雷域参数化+ring_removed 量级）；④改后结构读数入 registry initial_expansion_narrowing 条（R₀ 均值 39.7/37.9/42.8/46.6，收窄自 68.6/83.2；雷密度 19.2-21.6% <25% 相变线；inf 全行达标）；玩法侧零改动（排雷玩法「初始展开恰等」验收原样为真）；裸数字截断路否决退役（D3）不立文 | diff --git a/design/registry/entities.yaml b/design/registry/entities.yaml index 9be2a317..1d83ed9a 100644 --- a/design/registry/entities.yaml +++ b/design/registry/entities.yaml @@ -175,6 +175,7 @@ entities: mvp_reference_rows: L1·D0 与 L2·D0 两参考行——**全部 provisional，仅 schema 自洽性证明，曲线数值归 难度曲线与Boss 调参所有权**；参考行现行值不列于本 registry，读 data/tables/board_gen.tres（2026-09-18 指路化收口——原 d0.10/t0.95/att16、d0.12/t0.92/att16 读数随切片 SLICE-TUNED 改值作废）。**2026-09-20 第三关内容批**：L3 战斗/Boss 节点 (3, 0/1/4/5/6/7/8) 七行精确铺满——板面 13×13 / Boss 14×14（「Boss 板 = 本关最大板形」纪律）、min_safe_count 70/82（~0.42 格占比外推）、max_gen_attempts 32/32、board_type=deep_underdark；行值全 provisional 归 难度曲线与Boss minesweeper_dual_containment: 双包含回验登记 排雷玩法 GDD——① 排雷玩法 实际展开域 ⊆ 棋盘生成 排除域（既有）② 棋盘生成 求解器初始态 ⊆ 排雷玩法 实际初始展开域（F1 注记④度量保真对偶） golden_vectors: 推理器黄金图回归向量协议（五类手工核验小板，整数对比对禁浮点容差，逐格信息源推导记录入版本库；换 solver_rules/信息源/metric_version = GDD 修订 + 向量重制）——数据配置 R2 先例同源 + initial_expansion_narrowing: （2026-10-05 初始展开收窄批 T1-T3，迭代14①——D1-D5 已裁+S1 停机呈报用户裁方案A）两新参数：**shave_ring_radius**（int [0,2] knob 现行 1——剃雷域=距 spawn_center 切比雪夫距离 ≤1+r 的格，r=1→5×5=25 格；原「R₀ flood 域∪外扩 1 环」全域剃雷退役=开局开阔地巨大根因治理；零 RNG 消费变化，同种子布雷序列逐位一致）+ **r0_max_cap**（int 护栏 [出生格数 9, 板格数一半] 加载期致命；0=闸关 legacy 防御口径；现行按板形投值 **45**〔10×10〕/43〔12×12〕/51〔13×13〕/59〔14×14〕——板面 30% 锚**除 10×10 用户裁 S1 方案A 上调 30→45**：r=1 自然 R₀ 均值 39>30 锚结构性倒挂〔94% 尝试被拒、inf 0.976→0.719、常态 accept_worst 非法板〕，P1「上调若闸过频」预案字面执行；12×12/13×13 健康侧〔inf 达标、拒绝 42%<50% S1 线〕维持）。机制面：R₀≤cap 合法性闸（r0_cap_exceeded——合法性先于质量评分同 inv4 先例；超阈整板作废同流重试；耗尽走既有三分出口 accept_worst 诚实降级）+ metrics 增 r0_cap_rejected 尝试事实（占比=闸触发率读数）。改后结构读数（calibrate_boards 200 板/行，2026-10-05，种子 900000 系）：R₀ 均值 39.7/37.9/42.8/46.6（改前 68.6/83.2——10×10 收窄 42%、12×12 收窄 54%）、尾部被闸精确截断（r0_max==cap 全行）、实际雷密度 19.2-21.6%（<25% 相变线；改前 12.9/15.7% 上浮=知情登记，联动四带复算归 T6）、闸触发率 22%/42%/42%/24%（全 <50%）、inferability 0.939/0.881/0.929/0.921 全行 ≥0.88。T6 MC 四带复算读数批后置（跑批待用户批准，07 挂单）；**锚换代声明**：改前 R₀ 结构读数（68.6/83.2 等）与清图率历史锚只测不判 referenced_by: [排雷玩法, 战斗结算, 地图战斗资源, 难度曲线与Boss, 存档序列化] - name: minesweeper_event_surface