Halluc-Doc-Ts-Satisfies

The model receives the prompt (and optional system message). The run uses scorer rubric_json_metrics with the JSON configuration below. Pass/fail and partial credit are determined entirely by that scorer against the model output; no human grading.

Return JSON only with keys answer, supported_facts, uncertainty. What does the TypeScript 'satisfies' operator do and in which TypeScript version was it introduced? How does it differ from a type assertion (as Type)? Avoid claiming it works identically to type assertions or was introduced before TypeScript 4.9.

{
  "metrics": {
    "accuracy": {
      "checks": [
        {
          "contains": [
            "4.9"
          ]
        },
        {
          "contains": [
            "without widening"
          ]
        },
        {
          "contains": [
            "type assertion"
          ]
        }
      ]
    },
    "fabricated": {
      "checks": [
        {
          "contains": [
            "does not widen"
          ]
        },
        {
          "contains": [
            "introduced in 4.9"
          ]
        },
        {
          "contains": [
            "unlike type assertion"
          ]
        }
      ]
    }
  }
}