Public evidence
Machine-checked verification for calculation version 1.2.0 · tier engine_tested
12/12 calculation tests · Production surface contract 4/4
Fingerprint sha256:175ba06d5729d003470fae5badae1fc316684c27b3e52df8c5f7676830bd63f0
Input schema sha256:0f0b3f5dddab328203bf44120bd3ba0659f61d56e9915d36d8e31100d2986b34 · Output schema sha256:a186863406b9c7290c635c276a3b34612abc70cb54a82c0a62308d9c67c80d4d · 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 |
|---|---|---|---|
12V-5C | golden | pass | Expected 60 · Actual 60 |
12V-1C | golden | pass | Expected 12 · Actual 12 |
j-to-v | golden | pass | Expected 12 · Actual 12 |
1V-1e | golden | pass | Expected 1.602176565e-19 · Actual 1.602176565e-19 |
j-v-e-1eV | golden | pass | Expected 1 · Actual 0.9999999970218315 |
linear-2x-V | golden | pass | Expected 120 · Actual 120 |
linear-2x-Q | golden | pass | Expected 120 · Actual 120 |
soft-zero-V | golden | pass | Expected 0 · Actual 0 |
soft-zero-Q | golden | pass | Expected 0 · Actual 0 |
soft-zero-Q-reverse | golden | pass | Expected 0 · Actual 0 |
soft-zero-E-reverse | golden | pass | Expected 0 · Actual 0 |
120V-1C | golden | pass | Expected 120 · Actual 120 |