engineering.measurement.reproducibility

O2: ISO 5725 s_R = hypot(s_r, s_L) and R = 2.8 s_R vs a separate-module identity (≤2 ULP). Not r from a sample. ≤2 ULP vs O3 applies only to the published tabulated reproducibility vectors. Not r from a sample.

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)

c75b479216012346fa8d0ef8e4fdabc1907479fe6067ec19725aa720cbdd4024

Generator commitment (SHA-256)

7fdfc0002537c874a7c6f6488a4d0ec9c2fc496f860af7b158fc9183b63832a0

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.