Mark unread turn summaries in the switcher and Project rows

web/src/api.gen.ts

@@ -123,6 +123,22 @@ export interface paths {
         patch?: never;
         trace?: never;
     };
+    "/api/me/summary-reads": {
+        parameters: {
+            query?: never;
+            header?: never;
+            path?: never;
+            cookie?: never;
+        };
+        get: operations["getSummaryReads"];
+        put?: never;
+        post?: never;
+        delete?: never;
+        options?: never;
+        head?: never;
+        patch?: never;
+        trace?: never;
+    };
     "/api/me/pane-focus": {
         parameters: {
             query?: never;
@@ -268,6 +284,25 @@ export interface paths {
         patch?: never;
         trace?: never;
     };
+    "/api/tasks/{taskId}/summary-read": {
+        parameters: {
+            query?: never;
+            header?: never;
+            path: {
+                taskId: string;
+            };
+            cookie?: never;
+        };
+        get?: never;
+        /** @description Records that the calling user has read the task's turn summaries up to seq. A seq at or below the one already recorded changes nothing; a higher one emits summary.read, owned by the user. */
+        put: operations["markSummaryRead"];
+        post?: never;
+        delete?: never;
+        options?: never;
+        head?: never;
+        patch?: never;
+        trace?: never;
+    };
     "/api/tasks/{taskId}/workflow/run": {
         parameters: {
             query?: never;
@@ -957,6 +992,11 @@ export interface components {
             parent_task_id?: string;
             /** @description Whether a merge of this subtask into its parent was requested and the parent hasn't merged it yet. */
             merging_into_parent: boolean;
+            /**
+             * Format: int64
+             * @description The seq of the task's latest turn.ended event with summary: true; 0 when it has none.
+             */
+            summary_seq: number;
         };
         Todo: {
             /** @description Whether the default branch has a TODO.md at its root. */
@@ -1350,6 +1390,13 @@ export interface components {
             /** Format: date-time */
             updated_at: string;
         };
+        SummaryRead: {
+            /**
+             * Format: int64
+             * @description The seq of the turn.ended event whose summary was shown.
+             */
+            seq: number;
+        };
         PaneFocus: {
             /** @description True while the browser window has focus and the focused element is inside the right pane. */
             focused: boolean;
@@ -1659,6 +1706,28 @@ export interface operations {
             404: components["responses"]["Error"];
         };
     };
+    getSummaryReads: {
+        parameters: {
+            query?: never;
+            header?: never;
+            path?: never;
+            cookie?: never;
+        };
+        requestBody?: never;
+        responses: {
+            /** @description For each active task the calling user has read a turn summary of, the highest seq read. */
+            200: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    "application/json": {
+                        [key: string]: number;
+                    };
+                };
+            };
+        };
+    };
     setPaneFocus: {
         parameters: {
             query?: never;
@@ -1899,6 +1968,32 @@ export interface operations {
             404: components["responses"]["Error"];
         };
     };
+    markSummaryRead: {
+        parameters: {
+            query?: never;
+            header?: never;
+            path: {
+                taskId: string;
+            };
+            cookie?: never;
+        };
+        requestBody: {
+            content: {
+                "application/json": components["schemas"]["SummaryRead"];
+            };
+        };
+        responses: {
+            /** @description Recorded. */
+            204: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content?: never;
+            };
+            400: components["responses"]["Error"];
+            404: components["responses"]["Error"];
+        };
+    };
     getWorkflowRun: {
         parameters: {
             query?: never;