Public evidence

math.geometry.solid

Machine-checked verification for calculation version 1.1.0 · tier engine_tested

Open calculator API Capability Download JSON MCP Review policy

Verification

16/16 calculation tests · Production surface contract 3/3

Golden tests 5 / 5
Boundary tests 3 / 3
Property tests 8 / 8
Production surface contract 3 / 3
Engine tested Yes
Source checked Yes
Artifact integrity PASS
Production attestation Embedded snapshot: unpublished · Build schema 1.1.0 ready · Semantic contract ✓ · Attestation report not published on origin · Live production status STALE (2 capabilities; 162 remain CURRENT) @ 2026-09-20T09:01:12.147Z
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

Fingerprint sha256:36f90431305d9ba308e2db0667766b67622df49a6d97ff623e729bdace267639

Input schema sha256:d3ddf0ee8d39bd2639af36025637891620c043612cda4d4a9bc054d53958afa4 · Output schema sha256:5783dd2ee0ddde30b9000d08b07e9c7206d76b4cc5180599c193136223c711c6 · 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: solid-geometry
Engine: solid-geometry
Engine build: 2026-09-20
Evidence core: 2026-09-20T08:39:07.322Z
Rendered: 2026-09-20T09:07:29.781Z
Last reviewed: —

Assumptions

Euclidean 3-space
Right circular solids
Ring torus R > r
Not the circle-only page
Not a vector
Not ISO 5167-5
Not prism / pyramid
Not CAS

Limitations

Right circular solids only; not oblique
Not the circle-only page — 2-D circle stays on math.geometry.circle
Not a vector — math.vector is R²/R³ algebra
Not ISO 5167-5 cone meter (physics.fluid.iso_cone)
Torus is a ring torus: major R > tube r; horn/spindle out of scope
Right circular frustum needs R,r,h>0; r=R recovers a cylinder; not a cone page
Prism / pyramid / regular solids later on this engine
unknown mode (including cas, vector, iso-cone) → INVALID_MODE

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-unit-sphere`	golden	pass	Expected volume=4.18879020479 · surface=12.5663706144 · Actual mode=sphere · r=1 · volume=4.18879020479 · surface=12.5663706144 · formula=V = (4/3)πr³, A = 4πr²
`golden-cone-345`	golden	pass	Expected slant=5 · volume=37.6991118431 · Actual mode=cone · r=3 · h=4 · slant=5 · volume=37.6991118431 · lateral=47.1238898038 · surface=75.3982236862 · formula=V = (1/3)πr²h, l = √(r²+h²)
`golden-unit-cylinder`	golden	pass	Expected volume=3.14159265359 · Actual mode=cylinder · r=1 · h=1 · volume=3.14159265359 · lateral=6.28318530718 · surface=12.5663706144 · formula=V = πr²h, A = 2πr(r+h)
`boundary-solid-mode`	boundary	pass	Expected INVALID_MODE · Actual INVALID_MODE
`boundary-torus-horn`	boundary	pass	Expected INVALID_INPUT · Actual INVALID_INPUT
`golden-frustum-213`	golden	pass	Expected volume=21.9911485751 · Actual mode=frustum · R=2 · r=1 · h=3 · slant=3.16227766017 · volume=21.9911485751 · lateral=29.8037647974 · surface=45.5117280653
`golden-frustum-cyl`	golden	pass	Expected volume=3.14159265359 · cylinder=true · Actual mode=frustum · R=1 · r=1 · h=1 · slant=1 · volume=3.14159265359 · lateral=6.28318530718 · surface=12.5663706144
`boundary-frustum-h`	boundary	pass	Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
`property-solid-sphere-v`	property	pass	unit sphere V
`property-solid-sphere-a`	property	pass	unit sphere A
`property-solid-cyl`	property	pass	unit cylinder V
`property-solid-cone-l`	property	pass	3-4-5 slant
`property-solid-cone-v`	property	pass	3-4 cone V
`property-solid-torus`	property	pass	3-1 torus V
`property-solid-frustum-213`	property	pass	frustum 2-1-3
`property-solid-frustum-cyl`	property	pass	r=R frustum is cylinder