engineering.process.cpm

O2: design-stage Taguchi Cpm vs a separate-module identity (≤2 ULP). Not Cp/Cpk, not Pp/Ppk, and not a Cpm≥1.33 verdict. ≤2 ULP vs O3 applies only to the published tabulated Cpm vectors (on target, off target, below target, an alias, a wider σ, a target away from the midpoint, one awkward sample, and a tiny offset). It is not a whole-domain guarantee and does not cover Cp/Cpk, Pp/Ppk, or a Cpm≥1.33 verdict.

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)

c255e45333459fdef6793b4f973e4802c90053e0f147638dc00db2f18e76786e

Generator commitment (SHA-256)

563682e2cdee2a20e32bb68fc65119f2713183ddd1d50af42e4372058f6c7962

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.