physics.fluid.trapezoid_normal_depth

O2: trapezoid SI Manning yn invert A=(b+z y)y, P=b+2y√(1+z²) vs a separate-module identity (≤2 ULP). Not rectangular yn, not yc, not Manning A,R, and not Q=Av. ≤2 ULP vs O3 applies only to the published tabulated trapezoid-normal-depth vectors. Not rectangular yn, not yc, and not Manning A,R.

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

Reference table commitment (SHA-256)

715dd82b31ced1e412524d26288348021083e4920f63a4758b01ad18755a4ca0

Generator commitment (SHA-256)

4c3b47c220a4c3041f4acc1cb287b7cb9b722c03f63b1084bc019c410bcb647b

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.