Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
6/6 calculation tests · Production surface contract 4/4
Fingerprint sha256:057b1acfa986f0213d576cf63b66e8b9129be9b4ac717e2983db545641ef7d2e
Input schema sha256:3a5a70db41b37dbb0d94880432d51c4c4b34acd8d055a046a523ec35edd8d11c · Output schema sha256:a672d995cb1c232851f9262ced9a47d6550ff9fde97e2bb435ac35ab286f47ce · 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 |
|---|---|---|---|
boundary-err | boundary | pass | Expected error=0.5 · abs_error=0.5 · relative=0.25 · Actual error=0.5 · ylab=2.5 · xref=2 · abs_error=0.5 · relative=0.25 |
boundary-err-zero | boundary | pass | Expected error=2.5 · Actual error=2.5 · ylab=2.5 · xref=0 · abs_error=2.5 |
boundary-err-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
property-err | property | pass | 0.5 |
property-err-alias | property | pass | 2 |
property-err-zero | property | pass | null |