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-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 PASS
- Origin PASS
- Supplemental domain review Not performed
- Named expert review Not performed
- release artifacts aligned PASS
Fingerprint sha256:beddff820a76f12f72f1628ea53870ee40ec6fdc11c09bc78efbf6e8c97bef4c
Input schema sha256:42668cff10d75e5d23233b6827a5e87cd93995ea4db8a8f09300ca9a94693e6c · Output schema sha256:e5934774cd1d8163766103be55e0225fadf909b986b32f3d232014c162f48412 · 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
- alternate-depth
- Engine
- alternate-depth
- Engine build
- 2026-09-18
- Evidence core
- 2026-09-18T21:01:04.213Z
- Rendered
- 2026-09-18T23:14:09.773Z
- Last reviewed
- —
Assumptions
- Rectangular alternate depths: E = y + Q²/(2g A²) with A=b y; both y_sub>yc and y_super<yc at the same E, Q, b; SI; default g=9.80665
- Unknown is the pair (depths mode) or E (energy invert from one y); E>Ec=1.5 yc; Fr is reported not an input
- Not specific energy E from y+v; not specific force M; not hydraulic jump y2 from Fr₁>1; not critical-depth yc as the product; not Manning n; not Q=Av
Limitations
- Rectangular alternate depths: E = y + Q²/(2g A²) with A=b y; both y_sub>yc and y_super<yc at the same E, Q, b; SI; default g=9.80665
- Unknown is the pair (depths mode) or E (energy invert from one y); E>Ec=1.5 yc; Fr is reported not an input
- Not specific energy E from y+v; not specific force M; not hydraulic jump y2 from Fr₁>1; not critical-depth yc as the product; not Manning n; not Q=Av
Sources
Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.
Published checks
Golden, boundary, and property cases included in this evidence build.
| ID | Kind | Status | Detail |
|---|
property-alt-ysub | property | pass | y_sub from E,Q,b |
property-alt-ysuper | property | pass | y_super<yc<y_sub |
property-alt-not-yc | property | pass | not yc as the product |
property-alt-roundtrip-E | property | pass | E roundtrip |
property-alt-model | property | pass | alternate_depth_rectangular |