ScoreCompute

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "positions"
  ],
  "properties": {
    "depth": {
      "type": "integer",
      "default": 12,
      "maximum": 20,
      "minimum": 4
    },
    "positions": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "fen",
          "played"
        ],
        "properties": {
          "fen": {
            "type": "string"
          },
          "played": {
            "type": "string"
          }
        }
      },
      "maxItems": 40,
      "minItems": 4
    }
  }
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "angular_speed_deg_per_s"
  ],
  "properties": {
    "distance_max_km": {
      "type": "number",
      "default": 400000,
      "maximum": 400000,
      "minimum": 0.002
    },
    "distance_min_km": {
      "type": "number",
      "default": 0.01,
      "maximum": 400000,
      "minimum": 0.001
    },
    "claimed_speed_kmh": {
      "type": "number",
      "maximum": 500000,
      "minimum": 0.1
    },
    "claimed_distance_km": {
      "type": "number",
      "maximum": 400000,
      "minimum": 0.001
    },
    "angular_speed_deg_per_s": {
      "type": "number",
      "maximum": 90,
      "minimum": 0.0001
    }
  }
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "observations",
    "new_series",
    "objective",
    "assumptions",
    "data_origin"
  ],
  "properties": {
    "objective": {
      "type": "object",
      "required": [
        "horizon_s"
      ],
      "properties": {
        "horizon_s": {
          "type": "number",
          "maximum": 1000000000000,
          "minimum": -1000000000000,
          "description": "Absolute comparison time in the same corrected seconds as the observations; after the original observations, within their bounded 3600-second domain."
        }
      },
      "additionalProperties": false
    },
    "new_series": {
      "type": "object",
      "required": [
        "id",
        "station",
        "sigma_az_deg",
        "sigma_el_deg",
        "samples"
      ],
      "properties": {
        "id": {
          "type": "string",
          "pattern": "^[A-Za-z0-9_.-]+$",
          "maxLength": 64,
          "minLength": 1
        },
        "samples": {
          "type": "array",
          "items": {
            "type": "object",
            "required": [
              "t_s",
              "azimuth_deg",
              "elevation_deg"
            ],
            "properties": {
              "t_s": {
                "type": "number",
                "maximum": 1000000000000,
                "minimum": -1000000000000,
                "description": "Already corrected absolute time; strictly after all baseline samples and no later than the comparison horizon."
              },
              "azimuth_deg": {
                "type": "number",
                "maximum": 360,
                "minimum": 0
              },
              "elevation_deg": {
                "type": "number",
                "maximum": 90,
                "minimum": -2
              }
            },
            "additionalProperties": false
          },
          "maxItems": 120,
          "minItems": 3
        },
        "station": {
          "type": "object",
          "required": [
            "id",
            "lat",
            "lon",
            "elevation_m"
          ],
          "properties": {
            "id": {
              "type": "string",
              "pattern": "^[A-Za-z0-9_.-]+$",
              "maxLength": 64,
              "minLength": 1
            },
            "lat": {
              "type": "number",
              "maximum": 89,
              "minimum": -89
            },
            "lon": {
              "type": "number",
              "maximum": 180,
              "minimum": -180
            },
            "elevation_m": {
              "type": "number",
              "maximum": 9000,
              "minimum": -500
            }
          },
          "additionalProperties": false
        },
        "sigma_az_deg": {
          "type": "number",
          "maximum": 10,
          "minimum": 0.01
        },
        "sigma_el_deg": {
          "type": "number",
          "maximum": 10,
          "minimum": 0.01
        }
      },
      "additionalProperties": false
    },
    "assumptions": {
      "type": "object",
      "required": [
        "independent_new_errors",
        "exact_stations_and_clocks",
        "constant_velocity"
      ],
      "properties": {
        "constant_velocity": {
          "type": "boolean",
          "const": true
        },
        "independent_new_errors": {
          "type": "boolean",
          "const": true
        },
        "exact_stations_and_clocks": {
          "type": "boolean",
          "const": true
        }
      },
      "additionalProperties": false
    },
    "data_origin": {
      "enum": [
        "synthetic",
        "measured"
      ],
      "type": "string",
      "description": "Origin declared by the caller; even measured is not independently verified or authenticated."
    },
    "observations": {
      "type": "object",
      "required": [
        "observers"
      ],
      "properties": {
        "observers": {
          "type": "array",
          "items": {
            "type": "object",
            "required": [
              "lat",
              "lon",
              "sigma_az_deg",
              "sigma_el_deg",
              "samples"
            ],
            "properties": {
              "lat": {
                "type": "number",
                "maximum": 89,
                "minimum": -89
              },
              "lon": {
                "type": "number",
                "maximum": 180,
                "minimum": -180
              },
              "samples": {
                "type": "array",
                "items": {
                  "type": "object",
                  "required": [
                    "t_s",
                    "azimuth_deg",
                    "elevation_deg"
                  ],
                  "properties": {
                    "t_s": {
                      "type": "number",
                      "maximum": 1000000000000,
                      "minimum": -1000000000000,
                      "description": "Seconds from a common epoch, strictly increasing for this observer."
                    },
                    "azimuth_deg": {
                      "type": "number",
                      "maximum": 360,
                      "minimum": 0
                    },
                    "elevation_deg": {
                      "type": "number",
                      "maximum": 90,
                      "minimum": -2
                    }
                  },
                  "additionalProperties": false
                },
                "maxItems": 120,
                "minItems": 3
              },
              "elevation_m": {
                "type": "number",
                "default": 0,
                "maximum": 9000,
                "minimum": -500
              },
              "sigma_az_deg": {
                "type": "number",
                "maximum": 10,
                "minimum": 0.01
              },
              "sigma_el_deg": {
                "type": "number",
                "maximum": 10,
                "minimum": 0.01
              },
              "clock_offset_s": {
                "type": "number",
                "default": 0,
                "maximum": 60,
                "minimum": -60,
                "description": "The observer clock is ahead of the common base by this many seconds; the engine subtracts it."
              }
            },
            "additionalProperties": false
          },
          "maxItems": 4,
          "minItems": 2
        }
      },
      "additionalProperties": false
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "n",
    "mean"
  ],
  "properties": {
    "n": {
      "type": "integer",
      "maximum": 200000,
      "minimum": 2
    },
    "sd": {
      "type": "number",
      "minimum": 0
    },
    "mean": {
      "type": "number"
    },
    "decimals": {
      "type": "integer",
      "default": 2,
      "maximum": 6,
      "minimum": 0
    },
    "max_value": {
      "type": "integer",
      "default": 5,
      "maximum": 100,
      "minimum": -100
    },
    "min_value": {
      "type": "integer",
      "default": 1,
      "maximum": 100,
      "minimum": -100
    }
  }
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "items",
    "budget",
    "uncertainty"
  ],
  "properties": {
    "seed": {
      "type": "integer",
      "default": 42,
      "maximum": 4294967295,
      "minimum": 0
    },
    "items": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "name",
          "duration",
          "value"
        ],
        "properties": {
          "name": {
            "type": "string",
            "maxLength": 120,
            "minLength": 1
          },
          "value": {
            "type": "integer",
            "maximum": 10000,
            "minimum": 0
          },
          "duration": {
            "type": "integer",
            "maximum": 1440,
            "minimum": 1
          }
        },
        "additionalProperties": false
      },
      "maxItems": 32,
      "minItems": 1
    },
    "budget": {
      "type": "integer",
      "maximum": 1440,
      "minimum": 1
    },
    "samples": {
      "type": "integer",
      "default": 10000,
      "maximum": 20000,
      "minimum": 100
    },
    "uncertainty": {
      "type": "number",
      "maximum": 0.5,
      "minimum": 0
    },
    "allowed_tools": {
      "type": "array",
      "items": {
        "type": "string",
        "pattern": "^[a-z][a-z0-9_]*$",
        "maxLength": 64,
        "minLength": 1
      },
      "default": [
        "optimize_tasks",
        "simulate_plan"
      ],
      "maxItems": 14
    },
    "duration_model": {
      "type": "string",
      "default": "independent_uniform",
      "maxLength": 64,
      "minLength": 1
    },
    "max_candidates": {
      "type": "integer",
      "default": 3,
      "maximum": 3,
      "minimum": 1
    },
    "min_success_rate": {
      "type": "number",
      "default": 0.95,
      "maximum": 0.999,
      "minimum": 0.5
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "claimed_value",
    "expression"
  ],
  "properties": {
    "values": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "name",
          "value"
        ],
        "properties": {
          "name": {
            "type": "string",
            "pattern": "^[A-Za-z_][A-Za-z0-9_]*$",
            "maxLength": 32,
            "minLength": 1
          },
          "value": {
            "type": "number",
            "maximum": 9007199254740991,
            "minimum": -9007199254740991
          }
        },
        "additionalProperties": false
      },
      "maxItems": 16,
      "minItems": 0
    },
    "expression": {
      "type": "string",
      "maxLength": 512,
      "minLength": 1
    },
    "claimed_value": {
      "type": "number",
      "maximum": 9007199254740991,
      "minimum": -9007199254740991
    },
    "tolerance_absolute": {
      "type": "number",
      "maximum": 1e+300,
      "minimum": 0
    },
    "tolerance_relative": {
      "type": "number",
      "maximum": 1000000000,
      "minimum": 0
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "date_utc",
    "latitude",
    "longitude",
    "claimed_azimuth_deg",
    "claimed_elevation_deg"
  ],
  "properties": {
    "object": {
      "enum": [
        "soleil",
        "lune"
      ],
      "type": "string",
      "default": "lune"
    },
    "date_utc": {
      "type": "string",
      "maxLength": 20,
      "minLength": 20
    },
    "latitude": {
      "type": "number",
      "maximum": 89,
      "minimum": -89
    },
    "longitude": {
      "type": "number",
      "maximum": 180,
      "minimum": -180
    },
    "tolerance_deg": {
      "type": "number",
      "default": 2,
      "maximum": 30,
      "minimum": 0.2
    },
    "claimed_azimuth_deg": {
      "type": "number",
      "maximum": 360,
      "minimum": 0
    },
    "claimed_elevation_deg": {
      "type": "number",
      "maximum": 90,
      "minimum": -90
    }
  }
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "date_utc",
    "latitude",
    "longitude",
    "samples"
  ],
  "properties": {
    "samples": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "minutes",
          "azimuth_deg"
        ],
        "properties": {
          "minutes": {
            "type": "number",
            "maximum": 1440,
            "minimum": 0
          },
          "azimuth_deg": {
            "type": "number",
            "maximum": 360,
            "minimum": 0
          }
        }
      },
      "maxItems": 120,
      "minItems": 4
    },
    "date_utc": {
      "type": "string",
      "maxLength": 20,
      "minLength": 20
    },
    "latitude": {
      "type": "number",
      "maximum": 89,
      "minimum": -89
    },
    "longitude": {
      "type": "number",
      "maximum": 180,
      "minimum": -180
    },
    "tolerance_deg": {
      "type": "number",
      "default": 5,
      "maximum": 30,
      "minimum": 0.5
    }
  }
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "goals",
    "available"
  ],
  "properties": {
    "goals": {
      "type": "array",
      "items": {
        "type": "string",
        "pattern": "^[a-z0-9_.]+$",
        "maxLength": 96,
        "minLength": 1
      },
      "maxItems": 8,
      "minItems": 1
    },
    "inputs": {
      "type": "object",
      "propertyNames": {
        "type": "string",
        "pattern": "^[a-z][a-z0-9_]*$",
        "maxLength": 64,
        "minLength": 1
      },
      "additionalProperties": {
        "type": "object",
        "propertyNames": {
          "type": "string"
        },
        "additionalProperties": {}
      }
    },
    "adapters": {
      "type": "object",
      "properties": {
        "route_durations.v1": {
          "type": "object",
          "required": [
            "speed_kmh"
          ],
          "properties": {
            "speed_kmh": {
              "type": "number",
              "maximum": 150,
              "minimum": 1
            }
          },
          "additionalProperties": false
        }
      },
      "additionalProperties": false
    },
    "available": {
      "type": "array",
      "items": {
        "type": "string",
        "pattern": "^[a-z0-9_.]+$",
        "maxLength": 96,
        "minLength": 1
      },
      "maxItems": 48
    },
    "constraints": {
      "type": "object",
      "properties": {
        "max_steps": {
          "type": "integer",
          "default": 8,
          "maximum": 16,
          "minimum": 1
        },
        "local_only": {
          "type": "boolean",
          "default": true
        },
        "allowed_tools": {
          "type": "array",
          "items": {
            "type": "string",
            "pattern": "^[a-z][a-z0-9_]*$",
            "maxLength": 64,
            "minLength": 1
          },
          "maxItems": 20
        },
        "max_search_states": {
          "type": "integer",
          "default": 512,
          "maximum": 2048,
          "minimum": 1
        },
        "max_structural_cost": {
          "type": "integer",
          "default": 64,
          "maximum": 64,
          "minimum": 1
        }
      },
      "additionalProperties": false
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "eccentricity",
    "elapsed_days",
    "semi_major_au"
  ],
  "properties": {
    "eccentricity": {
      "type": "number",
      "maximum": 0.9,
      "minimum": 0
    },
    "elapsed_days": {
      "type": "number",
      "maximum": 365250,
      "minimum": 0
    },
    "semi_major_au": {
      "type": "number",
      "maximum": 30,
      "minimum": 0.1
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "goals",
    "available"
  ],
  "properties": {
    "goals": {
      "type": "array",
      "items": {
        "type": "string",
        "pattern": "^[a-z0-9_.]+$",
        "maxLength": 96,
        "minLength": 1
      },
      "maxItems": 8,
      "minItems": 1
    },
    "inputs": {
      "type": "object",
      "propertyNames": {
        "type": "string",
        "pattern": "^[a-z][a-z0-9_]*$",
        "maxLength": 64,
        "minLength": 1
      },
      "additionalProperties": {
        "type": "object",
        "propertyNames": {
          "type": "string"
        },
        "additionalProperties": {}
      }
    },
    "adapters": {
      "type": "object",
      "properties": {
        "route_durations.v1": {
          "type": "object",
          "required": [
            "speed_kmh"
          ],
          "properties": {
            "speed_kmh": {
              "type": "number",
              "maximum": 150,
              "minimum": 1
            }
          },
          "additionalProperties": false
        }
      },
      "additionalProperties": false
    },
    "available": {
      "type": "array",
      "items": {
        "type": "string",
        "pattern": "^[a-z0-9_.]+$",
        "maxLength": 96,
        "minLength": 1
      },
      "maxItems": 48
    },
    "constraints": {
      "type": "object",
      "properties": {
        "max_steps": {
          "type": "integer",
          "default": 8,
          "maximum": 16,
          "minimum": 1
        },
        "local_only": {
          "type": "boolean",
          "default": true
        },
        "allowed_tools": {
          "type": "array",
          "items": {
            "type": "string",
            "pattern": "^[a-z][a-z0-9_]*$",
            "maxLength": 64,
            "minLength": 1
          },
          "maxItems": 20
        },
        "max_search_states": {
          "type": "integer",
          "default": 512,
          "maximum": 2048,
          "minimum": 1
        },
        "max_structural_cost": {
          "type": "integer",
          "default": 64,
          "maximum": 64,
          "minimum": 1
        }
      },
      "additionalProperties": false
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "train",
    "seed",
    "budget"
  ],
  "properties": {
    "seed": {
      "type": "integer",
      "maximum": 4294967295,
      "minimum": 0
    },
    "train": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "id",
          "points"
        ],
        "properties": {
          "id": {
            "type": "string",
            "pattern": "^[a-zA-Z0-9_-]+$",
            "maxLength": 64,
            "minLength": 1
          },
          "points": {
            "type": "array",
            "items": {
              "type": "object",
              "required": [
                "x",
                "y"
              ],
              "properties": {
                "x": {
                  "type": "number",
                  "maximum": 1000000,
                  "minimum": -1000000
                },
                "y": {
                  "type": "number",
                  "maximum": 1000000,
                  "minimum": -1000000
                }
              },
              "additionalProperties": false
            },
            "maxItems": 32,
            "minItems": 2
          }
        },
        "additionalProperties": false
      },
      "maxItems": 8,
      "minItems": 1
    },
    "budget": {
      "type": "object",
      "required": [
        "candidates",
        "fuel_per_case",
        "time_per_case_ms"
      ],
      "properties": {
        "candidates": {
          "type": "integer",
          "maximum": 64,
          "minimum": 1
        },
        "fuel_per_case": {
          "type": "integer",
          "maximum": 2000000,
          "minimum": 1
        },
        "time_per_case_ms": {
          "type": "number",
          "const": 100
        }
      },
      "additionalProperties": false
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "job_id"
  ],
  "properties": {
    "job_id": {
      "type": "string",
      "format": "uuid",
      "pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$"
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "polygon"
  ],
  "properties": {
    "modes": {
      "type": "integer",
      "maximum": 12,
      "minimum": 1,
      "description": "Default 8, counted with multiplicity."
    },
    "polygon": {
      "type": "array",
      "items": {
        "type": "array",
        "items": {
          "type": "number",
          "maximum": 10000,
          "minimum": -10000
        },
        "maxItems": 2,
        "minItems": 2
      },
      "maxItems": 65,
      "minItems": 3,
      "description": "Vertices [x, y] in metres, either orientation; a repeated closing vertex is allowed. Must be simple."
    },
    "boundary": {
      "anyOf": [
        {
          "type": "string",
          "const": "fixed"
        },
        {
          "type": "string",
          "const": "free"
        }
      ],
      "description": "fixed (default): drumhead, TM waveguide. free: acoustic cavity, TE waveguide."
    },
    "wave_speed": {
      "type": "number",
      "maximum": 1000000000,
      "minimum": 1e-9,
      "description": "m/s; √(tension/areal density) for a membrane. Enables frequency_hz and notes."
    },
    "compare_polygon": {
      "type": "array",
      "items": {
        "type": "array",
        "items": {
          "type": "number",
          "maximum": 10000,
          "minimum": -10000
        },
        "maxItems": 2,
        "minItems": 2
      },
      "maxItems": 65,
      "minItems": 3,
      "description": "Optional second shape: do the two drums sound the same?"
    },
    "include_mode_shapes": {
      "type": "boolean",
      "description": "Adds a ≤1024-triangle mesh with normalized mode values, for visualization."
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "properties": {
    "theme": {
      "type": "string",
      "maxLength": 64,
      "minLength": 1
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "properties": {},
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "properties": {},
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "budget",
    "items"
  ],
  "properties": {
    "items": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "name",
          "duration",
          "value"
        ],
        "properties": {
          "name": {
            "type": "string",
            "maxLength": 120,
            "minLength": 1
          },
          "value": {
            "type": "integer",
            "maximum": 10000,
            "minimum": 0
          },
          "duration": {
            "type": "integer",
            "maximum": 1440,
            "minimum": 1
          }
        }
      },
      "maxItems": 32,
      "minItems": 1
    },
    "budget": {
      "type": "integer",
      "maximum": 1440,
      "minimum": 1
    }
  }
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "date_utc",
    "latitude",
    "longitude"
  ],
  "properties": {
    "date_utc": {
      "type": "string",
      "pattern": "^(?:19\\d{2}|20\\d{2}|2100)-\\d{2}-\\d{2}T00:00:00Z$",
      "maxLength": 20,
      "minLength": 20,
      "description": "Real Gregorian UTC midnight, year 1900–2100. Rust also validates month/day and leap years. Other hours are rejected, never truncated; this is not a local civil day."
    },
    "latitude": {
      "type": "number",
      "maximum": 89,
      "minimum": -89,
      "description": "Degrees, North positive."
    },
    "longitude": {
      "type": "number",
      "maximum": 180,
      "minimum": -180,
      "description": "Degrees, East positive."
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "items",
    "budget",
    "uncertainty"
  ],
  "properties": {
    "seed": {
      "type": "integer",
      "default": 42,
      "maximum": 4294967295,
      "minimum": 0
    },
    "items": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "name",
          "duration",
          "value"
        ],
        "properties": {
          "name": {
            "type": "string",
            "maxLength": 120,
            "minLength": 1
          },
          "value": {
            "type": "integer",
            "maximum": 10000,
            "minimum": 0
          },
          "duration": {
            "type": "integer",
            "maximum": 1440,
            "minimum": 1
          }
        },
        "additionalProperties": false
      },
      "maxItems": 32,
      "minItems": 1
    },
    "budget": {
      "type": "integer",
      "maximum": 1440,
      "minimum": 1
    },
    "samples": {
      "type": "integer",
      "default": 10000,
      "maximum": 20000,
      "minimum": 100
    },
    "uncertainty": {
      "type": "number",
      "maximum": 0.5,
      "minimum": 0
    },
    "allowed_tools": {
      "type": "array",
      "items": {
        "type": "string",
        "pattern": "^[a-z][a-z0-9_]*$",
        "maxLength": 64,
        "minLength": 1
      },
      "default": [
        "optimize_tasks",
        "simulate_plan"
      ],
      "maxItems": 14
    },
    "duration_model": {
      "type": "string",
      "default": "independent_uniform",
      "maxLength": 64,
      "minLength": 1
    },
    "max_candidates": {
      "type": "integer",
      "default": 3,
      "maximum": 3,
      "minimum": 1
    },
    "min_success_rate": {
      "type": "number",
      "default": 0.95,
      "maximum": 0.999,
      "minimum": 0.5
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "observations",
    "candidates",
    "objective",
    "constraints",
    "assumptions"
  ],
  "properties": {
    "objective": {
      "type": "object",
      "required": [
        "horizon_s"
      ],
      "properties": {
        "horizon_s": {
          "type": "number",
          "maximum": 1000000000000,
          "minimum": -1000000000000,
          "description": "Absolute comparison time in the same corrected seconds as the observations; after the original observations, within their bounded 3600-second domain."
        }
      },
      "additionalProperties": false
    },
    "candidates": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "id",
          "station",
          "sample_times_s",
          "sigma_az_deg",
          "sigma_el_deg",
          "cost_units"
        ],
        "properties": {
          "id": {
            "type": "string",
            "pattern": "^[A-Za-z0-9_.-]+$",
            "maxLength": 64,
            "minLength": 1
          },
          "station": {
            "type": "object",
            "required": [
              "id",
              "lat",
              "lon",
              "elevation_m"
            ],
            "properties": {
              "id": {
                "type": "string",
                "pattern": "^[A-Za-z0-9_.-]+$",
                "maxLength": 64,
                "minLength": 1
              },
              "lat": {
                "type": "number",
                "maximum": 89,
                "minimum": -89
              },
              "lon": {
                "type": "number",
                "maximum": 180,
                "minimum": -180
              },
              "elevation_m": {
                "type": "number",
                "maximum": 9000,
                "minimum": -500
              }
            },
            "additionalProperties": false
          },
          "cost_units": {
            "type": "number",
            "maximum": 1000000000,
            "minimum": 0
          },
          "sigma_az_deg": {
            "type": "number",
            "maximum": 10,
            "minimum": 0.01
          },
          "sigma_el_deg": {
            "type": "number",
            "maximum": 10,
            "minimum": 0.01
          },
          "sample_times_s": {
            "type": "array",
            "items": {
              "type": "number",
              "maximum": 1000000000000,
              "minimum": -1000000000000
            },
            "maxItems": 120,
            "minItems": 3,
            "description": "Proposed corrected times, strictly increasing, after the last original observation and no later than the common horizon. No measured or simulated angles are accepted here."
          }
        },
        "additionalProperties": false
      },
      "maxItems": 64,
      "minItems": 1
    },
    "assumptions": {
      "type": "object",
      "required": [
        "independent_new_errors",
        "exact_stations_and_clocks",
        "constant_velocity"
      ],
      "properties": {
        "constant_velocity": {
          "type": "boolean",
          "const": true
        },
        "independent_new_errors": {
          "type": "boolean",
          "const": true
        },
        "exact_stations_and_clocks": {
          "type": "boolean",
          "const": true
        }
      },
      "additionalProperties": false
    },
    "constraints": {
      "type": "object",
      "required": [
        "max_cost_units",
        "min_elevation_deg"
      ],
      "properties": {
        "max_cost_units": {
          "type": "number",
          "maximum": 1000000000,
          "minimum": 0
        },
        "min_elevation_deg": {
          "type": "number",
          "maximum": 89,
          "minimum": -2
        }
      },
      "additionalProperties": false
    },
    "observations": {
      "type": "object",
      "required": [
        "observers"
      ],
      "properties": {
        "observers": {
          "type": "array",
          "items": {
            "type": "object",
            "required": [
              "lat",
              "lon",
              "sigma_az_deg",
              "sigma_el_deg",
              "samples"
            ],
            "properties": {
              "lat": {
                "type": "number",
                "maximum": 89,
                "minimum": -89
              },
              "lon": {
                "type": "number",
                "maximum": 180,
                "minimum": -180
              },
              "samples": {
                "type": "array",
                "items": {
                  "type": "object",
                  "required": [
                    "t_s",
                    "azimuth_deg",
                    "elevation_deg"
                  ],
                  "properties": {
                    "t_s": {
                      "type": "number",
                      "maximum": 1000000000000,
                      "minimum": -1000000000000,
                      "description": "Seconds from a common epoch, strictly increasing for this observer."
                    },
                    "azimuth_deg": {
                      "type": "number",
                      "maximum": 360,
                      "minimum": 0
                    },
                    "elevation_deg": {
                      "type": "number",
                      "maximum": 90,
                      "minimum": -2
                    }
                  },
                  "additionalProperties": false
                },
                "maxItems": 120,
                "minItems": 3
              },
              "elevation_m": {
                "type": "number",
                "default": 0,
                "maximum": 9000,
                "minimum": -500
              },
              "sigma_az_deg": {
                "type": "number",
                "maximum": 10,
                "minimum": 0.01
              },
              "sigma_el_deg": {
                "type": "number",
                "maximum": 10,
                "minimum": 0.01
              },
              "clock_offset_s": {
                "type": "number",
                "default": 0,
                "maximum": 60,
                "minimum": -60,
                "description": "The observer clock is ahead of the common base by this many seconds; the engine subtracts it."
              }
            },
            "additionalProperties": false
          },
          "maxItems": 4,
          "minItems": 2
        }
      },
      "description": "Original angular observations; Rust computes the baseline fit and covariance itself.",
      "additionalProperties": false
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "metric",
    "points"
  ],
  "properties": {
    "metric": {
      "enum": [
        "euclidean_km",
        "great_circle_km"
      ],
      "type": "string"
    },
    "points": {
      "type": "array",
      "items": {
        "anyOf": [
          {
            "type": "object",
            "required": [
              "x",
              "y"
            ],
            "properties": {
              "x": {
                "type": "number",
                "maximum": 1000000,
                "minimum": -1000000
              },
              "y": {
                "type": "number",
                "maximum": 1000000,
                "minimum": -1000000
              }
            },
            "additionalProperties": false
          },
          {
            "type": "object",
            "required": [
              "lat",
              "lon"
            ],
            "properties": {
              "lat": {
                "type": "number",
                "maximum": 90,
                "minimum": -90
              },
              "lon": {
                "type": "number",
                "maximum": 180,
                "minimum": -180
              }
            },
            "additionalProperties": false
          }
        ]
      },
      "maxItems": 256,
      "minItems": 2
    },
    "time_budget_ms": {
      "type": "integer",
      "default": 1000,
      "maximum": 10000,
      "minimum": 100
    },
    "return_to_start": {
      "type": "boolean",
      "default": true
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "points",
    "program"
  ],
  "properties": {
    "points": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "x",
          "y"
        ],
        "properties": {
          "x": {
            "type": "number",
            "maximum": 1000000,
            "minimum": -1000000
          },
          "y": {
            "type": "number",
            "maximum": 1000000,
            "minimum": -1000000
          }
        },
        "additionalProperties": false
      },
      "maxItems": 128,
      "minItems": 2
    },
    "program": {
      "type": "object",
      "required": [
        "version",
        "score"
      ],
      "properties": {
        "score": {
          "type": "object",
          "required": [
            "op"
          ],
          "properties": {
            "op": {
              "enum": [
                "feature",
                "constant",
                "add",
                "sub",
                "mul",
                "min",
                "max"
              ],
              "type": "string"
            },
            "left": {
              "type": "object",
              "required": [
                "op"
              ],
              "properties": {
                "op": {
                  "enum": [
                    "feature",
                    "constant",
                    "add",
                    "sub",
                    "mul",
                    "min",
                    "max"
                  ],
                  "type": "string"
                },
                "left": {
                  "type": "object",
                  "required": [
                    "op"
                  ],
                  "properties": {
                    "op": {
                      "enum": [
                        "feature",
                        "constant",
                        "add",
                        "sub",
                        "mul",
                        "min",
                        "max"
                      ],
                      "type": "string"
                    },
                    "left": {
                      "type": "object",
                      "required": [
                        "op"
                      ],
                      "properties": {
                        "op": {
                          "enum": [
                            "feature",
                            "constant",
                            "add",
                            "sub",
                            "mul",
                            "min",
                            "max"
                          ],
                          "type": "string"
                        },
                        "left": {
                          "type": "object",
                          "required": [
                            "op"
                          ],
                          "properties": {
                            "op": {
                              "enum": [
                                "feature",
                                "constant",
                                "add",
                                "sub",
                                "mul",
                                "min",
                                "max"
                              ],
                              "type": "string"
                            },
                            "name": {
                              "enum": [
                                "distance",
                                "depot",
                                "isolation",
                                "centrality",
                                "progress"
                              ],
                              "type": "string"
                            },
                            "value": {
                              "anyOf": [
                                {
                                  "type": "number",
                                  "const": -2
                                },
                                {
                                  "type": "number",
                                  "const": -1
                                },
                                {
                                  "type": "number",
                                  "const": -0.5
                                },
                                {
                                  "type": "number",
                                  "const": 0
                                },
                                {
                                  "type": "number",
                                  "const": 0.5
                                },
                                {
                                  "type": "number",
                                  "const": 1
                                },
                                {
                                  "type": "number",
                                  "const": 2
                                }
                              ]
                            }
                          },
                          "additionalProperties": false
                        },
                        "name": {
                          "enum": [
                            "distance",
                            "depot",
                            "isolation",
                            "centrality",
                            "progress"
                          ],
                          "type": "string"
                        },
                        "right": {
                          "type": "object",
                          "required": [
                            "op"
                          ],
                          "properties": {
                            "op": {
                              "enum": [
                                "feature",
                                "constant",
                                "add",
                                "sub",
                                "mul",
                                "min",
                                "max"
                              ],
                              "type": "string"
                            },
                            "name": {
                              "enum": [
                                "distance",
                                "depot",
                                "isolation",
                                "centrality",
                                "progress"
                              ],
                              "type": "string"
                            },
                            "value": {
                              "anyOf": [
                                {
                                  "type": "number",
                                  "const": -2
                                },
                                {
                                  "type": "number",
                                  "const": -1
                                },
                                {
                                  "type": "number",
                                  "const": -0.5
                                },
                                {
                                  "type": "number",
                                  "const": 0
                                },
                                {
                                  "type": "number",
                                  "const": 0.5
                                },
                                {
                                  "type": "number",
                                  "const": 1
                                },
                                {
                                  "type": "number",
                                  "const": 2
                                }
                              ]
                            }
                          },
                          "additionalProperties": false
                        },
                        "value": {
                          "anyOf": [
                            {
                              "type": "number",
                              "const": -2
                            },
                            {
                              "type": "number",
                              "const": -1
                            },
                            {
                              "type": "number",
                              "const": -0.5
                            },
                            {
                              "type": "number",
                              "const": 0
                            },
                            {
                              "type": "number",
                              "const": 0.5
                            },
                            {
                              "type": "number",
                              "const": 1
                            },
                            {
                              "type": "number",
                              "const": 2
                            }
                          ]
                        }
                      },
                      "additionalProperties": false
                    },
                    "name": {
                      "enum": [
                        "distance",
                        "depot",
                        "isolation",
                        "centrality",
                        "progress"
                      ],
                      "type": "string"
                    },
                    "right": {
                      "type": "object",
                      "required": [
                        "op"
                      ],
                      "properties": {
                        "op": {
                          "enum": [
                            "feature",
                            "constant",
                            "add",
                            "sub",
                            "mul",
                            "min",
                            "max"
                          ],
                          "type": "string"
                        },
                        "left": {
                          "type": "object",
                          "required": [
                            "op"
                          ],
                          "properties": {
                            "op": {
                              "enum": [
                                "feature",
                                "constant",
                                "add",
                                "sub",
                                "mul",
                                "min",
                                "max"
                              ],
                              "type": "string"
                            },
                            "name": {
                              "enum": [
                                "distance",
                                "depot",
                                "isolation",
                                "centrality",
                                "progress"
                              ],
                              "type": "string"
                            },
                            "value": {
                              "anyOf": [
                                {
                                  "type": "number",
                                  "const": -2
                                },
                                {
                                  "type": "number",
                                  "const": -1
                                },
                                {
                                  "type": "number",
                                  "const": -0.5
                                },
                                {
                                  "type": "number",
                                  "const": 0
                                },
                                {
                                  "type": "number",
                                  "const": 0.5
                                },
                                {
                                  "type": "number",
                                  "const": 1
                                },
                                {
                                  "type": "number",
                                  "const": 2
                                }
                              ]
                            }
                          },
                          "additionalProperties": false
                        },
                        "name": {
                          "enum": [
                            "distance",
                            "depot",
                            "isolation",
                            "centrality",
                            "progress"
                          ],
                          "type": "string"
                        },
                        "right": {
                          "type": "object",
                          "required": [
                            "op"
                          ],
                          "properties": {
                            "op": {
                              "enum": [
                                "feature",
                                "constant",
                                "add",
                                "sub",
                                "mul",
                                "min",
                                "max"
                              ],
                              "type": "string"
                            },
                            "name": {
                              "enum": [
                                "distance",
                                "depot",
                                "isolation",
                                "centrality",
                                "progress"
                              ],
                              "type": "string"
                            },
                            "value": {
                              "anyOf": [
                                {
                                  "type": "number",
                                  "const": -2
                                },
                                {
                                  "type": "number",
                                  "const": -1
                                },
                                {
                                  "type": "number",
                                  "const": -0.5
                                },
                                {
                                  "type": "number",
                                  "const": 0
                                },
                                {
                                  "type": "number",
                                  "const": 0.5
                                },
                                {
                                  "type": "number",
                                  "const": 1
                                },
                                {
                                  "type": "number",
                                  "const": 2
                                }
                              ]
                            }
                          },
                          "additionalProperties": false
                        },
                        "value": {
                          "anyOf": [
                            {
                              "type": "number",
                              "const": -2
                            },
                            {
                              "type": "number",
                              "const": -1
                            },
                            {
                              "type": "number",
                              "const": -0.5
                            },
                            {
                              "type": "number",
                              "const": 0
                            },
                            {
                              "type": "number",
                              "const": 0.5
                            },
                            {
                              "type": "number",
                              "const": 1
                            },
                            {
                              "type": "number",
                              "const": 2
                            }
                          ]
                        }
                      },
                      "additionalProperties": false
                    },
                    "value": {
                      "anyOf": [
                        {
                          "type": "number",
                          "const": -2
                        },
                        {
                          "type": "number",
                          "const": -1
                        },
                        {
                          "type": "number",
                          "const": -0.5
                        },
                        {
                          "type": "number",
                          "const": 0
                        },
                        {
                          "type": "number",
                          "const": 0.5
                        },
                        {
                          "type": "number",
                          "const": 1
                        },
                        {
                          "type": "number",
                          "const": 2
                        }
                      ]
                    }
                  },
                  "additionalProperties": false
                },
                "name": {
                  "enum": [
                    "distance",
                    "depot",
                    "isolation",
                    "centrality",
                    "progress"
                  ],
                  "type": "string"
                },
                "right": {
                  "type": "object",
                  "required": [
                    "op"
                  ],
                  "properties": {
                    "op": {
                      "enum": [
                        "feature",
                        "constant",
                        "add",
                        "sub",
                        "mul",
                        "min",
                        "max"
                      ],
                      "type": "string"
                    },
                    "left": {
                      "type": "object",
                      "required": [
                        "op"
                      ],
                      "properties": {
                        "op": {
                          "enum": [
                            "feature",
                            "constant",
                            "add",
                            "sub",
                            "mul",
                            "min",
                            "max"
                          ],
                          "type": "string"
                        },
                        "left": {
                          "type": "object",
                          "required": [
                            "op"
                          ],
                          "properties": {
                            "op": {
                              "enum": [
                                "feature",
                                "constant",
                                "add",
                                "sub",
                                "mul",
                                "min",
                                "max"
                              ],
                              "type": "string"
                            },
                            "name": {
                              "enum": [
                                "distance",
                                "depot",
                                "isolation",
                                "centrality",
                                "progress"
                              ],
                              "type": "string"
                            },
                            "value": {
                              "anyOf": [
                                {
                                  "type": "number",
                                  "const": -2
                                },
                                {
                                  "type": "number",
                                  "const": -1
                                },
                                {
                                  "type": "number",
                                  "const": -0.5
                                },
                                {
                                  "type": "number",
                                  "const": 0
                                },
                                {
                                  "type": "number",
                                  "const": 0.5
                                },
                                {
                                  "type": "number",
                                  "const": 1
                                },
                                {
                                  "type": "number",
                                  "const": 2
                                }
                              ]
                            }
                          },
                          "additionalProperties": false
                        },
                        "name": {
                          "enum": [
                            "distance",
                            "depot",
                            "isolation",
                            "centrality",
                            "progress"
                          ],
                          "type": "string"
                        },
                        "right": {
                          "type": "object",
                          "required": [
                            "op"
                          ],
                          "properties": {
                            "op": {
                              "enum": [
                                "feature",
                                "constant",
                                "add",
                                "sub",
                                "mul",
                                "min",
                                "max"
                              ],
                              "type": "string"
                            },
                            "name": {
                              "enum": [
                                "distance",
                                "depot",
                                "isolation",
                                "centrality",
                                "progress"
                              ],
                              "type": "string"
                            },
                            "value": {
                              "anyOf": [
                                {
                                  "type": "number",
                                  "const": -2
                                },
                                {
                                  "type": "number",
                                  "const": -1
                                },
                                {
                                  "type": "number",
                                  "const": -0.5
                                },
                                {
                                  "type": "number",
                                  "const": 0
                                },
                                {
                                  "type": "number",
                                  "const": 0.5
                                },
                                {
                                  "type": "number",
                                  "const": 1
                                },
                                {
                                  "type": "number",
                                  "const": 2
                                }
                              ]
                            }
                          },
                          "additionalProperties": false
                        },
                        "value": {
                          "anyOf": [
                            {
                              "type": "number",
                              "const": -2
                            },
                            {
                              "type": "number",
                              "const": -1
                            },
                            {
                              "type": "number",
                              "const": -0.5
                            },
                            {
                              "type": "number",
                              "const": 0
                            },
                            {
                              "type": "number",
                              "const": 0.5
                            },
                            {
                              "type": "number",
                              "const": 1
                            },
                            {
                              "type": "number",
                              "const": 2
                            }
                          ]
                        }
                      },
                      "additionalProperties": false
                    },
                    "name": {
                      "enum": [
                        "distance",
                        "depot",
                        "isolation",
                        "centrality",
                        "progress"
                      ],
                      "type": "string"
                    },
                    "right": {
                      "type": "object",
                      "required": [
                        "op"
                      ],
                      "properties": {
                        "op": {
                          "enum": [
                            "feature",
                            "constant",
                            "add",
                            "sub",
                            "mul",
                            "min",
                            "max"
                          ],
                          "type": "string"
                        },
                        "left": {
                          "type": "object",
                          "required": [
                            "op"
                          ],
                          "properties": {
                            "op": {
                              "enum": [
                                "feature",
                                "constant",
                                "add",
                                "sub",
                                "mul",
                                "min",
                                "max"
                              ],
                              "type": "string"
                            },
                            "name": {
                              "enum": [
                                "distance",
                                "depot",
                                "isolation",
                                "centrality",
                                "progress"
                              ],
                              "type": "string"
                            },
                            "value": {
                              "anyOf": [
                                {
                                  "type": "number",
                                  "const": -2
                                },
                                {
                                  "type": "number",
                                  "const": -1
                                },
                                {
                                  "type": "number",
                                  "const": -0.5
                                },
                                {
                                  "type": "number",
                                  "const": 0
                                },
                                {
                                  "type": "number",
                                  "const": 0.5
                                },
                                {
                                  "type": "number",
                                  "const": 1
                                },
                                {
                                  "type": "number",
                                  "const": 2
                                }
                              ]
                            }
                          },
                          "additionalProperties": false
                        },
                        "name": {
                          "enum": [
                            "distance",
                            "depot",
                            "isolation",
                            "centrality",
                            "progress"
                          ],
                          "type": "string"
                        },
                        "right": {
                          "type": "object",
                          "required": [
                            "op"
                          ],
                          "properties": {
                            "op": {
                              "enum": [
                                "feature",
                                "constant",
                                "add",
                                "sub",
                                "mul",
                                "min",
                                "max"
                              ],
                              "type": "string"
                            },
                            "name": {
                              "enum": [
                                "distance",
                                "depot",
                                "isolation",
                                "centrality",
                                "progress"
                              ],
                              "type": "string"
                            },
                            "value": {
                              "anyOf": [
                                {
                                  "type": "number",
                                  "const": -2
                                },
                                {
                                  "type": "number",
                                  "const": -1
                                },
                                {
                                  "type": "number",
                                  "const": -0.5
                                },
                                {
                                  "type": "number",
                                  "const": 0
                                },
                                {
                                  "type": "number",
                                  "const": 0.5
                                },
                                {
                                  "type": "number",
                                  "const": 1
                                },
                                {
                                  "type": "number",
                                  "const": 2
                                }
                              ]
                            }
                          },
                          "additionalProperties": false
                        },
                        "value": {
                          "anyOf": [
                            {
                              "type": "number",
                              "const": -2
                            },
                            {
                              "type": "number",
                              "const": -1
                            },
                            {
                              "type": "number",
                              "const": -0.5
                            },
                            {
                              "type": "number",
                              "const": 0
                            },
                            {
                              "type": "number",
                              "const": 0.5
                            },
                            {
                              "type": "number",
                              "const": 1
                            },
                            {
                              "type": "number",
                              "const": 2
                            }
                          ]
                        }
                      },
                      "additionalProperties": false
                    },
                    "value": {
                      "anyOf": [
                        {
                          "type": "number",
                          "const": -2
                        },
                        {
                          "type": "number",
                          "const": -1
                        },
                        {
                          "type": "number",
                          "const": -0.5
                        },
                        {
                          "type": "number",
                          "const": 0
                        },
                        {
                          "type": "number",
                          "const": 0.5
                        },
                        {
                          "type": "number",
                          "const": 1
                        },
                        {
                          "type": "number",
                          "const": 2
                        }
                      ]
                    }
                  },
                  "additionalProperties": false
                },
                "value": {
                  "anyOf": [
                    {
                      "type": "number",
                      "const": -2
                    },
                    {
                      "type": "number",
                      "const": -1
                    },
                    {
                      "type": "number",
                      "const": -0.5
                    },
                    {
                      "type": "number",
                      "const": 0
                    },
                    {
                      "type": "number",
                      "const": 0.5
                    },
                    {
                      "type": "number",
                      "const": 1
                    },
                    {
                      "type": "number",
                      "const": 2
                    }
                  ]
                }
              },
              "additionalProperties": false
            },
            "name": {
              "enum": [
                "distance",
                "depot",
                "isolation",
                "centrality",
                "progress"
              ],
              "type": "string"
            },
            "right": {
              "type": "object",
              "required": [
                "op"
              ],
              "properties": {
                "op": {
                  "enum": [
                    "feature",
                    "constant",
                    "add",
                    "sub",
                    "mul",
                    "min",
                    "max"
                  ],
                  "type": "string"
                },
                "left": {
                  "type": "object",
                  "required": [
                    "op"
                  ],
                  "properties": {
                    "op": {
                      "enum": [
                        "feature",
                        "constant",
                        "add",
                        "sub",
                        "mul",
                        "min",
                        "max"
                      ],
                      "type": "string"
                    },
                    "left": {
                      "type": "object",
                      "required": [
                        "op"
                      ],
                      "properties": {
                        "op": {
                          "enum": [
                            "feature",
                            "constant",
                            "add",
                            "sub",
                            "mul",
                            "min",
                            "max"
                          ],
                          "type": "string"
                        },
                        "left": {
                          "type": "object",
                          "required": [
                            "op"
                          ],
                          "properties": {
                            "op": {
                              "enum": [
                                "feature",
                                "constant",
                                "add",
                                "sub",
                                "mul",
                                "min",
                                "max"
                              ],
                              "type": "string"
                            },
                            "name": {
                              "enum": [
                                "distance",
                                "depot",
                                "isolation",
                                "centrality",
                                "progress"
                              ],
                              "type": "string"
                            },
                            "value": {
                              "anyOf": [
                                {
                                  "type": "number",
                                  "const": -2
                                },
                                {
                                  "type": "number",
                                  "const": -1
                                },
                                {
                                  "type": "number",
                                  "const": -0.5
                                },
                                {
                                  "type": "number",
                                  "const": 0
                                },
                                {
                                  "type": "number",
                                  "const": 0.5
                                },
                                {
                                  "type": "number",
                                  "const": 1
                                },
                                {
                                  "type": "number",
                                  "const": 2
                                }
                              ]
                            }
                          },
                          "additionalProperties": false
                        },
                        "name": {
                          "enum": [
                            "distance",
                            "depot",
                            "isolation",
                            "centrality",
                            "progress"
                          ],
                          "type": "string"
                        },
                        "right": {
                          "type": "object",
                          "required": [
                            "op"
                          ],
                          "properties": {
                            "op": {
                              "enum": [
                                "feature",
                                "constant",
                                "add",
                                "sub",
                                "mul",
                                "min",
                                "max"
                              ],
                              "type": "string"
                            },
                            "name": {
                              "enum": [
                                "distance",
                                "depot",
                                "isolation",
                                "centrality",
                                "progress"
                              ],
                              "type": "string"
                            },
                            "value": {
                              "anyOf": [
                                {
                                  "type": "number",
                                  "const": -2
                                },
                                {
                                  "type": "number",
                                  "const": -1
                                },
                                {
                                  "type": "number",
                                  "const": -0.5
                                },
                                {
                                  "type": "number",
                                  "const": 0
                                },
                                {
                                  "type": "number",
                                  "const": 0.5
                                },
                                {
                                  "type": "number",
                                  "const": 1
                                },
                                {
                                  "type": "number",
                                  "const": 2
                                }
                              ]
                            }
                          },
                          "additionalProperties": false
                        },
                        "value": {
                          "anyOf": [
                            {
                              "type": "number",
                              "const": -2
                            },
                            {
                              "type": "number",
                              "const": -1
                            },
                            {
                              "type": "number",
                              "const": -0.5
                            },
                            {
                              "type": "number",
                              "const": 0
                            },
                            {
                              "type": "number",
                              "const": 0.5
                            },
                            {
                              "type": "number",
                              "const": 1
                            },
                            {
                              "type": "number",
                              "const": 2
                            }
                          ]
                        }
                      },
                      "additionalProperties": false
                    },
                    "name": {
                      "enum": [
                        "distance",
                        "depot",
                        "isolation",
                        "centrality",
                        "progress"
                      ],
                      "type": "string"
                    },
                    "right": {
                      "type": "object",
                      "required": [
                        "op"
                      ],
                      "properties": {
                        "op": {
                          "enum": [
                            "feature",
                            "constant",
                            "add",
                            "sub",
                            "mul",
                            "min",
                            "max"
                          ],
                          "type": "string"
                        },
                        "left": {
                          "type": "object",
                          "required": [
                            "op"
                          ],
                          "properties": {
                            "op": {
                              "enum": [
                                "feature",
                                "constant",
                                "add",
                                "sub",
                                "mul",
                                "min",
                                "max"
                              ],
                              "type": "string"
                            },
                            "name": {
                              "enum": [
                                "distance",
                                "depot",
                                "isolation",
                                "centrality",
                                "progress"
                              ],
                              "type": "string"
                            },
                            "value": {
                              "anyOf": [
                                {
                                  "type": "number",
                                  "const": -2
                                },
                                {
                                  "type": "number",
                                  "const": -1
                                },
                                {
                                  "type": "number",
                                  "const": -0.5
                                },
                                {
                                  "type": "number",
                                  "const": 0
                                },
                                {
                                  "type": "number",
                                  "const": 0.5
                                },
                                {
                                  "type": "number",
                                  "const": 1
                                },
                                {
                                  "type": "number",
                                  "const": 2
                                }
                              ]
                            }
                          },
                          "additionalProperties": false
                        },
                        "name": {
                          "enum": [
                            "distance",
                            "depot",
                            "isolation",
                            "centrality",
                            "progress"
                          ],
                          "type": "string"
                        },
                        "right": {
                          "type": "object",
                          "required": [
                            "op"
                          ],
                          "properties": {
                            "op": {
                              "enum": [
                                "feature",
                                "constant",
                                "add",
                                "sub",
                                "mul",
                                "min",
                                "max"
                              ],
                              "type": "string"
                            },
                            "name": {
                              "enum": [
                                "distance",
                                "depot",
                                "isolation",
                                "centrality",
                                "progress"
                              ],
                              "type": "string"
                            },
                            "value": {
                              "anyOf": [
                                {
                                  "type": "number",
                                  "const": -2
                                },
                                {
                                  "type": "number",
                                  "const": -1
                                },
                                {
                                  "type": "number",
                                  "const": -0.5
                                },
                                {
                                  "type": "number",
                                  "const": 0
                                },
                                {
                                  "type": "number",
                                  "const": 0.5
                                },
                                {
                                  "type": "number",
                                  "const": 1
                                },
                                {
                                  "type": "number",
                                  "const": 2
                                }
                              ]
                            }
                          },
                          "additionalProperties": false
                        },
                        "value": {
                          "anyOf": [
                            {
                              "type": "number",
                              "const": -2
                            },
                            {
                              "type": "number",
                              "const": -1
                            },
                            {
                              "type": "number",
                              "const": -0.5
                            },
                            {
                              "type": "number",
                              "const": 0
                            },
                            {
                              "type": "number",
                              "const": 0.5
                            },
                            {
                              "type": "number",
                              "const": 1
                            },
                            {
                              "type": "number",
                              "const": 2
                            }
                          ]
                        }
                      },
                      "additionalProperties": false
                    },
                    "value": {
                      "anyOf": [
                        {
                          "type": "number",
                          "const": -2
                        },
                        {
                          "type": "number",
                          "const": -1
                        },
                        {
                          "type": "number",
                          "const": -0.5
                        },
                        {
                          "type": "number",
                          "const": 0
                        },
                        {
                          "type": "number",
                          "const": 0.5
                        },
                        {
                          "type": "number",
                          "const": 1
                        },
                        {
                          "type": "number",
                          "const": 2
                        }
                      ]
                    }
                  },
                  "additionalProperties": false
                },
                "name": {
                  "enum": [
                    "distance",
                    "depot",
                    "isolation",
                    "centrality",
                    "progress"
                  ],
                  "type": "string"
                },
                "right": {
                  "type": "object",
                  "required": [
                    "op"
                  ],
                  "properties": {
                    "op": {
                      "enum": [
                        "feature",
                        "constant",
                        "add",
                        "sub",
                        "mul",
                        "min",
                        "max"
                      ],
                      "type": "string"
                    },
                    "left": {
                      "type": "object",
                      "required": [
                        "op"
                      ],
                      "properties": {
                        "op": {
                          "enum": [
                            "feature",
                            "constant",
                            "add",
                            "sub",
                            "mul",
                            "min",
                            "max"
                          ],
                          "type": "string"
                        },
                        "left": {
                          "type": "object",
                          "required": [
                            "op"
                          ],
                          "properties": {
                            "op": {
                              "enum": [
                                "feature",
                                "constant",
                                "add",
                                "sub",
                                "mul",
                                "min",
                                "max"
                              ],
                              "type": "string"
                            },
                            "name": {
                              "enum": [
                                "distance",
                                "depot",
                                "isolation",
                                "centrality",
                                "progress"
                              ],
                              "type": "string"
                            },
                            "value": {
                              "anyOf": [
                                {
                                  "type": "number",
                                  "const": -2
                                },
                                {
                                  "type": "number",
                                  "const": -1
                                },
                                {
                                  "type": "number",
                                  "const": -0.5
                                },
                                {
                                  "type": "number",
                                  "const": 0
                                },
                                {
                                  "type": "number",
                                  "const": 0.5
                                },
                                {
                                  "type": "number",
                                  "const": 1
                                },
                                {
                                  "type": "number",
                                  "const": 2
                                }
                              ]
                            }
                          },
                          "additionalProperties": false
                        },
                        "name": {
                          "enum": [
                            "distance",
                            "depot",
                            "isolation",
                            "centrality",
                            "progress"
                          ],
                          "type": "string"
                        },
                        "right": {
                          "type": "object",
                          "required": [
                            "op"
                          ],
                          "properties": {
                            "op": {
                              "enum": [
                                "feature",
                                "constant",
                                "add",
                                "sub",
                                "mul",
                                "min",
                                "max"
                              ],
                              "type": "string"
                            },
                            "name": {
                              "enum": [
                                "distance",
                                "depot",
                                "isolation",
                                "centrality",
                                "progress"
                              ],
                              "type": "string"
                            },
                            "value": {
                              "anyOf": [
                                {
                                  "type": "number",
                                  "const": -2
                                },
                                {
                                  "type": "number",
                                  "const": -1
                                },
                                {
                                  "type": "number",
                                  "const": -0.5
                                },
                                {
                                  "type": "number",
                                  "const": 0
                                },
                                {
                                  "type": "number",
                                  "const": 0.5
                                },
                                {
                                  "type": "number",
                                  "const": 1
                                },
                                {
                                  "type": "number",
                                  "const": 2
                                }
                              ]
                            }
                          },
                          "additionalProperties": false
                        },
                        "value": {
                          "anyOf": [
                            {
                              "type": "number",
                              "const": -2
                            },
                            {
                              "type": "number",
                              "const": -1
                            },
                            {
                              "type": "number",
                              "const": -0.5
                            },
                            {
                              "type": "number",
                              "const": 0
                            },
                            {
                              "type": "number",
                              "const": 0.5
                            },
                            {
                              "type": "number",
                              "const": 1
                            },
                            {
                              "type": "number",
                              "const": 2
                            }
                          ]
                        }
                      },
                      "additionalProperties": false
                    },
                    "name": {
                      "enum": [
                        "distance",
                        "depot",
                        "isolation",
                        "centrality",
                        "progress"
                      ],
                      "type": "string"
                    },
                    "right": {
                      "type": "object",
                      "required": [
                        "op"
                      ],
                      "properties": {
                        "op": {
                          "enum": [
                            "feature",
                            "constant",
                            "add",
                            "sub",
                            "mul",
                            "min",
                            "max"
                          ],
                          "type": "string"
                        },
                        "left": {
                          "type": "object",
                          "required": [
                            "op"
                          ],
                          "properties": {
                            "op": {
                              "enum": [
                                "feature",
                                "constant",
                                "add",
                                "sub",
                                "mul",
                                "min",
                                "max"
                              ],
                              "type": "string"
                            },
                            "name": {
                              "enum": [
                                "distance",
                                "depot",
                                "isolation",
                                "centrality",
                                "progress"
                              ],
                              "type": "string"
                            },
                            "value": {
                              "anyOf": [
                                {
                                  "type": "number",
                                  "const": -2
                                },
                                {
                                  "type": "number",
                                  "const": -1
                                },
                                {
                                  "type": "number",
                                  "const": -0.5
                                },
                                {
                                  "type": "number",
                                  "const": 0
                                },
                                {
                                  "type": "number",
                                  "const": 0.5
                                },
                                {
                                  "type": "number",
                                  "const": 1
                                },
                                {
                                  "type": "number",
                                  "const": 2
                                }
                              ]
                            }
                          },
                          "additionalProperties": false
                        },
                        "name": {
                          "enum": [
                            "distance",
                            "depot",
                            "isolation",
                            "centrality",
                            "progress"
                          ],
                          "type": "string"
                        },
                        "right": {
                          "type": "object",
                          "required": [
                            "op"
                          ],
                          "properties": {
                            "op": {
                              "enum": [
                                "feature",
                                "constant",
                                "add",
                                "sub",
                                "mul",
                                "min",
                                "max"
                              ],
                              "type": "string"
                            },
                            "name": {
                              "enum": [
                                "distance",
                                "depot",
                                "isolation",
                                "centrality",
                                "progress"
                              ],
                              "type": "string"
                            },
                            "value": {
                              "anyOf": [
                                {
                                  "type": "number",
                                  "const": -2
                                },
                                {
                                  "type": "number",
                                  "const": -1
                                },
                                {
                                  "type": "number",
                                  "const": -0.5
                                },
                                {
                                  "type": "number",
                                  "const": 0
                                },
                                {
                                  "type": "number",
                                  "const": 0.5
                                },
                                {
                                  "type": "number",
                                  "const": 1
                                },
                                {
                                  "type": "number",
                                  "const": 2
                                }
                              ]
                            }
                          },
                          "additionalProperties": false
                        },
                        "value": {
                          "anyOf": [
                            {
                              "type": "number",
                              "const": -2
                            },
                            {
                              "type": "number",
                              "const": -1
                            },
                            {
                              "type": "number",
                              "const": -0.5
                            },
                            {
                              "type": "number",
                              "const": 0
                            },
                            {
                              "type": "number",
                              "const": 0.5
                            },
                            {
                              "type": "number",
                              "const": 1
                            },
                            {
                              "type": "number",
                              "const": 2
                            }
                          ]
                        }
                      },
                      "additionalProperties": false
                    },
                    "value": {
                      "anyOf": [
                        {
                          "type": "number",
                          "const": -2
                        },
                        {
                          "type": "number",
                          "const": -1
                        },
                        {
                          "type": "number",
                          "const": -0.5
                        },
                        {
                          "type": "number",
                          "const": 0
                        },
                        {
                          "type": "number",
                          "const": 0.5
                        },
                        {
                          "type": "number",
                          "const": 1
                        },
                        {
                          "type": "number",
                          "const": 2
                        }
                      ]
                    }
                  },
                  "additionalProperties": false
                },
                "value": {
                  "anyOf": [
                    {
                      "type": "number",
                      "const": -2
                    },
                    {
                      "type": "number",
                      "const": -1
                    },
                    {
                      "type": "number",
                      "const": -0.5
                    },
                    {
                      "type": "number",
                      "const": 0
                    },
                    {
                      "type": "number",
                      "const": 0.5
                    },
                    {
                      "type": "number",
                      "const": 1
                    },
                    {
                      "type": "number",
                      "const": 2
                    }
                  ]
                }
              },
              "additionalProperties": false
            },
            "value": {
              "anyOf": [
                {
                  "type": "number",
                  "const": -2
                },
                {
                  "type": "number",
                  "const": -1
                },
                {
                  "type": "number",
                  "const": -0.5
                },
                {
                  "type": "number",
                  "const": 0
                },
                {
                  "type": "number",
                  "const": 0.5
                },
                {
                  "type": "number",
                  "const": 1
                },
                {
                  "type": "number",
                  "const": 2
                }
              ]
            }
          },
          "additionalProperties": false
        },
        "version": {
          "type": "number",
          "const": 1
        }
      },
      "additionalProperties": false
    },
    "fuel_limit": {
      "type": "integer",
      "default": 2000000,
      "maximum": 4000000,
      "minimum": 1
    },
    "time_budget_ms": {
      "type": "integer",
      "default": 100,
      "maximum": 1000,
      "minimum": 100
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "bound",
    "expression",
    "relation",
    "variables"
  ],
  "properties": {
    "bound": {
      "type": "number",
      "maximum": 1000000000000,
      "minimum": -1000000000000
    },
    "relation": {
      "anyOf": [
        {
          "type": "string",
          "const": "le"
        },
        {
          "type": "string",
          "const": "ge"
        }
      ]
    },
    "tolerance": {
      "type": "number",
      "maximum": 1000000000000,
      "minimum": 0
    },
    "variables": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "max",
          "min",
          "name",
          "steps"
        ],
        "properties": {
          "max": {
            "type": "number",
            "maximum": 1000000,
            "minimum": -1000000
          },
          "min": {
            "type": "number",
            "maximum": 1000000,
            "minimum": -1000000
          },
          "name": {
            "type": "string",
            "pattern": "^[A-Za-z_][A-Za-z0-9_]*$",
            "maxLength": 32,
            "minLength": 1
          },
          "steps": {
            "type": "integer",
            "maximum": 64,
            "minimum": 2
          }
        },
        "additionalProperties": false
      },
      "maxItems": 6,
      "minItems": 1
    },
    "expression": {
      "type": "string",
      "maxLength": 512,
      "minLength": 1
    },
    "max_evaluations": {
      "type": "integer",
      "maximum": 200000,
      "minimum": 1
    },
    "max_counterexamples": {
      "type": "integer",
      "maximum": 16,
      "minimum": 1
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "trades"
  ],
  "properties": {
    "trades": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "ts_s",
          "price",
          "volume"
        ],
        "properties": {
          "ts_s": {
            "type": "number",
            "minimum": 0
          },
          "price": {
            "type": "number",
            "minimum": 0
          },
          "volume": {
            "type": "number",
            "minimum": 0
          }
        }
      },
      "maxItems": 5000,
      "minItems": 20
    },
    "window_s": {
      "type": "number",
      "default": 3600,
      "maximum": 86400,
      "minimum": 60
    },
    "price_band_pct": {
      "type": "number",
      "default": 0.25,
      "maximum": 5,
      "minimum": 0.01
    }
  }
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "samples",
    "seed"
  ],
  "properties": {
    "seed": {
      "type": "integer",
      "maximum": 4294967295,
      "minimum": 0
    },
    "backend": {
      "enum": [
        "cpu",
        "cuda"
      ],
      "type": "string",
      "default": "cpu"
    },
    "samples": {
      "type": "integer",
      "maximum": 5000000,
      "minimum": 100
    },
    "device_ids": {
      "type": "array",
      "items": {
        "type": "integer",
        "maximum": 9007199254740991,
        "minimum": 0
      },
      "maxItems": 16
    }
  }
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "durations",
    "budget",
    "samples",
    "seed",
    "uncertainty"
  ],
  "properties": {
    "seed": {
      "type": "integer",
      "maximum": 4294967295,
      "minimum": 0
    },
    "budget": {
      "type": "integer",
      "maximum": 1440,
      "minimum": 1
    },
    "samples": {
      "type": "integer",
      "maximum": 100000,
      "minimum": 100
    },
    "durations": {
      "type": "array",
      "items": {
        "type": "integer",
        "maximum": 1440,
        "minimum": 1
      },
      "maxItems": 32,
      "minItems": 1
    },
    "uncertainty": {
      "type": "number",
      "maximum": 0.5,
      "minimum": 0
    }
  }
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "properties": {
    "iterations": {
      "type": "integer",
      "default": 200000,
      "maximum": 5000000,
      "minimum": 1000
    }
  }
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "observations",
    "claim",
    "bounds",
    "cases",
    "perturbations_are_hypothetical"
  ],
  "properties": {
    "cases": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "id",
          "observer_index",
          "azimuth_bias_deg",
          "elevation_bias_deg",
          "clock_offset_delta_s"
        ],
        "properties": {
          "id": {
            "type": "string",
            "pattern": "^[A-Za-z0-9_-]+$",
            "maxLength": 64,
            "minLength": 1
          },
          "observer_index": {
            "type": "integer",
            "maximum": 3,
            "minimum": 0
          },
          "azimuth_bias_deg": {
            "type": "number",
            "maximum": 10,
            "minimum": -10
          },
          "elevation_bias_deg": {
            "type": "number",
            "maximum": 10,
            "minimum": -10
          },
          "clock_offset_delta_s": {
            "type": "number",
            "maximum": 60,
            "minimum": -60,
            "description": "Hypothetical change to the declared clock correction, not to the measured timestamps."
          }
        },
        "additionalProperties": false
      },
      "maxItems": 32,
      "minItems": 1
    },
    "claim": {
      "type": "object",
      "required": [
        "evaluation_time_s",
        "max_position_shift_m"
      ],
      "properties": {
        "evaluation_time_s": {
          "type": "number",
          "description": "Absolute corrected time, within 3600 seconds of the first corrected original measurement."
        },
        "max_position_shift_m": {
          "type": "number",
          "maximum": 1000000,
          "minimum": 0.001
        }
      },
      "additionalProperties": false
    },
    "bounds": {
      "type": "object",
      "required": [
        "max_angular_bias_deg",
        "max_clock_offset_delta_s",
        "max_evaluations",
        "stop_on_first"
      ],
      "properties": {
        "stop_on_first": {
          "type": "boolean"
        },
        "max_evaluations": {
          "type": "integer",
          "maximum": 32,
          "minimum": 1
        },
        "max_angular_bias_deg": {
          "type": "number",
          "maximum": 10,
          "minimum": 0
        },
        "max_clock_offset_delta_s": {
          "type": "number",
          "maximum": 60,
          "minimum": 0
        }
      },
      "additionalProperties": false
    },
    "observations": {
      "type": "object",
      "required": [
        "observers"
      ],
      "properties": {
        "observers": {
          "type": "array",
          "items": {
            "type": "object",
            "required": [
              "lat",
              "lon",
              "sigma_az_deg",
              "sigma_el_deg",
              "samples"
            ],
            "properties": {
              "lat": {
                "type": "number",
                "maximum": 89,
                "minimum": -89
              },
              "lon": {
                "type": "number",
                "maximum": 180,
                "minimum": -180
              },
              "samples": {
                "type": "array",
                "items": {
                  "type": "object",
                  "required": [
                    "t_s",
                    "azimuth_deg",
                    "elevation_deg"
                  ],
                  "properties": {
                    "t_s": {
                      "type": "number",
                      "maximum": 1000000000000,
                      "minimum": -1000000000000,
                      "description": "Seconds from a common epoch, strictly increasing for this observer."
                    },
                    "azimuth_deg": {
                      "type": "number",
                      "maximum": 360,
                      "minimum": 0
                    },
                    "elevation_deg": {
                      "type": "number",
                      "maximum": 90,
                      "minimum": -2
                    }
                  },
                  "additionalProperties": false
                },
                "maxItems": 120,
                "minItems": 3
              },
              "elevation_m": {
                "type": "number",
                "default": 0,
                "maximum": 9000,
                "minimum": -500
              },
              "sigma_az_deg": {
                "type": "number",
                "maximum": 10,
                "minimum": 0.01
              },
              "sigma_el_deg": {
                "type": "number",
                "maximum": 10,
                "minimum": 0.01
              },
              "clock_offset_s": {
                "type": "number",
                "default": 0,
                "maximum": 60,
                "minimum": -60,
                "description": "The observer clock is ahead of the common base by this many seconds; the engine subtracts it."
              }
            },
            "additionalProperties": false
          },
          "maxItems": 4,
          "minItems": 2
        }
      },
      "additionalProperties": false
    },
    "perturbations_are_hypothetical": {
      "type": "boolean",
      "const": true
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "samples"
  ],
  "properties": {
    "seed": {
      "type": "integer",
      "default": 42,
      "maximum": 4294967295,
      "minimum": 0
    },
    "backend": {
      "enum": [
        "auto",
        "cpu",
        "cuda"
      ],
      "type": "string",
      "default": "auto"
    },
    "samples": {
      "type": "integer",
      "maximum": 5000000,
      "minimum": 100
    },
    "workload": {
      "enum": [
        "pi_chunk_v1",
        "schedule_probe_v1"
      ],
      "type": "string",
      "default": "pi_chunk_v1"
    },
    "scenario_id": {
      "enum": [
        "single_80_deadline_90",
        "pair_60_40_deadline_100",
        "pair_60_40_deadline_110"
      ],
      "type": "string"
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "points"
  ],
  "properties": {
    "points": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "x",
          "y"
        ],
        "properties": {
          "x": {
            "type": "number",
            "maximum": 1000000,
            "minimum": -1000000
          },
          "y": {
            "type": "number",
            "maximum": 1000000,
            "minimum": -1000000
          }
        },
        "additionalProperties": false
      },
      "maxItems": 256,
      "minItems": 3
    },
    "reference_distance_fraction": {
      "type": "number",
      "maximum": 0.5,
      "minimum": 0.01
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "observers"
  ],
  "properties": {
    "observers": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "lat",
          "lon",
          "sigma_az_deg",
          "sigma_el_deg",
          "samples"
        ],
        "properties": {
          "lat": {
            "type": "number",
            "maximum": 89,
            "minimum": -89
          },
          "lon": {
            "type": "number",
            "maximum": 180,
            "minimum": -180
          },
          "samples": {
            "type": "array",
            "items": {
              "type": "object",
              "required": [
                "t_s",
                "azimuth_deg",
                "elevation_deg"
              ],
              "properties": {
                "t_s": {
                  "type": "number",
                  "maximum": 1000000000000,
                  "minimum": -1000000000000,
                  "description": "Seconds from a common epoch, strictly increasing for this observer."
                },
                "azimuth_deg": {
                  "type": "number",
                  "maximum": 360,
                  "minimum": 0
                },
                "elevation_deg": {
                  "type": "number",
                  "maximum": 90,
                  "minimum": -2
                }
              },
              "additionalProperties": false
            },
            "maxItems": 120,
            "minItems": 3
          },
          "elevation_m": {
            "type": "number",
            "default": 0,
            "maximum": 9000,
            "minimum": -500
          },
          "sigma_az_deg": {
            "type": "number",
            "maximum": 10,
            "minimum": 0.01
          },
          "sigma_el_deg": {
            "type": "number",
            "maximum": 10,
            "minimum": 0.01
          },
          "clock_offset_s": {
            "type": "number",
            "default": 0,
            "maximum": 60,
            "minimum": -60,
            "description": "The observer clock is ahead of the common base by this many seconds; the engine subtracts it."
          }
        },
        "additionalProperties": false
      },
      "maxItems": 4,
      "minItems": 2
    }
  },
  "additionalProperties": false
}

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "domain",
    "parameters"
  ],
  "properties": {
    "claim": {
      "type": "object",
      "required": [
        "kind",
        "claimed_total_km"
      ],
      "properties": {
        "kind": {
          "enum": [
            "optimality",
            "tour_total"
          ],
          "type": "string"
        },
        "order": {
          "type": "array",
          "items": {
            "type": "integer",
            "maximum": 255,
            "minimum": 0
          },
          "maxItems": 256,
          "minItems": 2
        },
        "claimed_total_km": {
          "type": "number",
          "maximum": 1000000000000,
          "minimum": 0
        }
      },
      "additionalProperties": false
    },
    "domain": {
      "enum": [
        "numbers",
        "shadow",
        "ephemeris",
        "statistics",
        "route"
      ],
      "type": "string"
    },
    "parameters": {
      "type": "object",
      "propertyNames": {
        "type": "string"
      },
      "additionalProperties": {}
    }
  },
  "additionalProperties": false
}