chemistry.equilibrium.weak_base

O2: monoprotic weak-base ICE vs a separate-module quadratic or Newton cubic. Agreement is absolute 1e-8 because the IUT root is a residual solver. Not a buffer. Absolute 1e-8 vs O3 applies only to the published tabulated weak-base 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)

77f3750d01839499a0854ed2b025b7d757c7ccbb22a9cbf1b838456d203c8992

Generator commitment (SHA-256)

3bbe6db2bce481fc58317dc2b51a2ec4ec66d68a2e77649878cd98fbdfe1c7d2

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.