math.modulo

Three distinct suites: educational examples on the calculator page, this legacy regression count (13/13 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.

This calculator CURRENT · Public schema 1.1.2 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Verification revision 2026-10-22.modulo-complete-contract-v1. Calculation version 1.1.2. CVP 1.0.0-proposed. 92/92 golden · 5/5 CVP boundary · 8/8 invalid · 2/2 property · 4/4 cross-interface · 1/1 cross-calculator · 5/5 CVP contract. digest 8fc60d169d44.

• Golden (oracle-backed) 92 / 92
• CVP boundary 5 / 5
• Invalid input 8 / 8
• Property 2 / 2
• Cross-interface 4 / 4
• Cross-calculator 1 / 1
• CVP contract 5 / 5
• Interfaces PASS · UI (SSR) / REST / MCP
• Interface claim ui-ssr is query-result HTML, not a live browser session. Error-path engine·REST·MCP 1/1 (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.
• Verified scope Sampled complete packs for both published modes, all signed branches and bounded48-digit cases
• 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:4fa57d39769a0a6099a971cf2d6f5d692eaedf649e46fdc814f6fdf0ba37aab6

Input schema sha256:62bb947505f772be313af5e28c614680ab050f49cfe4ecae5da6850f1366e87c · Output schema sha256:9caa31ab215816f30bf5fbab15ac0c4be836f84da2137a3a9b26081623180186 · 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

modulo

Engine

modulo

Engine build

2026-10-22

Evidence core

2026-10-22T14:06:51.529Z

Rendered

2026-10-23T01:27:11.632Z

Last reviewed

—

Assumptions

• Euclidean remainder
• Not JavaScript truncated %
• Integers only: at most48 digits and512 token characters; safe JSON numbers or exact signed digit strings.

Limitations

• Integer tokens up to48 digits and512 characters; JSON numeric integers must be safe. Use digit strings for larger exact integers; no decimal/scientific syntax.
• Euclidean0<=r<|m|; nonzero modulus. Inverse requires |m|>=2 and gcd(a,m)=1. Canonical bezout_x=inverse, bezout_y=(1-a*inverse)/modulus.
• Numeric outputs are safe integers; larger exact values use decimal strings. No floating rounding or measurement-uncertainty model. Not constant-time cryptography.
• Share links use the current engine. The modular-inverse entry locks inverse, overriding a conflicting mode parameter.