The lead's answer B44: a lease the bundle before held in today's database and still live at the run is written to `leases` under the bus's key form with what is left of its lifetime, so no refresh races it whatever the delivery's order; an expired one is counted read and not written. Builds: design 39 bus-and-switch §4, §12, B44 Claude-Session: https://claude.ai/code/session_01NcbgfHb9d4T9nq5Q6WqdiJ