Public evidence

math.geometry.coordinate

Machine-checked verification for calculation version 1.4.0 · tier engine_tested

Open calculator API Capability Download JSON MCP Review policy

Verification

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

Golden tests 5 / 5
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: STALE · Last attested schema matched 1.4.0 snapshot / local build · Semantic contract ✓ · Last attestation PASS · current evidence changed · re-attestation required · Public/cache ✓ · 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 PASS
Origin PASS
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:a70866433470d956683298fb62455856870373ca79d7ee2a5781356481fcd5f8

Input schema sha256:85409cf3bc3556234bf3df2488ea67eedfa21f46512d3fd9dfc41c7f9db6b88b · Output schema sha256:4c95b7a925577584200bbf903524195a9aba23e6b6e9897e06648ba7019b62ed · 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-20
Evidence core: 2026-09-20T02:23:33.704Z
Rendered: 2026-09-20T09:07:29.781Z
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
Two-point line is mode=line; coincident points → INVALID_INPUT
Point-line distance is mode=point_line; requires x0, y0; coincident line points → INVALID_INPUT
Line intersection is mode=intersect; requires x3, y3, x4, y4; parallel distinct → empty; coincident → coincident; degenerate points → INVALID_INPUT
Angle between two lines is mode=angle; requires x3, y3, x4, y4; acute [0°, 90°]; parallel → 0°; coincident → 0°; degenerate points → INVALID_INPUT

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
`golden-angle-45`	golden	pass	Expected angle_deg=45 · status=oblique · Actual x1=0 · x2=2 · mode=angle · y1=0 · y2=2 · x3=0 · y3=0 · x4=2
`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