DKChan
9f21236f80
改动面 112 文件 572+/572-：game/tests/** 与 game/probe/** 共 106 件 545 行 `# oracle:`→`# 判据出处:`；tools/capability_audit.py 正则字面量换中文＋ORACLE_*→CRITERION_*／check_oracle_markers→check_criterion_markers／oracle_marked(flagged)→criterion_* 共 11 行；test-conventions.md:119 格式句＋:155 措辞；待办清单与需求卡片-QA覆盖余量收口批各 1 处字面量；coverage_enum.py:21 与 camp_scene_layout_test.gd:101 旁支措辞；ui_click_probe.gd 对拍局部变量 oracle→expected 7 处；auto_player.gd 三处 safe_set 真值措辞。不动：历史审计报告两份、test-oracle-anchor 分支名、git 史、生成日志；指针格式/扫描面/判红条件/验收义务全不变。 读数（区内实跑）：改前 capability_audit --strict「417 注记函数·红项 0」→改后「417 判据出处注记函数·红项 0」exit=0；新标记 545 行/106 文件，现行义务面 oracle 残留 0（在册沿革除外）；diff 自检 game/ 非注释新增行仅 6 行且全在 ui_click_probe.gd 的 expected 变量段；112 改动文件 CRLF=0；py_compile tools/capability_audit.py OK；--docs exit=0【验收通过】无新增红；--gates exit=0（静态扫描绿、闸壳 bash -n ×13 失败 0）。
60 lines
2.7 KiB
GDScript
60 lines
2.7 KiB
GDScript
# 致命类用例（独立进程，期望退出码 1）
|
||
# treasure_target_violation——真视窄域护栏（秘宝 GDD 结构冻结）：真视类行 target
|
||
# 越域至 board_wide 时，TreasureItemTable.validate 必须报 load_bearing 错、load_tables 整体拒绝。
|
||
# 注入主语 = sky_eye（真视行 reveal_tiles）；护栏本体 = mine_reveal/reveal_tiles 两 kind 同守 REVEAL_KINDS。
|
||
# 运行：godot --headless --path game --script res://tests/unit/data_config/treasure_target_violation_test.gd
|
||
# 退出码协议：1 = 校验正确拒绝（预期）；2 = 违规表被放行（回归信号）。
|
||
# 时序注：纯加载期校验——不触运行期 fatal 通道，断言 load_tables 返回 false + 诊断在案即 quit(1)。
|
||
extends SceneTree
|
||
|
||
const ConfigDBScript := preload("res://core/config_db.gd")
|
||
const Kit := preload("res://tests/unit/test_kit.gd") # T6 收口：BAD 表目录夹具共享（copy_tables）
|
||
|
||
const SRC_DIR := "res://data/tables"
|
||
const BAD_DIR := "user://treasure_fixture_target_violation"
|
||
|
||
|
||
func _inject_violation() -> bool:
|
||
# 判据出处: design/gdd/systems/表现与支撑/数据配置.md:199 校验类别全覆盖：违规夹具逐类注入（真视窄域夹具组）
|
||
var path := BAD_DIR + "/treasure_items.tres"
|
||
var f := FileAccess.open(path, FileAccess.READ)
|
||
if f == null:
|
||
return false
|
||
var s := f.get_as_text()
|
||
f.close()
|
||
# 直接改 target：天眼行是全表唯一的 reveal_tiles 真视行——把它的 area_3x3 改 board_wide
|
||
# （护栏扩面后真视类 kind 全守——越域行命中 REVEAL_KINDS 护栏）
|
||
var blocks := s.split("}, {")
|
||
var hit := false
|
||
for i in blocks.size():
|
||
if '"item_id": "sky_eye"' in blocks[i]:
|
||
blocks[i] = blocks[i].replace('"target": "area_3x3"', '"target": "board_wide"')
|
||
hit = true
|
||
s = "}, {".join(blocks)
|
||
var w := FileAccess.open(path, FileAccess.WRITE)
|
||
if w == null or not hit:
|
||
return false
|
||
w.store_string(s)
|
||
w.close()
|
||
return true
|
||
|
||
|
||
func _init() -> void:
|
||
# 判据出处: design/gdd/systems/表现与支撑/数据配置.md:200 致命真的会死：违规表被拒绝、进程非 0（违规拒绝组）
|
||
if not Kit.copy_tables(SRC_DIR, BAD_DIR) or not _inject_violation():
|
||
push_error("[treasure_target_violation_test] 夹具目录准备失败")
|
||
quit(2)
|
||
return
|
||
var db = ConfigDBScript.new()
|
||
var ok: bool = db.load_tables(BAD_DIR, false)
|
||
if ok:
|
||
push_error("[treasure_target_violation_test] 违规表被放行——真视窄域护栏失守（回归）")
|
||
quit(2)
|
||
return
|
||
if db.diagnostics_count("error") >= 1:
|
||
print("[treasure_target_violation_test] 护栏触发（load_bearing 诊断在案，加载被拒）")
|
||
quit(1)
|
||
return
|
||
push_error("[treasure_target_violation_test] 加载被拒但无 load_bearing 诊断——护栏通道静默化（回归）")
|
||
quit(2)
|