Home Developers Evidence math.geometry.circle

Public evidence

math.geometry.circle

Machine-checked verification for calculation version 1.1.0 · tier engine_tested

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: STALE · Last attested schema matched 1.1.0 snapshot / local build · Semantic contract ✓ · Last attestation PASS · current evidence changed · re-attestation required · Public/cache ✓ · Origin ✓ · Live production status STALE (3 capabilities; 161 remain CURRENT) @ 2026-09-20T23:37:12.315Z
  • 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
  • engine success output validates schema PASS

Fingerprint sha256:ad2f4a5081a1fbd37d325d94ea5c16caea6b5c65d7d6ef9bb16dc92729af2421

Input schema sha256:36260ff28aacf5c87aca06fee28339bd8423f42d3ffff1f1769c14a0ae0fd402 · Output schema sha256:7e30f47eb3874a791f11ab46ef9f6eede0abd772066751a9e7f80cc0a01e5164 · 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
circle
Engine
circle
Engine build
2026-09-20
Evidence core
2026-09-20T14:12:52.167Z
Rendered
2026-09-20T23:43:47.435Z
Last reviewed

Assumptions

  • Euclidean plane
  • Not spherical geometry
  • Not Pythagorean-only

Limitations

  • Not a²+b²=c² — use /calc/math/pythagorean
  • r ≤ 0 → VALUE_MUST_BE_POSITIVE
  • Spherical geometry is out of scope

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-circlegoldenpassExpected diameter=2 · Actual mode=from_radius · r=1 · diameter=2 · circumference=6.28318530718 · area=3.14159265359 · formula=C = 2πr, A = πr²
golden-circle-areagoldenpassExpected area=3.141592653589793 · Actual mode=from_radius · r=1 · diameter=2 · circumference=6.28318530718 · area=3.14159265359 · formula=C = 2πr, A = πr²
golden-arc-semicirclegoldenpassExpected arc_length=6.283185307179586 · Actual mode=arc · r=2 · diameter=4 · circumference=12.5663706144 · area=12.5663706144 · theta_deg=180 · theta_rad=3.14159265359 · arc_length=6.28318530718
boundary-circle-zeroboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-circle-pythagboundarypassExpected INVALID_MODE · Actual INVALID_MODE
property-circle-dpropertypassd=2r
property-circle-cpropertypassC=2πr
property-circle-apropertypassA=πr²
property-circle-roundtrippropertypassarea→r
property-circle-arcpropertypasssemicircle