engineering.msa.hysteresis

O2: max |y_up − y_down| vs a separate-module identity (≤2 ULP). Not a %Hysteresis verdict. ≤2 ULP vs O3 applies only to the published tabulated hysteresis vectors. Not a %Hysteresis 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)

e9c416a1e0666a1a1551fdbd169a4b8b93067673441d406367cf6c0ccc6eba30

Generator commitment (SHA-256)

7fcffba4c8894c83687f0af551d32da4801f3369a166c1dadfcc9e6a12964253

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.