Home Developers Evidence physics.fluid.iso_nozzle

Public evidence

physics.fluid.iso_nozzle

Machine-checked verification for calculation version 1.0.0 · tier engine_tested

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 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:fab423a59c47d9c888351c8f23520f4d7621667abdafcb6b05c8aa2c4cf02fa8

Input schema sha256:2d4dbd4962baab84aaf88c1e9a47004e26093e47228fe0815f1d4875e02202b3 · Output schema sha256:658dac1761c1fd399b88615c8c8bd3133e81eaee27c6ced4e511c8f3cacc9560 · 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.

Build & scope

Engine identity and declared limitations.

Tool
iso-nozzle
Engine
iso-nozzle
Engine build
2026-09-17
Evidence core
2026-09-17T22:49:22.649Z
Rendered
2026-09-17T23:36:55.416Z
Last reviewed

Assumptions

  • ISO 5167-3 ISA 1932 nozzle: Q = C E A2 √(2Δp/ρ); C from β and Re_D; incompressible ε=1; C is reported, not an input
  • C = 0.9900 − 0.2262 β^4.1 − (0.00175 β² − 0.0033 β^4.15)(10^6/Re_D)^1.15; β∈[0.30,0.80]; Re_D∈[7e4,1e7]; D≥50 mm
  • Not a venturi wrap with given C_d=0.98, not orifice C_d=0.61, not Q=Av, not Darcy f, not compressible ε

Limitations

  • ISO 5167-3 ISA 1932 nozzle: Q = C E A2 √(2Δp/ρ); C from β and Re_D; incompressible ε=1; C is reported, not an input
  • C = 0.9900 − 0.2262 β^4.1 − (0.00175 β² − 0.0033 β^4.15)(10^6/Re_D)^1.15; β∈[0.30,0.80]; Re_D∈[7e4,1e7]; D≥50 mm
  • Not a venturi wrap with given C_d=0.98, not orifice C_d=0.61, not Q=Av, not Darcy f, 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.

IDKindStatusDetail
property-nozzle-CpropertypassISA 1932 C(β,Re)
property-nozzle-QpropertypassQ=C E A2 √(2Δp/ρ)
property-nozzle-not-venturipropertypassC≠0.98
property-nozzle-roundtrip-dPpropertypassΔp invert
property-nozzle-modelpropertypassiso_5167_3_isa1932