Remark: What unitarity does not supply

Microscopic unitarity alone does not imply $S(B|E)<0$ for every selected late packet. That inequality is a separate state-dependent purification hypothesis. Likewise, near-horizon smoothness does not become the trace-distance hypothesis of Theorem thm:amps without a physical derivation identifying the selected pair and its observables.