{
  "article_slug": "navigationserver3d-in-godot",
  "artifact": "NavigationServer3D map synchronization and path-query correctness proof",
  "checks": [
    {
      "details": {
        "map_iteration": 0,
        "note": "This check covers map_get_path() at iteration zero; it does not capture console diagnostics from other getters.",
        "path_points": 0
      },
      "id": "iteration_zero_map_get_path_is_empty",
      "passed": true
    },
    {
      "details": {
        "elapsed_msec": 22,
        "known_query_status": "reached",
        "map_changed_emissions": 2,
        "map_iteration": 2,
        "physics_frames_waited": 4,
        "region_iterations": [
          1,
          1,
          1,
          1
        ]
      },
      "id": "eventual_publication_answers_known_query",
      "passed": true
    },
    {
      "details": {
        "endpoint_error": 0.0,
        "map_iteration": 2,
        "path": [
          {
            "x": -8.0,
            "y": 0.0,
            "z": -1.19209289550781E-07
          },
          {
            "x": -5.0,
            "y": 0.0,
            "z": 0.0
          }
        ],
        "path_points": 2,
        "start_snap_error": 1.19209289550781E-07,
        "status": "reached",
        "target_on_mesh": {
          "x": -5.0,
          "y": 0.0,
          "z": 0.0
        },
        "target_owner_layers": 1,
        "target_owner_matches_layers": true,
        "target_owner_rid": "103079215104",
        "target_owner_valid": true,
        "target_snap_error": 0.400000005960464,
        "target_snap_scope": "map-wide; NavigationServer3D.map_get_closest_point() is not layer-filtered"
      },
      "id": "floating_target_is_reached_after_snap",
      "passed": true
    },
    {
      "details": {
        "endpoint_error": 8.0,
        "map_iteration": 2,
        "path": [
          {
            "x": -8.0,
            "y": 0.0,
            "z": -1.19209289550781E-07
          },
          {
            "x": -3.0,
            "y": 0.0,
            "z": -1.19209289550781E-07
          },
          {
            "x": 3.0,
            "y": 0.0,
            "z": -1.19209289550781E-07
          },
          {
            "x": 9.0,
            "y": 0.0,
            "z": 0.0
          }
        ],
        "path_points": 4,
        "start_snap_error": 1.19209289550781E-07,
        "status": "short",
        "target_on_mesh": {
          "x": 17.0,
          "y": 0.0,
          "z": 0.0
        },
        "target_owner_layers": 1,
        "target_owner_matches_layers": true,
        "target_owner_rid": "115964116995",
        "target_owner_valid": true,
        "target_snap_error": 0.400000005960464,
        "target_snap_scope": "map-wide; NavigationServer3D.map_get_closest_point() is not layer-filtered"
      },
      "id": "disconnected_target_ends_short",
      "passed": true
    },
    {
      "details": {
        "bridge_allowed": {
          "endpoint_error": 0.0,
          "map_iteration": 2,
          "path": [
            {
              "x": -8.0,
              "y": 0.0,
              "z": -1.19209289550781E-07
            },
            {
              "x": -3.0,
              "y": 0.0,
              "z": 0.0
            },
            {
              "x": 3.0,
              "y": 0.0,
              "z": 0.0
            },
            {
              "x": 8.0,
              "y": 0.0,
              "z": 0.0
            }
          ],
          "path_points": 4,
          "start_snap_error": 1.19209289550781E-07,
          "status": "reached",
          "target_on_mesh": {
            "x": 8.0,
            "y": 0.0,
            "z": 0.0
          },
          "target_owner_layers": 1,
          "target_owner_matches_layers": true,
          "target_owner_rid": "111669149698",
          "target_owner_valid": true,
          "target_snap_error": 0.400000005960464,
          "target_snap_scope": "map-wide; NavigationServer3D.map_get_closest_point() is not layer-filtered"
        },
        "note": "The target surface stays allowed; layer 2 is required by the intermediate bridge.",
        "walk_only": {
          "endpoint_error": 11.0,
          "map_iteration": 2,
          "path": [
            {
              "x": -8.0,
              "y": 0.0,
              "z": -1.19209289550781E-07
            },
            {
              "x": -3.0,
              "y": 0.0,
              "z": 0.0
            }
          ],
          "path_points": 2,
          "start_snap_error": 1.19209289550781E-07,
          "status": "short",
          "target_on_mesh": {
            "x": 8.0,
            "y": 0.0,
            "z": 0.0
          },
          "target_owner_layers": 1,
          "target_owner_matches_layers": true,
          "target_owner_rid": "111669149698",
          "target_owner_valid": true,
          "target_snap_error": 0.400000005960464,
          "target_snap_scope": "map-wide; NavigationServer3D.map_get_closest_point() is not layer-filtered"
        }
      },
      "id": "layer_mask_result_is_controlled",
      "passed": true
    },
    {
      "details": {
        "bridge_index": 1,
        "bridge_owner_id": "27095205326",
        "bridge_rid": "107374182401",
        "final_index": 3,
        "indexed_owner_associations_verified": true,
        "path": [
          {
            "x": -8.0,
            "y": 0.0,
            "z": -1.19209289550781E-07
          },
          {
            "x": -3.0,
            "y": 0.0,
            "z": 0.0
          },
          {
            "x": 3.0,
            "y": 0.0,
            "z": 0.0
          },
          {
            "x": 8.0,
            "y": 0.0,
            "z": 0.0
          }
        ],
        "path_length": 16.0,
        "path_owner_ids": [
          "27078428109",
          "27095205326",
          "27111982543",
          "27111982543"
        ],
        "path_points": 4,
        "path_rids": [
          "103079215104",
          "107374182401",
          "111669149698",
          "111669149698"
        ],
        "path_types": [
          0,
          0,
          0,
          0
        ],
        "right_owner_id": "27111982543",
        "summed_segment_length": 16.0
      },
      "id": "query_metadata_associations_align_with_path",
      "passed": true
    },
    {
      "details": {
        "before_status": "reached",
        "disabled_publication": {
          "elapsed_msec": 48,
          "map_changed_at_frame": 3,
          "map_iteration": 3,
          "passed": true,
          "physics_frames_waited": 3,
          "query": {
            "endpoint_error": 11.0,
            "map_iteration": 3,
            "path": [
              {
                "x": -8.0,
                "y": 0.0,
                "z": -1.19209289550781E-07
              },
              {
                "x": -3.0,
                "y": 0.0,
                "z": 0.0
              }
            ],
            "path_points": 2,
            "start_snap_error": 1.19209289550781E-07,
            "status": "short",
            "target_on_mesh": {
              "x": 8.0,
              "y": 0.0,
              "z": 0.0
            },
            "target_owner_layers": 1,
            "target_owner_matches_layers": true,
            "target_owner_rid": "111669149698",
            "target_owner_valid": true,
            "target_snap_error": 0.400000005960464,
            "target_snap_scope": "map-wide; NavigationServer3D.map_get_closest_point() is not layer-filtered"
          },
          "region_changed_at_frame": 2,
          "region_iteration": 2
        },
        "immediate_enabled_getter": true,
        "immediate_map_iteration_unchanged": true,
        "immediate_query_status": "reached",
        "immediate_region_iteration_unchanged": true,
        "reenabled_publication": {
          "elapsed_msec": 55,
          "map_changed_at_frame": 3,
          "map_iteration": 4,
          "passed": true,
          "physics_frames_waited": 3,
          "query": {
            "endpoint_error": 0.0,
            "map_iteration": 4,
            "path": [
              {
                "x": -8.0,
                "y": 0.0,
                "z": -1.19209289550781E-07
              },
              {
                "x": -3.0,
                "y": 0.0,
                "z": 0.0
              },
              {
                "x": 3.0,
                "y": 0.0,
                "z": 0.0
              },
              {
                "x": 8.0,
                "y": 0.0,
                "z": 0.0
              }
            ],
            "path_points": 4,
            "start_snap_error": 1.19209289550781E-07,
            "status": "reached",
            "target_on_mesh": {
              "x": 8.0,
              "y": 0.0,
              "z": 0.0
            },
            "target_owner_layers": 1,
            "target_owner_matches_layers": true,
            "target_owner_rid": "111669149698",
            "target_owner_valid": true,
            "target_snap_error": 0.400000005960464,
            "target_snap_scope": "map-wide; NavigationServer3D.map_get_closest_point() is not layer-filtered"
          },
          "region_changed_at_frame": 2,
          "region_iteration": 3
        },
        "target_owner_rid_stayed_stable": true
      },
      "id": "queued_mutation_has_verified_postcondition",
      "passed": true
    },
    {
      "id": "extracted_package_reruns_cleanly",
      "passed": true,
      "details": {
        "extracted_logic_check_count": 7,
        "check_ids_match_workspace": true,
        "scene_smoke_passed": true,
        "scene_initialization_contract_passed": true,
        "engine": "4.7.2-stable (official)"
      }
    }
  ],
  "engine": {
    "build": "official",
    "hash": "ed1daf0bf001b61586d9930840f2f1394092c079",
    "hex": 263938,
    "major": 4,
    "minor": 7,
    "patch": 2,
    "status": "stable",
    "string": "4.7.2-stable (official)",
    "timestamp": 0
  },
  "failed": [],
  "failed_count": 0,
  "fixture_contract": {
    "cell_height": 0.25,
    "cell_size": 0.25,
    "corridor": "Left layer-1 region, layer-2 bridge, right layer-1 region, plus one disconnected layer-1 island.",
    "diagnostic_search_limits": {
      "path_search_max_distance": 0.0,
      "path_search_max_polygons": 0
    },
    "endpoint_tolerance": 0.01,
    "geometry": "Four programmatic planar NavigationMesh quads at y=0; no bake or source-geometry parsing.",
    "map_async_iterations": true,
    "positions": {
      "disconnected_target": {
        "x": 17.0,
        "y": 0.400000005960464,
        "z": 0.0
      },
      "floating_target": {
        "x": -5.0,
        "y": 0.400000005960464,
        "z": 0.0
      },
      "right_target": {
        "x": 8.0,
        "y": 0.400000005960464,
        "z": 0.0
      },
      "start": {
        "x": -8.0,
        "y": 0.0,
        "z": 0.0
      }
    },
    "proximity_edge_connections": false,
    "region_async_iterations": true,
    "region_bounds_xz": {
      "bridge_layer_2": [
        -3.0,
        3.0,
        -2.0,
        2.0
      ],
      "island_layer_1": [
        15.0,
        19.0,
        -2.0,
        2.0
      ],
      "left_layer_1": [
        -9.0,
        -3.0,
        -2.0,
        2.0
      ],
      "right_layer_1": [
        3.0,
        9.0,
        -2.0,
        2.0
      ]
    }
  },
  "measurement_scope": "Correctness and scene-smoke verification only; no benchmark or throughput claim.",
  "passed": true,
  "passed_count": 8,
  "proof_boundary": {
    "not_verified_here": "Runtime baking, proximity-seam counters, avoidance, concurrent query throughput, timings, or arbitrary imported navigation geometry.",
    "performance": "No timing, memory, allocation, or comparative speed claim is made.",
    "rid_lifetime": "RID and ObjectID strings identify resources only during the captured engine session.",
    "verified_here": "Iteration-zero path behavior, eventual async publication, target snap versus endpoint error, disconnected paths, layer-filtered bridge reachability, metadata alignment, and queued bridge mutation publication."
  },
  "verified_at": "2026-08-24 21:24:49Z",
  "scene_smoke": {
    "check_count": 7,
    "engine": {
      "build": "official",
      "hash": "ed1daf0bf001b61586d9930840f2f1394092c079",
      "hex": 263938,
      "major": 4,
      "minor": 7,
      "patch": 2,
      "status": "stable",
      "string": "4.7.2-stable (official)",
      "timestamp": 0
    },
    "has_output": true,
    "passed": true,
    "scene_initialization_contract": {
      "fixture_contract_available": true,
      "output_control_initialized": true,
      "rerun_control_initialized": true,
      "seven_logic_results_available": true,
      "status_control_initialized": true
    },
    "scene_initialization_contract_passed": true,
    "scene_path": "res://scenes/articles/navigationserver3d_diagnostics_demo.tscn",
    "verification_complete": true,
    "verified_at": "2026-08-24 21:24:49Z"
  },
  "published_files": {
    "source_zip": {
      "intended_public_path": "/downloads/pathforge/navigationserver3d-in-godot-source.zip",
      "local_path": "dist/navigationserver3d-in-godot-source.zip",
      "bytes": 14943,
      "sha256": "e75c57dda6748d7954849f5749140ae59566ff1811d1f600600062e9aa322f08"
    },
    "proof_sources": {
      "scripts/shared/navigationserver3d_diagnostics_verifier.gd": "d95527af156cd56d57c591c754a9e04baba24a9c21edc350b68e241c1a131fac",
      "scripts/articles/navigationserver3d_article_snippets.gd": "3a08725868d8a66d55e9570de8099afd748db420c112b0a2428fe55256ae0162",
      "scripts/articles/navigationserver3d_diagnostics_demo.gd": "4da2f56416b3c76595a7e07ae4bd2f1c6df35b8cf7c5295e5dcec5561e8ac850",
      "scenes/articles/navigationserver3d_diagnostics_demo.tscn": "2c9a45d5717be6c3f0240641d4f375e904040b86347bc242046f461c4136659f",
      "tools/verify_navigationserver3d_diagnostics.gd": "07addb51e3f3ac89be116cf8873925bc6f76d9be7cbb4f4216abfa320d781124",
      "tools/smoke_navigationserver3d_diagnostics_scene.gd": "2345c83f93ce0aac185ebeadfe726a4aaf90f32c49f524b4777674bd78d0c72d"
    },
    "publication_state": "published"
  },
  "extracted_package_rerun": {
    "passed": true,
    "logic_check_count": 7,
    "published_check_count": 8,
    "check_ids_match_workspace": true,
    "scene_smoke_passed": true,
    "scene_initialization_contract_passed": true,
    "engine": "4.7.2-stable (official)"
  }
}