Release, existential target, and remaining gap

precise remaining gap. The missing result is the non-vacuous operational construction: an actual additional package, a matched single-valued affine rule, and a separately valid transport realization with finite protocols and proved resource functions.

Until that construction is supplied, the programme has a rigorous conditional assembly theorem, operational error certificates, and scoped obstructions, but not an existence theorem extracting Lorentzian causal structure from the named quantum data. The conditional results cannot be promoted into that existential claim by renaming assumed outputs as derived geometry.