{
  "status": "PASS",
  "source": "games/034_three_move_dance/model.py: LEVELS[0], window=3",
  "canonical_sha256": "f1e70936f01db9b730ecd235dd4b8a0881ba537060dec4fa172e8cd703724849",
  "scope": "04 and 05: full reachable finite A graph, excluding irrelevant turn count for state identity; not original B/C, baseline window=1, original UI, or unbounded undo stack.",
  "per_stage_graph": {
    "reachable_states": 45165,
    "terminal_states": 2637,
    "transitions": 170112,
    "sha256": "8802ce1ac7ddcf7d22fe15aa1080f4a38af9dbeae5d6aa06b570bd132294b0b9",
    "normalization": "Exclude turns from deduplication only; turns do not affect rules. Full Result hashes include representative BFS turn counts."
  },
  "stages": [
    "04_simultaneous.py",
    "05_undo.py"
  ],
  "policy_fixtures": 170,
  "routes": 11,
  "original_files_unchanged": true,
  "source_files_checked": 34,
  "bytecode_disabled": true
}
