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:7c0b6abb3feaef1d4ca77ef75fa3894e04cac58583096ad5793abb903ee8d253
Input schema sha256:0f4da45d859137348ae4dff97662c30d93b356e4bdd6d15d787a1c905890b09c · Output schema sha256:b9a5981e47461877ddac5c3cefe15429a50a835dbd1129ba4016a511616ede31 · 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-dh-section | golden | pass | Expected Dh=0.1 · R=0.025 · A=0.01 · Pw=0.4 · mode=general · model=hydraulic_diameter · Actual mode=general · Dh=0.09999999999999999 · R=0.024999999999999998 · A=0.01 · Pw=0.4 · model=hydraulic_diameter |
golden-dh-circular | golden | pass | Expected Dh=0.1 · D=0.1 · model=hydraulic_diameter · Actual mode=circular · Dh=0.1 · R=0.025 · A=0.007853981633974483 · Pw=0.3141592653589793 · model=hydraulic_diameter · D=0.1 |
boundary-dh-rect | boundary | pass | Expected Dh=0.13333333333333333 · a=0.2 · b=0.1 · model=hydraulic_diameter · Actual mode=rectangular · Dh=0.13333333333333333 · R=0.03333333333333333 · A=0.020000000000000004 · Pw=0.6000000000000001 · model=hydraulic_diameter · a=0.2 · b=0.1 |
boundary-dh-annulus | boundary | pass | Expected Dh=0.04 · model=hydraulic_diameter · Actual mode=annular · Dh=0.04000000000000001 · R=0.010000000000000002 · A=0.005026548245743671 · Pw=0.5026548245743669 · model=hydraulic_diameter · D_o=0.1 · D_i=0.06 |
boundary-dh-from-r | boundary | pass | Expected Dh=0.1 · R=0.025 · model=hydraulic_diameter · Actual mode=general · Dh=0.1 · R=0.025 · model=hydraulic_diameter |
boundary-dh-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
boundary-dh-a0 | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-dh-mixed | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-dh-q | boundary | pass | Expected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING |
boundary-dh-manning | boundary | pass | Expected INVALID_MODE · Actual INVALID_MODE |
property-dh-4ap | property | pass | 4A/P=0.1 |
property-dh-r | property | pass | R=A/P |
property-dh-circ | property | pass | D_h=D |
property-dh-rect | property | pass | 2ab/(a+b) |
property-dh-from-r | property | pass | D_h=4R |