Transactions with outputs whose sequence is smaller than
UINT_MAX are interpreted as locked until the timestamp or block height specified in
nLockTime is reached.
Specifically regarding the block height, I read imprecise or disagreeing information on whether a transaction may be included in a block of
height > nLockTime or
height ≥ nLockTime. Which of the two is the case?