{
  "schemaVersion": 1,
  "topic": "Quantization Lab",
  "checked_at": "2026-09-07",
  "claims": [
    {
      "id": "Q3",
      "title": "FP16 source format",
      "claim": "OpenEXR documents half precision with one sign bit, five exponent bits, ten fraction bits, and subnormal values.",
      "url": "https://openexr.com/en/latest/TechnicalIntroduction.html#the-half-data-type",
      "checked_at": "2026-09-07",
      "type": "primary-documentation",
      "classification": "specified-formulation",
      "boundary": "Only finite values up to 65504 are accepted here; conversion uses nearest-even rounding as an explicit policy."
    },
    {
      "id": "Q1",
      "title": "Round, shift, saturate",
      "claim": "ONNX QuantizeLinear specifies scale, zero point, saturation, and nearest-even rounding. Signed INT4 spans -8 through 7.",
      "url": "https://onnx.ai/onnx/operators/onnx__QuantizeLinear.html",
      "checked_at": "2026-09-07",
      "type": "primary-documentation",
      "classification": "specified-formulation",
      "boundary": "The symmetric teaching scheme deliberately leaves the most negative code unused."
    },
    {
      "id": "Q2",
      "title": "Reconstruct through the scale",
      "claim": "ONNX DequantizeLinear defines reconstruction as (integer \u2212 zero point) \u00d7 scale.",
      "url": "https://onnx.ai/onnx/operators/onnx__DequantizeLinear.html",
      "checked_at": "2026-09-07",
      "type": "primary-documentation",
      "classification": "specified-formulation",
      "boundary": "Floating-point implementations may introduce additional rounding."
    }
  ],
  "assumptions": [
    "One FP32 scale and one signed INT8 zero point per vector, including symmetric mode.",
    "Narrow symmetric INT4 uses -7\u20267, unlike full signed INT4 -8\u20267.",
    "FP16 source conversion is simulated; scale and reconstruction arithmetic use JavaScript numbers.",
    "No quality or speed inference follows from the numerical error."
  ],
  "evidenceClasses": {
    "measuredFacts": "No hardware, model-quality, or corpus measurements are claimed.",
    "derivedResults": "Deterministic arithmetic or editorial rule evaluation; see formulas in README.md.",
    "editorialAssumptions": "Dated synthetic examples, stated scope, and storage policies.",
    "primaryFacts": "Each sourced claim carries its own classification and boundary."
  }
}