Module liveness 

Heartbeat-lease liveness for agent reservations.

Enums

Liveness

Constants

AGENT_LEASE_DURATION

Functions

current_boot_id

Best-effort current boot identifier.

process_alive

true if the process identified by pid is still running. ESRCH from kill(pid, 0) is treated as dead. Any other error (notably EPERM — the process exists but is owned by a different user) is treated as alive: “alive in another uid namespace” still means the reservation might be valid.

reservation_liveness_at

Evaluate a heartbeat lease, using PID and boot identity as early death signals when a long-lived owner process was explicitly recorded.