Corollary: Conditional gravitational interpretation

If one physical gravitational model supplies the four obligations with justified outgoing quantum access, then the endpoint and finite-time conclusions of Theorem thm:endpoint apply to its declared finite code and preserve external references. If a physical receiver comparison is also supplied, its allowance is included as in Corollary cor:receiver.

This implication does not construct a gravitational preparation, unitary evolution, access factorization, receiver, convergence theorem, or complement allowance.

Proof. Apply the finite theorem to the objects actually supplied by that model. The theorem proves an implication from those objects; it contains no construction of the gravitational hypotheses.