{
  "schema_version": "1",
  "interpretation": "data_only",
  "hub_commit": "ede75c00118e9808e5099da43c26f4619cc3bc37",
  "skill_id": "pythonrobotics-dijkstra-planner",
  "name": "Dijkstra collision-checked grid path",
  "example_input": {
    "start": [
      2,
      2
    ],
    "goal": [
      18,
      18
    ],
    "bounds": [
      0,
      20
    ],
    "obstacles": [
      [
        10,
        1
      ],
      [
        10,
        2
      ],
      [
        10,
        3
      ],
      [
        10,
        4
      ],
      [
        10,
        5
      ],
      [
        10,
        6
      ],
      [
        10,
        7
      ],
      [
        10,
        8
      ],
      [
        10,
        9
      ],
      [
        10,
        10
      ],
      [
        10,
        11
      ],
      [
        10,
        12
      ]
    ],
    "robot_radius": 0.3
  },
  "environment": [
    {
      "runtime": "pythonrobotics",
      "runtime_version": "cdd0cc888802",
      "robot": "mathematical-model",
      "controller": "json-contract-v1",
      "observation": "explicit-json-input",
      "os": "windows",
      "architecture": "x86_64",
      "python": "3.10",
      "status": "hub_verified"
    },
    {
      "runtime": "pythonrobotics",
      "runtime_version": "cdd0cc888802",
      "robot": "mathematical-model",
      "controller": "json-contract-v1",
      "observation": "explicit-json-input",
      "os": "linux",
      "architecture": "x86_64",
      "python": "3.10",
      "status": "hub_verified"
    }
  ],
  "interface": {
    "version": "1",
    "kind": "algorithm",
    "abstraction_level": 0,
    "execution_domain": "computation",
    "language": "python",
    "input_transport": "json_file_or_inline",
    "output_transport": "json_stdout",
    "conventions": {
      "linear_unit": "m",
      "angular_unit": "rad",
      "time_unit": "s",
      "coordinate_frame": "planar_map_xy",
      "joint_order": "not_used",
      "quaternion_order": "not_used"
    },
    "input_schema": {
      "type": "object",
      "required": [
        "start",
        "goal",
        "bounds",
        "obstacles",
        "robot_radius"
      ],
      "additionalProperties": false,
      "properties": {
        "start": {
          "type": "array",
          "minItems": 2,
          "maxItems": 2,
          "items": {
            "type": "number",
            "minimum": 1,
            "maximum": 39
          },
          "x-unit": "m",
          "x-frame": "planar_map_xy",
          "x-order": [
            "x",
            "y"
          ],
          "description": "start; units=m; frame=planar_map_xy; component order=x,y"
        },
        "goal": {
          "type": "array",
          "minItems": 2,
          "maxItems": 2,
          "items": {
            "type": "number",
            "minimum": 1,
            "maximum": 39
          },
          "x-unit": "m",
          "x-frame": "planar_map_xy",
          "x-order": [
            "x",
            "y"
          ],
          "description": "goal; units=m; frame=planar_map_xy; component order=x,y"
        },
        "bounds": {
          "type": "array",
          "minItems": 2,
          "maxItems": 2,
          "items": {
            "type": "integer",
            "minimum": 0,
            "maximum": 40
          },
          "x-unit": "m",
          "x-frame": "planar_map_xy",
          "description": "bounds; units=m; frame=planar_map_xy"
        },
        "obstacles": {
          "type": "array",
          "minItems": 0,
          "maxItems": 200,
          "items": {
            "type": "array",
            "minItems": 2,
            "maxItems": 2,
            "items": {
              "type": "number",
              "minimum": 0,
              "maximum": 40
            }
          },
          "x-unit": "m",
          "x-frame": "planar_map_xy",
          "x-order": [
            "x",
            "y"
          ],
          "description": "obstacles; units=m; frame=planar_map_xy; component order=x,y"
        },
        "robot_radius": {
          "type": "number",
          "minimum": 0.1,
          "maximum": 0.6,
          "x-unit": "m",
          "x-frame": "planar_map_xy",
          "description": "robot_radius; units=m; frame=planar_map_xy"
        }
      }
    },
    "output_schema": {
      "type": "object",
      "required": [
        "path_xy",
        "length_m"
      ],
      "additionalProperties": false,
      "properties": {
        "path_xy": {
          "type": "array",
          "minItems": 2,
          "maxItems": 2048,
          "items": {
            "type": "array",
            "minItems": 2,
            "maxItems": 2,
            "items": {
              "type": "number",
              "minimum": -100.0,
              "maximum": 100.0
            }
          },
          "x-unit": "m",
          "x-frame": "planar_map_xy",
          "x-order": [
            "x",
            "y"
          ],
          "description": "path_xy; units=m; frame=planar_map_xy; component order=x,y"
        },
        "length_m": {
          "type": "number",
          "minimum": 0,
          "maximum": 100000,
          "x-unit": "m",
          "x-frame": "planar_map_xy",
          "description": "length_m; units=m; frame=planar_map_xy"
        }
      }
    },
    "preconditions": [
      "Inputs use the declared units and frame; no implicit transforms.",
      "This exact numerical/simulation model is not a physical robot configuration."
    ],
    "postconditions": [
      "All declared checks must pass and all outputs must be finite.",
      "Success applies only to this operation and model, not higher-level task completion."
    ],
    "failure_codes": [
      "invalid_input_or_environment",
      "execution_failed",
      "task_failed"
    ],
    "composition": {
      "depends_on": [],
      "automatic_frame_conversion": false,
      "automatic_hardware_execution": false
    },
    "output_selector": "outputs",
    "origin_reference_ids": [],
    "origin_relationship": "adapted_from; inspect declared model and inputs, not original robot compatibility"
  },
  "source_commit": "cdd0cc888802b584c2d654ca85e3c5460973487d",
  "record_version": "1.0.0",
  "evidence": {
    "level": "task_complete",
    "verified_by": "Hub maintainer runtime harness",
    "date": "2026-10-19",
    "environment": {
      "scope": "computation",
      "platforms": [
        "linux",
        "windows"
      ],
      "physical_robot": false
    },
    "commands": [
      "python tools/verify_executable_recipes.py --source-cache SOURCE_CACHE --output OUTPUT --backend pythonrobotics"
    ],
    "result": "Three frozen positive cases passed against this exact adapter; see per-case receipts. This does not estimate general accuracy.",
    "artifacts": [
      "https://raw.githubusercontent.com/Superfast-Robotics/robot-skill-hub/ede75c00118e9808e5099da43c26f4619cc3bc37/evidence/runtime/executable-conversions-v1/pythonrobotics-dijkstra-planner.json"
    ],
    "runtime_verification": "task_complete",
    "contributor_reported": null,
    "hub_verification": {
      "runtime": "task_complete",
      "scope": "computation",
      "case_count": 3,
      "source_unchanged": true
    }
  },
  "record_url": "https://hub.superfastrobotics.com/skills/pythonrobotics-dijkstra-planner/skill.json",
  "inspect_url": "https://api.superfastrobotics.com/v1/skills/pythonrobotics-dijkstra-planner?hub_commit=ede75c00118e9808e5099da43c26f4619cc3bc37&record_version=1.0.0&include=experience",
  "execution_performed": false
}