Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
17/17 calculation tests · Production surface contract 4/4
Fingerprint sha256:d408aa5ed3f1e0fa778bb51ce68fefeb2a63dd1d69468db502bd68867c116c51
Input schema sha256:1ba406f7d6fa954f4e1167326caf3a5e5413a77d4616742d63a9e3e51cf6cb25 · Output schema sha256:63a1653c24addc4ac4815a5458b81ac356d07614b73de617595f162be7a86808 · 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-hw-hf | golden | pass | Expected hf=0.27227779496920657 · Q=0.02 · C=120 · L=100 · D=0.2 · k=10.67 · mode=head_loss · model=hazen_williams · Actual mode=head_loss · hf=0.27227779496920657 · Q=0.02 · v=0.6366197723675813 · C=120 · L=100 · D=0.2 · A=0.031415926535897934 |
golden-hw-flow | golden | pass | Expected Q=0.02 · hf=0.27227779496920657 · model=hazen_williams · Actual mode=flow · hf=0.27227779496920657 · Q=0.020000000000000004 · v=0.6366197723675814 · C=120 · L=100 · D=0.2 · A=0.031415926535897934 |
boundary-hw-diameter | boundary | pass | Expected D=0.2 · model=hazen_williams · Actual mode=diameter · hf=0.27227779496920657 · Q=0.02 · v=0.6366197723675813 · C=120 · L=100 · D=0.2 · A=0.031415926535897934 |
boundary-hw-c | boundary | pass | Expected C=120 · model=hazen_williams · Actual mode=C · hf=0.27227779496920657 · Q=0.02 · v=0.6366197723675813 · C=119.99999999999999 · L=100 · D=0.2 · A=0.031415926535897934 |
boundary-hw-slope | boundary | pass | Expected Q=0.02 · model=hazen_williams · Actual mode=flow · hf=0.27227779496920657 · Q=0.020000000000000004 · v=0.6366197723675814 · C=120 · L=100 · D=0.2 · A=0.031415926535897934 |
boundary-hw-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-hw-c0 | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-hw-f | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-hw-n | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-hw-v | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-hw-darcy | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
boundary-hw-k | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
property-hw-hf | property | pass | SI k=10.67 hf |
property-hw-s | property | pass | S=hf/L |
property-hw-roundtrip-q | property | pass | flow invert Q |
property-hw-length | property | pass | hf ∝ L |
property-hw-model | property | pass | hazen_williams |