Complete transcripts and common local factors

This proof retains private histories privately. It does not announce private Kraus labels to Eve, condition on a positive-probability singleton of a continuous transcript, or assume convergence of unused quantum memories.