engineering.process.performance

O2: overall Pp/Ppk from a sample vs a separate-module identity (≤2 ULP). Not design-stage Cp/Cpk, not Type A u_A = s/√n, and not Cpm. ≤2 ULP vs O3 applies only to the published tabulated process-performance vectors (centered, shifted, low, an alias, population ddof, a negative Ppk, four points, and one awkward sample). It is not a whole-domain guarantee and does not cover design-stage Cp/Cpk, Type A u_A, or Cpm.

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)

2db71f091e306bc25ebecc95f7081ca016901b784c029fe8dd041e8efbc7bad7

Generator commitment (SHA-256)

98a4429a5c85f33a9e14f966ddaff253e98b847b7f90f8429b24c1d546253212

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.