Manuscript Oai283-A@1 · Oai283-A.tex · section · 6fb75895
Faithful generation cannot be skipped
Finite futures, three-relation typing, and cone obstructions › Faithful generation cannot be skipped · lines 1404–1411
Consequently a synthesis circuit does not fill the representation, covariance, non-vacuity, homogeneity, or strict-convexity slots of XXII-A–F simply by being appended to a process. The already conditional Lorentz classification in that programme remains conditional CheungXXIIA,CheungXXIIB,CheungXXIIF.