physics.fluid.chezy

O2: Chezy vs a separate-module identity (≤2 ULP). Not Manning n, not Hazen–Williams, and not Q=Av. ≤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)

731d9d5c62b04071ee625be1a76d76f83f922f99b8a922fce0ebf5d618cfc7d7

Generator commitment (SHA-256)

f10121bb1acf8e480a99dc6b41a24ae7116cc9d66200fdc7eee89c04a376c700

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.