Home Developers Evidence physics.fluid.broad_crested_weir

Public evidence

physics.fluid.broad_crested_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-18T02:44:05.986Z
  • Semantic contract PASS
  • Evidence attested at 2026-09-18T02:44:05.231Z
  • Last production check 2026-09-18T02:44:05.231Z
  • Public / cache PASS
  • Origin PASS
  • Supplemental domain review Not performed
  • Named expert review Not performed
  • release artifacts aligned PASS

Fingerprint sha256:9aad5dea7891b39d746ec6bae33355dab9c570c24489cf17fc13761f28a860dc

Input schema sha256:8114fe63a6ba2075facd0231cc59ee9e5b797d81d79eff60b4804621686b6ecc · Output schema sha256:2c7e90576ffe0e85baef653acac9f58cc63d8d6fe08a7657f7fc6a5e2deba89e · 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
broad-crested-weir
Engine
broad-crested-weir
Engine build
2026-09-18
Evidence core
2026-09-18T02:00:19.838Z
Rendered
2026-09-18T03:31:40.488Z
Last reviewed

Assumptions

  • Rectangular broad-crested weir: Q = C_d (2/3)^{3/2} b √g H^{3/2}; default C_d=0.85; modular free nappe; C_d is an input in (0, 1]
  • H is upstream head above the crest, not energy head; optional L_c envelope H/L_c∈[0.08,0.50]; optional P with H/P≤1.5
  • Not thin-plate (2/3) C_d L √(2g) H^{3/2}, not Manning n, not Q=Av, not orifice C_d A √(2gH), not Francis 3.33 L H^{3/2}

Limitations

  • Rectangular broad-crested weir: Q = C_d (2/3)^{3/2} b √g H^{3/2}; default C_d=0.85; modular free nappe; C_d is an input in (0, 1]
  • H is upstream head above the crest, not energy head; optional L_c envelope H/L_c∈[0.08,0.50]; optional P with H/P≤1.5
  • Not thin-plate (2/3) C_d L √(2g) H^{3/2}, not Manning n, not Q=Av, not orifice C_d A √(2gH), not Francis 3.33 L H^{3/2}

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-bcw-qpropertypassQ=Cd (2/3)^{3/2} b √g H^{3/2}
property-bcw-cdpropertypassdefault Cd=0.85
property-bcw-not-thinpropertypassQ≠thin-plate
property-bcw-roundtrip-HpropertypassH invert
property-bcw-modelpropertypassbroad_crested_critical