engineering.uncertainty.precision_mean

O2: ISO 21748 u = √(s_L² + s_r²/n) vs a separate-module identity (≤2 ULP). Not R = 2.8·s_R, not Type A from a sample, and not U = k·u. ≤2 ULP vs O3 applies only to the published tabulated ISO 21748 vectors (both components, repeatability only, laboratory only, an alias, and one awkward mean). It is not a whole-domain guarantee and does not cover R = 2.8·s_R, Type A from a sample, or U = k·u.

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)

1c804c5bf18d3f97f32e74438f6e023886de27b20a18860a1cfa228208d52ad0

Generator commitment (SHA-256)

da63953998aa6f03cd29955a837db35d5e3cde5f1864871664054195fb44f665

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.