physics.fluid.trapezoid_specific_energy

O2: trapezoid E=y+Q²/(2gA²) with A=(b+z y)y vs a separate-module identity (≤2 ULP). Not rectangular E=y+v²/(2g), not yc, not yn, and not Q=Av. ≤2 ULP vs O3 applies only to the published tabulated trapezoid-specific-energy vectors. Not rectangular E, not yc, and not 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

Reference table commitment (SHA-256)

eb35436bf443a228ebfd7d4ae9973d7dfcf224e830c4f8113e6f7c22240504e5

Generator commitment (SHA-256)

ed13556b5197630c05299b7ed7c983b40c25158f0bcb1b42fd9190ac590e5805

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.