Home Developers Evidence physics.fluid.alternate_depth

Public evidence

physics.fluid.alternate_depth

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: 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; 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 PASS
  • Origin PASS
  • Supplemental domain review Not performed
  • Named expert review Not performed
  • release artifacts aligned PASS

Fingerprint sha256:beddff820a76f12f72f1628ea53870ee40ec6fdc11c09bc78efbf6e8c97bef4c

Input schema sha256:42668cff10d75e5d23233b6827a5e87cd93995ea4db8a8f09300ca9a94693e6c · Output schema sha256:e5934774cd1d8163766103be55e0225fadf909b986b32f3d232014c162f48412 · 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
alternate-depth
Engine
alternate-depth
Engine build
2026-09-18
Evidence core
2026-09-18T21:01:04.213Z
Rendered
2026-09-18T23:14:09.773Z
Last reviewed

Assumptions

  • Rectangular alternate depths: E = y + Q²/(2g A²) with A=b y; both y_sub>yc and y_super<yc at the same E, Q, b; SI; default g=9.80665
  • Unknown is the pair (depths mode) or E (energy invert from one y); E>Ec=1.5 yc; Fr is reported not an input
  • Not specific energy E from y+v; not specific force M; not hydraulic jump y2 from Fr₁>1; not critical-depth yc as the product; not Manning n; not Q=Av

Limitations

  • Rectangular alternate depths: E = y + Q²/(2g A²) with A=b y; both y_sub>yc and y_super<yc at the same E, Q, b; SI; default g=9.80665
  • Unknown is the pair (depths mode) or E (energy invert from one y); E>Ec=1.5 yc; Fr is reported not an input
  • Not specific energy E from y+v; not specific force M; not hydraulic jump y2 from Fr₁>1; not critical-depth yc as the product; 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-alt-ysubpropertypassy_sub from E,Q,b
property-alt-ysuperpropertypassy_super<yc<y_sub
property-alt-not-ycpropertypassnot yc as the product
property-alt-roundtrip-EpropertypassE roundtrip
property-alt-modelpropertypassalternate_depth_rectangular