physics.fluid.gradual_contraction

O2: conical confuser vs a separate-module identity (≤2 ULP). Not sudden contraction, not gradual expansion, not minor-loss K given, and not Q=Av. ≤2 ULP vs O3 applies only to the published tabulated gradual-contraction vectors. Not sudden contraction, not gradual expansion, not minor-loss K given, 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)

5b96334da3bb6de06fdded90a5a5ac8dce091f0b3e7eaa8d17f1fd94a6e81999

Generator commitment (SHA-256)

85539406a1c533e131690b22ceebba1084acc9e7b4acf25a8b85fd92c551aed9

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.