physics.fluid.cavitation

O2: σ=(p−p_v)/(½ ρ v²) vs a separate-module identity (≤2 ULP). Not NPSH, not Thoma, not Weber, and not Euler Eu=Δp/(ρ v²). ≤2 ULP vs O3 applies only to the published tabulated cavitation vectors. Not NPSH, not Thoma, not Weber, and not Euler.

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)

94cf597e78eb732f81ed06d43ea1551f0fbb7ee099583cb22ab3e26ee8f4b009

Generator commitment (SHA-256)

dbc032d2fbf4b18119de191d28e50941e978eb0bea209343de7cdac281c8f0e4

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.