Manuscript XII-E@1 · XII-E.tex · section · 9471ea56
Boundaries recorded, not re-proved
E6: boundaries, decision, and successor package › Boundaries recorded, not re-proved · lines 1266–1284
The XI-G classes , , remain excluded. and are different, model-dependent insertions and supply no representative of the original class.
stands. The slot solves the gauge-fixed forcing equation with zero data; it is not an invariant coupled Einstein solution, and the Einstein row of Theorem thm:plateau is where that distinction appears.
No quantum retarded product of : and are classes of classical insertions.
No loop, state, antibracket, master identity, interacting differential, or limit.
No identification with an X-track mixed map; the inverse is , not ; no triangle residue is subtracted; the initial surface is not moved; is not ramped a second time.