Enable first Pyright typed slice for backend/storage (#69)

.github/workflows/static-analysis.yml

@@ -86,7 +86,7 @@ jobs:
   pyright:
     permissions:
       contents: read
-    name: Pyright data-flow checks
+    name: Pyright data-flow + typed storage slice
     runs-on: ubuntu-latest
     timeout-minutes: 8
 
@@ -101,9 +101,14 @@ jobs:
         with:
           node-version: "24"
 
-      - name: Run Pyright
+      # Narrow diagnostics across prks_app.py + backend (typeCheckingMode: off).
+      - name: Run Pyright data-flow checks
         run: npm exec --yes --ignore-scripts --package="pyright@${PYRIGHT_VERSION}" -- pyright --project pyrightconfig.json
 
+      # Genuine basic type checking for the first #69 slice: backend/storage.
+      - name: Run Pyright typed slice (backend/storage, basic)
+        run: npm exec --yes --ignore-scripts --package="pyright@${PYRIGHT_VERSION}" -- pyright --project pyrightconfig.typed-slice.json
+
   eslint:
     permissions:
       contents: read

pyrightconfig.typed-slice.json

@@ -0,0 +1,13 @@
+{
+  "include": [
+    "backend/storage"
+  ],
+  "exclude": [
+    "**/__pycache__"
+  ],
+  "pythonVersion": "3.12",
+  "typeCheckingMode": "basic",
+  "reportUndefinedVariable": "error",
+  "reportUnboundVariable": "error",
+  "reportUnusedExcept": "error"
+}