fix: inspect and repair incorrect recorded file sizes

src/modules/features/SettingDialogue/PaneHatch.ts

@@ -32,12 +32,14 @@ import {
     chooseAndCopyFileDatabaseInfo,
     collectFileDatabaseInfoPaths,
     copyFileDatabaseInfo,
+    inspectFileDatabaseInfo,
     retryReadFileDatabaseRevision,
 } from "@/serviceFeatures/fileDatabaseInfo.ts";
 import {
     discardLiveBranch,
     discardUnreadableLiveRevision,
     inspectFileRepair,
+    repairRevisionSize,
     type FileRepairInspection,
     type FileRepairRevision,
 } from "@/serviceFeatures/fileRepair.ts";
@@ -786,6 +788,31 @@ export function paneHatch(this: ObsidianLiveSyncSettingTab, paneEl: HTMLElement,
                         },
                     });
                 }
+                if (metadata.revision && policy.repairSize) {
+                    revisionActions.push({
+                        title: $msg("Correct recorded file size"),
+                        run: async () => {
+                            await runMutation(
+                                `Correct the recorded size on database revision ${metadata.revision}`,
+                                async () => {
+                                    const result = await repairRevisionSize(
+                                        this.core,
+                                        path,
+                                        metadata.revision!
+                                    );
+                                    if (result !== "repaired" && result !== "unchanged") {
+                                        return false;
+                                    }
+                                    const current = await inspectFileDatabaseInfo(this.core, path);
+                                    const currentRevision = current.database.currentRevision;
+                                    return currentRevision !== null
+                                        ? storeStorageOnRevision(path, currentRevision, false)
+                                        : false;
+                                }
+                            );
+                        },
+                    });
+                }
                 if (metadata.revision && policy.storeVaultOnBranch) {
                     revisionActions.push({
                         title: $msg("Store Vault file as a child of this revision"),