Rows $(6)$ are prefixes of the index order, so their ones are consecutive outright. Rows $(7)$ list the jobs alive at $s_j$, and on a proper instance those are consecutive in the earliest-start-time order — an interval strictly inside another cannot occur, so the alive set at any instant is a block.