chemistry.acid_base.henderson_hasselbalch

O2: Henderson–Hasselbalch pH vs a separate-module identity (≤2 ULP). Not an ICE table. ≤2 ULP vs O3 applies only to the published tabulated buffer vectors. Not an ICE table.

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)

1d03713085fc2bf104044b1907a7f2fe1e2c3cbb2f6a1725e802156314f01d5e

Generator commitment (SHA-256)

602e48bfda9ae07afddc5658b74af70b39c538f461ed9d08691a6c1f87ddf447

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.