Public evidence
Machine-checked verification for calculation version 1.0.0 · tier engine_tested
11/11 calculation tests · Production surface contract 4/4
Fingerprint sha256:655d4f1d3377c1b4af69e54ceeb465a0ba9e08330df9033b2d627bd8c40bf9df
Input schema sha256:87a5120e0303b9bef2ee820592411248e0e9ab8fcca99ecc1fd7b70c07a3939c · Output schema sha256:facaec23d012cbdcfe4ff878408123158e08e664d0f509ad52d2624349669601 · 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-dw | golden | pass | Expected dP_Pa=4000 · hf_m=0.4078864851911713 · model=darcy_weisbach · Actual hf_m=0.4078864851911713 · dP_Pa=4000 · f=0.02 · L=10 · v=2 · D=0.1 · rho=1000 · g=9.80665 |
boundary-dw-zero-f | boundary | pass | Expected dP_Pa=0 · hf_m=0 · Actual hf_m=0 · dP_Pa=0 · f=0 · L=10 · v=2 · D=0.1 · rho=1000 · g=9.80665 |
boundary-dw-g | boundary | pass | Expected hf_m=0.4 · dP_Pa=4000 · Actual hf_m=0.4 · dP_Pa=4000 · f=0.02 · L=10 · v=2 · D=0.1 · rho=1000 · g=10 |
boundary-dw-f | boundary | pass | Expected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE |
boundary-dw-d | boundary | pass | Expected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE |
boundary-dw-missing | boundary | pass | Expected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT |
property-dw-dp | property | pass | 4000 Pa |
property-dw-hf | property | pass | Δp/(ρg) |
property-dw-identity | property | pass | Δp=ρghf |
property-dw-zero | property | pass | f=0 |
property-dw-model | property | pass | darcy_weisbach |