math.divide

≤2 ULP vs O3 applies to the published tabulated quotient vectors (1/3, 100/7, 1.005/1, 1/1e-300, (2^53−1)/7). Long-division vectors are exact integer q,r (Python int divmod). This is not a whole-domain guarantee.

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

9/9 passed

Oracle

O3 · mpmath 1.4.1

Reference table commitment (SHA-256)

efdad939a92a67df1f3995db36c52bb87f428a59fc73568f789c02540f4372ee

Generator commitment (SHA-256)

3453ec60bd03738a1f1f3723baed7e617ff49466452efab1844fe68b8f654cea

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.