physics.fluid.wave_celerity

O2: Korteweg–Hall c=√[(K/ρ)/(1+(K D)/(E e))] vs a separate-module identity (≤2 ULP). Not Joukowsky Δp, not Darcy, not minor-loss K, and not Q=Av. ≤2 ULP vs O3 applies only to the published tabulated wave-celerity vectors. Not catalog K, not pipe-entrance geometry, not sudden expansion (v1−v2)², not Darcy, and not Q=Av.

This summary records the outcome of the verification run. The full test corpus, oracle implementations, reference tables and generators are retained privately. Their digests identify those artifacts; a digest alone does not let a reader independently reproduce the full verification run.

Recorded result

8/8 passed

Oracle

O3 · mpmath 1.4.1

Reference table commitment (SHA-256)

9fe8b95475f6f9e5c630b856fc596ff09f126ab27cf3817f1b86735c5e8cd370

Generator commitment (SHA-256)

6f2ee575d5e491a99313ac19505ef72b56631629b3cb08284c7d510e025d1a8c

Check a calculation

Use the capability's public input schema and examples to call the versioned REST API or MCP. These interfaces remain available without downloading the validation infrastructure. A successful example checks that example; it does not establish that the complete private suite has been independently reproduced.