chore: upgrade to TypeScript 7.0.2

.vscode/settings.json

@@ -6,7 +6,6 @@
   },
   "oxc.unusedDisableDirectives": "warn",
   "js/ts.tsdk.path": "node_modules/typescript/lib",
-  "typescript.native-preview.tsdk": "node_modules/@typescript/native-preview",
   "typescript.preferences.autoImportFileExcludePatterns": [".repos/**"],
   "javascript.preferences.autoImportFileExcludePatterns": [".repos/**"],
   "files.watcherExclude": {

apps/desktop/package.json

@@ -7,7 +7,7 @@
   "scripts": {
     "ensure:electron": "node scripts/ensure-electron-runtime.mjs",
     "start": "node scripts/start-electron.mjs",
-    "typecheck": "tsgo --noEmit",
+    "typecheck": "tsc --noEmit",
     "test": "vp test run --passWithNoTests",
     "smoke-test": "node scripts/smoke-test.mjs"
   },

apps/marketing/package.json

@@ -17,6 +17,6 @@
   "devDependencies": {
     "@astrojs/check": "^0.9.7",
     "@vercel/config": "^0.3.0",
-    "typescript": "catalog:"
+    "typescript": "~6.0.3"
   }
 }

apps/server/package.json

@@ -18,7 +18,7 @@
     "dev": "node --watch src/bin.ts",
     "build:bundle": "vp pack && vp pack src/service-launcher.ts --out-dir dist --no-clean",
     "start": "node dist/bin.mjs",
-    "typecheck": "tsgo --noEmit",
+    "typecheck": "tsc --noEmit",
     "test": "vp test run"
   },
   "dependencies": {

apps/web/package.json

@@ -8,7 +8,7 @@
     "dev": "vp dev",
     "build": "vp build",
     "preview": "vp preview",
-    "typecheck": "tsgo --noEmit",
+    "typecheck": "tsc --noEmit",
     "test": "vp test run --passWithNoTests --project unit"
   },
   "dependencies": {

infra/relay/package.json

@@ -6,7 +6,7 @@
     "deploy": "node -- scripts/deploy.ts",
     "destroy": "alchemy destroy",
     "test": "vp test run",
-    "typecheck": "tsgo --noEmit"
+    "typecheck": "tsc --noEmit"
   },
   "dependencies": {
     "@clerk/backend": "catalog:",

oxlint-plugin-t3code/package.json

@@ -3,7 +3,7 @@
   "private": true,
   "type": "module",
   "scripts": {
-    "typecheck": "tsgo --noEmit",
+    "typecheck": "tsc --noEmit",
     "test": "vp test run"
   },
   "dependencies": {

package.json

@@ -3,7 +3,7 @@
   "private": true,
   "type": "module",
   "scripts": {
-    "prepare": "node scripts/clean-tsgo-backups.mjs && effect-tsgo patch && vp config --no-agent",
+    "prepare": "effect-tsgo patch && vp config --no-agent",
     "dev": "node scripts/dev-runner.ts dev",
     "dev:share": "node scripts/dev-runner.ts dev --share",
     "dev:server": "node scripts/dev-runner.ts dev:server",
@@ -51,8 +51,8 @@
   "devDependencies": {
     "@effect/tsgo": "catalog:",
     "@types/node": "catalog:",
-    "@typescript/native-preview": "catalog:",
     "knip": "6.34.0",
+    "typescript": "catalog:",
     "vite-plus": "catalog:"
   },
   "engines": {

packages/client-runtime/package.json

@@ -233,7 +233,7 @@
     }
   },
   "scripts": {
-    "typecheck": "tsgo --noEmit",
+    "typecheck": "tsc --noEmit",
     "test": "vp test run"
   },
   "dependencies": {

packages/contracts/package.json

@@ -21,7 +21,7 @@
     }
   },
   "scripts": {
-    "typecheck": "tsgo --noEmit",
+    "typecheck": "tsc --noEmit",
     "test": "vp test run"
   },
   "dependencies": {

packages/effect-acp/package.json

@@ -25,7 +25,7 @@
     }
   },
   "scripts": {
-    "typecheck": "tsgo --noEmit",
+    "typecheck": "tsc --noEmit",
     "test": "vp test run",
     "generate": "node scripts/generate.ts"
   },

packages/effect-codex-app-server/package.json

@@ -21,7 +21,7 @@
     }
   },
   "scripts": {
-    "typecheck": "tsgo --noEmit",
+    "typecheck": "tsc --noEmit",
     "test": "vp test run",
     "generate": "node scripts/generate.ts",
     "probe": "node test/examples/codex-app-server-probe.ts"

packages/shared/package.json

@@ -281,7 +281,7 @@
     }
   },
   "scripts": {
-    "typecheck": "tsgo --noEmit",
+    "typecheck": "tsc --noEmit",
     "test": "vp test run"
   },
   "dependencies": {

packages/ssh/package.json

@@ -25,7 +25,7 @@
     }
   },
   "scripts": {
-    "typecheck": "tsgo --noEmit",
+    "typecheck": "tsc --noEmit",
     "test": "vp test run"
   },
   "dependencies": {

packages/tailscale/package.json

@@ -9,7 +9,7 @@
     }
   },
   "scripts": {
-    "typecheck": "tsgo --noEmit",
+    "typecheck": "tsc --noEmit",
     "test": "vp test run"
   },
   "dependencies": {

pnpm-workspace.yaml

@@ -37,7 +37,7 @@ catalog:
   "@effect/platform-node-shared": 4.0.0-beta.103
   "@effect/sql-pg": 4.0.0-beta.103
   "@effect/sql-sqlite-bun": 4.0.0-beta.103
-  "@effect/tsgo": 0.13.2
+  "@effect/tsgo": 0.41.0
   "@effect/vitest": 4.0.0-beta.103
   "@legendapp/list": 3.3.5
   "@noble/curves": 1.9.1
@@ -47,12 +47,11 @@ catalog:
   "@tailwindcss/oxide": 4.3.3
   "@tailwindcss/vite": 4.3.3
   "@types/node": 24.12.4
-  "@typescript/native-preview": 7.0.0-dev.20260604.1
   effect: 4.0.0-beta.103
   jose: 6.2.2
   lightningcss: 1.33.0
   tailwindcss: 4.3.3
-  typescript: ~6.0.3
+  typescript: 7.0.2
   vite: npm:@voidzero-dev/vite-plus-core@0.3.0
   vite-plus: 0.3.0
   yaml: ^2.9.0
@@ -94,6 +93,8 @@ minimumReleaseAgeExclude:
   - "@anthropic-ai/claude-agent-sdk@0.3.260"
 
 overrides:
+  # Earlier React Navigation declarations create a circular type alias in TypeScript 7.
+  "@react-navigation/core": 7.21.13
   # The dbus-next patch drops usocket from the package, but pnpm resolves from the
   # registry manifest, so the edge has to be cut here as well.
   "dbus-next>usocket": "-"

scripts/knip-schemas.ts

@@ -1,7 +1,8 @@
 // @effect-diagnostics nodeBuiltinImport:off - Knip and the TypeScript compiler host use synchronous Node paths.
 import * as NodePath from "node:path";
 import type { Preprocessor } from "knip";
-import ts from "typescript";
+// Knip needs the legacy compiler API, which TypeScript 7 no longer exports.
+import ts from "typescript-legacy";
 
 // Effect 4 schemas carry this marker, including aliases and Schema.Class constructors.
 // Checking the type avoids evaluating application modules or exempting schema factories/decoders.

scripts/package.json

@@ -3,7 +3,7 @@
   "private": true,
   "type": "module",
   "scripts": {
-    "typecheck": "tsgo --noEmit",
+    "typecheck": "tsc --noEmit",
     "test": "vp test run"
   },
   "dependencies": {
@@ -20,6 +20,7 @@
     "@effect/vitest": "catalog:",
     "@types/pngjs": "6.0.5",
     "typescript": "catalog:",
+    "typescript-legacy": "npm:typescript@~6.0.3",
     "vite-plus": "catalog:"
   }
 }