math.square_root

≤2 ULP vs O3 applies to the published tabulated Square Root vectors, including non-negative named and seeded values, principal imaginary of -9 and -2, IEEE-754 min-subnormal, and max-finite. It is not a guarantee over the entire input domain.

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

21/21 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.