Public evidence

math.geometry.conic

Machine-checked verification for calculation version 1.0.0 · tier engine_tested

Open calculator API Capability Download JSON MCP Review policy

Verification

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

Golden tests 3 / 3
Boundary tests 2 / 2
Property tests 5 / 5
Production surface contract 3 / 3
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 (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:944d7535eb49472a7406da9be5915c4c012fcae9e32dce7cb14fcd3d664abcfb

Input schema sha256:e711457c161d276654cd67d058269a6628e9b42983334a8baf698877dbd0546f · Output schema sha256:e09a740c2cbaa5235a989109f284e4c6610ebadb982839aba359bff11b5b80bc · 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: conic-section
Engine: conic-section
Engine build: 2026-09-20
Evidence core: 2026-09-20T02:35:04.118Z
Rendered: 2026-09-20T09:07:29.780Z
Last reviewed: —

Assumptions

Euclidean plane
Axis-aligned standard forms
Not rotated (no xy term)
Not translated
Not the circle-only page
Not coordinate geometry
Not CAS

Limitations

Axis-aligned standard forms only; not rotated (xy term), not translated
Not the circle-only calculator — a=b is a valid ellipse with e=0; /calc/math/circle stays the circle page
Not coordinate geometry (two-point line / intersection / angle)
Ellipse perimeter is Ramanujan I, not a complete elliptic integral
a ≤ 0 or b ≤ 0 → VALUE_MUST_BE_POSITIVE
parabola p = 0 → INVALID_INPUT
unknown mode (including cas, circle, pythagorean) → 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-ellipse-54`	golden	pass	Expected c=3 · e=0.6 · Actual mode=ellipse · a=5 · b=4 · c=3 · e=0.6 · area=62.8318530718 · perimeter=28.3616677843 · major=5
`golden-parabola-focus`	golden	pass	Expected focus_x=0 · focus_y=1 · Actual mode=parabola · p=1 · orientation=vertical · focus_x=0 · focus_y=1 · directrix=y = -1 · equation=x² = 4y · formula=x² = 4py
`golden-hyperbola-345`	golden	pass	Expected c=5 · Actual mode=hyperbola · a=3 · b=4 · c=5 · e=1.66666666667 · orientation=horizontal · asymptote_slope=1.33333333333 · equation=x²/3² − y²/4² = 1
`boundary-conic-mode`	boundary	pass	Expected INVALID_MODE · Actual INVALID_MODE
`boundary-parabola-p0`	boundary	pass	Expected INVALID_INPUT · Actual INVALID_INPUT
`property-conic-ellipse-c`	property	pass	5-4 ellipse
`property-conic-ellipse-area`	property	pass	πab
`property-conic-circle-ellipse`	property	pass	a=b e=0
`property-conic-parabola`	property	pass	focus (0,1)
`property-conic-hyperbola`	property	pass	3-4-5 hyperbola