A declared geometric subsystem is additional data

This counterexample also shows why vanishing source energy next to an inaccessible diary memory does not imply residual independence CheungHawk02E. Choose $H_G|\mathrm{vac}⟩=0$; its energy is always zero despite complete residual response.