engineering.uncertainty.weighted_mean

O2: JCGM 100 H.3 inverse-variance weighted mean vs separate-module identities (≤2 ULP). Not RSS, not Type A, and not U=k·u_w. ≤2 ULP vs O3 applies only to the published tabulated H.3 vectors (equal weights, unequal weights, a single result, aliases, a signed measurand, doubled uncertainties, and one awkward triple). It is not a whole-domain guarantee and does not cover RSS, Type A, or U=k·u_w.

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)

36fd74913f6b655063cf240a332366c7db4eb71231cc636c66af13fd0024aa27

Generator commitment (SHA-256)

2baa044c7c7ee5d8ae102b3adae600083670248b894f331bd0106b1b24eee9b6

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.