Manuscript Oai365-A@1 · Oai365-A.tex · corollary · a3840e3d
Corollary: Explicit restricted realization and its boundary
Conditional assembly and completion verdict · lines 1822–1840 · proof included or linked
Theorems thm:pilot-cone and thm:scaled give a nonempty explicit operational representation and restricted boundary identification example without invoking any Family 365 claim. After adding Specification spec:bus, the transport pilot gives buffered null-endpoint approximation under its stated resource growth.
These facts do not instantiate the general smooth inverse bridge from unknown physical boundary data, and do not eliminate the original finite-future obstruction.
Proof. Use Proposition prop:nonempty for non-vacuity and the cited theorems for the constructions. Theorem thm:scaled expressly uses a supplied comparison class; Theorem thm:bus expressly adds new transport resources. Theorem thm:future continues to apply to the unchanged carrier.