Server definition
- Hash
- sha256:0e5b6ac2838d53b8032d9517b76c2105b4559fc782369661d8af60d785574a2f
- What it is
- What a remote MCP server returned when asked what it offers: 35 tools
The blob, as servednamed by its sha256
{
"instructions": "The specialized computation tools remain directly callable, independently of the optional mission composer. forge_route_policy synthesizes bounded route-score expressions using only supplied training cases; selected is experimental, never independently validated or automatically promoted. run_route_policy executes an explicit bounded expression without retraining; its hash identifies the program, not its merit. Generated variants and the sealed held-out campaign are distinct from the manually engineered observation policy. plan_golden_hour computes one strict UTC day of geometric solar-elevation windows on CPU, with explicit photographic bands and a separate conventional sunrise threshold; it predicts neither terrain visibility nor weather or beautiful light. Its shared solar source means that combining it with shadow and ephemeris tools is not independent corroboration. plan_observation derives its baseline from original angular measurements and ranks supplied candidate series by conditional local linear uncertainty forecasts; predicted is not acquired evidence. stress_test_observation searches a finite declared list of hypothetical input perturbations; none_found is not a global robustness guarantee and solver non-convergence is inconclusive. assimilate_observation refits original and supplied new angles exactly once; data origin is caller-declared, never authenticated. improve_schedule compares only permitted deadline/task changes and uses a separately seeded confirmation; confirmed is conditional on the duration model. Discovery tools remain independently callable; the composition planner can bind their complete requests without inventing data adapters. list_capabilities describes native contracts and composition readiness; plan_mission previews a bounded scheduling plan without running engines; build_robust_plan compares up to three scheduling candidates in native Rust and reports conditional confidence bounds. list_composition_capabilities exposes the typed capability bank and runnable examples; compose_capabilities searches for a bounded admissible dependency plan and explains missing contracts or permissions. Structural cost counts graph steps, not time, price or quality. execute_composition recompiles and executes approved task-selection or geometric-route risk chains; a completed assessment does not mean the deadline is likely to be met. Other compositions require their advertised existing-tool binding or remain planning-only. Internal engines are native calls, not nested MCP requests. ScoreCompute publishes declared MCP client name/version, called tool, status and execution duration in its public observatory. Tool inputs, results and mission events are not published in that journal. Do not include secrets or personal information in clientInfo. This identity is self-declared and does not establish the AI provider or model. Computations describe their assumptions and limits: compatible, contredit and intestable are conditional consistency findings, never authenticity, fraud or cheating verdicts. CUDA acceleration applies to simulate_pi and the separate fixed pi_chunk_v1 contributor pilot. network_status exposes available resources; submit_network_job queues a public synthetic job and get_network_job reports verified progress. The separate schedule_probe_v1 contributor workload uses only three compiled public synthetic scenarios on explicitly enabled CPU clients; its discrete-grid probabilities are not real-world guarantees. Contributor calculations are recomputed on coordinator CPU; no net speedup is claimed. Contribution jobs do not accept private files or datasets. Public access has request, concurrency and session limits.",
"tools": [
{
"description": "Compare 4–40 supplied FEN positions and played SAN/UCI moves with Stockfish: first-choice agreement and centipawn loss. Entire analysis has a 25-second deadline; no cheating verdict.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"depth": {
"default": 12,
"maximum": 20,
"minimum": 4,
"type": "integer"
},
"positions": {
"items": {
"properties": {
"fen": {
"type": "string"
},
"played": {
"type": "string"
}
},
"required": [
"fen",
"played"
],
"type": "object"
},
"maxItems": 40,
"minItems": 4,
"type": "array"
}
},
"required": [
"positions"
],
"type": "object"
},
"name": "analyze_chess_game",
"outputSchema": null
},
{
"description": "Convert angular speed and candidate distances to minimum transverse speeds; check a claimed speed-distance pair. Distance hypotheses are supplied, not measured; no object-origin conclusion.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"angular_speed_deg_per_s": {
"maximum": 90,
"minimum": 0.0001,
"type": "number"
},
"claimed_distance_km": {
"maximum": 400000,
"minimum": 0.001,
"type": "number"
},
"claimed_speed_kmh": {
"maximum": 500000,
"minimum": 0.1,
"type": "number"
},
"distance_max_km": {
"default": 400000,
"maximum": 400000,
"minimum": 0.002,
"type": "number"
},
"distance_min_km": {
"default": 0.01,
"maximum": 400000,
"minimum": 0.001,
"type": "number"
}
},
"required": [
"angular_speed_deg_per_s"
],
"type": "object"
},
"name": "analyze_kinematics",
"outputSchema": null
},
{
"description": "Refit original tracks plus one supplied new angular series, each counted once; compute the baseline natively. Declare synthetic/measured origin (unverified). Conditional uncertainty may worsen; forecast angles are not acquired evidence.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"assumptions": {
"additionalProperties": false,
"properties": {
"constant_velocity": {
"const": true,
"type": "boolean"
},
"exact_stations_and_clocks": {
"const": true,
"type": "boolean"
},
"independent_new_errors": {
"const": true,
"type": "boolean"
}
},
"required": [
"independent_new_errors",
"exact_stations_and_clocks",
"constant_velocity"
],
"type": "object"
},
"data_origin": {
"description": "Origin declared by the caller; even measured is not independently verified or authenticated.",
"enum": [
"synthetic",
"measured"
],
"type": "string"
},
"new_series": {
"additionalProperties": false,
"properties": {
"id": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9_.-]+$",
"type": "string"
},
"samples": {
"items": {
"additionalProperties": false,
"properties": {
"azimuth_deg": {
"maximum": 360,
"minimum": 0,
"type": "number"
},
"elevation_deg": {
"maximum": 90,
"minimum": -2,
"type": "number"
},
"t_s": {
"description": "Already corrected absolute time; strictly after all baseline samples and no later than the comparison horizon.",
"maximum": 1000000000000,
"minimum": -1000000000000,
"type": "number"
}
},
"required": [
"t_s",
"azimuth_deg",
"elevation_deg"
],
"type": "object"
},
"maxItems": 120,
"minItems": 3,
"type": "array"
},
"sigma_az_deg": {
"maximum": 10,
"minimum": 0.01,
"type": "number"
},
"sigma_el_deg": {
"maximum": 10,
"minimum": 0.01,
"type": "number"
},
"station": {
"additionalProperties": false,
"properties": {
"elevation_m": {
"maximum": 9000,
"minimum": -500,
"type": "number"
},
"id": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9_.-]+$",
"type": "string"
},
"lat": {
"maximum": 89,
"minimum": -89,
"type": "number"
},
"lon": {
"maximum": 180,
"minimum": -180,
"type": "number"
}
},
"required": [
"id",
"lat",
"lon",
"elevation_m"
],
"type": "object"
}
},
"required": [
"id",
"station",
"sigma_az_deg",
"sigma_el_deg",
"samples"
],
"type": "object"
},
"objective": {
"additionalProperties": false,
"properties": {
"horizon_s": {
"description": "Absolute comparison time in the same corrected seconds as the observations; after the original observations, within their bounded 3600-second domain.",
"maximum": 1000000000000,
"minimum": -1000000000000,
"type": "number"
}
},
"required": [
"horizon_s"
],
"type": "object"
},
"observations": {
"additionalProperties": false,
"properties": {
"observers": {
"items": {
"additionalProperties": false,
"properties": {
"clock_offset_s": {
"default": 0,
"description": "The observer clock is ahead of the common base by this many seconds; the engine subtracts it.",
"maximum": 60,
"minimum": -60,
"type": "number"
},
"elevation_m": {
"default": 0,
"maximum": 9000,
"minimum": -500,
"type": "number"
},
"lat": {
"maximum": 89,
"minimum": -89,
"type": "number"
},
"lon": {
"maximum": 180,
"minimum": -180,
"type": "number"
},
"samples": {
"items": {
"additionalProperties": false,
"properties": {
"azimuth_deg": {
"maximum": 360,
"minimum": 0,
"type": "number"
},
"elevation_deg": {
"maximum": 90,
"minimum": -2,
"type": "number"
},
"t_s": {
"description": "Seconds from a common epoch, strictly increasing for this observer.",
"maximum": 1000000000000,
"minimum": -1000000000000,
"type": "number"
}
},
"required": [
"t_s",
"azimuth_deg",
"elevation_deg"
],
"type": "object"
},
"maxItems": 120,
"minItems": 3,
"type": "array"
},
"sigma_az_deg": {
"maximum": 10,
"minimum": 0.01,
"type": "number"
},
"sigma_el_deg": {
"maximum": 10,
"minimum": 0.01,
"type": "number"
}
},
"required": [
"lat",
"lon",
"sigma_az_deg",
"sigma_el_deg",
"samples"
],
"type": "object"
},
"maxItems": 4,
"minItems": 2,
"type": "array"
}
},
"required": [
"observers"
],
"type": "object"
}
},
"required": [
"observations",
"new_series",
"objective",
"assumptions",
"data_origin"
],
"type": "object"
},
"name": "assimilate_observation",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"baseline_fit": {
"additionalProperties": false,
"properties": {
"baseline_km": {
"minimum": 0,
"type": "number"
},
"contract_version": {
"const": "0.2.0",
"type": "string"
},
"diagnostics": {
"additionalProperties": false,
"properties": {
"condition_ratio": {
"type": [
"number",
"null"
]
},
"cost_evaluations": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"dof": {
"maximum": 9007199254740991,
"minimum": -9007199254740991,
"type": "integer"
},
"iterations": {
"maximum": 80,
"minimum": 0,
"type": "integer"
},
"low_elevation_samples": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
}
},
"required": [
"dof",
"iterations",
"cost_evaluations",
"low_elevation_samples",
"condition_ratio"
],
"type": "object"
},
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"grid": {
"additionalProperties": false,
"properties": {
"end_s": {
"type": "number"
},
"interpolated_samples": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"points": {
"maximum": 60,
"minimum": 2,
"type": "integer"
},
"start_s": {
"type": "number"
},
"step_s": {
"exclusiveMinimum": 0,
"type": "number"
}
},
"required": [
"points",
"start_s",
"end_s",
"step_s",
"interpolated_samples"
],
"type": "object"
},
"limitations": {
"items": {
"type": "string"
},
"type": "array"
},
"observers": {
"maximum": 4,
"minimum": 2,
"type": "integer"
},
"reasons": {
"items": {
"type": "string"
},
"type": "array"
},
"residuals": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"max_deg": {
"minimum": 0,
"type": "number"
},
"per_observer": {
"items": {
"additionalProperties": false,
"properties": {
"index": {
"maximum": 3,
"minimum": 0,
"type": "integer"
},
"max_deg": {
"minimum": 0,
"type": "number"
},
"rms_deg": {
"minimum": 0,
"type": "number"
}
},
"required": [
"index",
"rms_deg",
"max_deg"
],
"type": "object"
},
"maxItems": 4,
"minItems": 2,
"type": "array"
},
"total_rms_deg": {
"minimum": 0,
"type": "number"
}
},
"required": [
"total_rms_deg",
"max_deg",
"per_observer"
],
"type": "object"
},
{
"type": "null"
}
]
},
"state": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"covariance_ecef": {
"items": {
"items": {
"type": "number"
},
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"covariance_parameter_units": {
"additionalItems": false,
"items": [
{
"const": "km",
"type": "string"
},
{
"const": "km",
"type": "string"
},
{
"const": "km",
"type": "string"
},
{
"const": "km/s",
"type": "string"
},
{
"const": "km/s",
"type": "string"
},
{
"const": "km/s",
"type": "string"
}
],
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"frame": {
"type": "string"
},
"heading_deg": {
"maximum": 360,
"minimum": 0,
"type": "number"
},
"position_ecef_km": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"position_sigma_km": {
"additionalItems": false,
"items": [
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"reduced_chi2": {
"minimum": 0,
"type": "number"
},
"speed_kmh": {
"minimum": 0,
"type": "number"
},
"t_ref_s": {
"type": "number"
},
"uncertainty_model": {
"type": "string"
},
"velocity_km_s": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"velocity_sigma_km_s": {
"additionalItems": false,
"items": [
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"vertical_rate_m_s": {
"type": "number"
}
},
"required": [
"t_ref_s",
"frame",
"position_ecef_km",
"velocity_km_s",
"position_sigma_km",
"velocity_sigma_km_s",
"covariance_ecef",
"covariance_parameter_units",
"uncertainty_model",
"speed_kmh",
"heading_deg",
"vertical_rate_m_s",
"reduced_chi2"
],
"type": "object"
},
{
"type": "null"
}
]
},
"status": {
"enum": [
"estimated",
"inconsistent",
"degenerate",
"no_convergence"
],
"type": "string"
},
"trajectory": {
"items": {
"additionalProperties": false,
"properties": {
"altitude_m": {
"type": "number"
},
"latitude_deg": {
"maximum": 90,
"minimum": -90,
"type": "number"
},
"longitude_deg": {
"maximum": 180,
"minimum": -180,
"type": "number"
},
"ranges_km": {
"items": {
"minimum": 0,
"type": "number"
},
"maxItems": 4,
"minItems": 2,
"type": "array"
},
"t_s": {
"type": "number"
}
},
"required": [
"t_s",
"latitude_deg",
"longitude_deg",
"altitude_m",
"ranges_km"
],
"type": "object"
},
"maxItems": 60,
"type": "array"
}
},
"required": [
"contract_version",
"status",
"reasons",
"observers",
"baseline_km",
"grid",
"state",
"trajectory",
"residuals",
"diagnostics",
"elapsed_ms",
"limitations"
],
"type": "object"
},
"comparison": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"after_sigma_major_position_m": {
"exclusiveMinimum": 0,
"type": "number"
},
"before_sigma_major_position_m": {
"exclusiveMinimum": 0,
"type": "number"
},
"horizon_s": {
"type": "number"
},
"mean_position_shift_m": {
"minimum": 0,
"type": "number"
},
"predicted_sigma_major_position_m": {
"anyOf": [
{
"minimum": 0,
"type": "number"
},
{
"type": "null"
}
]
},
"refit_reduction_fraction": {
"type": "number"
}
},
"required": [
"horizon_s",
"before_sigma_major_position_m",
"predicted_sigma_major_position_m",
"after_sigma_major_position_m",
"refit_reduction_fraction",
"mean_position_shift_m"
],
"type": "object"
},
{
"type": "null"
}
]
},
"contract_version": {
"const": "0.1.0",
"type": "string"
},
"data_origin": {
"enum": [
"synthetic",
"measured"
],
"type": "string"
},
"data_provenance": {
"const": "caller_declared_unverified",
"type": "string"
},
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"forecast": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"baseline_position_covariance_km2": {
"items": {
"items": {
"type": "number"
},
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"baseline_sigma_major_position_m": {
"exclusiveMinimum": 0,
"type": "number"
},
"candidates": {
"items": {
"additionalProperties": false,
"properties": {
"cost_units": {
"maximum": 1000000000,
"minimum": 0,
"type": "number"
},
"id": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9_.-]+$",
"type": "string"
},
"predicted_position_covariance_km2": {
"anyOf": [
{
"items": {
"items": {
"type": "number"
},
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"maxItems": 3,
"minItems": 3,
"type": "array"
},
{
"type": "null"
}
]
},
"predicted_reduction_fraction": {
"type": [
"number",
"null"
]
},
"predicted_sigma_major_position_m": {
"anyOf": [
{
"minimum": 0,
"type": "number"
},
{
"type": "null"
}
]
},
"reason_codes": {
"items": {
"type": "string"
},
"type": "array"
},
"sample_count": {
"maximum": 120,
"minimum": 3,
"type": "integer"
},
"status": {
"enum": [
"admissible",
"rejected"
],
"type": "string"
}
},
"required": [
"id",
"status",
"reason_codes",
"cost_units",
"sample_count",
"predicted_sigma_major_position_m",
"predicted_position_covariance_km2",
"predicted_reduction_fraction"
],
"type": "object"
},
"maxItems": 64,
"minItems": 1,
"type": "array"
},
"contract_version": {
"const": "0.1.0",
"type": "string"
},
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"evaluated_candidates": {
"maximum": 64,
"minimum": 1,
"type": "integer"
},
"horizon_s": {
"type": "number"
},
"limitations": {
"items": {
"type": "string"
},
"type": "array"
},
"prediction_kind": {
"const": "conditional_local_linear_forecast",
"type": "string"
},
"ranking": {
"items": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9_.-]+$",
"type": "string"
},
"maxItems": 64,
"type": "array"
},
"selected_candidate_id": {
"anyOf": [
{
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9_.-]+$",
"type": "string"
},
{
"type": "null"
}
]
},
"status": {
"enum": [
"ranked",
"no_admissible_candidate"
],
"type": "string"
}
},
"required": [
"contract_version",
"status",
"prediction_kind",
"horizon_s",
"baseline_sigma_major_position_m",
"baseline_position_covariance_km2",
"selected_candidate_id",
"ranking",
"candidates",
"evaluated_candidates",
"elapsed_ms",
"limitations"
],
"type": "object"
},
{
"type": "null"
}
]
},
"input_angular_pairs": {
"maximum": 600,
"minimum": 9,
"type": "integer"
},
"limitations": {
"items": {
"type": "string"
},
"type": "array"
},
"new_angular_pairs": {
"maximum": 120,
"minimum": 3,
"type": "integer"
},
"new_series_id": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9_.-]+$",
"type": "string"
},
"provenance": {
"additionalProperties": false,
"properties": {
"client": {
"additionalProperties": {},
"properties": {
"name": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"name",
"version"
],
"type": "object"
},
"identity_source": {
"type": "string"
},
"model": {
"type": "null"
},
"server": {
"const": "scorecompute",
"type": "string"
},
"tool": {
"const": "assimilate_observation",
"type": "string"
}
},
"required": [
"tool",
"server",
"client",
"identity_source",
"model"
],
"type": "object"
},
"reasons": {
"items": {
"type": "string"
},
"type": "array"
},
"station_id": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9_.-]+$",
"type": "string"
},
"status": {
"enum": [
"baseline_rejected",
"assimilated",
"updated_fit_rejected"
],
"type": "string"
},
"updated_fit": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"baseline_km": {
"minimum": 0,
"type": "number"
},
"contract_version": {
"const": "0.2.0",
"type": "string"
},
"diagnostics": {
"additionalProperties": false,
"properties": {
"condition_ratio": {
"type": [
"number",
"null"
]
},
"cost_evaluations": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"dof": {
"maximum": 9007199254740991,
"minimum": -9007199254740991,
"type": "integer"
},
"iterations": {
"maximum": 80,
"minimum": 0,
"type": "integer"
},
"low_elevation_samples": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
}
},
"required": [
"dof",
"iterations",
"cost_evaluations",
"low_elevation_samples",
"condition_ratio"
],
"type": "object"
},
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"grid": {
"additionalProperties": false,
"properties": {
"end_s": {
"type": "number"
},
"interpolated_samples": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"points": {
"maximum": 60,
"minimum": 2,
"type": "integer"
},
"start_s": {
"type": "number"
},
"step_s": {
"exclusiveMinimum": 0,
"type": "number"
}
},
"required": [
"points",
"start_s",
"end_s",
"step_s",
"interpolated_samples"
],
"type": "object"
},
"limitations": {
"items": {
"type": "string"
},
"type": "array"
},
"observers": {
"maximum": 4,
"minimum": 2,
"type": "integer"
},
"reasons": {
"items": {
"type": "string"
},
"type": "array"
},
"residuals": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"max_deg": {
"minimum": 0,
"type": "number"
},
"per_observer": {
"items": {
"additionalProperties": false,
"properties": {
"index": {
"maximum": 3,
"minimum": 0,
"type": "integer"
},
"max_deg": {
"minimum": 0,
"type": "number"
},
"rms_deg": {
"minimum": 0,
"type": "number"
}
},
"required": [
"index",
"rms_deg",
"max_deg"
],
"type": "object"
},
"maxItems": 4,
"minItems": 2,
"type": "array"
},
"total_rms_deg": {
"minimum": 0,
"type": "number"
}
},
"required": [
"total_rms_deg",
"max_deg",
"per_observer"
],
"type": "object"
},
{
"type": "null"
}
]
},
"state": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"covariance_ecef": {
"items": {
"items": {
"type": "number"
},
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"covariance_parameter_units": {
"additionalItems": false,
"items": [
{
"const": "km",
"type": "string"
},
{
"const": "km",
"type": "string"
},
{
"const": "km",
"type": "string"
},
{
"const": "km/s",
"type": "string"
},
{
"const": "km/s",
"type": "string"
},
{
"const": "km/s",
"type": "string"
}
],
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"frame": {
"type": "string"
},
"heading_deg": {
"maximum": 360,
"minimum": 0,
"type": "number"
},
"position_ecef_km": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"position_sigma_km": {
"additionalItems": false,
"items": [
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"reduced_chi2": {
"minimum": 0,
"type": "number"
},
"speed_kmh": {
"minimum": 0,
"type": "number"
},
"t_ref_s": {
"type": "number"
},
"uncertainty_model": {
"type": "string"
},
"velocity_km_s": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"velocity_sigma_km_s": {
"additionalItems": false,
"items": [
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"vertical_rate_m_s": {
"type": "number"
}
},
"required": [
"t_ref_s",
"frame",
"position_ecef_km",
"velocity_km_s",
"position_sigma_km",
"velocity_sigma_km_s",
"covariance_ecef",
"covariance_parameter_units",
"uncertainty_model",
"speed_kmh",
"heading_deg",
"vertical_rate_m_s",
"reduced_chi2"
],
"type": "object"
},
{
"type": "null"
}
]
},
"status": {
"enum": [
"estimated",
"inconsistent",
"degenerate",
"no_convergence"
],
"type": "string"
},
"trajectory": {
"items": {
"additionalProperties": false,
"properties": {
"altitude_m": {
"type": "number"
},
"latitude_deg": {
"maximum": 90,
"minimum": -90,
"type": "number"
},
"longitude_deg": {
"maximum": 180,
"minimum": -180,
"type": "number"
},
"ranges_km": {
"items": {
"minimum": 0,
"type": "number"
},
"maxItems": 4,
"minItems": 2,
"type": "array"
},
"t_s": {
"type": "number"
}
},
"required": [
"t_s",
"latitude_deg",
"longitude_deg",
"altitude_m",
"ranges_km"
],
"type": "object"
},
"maxItems": 60,
"type": "array"
}
},
"required": [
"contract_version",
"status",
"reasons",
"observers",
"baseline_km",
"grid",
"state",
"trajectory",
"residuals",
"diagnostics",
"elapsed_ms",
"limitations"
],
"type": "object"
},
{
"type": "null"
}
]
}
},
"required": [
"contract_version",
"status",
"data_origin",
"new_series_id",
"station_id",
"data_provenance",
"baseline_fit",
"updated_fit",
"forecast",
"comparison",
"input_angular_pairs",
"new_angular_pairs",
"reasons",
"limitations",
"elapsed_ms",
"provenance"
],
"type": "object"
}
},
{
"description": "Apply necessary GRIM/GRIMMER checks to rounded means and sample deviations of bounded integer observations. Passing does not prove a dataset exists; inconsistency does not establish fraud.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"decimals": {
"default": 2,
"maximum": 6,
"minimum": 0,
"type": "integer"
},
"max_value": {
"default": 5,
"maximum": 100,
"minimum": -100,
"type": "integer"
},
"mean": {
"type": "number"
},
"min_value": {
"default": 1,
"maximum": 100,
"minimum": -100,
"type": "integer"
},
"n": {
"maximum": 200000,
"minimum": 2,
"type": "integer"
},
"sd": {
"minimum": 0,
"type": "number"
}
},
"required": [
"n",
"mean"
],
"type": "object"
},
"name": "audit_statistics",
"outputSchema": null
},
{
"description": "Compare up to three task selections; choose highest examined value meeting the target under simultaneous 95% sampling bounds or an exact bound. Independent-uniform durations; can return inconclusive/blocked. Streams native events.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"allowed_tools": {
"default": [
"optimize_tasks",
"simulate_plan"
],
"items": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[a-z][a-z0-9_]*$",
"type": "string"
},
"maxItems": 14,
"type": "array"
},
"budget": {
"maximum": 1440,
"minimum": 1,
"type": "integer"
},
"duration_model": {
"default": "independent_uniform",
"maxLength": 64,
"minLength": 1,
"type": "string"
},
"items": {
"items": {
"additionalProperties": false,
"properties": {
"duration": {
"maximum": 1440,
"minimum": 1,
"type": "integer"
},
"name": {
"maxLength": 120,
"minLength": 1,
"type": "string"
},
"value": {
"maximum": 10000,
"minimum": 0,
"type": "integer"
}
},
"required": [
"name",
"duration",
"value"
],
"type": "object"
},
"maxItems": 32,
"minItems": 1,
"type": "array"
},
"max_candidates": {
"default": 3,
"maximum": 3,
"minimum": 1,
"type": "integer"
},
"min_success_rate": {
"default": 0.95,
"maximum": 0.999,
"minimum": 0.5,
"type": "number"
},
"samples": {
"default": 10000,
"maximum": 20000,
"minimum": 100,
"type": "integer"
},
"seed": {
"default": 42,
"maximum": 4294967295,
"minimum": 0,
"type": "integer"
},
"uncertainty": {
"maximum": 0.5,
"minimum": 0,
"type": "number"
}
},
"required": [
"items",
"budget",
"uncertainty"
],
"type": "object"
},
"name": "build_robust_plan",
"outputSchema": null
},
{
"description": "Check an explicit arithmetic claim. Checked i128 rationals give exact verdicts when expression, claim and tolerances are representable. Unsupported functions or overflow return an estimate with an undetermined verdict. Includes a versioned integrity digest; no checks of units or model meaning.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"claimed_value": {
"maximum": 9007199254740991,
"minimum": -9007199254740991,
"type": "number"
},
"expression": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"tolerance_absolute": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"tolerance_relative": {
"maximum": 1000000000,
"minimum": 0,
"type": "number"
},
"values": {
"items": {
"additionalProperties": false,
"properties": {
"name": {
"maxLength": 32,
"minLength": 1,
"pattern": "^[A-Za-z_][A-Za-z0-9_]*$",
"type": "string"
},
"value": {
"maximum": 9007199254740991,
"minimum": -9007199254740991,
"type": "number"
}
},
"required": [
"name",
"value"
],
"type": "object"
},
"maxItems": 16,
"minItems": 0,
"type": "array"
}
},
"required": [
"claimed_value",
"expression"
],
"type": "object"
},
"name": "check_arithmetic",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"absolute_error": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"assumptions": {
"items": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"maxItems": 64,
"minItems": 1,
"type": "array"
},
"claimed_value": {
"maximum": 9007199254740991,
"minimum": -9007199254740991,
"type": "number"
},
"comparison": {
"anyOf": [
{
"const": "exact_rational",
"type": "string"
},
{
"const": "float64",
"type": "string"
}
]
},
"computed_value": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
"contract_version": {
"const": "0.2.0",
"type": "string"
},
"digest": {
"additionalProperties": false,
"properties": {
"payload_version": {
"maxLength": 128,
"minLength": 1,
"type": "string"
},
"sha256": {
"maxLength": 64,
"minLength": 64,
"pattern": "^[0-9a-f]{64}$",
"type": "string"
}
},
"required": [
"payload_version",
"sha256"
],
"type": "object"
},
"effective_tolerance": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"elapsed_ms": {
"maximum": 1000000000,
"minimum": 0,
"type": "number"
},
"engine": {
"const": "rust-cpu",
"type": "string"
},
"exact_supported": {
"type": "boolean"
},
"exact_value": {
"anyOf": [
{
"maxLength": 512,
"minLength": 1,
"type": "string"
},
{
"type": "null"
}
]
},
"expression": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"method": {
"maxLength": 4096,
"minLength": 1,
"type": "string"
},
"notes": {
"items": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"maxItems": 32,
"minItems": 0,
"type": "array"
},
"provenance": {
"additionalProperties": false,
"properties": {
"client": {
"additionalProperties": {},
"properties": {
"name": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"name",
"version"
],
"type": "object"
},
"identity_source": {
"type": "string"
},
"model": {
"type": "null"
},
"server": {
"const": "scorecompute",
"type": "string"
},
"tool": {
"const": "check_arithmetic",
"type": "string"
}
},
"required": [
"tool",
"server",
"client",
"identity_source",
"model"
],
"type": "object"
},
"relative_error": {
"anyOf": [
{
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
{
"type": "null"
}
]
},
"scope": {
"additionalProperties": false,
"properties": {
"decimal_source": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"exact_range_bits": {
"maximum": 1024,
"minimum": 0,
"type": "integer"
},
"functions": {
"items": {
"maxLength": 32,
"minLength": 1,
"type": "string"
},
"maxItems": 16,
"minItems": 1,
"type": "array"
},
"limits": {
"items": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"maxItems": 16,
"minItems": 0,
"type": "array"
},
"tolerance_rule": {
"maxLength": 512,
"minLength": 1,
"type": "string"
}
},
"required": [
"decimal_source",
"exact_range_bits",
"functions",
"limits",
"tolerance_rule"
],
"type": "object"
},
"statement": {
"maxLength": 4096,
"minLength": 1,
"type": "string"
},
"tolerance_absolute": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"tolerance_relative": {
"maximum": 1000000000,
"minimum": 0,
"type": "number"
},
"verdict": {
"anyOf": [
{
"const": "consistent",
"type": "string"
},
{
"const": "inconsistent",
"type": "string"
},
{
"const": "undetermined",
"type": "string"
}
]
}
},
"required": [
"absolute_error",
"assumptions",
"claimed_value",
"comparison",
"computed_value",
"contract_version",
"digest",
"effective_tolerance",
"elapsed_ms",
"engine",
"exact_supported",
"exact_value",
"expression",
"method",
"notes",
"relative_error",
"scope",
"statement",
"tolerance_absolute",
"tolerance_relative",
"verdict",
"provenance"
],
"type": "object"
}
},
{
"description": "Check a claimed Sun (soleil) or Moon (lune) position for UTC time/location using NOAA/Meeus approximations and lunar parallax. Returns model-conditional angular consistency and lunar phase.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"claimed_azimuth_deg": {
"maximum": 360,
"minimum": 0,
"type": "number"
},
"claimed_elevation_deg": {
"maximum": 90,
"minimum": -90,
"type": "number"
},
"date_utc": {
"maxLength": 20,
"minLength": 20,
"type": "string"
},
"latitude": {
"maximum": 89,
"minimum": -89,
"type": "number"
},
"longitude": {
"maximum": 180,
"minimum": -180,
"type": "number"
},
"object": {
"default": "lune",
"enum": [
"soleil",
"lune"
],
"type": "string"
},
"tolerance_deg": {
"default": 2,
"maximum": 30,
"minimum": 0.2,
"type": "number"
}
},
"required": [
"date_utc",
"latitude",
"longitude",
"claimed_azimuth_deg",
"claimed_elevation_deg"
],
"type": "object"
},
"name": "check_ephemeris",
"outputSchema": null
},
{
"description": "Compare 4–120 measured minute/azimuth pairs with solar motion: residuals, slope, direction and time-lapse speed. Supply measurements, not video. Results are model-conditional consistency findings.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"date_utc": {
"maxLength": 20,
"minLength": 20,
"type": "string"
},
"latitude": {
"maximum": 89,
"minimum": -89,
"type": "number"
},
"longitude": {
"maximum": 180,
"minimum": -180,
"type": "number"
},
"samples": {
"items": {
"properties": {
"azimuth_deg": {
"maximum": 360,
"minimum": 0,
"type": "number"
},
"minutes": {
"maximum": 1440,
"minimum": 0,
"type": "number"
}
},
"required": [
"minutes",
"azimuth_deg"
],
"type": "object"
},
"maxItems": 120,
"minItems": 4,
"type": "array"
},
"tolerance_deg": {
"default": 5,
"maximum": 30,
"minimum": 0.5,
"type": "number"
}
},
"required": [
"date_utc",
"latitude",
"longitude",
"samples"
],
"type": "object"
},
"name": "check_shadow_track",
"outputSchema": null
},
{
"description": "Plan from declared available/goal contracts within tool, locality and search bounds. Returns dependencies, blockers and existing-tool bindings. Cost counts graph steps, not speed, price or quality. Runs no engines; execution validates arguments.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"adapters": {
"additionalProperties": false,
"properties": {
"route_durations.v1": {
"additionalProperties": false,
"properties": {
"speed_kmh": {
"maximum": 150,
"minimum": 1,
"type": "number"
}
},
"required": [
"speed_kmh"
],
"type": "object"
}
},
"type": "object"
},
"available": {
"items": {
"maxLength": 96,
"minLength": 1,
"pattern": "^[a-z0-9_.]+$",
"type": "string"
},
"maxItems": 48,
"type": "array"
},
"constraints": {
"additionalProperties": false,
"properties": {
"allowed_tools": {
"items": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[a-z][a-z0-9_]*$",
"type": "string"
},
"maxItems": 20,
"type": "array"
},
"local_only": {
"default": true,
"type": "boolean"
},
"max_search_states": {
"default": 512,
"maximum": 2048,
"minimum": 1,
"type": "integer"
},
"max_steps": {
"default": 8,
"maximum": 16,
"minimum": 1,
"type": "integer"
},
"max_structural_cost": {
"default": 64,
"maximum": 64,
"minimum": 1,
"type": "integer"
}
},
"type": "object"
},
"goals": {
"items": {
"maxLength": 96,
"minLength": 1,
"pattern": "^[a-z0-9_.]+$",
"type": "string"
},
"maxItems": 8,
"minItems": 1,
"type": "array"
},
"inputs": {
"additionalProperties": {
"additionalProperties": {},
"propertyNames": {
"type": "string"
},
"type": "object"
},
"propertyNames": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[a-z][a-z0-9_]*$",
"type": "string"
},
"type": "object"
}
},
"required": [
"goals",
"available"
],
"type": "object"
},
"name": "compose_capabilities",
"outputSchema": null
},
{
"description": "Compute an ideal two-body Keplerian orbit around one solar mass. Time starts at periapsis; distances use AU and time uses days. This model is not a real celestial ephemeris.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"eccentricity": {
"maximum": 0.9,
"minimum": 0,
"type": "number"
},
"elapsed_days": {
"maximum": 365250,
"minimum": 0,
"type": "number"
},
"semi_major_au": {
"maximum": 30,
"minimum": 0.1,
"type": "number"
}
},
"required": [
"eccentricity",
"elapsed_days",
"semi_major_au"
],
"type": "object"
},
"name": "compute_orbit",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"distance_au": {
"maximum": 60,
"minimum": 0,
"type": "number"
},
"elapsed_ms": {
"maximum": 1000000000000,
"minimum": 0,
"type": "number"
},
"engine": {
"const": "rust-cpu",
"type": "string"
},
"method": {
"maxLength": 1024,
"minLength": 1,
"type": "string"
},
"orbit": {
"items": {
"additionalProperties": false,
"properties": {
"x": {
"maximum": 60,
"minimum": -60,
"type": "number"
},
"y": {
"maximum": 60,
"minimum": -60,
"type": "number"
}
},
"required": [
"x",
"y"
],
"type": "object"
},
"maxItems": 241,
"minItems": 241,
"type": "array"
},
"period_days": {
"maximum": 61000,
"minimum": 0,
"type": "number"
},
"position": {
"additionalProperties": false,
"properties": {
"x": {
"maximum": 60,
"minimum": -60,
"type": "number"
},
"y": {
"maximum": 60,
"minimum": -60,
"type": "number"
}
},
"required": [
"x",
"y"
],
"type": "object"
},
"provenance": {
"additionalProperties": false,
"properties": {
"client": {
"additionalProperties": {},
"properties": {
"name": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"name",
"version"
],
"type": "object"
},
"identity_source": {
"type": "string"
},
"model": {
"type": "null"
},
"server": {
"const": "scorecompute",
"type": "string"
},
"tool": {
"const": "compute_orbit",
"type": "string"
}
},
"required": [
"tool",
"server",
"client",
"identity_source",
"model"
],
"type": "object"
}
},
"required": [
"distance_au",
"elapsed_ms",
"engine",
"method",
"orbit",
"period_days",
"position",
"provenance"
],
"type": "object"
}
},
{
"description": "Run approved task-selection/route-to-duration risk chains only. Supply engine inputs and explicit uncertainty; route speed is 1–150 km/h. Returns native receipts and 95% sampling bounds. Completed means assessed, not safe. Other paths use advertised bindings.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"adapters": {
"additionalProperties": false,
"properties": {
"route_durations.v1": {
"additionalProperties": false,
"properties": {
"speed_kmh": {
"maximum": 150,
"minimum": 1,
"type": "number"
}
},
"required": [
"speed_kmh"
],
"type": "object"
}
},
"type": "object"
},
"available": {
"items": {
"maxLength": 96,
"minLength": 1,
"pattern": "^[a-z0-9_.]+$",
"type": "string"
},
"maxItems": 48,
"type": "array"
},
"constraints": {
"additionalProperties": false,
"properties": {
"allowed_tools": {
"items": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[a-z][a-z0-9_]*$",
"type": "string"
},
"maxItems": 20,
"type": "array"
},
"local_only": {
"default": true,
"type": "boolean"
},
"max_search_states": {
"default": 512,
"maximum": 2048,
"minimum": 1,
"type": "integer"
},
"max_steps": {
"default": 8,
"maximum": 16,
"minimum": 1,
"type": "integer"
},
"max_structural_cost": {
"default": 64,
"maximum": 64,
"minimum": 1,
"type": "integer"
}
},
"type": "object"
},
"goals": {
"items": {
"maxLength": 96,
"minLength": 1,
"pattern": "^[a-z0-9_.]+$",
"type": "string"
},
"maxItems": 8,
"minItems": 1,
"type": "array"
},
"inputs": {
"additionalProperties": {
"additionalProperties": {},
"propertyNames": {
"type": "string"
},
"type": "object"
},
"propertyNames": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[a-z][a-z0-9_]*$",
"type": "string"
},
"type": "object"
}
},
"required": [
"goals",
"available"
],
"type": "object"
},
"name": "execute_composition",
"outputSchema": null
},
{
"description": "Train route-score ASTs on 1–8 supplied cases: at most 64 attempts and 31 nodes; stop between trials after 25s. Select converged candidates using training quality plus logical-fuel cost, a work proxy rather than CPU time. No held-out validation, arbitrary code or automatic promotion.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"budget": {
"additionalProperties": false,
"properties": {
"candidates": {
"maximum": 64,
"minimum": 1,
"type": "integer"
},
"fuel_per_case": {
"maximum": 2000000,
"minimum": 1,
"type": "integer"
},
"time_per_case_ms": {
"const": 100,
"type": "number"
}
},
"required": [
"candidates",
"fuel_per_case",
"time_per_case_ms"
],
"type": "object"
},
"seed": {
"maximum": 4294967295,
"minimum": 0,
"type": "integer"
},
"train": {
"items": {
"additionalProperties": false,
"properties": {
"id": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[a-zA-Z0-9_-]+$",
"type": "string"
},
"points": {
"items": {
"additionalProperties": false,
"properties": {
"x": {
"maximum": 1000000,
"minimum": -1000000,
"type": "number"
},
"y": {
"maximum": 1000000,
"minimum": -1000000,
"type": "number"
}
},
"required": [
"x",
"y"
],
"type": "object"
},
"maxItems": 32,
"minItems": 2,
"type": "array"
}
},
"required": [
"id",
"points"
],
"type": "object"
},
"maxItems": 8,
"minItems": 1,
"type": "array"
}
},
"required": [
"train",
"seed",
"budget"
],
"type": "object"
},
"name": "forge_route_policy",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"attempted": {
"maximum": 64,
"minimum": 0,
"type": "integer"
},
"baseline_program_sha256": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"budget": {
"additionalProperties": false,
"properties": {
"candidates": {
"maximum": 64,
"minimum": 1,
"type": "integer"
},
"fuel_per_case": {
"maximum": 2000000,
"minimum": 1,
"type": "integer"
},
"time_per_case_ms": {
"const": 100,
"type": "number"
}
},
"required": [
"candidates",
"fuel_per_case",
"time_per_case_ms"
],
"type": "object"
},
"contract_version": {
"const": "0.2.0",
"type": "string"
},
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"kernel_version": {
"const": "1.0.0",
"type": "string"
},
"limitations": {
"items": {
"type": "string"
},
"type": "array"
},
"promotion": {
"const": "not_promoted",
"type": "string"
},
"provenance": {
"additionalProperties": false,
"properties": {
"client": {
"additionalProperties": {},
"properties": {
"name": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"name",
"version"
],
"type": "object"
},
"identity_source": {
"type": "string"
},
"model": {
"type": "null"
},
"server": {
"const": "scorecompute",
"type": "string"
},
"tool": {
"const": "forge_route_policy",
"type": "string"
}
},
"required": [
"tool",
"server",
"client",
"identity_source",
"model"
],
"type": "object"
},
"request_sha256": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"search_version": {
"const": "1.0.0",
"type": "string"
},
"seed": {
"maximum": 4294967295,
"minimum": 0,
"type": "integer"
},
"selected": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"fitness": {
"additionalProperties": false,
"properties": {
"maximum_fuel_ratio": {
"minimum": 0,
"type": "number"
},
"maximum_length_ratio": {
"minimum": 0,
"type": "number"
},
"mean_fuel_ratio": {
"minimum": 0,
"type": "number"
},
"mean_length_km": {
"minimum": 0,
"type": "number"
},
"mean_length_ratio": {
"minimum": 0,
"type": "number"
},
"selection_objective": {
"minimum": 0,
"type": "number"
},
"total_fuel": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
}
},
"required": [
"mean_length_ratio",
"maximum_length_ratio",
"mean_length_km",
"total_fuel",
"mean_fuel_ratio",
"maximum_fuel_ratio",
"selection_objective"
],
"type": "object"
},
"program": {
"additionalProperties": false,
"properties": {
"score": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"version": {
"const": 1,
"type": "number"
}
},
"required": [
"version",
"score"
],
"type": "object"
},
"program_sha256": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"simplification": {
"additionalProperties": false,
"properties": {
"compiled_program_sha256": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"executed_node_count": {
"maximum": 31,
"minimum": 1,
"type": "integer"
},
"original_node_count": {
"maximum": 31,
"minimum": 1,
"type": "integer"
},
"original_program_sha256": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"required_features": {
"items": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"maxItems": 5,
"type": "array"
},
"simplifier_version": {
"const": "1.0.0",
"type": "string"
}
},
"required": [
"simplifier_version",
"original_program_sha256",
"compiled_program_sha256",
"original_node_count",
"executed_node_count",
"required_features"
],
"type": "object"
},
"trial_index": {
"maximum": 63,
"minimum": 0,
"type": "integer"
}
},
"required": [
"trial_index",
"program",
"program_sha256",
"simplification",
"fitness"
],
"type": "object"
},
{
"type": "null"
}
]
},
"selection": {
"additionalProperties": false,
"properties": {
"maximum_case_fuel_ratio": {
"type": "null"
},
"maximum_executed_nodes": {
"const": 31,
"type": "number"
},
"maximum_mean_fuel_ratio": {
"type": "null"
},
"maximum_training_length_ratio": {
"const": 1.1,
"type": "number"
},
"mean_fuel_penalty": {
"const": 0.01,
"type": "number"
}
},
"required": [
"maximum_training_length_ratio",
"mean_fuel_penalty",
"maximum_mean_fuel_ratio",
"maximum_case_fuel_ratio",
"maximum_executed_nodes"
],
"type": "object"
},
"stop_reason": {
"enum": [
"candidate_budget_exhausted",
"caller_stopped"
],
"type": "string"
},
"train_sha256": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"trials": {
"items": {
"additionalProperties": false,
"properties": {
"admission_failures": {
"items": {
"enum": [
"incomplete_or_nonconverged_training_evaluation",
"maximum_training_length_ratio",
"maximum_mean_fuel_ratio",
"maximum_case_fuel_ratio",
"maximum_executed_nodes"
],
"type": "string"
},
"maxItems": 5,
"type": "array"
},
"admitted": {
"type": "boolean"
},
"cases": {
"items": {
"additionalProperties": false,
"properties": {
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"error": {
"type": [
"string",
"null"
]
},
"fuel_used": {
"anyOf": [
{
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
{
"type": "null"
}
]
},
"id": {
"type": "string"
},
"length_km": {
"anyOf": [
{
"minimum": 0,
"type": "number"
},
{
"type": "null"
}
]
},
"stop_reason": {
"type": [
"string",
"null"
]
}
},
"required": [
"id",
"length_km",
"fuel_used",
"elapsed_ms",
"stop_reason",
"error"
],
"type": "object"
},
"maxItems": 8,
"type": "array"
},
"enumeration_index": {
"anyOf": [
{
"maximum": 364,
"minimum": 0,
"type": "integer"
},
{
"type": "null"
}
]
},
"fitness": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"maximum_fuel_ratio": {
"minimum": 0,
"type": "number"
},
"maximum_length_ratio": {
"minimum": 0,
"type": "number"
},
"mean_fuel_ratio": {
"minimum": 0,
"type": "number"
},
"mean_length_km": {
"minimum": 0,
"type": "number"
},
"mean_length_ratio": {
"minimum": 0,
"type": "number"
},
"selection_objective": {
"minimum": 0,
"type": "number"
},
"total_fuel": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
}
},
"required": [
"mean_length_ratio",
"maximum_length_ratio",
"mean_length_km",
"total_fuel",
"mean_fuel_ratio",
"maximum_fuel_ratio",
"selection_objective"
],
"type": "object"
},
{
"type": "null"
}
]
},
"generation": {
"enum": [
"baseline",
"enumerated_small_expression",
"generated",
"crossover",
"point_mutation",
"subtree_mutation"
],
"type": "string"
},
"generator_state_after": {
"pattern": "^[0-9]{1,20}$",
"type": "string"
},
"index": {
"maximum": 63,
"minimum": 0,
"type": "integer"
},
"parents": {
"items": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"maxItems": 2,
"type": "array"
},
"population_after": {
"items": {
"maximum": 63,
"minimum": 0,
"type": "integer"
},
"maxItems": 32,
"type": "array"
},
"program": {
"additionalProperties": false,
"properties": {
"score": {
"additionalProperties": {},
"propertyNames": {
"type": "string"
},
"type": "object"
},
"version": {
"const": 1,
"type": "number"
}
},
"required": [
"version",
"score"
],
"type": "object"
},
"program_sha256": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"reused_trial": {
"anyOf": [
{
"maximum": 63,
"minimum": 0,
"type": "integer"
},
{
"type": "null"
}
]
},
"simplification": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"compiled_program_sha256": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"executed_node_count": {
"maximum": 31,
"minimum": 1,
"type": "integer"
},
"original_node_count": {
"maximum": 31,
"minimum": 1,
"type": "integer"
},
"original_program_sha256": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"required_features": {
"items": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"maxItems": 5,
"type": "array"
},
"simplifier_version": {
"const": "1.0.0",
"type": "string"
}
},
"required": [
"simplifier_version",
"original_program_sha256",
"compiled_program_sha256",
"original_node_count",
"executed_node_count",
"required_features"
],
"type": "object"
},
{
"type": "null"
}
]
},
"status": {
"enum": [
"reused",
"invalid_program",
"failed",
"evaluated_admitted",
"evaluated_not_admitted"
],
"type": "string"
}
},
"required": [
"index",
"program",
"program_sha256",
"parents",
"generation",
"enumeration_index",
"status",
"reused_trial",
"simplification",
"fitness",
"admitted",
"admission_failures",
"cases",
"generator_state_after",
"population_after"
],
"type": "object"
},
"maxItems": 64,
"type": "array"
},
"unique_evaluated": {
"maximum": 64,
"minimum": 0,
"type": "integer"
}
},
"required": [
"contract_version",
"search_version",
"kernel_version",
"seed",
"request_sha256",
"train_sha256",
"budget",
"selection",
"baseline_program_sha256",
"trials",
"selected",
"attempted",
"unique_evaluated",
"stop_reason",
"promotion",
"elapsed_ms",
"limitations",
"provenance"
],
"type": "object"
}
},
{
"description": "Read a public contributor ticket/progress and verified pi or discrete synthetic schedule result. Schedule results include fixed-sample Wilson95 bounds. Worker/verification/wall times are separate; model probabilities are not delivery guarantees.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"job_id": {
"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)$",
"type": "string"
}
},
"required": [
"job_id"
],
"type": "object"
},
"name": "get_network_job",
"outputSchema": null
},
{
"description": "Compute 1–12 ideal fixed/free membrane modes for a simple polygon in metres using bounded P1 finite elements. Return upper bounds, extrapolated estimates and optional frequencies/shapes. Finite spectral agreement does not prove isospectrality; no damping. CPU, direct-only; no planner binding.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"boundary": {
"anyOf": [
{
"const": "fixed",
"type": "string"
},
{
"const": "free",
"type": "string"
}
],
"description": "fixed (default): drumhead, TM waveguide. free: acoustic cavity, TE waveguide."
},
"compare_polygon": {
"description": "Optional second shape: do the two drums sound the same?",
"items": {
"items": {
"maximum": 10000,
"minimum": -10000,
"type": "number"
},
"maxItems": 2,
"minItems": 2,
"type": "array"
},
"maxItems": 65,
"minItems": 3,
"type": "array"
},
"include_mode_shapes": {
"description": "Adds a ≤1024-triangle mesh with normalized mode values, for visualization.",
"type": "boolean"
},
"modes": {
"description": "Default 8, counted with multiplicity.",
"maximum": 12,
"minimum": 1,
"type": "integer"
},
"polygon": {
"description": "Vertices [x, y] in metres, either orientation; a repeated closing vertex is allowed. Must be simple.",
"items": {
"items": {
"maximum": 10000,
"minimum": -10000,
"type": "number"
},
"maxItems": 2,
"minItems": 2,
"type": "array"
},
"maxItems": 65,
"minItems": 3,
"type": "array"
},
"wave_speed": {
"description": "m/s; √(tension/areal density) for a membrane. Enables frequency_hz and notes.",
"maximum": 1000000000,
"minimum": 1e-9,
"type": "number"
}
},
"required": [
"polygon"
],
"type": "object"
},
"name": "hear_the_shape",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"assumptions": {
"items": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"maxItems": 16,
"minItems": 1,
"type": "array"
},
"boundary": {
"anyOf": [
{
"const": "fixed",
"type": "string"
},
{
"const": "free",
"type": "string"
}
]
},
"compared_shape": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"area": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"levels": {
"items": {
"additionalProperties": false,
"properties": {
"first_eigenvalue": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
"iterations": {
"maximum": 1000,
"minimum": 1,
"type": "integer"
},
"triangles": {
"maximum": 1000000,
"minimum": 1,
"type": "integer"
},
"unknowns": {
"maximum": 1000000,
"minimum": 1,
"type": "integer"
}
},
"required": [
"first_eigenvalue",
"iterations",
"triangles",
"unknowns"
],
"type": "object"
},
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"max_residual": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"mode_shapes": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"points": {
"items": {
"items": {
"maximum": 10000,
"minimum": -10000,
"type": "number"
},
"maxItems": 2,
"minItems": 2,
"type": "array"
},
"maxItems": 4096,
"minItems": 3,
"type": "array"
},
"triangles": {
"items": {
"items": {
"maximum": 4096,
"minimum": 0,
"type": "integer"
},
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"maxItems": 1024,
"minItems": 1,
"type": "array"
},
"values": {
"items": {
"items": {
"maximum": 1,
"minimum": -1,
"type": "number"
},
"maxItems": 4096,
"minItems": 3,
"type": "array"
},
"maxItems": 12,
"minItems": 1,
"type": "array"
}
},
"required": [
"points",
"triangles",
"values"
],
"type": "object"
},
{
"type": "null"
}
]
},
"modes": {
"items": {
"additionalProperties": false,
"properties": {
"courant_bound": {
"maximum": 12,
"minimum": 1,
"type": "integer"
},
"courant_respected": {
"type": "boolean"
},
"discretization_error_estimate": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"eigenvalue": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
"eigenvalue_upper_bound": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"frequency_hz": {
"anyOf": [
{
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
{
"type": "null"
}
]
},
"index": {
"maximum": 12,
"minimum": 1,
"type": "integer"
},
"multiplicity": {
"maximum": 12,
"minimum": 1,
"type": "integer"
},
"nodal_domains": {
"maximum": 1000000,
"minimum": 0,
"type": "integer"
},
"note": {
"anyOf": [
{
"maxLength": 32,
"minLength": 1,
"type": "string"
},
{
"type": "null"
}
]
},
"observed_order": {
"anyOf": [
{
"maximum": 4,
"minimum": 0.5,
"type": "number"
},
{
"type": "null"
}
]
},
"ratio_to_fundamental": {
"anyOf": [
{
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
{
"type": "null"
}
]
},
"residual": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"wavenumber": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
}
},
"required": [
"courant_bound",
"courant_respected",
"discretization_error_estimate",
"eigenvalue",
"eigenvalue_upper_bound",
"frequency_hz",
"index",
"multiplicity",
"nodal_domains",
"note",
"observed_order",
"ratio_to_fundamental",
"residual",
"wavenumber"
],
"type": "object"
},
"maxItems": 12,
"minItems": 1,
"type": "array"
},
"perimeter": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"resolution_warning": {
"anyOf": [
{
"maxLength": 512,
"minLength": 1,
"type": "string"
},
{
"type": "null"
}
]
},
"vertices": {
"maximum": 64,
"minimum": 3,
"type": "integer"
},
"well_resolved_modes": {
"maximum": 12,
"minimum": 0,
"type": "integer"
},
"weyl": {
"additionalProperties": false,
"properties": {
"computed_count": {
"maximum": 12,
"minimum": 1,
"type": "integer"
},
"eigenvalue": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
"predicted_count": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
}
},
"required": [
"computed_count",
"eigenvalue",
"predicted_count"
],
"type": "object"
}
},
"required": [
"area",
"levels",
"max_residual",
"mode_shapes",
"modes",
"perimeter",
"resolution_warning",
"vertices",
"well_resolved_modes",
"weyl"
],
"type": "object"
},
{
"type": "null"
}
]
},
"comparison": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"area_relative_difference": {
"maximum": 1,
"minimum": 0,
"type": "number"
},
"congruent": {
"type": "boolean"
},
"first_differing_mode": {
"anyOf": [
{
"maximum": 12,
"minimum": 1,
"type": "integer"
},
{
"type": "null"
}
]
},
"max_relative_difference": {
"maximum": 1,
"minimum": 0,
"type": "number"
},
"perimeter_relative_difference": {
"maximum": 1,
"minimum": 0,
"type": "number"
},
"verdict": {
"anyOf": [
{
"const": "congruent",
"type": "string"
},
{
"const": "spectra_differ",
"type": "string"
},
{
"const": "not_distinguished_at_this_resolution",
"type": "string"
}
]
}
},
"required": [
"area_relative_difference",
"congruent",
"first_differing_mode",
"max_relative_difference",
"perimeter_relative_difference",
"verdict"
],
"type": "object"
},
{
"type": "null"
}
]
},
"contract_version": {
"const": "0.1.0",
"type": "string"
},
"elapsed_ms": {
"maximum": 1000000000000,
"minimum": 0,
"type": "number"
},
"engine": {
"const": "rust-cpu",
"type": "string"
},
"method": {
"maxLength": 1024,
"minLength": 1,
"type": "string"
},
"provenance": {
"additionalProperties": false,
"properties": {
"client": {
"additionalProperties": {},
"properties": {
"name": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"name",
"version"
],
"type": "object"
},
"identity_source": {
"type": "string"
},
"model": {
"type": "null"
},
"server": {
"const": "scorecompute",
"type": "string"
},
"tool": {
"const": "hear_the_shape",
"type": "string"
}
},
"required": [
"tool",
"server",
"client",
"identity_source",
"model"
],
"type": "object"
},
"shape": {
"additionalProperties": false,
"properties": {
"area": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"levels": {
"items": {
"additionalProperties": false,
"properties": {
"first_eigenvalue": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
"iterations": {
"maximum": 1000,
"minimum": 1,
"type": "integer"
},
"triangles": {
"maximum": 1000000,
"minimum": 1,
"type": "integer"
},
"unknowns": {
"maximum": 1000000,
"minimum": 1,
"type": "integer"
}
},
"required": [
"first_eigenvalue",
"iterations",
"triangles",
"unknowns"
],
"type": "object"
},
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"max_residual": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"mode_shapes": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"points": {
"items": {
"items": {
"maximum": 10000,
"minimum": -10000,
"type": "number"
},
"maxItems": 2,
"minItems": 2,
"type": "array"
},
"maxItems": 4096,
"minItems": 3,
"type": "array"
},
"triangles": {
"items": {
"items": {
"maximum": 4096,
"minimum": 0,
"type": "integer"
},
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"maxItems": 1024,
"minItems": 1,
"type": "array"
},
"values": {
"items": {
"items": {
"maximum": 1,
"minimum": -1,
"type": "number"
},
"maxItems": 4096,
"minItems": 3,
"type": "array"
},
"maxItems": 12,
"minItems": 1,
"type": "array"
}
},
"required": [
"points",
"triangles",
"values"
],
"type": "object"
},
{
"type": "null"
}
]
},
"modes": {
"items": {
"additionalProperties": false,
"properties": {
"courant_bound": {
"maximum": 12,
"minimum": 1,
"type": "integer"
},
"courant_respected": {
"type": "boolean"
},
"discretization_error_estimate": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"eigenvalue": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
"eigenvalue_upper_bound": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"frequency_hz": {
"anyOf": [
{
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
{
"type": "null"
}
]
},
"index": {
"maximum": 12,
"minimum": 1,
"type": "integer"
},
"multiplicity": {
"maximum": 12,
"minimum": 1,
"type": "integer"
},
"nodal_domains": {
"maximum": 1000000,
"minimum": 0,
"type": "integer"
},
"note": {
"anyOf": [
{
"maxLength": 32,
"minLength": 1,
"type": "string"
},
{
"type": "null"
}
]
},
"observed_order": {
"anyOf": [
{
"maximum": 4,
"minimum": 0.5,
"type": "number"
},
{
"type": "null"
}
]
},
"ratio_to_fundamental": {
"anyOf": [
{
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
{
"type": "null"
}
]
},
"residual": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"wavenumber": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
}
},
"required": [
"courant_bound",
"courant_respected",
"discretization_error_estimate",
"eigenvalue",
"eigenvalue_upper_bound",
"frequency_hz",
"index",
"multiplicity",
"nodal_domains",
"note",
"observed_order",
"ratio_to_fundamental",
"residual",
"wavenumber"
],
"type": "object"
},
"maxItems": 12,
"minItems": 1,
"type": "array"
},
"perimeter": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"resolution_warning": {
"anyOf": [
{
"maxLength": 512,
"minLength": 1,
"type": "string"
},
{
"type": "null"
}
]
},
"vertices": {
"maximum": 64,
"minimum": 3,
"type": "integer"
},
"well_resolved_modes": {
"maximum": 12,
"minimum": 0,
"type": "integer"
},
"weyl": {
"additionalProperties": false,
"properties": {
"computed_count": {
"maximum": 12,
"minimum": 1,
"type": "integer"
},
"eigenvalue": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
"predicted_count": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
}
},
"required": [
"computed_count",
"eigenvalue",
"predicted_count"
],
"type": "object"
}
},
"required": [
"area",
"levels",
"max_residual",
"mode_shapes",
"modes",
"perimeter",
"resolution_warning",
"vertices",
"well_resolved_modes",
"weyl"
],
"type": "object"
},
"statement": {
"maxLength": 2048,
"minLength": 1,
"type": "string"
}
},
"required": [
"assumptions",
"boundary",
"compared_shape",
"comparison",
"contract_version",
"elapsed_ms",
"engine",
"method",
"shape",
"statement",
"provenance"
],
"type": "object"
}
},
{
"description": "Compare up to 32 declared deadline/optional-task changes under independent-uniform durations; preserve required tasks. Search bounds select one finalist for separately seeded confirmation, without retries. Conditional on the model, not delivery reliability.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"confirmation_seed": {
"maximum": 4294967295,
"minimum": 0,
"type": "integer"
},
"costs": {
"additionalProperties": false,
"properties": {
"max_cost": {
"maximum": 1000000000000,
"minimum": 0,
"type": "number"
},
"per_extra_minute": {
"exclusiveMinimum": 0,
"maximum": 1000000,
"type": "number"
},
"per_lost_value": {
"exclusiveMinimum": 0,
"maximum": 1000000,
"type": "number"
}
},
"required": [
"per_extra_minute",
"per_lost_value",
"max_cost"
],
"type": "object"
},
"deadline_minutes": {
"maximum": 1440,
"minimum": 1,
"type": "integer"
},
"duration_model": {
"const": "independent_uniform",
"type": "string"
},
"extra_minutes": {
"description": "Unique permitted deadline increments; include zero and keep every modified deadline at most 1440 minutes.",
"items": {
"maximum": 1439,
"minimum": 0,
"type": "integer"
},
"maxItems": 32,
"minItems": 1,
"type": "array"
},
"items": {
"items": {
"additionalProperties": false,
"properties": {
"duration": {
"maximum": 1440,
"minimum": 1,
"type": "integer"
},
"name": {
"maxLength": 120,
"minLength": 1,
"type": "string"
},
"value": {
"maximum": 10000,
"minimum": 0,
"type": "integer"
}
},
"required": [
"name",
"duration",
"value"
],
"type": "object"
},
"maxItems": 32,
"minItems": 1,
"type": "array"
},
"min_success_rate": {
"maximum": 1,
"minimum": 0.5,
"type": "number"
},
"removal_sets": {
"description": "Unique sorted sets of optional original task indices; include the empty set, preserve required tasks, and keep at least one task.",
"items": {
"items": {
"maximum": 31,
"minimum": 0,
"type": "integer"
},
"maxItems": 31,
"type": "array"
},
"maxItems": 32,
"minItems": 1,
"type": "array"
},
"required_indices": {
"items": {
"maximum": 31,
"minimum": 0,
"type": "integer"
},
"maxItems": 32,
"type": "array"
},
"samples": {
"maximum": 10000,
"minimum": 100,
"type": "integer"
},
"search_seed": {
"maximum": 4294967295,
"minimum": 0,
"type": "integer"
},
"uncertainty": {
"maximum": 0.5,
"minimum": 0,
"type": "number"
}
},
"required": [
"items",
"required_indices",
"deadline_minutes",
"extra_minutes",
"removal_sets",
"costs",
"uncertainty",
"min_success_rate",
"samples",
"search_seed",
"confirmation_seed",
"duration_model"
],
"type": "object"
},
"name": "improve_schedule",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"candidates": {
"items": {
"additionalProperties": false,
"properties": {
"cost": {
"minimum": 0,
"type": "number"
},
"deadline_minutes": {
"maximum": 1440,
"minimum": 1,
"type": "integer"
},
"extra_minutes": {
"maximum": 1439,
"minimum": 0,
"type": "integer"
},
"id": {
"type": "string"
},
"removed_indices": {
"items": {
"maximum": 31,
"minimum": 0,
"type": "integer"
},
"maxItems": 31,
"type": "array"
},
"retained_indices": {
"items": {
"maximum": 31,
"minimum": 0,
"type": "integer"
},
"maxItems": 32,
"minItems": 1,
"type": "array"
},
"retained_value": {
"maximum": 320000,
"minimum": 0,
"type": "integer"
},
"search": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"lower_bound": {
"maximum": 1,
"minimum": 0,
"type": "number"
},
"method": {
"enum": [
"exact_model_bound",
"fixed_sample_hoeffding"
],
"type": "string"
},
"probability_estimate": {
"maximum": 1,
"minimum": 0,
"type": "number"
},
"seed": {
"anyOf": [
{
"maximum": 4294967295,
"minimum": 0,
"type": "integer"
},
{
"type": "null"
}
]
},
"simulation": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"mean_duration": {
"minimum": 0,
"type": "number"
},
"method": {
"type": "string"
},
"p95_duration": {
"minimum": 0,
"type": "number"
},
"samples": {
"maximum": 10000,
"minimum": 100,
"type": "integer"
},
"success_rate": {
"maximum": 1,
"minimum": 0,
"type": "number"
}
},
"required": [
"success_rate",
"mean_duration",
"p95_duration",
"samples",
"elapsed_ms",
"method"
],
"type": "object"
},
{
"type": "null"
}
]
},
"upper_bound": {
"maximum": 1,
"minimum": 0,
"type": "number"
}
},
"required": [
"method",
"probability_estimate",
"lower_bound",
"upper_bound",
"seed",
"simulation"
],
"type": "object"
},
{
"type": "null"
}
]
},
"status": {
"enum": [
"cost_limit",
"search_qualified",
"below_target",
"uncertain"
],
"type": "string"
}
},
"required": [
"id",
"extra_minutes",
"removed_indices",
"retained_indices",
"retained_value",
"deadline_minutes",
"cost",
"status",
"search"
],
"type": "object"
},
"maxItems": 32,
"minItems": 1,
"type": "array"
},
"confirmation": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"lower_bound": {
"maximum": 1,
"minimum": 0,
"type": "number"
},
"method": {
"enum": [
"exact_model_bound",
"fixed_sample_hoeffding"
],
"type": "string"
},
"probability_estimate": {
"maximum": 1,
"minimum": 0,
"type": "number"
},
"seed": {
"anyOf": [
{
"maximum": 4294967295,
"minimum": 0,
"type": "integer"
},
{
"type": "null"
}
]
},
"simulation": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"mean_duration": {
"minimum": 0,
"type": "number"
},
"method": {
"type": "string"
},
"p95_duration": {
"minimum": 0,
"type": "number"
},
"samples": {
"maximum": 10000,
"minimum": 100,
"type": "integer"
},
"success_rate": {
"maximum": 1,
"minimum": 0,
"type": "number"
}
},
"required": [
"success_rate",
"mean_duration",
"p95_duration",
"samples",
"elapsed_ms",
"method"
],
"type": "object"
},
{
"type": "null"
}
]
},
"upper_bound": {
"maximum": 1,
"minimum": 0,
"type": "number"
}
},
"required": [
"method",
"probability_estimate",
"lower_bound",
"upper_bound",
"seed",
"simulation"
],
"type": "object"
},
{
"type": "null"
}
]
},
"confirmation_error_budget": {
"const": 0.025,
"type": "number"
},
"contract_version": {
"const": "0.1.0",
"type": "string"
},
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"explanation": {
"type": "string"
},
"limitations": {
"items": {
"type": "string"
},
"type": "array"
},
"provenance": {
"additionalProperties": false,
"properties": {
"client": {
"additionalProperties": {},
"properties": {
"name": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"name",
"version"
],
"type": "object"
},
"identity_source": {
"type": "string"
},
"model": {
"type": "null"
},
"server": {
"const": "scorecompute",
"type": "string"
},
"tool": {
"const": "improve_schedule",
"type": "string"
}
},
"required": [
"tool",
"server",
"client",
"identity_source",
"model"
],
"type": "object"
},
"provisional_candidate_id": {
"type": [
"string",
"null"
]
},
"search_family_error_budget": {
"const": 0.025,
"type": "number"
},
"selected_candidate_id": {
"type": [
"string",
"null"
]
},
"simulation_samples": {
"maximum": 330000,
"minimum": 0,
"type": "integer"
},
"status": {
"enum": [
"confirmed",
"confirmation_inconclusive",
"target_not_demonstrated"
],
"type": "string"
},
"study_kind": {
"const": "bounded_schedule_modification",
"type": "string"
}
},
"required": [
"contract_version",
"status",
"study_kind",
"candidates",
"provisional_candidate_id",
"selected_candidate_id",
"confirmation",
"search_family_error_budget",
"confirmation_error_budget",
"simulation_samples",
"elapsed_ms",
"explanation",
"limitations",
"provenance"
],
"type": "object"
}
},
{
"description": "Survey up to 512 initial orbits in a planar circular Sun–Jupiter model; at most 4 million reserved CPU steps. Return finite-window sensitivity, actual durations, sampled Jacobi drift and explicit stops. Bands do not prove chaos or stability; radial overlap is not an encounter. Direct-only.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"a_max_au": {
"maximum": 5.6,
"minimum": 1.5,
"type": "number"
},
"a_min_au": {
"maximum": 5.5,
"minimum": 1.5,
"type": "number"
},
"duration_yr": {
"maximum": 5000,
"minimum": 50,
"type": "number"
},
"e_max": {
"maximum": 0.7,
"minimum": 0,
"type": "number"
},
"e_min": {
"maximum": 0.7,
"minimum": 0,
"type": "number"
},
"initial_phase_deg": {
"maximum": 360,
"minimum": 0,
"type": "number"
},
"jupiter_semi_major_au": {
"maximum": 8,
"minimum": 3,
"type": "number"
},
"mass_ratio": {
"maximum": 0.04,
"minimum": 0.000001,
"type": "number"
},
"max_work_units": {
"maximum": 4000000,
"minimum": 10000,
"type": "integer"
},
"n_a": {
"maximum": 64,
"minimum": 2,
"type": "integer"
},
"n_e": {
"maximum": 64,
"minimum": 2,
"type": "integer"
},
"steps_per_year": {
"maximum": 128,
"minimum": 8,
"type": "integer"
}
},
"required": [
"a_max_au",
"a_min_au",
"e_max",
"e_min",
"n_a",
"n_e"
],
"type": "object"
},
"name": "kepler_stability",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"assumptions": {
"items": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"maxItems": 64,
"minItems": 1,
"type": "array"
},
"contract_version": {
"const": "0.2.0",
"type": "string"
},
"elapsed_ms": {
"maximum": 1000000000,
"minimum": 0,
"type": "number"
},
"engine": {
"const": "rust-cpu",
"type": "string"
},
"grid": {
"additionalProperties": false,
"properties": {
"a_max_au": {
"maximum": 5.6,
"minimum": 1.5,
"type": "number"
},
"a_min_au": {
"maximum": 5.5,
"minimum": 1.5,
"type": "number"
},
"close_encounter": {
"maximum": 512,
"minimum": 0,
"type": "integer"
},
"e_max": {
"maximum": 0.7,
"minimum": 0,
"type": "number"
},
"e_min": {
"maximum": 0.7,
"minimum": 0,
"type": "number"
},
"escaped": {
"maximum": 512,
"minimum": 0,
"type": "integer"
},
"high_sensitivity": {
"maximum": 512,
"minimum": 0,
"type": "integer"
},
"jupiter_crossing": {
"maximum": 512,
"minimum": 0,
"type": "integer"
},
"kepler_failed": {
"maximum": 512,
"minimum": 0,
"type": "integer"
},
"low_sensitivity": {
"maximum": 512,
"minimum": 0,
"type": "integer"
},
"moderate_sensitivity": {
"maximum": 512,
"minimum": 0,
"type": "integer"
},
"n_a": {
"maximum": 64,
"minimum": 2,
"type": "integer"
},
"n_e": {
"maximum": 64,
"minimum": 2,
"type": "integer"
},
"not_evaluated": {
"maximum": 512,
"minimum": 0,
"type": "integer"
},
"numerical_warning": {
"maximum": 512,
"minimum": 0,
"type": "integer"
},
"points_evaluated": {
"maximum": 512,
"minimum": 0,
"type": "integer"
},
"points_total": {
"maximum": 512,
"minimum": 4,
"type": "integer"
}
},
"required": [
"a_max_au",
"a_min_au",
"close_encounter",
"e_max",
"e_min",
"escaped",
"high_sensitivity",
"jupiter_crossing",
"kepler_failed",
"low_sensitivity",
"moderate_sensitivity",
"n_a",
"n_e",
"not_evaluated",
"numerical_warning",
"points_evaluated",
"points_total"
],
"type": "object"
},
"map_text": {
"items": {
"maxLength": 128,
"minLength": 0,
"type": "string"
},
"maxItems": 64,
"minItems": 1,
"type": "array"
},
"method": {
"maxLength": 4096,
"minLength": 1,
"type": "string"
},
"notes": {
"items": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"maxItems": 32,
"minItems": 0,
"type": "array"
},
"points": {
"items": {
"additionalProperties": false,
"properties": {
"a_au": {
"maximum": 5.6,
"minimum": 1.5,
"type": "number"
},
"crossing_year": {
"anyOf": [
{
"maximum": 5000,
"minimum": 0,
"type": "number"
},
{
"type": "null"
}
]
},
"e_init": {
"maximum": 0.7,
"minimum": 0,
"type": "number"
},
"e_max": {
"anyOf": [
{
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
{
"type": "null"
}
]
},
"integrated_years": {
"maximum": 5000,
"minimum": 0,
"type": "number"
},
"jacobi_drift": {
"anyOf": [
{
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
{
"type": "null"
}
]
},
"lyapunov_per_yr": {
"anyOf": [
{
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
{
"type": "null"
}
]
},
"status": {
"anyOf": [
{
"const": "low_sensitivity",
"type": "string"
},
{
"const": "moderate_sensitivity",
"type": "string"
},
{
"const": "high_sensitivity",
"type": "string"
},
{
"const": "jupiter_crossing",
"type": "string"
},
{
"const": "escaped",
"type": "string"
},
{
"const": "close_encounter",
"type": "string"
},
{
"const": "kepler_failed",
"type": "string"
},
{
"const": "numerical_warning",
"type": "string"
},
{
"const": "not_evaluated",
"type": "string"
}
]
},
"steps": {
"maximum": 640000,
"minimum": 0,
"type": "integer"
},
"stop_reason": {
"anyOf": [
{
"const": "window_complete",
"type": "string"
},
{
"const": "work_budget",
"type": "string"
},
{
"const": "stretch_limit",
"type": "string"
},
{
"const": "initial_close_encounter",
"type": "string"
},
{
"const": "close_encounter_guard",
"type": "string"
},
{
"const": "escape_radius",
"type": "string"
},
{
"const": "kepler_failure",
"type": "string"
},
{
"const": "jacobi_warning",
"type": "string"
},
{
"const": "sensitivity_unresolved",
"type": "string"
}
]
},
"stretch_log": {
"anyOf": [
{
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
{
"type": "null"
}
]
}
},
"required": [
"a_au",
"crossing_year",
"e_init",
"e_max",
"integrated_years",
"jacobi_drift",
"lyapunov_per_yr",
"status",
"steps",
"stop_reason",
"stretch_log"
],
"type": "object"
},
"maxItems": 512,
"minItems": 1,
"type": "array"
},
"provenance": {
"additionalProperties": false,
"properties": {
"client": {
"additionalProperties": {},
"properties": {
"name": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"name",
"version"
],
"type": "object"
},
"identity_source": {
"type": "string"
},
"model": {
"type": "null"
},
"server": {
"const": "scorecompute",
"type": "string"
},
"tool": {
"const": "kepler_stability",
"type": "string"
}
},
"required": [
"tool",
"server",
"client",
"identity_source",
"model"
],
"type": "object"
},
"statement": {
"maxLength": 4096,
"minLength": 1,
"type": "string"
},
"system": {
"additionalProperties": false,
"properties": {
"executed_work_units": {
"maximum": 4000000,
"minimum": 0,
"type": "integer"
},
"jacobi_warning_threshold": {
"const": 0.001,
"type": "number"
},
"jupiter_gm_au3_yr2": {
"maximum": 5,
"minimum": 0,
"type": "number"
},
"jupiter_period_yr": {
"maximum": 25,
"minimum": 5,
"type": "number"
},
"jupiter_semi_major_au": {
"maximum": 8,
"minimum": 3,
"type": "number"
},
"mass_ratio": {
"maximum": 0.04,
"minimum": 0.000001,
"type": "number"
},
"sun_gm_au3_yr2": {
"maximum": 45,
"minimum": 30,
"type": "number"
},
"total_work_units": {
"maximum": 4000000,
"minimum": 0,
"type": "integer"
},
"work_unit_cap": {
"maximum": 4000000,
"minimum": 10000,
"type": "integer"
}
},
"required": [
"executed_work_units",
"jacobi_warning_threshold",
"jupiter_gm_au3_yr2",
"jupiter_period_yr",
"jupiter_semi_major_au",
"mass_ratio",
"sun_gm_au3_yr2",
"total_work_units",
"work_unit_cap"
],
"type": "object"
}
},
"required": [
"assumptions",
"contract_version",
"elapsed_ms",
"engine",
"grid",
"map_text",
"method",
"notes",
"points",
"statement",
"system",
"provenance"
],
"type": "object"
}
},
{
"description": "Read native contracts, themes, units, assumptions, backends and approved composition families; optional exact theme filter. tools/list discovers direct MCP tools; list_composition_capabilities adds planner bindings.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"theme": {
"maxLength": 64,
"minLength": 1,
"type": "string"
}
},
"type": "object"
},
"name": "list_capabilities",
"outputSchema": null
},
{
"description": "Read implemented versioned contracts, native capabilities, approved adapters and planning examples. Unsupported unit/model facts expose missing adapters. No engines run; direct tools remain independently callable.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {},
"type": "object"
},
"name": "list_composition_capabilities",
"outputSchema": null
},
{
"description": "Read contributor availability, offered CPU/GPU resources and verified throughput by workload. Hardware is self-reported; per-GPU VRAM is not pooled. Mixed-workload samples do not measure comparative speed.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {},
"type": "object"
},
"name": "network_status",
"outputSchema": null
},
{
"description": "Exactly maximize value for up to 32 independent, indivisible tasks within an integer-minute budget. Each task is selected at most once; no prerequisites or shared resources.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"budget": {
"maximum": 1440,
"minimum": 1,
"type": "integer"
},
"items": {
"items": {
"properties": {
"duration": {
"maximum": 1440,
"minimum": 1,
"type": "integer"
},
"name": {
"maxLength": 120,
"minLength": 1,
"type": "string"
},
"value": {
"maximum": 10000,
"minimum": 0,
"type": "integer"
}
},
"required": [
"name",
"duration",
"value"
],
"type": "object"
},
"maxItems": 32,
"minItems": 1,
"type": "array"
}
},
"required": [
"budget",
"items"
],
"type": "object"
},
"name": "optimize_tasks",
"outputSchema": null
},
{
"description": "Compute geometric golden [-4,+6°] and blue [-6,-4°] windows for one UTC day, 1900–2100. Sunrise at -0.833° is a separate convention. No refraction, terrain or weather. Numerical tolerance is not astronomical accuracy; oracle validation covers reference dates only. Shared solar models are not independent corroboration.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"date_utc": {
"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.",
"maxLength": 20,
"minLength": 20,
"pattern": "^(?:19\\d{2}|20\\d{2}|2100)-\\d{2}-\\d{2}T00:00:00Z$",
"type": "string"
},
"latitude": {
"description": "Degrees, North positive.",
"maximum": 89,
"minimum": -89,
"type": "number"
},
"longitude": {
"description": "Degrees, East positive.",
"maximum": 180,
"minimum": -180,
"type": "number"
}
},
"required": [
"date_utc",
"latitude",
"longitude"
],
"type": "object"
},
"name": "plan_golden_hour",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"bands": {
"items": {
"additionalProperties": false,
"properties": {
"high_deg": {
"type": "number"
},
"low_deg": {
"type": "number"
},
"name": {
"enum": [
"golden",
"blue"
],
"type": "string"
}
},
"required": [
"name",
"low_deg",
"high_deg"
],
"type": "object"
},
"maxItems": 2,
"minItems": 2,
"type": "array"
},
"contract_version": {
"const": "0.1.0",
"type": "string"
},
"crossings": {
"items": {
"additionalProperties": false,
"properties": {
"direction": {
"enum": [
"rising",
"setting"
],
"type": "string"
},
"threshold_deg": {
"anyOf": [
{
"const": 6,
"type": "number"
},
{
"const": -4,
"type": "number"
},
{
"const": -6,
"type": "number"
},
{
"const": -0.833,
"type": "number"
}
]
},
"time_utc": {
"pattern": "^\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}\\.\\d{3}Z$",
"type": "string"
}
},
"required": [
"threshold_deg",
"direction",
"time_utc"
],
"type": "object"
},
"type": "array"
},
"date_utc": {
"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.",
"maxLength": 20,
"minLength": 20,
"pattern": "^(?:19\\d{2}|20\\d{2}|2100)-\\d{2}-\\d{2}T00:00:00Z$",
"type": "string"
},
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"elevation_convention": {
"type": "string"
},
"latitude": {
"maximum": 89,
"minimum": -89,
"type": "number"
},
"limitations": {
"items": {
"type": "string"
},
"type": "array"
},
"longitude": {
"maximum": 180,
"minimum": -180,
"type": "number"
},
"notes": {
"items": {
"type": "string"
},
"type": "array"
},
"numerical": {
"additionalProperties": false,
"properties": {
"evaluations": {
"maximum": 20000,
"minimum": 1441,
"type": "integer"
},
"extremum_refinements": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"sampled_points": {
"const": 1441,
"type": "number"
},
"time_tolerance_s": {
"const": 0.25,
"type": "number"
},
"timestamp_resolution_s": {
"const": 0.001,
"type": "number"
}
},
"required": [
"time_tolerance_s",
"timestamp_resolution_s",
"sampled_points",
"evaluations",
"extremum_refinements"
],
"type": "object"
},
"period_end_utc": {
"pattern": "^\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}\\.\\d{3}Z$",
"type": "string"
},
"period_start_utc": {
"pattern": "^\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}\\.\\d{3}Z$",
"type": "string"
},
"provenance": {
"additionalProperties": false,
"properties": {
"client": {
"additionalProperties": {},
"properties": {
"name": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"name",
"version"
],
"type": "object"
},
"identity_source": {
"type": "string"
},
"model": {
"type": "null"
},
"server": {
"const": "scorecompute",
"type": "string"
},
"tool": {
"const": "plan_golden_hour",
"type": "string"
}
},
"required": [
"tool",
"server",
"client",
"identity_source",
"model"
],
"type": "object"
},
"status": {
"const": "computed",
"type": "string"
},
"sun_max_elevation_deg": {
"maximum": 90,
"minimum": -90,
"type": "number"
},
"sun_min_elevation_deg": {
"maximum": 90,
"minimum": -90,
"type": "number"
},
"sunrise_convention": {
"type": "string"
},
"windows": {
"items": {
"additionalProperties": false,
"properties": {
"azimuth_defined": {
"type": "boolean"
},
"azimuth_mid_deg": {
"anyOf": [
{
"maximum": 360,
"minimum": 0,
"type": "number"
},
{
"type": "null"
}
]
},
"band": {
"enum": [
"golden",
"blue"
],
"type": "string"
},
"duration_s": {
"exclusiveMinimum": 0,
"maximum": 86400,
"type": "number"
},
"end_utc": {
"pattern": "^\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}\\.\\d{3}Z$",
"type": "string"
},
"ends_at_period_end": {
"type": "boolean"
},
"start_utc": {
"pattern": "^\\d{4}-\\d{2}-\\d{2}T\\d{2}:\\d{2}:\\d{2}\\.\\d{3}Z$",
"type": "string"
},
"starts_at_period_start": {
"type": "boolean"
},
"sun_motion_at_mid": {
"enum": [
"rising",
"setting",
"flat"
],
"type": "string"
}
},
"required": [
"band",
"start_utc",
"end_utc",
"duration_s",
"starts_at_period_start",
"ends_at_period_end",
"azimuth_mid_deg",
"azimuth_defined",
"sun_motion_at_mid"
],
"type": "object"
},
"type": "array"
}
},
"required": [
"contract_version",
"status",
"date_utc",
"period_start_utc",
"period_end_utc",
"latitude",
"longitude",
"elevation_convention",
"sunrise_convention",
"bands",
"windows",
"crossings",
"sun_min_elevation_deg",
"sun_max_elevation_deg",
"numerical",
"notes",
"limitations",
"elapsed_ms",
"provenance"
],
"type": "object"
}
},
{
"description": "Preview robust scheduling without running engines: validate assumptions/permissions and return up to three candidate budgets (nominal, 10% reserve, 20% reserve), compute limits or blockers. No arbitrary tools or external code.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"allowed_tools": {
"default": [
"optimize_tasks",
"simulate_plan"
],
"items": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[a-z][a-z0-9_]*$",
"type": "string"
},
"maxItems": 14,
"type": "array"
},
"budget": {
"maximum": 1440,
"minimum": 1,
"type": "integer"
},
"duration_model": {
"default": "independent_uniform",
"maxLength": 64,
"minLength": 1,
"type": "string"
},
"items": {
"items": {
"additionalProperties": false,
"properties": {
"duration": {
"maximum": 1440,
"minimum": 1,
"type": "integer"
},
"name": {
"maxLength": 120,
"minLength": 1,
"type": "string"
},
"value": {
"maximum": 10000,
"minimum": 0,
"type": "integer"
}
},
"required": [
"name",
"duration",
"value"
],
"type": "object"
},
"maxItems": 32,
"minItems": 1,
"type": "array"
},
"max_candidates": {
"default": 3,
"maximum": 3,
"minimum": 1,
"type": "integer"
},
"min_success_rate": {
"default": 0.95,
"maximum": 0.999,
"minimum": 0.5,
"type": "number"
},
"samples": {
"default": 10000,
"maximum": 20000,
"minimum": 100,
"type": "integer"
},
"seed": {
"default": 42,
"maximum": 4294967295,
"minimum": 0,
"type": "integer"
},
"uncertainty": {
"maximum": 0.5,
"minimum": 0,
"type": "number"
}
},
"required": [
"items",
"budget",
"uncertainty"
],
"type": "object"
},
"name": "plan_mission",
"outputSchema": null
},
{
"description": "Fit original tracks, then rank 1–64 supplied future series by local-linear uncertainty and declared cost. Assumes constant velocity, independent new errors and exact stations/clocks. Candidate angles and client baselines are forbidden. Prediction is not an acquired measurement or visibility proof.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"assumptions": {
"additionalProperties": false,
"properties": {
"constant_velocity": {
"const": true,
"type": "boolean"
},
"exact_stations_and_clocks": {
"const": true,
"type": "boolean"
},
"independent_new_errors": {
"const": true,
"type": "boolean"
}
},
"required": [
"independent_new_errors",
"exact_stations_and_clocks",
"constant_velocity"
],
"type": "object"
},
"candidates": {
"items": {
"additionalProperties": false,
"properties": {
"cost_units": {
"maximum": 1000000000,
"minimum": 0,
"type": "number"
},
"id": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9_.-]+$",
"type": "string"
},
"sample_times_s": {
"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.",
"items": {
"maximum": 1000000000000,
"minimum": -1000000000000,
"type": "number"
},
"maxItems": 120,
"minItems": 3,
"type": "array"
},
"sigma_az_deg": {
"maximum": 10,
"minimum": 0.01,
"type": "number"
},
"sigma_el_deg": {
"maximum": 10,
"minimum": 0.01,
"type": "number"
},
"station": {
"additionalProperties": false,
"properties": {
"elevation_m": {
"maximum": 9000,
"minimum": -500,
"type": "number"
},
"id": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9_.-]+$",
"type": "string"
},
"lat": {
"maximum": 89,
"minimum": -89,
"type": "number"
},
"lon": {
"maximum": 180,
"minimum": -180,
"type": "number"
}
},
"required": [
"id",
"lat",
"lon",
"elevation_m"
],
"type": "object"
}
},
"required": [
"id",
"station",
"sample_times_s",
"sigma_az_deg",
"sigma_el_deg",
"cost_units"
],
"type": "object"
},
"maxItems": 64,
"minItems": 1,
"type": "array"
},
"constraints": {
"additionalProperties": false,
"properties": {
"max_cost_units": {
"maximum": 1000000000,
"minimum": 0,
"type": "number"
},
"min_elevation_deg": {
"maximum": 89,
"minimum": -2,
"type": "number"
}
},
"required": [
"max_cost_units",
"min_elevation_deg"
],
"type": "object"
},
"objective": {
"additionalProperties": false,
"properties": {
"horizon_s": {
"description": "Absolute comparison time in the same corrected seconds as the observations; after the original observations, within their bounded 3600-second domain.",
"maximum": 1000000000000,
"minimum": -1000000000000,
"type": "number"
}
},
"required": [
"horizon_s"
],
"type": "object"
},
"observations": {
"additionalProperties": false,
"description": "Original angular observations; Rust computes the baseline fit and covariance itself.",
"properties": {
"observers": {
"items": {
"additionalProperties": false,
"properties": {
"clock_offset_s": {
"default": 0,
"description": "The observer clock is ahead of the common base by this many seconds; the engine subtracts it.",
"maximum": 60,
"minimum": -60,
"type": "number"
},
"elevation_m": {
"default": 0,
"maximum": 9000,
"minimum": -500,
"type": "number"
},
"lat": {
"maximum": 89,
"minimum": -89,
"type": "number"
},
"lon": {
"maximum": 180,
"minimum": -180,
"type": "number"
},
"samples": {
"items": {
"additionalProperties": false,
"properties": {
"azimuth_deg": {
"maximum": 360,
"minimum": 0,
"type": "number"
},
"elevation_deg": {
"maximum": 90,
"minimum": -2,
"type": "number"
},
"t_s": {
"description": "Seconds from a common epoch, strictly increasing for this observer.",
"maximum": 1000000000000,
"minimum": -1000000000000,
"type": "number"
}
},
"required": [
"t_s",
"azimuth_deg",
"elevation_deg"
],
"type": "object"
},
"maxItems": 120,
"minItems": 3,
"type": "array"
},
"sigma_az_deg": {
"maximum": 10,
"minimum": 0.01,
"type": "number"
},
"sigma_el_deg": {
"maximum": 10,
"minimum": 0.01,
"type": "number"
}
},
"required": [
"lat",
"lon",
"sigma_az_deg",
"sigma_el_deg",
"samples"
],
"type": "object"
},
"maxItems": 4,
"minItems": 2,
"type": "array"
}
},
"required": [
"observers"
],
"type": "object"
}
},
"required": [
"observations",
"candidates",
"objective",
"constraints",
"assumptions"
],
"type": "object"
},
"name": "plan_observation",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"baseline_fit": {
"additionalProperties": false,
"properties": {
"baseline_km": {
"minimum": 0,
"type": "number"
},
"contract_version": {
"const": "0.2.0",
"type": "string"
},
"diagnostics": {
"additionalProperties": false,
"properties": {
"condition_ratio": {
"type": [
"number",
"null"
]
},
"cost_evaluations": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"dof": {
"maximum": 9007199254740991,
"minimum": -9007199254740991,
"type": "integer"
},
"iterations": {
"maximum": 80,
"minimum": 0,
"type": "integer"
},
"low_elevation_samples": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
}
},
"required": [
"dof",
"iterations",
"cost_evaluations",
"low_elevation_samples",
"condition_ratio"
],
"type": "object"
},
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"grid": {
"additionalProperties": false,
"properties": {
"end_s": {
"type": "number"
},
"interpolated_samples": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"points": {
"maximum": 60,
"minimum": 2,
"type": "integer"
},
"start_s": {
"type": "number"
},
"step_s": {
"exclusiveMinimum": 0,
"type": "number"
}
},
"required": [
"points",
"start_s",
"end_s",
"step_s",
"interpolated_samples"
],
"type": "object"
},
"limitations": {
"items": {
"type": "string"
},
"type": "array"
},
"observers": {
"maximum": 4,
"minimum": 2,
"type": "integer"
},
"reasons": {
"items": {
"type": "string"
},
"type": "array"
},
"residuals": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"max_deg": {
"minimum": 0,
"type": "number"
},
"per_observer": {
"items": {
"additionalProperties": false,
"properties": {
"index": {
"maximum": 3,
"minimum": 0,
"type": "integer"
},
"max_deg": {
"minimum": 0,
"type": "number"
},
"rms_deg": {
"minimum": 0,
"type": "number"
}
},
"required": [
"index",
"rms_deg",
"max_deg"
],
"type": "object"
},
"maxItems": 4,
"minItems": 2,
"type": "array"
},
"total_rms_deg": {
"minimum": 0,
"type": "number"
}
},
"required": [
"total_rms_deg",
"max_deg",
"per_observer"
],
"type": "object"
},
{
"type": "null"
}
]
},
"state": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"covariance_ecef": {
"items": {
"items": {
"type": "number"
},
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"covariance_parameter_units": {
"additionalItems": false,
"items": [
{
"const": "km",
"type": "string"
},
{
"const": "km",
"type": "string"
},
{
"const": "km",
"type": "string"
},
{
"const": "km/s",
"type": "string"
},
{
"const": "km/s",
"type": "string"
},
{
"const": "km/s",
"type": "string"
}
],
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"frame": {
"type": "string"
},
"heading_deg": {
"maximum": 360,
"minimum": 0,
"type": "number"
},
"position_ecef_km": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"position_sigma_km": {
"additionalItems": false,
"items": [
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"reduced_chi2": {
"minimum": 0,
"type": "number"
},
"speed_kmh": {
"minimum": 0,
"type": "number"
},
"t_ref_s": {
"type": "number"
},
"uncertainty_model": {
"type": "string"
},
"velocity_km_s": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"velocity_sigma_km_s": {
"additionalItems": false,
"items": [
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"vertical_rate_m_s": {
"type": "number"
}
},
"required": [
"t_ref_s",
"frame",
"position_ecef_km",
"velocity_km_s",
"position_sigma_km",
"velocity_sigma_km_s",
"covariance_ecef",
"covariance_parameter_units",
"uncertainty_model",
"speed_kmh",
"heading_deg",
"vertical_rate_m_s",
"reduced_chi2"
],
"type": "object"
},
{
"type": "null"
}
]
},
"status": {
"enum": [
"estimated",
"inconsistent",
"degenerate",
"no_convergence"
],
"type": "string"
},
"trajectory": {
"items": {
"additionalProperties": false,
"properties": {
"altitude_m": {
"type": "number"
},
"latitude_deg": {
"maximum": 90,
"minimum": -90,
"type": "number"
},
"longitude_deg": {
"maximum": 180,
"minimum": -180,
"type": "number"
},
"ranges_km": {
"items": {
"minimum": 0,
"type": "number"
},
"maxItems": 4,
"minItems": 2,
"type": "array"
},
"t_s": {
"type": "number"
}
},
"required": [
"t_s",
"latitude_deg",
"longitude_deg",
"altitude_m",
"ranges_km"
],
"type": "object"
},
"maxItems": 60,
"type": "array"
}
},
"required": [
"contract_version",
"status",
"reasons",
"observers",
"baseline_km",
"grid",
"state",
"trajectory",
"residuals",
"diagnostics",
"elapsed_ms",
"limitations"
],
"type": "object"
},
"contract_version": {
"const": "0.1.0",
"type": "string"
},
"design": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"baseline_position_covariance_km2": {
"items": {
"items": {
"type": "number"
},
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"baseline_sigma_major_position_m": {
"exclusiveMinimum": 0,
"type": "number"
},
"candidates": {
"items": {
"additionalProperties": false,
"properties": {
"cost_units": {
"maximum": 1000000000,
"minimum": 0,
"type": "number"
},
"id": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9_.-]+$",
"type": "string"
},
"predicted_position_covariance_km2": {
"anyOf": [
{
"items": {
"items": {
"type": "number"
},
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"maxItems": 3,
"minItems": 3,
"type": "array"
},
{
"type": "null"
}
]
},
"predicted_reduction_fraction": {
"type": [
"number",
"null"
]
},
"predicted_sigma_major_position_m": {
"anyOf": [
{
"minimum": 0,
"type": "number"
},
{
"type": "null"
}
]
},
"reason_codes": {
"items": {
"type": "string"
},
"type": "array"
},
"sample_count": {
"maximum": 120,
"minimum": 3,
"type": "integer"
},
"status": {
"enum": [
"admissible",
"rejected"
],
"type": "string"
}
},
"required": [
"id",
"status",
"reason_codes",
"cost_units",
"sample_count",
"predicted_sigma_major_position_m",
"predicted_position_covariance_km2",
"predicted_reduction_fraction"
],
"type": "object"
},
"maxItems": 64,
"minItems": 1,
"type": "array"
},
"contract_version": {
"const": "0.1.0",
"type": "string"
},
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"evaluated_candidates": {
"maximum": 64,
"minimum": 1,
"type": "integer"
},
"horizon_s": {
"type": "number"
},
"limitations": {
"items": {
"type": "string"
},
"type": "array"
},
"prediction_kind": {
"const": "conditional_local_linear_forecast",
"type": "string"
},
"ranking": {
"items": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9_.-]+$",
"type": "string"
},
"maxItems": 64,
"type": "array"
},
"selected_candidate_id": {
"anyOf": [
{
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9_.-]+$",
"type": "string"
},
{
"type": "null"
}
]
},
"status": {
"enum": [
"ranked",
"no_admissible_candidate"
],
"type": "string"
}
},
"required": [
"contract_version",
"status",
"prediction_kind",
"horizon_s",
"baseline_sigma_major_position_m",
"baseline_position_covariance_km2",
"selected_candidate_id",
"ranking",
"candidates",
"evaluated_candidates",
"elapsed_ms",
"limitations"
],
"type": "object"
},
{
"type": "null"
}
]
},
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"policy_trace": {
"additionalProperties": false,
"properties": {
"artifact_sha256": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"evaluated_candidates": {
"maximum": 64,
"minimum": 0,
"type": "integer"
},
"execution": {
"enum": [
"reference_small_workload",
"cached_exact_fisher",
"reference_policy_disabled",
"not_executed"
],
"type": "string"
},
"policy_id": {
"const": "observation_exact_cached_fisher",
"type": "string"
},
"policy_version": {
"const": "0.3.0",
"type": "string"
},
"requested_candidates": {
"maximum": 64,
"minimum": 1,
"type": "integer"
},
"selection": {
"const": "exhaustive_all_supplied",
"type": "string"
}
},
"required": [
"policy_id",
"policy_version",
"artifact_sha256",
"selection",
"execution",
"requested_candidates",
"evaluated_candidates"
],
"type": "object"
},
"provenance": {
"additionalProperties": false,
"properties": {
"client": {
"additionalProperties": {},
"properties": {
"name": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"name",
"version"
],
"type": "object"
},
"identity_source": {
"type": "string"
},
"model": {
"type": "null"
},
"server": {
"const": "scorecompute",
"type": "string"
},
"tool": {
"const": "plan_observation",
"type": "string"
}
},
"required": [
"tool",
"server",
"client",
"identity_source",
"model"
],
"type": "object"
},
"reasons": {
"items": {
"type": "string"
},
"type": "array"
},
"status": {
"enum": [
"predicted",
"baseline_rejected"
],
"type": "string"
}
},
"required": [
"contract_version",
"status",
"baseline_fit",
"design",
"reasons",
"elapsed_ms",
"provenance"
],
"type": "object"
}
},
{
"description": "Check dimensions, then compare first-order GUM with seeded fixed-sample Monte Carlo for an explicit model of 1–16 inputs. Return uncertainty budgets, coverage intervals and convergence/linearization findings. Conditional on supplied distributions; no affine units. CPU, direct-only; no planner binding.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"correlations": {
"description": "Correlations between normal inputs with standard_uncertainty > 0.",
"items": {
"additionalProperties": false,
"properties": {
"a": {
"maxLength": 32,
"minLength": 1,
"type": "string"
},
"b": {
"maxLength": 32,
"minLength": 1,
"type": "string"
},
"coefficient": {
"maximum": 1,
"minimum": -1,
"type": "number"
}
},
"required": [
"a",
"b",
"coefficient"
],
"type": "object"
},
"maxItems": 64,
"minItems": 0,
"type": "array"
},
"coverage": {
"description": "Coverage probability, default 0.95.",
"maximum": 0.999,
"minimum": 0.5,
"type": "number"
},
"expression": {
"description": "Model with + - * / ^, parentheses, pi and sqrt exp ln log10 sin cos tan asin acos atan abs. Literals are dimensionless; no implicit multiplication.",
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"result_unit": {
"description": "Output unit; must match the model dimension.",
"maxLength": 64,
"minLength": 1,
"type": "string"
},
"samples": {
"description": "Monte Carlo draws, default 1000000 (JCGM 101 typical value for 2 significant digits).",
"maximum": 2000000,
"minimum": 10000,
"type": "integer"
},
"seed": {
"description": "Default 1. Same seed, same result.",
"maximum": 4294967295,
"minimum": 0,
"type": "integer"
},
"variables": {
"items": {
"additionalProperties": false,
"properties": {
"distribution": {
"anyOf": [
{
"const": "constant",
"type": "string"
},
{
"const": "normal",
"type": "string"
},
{
"const": "uniform",
"type": "string"
},
{
"const": "triangular",
"type": "string"
}
]
},
"half_width": {
"description": "uniform and triangular only: half-width, in unit.",
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"name": {
"maxLength": 32,
"minLength": 1,
"pattern": "^[A-Za-z_][A-Za-z0-9_]*$",
"type": "string"
},
"standard_uncertainty": {
"description": "normal only: standard deviation, in unit.",
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"unit": {
"description": "e.g. mg, km/h, kg/m^3, W/m^2/K, deg, kWh, %. Empty means dimensionless. °C and °F are refused; use K.",
"maxLength": 64,
"minLength": 0,
"type": "string"
},
"value": {
"description": "Best estimate, in unit.",
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
}
},
"required": [
"distribution",
"name",
"value"
],
"type": "object"
},
"maxItems": 16,
"minItems": 1,
"type": "array"
}
},
"required": [
"expression",
"variables"
],
"type": "object"
},
"name": "propagate_uncertainty",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"assumptions": {
"items": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"maxItems": 16,
"minItems": 1,
"type": "array"
},
"budget": {
"items": {
"additionalProperties": false,
"properties": {
"contribution": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"distribution": {
"anyOf": [
{
"const": "constant",
"type": "string"
},
{
"const": "normal",
"type": "string"
},
{
"const": "uniform",
"type": "string"
},
{
"const": "triangular",
"type": "string"
}
]
},
"name": {
"maxLength": 32,
"minLength": 1,
"type": "string"
},
"sensitivity": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
"standard_uncertainty": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"unit": {
"maxLength": 64,
"minLength": 1,
"type": "string"
},
"value": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
"variance_share": {
"maximum": 1,
"minimum": 0,
"type": "number"
}
},
"required": [
"contribution",
"distribution",
"name",
"sensitivity",
"standard_uncertainty",
"unit",
"value",
"variance_share"
],
"type": "object"
},
"maxItems": 16,
"minItems": 0,
"type": "array"
},
"contract_version": {
"const": "0.1.0",
"type": "string"
},
"correlation_variance_share": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
"coverage": {
"maximum": 0.999,
"minimum": 0.5,
"type": "number"
},
"diagnostic": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"kind": {
"anyOf": [
{
"const": "invalid_model",
"type": "string"
},
{
"const": "dimension_inconsistent",
"type": "string"
},
{
"const": "undefined_at_estimate",
"type": "string"
}
]
},
"message": {
"maxLength": 2048,
"minLength": 1,
"type": "string"
},
"position": {
"anyOf": [
{
"maximum": 512,
"minimum": 0,
"type": "integer"
},
{
"type": "null"
}
]
}
},
"required": [
"kind",
"message",
"position"
],
"type": "object"
},
{
"type": "null"
}
]
},
"dimension": {
"anyOf": [
{
"maxLength": 256,
"minLength": 1,
"type": "string"
},
{
"type": "null"
}
]
},
"elapsed_ms": {
"maximum": 1000000000000,
"minimum": 0,
"type": "number"
},
"engine": {
"const": "rust-cpu",
"type": "string"
},
"gum": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"coverage_factor": {
"maximum": 10,
"minimum": 0,
"type": "number"
},
"expanded_uncertainty": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"interval": {
"items": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
"maxItems": 2,
"minItems": 2,
"type": "array"
},
"standard_uncertainty": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"value": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
}
},
"required": [
"coverage_factor",
"expanded_uncertainty",
"interval",
"standard_uncertainty",
"value"
],
"type": "object"
},
{
"type": "null"
}
]
},
"method": {
"maxLength": 1024,
"minLength": 1,
"type": "string"
},
"monte_carlo": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"blocks": {
"maximum": 10,
"minimum": 10,
"type": "integer"
},
"draws": {
"maximum": 2000000,
"minimum": 10000,
"type": "integer"
},
"finite_draws": {
"maximum": 2000000,
"minimum": 0,
"type": "integer"
},
"mean": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
"nonfinite_fraction": {
"maximum": 1,
"minimum": 0,
"type": "number"
},
"shortest_interval": {
"items": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
"maxItems": 2,
"minItems": 2,
"type": "array"
},
"stability": {
"additionalProperties": false,
"properties": {
"high_standard_error": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"low_standard_error": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"mean_standard_error": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"numerical_tolerance": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"stable": {
"type": "boolean"
},
"standard_deviation_standard_error": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
}
},
"required": [
"high_standard_error",
"low_standard_error",
"mean_standard_error",
"numerical_tolerance",
"stable",
"standard_deviation_standard_error"
],
"type": "object"
},
"standard_deviation": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"symmetric_interval": {
"items": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
"maxItems": 2,
"minItems": 2,
"type": "array"
}
},
"required": [
"blocks",
"draws",
"finite_draws",
"mean",
"nonfinite_fraction",
"shortest_interval",
"stability",
"standard_deviation",
"symmetric_interval"
],
"type": "object"
},
{
"type": "null"
}
]
},
"notes": {
"items": {
"maxLength": 512,
"minLength": 1,
"type": "string"
},
"maxItems": 32,
"minItems": 0,
"type": "array"
},
"provenance": {
"additionalProperties": false,
"properties": {
"client": {
"additionalProperties": {},
"properties": {
"name": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"name",
"version"
],
"type": "object"
},
"identity_source": {
"type": "string"
},
"model": {
"type": "null"
},
"server": {
"const": "scorecompute",
"type": "string"
},
"tool": {
"const": "propagate_uncertainty",
"type": "string"
}
},
"required": [
"tool",
"server",
"client",
"identity_source",
"model"
],
"type": "object"
},
"recommended": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"interval": {
"items": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
},
"maxItems": 2,
"minItems": 2,
"type": "array"
},
"method": {
"anyOf": [
{
"const": "exact_evaluation",
"type": "string"
},
{
"const": "gum_first_order",
"type": "string"
},
{
"const": "monte_carlo",
"type": "string"
}
]
},
"standard_uncertainty": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"value": {
"maximum": 1e+300,
"minimum": -1e+300,
"type": "number"
}
},
"required": [
"interval",
"method",
"standard_uncertainty",
"value"
],
"type": "object"
},
{
"type": "null"
}
]
},
"samples": {
"maximum": 2000000,
"minimum": 10000,
"type": "integer"
},
"seed": {
"maximum": 4294967295,
"minimum": 0,
"type": "integer"
},
"statement": {
"anyOf": [
{
"maxLength": 2048,
"minLength": 1,
"type": "string"
},
{
"type": "null"
}
]
},
"status": {
"anyOf": [
{
"const": "evaluated",
"type": "string"
},
{
"const": "invalid_model",
"type": "string"
},
{
"const": "dimension_inconsistent",
"type": "string"
},
{
"const": "undefined_at_estimate",
"type": "string"
}
]
},
"unit": {
"anyOf": [
{
"maxLength": 256,
"minLength": 1,
"type": "string"
},
{
"type": "null"
}
]
},
"validation": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"adequate": {
"type": "boolean"
},
"high_difference": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"low_difference": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
},
"numerical_tolerance": {
"maximum": 1e+300,
"minimum": 0,
"type": "number"
}
},
"required": [
"adequate",
"high_difference",
"low_difference",
"numerical_tolerance"
],
"type": "object"
},
{
"type": "null"
}
]
},
"verdict": {
"anyOf": [
{
"anyOf": [
{
"const": "no_uncertainty",
"type": "string"
},
{
"const": "linearization_adequate",
"type": "string"
},
{
"const": "linearization_inadequate",
"type": "string"
},
{
"const": "monte_carlo_not_converged",
"type": "string"
},
{
"const": "model_undefined_for_some_draws",
"type": "string"
}
]
},
{
"type": "null"
}
]
}
},
"required": [
"assumptions",
"budget",
"contract_version",
"correlation_variance_share",
"coverage",
"diagnostic",
"dimension",
"elapsed_ms",
"engine",
"gum",
"method",
"monte_carlo",
"notes",
"recommended",
"samples",
"seed",
"statement",
"status",
"unit",
"validation",
"verdict",
"provenance"
],
"type": "object"
}
},
{
"description": "Order 2–256 points from index 0 using planar or spherical kilometre distances. Exact only after completed Held–Karp search (at most 13 points); otherwise bounded heuristics. Returns every leg and stop reason. No roads or traffic.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"metric": {
"enum": [
"euclidean_km",
"great_circle_km"
],
"type": "string"
},
"points": {
"items": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"x": {
"maximum": 1000000,
"minimum": -1000000,
"type": "number"
},
"y": {
"maximum": 1000000,
"minimum": -1000000,
"type": "number"
}
},
"required": [
"x",
"y"
],
"type": "object"
},
{
"additionalProperties": false,
"properties": {
"lat": {
"maximum": 90,
"minimum": -90,
"type": "number"
},
"lon": {
"maximum": 180,
"minimum": -180,
"type": "number"
}
},
"required": [
"lat",
"lon"
],
"type": "object"
}
]
},
"maxItems": 256,
"minItems": 2,
"type": "array"
},
"return_to_start": {
"default": true,
"type": "boolean"
},
"time_budget_ms": {
"default": 1000,
"maximum": 10000,
"minimum": 100,
"type": "integer"
}
},
"required": [
"metric",
"points"
],
"type": "object"
},
"name": "route_optimizer",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"contract_version": {
"const": "0.1.0",
"type": "string"
},
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"exact": {
"type": "boolean"
},
"greedy_reference_km": {
"anyOf": [
{
"minimum": 0,
"type": "number"
},
{
"type": "null"
}
]
},
"improvement_vs_greedy_pct": {
"type": [
"number",
"null"
]
},
"limitations": {
"items": {
"type": "string"
},
"type": "array"
},
"method": {
"enum": [
"held_karp_exact",
"nearest_neighbor_2opt",
"nearest_neighbor"
],
"type": "string"
},
"metric": {
"enum": [
"euclidean_km",
"great_circle_km"
],
"type": "string"
},
"order": {
"items": {
"maximum": 255,
"minimum": 0,
"type": "integer"
},
"maxItems": 256,
"minItems": 2,
"type": "array"
},
"points": {
"maximum": 256,
"minimum": 2,
"type": "integer"
},
"provenance": {
"additionalProperties": false,
"properties": {
"client": {
"additionalProperties": {},
"properties": {
"name": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"name",
"version"
],
"type": "object"
},
"identity_source": {
"type": "string"
},
"model": {
"type": "null"
},
"server": {
"const": "scorecompute",
"type": "string"
},
"tool": {
"const": "route_optimizer",
"type": "string"
}
},
"required": [
"tool",
"server",
"client",
"identity_source",
"model"
],
"type": "object"
},
"return_to_start": {
"type": "boolean"
},
"stop_reason": {
"enum": [
"exact_search_completed",
"heuristic_converged",
"time_budget_exhausted",
"work_limit_exhausted"
],
"type": "string"
},
"total_distance_km": {
"minimum": 0,
"type": "number"
},
"tour_legs": {
"items": {
"additionalProperties": false,
"properties": {
"distance_km": {
"minimum": 0,
"type": "number"
},
"from_index": {
"maximum": 255,
"minimum": 0,
"type": "integer"
},
"to_index": {
"maximum": 255,
"minimum": 0,
"type": "integer"
}
},
"required": [
"from_index",
"to_index",
"distance_km"
],
"type": "object"
},
"maxItems": 256,
"minItems": 1,
"type": "array"
},
"unit": {
"const": "km",
"type": "string"
},
"upper_bound_km": {
"minimum": 0,
"type": "number"
},
"work_limit": {
"exclusiveMinimum": 0,
"maximum": 9007199254740991,
"type": "integer"
},
"work_units": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
}
},
"required": [
"contract_version",
"metric",
"unit",
"points",
"return_to_start",
"order",
"tour_legs",
"total_distance_km",
"upper_bound_km",
"exact",
"method",
"stop_reason",
"greedy_reference_km",
"improvement_vs_greedy_pct",
"work_units",
"work_limit",
"elapsed_ms",
"limitations",
"provenance"
],
"type": "object"
}
},
{
"description": "Execute a supplied bounded score AST on 2–128 Euclidean-km points with depot 0 and 2-opt. Validates the closed tour; exact=false. No retraining, external effects or promotion. Hashes identify programs, not independent validation.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"fuel_limit": {
"default": 2000000,
"maximum": 4000000,
"minimum": 1,
"type": "integer"
},
"points": {
"items": {
"additionalProperties": false,
"properties": {
"x": {
"maximum": 1000000,
"minimum": -1000000,
"type": "number"
},
"y": {
"maximum": 1000000,
"minimum": -1000000,
"type": "number"
}
},
"required": [
"x",
"y"
],
"type": "object"
},
"maxItems": 128,
"minItems": 2,
"type": "array"
},
"program": {
"additionalProperties": false,
"properties": {
"score": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"left": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"right": {
"additionalProperties": false,
"properties": {
"name": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"op": {
"enum": [
"feature",
"constant",
"add",
"sub",
"mul",
"min",
"max"
],
"type": "string"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"value": {
"anyOf": [
{
"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,
"type": "number"
}
]
}
},
"required": [
"op"
],
"type": "object"
},
"version": {
"const": 1,
"type": "number"
}
},
"required": [
"version",
"score"
],
"type": "object"
},
"time_budget_ms": {
"default": 100,
"maximum": 1000,
"minimum": 100,
"type": "integer"
}
},
"required": [
"points",
"program"
],
"type": "object"
},
"name": "run_route_policy",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"all_points_coincident": {
"type": "boolean"
},
"contract_version": {
"const": "0.2.0",
"type": "string"
},
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"exact": {
"const": false,
"type": "boolean"
},
"fuel_limit": {
"maximum": 4000000,
"minimum": 1,
"type": "integer"
},
"fuel_used": {
"maximum": 4000000,
"minimum": 0,
"type": "integer"
},
"initial_length_km": {
"minimum": 0,
"type": "number"
},
"kernel_version": {
"const": "1.0.0",
"type": "string"
},
"legs": {
"items": {
"additionalProperties": false,
"properties": {
"distance_km": {
"minimum": 0,
"type": "number"
},
"from_index": {
"maximum": 127,
"minimum": 0,
"type": "integer"
},
"to_index": {
"maximum": 127,
"minimum": 0,
"type": "integer"
}
},
"required": [
"from_index",
"to_index",
"distance_km"
],
"type": "object"
},
"maxItems": 128,
"minItems": 2,
"type": "array"
},
"length_km": {
"minimum": 0,
"type": "number"
},
"limitations": {
"items": {
"type": "string"
},
"type": "array"
},
"order": {
"items": {
"maximum": 127,
"minimum": 0,
"type": "integer"
},
"maxItems": 128,
"minItems": 2,
"type": "array"
},
"program_sha256": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"provenance": {
"additionalProperties": false,
"properties": {
"client": {
"additionalProperties": {},
"properties": {
"name": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"name",
"version"
],
"type": "object"
},
"identity_source": {
"type": "string"
},
"model": {
"type": "null"
},
"server": {
"const": "scorecompute",
"type": "string"
},
"tool": {
"const": "run_route_policy",
"type": "string"
}
},
"required": [
"tool",
"server",
"client",
"identity_source",
"model"
],
"type": "object"
},
"simplification": {
"additionalProperties": false,
"properties": {
"compiled_program_sha256": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"executed_node_count": {
"maximum": 31,
"minimum": 1,
"type": "integer"
},
"original_node_count": {
"maximum": 31,
"minimum": 1,
"type": "integer"
},
"original_program_sha256": {
"pattern": "^[a-f0-9]{64}$",
"type": "string"
},
"required_features": {
"items": {
"enum": [
"distance",
"depot",
"isolation",
"centrality",
"progress"
],
"type": "string"
},
"maxItems": 5,
"type": "array"
},
"simplifier_version": {
"const": "1.0.0",
"type": "string"
}
},
"required": [
"simplifier_version",
"original_program_sha256",
"compiled_program_sha256",
"original_node_count",
"executed_node_count",
"required_features"
],
"type": "object"
},
"stop_reason": {
"enum": [
"heuristic_converged",
"fuel_exhausted",
"time_budget_exhausted"
],
"type": "string"
}
},
"required": [
"contract_version",
"kernel_version",
"program_sha256",
"simplification",
"order",
"legs",
"length_km",
"initial_length_km",
"stop_reason",
"fuel_used",
"fuel_limit",
"elapsed_ms",
"exact",
"all_points_coincident",
"limitations",
"provenance"
],
"type": "object"
}
},
{
"description": "Screen a supplied trade series for repeated volume at nearly equal prices within a declared time window. Return recycled-volume ratio and cycles; a pattern does not prove wash trading.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"price_band_pct": {
"default": 0.25,
"maximum": 5,
"minimum": 0.01,
"type": "number"
},
"trades": {
"items": {
"properties": {
"price": {
"minimum": 0,
"type": "number"
},
"ts_s": {
"minimum": 0,
"type": "number"
},
"volume": {
"minimum": 0,
"type": "number"
}
},
"required": [
"ts_s",
"price",
"volume"
],
"type": "object"
},
"maxItems": 5000,
"minItems": 20,
"type": "array"
},
"window_s": {
"default": 3600,
"maximum": 86400,
"minimum": 60,
"type": "number"
}
},
"required": [
"trades"
],
"type": "object"
},
"name": "screen_wash_trading",
"outputSchema": null
},
{
"description": "Estimate pi with seeded Monte Carlo and a 95% Wilson interval; up to 5 million samples. CPU or optional CUDA. Other direct scientific engines run on CPU.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"backend": {
"default": "cpu",
"enum": [
"cpu",
"cuda"
],
"type": "string"
},
"device_ids": {
"items": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"maxItems": 16,
"type": "array"
},
"samples": {
"maximum": 5000000,
"minimum": 100,
"type": "integer"
},
"seed": {
"maximum": 4294967295,
"minimum": 0,
"type": "integer"
}
},
"required": [
"samples",
"seed"
],
"type": "object"
},
"name": "simulate_pi",
"outputSchema": null
},
{
"description": "Estimate deadline success, mean duration and empirical p95 for up to 32 integer-minute tasks under independent bounded uniform duration variations. Seeded CPU sampling; not a real-world forecast guarantee.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"budget": {
"maximum": 1440,
"minimum": 1,
"type": "integer"
},
"durations": {
"items": {
"maximum": 1440,
"minimum": 1,
"type": "integer"
},
"maxItems": 32,
"minItems": 1,
"type": "array"
},
"samples": {
"maximum": 100000,
"minimum": 100,
"type": "integer"
},
"seed": {
"maximum": 4294967295,
"minimum": 0,
"type": "integer"
},
"uncertainty": {
"maximum": 0.5,
"minimum": 0,
"type": "number"
}
},
"required": [
"durations",
"budget",
"samples",
"seed",
"uncertainty"
],
"type": "object"
},
"name": "simulate_plan",
"outputSchema": null
},
{
"description": "Solve Kuhn poker with CFR+ self-play, measure exploitability with pure best responses and compare the game value with -1/18. Illustrative game theory, not gambling advice.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"iterations": {
"default": 200000,
"maximum": 5000000,
"minimum": 1000,
"type": "integer"
}
},
"type": "object"
},
"name": "solve_equilibrium",
"outputSchema": null
},
{
"description": "Refit 1–32 declared hypothetical angular/clock perturbations to challenge reconstruction stability. Explicit hypothetical acknowledgement required. Non-convergence is inconclusive; none_found covers examined cases only. No new observations.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"bounds": {
"additionalProperties": false,
"properties": {
"max_angular_bias_deg": {
"maximum": 10,
"minimum": 0,
"type": "number"
},
"max_clock_offset_delta_s": {
"maximum": 60,
"minimum": 0,
"type": "number"
},
"max_evaluations": {
"maximum": 32,
"minimum": 1,
"type": "integer"
},
"stop_on_first": {
"type": "boolean"
}
},
"required": [
"max_angular_bias_deg",
"max_clock_offset_delta_s",
"max_evaluations",
"stop_on_first"
],
"type": "object"
},
"cases": {
"items": {
"additionalProperties": false,
"properties": {
"azimuth_bias_deg": {
"maximum": 10,
"minimum": -10,
"type": "number"
},
"clock_offset_delta_s": {
"description": "Hypothetical change to the declared clock correction, not to the measured timestamps.",
"maximum": 60,
"minimum": -60,
"type": "number"
},
"elevation_bias_deg": {
"maximum": 10,
"minimum": -10,
"type": "number"
},
"id": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9_-]+$",
"type": "string"
},
"observer_index": {
"maximum": 3,
"minimum": 0,
"type": "integer"
}
},
"required": [
"id",
"observer_index",
"azimuth_bias_deg",
"elevation_bias_deg",
"clock_offset_delta_s"
],
"type": "object"
},
"maxItems": 32,
"minItems": 1,
"type": "array"
},
"claim": {
"additionalProperties": false,
"properties": {
"evaluation_time_s": {
"description": "Absolute corrected time, within 3600 seconds of the first corrected original measurement.",
"type": "number"
},
"max_position_shift_m": {
"maximum": 1000000,
"minimum": 0.001,
"type": "number"
}
},
"required": [
"evaluation_time_s",
"max_position_shift_m"
],
"type": "object"
},
"observations": {
"additionalProperties": false,
"properties": {
"observers": {
"items": {
"additionalProperties": false,
"properties": {
"clock_offset_s": {
"default": 0,
"description": "The observer clock is ahead of the common base by this many seconds; the engine subtracts it.",
"maximum": 60,
"minimum": -60,
"type": "number"
},
"elevation_m": {
"default": 0,
"maximum": 9000,
"minimum": -500,
"type": "number"
},
"lat": {
"maximum": 89,
"minimum": -89,
"type": "number"
},
"lon": {
"maximum": 180,
"minimum": -180,
"type": "number"
},
"samples": {
"items": {
"additionalProperties": false,
"properties": {
"azimuth_deg": {
"maximum": 360,
"minimum": 0,
"type": "number"
},
"elevation_deg": {
"maximum": 90,
"minimum": -2,
"type": "number"
},
"t_s": {
"description": "Seconds from a common epoch, strictly increasing for this observer.",
"maximum": 1000000000000,
"minimum": -1000000000000,
"type": "number"
}
},
"required": [
"t_s",
"azimuth_deg",
"elevation_deg"
],
"type": "object"
},
"maxItems": 120,
"minItems": 3,
"type": "array"
},
"sigma_az_deg": {
"maximum": 10,
"minimum": 0.01,
"type": "number"
},
"sigma_el_deg": {
"maximum": 10,
"minimum": 0.01,
"type": "number"
}
},
"required": [
"lat",
"lon",
"sigma_az_deg",
"sigma_el_deg",
"samples"
],
"type": "object"
},
"maxItems": 4,
"minItems": 2,
"type": "array"
}
},
"required": [
"observers"
],
"type": "object"
},
"perturbations_are_hypothetical": {
"const": true,
"type": "boolean"
}
},
"required": [
"observations",
"claim",
"bounds",
"cases",
"perturbations_are_hypothetical"
],
"type": "object"
},
"name": "stress_test_observation",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"baseline_fit": {
"additionalProperties": false,
"properties": {
"baseline_km": {
"minimum": 0,
"type": "number"
},
"contract_version": {
"const": "0.2.0",
"type": "string"
},
"diagnostics": {
"additionalProperties": false,
"properties": {
"condition_ratio": {
"type": [
"number",
"null"
]
},
"cost_evaluations": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"dof": {
"maximum": 9007199254740991,
"minimum": -9007199254740991,
"type": "integer"
},
"iterations": {
"maximum": 80,
"minimum": 0,
"type": "integer"
},
"low_elevation_samples": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
}
},
"required": [
"dof",
"iterations",
"cost_evaluations",
"low_elevation_samples",
"condition_ratio"
],
"type": "object"
},
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"grid": {
"additionalProperties": false,
"properties": {
"end_s": {
"type": "number"
},
"interpolated_samples": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"points": {
"maximum": 60,
"minimum": 2,
"type": "integer"
},
"start_s": {
"type": "number"
},
"step_s": {
"exclusiveMinimum": 0,
"type": "number"
}
},
"required": [
"points",
"start_s",
"end_s",
"step_s",
"interpolated_samples"
],
"type": "object"
},
"limitations": {
"items": {
"type": "string"
},
"type": "array"
},
"observers": {
"maximum": 4,
"minimum": 2,
"type": "integer"
},
"reasons": {
"items": {
"type": "string"
},
"type": "array"
},
"residuals": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"max_deg": {
"minimum": 0,
"type": "number"
},
"per_observer": {
"items": {
"additionalProperties": false,
"properties": {
"index": {
"maximum": 3,
"minimum": 0,
"type": "integer"
},
"max_deg": {
"minimum": 0,
"type": "number"
},
"rms_deg": {
"minimum": 0,
"type": "number"
}
},
"required": [
"index",
"rms_deg",
"max_deg"
],
"type": "object"
},
"maxItems": 4,
"minItems": 2,
"type": "array"
},
"total_rms_deg": {
"minimum": 0,
"type": "number"
}
},
"required": [
"total_rms_deg",
"max_deg",
"per_observer"
],
"type": "object"
},
{
"type": "null"
}
]
},
"state": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"covariance_ecef": {
"items": {
"items": {
"type": "number"
},
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"covariance_parameter_units": {
"additionalItems": false,
"items": [
{
"const": "km",
"type": "string"
},
{
"const": "km",
"type": "string"
},
{
"const": "km",
"type": "string"
},
{
"const": "km/s",
"type": "string"
},
{
"const": "km/s",
"type": "string"
},
{
"const": "km/s",
"type": "string"
}
],
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"frame": {
"type": "string"
},
"heading_deg": {
"maximum": 360,
"minimum": 0,
"type": "number"
},
"position_ecef_km": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"position_sigma_km": {
"additionalItems": false,
"items": [
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"reduced_chi2": {
"minimum": 0,
"type": "number"
},
"speed_kmh": {
"minimum": 0,
"type": "number"
},
"t_ref_s": {
"type": "number"
},
"uncertainty_model": {
"type": "string"
},
"velocity_km_s": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"velocity_sigma_km_s": {
"additionalItems": false,
"items": [
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"vertical_rate_m_s": {
"type": "number"
}
},
"required": [
"t_ref_s",
"frame",
"position_ecef_km",
"velocity_km_s",
"position_sigma_km",
"velocity_sigma_km_s",
"covariance_ecef",
"covariance_parameter_units",
"uncertainty_model",
"speed_kmh",
"heading_deg",
"vertical_rate_m_s",
"reduced_chi2"
],
"type": "object"
},
{
"type": "null"
}
]
},
"status": {
"enum": [
"estimated",
"inconsistent",
"degenerate",
"no_convergence"
],
"type": "string"
},
"trajectory": {
"items": {
"additionalProperties": false,
"properties": {
"altitude_m": {
"type": "number"
},
"latitude_deg": {
"maximum": 90,
"minimum": -90,
"type": "number"
},
"longitude_deg": {
"maximum": 180,
"minimum": -180,
"type": "number"
},
"ranges_km": {
"items": {
"minimum": 0,
"type": "number"
},
"maxItems": 4,
"minItems": 2,
"type": "array"
},
"t_s": {
"type": "number"
}
},
"required": [
"t_s",
"latitude_deg",
"longitude_deg",
"altitude_m",
"ranges_km"
],
"type": "object"
},
"maxItems": 60,
"type": "array"
}
},
"required": [
"contract_version",
"status",
"reasons",
"observers",
"baseline_km",
"grid",
"state",
"trajectory",
"residuals",
"diagnostics",
"elapsed_ms",
"limitations"
],
"type": "object"
},
"baseline_position_at_evaluation_km": {
"anyOf": [
{
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
{
"type": "null"
}
]
},
"bounds": {
"additionalProperties": false,
"properties": {
"max_angular_bias_deg": {
"maximum": 10,
"minimum": 0,
"type": "number"
},
"max_clock_offset_delta_s": {
"maximum": 60,
"minimum": 0,
"type": "number"
},
"max_evaluations": {
"maximum": 32,
"minimum": 1,
"type": "integer"
},
"stop_on_first": {
"type": "boolean"
}
},
"required": [
"max_angular_bias_deg",
"max_clock_offset_delta_s",
"max_evaluations",
"stop_on_first"
],
"type": "object"
},
"cases": {
"items": {
"additionalProperties": false,
"properties": {
"fit": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"baseline_km": {
"minimum": 0,
"type": "number"
},
"contract_version": {
"const": "0.2.0",
"type": "string"
},
"diagnostics": {
"additionalProperties": false,
"properties": {
"condition_ratio": {
"type": [
"number",
"null"
]
},
"cost_evaluations": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"dof": {
"maximum": 9007199254740991,
"minimum": -9007199254740991,
"type": "integer"
},
"iterations": {
"maximum": 80,
"minimum": 0,
"type": "integer"
},
"low_elevation_samples": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
}
},
"required": [
"dof",
"iterations",
"cost_evaluations",
"low_elevation_samples",
"condition_ratio"
],
"type": "object"
},
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"grid": {
"additionalProperties": false,
"properties": {
"end_s": {
"type": "number"
},
"interpolated_samples": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"points": {
"maximum": 60,
"minimum": 2,
"type": "integer"
},
"start_s": {
"type": "number"
},
"step_s": {
"exclusiveMinimum": 0,
"type": "number"
}
},
"required": [
"points",
"start_s",
"end_s",
"step_s",
"interpolated_samples"
],
"type": "object"
},
"limitations": {
"items": {
"type": "string"
},
"type": "array"
},
"observers": {
"maximum": 4,
"minimum": 2,
"type": "integer"
},
"reasons": {
"items": {
"type": "string"
},
"type": "array"
},
"residuals": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"max_deg": {
"minimum": 0,
"type": "number"
},
"per_observer": {
"items": {
"additionalProperties": false,
"properties": {
"index": {
"maximum": 3,
"minimum": 0,
"type": "integer"
},
"max_deg": {
"minimum": 0,
"type": "number"
},
"rms_deg": {
"minimum": 0,
"type": "number"
}
},
"required": [
"index",
"rms_deg",
"max_deg"
],
"type": "object"
},
"maxItems": 4,
"minItems": 2,
"type": "array"
},
"total_rms_deg": {
"minimum": 0,
"type": "number"
}
},
"required": [
"total_rms_deg",
"max_deg",
"per_observer"
],
"type": "object"
},
{
"type": "null"
}
]
},
"state": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"covariance_ecef": {
"items": {
"items": {
"type": "number"
},
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"covariance_parameter_units": {
"additionalItems": false,
"items": [
{
"const": "km",
"type": "string"
},
{
"const": "km",
"type": "string"
},
{
"const": "km",
"type": "string"
},
{
"const": "km/s",
"type": "string"
},
{
"const": "km/s",
"type": "string"
},
{
"const": "km/s",
"type": "string"
}
],
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"frame": {
"type": "string"
},
"heading_deg": {
"maximum": 360,
"minimum": 0,
"type": "number"
},
"position_ecef_km": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"position_sigma_km": {
"additionalItems": false,
"items": [
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"reduced_chi2": {
"minimum": 0,
"type": "number"
},
"speed_kmh": {
"minimum": 0,
"type": "number"
},
"t_ref_s": {
"type": "number"
},
"uncertainty_model": {
"type": "string"
},
"velocity_km_s": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"velocity_sigma_km_s": {
"additionalItems": false,
"items": [
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"vertical_rate_m_s": {
"type": "number"
}
},
"required": [
"t_ref_s",
"frame",
"position_ecef_km",
"velocity_km_s",
"position_sigma_km",
"velocity_sigma_km_s",
"covariance_ecef",
"covariance_parameter_units",
"uncertainty_model",
"speed_kmh",
"heading_deg",
"vertical_rate_m_s",
"reduced_chi2"
],
"type": "object"
},
{
"type": "null"
}
]
},
"status": {
"enum": [
"estimated",
"inconsistent",
"degenerate",
"no_convergence"
],
"type": "string"
},
"trajectory": {
"items": {
"additionalProperties": false,
"properties": {
"altitude_m": {
"type": "number"
},
"latitude_deg": {
"maximum": 90,
"minimum": -90,
"type": "number"
},
"longitude_deg": {
"maximum": 180,
"minimum": -180,
"type": "number"
},
"ranges_km": {
"items": {
"minimum": 0,
"type": "number"
},
"maxItems": 4,
"minItems": 2,
"type": "array"
},
"t_s": {
"type": "number"
}
},
"required": [
"t_s",
"latitude_deg",
"longitude_deg",
"altitude_m",
"ranges_km"
],
"type": "object"
},
"maxItems": 60,
"type": "array"
}
},
"required": [
"contract_version",
"status",
"reasons",
"observers",
"baseline_km",
"grid",
"state",
"trajectory",
"residuals",
"diagnostics",
"elapsed_ms",
"limitations"
],
"type": "object"
},
{
"type": "null"
}
]
},
"id": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9_-]+$",
"type": "string"
},
"perturbation": {
"additionalProperties": false,
"properties": {
"azimuth_bias_deg": {
"maximum": 10,
"minimum": -10,
"type": "number"
},
"clock_offset_delta_s": {
"description": "Hypothetical change to the declared clock correction, not to the measured timestamps.",
"maximum": 60,
"minimum": -60,
"type": "number"
},
"elevation_bias_deg": {
"maximum": 10,
"minimum": -10,
"type": "number"
},
"id": {
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9_-]+$",
"type": "string"
},
"observer_index": {
"maximum": 3,
"minimum": 0,
"type": "integer"
}
},
"required": [
"id",
"observer_index",
"azimuth_bias_deg",
"elevation_bias_deg",
"clock_offset_delta_s"
],
"type": "object"
},
"position_shift_m": {
"anyOf": [
{
"minimum": 0,
"type": "number"
},
{
"type": "null"
}
]
},
"reason": {
"type": "string"
},
"status": {
"enum": [
"consistent_with_claim",
"counterexample",
"inadmissible",
"inconclusive"
],
"type": "string"
}
},
"required": [
"id",
"perturbation",
"status",
"reason",
"position_shift_m",
"fit"
],
"type": "object"
},
"maxItems": 32,
"type": "array"
},
"claim": {
"additionalProperties": false,
"properties": {
"evaluation_time_s": {
"description": "Absolute corrected time, within 3600 seconds of the first corrected original measurement.",
"type": "number"
},
"max_position_shift_m": {
"maximum": 1000000,
"minimum": 0.001,
"type": "number"
}
},
"required": [
"evaluation_time_s",
"max_position_shift_m"
],
"type": "object"
},
"contract_version": {
"const": "0.1.0",
"type": "string"
},
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"evaluated_cases": {
"maximum": 32,
"minimum": 0,
"type": "integer"
},
"first_counterexample": {
"anyOf": [
{
"maxLength": 64,
"minLength": 1,
"pattern": "^[A-Za-z0-9_-]+$",
"type": "string"
},
{
"type": "null"
}
]
},
"interpretation": {
"type": "string"
},
"limitations": {
"items": {
"type": "string"
},
"type": "array"
},
"provenance": {
"additionalProperties": false,
"properties": {
"client": {
"additionalProperties": {},
"properties": {
"name": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"name",
"version"
],
"type": "object"
},
"identity_source": {
"type": "string"
},
"model": {
"type": "null"
},
"server": {
"const": "scorecompute",
"type": "string"
},
"tool": {
"const": "stress_test_observation",
"type": "string"
}
},
"required": [
"tool",
"server",
"client",
"identity_source",
"model"
],
"type": "object"
},
"requested_cases": {
"maximum": 32,
"minimum": 1,
"type": "integer"
},
"status": {
"enum": [
"baseline_rejected",
"counterexample_found",
"budget_exhausted",
"no_admissible_cases",
"inconclusive",
"none_found"
],
"type": "string"
},
"tested_admissible_cases": {
"maximum": 32,
"minimum": 0,
"type": "integer"
}
},
"required": [
"contract_version",
"status",
"interpretation",
"baseline_fit",
"baseline_position_at_evaluation_km",
"claim",
"bounds",
"requested_cases",
"evaluated_cases",
"tested_admissible_cases",
"first_counterexample",
"cases",
"elapsed_ms",
"limitations",
"provenance"
],
"type": "object"
}
},
{
"description": "Queue fixed public synthetic pi (CPU/CUDA) or one of three discrete schedule scenarios (CPU only). No private data/custom code. Returns a ticket; poll get_network_job. Coordinator recomputes every accepted shard; no net speedup claim. Jobs may expire.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"backend": {
"default": "auto",
"enum": [
"auto",
"cpu",
"cuda"
],
"type": "string"
},
"samples": {
"maximum": 5000000,
"minimum": 100,
"type": "integer"
},
"scenario_id": {
"enum": [
"single_80_deadline_90",
"pair_60_40_deadline_100",
"pair_60_40_deadline_110"
],
"type": "string"
},
"seed": {
"default": 42,
"maximum": 4294967295,
"minimum": 0,
"type": "integer"
},
"workload": {
"default": "pi_chunk_v1",
"enum": [
"pi_chunk_v1",
"schedule_probe_v1"
],
"type": "string"
}
},
"required": [
"samples"
],
"type": "object"
},
"name": "submit_network_job",
"outputSchema": null
},
{
"description": "Fit position/velocity from 2–4 supplied azimuth/elevation tracks using constant velocity in spherical ECEF and declared angular noise/clocks. Reports fit status and conditional local uncertainty; no object identification or calibrated accuracy.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"observers": {
"items": {
"additionalProperties": false,
"properties": {
"clock_offset_s": {
"default": 0,
"description": "The observer clock is ahead of the common base by this many seconds; the engine subtracts it.",
"maximum": 60,
"minimum": -60,
"type": "number"
},
"elevation_m": {
"default": 0,
"maximum": 9000,
"minimum": -500,
"type": "number"
},
"lat": {
"maximum": 89,
"minimum": -89,
"type": "number"
},
"lon": {
"maximum": 180,
"minimum": -180,
"type": "number"
},
"samples": {
"items": {
"additionalProperties": false,
"properties": {
"azimuth_deg": {
"maximum": 360,
"minimum": 0,
"type": "number"
},
"elevation_deg": {
"maximum": 90,
"minimum": -2,
"type": "number"
},
"t_s": {
"description": "Seconds from a common epoch, strictly increasing for this observer.",
"maximum": 1000000000000,
"minimum": -1000000000000,
"type": "number"
}
},
"required": [
"t_s",
"azimuth_deg",
"elevation_deg"
],
"type": "object"
},
"maxItems": 120,
"minItems": 3,
"type": "array"
},
"sigma_az_deg": {
"maximum": 10,
"minimum": 0.01,
"type": "number"
},
"sigma_el_deg": {
"maximum": 10,
"minimum": 0.01,
"type": "number"
}
},
"required": [
"lat",
"lon",
"sigma_az_deg",
"sigma_el_deg",
"samples"
],
"type": "object"
},
"maxItems": 4,
"minItems": 2,
"type": "array"
}
},
"required": [
"observers"
],
"type": "object"
},
"name": "triangulate_tracks",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"baseline_km": {
"minimum": 0,
"type": "number"
},
"contract_version": {
"const": "0.2.0",
"type": "string"
},
"diagnostics": {
"additionalProperties": false,
"properties": {
"condition_ratio": {
"type": [
"number",
"null"
]
},
"cost_evaluations": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"dof": {
"maximum": 9007199254740991,
"minimum": -9007199254740991,
"type": "integer"
},
"iterations": {
"maximum": 80,
"minimum": 0,
"type": "integer"
},
"low_elevation_samples": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
}
},
"required": [
"dof",
"iterations",
"cost_evaluations",
"low_elevation_samples",
"condition_ratio"
],
"type": "object"
},
"elapsed_ms": {
"minimum": 0,
"type": "number"
},
"grid": {
"additionalProperties": false,
"properties": {
"end_s": {
"type": "number"
},
"interpolated_samples": {
"maximum": 9007199254740991,
"minimum": 0,
"type": "integer"
},
"points": {
"maximum": 60,
"minimum": 2,
"type": "integer"
},
"start_s": {
"type": "number"
},
"step_s": {
"exclusiveMinimum": 0,
"type": "number"
}
},
"required": [
"points",
"start_s",
"end_s",
"step_s",
"interpolated_samples"
],
"type": "object"
},
"limitations": {
"items": {
"type": "string"
},
"type": "array"
},
"observers": {
"maximum": 4,
"minimum": 2,
"type": "integer"
},
"provenance": {
"additionalProperties": false,
"properties": {
"client": {
"additionalProperties": {},
"properties": {
"name": {
"type": "string"
},
"version": {
"type": "string"
}
},
"required": [
"name",
"version"
],
"type": "object"
},
"identity_source": {
"type": "string"
},
"model": {
"type": "null"
},
"server": {
"const": "scorecompute",
"type": "string"
},
"tool": {
"const": "triangulate_tracks",
"type": "string"
}
},
"required": [
"tool",
"server",
"client",
"identity_source",
"model"
],
"type": "object"
},
"reasons": {
"items": {
"type": "string"
},
"type": "array"
},
"residuals": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"max_deg": {
"minimum": 0,
"type": "number"
},
"per_observer": {
"items": {
"additionalProperties": false,
"properties": {
"index": {
"maximum": 3,
"minimum": 0,
"type": "integer"
},
"max_deg": {
"minimum": 0,
"type": "number"
},
"rms_deg": {
"minimum": 0,
"type": "number"
}
},
"required": [
"index",
"rms_deg",
"max_deg"
],
"type": "object"
},
"maxItems": 4,
"minItems": 2,
"type": "array"
},
"total_rms_deg": {
"minimum": 0,
"type": "number"
}
},
"required": [
"total_rms_deg",
"max_deg",
"per_observer"
],
"type": "object"
},
{
"type": "null"
}
]
},
"state": {
"anyOf": [
{
"additionalProperties": false,
"properties": {
"covariance_ecef": {
"items": {
"items": {
"type": "number"
},
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"covariance_parameter_units": {
"additionalItems": false,
"items": [
{
"const": "km",
"type": "string"
},
{
"const": "km",
"type": "string"
},
{
"const": "km",
"type": "string"
},
{
"const": "km/s",
"type": "string"
},
{
"const": "km/s",
"type": "string"
},
{
"const": "km/s",
"type": "string"
}
],
"maxItems": 6,
"minItems": 6,
"type": "array"
},
"frame": {
"type": "string"
},
"heading_deg": {
"maximum": 360,
"minimum": 0,
"type": "number"
},
"position_ecef_km": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"position_sigma_km": {
"additionalItems": false,
"items": [
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"reduced_chi2": {
"minimum": 0,
"type": "number"
},
"speed_kmh": {
"minimum": 0,
"type": "number"
},
"t_ref_s": {
"type": "number"
},
"uncertainty_model": {
"type": "string"
},
"velocity_km_s": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"velocity_sigma_km_s": {
"additionalItems": false,
"items": [
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
},
{
"minimum": 0,
"type": "number"
}
],
"maxItems": 3,
"minItems": 3,
"type": "array"
},
"vertical_rate_m_s": {
"type": "number"
}
},
"required": [
"t_ref_s",
"frame",
"position_ecef_km",
"velocity_km_s",
"position_sigma_km",
"velocity_sigma_km_s",
"covariance_ecef",
"covariance_parameter_units",
"uncertainty_model",
"speed_kmh",
"heading_deg",
"vertical_rate_m_s",
"reduced_chi2"
],
"type": "object"
},
{
"type": "null"
}
]
},
"status": {
"enum": [
"estimated",
"inconsistent",
"degenerate",
"no_convergence"
],
"type": "string"
},
"trajectory": {
"items": {
"additionalProperties": false,
"properties": {
"altitude_m": {
"type": "number"
},
"latitude_deg": {
"maximum": 90,
"minimum": -90,
"type": "number"
},
"longitude_deg": {
"maximum": 180,
"minimum": -180,
"type": "number"
},
"ranges_km": {
"items": {
"minimum": 0,
"type": "number"
},
"maxItems": 4,
"minItems": 2,
"type": "array"
},
"t_s": {
"type": "number"
}
},
"required": [
"t_s",
"latitude_deg",
"longitude_deg",
"altitude_m",
"ranges_km"
],
"type": "object"
},
"maxItems": 60,
"type": "array"
}
},
"required": [
"contract_version",
"status",
"reasons",
"observers",
"baseline_km",
"grid",
"state",
"trajectory",
"residuals",
"diagnostics",
"elapsed_ms",
"limitations",
"provenance"
],
"type": "object"
}
},
{
"description": "Verify a structured arithmetic, shadow, ephemeris, statistics or route claim with a bounded native engine. Returns a model-scoped verdict and portable Ed25519 server receipt; never truth, authenticity or fraud certification. Route claims explicitly distinguish optimality from a supplied tour total. Native failures return no scientific verdict. Parameters and examples: /verify and /docs/mcp/.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"claim": {
"additionalProperties": false,
"properties": {
"claimed_total_km": {
"maximum": 1000000000000,
"minimum": 0,
"type": "number"
},
"kind": {
"enum": [
"optimality",
"tour_total"
],
"type": "string"
},
"order": {
"items": {
"maximum": 255,
"minimum": 0,
"type": "integer"
},
"maxItems": 256,
"minItems": 2,
"type": "array"
}
},
"required": [
"kind",
"claimed_total_km"
],
"type": "object"
},
"domain": {
"enum": [
"numbers",
"shadow",
"ephemeris",
"statistics",
"route"
],
"type": "string"
},
"parameters": {
"additionalProperties": {},
"propertyNames": {
"type": "string"
},
"type": "object"
}
},
"required": [
"domain",
"parameters"
],
"type": "object"
},
"name": "verify_claim",
"outputSchema": null
},
{
"description": "Check measured shadows using NOAA solar position, a ground-plane homography from 4–16 controls and Monte Carlo uncertainty. Returns conditional consistency, never image authenticity.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"control_points": {
"items": {
"properties": {
"px": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 2,
"minItems": 2,
"type": "array"
},
"world": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 2,
"minItems": 2,
"type": "array"
}
},
"required": [
"px",
"world"
],
"type": "object"
},
"maxItems": 16,
"minItems": 4,
"type": "array"
},
"date_utc": {
"maxLength": 20,
"minLength": 20,
"type": "string"
},
"latitude": {
"maximum": 89,
"minimum": -89,
"type": "number"
},
"longitude": {
"maximum": 180,
"minimum": -180,
"type": "number"
},
"pixel_sigma": {
"default": 3,
"maximum": 50,
"minimum": 0,
"type": "number"
},
"samples": {
"default": 2000,
"maximum": 20000,
"minimum": 100,
"type": "integer"
},
"second_shadow": {
"properties": {
"a": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 2,
"minItems": 2,
"type": "array"
},
"b": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 2,
"minItems": 2,
"type": "array"
}
},
"required": [
"a",
"b"
],
"type": "object"
},
"seed": {
"default": 7,
"maximum": 4294967295,
"minimum": 0,
"type": "integer"
},
"shadow": {
"properties": {
"a": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 2,
"minItems": 2,
"type": "array"
},
"b": {
"additionalItems": false,
"items": [
{
"type": "number"
},
{
"type": "number"
}
],
"maxItems": 2,
"minItems": 2,
"type": "array"
}
},
"required": [
"a",
"b"
],
"type": "object"
},
"time_sigma_minutes": {
"default": 1,
"maximum": 240,
"minimum": 0,
"type": "number"
}
},
"required": [
"date_utc",
"latitude",
"longitude",
"control_points",
"shadow"
],
"type": "object"
},
"name": "verify_shadows",
"outputSchema": null
}
]
}Verify it yourself
curl -s https://api.teppi.xyz/v1/evidence/sha256:0e5b6ac2838d53b8032d9517b76c2105b4559fc782369661d8af60d785574a2f | sha256sum