Source discipline

All proofs below use displayed definitions and elementary arguments. The unprinted proofs, computational artifacts, catalogue claims, and reported checks of predecessor manuscripts are not theorem premises.

A citation records an attributed source and its scope; it does not independently verify that source. Likewise, a source dependency, a continuation label, or a proposed comparison is not itself a proved identification.

The convention

means that this note supplies no cross-programme identification or proof-transfer path. It does not prohibit a future explicitly defined comparison, and does not describe a mathematical map as identically zero.