math.multiplication

Three distinct suites: educational examples on the calculator page, this legacy regression count (15/15 golden + boundary), and the CVP verification suite below. They are not the same number. Property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the CVP Manifest . SKIP (0/0) means that suite has no published vectors.

STALE · Build schema 1.0.4 matches page · production binding STALE · Semantic contract ✓ · Last attestation PASS · current evidence changed · re-attestation required · CVP STALE · attestation STALE — Production CURRENT withheld · Public/cache ✓ · Origin ✓

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Verification revision 2026-10-22.multiplication-complete-contract-v6. Calculation version 1.0.4. CVP 1.0.0-proposed. 178/178 golden · 5/5 CVP boundary · 16/16 invalid · 6/6 property · 2/2 metamorphic · 2/2 round-trip · 3/3 cross-interface · 5/5 CVP contract. digest 910f65596060. 166 independent CPython Decimal/integer vectors compare complete six-field packs including full text work. Additional legacy vectors use 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.

• Golden (oracle-backed) 178 / 178
• CVP boundary 5 / 5
• Invalid input 16 / 16
• Property 6 / 6
• Metamorphic 2 / 2
• Round-trip 2 / 2
• Cross-interface 3 / 3
• CVP contract 5 / 5
• Interfaces PASS · UI (SSR) / REST / MCP
• Interface claim ui-ssr is query-result HTML, not a live browser session.
• Assurance Core

• 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

Fingerprint sha256:dc84c04067e841046fd9c44e75efea5679269b807bfae5230b0c8e203cf8e20b

Input schema sha256:e8bea4b5fe595fab4051b788b43b902441dd63d870e9c76cec05ab4033bd806c · Output schema sha256:571f599faa0525a92c76e3cc644e97f876caab84a844c897c0dd74dc9de904ce · Build-time SHA-256 digests prove published artifacts agree with each other (release_integrity.scope=workspace). Production attestation GETs canonical URLs twice (public/cached view and origin), including Capability HTML, via npm run attest:production --write (published at /.well-known/calculatorx-production-attestation.json) and fails if the public Capability page advertises a different calculation_version. This is artifact consistency, not an independent immutable release log.

Tool

multiplication

Engine

multiplication

Engine build

2026-10-22

Evidence core

2026-10-22T04:49:15.857Z

Rendered

2026-10-22T08:54:35.136Z

Last reviewed

—

Assumptions

• Real decimal inputs parsed as exact decimal strings (integer mantissa × 10^−scale), not binary floating-point.
• Product mode and Long multiplication mode use the same exact mantissa multiplication; Long adds partial-product steps.

Limitations

• Exactness applies to accepted plain decimal tokens, not values rounded by a client before sending. Unsafe JSON integer numbers rejected; strings preserve full source digits.
• 512 characters and48 significant digits per factor; trailing zeros count.
• Long grid limited to24 significant digits and24 displayed digit places per normalized factor; otherwise no work, LONG_GRID_TRUNCATED, and full exact product.
• productStr is authoritative; product is approximate or null on binary64 range loss. Share links use current engine, not historical replay.