Public verification summary
Calculation version 1.0.0 · Evidence revision 2026-09-26.o2-o3
O2: rectangular alternate depths from E=y+Q²/(2gA²) vs a separate-module identity (≤2 ULP). Not jump y2, not specific force M, not trapezoid, and not Q=Av. ≤2 ULP vs O3 applies only to the published tabulated alternate-depth vectors. Not jump y2, not M, and not trapezoid.
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.
32b17fb7084027a6b3cebaaad3c71ffc9b65cc8ba7a2b6e69ccf5f6f52f11dd06cddb35e85960646faf15aa56f0d3d5af4271cd010cc2f541574aef574f797a9Use 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.
REST and MCP documentation