{
  "verifiedAt": "2026-10-16T09:20:32.641Z",
  "rulesVersion": "1.0.0",
  "method": "C++ exact BFS certificates + independent JavaScript exact BFS; explicit 0–1 oracle on all 2×2 instances",
  "exhaustiveTinyCases": 31104,
  "reductionCases": 32,
  "levelsSHA256": "193c5f7d8499e1ccc2f3cfe337d74ab2d3c0606cbc8a69d8cedc5789e31a25fa",
  "results": [
    {
      "level": "level-1",
      "name": "渡色",
      "mode": "strict",
      "minimumMoves": 39,
      "certificateValid": true,
      "cppDiscoveredStates": 42684,
      "jsDiscoveredStates": 42684,
      "jsExpandedStates": 26515,
      "jsMilliseconds": 32
    },
    {
      "level": "level-1",
      "name": "渡色",
      "mode": "flexible",
      "minimumMoves": 34,
      "certificateValid": true,
      "cppDiscoveredStates": 68945,
      "jsDiscoveredStates": 68945,
      "jsExpandedStates": 38534,
      "jsMilliseconds": 46
    },
    {
      "level": "level-2",
      "name": "折返",
      "mode": "strict",
      "minimumMoves": 50,
      "certificateValid": true,
      "cppDiscoveredStates": 10836,
      "jsDiscoveredStates": 10836,
      "jsExpandedStates": 8844,
      "jsMilliseconds": 7
    },
    {
      "level": "level-2",
      "name": "折返",
      "mode": "flexible",
      "minimumMoves": 34,
      "certificateValid": true,
      "cppDiscoveredStates": 453088,
      "jsDiscoveredStates": 453088,
      "jsExpandedStates": 313033,
      "jsMilliseconds": 321
    },
    {
      "level": "level-3",
      "name": "借路",
      "mode": "strict",
      "minimumMoves": 60,
      "certificateValid": true,
      "cppDiscoveredStates": 86847,
      "jsDiscoveredStates": 86847,
      "jsExpandedStates": 76426,
      "jsMilliseconds": 54
    },
    {
      "level": "level-3",
      "name": "借路",
      "mode": "flexible",
      "minimumMoves": 35,
      "certificateValid": true,
      "cppDiscoveredStates": 590835,
      "jsDiscoveredStates": 590835,
      "jsExpandedStates": 408986,
      "jsMilliseconds": 445
    },
    {
      "level": "level-4",
      "name": "长夜",
      "mode": "strict",
      "minimumMoves": 67,
      "certificateValid": true,
      "cppDiscoveredStates": 148855,
      "jsDiscoveredStates": 148855,
      "jsExpandedStates": 122199,
      "jsMilliseconds": 92
    },
    {
      "level": "level-4",
      "name": "长夜",
      "mode": "flexible",
      "minimumMoves": 35,
      "certificateValid": true,
      "cppDiscoveredStates": 346188,
      "jsDiscoveredStates": 346188,
      "jsExpandedStates": 240994,
      "jsMilliseconds": 235
    }
  ],
  "limitations": "These tests validate implementation and finite construction instances; the general complexity proofs are given in the report."
}