Home Developers Evidence physics.fluid.submerged_weir

Public evidence

physics.fluid.submerged_weir

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:3fe97780f2eb5a2d76d375ec125899258ba6d9d6310b40258ea698c8c44e8339

Input schema sha256:1f6b21a32f617329f54a31f47f7b19c3f3f66f6fa8ca9a82acc4395844f34ef4 · Output schema sha256:57d8a0bc73eb02ae72f8bbf3131dadcd56005659de9618fd8d80ad08ce44d0a8 · 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
submerged-weir
Engine
submerged-weir
Engine build
2026-09-18
Evidence core
2026-09-18T13:11:24.388Z
Rendered
2026-09-18T13:24:50.104Z
Last reviewed

Assumptions

  • Rectangular thin-plate; drowned nappe
  • SI g=9.80665 unless given
  • Villemonte n=1.5 and exponent 0.385; n is not Manning n
  • Default C_d=0.62; optional C_d in (0, 1]
  • Not free-flow H only, not ogee Hd, not side weir, not Manning, not Q=Av

Limitations

  • Villemonte 1947 rectangular submerged weir: Qs = Qf [1−(H2/H1)^{1.5}]^{0.385}; Qf=(2/3) C_d L √(2g) H1^{3/2}; default C_d=0.62; n=1.5 is not Manning n
  • Requires H1 and H2; H2/H1∈[0.20, 0.95]; H1>H2>0; C_d optional in (0, 1]; SI; rectangular thin-plate only
  • Not free-flow thin-plate H only, not ogee Hd, not side weir B+Q1, not Manning n, not Q=Av, not V-notch

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-sbw-QpropertypassVillemonte Qs
property-sbw-not-freepropertypassQs≠Qf
property-sbw-roundtrip-H2propertypassH2 roundtrip
property-sbw-Cdpropertypassdefault Cd=0.62
property-sbw-modelpropertypassvillemonte_rectangular