Home Developers Evidence physics.fluid.weber

Public evidence

physics.fluid.weber

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

Input schema sha256:dbd0402b1341841a0462d20864bd331f1575d4d378da72aac7419186b8949152 · Output schema sha256:81966cd4b362872892078280aaa2a7adfa38b52de0f3f9cc5ae9eb42981d1e5b · 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
weber-number
Engine
weber-number
Engine build
2026-09-17
Evidence core
2026-09-17T07:09:31.087Z
Rendered
2026-09-17T08:49:50.939Z
Last reviewed

Assumptions

  • Weber We = ρ v² L / σ
  • Inertia vs surface tension; σ is interfacial tension, not viscosity μ
  • Not Reynolds, not Froude, not Manning, not Q=Av, not capillary Ca=μv/σ

Limitations

  • Weber We = ρ v² L / σ
  • Inertia vs surface tension; σ is interfacial tension, not viscosity μ
  • Not Reynolds, not Froude, not Manning, not Q=Av, not capillary Ca=μv/σ

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-we-valuegoldenpassExpected We=1000 · v=1 · L=0.072 · rho=1000 · sigma=0.072 · mode=We · model=weber · Actual mode=We · We=1000.0000000000001 · v=1 · L=0.072 · rho=1000 · sigma=0.072 · model=weber
golden-we-vgoldenpassExpected v=1 · model=weber · Actual mode=velocity · We=1000 · v=1 · L=0.072 · rho=1000 · sigma=0.072 · model=weber
boundary-we-LboundarypassExpected L=0.072 · model=weber · Actual mode=length · We=1000 · v=1 · L=0.072 · rho=1000 · sigma=0.072 · model=weber
boundary-we-sigmaboundarypassExpected sigma=0.072 · model=weber · Actual mode=sigma · We=1000 · v=1 · L=0.072 · rho=1000 · sigma=0.072 · model=weber
boundary-we-missingboundarypassExpected MISSING_REQUIRED_INPUT · Actual MISSING_REQUIRED_INPUT
boundary-we-v0boundarypassExpected VALUE_MUST_BE_POSITIVE · Actual VALUE_MUST_BE_POSITIVE
boundary-we-ReboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-we-FrboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-we-muboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-we-nboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-we-AboundarypassExpected MIXED_INPUT_ENCODING · Actual MIXED_INPUT_ENCODING
boundary-we-reynoldsboundarypassExpected INVALID_MODE · Actual INVALID_MODE
property-we-valuepropertypassWe=ρv²L/σ
property-we-roundtrip-vpropertypassv invert
property-we-roundtrip-LpropertypassL invert
property-we-roundtrip-sigmapropertypassσ invert
property-we-modelpropertypassweber