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-17T15:07:30.016Z
- Semantic contract PASS
- Evidence attested at 2026-09-17T15:07:29.295Z
- Last production check 2026-09-17T15:07:29.295Z
- Public / cache PASS
- Origin PASS
- Supplemental domain review Not performed
- Named expert review Not performed
- release artifacts aligned PASS
Fingerprint sha256:d3a97e9d256b28959eca4fa901eb6eebac9b238db02c03d0506384c951e4258a
Input schema sha256:66af4e772b5ed65950ce6e8283822bab6a7f57f7b7306dede64bf41b853707ce · Output schema sha256:8de4af1549910a5dfae4131047c13eaa8d0e8c471d00b2ded89c8bee8f00351f · 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-entrance
- Engine
- pipe-entrance
- Engine build
- 2026-09-17
- Evidence core
- 2026-09-17T14:38:15.470Z
- Rendered
- 2026-09-17T14:46:34.520Z
- Last reviewed
- —
Assumptions
- Geometric pipe inlet: h = K v² / (2g); flush K=0.5, reentrant K=0.8, rounded K=0.5/[1+36(rᵢ/D)^1.2]; K is reported, not an input
- Require kind flush|reentrant|rounded; rounded needs 0 < rᵢ/D ≤ 1; default g=9.80665 m/s²; default ρ=1000 kg/m³; incompressible; from a large reservoir
- Not catalog minor-loss K given, not circular-arc R/D, not mitered n, not Darcy f, not orifice C_d, not Q=Av
Limitations
- Geometric pipe inlet: h = K v² / (2g); flush K=0.5, reentrant K=0.8, rounded K=0.5/[1+36(rᵢ/D)^1.2]; K is reported, not an input
- Require kind flush|reentrant|rounded; rounded needs 0 < rᵢ/D ≤ 1; default g=9.80665; default ρ=1000 for Δp; incompressible; from a large reservoir
- Not catalog minor-loss K given, not circular-arc R/D, not mitered n, not Darcy f, not orifice C_d, 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
- White — Fluid Mechanics — Entrance loss coefficients
Supports: Flush sharp inlet K=0.5; thin-walled reentrant / inward-projecting K=0.8. Not a catalog K input
- Swamee — rounded pipe inlet — K = 0.5 / [1 + 36 (r/D)^1.2]
Supports: Flush-mounted rounded entrance; r/D=0 recovers K=0.5. Not Idelchik circular-arc B1, not mitered n
Published checks
Golden, boundary, and property cases included in this evidence build.
| ID | Kind | Status | Detail |
|---|
property-ent-h | property | pass | h=K v²/(2g) flush |
property-ent-K | property | pass | K=0.5 flush |
property-ent-roundtrip-v | property | pass | v invert |
property-ent-rounded | property | pass | Swamee rounded |
property-ent-model | property | pass | pipe_inlet |
