Skip to main content
Glama

Search for a reconstruction counterexample

stress_test_observation
Read-onlyIdempotent

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.

Input Schema

NameRequiredDescriptionDefault
casesYes
claimYes
boundsYes
observationsYes
perturbations_are_hypotheticalYes

Schema Changelog

Changes observed during successful MCP inspections.

  1. Changed1 schema field changed
    • changedOutput 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
  2. Added

TDQS

Score is being calculated.

Try in Browser

Glama MCP Gateway

Add one secure layer between your agents and this server.

Resources