Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
9/9 calculation tests · Production surface contract 4/4
Fingerprint sha256:30594010561213e600e36197c86411178a36f5e5912b23d47f98902f0577bd2b
Input schema sha256:6ec0c7626da46df762348ca264b0cee278acb4e5929d857aa046eb758cf3e24c · Output schema sha256:199f4014b5cba69e93ef6b72f724f52eff15c2e5b6b968f8232bad1feb4e0bf4 · 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-en | boundary | pass | Expected En=0.5 · abs_En=0.5 · decision=pass · Actual En=0.5 · abs_En=0.5 · decision=pass · ylab=2.5 · xref=0 · Ulab=3 · Uref=4 |
boundary-en-one | boundary | pass | Expected En=1 · decision=pass · Actual En=1 · abs_En=1 · decision=pass · ylab=5 · xref=0 · Ulab=3 · Uref=4 |
boundary-en-fail | boundary | pass | Expected En=1.5 · decision=fail · Actual En=1.5 · abs_En=1.5 · decision=fail · ylab=7.5 · xref=0 · Ulab=3 · Uref=4 |
boundary-en-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-en-U | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
property-en | property | pass | 0.5 |
property-en-one | property | pass | 1 |
property-en-fail | property | pass | fail |
property-en-alias | property | pass | 0.5 |