Manuscript XXII-C@1 · XXII-C.tex · section · b9a05a24

What is proved and what remains open

Component ledger and release status › What is proved and what remains open · lines 1416–1491

{}1.14

Item	Status	Exact scope
Item	Status	Exact scope
Base class and exact access	Defined	Tripartite qubit processes, separately tested countable family
Base-class nonemptiness	Proved	Lemma lem:base; not admissible-subclass non-vacuity
Exact signalling query	Proved	Binary reduction and attained finite-dimensional maximum
Component partial order	Proved	Theorem thm:order; components, not raw cyclic events
Order and feasibility covariance	Proved	Matched operational equivalence; no invariant selected embedding
Single-valued affine construction	Open	No $F_{m}$ in (eq:selector)
Successful finite hypothesis package	Open	No witness for $D_{H} \neq = \emptyset$
Faithful generated representation	Open	No member of $A_{m} (D)$ selected for admissible data
Complete countermodel audit	Open	No full interpretation and exclusion package
Homogeneity and strict convexity	Open	Neither operationally derived nor satisfied by a constructed cone
Lorentz classification application	Not performed	No extracted cone meeting its hypotheses
Continuum or event extension	Not constructed	Interfaces and proof obligations only
Geometric causal embedding	Separate	Requires an independently supplied carrier and certificate

The statement that “none of O1–O6 has been discharged” would be incorrect for this revision: the abstract quotient order theorem and several interface properties are proved. The cone-selecting conjunction of obligations remains unfulfilled.