Home Developers Evidence math.geometry.solid

Public evidence

math.geometry.solid

Machine-checked verification for calculation version 1.11.0 · tier engine_tested

Verification

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

  • Golden tests 25 / 25
  • Boundary tests 13 / 13
  • Property tests 28 / 28
  • Production surface contract 3 / 3
  • }
  • Engine tested Yes
  • Source checked Yes
  • Artifact integrity PASS
  • Production attestation Embedded snapshot: unpublished · Build schema 1.11.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:7f67821d0da3fe01663447846765c3965377fa7703eb4bb3af3f2a91b9746b4e

Input schema sha256:0b4778e58eca245aabbc711734663fe229047c163adfe35471440a49d807a266 · Output schema sha256:7306ad09b8d97f3df094cba4683f2d1de28f423f073474c4cd8e612d41c2bb23 · 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-20T11:14:01.059Z
Rendered
2026-09-20T11:19:38.023Z
Last reviewed

Assumptions

  • Euclidean 3-space
  • Right solids; not oblique
  • Ring torus R > r
  • Not the circle-only page
  • Not a vector
  • Not ISO 5167-5
  • Not a sphere page for ellipsoid
  • Not CAS

Limitations

  • Right 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
  • Right rectangular prism needs a,b,h>0; a=b=h is a cube; not a frustum page
  • Right rectangular pyramid needs a,b,h>0; V=abh/3; apex above the base center; a=b is a square base; not a prism page
  • Regular tetrahedron needs a>0; V=a³√2/12, A=a²√3; not a rectangular pyramid page
  • Regular octahedron needs a>0; V=(√2/3)a³, A=2√3 a²; not a tetrahedron page
  • Regular icosahedron needs a>0; V=(5/12)(3+√5)a³, A=5√3 a²; not an octahedron page
  • Regular dodecahedron needs a>0; V=(1/4)(15+7√5)a³, A=3√(25+10√5) a²; not an icosahedron page
  • Regular n-gon prism needs integer n≥3 and s,h>0; base from math.geometry.plane; n=4 matches a square rectangular prism; not /prism; not an n-gon pyramid
  • Regular n-gon pyramid needs integer n≥3 and s,h>0; V=A h/3 with A from math.geometry.plane; n=4 matches a square rectangular pyramid; not /pyramid; not a tetrahedron; not /regular-frustum
  • Regular n-gon frustum needs integer n≥3 and s,t,h>0; V=h/3(A+a+√(Aa)) with A,a from math.geometry.plane; s=t recovers a regular prism; lateral faces from the plane isosceles trapezoid; not /frustum; not /regular-pyramid
  • Ellipsoid needs a,b,c>0; V=4/3 πabc; a=b=c is a sphere; not /sphere; not the 2-D ellipse; triaxial surface later
  • 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.

Published checks

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

IDKindStatusDetail
golden-unit-spheregoldenpassExpected 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-345goldenpassExpected 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-cylindergoldenpassExpected 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-modeboundarypassExpected INVALID_MODE · Actual INVALID_MODE
boundary-torus-hornboundarypassExpected INVALID_INPUT · Actual INVALID_INPUT
golden-frustum-213goldenpassExpected 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-cylgoldenpassExpected 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-hboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
golden-prism-234goldenpassExpected volume=24 · surface=52 · lateral=40 · cube=false · Actual mode=prism · a=2 · b=3 · h=4 · volume=24 · lateral=40 · surface=52 · diagonal=5.38516480713
golden-prism-cubegoldenpassExpected volume=1 · surface=6 · cube=true · Actual mode=prism · a=1 · b=1 · h=1 · volume=1 · lateral=4 · surface=6 · diagonal=1.73205080757
boundary-prism-hboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
golden-pyramid-234goldenpassExpected volume=8 · square_base=false · Actual mode=pyramid · a=2 · b=3 · h=4 · volume=8 · lateral=20.9133206222 · surface=26.9133206222 · slant_a=4.27200187266
golden-pyramid-squaregoldenpassExpected volume=48 · surface=96 · lateral=60 · slant_a=5 · slant_b=5 · square_base=true · Actual mode=pyramid · a=6 · b=6 · h=4 · volume=48 · lateral=60 · surface=96 · slant_a=5
boundary-pyramid-hboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
golden-tetra-unitgoldenpassExpected volume=0.117851130198 · surface=1.73205080757 · Actual mode=tetrahedron · a=1 · volume=0.117851130198 · surface=1.73205080757 · height=0.816496580928 · face=0.433012701892 · formula=V = a³√2/12, A = a²√3
golden-tetra-sqrt2goldenpassExpected volume=0.333333333333 · Actual mode=tetrahedron · a=1.4142135623730951 · volume=0.333333333333 · surface=3.46410161514 · height=1.15470053838 · face=0.866025403784 · formula=V = a³√2/12, A = a²√3
boundary-tetra-aboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
golden-octa-unitgoldenpassExpected volume=0.471404520791 · surface=3.46410161514 · Actual mode=octahedron · a=1 · volume=0.471404520791 · surface=3.46410161514 · height=1.41421356237 · face=0.433012701892 · formula=V = (√2/3)a³, A = 2√3 a²
golden-octa-sqrt2goldenpassExpected volume=1.33333333333 · Actual mode=octahedron · a=1.4142135623730951 · volume=1.33333333333 · surface=6.92820323028 · height=2 · face=0.866025403784 · formula=V = (√2/3)a³, A = 2√3 a²
boundary-octa-aboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
golden-ico-unitgoldenpassExpected volume=2.18169499062 · surface=8.66025403784 · Actual mode=icosahedron · a=1 · volume=2.18169499062 · surface=8.66025403784 · height=1.90211303259 · face=0.433012701892 · formula=V = (5/12)(3+√5)a³, A = 5√3 a²
golden-ico-a2goldenpassExpected volume=17.453559925 · Actual mode=icosahedron · a=2 · volume=17.453559925 · surface=34.6410161514 · height=3.80422606518 · face=1.73205080757 · formula=V = (5/12)(3+√5)a³, A = 5√3 a²
boundary-ico-aboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
golden-dodeca-unitgoldenpassExpected volume=7.66311896062 · surface=20.6457288071 · Actual mode=dodecahedron · a=1 · volume=7.66311896062 · surface=20.6457288071 · height=2.80251707689 · face=1.72047740059 · formula=V = (1/4)(15+7√5)a³, A = 3√(25+10√5) a²
golden-dodeca-a2goldenpassExpected volume=61.304951685 · Actual mode=dodecahedron · a=2 · volume=61.304951685 · surface=82.5829152283 · height=5.60503415378 · face=6.88190960236 · formula=V = (1/4)(15+7√5)a³, A = 3√(25+10√5) a²
boundary-dodeca-aboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
golden-regular-prism-hexgoldenpassExpected volume=2.59807621135 · surface=11.1961524227 · Actual n=6 · mode=regular_prism · s=1 · h=1 · base=2.59807621135 · apothem=0.866025403784 · volume=2.59807621135 · lateral=6
golden-regular-prism-trigoldenpassExpected volume=1.73205080757 · Actual n=3 · mode=regular_prism · s=2 · h=1 · base=1.73205080757 · apothem=0.57735026919 · volume=1.73205080757 · lateral=6
boundary-regular-prism-nboundarypassExpected INVALID_INPUT · Actual INVALID_INPUT
golden-regular-pyramid-hexgoldenpassExpected volume=0.8660254037844386 · Actual n=6 · mode=regular_pyramid · s=1 · h=1 · base=2.59807621135 · apothem=0.866025403784 · slant=1.32287565553 · volume=0.866025403783
golden-regular-pyramid-squaregoldenpassExpected volume=48 · surface=96 · Actual n=4 · mode=regular_pyramid · s=6 · h=4 · base=36 · apothem=3 · slant=5 · volume=48
boundary-regular-pyramid-nboundarypassExpected INVALID_INPUT · Actual INVALID_INPUT
golden-regular-frustum-hexgoldenpassExpected volume=6.06217782649107 · Actual n=6 · mode=regular_frustum · s=2 · t=1 · h=1 · base=10.3923048454 · cap=2.59807621135 · apothem=1.73205080757
golden-regular-frustum-prismgoldenpassExpected volume=2.59807621135 · prism=true · Actual n=6 · mode=regular_frustum · s=1 · t=1 · h=1 · base=2.59807621135 · cap=2.59807621135 · apothem=0.866025403784
boundary-regular-frustum-nboundarypassExpected INVALID_INPUT · Actual INVALID_INPUT
golden-ellipsoid-triaxialgoldenpassExpected volume=12.5663706144 · sphere=false · Actual mode=ellipsoid · a=2 · b=1.5 · c=1 · volume=12.5663706144 · surface=27.9010077699 · sphere=false · formula=V = 4/3 πabc
golden-ellipsoid-spheregoldenpassExpected volume=4.18879020479 · surface=12.5663706144 · sphere=true · Actual mode=ellipsoid · a=1 · b=1 · c=1 · volume=4.18879020479 · surface=12.5663706144 · sphere=true · formula=V = 4/3 πa³, A = 4πa²
boundary-ellipsoid-cboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
property-solid-sphere-vpropertypassunit sphere V
property-solid-sphere-apropertypassunit sphere A
property-solid-cylpropertypassunit cylinder V
property-solid-cone-lpropertypass3-4-5 slant
property-solid-cone-vpropertypass3-4 cone V
property-solid-toruspropertypass3-1 torus V
property-solid-frustum-213propertypassfrustum 2-1-3
property-solid-frustum-cylpropertypassr=R frustum is cylinder
property-solid-prism-234propertypassprism 2-3-4
property-solid-prism-cubepropertypassunit cube
property-solid-pyramid-234propertypasspyramid V = prism V / 3
property-solid-pyramid-squarepropertypasssquare 6-6-4
property-solid-tetra-unitpropertypassunit tetrahedron
property-solid-tetra-sqrt2propertypassa=√2 V=1/3
property-solid-octa-unitpropertypassunit octahedron
property-solid-octa-sqrt2propertypassa=√2 V=4/3
property-solid-ico-unitpropertypassunit icosahedron
property-solid-ico-a2propertypassa=2 V=(10/3)(3+√5)
property-solid-dodeca-unitpropertypassunit dodecahedron
property-solid-dodeca-a2propertypassa=2 V=30+14√5
property-solid-regular-prism-hexpropertypasshex prism V = A h
property-solid-regular-prism-squarepropertypassn=4 matches square prism
property-solid-regular-pyramid-hexpropertypasshex pyramid V = prism V / 3
property-solid-regular-pyramid-squarepropertypassn=4 matches square pyramid
property-solid-regular-frustum-hexpropertypasshex frustum V = 7√3/2
property-solid-regular-frustum-prismpropertypasss=t recovers hex prism
property-solid-ellipsoid-215propertypassellipsoid 2-1.5-1 V = 4π
property-solid-ellipsoid-spherepropertypassa=b=c recovers sphere