engineering.conformity.mpe

O2: MPE ratio vs a separate-module identity (≤2 ULP). Not En. ≤2 ULP vs O3 applies only to the published tabulated MPE vectors. Not 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)

4ab4c00ac701a4c7f26d5e59233c0a9c8fb87ae14e8ed2e4a96caea8bb12ab10

Generator commitment (SHA-256)

b865b370637bf90e13f95b34bea444e4e3a935bd0b946506d224295b73040c74

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.