physics.fluid.manning

O2: SI Manning vs a separate-module identity (≤2 ULP). Not Darcy f, not Chezy C, not Hazen–Williams, not Q=Av, and not normal-depth yn. ≤2 ULP vs O3 applies only to the published tabulated Manning vectors. Not Darcy f, not Chezy C, not Hazen–Williams, not Q=Av, and not normal-depth yn.

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)

7458a68fd2aa7a4376caaf558260757ad7ac71e63985d2999af1bae168d69650

Generator commitment (SHA-256)

4c3ef10ec6eb94e868d5d85c8b49ab3d1a2dc3ab594bfae28aa290b24072e547

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.