engineering.measurement.error

O2: signed measurement error vs a separate-module subtraction (≤2 ULP). Not percent error, not En, and not a z-score. ≤2 ULP vs O3 applies only to the published tabulated measurement-error vectors. Not percent error.

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)

46eeec218bb2d8ff4460d6d43dfa6cbb0e7ae6b9a3cb255180569e910821c551

Generator commitment (SHA-256)

a9a9edcde648e1f5b706211a65eb0d44d8e977a8e8712e9e5d50cecc720a2686

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.