Theorem: Nontrivial complete-instrument limit

The Bell network has a full-tail continuum realization with

The equality includes every untouched reference. It also holds for matched local setting or measurement-payload modifications.

Proof. Lemma lem:finegeometry gives the geometric and actual acquisition convergence. Theorem thm:identity gives (eq:exactBelllimit) for each payload assignment on the fixed skeleton, together with its reference extension and matched-modification statement.