The remaining gravitational and diary obligations

Hayden–Preskill gives a recovery precedent under specified unitary and mixing assumptions HP. It does not derive those assumptions for a new gravitational model. Likewise, Proposition prop:early is a statement about a finite early port, not a theorem about a diary's causal history.

The external-source caution is particularly important: information-sensitive radiation records can arise from strictly exterior interactions. The Cheung Em03-F and Em03-G models are therefore comparisons for pre-crossing accounting, not post-horizon-transfer premises CEm03F,CEm03G.