Writing
When work is merged, it cuts graph traversal. Downstream work stops inheriting the cycles and unresolved blockers that lived upstream of that merge. Here is the model and the proof.