{
  "protocol": {
    "name": "CVP",
    "version": "1.0.0-proposed"
  },
  "document_status": "proposed",
  "calculator": {
    "id": "root",
    "version": "1.0.5",
    "title": "Nth Root Calculator",
    "formula_family": "nth_root",
    "capability_id": "math.root",
    "verification_revision": "2026-09-09.root-cvp"
  },
  "profile": "core",
  "status": "VERIFIED",
  "runner": {
    "name": "cvp-runner",
    "version": "1.0.0"
  },
  "environment": {
    "runtime": "node",
    "runtime_version": "20.19.2",
    "numeric_model": "IEEE-754 binary64",
    "os": "darwin"
  },
  "suite": {
    "id": "root",
    "version": "1.0.5",
    "uri": "https://www.calculatorx.com/evidence/math.root/1.0.5.json",
    "verification_revision": "2026-09-09.root-cvp"
  },
  "obligation_set": [
    "CVP-PROV-01",
    "CVP-MODEL-01",
    "CVP-SCOPE-01",
    "CVP-UNIT-01",
    "CVP-REF-01",
    "CVP-GOLD-01",
    "CVP-BND-01",
    "CVP-INV-01",
    "CVP-NUM-01",
    "CVP-COV-01",
    "CVP-CONTRACT-01",
    "CVP-DEP-01",
    "CVP-ART-01",
    "CVP-PROD-01",
    "CVP-PROP-01",
    "CVP-META-01",
    "CVP-ROUND-01",
    "CVP-XCAL-01",
    "CVP-IFACE-01"
  ],
  "provenance": {
    "mode": "direct",
    "sources": [
      {
        "label": "NIST Digital Library of Mathematical Functions, Chapter 4",
        "kind": "other",
        "reference": "Logarithm, Exponential, Powers",
        "url": "https://dlmf.nist.gov/4"
      },
      {
        "label": "NIST DLMF §4.2(iv)",
        "kind": "other",
        "reference": "Powers: principal value z^a = exp(a ln z)",
        "url": "https://dlmf.nist.gov/4.2"
      },
      {
        "label": "CalculatorX mathematical conventions",
        "kind": "other",
        "reference": "Real nth root; even roots of negatives are NOT_REAL; n is a positive safe integer"
      }
    ]
  },
  "reference": {
    "items": [
      {
        "class": "O1",
        "reference_scope": "model",
        "scope": "model",
        "label": "Principal real nth root"
      },
      {
        "class": "O3",
        "reference_scope": "expected_values",
        "scope": "expected_values",
        "label": "Precomputed mpmath/MPFR signed real nth root (80 dps) rounded to nearest binary64 — not Node Math.sqrt/cbrt/pow",
        "engine": {
          "name": "root-mpmath-o3",
          "precision_bits": 265,
          "independent_of_iut": true,
          "library": "mpmath 1.4.1",
          "mpmath_dps": 80,
          "generator_version": "1.0.0",
          "generator_sha256": "3a38d49784974fade813298be4a21a1c1c5c91d288c1773b2802c300a069e93c",
          "table_sha256": "d0c85277acd014046ec073aca6650c34eedfa2ec3a205af9af4a7ecb6506f324",
          "seed": "20260909",
          "source": "https://www.calculatorx.com/developers/cvp/reproduce/root-o3-tables.json",
          "public_table": "/developers/cvp/reproduce/root-o3-tables.json",
          "public_generator": "/developers/cvp/reproduce/generate-root-o3.py"
        }
      },
      {
        "class": "O3",
        "reference_scope": "numerical_behavior",
        "scope": "numerical_behavior",
        "label": "Same O3 table vs IUT; path-specific ULP (identity 0, sqrt/cbrt/moderate pow ≤2, extreme pow ≤64) on tabulated vectors only",
        "engine": {
          "name": "root-mpmath-o3",
          "precision_bits": 265,
          "independent_of_iut": true,
          "library": "mpmath 1.4.1",
          "mpmath_dps": 80,
          "generator_version": "1.0.0",
          "generator_sha256": "3a38d49784974fade813298be4a21a1c1c5c91d288c1773b2802c300a069e93c",
          "table_sha256": "d0c85277acd014046ec073aca6650c34eedfa2ec3a205af9af4a7ecb6506f324",
          "seed": "20260909",
          "source": "https://www.calculatorx.com/developers/cvp/reproduce/root-o3-tables.json",
          "public_table": "/developers/cvp/reproduce/root-o3-tables.json",
          "public_generator": "/developers/cvp/reproduce/generate-root-o3.py"
        }
      },
      {
        "class": "O2",
        "reference_scope": "expected_values",
        "scope": "expected_values",
        "label": "Separate-module nth-root oracle — independent principal real root",
        "engine": {
          "name": "root-reference",
          "precision_bits": 53,
          "independent_of_iut": true
        }
      },
      {
        "class": "O2",
        "reference_scope": "numerical_behavior",
        "scope": "numerical_behavior",
        "label": "Same O2 module backs path-specific ULP scalar comparison vs IUT",
        "engine": {
          "name": "root-reference",
          "precision_bits": 53,
          "independent_of_iut": true
        }
      }
    ],
    "notes": "Golden expected values prefer a dedicated O3 mpmath/MPFR table (independent of Node Math.sqrt/cbrt/pow and of the shared math-o3-tables.json hash). O2 is a live oracle for identities and shares V8 binary64 with the IUT. O3 ULP is a tabulated-vector claim, not a whole-domain guarantee."
  },
  "controls": {
    "CVP-PROV-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "Sources present on evidence"
    },
    "CVP-MODEL-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "b = a^(1/n) principal real"
    },
    "CVP-SCOPE-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "Positive safe-integer n; even roots of a<0 are NOT_REAL; odd-negative uses the real branch. Declared partitions cover identity n=1, Math.sqrt, Math.cbrt, Math.pow, odd-negative, invalid-domain, and XCAL vs Square Root / Exponent — not a whole-domain claim."
    },
    "CVP-UNIT-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "dimensionless (unitless core)"
    },
    "CVP-REF-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "O1 model + dedicated O3 mpmath root table + O2 live identities"
    },
    "CVP-GOLD-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "10/10 legacy golden; 5/5 oracle-backed numeric"
    },
    "CVP-BND-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "14/14 boundary"
    },
    "CVP-INV-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "14 Evidence illegal-input + 3/3 oracle-backed error-code (exact_error_match, not ULP)"
    },
    "CVP-NUM-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "Path-specific ULP vs O3 tabulated vectors (identity 0, sqrt/cbrt/moderate pow ≤2, extreme pow ≤64); legacy Evidence `tol` is not this policy"
    },
    "CVP-COV-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "7/7 declared partitions (sqrt-path, cbrt-path, pow-path, identity-n1, odd-negative, invalid-domain, xcal) · 10 golden / 14 boundary unique cases · 14 Evidence invalid-input (may overlap boundary)"
    },
    "CVP-CONTRACT-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "1/1 contract checks"
    },
    "CVP-DEP-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "engine root; Node binary64"
    },
    "CVP-ART-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "release_integrity.status=verified · evidence_digest=CVP verification fingerprint v2 (canonical inputs, expected/actual/status, policy, versions; independent of generated_at) · evidence_bundle_sha256=legacy Evidence JSON bytes · production_sha256=bound production attestation report"
    },
    "CVP-PROD-01": {
      "result": "PASS",
      "applicability": "required",
      "notes": "CURRENT · site report pass · local checks pass · attestation_id=00c818a77ba026c2d6aa3f7402680cd2dac2a40a816209600bc3c3fcd0b8921c · CURRENT · Public schema 1.0.5 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓ · schema_const=1.0.5 · report output-const=pass · evidence-sha256=pass · semantic-contract=pass · capability-html-public-origin-agree=pass · cvp-manifest-public-origin-agree=pass · cvp-reproduce-manifest-agree=pass · calculator-html-cvp-projection=pass · evidence-html-cvp-projection=pass · attested_evidence_sha256=9424f31d3ca937ec4a453e41479201945df6495214f0a220ebb742e7fd1c3f20"
    },
    "CVP-DIM-01": {
      "result": "SKIP",
      "applicability": "not_applicable",
      "notes": "Unitless core calculator — no physical dimension algebra"
    },
    "CVP-PROP-01": {
      "result": "PASS",
      "applicability": "applicable",
      "notes": "4/4 property"
    },
    "CVP-META-01": {
      "result": "PASS",
      "applicability": "applicable",
      "notes": "2/2 metamorphic"
    },
    "CVP-ROUND-01": {
      "result": "PASS",
      "applicability": "applicable",
      "notes": "3/3 round-trips"
    },
    "CVP-XCAL-01": {
      "result": "PASS",
      "applicability": "applicable",
      "notes": "5/5 cross-calculator · xcal-sqrt-9 PASS vs math.square_root; xcal-sqrt-2 PASS vs math.square_root; xcal-sqrt-0 PASS vs math.square_root; xcal-exp-8-3 PASS vs math.exponent; xcal-sqrt-neg-distinct PASS vs math.square_root; xcal-sqrt-neg-na N/A (Root n=2 and a<0 is NOT_REAL (even root of a negative). Square Root returns the principal imaginary 0+√|x| i. These are different published contracts, not a numeric identity. Do not require equal results.)"
    },
    "CVP-IFACE-01": {
      "result": "PASS",
      "applicability": "applicable",
      "notes": "UI (SSR) · REST · MCP equivalent (MCP uses calc API handler). Success 1/1. Integration: URL → SSR result → Live graph current point (4/4). Hydration/slider/history are URL-canonical contracts, not a live browser session."
    },
    "CVP-ORACLE-01": {
      "result": "PASS",
      "applicability": "higher_assurance",
      "notes": "O3 19/19 tabulated vectors vs IUT · Path-specific ULP vs O3 applies only to the 19 published tabulated vectors: identity n=1 (0 ULP); Math.sqrt including tiny/huge (≤2); Math.cbrt including odd-negative and tiny/huge (≤2); moderate Math.pow including odd-negative, ⁸√15, and max safe n (≤2); extreme Math.pow at |a|=1e±300 (≤64). It is not a whole-domain guarantee. Even roots of a<0 and illegal n are contract errors (NOT_REAL / INVALID_INDEX), not ULP claims."
    },
    "CVP-EXP-01": {
      "result": "SKIP",
      "applicability": "optional",
      "notes": "expert_reviewed=false"
    }
  },
  "tests": {
    "golden": {
      "passed": 5,
      "total": 5,
      "failed": 0,
      "case_ids": [
        "g-cbrt-8",
        "g-sqrt-100",
        "g-4th-16",
        "g-cbrt-neg8",
        "g-n1-42"
      ]
    },
    "boundary": {
      "passed": 14,
      "total": 14,
      "failed": 0,
      "case_ids": [
        "even-neg",
        "fourth-neg",
        "frac-n",
        "n-zero",
        "empty-a",
        "n-negative",
        "n-unsafe",
        "frac-neg",
        "a-object",
        "n-array",
        "n-boolean",
        "a-infinity",
        "a-abc",
        "boundary-root-even-neg"
      ]
    },
    "invalid": {
      "passed": 17,
      "total": 17,
      "failed": 0,
      "case_ids": [
        "even-neg",
        "fourth-neg",
        "frac-n",
        "n-zero",
        "empty-a",
        "n-negative",
        "n-unsafe",
        "frac-neg",
        "a-object",
        "n-array",
        "n-boolean",
        "a-infinity",
        "a-abc",
        "boundary-root-even-neg",
        "g-even-neg",
        "g-invalid-n",
        "g-unsafe-n"
      ],
      "comparison": "exact_error_match",
      "records": [
        {
          "id": "g-even-neg",
          "comparison": "exact_error_match",
          "expected": {
            "code": "NOT_REAL"
          },
          "actual": {
            "code": "NOT_REAL"
          },
          "match": true
        },
        {
          "id": "g-invalid-n",
          "comparison": "exact_error_match",
          "expected": {
            "code": "INVALID_INDEX"
          },
          "actual": {
            "code": "INVALID_INDEX"
          },
          "match": true
        },
        {
          "id": "g-unsafe-n",
          "comparison": "exact_error_match",
          "expected": {
            "code": "INVALID_INDEX"
          },
          "actual": {
            "code": "INVALID_INDEX"
          },
          "match": true
        }
      ]
    },
    "property": {
      "passed": 4,
      "total": 4,
      "failed": 0,
      "case_ids": [
        "prop-cbrt-8",
        "prop-sqrt-100",
        "prop-odd-neg",
        "prop-n1"
      ],
      "definition_ids": [
        "principal-real",
        "odd-negative-real",
        "identity-index"
      ]
    },
    "round_trip": {
      "passed": 3,
      "total": 3,
      "failed": 0,
      "case_ids": [
        "rt-cbrt-8",
        "rt-sqrt-100",
        "rt-4th-16"
      ]
    },
    "metamorphic": {
      "passed": 2,
      "total": 2,
      "failed": 0,
      "case_ids": [
        "meta-cube-scale",
        "meta-sq-scale"
      ],
      "definition_ids": [
        "root-nth-power"
      ]
    },
    "contract": {
      "passed": 1,
      "total": 1,
      "failed": 0
    },
    "cross_interface": {
      "passed": 1,
      "total": 1,
      "failed": 0,
      "case_ids": [
        "iface-root"
      ]
    },
    "cross_calculator": {
      "passed": 5,
      "total": 5,
      "failed": 0,
      "case_ids": [
        "xcal-sqrt-9",
        "xcal-sqrt-2",
        "xcal-sqrt-0",
        "xcal-exp-8-3",
        "xcal-sqrt-neg-distinct"
      ]
    },
    "ui_integration": {
      "passed": 4,
      "total": 4,
      "failed": 0,
      "case_ids": [
        "ui-root-cbrt-8",
        "ui-root-sqrt-100",
        "ui-root-4th-16",
        "ui-root-cbrt-27"
      ]
    },
    "o3": {
      "passed": 19,
      "total": 19,
      "failed": 0,
      "case_ids": [
        "o3-root-42-1",
        "o3-root-100-2",
        "o3-root-2-2",
        "o3-root-tiny-2",
        "o3-root-huge-2",
        "o3-root-8-3",
        "o3-root-27-3",
        "o3-root-neg8-3",
        "o3-root-neg27-3",
        "o3-root-tiny-3",
        "o3-root-huge-3",
        "o3-root-16-4",
        "o3-root-32-5",
        "o3-root-1-7",
        "o3-root-neg32-5",
        "o3-root-15-8",
        "o3-root-maxsafe-n",
        "o3-root-tiny-5",
        "o3-root-huge-5"
      ],
      "generator_id": "root-mpmath-o3",
      "seed": "20260909",
      "table_sha256": "d0c85277acd014046ec073aca6650c34eedfa2ec3a205af9af4a7ecb6506f324",
      "max_error_ulp": 55,
      "reproduce": "python3 generate-root-o3.py",
      "table_url": "/developers/cvp/reproduce/root-o3-tables.json",
      "generator_url": "/developers/cvp/reproduce/generate-root-o3.py",
      "claim_scope": "Path-specific ULP vs O3 applies only to the 19 published tabulated vectors: identity n=1 (0 ULP); Math.sqrt including tiny/huge (≤2); Math.cbrt including odd-negative and tiny/huge (≤2); moderate Math.pow including odd-negative, ⁸√15, and max safe n (≤2); extreme Math.pow at |a|=1e±300 (≤64). It is not a whole-domain guarantee. Even roots of a<0 and illegal n are contract errors (NOT_REAL / INVALID_INDEX), not ULP claims.",
      "reproduce_url": "https://www.calculatorx.com/evidence/math.root/reproduce"
    }
  },
  "coverage": {
    "partitions": [
      {
        "id": "sqrt-path",
        "description": "n=2, a≥0 — IUT Math.sqrt",
        "exercised": true,
        "case_count": 10
      },
      {
        "id": "cbrt-path",
        "description": "n=3 — IUT Math.cbrt",
        "exercised": true,
        "case_count": 14
      },
      {
        "id": "pow-path",
        "description": "n≥4 — IUT Math.pow",
        "exercised": true,
        "case_count": 14
      },
      {
        "id": "identity-n1",
        "description": "n=1 identity map",
        "exercised": true,
        "case_count": 4
      },
      {
        "id": "odd-negative",
        "description": "Odd n, a<0 real branch",
        "exercised": true,
        "case_count": 6
      },
      {
        "id": "invalid-domain",
        "description": "INVALID_INDEX / NOT_REAL",
        "exercised": true,
        "case_count": 17
      },
      {
        "id": "xcal",
        "description": "Cross-calculator vs Square Root (n=2 agree; even-negative is a documented contract split) and Exponent round-trip",
        "exercised": true,
        "case_count": 5
      }
    ]
  },
  "numerical": {
    "representation": "IEEE-754 binary64 principal nth root",
    "tolerance": {
      "type": "ulp",
      "value": 2,
      "rationale": "Path-specific a-priori ULP vs O3 tabulated vectors: identity 0; Math.sqrt / Math.cbrt / moderate Math.pow ≤2; extreme Math.pow (|log10(|a|)|≥100) ≤64. Not a whole-domain guarantee.",
      "declared_before_evaluation": true,
      "by_iut_path": {
        "identity": {
          "id": "identity",
          "value": 0,
          "rationale": "n=1 is the identity map b=a; exact binary64, 0 ULP."
        },
        "sqrt": {
          "id": "sqrt",
          "value": 2,
          "rationale": "IUT uses Math.sqrt (IEEE-754 recommended correctly rounded in V8). CVP claim is ≤2 ULP vs O3 tabulated vectors, not a whole-domain proof."
        },
        "cbrt": {
          "id": "cbrt",
          "value": 2,
          "rationale": "IUT uses Math.cbrt, which is implementation-approximated and not correctly rounded. CVP claim is ≤2 ULP vs O3 tabulated vectors (including odd-negative)."
        },
        "pow": {
          "id": "pow",
          "value": 2,
          "rationale": "IUT uses Math.pow(a,1/n) or the signed odd branch −(−a)**(1/n). Neither is correctly rounded. CVP claim is ≤2 ULP vs moderate tabulated vectors."
        },
        "pow_extreme": {
          "id": "pow_extreme",
          "value": 64,
          "rationale": "IUT Math.pow at extreme binary64 magnitudes (|log10(|a|)|≥100, e.g. 1e±300) is not correctly rounded; libm pow is commonly tens of ULPs. Tabulated claim is ≤64 ULP for those published extreme vectors only."
        }
      }
    },
    "legacy_regression_notes": "Legacy Evidence JSON may record case-level tol (e.g. 1e-8). That is a regression epsilon, not the CVP ≤2 ULP acceptance policy. CVP records list reference, actual, error_ulp, and the a-priori ULP threshold.",
    "claim_scope": "Path-specific ULP vs O3 applies only to the 19 published tabulated vectors: identity n=1 (0 ULP); Math.sqrt including tiny/huge (≤2); Math.cbrt including odd-negative and tiny/huge (≤2); moderate Math.pow including odd-negative, ⁸√15, and max safe n (≤2); extreme Math.pow at |a|=1e±300 (≤64). It is not a whole-domain guarantee. Even roots of a<0 and illegal n are contract errors (NOT_REAL / INVALID_INDEX), not ULP claims.",
    "max_error_observed": 55,
    "records": [
      {
        "id": "g-cbrt-8",
        "reference": 2,
        "actual": 2,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "cbrt"
      },
      {
        "id": "g-sqrt-100",
        "reference": 10,
        "actual": 10,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "sqrt"
      },
      {
        "id": "g-4th-16",
        "reference": 2,
        "actual": 2,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "pow"
      },
      {
        "id": "g-cbrt-neg8",
        "reference": -2,
        "actual": -2,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "cbrt"
      },
      {
        "id": "g-n1-42",
        "reference": 42,
        "actual": 42,
        "error_ulp": 0,
        "threshold_ulp": 0,
        "iut_path": "identity"
      },
      {
        "id": "o3-root-42-1",
        "reference": 42,
        "actual": 42,
        "error_ulp": 0,
        "threshold_ulp": 0,
        "iut_path": "identity"
      },
      {
        "id": "o3-root-100-2",
        "reference": 10,
        "actual": 10,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "sqrt"
      },
      {
        "id": "o3-root-2-2",
        "reference": 1.4142135623730951,
        "actual": 1.4142135623730951,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "sqrt"
      },
      {
        "id": "o3-root-tiny-2",
        "reference": 1e-150,
        "actual": 1e-150,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "sqrt"
      },
      {
        "id": "o3-root-huge-2",
        "reference": 1e+150,
        "actual": 1e+150,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "sqrt"
      },
      {
        "id": "o3-root-8-3",
        "reference": 2,
        "actual": 2,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "cbrt"
      },
      {
        "id": "o3-root-27-3",
        "reference": 3,
        "actual": 3,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "cbrt"
      },
      {
        "id": "o3-root-neg8-3",
        "reference": -2,
        "actual": -2,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "cbrt"
      },
      {
        "id": "o3-root-neg27-3",
        "reference": -3,
        "actual": -3,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "cbrt"
      },
      {
        "id": "o3-root-tiny-3",
        "reference": 1e-100,
        "actual": 1e-100,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "cbrt"
      },
      {
        "id": "o3-root-huge-3",
        "reference": 1e+100,
        "actual": 1e+100,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "cbrt"
      },
      {
        "id": "o3-root-16-4",
        "reference": 2,
        "actual": 2,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "pow"
      },
      {
        "id": "o3-root-32-5",
        "reference": 2,
        "actual": 2,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "pow"
      },
      {
        "id": "o3-root-1-7",
        "reference": 1,
        "actual": 1,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "pow"
      },
      {
        "id": "o3-root-neg32-5",
        "reference": -2,
        "actual": -2,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "pow"
      },
      {
        "id": "o3-root-15-8",
        "reference": 1.402850552006674,
        "actual": 1.402850552006674,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "pow"
      },
      {
        "id": "o3-root-maxsafe-n",
        "reference": 1.0000000000000002,
        "actual": 1.0000000000000002,
        "error_ulp": 0,
        "threshold_ulp": 2,
        "iut_path": "pow"
      },
      {
        "id": "o3-root-tiny-5",
        "reference": 1e-60,
        "actual": 9.999999999999924e-61,
        "error_ulp": 55,
        "threshold_ulp": 64,
        "iut_path": "pow_extreme"
      },
      {
        "id": "o3-root-huge-5",
        "reference": 1e+60,
        "actual": 1.0000000000000076e+60,
        "error_ulp": 43,
        "threshold_ulp": 64,
        "iut_path": "pow_extreme"
      }
    ]
  },
  "interfaces": {
    "compared": [
      "ui-ssr",
      "rest",
      "mcp",
      "ui-url-result-graph"
    ],
    "result": "PASS",
    "notes": "UI (SSR) · REST · MCP equivalent (MCP uses calc API handler). Success 1/1. Integration: URL → SSR result → Live graph current point (4/4). Hydration/slider/history are URL-canonical contracts, not a live browser session."
  },
  "artifacts": {
    "evidence_bundle_sha256": "f8c81bc8cf6dc77d2965d37589e35c740c1708bf3e19a08abbe717f48507cd39",
    "evidence_digest": "a3f7a7bfcb9569023fcd48b53688d39a37a52f7d3d7c356304cf14261efe9c7a",
    "production_sha256": "9424f31d3ca937ec4a453e41479201945df6495214f0a220ebb742e7fd1c3f20",
    "attested_catalog_sha256": "e03ef81b30568018b171fd1fc4757c2abe9df7220d9ff35bbaf08038d7630cdb",
    "production_checks": [
      {
        "id": "math.root:output-const",
        "status": "pass",
        "detail": "output const 1.0.5 vs capability 1.0.5",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-10T02:52:51.379Z"
      },
      {
        "id": "math.root:evidence-sha256",
        "status": "pass",
        "detail": "7e9760fbd998",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-10T02:52:51.379Z"
      },
      {
        "id": "math.root:semantic-contract",
        "status": "pass",
        "detail": "24/24",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-10T02:52:51.379Z"
      },
      {
        "id": "math.root:capability-html-public-origin-agree",
        "status": "pass",
        "detail": "public 1.0.5 vs origin 1.0.5",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-10T02:52:51.379Z"
      },
      {
        "id": "math.root:cvp-manifest-public-origin-agree",
        "status": "pass",
        "detail": "math.root/1.0.5/2026-09-09.root-cvp/core/a3f7a7bfcb95",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-10T02:52:51.379Z",
        "projection_compared": false,
        "observed_live_projection_at_attestation": "VERIFIED"
      },
      {
        "id": "math.root:cvp-reproduce-manifest-agree",
        "status": "pass",
        "detail": "2026-09-09.root-cvp · d0c85277acd0",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-10T02:52:51.379Z"
      },
      {
        "id": "math.root:calculator-html-cvp-projection",
        "status": "pass",
        "detail": "matches Manifest",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-10T02:52:51.379Z"
      },
      {
        "id": "math.root:evidence-html-cvp-projection",
        "status": "pass",
        "detail": "matches Manifest",
        "scope": "last_attestation_snapshot",
        "current": true,
        "attestation_binding_current": true,
        "attested_at": "2026-09-10T02:52:51.379Z"
      }
    ]
  },
  "dependencies": [
    {
      "name": "root-engine",
      "version": "1.0.5"
    },
    {
      "name": "root-reference-oracle",
      "version": "1.0.0"
    },
    {
      "name": "root-mpmath-o3-table",
      "version": "root-mpmath-o3"
    },
    {
      "name": "math.square_root",
      "version": "1.0.3",
      "role": "cross_calculator_peer",
      "capability_id": "math.square_root",
      "evidence_digest": "aa716638904c2f4318eb2a1f94a014b2c0d47bd5e5289bd814fb6d7c0fefd355",
      "evidence": "https://www.calculatorx.com/evidence/math.square_root/1.0.3.cvp.json"
    },
    {
      "name": "math.exponent",
      "version": "1.0.4",
      "role": "cross_calculator_peer",
      "capability_id": "math.exponent",
      "evidence_digest": "e5bdc1674386f1b25faf08a12ebed7e947862cc02ab3cba50f34de53b23ca1bf",
      "evidence": "https://www.calculatorx.com/evidence/math.exponent/1.0.4.cvp.json"
    },
    {
      "name": "node",
      "version": "20.19.2"
    }
  ],
  "attestation": {
    "status": "CURRENT",
    "href": "/.well-known/calculatorx-production-attestation.json",
    "id": "00c818a77ba026c2d6aa3f7402680cd2dac2a40a816209600bc3c3fcd0b8921c",
    "attested_at": "2026-09-10T02:52:51.379Z"
  },
  "domain_review": {
    "status": "ABSENT",
    "spec_version": "1.0.5"
  },
  "timestamps": {
    "verified_at": "2026-09-10T03:41:49.713Z",
    "generated_at": "2026-09-10T03:41:49.713Z"
  },
  "links": {
    "legacy_evidence": "https://www.calculatorx.com/evidence/math.root/1.0.5.json",
    "evidence_page": "https://www.calculatorx.com/evidence/math.root/1.0.5",
    "calculator": "https://www.calculatorx.com/calc/math/root",
    "schema": "https://www.calculatorx.com/developers/cvp/schema/cvp-evidence-1.0.json",
    "protocol": "https://www.calculatorx.com/developers/cvp/spec/1.0",
    "manifest": "https://www.calculatorx.com/evidence/math.root/1.0.5.cvp.json",
    "manifest_immutable": "https://www.calculatorx.com/evidence/math.root/1.0.5/2026-09-09.root-cvp.cvp.json",
    "reproduce": "https://www.calculatorx.com/evidence/math.root/reproduce",
    "o3_table": "https://www.calculatorx.com/developers/cvp/reproduce/root-o3-tables.json",
    "o3_generator": "https://www.calculatorx.com/developers/cvp/reproduce/generate-root-o3.py"
  }
}