engineering.uncertainty.welch_satterthwaite

O2: JCGM 100 G.4 ν_eff = u_c⁴ / Σ(u_i⁴/ν_i) vs separate-module identities (≤2 ULP). Not GUM propagate and not U=k·u_c. ≤2 ULP vs O3 applies only to the published tabulated G.4 vectors (equal Type A, one infinite Type B, supplied u_c, all-infinite, aliases, three components, scale, a zero component). It is not a whole-domain guarantee and does not cover GUM propagate or U=k·u_c.

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)

c878bf365689dfc896c1331fd97cd4862bd7f7a91b11ae5d2c9d3f938b6818cb

Generator commitment (SHA-256)

a9b25c3b16aba9258c3de32869e54989e9bcc83fd42753d7584a4d5ae007b57b

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.