Home Developers Evidence math.geometry.coordinate

Public evidence

math.geometry.coordinate

Machine-checked verification for calculation version 1.5.0 · tier engine_tested

Open calculator API Capability Download JSON MCP Review policy

Verification

21/21 calculation tests · Production surface contract 6/6

  • Golden tests 8 / 8
  • Boundary tests 3 / 3
  • Property tests 10 / 10
  • Production surface contract 6 / 6
    • }
  • Engine tested Yes
  • Source checked Yes
  • Artifact integrity PASS
  • Production attestation Embedded snapshot: Capability production binding: STALE · Last attested schema matched 1.5.0 snapshot / local build · Semantic contract ✓ · Last attestation PASS · Evidence changed after the last successful production attestation. Re-attestation required. · Public/cache ✓ · Origin ✓
  • Semantic contract PASS
  • Evidence attested at 2026-09-21T18:06:22.700Z
  • Last production check 2026-09-21T18:06:22.700Z
  • Public / cache PASS
  • Origin PASS
  • Supplemental domain review Not performed
  • Named expert review Not performed
  • release artifacts aligned PASS
  • schema output required declared PASS
  • schema valid input executes PASS
  • engine success output validates schema PASS
  • schema rejects incomplete input PASS
  • rest success payload validates schema PASS

Fingerprint sha256:bf0bdeec4b0f52e0ff0a18c02f725e129958d490367c3acb50736782c684ac2e

Input schema sha256:af75ecf9feb03e90bfbd4fcc4e8fec32781fd18e6266fa632cb68c969f668ca2 · Output schema sha256:0a6ff13ea27d1647cd8b696249fffaa30ad5706bb2d789e0e11c1452360d1440 · 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-21
Evidence core
2026-09-21T15:31:57.476Z
Rendered
2026-09-21T16:00:36.128Z
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; principal angle [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.

Published checks

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

IDKindStatusDetail
golden-345-distancegoldenpassExpected distance=5 · Actual x1=0 · x2=3 · mode=distance · y1=0 · y2=4 · dx=3 · dy=4 · distance=5
golden-midpointgoldenpassExpected 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-slopegoldenpassExpected slope=2 · intercept=1 · Actual x1=0 · x2=2 · mode=slope · y1=1 · y2=5 · dx=2 · dy=4 · slope=2
golden-verticalgoldenpassExpected vertical=true · Actual x1=2 · x2=2 · mode=slope · y1=0 · y2=5 · dx=0 · dy=5 · vertical=true
golden-angle-45goldenpassExpected angle_deg=45 · status=oblique · supplement_deg=135 · Actual x1=0 · x2=2 · mode=angle · y1=0 · y2=2 · x3=0 · y3=0 · x4=2
golden-angle-parallelgoldenpassExpected angle_deg=0 · status=parallel · supplement_deg=180 · Actual x1=0 · x2=2 · mode=angle · y1=0 · y2=0 · x3=0 · y3=1 · x4=2
golden-angle-coincidentgoldenpassExpected angle_deg=0 · status=coincident · supplement_deg=180 · Actual x1=0 · x2=2 · mode=angle · y1=0 · y2=0 · x3=1 · y3=0 · x4=3
golden-angle-perpendiculargoldenpassExpected angle_deg=90 · status=perpendicular · supplement_deg=90 · Actual x1=0 · x2=2 · mode=angle · y1=0 · y2=0 · x3=0 · y3=0 · x4=0
boundary-coord-modeboundarypassExpected INVALID_MODE · Actual INVALID_MODE
boundary-angle-degenerate-line1boundarypassExpected INVALID_INPUT · Actual INVALID_INPUT
boundary-angle-degenerate-line2boundarypassExpected INVALID_INPUT · Actual INVALID_INPUT
property-coord-345propertypass3-4-5 distance
property-coord-midpropertypassmidpoint
property-coord-slopepropertypassslope 2
property-coord-vertpropertypassvertical
property-coord-hyppropertypassshift 3-4-5
property-angle-endpoint-reversalpropertypassendpoint reversal
property-angle-line-orderpropertypassline order
property-angle-translationpropertypasstranslation
property-angle-scalepropertypassscale
property-angle-near-parallelpropertypassnear-parallel not 0/NaN