Home Developers Evidence physics.fluid.water_hammer

Public evidence

physics.fluid.water_hammer

Machine-checked verification for calculation version 1.0.0 · tier engine_tested

Verification

17/17 calculation tests · Production surface contract 3/3

  • Golden tests 2 / 2
  • Boundary tests 10 / 10
  • Property tests 5 / 5
  • Production surface contract 3 / 3
  • }
  • Engine tested Yes
  • Source checked Yes
  • Artifact integrity PASS
  • Production attestation Embedded snapshot: STALE · Last attested schema matched 1.0.0 snapshot / local build · Semantic contract ✓ · Last attestation PASS · current evidence changed · re-attestation required · Public/cache ✓ · Origin ✓ · Live production status PASS (0 stale; 163 CURRENT) @ 2026-09-17T13:12:27.589Z
  • Semantic contract PASS
  • Evidence attested at 2026-09-17T13:12:26.751Z
  • Last production check 2026-09-17T13:12:26.751Z
  • Public / cache PASS
  • Origin PASS
  • Supplemental domain review Not performed
  • Named expert review Not performed
  • release artifacts aligned PASS
  • schema valid input executes PASS
  • engine success output validates schema PASS

Fingerprint sha256:65b7d175dbd32dfa6504a357891cb0e9340be7681517fd7b1299c923235512b2

Input schema sha256:316c31fd08bed589e6ee4bcb648c719e32eab3bc355546ee6346828e8c13e71a · Output schema sha256:153e5d1a248cdfcd527793193daf0c77f323ac6a061abc9315bbb16fa2ed500a · 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.

Build & scope

Engine identity and declared limitations.

Tool
water-hammer
Engine
water-hammer
Engine build
2026-09-17
Evidence core
2026-09-17T09:45:11.688Z
Rendered
2026-09-17T12:57:09.947Z
Last reviewed

Assumptions

  • Joukowsky water hammer: Δp = ρ c Δv; h = Δp/(ρ g); default ρ=1000 kg/m³; default g=9.80665 m/s²
  • c is the given celerity, not Moens–Korteweg from bulk modulus K, D, e, E
  • Not Darcy f, not Colebrook, not minor-loss K, not Q=Av

Limitations

  • Joukowsky water hammer: Δp = ρ c Δv; h = Δp/(ρ g); default ρ=1000 kg/m³; default g=9.80665 m/s²
  • c is the given celerity, not Moens–Korteweg from bulk modulus K, D, e, E
  • Not Darcy f, not Colebrook, not minor-loss K, not Q=Av

Sources

Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.

Published checks

Golden, boundary, and property cases included in this evidence build.

IDKindStatusDetail
golden-wh-dPgoldenpassExpected dP=1000000 · c=1000 · dV=1 · rho=1000 · mode=pressure · model=joukowsky · Actual mode=pressure · dP=1000000 · rho=1000 · c=1000 · dV=1 · h=101.97162129779282 · g=9.80665 · model=joukowsky
golden-wh-dVgoldenpassExpected dV=1 · model=joukowsky · Actual mode=velocity · dP=1000000 · rho=1000 · c=1000 · dV=1 · h=101.97162129779282 · g=9.80665 · model=joukowsky
boundary-wh-cboundarypassExpected c=1000 · model=joukowsky · Actual mode=celerity · dP=1000000 · rho=1000 · c=1000 · dV=1 · h=101.97162129779282 · g=9.80665 · model=joukowsky
boundary-wh-missingboundarypassExpected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
boundary-wh-fboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-wh-KboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-wh-LboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-wh-AboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-wh-nboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-wh-vboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-wh-darcyboundarypassExpected INVALID_MODE · Actual INVALID_MODE
boundary-wh-zeroboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
property-wh-dPpropertypassΔp=ρcΔv
property-wh-roundtrip-dVpropertypassΔv invert
property-wh-roundtrip-cpropertypassc invert
property-wh-hpropertypassh=Δp/(ρg)
property-wh-modelpropertypassjoukowsky