chemistry.acid_base.ph

O2: water ion product at 25 °C vs a separate-module identity (≤2 ULP). Not a buffer. ≤2 ULP vs O3 applies only to the published tabulated pH vectors. Not a buffer.

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

8/8 passed

Oracle

O3 · mpmath 1.4.1

Reference table commitment (SHA-256)

a296775627da4ca5846cb815e4a56f444bc19ef27a9435cabd803875897d43dc

Generator commitment (SHA-256)

ea985a18662b296849b675ce0e94c1a07c914f2b45fe0ef7a7cbcc67b0de1fa0

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.