Language Generation with Replay

Uniform equivalence, replay separations, Witness Protection, and proper-generation impossibilities.

14/14

validation gates pass

1,194

construction cells

192

destructive controls

Four-panel replay generation audit
Source correction. The six registered theorem locators are one section behind the sole pinned revision; all substantive results are audited at the correct Theorems 4.1, 5.1, 6.1, 6.6, 7.1, and 7.3.