engineering.conformity.z_score

O2: proficiency-testing z-score vs a separate-module division identity (≤2 ULP). Not zeta, not En, and not an ILAC G8 specification decision. ≤2 ULP vs O3 applies only to the published tabulated z-score vectors (pass, the |z|=2 boundary, warning, fail, an alias, a negative result, one awkward pair, and another |z|=2 pair). It is not a whole-domain guarantee and does not cover zeta, En, 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)

3c38cb57188b990e6beb8ec3e9e08276767ecc362e231134d357db1a3ea7d39d

Generator commitment (SHA-256)

a6aaecd74bd3e81bdb1c3312681e3f905a781bf3e8b6c22c4de7f323b909523c

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.