physics.fluid.pitot

O2: pitot vs a separate-module identity (≤2 ULP). Not venturi, not orifice, not Q=Av, and not two-station Bernoulli. ≤2 ULP vs O3 applies only to the published tabulated pitot vectors. Not venturi, not orifice, not Q=Av, and not Bernoulli.

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)

5ff4b20dd6402cac7b5b757c8642e2cfd08d3ec91a82c9f93ff755634d7d7225

Generator commitment (SHA-256)

991d8c821f03ffde51c647ce4d36a68187e3dad50fa0d90ad6ad56009bd63e94

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.