Manuscript VII-F@1 · VII-F.tex · section · 2d81c03f
What an interface obstruction would require
Negative examples and precise limitations › What an interface obstruction would require · lines 1875–1881
Failure of one proposed occupancy-based guard does not establish this proposition's hypothesis for every implementation. Nor does noninjective location transport alone imply an obstruction when sufficient history is allowed.