{ "protocol": { "name": "CVP", "version": "1.0.0-proposed", "revision": "2026-09-13", "spec_sha256": "f62725968356c92930531cd6085db76e216da06e95be53d636b0d2cf3218b148", "spec": "https://www.calculatorx.com/developers/cvp/spec/1.0" }, "document_status": "proposed", "calculator": { "id": "arcsin", "version": "1.0.6", "title": "Arcsine Calculator", "formula_family": "arcsin", "capability_id": "math.arcsin", "verification_revision": "2026-10-13.inverse-angle-dual-field" }, "profile": "core", "status": "VERIFIED", "verification_status": "VERIFIED", "production_freshness": "CURRENT", "overall_trust": "VERIFIED", "runner": { "name": "cvp-runner", "version": "1.0.0" }, "environment": { "runtime": "node", "runtime_version": "22.20.0", "numeric_model": "IEEE-754 binary64", "os": "darwin" }, "suite": { "id": "arcsin", "version": "1.0.6", "uri": "https://www.calculatorx.com/evidence/math.arcsin/1.0.6.json", "verification_revision": "2026-10-13.inverse-angle-dual-field" }, "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-DIM-01", "CVP-PROP-01", "CVP-META-01", "CVP-ROUND-01", "CVP-IFACE-01" ], "provenance": { "mode": "direct", "sources": [ { "label": "NIST Digital Library of Mathematical Functions, Chapter 4", "kind": "other", "reference": "Elementary Functions", "url": "https://dlmf.nist.gov/4" }, { "label": "NIST DLMF §4.23", "kind": "other", "reference": "Inverse trigonometric functions; principal values", "url": "https://dlmf.nist.gov/4.23" }, { "label": "CalculatorX mathematical conventions", "kind": "other", "reference": "Principal branch; exact-value recognition; triangle mode is UI-only" } ] }, "reference": { "items": [ { "class": "O1", "reference_scope": "model", "scope": "model", "label": "Principal inverse sine (NIST DLMF §4.23)" }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Independent actual-input tiny arcsin, mpmath 200/300 dps agreement 1e-190", "engine": { "name": "mpmath tiny inverse-angle", "precision_bits": 664, "independent_of_iut": true, "same_runtime_as_iut": false, "backend": "python" } }, { "class": "O3", "reference_scope": "expected_values", "scope": "expected_values", "label": "Precomputed mpmath 1.4.1 asin (80 dps, python backend, round-to-nearest-binary64) — not Node Math.*", "engine": { "name": "asin-mpmath-o3", "precision_bits": 265, "independent_of_iut": true, "library": "mpmath 1.4.1", "mpmath_dps": 80, "rounding": "round-to-nearest-binary64", "backend": "python", "generator_version": "1.0.0", "generator_sha256": "3453ec60bd03738a1f1f3723baed7e617ff49466452efab1844fe68b8f654cea", "table_sha256": "efdad939a92a67df1f3995db36c52bb87f428a59fc73568f789c02540f4372ee", "seed": "20260907", "source": "https://www.calculatorx.com/developers/cvp/reproduce/math-o3-tables.json", "public_table": "/developers/cvp/reproduce/math-o3-tables.json", "public_generator": "/developers/cvp/reproduce/generate-math-o3.py", "public_checker": "/developers/cvp/reproduce/check-math-o3-rest.py" } }, { "class": "O3", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O3 table vs IUT deg; ≤2 ULP on tabulated vectors only, not the whole domain. Distinct from legacy Evidence case-level tol.", "engine": { "name": "asin-mpmath-o3", "precision_bits": 265, "independent_of_iut": true, "library": "mpmath 1.4.1", "mpmath_dps": 80, "rounding": "round-to-nearest-binary64", "backend": "python", "generator_version": "1.0.0", "generator_sha256": "3453ec60bd03738a1f1f3723baed7e617ff49466452efab1844fe68b8f654cea", "table_sha256": "efdad939a92a67df1f3995db36c52bb87f428a59fc73568f789c02540f4372ee", "seed": "20260907", "source": "https://www.calculatorx.com/developers/cvp/reproduce/math-o3-tables.json", "public_table": "/developers/cvp/reproduce/math-o3-tables.json", "public_generator": "/developers/cvp/reproduce/generate-math-o3.py", "public_checker": "/developers/cvp/reproduce/check-math-o3-rest.py" } }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module arcsin oracle — independent Math.asin + snap", "engine": { "name": "arcsin-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 module backs ≤2 ULP deg comparison vs IUT", "engine": { "name": "arcsin-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } } ], "notes": "Golden expected values prefer an O3 mpmath table (historical backend is not inferred) (independent of Node Math.asin). O2 is a live oracle for identities and shares V8 binary64 with the IUT." }, "controls": { "CVP-PROV-01": { "result": "PASS", "applicability": "required", "notes": "Sources present on evidence" }, "CVP-MODEL-01": { "result": "PASS", "applicability": "required", "notes": "principal arcsin(x) on [−π/2, π/2]" }, "CVP-SCOPE-01": { "result": "PASS", "applicability": "required", "notes": "x ∈ [−1, 1]; principal range [−90°, 90°]; nonzero canonical tiny deg/rad retained. Tabulated checks are not whole-domain assurance." }, "CVP-UNIT-01": { "result": "PASS", "applicability": "required", "notes": "dimensionless x → angle out (deg and rad)" }, "CVP-REF-01": { "result": "PASS", "applicability": "required", "notes": "O1 model + O3 expected_values/numerical_behavior (mpmath table) + O2 live identities" }, "CVP-GOLD-01": { "result": "PASS", "applicability": "required", "notes": "6/6 legacy golden; 12/12 oracle-backed numeric" }, "CVP-BND-01": { "result": "PASS", "applicability": "required", "notes": "5/5 CVP boundary · 5/5 legacy Evidence boundary" }, "CVP-INV-01": { "result": "PASS", "applicability": "required", "notes": "5 invalid-domain cases" }, "CVP-NUM-01": { "result": "PASS", "applicability": "required", "notes": "CVP ≤2 ULP vs O3 when tabulated; legacy Evidence `tol` is not this policy" }, "CVP-COV-01": { "result": "PASS", "applicability": "required", "notes": "2/2 declared partitions (arcsin, invalid-domain) · 6 legacy golden / 5 CVP boundary unique cases · 5 Evidence invalid-input (may overlap boundary)" }, "CVP-CONTRACT-01": { "result": "PASS", "applicability": "required", "notes": "5/5 CVP contract · release-artifacts-aligned=PASS · schema-output-required-declared=PASS · schema-valid-input-executes=PASS · engine-success-output-validates-schema=PASS · rest-success-payload-validates-schema=PASS" }, "CVP-DEP-01": { "result": "PASS", "applicability": "required", "notes": "engine arcsin; Node binary64" }, "CVP-ART-01": { "result": "PASS", "applicability": "required", "notes": "release_integrity.status=verified · digests: artifact_evidence_sha256=Evidence core (Trust freshness) · cvp_evidence_digest=artifacts.evidence_digest (fingerprint v2) · evidence_bundle_sha256=legacy Evidence JSON bytes · evidence_catalog_digest=attested_catalog_sha256 · production_sha256=bound production report · see artifacts.digest_registry" }, "CVP-PROD-01": { "result": "PASS", "applicability": "required", "notes": "this calculator CURRENT · bound snapshot pass @ 2026-10-13T09:44:14.989Z · live site-wide report stale @ 2026-10-13T09:44:37.663Z (20 other capabilities) · local checks pass · attestation_id=791a7e77ad1162029d35e7954ae29a482e2dfaa49ee44dc28716333e8e1e7ae6 · This calculator CURRENT · This calculator is not affected · Bound attestation PASS @ 2026-10-13T09:44:14.989Z · Live production status STALE (20 capabilities; 356 remain CURRENT) @ 2026-10-13T09:44:37.663Z · Public schema 1.0.6 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓ · schema_const=1.0.6 · report output-const=pass · evidence-sha256=pass · semantic-contract=pass · capability-html-public-origin-agree=pass · cvp-manifest-public-origin-agree=pass · cvp-latest-alias-agrees=pass · cvp-immutable-manifest-fetch=pass · cvp-immutable-manifest-sha256=pass · cvp-latest-alias-matches-immutable=pass · calculator-html-cvp-projection=pass · evidence-html-cvp-projection=pass · attested_evidence_sha256=5bf309227321d70df5fa56834ed00961a3b8648c53cc4f030c9937ef1f65f879 · verified_at=2026-10-12T23:47:13.837Z · evidence_attested_at=2026-10-12T23:47:13.837Z · last_confirmed_current_at=2026-10-13T09:44:14.989Z · rendered_at=2026-10-13T09:44:37.940Z · binds=cvp_core_sha256", "check_result": "PASS", "production_state": "CURRENT", "binding_current": true }, "CVP-DIM-01": { "result": "PASS", "applicability": "applicable", "notes": "dimensionless x → angle (deg/rad)" }, "CVP-PROP-01": { "result": "PASS", "applicability": "applicable", "notes": "5/5 property" }, "CVP-META-01": { "result": "PASS", "applicability": "applicable", "notes": "3/3 metamorphic" }, "CVP-ROUND-01": { "result": "PASS", "applicability": "applicable", "notes": "5/5 round-trips" }, "CVP-XCAL-01": { "result": "SKIP", "applicability": "not_applicable", "notes": "No related calculator in the same formula family / no related-identity peers declared — control not in obligation set" }, "CVP-IFACE-01": { "result": "PASS", "applicability": "applicable", "notes": "UI (SSR) · REST · MCP equivalent (MCP uses calc API handler). Success 25/25. Error-path engine·REST·MCP 4/4 (status, code, calculation_version). SSR compared on URL-canonical requested calculations; empty query is idle (not an error) and JSON-typed object/array inputs are REST/MCP-only. 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" }, "CVP-EXP-01": { "result": "SKIP", "applicability": "optional", "notes": "named expert review not performed" } }, "tests": { "golden": { "passed": 12, "total": 12, "failed": 0, "case_ids": [ "g-asin-half", "g-asin-zero", "g-asin-one", "g-asin-neg-one", "g-asin-no-snap", "g-asin-near-one", "tiny-asin-0", "tiny-asin-1", "tiny-asin-2", "tiny-asin-3", "tiny-asin-4", "tiny-asin-5" ] }, "boundary": { "passed": 5, "total": 5, "failed": 0, "case_ids": [ "out-of-domain", "neg-out-of-domain", "missing-x", "x-abc", "x-object" ] }, "invalid": { "passed": 5, "total": 5, "failed": 0, "case_ids": [ "out-of-domain", "neg-out-of-domain", "missing-x", "x-abc", "x-object" ] }, "property": { "passed": 5, "total": 5, "failed": 0, "case_ids": [ "prop-range-half", "prop-range-one", "prop-range-neg-one", "prop-range-no-snap", "prop-increasing" ], "definition_ids": [ "principal-range", "strictly-increasing" ] }, "round_trip": { "passed": 5, "total": 5, "failed": 0, "case_ids": [ "rt-half", "rt-zero", "rt-neg-half", "rt-no-snap", "rt-one" ] }, "metamorphic": { "passed": 3, "total": 3, "failed": 0, "case_ids": [ "meta-odd-half", "meta-odd-no-snap", "meta-odd-quarter" ], "definition_ids": [ "arcsin-odd" ] }, "contract": { "passed": 5, "total": 5, "failed": 0 }, "cross_interface": { "passed": 29, "total": 29, "failed": 0, "case_ids": [ "iface-angle-0", "iface-angle-1", "iface-angle-2", "iface-angle-3", "iface-angle-4", "iface-angle-5", "iface-angle-6", "iface-angle-7", "iface-angle-8", "iface-angle-9", "iface-angle-10", "iface-angle-11", "iface-angle-12", "iface-angle-13", "iface-angle-14", "iface-angle-15", "iface-angle-16", "iface-angle-17", "iface-angle-18", "iface-angle-19", "iface-angle-20", "iface-angle-21", "iface-angle-22", "iface-angle-23", "iface-angle-24", "iface-err-out-of-domain", "iface-err-neg-out-of-domain", "iface-err-x-abc", "iface-err-x-object" ] }, "ui_integration": { "passed": 4, "total": 4, "failed": 0, "case_ids": [ "ui-asin-half", "ui-asin-no-snap", "ui-asin-neg-one", "ui-asin-generic" ] }, "o3": { "passed": 19, "total": 19, "failed": 0, "case_ids": [ "o3-asin-neg-one", "o3-asin-one", "o3-asin-zero", "o3-asin-half", "o3-asin-neg-half", "o3-asin-sqrt2-2", "o3-asin-neg-sqrt2-2", "o3-asin-no-snap", "o3-asin-near-one", "o3-asin-near-neg-one", "o3-asin-quarter", "o3-asin-rand-00", "o3-asin-rand-01", "o3-asin-rand-02", "o3-asin-rand-03", "o3-asin-rand-04", "o3-asin-rand-05", "o3-asin-rand-06", "o3-asin-rand-07" ], "generator_id": "math-mpmath-o3", "seed": "20260907", "max_error_ulp": 1 } }, "coverage": { "partitions": [ { "id": "arcsin", "description": "arcsin(x) in [−1, 1]", "exercised": true, "case_count": 50 }, { "id": "invalid-domain", "description": "Invalid inputs", "exercised": true, "case_count": 5 } ] }, "numerical": { "representation": "IEEE-754 binary64 Math.asin with textbook snap", "tolerance": { "type": "ulp", "value": 2, "rationale": "Independent reference vs IUT; ≤2 ULP on both deg and rad. Declared a priori; scoped tables, including tiny probes, are not full-domain assurance.", "declared_before_evaluation": true }, "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.", "max_error_observed": 1, "records": [ { "id": "g-asin-half", "reference": 30, "actual": 30, "error_ulp": 1, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 1 } }, "suite": "golden" }, { "id": "g-asin-zero", "reference": 0, "actual": 0, "error_ulp": 0, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "golden" }, { "id": "g-asin-one", "reference": 90, "actual": 90, "error_ulp": 0, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "golden" }, { "id": "g-asin-neg-one", "reference": -90, "actual": -90, "error_ulp": 0, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "golden" }, { "id": "g-asin-no-snap", "reference": 30.000000059543517, "actual": 30.00000005954352, "error_ulp": 1, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 1 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "golden" }, { "id": "g-asin-near-one", "reference": 89.99992272523073, "actual": 89.99992272523075, "error_ulp": 1, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 1 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "golden" }, { "id": "tiny-asin-0", "reference": 5.729577951308232e-19, "actual": 5.729577951308233e-19, "error_ulp": 1, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 1 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "golden" }, { "id": "tiny-asin-1", "reference": -5.729577951308232e-19, "actual": -5.729577951308233e-19, "error_ulp": 1, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 1 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "golden" }, { "id": "tiny-asin-2", "reference": 5.729577951308232e-15, "actual": 5.729577951308232e-15, "error_ulp": 0, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "golden" }, { "id": "tiny-asin-3", "reference": -5.729577951308232e-15, "actual": -5.729577951308232e-15, "error_ulp": 0, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "golden" }, { "id": "tiny-asin-4", "reference": 5.729577951308232e-13, "actual": 5.729577951308232e-13, "error_ulp": 0, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "golden" }, { "id": "tiny-asin-5", "reference": -5.729577951308232e-13, "actual": -5.729577951308232e-13, "error_ulp": 0, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "golden" }, { "id": "rt-half", "reference": 30, "actual": 30, "error_ulp": 1, "threshold_ulp": 2, "suite": "round-trip", "hops": { "forward": { "reference": { "deg": 30, "rad": 0.5235987755982989, "exact": true }, "actual": { "deg": 30, "rad": 0.5235987755982988, "verification": { "expression": "sin(result)", "value": 0.49999999999999994, "passed": true }, "exact": true }, "error_ulp": 1 }, "reverse": { "reference": 0.5, "actual": 0.5, "error_ulp": 0 } } }, { "id": "rt-zero", "reference": 0, "actual": 0, "error_ulp": 0, "threshold_ulp": 2, "suite": "round-trip", "hops": { "forward": { "reference": { "deg": 0, "rad": 0, "exact": true }, "actual": { "deg": 0, "rad": 0, "verification": { "expression": "sin(result)", "value": 0, "passed": true }, "exact": true }, "error_ulp": 0 }, "reverse": { "reference": 0, "actual": 0, "error_ulp": 0 } } }, { "id": "rt-neg-half", "reference": -30, "actual": -30, "error_ulp": 1, "threshold_ulp": 2, "suite": "round-trip", "hops": { "forward": { "reference": { "deg": -30, "rad": -0.5235987755982989, "exact": true }, "actual": { "deg": -30, "rad": -0.5235987755982988, "verification": { "expression": "sin(result)", "value": -0.49999999999999994, "passed": true }, "exact": true }, "error_ulp": 1 }, "reverse": { "reference": -0.5, "actual": -0.5, "error_ulp": 0 } } }, { "id": "rt-no-snap", "reference": 30.000000059543517, "actual": 30.00000005954352, "error_ulp": 1, "threshold_ulp": 2, "suite": "round-trip", "hops": { "forward": { "reference": { "deg": 30.000000059543517, "rad": 0.5235987766375293, "exact": false }, "actual": { "deg": 30.00000005954352, "rad": 0.5235987766375293, "verification": { "expression": "sin(result)", "value": 0.5000000009, "passed": true }, "hint": { "x": 0.5, "deg": 30, "rad": 0.5235987755982988 } }, "error_ulp": 1 }, "reverse": { "reference": 0.5000000009, "actual": 0.5000000009, "error_ulp": 0 } } }, { "id": "rt-one", "reference": 90, "actual": 90, "error_ulp": 0, "threshold_ulp": 2, "suite": "round-trip", "hops": { "forward": { "reference": { "deg": 90, "rad": 1.5707963267948966, "exact": true }, "actual": { "deg": 90, "rad": 1.5707963267948966, "verification": { "expression": "sin(result)", "value": 1, "passed": true }, "exact": true }, "error_ulp": 0 }, "reverse": { "reference": 1, "actual": 1, "error_ulp": 0 } } }, { "id": "meta-odd-half", "reference": -1, "actual": -1, "error_ulp": 1, "threshold_ulp": 2, "suite": "metamorphic", "hops": { "base": { "reference": { "deg": 30, "rad": 0.5235987755982989, "exact": true }, "actual": { "deg": 30, "rad": 0.5235987755982988, "verification": { "expression": "sin(result)", "value": 0.49999999999999994, "passed": true }, "exact": true }, "error_ulp": 1 }, "follow": { "reference": { "deg": -30, "rad": -0.5235987755982989, "exact": true }, "actual": { "deg": -30, "rad": -0.5235987755982988, "verification": { "expression": "sin(result)", "value": -0.49999999999999994, "passed": true }, "exact": true }, "error_ulp": 1 }, "relation": { "reference": -1, "actual": -1, "error_ulp": 0 } } }, { "id": "meta-odd-no-snap", "reference": -1.0000000000000002, "actual": -1, "error_ulp": 1, "threshold_ulp": 2, "suite": "metamorphic", "hops": { "base": { "reference": { "deg": 30.000000059543517, "rad": 0.5235987766375293, "exact": false }, "actual": { "deg": 30.00000005954352, "rad": 0.5235987766375293, "verification": { "expression": "sin(result)", "value": 0.5000000009, "passed": true }, "hint": { "x": 0.5, "deg": 30, "rad": 0.5235987755982988 } }, "error_ulp": 1 }, "follow": { "reference": { "deg": -30.00000005954352, "rad": -0.5235987766375293 }, "actual": { "deg": -30.00000005954352, "rad": -0.5235987766375293, "verification": { "expression": "sin(result)", "value": -0.5000000009, "passed": true }, "hint": { "x": -0.5, "deg": -30, "rad": -0.5235987755982988 } }, "error_ulp": 0 }, "relation": { "reference": -1.0000000000000002, "actual": -1, "error_ulp": 1 } } }, { "id": "meta-odd-quarter", "reference": -0.9999999999999999, "actual": -1, "error_ulp": 1, "threshold_ulp": 2, "suite": "metamorphic", "hops": { "base": { "reference": { "deg": 14.477512185929925, "rad": 0.25268025514207865, "exact": false }, "actual": { "deg": 14.477512185929923, "rad": 0.25268025514207865, "verification": { "expression": "sin(result)", "value": 0.25, "passed": true } }, "error_ulp": 1 }, "follow": { "reference": { "deg": -14.477512185929923, "rad": -0.25268025514207865 }, "actual": { "deg": -14.477512185929923, "rad": -0.25268025514207865, "verification": { "expression": "sin(result)", "value": -0.25, "passed": true } }, "error_ulp": 0 }, "relation": { "reference": -0.9999999999999999, "actual": -1, "error_ulp": 1 } } }, { "id": "o3-asin-neg-one", "reference": -90, "actual": -90, "error_ulp": 0, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "o3" }, { "id": "o3-asin-one", "reference": 90, "actual": 90, "error_ulp": 0, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "o3" }, { "id": "o3-asin-zero", "reference": 0, "actual": 0, "error_ulp": 0, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "o3" }, { "id": "o3-asin-half", "reference": 30, "actual": 30, "error_ulp": 1, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 1 } }, "suite": "o3" }, { "id": "o3-asin-neg-half", "reference": -30, "actual": -30, "error_ulp": 1, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 1 } }, "suite": "o3" }, { "id": "o3-asin-sqrt2-2", "reference": 45.00000000000001, "actual": 45, "error_ulp": 1, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 1 }, "rad": { "ok": true, "error_ulp": 1 } }, "suite": "o3" }, { "id": "o3-asin-neg-sqrt2-2", "reference": -45.00000000000001, "actual": -45, "error_ulp": 1, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 1 }, "rad": { "ok": true, "error_ulp": 1 } }, "suite": "o3" }, { "id": "o3-asin-no-snap", "reference": 30.000000059543517, "actual": 30.00000005954352, "error_ulp": 1, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 1 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "o3" }, { "id": "o3-asin-near-one", "reference": 89.99992272523073, "actual": 89.99992272523075, "error_ulp": 1, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 1 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "o3" }, { "id": "o3-asin-near-neg-one", "reference": -89.99992272523073, "actual": -89.99992272523075, "error_ulp": 1, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 1 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "o3" }, { "id": "o3-asin-quarter", "reference": 14.477512185929925, "actual": 14.477512185929923, "error_ulp": 1, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 1 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "o3" }, { "id": "o3-asin-rand-00", "reference": -11.520680711095556, "actual": -11.520680711095556, "error_ulp": 0, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "o3" }, { "id": "o3-asin-rand-01", "reference": 57.09623196281669, "actual": 57.096231962816695, "error_ulp": 1, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 1 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "o3" }, { "id": "o3-asin-rand-02", "reference": -47.34966679918994, "actual": -47.34966679918994, "error_ulp": 0, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "o3" }, { "id": "o3-asin-rand-03", "reference": 44.75893123871443, "actual": 44.75893123871443, "error_ulp": 1, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 1 } }, "suite": "o3" }, { "id": "o3-asin-rand-04", "reference": 56.681302373684986, "actual": 56.681302373684986, "error_ulp": 0, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "o3" }, { "id": "o3-asin-rand-05", "reference": 24.890888297095213, "actual": 24.890888297095216, "error_ulp": 1, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 1 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "o3" }, { "id": "o3-asin-rand-06", "reference": 86.98669572590896, "actual": 86.98669572590896, "error_ulp": 0, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "o3" }, { "id": "o3-asin-rand-07", "reference": 1.454148525736183, "actual": 1.454148525736183, "error_ulp": 0, "threshold_ulp": 2, "fields": { "deg": { "ok": true, "error_ulp": 0 }, "rad": { "ok": true, "error_ulp": 0 } }, "suite": "o3" } ] }, "interfaces": { "compared": [ "ui-ssr", "rest", "mcp", "ui-url-result-graph" ], "result": "PASS", "notes": "UI (SSR) · REST · MCP equivalent (MCP uses calc API handler). Success 25/25. Error-path engine·REST·MCP 4/4 (status, code, calculation_version). SSR compared on URL-canonical requested calculations; empty query is idle (not an error) and JSON-typed object/array inputs are REST/MCP-only. 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": "383af75935c70ca836beeb7f44f35f1c7c263991d34774dc4dc1b2f4db59c30b", "evidence_digest": "a8dbdd87876e3382b50c8c521e2863f5149092c0da1115b1d7667fde0054a867", "production_sha256": "5bf309227321d70df5fa56834ed00961a3b8648c53cc4f030c9937ef1f65f879", "attested_catalog_sha256": "07c3e82e13401c468959a4de769220c1d2e01621be660164456cb47f7ddb3906", "production_checks": [ { "id": "math.arcsin:output-const", "status": "pass", "detail": "output const 1.0.6 vs capability 1.0.6", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-12T23:47:13.837Z" }, { "id": "math.arcsin:evidence-sha256", "status": "pass", "detail": "eb3bfadb5318", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-12T23:47:13.837Z" }, { "id": "math.arcsin:semantic-contract", "status": "pass", "detail": "11/11", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-12T23:47:13.837Z" }, { "id": "math.arcsin:capability-html-public-origin-agree", "status": "pass", "detail": "public 1.0.6 vs origin 1.0.6", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-12T23:47:13.837Z" }, { "id": "math.arcsin:cvp-manifest-public-origin-agree", "status": "pass", "detail": "math.arcsin/1.0.6/2026-10-13.inverse-angle-dual-field/core/a8dbdd87876e", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-12T23:47:13.837Z", "projection_compared": false }, { "id": "math.arcsin:cvp-latest-alias-agrees", "status": "pass", "detail": "math.arcsin/1.0.6/2026-10-13.inverse-angle-dual-field/core/a8dbdd87876e", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-12T23:47:13.837Z", "projection_compared": false }, { "id": "math.arcsin:cvp-immutable-manifest-fetch", "status": "pass", "detail": "public=200 origin=200", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-12T23:47:13.837Z" }, { "id": "math.arcsin:cvp-immutable-manifest-sha256", "status": "pass", "detail": "a8dbdd87876e", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-12T23:47:13.837Z" }, { "id": "math.arcsin:cvp-latest-alias-matches-immutable", "status": "pass", "detail": "math.arcsin/1.0.6/2026-10-13.inverse-angle-dual-field/core/a8dbdd87876e", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-12T23:47:13.837Z", "projection_compared": false }, { "id": "math.arcsin:calculator-html-cvp-projection", "status": "pass", "detail": "matches Trust display", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-12T23:47:13.837Z" }, { "id": "math.arcsin:evidence-html-cvp-projection", "status": "pass", "detail": "matches Trust display", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-10-12T23:47:13.837Z" } ], "digest_registry": { "digest_algorithm": "sha256", "canonicalization": "json-sorted-keys-utf8", "entries": [ { "name": "cvp_core_sha256", "field": "artifacts.cvp_core_sha256", "digest_scope": "cvp_verification_fingerprint_v2", "value": "a8dbdd87876e3382b50c8c521e2863f5149092c0da1115b1d7667fde0054a867", "note": "Immutable verification core; excludes attestation/live-status and Evidence contract counts" }, { "name": "cvp_evidence_digest", "field": "artifacts.evidence_digest", "digest_scope": "cvp_verification_fingerprint_v2", "value": "a8dbdd87876e3382b50c8c521e2863f5149092c0da1115b1d7667fde0054a867", "note": "Alias of cvp_core_sha256 (historical field name)" }, { "name": "artifact_evidence_sha256", "field": "release_integrity.digests.evidence_core_sha256", "digest_scope": "evidence_artifact_core", "value": "eb3bfadb5318d75cf7adeb3033e3ac58ea27dec0309f674af1be39c50f57319b", "note": "Published Evidence JSON core — Trust freshness / production bind subject" }, { "name": "evidence_catalog_digest", "field": "artifacts.attested_catalog_sha256", "digest_scope": "capability_catalog", "value": "07c3e82e13401c468959a4de769220c1d2e01621be660164456cb47f7ddb3906", "note": "Capability catalog integrity; site-wide, not per-suite fingerprint" } ] }, "cvp_core_sha256": "a8dbdd87876e3382b50c8c521e2863f5149092c0da1115b1d7667fde0054a867" }, "dependencies": [ { "name": "arcsin-engine", "version": "1.0.6" }, { "name": "arcsin-reference-oracle", "version": "1.0.0" }, { "name": "arcsin-o3-mpmath-table", "version": "math-mpmath-o3" }, { "name": "node", "version": "22.20.0" } ], "attestation": { "status": "CURRENT", "href": "/.well-known/calculatorx-production-attestation.json", "id": "791a7e77ad1162029d35e7954ae29a482e2dfaa49ee44dc28716333e8e1e7ae6", "attested_at": "2026-10-12T23:47:13.837Z", "last_confirmed_current_at": "2026-10-13T09:44:14.989Z", "site_attestation_current": false, "capability_attestation_current": true, "bound_snapshot_status": "pass", "live_report_status": "stale", "bound_attested_at": "2026-10-13T09:44:14.989Z", "live_updated_at": "2026-10-13T09:44:37.663Z", "bound_snapshot": { "status": "pass", "attested_at": "2026-10-13T09:44:14.989Z", "site_stale_count": 20 }, "live_site_status": { "href": "/.well-known/calculatorx-production-attestation.json" }, "bound_snapshot_site_stale_count": 20, "site_stale_capability_count": 20, "evidence_attested_at": "2026-10-12T23:47:13.837Z" }, "domain_review": { "status": "ABSENT", "spec_version": "1.0.6", "external_third_party": false, "note": "Named expert review not performed" }, "timestamps": { "verified_at": "2026-10-12T23:47:13.837Z", "generated_at": "2026-10-12T23:47:13.837Z", "rendered_at": "2026-10-13T09:44:37.940Z", "notes": "verified_at/generated_at mark the first publication of this cvp_core_sha256 (artifacts.evidence_digest alias) for suite verification. evidence_attested_at/attested_at is the first production bind of that core digest. last_confirmed_current_at is the latest site-wide report that still confirms CURRENT. rendered_at is this JSON serialization and is not part of cvp_core_sha256 / evidence_digest. Production attestation binds cvp_core_sha256 (binds evidence_digest). Causal order: verified_at ≤ evidence_attested_at ≤ last_confirmed_current_at. attestation.bound_snapshot.site_stale_count is the site-wide stale capability count at Manifest bind time — not a live value. Fetch attestation.live_site_status.href for the current site report." }, "links": { "legacy_evidence": "https://www.calculatorx.com/evidence/math.arcsin/1.0.6.json", "evidence_page": "https://www.calculatorx.com/evidence/math.arcsin/1.0.6", "calculator": "https://www.calculatorx.com/calc/math/arcsin", "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.arcsin/1.0.6.cvp.json", "manifest_immutable": "https://www.calculatorx.com/evidence/math.arcsin/1.0.6/2026-10-13.inverse-angle-dual-field.cvp.json", "manifest_core": "https://www.calculatorx.com/evidence/math.arcsin/1.0.6/2026-10-13.inverse-angle-dual-field.a8dbdd87876e.cvp.json" } }