physics.fluid.trapezoid_specific_force

O2: trapezoid M=Q²/(gA)+A ȳ with A=(b+z y)y and ȳ=y(3b+2zy)/(6(b+zy)) vs a separate-module identity (≤2 ULP). Not rectangular ȳ=y/2, not jump y2, not E, and not Q=Av. ≤2 ULP vs O3 applies only to the published tabulated trapezoid-specific-force 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)

ff3077591e8574228e66594eff90942f0673463e2c30406f4f66fe6aaf30742a

Generator commitment (SHA-256)

3942de549d6d37c02d06a24becec5cc4f6d8c5d7467ecb95f56504a078e9ad4d

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.