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:475cc905a7ffe80f57d1d95f8431bb5ce1d6f311bd31284683a8dc8fe5914c2b
Input schema sha256:93ca9477199e884579612f4a91cd5f5f8e4289bd096d7e0eddd14b2596b73e99 · Output schema sha256:182a3781c40e9a4dd7821c30d292ec76b4fc7e8190759b7ad9c1f379338525cf · 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
- ogee-spillway
- Engine
- ogee-spillway
- Engine build
- 2026-09-18
- Evidence core
- 2026-09-18T03:14:47.153Z
- Rendered
- 2026-09-18T03:31:40.489Z
- Last reviewed
- —
Assumptions
- USBR high-overflow ogee: Q_cfs = C L_ft H_ft^{3/2}; C = 3.98 (H/Hd)^{0.12}; SI L, H, Hd, Q; C is reported, not an input
- H/Hd∈[0.2, 1.33]; optional P with P/Hd≥1.7; vertical upstream face; free overflow
- Not thin-plate (2/3) C_d L √(2g) H^{3/2}, not broad-crested (2/3)^{3/2} b √g H^{3/2}, not sluice, not Manning n, not Q=Av, not Francis 3.33
Limitations
- USBR high-overflow ogee: Q_cfs = C L_ft H_ft^{3/2}; C = 3.98 (H/Hd)^{0.12}; SI L, H, Hd, Q; C is reported, not an input
- H/Hd∈[0.2, 1.33]; optional P with P/Hd≥1.7; vertical upstream face; free overflow
- Not thin-plate (2/3) C_d L √(2g) H^{3/2}, not broad-crested (2/3)^{3/2} b √g H^{3/2}, not sluice, not Manning n, not Q=Av, not Francis 3.33
Sources
Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.
- USBR — Design of Small Dams — High overflow ogee, vertical upstream face
Supports: C≈3.98 at design head; compact fit C=3.98 (H/Hd)^{0.12} on the high-overflow chart; P/Hd≥1.7
- ISO 80000-4 — Mechanics — Volume flow rate
Supports: Q is volume flow; L, H, and Hd are lengths
Published checks
Golden, boundary, and property cases included in this evidence build.
| ID | Kind | Status | Detail |
|---|
property-ogs-q | property | pass | L=1 H=1 Hd=1 USBR Q |
property-ogs-c | property | pass | C=3.98 at H=Hd |
property-ogs-not-weir | property | pass | Q≠thin-plate C_d=0.62 |
property-ogs-roundtrip-H | property | pass | H invert |
property-ogs-model | property | pass | ogee_usbr_high |
