physics.fluid.iso_nozzle

O2: ISO 5167-3 ISA 1932 Q=C E A2 √(2Δp/ρ), C from β and Re_D vs a separate-module identity (≤2 ULP). Not given C_d, not RHG orifice, not venturi type C, not long-radius, not Q=Av, and not Darcy. ≤2 ULP vs O3 applies only to the published tabulated ISO-nozzle vectors. Not given C_d, not RHG orifice, not venturi type C, not long-radius, 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)

ab3a953c8861ffae1f514843f67784a55827ddb7823108aa4552ffcac097e671

Generator commitment (SHA-256)

6e12d6d66471f033ba15bc8a5936e6ae931262bbc644e3ee1348f02a69a91755

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.