Define frozen dataclasses for ThermalState and ElectricalState to represent immutable simulation state snapshots.