Source-label corrections and documentary limits

The comparison dossier contains theorem labels from different manuscripts. The following corrections prevent a label from being used for the wrong mathematical task:

• En07-A's supplied thm:exact is an exact complete-complement recovery criterion.

• En07-C's supplied thm:exact is another complete-complement criterion, not a theorem equating a Hawking occupation to the GAD parameter $\nu$.

• Em03-G's supplied thm:lower gives a strictly positive lower bound at every fixed finite source parameter. Its compatible growing-resource transmission conclusion is a different theorem.

• A nominated Oai283-A normalization lemma or an unsupplied Hawk04-B corollary is not silently reconstructed from its label.

• The Oai272-A draft in the conversation is not an independently verified Family 272 construction and is not a Cheung-authored theorem by virtue of its identifier.

The extensive XIV–XV–XVI passages in the supplied dossier concern different equation spaces, distributions, reconstruction maps, and admission problems. They are not prerequisites of this qubit optimization. In particular, finite rational entropy evaluation does not define their missing joint characteristic composition.