Public evidence

math.geometry.coordinate

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 4 / 4
Boundary tests 1 / 1
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 PASS (0 stale; 164 CURRENT) @ 2026-09-16T06:44:24.909Z
Semantic contract PASS
Evidence attested at 2026-09-16T06:44:24.203Z
Last production check 2026-09-16T06:44:24.203Z
Public / cache —
Origin —
Supplemental domain review Not performed
Named expert review Not performed

release artifacts aligned PASS
schema valid input executes PASS
schema rejects incomplete input PASS

Fingerprint sha256:9d7d56c51197fa062582a037f697900cb11b990dbc943fa0e08aeda4c2493492

Input schema sha256:d21805784f8e8fbfc705603ce89168956a1690daed3ec5fc41df5cca9012f4c0 · Output schema sha256:e3b88876bbfe00a06a744b6f783c980b5891cdbf187d31b42a721ab670fafa29 · 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: coordinate-geometry
Engine: coordinate-geometry
Engine build: 2026-09-16
Evidence core: 2026-09-16T15:14:48.779Z
Rendered: 2026-09-16T22:38:08.876Z
Last reviewed: —

Assumptions

Euclidean plane
Not 3-D / spherical

Limitations

Not the Pythagorean-only calculator — distance of (0,0) to (3,4) is the same 5 as 3-4-5, but this page is coordinates
Vertical line → slope null, vertical true
Share URLs use slope as output, not query key m

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-345-distance`	golden	pass	Expected distance=5 · Actual x1=0 · x2=3 · mode=distance · y1=0 · y2=4 · dx=3 · dy=4 · distance=5
`golden-midpoint`	golden	pass	Expected mx=2 · my=3 · Actual x1=0 · x2=4 · mode=midpoint · y1=0 · y2=6 · mx=2 · my=3 · formula=M = ((x₁+x₂)/2, (y₁+y₂)/2)
`golden-slope`	golden	pass	Expected slope=2 · intercept=1 · Actual x1=0 · x2=2 · mode=slope · y1=1 · y2=5 · dx=2 · dy=4 · slope=2
`golden-vertical`	golden	pass	Expected vertical=true · Actual x1=2 · x2=2 · mode=slope · y1=0 · y2=5 · dx=0 · dy=5 · vertical=true
`boundary-coord-mode`	boundary	pass	Expected INVALID_MODE · Actual INVALID_MODE
`property-coord-345`	property	pass	3-4-5 distance
`property-coord-mid`	property	pass	midpoint
`property-coord-slope`	property	pass	slope 2
`property-coord-vert`	property	pass	vertical
`property-coord-hyp`	property	pass	shift 3-4-5