Purpose and exact logical status

XXII-A fixes a research target: operational data, on one named nonempty process class and under a finite predeclared hypothesis package, must yield a faithful generated affine cone linearly isomorphic to a Lorentz cone CheungXXIIA (target:selection, conditions (T1)–(T5)). XXII-B catalogues possible data and the obligations of such a package. It does not assert that a successful package exists.

The proposed sentence

There exists a finite additional ledger, a named quantum data class, and a nonempty admissible data set excluding the relevant scheduler countermodels

is therefore an objective to be established, not the principal theorem of this note. Moreover, even establishing that sentence would not alone establish Lorentz-cone selection: excluding named countermodels is a necessary audit, not a sufficient classification of every remaining cone.

The baseline scheduler package is retained from XXII-A and En08-A:

1. acyclic dependency;

2. termination of every finite experiment;

3. commutation of independent operations;

4. schedule-independent complete joint records;

5. exact operational sensitivity equal to strict reachability;

6. confluence of legal finite executions.

Their conjunction is denoted by $\mathsf{S}$. En08-A supplies the obstruction to selection from this package CheungEn08A (thm:main, prop:ball, prop:orthant). Condition (S5) is a special property of those models, not a general identification of influence with ancestry.

is frozen here. The finite catalogue of operational languages, the meaning of the candidate data, the ledger-entry syntax, and the failure tests are frozen. A particular process class, extraction algorithm, and successful hypothesis instantiation are not selected here. Calling this a completed catalogue does not discharge the substantive non-vacuity and construction obligations of the programme.

discipline. Cheung's manuscripts are cited by identifier, supplied version where available, and internal label. Documentary comparisons are not mathematical premises. The operational literature provides definitions and frameworks, not an unspecified cone-selection theorem. The elementary arguments printed below establish their own stated claims; they do not verify the full proofs of the cited manuscripts.