Fine path maps and public history maps

A single Kraus path map per public history is generally insufficient for mixed preparations, discarded systems, or non-rank-one instruments. The sum over $\mu$ in (eq:completehistory) is essential.