math.numerical.interpolate

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.6 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-18.interpolation-input-exact-contract-v2. Calculation version 1.1.6. CVP 1.0.0-proposed. 286/286 golden · 8/8 CVP boundary · 25/25 invalid · 1/1 property · 10/10 cross-interface · 1/1 cross-calculator · 6/6 CVP contract. digest 2062859efb28.

• Golden (oracle-backed) 286 / 286
• CVP boundary 8 / 8
• Invalid input 25 / 25
• Property 1 / 1
• Cross-interface 10 / 10
• Cross-calculator 1 / 1
• 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 2/2 (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 all published methods
• 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:979868bf3214e266e73b086bdf8cca6ad1734bf77492a33b2669aa3b48b12d6f

Input schema sha256:5af9e31e556474d7abdc0b8b4a33e96f883a527e494f061bef20a95ad29d8d10 · Output schema sha256:b73c26e4f5963840c07a005421be1e4d4f142f5348bce2637385493bf232aed6 · 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

numerical-interpolation

Engine

numerical-interpolation

Engine build

2026-10-18

Evidence core

2026-10-18T09:19:18.374Z

Rendered

2026-10-23T01:27:11.651Z

Last reviewed

—

Assumptions

• The Result Card includes an engine-linked figure of the tabulated nodes and P(x) (query marker is published y; full sorted points are returned). The same primary engine is used by REST/MCP; curve samples are illustrative binary64 evaluations. Not Akima / PCHIP / regression / CAS.
• Unique x; sorted internally
• Natural spline ends, not clamped
• Not Akima / PCHIP / regression / CAS

Limitations

• Not Akima, PCHIP, clamped spline, or statistical regression
• Linear/spline x outside the table without extrapolate → VALUE_OUT_OF_RANGE
• Lagrange limited to 9 points (degree ≤ 8); linear/spline table ≤ 100
• Not a second interpolator and not CAS
• Exact rational binary64-input primary evaluation; intermediate numerator/denominator at most16384 bits. Publication12 significant digits. Unrepresentable output, nonzero output underflow or unsupported spline coordinate normalization returns NUMERICAL_RANGE_ERROR.
• Finite decimals only; full matching aliases and exactly two cells per node. Curve samples use illustrative binary64 arithmetic, not a certified error bound.