feat(tools): 清图支配性对账重跑批(台账 86,用户指令提前执行 06 待办对账义务,只读对账零数值改动)——新增 tools/clear_dominance_audit.py(挖掘风险不等式判式全参数 CLI 可配=调参批常设重跑入口;E_dig 七型 67 权重池重推、V_mine 双口径)+smoke/board_stat_probe.gd 板形探针(200 样本/行实测幸存雷 10×10≈12.9/12×12≈22.4)+design/research/audit-clear-dominance-2026-09-19.md 对账报告(主结论:非完美态 18 语境全负、完美态唯一翻正 L1 前段实测板形 +8.3、保守地板缺口收窄 L1≈24/L2≈45 当量,裁决②「非支配设计态」维持建议呈报)。analyze_playtest.py 增弃图刷新率/轮出口分布读数+--policy 过滤(刷新经济性监控分析侧缺口闭合)。registry clause5_dominance 增 rerun_2026_09_19 回执+rerun_obligation 挂两工具入口(entities.yaml 仅暂存本批 hunk 提交——同文件「插旗不可逆实装批」在飞 hunks 未碰,归属会话自行收口);难度曲线与Boss 正文对账句改写+P1 行回执指针。06 条目删除 hunk 已随台账 85 提交捎带。

This commit is contained in:
DKChan committed 2026-09-19 16:29:28 +08:00
1 parent 8057956d28
commit 2ca3e20d73
7 files changed
+486 -7

No files matched your search

@@ -0,0 +1,57 @@
# VERTICAL SLICE - NOT FOR PRODUCTION
# Date: 2026-09-19
# 棋盘板形统计探针(清图支配性对账重跑批取数工具——判式"实测板形"口径的数据源):
# 对 board_gen.tres 每行 (L, D) 生成 N 张板,统计幸存雷数 |M| 与安全格数 |S|
# 的均值 / 最小 / 最大("先布后删"后的落地值——名义值 density×(W×H−9) 不含删除段)。
# 只读诊断,零游戏代码改动;装载面与 level_monte_carlo 同源(config_db.load_tables)。
# 运行:Godot_console.exe --headless --path . --script res://smoke/board_stat_probe.gd -- [N] [seed0]
extends SceneTree
func _initialize() -> void:
var args := OS.get_cmdline_user_args()
var n := 200
if args.size() >= 1 and args[0].is_valid_int():
n = maxi(10, int(args[0]))
var seed0 := 9000
if args.size() >= 2 and args[1].is_valid_int():
seed0 = int(args[1])
var db = load("res://core/config_db.gd").new()
if not db.load_tables("res://data/tables", false):
print("表加载失败")
quit(1)
return
var gen = load("res://core/board_generator.gd").new()
print("=== 板形统计:N=%d/行 · 种子基 %d ===" % [n, seed0])
print("%-4s %-4s %-8s %-8s %-10s %-10s %-10s %-10s %-10s %-10s" % ["L", "D", "宽x高", "类型", "|M|均", "|M|min", "|M|max", "|S|均", "雷密度实测", "达标率"])
for row in db.board_gen.rows:
var L: int = int(row.get("level_index", 0))
var D: int = int(row.get("node_depth", -1))
var w: int = int(row.get("board_width", 0))
var h: int = int(row.get("board_height", 0))
var btype := String(row.get("board_type", ""))
var mine_counts: Array = []
var accepts := 0
for i in range(n):
var rng = load("res://core/rng_service.gd").new()
rng.set_master_seed(seed0 + L * 1000 + D * 100 + i)
var stream: RandomNumberGenerator = rng.open_stream("board_gen")
var board = gen.generate(L, D, stream, db)
if board == null:
continue
mine_counts.append(board.mines.size())
if not board.illegal_product:
accepts += 1
if mine_counts.is_empty():
print("%-4d %-4d 生成全败" % [L, D])
continue
mine_counts.sort()
var total := 0
for m in mine_counts:
total += int(m)
var mean_m := float(total) / float(mine_counts.size())
var mean_s := float(w * h) - mean_m
print("%-4d %-4d %-8s %-8s %-10.2f %-10d %-10d %-10.2f %-10.4f %-10.3f" % [
L, D, "%dx%d" % [w, h], btype, mean_m, int(mine_counts[0]), int(mine_counts[mine_counts.size() - 1]),
mean_s, mean_m / float(w * h), float(accepts) / float(mine_counts.size())])
quit(0)
@@ -0,0 +1 @@
uid://b4bmmnuwpld77