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-18T21:41:56.329Z
- Semantic contract PASS
- Evidence attested at 2026-09-18T21:41:55.460Z
- Last production check 2026-09-18T21:41:55.460Z
- Public / cache —
- Origin —
- Supplemental domain review Not performed
- Named expert review Not performed
- release artifacts aligned PASS
Fingerprint sha256:9dcb01e7b4dbe752b6cfd38de34635b2630bb27853972329a6534f4a2c3bfc6f
Input schema sha256:99bc5f169155fd75e454fcf0eb51aae8e7e17029ed7274f6e42833481d765706 · Output schema sha256:2fb50ad9d6f5a25c544c5ea4cf64b2a8c1d2bca4462927751dc728a6400e3c99 · 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
- trapezoidal-normal-depth
- Engine
- trapezoidal-normal-depth
- Engine build
- 2026-09-18
- Evidence core
- 2026-09-18T22:21:59.480Z
- Rendered
- 2026-09-18T23:14:09.774Z
- Last reviewed
- —
Assumptions
- Trapezoid uniform flow: Q=(1/n) A R^{2/3} S^{1/2}; A=(b+z yn) yn; P=b+2 yn √(1+z²); SI k=1; z>0 is run/rise; yn is unknown in depth mode
- yn/b∈[0.01, 10]; n∈[0.008, 0.15]; S∈[1e-6, 0.1]; z∈(0, 10]; geometry is b and z, not A and R
- Not rectangular yn; not trapezoid yc; not Manning Q with given A,R; not Chezy C; not Q=Av
Limitations
- Trapezoid uniform-flow normal depth: invert SI Manning Q=(1/n) A R^{2/3} S^{1/2} with A=(b+z yn) yn, P=b+2 yn √(1+z²), R=A/P; yn is unknown; n, S, b, z given
- yn/b∈[0.01, 10]; n∈[0.008, 0.15]; S∈[1e-6, 0.1]; z∈(0, 10]; SI k=1; geometry is b and z, not A and R
- Not rectangular yn; not trapezoid yc; not Manning Q with given A,R; 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 a trapezoidal section
Supports: Uniform-flow yn from SI Manning with trapezoid A=(b+z y)y and P=b+2 y √(1+z²). Rectangular A=b yn is a different page. Not Manning with given A,R as a product page, not yc, not Chezy C
Published checks
Golden, boundary, and property cases included in this evidence build.
| ID | Kind | Status | Detail |
|---|
property-tyn-yn | property | pass | yn from Q,n,S,b,z |
property-tyn-Q | property | pass | Q=(1/n)A R^{2/3} S^{1/2} |
property-tyn-not-rect | property | pass | yn≠rectangular yn |
property-tyn-roundtrip-Q | property | pass | Q roundtrip |
property-tyn-model | property | pass | manning_normal_trapezoid |
