physics.fluid.trapezoid_critical_depth

O2: trapezoid Fr=1 Q²T = g A³ with A=(b+z y)y, T=b+2 z y vs a separate-module identity (≤2 ULP). Not rectangular yc=(q²/g)^{1/3}, not yn, not E, and not Q=Av. ≤2 ULP vs O3 applies only to the published tabulated trapezoid-critical-depth vectors. Not rectangular yc, not yn, and not E.

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)

d167b0e0221a956420b8569ed4534544f686931d875b9b1aea971d751a72dff9

Generator commitment (SHA-256)

5deee443683f81c56bc71fea7a0bc27633e31e7a8c9128a5cfa0803246f5c1e8

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.