38032c72b4
driver: runTapTargets 加 safeOnly(规避/推理族只点 safe===true、确定性避负到 win;安全放置族缺省关、零回归)。题面: saolei.json targets 加 safe x-ray 观测位(勿渲染)+ safeOnly + 断言 result==win。重生成 saolei: flash 一次过九门(revealed 0→71 / all_cleared / win-latch),自产 safe 正确→坐实缺口在题面非模型。回归 tictactoe(X)/invaders(win)全绿。沉淀 L1brief §九 + game-e2e/cheap-model skill 二分法。零碰 L0(boot-game-host/契约/门面)。 Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
717 lines
16 KiB
JSON
717 lines
16 KiB
JSON
{
|
||
"game_id": "saolei",
|
||
"model": "deepseek-v4-flash",
|
||
"pass": true,
|
||
"retries": 0,
|
||
"attempts": [
|
||
{
|
||
"attempt": 0,
|
||
"stage": "play",
|
||
"errors": [],
|
||
"usage": {
|
||
"prompt_tokens": 4151,
|
||
"completion_tokens": 6290,
|
||
"total_tokens": 10441,
|
||
"wall_s": 60.445,
|
||
"id": "1231b7e4-8c42-4c18-aebf-818d9139f204",
|
||
"finish_reason": "stop"
|
||
},
|
||
"play_pass": true,
|
||
"verdict_guards": {
|
||
"A_boot": true,
|
||
"C_frame": true,
|
||
"I_control": true,
|
||
"D_render": true,
|
||
"E_live": true,
|
||
"B_uncaught": true,
|
||
"F_wiring": true,
|
||
"G_input": true,
|
||
"H_progress": true
|
||
}
|
||
}
|
||
],
|
||
"factory_path": "game-runtime/games/_wg1-gen/saolei/generated-factory.js",
|
||
"bundle_path": "game-runtime/games/_wg1-gen/saolei/bundle.iife.js",
|
||
"verdict": {
|
||
"gameId": "saolei",
|
||
"url": "http://localhost:4320/games/_wg1-gen/saolei/index.html",
|
||
"ts": null,
|
||
"guards": {
|
||
"A_boot": {
|
||
"pass": true
|
||
},
|
||
"C_frame": {
|
||
"pass": true,
|
||
"f0": 48,
|
||
"f1": 78,
|
||
"delta": 30
|
||
},
|
||
"I_control": {
|
||
"pass": true,
|
||
"skipped": "未声明 controlCheck（向后兼容）"
|
||
},
|
||
"D_render": {
|
||
"pass": true,
|
||
"bright": 532087,
|
||
"maxCh": 255
|
||
},
|
||
"E_live": {
|
||
"pass": true,
|
||
"distinctStates": 25,
|
||
"samples": 25
|
||
},
|
||
"B_uncaught": {
|
||
"pass": true,
|
||
"uncaught": []
|
||
},
|
||
"F_wiring": {
|
||
"pass": true,
|
||
"callCount": 143,
|
||
"sample": [
|
||
"particles.spawnEmitter",
|
||
"audio.synth.synthSfx",
|
||
"particles.spawnEmitter",
|
||
"audio.synth.synthSfx",
|
||
"particles.spawnEmitter",
|
||
"audio.synth.synthSfx",
|
||
"particles.spawnEmitter",
|
||
"audio.synth.synthSfx",
|
||
"particles.spawnEmitter",
|
||
"audio.synth.synthSfx",
|
||
"particles.spawnEmitter",
|
||
"audio.synth.synthSfx"
|
||
],
|
||
"expected": [
|
||
"particles.",
|
||
"audio.synth"
|
||
]
|
||
},
|
||
"G_input": {
|
||
"pass": true,
|
||
"inputHash": "0b264993",
|
||
"controlHash": "a1c5b37e",
|
||
"atFrame": 705,
|
||
"ctrlFrame": 710
|
||
},
|
||
"H_progress": {
|
||
"pass": true,
|
||
"checks": [
|
||
{
|
||
"path": "result",
|
||
"op": "==",
|
||
"before": null,
|
||
"after": "win",
|
||
"value": "win",
|
||
"pass": true,
|
||
"why": "safeOnly driver 确定性只揭非雷格→揭尽所有安全格触发 win；result==win 证洪水填充/邻数揭示/胜负判定核心循环真跑（而非盲踩雷 lose 的空壳证据）"
|
||
}
|
||
],
|
||
"latch": {
|
||
"pass": true,
|
||
"dwelledMs": 600,
|
||
"after": "gameover",
|
||
"reason": ""
|
||
},
|
||
"state0": {
|
||
"phase": "playing",
|
||
"result": null,
|
||
"score": 0,
|
||
"remaining": 71,
|
||
"progress": 0,
|
||
"gameoverReason": "",
|
||
"revealed": 0,
|
||
"minesTotal": 10,
|
||
"targets": [
|
||
{
|
||
"x": 35,
|
||
"y": 100,
|
||
"idx": 0,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 75,
|
||
"y": 100,
|
||
"idx": 1,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 115,
|
||
"y": 100,
|
||
"idx": 2,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 155,
|
||
"y": 100,
|
||
"idx": 3,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 195,
|
||
"y": 100,
|
||
"idx": 4,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 235,
|
||
"y": 100,
|
||
"idx": 5,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 275,
|
||
"y": 100,
|
||
"idx": 6,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 315,
|
||
"y": 100,
|
||
"idx": 7,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 355,
|
||
"y": 100,
|
||
"idx": 8,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 35,
|
||
"y": 140,
|
||
"idx": 9,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 75,
|
||
"y": 140,
|
||
"idx": 10,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 115,
|
||
"y": 140,
|
||
"idx": 11,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 155,
|
||
"y": 140,
|
||
"idx": 12,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 195,
|
||
"y": 140,
|
||
"idx": 13,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 235,
|
||
"y": 140,
|
||
"idx": 14,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 275,
|
||
"y": 140,
|
||
"idx": 15,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 315,
|
||
"y": 140,
|
||
"idx": 16,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 355,
|
||
"y": 140,
|
||
"idx": 17,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 35,
|
||
"y": 180,
|
||
"idx": 18,
|
||
"occupied": false,
|
||
"safe": false
|
||
},
|
||
{
|
||
"x": 75,
|
||
"y": 180,
|
||
"idx": 19,
|
||
"occupied": false,
|
||
"safe": false
|
||
},
|
||
{
|
||
"x": 115,
|
||
"y": 180,
|
||
"idx": 20,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 155,
|
||
"y": 180,
|
||
"idx": 21,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 195,
|
||
"y": 180,
|
||
"idx": 22,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 235,
|
||
"y": 180,
|
||
"idx": 23,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 275,
|
||
"y": 180,
|
||
"idx": 24,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 315,
|
||
"y": 180,
|
||
"idx": 25,
|
||
"occupied": false,
|
||
"safe": false
|
||
},
|
||
{
|
||
"x": 355,
|
||
"y": 180,
|
||
"idx": 26,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 35,
|
||
"y": 220,
|
||
"idx": 27,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 75,
|
||
"y": 220,
|
||
"idx": 28,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 115,
|
||
"y": 220,
|
||
"idx": 29,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 155,
|
||
"y": 220,
|
||
"idx": 30,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 195,
|
||
"y": 220,
|
||
"idx": 31,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 235,
|
||
"y": 220,
|
||
"idx": 32,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 275,
|
||
"y": 220,
|
||
"idx": 33,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 315,
|
||
"y": 220,
|
||
"idx": 34,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 355,
|
||
"y": 220,
|
||
"idx": 35,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 35,
|
||
"y": 260,
|
||
"idx": 36,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 75,
|
||
"y": 260,
|
||
"idx": 37,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 115,
|
||
"y": 260,
|
||
"idx": 38,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 155,
|
||
"y": 260,
|
||
"idx": 39,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 195,
|
||
"y": 260,
|
||
"idx": 40,
|
||
"occupied": false,
|
||
"safe": false
|
||
},
|
||
{
|
||
"x": 235,
|
||
"y": 260,
|
||
"idx": 41,
|
||
"occupied": false,
|
||
"safe": false
|
||
},
|
||
{
|
||
"x": 275,
|
||
"y": 260,
|
||
"idx": 42,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 315,
|
||
"y": 260,
|
||
"idx": 43,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 355,
|
||
"y": 260,
|
||
"idx": 44,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 35,
|
||
"y": 300,
|
||
"idx": 45,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 75,
|
||
"y": 300,
|
||
"idx": 46,
|
||
"occupied": false,
|
||
"safe": false
|
||
},
|
||
{
|
||
"x": 115,
|
||
"y": 300,
|
||
"idx": 47,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 155,
|
||
"y": 300,
|
||
"idx": 48,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 195,
|
||
"y": 300,
|
||
"idx": 49,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 235,
|
||
"y": 300,
|
||
"idx": 50,
|
||
"occupied": false,
|
||
"safe": false
|
||
},
|
||
{
|
||
"x": 275,
|
||
"y": 300,
|
||
"idx": 51,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 315,
|
||
"y": 300,
|
||
"idx": 52,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 355,
|
||
"y": 300,
|
||
"idx": 53,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 35,
|
||
"y": 340,
|
||
"idx": 54,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 75,
|
||
"y": 340,
|
||
"idx": 55,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 115,
|
||
"y": 340,
|
||
"idx": 56,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 155,
|
||
"y": 340,
|
||
"idx": 57,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 195,
|
||
"y": 340,
|
||
"idx": 58,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 235,
|
||
"y": 340,
|
||
"idx": 59,
|
||
"occupied": false,
|
||
"safe": false
|
||
},
|
||
{
|
||
"x": 275,
|
||
"y": 340,
|
||
"idx": 60,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 315,
|
||
"y": 340,
|
||
"idx": 61,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 355,
|
||
"y": 340,
|
||
"idx": 62,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 35,
|
||
"y": 380,
|
||
"idx": 63,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 75,
|
||
"y": 380,
|
||
"idx": 64,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 115,
|
||
"y": 380,
|
||
"idx": 65,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 155,
|
||
"y": 380,
|
||
"idx": 66,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 195,
|
||
"y": 380,
|
||
"idx": 67,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 235,
|
||
"y": 380,
|
||
"idx": 68,
|
||
"occupied": false,
|
||
"safe": false
|
||
},
|
||
{
|
||
"x": 275,
|
||
"y": 380,
|
||
"idx": 69,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 315,
|
||
"y": 380,
|
||
"idx": 70,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 355,
|
||
"y": 380,
|
||
"idx": 71,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 35,
|
||
"y": 420,
|
||
"idx": 72,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 75,
|
||
"y": 420,
|
||
"idx": 73,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 115,
|
||
"y": 420,
|
||
"idx": 74,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 155,
|
||
"y": 420,
|
||
"idx": 75,
|
||
"occupied": false,
|
||
"safe": false
|
||
},
|
||
{
|
||
"x": 195,
|
||
"y": 420,
|
||
"idx": 76,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 235,
|
||
"y": 420,
|
||
"idx": 77,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 275,
|
||
"y": 420,
|
||
"idx": 78,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 315,
|
||
"y": 420,
|
||
"idx": 79,
|
||
"occupied": false,
|
||
"safe": true
|
||
},
|
||
{
|
||
"x": 355,
|
||
"y": 420,
|
||
"idx": 80,
|
||
"occupied": false,
|
||
"safe": true
|
||
}
|
||
]
|
||
},
|
||
"state1": {
|
||
"phase": "gameover",
|
||
"result": "win",
|
||
"score": 71,
|
||
"remaining": 0,
|
||
"progress": 1,
|
||
"gameoverReason": "all_cleared",
|
||
"revealed": 71,
|
||
"minesTotal": 10,
|
||
"targets": []
|
||
}
|
||
}
|
||
},
|
||
"pass": true,
|
||
"notes": []
|
||
},
|
||
"tokens": {
|
||
"prompt": 4151,
|
||
"completion": 6290
|
||
},
|
||
"request_ids": [
|
||
"1231b7e4-8c42-4c18-aebf-818d9139f204"
|
||
]
|
||
} |