physics.fluid.venturi

O2: venturi meter vs a separate-module identity (≤2 ULP). Not an orifice wrap, not Q=Av, and not Darcy. ≤2 ULP vs O3 applies only to the published tabulated venturi vectors. Not Q=Av, not Manning, and not Darcy.

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)

fdeff3e161eaf55acd749eb0277ccfd5c22bbc5da0f36aa0686c23339811a24d

Generator commitment (SHA-256)

df1a4fabf4619675cee370d2819368e9a9ff44983c4d6d06fad39fb4a9582874

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.