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:edc9b908435d612a78f90c23d9c46cd001da21351fc46a711cb2af2dcfecf2b8
Input schema sha256:82759d8a740a667c38e376fb92367ac4bd5b8d4d4971f58f56e6f67a88ec8013 · Output schema sha256:67caad0194ecb7b65170797f8edc5f955455b6899c7cfbced9588f827e740443 · 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-tse-E | property | pass | E=y+Q²/(2gA²) |
property-tse-not-rect | property | pass | E≠rectangular Q encoding |
property-tse-not-yv | property | pass | E≠y+v²/(2g) |
property-tse-roundtrip-Q | property | pass | Q roundtrip |
property-tse-model | property | pass | specific_energy_trapezoid |