Public evidence
Machine-checked verification for calculation version 1.1.0 · tier engine_tested
10/10 calculation tests · Production surface contract 3/3
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.
Engine identity and declared limitations.
Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.
Golden, boundary, and property cases included in this evidence build.
| ID | Kind | Status | Detail |
|---|---|---|---|
golden-unit-circle | golden | pass | Expected diameter=2 · Actual mode=from_radius · r=1 · diameter=2 · circumference=6.28318530718 · area=3.14159265359 · formula=C = 2πr, A = πr² |
golden-circle-area | golden | pass | Expected 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-semicircle | golden | pass | Expected 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-zero | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-circle-pythag | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
property-circle-d | property | pass | d=2r |
property-circle-c | property | pass | C=2πr |
property-circle-a | property | pass | A=πr² |
property-circle-roundtrip | property | pass | area→r |
property-circle-arc | property | pass | semicircle |