Public verification summary
Calculation version 1.0.0 · Evidence revision 2026-09-26.o2-o3
O2: Hagen–Poiseuille vs a separate-module identity (≤2 ULP). Not Darcy f, not Colebrook, and not Q=Av. ≤2 ULP vs O3 applies only to the published tabulated Hagen–Poiseuille vectors. Not Darcy f, not Colebrook, 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.
244cc9298a12f811bf20594c88d99670e1b53fecef56fb98f8ada0c5ea4401dc6946cd5892e932764f3f713a7d44c07fb1d14bc03c76e60c406b744898d36495Use 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