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:8e4e132a9178b688cebc9e9dc35327d884299c1693f9ae90f8a1699ed99bc355
Input schema sha256:9f1ee1cf34321cf4f34229c7d51b50e0d3fc860a5a654ea5c80beb9e7ed60bf0 · Output schema sha256:f71e2a05b07017cfd76888d180e536f895b2c002379412bf9ee199472c82f93f · 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
- normal-depth
- Engine
- normal-depth
- Engine build
- 2026-09-18
- Evidence core
- 2026-09-18T12:47:54.940Z
- Rendered
- 2026-09-18T13:24:50.104Z
- Last reviewed
- —
Assumptions
- Rectangular uniform flow: Q=(1/n) A R^{2/3} S^{1/2}; A=b yn; R=b yn/(b+2 yn); SI k=1; yn is unknown in depth mode
- yn/b∈[0.01, 10]; n∈[0.008, 0.15]; S∈[1e-6, 0.1]; geometry is b, not A and R
- Not Manning Q with given A,R; not critical depth yc=(q²/g)^{1/3}; not specific energy E; not Chezy C; not Q=Av
Limitations
- Rectangular uniform-flow normal depth: invert SI Manning Q=(1/n) A R^{2/3} S^{1/2} with A=b yn, R=b yn/(b+2 yn); yn is unknown; n, S, b given
- yn/b∈[0.01, 10]; n∈[0.008, 0.15]; S∈[1e-6, 0.1]; SI k=1; geometry is rectangular width b, not A and R
- Not Manning Q with given A,R; not critical depth yc=(q²/g)^{1/3}; not specific energy E; not Chezy C; not Q=Av
Sources
Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.
- ISO 80000-4 — Mechanics — Volume flow rate and hydraulic radius
Supports: Q is volume flow; hydraulic radius R = A/P
- Chow, V.T. Open-Channel Hydraulics — Normal depth in uniform flow
Supports: Uniform-flow yn from SI Manning with rectangular A=b yn and R=A/(b+2 yn). Not Manning with given A,R as a product page, not yc, not E, not Chezy C
Published checks
Golden, boundary, and property cases included in this evidence build.
| ID | Kind | Status | Detail |
|---|
property-ndp-yn | property | pass | yn from Q,n,S,b |
property-ndp-Q | property | pass | Q=(1/n)A R^{2/3} S^{1/2} |
property-ndp-not-yc | property | pass | yn≠yc |
property-ndp-roundtrip-Q | property | pass | Q roundtrip |
property-ndp-model | property | pass | manning_normal_rectangular |
