engineering.measurement.duplicate_sd

O2: repeatability from duplicates s_r = sqrt(Σ d² / (2m)) vs a separate-module identity (≤2 ULP). Not r = 2.8 s. ≤2 ULP vs O3 applies only to the published tabulated duplicate-sd vectors. Not r = 2.8 s.

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)

82749ea9fab7d7327c4c666d37341564a0e6b1b65a5a66d524b3a75e66125f3d

Generator commitment (SHA-256)

bd1ff1705992655cafa14c6f25f2cfb9c93157db3a2e052cff88bdd63f52b5a0

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.