{
  "capability_id": "math.square_root",
  "calculation_version": "1.0.3",
  "protocol_version": "1.0.0-proposed",
  "protocol_document_status": "proposed",
  "verification_revision": "2026-09-09.o3-boundary",
  "claim_scope": "≤2 ULP vs O3 applies to the published tabulated Square Root vectors, including non-negative named and seeded values, principal imaginary of -9 and -2, IEEE-754 min-subnormal, and max-finite. It is not a guarantee over the entire input domain.",
  "oracle": {
    "class": "O3",
    "library": "mpmath 1.4.1",
    "mpmath_dps": 80,
    "backend": "python",
    "rounding": "round-to-nearest-binary64",
    "independent_of_iut": true,
    "generator_id": "math-mpmath-o3",
    "generator_version": "1.0.0",
    "generator_sha256": "3453ec60bd03738a1f1f3723baed7e617ff49466452efab1844fe68b8f654cea",
    "table_sha256": "efdad939a92a67df1f3995db36c52bb87f428a59fc73568f789c02540f4372ee"
  },
  "result_summary": {
    "passed": 21,
    "total": 21,
    "failed": 0,
    "max_error_ulp": 0,
    "threshold_ulp": 2,
    "max_threshold_ulp": 2
  },
  "public_files": {
    "manifest": "/evidence/math.square_root/1.0.3.cvp.json",
    "this_file": "/evidence/math.square_root/reproduce.json"
  },
  "vectors": [],
  "disclosure": {
    "policy": "calculatorx-public-evidence-v1",
    "full_validation": "private",
    "representation": "summary",
    "kind": "reproduce"
  }
}