Public evidence
Machine-checked verification for calculation version 1.3.1 · tier engine_tested
11/11 calculation tests · Production surface contract 4/4
Fingerprint sha256:38f332eb2dd6c8c1aa80f1b0ee0278953a64a6994fb9eb887474b66a49e145a5
Input schema sha256:c5c4cd498c7801cf23ae00b091e1c7b0d4621f02d00abb306e08d8cdd287e39a · Output schema sha256:3e4e1d7c02b0977888f8662c53faec045f16f67ddf9d0c50840942af558a9e26 · 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 |
|---|---|---|---|
2000W-0.8 | golden | pass | Expected 2.5 · Actual 2.5 |
1000W-1 | golden | pass | Expected 1 · Actual 1 |
5000W-0.9 | golden | pass | Expected 5.5556 · Actual 5.555555555555555 |
kva-to-w | golden | pass | Expected 2000 · Actual 2000 |
linear-2x-w | golden | pass | Expected 5 · Actual 5 |
inverse-half-pf | golden | pass | Expected 5 · Actual 5 |
soft-zero-pf | golden | pass | Expected 0 · Actual 0 |
soft-zero-w | golden | pass | Expected 0 · Actual 0 |
800W-0.8 | golden | pass | Expected 1 · Actual 1 |
soft-zero-kva-reverse | golden | pass | Expected 0 · Actual 0 |
1kVA-unity-to-w | golden | pass | Expected 1000 · Actual 1000 |