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

Back to manuscript
  • 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.