Steps: drag-select a few lines with the mouse, then click the blank line. Repeat once or twice — usually reproduces within two attempts. The deficit readout below goes to 1 the moment the blank line's tile is dropped (docView.tile.length vs state.doc.length); the view is silently corrupt from then on.