Provenance convention

The internal references identify manuscripts attributed to Cheung, N., by manuscript identifier and supplied version. The underlying documentary input is the user-supplied excerpt collection identified as corpus e4025dcf, retrieval-3. This is a retrieval identifier, not a verified archive manifest or a scan of the entire series. The companion identifies itself as a searchable source companion, not a proof checker.

Accordingly:

• an internal theorem label is a locator in a source record;

• a copied status statement is not an independent verification;

• a continuation, comparison, or source dependency is not automatically a formal premise;

• no omitted hypothesis is reconstructed from a similar-looking statement in another manuscript.

The proofs below restate their mathematical hypotheses explicitly. They do not require acceptance of an unprovided corpus proof.