physics.fluid.elbow_meter

O2: elbow meter Q=C A √(2Δp/ρ), C=√((R/D)/2) vs a separate-module identity (≤2 ULP). Not pipe-bend K, not Pitot C=1, not venturi/orifice, not Q=Av, and not Darcy. ≤2 ULP vs O3 applies only to the published tabulated elbow-meter vectors. Not pipe-bend K, not Pitot C=1, not venturi/orifice, 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)

2ce1e84f63fee438da22e1c546a474276814367e47ef6818b1f66bb28ff63057

Generator commitment (SHA-256)

23d90577a92023d0958e25c9e28deca062ad86dce3640f75b1f528b81339263d

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.