From 48234de10db2543a6ad1fa3f6268427d1df4852f Mon Sep 17 00:00:00 2001
From: Andras Schmelczer <andras@schmelczer.dev>
Date: Sat, 28 Mar 2026 11:57:50 +0000
Subject: [PATCH] Update types

---
 .../src/services/types/ClientCursors.ts       |  6 +--
 .../services/types/CreateDocumentVersion.ts   |  5 +--
 .../types/CursorPositionFromClient.ts         |  4 +-
 .../types/CursorPositionFromServer.ts         |  4 +-
 .../src/services/types/CursorSpan.ts          |  5 +--
 .../services/types/DocumentUpdateResponse.ts  |  4 +-
 .../src/services/types/DocumentVersion.ts     | 11 +-----
 .../types/DocumentVersionWithoutContent.ts    | 11 +-----
 .../src/services/types/DocumentWithCursors.ts |  7 +---
 .../types/FetchLatestDocumentsResponse.ts     | 12 +++---
 .../src/services/types/PingResponse.ts        | 39 +++++++++----------
 .../src/services/types/SerializedError.ts     |  6 +--
 .../types/UpdateTextDocumentVersion.ts        |  6 +--
 .../services/types/WebSocketClientMessage.ts  |  4 +-
 .../src/services/types/WebSocketHandshake.ts  |  6 +--
 .../services/types/WebSocketServerMessage.ts  |  4 +-
 .../services/types/WebSocketVaultUpdate.ts    |  5 +--
 .../src/sync-operations/cursor-tracker.ts     |  2 +-
 .../sync-client/src/sync-operations/syncer.ts |  4 +-
 .../src/utils/debugging/log-to-console.ts     |  2 +-
 20 files changed, 43 insertions(+), 104 deletions(-)

diff --git a/frontend/sync-client/src/services/types/ClientCursors.ts b/frontend/sync-client/src/services/types/ClientCursors.ts
index e8c9b93d..5b1ec040 100644
--- a/frontend/sync-client/src/services/types/ClientCursors.ts
+++ b/frontend/sync-client/src/services/types/ClientCursors.ts
@@ -1,8 +1,4 @@
 // This file was generated by [ts-rs](https://github.com/Aleph-Alpha/ts-rs). Do not edit this file manually.
 import type { DocumentWithCursors } from "./DocumentWithCursors";
 
-export interface ClientCursors {
-    userName: string;
-    deviceId: string;
-    documentsWithCursors: DocumentWithCursors[];
-}
+export interface ClientCursors { userName: string, deviceId: string, documentsWithCursors: DocumentWithCursors[], }
diff --git a/frontend/sync-client/src/services/types/CreateDocumentVersion.ts b/frontend/sync-client/src/services/types/CreateDocumentVersion.ts
index 17103be5..d4ed2831 100644
--- a/frontend/sync-client/src/services/types/CreateDocumentVersion.ts
+++ b/frontend/sync-client/src/services/types/CreateDocumentVersion.ts
@@ -1,6 +1,3 @@
 // This file was generated by [ts-rs](https://github.com/Aleph-Alpha/ts-rs). Do not edit this file manually.
 
-export interface CreateDocumentVersion {
-    relative_path: string;
-    content: number[];
-}
+export interface CreateDocumentVersion { relative_path: string, content: number[], }
diff --git a/frontend/sync-client/src/services/types/CursorPositionFromClient.ts b/frontend/sync-client/src/services/types/CursorPositionFromClient.ts
index ee937f4e..78823b5d 100644
--- a/frontend/sync-client/src/services/types/CursorPositionFromClient.ts
+++ b/frontend/sync-client/src/services/types/CursorPositionFromClient.ts
@@ -1,6 +1,4 @@
 // This file was generated by [ts-rs](https://github.com/Aleph-Alpha/ts-rs). Do not edit this file manually.
 import type { DocumentWithCursors } from "./DocumentWithCursors";
 
-export interface CursorPositionFromClient {
-    documentsWithCursors: DocumentWithCursors[];
-}
+export interface CursorPositionFromClient { documentsWithCursors: DocumentWithCursors[], }
diff --git a/frontend/sync-client/src/services/types/CursorPositionFromServer.ts b/frontend/sync-client/src/services/types/CursorPositionFromServer.ts
index 52a24f27..ed6ac7b2 100644
--- a/frontend/sync-client/src/services/types/CursorPositionFromServer.ts
+++ b/frontend/sync-client/src/services/types/CursorPositionFromServer.ts
@@ -1,6 +1,4 @@
 // This file was generated by [ts-rs](https://github.com/Aleph-Alpha/ts-rs). Do not edit this file manually.
 import type { ClientCursors } from "./ClientCursors";
 
-export interface CursorPositionFromServer {
-    clients: ClientCursors[];
-}
+export interface CursorPositionFromServer { clients: ClientCursors[], }
diff --git a/frontend/sync-client/src/services/types/CursorSpan.ts b/frontend/sync-client/src/services/types/CursorSpan.ts
index 2cc2b7fc..7424067c 100644
--- a/frontend/sync-client/src/services/types/CursorSpan.ts
+++ b/frontend/sync-client/src/services/types/CursorSpan.ts
@@ -1,6 +1,3 @@
 // This file was generated by [ts-rs](https://github.com/Aleph-Alpha/ts-rs). Do not edit this file manually.
 
-export interface CursorSpan {
-    start: number;
-    end: number;
-}
+export interface CursorSpan { start: number, end: number, }
diff --git a/frontend/sync-client/src/services/types/DocumentUpdateResponse.ts b/frontend/sync-client/src/services/types/DocumentUpdateResponse.ts
index 7fd06c7a..418117e6 100644
--- a/frontend/sync-client/src/services/types/DocumentUpdateResponse.ts
+++ b/frontend/sync-client/src/services/types/DocumentUpdateResponse.ts
@@ -5,6 +5,4 @@ import type { DocumentVersionWithoutContent } from "./DocumentVersionWithoutCont
 /**
  * Response to an update document request.
  */
-export type DocumentUpdateResponse =
-    | ({ type: "FastForwardUpdate" } & DocumentVersionWithoutContent)
-    | ({ type: "MergingUpdate" } & DocumentVersion);
+export type DocumentUpdateResponse = { "type": "FastForwardUpdate" } & DocumentVersionWithoutContent | { "type": "MergingUpdate" } & DocumentVersion;
diff --git a/frontend/sync-client/src/services/types/DocumentVersion.ts b/frontend/sync-client/src/services/types/DocumentVersion.ts
index 3b9aa37b..3d50ae65 100644
--- a/frontend/sync-client/src/services/types/DocumentVersion.ts
+++ b/frontend/sync-client/src/services/types/DocumentVersion.ts
@@ -1,12 +1,3 @@
 // This file was generated by [ts-rs](https://github.com/Aleph-Alpha/ts-rs). Do not edit this file manually.
 
-export interface DocumentVersion {
-    vaultUpdateId: number;
-    documentId: string;
-    relativePath: string;
-    updatedDate: string;
-    contentBase64: string;
-    isDeleted: boolean;
-    userId: string;
-    deviceId: string;
-}
+export interface DocumentVersion { vaultUpdateId: number, documentId: string, relativePath: string, updatedDate: string, contentBase64: string, isDeleted: boolean, userId: string, deviceId: string, }
diff --git a/frontend/sync-client/src/services/types/DocumentVersionWithoutContent.ts b/frontend/sync-client/src/services/types/DocumentVersionWithoutContent.ts
index 4b24e7c5..af064db8 100644
--- a/frontend/sync-client/src/services/types/DocumentVersionWithoutContent.ts
+++ b/frontend/sync-client/src/services/types/DocumentVersionWithoutContent.ts
@@ -1,12 +1,3 @@
 // This file was generated by [ts-rs](https://github.com/Aleph-Alpha/ts-rs). Do not edit this file manually.
 
-export interface DocumentVersionWithoutContent {
-    vaultUpdateId: number;
-    documentId: string;
-    relativePath: string;
-    updatedDate: string;
-    isDeleted: boolean;
-    userId: string;
-    deviceId: string;
-    contentSize: number;
-}
+export interface DocumentVersionWithoutContent { vaultUpdateId: number, documentId: string, relativePath: string, updatedDate: string, isDeleted: boolean, userId: string, deviceId: string, contentSize: number, }
diff --git a/frontend/sync-client/src/services/types/DocumentWithCursors.ts b/frontend/sync-client/src/services/types/DocumentWithCursors.ts
index dcfe6e2d..e7dad119 100644
--- a/frontend/sync-client/src/services/types/DocumentWithCursors.ts
+++ b/frontend/sync-client/src/services/types/DocumentWithCursors.ts
@@ -1,9 +1,4 @@
 // This file was generated by [ts-rs](https://github.com/Aleph-Alpha/ts-rs). Do not edit this file manually.
 import type { CursorSpan } from "./CursorSpan";
 
-export interface DocumentWithCursors {
-    vault_update_id: number | null;
-    document_id: string;
-    relative_path: string;
-    cursors: CursorSpan[];
-}
+export interface DocumentWithCursors { vault_update_id: number | null, document_id: string, relative_path: string, cursors: CursorSpan[], }
diff --git a/frontend/sync-client/src/services/types/FetchLatestDocumentsResponse.ts b/frontend/sync-client/src/services/types/FetchLatestDocumentsResponse.ts
index 315d701a..3be625bd 100644
--- a/frontend/sync-client/src/services/types/FetchLatestDocumentsResponse.ts
+++ b/frontend/sync-client/src/services/types/FetchLatestDocumentsResponse.ts
@@ -4,10 +4,8 @@ import type { DocumentVersionWithoutContent } from "./DocumentVersionWithoutCont
 /**
  * Response to a fetch latest documents request.
  */
-export interface FetchLatestDocumentsResponse {
-    latestDocuments: DocumentVersionWithoutContent[];
-    /**
-     * The update ID of the latest document in the response.
-     */
-    lastUpdateId: bigint;
-}
+export interface FetchLatestDocumentsResponse { latestDocuments: DocumentVersionWithoutContent[], 
+/**
+ * The update ID of the latest document in the response.
+ */
+lastUpdateId: bigint, }
diff --git a/frontend/sync-client/src/services/types/PingResponse.ts b/frontend/sync-client/src/services/types/PingResponse.ts
index f96520e9..ba8ceb48 100644
--- a/frontend/sync-client/src/services/types/PingResponse.ts
+++ b/frontend/sync-client/src/services/types/PingResponse.ts
@@ -3,23 +3,22 @@
 /**
  * Response to a ping request.
  */
-export interface PingResponse {
-    /**
-     * Semantic version of the server.
-     */
-    serverVersion: string;
-    /**
-     * Whether the client is authenticated based on the sent Authorization
-     * header.
-     */
-    isAuthenticated: boolean;
-    /**
-     * List of file extensions that are allowed to be merged.
-     */
-    mergeableFileExtensions: string[];
-    /**
-     * API version ensuring backwards & forwards compatibility between the client
-     * and server.
-     */
-    supportedApiVersion: number;
-}
+export interface PingResponse { 
+/**
+ * Semantic version of the server.
+ */
+serverVersion: string, 
+/**
+ * Whether the client is authenticated based on the sent Authorization
+ * header.
+ */
+isAuthenticated: boolean, 
+/**
+ * List of file extensions that are allowed to be merged.
+ */
+mergeableFileExtensions: string[], 
+/**
+ * API version ensuring backwards & forwards compatibility between the client
+ * and server.
+ */
+supportedApiVersion: number, }
diff --git a/frontend/sync-client/src/services/types/SerializedError.ts b/frontend/sync-client/src/services/types/SerializedError.ts
index ec1c4503..4389289e 100644
--- a/frontend/sync-client/src/services/types/SerializedError.ts
+++ b/frontend/sync-client/src/services/types/SerializedError.ts
@@ -1,7 +1,3 @@
 // This file was generated by [ts-rs](https://github.com/Aleph-Alpha/ts-rs). Do not edit this file manually.
 
-export interface SerializedError {
-    errorType: string;
-    message: string;
-    causes: string[];
-}
+export interface SerializedError { errorType: string, message: string, causes: string[], }
diff --git a/frontend/sync-client/src/services/types/UpdateTextDocumentVersion.ts b/frontend/sync-client/src/services/types/UpdateTextDocumentVersion.ts
index 46f36bd0..aeb69f5a 100644
--- a/frontend/sync-client/src/services/types/UpdateTextDocumentVersion.ts
+++ b/frontend/sync-client/src/services/types/UpdateTextDocumentVersion.ts
@@ -1,7 +1,3 @@
 // This file was generated by [ts-rs](https://github.com/Aleph-Alpha/ts-rs). Do not edit this file manually.
 
-export interface UpdateTextDocumentVersion {
-    parentVersionId: number;
-    relativePath: string;
-    content: (number | string)[];
-}
+export interface UpdateTextDocumentVersion { parentVersionId: number, relativePath: string, content: (number | string)[], }
diff --git a/frontend/sync-client/src/services/types/WebSocketClientMessage.ts b/frontend/sync-client/src/services/types/WebSocketClientMessage.ts
index 9608f3af..5765a0d0 100644
--- a/frontend/sync-client/src/services/types/WebSocketClientMessage.ts
+++ b/frontend/sync-client/src/services/types/WebSocketClientMessage.ts
@@ -2,6 +2,4 @@
 import type { CursorPositionFromClient } from "./CursorPositionFromClient";
 import type { WebSocketHandshake } from "./WebSocketHandshake";
 
-export type WebSocketClientMessage =
-    | ({ type: "handshake" } & WebSocketHandshake)
-    | ({ type: "cursorPositions" } & CursorPositionFromClient);
+export type WebSocketClientMessage = { "type": "handshake" } & WebSocketHandshake | { "type": "cursorPositions" } & CursorPositionFromClient;
diff --git a/frontend/sync-client/src/services/types/WebSocketHandshake.ts b/frontend/sync-client/src/services/types/WebSocketHandshake.ts
index a2910f49..d25651f9 100644
--- a/frontend/sync-client/src/services/types/WebSocketHandshake.ts
+++ b/frontend/sync-client/src/services/types/WebSocketHandshake.ts
@@ -1,7 +1,3 @@
 // This file was generated by [ts-rs](https://github.com/Aleph-Alpha/ts-rs). Do not edit this file manually.
 
-export interface WebSocketHandshake {
-    token: string;
-    deviceId: string;
-    lastSeenVaultUpdateId: number | null;
-}
+export interface WebSocketHandshake { token: string, deviceId: string, lastSeenVaultUpdateId: number | null, }
diff --git a/frontend/sync-client/src/services/types/WebSocketServerMessage.ts b/frontend/sync-client/src/services/types/WebSocketServerMessage.ts
index fd250b7b..45e37358 100644
--- a/frontend/sync-client/src/services/types/WebSocketServerMessage.ts
+++ b/frontend/sync-client/src/services/types/WebSocketServerMessage.ts
@@ -2,6 +2,4 @@
 import type { CursorPositionFromServer } from "./CursorPositionFromServer";
 import type { WebSocketVaultUpdate } from "./WebSocketVaultUpdate";
 
-export type WebSocketServerMessage =
-    | ({ type: "vaultUpdate" } & WebSocketVaultUpdate)
-    | ({ type: "cursorPositions" } & CursorPositionFromServer);
+export type WebSocketServerMessage = { "type": "vaultUpdate" } & WebSocketVaultUpdate | { "type": "cursorPositions" } & CursorPositionFromServer;
diff --git a/frontend/sync-client/src/services/types/WebSocketVaultUpdate.ts b/frontend/sync-client/src/services/types/WebSocketVaultUpdate.ts
index f1ea0f80..39e03b6f 100644
--- a/frontend/sync-client/src/services/types/WebSocketVaultUpdate.ts
+++ b/frontend/sync-client/src/services/types/WebSocketVaultUpdate.ts
@@ -1,7 +1,4 @@
 // This file was generated by [ts-rs](https://github.com/Aleph-Alpha/ts-rs). Do not edit this file manually.
 import type { DocumentVersionWithoutContent } from "./DocumentVersionWithoutContent";
 
-export interface WebSocketVaultUpdate {
-    documents: DocumentVersionWithoutContent[];
-    isInitialSync: boolean;
-}
+export interface WebSocketVaultUpdate { documents: DocumentVersionWithoutContent[], isInitialSync: boolean, }
diff --git a/frontend/sync-client/src/sync-operations/cursor-tracker.ts b/frontend/sync-client/src/sync-operations/cursor-tracker.ts
index 589e4b3b..abbfc973 100644
--- a/frontend/sync-client/src/sync-operations/cursor-tracker.ts
+++ b/frontend/sync-client/src/sync-operations/cursor-tracker.ts
@@ -10,7 +10,7 @@ import { hash } from "../utils/hash";
 import type { FileChangeNotifier } from "./file-change-notifier";
 import { Lock } from "../utils/data-structures/locks";
 import { EventListeners } from "../utils/data-structures/event-listeners";
-import { Logger } from "../tracing/logger";
+import type { Logger } from "../tracing/logger";
 
 // Cursor positions are updated separately from documents. However, a given cursor position is only
 // valid within a certain version of the document it belongs to. This class tracks previous and the latest
diff --git a/frontend/sync-client/src/sync-operations/syncer.ts b/frontend/sync-client/src/sync-operations/syncer.ts
index 05e3bdf0..eb5336f4 100644
--- a/frontend/sync-client/src/sync-operations/syncer.ts
+++ b/frontend/sync-client/src/sync-operations/syncer.ts
@@ -118,10 +118,10 @@ export class Syncer {
     public async syncLocallyDeletedFile(
         relativePath: RelativePath
     ): Promise<void> {
-        let document =
+        const document =
             this.database.getLatestDocumentByRelativePath(relativePath);
 
-        if (document == null || document.isDeleted === true) {
+        if (document == null || document.isDeleted) {
             // This is must be a consequence of us deleting a file because of a remote update
             // which triggered a local delete, so we don't need to do anything here.
             this.logger.debug(
diff --git a/frontend/sync-client/src/utils/debugging/log-to-console.ts b/frontend/sync-client/src/utils/debugging/log-to-console.ts
index c8940536..f38335fe 100644
--- a/frontend/sync-client/src/utils/debugging/log-to-console.ts
+++ b/frontend/sync-client/src/utils/debugging/log-to-console.ts
@@ -16,7 +16,7 @@ export function logToConsole(
 ): void {
     logger.onLogEmitted.add((logLine: LogLine) => {
         const timestamp = logLine.timestamp.toISOString();
-        const message = logLine.message;
+        const {message} = logLine;
 
         let color = "";
         let reset = "";