Public verification summary

physics.thermo.thermal_resistance

Calculation version 1.0.0 · Evidence revision 2026-09-25.o2-o3

O2: lumped thermal resistance vs a separate-module identity (≤2 ULP). Not radiation and not a heatsink. ≤2 ULP vs O3 applies only to the published tabulated thermal-resistance vectors. Not radiation and not a heatsink.

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)
ab61876d91dbda2d51235c7946ad596eb697967b6ab5b54fe10dee50afd8df44
Generator commitment (SHA-256)
3e95b4779e4422b571f988af62adb114b15c614bf97d91127caf2ad82c3cd2dc

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.

REST and MCP documentation