Verification
6/6 calculation tests · Production surface contract 1/1
- Golden tests 0 / 0
- Boundary tests 0 / 0
- Property tests 6 / 6
- 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:82af311d7761a9c504462c218b0b97a291013bc5a88177ac7d068a2456b68d6a
Input schema sha256:d993969a4b3acc364286d780d544a7db26b4b305e6798a650b191be83ab5e457 · Output schema sha256:1909de81f8f197e73e2d1c6744a28fb0f9ac23b9faec82ccebd6a0cf168ccb40 · 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
- sluice-gate
- Engine
- sluice-gate
- Engine build
- 2026-09-18
- Evidence core
- 2026-09-18T03:05:43.139Z
- Rendered
- 2026-09-18T03:31:40.489Z
- Last reviewed
- —
Assumptions
- Swamee 1992 free-flow undershot sluice: Q = C_d a b √(2g y1); C_d = 0.611 [(y1−a)/y1]^{0.072}; SI a, b, y1, Q; C_d is reported, not an input
- Gate opening a is not orifice area A; y1 is upstream depth, not weir H; a/y1∈[0.05, 0.65]; y1 > a; free flow only
- Not thin-plate weir, not tank orifice C_d A √(2gH), not a flume, not Manning n, not Q=Av, not submerged y2
Limitations
- Swamee 1992 free-flow undershot sluice: Q = C_d a b √(2g y1); C_d = 0.611 [(y1−a)/y1]^{0.072}; SI a, b, y1, Q; C_d is reported, not an input
- Gate opening a is not orifice area A; y1 is upstream depth, not weir H; a/y1∈[0.05, 0.65]; y1 > a; free flow only
- Not thin-plate weir, not tank orifice C_d A √(2gH), not a flume, 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.
- Swamee, P.K. — Sluice-Gate Discharge Equations — Free-flow undershot C_d
Supports: C_d = 0.611 [(y1−a)/y1]^{0.072}; Q = C_d a b √(2g y1); not a given orifice C_d=0.61
- ISO 80000-4 — Mechanics — Volume flow rate
Supports: Q is volume flow; a, b, and y1 are lengths
Published checks
Golden, boundary, and property cases included in this evidence build.
| ID | Kind | Status | Detail |
|---|
property-slg-q | property | pass | a=0.2 b=1 y1=1 Swamee Q |
property-slg-cd | property | pass | C_d from a/y1 |
property-slg-not-orifice | property | pass | Q≠0.61 A √(2gy1) |
property-slg-roundtrip-a | property | pass | a invert |
property-slg-roundtrip-y1 | property | pass | y1 invert |
property-slg-model | property | pass | sluice_swamee_free |
