math.log

≤2 ULP vs O3 applies to the 14 published tabulated common-log vectors (log₁₀ of 1, 10, 100, 0.1, 2, 1000 plus 8 seeded random x = 10^(u·6−2) in about [0.01, 10⁴]). It is not a guarantee over all bases, the whole positive reals, or unlisted neighborhoods of 0 and 1.; plus45 independent Decimal200 complete packs:4ULP forward/argument and128ULP solved base, known inputs exact. No 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

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