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.
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.
- ISO 80000-4 — Mechanics — Force and volume flow
Supports: M is a length² (specific force); y is a length; Q is volume flow
- Chow, V.T. Open-Channel Hydraulics — Hydraulic jump in a trapezoidal section
Supports: Sequent depths share specific force M=Q²/(gA)+A ȳ. Rectangular Bélanger is a different product. The E-pair is a different product.
Published checks
Golden, boundary, and property cases included in this evidence build.
| ID | Kind | Status | Detail |
|---|
property-thj-y2 | property | pass | y2 from y1,Q,b,z |
property-thj-fr | property | pass | Fr1>1>Fr2 |
property-thj-not-belanger | property | pass | y2≠Bélanger |
property-thj-not-epair | property | pass | y2≠E-pair |
property-thj-roundtrip-y1 | property | pass | y1 roundtrip |
property-thj-model | property | pass | hydraulic_jump_trapezoid |