Coherent entropy, classical records, and the dimension neck

Fix one pure diary input $|\psi ⟩$, independent of $U$. After tracing $E$, the vault state is

Its late marginal is ${{\rho }_{P_k}}^U$. It is this late-radiation entropy, not necessarily the entropy of the entire receiver $P_{k}E$, that we plot.