Expand description
Lease data model for in-flight run ownership.
This module defines typed lease primitives used to represent:
- Which run is leased.
- Which worker currently owns that lease.
- When the lease expires.
Structsยง
- Lease
- Active lease for a specific run.
- Lease
Expiry - Typed lease-expiry timestamp represented in epoch seconds.
- Lease
Owner - Typed identifier for the worker/executor that owns a lease.