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-18T01:47:16.750Z
- Semantic contract PASS
- Evidence attested at 2026-09-18T01:47:15.906Z
- Last production check 2026-09-18T01:47:15.906Z
- Public / cache PASS
- Origin PASS
- Supplemental domain review Not performed
- Named expert review Not performed
- release artifacts aligned PASS
Fingerprint sha256:d4876a112f20e410d08dd7713891a9889a919cb5a0c761adaea61a71cf46d1d3
Input schema sha256:c9462a4c1c1376534bbaf2cdbd8f8ec817236e1cd273f3ca8fa15ce7de8d8b74 · Output schema sha256:dacf3ff824d8880071f305497bb66908c4a2ab53df0e3ee608c512df9dab4336 · 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
- iso-orifice
- Engine
- iso-orifice
- Engine build
- 2026-09-17
- Evidence core
- 2026-09-17T23:30:41.881Z
- Rendered
- 2026-09-18T01:34:55.017Z
- Last reviewed
- —
Assumptions
- ISO 5167-2 orifice plate: Q = C E A2 √(2Δp/ρ); Reader–Harris/Gallagher C from β, Re_D, and tapping; incompressible ε=1; C is reported, not an input
- Corner tappings default (L1=L2′=0); flange L1=L2′=25.4 mm/D; β∈[0.10,0.75]; D∈[50 mm,1000 mm]; d≥12.5 mm; Re_D≥5000 (β≤0.56) or 16000 β² (β>0.56)
- Not tank orifice C_d A √(2gH), not given C_d=0.61, not ISA 1932 nozzle, not venturi C_d=0.98, not Q=Av, not Darcy f, not D-D/2 tappings, not compressible ε
Limitations
- ISO 5167-2 orifice plate: Q = C E A2 √(2Δp/ρ); Reader–Harris/Gallagher C from β, Re_D, and tapping; incompressible ε=1; C is reported, not an input
- Corner tappings default (L1=L2′=0); flange L1=L2′=25.4 mm/D; β∈[0.10,0.75]; D∈[50 mm,1000 mm]; d≥12.5 mm; Re_D≥5000 (β≤0.56) or 16000 β² (β>0.56)
- Not tank orifice C_d A √(2gH), not given C_d=0.61, not ISA 1932 nozzle, not venturi C_d=0.98, not Q=Av, not Darcy f, not D-D/2 tappings, not compressible ε
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-plate-C | property | pass | RHG C(β,Re) corner |
property-plate-Q | property | pass | Q=C E A2 √(2Δp/ρ) |
property-plate-not-061 | property | pass | C≠0.61 |
property-plate-roundtrip-dP | property | pass | Δp invert |
property-plate-model | property | pass | iso_5167_2_rhg |