Public evidence
Machine-checked verification for calculation version 1.2.1 · tier engine_tested
12/12 calculation tests · Production surface contract 4/4
Fingerprint sha256:216862ae51ca8c327d057d7e892ad7cd4fa43b9fe85beeffe34d7955d68c9d9f
Input schema sha256:da3d1b267a74f132e3257403f322dc1bb601395a234ecd1fef9d7536f9f91843 · Output schema sha256:72d67f9137352c1ceafea373b07c571e8e34cdede5a47e2c582c589dbb506844 · 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 |
|---|---|---|---|
100W-60s | golden | pass | Expected 6000 · Actual 6000 |
50W-25s | golden | pass | Expected 1250 · Actual 1250 |
2W-1h | golden | pass | Expected 7200 · Actual 7200 |
j-to-w | golden | pass | Expected 100 · Actual 100 |
100W-1min | golden | pass | Expected 6000 · Actual 6000 |
j-w-h | golden | pass | Expected 2 · Actual 2 |
linear-2x-P | golden | pass | Expected 12000 · Actual 12000 |
linear-2x-t | golden | pass | Expected 12000 · Actual 12000 |
soft-zero-P | golden | pass | Expected 0 · Actual 0 |
soft-zero-t | golden | pass | Expected 0 · Actual 0 |
soft-zero-t-reverse | golden | pass | Expected 0 · Actual 0 |
soft-zero-E-reverse | golden | pass | Expected 0 · Actual 0 |