Development record
2026-10-16 — A drain renews its lane's lease every move (facilitator-on-delegation, drain-many-accounts): every drain move, waiting or not, renews its in-progress lane's reservation at half its lease before its window gate, independent of the lane's progress; and the land stage checks the reservation before its push as well as at arming, handing the lane back at once when the hold is now another's, so a lapsed lease never becomes a duplicate pull request (grounds: lease keep-alives as Chubby and etcd keep them, and fencing before a write; iss-2610161015393523).
2026-10-16 — A drain renews its lane's lease every move (facilitator-on-delegation, drain-many-accounts): every drain move, waiting or not, renews its in-progress lane's reservation at half its lease before its window gate, independent of the lane's progress; and the land stage checks the reservation before its push as well as at arming, handing the lane back at once when the hold is now another's, so a lapsed lease never becomes a duplicate pull request (grounds: lease keep-alives as Chubby and etcd keep them, and fencing before a write; iss-2610161015393523).
Frontmatter
| id | dcn-2610161040374343 |
|---|---|
| type | decision |
| date | 2026-10-16 |
.abcd/work/decisions/dcn-2610161040374343-a-drain-renews-its-lane-s-lease-every.md
open on GitHub ↗ · commit history ↗
mentions3
- iss-2610161015393523A drain's in-progress lane is renewed only when its own step or receipt runs, so if the host pauses the lane for more than the two-hour default lease another account takes the reservation over five minutes after expiry and works the same issue; the land fence runs only at arming, after the push and the pull request, so the duplicate becomes a public pull request.
- itd-2610161016394967Drains on several accounts share the work
- spc-2610161044461448drain-many-accounts