Requirement: Spacetime-localized diary certificate

A diary claim additionally fixes:

1. a physical diary subsystem $D_{\mathrm{diary}}$, initially entangled with an untouched reference $Q$;

2. its preparation, trajectory, crossing event, interactions, and code embedding in the same physical model;

3. the complete pre-crossing exterior interface, including retained records and auxiliary outputs, with a bound on any diary imprint;

4. the post-crossing emission channel and its complete complement;

5. a decoder preserving the diary-reference correlations;

6. the joint infalling and recovery experiment, with detector excitations matched in the regular reference.

A logical register transfer without these data is not an infalling-diary theorem.