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.
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.
- Swamee, P.K. Sluice-gate discharge equations — J. Irrig. Drain. Eng. 118(1), 1992
Supports: Drowned Cd=θ·0.611[(y1−a)/(y1+15a)]^{0.072} with θ from y1, y2, a; free/drowned split y1 ≶ 0.81 y2 (y2/a)^{0.72}
- ISO 80000-4 — Mechanics — Volume flow rate
Supports: Q is volume flow; a, y1, and y2 are lengths
Published checks
Golden, boundary, and property cases included in this evidence build.
| ID | Kind | Status | Detail |
|---|
property-dsg-Q | property | pass | Swamee drowned Q |
property-dsg-not-free | property | pass | Q≠free sluice |
property-dsg-roundtrip-a | property | pass | a roundtrip |
property-dsg-Cd | property | pass | drowned Cd |
property-dsg-model | property | pass | sluice_swamee_drowned |