Exact channels, recovery, leakage, and entropy

theorem statement. The leakage formula used throughout the rest of the paper is

Equation (eq:flagleak) is retained only as an explicitly debugged reversed-weight formula. The residual recovery error, which is a different quantity, is

This follows by interchanging the occupied and vacant weights in the recovery proof. It must not be substituted for residual leakage.