Public verification summary

physics.fluid.critical_slope

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

O2: rectangular Sc at yn=yc from SI Manning vs a separate-module identity (≤2 ULP). Not normal-depth yn from given S, not trapezoid, not Manning A,R, and not Q=Av. ≤2 ULP vs O3 applies only to the published tabulated critical-slope vectors. Not yn from given S, not trapezoid, and not Manning A,R.

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
Reference table commitment (SHA-256)
9d1bae15261f5febc2692c3d4d9c242ed06797696a298d2f7d555b7064436b71
Generator commitment (SHA-256)
2dfbadbfd09a62aac0625ed67dac7d5a9d49da112bbc07475571b4e1b5154a31

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