fdd399dfd3
Assert the invariant — every display read of one session returns the same transcript — plus the two things that must not grow with it: the model-fed projection stays compressed, and Undo/Rewind rows stay hidden. Six of these fail on the unfixed read paths.