Module thermal_replay 

Thermal-map replay — the independent judge of a claimed steady-state temperature map.

The crown unification: the thermal solve G·ΔT = P IS the linear-system mathematics the relaxation lane certifies (crate::relax_replay) — one trust pattern, two physical planes. The claim is NEUTRAL data: a conductance edge list, ground (boundary) conductances, power injections, and the claimed per-node temperature rise — all exact rationals. check_thermal_claim reassembles the Laplacian ITSELF from the primitive edges (it never trusts an assembled matrix), re-multiplies exactly, and demands G·ΔT = P as an EQUALITY — the producer solved exactly, so nothing less certifies. Fail-closed throughout: malformed shapes, non-positive conductances, negative injections, a node with no path to any ground (heat with nowhere to go), or a negative claimed rise are rejections, never a verdict.

Structs

ThermalClaim

The neutral thermal claim a stack’s thermal solve emits.

ThermalVerdict

What a TRUE map says. The junction-limit judgment belongs to the cooling phase’s consumer — the verdict reports the physics, it does not editorialize.

Functions

check_thermal_claim

THE judge. Some(verdict) iff the claim is well-formed, physically coherent, and the reassembled G·ΔT equals P EXACTLY at every node.