Public evidence

math.numerical.derivative

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 2/2

Golden tests 2 / 2
Boundary tests 2 / 2
Property tests 5 / 5
Production surface contract 2 / 2
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 rejects incomplete input PASS

Fingerprint sha256:b978c1d5ceec96713a59947f3df87d26fd9bae04073133a3b817bea0b79805e8

Input schema sha256:d747aec9812543914802bd3f28bc61246c08467fc957cb1df8e7a3547e838e1e · Output schema sha256:c8790e94c3fc780840d7e5f1345ebe8804e3b6d583739858825872d1a8049acf · 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: numerical-derivative
Engine: numerical-derivative
Engine build: 2026-09-18
Evidence core: 2026-09-18T23:55:25.063Z
Rendered: 2026-09-19T02:14:29.321Z
Last reviewed: —

Assumptions

Not symbolic CAS d/dx
Polynomial degree ≤ 8

Limitations

Not symbolic / CAS d/dx
h ≤ 0 → VALUE_MUST_BE_POSITIVE
Polynomial degree ≤ 8
Not a Statistics calculator

Sources

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

ISO 80000-2:2019 Quantities and units — Mathematics

Published checks

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

ID	Kind	Status	Detail
`golden-x2`	golden	pass	Expected exact=6 · Actual value=6.00000000084 · method=central · integrand=poly · x=3 · h=0.000001 · exact=6 · abs_err=8.38667801872e-10 · formula=(f(x+h) − f(x−h)) / (2h)
`golden-sin0`	golden	pass	Expected exact=1 · Actual value=1 · method=central · integrand=sin · x=0 · h=0.000001 · exact=1 · abs_err=-1.66644475996e-13 · formula=(f(x+h) − f(x−h)) / (2h)
`boundary-h-zero`	boundary	pass	Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
`boundary-autodiff`	boundary	pass	Expected INVALID_MODE · Actual INVALID_MODE
`property-d-x2`	property	pass	d(x²)/dx at 3
`property-d-x2-fd`	property	pass	central x² ≈ 6
`property-d-x`	property	pass	d(x)/dx
`property-d-sin`	property	pass	cos 0
`property-d-exp`	property	pass	e⁰