Source labels and coherent cutoffs

The supplied Hawk04-B version 2 has a conclusions and release section, labelled sec:release; it does not contain a theorem labelled thm:release. Theorem thm:release is the release collection defined in the present note, not a fabricated cross-reference to the predecessor.

A coherent cutoff also need not have error equal to discarded probability. The latter identity requires the appropriate commuting-state or flagged interface. The present proofs do not use such an unqualified cutoff conversion CheungEn02E,CheungHawk04B.