Public verification summary
Calculation version 1.0.0 · Evidence revision 2026-09-26.o2-o3
O2: equal-area 90° cross K vs a separate-module identity (≤2 ULP). Not catalog K, not circular-arc R/D, not mitered n, not entrance/exit, not a tee/wye, and not Q=Av. ≤2 ULP vs O3 applies only to the published tabulated pipe-cross vectors. Not catalog K, not circular-arc R/D, not mitered n, not entrance/exit, not a non-90° wye, and not Q=Av.
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.
5ae7b77f59ae36a64f7af4da953decdaec5fc327c503f1f1731977946e6d977ae770733a120826585eeeee8b4480c4f193d97aa4fa2c3156ce417f1735a5e5c5Use 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