Summary
Add a Leader Election pattern implementation for coordinating one active worker among multiple candidates.
Required surfaces
- Fluent runtime API for candidates, leases/terms, leadership acquisition, renewal, and release semantics.
- Source-generated path for declaring candidate identity, lease policy, and leadership callbacks.
- TinyBDD coverage for acquisition, renewal, contention, expiry, release, and generator diagnostics.
- Production-shaped example importable through IServiceCollection and Microsoft.Extensions.Hosting.
- Documentation for fluent API, source generator, real-world usage, and integration guidance.
Summary
Add a Leader Election pattern implementation for coordinating one active worker among multiple candidates.
Required surfaces