engineering.conformity.z_prime

O2: proficiency-testing z-prime vs a separate-module hypot identity (≤2 ULP). Not z-score, not zeta, and not En. ≤2 ULP vs O3 applies only to the published tabulated z-prime vectors. It is not a whole-domain guarantee and does not cover z-score, zeta, or En.

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)

36270c3a4a24205381f4c2b1530dc3b8004e5aef49304237eba5499fcaa67fd8

Generator commitment (SHA-256)

17b39f5a4eb2f1255db77a49da3d4d67c03972315100a93a5fb0c00feaca40ec

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.