Home Developers Evidence physics.fluid.poiseuille

Public evidence

physics.fluid.poiseuille

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:5c2b390b1ebf7c4e98ef29aa95123384b668fa66f705723b285313811e373173

Input schema sha256:33225c3bfe160c9613a783ce6d8b8126dee629ea35f436e39397562555e05cba · Output schema sha256:fcc12ab2170b5c0db3532ef56c7294cbf991dbcf2f6951f04fc7ed080562b400 · 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
hagen-poiseuille
Engine
hagen-poiseuille
Engine build
2026-09-17
Evidence core
2026-09-17T07:58:48.971Z
Rendered
2026-09-17T08:49:50.940Z
Last reviewed

Assumptions

  • Laminar Hagen–Poiseuille: Q = π Δp D⁴ / (128 μ L); circular, fully developed, Newtonian
  • Mean speed v = 4Q/(π D²) is reported, not an input
  • Not Darcy f, not Colebrook, not Q=Av, not Manning

Limitations

  • Laminar Hagen–Poiseuille: Q = π Δp D⁴ / (128 μ L); circular, fully developed, Newtonian
  • Mean speed v = 4Q/(π D²) is reported, not an input
  • Not Darcy f, not Colebrook, not Q=Av, not Manning

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-hp-qgoldenpassExpected Q=3.9269908169872417e-7 · dP=1000 · D=0.002 · mode=flow · model=poiseuille · Actual mode=flow · Q=3.9269908169872417e-7 · dP=1000 · D=0.002 · L=1 · mu=0.001 · v=0.125 · model=poiseuille
golden-hp-dPgoldenpassExpected dP=1000 · model=poiseuille · Actual mode=pressure · Q=3.9269908169872417e-7 · dP=999.9999999999999 · D=0.002 · L=1 · mu=0.001 · v=0.125 · model=poiseuille
boundary-hp-DboundarypassExpected D=0.002 · model=poiseuille · Actual mode=diameter · Q=3.9269908169872417e-7 · dP=1000 · D=0.002 · L=1 · mu=0.001 · v=0.125 · model=poiseuille
boundary-hp-muboundarypassExpected mu=0.001 · model=poiseuille · Actual mode=viscosity · Q=3.9269908169872417e-7 · dP=1000 · D=0.002 · L=1 · mu=0.001 · v=0.125 · model=poiseuille
boundary-hp-missingboundarypassExpected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
boundary-hp-zeroboundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-hp-fboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-hp-ReboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-hp-nboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-hp-AboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-hp-epsboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-hp-darcyboundarypassExpected INVALID_MODE · Actual INVALID_MODE
property-hp-QpropertypassPoiseuille Q
property-hp-vpropertypassv=4Q/(πD²)
property-hp-roundtrip-dPpropertypassΔp invert
property-hp-roundtrip-DpropertypassD invert
property-hp-modelpropertypasspoiseuille