{
  "article_slug": "formation-movement-in-godot",
  "artifact": "Standalone Godot formation movement and authored release/reform proof",
  "checks": [
    {
      "id": "line_slot_count_and_centering",
      "observed": {
        "count": 8,
        "first": "(-140.0, 0.0)",
        "last": "(140.0, 0.0)",
        "sum_x": 0.0
      },
      "passed": true
    },
    {
      "id": "column_slot_spacing",
      "observed": {
        "offsets": [
          "(0.0, 0.0)",
          "(0.0, -32.0)",
          "(0.0, -64.0)",
          "(0.0, -96.0)",
          "(0.0, -128.0)"
        ],
        "spacing": 32.0
      },
      "passed": true
    },
    {
      "id": "all_layout_slot_ids_are_unique",
      "observed": {
        "column": 8,
        "line": 8,
        "wedge": 8
      },
      "passed": true
    },
    {
      "id": "local_to_world_rotation_matches_four_facing_oracles",
      "observed": {
        "observed": [
          "(80.0, 110.0)",
          "(110.0, 120.0)",
          "(120.0, 90.0)",
          "(90.0, 80.0)"
        ]
      },
      "passed": true
    },
    {
      "id": "anchor_skips_zero_length_segments",
      "observed": {
        "finished": false,
        "forward": "(1.0, 0.0)",
        "position": "(5.0, 0.0)"
      },
      "passed": true
    },
    {
      "id": "anchor_forward_and_final_facing_are_deterministic",
      "observed": {
        "corner": {
          "finished": false,
          "forward": "(0.0, 1.0)",
          "position": "(10.0, 0.5)"
        },
        "finish": {
          "finished": true,
          "forward": "(-1.0, 0.0)",
          "position": "(10.0, 10.0)"
        }
      },
      "passed": true
    },
    {
      "id": "corner_rotation_preserves_slot_assignments",
      "observed": {
        "after": {
          "unit_00": "front",
          "unit_01": "left_01",
          "unit_02": "right_01",
          "unit_03": "left_02",
          "unit_04": "right_02"
        },
        "before": {
          "unit_00": "front",
          "unit_01": "left_01",
          "unit_02": "right_01",
          "unit_03": "left_02",
          "unit_04": "right_02"
        },
        "forward_after_corner": "(0.0, 1.0)"
      },
      "passed": true
    },
    {
      "id": "assignment_is_bijective",
      "observed": {
        "assignments": {
          "unit_00": "front",
          "unit_01": "left_01",
          "unit_02": "right_01",
          "unit_03": "left_02",
          "unit_04": "right_02",
          "unit_05": "left_03"
        },
        "unique_slots": 6
      },
      "passed": true
    },
    {
      "id": "assignment_is_deterministic_under_input_shuffle",
      "observed": {
        "first": {
          "unit_00": "front",
          "unit_01": "left_01",
          "unit_02": "right_01",
          "unit_03": "left_02",
          "unit_04": "right_02",
          "unit_05": "left_03"
        },
        "second": {
          "unit_00": "front",
          "unit_01": "left_01",
          "unit_02": "right_01",
          "unit_03": "left_02",
          "unit_04": "right_02",
          "unit_05": "left_03"
        }
      },
      "passed": true
    },
    {
      "id": "valid_previous_assignments_are_preserved",
      "observed": {
        "assignments": {
          "unit_00": "left_01",
          "unit_01": "front",
          "unit_02": "right_01",
          "unit_03": "left_02"
        }
      },
      "passed": true
    },
    {
      "id": "duplicate_member_id_is_rejected",
      "observed": {
        "code": "DUPLICATE_MEMBER_ID",
        "member_id": "same",
        "ok": false
      },
      "passed": true
    },
    {
      "id": "duplicate_slot_id_is_rejected",
      "observed": {
        "code": "DUPLICATE_SLOT_ID",
        "ok": false,
        "slot_id": "same"
      },
      "passed": true
    },
    {
      "id": "membership_removal_preserves_survivor_slots_and_anchor",
      "observed": {
        "after": {
          "unit_00": "front",
          "unit_01": "left_01",
          "unit_02": "right_01"
        },
        "anchor": "(45.0, 60.0)",
        "before": {
          "unit_00": "front",
          "unit_01": "left_01",
          "unit_02": "right_01",
          "unit_03": "left_02"
        }
      },
      "passed": true
    },
    {
      "id": "same_value_and_small_drift_target_writes_are_suppressed",
      "observed": {
        "first": true,
        "same": false,
        "small": false
      },
      "passed": true
    },
    {
      "id": "explicit_invalidation_bypasses_deadband",
      "observed": {
        "forced": true,
        "invalidated": true
      },
      "passed": true
    },
    {
      "id": "map_revision_revalidates_without_forced_equal_write",
      "observed": {
        "current_revision": 8,
        "endpoint_revalidation_required": true,
        "equal_target_write_requested": false,
        "validated_revision": 7
      },
      "passed": true
    },
    {
      "id": "target_writes_respect_repath_governor_budget",
      "observed": {
        "budget": 3,
        "dispatched": 3,
        "remaining": 5
      },
      "passed": true
    },
    {
      "id": "missing_agent_disables_member_motion",
      "observed": {
        "binding_result": {
          "code": "AGENT_MISSING",
          "ok": false
        },
        "expected_push_error": "ERROR: AGENT_MISSING",
        "motion_blocked": true,
        "physics_processing_disabled": true
      },
      "passed": true
    },
    {
      "id": "agent_parent_not_character_body_is_rejected",
      "observed": {
        "binding_result": {
          "code": "AGENT_PARENT_NOT_CHARACTER_BODY",
          "ok": false
        },
        "expected_push_error": "ERROR: AGENT_PARENT_NOT_CHARACTER_BODY",
        "motion_blocked": true,
        "physics_processing_disabled": true
      },
      "passed": true
    },
    {
      "id": "agent_parent_mismatch_disables_member_motion",
      "observed": {
        "binding_result": {
          "code": "AGENT_PARENT_MISMATCH",
          "ok": false
        },
        "expected_push_error": "ERROR: AGENT_PARENT_MISMATCH",
        "motion_blocked": true,
        "physics_processing_disabled": true
      },
      "passed": true
    },
    {
      "id": "second_path_update_owner_same_tick_is_rejected",
      "observed": {
        "first": {
          "code": "OK",
          "ok": true,
          "owner": "VALIDATING",
          "physics_tick": 42
        },
        "next_tick": {
          "code": "OK",
          "ok": true,
          "owner": "MOVEMENT",
          "physics_tick": 43
        },
        "second": {
          "code": "PATH_UPDATE_ALREADY_OWNED",
          "first_owner": "VALIDATING",
          "ok": false,
          "physics_tick": 42,
          "rejected_owner": "MOVEMENT"
        }
      },
      "passed": true
    },
    {
      "id": "invalid_map_blocks_validation",
      "observed": {
        "code": "MAP_UNAVAILABLE",
        "ok": false,
        "requested_slot": "(0.0, 0.0)"
      },
      "passed": true
    },
    {
      "id": "wide_zone_reaches_moving_formed",
      "observed": {
        "history": [
          "FORMING",
          "MOVING_FORMED"
        ],
        "state": "MOVING_FORMED"
      },
      "passed": true
    },
    {
      "id": "release_reform_hysteresis_prevents_flapping",
      "observed": {
        "history": [
          "FORMING",
          "MOVING_FORMED",
          "RELEASED",
          "REFORMING"
        ],
        "hold_ticks": 6,
        "state": "REFORMING"
      },
      "passed": true
    },
    {
      "id": "required_and_optional_straggler_policies_are_distinct",
      "observed": {
        "optional_member_excluded_from_required_error_scale": 1.0,
        "required_member_error_scale": 0.0
      },
      "passed": true
    },
    {
      "id": "reformation_arrival_latches_until_new_order",
      "observed": {
        "arrived": true,
        "latched": true,
        "state_after_new_order_reset": "FORMING"
      },
      "passed": true
    },
    {
      "id": "every_frame_counterfactual_integrates_live_member_ticks",
      "observed": {
        "completed": true,
        "completed_snapshot": {
          "actual_target_writes_by_state": {
            "ARRIVED": 1,
            "MOVING_FORMED": 2,
            "REFORMING": 1,
            "RELEASED": 1
          },
          "actual_target_writes_run": 5,
          "counterfactual_physics_frames": 5,
          "every_frame_target_writes": 37,
          "every_frame_target_writes_by_state": {
            "ARRIVED": 7,
            "MOVING_FORMED": 8,
            "REFORMING": 7,
            "RELEASED": 15
          },
          "run_first_physics_frame": 100,
          "run_last_physics_frame": 104,
          "run_physics_frames_contiguous": true,
          "run_physics_ticks": 5,
          "run_physics_ticks_by_state": {
            "ARRIVED": 1,
            "MOVING_FORMED": 1,
            "REFORMING": 1,
            "RELEASED": 2
          },
          "target_writes_avoided": 32,
          "target_writes_if_every_physics_frame": 37,
          "write_measurement_active": false,
          "write_measurement_complete": true,
          "write_measurement_order_id": 77
        },
        "passed": true,
        "queue_guarded": true,
        "reset_snapshot": {
          "actual_target_writes_by_state": {},
          "actual_target_writes_run": 0,
          "counterfactual_physics_frames": 0,
          "every_frame_target_writes": 0,
          "every_frame_target_writes_by_state": {},
          "run_first_physics_frame": -1,
          "run_last_physics_frame": -1,
          "run_physics_frames_contiguous": true,
          "run_physics_ticks": 0,
          "run_physics_ticks_by_state": {},
          "target_writes_avoided": 0,
          "target_writes_if_every_physics_frame": 0,
          "write_measurement_active": false,
          "write_measurement_complete": false,
          "write_measurement_order_id": 0
        }
      },
      "passed": true
    },
    {
      "id": "target_mismatch_and_short_endpoint_are_typed",
      "observed": {
        "final_position": "(698.0, 240.0)",
        "mismatch_code": "TARGET_MISMATCH",
        "passed": true,
        "requested": "(640.0, 240.0)",
        "slot_error": 58.0,
        "unreachable_code": "SLOT_UNREACHABLE"
      },
      "passed": true
    },
    {
      "id": "requested_final_and_slot_error_are_preserved",
      "observed": {
        "final_position": "(698.0, 240.0)",
        "mismatch_code": "TARGET_MISMATCH",
        "passed": true,
        "requested": "(640.0, 240.0)",
        "slot_error": 58.0,
        "unreachable_code": "SLOT_UNREACHABLE"
      },
      "passed": true
    },
    {
      "id": "navigation_finished_without_slot_reach_does_not_arrive",
      "observed": {
        "endpoint_code": "SLOT_UNREACHABLE",
        "required_slot_reached": false,
        "state": "MOVING_FORMED"
      },
      "passed": true
    },
    {
      "id": "runtime_write_measurement_uses_one_contiguous_completed_order_window",
      "observed": {
        "actual_target_writes_by_state": {
          "ARRIVED": 8,
          "MOVING_FORMED": 136,
          "REFORMING": 80,
          "RELEASED": 72
        },
        "actual_target_writes_run": 296,
        "counterfactual_physics_frames": 551,
        "every_frame_target_writes": 4408,
        "every_frame_target_writes_by_state": {
          "ARRIVED": 16,
          "MOVING_FORMED": 1352,
          "REFORMING": 984,
          "RELEASED": 2056
        },
        "run_first_physics_frame": 16,
        "run_last_physics_frame": 566,
        "run_physics_frames_contiguous": true,
        "run_physics_ticks": 551,
        "run_physics_ticks_by_state": {
          "ARRIVED": 2,
          "MOVING_FORMED": 169,
          "REFORMING": 123,
          "RELEASED": 257
        },
        "target_writes_avoided": 4112,
        "target_writes_if_every_physics_frame": 4408,
        "write_measurement_active": false,
        "write_measurement_complete": true,
        "write_measurement_order_id": 1
      },
      "passed": true
    },
    {
      "id": "deadbanded_target_writes_are_below_same_run_every_frame_counterfactual",
      "observed": {
        "actual_target_writes_by_state": {
          "ARRIVED": 8,
          "MOVING_FORMED": 136,
          "REFORMING": 80,
          "RELEASED": 72
        },
        "actual_target_writes_run": 296,
        "counterfactual_physics_frames": 551,
        "every_frame_target_writes": 4408,
        "every_frame_target_writes_by_state": {
          "ARRIVED": 16,
          "MOVING_FORMED": 1352,
          "REFORMING": 984,
          "RELEASED": 2056
        },
        "run_first_physics_frame": 16,
        "run_last_physics_frame": 566,
        "run_physics_frames_contiguous": true,
        "run_physics_ticks": 551,
        "run_physics_ticks_by_state": {
          "ARRIVED": 2,
          "MOVING_FORMED": 169,
          "REFORMING": 123,
          "RELEASED": 257
        },
        "target_writes_avoided": 4112,
        "target_writes_if_every_physics_frame": 4408,
        "write_measurement_active": false,
        "write_measurement_complete": true,
        "write_measurement_order_id": 1
      },
      "passed": true
    },
    {
      "id": "validating_and_arrived_states_ignore_stale_safe_velocity",
      "observed": {
        "arrived": {
          "after": "(967.7352, 483.9997)",
          "before": "(967.7352, 483.9997)",
          "passed": true,
          "running": true,
          "state": "ARRIVED",
          "velocity": "(0.0, 0.0)"
        },
        "inactive": {
          "after": "(128.8, 484.0)",
          "before": "(128.8, 484.0)",
          "passed": true,
          "running": false,
          "state": "FORMING",
          "velocity": "(0.0, 0.0)"
        }
      },
      "passed": true
    },
    {
      "id": "narrow_gate_makes_progress_and_reforms_with_assignments_preserved",
      "observed": {
        "actual_target_writes_run": 296,
        "assignment_signature": "unit_07:left_04|unit_06:left_03|unit_05:left_02|unit_04:left_01|unit_02:right_01|unit_03:front|unit_01:right_02|unit_00:right_03",
        "assignment_unique": true,
        "desired_velocities": {
          "unit_00": "(220.0, 0.006344)",
          "unit_01": "(220.0, 0.000492)",
          "unit_02": "(220.0, 0.0)",
          "unit_03": "(220.0, 0.0)",
          "unit_04": "(220.0, 0.0)",
          "unit_05": "(220.0, -0.000511)",
          "unit_06": "(220.0, -0.001053)",
          "unit_07": "(220.0, -0.037139)"
        },
        "formation_revision": 1,
        "governor_queue_depth": 0,
        "history": [
          "FORMING",
          "MOVING_FORMED",
          "RELEASED",
          "REFORMING",
          "MOVING_FORMED",
          "ARRIVED"
        ],
        "history_in_order": true,
        "map_iteration": 1,
        "map_region_count": 1,
        "maximum_required_error": 187.133560180664,
        "member_distance": 838.935180664063,
        "nav_polygon_count": 7,
        "next_path_read_count": 2204,
        "order_id": 1,
        "passed": true,
        "path_changed_count": 292,
        "safe_velocities": {
          "unit_00": "(0.0, 0.0)",
          "unit_01": "(0.0, 0.0)",
          "unit_02": "(0.0, 0.0)",
          "unit_03": "(0.0, 0.0)",
          "unit_04": "(0.0, 0.0)",
          "unit_05": "(0.0, 0.0)",
          "unit_06": "(0.0, 0.0)",
          "unit_07": "(0.0, 0.0)"
        },
        "state": "ARRIVED",
        "state_assignment_signatures": {
          "ARRIVED": "unit_07:left_04|unit_06:left_03|unit_05:left_02|unit_04:left_01|unit_02:right_01|unit_03:front|unit_01:right_02|unit_00:right_03",
          "FORMING": "unit_07:left_04|unit_06:left_03|unit_05:left_02|unit_04:left_01|unit_02:right_01|unit_03:front|unit_01:right_02|unit_00:right_03",
          "MOVING_FORMED": "unit_07:left_04|unit_06:left_03|unit_05:left_02|unit_04:left_01|unit_02:right_01|unit_03:front|unit_01:right_02|unit_00:right_03",
          "REFORMING": "unit_07:left_04|unit_06:left_03|unit_05:left_02|unit_04:left_01|unit_02:right_01|unit_03:front|unit_01:right_02|unit_00:right_03",
          "RELEASED": "unit_07:left_04|unit_06:left_03|unit_05:left_02|unit_04:left_01|unit_02:right_01|unit_03:front|unit_01:right_02|unit_00:right_03"
        },
        "target_write_count": 304,
        "target_writes_if_every_physics_frame": 4408,
        "transition_log": [
          {
            "physics_tick": 16,
            "reason": "ORDER_ACCEPTED",
            "state": "MOVING_FORMED"
          },
          {
            "physics_tick": 131,
            "reason": "AUTHORED_RELEASE_ZONE_ENTERED",
            "state": "RELEASED"
          },
          {
            "physics_tick": 388,
            "reason": "OPEN_SPACE_HOLD_COMPLETED",
            "state": "REFORMING"
          },
          {
            "physics_tick": 511,
            "reason": "REQUIRED_MEMBERS_REACQUIRED_SLOTS",
            "state": "MOVING_FORMED"
          },
          {
            "physics_tick": 565,
            "reason": "STABLE_AGGREGATE_ARRIVAL",
            "state": "ARRIVED"
          }
        ],
        "write_measurement": {
          "actual_target_writes_by_state": {
            "ARRIVED": 8,
            "MOVING_FORMED": 136,
            "REFORMING": 80,
            "RELEASED": 72
          },
          "actual_target_writes_run": 296,
          "counterfactual_physics_frames": 551,
          "every_frame_target_writes": 4408,
          "every_frame_target_writes_by_state": {
            "ARRIVED": 16,
            "MOVING_FORMED": 1352,
            "REFORMING": 984,
            "RELEASED": 2056
          },
          "run_first_physics_frame": 16,
          "run_last_physics_frame": 566,
          "run_physics_frames_contiguous": true,
          "run_physics_ticks": 551,
          "run_physics_ticks_by_state": {
            "ARRIVED": 2,
            "MOVING_FORMED": 169,
            "REFORMING": 123,
            "RELEASED": 257
          },
          "target_writes_avoided": 4112,
          "target_writes_if_every_physics_frame": 4408,
          "write_measurement_active": false,
          "write_measurement_complete": true,
          "write_measurement_order_id": 1
        }
      },
      "passed": true
    },
    {
      "id": "packaged_project_rerun_matches_named_checks",
      "passed": true,
      "observed": {
        "workspace_named_checks": 34,
        "extracted_named_checks": 34,
        "check_ids_match": true,
        "scene_smoke_passed": true,
        "source_manifest_entries": 10,
        "source_manifest_hashes_match": true,
        "expected_wrapper_error_allowlist": [
          "ERROR: AGENT_MISSING",
          "ERROR: AGENT_PARENT_NOT_CHARACTER_BODY",
          "ERROR: AGENT_PARENT_MISMATCH"
        ],
        "wrapper_errors_seen_once_in_workspace": true,
        "wrapper_errors_seen_once_in_extracted_package": true,
        "engine": "4.7.1-stable (official)"
      }
    }
  ],
  "engine": {
    "build": "official",
    "hash": "a13da4feb8d8aefc283c3763d33a2f170a18d541",
    "hex": 263937,
    "major": 4,
    "minor": 7,
    "patch": 1,
    "status": "stable",
    "string": "4.7.1-stable (official)",
    "timestamp": 0
  },
  "failed": [],
  "failed_count": 0,
  "measurement_scope": "Correctness, deterministic policy, runtime integration, visible state transitions, and a same-run arithmetic target-write counterfactual only; no frame-time, repath-cost, throughput, or scalability claim.",
  "passed": true,
  "passed_count": 35,
  "proof_boundary": {
    "authored_geometry": "The narrow gate uses explicit release and reform zones; it is not a clearance detector.",
    "not_verified": "Automatic bottleneck detection, optimal target assignment, complete MAPF, general deadlock freedom, large-crowd performance, or subjective motion quality.",
    "product_scope": "This is a standalone article artifact, not a released PathForge formation API.",
    "verified_here": "Local-space layouts, virtual-anchor progression, stable greedy assignment, path-update ownership, deadbanded target writes, a same-order sum-of-live-member-ticks counterfactual, typed endpoint evidence, all three fail-closed FormationMember2D binding branches, authored gate release/reform, pacing policy, aggregate arrival, and an eight-agent scene smoke."
  },
  "scene_smoke": {
    "eight_characterbody_navigationagent_members": true,
    "navigation_ready": true,
    "passed": true,
    "runtime_report": {
      "actual_target_writes_run": 296,
      "assignment_signature": "unit_07:left_04|unit_06:left_03|unit_05:left_02|unit_04:left_01|unit_02:right_01|unit_03:front|unit_01:right_02|unit_00:right_03",
      "assignment_unique": true,
      "desired_velocities": {
        "unit_00": "(220.0, 0.006344)",
        "unit_01": "(220.0, 0.000492)",
        "unit_02": "(220.0, 0.0)",
        "unit_03": "(220.0, 0.0)",
        "unit_04": "(220.0, 0.0)",
        "unit_05": "(220.0, -0.000511)",
        "unit_06": "(220.0, -0.001053)",
        "unit_07": "(220.0, -0.037139)"
      },
      "formation_revision": 1,
      "governor_queue_depth": 0,
      "history": [
        "FORMING",
        "MOVING_FORMED",
        "RELEASED",
        "REFORMING",
        "MOVING_FORMED",
        "ARRIVED"
      ],
      "history_in_order": true,
      "map_iteration": 1,
      "map_region_count": 1,
      "maximum_required_error": 187.133560180664,
      "member_distance": 838.935180664063,
      "nav_polygon_count": 7,
      "next_path_read_count": 2204,
      "order_id": 1,
      "passed": true,
      "path_changed_count": 292,
      "safe_velocities": {
        "unit_00": "(0.0, 0.0)",
        "unit_01": "(0.0, 0.0)",
        "unit_02": "(0.0, 0.0)",
        "unit_03": "(0.0, 0.0)",
        "unit_04": "(0.0, 0.0)",
        "unit_05": "(0.0, 0.0)",
        "unit_06": "(0.0, 0.0)",
        "unit_07": "(0.0, 0.0)"
      },
      "state": "ARRIVED",
      "state_assignment_signatures": {
        "ARRIVED": "unit_07:left_04|unit_06:left_03|unit_05:left_02|unit_04:left_01|unit_02:right_01|unit_03:front|unit_01:right_02|unit_00:right_03",
        "FORMING": "unit_07:left_04|unit_06:left_03|unit_05:left_02|unit_04:left_01|unit_02:right_01|unit_03:front|unit_01:right_02|unit_00:right_03",
        "MOVING_FORMED": "unit_07:left_04|unit_06:left_03|unit_05:left_02|unit_04:left_01|unit_02:right_01|unit_03:front|unit_01:right_02|unit_00:right_03",
        "REFORMING": "unit_07:left_04|unit_06:left_03|unit_05:left_02|unit_04:left_01|unit_02:right_01|unit_03:front|unit_01:right_02|unit_00:right_03",
        "RELEASED": "unit_07:left_04|unit_06:left_03|unit_05:left_02|unit_04:left_01|unit_02:right_01|unit_03:front|unit_01:right_02|unit_00:right_03"
      },
      "target_write_count": 304,
      "target_writes_if_every_physics_frame": 4408,
      "transition_log": [
        {
          "physics_tick": 16,
          "reason": "ORDER_ACCEPTED",
          "state": "MOVING_FORMED"
        },
        {
          "physics_tick": 131,
          "reason": "AUTHORED_RELEASE_ZONE_ENTERED",
          "state": "RELEASED"
        },
        {
          "physics_tick": 388,
          "reason": "OPEN_SPACE_HOLD_COMPLETED",
          "state": "REFORMING"
        },
        {
          "physics_tick": 511,
          "reason": "REQUIRED_MEMBERS_REACQUIRED_SLOTS",
          "state": "MOVING_FORMED"
        },
        {
          "physics_tick": 565,
          "reason": "STABLE_AGGREGATE_ARRIVAL",
          "state": "ARRIVED"
        }
      ],
      "write_measurement": {
        "actual_target_writes_by_state": {
          "ARRIVED": 8,
          "MOVING_FORMED": 136,
          "REFORMING": 80,
          "RELEASED": 72
        },
        "actual_target_writes_run": 296,
        "counterfactual_physics_frames": 551,
        "every_frame_target_writes": 4408,
        "every_frame_target_writes_by_state": {
          "ARRIVED": 16,
          "MOVING_FORMED": 1352,
          "REFORMING": 984,
          "RELEASED": 2056
        },
        "run_first_physics_frame": 16,
        "run_last_physics_frame": 566,
        "run_physics_frames_contiguous": true,
        "run_physics_ticks": 551,
        "run_physics_ticks_by_state": {
          "ARRIVED": 2,
          "MOVING_FORMED": 169,
          "REFORMING": 123,
          "RELEASED": 257
        },
        "target_writes_avoided": 4112,
        "target_writes_if_every_physics_frame": 4408,
        "write_measurement_active": false,
        "write_measurement_complete": true,
        "write_measurement_order_id": 1
      }
    }
  },
  "schema_version": 1,
  "verified_at": "2026-08-04T03:23:53",
  "source_manifest": [
    {
      "path": "export_presets.cfg",
      "bytes": 1158,
      "sha256": "46170a9bd48270794e97de43cde3c7bf5436eac04e0988c77d4ea4ae8e8e6231"
    },
    {
      "path": "LICENSE",
      "bytes": 1065,
      "sha256": "8429a4194733f32d64f3447cd65ebc3ae904adc0e92001aa6a7998e77ac5ca0b"
    },
    {
      "path": "project.godot",
      "bytes": 672,
      "sha256": "60e2d9ec8cf7c83982ecfc0de6e4f49474a00b47c008968a13bcdd435d5edc2a"
    },
    {
      "path": "README.md",
      "bytes": 2125,
      "sha256": "21166ae64999f04ea2ceb6ed4e0e7e3ac012339605326c31541b8330e4c2d952"
    },
    {
      "path": "scenes/articles/formation_movement_demo.tscn",
      "bytes": 345,
      "sha256": "280f5787d92726f58e586cbca27f96934429dbd5d04b9cdfc2fd55194dccbbff"
    },
    {
      "path": "scripts/articles/formation_member_2d.gd",
      "bytes": 1933,
      "sha256": "ada802f64f236b0e669530f730b8547514972a308bb576f5c7418ac7e40b1ef5"
    },
    {
      "path": "scripts/articles/formation_movement_core.gd",
      "bytes": 12657,
      "sha256": "9dc1550e6b07e3c872d883980438703768b573a25fcaf7ae5934d5af2f47138d"
    },
    {
      "path": "scripts/articles/formation_movement_demo.gd",
      "bytes": 57146,
      "sha256": "99171ebff3dd323fd1de74c9faf8847a6a970a96aa97dcf2df2097514f4ca008"
    },
    {
      "path": "scripts/articles/repath_governor.gd",
      "bytes": 6909,
      "sha256": "d1a0df1a8673b370b0f6970e217c6245c5769c01b3a4f5366dbe8118f8dabe32"
    },
    {
      "path": "tools/verify_formation_movement.gd",
      "bytes": 29018,
      "sha256": "fe491067624e9cde89225d6eca8cac64fe0cd96477395fdb25a02396f97c787d"
    }
  ],
  "published_files": {
    "source_zip": {
      "path": "/downloads/pathforge/formation-movement-in-godot-source.zip",
      "bytes": 31000,
      "sha256": "8286767a7ffc5346dc984e7e593b9606e1803a70c40fbdadfbee87f425910b2e"
    },
    "core_source": {
      "path_in_zip": "scripts/articles/formation_movement_core.gd",
      "sha256": "9dc1550e6b07e3c872d883980438703768b573a25fcaf7ae5934d5af2f47138d"
    },
    "member_controller_source": {
      "path_in_zip": "scripts/articles/formation_member_2d.gd",
      "sha256": "ada802f64f236b0e669530f730b8547514972a308bb576f5c7418ac7e40b1ef5"
    },
    "demo_source": {
      "path_in_zip": "scripts/articles/formation_movement_demo.gd",
      "sha256": "99171ebff3dd323fd1de74c9faf8847a6a970a96aa97dcf2df2097514f4ca008"
    },
    "verifier_source": {
      "path_in_zip": "tools/verify_formation_movement.gd",
      "sha256": "fe491067624e9cde89225d6eca8cac64fe0cd96477395fdb25a02396f97c787d"
    }
  },
  "extracted_package_rerun": {
    "passed": true,
    "named_check_count": 34,
    "published_check_count": 35,
    "check_ids_match": true,
    "scene_smoke_passed": true,
    "source_manifest_hashes_match": true,
    "engine": "4.7.1-stable (official)"
  }
}
