Public verification summary

chemistry.solution.molarity

Calculation version 1.0.1 · Evidence revision 2026-09-25.o2-o3.2

O2: molarity c = n/V and one-unknown dilution vs a separate-module identity (≤2 ULP). Not mole n = m/M. ≤2 ULP vs O3 applies only to the published tabulated molarity vectors. Not mole n = m/M.

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)
1cfb9f23501cf6e2c6548898b26f366212e635cbba4412dfba09a7392e925df8
Generator commitment (SHA-256)
7a943a2acbff1f733e1be2fb4c37c17ed18eec58dc06fad081553dd73b92b575

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.

REST and MCP documentation