Home Developers Evidence physics.fluid.trapezoid_hydraulic_jump

Public evidence

physics.fluid.trapezoid_hydraulic_jump

Machine-checked verification for calculation version 1.0.0 · tier engine_tested

Verification

6/6 calculation tests · Production surface contract 1/1

  • Golden tests 0 / 0
  • Boundary tests 0 / 0
  • Property tests 6 / 6
  • Production surface contract 1 / 1
  • }
  • Engine tested Yes
  • Source checked Yes
  • Artifact integrity PASS
  • Production attestation Embedded snapshot: unpublished · Build schema 1.0.0 ready · Semantic contract ✓ · Attestation report not published on origin · Live production status PASS (0 stale; 164 CURRENT) @ 2026-09-18T21:41:56.329Z
  • Semantic contract PASS
  • Evidence attested at 2026-09-18T21:41:55.460Z
  • Last production check 2026-09-18T21:41:55.460Z
  • Public / cache
  • Origin
  • Supplemental domain review Not performed
  • Named expert review Not performed
  • release artifacts aligned PASS

Fingerprint sha256:a2562fc42ba1b7ba665d5e0312d184cfdbfe03d61d087e196aec49eac45fc680

Input schema sha256:87f659036ba3c3de3067d7cc33acf783a6e16a458af8a4be3833f303f69ff0cc · Output schema sha256:2d21e5326dc3179382cd12dc5967cb823fa066ac93e4629e4c9e131017bd7588 · 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
trapezoidal-hydraulic-jump
Engine
trapezoidal-hydraulic-jump
Engine build
2026-09-18
Evidence core
2026-09-18T23:10:25.945Z
Rendered
2026-09-18T23:14:09.775Z
Last reviewed

Assumptions

  • Trapezoid hydraulic jump: sequent depths from M=Q²/(gA)+A ȳ with A=(b+z y)y and ȳ=y(3b+2zy)/(6(b+zy)); SI; default g=9.80665; z>0 is run/rise; Fr₁>1
  • Unknown is y2 (sequent) or y1 (upstream invert) or ΔE (energy); Fr is reported not an input; not Bélanger y2/y1=(√(1+8Fr₁²)−1)/2
  • Not rectangular sequent depths; not trapezoid alternate E-pair; not trapezoid yc; not trapezoid yn; not Manning n; not Q=Av

Limitations

  • Trapezoid hydraulic jump: sequent depths from M=Q²/(gA)+A ȳ with A=(b+z y)y and ȳ=y(3b+2zy)/(6(b+zy)); SI; default g=9.80665; z>0 is run/rise; Fr₁>1
  • Unknown is y2 (sequent) or y1 (upstream invert) or ΔE (energy); Fr is reported not an input; not Bélanger y2/y1=(√(1+8Fr₁²)−1)/2
  • Not rectangular sequent depths; not trapezoid alternate E-pair; not trapezoid yc; not trapezoid yn; not Manning n; 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
property-thj-y2propertypassy2 from y1,Q,b,z
property-thj-frpropertypassFr1>1>Fr2
property-thj-not-belangerpropertypassy2≠Bélanger
property-thj-not-epairpropertypassy2≠E-pair
property-thj-roundtrip-y1propertypassy1 roundtrip
property-thj-modelpropertypasshydraulic_jump_trapezoid