Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
11/11 calculation tests · Production surface contract 4/4
Fingerprint sha256:4f7c98f6d836e8af1fef2609fa8b62d7332ac5c035ea1115ab7d21ba5540519d
Input schema sha256:65d9410031cef6fc8f33b821bcdad9be113c801be3440d3d9f3ebe8473ea5037 · Output schema sha256:7329792b52470abac7c43524f2e4abc6e0dad9123efa21b442d0d0191607e618 · 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-prec | boundary | pass | Expected s=1 · r=2.8 · cv=0.125 · xbar=8 · Actual n=3 · s=1 · cv=0.125 · r=2.8 · xbar=8 · ddof=1 · factor=2.8 |
boundary-prec-span | boundary | pass | Expected s=2 · r=5.6 · Actual n=3 · s=2 · cv=0.3333333333333333 · r=5.6 · xbar=6 · ddof=1 · factor=2.8 |
boundary-prec-flat | boundary | pass | Expected s=0 · r=0 · cv=0 · Actual n=3 · s=0 · cv=0 · r=0 · xbar=8 · ddof=1 · factor=2.8 |
boundary-prec-cvnull | boundary | pass | Expected r=2.8 · Actual n=3 · s=1 · r=2.8 · xbar=0 · ddof=1 · factor=2.8 |
boundary-prec-n1 | boundary | pass | Expected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE |
boundary-prec-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
property-prec | property | pass | 2.8 |
property-prec-span | property | pass | 5.6 |
property-prec-flat | property | pass | 0 |
property-prec-cvnull | property | pass | null |
property-prec-alias | property | pass | 2.8 |