Home Developers Evidence physics.fluid.sudden_contraction

Public evidence

physics.fluid.sudden_contraction

Machine-checked verification for calculation version 1.0.0 · tier engine_tested

Verification

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

  • Golden tests 2 / 2
  • Boundary tests 11 / 11
  • 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-17T13:12:27.589Z
  • Semantic contract PASS
  • Evidence attested at 2026-09-17T13:12:26.751Z
  • Last production check 2026-09-17T13:12:26.751Z
  • 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:be3251cbdbad0ee793c810ba3b46f0a5481055b160e746c811ba2bd0cd0bbce3

Input schema sha256:c8e7d066fe9ad79411d7dd0eb1797f4712db8dfefacf2a586d0c84982fa4bab3 · Output schema sha256:b382e01ba9f7fd69ef970411279d86fce3fd94cb0e0d2a5999ca66d743cb1f7b · 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
sudden-contraction
Engine
sudden-contraction
Engine build
2026-09-17
Evidence core
2026-09-17T10:42:29.836Z
Rendered
2026-09-17T12:57:09.949Z
Last reviewed

Assumptions

  • Vena-contracta sudden contraction: h = (1/C_c − 1)² v2² / (2g); default C_c=0.62; K = (1/C_c − 1)² is reported, not an input
  • Default g=9.80665 m/s²; default ρ=1000 kg/m³ for Δp = ρ K v2² / 2; incompressible; C_c in (0, 1)
  • Not sudden expansion (v1−v2)², not minor-loss K given, not Darcy f, not orifice C_d, not Q=Av

Limitations

  • Vena-contracta sudden contraction: h = (1/C_c − 1)² v2² / (2g); default C_c=0.62; K is reported, not an input
  • Default g=9.80665 m/s²; default ρ=1000 kg/m³ for Δp = ρ K v2² / 2; incompressible; C_c in (0, 1)
  • Not sudden expansion (v1−v2)², not minor-loss K given, 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.

Published checks

Golden, boundary, and property cases included in this evidence build.

IDKindStatusDetail
golden-sc-hgoldenpassExpected h=0.019152838339491794 · v2=1 · C_c=0.62 · K=0.37565036420395437 · v_c=1.6129032258064517 · dP=187.8251821019772 · mode=head · model=vena_contracta · Actual mode=head · h=0.019152838339491794 · v2=1 · C_c=0.62 · K=0.37565036420395437 · v_c=1.6129032258064517 · g=9.80665 · rho=1000
golden-sc-dPgoldenpassExpected dP=187.8251821019772 · model=vena_contracta · Actual mode=pressure · h=0.019152838339491794 · v2=1 · C_c=0.62 · K=0.37565036420395437 · v_c=1.6129032258064517 · g=9.80665 · rho=1000
boundary-sc-v2boundarypassExpected v2=1 · model=vena_contracta · Actual mode=velocity · h=0.019152838339491794 · v2=1.0000000000000002 · C_c=0.62 · K=0.37565036420395437 · v_c=1.612903225806452 · g=9.80665 · rho=1000
boundary-sc-CcboundarypassExpected C_c=0.62 · model=vena_contracta · Actual mode=coefficient · h=0.019152838339491794 · v2=1 · C_c=0.62 · K=0.37565036420395437 · v_c=1.6129032258064517 · g=9.80665 · rho=1000
boundary-sc-missingboundarypassExpected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
boundary-sc-KboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-sc-v1boundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-sc-CdboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-sc-QboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-sc-fboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-sc-modeboundarypassExpected INVALID_MODE · Actual INVALID_MODE
boundary-sc-zeroboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-sc-Cc1boundarypassExpected VALUE_OUT_OF_RANGE · Actual VALUE_OUT_OF_RANGE
property-sc-hpropertypassh=(1/C_c−1)² v2²/(2g)
property-sc-KpropertypassK=(1/C_c−1)²
property-sc-roundtrip-v2propertypassv2 invert
property-sc-roundtrip-CcpropertypassC_c invert
property-sc-modelpropertypassvena_contracta