Proposition: Scope records do not transfer between identifiers

Let a documentary scope record list the singleton identifier set $\{271\text{-}04\}$. That record supplies no formalization claim for VI, Em02-E, X-A, VIII-A/B, or the other Family 271 identifiers. It supplies no premise for a clock-separation theorem.

Proof. The listed identifiers are part of the record's declared scope. None of the other identifiers belongs to the singleton set. A mathematical identification or proof transfer would require an additional statement and its hypotheses; membership of one identifier supplies no such statement. The proposition concerns the scope of a record, not correctness of the recorded proof.