physics.fluid.trapezoid_hydraulic_jump

O2: trapezoid sequent depths from equal M=Q²/(gA)+A ȳ vs a separate-module identity (≤2 ULP). Not rectangular jump, not alternate E-pair, and not Q=Av. ≤2 ULP vs O3 applies only to the published tabulated trapezoid-hydraulic-jump vectors. Not rectangular jump, not alternate E-pair, and not M alone.

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)

f8b8dc4826be3d334663a5cd9710d39630236b2bc1b46ae709725f8f855a970c

Generator commitment (SHA-256)

d1c8c9ab89a4e022de7b0896d644b47ac0696b570c6f34cef72775831359343a

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.