Thanks for your reply! That makes sense.

Regarding your first paragraph: is this the scenario you describe in "A potential problem, solved" on the Github page? Am I correct in saying that if Alice initiates a closure in state X-1, she will not be punished (the (counterparty && sender) spending condition mentioned on Github is used, as the revocation secret is not yet shared), whereas if she closes the channel in an earlier state, she will be punished (as the revocation secret for that earlier state is known now)?