Home Developers Evidence math.numerical.ode

Public evidence

math.numerical.ode

Machine-checked verification for calculation version 1.0.0 · tier engine_tested

Open calculator API Capability Download JSON MCP Review policy

Verification

9/9 calculation tests · Production surface contract 4/4

  • Golden tests 3 / 3
  • Boundary tests 2 / 2
  • Property tests 4 / 4
  • Production surface contract 4 / 4
    • }
  • Engine tested Yes
  • Source checked Yes
  • Artifact integrity PASS
  • Production attestation Embedded snapshot: unpublished · Build schema 1.0.0 ready · Semantic contract ✓ · Attestation report not published on origin · Live production status STALE (1 capability; 163 remain CURRENT) @ 2026-09-19T00:00:17.039Z
  • Semantic contract PASS
  • Evidence attested at 2026-09-18T21:41:55.460Z
  • Last production check 2026-09-18T21:41:55.460Z
  • Public / cache —
  • Origin —
  • Supplemental domain review Not performed
  • Named expert review Not performed
  • release artifacts aligned PASS
  • schema valid input executes PASS
  • engine success output validates schema PASS
  • schema rejects incomplete input PASS

Fingerprint sha256:d622c6611d7855cf87621d4fb64455f55fa94c11b68aa28c7db9765b03e2f118

Input schema sha256:acb60c714a1493f7f17143c6226654e29e09b29de546b8132f1087c839085132 · Output schema sha256:f93835add46ecb8c275e8d8f1ec3c4fce4e20ed754ae8ef75fde339410753de6 · 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.

Build & scope

Engine identity and declared limitations.

Tool
ordinary-differential-equation
Engine
ordinary-differential-equation
Engine build
2026-09-19
Evidence core
2026-09-19T12:26:54.462Z
Rendered
2026-09-19T13:13:12.839Z
Last reviewed
—

Assumptions

  • Scalar first-order only
  • Not rk45, not systems, not PDE, not CAS
  • 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

Sources

Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.

Published checks

Golden, boundary, and property cases included in this evidence build.

IDKindStatusDetail
golden-rk4-expgoldenpassExpected exact=2.718281828459045 · Actual n=40 · method=rk4 · rhs=linear · t0=0 · t1=1 · y0=1 · h=0.025 · y=2.71828181979
golden-euler-expgoldenpassExpected exact=2.718281828459045 · Actual n=40 · method=euler · rhs=linear · t0=0 · t1=1 · y0=1 · h=0.025 · y=2.68506383839
golden-poly-2tgoldenpassExpected exact=1 · Actual n=20 · method=rk4 · rhs=poly · t0=0 · t1=1 · y0=0 · h=0.05 · y=1
boundary-rk45boundarypassExpected INVALID_MODE · Actual INVALID_MODE
boundary-t-equalboundarypassExpected INVALID_INPUT · Actual INVALID_INPUT
property-ode-rk4-epropertypassRK4 y′=y → e
property-ode-euler-coarserpropertypassEuler |err| > RK4
property-ode-poly-2tpropertypassy′=2t exact 1
property-ode-k2propertypassy′=2y exact e²