{
  "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"
  ]
}