physics.fluid.trapezoid_alternate_depth

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

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)

739aab6483e1794fd64fb7fc2abeb0538eea01d6688cbb90aea2fb0a30a1da33

Generator commitment (SHA-256)

f5a765a0a7668ebc8461442c1da1b2b2909058daca87f3cc8486bf331854f308

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.