Public verification summary

chemistry.mole.amount

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

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

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)
f8de0d642fb235306402af521a80d847fa446627a15fc72ae75346a3283e67f1
Generator commitment (SHA-256)
12ad353ee5fc706795e54731bc14e24a7a803930a21230650d667cf3df913cea

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