@juki-team/commons 0.1.45 → 0.1.46

package/dist/cjs/index.cjs

@@ -594,6 +594,8 @@ exports.WebSocketSubscriptionEvent = void 0;
     WebSocketSubscriptionEvent["UNSUBSCRIBE_CONTEST_CHANGES"] = "UNSUBSCRIBE_CONTEST_CHANGES";
     WebSocketSubscriptionEvent["SUBSCRIBE_USER_NOTIFICATION"] = "SUBSCRIBE_USER_NOTIFICATION";
     WebSocketSubscriptionEvent["UNSUBSCRIBE_USER_NOTIFICATION"] = "UNSUBSCRIBE_USER_NOTIFICATION";
+    WebSocketSubscriptionEvent["SUBSCRIBE_SUBMISSIONS_JUDGING"] = "SUBSCRIBE_SUBMISSIONS_JUDGING";
+    WebSocketSubscriptionEvent["UNSUBSCRIBE_SUBMISSIONS_JUDGING"] = "UNSUBSCRIBE_SUBMISSIONS_JUDGING";
 })(exports.WebSocketSubscriptionEvent || (exports.WebSocketSubscriptionEvent = {}));
 exports.WebSocketResponseEvent = void 0;
 (function (WebSocketResponseEvent) {
@@ -612,6 +614,7 @@ exports.WebSocketResponseEvent = void 0;
     WebSocketResponseEvent["USER_NOTIFICATION_"] = "USER_NOTIFICATION_";
     WebSocketResponseEvent["USER_NOTIFICATION_SUBMISSION"] = "USER_NOTIFICATION_SUBMISSION";
     WebSocketResponseEvent["USER_NOTIFICATION_CONTEST_CLARIFICATION"] = "USER_NOTIFICATION_CONTEST_CLARIFICATION";
+    WebSocketResponseEvent["SUBMISSION_JUDGING"] = "SUBMISSION_JUDGING";
 })(exports.WebSocketResponseEvent || (exports.WebSocketResponseEvent = {}));
 /**
  * Roles of a contest, with the same names as the contest members in the DB.
@@ -627,6 +630,25 @@ exports.ContestChannelRole = void 0;
     ContestChannelRole["GUESTS"] = "guests";
     ContestChannelRole["SPECTATORS"] = "spectators";
 })(exports.ContestChannelRole || (exports.ContestChannelRole = {}));
+/**
+ * Roles of a problem, the ones computed by `getProblemAccessPermissions` (backend).
+ * Each role has its own Ably channel: `problem:{problemKey}:{role}` (see `CHANNEL_PROBLEM`).
+ */
+exports.ProblemChannelRole = void 0;
+(function (ProblemChannelRole) {
+    ProblemChannelRole["ADMINISTRATORS"] = "administrators";
+    ProblemChannelRole["MANAGERS"] = "managers";
+    ProblemChannelRole["SPECTATORS"] = "spectators";
+})(exports.ProblemChannelRole || (exports.ProblemChannelRole = {}));
+/**
+ * Roles of the public channels of a user: `user:{userId}:{role}` (see `CHANNEL_USER_ROLE`).
+ * There are no per-user permissions: `spectators` is everyone who can list the submissions of the user.
+ * The private channel of the user is `user:{userId}` (see `CHANNEL_USER`).
+ */
+exports.UserChannelRole = void 0;
+(function (UserChannelRole) {
+    UserChannelRole["SPECTATORS"] = "spectators";
+})(exports.UserChannelRole || (exports.UserChannelRole = {}));
 
 exports.DataViewMode = void 0;
 (function (DataViewMode) {
@@ -2234,12 +2256,14 @@ const EMPTY_USER_PERMISSIONS = {
 const segment = (value) => encodeURIComponent(value);
 /** private: events of one session (code runs, requested data) */
 const CHANNEL_SESSION = (sessionId) => `session:${segment(sessionId)}`;
-/** private: events of one user (own submissions while the contest is frozen, notifications) */
+/** private: events of one user (own submissions while the contest is frozen, notifications, own problem crawls) */
 const CHANNEL_USER = (userId) => `user:${segment(userId)}`;
+/** per role: public events of one user (judging of its submissions visible to everyone, see `UserChannelRole`) */
+const CHANNEL_USER_ROLE = (userId, role) => `user:${segment(userId)}:${role}`;
 /** public: status of a submission when it is visible to everyone */
 const CHANNEL_SUBMISSION = (submitId) => `submission:${segment(submitId)}`;
-/** public: changes of a problem */
-const CHANNEL_PROBLEM = (problemKey) => `problem:${segment(problemKey)}`;
+/** per role: events of a problem for one role (judging of its submissions, see `ProblemChannelRole`) */
+const CHANNEL_PROBLEM = (problemKey, role) => `problem:${segment(problemKey)}:${role}`;
 /** per role: events of a contest for one role (and the roles above it, see `ContestChannelRole`) */
 const CHANNEL_CONTEST = (contestKey, role) => `contest:${segment(contestKey)}:${role}`;
 /**
@@ -2250,9 +2274,12 @@ const CHANNEL_CONTEST = (contestKey, role) => `contest:${segment(contestKey)}:${
  * The identity of a member is its `clientId` (`sessionId|uiId`, verified by Ably), never its data.
  */
 const CHANNEL_ORGANIZATION_PRESENCE = (organizationKey) => `presence:organization:${segment(organizationKey)}`;
-// capability resources (wildcards) of the public channels
+// capability resources (wildcards) of the public channels.
+// Ably: a trailing `*` replaces one or more segments, any other `*` exactly one segment. So `user:*:spectators`
+// matches every `user:{userId}:spectators` but never the private `user:{userId}`.
+// There is no public `problem:*`: it would also match the role channels `problem:{problemKey}:{role}`.
 const CHANNEL_SUBMISSION_ALL = 'submission:*';
-const CHANNEL_PROBLEM_ALL = 'problem:*';
+const CHANNEL_USER_SPECTATORS_ALL = `user:*:${exports.UserChannelRole.SPECTATORS}`;
 /**
  * Returns the contest and role of a `CHANNEL_CONTEST` channel name, or null if it is not one.
  */
@@ -2263,6 +2290,16 @@ const getContestChannelParams = (channel) => {
     }
     return { contestKey: decodeURIComponent(contestKey), role: role };
 };
+/**
+ * Returns the problem and role of a `CHANNEL_PROBLEM` channel name, or null if it is not one.
+ */
+const getProblemChannelParams = (channel) => {
+    const [namespace, problemKey, role, ...rest] = channel.split(':');
+    if (namespace !== 'problem' || !problemKey || rest.length || !Object.values(exports.ProblemChannelRole).includes(role)) {
+        return null;
+    }
+    return { problemKey: decodeURIComponent(problemKey), role: role };
+};
 
 const NEW_PAGE_SHEET = () => ({
     id: uuid.v4(),
@@ -2974,6 +3011,23 @@ const isUnsubscribeUserNotificationWebSocketEventDto = (event) => {
     return isWebsocketSubscription(event)
         && event?.event === exports.WebSocketSubscriptionEvent.UNSUBSCRIBE_USER_NOTIFICATION;
 };
+const isNonEmptyString = (value) => typeof value === 'string' && !!value;
+/**
+ * Exactly one of `problemKey` / `contestKey` / `userId` is set.
+ */
+const isSubmissionsJudgingScope = (scope) => {
+    return [scope?.problemKey, scope?.contestKey, scope?.userId].filter(isNonEmptyString).length === 1;
+};
+const isSubscribeSubmissionsJudgingWebSocketEventDto = (event) => {
+    return isWebsocketSubscription(event)
+        && event?.event === exports.WebSocketSubscriptionEvent.SUBSCRIBE_SUBMISSIONS_JUDGING
+        && isSubmissionsJudgingScope(event);
+};
+const isUnsubscribeSubmissionsJudgingWebSocketEventDto = (event) => {
+    return isWebsocketSubscription(event)
+        && event?.event === exports.WebSocketSubscriptionEvent.UNSUBSCRIBE_SUBMISSIONS_JUDGING
+        && isSubmissionsJudgingScope(event);
+};
 // is WebSocketResponseEventDto, CHANNEL_SUBSCRIBE_CLIENT
 const isWebSocketResponseEventDto = (event) => {
     return Object.values(exports.WebSocketResponseEvent).includes(event?.event)
@@ -2995,6 +3049,18 @@ const isSubmissionRunStatusMessageWebSocketResponseEventDto = (event) => {
         && event?.verdict in exports.ProblemVerdict
         && typeof event?.points === 'number';
 };
+const isSubmissionJudgingWebSocketResponseEventDto = (event) => {
+    return isWebSocketResponseEventDto(event)
+        && event?.event === exports.WebSocketResponseEvent.SUBMISSION_JUDGING
+        && isNonEmptyString(event?.submitId)
+        && isNonEmptyString(event?.problemKey)
+        && (event?.contestKey === null || isNonEmptyString(event?.contestKey))
+        && isNonEmptyString(event?.userId)
+        && typeof event?.judging === 'boolean'
+        && event?.status in exports.SubmissionRunStatus
+        && event?.verdict in exports.ProblemVerdict
+        && typeof event?.points === 'number';
+};
 const isUserMessageWebSocketResponseEventDto = (event) => {
     return isWebSocketResponseEventDto(event)
         && event?.event === exports.WebSocketResponseEvent.USER_MESSAGE
@@ -3100,6 +3166,11 @@ const getWebSocketResponseEventKeyOfResponse = (response, clientId) => {
     if (isUserNotificationWebSocketResponseEventDto(response)) {
         return getWebSocketResponseEventKey(exports.WebSocketResponseEvent.USER_NOTIFICATION_, clientId, '*');
     }
+    if (isSubmissionJudgingWebSocketResponseEventDto(response)) {
+        // one key for every table: the same event is published on several channels (problem / contest / user) and the
+        // client deduplicates it, so it is dispatched once; each table filters by the submissions it lists
+        return getWebSocketResponseEventKey(exports.WebSocketResponseEvent.SUBMISSION_JUDGING, clientId, '*');
+    }
     return null;
 };
 /**
@@ -3111,12 +3182,23 @@ const getChannelOfWebSocketSubscribeEvent = (event) => {
     if (isSubscribeSubmissionRunStatusWebSocketEventDto(event)) {
         return CHANNEL_SUBMISSION(event.submitId);
     }
-    if (isSubscribeProblemCrawledWebSocketEventDto(event)) {
-        return CHANNEL_PROBLEM(event.problemKey);
-    }
+    // SUBSCRIBE_PROBLEM_CRAWLED: the event arrives by the private user channel of who requested the crawl
     if (isSubscribeContestChangesWebSocketEventDto(event) || isSubscribeSubmissionsCrawlWebSocketEventDto(event)) {
         return CHANNEL_CONTEST(event.contestKey, exports.ContestChannelRole.SPECTATORS);
     }
+    if (isSubscribeSubmissionsJudgingWebSocketEventDto(event)) {
+        // the judging start/end is published on the spectators channel when it is visible to everyone; the hidden ones
+        // (frozen / quiet contests) arrive by the role channels of the contest (managers) and the private user channel
+        if ('problemKey' in event && event.problemKey) {
+            return CHANNEL_PROBLEM(event.problemKey, exports.ProblemChannelRole.SPECTATORS);
+        }
+        if ('contestKey' in event && event.contestKey) {
+            return CHANNEL_CONTEST(event.contestKey, exports.ContestChannelRole.SPECTATORS);
+        }
+        if ('userId' in event && event.userId) {
+            return CHANNEL_USER_ROLE(event.userId, exports.UserChannelRole.SPECTATORS);
+        }
+    }
     return null;
 };
 /**
@@ -3126,6 +3208,18 @@ const getContestKeyOfWebSocketSubscribeEvent = (event) => {
     if (isSubscribeContestChangesWebSocketEventDto(event) || isSubscribeSubmissionsCrawlWebSocketEventDto(event)) {
         return event.contestKey;
     }
+    if (isSubscribeSubmissionsJudgingWebSocketEventDto(event) && 'contestKey' in event && event.contestKey) {
+        return event.contestKey;
+    }
+    return null;
+};
+/**
+ * Problem whose role channels the client needs (the API grants them when the token is requested with this problem).
+ */
+const getProblemKeyOfWebSocketSubscribeEvent = (event) => {
+    if (isSubscribeSubmissionsJudgingWebSocketEventDto(event) && 'problemKey' in event && event.problemKey) {
+        return event.problemKey;
+    }
     return null;
 };
 
@@ -3327,11 +3421,12 @@ exports.AssignmentType = AssignmentType;
 exports.CHANNEL_CONTEST = CHANNEL_CONTEST;
 exports.CHANNEL_ORGANIZATION_PRESENCE = CHANNEL_ORGANIZATION_PRESENCE;
 exports.CHANNEL_PROBLEM = CHANNEL_PROBLEM;
-exports.CHANNEL_PROBLEM_ALL = CHANNEL_PROBLEM_ALL;
 exports.CHANNEL_SESSION = CHANNEL_SESSION;
 exports.CHANNEL_SUBMISSION = CHANNEL_SUBMISSION;
 exports.CHANNEL_SUBMISSION_ALL = CHANNEL_SUBMISSION_ALL;
 exports.CHANNEL_USER = CHANNEL_USER;
+exports.CHANNEL_USER_ROLE = CHANNEL_USER_ROLE;
+exports.CHANNEL_USER_SPECTATORS_ALL = CHANNEL_USER_SPECTATORS_ALL;
 exports.CODE_LANGUAGE = CODE_LANGUAGE;
 exports.CONTEST_ROLE = CONTEST_ROLE;
 exports.CONTEST_STATUS = CONTEST_STATUS;
@@ -3470,8 +3565,10 @@ exports.getMonths = getMonths;
 exports.getParamsOfClientId = getParamsOfClientId;
 exports.getParamsOfUserKey = getParamsOfUserKey;
 exports.getPlainText = getPlainText;
+exports.getProblemChannelParams = getProblemChannelParams;
 exports.getProblemCommentKey = getProblemCommentKey;
 exports.getProblemJudgeKey = getProblemJudgeKey;
+exports.getProblemKeyOfWebSocketSubscribeEvent = getProblemKeyOfWebSocketSubscribeEvent;
 exports.getRandomString = getRandomString;
 exports.getSeconds = getSeconds;
 exports.getSummaryWorksheetsInPages = getSummaryWorksheetsInPages;
@@ -3532,14 +3629,17 @@ exports.isSendDataRunCommandWebSocketResponseEventDto = isSendDataRunCommandWebS
 exports.isSendDataSsmSessionsListWebSocketResponseEventDto = isSendDataSsmSessionsListWebSocketResponseEventDto;
 exports.isSendDataWebSocketResponseEventDto = isSendDataWebSocketResponseEventDto;
 exports.isStringJson = isStringJson;
+exports.isSubmissionJudgingWebSocketResponseEventDto = isSubmissionJudgingWebSocketResponseEventDto;
 exports.isSubmissionRunStatusMessageWebSocketResponseEventDto = isSubmissionRunStatusMessageWebSocketResponseEventDto;
 exports.isSubmissionsCrawlWebSocketResponseEventDto = isSubmissionsCrawlWebSocketResponseEventDto;
+exports.isSubmissionsJudgingScope = isSubmissionsJudgingScope;
 exports.isSubscribeCodeRunStatusWebSocketEventDto = isSubscribeCodeRunStatusWebSocketEventDto;
 exports.isSubscribeContestChangesWebSocketEventDto = isSubscribeContestChangesWebSocketEventDto;
 exports.isSubscribeGetDataWebSocketEventDto = isSubscribeGetDataWebSocketEventDto;
 exports.isSubscribeProblemCrawledWebSocketEventDto = isSubscribeProblemCrawledWebSocketEventDto;
 exports.isSubscribeSubmissionRunStatusWebSocketEventDto = isSubscribeSubmissionRunStatusWebSocketEventDto;
 exports.isSubscribeSubmissionsCrawlWebSocketEventDto = isSubscribeSubmissionsCrawlWebSocketEventDto;
+exports.isSubscribeSubmissionsJudgingWebSocketEventDto = isSubscribeSubmissionsJudgingWebSocketEventDto;
 exports.isSubscribeUserNotificationWebSocketEventDto = isSubscribeUserNotificationWebSocketEventDto;
 exports.isTeamMember = isTeamMember;
 exports.isToday = isToday;
@@ -3549,6 +3649,7 @@ exports.isUnsubscribeGetDataWebSocketEventDto = isUnsubscribeGetDataWebSocketEve
 exports.isUnsubscribeProblemCrawledWebSocketEventDto = isUnsubscribeProblemCrawledWebSocketEventDto;
 exports.isUnsubscribeSubmissionRunStatusWebSocketEventDto = isUnsubscribeSubmissionRunStatusWebSocketEventDto;
 exports.isUnsubscribeSubmissionsCrawlWebSocketEventDto = isUnsubscribeSubmissionsCrawlWebSocketEventDto;
+exports.isUnsubscribeSubmissionsJudgingWebSocketEventDto = isUnsubscribeSubmissionsJudgingWebSocketEventDto;
 exports.isUnsubscribeUserNotificationWebSocketEventDto = isUnsubscribeUserNotificationWebSocketEventDto;
 exports.isUserMember = isUserMember;
 exports.isUserMessageWebSocketResponseEventDto = isUserMessageWebSocketResponseEventDto;

package/dist/esm/index.js

@@ -592,6 +592,8 @@ var WebSocketSubscriptionEvent;
     WebSocketSubscriptionEvent["UNSUBSCRIBE_CONTEST_CHANGES"] = "UNSUBSCRIBE_CONTEST_CHANGES";
     WebSocketSubscriptionEvent["SUBSCRIBE_USER_NOTIFICATION"] = "SUBSCRIBE_USER_NOTIFICATION";
     WebSocketSubscriptionEvent["UNSUBSCRIBE_USER_NOTIFICATION"] = "UNSUBSCRIBE_USER_NOTIFICATION";
+    WebSocketSubscriptionEvent["SUBSCRIBE_SUBMISSIONS_JUDGING"] = "SUBSCRIBE_SUBMISSIONS_JUDGING";
+    WebSocketSubscriptionEvent["UNSUBSCRIBE_SUBMISSIONS_JUDGING"] = "UNSUBSCRIBE_SUBMISSIONS_JUDGING";
 })(WebSocketSubscriptionEvent || (WebSocketSubscriptionEvent = {}));
 var WebSocketResponseEvent;
 (function (WebSocketResponseEvent) {
@@ -610,6 +612,7 @@ var WebSocketResponseEvent;
     WebSocketResponseEvent["USER_NOTIFICATION_"] = "USER_NOTIFICATION_";
     WebSocketResponseEvent["USER_NOTIFICATION_SUBMISSION"] = "USER_NOTIFICATION_SUBMISSION";
     WebSocketResponseEvent["USER_NOTIFICATION_CONTEST_CLARIFICATION"] = "USER_NOTIFICATION_CONTEST_CLARIFICATION";
+    WebSocketResponseEvent["SUBMISSION_JUDGING"] = "SUBMISSION_JUDGING";
 })(WebSocketResponseEvent || (WebSocketResponseEvent = {}));
 /**
  * Roles of a contest, with the same names as the contest members in the DB.
@@ -625,6 +628,25 @@ var ContestChannelRole;
     ContestChannelRole["GUESTS"] = "guests";
     ContestChannelRole["SPECTATORS"] = "spectators";
 })(ContestChannelRole || (ContestChannelRole = {}));
+/**
+ * Roles of a problem, the ones computed by `getProblemAccessPermissions` (backend).
+ * Each role has its own Ably channel: `problem:{problemKey}:{role}` (see `CHANNEL_PROBLEM`).
+ */
+var ProblemChannelRole;
+(function (ProblemChannelRole) {
+    ProblemChannelRole["ADMINISTRATORS"] = "administrators";
+    ProblemChannelRole["MANAGERS"] = "managers";
+    ProblemChannelRole["SPECTATORS"] = "spectators";
+})(ProblemChannelRole || (ProblemChannelRole = {}));
+/**
+ * Roles of the public channels of a user: `user:{userId}:{role}` (see `CHANNEL_USER_ROLE`).
+ * There are no per-user permissions: `spectators` is everyone who can list the submissions of the user.
+ * The private channel of the user is `user:{userId}` (see `CHANNEL_USER`).
+ */
+var UserChannelRole;
+(function (UserChannelRole) {
+    UserChannelRole["SPECTATORS"] = "spectators";
+})(UserChannelRole || (UserChannelRole = {}));
 
 var DataViewMode;
 (function (DataViewMode) {
@@ -2232,12 +2254,14 @@ const EMPTY_USER_PERMISSIONS = {
 const segment = (value) => encodeURIComponent(value);
 /** private: events of one session (code runs, requested data) */
 const CHANNEL_SESSION = (sessionId) => `session:${segment(sessionId)}`;
-/** private: events of one user (own submissions while the contest is frozen, notifications) */
+/** private: events of one user (own submissions while the contest is frozen, notifications, own problem crawls) */
 const CHANNEL_USER = (userId) => `user:${segment(userId)}`;
+/** per role: public events of one user (judging of its submissions visible to everyone, see `UserChannelRole`) */
+const CHANNEL_USER_ROLE = (userId, role) => `user:${segment(userId)}:${role}`;
 /** public: status of a submission when it is visible to everyone */
 const CHANNEL_SUBMISSION = (submitId) => `submission:${segment(submitId)}`;
-/** public: changes of a problem */
-const CHANNEL_PROBLEM = (problemKey) => `problem:${segment(problemKey)}`;
+/** per role: events of a problem for one role (judging of its submissions, see `ProblemChannelRole`) */
+const CHANNEL_PROBLEM = (problemKey, role) => `problem:${segment(problemKey)}:${role}`;
 /** per role: events of a contest for one role (and the roles above it, see `ContestChannelRole`) */
 const CHANNEL_CONTEST = (contestKey, role) => `contest:${segment(contestKey)}:${role}`;
 /**
@@ -2248,9 +2272,12 @@ const CHANNEL_CONTEST = (contestKey, role) => `contest:${segment(contestKey)}:${
  * The identity of a member is its `clientId` (`sessionId|uiId`, verified by Ably), never its data.
  */
 const CHANNEL_ORGANIZATION_PRESENCE = (organizationKey) => `presence:organization:${segment(organizationKey)}`;
-// capability resources (wildcards) of the public channels
+// capability resources (wildcards) of the public channels.
+// Ably: a trailing `*` replaces one or more segments, any other `*` exactly one segment. So `user:*:spectators`
+// matches every `user:{userId}:spectators` but never the private `user:{userId}`.
+// There is no public `problem:*`: it would also match the role channels `problem:{problemKey}:{role}`.
 const CHANNEL_SUBMISSION_ALL = 'submission:*';
-const CHANNEL_PROBLEM_ALL = 'problem:*';
+const CHANNEL_USER_SPECTATORS_ALL = `user:*:${UserChannelRole.SPECTATORS}`;
 /**
  * Returns the contest and role of a `CHANNEL_CONTEST` channel name, or null if it is not one.
  */
@@ -2261,6 +2288,16 @@ const getContestChannelParams = (channel) => {
     }
     return { contestKey: decodeURIComponent(contestKey), role: role };
 };
+/**
+ * Returns the problem and role of a `CHANNEL_PROBLEM` channel name, or null if it is not one.
+ */
+const getProblemChannelParams = (channel) => {
+    const [namespace, problemKey, role, ...rest] = channel.split(':');
+    if (namespace !== 'problem' || !problemKey || rest.length || !Object.values(ProblemChannelRole).includes(role)) {
+        return null;
+    }
+    return { problemKey: decodeURIComponent(problemKey), role: role };
+};
 
 const NEW_PAGE_SHEET = () => ({
     id: v4(),
@@ -2972,6 +3009,23 @@ const isUnsubscribeUserNotificationWebSocketEventDto = (event) => {
     return isWebsocketSubscription(event)
         && event?.event === WebSocketSubscriptionEvent.UNSUBSCRIBE_USER_NOTIFICATION;
 };
+const isNonEmptyString = (value) => typeof value === 'string' && !!value;
+/**
+ * Exactly one of `problemKey` / `contestKey` / `userId` is set.
+ */
+const isSubmissionsJudgingScope = (scope) => {
+    return [scope?.problemKey, scope?.contestKey, scope?.userId].filter(isNonEmptyString).length === 1;
+};
+const isSubscribeSubmissionsJudgingWebSocketEventDto = (event) => {
+    return isWebsocketSubscription(event)
+        && event?.event === WebSocketSubscriptionEvent.SUBSCRIBE_SUBMISSIONS_JUDGING
+        && isSubmissionsJudgingScope(event);
+};
+const isUnsubscribeSubmissionsJudgingWebSocketEventDto = (event) => {
+    return isWebsocketSubscription(event)
+        && event?.event === WebSocketSubscriptionEvent.UNSUBSCRIBE_SUBMISSIONS_JUDGING
+        && isSubmissionsJudgingScope(event);
+};
 // is WebSocketResponseEventDto, CHANNEL_SUBSCRIBE_CLIENT
 const isWebSocketResponseEventDto = (event) => {
     return Object.values(WebSocketResponseEvent).includes(event?.event)
@@ -2993,6 +3047,18 @@ const isSubmissionRunStatusMessageWebSocketResponseEventDto = (event) => {
         && event?.verdict in ProblemVerdict
         && typeof event?.points === 'number';
 };
+const isSubmissionJudgingWebSocketResponseEventDto = (event) => {
+    return isWebSocketResponseEventDto(event)
+        && event?.event === WebSocketResponseEvent.SUBMISSION_JUDGING
+        && isNonEmptyString(event?.submitId)
+        && isNonEmptyString(event?.problemKey)
+        && (event?.contestKey === null || isNonEmptyString(event?.contestKey))
+        && isNonEmptyString(event?.userId)
+        && typeof event?.judging === 'boolean'
+        && event?.status in SubmissionRunStatus
+        && event?.verdict in ProblemVerdict
+        && typeof event?.points === 'number';
+};
 const isUserMessageWebSocketResponseEventDto = (event) => {
     return isWebSocketResponseEventDto(event)
         && event?.event === WebSocketResponseEvent.USER_MESSAGE
@@ -3098,6 +3164,11 @@ const getWebSocketResponseEventKeyOfResponse = (response, clientId) => {
     if (isUserNotificationWebSocketResponseEventDto(response)) {
         return getWebSocketResponseEventKey(WebSocketResponseEvent.USER_NOTIFICATION_, clientId, '*');
     }
+    if (isSubmissionJudgingWebSocketResponseEventDto(response)) {
+        // one key for every table: the same event is published on several channels (problem / contest / user) and the
+        // client deduplicates it, so it is dispatched once; each table filters by the submissions it lists
+        return getWebSocketResponseEventKey(WebSocketResponseEvent.SUBMISSION_JUDGING, clientId, '*');
+    }
     return null;
 };
 /**
@@ -3109,12 +3180,23 @@ const getChannelOfWebSocketSubscribeEvent = (event) => {
     if (isSubscribeSubmissionRunStatusWebSocketEventDto(event)) {
         return CHANNEL_SUBMISSION(event.submitId);
     }
-    if (isSubscribeProblemCrawledWebSocketEventDto(event)) {
-        return CHANNEL_PROBLEM(event.problemKey);
-    }
+    // SUBSCRIBE_PROBLEM_CRAWLED: the event arrives by the private user channel of who requested the crawl
     if (isSubscribeContestChangesWebSocketEventDto(event) || isSubscribeSubmissionsCrawlWebSocketEventDto(event)) {
         return CHANNEL_CONTEST(event.contestKey, ContestChannelRole.SPECTATORS);
     }
+    if (isSubscribeSubmissionsJudgingWebSocketEventDto(event)) {
+        // the judging start/end is published on the spectators channel when it is visible to everyone; the hidden ones
+        // (frozen / quiet contests) arrive by the role channels of the contest (managers) and the private user channel
+        if ('problemKey' in event && event.problemKey) {
+            return CHANNEL_PROBLEM(event.problemKey, ProblemChannelRole.SPECTATORS);
+        }
+        if ('contestKey' in event && event.contestKey) {
+            return CHANNEL_CONTEST(event.contestKey, ContestChannelRole.SPECTATORS);
+        }
+        if ('userId' in event && event.userId) {
+            return CHANNEL_USER_ROLE(event.userId, UserChannelRole.SPECTATORS);
+        }
+    }
     return null;
 };
 /**
@@ -3124,6 +3206,18 @@ const getContestKeyOfWebSocketSubscribeEvent = (event) => {
     if (isSubscribeContestChangesWebSocketEventDto(event) || isSubscribeSubmissionsCrawlWebSocketEventDto(event)) {
         return event.contestKey;
     }
+    if (isSubscribeSubmissionsJudgingWebSocketEventDto(event) && 'contestKey' in event && event.contestKey) {
+        return event.contestKey;
+    }
+    return null;
+};
+/**
+ * Problem whose role channels the client needs (the API grants them when the token is requested with this problem).
+ */
+const getProblemKeyOfWebSocketSubscribeEvent = (event) => {
+    if (isSubscribeSubmissionsJudgingWebSocketEventDto(event) && 'problemKey' in event && event.problemKey) {
+        return event.problemKey;
+    }
     return null;
 };
 
@@ -3318,4 +3412,4 @@ const isQuizTextSheet = (value) => {
         && ['text', 'number', 'textarea'].includes(value?.inputType);
 };
 
-export { ACCEPTED_PROGRAMMING_LANGUAGES, ASPECT_RATIO, AspectRatio, AssignmentClass, AssignmentState, AssignmentType, CHANNEL_CONTEST, CHANNEL_ORGANIZATION_PRESENCE, CHANNEL_PROBLEM, CHANNEL_PROBLEM_ALL, CHANNEL_SESSION, CHANNEL_SUBMISSION, CHANNEL_SUBMISSION_ALL, CHANNEL_USER, CODE_LANGUAGE, CONTEST_ROLE, CONTEST_STATUS, COOKIE_JUKI_SESSION_ID, COURSE_ROLE, CodeLanguage, CollectionKey, ContestChannelRole, ContestEventAction, ContestProblemBlockedByType, ContestProblemPrerequisiteType, ContestStatus, ContestTimeStatus, CourseRole, CourseStatus, CourseType, DAY_NAMES, DEFAULT_JUKI_PROFILE_IMAGE, DataViewMode, EMPTY_DOCUMENT_MEMBERS, EMPTY_ENTITY_MEMBERS, EMPTY_USER_PERMISSIONS, ENTITY_ACCESS, ENTITY_STATE, ERROR, EmailSubscription, EmailValidationState, EntityAccess, EntityCollection, EntityMembersRank, EntityState, EntityStatus, ErrorCode, FILE_ROLE, FILE_TYPE, FileMemberRole, FileType, FilesJukiPub, GroupType, HEADER_JUKI_FORWARDED_HOST, HEADER_JUKI_INTERNAL_API_KEY, HEADER_JUKI_METADATA, HEADER_JUKI_SECRET_TOKEN, HEADER_JUKI_VISITOR_SESSION_ID, HOURS, HTTPMethod, JUDGE, JUKI_APP_EMAIL_TEMPLATE, JUKI_APP_ORGANIZATION_KEY, JkError, Judge, LANGUAGE, LOWERCASE_LETTERS, Language, LogLevel, LogOperation, MAX_DATE, MEMBER_ROLE, MILLISECONDS, MINUTES, MIN_DATE, MONTH_NAMES, MemberRole, MemberType, MenuViewMode, NEW_PAGE_SHEET, NUMBERS, NotificationType, ONE_DAY, ONE_HOUR, ONE_MINUTE, ONE_SECOND, ONE_WEEK, ORGANIZATION_PLAN, OrganizationLogoType, OrganizationPlan, PAGE, PAGE_SIZE, PAGE_SIZES, PALLETE, PROBLEM_INPUT, PROBLEM_MODE, PROBLEM_MODES, PROBLEM_OUTPUT, PROBLEM_ROLE, PROBLEM_TYPE, PROBLEM_TYPES, PROBLEM_VERDICT, PROBLEM_VERDICTS, ProblemInput, ProblemOutput, ProblemScoringMode, ProblemType, ProblemVerdict, ProfileSetting, QuizScoringMode, RUNNER_ACCEPTED_PROBLEM_MODES, RUNNER_ACCEPTED_PROBLEM_TYPES, RUNNER_ACCEPTED_PROGRAMMING_LANGUAGES, RUNNER_TYPE, Role, RunnerType, SECONDS, SEC_120, SEC_30, SEC_60, SEC_90, SEPARATOR_TOKEN, SUBMISSION_RUN_STATUS, SUPPORT_EMAIL, SYSTEM_ROLE, ScopeData, Status, SubmissionRunStatus, SystemRole, TEAM_ROLE, THEME, TeamRole, TeamStatus, Theme, TypeTestCase, UPPERCASE_LETTERS, USER_ROLE, USER_STATUS, UserRole, UserStatus, UserTeamStatus, WebSocketResponseEvent, WebSocketSubscriptionEvent, WorkingIn, WorksheetType, YEARS, _KEY, _SUB_SUB_TAB, _SUB_TAB, _TAB, _TYPE, areArraysDifferent, changeDay, changeHours, changeMilliseconds, changeMinutes, changeMonth, changeSeconds, changeYear, chunkString, cleanRequest, clearAsyncInterval, consoleError, consoleInfo, consoleWarn, contentResponse, contentsResponse, decreaseDay, decreaseMonth, decreaseYear, endOfDay, endOfHour, endOfMinute, endOfMonth, endOfSecond, endOfWeek, endOfYear, errorsResponse, getAssignmentCommentKey, getAssignmentUserCommentKey, getChannelOfWebSocketSubscribeEvent, getClientId, getContestChannelParams, getContestCommentKey, getContestKeyOfWebSocketSubscribeEvent, getDataLog, getDataOfTestCase, getDays, getDefaultMeta, getDocumentAccess, getHours, getMilliseconds, getMinutes, getMonths, getParamsOfClientId, getParamsOfUserKey, getPlainText, getProblemCommentKey, getProblemJudgeKey, getRandomString, getSeconds, getSummaryWorksheetsInPages, getTotalExercisesOfSummaryWorksheetsInPages, getUserKey, getVerdictFromTestCase, getWebSocketResponseEventKey, getWebSocketResponseEventKeyOfResponse, getWorksheetsInPages, getYears, humanFileSize, increaseDay, increaseMonth, increaseYear, indexToLetters, isAfter, isBasicWorksheet, isBefore, isCodeEditorSheet, isCodeRunStatusMessageWebSocketResponseEventDto, isContestAssignment, isContestChangesWebSocketResponseEventDto, isCourseAssignment, isDayAfter, isDayBefore, isEndlessContest, isEqual, isFutureContest, isGlobalContest, isHoursAfter, isHoursBefore, isJkmdSheet, isMillisecondsAfter, isMillisecondsBefore, isMinutesAfter, isMinutesBefore, isMonthAfter, isMonthBefore, isObjectJson, isPastContest, isProblemCrawledWebSocketResponseEventDto, isQuizOptionsSheet, isQuizProblemSheet, isQuizTextSheet, isSameDay, isSameHour, isSameMillisecond, isSameMinute, isSameMonth, isSameSecond, isSameYear, isSecondsAfter, isSecondsBefore, isSendDataEc2InstancesListWebSocketResponseEventDto, isSendDataEcsTaskDefinitionListWebSocketResponseEventDto, isSendDataEcsTasksListWebSocketResponseEventDto, isSendDataRunCommandWebSocketResponseEventDto, isSendDataSsmSessionsListWebSocketResponseEventDto, isSendDataWebSocketResponseEventDto, isStringJson, isSubmissionRunStatusMessageWebSocketResponseEventDto, isSubmissionsCrawlWebSocketResponseEventDto, isSubscribeCodeRunStatusWebSocketEventDto, isSubscribeContestChangesWebSocketEventDto, isSubscribeGetDataWebSocketEventDto, isSubscribeProblemCrawledWebSocketEventDto, isSubscribeSubmissionRunStatusWebSocketEventDto, isSubscribeSubmissionsCrawlWebSocketEventDto, isSubscribeUserNotificationWebSocketEventDto, isTeamMember, isToday, isUnsubscribeCodeRunStatusWebSocketEventDto, isUnsubscribeContestChangesWebSocketEventDto, isUnsubscribeGetDataWebSocketEventDto, isUnsubscribeProblemCrawledWebSocketEventDto, isUnsubscribeSubmissionRunStatusWebSocketEventDto, isUnsubscribeSubmissionsCrawlWebSocketEventDto, isUnsubscribeUserNotificationWebSocketEventDto, isUserMember, isUserMessageWebSocketResponseEventDto, isUserNotificationContestClarificationWebSocketResponseEventDto, isUserNotificationSubmissionWebSocketResponseEventDto, isUserNotificationWebSocketResponseEventDto, isValidDate, isWebSocketChannelsMessageDto, isWebSocketResponseEventDto, isWebsocketSubscription, isWithinInterval, isWorksheetAssignment, isYearAfter, isYearBefore, join, lettersToIndex, memorySizeOf, mergeVerdicts, mex, normalizeToLocalStartOfDay, normalizeToLocalStartOfHour, normalizeToLocalStartOfMinutes, normalizeToLocalStartOfSeconds, objectUpdate, objectsUpdate, padEnd, padStart, range, removeExtension, safeJsonParse, setAsyncInterval, split, splitTime, startOfDay, startOfHour, startOfMinute, startOfMonth, startOfSecond, startOfWeek, startOfYear, stringToArrayBuffer, toEntityMembersDto, toJkError };
+export { ACCEPTED_PROGRAMMING_LANGUAGES, ASPECT_RATIO, AspectRatio, AssignmentClass, AssignmentState, AssignmentType, CHANNEL_CONTEST, CHANNEL_ORGANIZATION_PRESENCE, CHANNEL_PROBLEM, CHANNEL_SESSION, CHANNEL_SUBMISSION, CHANNEL_SUBMISSION_ALL, CHANNEL_USER, CHANNEL_USER_ROLE, CHANNEL_USER_SPECTATORS_ALL, CODE_LANGUAGE, CONTEST_ROLE, CONTEST_STATUS, COOKIE_JUKI_SESSION_ID, COURSE_ROLE, CodeLanguage, CollectionKey, ContestChannelRole, ContestEventAction, ContestProblemBlockedByType, ContestProblemPrerequisiteType, ContestStatus, ContestTimeStatus, CourseRole, CourseStatus, CourseType, DAY_NAMES, DEFAULT_JUKI_PROFILE_IMAGE, DataViewMode, EMPTY_DOCUMENT_MEMBERS, EMPTY_ENTITY_MEMBERS, EMPTY_USER_PERMISSIONS, ENTITY_ACCESS, ENTITY_STATE, ERROR, EmailSubscription, EmailValidationState, EntityAccess, EntityCollection, EntityMembersRank, EntityState, EntityStatus, ErrorCode, FILE_ROLE, FILE_TYPE, FileMemberRole, FileType, FilesJukiPub, GroupType, HEADER_JUKI_FORWARDED_HOST, HEADER_JUKI_INTERNAL_API_KEY, HEADER_JUKI_METADATA, HEADER_JUKI_SECRET_TOKEN, HEADER_JUKI_VISITOR_SESSION_ID, HOURS, HTTPMethod, JUDGE, JUKI_APP_EMAIL_TEMPLATE, JUKI_APP_ORGANIZATION_KEY, JkError, Judge, LANGUAGE, LOWERCASE_LETTERS, Language, LogLevel, LogOperation, MAX_DATE, MEMBER_ROLE, MILLISECONDS, MINUTES, MIN_DATE, MONTH_NAMES, MemberRole, MemberType, MenuViewMode, NEW_PAGE_SHEET, NUMBERS, NotificationType, ONE_DAY, ONE_HOUR, ONE_MINUTE, ONE_SECOND, ONE_WEEK, ORGANIZATION_PLAN, OrganizationLogoType, OrganizationPlan, PAGE, PAGE_SIZE, PAGE_SIZES, PALLETE, PROBLEM_INPUT, PROBLEM_MODE, PROBLEM_MODES, PROBLEM_OUTPUT, PROBLEM_ROLE, PROBLEM_TYPE, PROBLEM_TYPES, PROBLEM_VERDICT, PROBLEM_VERDICTS, ProblemChannelRole, ProblemInput, ProblemOutput, ProblemScoringMode, ProblemType, ProblemVerdict, ProfileSetting, QuizScoringMode, RUNNER_ACCEPTED_PROBLEM_MODES, RUNNER_ACCEPTED_PROBLEM_TYPES, RUNNER_ACCEPTED_PROGRAMMING_LANGUAGES, RUNNER_TYPE, Role, RunnerType, SECONDS, SEC_120, SEC_30, SEC_60, SEC_90, SEPARATOR_TOKEN, SUBMISSION_RUN_STATUS, SUPPORT_EMAIL, SYSTEM_ROLE, ScopeData, Status, SubmissionRunStatus, SystemRole, TEAM_ROLE, THEME, TeamRole, TeamStatus, Theme, TypeTestCase, UPPERCASE_LETTERS, USER_ROLE, USER_STATUS, UserChannelRole, UserRole, UserStatus, UserTeamStatus, WebSocketResponseEvent, WebSocketSubscriptionEvent, WorkingIn, WorksheetType, YEARS, _KEY, _SUB_SUB_TAB, _SUB_TAB, _TAB, _TYPE, areArraysDifferent, changeDay, changeHours, changeMilliseconds, changeMinutes, changeMonth, changeSeconds, changeYear, chunkString, cleanRequest, clearAsyncInterval, consoleError, consoleInfo, consoleWarn, contentResponse, contentsResponse, decreaseDay, decreaseMonth, decreaseYear, endOfDay, endOfHour, endOfMinute, endOfMonth, endOfSecond, endOfWeek, endOfYear, errorsResponse, getAssignmentCommentKey, getAssignmentUserCommentKey, getChannelOfWebSocketSubscribeEvent, getClientId, getContestChannelParams, getContestCommentKey, getContestKeyOfWebSocketSubscribeEvent, getDataLog, getDataOfTestCase, getDays, getDefaultMeta, getDocumentAccess, getHours, getMilliseconds, getMinutes, getMonths, getParamsOfClientId, getParamsOfUserKey, getPlainText, getProblemChannelParams, getProblemCommentKey, getProblemJudgeKey, getProblemKeyOfWebSocketSubscribeEvent, getRandomString, getSeconds, getSummaryWorksheetsInPages, getTotalExercisesOfSummaryWorksheetsInPages, getUserKey, getVerdictFromTestCase, getWebSocketResponseEventKey, getWebSocketResponseEventKeyOfResponse, getWorksheetsInPages, getYears, humanFileSize, increaseDay, increaseMonth, increaseYear, indexToLetters, isAfter, isBasicWorksheet, isBefore, isCodeEditorSheet, isCodeRunStatusMessageWebSocketResponseEventDto, isContestAssignment, isContestChangesWebSocketResponseEventDto, isCourseAssignment, isDayAfter, isDayBefore, isEndlessContest, isEqual, isFutureContest, isGlobalContest, isHoursAfter, isHoursBefore, isJkmdSheet, isMillisecondsAfter, isMillisecondsBefore, isMinutesAfter, isMinutesBefore, isMonthAfter, isMonthBefore, isObjectJson, isPastContest, isProblemCrawledWebSocketResponseEventDto, isQuizOptionsSheet, isQuizProblemSheet, isQuizTextSheet, isSameDay, isSameHour, isSameMillisecond, isSameMinute, isSameMonth, isSameSecond, isSameYear, isSecondsAfter, isSecondsBefore, isSendDataEc2InstancesListWebSocketResponseEventDto, isSendDataEcsTaskDefinitionListWebSocketResponseEventDto, isSendDataEcsTasksListWebSocketResponseEventDto, isSendDataRunCommandWebSocketResponseEventDto, isSendDataSsmSessionsListWebSocketResponseEventDto, isSendDataWebSocketResponseEventDto, isStringJson, isSubmissionJudgingWebSocketResponseEventDto, isSubmissionRunStatusMessageWebSocketResponseEventDto, isSubmissionsCrawlWebSocketResponseEventDto, isSubmissionsJudgingScope, isSubscribeCodeRunStatusWebSocketEventDto, isSubscribeContestChangesWebSocketEventDto, isSubscribeGetDataWebSocketEventDto, isSubscribeProblemCrawledWebSocketEventDto, isSubscribeSubmissionRunStatusWebSocketEventDto, isSubscribeSubmissionsCrawlWebSocketEventDto, isSubscribeSubmissionsJudgingWebSocketEventDto, isSubscribeUserNotificationWebSocketEventDto, isTeamMember, isToday, isUnsubscribeCodeRunStatusWebSocketEventDto, isUnsubscribeContestChangesWebSocketEventDto, isUnsubscribeGetDataWebSocketEventDto, isUnsubscribeProblemCrawledWebSocketEventDto, isUnsubscribeSubmissionRunStatusWebSocketEventDto, isUnsubscribeSubmissionsCrawlWebSocketEventDto, isUnsubscribeSubmissionsJudgingWebSocketEventDto, isUnsubscribeUserNotificationWebSocketEventDto, isUserMember, isUserMessageWebSocketResponseEventDto, isUserNotificationContestClarificationWebSocketResponseEventDto, isUserNotificationSubmissionWebSocketResponseEventDto, isUserNotificationWebSocketResponseEventDto, isValidDate, isWebSocketChannelsMessageDto, isWebSocketResponseEventDto, isWebsocketSubscription, isWithinInterval, isWorksheetAssignment, isYearAfter, isYearBefore, join, lettersToIndex, memorySizeOf, mergeVerdicts, mex, normalizeToLocalStartOfDay, normalizeToLocalStartOfHour, normalizeToLocalStartOfMinutes, normalizeToLocalStartOfSeconds, objectUpdate, objectsUpdate, padEnd, padStart, range, removeExtension, safeJsonParse, setAsyncInterval, split, splitTime, startOfDay, startOfHour, startOfMinute, startOfMonth, startOfSecond, startOfWeek, startOfYear, stringToArrayBuffer, toEntityMembersDto, toJkError };

package/dist/types/constants/websocket.d.ts

@@ -1,12 +1,14 @@
-import { ContestChannelRole } from '../types';
+import { ContestChannelRole, ProblemChannelRole, UserChannelRole } from '../types';
 /** private: events of one session (code runs, requested data) */
 export declare const CHANNEL_SESSION: (sessionId: string) => string;
-/** private: events of one user (own submissions while the contest is frozen, notifications) */
+/** private: events of one user (own submissions while the contest is frozen, notifications, own problem crawls) */
 export declare const CHANNEL_USER: (userId: string) => string;
+/** per role: public events of one user (judging of its submissions visible to everyone, see `UserChannelRole`) */
+export declare const CHANNEL_USER_ROLE: (userId: string, role: UserChannelRole) => string;
 /** public: status of a submission when it is visible to everyone */
 export declare const CHANNEL_SUBMISSION: (submitId: string) => string;
-/** public: changes of a problem */
-export declare const CHANNEL_PROBLEM: (problemKey: string) => string;
+/** per role: events of a problem for one role (judging of its submissions, see `ProblemChannelRole`) */
+export declare const CHANNEL_PROBLEM: (problemKey: string, role: ProblemChannelRole) => string;
 /** per role: events of a contest for one role (and the roles above it, see `ContestChannelRole`) */
 export declare const CHANNEL_CONTEST: (contestKey: string, role: ContestChannelRole) => string;
 /**
@@ -18,7 +20,7 @@ export declare const CHANNEL_CONTEST: (contestKey: string, role: ContestChannelR
  */
 export declare const CHANNEL_ORGANIZATION_PRESENCE: (organizationKey: string) => string;
 export declare const CHANNEL_SUBMISSION_ALL = "submission:*";
-export declare const CHANNEL_PROBLEM_ALL = "problem:*";
+export declare const CHANNEL_USER_SPECTATORS_ALL = "user:*:spectators";
 /**
  * Returns the contest and role of a `CHANNEL_CONTEST` channel name, or null if it is not one.
  */
@@ -26,3 +28,10 @@ export declare const getContestChannelParams: (channel: string) => {
     contestKey: string;
     role: ContestChannelRole;
 } | null;
+/**
+ * Returns the problem and role of a `CHANNEL_PROBLEM` channel name, or null if it is not one.
+ */
+export declare const getProblemChannelParams: (channel: string) => {
+    problemKey: string;
+    role: ProblemChannelRole;
+} | null;

package/dist/types/dto/socket.d.ts

@@ -63,8 +63,25 @@ export interface UnsubscribeUserNotificationWebSocketEventDto extends WebsocketS
     event: WebSocketSubscriptionEvent.UNSUBSCRIBE_USER_NOTIFICATION;
     userKey: string;
 }
-export type WebSocketSubscribeEventDto = SubscribeCodeRunStatusWebSocketEventDto | SubscribeSubmissionRunStatusWebSocketEventDto | SubscribeGetDataWebSocketEventDto | SubscribeProblemCrawledWebSocketEventDto | SubscribeSubmissionsCrawlWebSocketEventDto | SubscribeContestChangesWebSocketEventDto | SubscribeUserNotificationWebsocketEventDto;
-export type WebSocketUnsubscribeEventDto = UnsubscribeCodeRunStatusWebSocketEventDto | UnsubscribeSubmissionRunStatusWebSocketEventDto | UnsubscribeGetDataWebSocketEventDto | UnsubscribeProblemCrawledWebSocketEventDto | UnsubscribeSubmissionsCrawlWebSocketEventDto | UnsubscribeContestChangesWebSocketEventDto | UnsubscribeUserNotificationWebSocketEventDto;
+/**
+ * Scope of a submissions table: the judging start/end of the submissions of one problem, one contest or one user.
+ * Exactly one of the keys is set.
+ */
+export type SubmissionsJudgingScope = {
+    problemKey: string;
+} | {
+    contestKey: string;
+} | {
+    userId: string;
+};
+export type SubscribeSubmissionsJudgingWebSocketEventDto = WebsocketSubscription & {
+    event: WebSocketSubscriptionEvent.SUBSCRIBE_SUBMISSIONS_JUDGING;
+} & SubmissionsJudgingScope;
+export type UnsubscribeSubmissionsJudgingWebSocketEventDto = WebsocketSubscription & {
+    event: WebSocketSubscriptionEvent.UNSUBSCRIBE_SUBMISSIONS_JUDGING;
+} & SubmissionsJudgingScope;
+export type WebSocketSubscribeEventDto = SubscribeCodeRunStatusWebSocketEventDto | SubscribeSubmissionRunStatusWebSocketEventDto | SubscribeGetDataWebSocketEventDto | SubscribeProblemCrawledWebSocketEventDto | SubscribeSubmissionsCrawlWebSocketEventDto | SubscribeContestChangesWebSocketEventDto | SubscribeUserNotificationWebsocketEventDto | SubscribeSubmissionsJudgingWebSocketEventDto;
+export type WebSocketUnsubscribeEventDto = UnsubscribeCodeRunStatusWebSocketEventDto | UnsubscribeSubmissionRunStatusWebSocketEventDto | UnsubscribeGetDataWebSocketEventDto | UnsubscribeProblemCrawledWebSocketEventDto | UnsubscribeSubmissionsCrawlWebSocketEventDto | UnsubscribeContestChangesWebSocketEventDto | UnsubscribeUserNotificationWebSocketEventDto | UnsubscribeSubmissionsJudgingWebSocketEventDto;
 export interface WebSocketResponse {
     event: WebSocketResponseEvent;
     key: WebSocketResponseEventKey;
@@ -86,6 +103,23 @@ export interface SubmissionRunStatusWebSocketResponseEventDto extends WebSocketR
     testInfo?: TestInfo;
     shouldValidateContest: boolean;
 }
+/**
+ * Start (`judging: true`, status RECEIVED) and end (`judging: false`, status COMPLETED / FAILED) of the judging of a
+ * submission, also on rejudges. Published on the channels of the tables that list it (problem / contest / user), so a
+ * table listens to one channel and only attaches `CHANNEL_SUBMISSION` (the case by case progress) of the submissions
+ * on screen that are being judged. The case by case events keep arriving as `SubmissionRunStatusWebSocketResponseEventDto`.
+ */
+export interface SubmissionJudgingWebSocketResponseEventDto extends WebSocketResponse {
+    event: WebSocketResponseEvent.SUBMISSION_JUDGING;
+    submitId: string;
+    problemKey: string;
+    contestKey: string | null;
+    userId: string;
+    judging: boolean;
+    status: SubmissionRunStatus;
+    verdict: ProblemVerdict;
+    points: number;
+}
 export interface UserMessageWebSocketResponseEventDto extends WebSocketResponse {
     event: WebSocketResponseEvent.USER_MESSAGE;
     user: UserOrganizationBasicInfoResponseDto;
@@ -179,7 +213,7 @@ export interface UserNotificationContestClarificationWebSocketResponseEventDto e
         contestKey: string;
     };
 }
-export type WebSocketResponseEventDto = CodeRunStatusWebSocketResponseEventDto | SubmissionRunStatusWebSocketResponseEventDto | UserMessageWebSocketResponseEventDto | SendDataEcsTaskDefinitionListWebSocketResponseEventDto | SendDataEcsTasksListWebSocketResponseEventDto | SendDataEc2InstancesListWebSocketResponseEventDto | SendDataSsmSessionsListWebSocketResponseEventDto | ProblemCrawledWebSocketResponseEventDto | SubmissionsCrawlWebSocketResponseEventDto | ContestChangesWebSocketResponseEventDto | SendDataRunCommandWebSocketResponseEventDto | UserNotificationSubmissionWebSocketResponseEventDto | UserNotificationContestClarificationWebSocketResponseEventDto;
+export type WebSocketResponseEventDto = CodeRunStatusWebSocketResponseEventDto | SubmissionRunStatusWebSocketResponseEventDto | UserMessageWebSocketResponseEventDto | SendDataEcsTaskDefinitionListWebSocketResponseEventDto | SendDataEcsTasksListWebSocketResponseEventDto | SendDataEc2InstancesListWebSocketResponseEventDto | SendDataSsmSessionsListWebSocketResponseEventDto | ProblemCrawledWebSocketResponseEventDto | SubmissionsCrawlWebSocketResponseEventDto | ContestChangesWebSocketResponseEventDto | SendDataRunCommandWebSocketResponseEventDto | UserNotificationSubmissionWebSocketResponseEventDto | UserNotificationContestClarificationWebSocketResponseEventDto | SubmissionJudgingWebSocketResponseEventDto;
 /**
  * Message sent by the backend producers to the websocket SQS queue:
  * the producer (trusted, with access to the DB) decides the Ably channels where the event is published.

package/dist/types/helpers/socket.d.ts

@@ -1,4 +1,4 @@
-import { CodeRunStatusWebSocketResponseEventDto, ContestChangesWebSocketResponseEventDto, ProblemCrawledWebSocketResponseEventDto, SendDataEc2InstancesListWebSocketResponseEventDto, SendDataEcsTaskDefinitionListWebSocketResponseEventDto, SendDataEcsTasksListWebSocketResponseEventDto, SendDataRunCommandWebSocketResponseEventDto, SendDataSsmSessionsListWebSocketResponseEventDto, SendDataWebSocketResponseEventDto, SubmissionRunStatusWebSocketResponseEventDto, SubmissionsCrawlWebSocketResponseEventDto, SubscribeCodeRunStatusWebSocketEventDto, SubscribeContestChangesWebSocketEventDto, SubscribeGetDataWebSocketEventDto, SubscribeProblemCrawledWebSocketEventDto, SubscribeSubmissionRunStatusWebSocketEventDto, SubscribeSubmissionsCrawlWebSocketEventDto, SubscribeUserNotificationWebsocketEventDto, UnsubscribeCodeRunStatusWebSocketEventDto, UnsubscribeContestChangesWebSocketEventDto, UnsubscribeGetDataWebSocketEventDto, UnsubscribeProblemCrawledWebSocketEventDto, UnsubscribeSubmissionRunStatusWebSocketEventDto, UnsubscribeSubmissionsCrawlWebSocketEventDto, UnsubscribeUserNotificationWebSocketEventDto, UserMessageWebSocketResponseEventDto, UserNotificationContestClarificationWebSocketResponseEventDto, UserNotificationSubmissionWebSocketResponseEventDto, UserNotificationWebSocketResponseEventDto, WebSocketChannelsMessageDto, WebSocketResponseEventDto, WebSocketSubscribeEventDto, WebSocketUnsubscribeEventDto } from '../dto';
+import { CodeRunStatusWebSocketResponseEventDto, ContestChangesWebSocketResponseEventDto, ProblemCrawledWebSocketResponseEventDto, SendDataEc2InstancesListWebSocketResponseEventDto, SendDataEcsTaskDefinitionListWebSocketResponseEventDto, SendDataEcsTasksListWebSocketResponseEventDto, SendDataRunCommandWebSocketResponseEventDto, SendDataSsmSessionsListWebSocketResponseEventDto, SendDataWebSocketResponseEventDto, SubmissionJudgingWebSocketResponseEventDto, SubmissionRunStatusWebSocketResponseEventDto, SubmissionsCrawlWebSocketResponseEventDto, SubmissionsJudgingScope, SubscribeCodeRunStatusWebSocketEventDto, SubscribeContestChangesWebSocketEventDto, SubscribeGetDataWebSocketEventDto, SubscribeProblemCrawledWebSocketEventDto, SubscribeSubmissionRunStatusWebSocketEventDto, SubscribeSubmissionsCrawlWebSocketEventDto, SubscribeSubmissionsJudgingWebSocketEventDto, SubscribeUserNotificationWebsocketEventDto, UnsubscribeCodeRunStatusWebSocketEventDto, UnsubscribeContestChangesWebSocketEventDto, UnsubscribeGetDataWebSocketEventDto, UnsubscribeProblemCrawledWebSocketEventDto, UnsubscribeSubmissionRunStatusWebSocketEventDto, UnsubscribeSubmissionsCrawlWebSocketEventDto, UnsubscribeSubmissionsJudgingWebSocketEventDto, UnsubscribeUserNotificationWebSocketEventDto, UserMessageWebSocketResponseEventDto, UserNotificationContestClarificationWebSocketResponseEventDto, UserNotificationSubmissionWebSocketResponseEventDto, UserNotificationWebSocketResponseEventDto, WebSocketChannelsMessageDto, WebSocketResponseEventDto, WebSocketSubscribeEventDto, WebSocketUnsubscribeEventDto } from '../dto';
 import { ClientId, WebSocketResponseEvent, WebSocketResponseEventKey } from '../types';
 export declare const isWebsocketSubscription: (event: any) => event is WebSocketSubscribeEventDto | WebSocketUnsubscribeEventDto;
 export declare const isSubscribeCodeRunStatusWebSocketEventDto: (event: any) => event is SubscribeCodeRunStatusWebSocketEventDto;
@@ -15,9 +15,16 @@ export declare const isSubscribeContestChangesWebSocketEventDto: (event: any) =>
 export declare const isUnsubscribeContestChangesWebSocketEventDto: (event: any) => event is UnsubscribeContestChangesWebSocketEventDto;
 export declare const isSubscribeUserNotificationWebSocketEventDto: (event: any) => event is SubscribeUserNotificationWebsocketEventDto;
 export declare const isUnsubscribeUserNotificationWebSocketEventDto: (event: any) => event is UnsubscribeUserNotificationWebSocketEventDto;
+/**
+ * Exactly one of `problemKey` / `contestKey` / `userId` is set.
+ */
+export declare const isSubmissionsJudgingScope: (scope: any) => scope is SubmissionsJudgingScope;
+export declare const isSubscribeSubmissionsJudgingWebSocketEventDto: (event: any) => event is SubscribeSubmissionsJudgingWebSocketEventDto;
+export declare const isUnsubscribeSubmissionsJudgingWebSocketEventDto: (event: any) => event is UnsubscribeSubmissionsJudgingWebSocketEventDto;
 export declare const isWebSocketResponseEventDto: (event: any) => event is WebSocketResponseEventDto;
 export declare const isCodeRunStatusMessageWebSocketResponseEventDto: (event: any) => event is CodeRunStatusWebSocketResponseEventDto;
 export declare const isSubmissionRunStatusMessageWebSocketResponseEventDto: (event: any) => event is SubmissionRunStatusWebSocketResponseEventDto;
+export declare const isSubmissionJudgingWebSocketResponseEventDto: (event: any) => event is SubmissionJudgingWebSocketResponseEventDto;
 export declare const isUserMessageWebSocketResponseEventDto: (event: any) => event is UserMessageWebSocketResponseEventDto;
 export declare const isSendDataWebSocketResponseEventDto: (event: any) => event is SendDataWebSocketResponseEventDto;
 export declare const isSendDataEcsTaskDefinitionListWebSocketResponseEventDto: (event: any) => event is SendDataEcsTaskDefinitionListWebSocketResponseEventDto;
@@ -49,3 +56,7 @@ export declare const getChannelOfWebSocketSubscribeEvent: (event: WebSocketSubsc
  * Contest whose role channels the client needs (the API grants them when the token is requested with this contest).
  */
 export declare const getContestKeyOfWebSocketSubscribeEvent: (event: WebSocketSubscribeEventDto) => string | null;
+/**
+ * Problem whose role channels the client needs (the API grants them when the token is requested with this problem).
+ */
+export declare const getProblemKeyOfWebSocketSubscribeEvent: (event: WebSocketSubscribeEventDto) => string | null;

package/dist/types/types/socket.d.ts

@@ -17,7 +17,9 @@ export declare enum WebSocketSubscriptionEvent {
     SUBSCRIBE_CONTEST_CHANGES = "SUBSCRIBE_CONTEST_CHANGES",
     UNSUBSCRIBE_CONTEST_CHANGES = "UNSUBSCRIBE_CONTEST_CHANGES",
     SUBSCRIBE_USER_NOTIFICATION = "SUBSCRIBE_USER_NOTIFICATION",
-    UNSUBSCRIBE_USER_NOTIFICATION = "UNSUBSCRIBE_USER_NOTIFICATION"
+    UNSUBSCRIBE_USER_NOTIFICATION = "UNSUBSCRIBE_USER_NOTIFICATION",
+    SUBSCRIBE_SUBMISSIONS_JUDGING = "SUBSCRIBE_SUBMISSIONS_JUDGING",
+    UNSUBSCRIBE_SUBMISSIONS_JUDGING = "UNSUBSCRIBE_SUBMISSIONS_JUDGING"
 }
 export declare enum WebSocketResponseEvent {
     CODE_RUN_STATUS = "CODE_RUN_STATUS",
@@ -34,7 +36,8 @@ export declare enum WebSocketResponseEvent {
     CONTEST_CHANGES = "CONTEST_CHANGES",
     USER_NOTIFICATION_ = "USER_NOTIFICATION_",
     USER_NOTIFICATION_SUBMISSION = "USER_NOTIFICATION_SUBMISSION",
-    USER_NOTIFICATION_CONTEST_CLARIFICATION = "USER_NOTIFICATION_CONTEST_CLARIFICATION"
+    USER_NOTIFICATION_CONTEST_CLARIFICATION = "USER_NOTIFICATION_CONTEST_CLARIFICATION",
+    SUBMISSION_JUDGING = "SUBMISSION_JUDGING"
 }
 export type ClientId = `${RecordId}|${string}`;
 export type WebSocketResponseEventKey = `${WebSocketResponseEvent}-${ClientId}-${string}`;
@@ -51,6 +54,23 @@ export declare enum ContestChannelRole {
     GUESTS = "guests",
     SPECTATORS = "spectators"
 }
+/**
+ * Roles of a problem, the ones computed by `getProblemAccessPermissions` (backend).
+ * Each role has its own Ably channel: `problem:{problemKey}:{role}` (see `CHANNEL_PROBLEM`).
+ */
+export declare enum ProblemChannelRole {
+    ADMINISTRATORS = "administrators",
+    MANAGERS = "managers",
+    SPECTATORS = "spectators"
+}
+/**
+ * Roles of the public channels of a user: `user:{userId}:{role}` (see `CHANNEL_USER_ROLE`).
+ * There are no per-user permissions: `spectators` is everyone who can list the submissions of the user.
+ * The private channel of the user is `user:{userId}` (see `CHANNEL_USER`).
+ */
+export declare enum UserChannelRole {
+    SPECTATORS = "spectators"
+}
 export type InfoLogCaseStatus = {
     inputKey: string;
     out: string;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@juki-team/commons",
-  "version": "0.1.45",
+  "version": "0.1.46",
   "author": "juki-team",
   "license": "MIT",
   "type": "module",