spacecraft-thermal-control
Machine-verified thermodynamic bounds for orbital data-center heat rejection, plus an audit-closed Python radiator-simulation package — headline result: a +6.35 K exact-view-factor correction to McCalip's edge-on geometry.
