Home Developers Evidence physics.fluid.trapezoid_specific_energy

Public evidence

physics.fluid.trapezoid_specific_energy

Machine-checked verification for calculation version 1.0.0 · tier engine_tested

Verification

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

  • Golden tests 0 / 0
  • Boundary tests 0 / 0
  • Property tests 5 / 5
  • 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:edc9b908435d612a78f90c23d9c46cd001da21351fc46a711cb2af2dcfecf2b8

Input schema sha256:82759d8a740a667c38e376fb92367ac4bd5b8d4d4971f58f56e6f67a88ec8013 · Output schema sha256:67caad0194ecb7b65170797f8edc5f955455b6899c7cfbced9588f827e740443 · 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-specific-energy
Engine
trapezoidal-specific-energy
Engine build
2026-09-18
Evidence core
2026-09-18T22:32:08.277Z
Rendered
2026-09-18T23:14:09.774Z
Last reviewed

Assumptions

  • Trapezoid specific energy: E=y+Q²/(2g A²) with A=(b+z y)y; SI; default g=9.80665; z>0 is run/rise
  • Unknown is E (energy mode) or Q (discharge invert); v=Q/A is reported; not y invert (that is alternate depth)
  • Not rectangular E=y+v²/(2g); not trapezoid yc; not trapezoid yn; not Manning A,R; not Q=Av

Limitations

  • Trapezoid specific energy: E=y+Q²/(2g A²) with A=(b+z y)y; SI; default g=9.80665; z>0 is run/rise
  • Unknown is E (energy mode) or Q (discharge invert); v=Q/A is reported; not y invert (that is alternate depth)
  • Not rectangular E=y+v²/(2g); not trapezoid yc; not trapezoid yn; not Manning A,R; 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-tse-EpropertypassE=y+Q²/(2gA²)
property-tse-not-rectpropertypassE≠rectangular Q encoding
property-tse-not-yvpropertypassE≠y+v²/(2g)
property-tse-roundtrip-QpropertypassQ roundtrip
property-tse-modelpropertypassspecific_energy_trapezoid