ScoreCompute
Server Details
38 MCP tools: Rust computation, Discovery, composition, counterexample scans and signed checks.
- Status
- Healthy
- Uptime
- 100.0% over the last 24 hours
- Last Tested
- Transport
- Streamable HTTP · MCP 2025-11-25
- URL
- ChatGPT
- –
- Claude
- –
TDQS
Scored across 38 tools
The server offers many specialized tools, but several clusters overlap: planning/scheduling (build_robust_plan, improve_schedule, simulate_plan, plan_mission, optimize_tasks), observation/tracking (assimilate_observation, plan_observation, stress_test_observation, triangulate_tracks), and verification (verify_claim vs. check_*). Descriptions are detailed and help, but an agent could still misselect among related tools.
Tool names are consistently snake_case, with a dominant verb_noun pattern (e.g., analyze_chess_game, check_arithmetic, plan_mission). A few deviate to noun_noun (kepler_stability, network_status, route_optimizer, tour_profile) or insert 'the' (hear_the_shape, shape_the_sound), but these are minor deviations and do not break predictability.
With 38 tools, the server far exceeds the typical 3–15 range and the 25+ threshold that suggests over-scoping. While each tool may serve a distinct specialized purpose, the sheer number makes discovery and selection burdensome for an agent.
The tool surface spans a remarkably broad set of domains (chess, kinematics, statistics, planning, ephemeris, acoustics, networking, etc.) and includes lifecycle operations like listing capabilities, composing, executing, and verifying. Some gaps exist—e.g., no general data I/O or aggregation—but most apparent subdomains have multiple supporting tools.
Available Tools
38 toolsanalyze_chess_gameCompare chess moves with StockfishRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| depth | No | ||
| positions | Yes |
analyze_kinematicsMinimum speed from angular motionRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| distance_max_km | No | ||
| distance_min_km | No | ||
| claimed_speed_kmh | No | ||
| claimed_distance_km | No | ||
| angular_speed_deg_per_s | Yes |
assimilate_observationRefit with a new observation seriesRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| objective | Yes | ||
| new_series | Yes | ||
| assumptions | Yes | ||
| data_origin | Yes | Origin declared by the caller; even measured is not independently verified or authenticated. | |
| observations | Yes |
audit_statisticsGRIM/GRIMMER check of reported statisticsRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| n | Yes | ||
| sd | No | ||
| mean | Yes | ||
| decimals | No | ||
| max_value | No | ||
| min_value | No |
build_robust_planRobust task plan in one callRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| seed | No | ||
| items | Yes | ||
| budget | Yes | ||
| samples | No | ||
| uncertainty | Yes | ||
| allowed_tools | No | ||
| duration_model | No | independent_uniform | |
| max_candidates | No | ||
| min_success_rate | No |
check_arithmeticCheck an arithmetic claim exactlyRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| values | No | ||
| expression | Yes | ||
| claimed_value | Yes | ||
| tolerance_absolute | No | ||
| tolerance_relative | No |
check_ephemerisCheck a Sun or Moon positionRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| object | No | lune | |
| date_utc | Yes | UTC instant, exactly YYYY-MM-DDTHH:MM:SSZ, e.g. 2026-06-21T12:00:00Z | |
| latitude | Yes | Degrees, north positive | |
| longitude | Yes | Degrees, east positive | |
| tolerance_deg | No | ||
| claimed_azimuth_deg | Yes | ||
| claimed_elevation_deg | Yes |
check_shadow_trackCheck shadow rotation over timeRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| samples | Yes | ||
| date_utc | Yes | UTC instant, exactly YYYY-MM-DDTHH:MM:SSZ, e.g. 2026-06-21T12:00:00Z | |
| latitude | Yes | Degrees, north positive | |
| longitude | Yes | Degrees, east positive | |
| tolerance_deg | No |
compose_capabilitiesPlan a capability chainRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| goals | Yes | ||
| inputs | No | ||
| adapters | No | ||
| available | Yes | ||
| constraints | No |
compute_orbitIdeal Keplerian orbitRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| eccentricity | Yes | ||
| elapsed_days | Yes | ||
| semi_major_au | Yes |
execute_compositionRun an approved capability chainRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| goals | Yes | ||
| inputs | No | ||
| adapters | No | ||
| available | Yes | ||
| constraints | No |
forge_route_policyGenerate experimental route rulesRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| seed | Yes | ||
| train | Yes | ||
| budget | Yes |
get_network_jobRead a contributor network jobRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| job_id | Yes |
hear_the_shapeVibration modes of a polygonal drumRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| modes | No | Default 8, counted with multiplicity. | |
| polygon | Yes | Vertices [x, y] in metres, either orientation; a repeated closing vertex is allowed. Must be simple. | |
| boundary | No | fixed (default): drumhead, TM waveguide. free: acoustic cavity, TE waveguide. | |
| wave_speed | No | m/s; √(tension/areal density) for a membrane. Enables frequency_hz and notes. | |
| compare_polygon | No | Optional second shape: do the two drums sound the same? | |
| include_mode_shapes | No | Adds a ≤1024-triangle mesh with normalized mode values, for visualization. |
improve_scheduleCompare permitted schedule changesRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| costs | Yes | ||
| items | Yes | ||
| samples | Yes | ||
| search_seed | Yes | ||
| uncertainty | Yes | ||
| removal_sets | Yes | Unique sorted sets of optional original task indices; include the empty set, preserve required tasks, and keep at least one task. | |
| extra_minutes | Yes | Unique permitted deadline increments; include zero and keep every modified deadline at most 1440 minutes. | |
| duration_model | Yes | ||
| deadline_minutes | Yes | ||
| min_success_rate | Yes | ||
| required_indices | Yes | ||
| confirmation_seed | Yes |
kepler_stabilitySun–Jupiter orbit sensitivity mapRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| n_a | Yes | ||
| n_e | Yes | ||
| e_max | Yes | ||
| e_min | Yes | ||
| a_max_au | Yes | ||
| a_min_au | Yes | ||
| mass_ratio | No | ||
| duration_yr | No | ||
| max_work_units | No | ||
| steps_per_year | No | ||
| initial_phase_deg | No | ||
| jupiter_semi_major_au | No |
list_capabilitiesList tool contracts and unitsRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| theme | No |
list_composition_capabilitiesList composable capabilitiesRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
No parameters | |||
network_statusContributor network statusRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
No parameters | |||
optimize_tasksSelect tasks within a time budget (exact)Read-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| items | Yes | ||
| budget | Yes |
plan_golden_hourGolden and blue hour windowsRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| date_utc | Yes | Real Gregorian UTC midnight, year 1900–2100. Rust also validates month/day and leap years. Other hours are rejected, never truncated; this is not a local civil day. | |
| latitude | Yes | Degrees, North positive. | |
| longitude | Yes | Degrees, East positive. |
plan_missionPreview a robust scheduling mission (no run)Read-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| seed | No | ||
| items | Yes | ||
| budget | Yes | ||
| samples | No | ||
| uncertainty | Yes | ||
| allowed_tools | No | ||
| duration_model | No | independent_uniform | |
| max_candidates | No | ||
| min_success_rate | No |
plan_observationChoose the most informative observationRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| objective | Yes | ||
| candidates | Yes | ||
| assumptions | Yes | ||
| constraints | Yes | ||
| observations | Yes | Original angular observations; Rust computes the baseline fit and covariance itself. |
propagate_uncertaintyMeasurement uncertainty: GUM and Monte CarloRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| seed | No | Default 1. Same seed, same result. | |
| samples | No | Monte Carlo draws, default 1000000 (JCGM 101 typical value for 2 significant digits). | |
| coverage | No | Coverage probability, default 0.95. | |
| variables | Yes | ||
| expression | Yes | Model with + - * / ^, parentheses, pi and sqrt exp ln log10 sin cos tan asin acos atan abs. Literals are dimensionless; no implicit multiplication. | |
| result_unit | No | Output unit; must match the model dimension. | |
| correlations | No | Correlations between normal inputs with standard_uncertainty > 0. |
route_optimizerOrder points into a shortest tourRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| metric | Yes | ||
| points | Yes | ||
| time_budget_ms | No | ||
| return_to_start | No |
run_route_policyRun one experimental route ruleRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| points | Yes | ||
| program | Yes | ||
| fuel_limit | No | ||
| time_budget_ms | No |
scan_counterexampleScan a grid for a counterexampleRead-onlyIdempotentInspect
Bounded deterministic float64 scan of a scalar <= or >= claim over a declared grid of 1–6 variables. Reports numerical witnesses, undefined and uncertain evaluations, and the exact stop reason. A propagated screening guard rejects near-boundary candidates; it is not a certified interval or formal proof. An inconclusive outcome preserves unresolved sampled cells; absence of a witness does not establish the claim over the continuous box.
| Name | Required | Description | Default |
|---|---|---|---|
| bound | Yes | ||
| relation | Yes | ||
| tolerance | No | ||
| variables | Yes | ||
| expression | Yes | ||
| max_evaluations | No | ||
| max_counterexamples | No |
screen_wash_tradingScreen trades for recycled volumeRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| trades | Yes | ||
| window_s | No | ||
| price_band_pct | No |
shape_the_soundDesign a drum for a chordRead-onlyIdempotentInspect
Kac's question in reverse: design a polygonal drumhead whose lowest tones play requested frequency ratios (a fifth, a triad, a pentatonic scale), each accepted within ±tolerance_cents. proven_impossible is returned only when proven theorems exclude every ratio combination inside those tolerance windows for a connected uniform membrane with a fixed edge: simple fundamental, f2/f1 ≤ j11/j01 ≈ 1.5933 with equality for the disk (Ashbaugh–Benguria 1992), and Yang's universal inequality minimized exactly over the window box; an exact-target exclusion is reported separately. Otherwise multi-start L-BFGS with exact finite-element shape derivatives designs a 5–16-vertex polygon, then reanalyses it on three refined meshes with the shared hear_the_shape solver: achieved ratios, errors in cents with estimated uncertainty (not rigorous bounds), resolution warnings, optional numerical tuning of the fundamental in Hz. not_achieved is a bounded-search result, never an impossibility proof. Ideal membrane only.
| Name | Required | Description | Default |
|---|---|---|---|
| seed | No | Default 1. Same seed, same drum. | |
| vertices | No | Polygon vertices, default 10. | |
| wave_speed | No | m/s, √(tension/areal density). | |
| target_ratios | Yes | Frequency ratios f2/f1, f3/f1, … of the lowest modes, ascending (e.g. [1.25, 1.5] for a just major triad). | |
| fundamental_hz | No | With wave_speed: scale the drum so its fundamental sounds at this frequency. | |
| max_evaluations | No | Search budget in finite-element evaluations, default 300. | |
| tolerance_cents | No | Success when |error| + uncertainty ≤ tolerance for every ratio; default 5 cents. | |
| include_mode_shapes | No | Adds computed mode shapes from the shared forward solver (≤1024 triangles, full-precision coordinates) for visualization. |
simulate_piMonte Carlo estimate of π (CPU/CUDA)Read-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| seed | Yes | ||
| backend | No | cpu | |
| samples | Yes | ||
| device_ids | No |
simulate_planProbability a plan meets its deadlineRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| seed | Yes | ||
| budget | Yes | ||
| samples | Yes | ||
| durations | Yes | ||
| uncertainty | Yes |
solve_equilibriumKuhn poker equilibrium (CFR+)Read-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| iterations | No |
stress_test_observationSearch for a reconstruction counterexampleRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| cases | Yes | ||
| claim | Yes | ||
| bounds | Yes | ||
| observations | Yes | ||
| perturbations_are_hypothetical | Yes |
submit_network_jobQueue a contributor network jobInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| seed | No | ||
| backend | No | auto | |
| samples | Yes | ||
| workload | No | pi_chunk_v1 | |
| scenario_id | No |
tour_profileGeometric profile of a point setRead-onlyIdempotentInspect
Locally normalized geometric descriptors of 3–256 planar points: distances, nearest-neighbour isolation, centroid spread, PCA collinearity and histogram. The principal-axis mirror residual is null for isotropic noncoincident covariance, whose axes are undetermined. Rounded fingerprints are descriptive, not proofs of equivalence or method benefit.
| Name | Required | Description | Default |
|---|---|---|---|
| points | Yes | ||
| reference_distance_fraction | No |
triangulate_tracks3D position from several observersRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| observers | Yes |
verify_claimVerify a claim with a signed receiptRead-onlyInspect
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/.
| Name | Required | Description | Default |
|---|---|---|---|
| claim | No | ||
| domain | Yes | ||
| parameters | Yes |
verify_shadowsCheck shadows against the Sun positionRead-onlyIdempotentInspect
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.
| Name | Required | Description | Default |
|---|---|---|---|
| seed | No | ||
| shadow | Yes | ||
| samples | No | ||
| date_utc | Yes | UTC instant, exactly YYYY-MM-DDTHH:MM:SSZ, e.g. 2026-06-21T12:00:00Z | |
| latitude | Yes | Degrees, north positive | |
| longitude | Yes | Degrees, east positive | |
| pixel_sigma | No | ||
| second_shadow | No | ||
| control_points | Yes | ||
| time_sigma_minutes | No |
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
20 tool updates
- Changed
assimilate_observation1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" -}New value: +null
- Changed
check_arithmetic1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" -}New value: +null
- Changed
check_ephemeris3 fields changed- added
Input schema / properties / date_utc / descriptionAdded value: +"UTC instant, exactly YYYY-MM-DDTHH:MM:SSZ, e.g. 2026-06-21T12:00:00Z" - added
Input schema / properties / latitude / descriptionAdded value: +"Degrees, north positive" - added
Input schema / properties / longitude / descriptionAdded value: +"Degrees, east positive"
- Changed
check_shadow_track3 fields changed- added
Input schema / properties / date_utc / descriptionAdded value: +"UTC instant, exactly YYYY-MM-DDTHH:MM:SSZ, e.g. 2026-06-21T12:00:00Z" - added
Input schema / properties / latitude / descriptionAdded value: +"Degrees, north positive" - added
Input schema / properties / longitude / descriptionAdded value: +"Degrees, east positive"
- Changed
compute_orbit1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" -}New value: +null
- Changed
forge_route_policy1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" -}New value: +null
- Changed
hear_the_shape1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" -}New value: +null
- Changed
improve_schedule1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" -}New value: +null
- Changed
kepler_stability1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" -}New value: +null
- Changed
plan_golden_hour1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" -}New value: +null
- Changed
plan_observation1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" -}New value: +null
- Changed
propagate_uncertainty1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" -}New value: +null
- Changed
route_optimizer1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" -}New value: +null
- Changed
run_route_policy1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" -}New value: +null
- Changed
scan_counterexample1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" - }, - "bound": { - "maximum": 1000000000000, - "minimum": -1000000000000, - "type": "number" - }, - "complete": { - "type": "boolean" - }, - "contract_version": { - "const": "0.2.0", - "type": "string" - }, - "counterexamples": { - "items": { - "additionalProperties": false, - "properties": { - "comparison_guard": { - "maximum": 1.7976931348623157e+308, - "minimum": 0, - "type": "number" - }, - "expression_value": { - "maximum": 1.7976931348623157e+308, - "minimum": -1.7976931348623157e+308, - "type": "number" - }, - "margin": { - "maximum": 1.7976931348623157e+308, - "minimum": 0, - "type": "number" - }, - "values": { - "items": { - "additionalProperties": false, - "properties": { - "name": { - "maxLength": 32, - "minLength": 1, - "type": "string" - }, - "value": { - "maximum": 1000000, - "minimum": -1000000, - "type": "number" - } - }, - "required": [ - "name", - "value" - ], - "type": "object" - }, - "maxItems": 6, - "minItems": 1, - "type": "array" - } - }, - "required": [ - "comparison_guard", - "expression_value", - "margin", - "values" - ], - "type": "object" - }, - "maxItems": 16, - "minItems": 0, - "type": "array" - }, - "elapsed_ms": { - "maximum": 1000000000, - "minimum": 0, - "type": "number" - }, - "engine": { - "const": "rust-cpu", - "type": "string" - }, - "evaluated": { - "maximum": 200000, - "minimum": 0, - "type": "integer" - }, - "expression": { - "maxLength": 512, - "minLength": 1, - "type": "string" - }, - "finite_evaluations": { - "maximum": 200000, - "minimum": 0, - "type": "integer" - }, - "first_counterexample": { - "anyOf": [ - { - "additionalProperties": false, - "properties": { - "comparison_guard": { - "maximum": 1.7976931348623157e+308, - "minimum": 0, - "type": "number" - }, - "expression_value": { - "maximum": 1.7976931348623157e+308, - "minimum": -1.7976931348623157e+308, - "type": "number" - }, - "margin": { - "maximum": 1.7976931348623157e+308, - "minimum": 0, - "type": "number" - }, - "values": { - "items": { - "additionalProperties": false, - "properties": { - "name": { - "maxLength": 32, - "minLength": 1, - "type": "string" - }, - "value": { - "maximum": 1000000, - "minimum": -1000000, - "type": "number" - } - }, - "required": [ - "name", - "value" - ], - "type": "object" - }, - "maxItems": 6, - "minItems": 1, - "type": "array" - } - }, - "required": [ - "comparison_guard", - "expression_value", - "margin", - "values" - ], - "type": "object" - }, - { - "type": "null" - } - ] - }, - "grid_total": { - "maximum": 68719476736, - "minimum": 1, - "type": "integer" - }, - "limits": { - "items": { - "maxLength": 512, - "minLength": 1, - "type": "string" - }, - "maxItems": 16, - "minItems": 0, - "type": "array" - }, - "method": { - "maxLength": 4096, - "minLength": 1, - "type": "string" - }, - "notes": { - "items": { - "maxLength": 512, - "minLength": 1, - "type": "string" - }, - "maxItems": 16, - "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": "scan_counterexample", - "type": "string" - } - }, - "required": [ - "tool", - "server", - "client", - "identity_source", - "model" - ], - "type": "object" - }, - "relation": { - "anyOf": [ - { - "const": "le", - "type": "string" - }, - { - "const": "ge", - "type": "string" - } - ] - }, - "statement": { - "maxLength": 4096, - "minLength": 1, - "type": "string" - }, - "stop_reason": { - "anyOf": [ - { - "const": "grid_complete", - "type": "string" - }, - { - "const": "evaluation_budget", - "type": "string" - }, - { - "const": "counterexample_limit", - "type": "string" - } - ] - }, - "stopped_early": { - "type": "boolean" - }, - "tolerance": { - "maximum": 1000000000000, - "minimum": 0, - "type": "number" - }, - "uncertain_evaluations": { - "maximum": 200000, - "minimum": 0, - "type": "integer" - }, - "undefined_evaluations": { - "maximum": 200000, - "minimum": 0, - "type": "integer" - }, - "verdict": { - "anyOf": [ - { - "const": "counterexamples_found", - "type": "string" - }, - { - "const": "no_counterexample_in_scanned_box", - "type": "string" - }, - { - "const": "inconclusive", - "type": "string" - } - ] - }, - "work_units": { - "maximum": 200000, - "minimum": 0, - "type": "integer" - } - }, - "required": [ - "assumptions", - "bound", - "complete", - "contract_version", - "counterexamples", - "elapsed_ms", - "engine", - "evaluated", - "expression", - "finite_evaluations", - "first_counterexample", - "grid_total", - "limits", - "method", - "notes", - "relation", - "statement", - "stop_reason", - "stopped_early", - "tolerance", - "uncertain_evaluations", - "undefined_evaluations", - "verdict", - "work_units", - "provenance" - ], - "type": "object" -}New value: +null
- Changed
shape_the_sound1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" - }, - "contract_version": { - "const": "0.3.0", - "type": "string" - }, - "elapsed_ms": { - "maximum": 1000000000000, - "minimum": 0, - "type": "number" - }, - "engine": { - "const": "rust-cpu", - "type": "string" - }, - "feasibility": { - "additionalProperties": false, - "properties": { - "checks": { - "items": { - "additionalProperties": false, - "properties": { - "exact_target_excluded": { - "type": "boolean" - }, - "reference": { - "maxLength": 512, - "minLength": 1, - "type": "string" - }, - "request_excluded": { - "type": "boolean" - }, - "statement": { - "maxLength": 512, - "minLength": 1, - "type": "string" - }, - "theorem": { - "anyOf": [ - { - "const": "simple_fundamental", - "type": "string" - }, - { - "const": "ashbaugh_benguria", - "type": "string" - }, - { - "const": "yang_first_inequality", - "type": "string" - } - ] - } - }, - "required": [ - "exact_target_excluded", - "reference", - "request_excluded", - "statement", - "theorem" - ], - "type": "object" - }, - "maxItems": 7, - "minItems": 2, - "type": "array" - }, - "domain": { - "maxLength": 512, - "minLength": 1, - "type": "string" - }, - "exact_target_excluded": { - "type": "boolean" - }, - "tolerance_cents": { - "maximum": 100, - "minimum": 0.5, - "type": "number" - }, - "verdict": { - "anyOf": [ - { - "const": "proven_impossible", - "type": "string" - }, - { - "const": "not_excluded", - "type": "string" - } - ] - }, - "windows": { - "description": "Admissible frequency-ratio window per target: [r·2^(−c/1200), r·2^(c/1200)].", - "items": { - "items": { - "maximum": 10, - "minimum": 0, - "type": "number" - }, - "maxItems": 2, - "minItems": 2, - "type": "array" - }, - "maxItems": 5, - "minItems": 1, - "type": "array" - } - }, - "required": [ - "checks", - "domain", - "exact_target_excluded", - "tolerance_cents", - "verdict", - "windows" - ], - "type": "object" - }, - "fundamental_hz": { - "anyOf": [ - { - "maximum": 1e+300, - "minimum": 0, - "type": "number" - }, - { - "type": "null" - } - ] - }, - "fundamental_note": { - "anyOf": [ - { - "maxLength": 32, - "minLength": 1, - "type": "string" - }, - { - "type": "null" - } - ] - }, - "matches": { - "items": { - "additionalProperties": false, - "properties": { - "achieved_ratio": { - "maximum": 1e+300, - "minimum": 0, - "type": "number" - }, - "cents_error": { - "maximum": 1e+300, - "minimum": -1e+300, - "type": "number" - }, - "mode": { - "maximum": 6, - "minimum": 2, - "type": "integer" - }, - "target_cents": { - "maximum": 2400, - "minimum": 0, - "type": "number" - }, - "target_ratio": { - "maximum": 4, - "minimum": 1, - "type": "number" - }, - "uncertainty_cents": { - "maximum": 1e+300, - "minimum": 0, - "type": "number" - }, - "within_tolerance": { - "type": "boolean" - } - }, - "required": [ - "achieved_ratio", - "cents_error", - "mode", - "target_cents", - "target_ratio", - "uncertainty_cents", - "within_tolerance" - ], - "type": "object" - }, - "maxItems": 5, - "minItems": 0, - "type": "array" - }, - "method": { - "maxLength": 1024, - "minLength": 1, - "type": "string" - }, - "notes": { - "items": { - "maxLength": 1024, - "minLength": 1, - "type": "string" - }, - "maxItems": 8, - "minItems": 0, - "type": "array" - }, - "polygon": { - "anyOf": [ - { - "items": { - "items": { - "maximum": 10000, - "minimum": -10000, - "type": "number" - }, - "maxItems": 2, - "minItems": 2, - "type": "array" - }, - "maxItems": 16, - "minItems": 3, - "type": "array" - }, - { - "type": "null" - } - ] - }, - "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": "shape_the_sound", - "type": "string" - } - }, - "required": [ - "tool", - "server", - "client", - "identity_source", - "model" - ], - "type": "object" - }, - "resolution_warning": { - "anyOf": [ - { - "maxLength": 512, - "minLength": 1, - "type": "string" - }, - { - "type": "null" - } - ] - }, - "search": { - "anyOf": [ - { - "additionalProperties": false, - "properties": { - "best_start": { - "maximum": 15, - "minimum": 0, - "type": "integer" - }, - "configured_starts": { - "maximum": 16, - "minimum": 1, - "type": "integer" - }, - "continued_best_start": { - "type": "boolean" - }, - "evaluations": { - "maximum": 1000, - "minimum": 1, - "type": "integer" - }, - "objective": { - "maximum": 1e+300, - "minimum": 0, - "type": "number" - }, - "polish_evaluations": { - "maximum": 100, - "minimum": 0, - "type": "integer" - }, - "polish_triangles": { - "maximum": 100000, - "minimum": 1, - "type": "integer" - }, - "search_triangles": { - "maximum": 100000, - "minimum": 1, - "type": "integer" - }, - "starts_tried": { - "maximum": 16, - "minimum": 1, - "type": "integer" - } - }, - "required": [ - "best_start", - "configured_starts", - "continued_best_start", - "evaluations", - "objective", - "polish_evaluations", - "polish_triangles", - "search_triangles", - "starts_tried" - ], - "type": "object" - }, - { - "type": "null" - } - ] - }, - "statement": { - "maxLength": 2048, - "minLength": 1, - "type": "string" - }, - "verdict": { - "anyOf": [ - { - "const": "proven_impossible", - "type": "string" - }, - { - "const": "achieved", - "type": "string" - }, - { - "const": "not_achieved", - "type": "string" - } - ] - }, - "verification": { - "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" - } - ] - }, - "worst_cents_error": { - "anyOf": [ - { - "maximum": 1e+300, - "minimum": 0, - "type": "number" - }, - { - "type": "null" - } - ] - } - }, - "required": [ - "assumptions", - "contract_version", - "elapsed_ms", - "engine", - "feasibility", - "fundamental_hz", - "fundamental_note", - "matches", - "method", - "notes", - "polygon", - "resolution_warning", - "search", - "statement", - "verdict", - "verification", - "worst_cents_error", - "provenance" - ], - "type": "object" -}New value: +null
- Changed
stress_test_observation1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" -}New value: +null
- Changed
tour_profile1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" - }, - "bounding_diagonal": { - "maximum": 4000000, - "minimum": 0, - "type": "number" - }, - "centrality_mean": { - "maximum": 4000000, - "minimum": 0, - "type": "number" - }, - "centrality_spread": { - "maximum": 1000, - "minimum": 0, - "type": "number" - }, - "close_pair_fraction": { - "maximum": 1, - "minimum": 0, - "type": "number" - }, - "collinearity": { - "maximum": 1, - "minimum": 0, - "type": "number" - }, - "contract_version": { - "const": "0.2.0", - "type": "string" - }, - "descriptors": { - "items": { - "maxLength": 512, - "minLength": 1, - "type": "string" - }, - "maxItems": 16, - "minItems": 1, - "type": "array" - }, - "distance_histogram": { - "items": { - "maximum": 1, - "minimum": 0, - "type": "number" - }, - "maxItems": 8, - "minItems": 8, - "type": "array" - }, - "duplicate_pairs": { - "maximum": 32640, - "minimum": 0, - "type": "integer" - }, - "elapsed_ms": { - "maximum": 1000000000, - "minimum": 0, - "type": "number" - }, - "engine": { - "const": "rust-cpu", - "type": "string" - }, - "fingerprint": { - "maxLength": 512, - "minLength": 1, - "type": "string" - }, - "isolation_mean_3nn": { - "maximum": 4000000, - "minimum": 0, - "type": "number" - }, - "isolation_ratio": { - "maximum": 4000000, - "minimum": 0, - "type": "number" - }, - "limits": { - "items": { - "maxLength": 512, - "minLength": 1, - "type": "string" - }, - "maxItems": 16, - "minItems": 0, - "type": "array" - }, - "mean_pairwise_distance": { - "maximum": 4000000, - "minimum": 0, - "type": "number" - }, - "median_pairwise_distance": { - "maximum": 4000000, - "minimum": 0, - "type": "number" - }, - "method": { - "maxLength": 4096, - "minLength": 1, - "type": "string" - }, - "mirror_residual": { - "anyOf": [ - { - "maximum": 2, - "minimum": 0, - "type": "number" - }, - { - "type": "null" - } - ] - }, - "n": { - "maximum": 256, - "minimum": 3, - "type": "integer" - }, - "nearest_neighbor": { - "additionalProperties": false, - "properties": { - "mean": { - "maximum": 4000000, - "minimum": 0, - "type": "number" - }, - "median": { - "maximum": 4000000, - "minimum": 0, - "type": "number" - }, - "min": { - "maximum": 4000000, - "minimum": 0, - "type": "number" - } - }, - "required": [ - "mean", - "median", - "min" - ], - "type": "object" - }, - "notes": { - "items": { - "maxLength": 512, - "minLength": 1, - "type": "string" - }, - "maxItems": 16, - "minItems": 0, - "type": "array" - }, - "principal_axes_defined": { - "type": "boolean" - }, - "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": "tour_profile", - "type": "string" - } - }, - "required": [ - "tool", - "server", - "client", - "identity_source", - "model" - ], - "type": "object" - }, - "statement": { - "maxLength": 4096, - "minLength": 1, - "type": "string" - }, - "work_units": { - "maximum": 32640, - "minimum": 0, - "type": "integer" - } - }, - "required": [ - "assumptions", - "bounding_diagonal", - "centrality_mean", - "centrality_spread", - "close_pair_fraction", - "collinearity", - "contract_version", - "descriptors", - "distance_histogram", - "duplicate_pairs", - "elapsed_ms", - "engine", - "fingerprint", - "isolation_mean_3nn", - "isolation_ratio", - "limits", - "mean_pairwise_distance", - "median_pairwise_distance", - "method", - "mirror_residual", - "n", - "nearest_neighbor", - "notes", - "principal_axes_defined", - "statement", - "work_units", - "provenance" - ], - "type": "object" -}New value: +null
- Changed
triangulate_tracks1 field changed- changed
Output schema / (root)Previous value: -{ - "$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" -}New value: +null
- Changed
verify_shadows3 fields changed- added
Input schema / properties / date_utc / descriptionAdded value: +"UTC instant, exactly YYYY-MM-DDTHH:MM:SSZ, e.g. 2026-06-21T12:00:00Z" - added
Input schema / properties / latitude / descriptionAdded value: +"Degrees, north positive" - added
Input schema / properties / longitude / descriptionAdded value: +"Degrees, east positive"
2 tool updates
- Changed
scan_counterexample13 fields changed- changed
Output schema / properties / contract_version / constPrevious value: -"0.1.0"New value: +"0.2.0" - added
Output schema / properties / counterexamples / items / properties / comparison_guardAdded value: +{ + "maximum": 1.7976931348623157e+308, + "minimum": 0, + "type": "number" +} - changed
Output schema / properties / counterexamples / items / properties / expression_value / maximumPrevious value: -1e+308New value: +1.7976931348623157e+308 - changed
Output schema / properties / counterexamples / items / properties / expression_value / minimumPrevious value: --1e+308New value: +-1.7976931348623157e+308 - changed
Output schema / properties / counterexamples / items / properties / margin / maximumPrevious value: -1e+308New value: +1.7976931348623157e+308 - changed
Output schema / properties / counterexamples / items / requiredPrevious value: -[ - "expression_value", - "margin", - "values" -]New value: +[ + "comparison_guard", + "expression_value", + "margin", + "values" +] - added
Output schema / properties / finite_evaluationsAdded value: +{ + "maximum": 200000, + "minimum": 0, + "type": "integer" +} - changed
Output schema / properties / first_counterexample / anyOfPrevious value: -[ - { - "additionalProperties": false, - "properties": { - "expression_value": { - "maximum": 1e+308, - "minimum": -1e+308, - "type": "number" - }, - "margin": { - "maximum": 1e+308, - "minimum": 0, - "type": "number" - }, - "values": { - "items": { - "additionalProperties": false, - "properties": { - "name": { - "maxLength": 32, - "minLength": 1, - "type": "string" - }, - "value": { - "maximum": 1000000, - "minimum": -1000000, - "type": "number" - } - }, - "required": [ - "name", - "value" - ], - "type": "object" - }, - "maxItems": 6, - "minItems": 1, - "type": "array" - } - }, - "required": [ - "expression_value", - "margin", - "values" - ], - "type": "object" - }, - { - "type": "null" - } -]New value: +[ + { + "additionalProperties": false, + "properties": { + "comparison_guard": { + "maximum": 1.7976931348623157e+308, + "minimum": 0, + "type": "number" + }, + "expression_value": { + "maximum": 1.7976931348623157e+308, + "minimum": -1.7976931348623157e+308, + "type": "number" + }, + "margin": { + "maximum": 1.7976931348623157e+308, + "minimum": 0, + "type": "number" + }, + "values": { + "items": { + "additionalProperties": false, + "properties": { + "name": { + "maxLength": 32, + "minLength": 1, + "type": "string" + }, + "value": { + "maximum": 1000000, + "minimum": -1000000, + "type": "number" + } + }, + "required": [ + "name", + "value" + ], + "type": "object" + }, + "maxItems": 6, + "minItems": 1, + "type": "array" + } + }, + "required": [ + "comparison_guard", + "expression_value", + "margin", + "values" + ], + "type": "object" + }, + { + "type": "null" + } +] - added
Output schema / properties / stop_reasonAdded value: +{ + "anyOf": [ + { + "const": "grid_complete", + "type": "string" + }, + { + "const": "evaluation_budget", + "type": "string" + }, + { + "const": "counterexample_limit", + "type": "string" + } + ] +} - added
Output schema / properties / uncertain_evaluationsAdded value: +{ + "maximum": 200000, + "minimum": 0, + "type": "integer" +} - added
Output schema / properties / undefined_evaluationsAdded value: +{ + "maximum": 200000, + "minimum": 0, + "type": "integer" +} - changed
Output schema / properties / verdict / anyOfPrevious value: -[ - { - "const": "counterexamples_found", - "type": "string" - }, - { - "const": "no_counterexample_in_scanned_box", - "type": "string" - } -]New value: +[ + { + "const": "counterexamples_found", + "type": "string" + }, + { + "const": "no_counterexample_in_scanned_box", + "type": "string" + }, + { + "const": "inconclusive", + "type": "string" + } +] - changed
Output schema / requiredPrevious value: -[ - "assumptions", - "bound", - "complete", - "contract_version", - "counterexamples", - "elapsed_ms", - "engine", - "evaluated", - "expression", - "first_counterexample", - "grid_total", - "limits", - "method", - "notes", - "relation", - "statement", - "stopped_early", - "tolerance", - "verdict", - "work_units", - "provenance" -]New value: +[ + "assumptions", + "bound", + "complete", + "contract_version", + "counterexamples", + "elapsed_ms", + "engine", + "evaluated", + "expression", + "finite_evaluations", + "first_counterexample", + "grid_total", + "limits", + "method", + "notes", + "relation", + "statement", + "stop_reason", + "stopped_early", + "tolerance", + "uncertain_evaluations", + "undefined_evaluations", + "verdict", + "work_units", + "provenance" +]
- Changed
tour_profile7 fields changed- changed
Output schema / properties / contract_version / constPrevious value: -"0.1.0"New value: +"0.2.0" - added
Output schema / properties / mirror_residual / anyOfAdded value: +[ + { + "maximum": 2, + "minimum": 0, + "type": "number" + }, + { + "type": "null" + } +] - removed
Output schema / properties / mirror_residual / maximumRemoved value: -2 - removed
Output schema / properties / mirror_residual / minimumRemoved value: -0 - removed
Output schema / properties / mirror_residual / typeRemoved value: -"number" - added
Output schema / properties / principal_axes_definedAdded value: +{ + "type": "boolean" +} - changed
Output schema / requiredPrevious value: -[ - "assumptions", - "bounding_diagonal", - "centrality_mean", - "centrality_spread", - "close_pair_fraction", - "collinearity", - "contract_version", - "descriptors", - "distance_histogram", - "duplicate_pairs", - "elapsed_ms", - "engine", - "fingerprint", - "isolation_mean_3nn", - "isolation_ratio", - "limits", - "mean_pairwise_distance", - "median_pairwise_distance", - "method", - "mirror_residual", - "n", - "nearest_neighbor", - "notes", - "statement", - "work_units", - "provenance" -]New value: +[ + "assumptions", + "bounding_diagonal", + "centrality_mean", + "centrality_spread", + "close_pair_fraction", + "collinearity", + "contract_version", + "descriptors", + "distance_histogram", + "duplicate_pairs", + "elapsed_ms", + "engine", + "fingerprint", + "isolation_mean_3nn", + "isolation_ratio", + "limits", + "mean_pairwise_distance", + "median_pairwise_distance", + "method", + "mirror_residual", + "n", + "nearest_neighbor", + "notes", + "principal_axes_defined", + "statement", + "work_units", + "provenance" +]
2 tool updates
- Added
scan_counterexample - Added
tour_profile
1 tool update
- Added
shape_the_sound
2 tool updates
- Added
check_arithmetic - Added
verify_claim
3 tool updates
- Added
hear_the_shape - Added
kepler_stability - Added
propagate_uncertainty
1 tool update
- Changed
compute_orbit3 fields changed- added
Input schema / additionalPropertiesAdded value: +false - changed
Input schema / requiredPrevious value: -[ - "semi_major_au", - "eccentricity", - "elapsed_days" -]New value: +[ + "eccentricity", + "elapsed_days", + "semi_major_au" +] - changed
Output schema / (root)Previous value: -nullNew value: +{ + "$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" +}
2 tool updates
- Changed
forge_route_policy24 fields changed- changed
Output schema / properties / attempted / maximumPrevious value: -9007199254740991New value: +64 - changed
Output schema / properties / contract_version / constPrevious value: -"0.1.0"New value: +"0.2.0" - added
Output schema / properties / kernel_versionAdded value: +{ + "const": "1.0.0", + "type": "string" +} - added
Output schema / properties / request_sha256Added value: +{ + "pattern": "^[a-f0-9]{64}$", + "type": "string" +} - added
Output schema / properties / search_versionAdded value: +{ + "const": "1.0.0", + "type": "string" +} - changed
Output schema / properties / seed / maximumPrevious value: -9007199254740991New value: +4294967295 - changed
Output schema / properties / selected / anyOfPrevious value: -[ - { - "additionalProperties": false, - "properties": { - "fitness": { - "additionalProperties": false, - "properties": { - "maximum_length_ratio": { - "minimum": 0, - "type": "number" - }, - "mean_length_km": { - "minimum": 0, - "type": "number" - }, - "mean_length_ratio": { - "minimum": 0, - "type": "number" - }, - "total_fuel": { - "maximum": 9007199254740991, - "minimum": 0, - "type": "integer" - } - }, - "required": [ - "mean_length_ratio", - "maximum_length_ratio", - "mean_length_km", - "total_fuel" - ], - "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" - }, - "trial_index": { - "maximum": 9007199254740991, - "minimum": 0, - "type": "integer" - } - }, - "required": [ - "trial_index", - "program", - "program_sha256", - "fitness" - ], - "type": "object" - }, - { - "type": "null" - } -]New value: +[ + { + "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" + } +] - added
Output schema / properties / selectionAdded value: +{ + "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" +} - added
Output schema / properties / stop_reason / enumAdded value: +[ + "candidate_budget_exhausted", + "caller_stopped" +] - added
Output schema / properties / trials / items / properties / admission_failuresAdded value: +{ + "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" +} - added
Output schema / properties / trials / items / properties / admittedAdded value: +{ + "type": "boolean" +} - added
Output schema / properties / trials / items / properties / cases / maxItemsAdded value: +8 - added
Output schema / properties / trials / items / properties / enumeration_indexAdded value: +{ + "anyOf": [ + { + "maximum": 364, + "minimum": 0, + "type": "integer" + }, + { + "type": "null" + } + ] +} - changed
Output schema / properties / trials / items / properties / fitness / anyOfPrevious value: -[ - { - "additionalProperties": false, - "properties": { - "maximum_length_ratio": { - "minimum": 0, - "type": "number" - }, - "mean_length_km": { - "minimum": 0, - "type": "number" - }, - "mean_length_ratio": { - "minimum": 0, - "type": "number" - }, - "total_fuel": { - "maximum": 9007199254740991, - "minimum": 0, - "type": "integer" - } - }, - "required": [ - "mean_length_ratio", - "maximum_length_ratio", - "mean_length_km", - "total_fuel" - ], - "type": "object" - }, - { - "type": "null" - } -]New value: +[ + { + "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" + } +] - added
Output schema / properties / trials / items / properties / generation / enumAdded value: +[ + "baseline", + "enumerated_small_expression", + "generated", + "crossover", + "point_mutation", + "subtree_mutation" +] - changed
Output schema / properties / trials / items / properties / index / maximumPrevious value: -9007199254740991New value: +63 - added
Output schema / properties / trials / items / properties / parents / maxItemsAdded value: +2 - added
Output schema / properties / trials / items / properties / population_afterAdded value: +{ + "items": { + "maximum": 63, + "minimum": 0, + "type": "integer" + }, + "maxItems": 32, + "type": "array" +} - changed
Output schema / properties / trials / items / properties / reused_trial / anyOfPrevious value: -[ - { - "maximum": 9007199254740991, - "minimum": 0, - "type": "integer" - }, - { - "type": "null" - } -]New value: +[ + { + "maximum": 63, + "minimum": 0, + "type": "integer" + }, + { + "type": "null" + } +] - added
Output schema / properties / trials / items / properties / simplificationAdded value: +{ + "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" + } + ] +} - added
Output schema / properties / trials / items / properties / status / enumAdded value: +[ + "reused", + "invalid_program", + "failed", + "evaluated_admitted", + "evaluated_not_admitted" +] - changed
Output schema / properties / trials / items / requiredPrevious value: -[ - "index", - "program", - "program_sha256", - "parents", - "generation", - "status", - "reused_trial", - "fitness", - "cases", - "generator_state_after" -]New value: +[ + "index", + "program", + "program_sha256", + "parents", + "generation", + "enumeration_index", + "status", + "reused_trial", + "simplification", + "fitness", + "admitted", + "admission_failures", + "cases", + "generator_state_after", + "population_after" +] - changed
Output schema / properties / unique_evaluated / maximumPrevious value: -9007199254740991New value: +64 - changed
Output schema / requiredPrevious value: -[ - "contract_version", - "seed", - "train_sha256", - "budget", - "baseline_program_sha256", - "trials", - "selected", - "attempted", - "unique_evaluated", - "stop_reason", - "promotion", - "elapsed_ms", - "limitations", - "provenance" -]New value: +[ + "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" +]
- Changed
run_route_policy9 fields changed- changed
Output schema / properties / contract_version / constPrevious value: -"0.1.0"New value: +"0.2.0" - removed
Output schema / properties / fuel_limit / exclusiveMinimumRemoved value: -0 - changed
Output schema / properties / fuel_limit / maximumPrevious value: -9007199254740991New value: +4000000 - added
Output schema / properties / fuel_limit / minimumAdded value: +1 - changed
Output schema / properties / fuel_used / maximumPrevious value: -9007199254740991New value: +4000000 - added
Output schema / properties / kernel_versionAdded value: +{ + "const": "1.0.0", + "type": "string" +} - added
Output schema / properties / simplificationAdded value: +{ + "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" +} - added
Output schema / properties / stop_reason / enumAdded value: +[ + "heuristic_converged", + "fuel_exhausted", + "time_budget_exhausted" +] - changed
Output schema / requiredPrevious value: -[ - "contract_version", - "program_sha256", - "order", - "legs", - "length_km", - "initial_length_km", - "stop_reason", - "fuel_used", - "fuel_limit", - "elapsed_ms", - "exact", - "all_points_coincident", - "limitations", - "provenance" -]New value: +[ + "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" +]
2 tool updates
- Added
forge_route_policy - Added
run_route_policy
1 tool update
- Changed
plan_observation1 field changed- added
Output schema / properties / policy_traceAdded value: +{ + "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" +}
5 tool updates
- Changed
build_robust_plan1 field changed- changed
Input schema / properties / allowed_tools / maxItemsPrevious value: -13New value: +14
- Changed
compose_capabilities1 field changed- changed
Input schema / properties / constraints / properties / allowed_tools / maxItemsPrevious value: -19New value: +20
- Changed
execute_composition1 field changed- changed
Input schema / properties / constraints / properties / allowed_tools / maxItemsPrevious value: -19New value: +20
- Added
plan_golden_hour - Changed
plan_mission1 field changed- changed
Input schema / properties / allowed_tools / maxItemsPrevious value: -13New value: +14
7 tool updates
- Added
assimilate_observation - Changed
compose_capabilities1 field changed- changed
Input schema / properties / constraints / properties / allowed_tools / maxItemsPrevious value: -14New value: +19
- Changed
execute_composition1 field changed- changed
Input schema / properties / constraints / properties / allowed_tools / maxItemsPrevious value: -14New value: +19
- Added
improve_schedule - Added
plan_observation - Added
stress_test_observation - Changed
submit_network_job2 fields changed- added
Input schema / properties / scenario_idAdded value: +{ + "enum": [ + "single_80_deadline_90", + "pair_60_40_deadline_100", + "pair_60_40_deadline_110" + ], + "type": "string" +} - added
Input schema / properties / workloadAdded value: +{ + "default": "pi_chunk_v1", + "enum": [ + "pi_chunk_v1", + "schedule_probe_v1" + ], + "type": "string" +}
4 tool updates
- Added
get_network_job - Added
network_status - Added
submit_network_job - Added
triangulate_tracks
5 tool updates
- Changed
build_robust_plan1 field changed- changed
Input schema / properties / allowed_tools / maxItemsPrevious value: -12New value: +13
- Changed
compose_capabilities2 fields changed- added
Input schema / properties / adaptersAdded value: +{ + "additionalProperties": false, + "properties": { + "route_durations.v1": { + "additionalProperties": false, + "properties": { + "speed_kmh": { + "maximum": 150, + "minimum": 1, + "type": "number" + } + }, + "required": [ + "speed_kmh" + ], + "type": "object" + } + }, + "type": "object" +} - changed
Input schema / properties / constraints / properties / allowed_tools / maxItemsPrevious value: -13New value: +14
- Changed
execute_composition2 fields changed- added
Input schema / properties / adaptersAdded value: +{ + "additionalProperties": false, + "properties": { + "route_durations.v1": { + "additionalProperties": false, + "properties": { + "speed_kmh": { + "maximum": 150, + "minimum": 1, + "type": "number" + } + }, + "required": [ + "speed_kmh" + ], + "type": "object" + } + }, + "type": "object" +} - changed
Input schema / properties / constraints / properties / allowed_tools / maxItemsPrevious value: -13New value: +14
- Changed
plan_mission1 field changed- changed
Input schema / properties / allowed_tools / maxItemsPrevious value: -12New value: +13
- Added
route_optimizer
3 tool updates
- Added
compose_capabilities - Added
execute_composition - Added
list_composition_capabilities
Related MCP Connectors
Self-hosted MCP server: 26 deterministic dev, security, and EVM tools.
Deterministic physics runtime with a proof on every answer: 61 models, open and keyless over MCP.
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Verified cyber-physical AI tools. 25 MCP tools, x402-payable on Base.
Related MCP Servers
- AlicenseCqualityCmaintenanceAgent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.22402 npm13MIT
- AlicenseAqualityAmaintenanceAn MCP server that lets AI models run code in 31 languages, evaluate symbolic math and logic problems, and measure complexity—exposed as 48 tools for execution, session management, translation, optimization, and more.5132 PyPI5Apache 2.0
- AlicenseAqualityBmaintenanceAirtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.1213Apache 2.0
- AlicenseCqualityBmaintenanceCryptographic identity and trust protocol for AI agents. 38 MCP tools across 8 protocol layers: Ed25519 identity, delegation chains, values compliance, signed communication, policy engine, task coordination, cross-layer integration, and agentic commerce. 264 tests passing.154368 npm4Apache 2.0
Glama MCP Gateway
Add one secure layer between your agents and this server.