math.cos

≤2 ULP vs O3 applies to the 18 published tabulated vectors (common angles 0°…180° plus 8 seeded random angles in (−50°, 50°)). It is not a guarantee over the entire real line, including huge angles or unlisted neighborhoods of zeros.

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

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