Lessons from the QDL Closure Sequence: Strong Claims, Open Residuals, Falsification Tests, and the Emergence of a Compact Closure Grammar | Synapse