Internal source locators

The principal Cheung comparisons are:

• Hawk02-A, version 1: def:completeoutput, thm:sequential, thm:constant, thm:stability, thm:pairentropy, thm:main.

• Hawk01-B, version 1: reported recovery and endpoint interfaces and supplied thm:entropyseparation.

• Em03-E, version 1: Hamiltonian-derived finite dynamics and complete auxiliary accounting.

• Em05-B, version 1: thm:constantComplement.

• VII-G, version 1: thm:stability.

• Em06-B, version 1: thm:input-stability, not a channel allowance here.

• En02-B and En02-C, version 1: finite-programme soundness and storage accounting.

• En02-E, version 2: thm:cutoff, not imported for arbitrary coherent inputs.

• Psy04-A, version 1: thm:classical, a different task and score.

• En03-A, version 1: thm:obstruction.

• Psy02-B, version 2: thm:process.

These locators identify the supplied documentary comparisons. All model-specific proofs are local to this manuscript.