electrical.adc.error_budget

Static DC LSB/V/%FS error-budget vs independent O2 (same V8, ≤2 ULP on err_LSB, LSB_V, err_V, err_pct_FS, codes). Not measured converter accuracy, not datasheet TUE that omits DNL, not O3.

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

6/6 passed

Oracle

O2 · adc-error-budget-reference

Reference table commitment (SHA-256)

Not applicable

Generator commitment (SHA-256)

1e0a9630cca0a2077ba0d2c425d1d65855ca2acf12c82b8578408450e1dfb3ac

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.