Manuscript XXII-C@1 · XXII-C.tex · section · b9a05a24
Purpose, claim, and release boundary
Purpose, claim, and release boundary · lines 129–179
XXII-A fixes the operational Lorentz-cone selection target and its
acceptance conditions
CheungXXIIA (target:selection, conditions (T1)–(T5), (A1)–(A6)).
XXII-B supplies the candidate-data catalogue, hypothesis-ledger syntax,
and failure tests
CheungXXIIB.
The present note selects the process-matrix branch and replaces an
unspecified “family of experiments” by the concrete declaration in
Section sec:class.
The claim under construction is not
It is the prospective existence of a nonempty additional operational package on the frozen class, together with a construction of a faithful generated affine representation and a justified cone-selection step. That existence claim is not proved here.
meanings of extraction must be separated. The order-and-feasibility rule defined in Section sec:representation is fully specified as a mathematical rule. Its output includes a representation problem. A single-valued rule constructing one admissible affine embedding is not specified or constructed. Calling the former a frozen rule must not be used to claim completion of the latter.
Similarly, a list of obligations is not a successful additional hypothesis package . A later theorem must state its actual finite hypotheses and its actual cone-construction rule before applying them.
of Stage 2 in this release. This is a completed process-class and extraction-interface freeze. It does not complete the representation construction assigned to Stage 2 in XXII-A. Those mathematical obligations are explicitly carried forward rather than marked as discharged by a change of stage label.
discipline. Published articles supply the process-matrix and channel frameworks. Cheung's references identify supplied manuscripts by filename and internal label. A documentary comparison is not a theorem premise. The proofs printed here concern the explicitly defined objects of this note; they do not verify the full predecessor manuscripts.
Displayed formulas in this passage
unlabeled · line 143