Public evidence

math.numerical.root

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

Golden tests 2 / 2
Boundary tests 2 / 2
Property tests 5 / 5
Production surface contract 1 / 1
Engine tested Yes
Source checked Yes
Artifact integrity PASS
Production attestation Embedded snapshot: STALE · Last attested schema matched 1.0.0 snapshot / local build · Semantic contract ✓ · Last attestation PASS · current evidence changed · re-attestation required · Public/cache ✓ · Origin ✓ · Live production status STALE (22 capabilities; 141 remain CURRENT) @ 2026-09-16T23:23:51.370Z
Semantic contract PASS
Evidence attested at 2026-09-16T23:23:50.558Z
Last production check 2026-09-16T23:23:50.558Z
Public / cache PASS
Origin PASS
Supplemental domain review Not performed
Named expert review Not performed

release artifacts aligned PASS

Fingerprint sha256:fa2831c926669b8a418d15ca943fe489d99082f20cabac6f1a00aa56a751eddd

Input schema sha256:b18eb4a15dcc4a82cb1b73be6c893a0ff5312c1d88b5c03367d8ad7d03302cb6 · Output schema sha256:9196bde7e9884fab5a62cd21ec2d6b2424ca620749bb995fc5035c3b93eb22d6 · 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-root
Engine: numerical-root
Engine build: 2026-09-16
Evidence core: 2026-09-16T15:17:27.422Z
Rendered: 2026-09-16T22:38:08.876Z
Last reviewed: —

Assumptions

Real polynomials
Not CAS / not complex roots listed

Limitations

Not ⁿ√a — that remains /calc/math/root
Not three independent Newton/bisection/secant product pages
Degree > 8 → INVALID_INPUT
No convergence → NO_CONVERGENCE

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-newton-sqrt2`	golden	pass	Expected root=1.4142135623730951 · Actual method=newton · degree=2 · root=1.41421356237 · residual=4.51061410445e-12 · iterations=4 · tol=1e-10 · formula=x ← x − f(x)/f′(x)
`golden-bisection-sqrt2`	golden	pass	Expected root=1.4142135623730951 · Actual method=bisection · degree=2 · root=1.41421356238 · residual=3.15445447541e-11 · iterations=30 · tol=1e-10 · formula=midpoint until sign change bracket shrinks
`boundary-no-sign-change`	boundary	pass	Expected INVALID_INPUT · Actual INVALID_INPUT
`boundary-halley`	boundary	pass	Expected INVALID_MODE · Actual INVALID_MODE
`property-root-newton`	property	pass	√2 newton
`property-root-bisect`	property	pass	√2 bisection
`property-root-secant`	property	pass	√2 secant
`property-root-lin`	property	pass	x-4=0
`property-root-zero`	property	pass	x=0