{ "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": "pythagorean", "version": "1.1.2", "title": "Pythagorean Theorem Calculator", "formula_family": "pythagorean", "capability_id": "math.pythagorean", "verification_revision": "2026-09-16.sources-no-wolfram" }, "profile": "engineering", "status": "VERIFIED", "verification_status": "VERIFIED", "production_freshness": "CURRENT", "overall_trust": "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": "pythagorean", "version": "1.1.2", "uri": "https://www.calculatorx.com/evidence/math.pythagorean/1.1.2.json", "verification_revision": "2026-09-16.sources-no-wolfram" }, "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": "Euclid, Elements, Book I, Proposition 47", "kind": "other", "reference": "In right-angled triangles the square on the side subtending the right angle is equal to the squares on the sides containing the right angle", "url": "https://mathcs.clarku.edu/~djoyce/elements/bookI/propI47.html" }, { "label": "Right-triangle area", "kind": "other", "reference": "A = ab/2" } ] }, "reference": { "items": [ { "class": "O1", "reference_scope": "model", "scope": "model", "label": "Pythagorean theorem for right triangles" }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module Pythagorean oracle", "engine": { "name": "pythagorean-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 side comparison vs IUT", "engine": { "name": "pythagorean-reference", "precision_bits": 53, "independent_of_iut": true, "same_runtime_as_iut": true } } ], "notes": "Golden expected values use a separate O2 module (not IUT transcription). O2 shares Node/V8 binary64 with the IUT unless noted otherwise." }, "controls": { "CVP-PROV-01": { "result": "PASS", "applicability": "required", "notes": "Sources present on evidence" }, "CVP-MODEL-01": { "result": "PASS", "applicability": "required", "notes": "a² + b² = c²" }, "CVP-SCOPE-01": { "result": "PASS", "applicability": "required", "notes": "Positive sides; solve a|b|c or verify" }, "CVP-UNIT-01": { "result": "PASS", "applicability": "required", "notes": "length (consistent)" }, "CVP-REF-01": { "result": "PASS", "applicability": "required", "notes": "O1 model + O2 expected_values + O2 numerical_behavior" }, "CVP-GOLD-01": { "result": "PASS", "applicability": "required", "notes": "6/6 legacy golden; 6/6 oracle-backed numeric" }, "CVP-BND-01": { "result": "PASS", "applicability": "required", "notes": "10/10 CVP boundary · 10/10 legacy Evidence boundary" }, "CVP-INV-01": { "result": "PASS", "applicability": "required", "notes": "7 Evidence illegal-input + 4/4 oracle-backed error-code (exact_error_match, not ULP)" }, "CVP-NUM-01": { "result": "PASS", "applicability": "required", "notes": "max_error_observed_ulp=0; policy declared a priori" }, "CVP-COV-01": { "result": "PASS", "applicability": "required", "notes": "5/5 declared partitions (solve-c, solve-b, solve-a, verify, invalid-domain) · 6 legacy golden / 10 CVP boundary unique cases · 7 Evidence invalid-input (may overlap boundary)" }, "CVP-CONTRACT-01": { "result": "PASS", "applicability": "required", "notes": "6/6 CVP contract · release-artifacts-aligned=PASS · schema-output-required-declared=PASS · schema-valid-input-executes=PASS · engine-success-output-validates-schema=PASS · schema-rejects-incomplete-input=PASS · rest-success-payload-validates-schema=PASS" }, "CVP-DEP-01": { "result": "PASS", "applicability": "required", "notes": "engine pythagorean; 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-09-21T17:47:43.944Z · live site-wide report stale @ 2026-09-21T17:48:03.349Z (4 other capabilities) · local checks pass · attestation_id=c17d707e2d68ca8a4f9cf99a4adf32d737cc789084d3c7df39311265d8606b4b · This calculator CURRENT · This calculator is not affected · Bound attestation PASS @ 2026-09-21T17:47:43.944Z · Live production status STALE (4 capabilities; 161 remain CURRENT) @ 2026-09-21T17:48:03.349Z · Public schema 1.1.2 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓ · schema_const=1.1.2 · 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=e61b4037d1041f3241b94b54f5ce66f4bbccdb745b50cdcabfca5d0f1a01f68d · verified_at=2026-09-21T15:57:48.918Z · evidence_attested_at=2026-09-21T15:57:48.918Z · last_confirmed_current_at=2026-09-21T17:47:43.944Z · rendered_at=2026-09-21T17:49:09.365Z · binds=cvp_core_sha256", "check_result": "PASS", "production_state": "CURRENT", "binding_current": true }, "CVP-DIM-01": { "result": "PASS", "applicability": "applicable", "notes": "right triangle" }, "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": "2/2 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). ui-ssr is query-result HTML, not a live browser session." }, "CVP-ORACLE-01": { "result": "SKIP", "applicability": "higher_assurance", "notes": "O2 present; O3 not required this wave" }, "CVP-EXP-01": { "result": "SKIP", "applicability": "optional", "notes": "named expert review not performed" } }, "tests": { "golden": { "passed": 6, "total": 6, "failed": 0, "case_ids": [ "g-345", "g-solve-a", "g-verify", "g-tiny", "g-huge", "g-cancel-leg" ] }, "boundary": { "passed": 10, "total": 10, "failed": 0, "case_ids": [ "side-not-positive", "missing-inputs", "boundary-py-neg", "boundary-py-zero", "boundary-py-hyp-eq-leg", "boundary-py-invalid-solve", "boundary-py-overflow", "boundary-py-huge", "boundary-py-tiny", "boundary-py-cancel-leg" ] }, "invalid": { "passed": 11, "total": 11, "failed": 0, "case_ids": [ "side-not-positive", "missing-inputs", "boundary-py-neg", "boundary-py-zero", "boundary-py-hyp-eq-leg", "boundary-py-invalid-solve", "boundary-py-overflow", "g-zero", "g-hyp-eq-leg", "g-invalid-solve", "g-overflow" ], "comparison": "exact_error_match", "records": [ { "id": "g-zero", "comparison": "exact_error_match", "expected": { "code": "SIDE_NOT_POSITIVE" }, "actual": { "code": "SIDE_NOT_POSITIVE" }, "match": true }, { "id": "g-hyp-eq-leg", "comparison": "exact_error_match", "expected": { "code": "HYPOTENUSE_TOO_SHORT" }, "actual": { "code": "HYPOTENUSE_TOO_SHORT" }, "match": true }, { "id": "g-invalid-solve", "comparison": "exact_error_match", "expected": { "code": "INVALID_SOLVE_FOR" }, "actual": { "code": "INVALID_SOLVE_FOR" }, "match": true }, { "id": "g-overflow", "comparison": "exact_error_match", "expected": { "code": "RESULT_OVERFLOW" }, "actual": { "code": "RESULT_OVERFLOW" }, "match": true } ] }, "property": { "passed": 4, "total": 4, "failed": 0, "case_ids": [ "prop-345", "prop-512", "prop-tiny-presentation", "prop-huge-range-status" ], "definition_ids": [ "a2-plus-b2-c2", "exact-form-consistent", "derived-range-status" ] }, "round_trip": { "passed": 2, "total": 2, "failed": 0, "case_ids": [ "rt-345-c-to-b", "rt-512-c-to-a" ] }, "metamorphic": { "passed": 2, "total": 2, "failed": 0, "case_ids": [ "meta-scale-2", "meta-scale-3" ], "definition_ids": [ "similar-scale" ] }, "contract": { "passed": 6, "total": 6, "failed": 0 }, "cross_interface": { "passed": 1, "total": 1, "failed": 0, "case_ids": [ "iface-345" ] } }, "coverage": { "partitions": [ { "id": "solve-c", "description": "Solve hypotenuse c", "exercised": true, "case_count": 16 }, { "id": "solve-b", "description": "Solve leg b", "exercised": true, "case_count": 1 }, { "id": "solve-a", "description": "Solve leg a", "exercised": true, "case_count": 4 }, { "id": "verify", "description": "Verify a²+b²=c²", "exercised": true, "case_count": 2 }, { "id": "invalid-domain", "description": "Invalid inputs", "exercised": true, "case_count": 11 } ] }, "numerical": { "representation": "IEEE-754 binary64 a²+b²=c²", "tolerance": { "type": "ulp", "value": 2, "rationale": "Independent right-triangle solve vs IUT; ≤2 ULP on value. Declared a priori.", "declared_before_evaluation": true }, "max_error_observed": 0, "records": [ { "id": "g-345", "reference": { "mode": "solve", "solve_for": "c", "value": 5, "a": 3, "b": 4, "c": 5, "area": 6, "perimeter": 12, "valid": true, "status": "success" }, "actual": { "calculation_version": "1.1.2", "status": "success", "mode": "solve", "solve_for": "c", "mode_label": "Solve hypotenuse", "formula": "c=√(a²+b²)", "heading": "Hypotenuse c", "value": 5, "a": 3, "b": 4, "c": 5, "area": 6, "perimeter": 12, "valid": true, "message": null, "explainer": "c = √(3² + 4²) = 5", "inputs_summary": "a=3 · b=4", "steps": [ "a² + b² = c²", "3² + 4² = c²", "9 + 16 = 25", "c = √25 = 5", "Area A = ab/2 = 3×4/2 = 6", "Perimeter P = a+b+c = 12" ], "radicand": 25, "exact": "5", "display": { "value": "5", "exact": null, "a": "3", "b": "4", "c": "5", "area": "6", "perimeter": "12" }, "triangle": { "a": 3, "b": 4, "c": 5, "highlight": "c", "valid": true } }, "error_ulp": 0, "threshold_ulp": 2, "suite": "golden" }, { "id": "g-solve-a", "reference": { "mode": "solve", "solve_for": "a", "value": 5, "a": 5, "b": 12, "c": 13, "area": 30, "perimeter": 30, "valid": true, "status": "success" }, "actual": { "calculation_version": "1.1.2", "status": "success", "mode": "solve", "solve_for": "a", "mode_label": "Solve leg a", "formula": "a=√(c²−b²)", "heading": "Leg a", "value": 5, "a": 5, "b": 12, "c": 13, "area": 30, "perimeter": 30, "valid": true, "message": null, "explainer": "a = √(13² − 12²) = 5", "inputs_summary": "b=12 · c=13", "steps": [ "a² + b² = c² → a = √(c² − b²)", "a = √(13² − 12²) = √25 = 5", "Area A = ab/2 = 5×12/2 = 30", "Perimeter P = a+b+c = 30" ], "radicand": 25, "exact": "5", "display": { "value": "5", "exact": null, "a": "5", "b": "12", "c": "13", "area": "30", "perimeter": "30" }, "triangle": { "a": 5, "b": 12, "c": 13, "highlight": "a", "valid": true } }, "error_ulp": 0, "threshold_ulp": 2, "suite": "golden" }, { "id": "g-verify", "reference": { "mode": "verify", "solve_for": null, "value": 5, "a": 3, "b": 4, "c": 5, "area": 6, "perimeter": 12, "valid": true, "status": "success" }, "actual": { "calculation_version": "1.1.2", "status": "success", "mode": "verify", "solve_for": null, "mode_label": "Verify right triangle", "formula": "a²+b²=c²", "heading": "Valid right triangle", "value": 5, "a": 3, "b": 4, "c": 5, "area": 6, "perimeter": 12, "valid": true, "message": null, "explainer": "3² + 4² = 5²", "inputs_summary": "a=3 · b=4 · c=5", "steps": [ "Check a² + b² ≟ c²", "3² + 4² = 25", "5² = 25", "Consistent ✓ (right triangle)", "|a²+b²−c²| = 0", "Relative error 0 · tolerance 1×10⁻⁶", "Area A = ab/2 = 3×4/2 = 6", "Perimeter P = a+b+c = 12" ], "radicand": null, "exact": null, "display": { "value": "5", "exact": null, "a": "3", "b": "4", "c": "5", "area": "6", "perimeter": "12" }, "triangle": { "a": 3, "b": 4, "c": 5, "highlight": null, "valid": true }, "verify_evidence": { "abs_diff": 0, "relative": 0, "tolerance": 0.000001 } }, "error_ulp": 0, "threshold_ulp": 2, "suite": "golden" }, { "id": "g-tiny", "reference": { "mode": "solve", "solve_for": "c", "value": 1.414213562373095e-200, "a": 1e-200, "b": 1e-200, "c": 1.414213562373095e-200, "area": null, "perimeter": 3.414213562373095e-200, "valid": true, "status": "success" }, "actual": { "calculation_version": "1.1.2", "status": "success", "mode": "solve", "solve_for": "c", "mode_label": "Solve hypotenuse", "formula": "c=√(a²+b²)", "heading": "Hypotenuse c", "value": 1.414213562373095e-200, "a": 1e-200, "b": 1e-200, "c": 1.414213562373095e-200, "area": null, "perimeter": 3.414213562373095e-200, "valid": true, "message": null, "explainer": "c = √((1e-200)² + (1e-200)²) = √2 × 10⁻²⁰⁰ ≈ 1.41421356e-200", "inputs_summary": "a=1e-200 · b=1e-200", "steps": [ "a² + b² = c²", "c = √((1e-200)² + (1e-200)²)", "Equal legs: c = √2 × 10⁻²⁰⁰", "c ≈ 1.41421356e-200", "Area A = ab/2 = 1e-200×1e-200/2 exceeds numeric range", "Perimeter P = a+b+c = 3.41421356e-200" ], "radicand": null, "exact": "√2 × 10⁻²⁰⁰", "display": { "value": "1.41421356e-200", "exact": "√2 × 10⁻²⁰⁰", "a": "1e-200", "b": "1e-200", "c": "1.41421356e-200", "area": "exceeds numeric range", "perimeter": "3.41421356e-200" }, "triangle": { "a": 1e-200, "b": 1e-200, "c": 1.414213562373095e-200, "highlight": "c", "valid": true } }, "error_ulp": 0, "threshold_ulp": 2, "suite": "golden" }, { "id": "g-huge", "reference": { "mode": "solve", "solve_for": "c", "value": 1.414213562373095e+200, "a": 1e+200, "b": 1e+200, "c": 1.414213562373095e+200, "area": null, "perimeter": 3.414213562373095e+200, "valid": true, "status": "success" }, "actual": { "calculation_version": "1.1.2", "status": "success", "mode": "solve", "solve_for": "c", "mode_label": "Solve hypotenuse", "formula": "c=√(a²+b²)", "heading": "Hypotenuse c", "value": 1.414213562373095e+200, "a": 1e+200, "b": 1e+200, "c": 1.414213562373095e+200, "area": null, "perimeter": 3.414213562373095e+200, "valid": true, "message": null, "explainer": "c = √((1e+200)² + (1e+200)²) = √2 × 10²⁰⁰ ≈ 1.414213562373095e+200", "inputs_summary": "a=1e+200 · b=1e+200", "steps": [ "a² + b² = c²", "c = √((1e+200)² + (1e+200)²)", "Equal legs: c = √2 × 10²⁰⁰", "c ≈ 1.414213562373095e+200", "Area A = ab/2 = 1e+200×1e+200/2 exceeds numeric range", "Perimeter P = a+b+c = 3.414213562373095e+200" ], "radicand": null, "exact": "√2 × 10²⁰⁰", "display": { "value": "1.414213562373095e+200", "exact": "√2 × 10²⁰⁰", "a": "1e+200", "b": "1e+200", "c": "1.414213562373095e+200", "area": "exceeds numeric range", "perimeter": "3.414213562373095e+200" }, "triangle": { "a": 1e+200, "b": 1e+200, "c": 1.414213562373095e+200, "highlight": "c", "valid": true } }, "error_ulp": 0, "threshold_ulp": 2, "suite": "golden" }, { "id": "g-cancel-leg", "reference": { "mode": "solve", "solve_for": "a", "value": 0.0001414213561611208, "a": 0.0001414213561611208, "b": 1, "c": 1.00000001, "area": 0.0000707106780805604, "perimeter": 2.0001414313561607, "valid": true, "status": "success" }, "actual": { "calculation_version": "1.1.2", "status": "success", "mode": "solve", "solve_for": "a", "mode_label": "Solve leg a", "formula": "a=√(c²−b²)", "heading": "Leg a", "value": 0.0001414213561611208, "a": 0.0001414213561611208, "b": 1, "c": 1.00000001, "area": 0.0000707106780805604, "perimeter": 2.0001414313561607, "valid": true, "message": null, "explainer": "a = √(1.00000001² − 1²) = √2e-8 = 0.000141421356161", "inputs_summary": "b=1 · c=1.00000001", "steps": [ "a² + b² = c² → a = √(c² − b²)", "a = √(1.00000001² − 1²) = √2e-8 ≈ 0.000141421356161", "Area A = ab/2 = 0.000141421356161×1/2 = 0.0000707106780806", "Perimeter P = a+b+c = 2.00014143136" ], "radicand": 1.999999997845058e-8, "exact": "√2e-8", "display": { "value": "0.000141421356161", "exact": "√2e-8", "a": "0.000141421356161", "b": "1", "c": "1.00000001", "area": "0.0000707106780806", "perimeter": "2.00014143136" }, "triangle": { "a": 0.0001414213561611208, "b": 1, "c": 1.00000001, "highlight": "a", "valid": true } }, "error_ulp": 0, "threshold_ulp": 2, "suite": "golden" }, { "id": "rt-345-c-to-b", "reference": { "mode": "solve", "solve_for": "c", "value": 5, "a": 3, "b": 4, "c": 5, "area": 6, "perimeter": 12, "valid": true, "status": "success" }, "actual": { "calculation_version": "1.1.2", "status": "success", "mode": "solve", "solve_for": "c", "mode_label": "Solve hypotenuse", "formula": "c=√(a²+b²)", "heading": "Hypotenuse c", "value": 5, "a": 3, "b": 4, "c": 5, "area": 6, "perimeter": 12, "valid": true, "message": null, "explainer": "c = √(3² + 4²) = 5", "inputs_summary": "a=3 · b=4", "steps": [ "a² + b² = c²", "3² + 4² = c²", "9 + 16 = 25", "c = √25 = 5", "Area A = ab/2 = 3×4/2 = 6", "Perimeter P = a+b+c = 12" ], "radicand": 25, "exact": "5", "display": { "value": "5", "exact": null, "a": "3", "b": "4", "c": "5", "area": "6", "perimeter": "12" }, "triangle": { "a": 3, "b": 4, "c": 5, "highlight": "c", "valid": true } }, "error_ulp": 0, "threshold_ulp": 2, "suite": "round-trip", "hops": { "forward": { "reference": { "mode": "solve", "solve_for": "c", "value": 5, "a": 3, "b": 4, "c": 5, "area": 6, "perimeter": 12, "valid": true, "status": "success" }, "actual": { "calculation_version": "1.1.2", "status": "success", "mode": "solve", "solve_for": "c", "mode_label": "Solve hypotenuse", "formula": "c=√(a²+b²)", "heading": "Hypotenuse c", "value": 5, "a": 3, "b": 4, "c": 5, "area": 6, "perimeter": 12, "valid": true, "message": null, "explainer": "c = √(3² + 4²) = 5", "inputs_summary": "a=3 · b=4", "steps": [ "a² + b² = c²", "3² + 4² = c²", "9 + 16 = 25", "c = √25 = 5", "Area A = ab/2 = 3×4/2 = 6", "Perimeter P = a+b+c = 12" ], "radicand": 25, "exact": "5", "display": { "value": "5", "exact": null, "a": "3", "b": "4", "c": "5", "area": "6", "perimeter": "12" }, "triangle": { "a": 3, "b": 4, "c": 5, "highlight": "c", "valid": true } }, "error_ulp": 0 }, "reverse": { "reference": 4, "actual": { "calculation_version": "1.1.2", "status": "success", "mode": "solve", "solve_for": "b", "mode_label": "Solve leg b", "formula": "b=√(c²−a²)", "heading": "Leg b", "value": 4, "a": 3, "b": 4, "c": 5, "area": 6, "perimeter": 12, "valid": true, "message": null, "explainer": "b = √(5² − 3²) = 4", "inputs_summary": "a=3 · c=5", "steps": [ "a² + b² = c² → b = √(c² − a²)", "b = √(5² − 3²) = √16 = 4", "Area A = ab/2 = 3×4/2 = 6", "Perimeter P = a+b+c = 12" ], "radicand": 16, "exact": "4", "display": { "value": "4", "exact": null, "a": "3", "b": "4", "c": "5", "area": "6", "perimeter": "12" }, "triangle": { "a": 3, "b": 4, "c": 5, "highlight": "b", "valid": true } }, "error_ulp": 0 } } }, { "id": "rt-512-c-to-a", "reference": { "mode": "solve", "solve_for": "c", "value": 13, "a": 5, "b": 12, "c": 13, "area": 30, "perimeter": 30, "valid": true, "status": "success" }, "actual": { "calculation_version": "1.1.2", "status": "success", "mode": "solve", "solve_for": "c", "mode_label": "Solve hypotenuse", "formula": "c=√(a²+b²)", "heading": "Hypotenuse c", "value": 13, "a": 5, "b": 12, "c": 13, "area": 30, "perimeter": 30, "valid": true, "message": null, "explainer": "c = √(5² + 12²) = 13", "inputs_summary": "a=5 · b=12", "steps": [ "a² + b² = c²", "5² + 12² = c²", "25 + 144 = 169", "c = √169 = 13", "Area A = ab/2 = 5×12/2 = 30", "Perimeter P = a+b+c = 30" ], "radicand": 169, "exact": "13", "display": { "value": "13", "exact": null, "a": "5", "b": "12", "c": "13", "area": "30", "perimeter": "30" }, "triangle": { "a": 5, "b": 12, "c": 13, "highlight": "c", "valid": true } }, "error_ulp": 0, "threshold_ulp": 2, "suite": "round-trip", "hops": { "forward": { "reference": { "mode": "solve", "solve_for": "c", "value": 13, "a": 5, "b": 12, "c": 13, "area": 30, "perimeter": 30, "valid": true, "status": "success" }, "actual": { "calculation_version": "1.1.2", "status": "success", "mode": "solve", "solve_for": "c", "mode_label": "Solve hypotenuse", "formula": "c=√(a²+b²)", "heading": "Hypotenuse c", "value": 13, "a": 5, "b": 12, "c": 13, "area": 30, "perimeter": 30, "valid": true, "message": null, "explainer": "c = √(5² + 12²) = 13", "inputs_summary": "a=5 · b=12", "steps": [ "a² + b² = c²", "5² + 12² = c²", "25 + 144 = 169", "c = √169 = 13", "Area A = ab/2 = 5×12/2 = 30", "Perimeter P = a+b+c = 30" ], "radicand": 169, "exact": "13", "display": { "value": "13", "exact": null, "a": "5", "b": "12", "c": "13", "area": "30", "perimeter": "30" }, "triangle": { "a": 5, "b": 12, "c": 13, "highlight": "c", "valid": true } }, "error_ulp": 0 }, "reverse": { "reference": 5, "actual": { "calculation_version": "1.1.2", "status": "success", "mode": "solve", "solve_for": "a", "mode_label": "Solve leg a", "formula": "a=√(c²−b²)", "heading": "Leg a", "value": 5, "a": 5, "b": 12, "c": 13, "area": 30, "perimeter": 30, "valid": true, "message": null, "explainer": "a = √(13² − 12²) = 5", "inputs_summary": "b=12 · c=13", "steps": [ "a² + b² = c² → a = √(c² − b²)", "a = √(13² − 12²) = √25 = 5", "Area A = ab/2 = 5×12/2 = 30", "Perimeter P = a+b+c = 30" ], "radicand": 25, "exact": "5", "display": { "value": "5", "exact": null, "a": "5", "b": "12", "c": "13", "area": "30", "perimeter": "30" }, "triangle": { "a": 5, "b": 12, "c": 13, "highlight": "a", "valid": true } }, "error_ulp": 0 } } }, { "id": "meta-scale-2", "reference": 2, "actual": 2, "error_ulp": 0, "threshold_ulp": 2, "suite": "metamorphic", "hops": { "base": { "reference": { "mode": "solve", "solve_for": "c", "value": 5, "a": 3, "b": 4, "c": 5, "area": 6, "perimeter": 12, "valid": true, "status": "success" }, "actual": { "calculation_version": "1.1.2", "status": "success", "mode": "solve", "solve_for": "c", "mode_label": "Solve hypotenuse", "formula": "c=√(a²+b²)", "heading": "Hypotenuse c", "value": 5, "a": 3, "b": 4, "c": 5, "area": 6, "perimeter": 12, "valid": true, "message": null, "explainer": "c = √(3² + 4²) = 5", "inputs_summary": "a=3 · b=4", "steps": [ "a² + b² = c²", "3² + 4² = c²", "9 + 16 = 25", "c = √25 = 5", "Area A = ab/2 = 3×4/2 = 6", "Perimeter P = a+b+c = 12" ], "radicand": 25, "exact": "5", "display": { "value": "5", "exact": null, "a": "3", "b": "4", "c": "5", "area": "6", "perimeter": "12" }, "triangle": { "a": 3, "b": 4, "c": 5, "highlight": "c", "valid": true } }, "error_ulp": 0 }, "follow": { "reference": { "mode": "solve", "solve_for": "c", "value": 10, "a": 6, "b": 8, "c": 10, "area": 24, "perimeter": 24, "valid": true, "status": "success" }, "actual": { "calculation_version": "1.1.2", "status": "success", "mode": "solve", "solve_for": "c", "mode_label": "Solve hypotenuse", "formula": "c=√(a²+b²)", "heading": "Hypotenuse c", "value": 10, "a": 6, "b": 8, "c": 10, "area": 24, "perimeter": 24, "valid": true, "message": null, "explainer": "c = √(6² + 8²) = 10", "inputs_summary": "a=6 · b=8", "steps": [ "a² + b² = c²", "6² + 8² = c²", "36 + 64 = 100", "c = √100 = 10", "Area A = ab/2 = 6×8/2 = 24", "Perimeter P = a+b+c = 24" ], "radicand": 100, "exact": "10", "display": { "value": "10", "exact": null, "a": "6", "b": "8", "c": "10", "area": "24", "perimeter": "24" }, "triangle": { "a": 6, "b": 8, "c": 10, "highlight": "c", "valid": true } }, "error_ulp": 0 }, "relation": { "reference": 2, "actual": 2, "error_ulp": 0 } } }, { "id": "meta-scale-3", "reference": 2, "actual": 2, "error_ulp": 0, "threshold_ulp": 2, "suite": "metamorphic", "hops": { "base": { "reference": { "mode": "solve", "solve_for": "c", "value": 13, "a": 5, "b": 12, "c": 13, "area": 30, "perimeter": 30, "valid": true, "status": "success" }, "actual": { "calculation_version": "1.1.2", "status": "success", "mode": "solve", "solve_for": "c", "mode_label": "Solve hypotenuse", "formula": "c=√(a²+b²)", "heading": "Hypotenuse c", "value": 13, "a": 5, "b": 12, "c": 13, "area": 30, "perimeter": 30, "valid": true, "message": null, "explainer": "c = √(5² + 12²) = 13", "inputs_summary": "a=5 · b=12", "steps": [ "a² + b² = c²", "5² + 12² = c²", "25 + 144 = 169", "c = √169 = 13", "Area A = ab/2 = 5×12/2 = 30", "Perimeter P = a+b+c = 30" ], "radicand": 169, "exact": "13", "display": { "value": "13", "exact": null, "a": "5", "b": "12", "c": "13", "area": "30", "perimeter": "30" }, "triangle": { "a": 5, "b": 12, "c": 13, "highlight": "c", "valid": true } }, "error_ulp": 0 }, "follow": { "reference": { "mode": "solve", "solve_for": "c", "value": 26, "a": 10, "b": 24, "c": 26, "area": 120, "perimeter": 60, "valid": true, "status": "success" }, "actual": { "calculation_version": "1.1.2", "status": "success", "mode": "solve", "solve_for": "c", "mode_label": "Solve hypotenuse", "formula": "c=√(a²+b²)", "heading": "Hypotenuse c", "value": 26, "a": 10, "b": 24, "c": 26, "area": 120, "perimeter": 60, "valid": true, "message": null, "explainer": "c = √(10² + 24²) = 26", "inputs_summary": "a=10 · b=24", "steps": [ "a² + b² = c²", "10² + 24² = c²", "100 + 576 = 676", "c = √676 = 26", "Area A = ab/2 = 10×24/2 = 120", "Perimeter P = a+b+c = 60" ], "radicand": 676, "exact": "26", "display": { "value": "26", "exact": null, "a": "10", "b": "24", "c": "26", "area": "120", "perimeter": "60" }, "triangle": { "a": 10, "b": 24, "c": 26, "highlight": "c", "valid": true } }, "error_ulp": 0 }, "relation": { "reference": 2, "actual": 2, "error_ulp": 0 } } } ] }, "interfaces": { "compared": [ "ui-ssr", "rest", "mcp" ], "result": "PASS", "notes": "UI (SSR) · REST · MCP equivalent (MCP uses calc API handler). ui-ssr is query-result HTML, not a live browser session." }, "artifacts": { "evidence_bundle_sha256": "0dab6741ffa07d2a3ac85cf62d2bd475aaf6e18d1c4cd6443abadf33c626dd16", "evidence_digest": "4847c211167ff972b8497a233e0140af9e7dd6806308756a46c10634992aea1c", "production_sha256": "e61b4037d1041f3241b94b54f5ce66f4bbccdb745b50cdcabfca5d0f1a01f68d", "attested_catalog_sha256": "8d46aa5f63bae7e6f90d602c9de77b91bd00c35c2c0bb62517d53168143e2256", "production_checks": [ { "id": "math.pythagorean:output-const", "status": "pass", "detail": "output const 1.1.2 vs capability 1.1.2", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-21T15:57:48.918Z" }, { "id": "math.pythagorean:evidence-sha256", "status": "pass", "detail": "198fbb914353", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-21T15:57:48.918Z" }, { "id": "math.pythagorean:semantic-contract", "status": "pass", "detail": "16/16", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-21T15:57:48.918Z" }, { "id": "math.pythagorean:capability-html-public-origin-agree", "status": "pass", "detail": "public 1.1.2 vs origin 1.1.2", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-21T15:57:48.918Z" }, { "id": "math.pythagorean:cvp-manifest-public-origin-agree", "status": "pass", "detail": "math.pythagorean/1.1.2/2026-09-16.sources-no-wolfram/engineering/4847c211167f", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-21T15:57:48.918Z", "projection_compared": false }, { "id": "math.pythagorean:cvp-latest-alias-agrees", "status": "pass", "detail": "math.pythagorean/1.1.2/2026-09-16.sources-no-wolfram/engineering/4847c211167f", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-21T15:57:48.918Z", "projection_compared": false }, { "id": "math.pythagorean:cvp-immutable-manifest-fetch", "status": "pass", "detail": "public=200 origin=200", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-21T15:57:48.918Z" }, { "id": "math.pythagorean:cvp-immutable-manifest-sha256", "status": "pass", "detail": "4847c211167f", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-21T15:57:48.918Z" }, { "id": "math.pythagorean:cvp-latest-alias-matches-immutable", "status": "pass", "detail": "math.pythagorean/1.1.2/2026-09-16.sources-no-wolfram/engineering/4847c211167f", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-21T15:57:48.918Z", "projection_compared": false }, { "id": "math.pythagorean:calculator-html-cvp-projection", "status": "pass", "detail": "matches Trust display", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-21T15:57:48.918Z" }, { "id": "math.pythagorean:evidence-html-cvp-projection", "status": "pass", "detail": "matches Trust display", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-21T15:57:48.918Z" } ], "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": "4847c211167ff972b8497a233e0140af9e7dd6806308756a46c10634992aea1c", "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": "4847c211167ff972b8497a233e0140af9e7dd6806308756a46c10634992aea1c", "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": "198fbb91435352b8706d9881836fdbfe4ccf8a3a7713e0b4e62aaa04edb30943", "note": "Published Evidence JSON core — Trust freshness / production bind subject" }, { "name": "evidence_catalog_digest", "field": "artifacts.attested_catalog_sha256", "digest_scope": "capability_catalog", "value": "8d46aa5f63bae7e6f90d602c9de77b91bd00c35c2c0bb62517d53168143e2256", "note": "Capability catalog integrity; site-wide, not per-suite fingerprint" } ] }, "cvp_core_sha256": "4847c211167ff972b8497a233e0140af9e7dd6806308756a46c10634992aea1c" }, "dependencies": [ { "name": "pythagorean-engine", "version": "1.1.2" }, { "name": "pythagorean-reference-oracle", "version": "1.0.0" }, { "name": "node", "version": "20.19.2" } ], "attestation": { "status": "CURRENT", "href": "/.well-known/calculatorx-production-attestation.json", "id": "c17d707e2d68ca8a4f9cf99a4adf32d737cc789084d3c7df39311265d8606b4b", "attested_at": "2026-09-21T15:57:48.918Z", "last_confirmed_current_at": "2026-09-21T17:47:43.944Z", "site_attestation_current": false, "capability_attestation_current": true, "bound_snapshot_status": "pass", "live_report_status": "stale", "bound_attested_at": "2026-09-21T17:47:43.944Z", "live_updated_at": "2026-09-21T17:48:03.349Z", "bound_snapshot": { "status": "pass", "attested_at": "2026-09-21T17:47:43.944Z", "site_stale_count": 4 }, "live_site_status": { "href": "/.well-known/calculatorx-production-attestation.json" }, "bound_snapshot_site_stale_count": 4, "site_stale_capability_count": 4, "evidence_attested_at": "2026-09-21T15:57:48.918Z" }, "domain_review": { "status": "ABSENT", "spec_version": "1.1.2", "external_third_party": false, "note": "Named expert review not performed" }, "timestamps": { "verified_at": "2026-09-21T15:57:48.918Z", "generated_at": "2026-09-21T15:57:48.918Z", "rendered_at": "2026-09-21T17:49:09.365Z", "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.pythagorean/1.1.2.json", "evidence_page": "https://www.calculatorx.com/evidence/math.pythagorean/1.1.2", "calculator": "https://www.calculatorx.com/calc/math/pythagorean", "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.pythagorean/1.1.2.cvp.json", "manifest_immutable": "https://www.calculatorx.com/evidence/math.pythagorean/1.1.2/2026-09-16.sources-no-wolfram.cvp.json", "manifest_core": "https://www.calculatorx.com/evidence/math.pythagorean/1.1.2/2026-09-16.sources-no-wolfram.4847c211167f.cvp.json" } }