math.numerical.ode

Three distinct suites: educational examples on the calculator page, this legacy regression count (9/9 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.1.1 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-07.ode-input-summary. Calculation version 1.0.4. CVP 1.0.0-proposed. 27/27 golden · 2/2 CVP boundary · 15/15 invalid · 1/1 property · 8/8 cross-interface · 1/1 cross-calculator · 6/6 CVP contract. digest 4e8cee39192f.

• Golden (oracle-backed) 27 / 27
• CVP boundary 2 / 2
• Invalid input 15 / 15
• Property 1 / 1
• Cross-interface 8 / 8
• 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:03a8c744510c89d6e876835aabc10fc0f622bbf728e9fb4363053e2a2a24ee8f

Input schema sha256:2b6bc93a200e5adcd511557737dd726eaeb5c2d51c44d961d1243c2687c1b398 · Output schema sha256:6ce6df2a9929f6633f5b7f5a3435b7842c7d9b9b43909a83dd95d888cf0a97be · 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

ordinary-differential-equation

Engine

ordinary-differential-equation

Engine build

2026-10-07

Evidence core

2026-10-07T12:54:25.206Z

Rendered

2026-10-13T06:23:44.410Z

Last reviewed

—

Assumptions

• The Result Card includes an engine-linked Live graph of numerical y(t) using the same Overview / Focus template as Log (Overview window t0…t1; current point is published y(t1); same Euler/RK4 stepper as REST/MCP). Exact y(t1) is a reference when it differs. Not rk45, not systems, not PDE, not CAS.
• Scalar first-order only
• Polynomial degree ≤ 8

Limitations

• Not rk45 / adaptive / Dormand–Prince
• Not systems of ODEs or second-order IVP
• Not PDE / CAS / symbolic solve
• n ≤ 10000
• t1 = t0 → INVALID_INPUT