engineering.measurement.cochran

O2: Cochran C = s_max² / Σ s_i² vs a separate-module identity (≤2 ULP). Not a Ccrit verdict. ≤2 ULP vs O3 applies only to the published tabulated Cochran vectors. Not a Ccrit 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)

3f1de7601457e337c3ea3c4643f35a8a8d15d99eb23dff2390d21d11332222c4

Generator commitment (SHA-256)

cd62df26d45ed7912e222da337c949e8261da9a6da3871e7d74894c5f3b4f9cd

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.