math.sum

Three distinct suites: educational examples on the calculator page, this legacy regression count (31/31 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.0.3 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.sum-complete-contract-v1. Calculation version 1.0.3. CVP 1.0.0-proposed. 76/76 golden · 6/6 CVP boundary · 9/9 invalid · 3/3 property · 1/1 metamorphic · 8/8 cross-interface · 6/6 CVP contract. digest 52fe61f7c520. 76 independent complete packs across exact decimal, scientific binary64 and bounded Long modes; every prefix/work/flag checked. Sampled domain, no universal ULP guarantee.

• Golden (oracle-backed) 76 / 76
• CVP boundary 6 / 6
• Invalid input 9 / 9
• Property 3 / 3
• Metamorphic 1 / 1
• Cross-interface 8 / 8
• CVP contract 6 / 6
• 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.
• Assurance Core

• 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

Fingerprint sha256:900db633206e3fd01a99aae8dc3009cf6066558d19fc6728d433fbf07d62ed6a

Input schema sha256:0b8022236b6aaf0fc889e544ede24fb9c25860b902d69dfdcecb5ae33f393d40 · Output schema sha256:33b3cda2930b518af8c98e2b004bef2b5fce37e604920acb0344dc1d69f5f29f · 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

add

Engine

sum

Engine build

2026-10-22

Evidence core

2026-10-22T10:58:13.247Z

Rendered

2026-10-23T01:27:11.556Z

Last reviewed

—

Assumptions

• Tokens are parsed as decimal numbers; scientific notation is allowed in Sum mode only.
• Units are not parsed: enter numeric tokens only, for example 5,3 for values measured in kg; 5 kg is rejected. Use a common unit for all inputs.
• Thousands separators are not supported. A comma in 7,890 is a value separator (7 + 890), with a non-blocking warning.
• Long addition pads decimal places with zeros so columns align.
• Plain decimal tokens are summed in base-10 (exact). Any scientific-notation token switches the list to Neumaier compensated IEEE-754 summation.

Limitations

• Plain decimals:48 significant digits and48 fractional places;10000 values,65536 total characters,512 per token. Long:32 nonnegative plain decimals and48 aligned columns.
• sumStr/display are exact only for plain decimals and Long. Numeric fields/chart are binary64 conveniences; mean_rational_exact describes the source and numeric approximation flags describe representation. Repeating means round half away to4 decimal places.
• Any scientific token selects Neumaier binary64. Conversion, cancellation and intermediate range affect results; no universal ULP guarantee. Nonzero underflow and nonfinite intermediates rejected.
• Commas separate values, including apparent thousands groups, which issue a warning. Units are not parsed. Share links use the current engine; historical runtimes are not retained.