Source labels and documentary corrections

The symbol $n$ in the source probability formula is the padded quantity $\max \{128,\ell \}$, not always the literal bit length.

The probability $p_{\ast }$ is an intermediate preparation probability. The exact probability $1/4$ used in Lemma lem:amplification is a further interface.

En07-A's supplied thm:exact is a complete-complement recovery criterion. It is not a theorem that a circuit factors with probability one.

The supplied sharp quantitative prop:classical-recovery passage is explicitly in VIII-B, version 3. A similarly named nomination for Landmark I does not justify moving the passage between manuscripts.

Em03-G's supplied thm:lower is a positive finite-parameter lower bound. The growing-resource transmission statement is separate.

VIII-C's lem:completion is a finite permutation extension statement. Family 279's lem:completion is a probability-engineering statement. The labels do not identify their mathematical objects.

The Oai272-A and Oai283-A nominations in the dossier do not supply independently inspected full articles or factoring subroutines. No missing title, theorem body, or authorship is invented for them.