{
  "article_slug": "prevent-two-units-moving-to-same-tile-in-godot",
  "artifact": "Standalone Godot turn-reservation proof",
  "checks": [
    {
      "details": {
        "after": "1,2:10",
        "before": "1,2:10"
      },
      "id": "preview_is_pure",
      "passed": true
    },
    {
      "details": {
        "confirm_code": "OK",
        "conflict_code": "TARGET_OCCUPIED",
        "reserved_by": 10,
        "state": "3,2:10|5,2:20"
      },
      "id": "confirm_claims_target_and_conflict_returns_owner",
      "passed": true
    },
    {
      "details": {
        "actual": "1,2:10",
        "expected": "1,2:10"
      },
      "id": "undo_restores_exact_state",
      "passed": true
    },
    {
      "details": {
        "code": "OK_EMPTY",
        "state": "1,2:10"
      },
      "id": "empty_undo_is_successful_noop",
      "passed": true
    },
    {
      "details": {
        "agent_ids": [
          30,
          10,
          20
        ],
        "winners": [
          0,
          1,
          1
        ]
      },
      "id": "lower_agent_id_wins_same_target",
      "passed": true
    },
    {
      "details": {
        "owned": [
          {
            "x": 1,
            "y": 3
          },
          {
            "x": 2,
            "y": 3
          },
          {
            "x": 1,
            "y": 4
          },
          {
            "x": 2,
            "y": 4
          }
        ]
      },
      "id": "two_by_two_footprint_claims_four_cells",
      "passed": true
    },
    {
      "details": {
        "moved_owned": [
          {
            "x": 2,
            "y": 3
          },
          {
            "x": 3,
            "y": 3
          },
          {
            "x": 2,
            "y": 4
          },
          {
            "x": 3,
            "y": 4
          }
        ],
        "restored_state": "1,3:30|2,3:30|1,4:30|2,4:30"
      },
      "id": "overlapping_footprint_move_and_undo",
      "passed": true
    },
    {
      "details": {
        "new_owner": 40,
        "released_cells": 4
      },
      "id": "release_agent_clears_full_footprint",
      "passed": true
    },
    {
      "details": {
        "first": "1,0:10|4,0:20",
        "second": "1,0:10|4,0:20"
      },
      "id": "state_signature_is_insertion_order_independent",
      "passed": true
    },
    {
      "details": {
        "confirm_ok": true,
        "conflict_code": "TARGET_OCCUPIED",
        "conflict_is_pure": true,
        "conflict_owner": 10,
        "preview_is_pure": true,
        "preview_ok": true,
        "state": "3,2:10|5,2:20|1,4:30|2,4:30|1,5:30|2,5:30"
      },
      "id": "runnable_scene_smoke",
      "passed": true
    }
  ],
  "engine": {
    "build": "official",
    "hash": "5b4e0cb0fd279832bbdd69fed5354d4e5ad26f88",
    "hex": 263936,
    "major": 4,
    "minor": 7,
    "patch": 0,
    "status": "stable",
    "string": "4.7-stable (official)",
    "timestamp": 0
  },
  "failed": [],
  "failed_count": 0,
  "measurement_scope": "Correctness proof only. No performance or throughput claim.",
  "passed": true,
  "passed_count": 10,
  "proof_boundary": {
    "generic_source": "Verifies the source zip and article reservation-table contract.",
    "pathforge_product": "PathForge product tests remain a separate internal product receipt until publicly released.",
    "playable_game": "Dijkstra's Ghost separately demonstrates ephemeral per-tick target reservations in a live game."
  },
  "verified_at": "2026-07-11T11:49:57",
  "published_files": {
    "source_zip": {
      "path": "/downloads/pathforge/prevent-two-units-moving-to-same-tile-in-godot-source.zip",
      "bytes": 8708,
      "sha256": "57d5b57c8fa0c8a225c89b58558456a29c546767e657a3acad11b0272845cd3d"
    }
  }
}