Manuscript Oai290-A@1 · Oai290-A.tex · section · 7c6e104a
The corrected assembly and decision theorem
The corrected assembly and decision theorem · lines 2043–2051
The conjunction architecture is comparable to the source-qualified conditional certificates in Cheung's series: valid modules can be assembled without identifying their carriers or interpretation maps CheungHawk02A,CheungEn07B,CheungEm03G. Theorem thm:assembly does not turn that methodological comparison into a gravitational theorem.