Home Developers Evidence physics.fluid.drowned_sluice

Public evidence

physics.fluid.drowned_sluice

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-18T13:56:15.885Z
  • Semantic contract PASS
  • Evidence attested at 2026-09-18T13:56:15.080Z
  • Last production check 2026-09-18T13:56:15.080Z
  • Public / cache PASS
  • Origin PASS
  • Supplemental domain review Not performed
  • Named expert review Not performed
  • release artifacts aligned PASS

Fingerprint sha256:aac0921f3656e6e0fc3dcdd7b9cab303b3c5c9e1416427d9b5e08ca4147e5ae6

Input schema sha256:d496dff247db16ed9c0eb601dd7c693b0b1d7fe92911fe8a0f9b5d40f313dfbc · Output schema sha256:84f6a9167e96b6c4f9ee1c068a260f637fd4adf641662a9b763048af4c2744c6 · 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
drowned-sluice
Engine
drowned-sluice
Engine build
2026-09-18
Evidence core
2026-09-18T13:24:31.951Z
Rendered
2026-09-18T13:31:05.730Z
Last reviewed

Assumptions

  • Drowned undershot sluice; y2 required
  • SI g=9.80665 unless given
  • Swamee 1992 θ and (y1+15a) form; C_d is reported
  • Drowned when y1 < 0.81 y2 (y2/a)^{0.72}
  • Not free-flow sluice, not Villemonte weir, not orifice, not Manning, not Q=Av

Limitations

  • Swamee 1992 drowned undershot sluice: Q=C_d a b √(2g y1); C_d=θ·0.611[(y1−a)/(y1+15a)]^{0.072}; θ from y1, y2, a; C_d is reported
  • Requires y2; drowned when y1 < 0.81 y2 (y2/a)^{0.72}; a/y1∈[0.05, 0.65]; y1>y2>a; SI
  • Not free-flow sluice without y2, not Villemonte H1+H2 weir, not tank orifice C_d A √(2gH), 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-dsg-QpropertypassSwamee drowned Q
property-dsg-not-freepropertypassQ≠free sluice
property-dsg-roundtrip-apropertypassa roundtrip
property-dsg-Cdpropertypassdrowned Cd
property-dsg-modelpropertypasssluice_swamee_drowned