{ "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": "multiplication", "version": "1.0.3", "title": "Multiplication Calculator", "formula_family": "multiplication", "capability_id": "math.multiplication", "verification_revision": "2026-09-16.sources-no-wolfram" }, "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": "20.19.2", "numeric_model": "exact_decimal", "os": "darwin" }, "suite": { "id": "multiplication", "version": "1.0.3", "uri": "https://www.calculatorx.com/evidence/math.multiplication/1.0.3.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-PROP-01", "CVP-META-01", "CVP-ROUND-01", "CVP-IFACE-01" ], "provenance": { "mode": "direct", "sources": [ { "label": "OpenStax Prealgebra 2e — Multiply Whole Numbers", "kind": "other", "reference": "1.4 Product of two numbers", "url": "https://openstax.org/books/prealgebra-2e/pages/1-4-multiply-whole-numbers" }, { "label": "CalculatorX mathematical conventions", "kind": "other", "reference": "Exact decimal place-count multiplication" } ] }, "reference": { "items": [ { "class": "O1", "reference_scope": "model", "scope": "model", "label": "Product of two decimals" }, { "class": "O2", "reference_scope": "expected_values", "scope": "expected_values", "label": "Separate-module multiplication oracle — independent mantissa×BigInt product dual-checked against per-digit BigInt partials (same runtime as IUT; not IUT transcription)", "engine": { "name": "multiplication-reference", "independent_of_iut": true, "same_runtime_as_iut": true, "runtime": "node", "numeric_model": "exact_decimal", "representation": "exact_decimal", "criterion": "actual exact decimal string === independent oracle exact decimal string", "algorithms": [ "mantissa-bigint", "per-digit-bigint-partials" ], "arithmetic": "mantissa × BigInt", "comparison": "exact_equality" } }, { "class": "O2", "reference_scope": "numerical_behavior", "scope": "numerical_behavior", "label": "Same O2 module backs exact productStr identity and Long partial-product strings vs IUT — exact_equality, ULP not applicable", "engine": { "name": "multiplication-reference", "independent_of_iut": true, "same_runtime_as_iut": true, "runtime": "node", "numeric_model": "exact_decimal", "representation": "exact_decimal", "criterion": "actual exact decimal string === independent oracle exact decimal string", "algorithms": [ "mantissa-bigint", "per-digit-bigint-partials" ], "arithmetic": "mantissa × BigInt", "comparison": "exact_equality" } } ], "notes": "Golden expected values use a separate O2 module (not IUT transcription). O2 dual-checks mantissa×BigInt against the sum of per-digit BigInt partials. same_runtime_as_iut. IUT numeric model is exact_decimal with mantissa × BigInt arithmetic and exact_equality. Node is a runtime dependency, not IEEE-754 binary64. ULP is not applicable." }, "controls": { "CVP-PROV-01": { "result": "PASS", "applicability": "required", "notes": "Sources present on evidence" }, "CVP-MODEL-01": { "result": "PASS", "applicability": "required", "notes": "exact decimal mantissa × BigInt; acceptance is productStr identity" }, "CVP-SCOPE-01": { "result": "PASS", "applicability": "required", "notes": "product or long mode; shared exact path; long steps independently reconstructed" }, "CVP-UNIT-01": { "result": "PASS", "applicability": "required", "notes": "dimensionless" }, "CVP-REF-01": { "result": "PASS", "applicability": "required", "notes": "O1 model + O2 expected_values/numerical_behavior (mantissa×BigInt dual-checked against per-digit partials; exact_equality; same_runtime_as_iut)" }, "CVP-GOLD-01": { "result": "PASS", "applicability": "required", "notes": "10/10 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": "4 invalid-domain cases" }, "CVP-NUM-01": { "result": "PASS", "applicability": "required", "notes": "exact_decimal · mantissa × BigInt · exact_equality (actual exact decimal string === independent oracle exact decimal string); mismatches=0; ULP not applicable" }, "CVP-COV-01": { "result": "PASS", "applicability": "required", "notes": "Declared partitions: product, long, long-grid, digit-bound, invalid-domain. Counts alone are not the claim." }, "CVP-CONTRACT-01": { "result": "PASS", "applicability": "required", "notes": "4/4 CVP contract" }, "CVP-DEP-01": { "result": "PASS", "applicability": "required", "notes": "engine multiplication; exact_decimal mantissa × BigInt (IUT/O2). Node is a runtime dependency, not the numeric model" }, "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-16T06:43:50.908Z · live site-wide report stale @ 2026-09-16T06:44:05.208Z (1 other capabilities) · local checks pass · attestation_id=9864b02dd59e627629179439ae27934aea8c6fd24193702e66c56019c5e3e050 · This calculator CURRENT · This calculator is not affected · Bound attestation PASS @ 2026-09-16T06:43:50.908Z · Live production status STALE (1 capability; 163 remain CURRENT) @ 2026-09-16T06:44:05.208Z · Public schema 1.0.3 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓ · schema_const=1.0.3 · 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=31e075dd2788e7c13520557df716a4e118f4844aca3908f8b06acf4a41fad0cc · verified_at=2026-09-16T06:43:09.126Z · evidence_attested_at=2026-09-16T06:43:09.126Z · last_confirmed_current_at=2026-09-16T06:43:50.908Z · rendered_at=2026-09-16T06:44:05.244Z · binds=cvp_core_sha256", "check_result": "PASS", "production_state": "CURRENT", "binding_current": true }, "CVP-DIM-01": { "result": "SKIP", "applicability": "not_applicable", "notes": "Unitless core calculator — no physical dimension algebra" }, "CVP-PROP-01": { "result": "PASS", "applicability": "applicable", "notes": "6/6 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": 12, "total": 12, "failed": 0, "case_ids": [ "g-mul-8-6", "g-mul-0p1-0p2", "g-mul-45p2-0p21", "g-mul-neg-5-11", "g-mul-48", "g-mul-long-12-12", "g-mul-long-carry", "g-mul-long-zero-digit", "g-mul-long-decimal", "g-mul-long-neg", "g-mul-long-24", "g-mul-long-25" ] }, "boundary": { "passed": 5, "total": 5, "failed": 0, "case_ids": [ "missing-a", "missing-b", "boundary-mul-sci", "boundary-mul-49-digits", "boundary-mul-long-25-grid" ] }, "invalid": { "passed": 4, "total": 4, "failed": 0, "case_ids": [ "missing-a", "missing-b", "boundary-mul-sci", "boundary-mul-49-digits" ] }, "property": { "passed": 6, "total": 6, "failed": 0, "case_ids": [ "prop-commute", "prop-one", "prop-exact-0p1-0p2", "prop-48", "prop-long-carry-steps", "prop-long-grid-25" ], "definition_ids": [ "commutative", "mul-by-one", "exact-decimal-productStr", "forty-eight-digit-identity", "long-partials-in-work", "long-grid-truncated" ] }, "round_trip": { "passed": 2, "total": 2, "failed": 0, "case_ids": [ "rt-8-6", "rt-7-3" ] }, "metamorphic": { "passed": 2, "total": 2, "failed": 0, "case_ids": [ "meta-scale-2", "meta-scale-3" ], "definition_ids": [ "scale-factor" ] }, "contract": { "passed": 4, "total": 4, "failed": 0 }, "cross_interface": { "passed": 3, "total": 3, "failed": 0, "case_ids": [ "iface-mul", "iface-mul-0p1-0p2", "iface-mul-long" ] } }, "coverage": { "partitions": [ { "id": "product", "description": "Product mode exact decimal, including 0.1 × 0.2", "exercised": true, "case_count": 17 }, { "id": "long", "description": "Long multiplication steps: carry, zero digit, decimals, signs", "exercised": true, "case_count": 8 }, { "id": "long-grid", "description": "Long visual grid 24-digit shown / 25-digit LONG_GRID_TRUNCATED", "exercised": true, "case_count": 5 }, { "id": "digit-bound", "description": "48-digit factors accepted; 49-digit TOO_MANY_DIGITS", "exercised": true, "case_count": 4 }, { "id": "invalid-domain", "description": "Invalid inputs", "exercised": true, "case_count": 4 } ] }, "numerical": { "profile": "exact_decimal", "representation": "exact_decimal", "arithmetic": "mantissa × BigInt", "comparison": "exact_equality", "criterion": "actual exact decimal string === independent oracle exact decimal string", "exact_policy": true, "ulp_applicable": false, "tolerance": { "type": "exact", "value": 0, "declared_before_evaluation": true, "rationale": "Multiplication is exact decimal (integer mantissa × scale). Acceptance is productStr identity vs an O2 module that dual-checks mantissa×BigInt against the sum of per-digit BigInt partials. Comparison is exact_equality; ULP is not applicable. Node/V8 is a runtime dependency, not the numeric model. Declared a priori." }, "claim_scope": "Exact decimal-string identity (productStr) vs O2 mantissa×BigInt dual-checked against per-digit BigInt partials. Long vectors also require IUT work to contain those partials, or LONG_GRID_TRUNCATED at 25 digits. 48 significant digits per factor; 49-digit factors are rejected. This is not a whole-domain proof beyond the published vectors.", "exact_mismatches": 0, "records": [ { "id": "g-mul-8-6", "reference": { "product": 48, "productStr": "48", "exact": "48", "mode": "product", "work": null, "partials": null, "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 48, "productStr": "48", "mode": "product", "work": null, "gridTruncated": false, "warning": null }, "criterion": "actual exact decimal string === independent oracle exact decimal string", "match": true, "digits": 2, "reference_sha256": "98010bd9270f9b100b6214a21754fd33bdc8d41b2bc9f9dd16ff54d3c34ffd71", "actual_sha256": "98010bd9270f9b100b6214a21754fd33bdc8d41b2bc9f9dd16ff54d3c34ffd71", "fields": { "productStr": true }, "suite": "golden" }, { "id": "g-mul-0p1-0p2", "reference": { "product": 0.02, "productStr": "0.02", "exact": "0.02", "mode": "product", "work": null, "partials": null, "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 0.02, "productStr": "0.02", "mode": "product", "work": null, "gridTruncated": false, "warning": null }, "criterion": "actual exact decimal string === independent oracle exact decimal string", "match": true, "digits": 4, "reference_sha256": "a7e46abf169710b34fe8898b950d57ec0863c3a4190e4b38c56b1f9f257d50e7", "actual_sha256": "a7e46abf169710b34fe8898b950d57ec0863c3a4190e4b38c56b1f9f257d50e7", "fields": { "productStr": true }, "suite": "golden" }, { "id": "g-mul-45p2-0p21", "reference": { "product": 9.492, "productStr": "9.492", "exact": "9.492", "mode": "product", "work": null, "partials": null, "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 9.492, "productStr": "9.492", "mode": "product", "work": null, "gridTruncated": false, "warning": null }, "criterion": "actual exact decimal string === independent oracle exact decimal string", "match": true, "digits": 5, "reference_sha256": "c0db75fd4abb6b0b36b8e662a1555fbffa3ae3e0855811ffd4c83a4d350ac11a", "actual_sha256": "c0db75fd4abb6b0b36b8e662a1555fbffa3ae3e0855811ffd4c83a4d350ac11a", "fields": { "productStr": true }, "suite": "golden" }, { "id": "g-mul-neg-5-11", "reference": { "product": -55, "productStr": "-55", "exact": "-55", "mode": "product", "work": null, "partials": null, "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": -55, "productStr": "-55", "mode": "product", "work": null, "gridTruncated": false, "warning": null }, "criterion": "actual exact decimal string === independent oracle exact decimal string", "match": true, "digits": 3, "reference_sha256": "87d4ff8e9a9b7094b2b00ebcba4c534fa092aa37f2db46262b99c083317cb7aa", "actual_sha256": "87d4ff8e9a9b7094b2b00ebcba4c534fa092aa37f2db46262b99c083317cb7aa", "fields": { "productStr": true }, "suite": "golden" }, { "id": "g-mul-48", "reference": { "product": 1.1111111111111111e+47, "productStr": "111111111111111111111111111111111111111111111111", "exact": "111111111111111111111111111111111111111111111111", "mode": "product", "work": null, "partials": null, "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 1.1111111111111111e+47, "productStr": "111111111111111111111111111111111111111111111111", "mode": "product", "work": null, "gridTruncated": false, "warning": null }, "criterion": "actual exact decimal string === independent oracle exact decimal string", "match": true, "digits": 48, "reference_sha256": "2f7a94061bcae6ad71b715e98292ad4f73539c949f7a533031ab02b0bd460fce", "actual_sha256": "2f7a94061bcae6ad71b715e98292ad4f73539c949f7a533031ab02b0bd460fce", "fields": { "productStr": true }, "suite": "golden" }, { "id": "g-mul-long-12-12", "reference": { "product": 144, "productStr": "144", "exact": "144", "mode": "long", "work": "Long multiplication (standard algorithm)\n24\n120", "partials": [ { "digit": 2, "shift": 0, "unshifted": "24", "shifted": "24" }, { "digit": 1, "shift": 1, "unshifted": "12", "shifted": "120" } ], "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 144, "productStr": "144", "mode": "long", "work": "Long multiplication (standard algorithm)\n\n 12\n × 12\n ----\n 24\n+ 120\n--------\n= 144\n\nStep-by-step:\n 1. Multiply by the ones digit (2): 12 × 2 = 24\n 2. Multiply by the tens digit (1): 12 × 1 = 12 (shift 1 place → 120)\n\nAdd the partial products.\nTherefore: 12 × 12 = 144", "gridTruncated": false, "warning": null }, "criterion": "actual exact decimal string === independent oracle exact decimal string", "match": true, "digits": 3, "reference_sha256": "5ec1a0c99d428601ce42b407ae9c675e0836a8ba591c8ca6e2a2cf5563d97ff0", "actual_sha256": "5ec1a0c99d428601ce42b407ae9c675e0836a8ba591c8ca6e2a2cf5563d97ff0", "fields": { "productStr": true, "long_steps": true, "long_truncated": false }, "suite": "golden" }, { "id": "g-mul-long-carry", "reference": { "product": 998001, "productStr": "998001", "exact": "998001", "mode": "long", "work": "Long multiplication (standard algorithm)\n8991\n89910\n899100", "partials": [ { "digit": 9, "shift": 0, "unshifted": "8991", "shifted": "8991" }, { "digit": 9, "shift": 1, "unshifted": "8991", "shifted": "89910" }, { "digit": 9, "shift": 2, "unshifted": "8991", "shifted": "899100" } ], "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 998001, "productStr": "998001", "mode": "long", "work": "Long multiplication (standard algorithm)\n\n 999\n × 999\n -----\n 8991\n + 89910\n+ 899100\n--------\n= 998001\n\nStep-by-step:\n 1. Multiply by the ones digit (9): 999 × 9 = 8991\n 2. Multiply by the tens digit (9): 999 × 9 = 8991 (shift 1 place → 89910)\n 3. Multiply by the 10^2 digit (9): 999 × 9 = 8991 (shift 2 places → 899100)\n\nAdd the partial products.\nTherefore: 999 × 999 = 998001", "gridTruncated": false, "warning": null }, "criterion": "actual exact decimal string === independent oracle exact decimal string", "match": true, "digits": 6, "reference_sha256": "a78290763891c2c07995ea266d32474169dc556e3aa2d2223da5ccf5d2a3e579", "actual_sha256": "a78290763891c2c07995ea266d32474169dc556e3aa2d2223da5ccf5d2a3e579", "fields": { "productStr": true, "long_steps": true, "long_truncated": false }, "suite": "golden" }, { "id": "g-mul-long-zero-digit", "reference": { "product": 1020, "productStr": "1020", "exact": "1020", "mode": "long", "work": "Long multiplication (standard algorithm)\n0\n1020", "partials": [ { "digit": 0, "shift": 0, "unshifted": "0", "shifted": "0" }, { "digit": 1, "shift": 1, "unshifted": "102", "shifted": "1020" } ], "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 1020, "productStr": "1020", "mode": "long", "work": "Long multiplication (standard algorithm)\n\n 102\n × 10\n ----\n 0\n+ 1020\n--------\n= 1020\n\nStep-by-step:\n 1. Multiply by the ones digit (0): 102 × 0 = 0\n 2. Multiply by the tens digit (1): 102 × 1 = 102 (shift 1 place → 1020)\n\nAdd the partial products.\nTherefore: 102 × 10 = 1020", "gridTruncated": false, "warning": null }, "criterion": "actual exact decimal string === independent oracle exact decimal string", "match": true, "digits": 4, "reference_sha256": "f296867839c8befafed32b55a7c11ab4ad14387d2434b970a55237d537bc9353", "actual_sha256": "f296867839c8befafed32b55a7c11ab4ad14387d2434b970a55237d537bc9353", "fields": { "productStr": true, "long_steps": true, "long_truncated": false }, "suite": "golden" }, { "id": "g-mul-long-decimal", "reference": { "product": 0.02, "productStr": "0.02", "exact": "0.02", "mode": "long", "work": "Long multiplication (standard algorithm)\n2", "partials": [ { "digit": 2, "shift": 0, "unshifted": "2", "shifted": "2" } ], "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 0.02, "productStr": "0.02", "mode": "long", "work": "Long multiplication (standard algorithm)\n\n 0.1\n × 0.2\n -----\n 2\n--------\n= 0.02\n\nStep-by-step:\n 1. Multiply by the ones digit (2): 1 × 2 = 2\n\nAdd the partial products.\nDecimal places in factors: 1 + 1 = 2 → place decimal in product.\nTherefore: 0.1 × 0.2 = 0.02", "gridTruncated": false, "warning": null }, "criterion": "actual exact decimal string === independent oracle exact decimal string", "match": true, "digits": 4, "reference_sha256": "a7e46abf169710b34fe8898b950d57ec0863c3a4190e4b38c56b1f9f257d50e7", "actual_sha256": "a7e46abf169710b34fe8898b950d57ec0863c3a4190e4b38c56b1f9f257d50e7", "fields": { "productStr": true, "long_steps": true, "long_truncated": false }, "suite": "golden" }, { "id": "g-mul-long-neg", "reference": { "product": -55, "productStr": "-55", "exact": "-55", "mode": "long", "work": "Long multiplication (standard algorithm)\n5\n50", "partials": [ { "digit": 1, "shift": 0, "unshifted": "5", "shifted": "5" }, { "digit": 1, "shift": 1, "unshifted": "5", "shifted": "50" } ], "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": -55, "productStr": "-55", "mode": "long", "work": "Long multiplication (standard algorithm)\n\n 5\n × 11\n ----\n 5\n + 50\n--------\n = 55\nsigned product = -55\n\nStep-by-step:\n 1. Multiply by the ones digit (1): 5 × 1 = 5\n 2. Multiply by the tens digit (1): 5 × 1 = 5 (shift 1 place → 50)\n\nAdd the partial products.\nUnlike signs → product is negative.\nTherefore: -5 × 11 = -55", "gridTruncated": false, "warning": null }, "criterion": "actual exact decimal string === independent oracle exact decimal string", "match": true, "digits": 3, "reference_sha256": "87d4ff8e9a9b7094b2b00ebcba4c534fa092aa37f2db46262b99c083317cb7aa", "actual_sha256": "87d4ff8e9a9b7094b2b00ebcba4c534fa092aa37f2db46262b99c083317cb7aa", "fields": { "productStr": true, "long_steps": true, "long_truncated": false }, "suite": "golden" }, { "id": "g-mul-long-24", "reference": { "product": 2.2222222222222222e+23, "productStr": "222222222222222222222222", "exact": "222222222222222222222222", "mode": "long", "work": "Long multiplication (standard algorithm)\n222222222222222222222222", "partials": [ { "digit": 2, "shift": 0, "unshifted": "222222222222222222222222", "shifted": "222222222222222222222222" } ], "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 2.2222222222222222e+23, "productStr": "222222222222222222222222", "mode": "long", "work": "Long multiplication (standard algorithm)\n\n 111111111111111111111111\n × 2\n ------------------------\n 222222222222222222222222\n ------------------------\n = 222222222222222222222222\n\nStep-by-step:\n 1. Multiply by the ones digit (2): 111111111111111111111111 × 2 = 222222222222222222222222\n\nAdd the partial products.\nTherefore: 111111111111111111111111 × 2 = 222222222222222222222222", "gridTruncated": false, "warning": null }, "criterion": "actual exact decimal string === independent oracle exact decimal string", "match": true, "digits": 24, "reference_sha256": "1ea3fed8ae356cca92ba522267a4ebf894eb31f0ab80d4697d85ead653577aec", "actual_sha256": "1ea3fed8ae356cca92ba522267a4ebf894eb31f0ab80d4697d85ead653577aec", "fields": { "productStr": true, "long_steps": true, "long_truncated": false }, "suite": "golden" }, { "id": "g-mul-long-25", "reference": { "product": 2.2222222222222222e+24, "productStr": "2222222222222222222222222", "exact": "2222222222222222222222222", "mode": "long", "work": null, "partials": null, "gridTruncated": true, "warning": "LONG_GRID_TRUNCATED", "numeric_model": "exact_decimal" }, "actual": { "product": 2.2222222222222222e+24, "productStr": "2222222222222222222222222", "mode": "long", "work": null, "gridTruncated": true, "warning": "LONG_GRID_TRUNCATED" }, "criterion": "actual exact decimal string === independent oracle exact decimal string", "match": true, "digits": 25, "reference_sha256": "e1359a2f31005d06888a33f29712466b030537008bd24999f34c6c047ac365d4", "actual_sha256": "e1359a2f31005d06888a33f29712466b030537008bd24999f34c6c047ac365d4", "fields": { "productStr": true, "long_steps": true, "long_truncated": true }, "suite": "golden" }, { "id": "rt-8-6", "reference": { "product": 48, "productStr": "48", "exact": "48", "mode": "product", "work": null, "partials": null, "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 48, "productStr": "48", "mode": "product", "work": null, "gridTruncated": false, "warning": null }, "criterion": "actual exact decimal string === independent oracle exact decimal string", "match": true, "digits": 2, "reference_sha256": "98010bd9270f9b100b6214a21754fd33bdc8d41b2bc9f9dd16ff54d3c34ffd71", "actual_sha256": "98010bd9270f9b100b6214a21754fd33bdc8d41b2bc9f9dd16ff54d3c34ffd71", "suite": "round-trip", "hops": { "forward": { "reference": { "product": 48, "productStr": "48", "exact": "48", "mode": "product", "work": null, "partials": null, "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 48, "productStr": "48", "mode": "product", "work": null, "gridTruncated": false, "warning": null }, "error_ulp": null }, "reverse": { "reference": 8, "actual": { "mode": "quotient", "a": 48, "b": 6, "value": 8, "ieee_value": 8, "decimal_places": 8, "precision": 8, "rounding": "IEEE-754 binary64 a/b, then Number.prototype.toFixed(n) (round half away from 0 on that binary64 value). Display may strip trailing zeros. Not decimal arbitrary-precision.", "decimal_value": "8", "exact": true, "display_exact": true, "exact_value": "48/6", "integer_quotient": 8, "remainder": 0 }, "error_ulp": 0 } } }, { "id": "rt-7-3", "reference": { "product": 21, "productStr": "21", "exact": "21", "mode": "product", "work": null, "partials": null, "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 21, "productStr": "21", "mode": "product", "work": null, "gridTruncated": false, "warning": null }, "criterion": "actual exact decimal string === independent oracle exact decimal string", "match": true, "digits": 2, "reference_sha256": "6f4b6612125fb3a0daecd2799dfd6c9c299424fd920f9b308110a2c1fbd8f443", "actual_sha256": "6f4b6612125fb3a0daecd2799dfd6c9c299424fd920f9b308110a2c1fbd8f443", "suite": "round-trip", "hops": { "forward": { "reference": { "product": 21, "productStr": "21", "exact": "21", "mode": "product", "work": null, "partials": null, "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 21, "productStr": "21", "mode": "product", "work": null, "gridTruncated": false, "warning": null }, "error_ulp": null }, "reverse": { "reference": 7, "actual": { "mode": "quotient", "a": 21, "b": 3, "value": 7, "ieee_value": 7, "decimal_places": 8, "precision": 8, "rounding": "IEEE-754 binary64 a/b, then Number.prototype.toFixed(n) (round half away from 0 on that binary64 value). Display may strip trailing zeros. Not decimal arbitrary-precision.", "decimal_value": "7", "exact": true, "display_exact": true, "exact_value": "21/3", "integer_quotient": 7, "remainder": 0 }, "error_ulp": 0 } } }, { "id": "meta-scale-2", "reference": { "productStr": "2" }, "actual": { "productStr": "2" }, "criterion": "actual exact decimal string === independent oracle exact decimal string", "match": true, "digits": 1, "reference_sha256": "d4735e3a265e16eee03f59718b9b5d03019c07d8b6c51f90da3a666eec13ab35", "actual_sha256": "d4735e3a265e16eee03f59718b9b5d03019c07d8b6c51f90da3a666eec13ab35", "suite": "metamorphic", "hops": { "base": { "reference": { "product": 48, "productStr": "48", "exact": "48", "mode": "product", "work": null, "partials": null, "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 48, "productStr": "48", "mode": "product", "work": null, "gridTruncated": false, "warning": null }, "error_ulp": null }, "follow": { "reference": { "product": 96, "productStr": "96", "exact": "96", "mode": "product", "work": null, "partials": null, "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 96, "productStr": "96", "mode": "product", "work": null, "gridTruncated": false, "warning": null }, "error_ulp": null }, "relation": { "reference": { "productStr": "2" }, "actual": { "productStr": "2" }, "error_ulp": null } } }, { "id": "meta-scale-3", "reference": { "productStr": "3" }, "actual": { "productStr": "3" }, "criterion": "actual exact decimal string === independent oracle exact decimal string", "match": true, "digits": 1, "reference_sha256": "4e07408562bedb8b60ce05c1decfe3ad16b72230967de01f640b7e4729b49fce", "actual_sha256": "4e07408562bedb8b60ce05c1decfe3ad16b72230967de01f640b7e4729b49fce", "suite": "metamorphic", "hops": { "base": { "reference": { "product": 20, "productStr": "20", "exact": "20", "mode": "product", "work": null, "partials": null, "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 20, "productStr": "20", "mode": "product", "work": null, "gridTruncated": false, "warning": null }, "error_ulp": null }, "follow": { "reference": { "product": 60, "productStr": "60", "exact": "60", "mode": "product", "work": null, "partials": null, "gridTruncated": false, "warning": null, "numeric_model": "exact_decimal" }, "actual": { "product": 60, "productStr": "60", "mode": "product", "work": null, "gridTruncated": false, "warning": null }, "error_ulp": null }, "relation": { "reference": { "productStr": "3" }, "actual": { "productStr": "3" }, "error_ulp": null } } } ] }, "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": "4c98d256d3c81f1464dd5d91120b31a41d65e6ea6f1815e4312dc51e7621917e", "evidence_digest": "7a9319794cf7581f8aacc8899264791464de229cc34dea8d4a332e420174484a", "production_sha256": "31e075dd2788e7c13520557df716a4e118f4844aca3908f8b06acf4a41fad0cc", "attested_catalog_sha256": "f89399c8dda78af9b2d784bf34d77b786cf749392d54e5e00bd3707c3fcdd13e", "production_checks": [ { "id": "math.multiplication:output-const", "status": "pass", "detail": "output const 1.0.3 vs capability 1.0.3", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-16T06:43:09.126Z" }, { "id": "math.multiplication:evidence-sha256", "status": "pass", "detail": "a48b9e17cc7c", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-16T06:43:09.126Z" }, { "id": "math.multiplication:semantic-contract", "status": "pass", "detail": "15/15", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-16T06:43:09.126Z" }, { "id": "math.multiplication:capability-html-public-origin-agree", "status": "pass", "detail": "public 1.0.3 vs origin 1.0.3", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-16T06:43:09.126Z" }, { "id": "math.multiplication:cvp-manifest-public-origin-agree", "status": "pass", "detail": "math.multiplication/1.0.3/2026-09-16.sources-no-wolfram/core/7a9319794cf7", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-16T06:43:09.126Z", "projection_compared": false }, { "id": "math.multiplication:cvp-latest-alias-agrees", "status": "pass", "detail": "math.multiplication/1.0.3/2026-09-16.sources-no-wolfram/core/7a9319794cf7", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-16T06:43:09.126Z", "projection_compared": false }, { "id": "math.multiplication: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-16T06:43:09.126Z" }, { "id": "math.multiplication:cvp-immutable-manifest-sha256", "status": "pass", "detail": "7a9319794cf7", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-16T06:43:09.126Z" }, { "id": "math.multiplication:cvp-latest-alias-matches-immutable", "status": "pass", "detail": "math.multiplication/1.0.3/2026-09-16.sources-no-wolfram/core/7a9319794cf7", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-16T06:43:09.126Z", "projection_compared": false }, { "id": "math.multiplication:calculator-html-cvp-projection", "status": "pass", "detail": "matches Trust display", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-16T06:43:09.126Z" }, { "id": "math.multiplication:evidence-html-cvp-projection", "status": "pass", "detail": "matches Trust display", "scope": "last_attestation_snapshot", "current": true, "attestation_binding_current": true, "attested_at": "2026-09-16T06:43:09.126Z" } ], "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": "7a9319794cf7581f8aacc8899264791464de229cc34dea8d4a332e420174484a", "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": "7a9319794cf7581f8aacc8899264791464de229cc34dea8d4a332e420174484a", "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": "a48b9e17cc7c9ef3ddbf94bb2f7a249016809afaa19450f402240215f93653c2", "note": "Published Evidence JSON core — Trust freshness / production bind subject" }, { "name": "evidence_catalog_digest", "field": "artifacts.attested_catalog_sha256", "digest_scope": "capability_catalog", "value": "f89399c8dda78af9b2d784bf34d77b786cf749392d54e5e00bd3707c3fcdd13e", "note": "Capability catalog integrity; site-wide, not per-suite fingerprint" } ] }, "cvp_core_sha256": "7a9319794cf7581f8aacc8899264791464de229cc34dea8d4a332e420174484a" }, "dependencies": [ { "name": "multiplication-engine", "version": "1.0.3" }, { "name": "multiplication-reference-oracle", "version": "1.0.0" }, { "name": "node", "version": "20.19.2" } ], "attestation": { "status": "CURRENT", "href": "/.well-known/calculatorx-production-attestation.json", "id": "9864b02dd59e627629179439ae27934aea8c6fd24193702e66c56019c5e3e050", "attested_at": "2026-09-16T06:43:09.126Z", "last_confirmed_current_at": "2026-09-16T06:43:50.908Z", "site_attestation_current": false, "capability_attestation_current": true, "bound_snapshot_status": "pass", "live_report_status": "stale", "bound_attested_at": "2026-09-16T06:43:50.908Z", "live_updated_at": "2026-09-16T06:44:05.208Z", "bound_snapshot": { "status": "pass", "attested_at": "2026-09-16T06:43:50.908Z", "site_stale_count": 1 }, "live_site_status": { "href": "/.well-known/calculatorx-production-attestation.json" }, "bound_snapshot_site_stale_count": 1, "site_stale_capability_count": 1, "evidence_attested_at": "2026-09-16T06:43:09.126Z" }, "domain_review": { "status": "ABSENT", "spec_version": "1.0.3", "external_third_party": false, "note": "Named expert review not performed" }, "timestamps": { "verified_at": "2026-09-16T06:43:09.126Z", "generated_at": "2026-09-16T06:43:09.126Z", "rendered_at": "2026-09-16T06:44:05.244Z", "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.multiplication/1.0.3.json", "evidence_page": "https://www.calculatorx.com/evidence/math.multiplication/1.0.3", "calculator": "https://www.calculatorx.com/calc/math/multiplication", "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.multiplication/1.0.3.cvp.json", "manifest_immutable": "https://www.calculatorx.com/evidence/math.multiplication/1.0.3/2026-09-16.sources-no-wolfram.cvp.json", "manifest_core": "https://www.calculatorx.com/evidence/math.multiplication/1.0.3/2026-09-16.sources-no-wolfram.7a9319794cf7.cvp.json" } }