DL-568

A pull request pipeline’s head is read before its delivered state, so a stale head is superseded; a newer run of the name from another pipeline is also superseded; the later-owner store check and the head read run again under the key lock right before each repair write.

Status: Active (Matt, 2026-10-19)