Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
17/17 calculation tests · Production surface contract 3/3
Fingerprint sha256:abbd973162745910af65ab983225e0061f8c9bcf5ea59239e954426a3755269e
Input schema sha256:9c041efc9c0f603cf0325801f10b8f90e03e49ef0f7fa74f39df5593b1e6ce4f · Output schema sha256:292f0bd466be0e5ea6c0ecf6289c63deeafed233e31469d519403ce700c6e9ab · 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 |
|---|---|---|---|
golden-hj-fr | golden | pass | Expected y1=1 · y2=2.3722813232690143 · Fr1=2 · mode=sequent · model=hydraulic_jump · Actual mode=sequent · y1=1 · y2=2.3722813232690143 · Fr1=2 · Fr2=0.5473696470780532 · v1=6.2631142413339385 · v2=2.640122897693828 · dE=0.27233488537882894 |
golden-hj-v | golden | pass | Expected y2=2.3722813232690143 · Fr1=2 · model=hydraulic_jump · Actual mode=sequent · y1=1 · y2=2.3722813232690143 · Fr1=2 · Fr2=0.5473696470780532 · v1=6.2631142413339385 · v2=2.640122897693828 · dE=0.27233488537882894 |
boundary-hj-y1 | boundary | pass | Expected y1=1 · model=hydraulic_jump · Actual mode=upstream · y1=1 · y2=2.3722813232690143 · Fr1=2 · Fr2=0.5473696470780532 · v1=6.2631142413339385 · v2=2.640122897693828 · dE=0.27233488537882894 |
boundary-hj-dE | boundary | pass | Expected dE=0.27233488537882894 · model=hydraulic_jump · Actual mode=energy · y1=1 · y2=2.3722813232690143 · Fr1=2 · Fr2=0.5473696470780532 · v1=6.2631142413339385 · v2=2.640122897693828 · dE=0.27233488537882894 |
boundary-hj-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-hj-fr1 | boundary | pass | Expected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE |
boundary-hj-fr05 | boundary | pass | Expected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE |
boundary-hj-Re | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-hj-n | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-hj-A | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-hj-L | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-hj-froude | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
property-hj-y2 | property | pass | Bélanger y2 |
property-hj-Fr2 | property | pass | Fr2 |
property-hj-dE | property | pass | ΔE |
property-hj-roundtrip-y1 | property | pass | y1 invert |
property-hj-model | property | pass | hydraulic_jump |