{
  "capability_id": "math.quadratic",
  "calculation_version": "1.1.1",
  "protocol_version": "1.0.0-proposed",
  "protocol_document_status": "proposed",
  "verification_revision": "2026-10-13.quadratic-interface-replay",
  "claim_scope": "≤4 ULP vs O3 applies only to the published tabulated vectors (two-real, repeated, complex, irrational, near-double-root, tiny-complex, tiny-real, tiny-scale, fraction-numeric, downward, large-scale, cancellation). It is not a guarantee over the entire coefficient space. Roots use a cancellation-safe q-form at the same ± order as x = (−b ± √Δ)/(2a).",
  "oracle": {
    "class": "O3",
    "library": "mpmath 1.4.1",
    "mpmath_dps": 80,
    "backend": null,
    "rounding": null,
    "independent_of_iut": true,
    "generator_id": "quadratic-mpmath-o3",
    "generator_version": "1.2.0",
    "generator_sha256": "5a1157ecb5e8c163ca72f377c162c8501077f46d22cc32eba7a80a0855a83a36",
    "table_sha256": "6c8e67f2ed03b75a193e76be0cfa73781cd43587d0004503148223de0a9cbb8c"
  },
  "result_summary": {
    "passed": 12,
    "total": 12,
    "failed": 0,
    "max_error_ulp": 0.67108864,
    "threshold_ulp": 4,
    "max_threshold_ulp": 4
  },
  "public_files": {
    "manifest": "/evidence/math.quadratic/1.1.1.cvp.json",
    "this_file": "/evidence/math.quadratic/reproduce.json"
  },
  "vectors": [],
  "disclosure": {
    "policy": "calculatorx-public-evidence-v1",
    "full_validation": "private",
    "representation": "summary",
    "kind": "reproduce"
  }
}