using MxGateway.Server.Workers; namespace MxGateway.Server.Dashboard; public sealed record DashboardWorkerSummary( string SessionId, int? ProcessId, WorkerClientState State, DateTimeOffset LastHeartbeatAt, string? LastFault);