@supatype/cli 0.1.0-alpha.6 → 0.1.0-alpha.8

package/src/commands/dev.ts

@@ -1,477 +1,1005 @@
+/**
+ * supatype dev — start local Postgres, apply schema, run supatype-server.
+ *
+ * Runtime provider (top-level `provider` or legacy `database.provider`):
+ *   native — host Postgres + host server + host engine (default)
+ *   docker — full self-host Compose stack (Kong :18473); see dev-compose.ts
+ *
+ * Edge functions (when a functions/ dir exists): Deno is resolved from the CDN cache
+ * (auto-download on miss). Self-host/cloud Docker stacks use supatype-server in-container;
+ * Deno is not provisioned by the CLI on those paths.
+ */
+
 import type { Command } from "commander"
-import { spawnSync, spawn, type ChildProcess } from "node:child_process"
+import { spawnSync } from "node:child_process"
 import { existsSync, mkdirSync, readFileSync, writeFileSync } from "node:fs"
-import { resolve } from "node:path"
+import { homedir } from "node:os"
+import { isAbsolute, join, relative, resolve } from "node:path"
 import { loadConfig } from "../config.js"
-import { ensureEngine, invokeEngine } from "../engine.js"
-
-const POSTGREST_URL = "http://localhost:3000"
-const HEALTH_TIMEOUT_MS = 60_000
-const HEALTH_POLL_MS = 2_000
+import {
+  functionsPathCandidatesFromProject,
+  resolveRuntimeProvider,
+  schemaPathFromProject,
+  type SupatypeProjectConfig,
+} from "../project-config.js"
+import { discoverTsFunctionsInDir, writeDevFunctionsRouter } from "../functions-router-gen.js"
+import { signJwt } from "../jwt.js"
+import {
+  normalisePlatformPath,
+  cachePath,
+  currentPlatform,
+  hasMeaningfulOverrides,
+  describeActiveOverrides,
+  postgresArchiveTag,
+} from "../binary-cache.js"
+import { ensureBinary } from "../ensure-binary.js"
+import { startProxyDevApp } from "../app/proxy-dev-app.js"
+import { ProcessManager } from "../process-manager.js"
+import { startStudioViteDevServer } from "../studio-dev-server.js"
+import { localStorageEnv } from "../local-storage.js"
+import {
+  initdb,
+  start as pgStart,
+  stop as pgStop,
+  waitReady as pgWaitReady,
+  isPortInUse,
+  pgSpawnEnv,
+} from "../postgres-ctl.js"
+/** Map `email.smtp` from supatype.config.ts into GOTRUE_SMTP_* for the embedded GoTrue process. */
+function gotrueSMTPFromEmailConfig(email: SupatypeProjectConfig["email"] | undefined): Record<string, string> {
+  const s = email?.smtp
+  if (!s) return {}
+  const out: Record<string, string> = {}
+  const host = s.host?.trim()
+  if (host) out.GOTRUE_SMTP_HOST = host
+  if (s.port !== undefined) out.GOTRUE_SMTP_PORT = String(s.port)
+  const user = s.user?.trim()
+  if (user) out.GOTRUE_SMTP_USER = user
+  if (s.pass !== undefined && s.pass !== "") out.GOTRUE_SMTP_PASS = s.pass
+  const admin = s.admin_email?.trim()
+  if (admin) out.GOTRUE_SMTP_ADMIN_EMAIL = admin
+  const sender = s.sender_name?.trim()
+  if (sender) out.GOTRUE_SMTP_SENDER_NAME = sender
+  return out
+}
 
 export function registerDev(program: Command): void {
   program
     .command("dev")
-    .description(
-      "Start local Postgres, PostgREST, and Kong via Docker Compose, then watch for schema changes",
-    )
+    .description("Start local Postgres, apply schema, and run supatype-server")
     .option("--no-watch", "Start services but do not watch for schema changes")
-    .option("--local", "Run storage, realtime, and studio from source (monorepo dev)")
-    .action(async (opts: { watch: boolean; local: boolean }) => {
+    .option("--port <port>", "Port for supatype-server (overrides config)", String)
+    .action(async (opts: { watch: boolean; port?: string }) => {
       const cwd = process.cwd()
 
-      // Generate .env with local defaults if missing
-      ensureDevEnv(cwd)
-
-      if (opts.local) {
-        // Monorepo dev — generate an infra-only compose if needed, then start
-        const composePath = resolve(cwd, "docker-compose.yml")
-        if (!existsSync(composePath)) {
-          ensureInfraCompose(cwd)
+      // ── 1. Load project config ─────────────────────────────────────────────
+      const config = loadConfig(cwd)
+      if (hasMeaningfulOverrides(config)) {
+        console.warn("[supatype] Local binary overrides active:")
+        for (const line of describeActiveOverrides(config)) {
+          console.warn(line)
         }
-        console.log("Starting infra services...")
-        const up = spawnSync(
-          "docker",
-          ["compose", "up", "-d", "--wait", "db", "pgbouncer", "gotrue", "postgrest", "minio", "kong"],
-          { cwd, stdio: "inherit" },
+        console.warn("")
+      }
+      const projectName = config.project.name
+      const serverPort = opts.port ?? String(config.server.port ?? 54321)
+      const postgrestPort = String(config.server.postgrestPort ?? 3001)
+      const provider = resolveRuntimeProvider(config)
+
+      if (provider === "docker") {
+        const { runDevCompose } = await import("../dev-compose.js")
+        await runDevCompose(cwd, config, { watch: opts.watch !== false })
+        return
+      }
+
+      // ── 2. Resolve engine + server binaries ──────────────────────────────
+      console.log(`[supatype] Resolving component binaries for "${projectName}"...`)
+      const [engineBin, serverBin] = await Promise.all([
+        ensureBinary("engine", config),
+        ensureBinary("server", config),
+      ])
+
+      // ── 3. Per-project state directories ─────────────────────────────────
+      const stateRoot = join(homedir(), ".supatype", "projects", projectName)
+      const pidDir = join(stateRoot, "pid")
+      const logsDir = join(stateRoot, "logs")
+      const tmpDir = join(stateRoot, "tmp")
+
+      for (const d of [pidDir, logsDir, tmpDir]) {
+        mkdirSync(d, { recursive: true })
+      }
+
+      // ── 4. Port collision check ───────────────────────────────────────────
+      const pgPort = 5432
+      if (await isPortInUse(pgPort)) {
+        console.error(
+          `[supatype] Port ${pgPort} is already in use. Another Postgres instance may be running.\n` +
+            `  Check: lsof -i :${pgPort}`,
+        )
+        process.exit(1)
+      }
+      if (await isPortInUse(Number(serverPort))) {
+        console.error(
+          `[supatype] Port ${serverPort} is already in use. Another supatype-server may be running.\n` +
+            `  Check: lsof -i :${serverPort}`,
         )
-        if (up.status !== 0) {
-          console.error("docker compose up failed.")
-          process.exit(1)
+        process.exit(1)
+      }
+      if (await isPortInUse(Number(postgrestPort))) {
+        console.error(
+          `[supatype] Port ${postgrestPort} is already in use. Another service may be running.\n` +
+            `  Check: lsof -i :${postgrestPort}`,
+        )
+        process.exit(1)
+      }
+
+      // ── 5–7. Start Postgres ───────────────────────────────────────────────
+      let dbURL: string
+      let stopPostgres: () => void | Promise<void>
+      const pgPassword = "postgres"
+      // pgBinDir is set on the native path and used to add DLL search path for
+      // PostgREST on Windows (PostgREST links against libpq + SSL from MinGW).
+      let pgBinDir: string | null = null
+
+      {
+        // native — resolve pg bin dir and manage with pg_ctl
+        pgBinDir = await resolvePgBinDir(config)
+        const dataDir = config.database.data_dir ?? join(stateRoot, "data")
+        mkdirSync(dataDir, { recursive: true })
+        const pgOpts = { pgBinDir, dataDir, port: pgPort, logPath: join(logsDir, "postgres.log") }
+
+        console.log("[supatype] Initialising Postgres data directory...")
+        initdb(pgOpts)
+        console.log("[supatype] Starting Postgres...")
+        pgStart(pgOpts)
+        await pgWaitReady(pgOpts, 15_000)
+        console.log("[supatype] Postgres is ready.")
+        dbURL = `postgres://postgres:postgres@127.0.0.1:${pgPort}/${projectName}?sslmode=disable`
+        stopPostgres = () => pgStop(pgOpts)
+
+        // Create project database if it doesn't exist (native only).
+        const psqlBin    = join(pgBinDir, process.platform === "win32" ? "psql.exe"    : "psql")
+        const createdbBin = join(pgBinDir, process.platform === "win32" ? "createdb.exe" : "createdb")
+        const pgConnArgs = ["-h", "127.0.0.1", "-p", String(pgPort), "-U", "postgres"]
+        const pgEnv = pgSpawnEnv(pgBinDir)
+        const createDbResult = spawnSync(
+          createdbBin,
+          [...pgConnArgs, projectName],
+          { stdio: "pipe", encoding: "utf8", env: pgEnv },
+        )
+        if (createDbResult.status !== 0) {
+          const stderr = createDbResult.stderr ?? ""
+          if (!stderr.includes("already exists")) {
+            throw new Error(`Failed to create database "${projectName}": ${stderr}`)
+          }
+        } else {
+          console.log(`[supatype] Created database "${projectName}".`)
         }
-      } else {
-        if (!existsSync(resolve(cwd, "docker-compose.yml"))) {
-          console.error(
-            "docker-compose.yml not found. Run: supatype init",
+
+        // Create roles required by PostgREST and grant them to postgres so
+        // PostgREST can SET ROLE when processing requests.
+        //   anon          – unauthenticated requests (RLS enforced)
+        //   authenticated – signed-in user requests  (RLS enforced)
+        //   service_role  – developer/admin bypass   (BYPASSRLS)
+        const rolesSql = `
+CREATE SCHEMA IF NOT EXISTS auth;
+DO $$ BEGIN
+  IF NOT EXISTS (SELECT FROM pg_roles WHERE rolname = 'anon')
+    THEN CREATE ROLE anon NOLOGIN; END IF;
+  IF NOT EXISTS (SELECT FROM pg_roles WHERE rolname = 'authenticated')
+    THEN CREATE ROLE authenticated NOLOGIN; END IF;
+  IF NOT EXISTS (SELECT FROM pg_roles WHERE rolname = 'service_role')
+    THEN CREATE ROLE service_role NOLOGIN BYPASSRLS; END IF;
+END $$;
+GRANT anon, authenticated, service_role TO postgres;
+GRANT USAGE ON SCHEMA public TO anon, authenticated, service_role;
+-- Table-level privileges (RLS restricts rows; roles still need table access)
+GRANT SELECT ON ALL TABLES IN SCHEMA public TO anon;
+GRANT SELECT, INSERT, UPDATE, DELETE ON ALL TABLES IN SCHEMA public TO authenticated;
+GRANT ALL ON ALL TABLES IN SCHEMA public TO service_role;
+GRANT ALL ON ALL SEQUENCES IN SCHEMA public TO authenticated, service_role;
+-- Default privileges so tables created by the engine push inherit these grants
+ALTER DEFAULT PRIVILEGES IN SCHEMA public GRANT SELECT ON TABLES TO anon;
+ALTER DEFAULT PRIVILEGES IN SCHEMA public GRANT SELECT, INSERT, UPDATE, DELETE ON TABLES TO authenticated;
+ALTER DEFAULT PRIVILEGES IN SCHEMA public GRANT ALL ON TABLES TO service_role;
+ALTER DEFAULT PRIVILEGES IN SCHEMA public GRANT ALL ON SEQUENCES TO authenticated, service_role;
+`
+        spawnSync(psqlBin, [...pgConnArgs, "-d", projectName, "-c", rolesSql],
+          { stdio: "pipe", encoding: "utf8", env: pgEnv })
+      }
+
+      const LOCAL_JWT_SECRET = "super-secret-jwt-token-with-at-least-32-characters-long"
+      const authDbURL = dbURL.includes("?")
+        ? `${dbURL}&search_path=auth`
+        : `${dbURL}?search_path=auth`
+
+      // ── 8. GoTrue migrations (auth.users before engine studio SQL) ─────────
+      console.log("[supatype] Running GoTrue migrations...")
+      const migrateEnv = gotrueMigrateEnv(serverPort, dbURL, LOCAL_JWT_SECRET)
+      runGotrueMigrations(serverBin, migrateEnv)
+
+      // ── 9. Engine: apply schema ───────────────────────────────────────────
+      const schemaPath = schemaPathFromProject(config, cwd)
+      const supatypeDir = join(cwd, ".supatype")
+      const manifestPath = join(supatypeDir, "manifest.json")
+      const adminConfigPath = join(supatypeDir, "admin-config.json")
+      mkdirSync(supatypeDir, { recursive: true })
+
+      const localStoragePath = config.storage?.provider !== "s3" ? join(stateRoot, "storage") : undefined
+      // Native Postgres builds don't include PostGIS — skip geo fields rather than failing.
+      const skipFieldKinds: ReadonlySet<string> = new Set(["geo", "vector"])
+
+      await runSchemaPush(cwd, engineBin, schemaPath, dbURL, manifestPath, adminConfigPath, localStoragePath, skipFieldKinds, config).catch(
+        (e: unknown) => console.error("[supatype] Initial schema push failed:", (e as Error).message),
+      )
+
+      // ── 10. Spawn supatype-server ─────────────────────────────────────────
+
+      // Resolve edge functions config: only enable Deno if a functions dir exists.
+      const functionsDir = functionsPathCandidatesFromProject(config, cwd).find(dir => existsSync(dir))
+      const hasFunctionsDir = functionsDir !== undefined
+      /** Always set when a functions dir exists so Studio admin API can list functions; Deno runtime is separate. */
+      const denoFunctionsDir = hasFunctionsDir ? functionsDir : ""
+      const functionRoutes = hasFunctionsDir && functionsDir !== undefined
+        ? discoverTsFunctionsInDir(functionsDir)
+        : []
+      const denoServeScriptAbs = hasFunctionsDir && functionsDir !== undefined
+        ? (writeDevFunctionsRouter(cwd, functionsDir, functionRoutes) ?? "")
+        : ""
+
+      let denoBinPath: string | undefined
+      if (hasFunctionsDir) {
+        console.log(`[supatype] Edge functions enabled (${functionsDir})`)
+        try {
+          denoBinPath = await ensureBinary("deno", config)
+          console.log(`[supatype] Deno runtime: ${denoBinPath} (v${config.versions.deno})`)
+          if (functionRoutes.length > 0) {
+            console.log(
+              `[supatype] Edge functions router: ${relative(cwd, denoServeScriptAbs) || ".supatype/functions-router.ts"} ` +
+                `(${functionRoutes.length} function(s): ${functionRoutes.map(fn => fn.name).join(", ")})`,
+            )
+          } else {
+            console.log("[supatype] Edge functions router not generated (no handler files discovered yet)")
+          }
+        } catch (err) {
+          console.warn(
+            `[supatype] ⚠  Found ${functionsDir} but could not provision Deno v${config.versions.deno} — edge functions will not run.\n` +
+              `  ${(err as Error).message}\n` +
+              "  (Functions still appear in Studio; invocations need Deno.)",
           )
-          process.exit(1)
-        }
-        console.log("Starting services...")
-        const up = spawnSync(
-          "docker",
-          ["compose", "up", "-d", "--wait"],
-          { cwd, stdio: "inherit" },
-        )
-        if (up.status !== 0) {
-          console.error("docker compose up failed.")
-          process.exit(1)
         }
       }
 
-      console.log("Waiting for PostgREST to be ready...")
-      await waitForPostgREST()
+      // Matches GOTRUE_HOOK_SEND_EMAIL_SECRETS symmetric format (dev only). Override via .env.
+      const LOCAL_SEND_EMAIL_HOOK_SECRETS =
+        "v1,whsec_abcdefghijklmnopqrstuvwxyz01234567"
+      const now = Math.floor(Date.now() / 1000)
+      const jwtBase = { iss: "supatype", iat: now, exp: now + 315_360_000 }
+      const anonKey        = signJwt({ ...jwtBase, role: "anon" },         LOCAL_JWT_SECRET)
+      const serviceRoleKey = signJwt({ ...jwtBase, role: "service_role" }, LOCAL_JWT_SECRET)
+
+
+      const emailProvider = config.email?.provider ?? "console"
+      const gotrueMailerProvider =
+        emailProvider === "console"
+          ? "console"
+          : emailProvider === "resend"
+            ? "resend"
+            : emailProvider === "ses"
+              ? "ses"
+              : "smtp"
+
+      const serverEnv: Record<string, string> = {
+        // supatype-server outer layer
+        SUPATYPE_MODE: config.server.mode ?? "dev",
+        SUPATYPE_MANIFEST_PATH: manifestPath,
+        SUPATYPE_ADMIN_CONFIG_PATH: adminConfigPath,
+        SUPATYPE_POSTGREST_URL: `http://127.0.0.1:${postgrestPort}`,
+        SUPATYPE_DENO_FUNCTIONS_DIR: denoFunctionsDir,
+        ...(denoFunctionsDir !== "" ? { SUPATYPE_SHARED_ENV_FILE: resolve(denoFunctionsDir, ".env.local") } : {}),
+        ...(denoBinPath !== undefined ? { SUPATYPE_DENO_PATH: denoBinPath } : {}),
+        ...(denoServeScriptAbs !== ""
+          ? { SUPATYPE_DENO_SERVE_SCRIPT: denoServeScriptAbs }
+          : {}),
+        SUPATYPE_URL: `http://localhost:${serverPort}`,
+        SUPATYPE_ANON_KEY: anonKey,
+        SUPATYPE_SERVICE_ROLE_KEY: serviceRoleKey,
+        PORT: serverPort,
+        SUPATYPE_APP_MODE: config.app.mode ?? "none",
+        ...(config.app.mode === "static" && config.app.static_dir?.trim()
+          ? { SUPATYPE_APP_STATIC_DIR: resolve(cwd, config.app.static_dir.trim()) }
+          : {}),
+        ...(config.app.mode === "proxy" && config.app.upstream?.trim()
+          ? { SUPATYPE_APP_UPSTREAM: config.app.upstream.trim() }
+          : {}),
+        ...(config.app.vite_dev_url !== undefined && config.app.vite_dev_url.trim() !== ""
+          ? { SUPATYPE_VITE_DEV_URL: config.app.vite_dev_url.trim() }
+          : {}),
+        // GoTrue required fields (sensible local-dev defaults)
+        GOTRUE_DB_DATABASE_URL: authDbURL,
+        DATABASE_URL: authDbURL,
+        SUPATYPE_SQL_DATABASE_URL: dbURL,
+        PGSSLMODE: "disable",
+        GOTRUE_DB_NAMESPACE: "auth",
+        GOTRUE_DB_DRIVER: "postgres",
+        GOTRUE_JWT_SECRET: LOCAL_JWT_SECRET,
+        GOTRUE_JWT_EXP: "3600",
+        GOTRUE_JWT_AUD: "authenticated",
+        GOTRUE_JWT_ADMIN_ROLES: "supatype_admin,service_role",
+        API_EXTERNAL_URL: `http://localhost:${serverPort}/auth/v1`,
+        GOTRUE_API_HOST: "localhost",
+        GOTRUE_SITE_URL: `http://localhost:${serverPort}`,
+        GOTRUE_MAILER_MAILER_PROVIDER: gotrueMailerProvider,
+        GOTRUE_MAILER_AUTOCONFIRM: "true",
+        GOTRUE_LOG_LEVEL: "info",
+        GOTRUE_DISABLE_SIGNUP: "false",
+        ...(config.email?.resend_api_key !== undefined && config.email.resend_api_key !== ""
+          ? { RESEND_API_KEY: config.email.resend_api_key }
+          : {}),
+        ...(gotrueMailerProvider === "resend" &&
+        config.email?.resend_from !== undefined &&
+        config.email.resend_from.trim() !== ""
+          ? { RESEND_FROM: config.email.resend_from.trim() }
+          : {}),
+        ...(gotrueMailerProvider === "ses" &&
+        config.email?.ses_from !== undefined &&
+        config.email.ses_from.trim() !== ""
+          ? { SES_FROM: config.email.ses_from.trim() }
+          : {}),
+        ...(gotrueMailerProvider === "smtp" ? gotrueSMTPFromEmailConfig(config.email) : {}),
+        ...(config.email?.send_email_hook === true
+          ? {
+              GOTRUE_HOOK_SEND_EMAIL_ENABLED: "true",
+              GOTRUE_HOOK_SEND_EMAIL_URI:
+                config.email?.send_email_hook_uri !== undefined &&
+                config.email.send_email_hook_uri.trim() !== ""
+                  ? config.email.send_email_hook_uri.trim()
+                  : `http://127.0.0.1:${serverPort}/internal/v0hooks/send-email`,
+              GOTRUE_HOOK_SEND_EMAIL_SECRETS:
+                config.email?.send_email_hook_secrets !== undefined &&
+                config.email.send_email_hook_secrets.trim() !== ""
+                  ? config.email.send_email_hook_secrets.trim()
+                  : LOCAL_SEND_EMAIL_HOOK_SECRETS,
+            }
+          : {}),
+        ...(config.storage?.provider !== "s3" ? localStorageEnv(stateRoot) : {}),
+        ...loadDotEnv(cwd),
+      }
 
-      const children: ChildProcess[] = []
+      const serverProc = new ProcessManager(serverBin, [], {
+        label: "server",
+        pidDir,
+        colour: "\x1b[32m",
+        env: serverEnv,
+      })
+      serverProc.start()
+
+      // ── 9b. PostgREST ────────────────────────────────────────────────────
+      let postgrestProc: ProcessManager | null = null
+      const postgrestBin = await resolvePostgrestBin(config.overrides?.postgrest)
+      if (postgrestBin) {
+        // Windows PostgREST builds are dynamically linked and require libpq/OpenSSL
+        // DLLs from a Postgres bin directory, even when the database runs in Docker.
+        let postgrestRuntimeBinDir = pgBinDir
+        if (process.platform === "win32" && postgrestRuntimeBinDir === null) {
+          try {
+            postgrestRuntimeBinDir = await resolvePgBinDir(config)
+          } catch (error) {
+            console.warn(
+              `[supatype] ⚠  Could not resolve Postgres runtime DLL directory for PostgREST: ${(error as Error).message}\n` +
+                "  PostgREST may fail to start on Windows until Postgres binaries are available locally.",
+            )
+          }
+        }
 
-      if (opts.local) {
-        console.log("\nStarting local services from source...")
-        children.push(
-          ...startLocalServices(cwd),
+        const postgrestEnv: Record<string, string> = {
+          PGRST_DB_URI: dbURL,
+          PGRST_DB_SCHEMA: "public, supatype, graphql_public",
+          PGRST_DB_ANON_ROLE: "anon",
+          PGRST_SERVER_PORT: postgrestPort,
+          PGRST_SERVER_HOST: "127.0.0.1",
+          PGRST_JWT_SECRET: serverEnv["GOTRUE_JWT_SECRET"] ?? "",
+          PGRST_LOG_LEVEL: "warn",
+          // On Windows, PostgREST (MinGW/GHC binary) needs libpq.dll and
+          // OpenSSL DLLs. Prepend a Postgres bin dir which bundles these
+          // runtime dependencies.
+          ...(process.platform === "win32" && postgrestRuntimeBinDir !== null
+            ? { PATH: `${postgrestRuntimeBinDir};${process.env["PATH"] ?? ""}` }
+            : {}),
+        }
+
+        const preflight = spawnSync(
+          postgrestBin,
+          ["--help"],
+          { env: { ...process.env, ...postgrestEnv }, stdio: "pipe", encoding: "utf8" },
         )
+        if (preflight.status !== 0) {
+          const detail = (preflight.stderr || preflight.stdout || "").trim()
+          console.warn(
+            `[supatype] ⚠  PostgREST failed preflight (exit ${preflight.status}). ` +
+              "Skipping /rest/v1 startup to avoid crash loop.",
+          )
+          if (detail) {
+            console.warn(`[supatype] PostgREST preflight output:\n${detail}`)
+          }
+        } else {
+        postgrestProc = new ProcessManager(postgrestBin, [], {
+          label: "postgrest",
+          pidDir,
+          colour: "\x1b[36m",
+          env: postgrestEnv,
+        })
+        postgrestProc.start()
+        }
       }
 
-      console.log("\nServices running:")
-      console.log("  Postgres    postgresql://localhost:5432")
-      console.log("  PostgREST   http://localhost:3000")
-      console.log("  Kong        http://localhost:8000")
-      console.log("    REST API  http://localhost:8000/rest/v1/")
-      console.log("    GraphQL   http://localhost:8000/graphql/v1")
-      if (opts.local) {
-        console.log("  Storage     http://localhost:5000  (from source)")
-        console.log("  Realtime    http://localhost:4000  (from source)")
-        console.log("  Studio      http://localhost:3002  (from source)")
+      // ── 9d. Studio (optional) ─────────────────────────────────────────────
+      const studioPort = 3002
+      let studioProc: ProcessManager | null = null
+
+      const studioOverride = config.overrides?.studio
+      if (studioOverride) {
+        studioProc = startStudioViteDevServer({
+          cwd,
+          studioOverride,
+          pidDir,
+          serviceRoleKey,
+          proxyTarget: `http://localhost:${serverPort}`,
+          viteSupatypeUrl: `http://localhost:${studioPort}`,
+        })
+        studioProc?.start()
       }
-      console.log()
 
-      // Clean shutdown on Ctrl+C
-      const cleanup = () => {
-        for (const child of children) {
-          child.kill()
-        }
+      const appProc = startProxyDevApp(cwd, config, pidDir)
+
+      // ── Print status ──────────────────────────────────────────────────────
+      console.log(`
+[supatype] Services running:
+  Postgres         ${dbURL}
+  supatype-server  http://localhost:${serverPort}
+    REST API       http://localhost:${serverPort}/rest/v1/
+    Auth           http://localhost:${serverPort}/auth/v1/
+    Storage        http://localhost:${serverPort}/storage/v1/
+    Realtime       ws://localhost:${serverPort}/realtime/v1/${studioProc ? `\n  Studio           http://localhost:${studioPort}` : ""}
+
+  API keys (local dev only):
+    anon key       ${anonKey}
+    service_role   ${serviceRoleKey}
+
+  JWT secret: ${LOCAL_JWT_SECRET}
+
+  Press Ctrl+C to stop.
+`)
+
+
+      // ── Shutdown handler ──────────────────────────────────────────────────
+      const cleanup = async () => {
+        console.log("\n[supatype] Shutting down...")
+        await Promise.all([
+          serverProc.stop(),
+          postgrestProc?.stop(),
+          studioProc?.stop(),
+          appProc?.stop(),
+        ])
+        await stopPostgres()
         process.exit(0)
       }
-      process.on("SIGINT", cleanup)
-      process.on("SIGTERM", cleanup)
+      process.once("SIGINT", cleanup)
+      process.once("SIGTERM", cleanup)
 
+      // ── 10. Schema watch ──────────────────────────────────────────────────
       if (opts.watch) {
-        await watchAndPush(cwd)
+        const schemaDir = resolve(cwd, schemaPath, "..")
+        console.log(`[supatype] Watching ${schemaDir} for changes...`)
+
+        const { watch } = await import("node:fs")
+        // Debounce: Windows fs.watch fires multiple events per save.
+        // Wait 300 ms after the last event before pushing.
+        let debounceTimer: ReturnType<typeof setTimeout> | null = null
+        watch(schemaDir, { recursive: true }, (_eventType, filename) => {
+          if (!filename?.endsWith(".ts")) return
+          if (debounceTimer) clearTimeout(debounceTimer)
+          debounceTimer = setTimeout(() => {
+            debounceTimer = null
+            console.log(`\n[supatype] Change detected in ${filename}, checking schema...`)
+            runSchemaPush(cwd, engineBin, schemaPath, dbURL, manifestPath, adminConfigPath, localStoragePath, skipFieldKinds, config).catch((e: unknown) =>
+              console.error("[supatype] Schema push failed:", (e as Error).message),
+            )
+          }, 300)
+        })
       }
+
+      // Block until killed.
+      await new Promise<never>(() => undefined)
     })
 }
 
-function ensureInfraCompose(cwd: string): void {
-  const projectName = resolve(cwd).split(/[\\/]/).pop() ?? "supatype"
-  const content = `# Generated by supatype dev --local — infra services only
-services:
-  db:
-    image: supatype/postgres:17-latest
-    environment:
-      POSTGRES_PASSWORD: \${POSTGRES_PASSWORD:-postgres}
-      POSTGRES_DB: \${POSTGRES_DB:-${projectName}}
-    ports:
-      - "5432:5432"
-    volumes:
-      - db-data:/var/lib/postgresql/data
-    healthcheck:
-      test: ["CMD-SHELL", "pg_isready -U postgres"]
-      interval: 5s
-      timeout: 5s
-      retries: 20
-
-  pgbouncer:
-    image: pgbouncer/pgbouncer:latest
-    volumes:
-      - ./.supatype/pgbouncer.ini:/etc/pgbouncer/pgbouncer.ini:ro
-      - ./.supatype/userlist.txt:/etc/pgbouncer/userlist.txt:ro
-    depends_on:
-      db:
-        condition: service_healthy
-    healthcheck:
-      test: ["CMD", "pg_isready", "-h", "localhost", "-p", "6432", "-U", "postgres"]
-      interval: 5s
-      timeout: 5s
-      retries: 10
-
-  gotrue:
-    image: supatype/auth:v1.0.0
-    environment:
-      GOTRUE_API_HOST: 0.0.0.0
-      GOTRUE_API_PORT: 9999
-      GOTRUE_DB_DRIVER: postgres
-      GOTRUE_DB_DATABASE_URL: "postgres://postgres:\${POSTGRES_PASSWORD:-postgres}@pgbouncer:6432/\${POSTGRES_DB:-${projectName}}?search_path=auth"
-      GOTRUE_SITE_URL: \${SITE_URL:-http://localhost:3000}
-      GOTRUE_JWT_SECRET: \${JWT_SECRET:-super-secret-jwt-token-change-in-production}
-      GOTRUE_JWT_EXP: 3600
-      GOTRUE_JWT_AUD: authenticated
-      GOTRUE_JWT_DEFAULT_GROUP_NAME: authenticated
-      GOTRUE_JWT_ADMIN_ROLES: service_role
-      GOTRUE_MAILER_AUTOCONFIRM: \${GOTRUE_MAILER_AUTOCONFIRM:-true}
-      GOTRUE_DISABLE_SIGNUP: \${DISABLE_SIGNUP:-false}
-    ports:
-      - "9999:9999"
-    depends_on:
-      pgbouncer:
-        condition: service_healthy
-
-  postgrest:
-    image: postgrest/postgrest:v12.2.8
-    environment:
-      PGRST_DB_URI: postgresql://authenticator:\${POSTGRES_PASSWORD:-postgres}@pgbouncer:6432/\${POSTGRES_DB:-${projectName}}
-      PGRST_DB_SCHEMA: public
-      PGRST_DB_ANON_ROLE: anon
-      PGRST_JWT_SECRET: \${JWT_SECRET:-super-secret-jwt-token-change-in-production}
-      PGRST_DB_EXTRA_SEARCH_PATH: public,extensions
-      PGRST_DB_POOL: 3
-    ports:
-      - "3000:3000"
-    depends_on:
-      pgbouncer:
-        condition: service_healthy
-
-  minio:
-    image: minio/minio:RELEASE.2024-11-07T00-52-20Z
-    command: server /data --console-address ":9001"
-    environment:
-      MINIO_ROOT_USER: supatype
-      MINIO_ROOT_PASSWORD: supatype-secret
-    ports:
-      - "9000:9000"
-      - "9001:9001"
-    volumes:
-      - minio-data:/data
-    healthcheck:
-      test: ["CMD", "mc", "ready", "local"]
-      interval: 5s
-      timeout: 5s
-      retries: 10
-
-  kong:
-    image: kong:3.6
-    environment:
-      KONG_DATABASE: "off"
-      KONG_DECLARATIVE_CONFIG: /etc/kong/kong.yml
-      KONG_PROXY_ACCESS_LOG: /dev/stdout
-      KONG_ADMIN_ACCESS_LOG: /dev/stdout
-      KONG_PROXY_ERROR_LOG: /dev/stderr
-      KONG_ADMIN_ERROR_LOG: /dev/stderr
-    volumes:
-      - ./.supatype/kong.yml:/etc/kong/kong.yml:ro
-    ports:
-      - "8000:8000"
-    depends_on:
-      - postgrest
-      - gotrue
-
-volumes:
-  db-data:
-  minio-data:
-`
-  writeFileSync(resolve(cwd, "docker-compose.yml"), content, "utf8")
-  console.log("  created  docker-compose.yml (infra only)\n")
-
-  // Also ensure pgbouncer config exists
-  const supatypeDir = resolve(cwd, ".supatype")
-  mkdirSync(supatypeDir, { recursive: true })
-
-  if (!existsSync(resolve(supatypeDir, "pgbouncer.ini"))) {
-    writeFileSync(resolve(supatypeDir, "pgbouncer.ini"), `[databases]
-* = host=db port=5432
-
-[pgbouncer]
-listen_addr = 0.0.0.0
-listen_port = 6432
-auth_type = trust
-auth_file = /etc/pgbouncer/userlist.txt
-pool_mode = transaction
-default_pool_size = 20
-max_db_connections = 60
-max_client_conn = 100
-server_reset_query = DEALLOCATE ALL
-ignore_startup_parameters = extra_float_digits
-`, "utf8")
+// ---------------------------------------------------------------------------
+// Schema push (engine subprocess)
+// ---------------------------------------------------------------------------
+
+// Last successfully-pushed AST JSON — used to skip no-op re-fires.
+let _lastPushedAst: string | null = null
+// AST that failed on its last attempt — always retried even if content is unchanged.
+let _lastFailedAst: string | null = null
+
+async function runSchemaPush(
+  cwd: string,
+  engineBin: string,
+  schemaPath: string,
+  dbURL: string,
+  manifestPath: string,
+  adminConfigPath?: string,
+  storagePath?: string,
+  skipFieldKinds?: ReadonlySet<string>,
+  config?: import("../project-config.js").SupatypeProjectConfig,
+): Promise<void> {
+  // Build AST JSON from schema file.
+  const { loadSchemaAst } = await import("../config.js")
+  let ast = loadSchemaAst(schemaPath, cwd)
+
+  // Strip fields whose kind requires an unavailable Postgres extension.
+  if (skipFieldKinds && skipFieldKinds.size > 0) {
+    const { filtered, adapted } = adaptUnsupportedKinds(ast, skipFieldKinds)
+    ast = filtered
+    if (adapted.length > 0) {
+      console.warn(
+        `[supatype] ⚠  ${adapted.length} field(s) replaced with JSONB — required extensions not available:\n` +
+        adapted.map((s: string) => `    ${s}`).join("\n"),
+      )
+    }
+  }
+
+  const astJson = JSON.stringify(ast)
+
+  // Skip only when the last push of this exact AST succeeded.
+  // If it previously failed we always retry so the user can trigger a re-run
+  // by simply saving the file again without needing to make a content change.
+  if (astJson === _lastPushedAst && astJson !== _lastFailedAst) {
+    return
+  }
+
+  const astPath = join(cwd, ".supatype", "schema.ast.json")
+  writeFileSync(astPath, astJson)
+
+  // Push schema.
+  console.log("[supatype] Applying schema...")
+  const pushResult = spawnSync(
+    engineBin,
+    ["push", "-i", astPath, "--database-url", dbURL, "--force", "--non-interactive"],
+    { cwd, stdio: "inherit", encoding: "utf8" },
+  )
+  if (pushResult.status !== 0) {
+    _lastFailedAst = astJson
+    throw new Error(`Engine schema push failed (exit ${pushResult.status})`)
+  }
+  _lastPushedAst = astJson
+  _lastFailedAst = null
+
+  // Provision storage buckets declared in the schema.
+  if (storagePath) {
+    const parseResult = spawnSync(engineBin, ["parse", "-i", astPath], { cwd, stdio: "pipe", encoding: "utf8" })
+    if (parseResult.status === 0 && parseResult.stdout) {
+      try {
+        const resolvedAst = JSON.parse(parseResult.stdout) as {
+          storageBuckets?: Array<{
+            id: string
+            public: boolean
+            allowedMimeTypes?: string[]
+            fileSizeLimit?: number
+            accessMode?: string
+            s3BucketPolicy?: string | null
+          }>
+        }
+        if (resolvedAst.storageBuckets && resolvedAst.storageBuckets.length > 0) {
+          provisionStorageBuckets(resolvedAst.storageBuckets, storagePath)
+        }
+      } catch { /* ignore parse errors */ }
+    }
   }
 
-  if (!existsSync(resolve(supatypeDir, "userlist.txt"))) {
-    writeFileSync(resolve(supatypeDir, "userlist.txt"), "", "utf8")
+  // Generate manifest.
+  const genResult = spawnSync(
+    engineBin,
+    ["generate", "-i", astPath, "-o", manifestPath],
+    { cwd, stdio: "pipe", encoding: "utf8" },
+  )
+  if (genResult.status !== 0) {
+    console.warn("[supatype] Manifest generation failed — server routing may be stale.")
   }
 
-  if (!existsSync(resolve(supatypeDir, "kong.yml"))) {
-    writeFileSync(resolve(supatypeDir, "kong.yml"), `_format_version: "3.0"
-
-services:
-  - name: rest-v1
-    url: http://postgrest:3000
-    routes:
-      - name: rest-v1-all
-        strip_path: true
-        paths:
-          - /rest/v1/
-  - name: auth-v1
-    url: http://gotrue:9999
-    routes:
-      - name: auth-v1-all
-        strip_path: true
-        paths:
-          - /auth/v1/
-  - name: storage-v1
-    url: http://host.docker.internal:5000
-    routes:
-      - name: storage-v1-all
-        strip_path: true
-        paths:
-          - /storage/v1/
-  - name: realtime-v1
-    url: http://host.docker.internal:4000
-    routes:
-      - name: realtime-v1-all
-        strip_path: true
-        paths:
-          - /realtime/v1/
-        protocols:
-          - http
-          - https
-          - ws
-          - wss
-  - name: functions-v1
-    url: http://host.docker.internal:54321
-    routes:
-      - name: functions-v1-all
-        strip_path: false
-        paths:
-          - /functions/v1/
-  - name: studio
-    url: http://host.docker.internal:3002
-    routes:
-      - name: studio-all
-        strip_path: true
-        paths:
-          - /studio/
-`, "utf8")
+  // Generate admin config (for Studio). Engine writes to stdout.
+  if (adminConfigPath) {
+    const adminResult = spawnSync(
+      engineBin,
+      ["admin", "-i", astPath],
+      { cwd, stdio: "pipe", encoding: "utf8" },
+    )
+    if (adminResult.status === 0 && adminResult.stdout) {
+      const { withAdminRoles } = await import("../studio-admin-roles.js")
+      let admin: unknown
+      try {
+        admin = JSON.parse(adminResult.stdout) as unknown
+      } catch {
+        admin = adminResult.stdout
+      }
+      const merged = config ? withAdminRoles(admin, config) : admin
+      writeFileSync(adminConfigPath, `${JSON.stringify(merged, null, 2)}\n`)
+    }
   }
+
+  console.log("[supatype] Schema applied.")
 }
 
-function ensureDevEnv(cwd: string): void {
-  const envPath = resolve(cwd, ".env")
-  if (existsSync(envPath)) return
-
-  const projectName = resolve(cwd).split(/[\\/]/).pop() ?? "supatype"
-  const content = `# Generated by supatype dev — all defaults for local development
-DATABASE_URL=postgresql://postgres:postgres@localhost:5432/${projectName}
-POSTGRES_PASSWORD=postgres
-POSTGRES_DB=${projectName}
-
-JWT_SECRET=super-secret-jwt-token-change-in-production
-ANON_KEY=
-SERVICE_ROLE_KEY=
-
-SITE_URL=http://localhost:3000
-
-# Storage (MinIO)
-S3_ENDPOINT=http://localhost:9000
-S3_REGION=us-east-1
-S3_ACCESS_KEY=supatype
-S3_SECRET_KEY=supatype-secret
-S3_FORCE_PATH_STYLE=true
-
-# SMTP — leave empty for email autoconfirm in dev
-SMTP_HOST=
-SMTP_PORT=
-SMTP_USER=
-SMTP_PASS=
-`
-  writeFileSync(envPath, content, "utf8")
-  console.log("  created  .env (local dev defaults)\n")
+// ---------------------------------------------------------------------------
+// Storage bucket provisioning (local dev only)
+// ---------------------------------------------------------------------------
+
+function provisionStorageBuckets(
+  declared: Array<{
+    id: string
+    public: boolean
+    allowedMimeTypes?: string[]
+    fileSizeLimit?: number
+    accessMode?: string
+    s3BucketPolicy?: string | null
+  }>,
+  storagePath: string,
+): void {
+  const bucketsDir = join(storagePath, ".supatype")
+  const bucketsFile = join(bucketsDir, "buckets.json")
+  mkdirSync(bucketsDir, { recursive: true })
+
+  let existing: Array<Record<string, unknown>> = []
+  try {
+    existing = JSON.parse(readFileSync(bucketsFile, "utf8")) as Array<Record<string, unknown>>
+  } catch { /* file doesn't exist yet */ }
+
+  const existingIds = new Set(existing.map((b) => b["id"] as string))
+  let added = 0
+
+  for (const bucket of declared) {
+    if (existingIds.has(bucket.id)) continue
+    const now = new Date().toISOString()
+    existing.push({
+      id: bucket.id,
+      name: bucket.id,
+      public: bucket.public,
+      file_size_limit: bucket.fileSizeLimit ?? null,
+      allowed_mime_types: bucket.allowedMimeTypes ?? null,
+      access_mode:
+        bucket.accessMode ?? (bucket.public ? "public" : "private"),
+      s3_bucket_policy: bucket.s3BucketPolicy ?? null,
+      created_at: now,
+      updated_at: now,
+    })
+    mkdirSync(join(storagePath, bucket.id), { recursive: true })
+    added++
+  }
+
+  if (added > 0) {
+    writeFileSync(bucketsFile, JSON.stringify(existing, null, 2))
+    console.log(`[supatype] Storage: provisioned ${added} bucket(s).`)
+  }
 }
 
-function loadDotEnv(cwd: string): Record<string, string> {
-  const envPath = resolve(cwd, ".env")
-  if (!existsSync(envPath)) return {}
-  const vars: Record<string, string> = {}
-  for (const line of readFileSync(envPath, "utf8").split("\n")) {
-    const trimmed = line.trim()
-    if (!trimmed || trimmed.startsWith("#")) continue
-    const eq = trimmed.indexOf("=")
-    if (eq === -1) continue
-    const key = trimmed.slice(0, eq)
-    const value = trimmed.slice(eq + 1)
-    vars[key] = value
+// ---------------------------------------------------------------------------
+// Resolve Postgres bin dir
+// ---------------------------------------------------------------------------
+
+async function resolvePgBinDir(config: Awaited<ReturnType<typeof loadConfig>>): Promise<string> {
+  const override = config.overrides?.postgres_dir
+  if (override) {
+    // Normalize Git Bash (/c/Users/...) paths to Win32 form (C:\Users\...) on Windows.
+    const normalised = normalisePlatformPath(override)
+    const resolved = resolve(process.cwd(), normalised)
+    const binDir = join(resolved, "bin")
+    if (!existsSync(binDir)) {
+      throw new Error(`[overrides] postgres_dir does not contain a bin/ directory: ${resolved}`)
+    }
+    console.warn(`\u26a0  Using local Postgres build: ${resolved}`)
+    return binDir
   }
-  return vars
+
+  // Locate cached Postgres archive.
+  const { cachePath } = await import("../binary-cache.js")
+  const version = config.versions.postgres
+  const { currentPlatform } = await import("../binary-cache.js")
+  const platform = currentPlatform()
+
+  const pgCacheDir = cachePath("postgres", version)
+  const extractedDir = join(pgCacheDir, `pg-${version}`)
+
+  const pgCtlName = platform.os === "windows" ? "pg_ctl.exe" : "pg_ctl"
+  if (!existsSync(join(extractedDir, "bin", pgCtlName))) {
+    // Try to extract the cached archive.
+    await extractPostgresArchive(pgCacheDir, version, platform, extractedDir)
+  }
+
+  return join(extractedDir, "bin")
 }
 
-function localDevDefaults(cwd: string): Record<string, string> {
-  const projectName = resolve(cwd).split(/[\\/]/).pop() ?? "supatype"
-  // Known defaults that match docker-compose local dev setup
-  const defaults: Record<string, string> = {
-    DATABASE_URL: `postgresql://postgres:postgres@localhost:5432/${projectName}`,
-    POSTGRES_PASSWORD: "postgres",
-    POSTGRES_DB: projectName,
-    JWT_SECRET: "super-secret-jwt-token-change-in-production",
-    SITE_URL: "http://localhost:3000",
-    S3_ENDPOINT: "http://localhost:9000",
-    S3_REGION: "us-east-1",
-    S3_ACCESS_KEY: "supatype",
-    S3_SECRET_KEY: "supatype-secret",
-    S3_FORCE_PATH_STYLE: "true",
-    SLOT_NAME: "realtime_slot",
-    REPLICATION_POLL_INTERVAL: "100",
-    SECURE_CHANNELS: "true",
+async function extractPostgresArchive(
+  pgCacheDir: string,
+  version: string,
+  platform: { os: string; arch: string },
+  extractDir: string,
+): Promise<void> {
+  const ext = platform.os === "windows" ? ".zip" : ".tar.gz"
+  const archiveName = `supatype-pg-${postgresArchiveTag(version)}-${platform.os}-${platform.arch}${ext}`
+  const archivePath = join(pgCacheDir, archiveName)
+
+  if (!existsSync(archivePath)) {
+    throw new Error(
+      `Postgres ${version} archive not found. Run: supatype update`,
+    )
+  }
+
+  mkdirSync(extractDir, { recursive: true })
+
+  // On Windows, Git Bash tar is typically first in PATH and chokes on drive-letter
+  // paths (C:\...). Use PowerShell's Expand-Archive instead, which handles Windows
+  // paths natively. On Linux/macOS, use tar as normal.
+  const result = platform.os === "windows"
+    ? spawnSync(
+        "powershell.exe",
+        ["-NoProfile", "-Command", `Expand-Archive -Path '${archivePath}' -DestinationPath '${extractDir}' -Force`],
+        { stdio: "inherit" },
+      )
+    : spawnSync("tar", ["-xzf", archivePath, "-C", extractDir], { stdio: "inherit" })
+
+  if (result.status !== 0) {
+    throw new Error(`Failed to extract Postgres archive: ${archivePath}`)
   }
-  // .env file values override defaults
-  const dotEnv = loadDotEnv(cwd)
-  return { ...defaults, ...dotEnv }
 }
 
-function startLocalServices(cwd: string): ChildProcess[] {
-  const children: ChildProcess[] = []
-  const devEnv = localDevDefaults(cwd)
+// ---------------------------------------------------------------------------
+// PostgREST resolver — downloads from GitHub releases if not cached
+// ---------------------------------------------------------------------------
 
-  const services = [
-    { name: "storage", filter: "@supatype/storage", color: "\x1b[34m" },
-    { name: "realtime", filter: "@supatype/realtime", color: "\x1b[35m" },
-    { name: "studio", filter: "@supatype/studio", color: "\x1b[36m" },
-  ]
+const POSTGREST_DEFAULT_VERSION = "12.2.3"
+const POSTGREST_GITHUB = "https://github.com/PostgREST/postgrest/releases/download"
 
-  for (const svc of services) {
-    const pkgDir = resolve(cwd, "..", "packages", svc.name)
+async function resolvePostgrestBin(overridePath?: string): Promise<string | null> {
+  // Honour local override (same pattern as engine/server).
+  if (overridePath) {
+    let p = resolve(process.cwd(), normalisePlatformPath(overridePath))
+    if (process.platform === "win32" && !p.endsWith(".exe") && !existsSync(p)) {
+      const withExe = p + ".exe"
+      if (existsSync(withExe)) p = withExe
+    }
+    if (existsSync(p)) return p
+    console.warn(`[supatype] ⚠  PostgREST override not found at ${p}`)
+    return null
+  }
 
-    if (!existsSync(resolve(pkgDir, "package.json"))) {
-      console.warn(`  Skipping ${svc.name} — not found at ${pkgDir}`)
-      continue
+  const version = POSTGREST_DEFAULT_VERSION
+  const platform = currentPlatform()
+  const arch = platform.arch === "arm64" ? "aarch64" : "x86_64"
+  const binName = platform.os === "windows" ? "postgrest.exe" : "postgrest"
+  const cacheDir = cachePath("postgres", version).replace(/postgres/, "postgrest")
+  const binPath = join(cacheDir, binName)
+  const archiveName = platform.os === "windows"
+    ? `postgrest-v${version}-windows-x64.zip`
+    : platform.os === "darwin"
+      ? `postgrest-v${version}-macos-${arch}.tar.xz`
+      : `postgrest-v${version}-linux-static-${arch}.tar.xz`
+  const archivePath = join(cacheDir, archiveName)
+
+  if (existsSync(binPath)) {
+    // Backfill DLLs for older cached Windows installs where only postgrest.exe
+    // was copied from the release archive.
+    if (platform.os === "windows" && !hasLikelyWindowsRuntimeDlls(cacheDir) && existsSync(archivePath)) {
+      const repaired = repairWindowsPostgrestRuntime(cacheDir, archivePath, binPath)
+      if (!repaired) {
+        console.warn("[supatype] ⚠  PostgREST runtime DLL repair failed; REST API may be unavailable.")
+      }
     }
+    return binPath
+  }
 
-    const reset = "\x1b[0m"
-    const prefix = `${svc.color}[${svc.name}]${reset}`
-
-    const child = spawn("pnpm", ["dev"], {
-      cwd: pkgDir,
-      stdio: ["ignore", "pipe", "pipe"],
-      shell: true,
-      env: {
-        ...process.env,
-        ...devEnv,
-        PORT: svc.name === "storage" ? "5000" : svc.name === "realtime" ? "4000" : "3002",
-      },
-    })
+  // Download from GitHub releases.
+  const url = `${POSTGREST_GITHUB}/v${version}/${archiveName}`
 
-    child.stdout?.on("data", (data: Buffer) => {
-      for (const line of data.toString().trimEnd().split("\n")) {
-        console.log(`${prefix} ${line}`)
-      }
-    })
-    child.stderr?.on("data", (data: Buffer) => {
-      for (const line of data.toString().trimEnd().split("\n")) {
-        console.error(`${prefix} ${line}`)
-      }
-    })
-    child.on("exit", (code) => {
-      if (code !== 0 && code !== null) {
-        console.error(`${prefix} exited with code ${code}`)
-      }
-    })
+  console.log(`[supatype] Downloading PostgREST v${version}...`)
+  mkdirSync(cacheDir, { recursive: true })
 
-    children.push(child)
-    console.log(`  ${prefix} started (pnpm dev)`)
+  let resp: Response
+  try {
+    resp = await fetch(url)
+  } catch (e) {
+    console.warn(
+      `[supatype] ⚠  Could not download PostgREST (${(e as Error).message}).\n` +
+      `  REST API (/rest/v1/) will be unavailable until the download succeeds.\n` +
+      `  Re-run 'supatype dev' once network access to github.com:443 is restored.`,
+    )
+    return null
+  }
+  if (!resp.ok) {
+    console.warn(`[supatype] ⚠  Could not download PostgREST: HTTP ${resp.status}. REST API will be unavailable.`)
+    return null
   }
 
-  return children
-}
-
-async function waitForPostgREST(): Promise<void> {
-  const deadline = Date.now() + HEALTH_TIMEOUT_MS
-  while (Date.now() < deadline) {
-    try {
-      const res = await fetch(POSTGREST_URL, { signal: AbortSignal.timeout(2000) })
-      if (res.ok || res.status === 401) return // 401 = JWT required = server up
-    } catch {
-      // not ready yet
+  const buf = Buffer.from(await resp.arrayBuffer())
+  writeFileSync(archivePath, buf)
+
+  // Extract. The Windows zip may nest postgrest.exe inside a subdirectory, so
+  // after Expand-Archive we copy postgrest.exe and sibling DLLs to cacheDir.
+  if (platform.os === "windows") {
+    const r = spawnSync(
+      "powershell.exe",
+      [
+        "-NoProfile", "-Command",
+        `Expand-Archive -Path '${archivePath}' -DestinationPath '${cacheDir}' -Force; ` +
+        `$exe = Get-ChildItem -Path '${cacheDir}' -Recurse -Filter 'postgrest.exe' | Select-Object -First 1; ` +
+        `if ($exe) { ` +
+        `  Copy-Item -Path $exe.FullName -Destination '${binPath}' -Force; ` +
+        `  Get-ChildItem -Path $exe.Directory.FullName -Filter '*.dll' | ` +
+        `    ForEach-Object { Copy-Item -Path $_.FullName -Destination '${cacheDir}' -Force }; ` +
+        `}`,
+      ],
+      { stdio: "pipe", encoding: "utf8" },
+    )
+    if (r.status !== 0) {
+      console.warn(`[supatype] ⚠  PostgREST extraction failed: ${r.stderr?.trim() ?? "unknown error"}. REST API will be unavailable.`)
+      return null
+    }
+  } else {
+    const r = spawnSync("tar", ["-xJf", archivePath, "-C", cacheDir], { stdio: "pipe" })
+    if (r.status !== 0) {
+      console.warn("[supatype] ⚠  PostgREST extraction failed. REST API will be unavailable.")
+      return null
     }
-    await sleep(HEALTH_POLL_MS)
   }
-  throw new Error(
-    `PostgREST did not become healthy within ${HEALTH_TIMEOUT_MS / 1000}s.\n` +
-      "Check: docker compose logs postgrest",
+
+  if (!existsSync(binPath)) {
+    console.warn("[supatype] ⚠  PostgREST binary not found after extraction. REST API will be unavailable.")
+    return null
+  }
+
+  if (platform.os !== "windows") {
+    const { chmod } = await import("node:fs/promises")
+    await chmod(binPath, 0o755)
+  }
+
+  console.log(`[supatype] PostgREST v${version} ready.`)
+  return binPath
+}
+
+function hasLikelyWindowsRuntimeDlls(dir: string): boolean {
+  if (process.platform !== "win32") return true
+  return (
+    existsSync(join(dir, "libpq.dll")) ||
+    existsSync(join(dir, "libpq-5.dll")) ||
+    existsSync(join(dir, "libssl-3-x64.dll"))
+  )
+}
+
+function repairWindowsPostgrestRuntime(cacheDir: string, archivePath: string, binPath: string): boolean {
+  const r = spawnSync(
+    "powershell.exe",
+    [
+      "-NoProfile",
+      "-Command",
+      `Expand-Archive -Path '${archivePath}' -DestinationPath '${cacheDir}' -Force; ` +
+      `$exe = Get-ChildItem -Path '${cacheDir}' -Recurse -Filter 'postgrest.exe' | Select-Object -First 1; ` +
+      `if ($exe) { ` +
+      `  Copy-Item -Path $exe.FullName -Destination '${binPath}' -Force; ` +
+      `  Get-ChildItem -Path $exe.Directory.FullName -Filter '*.dll' | ` +
+      `    ForEach-Object { Copy-Item -Path $_.FullName -Destination '${cacheDir}' -Force }; ` +
+      `}`,
+    ],
+    { stdio: "pipe", encoding: "utf8" },
   )
+  return r.status === 0
 }
 
-async function watchAndPush(cwd: string): Promise<void> {
-  const config = loadConfig(cwd)
-  const schemaDir = resolve(cwd, config.schema, "..")
+// ---------------------------------------------------------------------------
+// Local-dev JWT generator (no external dep — pure crypto)
+// ---------------------------------------------------------------------------
 
-  console.log(`Watching ${schemaDir} for changes... (Ctrl+C to stop)\n`)
 
-  // Initial push on start
-  await runPush(cwd)
+// ---------------------------------------------------------------------------
+// AST adaptation — replace extension-dependent fields with JSONB fallbacks
+// ---------------------------------------------------------------------------
 
-  const { watch } = await import("node:fs")
-  watch(schemaDir, { recursive: true }, (eventType, filename) => {
-    if (!filename?.endsWith(".ts")) return
-    console.log(`\nChange detected in ${filename}, pushing...`)
-    runPush(cwd).catch((e: unknown) =>
-      console.error("Push failed:", (e as Error).message),
-    )
+interface AstField { kind: string; required?: boolean; [k: string]: unknown }
+interface AstModel { name: string; fields?: Record<string, AstField> }
+interface AstSchema { models?: AstModel[] }
+
+// Field kinds that require Postgres extensions not available in all builds.
+// Maps kind → { extension name, JSONB fallback AST }
+const EXTENSION_FIELDS: Record<string, { ext: string; fallback: AstField }> = {
+  geo:    { ext: "PostGIS",  fallback: { kind: "json", pgType: "JSONB" } },
+  vector: { ext: "pgvector", fallback: { kind: "json", pgType: "JSONB" } },
+}
+
+function adaptUnsupportedKinds(
+  ast: unknown,
+  skipKinds: ReadonlySet<string>,
+): { filtered: unknown; adapted: string[] } {
+  const adapted: string[] = []
+  if (!ast || typeof ast !== "object") return { filtered: ast, adapted }
+  const schema = ast as AstSchema
+  if (!Array.isArray(schema.models)) return { filtered: ast, adapted }
+
+  const models = schema.models.map((model) => {
+    const fields: Record<string, AstField> = {}
+    for (const [name, field] of Object.entries(model.fields ?? {})) {
+      const info = skipKinds.has(field.kind) ? EXTENSION_FIELDS[field.kind] : undefined
+      if (info) {
+        fields[name] = { ...info.fallback, required: field.required ?? false }
+        adapted.push(`${model.name}.${name} (${info.ext} → JSONB)`)
+      } else {
+        fields[name] = field
+      }
+    }
+    return { ...model, fields }
   })
 
-  // Block forever
-  await new Promise<never>(() => undefined)
+  return { filtered: { ...schema, models }, adapted }
 }
 
-async function runPush(cwd: string): Promise<void> {
-  const { loadConfig, loadSchemaAst } = await import("../config.js")
-  const config = loadConfig(cwd)
-  const ast = loadSchemaAst(config.schema, cwd)
-  await ensureEngine()
-  const result = invokeEngine(
-    ["migrate", "--connection", config.connection],
-    JSON.stringify(ast),
-  )
-  if (result.exitCode !== 0) {
-    console.error(result.stderr || result.stdout)
-    return
+// ---------------------------------------------------------------------------
+// .env loader
+// ---------------------------------------------------------------------------
+
+/** Minimal GoTrue env for `migrate` (matches required fields in serverEnv below). */
+function gotrueMigrateEnv(
+  serverPort: string,
+  sqlDbURL: string,
+  jwtSecret: string,
+): Record<string, string> {
+  const base = `http://localhost:${serverPort}`
+  return {
+    // envconfig: gotrue + DB.DATABASE_URL → GOTRUE_DB_DATABASE_URL
+    GOTRUE_DB_DATABASE_URL: sqlDbURL,
+    DATABASE_URL: sqlDbURL,
+    GOTRUE_DB_DRIVER: "postgres",
+    GOTRUE_DB_NAMESPACE: "auth",
+    PGSSLMODE: "disable",
+    GOTRUE_JWT_SECRET: jwtSecret,
+    API_EXTERNAL_URL: `${base}/auth/v1`,
+    GOTRUE_API_HOST: "localhost",
+    GOTRUE_SITE_URL: base,
+    GOTRUE_MAILER_AUTOCONFIRM: "true",
+  }
+}
+
+/** Apply GoTrue DDL (auth.users, etc.) before engine push references auth schema. */
+function runGotrueMigrations(
+  serverBin: string,
+  migrateEnv: Record<string, string>,
+): void {
+  const result = spawnSync(serverBin, ["migrate"], {
+    stdio: "pipe",
+    encoding: "utf8",
+    env: {
+      ...process.env,
+      ...migrateEnv,
+    },
+  })
+  if (result.status !== 0) {
+    const detail = (result.stderr ?? result.stdout ?? "").trim()
+    throw new Error(
+      `GoTrue migrations failed (exit ${result.status ?? "unknown"})` +
+        (detail ? `:\n${detail}` : ""),
+    )
   }
-  console.log(result.stdout || "Schema up to date.")
 }
 
-function sleep(ms: number): Promise<void> {
-  return new Promise((r) => setTimeout(r, ms))
+function loadDotEnv(cwd: string): Record<string, string> {
+  const candidates = [resolve(cwd, ".env"), resolve(cwd, ".env.local")]
+  const vars: Record<string, string> = {}
+  for (const envPath of candidates) {
+    if (!existsSync(envPath)) continue
+    for (const line of readFileSync(envPath, "utf8").split("\n")) {
+      const trimmed = line.trim()
+      if (!trimmed || trimmed.startsWith("#")) continue
+      const eq = trimmed.indexOf("=")
+      if (eq === -1) continue
+      vars[trimmed.slice(0, eq)] = trimmed.slice(eq + 1)
+    }
+  }
+  return vars
 }