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-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 —
- Origin —
- Supplemental domain review Not performed
- Named expert review Not performed
- release artifacts aligned PASS
Fingerprint sha256:4d3386b2f78034e7682cf96ff38e245328769d684996717fc634c240c9594a70
Input schema sha256:029d0480ebbc750a983b5fc05500bfadb6e4148f3688b42f8e01a7114fdffeb5 · Output schema sha256:51594d0e6c8fa928d2a11ecf5efa96036a11d18ce05ffdfdf1e9fd58af76e7e5 · 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.
Engine identity and declared limitations.
- Tool
- side-weir
- Engine
- side-weir
- Engine build
- 2026-09-18
- Evidence core
- 2026-09-18T03:25:46.310Z
- Rendered
- 2026-09-18T03:31:40.490Z
- Last reviewed
- —
Assumptions
- Borghei 1999 sharp-crested side weir: Q=(2/3) C_d L √(2g) (y1−p)^{3/2}; C_d=0.71−0.41 Fr₁−0.22(p/y1); SI B, L, y1, p, Q1, Q; C_d is reported
- Rectangular channel; subcritical Fr₁∈[0.1, 0.9]; p/y1∈[0.1, 0.9]; y1>p; free lateral overflow; De Marchi-type C_d, not a given frontal C_d
- Not thin-plate frontal weir, not ogee Hd, not sluice a b √(2g y1), not Manning n, not Q=Av, not submerged y2
Limitations
- Borghei 1999 sharp-crested side weir: Q=(2/3) C_d L √(2g) (y1−p)^{3/2}; C_d=0.71−0.41 Fr₁−0.22(p/y1); SI B, L, y1, p, Q1, Q; C_d is reported
- Rectangular channel; subcritical Fr₁∈[0.1, 0.9]; p/y1∈[0.1, 0.9]; y1>p; free lateral overflow; De Marchi-type C_d, not a given frontal C_d
- Not thin-plate frontal weir, not ogee Hd, not sluice a b √(2g y1), not Manning n, not Q=Av, not submerged y2
Sources
Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.
- Borghei, Jalili & Ghodsian — Discharge Coefficient for Sharp-Crested Side Weir in Subcritical Flow — Journal of Hydraulic Engineering, 1999
Supports: C_d = 0.71 − 0.41 Fr₁ − 0.22 (p/y1) for rectangular sharp-crested side weirs in subcritical flow
- ISO 80000-4 — Mechanics — Volume flow rate
Supports: Q is volume flow; B, L, y1, and p are lengths
Published checks
Golden, boundary, and property cases included in this evidence build.
| ID | Kind | Status | Detail |
|---|
property-sdw-q | property | pass | B=1 L=2 y1=0.5 p=0.2 Q1=0.4 Q |
property-sdw-cd | property | pass | Borghei C_d |
property-sdw-not-weir | property | pass | Q≠frontal C_d=0.62 |
property-sdw-roundtrip-L | property | pass | L invert |
property-sdw-model | property | pass | side_weir_borghei |
