Claim, conventions, and source boundary

The claim under construction is not

Cheung's En08-A explicitly obstructs that implication CheungEn08A (thm:main). The narrower claim is that there exists a named class of quantum operational data and a finite, predeclared list of genuinely additional hypotheses under which an operationally extracted cone is linearly isomorphic to a Lorentz cone.

This is an open target. XXII-A neither establishes its existential claim nor supplies the missing process class and hypotheses. In particular, a target statement must not be promoted to a theorem merely because its conclusion has been written precisely.