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: 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 STALE (1 capability; 163 remain CURRENT) @ 2026-09-17T23:16:16.380Z
- Semantic contract PASS
- Evidence attested at 2026-09-17T23:04:34.157Z
- Last production check 2026-09-17T23:04:34.157Z
- Public / cache PASS
- Origin PASS
- Supplemental domain review Not performed
- Named expert review Not performed
- release artifacts aligned PASS
Fingerprint sha256:eb3bfb4c8eb0d8ff824203a1aafad6284047a2332244097284f2f88d7abaf668
Input schema sha256:e9eeadaff4dcae28fd88a8b7d595639bb3d9cd6ff8eba7bf63e2f9db2ce621bb · Output schema sha256:f2c63780fb2cf7059dcc3ae3f0f0f392d09da8d392126a9caab953afc1d8bf67 · 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
- pipe-wye
- Engine
- pipe-wye
- Engine build
- 2026-09-17
- Evidence core
- 2026-09-17T22:06:58.051Z
- Rendered
- 2026-09-17T23:36:55.415Z
- Last reviewed
- —
Assumptions
- Equal-area sharp wye: h = K v_c² / (2g); K referenced to common-channel speed; α ∈ (0, 90°); K is reported, not an input
- Branch K=1+q²−2q cos α. Dividing run K=0.4(1−q)². Combining run K=1−q²−2q(1−q)cos α. q=Q_path/Q_c in [0,1]; default g=9.80665 m/s²; default ρ=1000 kg/m³
- Not a 90° tee, not catalog minor-loss K given, not circular-arc R/D, not mitered n, not pipe-entrance geometry, not pipe-exit K=1, not Q=Av
Limitations
- Equal-area sharp wye: h = K v_c² / (2g); K referenced to common-channel speed; α ∈ (0, 90°); K is reported, not an input
- Branch K=1+q²−2q cos α. Dividing run K=0.4(1−q)². Combining run K=1−q²−2q(1−q)cos α. q=Q_path/Q_c in [0,1]; default g=9.80665; default ρ=1000 for Δp
- Not a 90° tee, not catalog minor-loss K given, not circular-arc R/D, not mitered n, not pipe-entrance geometry, not pipe-exit K=1, 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 — Length, speed, pressure
Supports: h is a head; v is a speed; Δp is a pressure
- Idelchik — Handbook of Hydraulic Resistance — Diagrams 7-21 / 7-29 (dividing branch) and 7-1 (combining); 7-20 No.1 dividing run; equal-area wye
Supports: Branch K=1+q²−2q cos α; dividing run K=0.4(1−q)²; combining run K=1−q²−2q(1−q)cos α; K referenced to v_c. Not a 90° tee, not catalog K, not a bend
Published checks
Golden, boundary, and property cases included in this evidence build.
| ID | Kind | Status | Detail |
|---|
property-wye-h | property | pass | h=K v_c²/(2g) dividing branch |
property-wye-K | property | pass | K=1+q²−2q cos α |
property-wye-roundtrip-v | property | pass | v invert |
property-wye-run | property | pass | dividing run K=0.4(1−q)² |
property-wye-comb | property | pass | combining run K=1−q²−2q(1−q)cos α |
property-wye-model | property | pass | equal_area_wye |