namespace SeaHaven.DataServices.Models; /// /// Server-derived feed scope. null is org-wide; /// null means every dispatcher's work orders. /// public sealed record NotificationFeedScope(int? AccountId, string? DispatcherId); public sealed class UnassignedWorkOrdersSummary { public int Count { get; init; } public DateTime? LatestCreatedAt { get; init; } } public sealed class NotificationWorkOrderCandidate { public int Id { get; init; } public string? Number { get; init; } public DateTime ScheduledDate { get; init; } } /// A bounded slice of candidates plus the unbounded total they were taken from. public sealed class NotificationCandidatePage { public int Total { get; init; } public IReadOnlyList Items { get; init; } = Array.Empty(); }