Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
15/15 calculation tests · Production surface contract 3/3
Fingerprint sha256:f247c55047c820d3ed072ec9243224d8c3aa5d5af4a66f94801978344266e2e6
Input schema sha256:d8551d05b48e99a9d3b08efe16cb0d7e572b0ed5732c51bf4354fb167d7b9803 · Output schema sha256:311b9a157e98906228f1cb054519fb02a8930d12413e1aab86cc1ed23351eb8b · 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-orifice-tank | golden | pass | Expected Q=0.007501533593995419 · H=2 · Cd=0.61 · mode=tank · model=orifice · Actual d=0.05 · mode=tank · Cd=0.61 · g=9.80665 · A=0.001963495408493621 · model=orifice · Q=0.007501533593995419 · H=2 |
boundary-orifice-invert | boundary | pass | Expected H=2 · model=orifice · Actual d=0.05 · mode=tank · Cd=0.61 · g=9.80665 · A=0.001963495408493621 · model=orifice · Q=0.007501533593995419 · H=1.9999999999999996 |
boundary-orifice-meter | boundary | pass | Expected Q=0.005532088060914365 · beta=0.5 · E=1.0327955589886444 · mode=meter · Actual d=0.05 · mode=meter · Cd=0.61 · D=0.1 · beta=0.5 · E=1.0327955589886444 · A=0.001963495408493621 · rho=1000 |
boundary-orifice-meter-inv | boundary | pass | Expected dP=10000 · model=orifice · Actual d=0.05 · mode=meter · Cd=0.61 · D=0.1 · beta=0.5 · E=1.0327955589886444 · A=0.001963495408493621 · rho=1000 |
boundary-orifice-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-orifice-h0 | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-orifice-mixed | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-orifice-weir-L | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-orifice-cd | boundary | pass | Expected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE |
boundary-orifice-weir | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
property-orifice-q | property | pass | tank Q=Cd A √(2gH) |
property-orifice-h | property | pass | H round-trip |
property-orifice-meter | property | pass | meter Q=Cd E At √(2Δp/ρ) |
property-orifice-cd | property | pass | default Cd 0.61 |
property-orifice-model | property | pass | orifice |