engineering.conformity.normalized_error

O2: proficiency-testing En vs a separate-module hypot identity (≤2 ULP). Not zeta, not TUR, and not an ILAC G8 specification decision. ≤2 ULP vs O3 applies only to the published tabulated En vectors (pass, the |En|=1 boundary, fail, an alias, a negative result, one awkward pair, equal expanded uncertainties, and a close pair). It is not a whole-domain guarantee and does not cover zeta, TUR, or an ILAC G8 specification decision.

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)

9c2a452ca2ac26ff43d2d5cda3b771a1b14ffcab1d9702a7283649cb71f6f849

Generator commitment (SHA-256)

24d8fed1599746af64a02abb9a67221e41e411dd9e9c48e879ececeab9773cd6

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.