math.numerical.ode

Relative 1e-8 comparison of y and exact against listed fixed-step references; not a whole-domain accuracy guarantee or a user-tolerance acceptance.

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

12/12 passed

Oracle

O3 · Python Decimal (standard library)

Reference table commitment (SHA-256)

518a0b0215be576e12777419116829e4c2b6349c4b0a6448afabee04032e5103

Generator commitment (SHA-256)

6e4a3034f74b373f68423419741cfa8e93728e6320ab4ae897320659ade7ce96

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.