{
  "verification.json": {
    "checked_utc": "2026-09-10T23:08:41.089061+00:00",
    "match_id": "41219bef-dd36-41a5-a919-33bfabf3734e",
    "rules_version": 11,
    "rule_cases": 13,
    "rounds": [
      {
        "round": 1,
        "before": {
          "red": 0,
          "blue": 0,
          "neutral": 0
        },
        "seeded": {
          "red": 20,
          "blue": 20,
          "neutral": 0
        },
        "after": {
          "red": 19,
          "blue": 56,
          "neutral": 0
        },
        "collisions": [],
        "ticks_verified": 8
      },
      {
        "round": 2,
        "before": {
          "red": 19,
          "blue": 56,
          "neutral": 0
        },
        "seeded": {
          "red": 25,
          "blue": 62,
          "neutral": 0
        },
        "after": {
          "red": 23,
          "blue": 78,
          "neutral": 0
        },
        "collisions": [],
        "ticks_verified": 8
      },
      {
        "round": 3,
        "before": {
          "red": 23,
          "blue": 78,
          "neutral": 0
        },
        "seeded": {
          "red": 29,
          "blue": 84,
          "neutral": 0
        },
        "after": {
          "red": 16,
          "blue": 102,
          "neutral": 0
        },
        "collisions": [],
        "ticks_verified": 8
      },
      {
        "round": 4,
        "before": {
          "red": 16,
          "blue": 102,
          "neutral": 0
        },
        "seeded": {
          "red": 21,
          "blue": 107,
          "neutral": 1
        },
        "after": {
          "red": 12,
          "blue": 114,
          "neutral": 0
        },
        "collisions": [
          [
            22,
            23
          ]
        ],
        "ticks_verified": 8
      },
      {
        "round": 5,
        "before": {
          "red": 12,
          "blue": 114,
          "neutral": 0
        },
        "seeded": {
          "red": 18,
          "blue": 120,
          "neutral": 0
        },
        "after": {
          "red": 29,
          "blue": 135,
          "neutral": 0
        },
        "collisions": [],
        "ticks_verified": 8
      },
      {
        "round": 6,
        "before": {
          "red": 29,
          "blue": 135,
          "neutral": 0
        },
        "seeded": {
          "red": 35,
          "blue": 141,
          "neutral": 0
        },
        "after": {
          "red": 5,
          "blue": 136,
          "neutral": 0
        },
        "collisions": [],
        "ticks_verified": 8
      },
      {
        "round": 7,
        "before": {
          "red": 5,
          "blue": 136,
          "neutral": 0
        },
        "seeded": {
          "red": 11,
          "blue": 142,
          "neutral": 0
        },
        "after": {
          "red": 0,
          "blue": 153,
          "neutral": 0
        },
        "collisions": [],
        "ticks_verified": 8
      }
    ],
    "ticks_verified": 56,
    "commitments_verified": 14,
    "final_population": {
      "red": 0,
      "blue": 153,
      "neutral": 0
    },
    "transcript_agrees_with_activity": true,
    "all_assertions_passed": true,
    "limits": [
      "Reconstructs one completed public match; did not play.",
      "Public reveal commitment consistency is not proof of server fairness or player independence.",
      "Event and state hash strings agree across endpoints; their hash recipe was not supplied or verified.",
      "No inference of intent, general strategic strength, or optimal play."
    ],
    "inputs_sha256": {
      "public-match.json": "f2208f942ee81a4401779e973961fbc733bcc080c18c9fdb85a4d06a9887716d",
      "public-transcript.json": "f768f9f11fa9839e08f615198d913e88efcc24ef1a99f78c87b324bb95030986",
      "public-rules.json": "e3e7bb24b43c680ff29a36d25c206ce17f2243c91a82f73948d9c77547d61e86"
    }
  },
  "collision-verification.json": {
    "checked_utc": "2026-09-10T23:10:37.486022+00:00",
    "match_id": "41219bef-dd36-41a5-a919-33bfabf3734e",
    "round": 4,
    "coordinate": [
      22,
      23
    ],
    "coordinate_system": "zero-based x,y; row 0 at top",
    "neutral_dead_at_tick_one": true,
    "red_blue_neutral_recolorings_identical_after_tick_one": true,
    "first_tick_differences": [
      {
        "x": 23,
        "y": 22,
        "actual": 0,
        "removed": 1
      },
      {
        "x": 23,
        "y": 23,
        "actual": 0,
        "removed": 1
      }
    ],
    "counts": [
      {
        "tick": 0,
        "actual": {
          "red": 21,
          "blue": 107,
          "neutral": 1
        },
        "removed": {
          "red": 21,
          "blue": 107,
          "neutral": 0
        },
        "different_cells": 1
      },
      {
        "tick": 1,
        "actual": {
          "red": 16,
          "blue": 102,
          "neutral": 0
        },
        "removed": {
          "red": 18,
          "blue": 102,
          "neutral": 0
        },
        "different_cells": 2
      },
      {
        "tick": 2,
        "actual": {
          "red": 15,
          "blue": 102,
          "neutral": 0
        },
        "removed": {
          "red": 16,
          "blue": 101,
          "neutral": 0
        },
        "different_cells": 8
      },
      {
        "tick": 3,
        "actual": {
          "red": 16,
          "blue": 104,
          "neutral": 0
        },
        "removed": {
          "red": 16,
          "blue": 105,
          "neutral": 0
        },
        "different_cells": 9
      },
      {
        "tick": 4,
        "actual": {
          "red": 15,
          "blue": 97,
          "neutral": 0
        },
        "removed": {
          "red": 15,
          "blue": 93,
          "neutral": 0
        },
        "different_cells": 14
      },
      {
        "tick": 5,
        "actual": {
          "red": 16,
          "blue": 98,
          "neutral": 0
        },
        "removed": {
          "red": 20,
          "blue": 96,
          "neutral": 0
        },
        "different_cells": 21
      },
      {
        "tick": 6,
        "actual": {
          "red": 18,
          "blue": 93,
          "neutral": 0
        },
        "removed": {
          "red": 11,
          "blue": 107,
          "neutral": 0
        },
        "different_cells": 37
      },
      {
        "tick": 7,
        "actual": {
          "red": 13,
          "blue": 99,
          "neutral": 0
        },
        "removed": {
          "red": 11,
          "blue": 101,
          "neutral": 0
        },
        "different_cells": 36
      },
      {
        "tick": 8,
        "actual": {
          "red": 12,
          "blue": 114,
          "neutral": 0
        },
        "removed": {
          "red": 11,
          "blue": 107,
          "neutral": 0
        },
        "different_cells": 51
      }
    ],
    "control": "Replace only the disputed neutral cell with dead immediately after seeding; all other cells fixed.",
    "limits": [
      "This removal is not a legal full-budget alternative move.",
      "The replay contains both committed choices; no claim that either player knew the opposing choice beforehand.",
      "Only this round is compared; later recorded moves may not be legal on the altered board."
    ],
    "all_assertions_passed": true
  }
}