Home Developers Evidence physics.fluid.pitot

Public evidence

physics.fluid.pitot

Machine-checked verification for calculation version 1.0.0 · tier engine_tested

Verification

17/17 calculation tests · Production surface contract 3/3

  • Golden tests 2 / 2
  • Boundary tests 10 / 10
  • Property tests 5 / 5
  • Production surface contract 3 / 3
  • }
  • 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; 163 CURRENT) @ 2026-09-17T09:03:11.906Z
  • Semantic contract PASS
  • Evidence attested at 2026-09-17T09:03:11.074Z
  • Last production check 2026-09-17T09:03:11.074Z
  • Public / cache PASS
  • Origin PASS
  • Supplemental domain review Not performed
  • Named expert review Not performed
  • release artifacts aligned PASS
  • schema valid input executes PASS
  • engine success output validates schema PASS

Fingerprint sha256:df9f55006c57c30c05fbc60b55e0df94a7e08fea05cf66b60368c1408fc9b7c5

Input schema sha256:3d2b0288ca0d60d77024070ce92d740aab36efe992b69c32fa9ac1325e302f69 · Output schema sha256:4af43f43f88a42898996fac30d314a3e694e36882c3f34037c80a2dcc17f62b9 · 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
pitot-tube
Engine
pitot-tube
Engine build
2026-09-17
Evidence core
2026-09-17T06:50:47.586Z
Rendered
2026-09-17T08:49:50.938Z
Last reviewed

Assumptions

  • Incompressible pitot-static; v = C √(2 Δp / ρ); default C=1
  • Δp is P0 − P_static at the probe
  • Not compressible, not a venturi, not an orifice, not Q=Av, not two-station Bernoulli

Limitations

  • Incompressible pitot-static: v = C √(2 Δp / ρ); default C=1
  • Δp is dynamic pressure P0 − P_static; C is a probe coefficient, not orifice C_d
  • Not a venturi, not an orifice, not Q=Av, not two-station Bernoulli

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
golden-pt-vgoldenpassExpected v=3.1622776601683795 · C=1 · dP=5000 · rho=1000 · mode=velocity · model=pitot · Actual mode=velocity · v=3.1622776601683795 · dP=5000 · rho=1000 · C=1 · model=pitot
golden-pt-cgoldenpassExpected v=3.0990321069650117 · C=0.98 · model=pitot · Actual mode=velocity · v=3.0990321069650117 · dP=5000 · rho=1000 · C=0.98 · model=pitot
boundary-pt-dpboundarypassExpected dP=5000 · model=pitot · Actual mode=pressure · v=3.1622776601683795 · dP=5000.000000000001 · rho=1000 · C=1 · model=pitot
boundary-pt-CboundarypassExpected C=1 · model=pitot · Actual mode=C · v=3.1622776601683795 · dP=5000 · rho=1000 · C=1 · model=pitot
boundary-pt-missingboundarypassExpected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
boundary-pt-dp0boundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-pt-d1boundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-pt-AboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-pt-P1boundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-pt-bernoulliboundarypassExpected INVALID_MODE · Actual INVALID_MODE
boundary-pt-CdboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-pt-nboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
property-pt-vpropertypassv=√(2Δp/ρ)
property-pt-C-defaultpropertypassdefault C=1
property-pt-roundtrip-dppropertypassΔp invert
property-pt-roundtrip-CpropertypassC invert
property-pt-modelpropertypasspitot