Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
5/5 calculation tests · Production surface contract 1/1
Fingerprint sha256:3fe97780f2eb5a2d76d375ec125899258ba6d9d6310b40258ea698c8c44e8339
Input schema sha256:1f6b21a32f617329f54a31f47f7b19c3f3f66f6fa8ca9a82acc4395844f34ef4 · Output schema sha256:57d8a0bc73eb02ae72f8bbf3131dadcd56005659de9618fd8d80ad08ce44d0a8 · 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 |
|---|---|---|---|
property-sbw-Q | property | pass | Villemonte Qs |
property-sbw-not-free | property | pass | Qs≠Qf |
property-sbw-roundtrip-H2 | property | pass | H2 roundtrip |
property-sbw-Cd | property | pass | default Cd=0.62 |
property-sbw-model | property | pass | villemonte_rectangular |