engineering.conformity.decision_rule

O2: simple and guarded acceptance limits vs a separate-module identity (≤2 ULP). Not consumer risk. ≤2 ULP vs O3 applies only to the published tabulated decision-rule vectors. Not consumer risk.

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)

86246fcb69dcfa1d5e4061d38884bc15523a1c07347069a10cdcc1a85cf9d806

Generator commitment (SHA-256)

c1757ed4a6e892a78c652e2babb1b19ab29dbe3dcbfc493cc871f39806950094

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.