11 check-ins that include changes to files matching 'internal/lease/*'
|
2026-10-06
| ||
| 12:03 | update category-caps-ops from trunk closed check-in: 1213e5381e user: dmestas tags: category-caps-ops | |
| 12:02 | land lease-bounds-writes check-in: 9b0cbe08ba user: dmestas tags: trunk | |
| 10:51 | A store write is killed the moment its lease is lost, not left committing beside the new holder closed check-in: e3941c7aaa user: dmestas tags: lease-bounds-writes | |
|
2026-09-27
| ||
| 12:31 | land background-jobs-follow-the-lease check-in: 2480892def user: dmestas tags: trunk | |
| 11:38 | Background jobs run only on the node holding the lease check-in: 8838858ab2 user: dmestas tags: background-jobs-follow-the-lease | |
|
2026-09-26
| ||
| 18:42 | Merge trunk into the-forge-stops-in-order, and a registration's zit stat is a tracked child too check-in: 6c364e9a15 user: dmestas tags: the-forge-stops-in-order | |
| 18:33 | land no-store-write-without-a-lease check-in: 102ead4240 user: dmestas tags: trunk | |
| 18:14 | The lease token checks every write's first statement and documents what it does not bound check-in: 88f5942e50 user: dmestas tags: no-store-write-without-a-lease | |
| 18:09 | land no-store-write-without-a-lease check-in: fd23cf287b user: dmestas tags: trunk | |
| 17:56 | No store write without a lease token: every zitcli write takes one, and the five unguarded writes go through the guard check-in: da3edfb79c user: dmestas tags: no-store-write-without-a-lease | |
|
2026-08-16
| ||
| 02:34 |
lease: single-writer coordination (0001 §3)
NATS KV TTL lease per store keyed by project code. Write ops and sync pushes route through Guard: renew-or-acquire, failover grace after displacing a holder, commit-point re-check before the write, and writes-refuse when the coordinator is unreachable (correctness over availability). Single-node holds its own lease with no grace delay; the machinery and failure posture are identical at N nodes. Tests: mutual exclusion, failover, coordinator-down refusal. check-in: d1436c2071 user: dmestas tags: trunk | |