Manuscript XXII-E@1 · XXII-E.tex · section · 51c99d2f
Precise claim and logical status
Precise claim and logical status · lines 139–208
XXII-A specifies the operational Lorentz-cone selection target and
its faithful-generation and non-circularity requirements
CheungXXIIA (target:selection, def:representation).
XXII-B distinguishes operational data, additional assumptions,
derived properties, and open obligations
CheungXXIIB.
XXII-C fixes a tripartite qubit process-matrix family and its
component-order extraction
CheungXXIIC.
XXII-D separates cone extraction from compatible quantum transport
and physical calibration
CheungXXIID.
The present claim under construction is not
Nor does successful reference-preserving transport supply that implication.
The corrected objective is:
On a named nonempty admissible operational domain, first obtain the required extraction and compatible transport realization. Then construct an independently specified geometric perturbation or metric-jet rule and an operationally justified source rule. For a predeclared linearized Einstein comparison, either prove their matching on that domain or provide a correctly scoped mismatch or infeasibility witness.
The existence of such an operational package is not proved here. In particular, the alternatives “matching or obstruction” are not an automatic completed deliverable: a construction can remain unresolved.
necessary correction to the proposed curvature claim. The expression “curvature of the extracted conformal quadratic form” has two different possible meanings. A constant quadratic form translated across its affine carrier has zero curvature. If instead a varying representative of a local conformal class is intended, its derivative data and conformal factor must be supplied. The cone does not determine those data.
Consequently, the dynamics layer has a missing geometric interface in addition to the missing source interface. This remains true even if XXII-A–D were successfully instantiated.
discipline. The Cheung manuscripts are identified by supplied filename, version where available, and internal labels. Documentary scope records are not mathematical proof-transfer premises. The calculations printed here prove their own stated claims. They do not independently verify predecessor manuscripts.
The process-matrix and complete-channel frameworks are those of OCB,Watrous. The Einstein operator used below is a declared classical comparison operator, with conventions stated explicitly; standard treatments include Carroll,Tong. Using that operator does not derive its dynamical status from operational data.
Displayed formulas in this passage
unlabeled · line 156