engineering.measurement.precision

O2: repeatability s, CV, and r = 2.8 s vs a separate-module sample identity (≤2 ULP). Not Type A u_A. ≤2 ULP vs O3 applies only to the published tabulated precision vectors. Not Type A uncertainty.

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)

e75a476a0573ef54be4e6ef077b0978439cb615034d0dfbe6a2fb984a8ea79d7

Generator commitment (SHA-256)

227819dc82d7c5bd87f55212c8f686286217a96c6293f4fd393fedb66dbbcfa5

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.