Home Developers Evidence physics.fluid.hydraulic_jump

Public evidence

physics.fluid.hydraulic_jump

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-17T09:03:11.906Z
  • Semantic contract PASS
  • Evidence attested at 2026-09-17T09:03:11.074Z
  • Last production check 2026-09-17T09:03:11.074Z
  • 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:abbd973162745910af65ab983225e0061f8c9bcf5ea59239e954426a3755269e

Input schema sha256:9c041efc9c0f603cf0325801f10b8f90e03e49ef0f7fa74f39df5593b1e6ce4f · Output schema sha256:292f0bd466be0e5ea6c0ecf6289c63deeafed233e31469d519403ce700c6e9ab · 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
hydraulic-jump
Engine
hydraulic-jump
Engine build
2026-09-17
Evidence core
2026-09-17T07:22:11.551Z
Rendered
2026-09-17T08:49:50.939Z
Last reviewed

Assumptions

  • Rectangular hydraulic jump: y2/y1 = (√(1+8 Fr₁²) − 1)/2; Fr₁ > 1
  • ΔE = (y2 − y1)³ / (4 y1 y2); Fr₂ = Fr₁ / (y2/y1)^{3/2}
  • Not a Froude wrap, not Manning, not Chezy, not a weir, not Q=Av

Limitations

  • Rectangular hydraulic jump: y2/y1 = (√(1+8 Fr₁²) − 1)/2; Fr₁ > 1
  • ΔE = (y2 − y1)³ / (4 y1 y2); Fr₂ = Fr₁ / (y2/y1)^{3/2}
  • Not a Froude wrap, not Manning, not Chezy, not a weir, 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-hj-frgoldenpassExpected y1=1 · y2=2.3722813232690143 · Fr1=2 · mode=sequent · model=hydraulic_jump · Actual mode=sequent · y1=1 · y2=2.3722813232690143 · Fr1=2 · Fr2=0.5473696470780532 · v1=6.2631142413339385 · v2=2.640122897693828 · dE=0.27233488537882894
golden-hj-vgoldenpassExpected y2=2.3722813232690143 · Fr1=2 · model=hydraulic_jump · Actual mode=sequent · y1=1 · y2=2.3722813232690143 · Fr1=2 · Fr2=0.5473696470780532 · v1=6.2631142413339385 · v2=2.640122897693828 · dE=0.27233488537882894
boundary-hj-y1boundarypassExpected y1=1 · model=hydraulic_jump · Actual mode=upstream · y1=1 · y2=2.3722813232690143 · Fr1=2 · Fr2=0.5473696470780532 · v1=6.2631142413339385 · v2=2.640122897693828 · dE=0.27233488537882894
boundary-hj-dEboundarypassExpected dE=0.27233488537882894 · model=hydraulic_jump · Actual mode=energy · y1=1 · y2=2.3722813232690143 · Fr1=2 · Fr2=0.5473696470780532 · v1=6.2631142413339385 · v2=2.640122897693828 · dE=0.27233488537882894
boundary-hj-missingboundarypassExpected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
boundary-hj-fr1boundarypassExpected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE
boundary-hj-fr05boundarypassExpected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE
boundary-hj-ReboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-hj-nboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-hj-AboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-hj-LboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-hj-froudeboundarypassExpected INVALID_MODE · Actual INVALID_MODE
property-hj-y2propertypassBélanger y2
property-hj-Fr2propertypassFr2
property-hj-dEpropertypassΔE
property-hj-roundtrip-y1propertypassy1 invert
property-hj-modelpropertypasshydraulic_jump