Public verification summary

physics.fluid.mitered_bend

Calculation version 1.0.0 · Evidence revision 2026-09-26.o2-o3

O2: sharp mitered bend K=n[sin²(δ/2)+2 sin⁴(δ/2)] vs a separate-module identity (≤2 ULP). Not circular-arc R/D, not minor-loss K given, not Crane f_T, and not Q=Av. ≤2 ULP vs O3 applies only to the published tabulated mitered-bend vectors. Not circular-arc R/D, not minor-loss K given, not Crane f_T, 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.

Recorded result
8/8 passed
Oracle
O3 · mpmath 1.4.1
Reference table commitment (SHA-256)
e5ff571c28b397fbd1fecff06402914a73a3449690077fef80bfffee8cb569b2
Generator commitment (SHA-256)
aff59d86908222a5c19ee26c2a922a19b98ce2f4187353596e51f93d2773d463

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.

REST and MCP documentation