Fix first page deleting causing lost beats

.github/workflows/pr-checks.yaml

@@ -15,6 +15,7 @@ jobs:
           - format:check
           - lint
           - spellcheck
+          - build
       fail-fast: false
     runs-on: ubuntu-latest
     steps:

.vscode/tasks.json

@@ -12,7 +12,6 @@
                 "owner": "typescript",
                 "fileLocation": "relative",
                 "pattern": {
-                    // TODO: correct "regexp"
                     "regexp": "^([a-zA-Z]\\:/?([\\w\\-]/?)+\\.\\w+):(\\d+):(\\d+): (ERROR|WARNING)\\: (.*)$",
                     "file": 1,
                     "line": 3,
@@ -26,6 +25,12 @@
                     "endsPattern": "^.*\\[startup\\] Electron App.*$"
                 }
             }
+        },
+        {
+            "label": "format-prettier",
+            "type": "shell",
+            "command": "pnpm exec prettier ${file} --write",
+            "problemMatcher": []
         }
     ]
 }

apps/desktop/electron/database/migrations/0012_pink_king_cobra.sql

@@ -0,0 +1,17 @@
+CREATE VIEW `timing_objects` AS 
+    SELECT
+        beats.position AS position,
+        beats.duration AS duration,
+        SUM(duration) OVER (
+            ORDER BY position
+            ROWS BETWEEN UNBOUNDED PRECEDING AND 1 PRECEDING
+        ) AS timestamp,
+        beats.id AS beat_id,
+        pages.id AS page_id,
+        measures.id AS measure_id
+    FROM beats
+    LEFT JOIN pages
+        ON beats.id = pages.start_beat
+    LEFT JOIN measures
+        ON beats.id = measures.start_beat
+    ORDER BY beats.position ASC;