Thermal diagnostics do not determine assisted recovery

This section supplies an explicit finite comparison, developed from the conserving-completion architecture in Hawk01-A CheungHawk01A ({thm:completion}). All maps and probabilities needed for the proof are defined here.