Module expiry 

Lease expiry evaluation logic.

This module implements lease expiry determination:

• Evaluates whether a lease is still active or expired.
• Exposes an explicit eligibility signal for re-entering the Ready state.

For identical inputs, expiry evaluation must always return the same result.

Enums

ExpiryResult

Result of lease expiry evaluation.

Functions

evaluate

Evaluates whether a lease is still active or has expired.

evaluate_expires_at

Evaluates whether a lease is still active or has expired.