Public verification summary
Calculation version 1.0.0 · Evidence revision 2026-09-27.o2-o3
O2: ISO 5167-3 long-radius Q=C E A2 √(2Δp/ρ), C=0.9965−0.00653√β vs a separate-module identity (≤2 ULP). Not ISA 1932, not given C_d, not RHG orifice, not ISO 5167-4 type C, not Q=Av, and not Darcy. ≤2 ULP vs O3 applies only to the published tabulated long-radius-nozzle vectors. Not ISA 1932, not given C_d, not RHG orifice, not venturi type C, 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.
28fa51ce0aee73573b6f7072662c80c061a9a1f04a9bb173e286dbdb3b611287d58d0510160b31b18600b73a0b2f2c4893f4bdb3b8796bd9b587ee3c2c2d1fdaUse 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