engineering.msa.linearity

O2: OLS slope and intercept of ε versus xref (≤2 ULP). Not a %Linearity verdict. ≤2 ULP vs O3 applies only to the published tabulated linearity vectors. Not a %Linearity 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)

0a6fc5e9a31f1eb3fb9a13e3a396d2bfb4d14a583572569e1dabdbb64140963b

Generator commitment (SHA-256)

aacad2b7a58bf97cd57bbd8e94ba895161177b1f1e8576b73252de2be372437e

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.