@specific.dev/spectest 0.86.1 → 0.87.0

package/dist/harness/wrapper-rules.js

@@ -55,6 +55,43 @@
 // function over a string, which is what the tests below drive. A user type
 // that happens to be called `Carrier<T>` would also be flagged — and would
 // also be an object at runtime, so the finding stays true.
+/**
+ * A test that opens a project file through `node:fs` (or `Bun.file`)
+ * instead of `ctx.readProjectFile`. **Advisory.** The subset selector
+ * learns which project files a test depends on from the reads the SDK
+ * serves (`project-files.ts`); a raw read is a dependence it never sees,
+ * so a change to that file can skip the test. The rule is textual — an
+ * import or `require` of the fs modules, or a `Bun.file(` call — and is
+ * applied to the test tree only, where the alternative exists. It turns
+ * blocking when the reach gate enforces (`SUBSET_RUNS.md`).
+ */
+export const CODE_RAW_FS = "SPECTEST2003";
+const FS_MODULES = new Set(["fs", "node:fs", "fs/promises", "node:fs/promises"]);
+/** The raw-fs findings of one test file, from its text alone. */
+export function fsUsageDiagnostics(file, text) {
+    const out = [];
+    const push = (pos, what) => {
+        const { line, column } = lineColumnAt(text, pos);
+        out.push({
+            file,
+            line,
+            column,
+            code: CODE_RAW_FS,
+            message: `${what} reads project files behind the SDK's back; use ctx.readProjectFile (or ctx.readProjectFileBytes) ` +
+                "so the subset selector knows the test depends on the file",
+            blocking: false,
+        });
+    };
+    const importRe = /\b(?:import|export)\b[^;'"]*?\bfrom\s*['"]([^'"]+)['"]|\bimport\s*['"]([^'"]+)['"]|\brequire\(\s*['"]([^'"]+)['"]\s*\)|\bimport\(\s*['"]([^'"]+)['"]\s*\)/g;
+    for (const m of text.matchAll(importRe)) {
+        const spec = m[1] ?? m[2] ?? m[3] ?? m[4] ?? "";
+        if (FS_MODULES.has(spec))
+            push(m.index ?? 0, `an import of "${spec}"`);
+    }
+    for (const m of text.matchAll(/\bBun\.file\(/g))
+        push(m.index ?? 0, "Bun.file()");
+    return out;
+}
 /**
  * A condition on a wrapped value — always true. **Blocking**, but on different
  * grounds from {@link CODE_EQUALITY}, and the difference is worth knowing.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@specific.dev/spectest",
-  "version": "0.86.1",
+  "version": "0.87.0",
   "description": "Spectest SDK for defining test environments in TypeScript.",
   "type": "module",
   "main": "./dist/index.js",

package/src/components/supabase-dir.test.ts

@@ -113,7 +113,7 @@ describe("supabase({ dir })", () => {
     });
     expect(parts.functions).toBeDefined();
     expect(parts.templates).toBeDefined();
-    expect(stack.group.setup).toBeDefined();
+    expect(parts.migrations?.setup).toBeDefined();
   });
 
   test("an unresolved HTTP hook secret fails with its config key and env name", () => {

package/src/components/supabase-migrations.test.ts

@@ -0,0 +1,116 @@
+import { afterEach, describe, expect, test } from "bun:test";
+import { mkdtempSync, mkdirSync, rmSync, writeFileSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import type { ExecOpts, ServiceSetupContext } from "../index.js";
+import { supabase, type SupabaseOptions } from "./supabase.js";
+
+const roots: string[] = [];
+function fixture(files: Record<string, string> = {}) {
+  const root = mkdtempSync(join(tmpdir(), "supabase-migrations-"));
+  roots.push(root);
+  mkdirSync(join(root, "migrations"));
+  for (const [name, sql] of Object.entries(files)) writeFileSync(join(root, name), sql);
+  return root;
+}
+afterEach(() => {
+  for (const root of roots.splice(0)) rmSync(root, { recursive: true, force: true });
+});
+
+function parts(dir: string, options: SupabaseOptions = {}) {
+  const name = options.name ?? "supabase";
+  return supabase({ dir, ...options }).group.services({
+    name, key: (part) => part === "gateway" ? name : `${name}-${part}`,
+  });
+}
+
+test("SQL waits for schema owners; REST waits for SQL without a storage cycle", () => {
+  for (const auth of [false, true]) for (const storage of [false, true]) for (const realtime of [false, true]) {
+    const services = parts(fixture(), { auth, storage, realtime, name: "custom" });
+    expect(services.migrations!.dependsOn).toEqual([
+      "db", ...(auth ? ["auth"] : []), ...(storage ? ["storage"] : []), ...(realtime ? ["realtime"] : []),
+    ]);
+    expect(services.rest!.dependsOn).toEqual(["migrations"]);
+    expect(services.rest!.readyCheck).toMatchObject({ type: "http", port: 3001, path: "/ready" });
+    if (storage) expect(services.storage!.dependsOn).toEqual(["db", "imgproxy"]);
+  }
+});
+
+test("hundreds of sorted migrations and a seed use one exec without reading SQL into the harness", async () => {
+  const root = fixture({ "seed.sql": "select 1" });
+  for (let i = 558; i >= 0; i--) writeFileSync(join(root, "migrations", `${String(i).padStart(4, "0")}.sql`), "select 1");
+  writeFileSync(join(root, "migrations", "ignored.txt"), "not SQL");
+  const services = parts(root);
+  expect(services.db!.volumes).toContainEqual({ source: root, target: "/spectest/supabase", readOnly: true });
+  const calls: { service: string; command: string[]; opts?: ExecOpts }[] = [];
+  await services.migrations!.setup!({
+    exec: async (service: string, command: string[], opts?: ExecOpts) => {
+      calls.push({ service, command, opts });
+      return { exitCode: 0, stdout: "", stderr: "" };
+    },
+  } as ServiceSetupContext);
+  expect(calls).toHaveLength(1);
+  expect(calls[0]!.service).toBe("supabase-db");
+  expect(calls[0]!.opts?.stdin).toBeUndefined();
+  const command = calls[0]!.command;
+  const files = command.flatMap((arg, i) => arg === "-f" ? [command[i + 1]] : []);
+  expect(files).toHaveLength(560);
+  expect(files[0]).toBe("/spectest/supabase/migrations/0000.sql");
+  expect(files.at(-2)).toBe("/spectest/supabase/migrations/0558.sql");
+  expect(files.at(-1)).toBe("/spectest/supabase/seed.sql");
+});
+
+test("an empty SQL directory skips exec; a failed batch preserves psql diagnostics", async () => {
+  const root = fixture();
+  let calls = 0;
+  const ctx = { exec: async () => {
+    calls++;
+    return { exitCode: 3, stdout: "", stderr: "psql:/spectest/supabase/migrations/bad.sql:7: ERROR: broken" };
+  } } as unknown as ServiceSetupContext;
+  await parts(root).migrations!.setup!(ctx);
+  expect(calls).toBe(0);
+  writeFileSync(join(root, "migrations", "bad.sql"), "broken");
+  await expect(parts(root).migrations!.setup!(ctx)).rejects.toThrow("bad.sql:7: ERROR: broken");
+});
+
+// Opt in to a disposable container; no existing database is touched.
+describe.skipIf(process.env.SPECTEST_TEST_SUPABASE_MIGRATIONS !== "1")("real psql migration batching", () => {
+  test("preserves file boundaries, COPY, nontransactional DDL, isolation and fail-fast errors", async () => {
+    const root = fixture({
+      "migrations/01.sql": "CREATE TABLE public.batch_probe (id int); INSERT INTO public.batch_probe VALUES (1)",
+      "migrations/02.sql": "COPY public.batch_probe FROM stdin;\n2\n3\n\\.\nCREATE INDEX CONCURRENTLY batch_idx ON public.batch_probe(id);\nCREATE TEMP TABLE batch_temp (id int); SET search_path = pg_catalog; SET ROLE anon;",
+      "migrations/03 'quoted.sql": "DO $$ BEGIN IF current_user <> 'postgres' OR to_regclass('batch_temp') IS NOT NULL THEN RAISE EXCEPTION 'session leaked'; END IF; END $$;\nINSERT INTO batch_probe VALUES (4); BEGIN; INSERT INTO batch_probe VALUES (99);",
+      "seed.sql": "INSERT INTO batch_probe VALUES (5);",
+    });
+    const name = `spectest-batch-test-${process.pid}`;
+    async function docker(args: string[], stdin = "") {
+      const child = Bun.spawn(["sudo", "docker", ...args], { stdin: new Blob([stdin]), stdout: "pipe", stderr: "pipe" });
+      const [stdout, stderr, exitCode] = await Promise.all([new Response(child.stdout).text(), new Response(child.stderr).text(), child.exited]);
+      return { stdout, stderr, exitCode };
+    }
+    const services = parts(root, { db: { tls: false } });
+    const ctx = { exec: (_service: string, command: string[], opts?: ExecOpts) => docker(["exec", "-i", name, ...command], opts?.stdin) } as ServiceSetupContext;
+    const sql = (statement: string) => ctx.exec(name, ["psql", "-XAt", "-v", "ON_ERROR_STOP=1", "-U", "postgres", "-d", "postgres", "-c", statement]);
+    try {
+      const started = await docker(["run", "-d", "--name", name, "-e", "POSTGRES_PASSWORD=postgres", "-v", `${root}:/spectest/supabase:ro`, "supabase/postgres:17.6.1.136"]);
+      if (started.exitCode) throw new Error(started.stderr);
+      let ready = false;
+      for (let i = 0; i < 120; i++) {
+        if ((await docker(["exec", name, "pg_isready", "-U", "postgres", "-h", "127.0.0.1"])).exitCode === 0) { ready = true; break; }
+        await Bun.sleep(500);
+      }
+      expect(ready).toBe(true);
+      await services.db!.setup!({ ...ctx, name } as ServiceSetupContext);
+      await services.migrations!.setup!(ctx);
+      expect((await sql("SELECT array_agg(id ORDER BY id) FROM batch_probe")).stdout.trim()).toBe("{1,2,3,4,5}");
+      rmSync(join(root, "migrations"), { recursive: true });
+      mkdirSync(join(root, "migrations"));
+      writeFileSync(join(root, "migrations", "broken.sql"), "SELECT 1;\nSELECT * FROM missing_batch_table;\n");
+      writeFileSync(join(root, "seed.sql"), "INSERT INTO batch_probe VALUES (6)");
+      await expect(services.migrations!.setup!(ctx)).rejects.toThrow(/broken.sql:2: ERROR/);
+      expect((await sql("SELECT count(*) FROM batch_probe")).stdout.trim()).toBe("5");
+    } finally {
+      await docker(["rm", "-fv", name]);
+    }
+  }, 180_000);
+});

package/src/components/supabase.ts

@@ -56,7 +56,6 @@ import { dirname, join } from "node:path";
 
 import {
   serviceGroup,
-  type ServiceConfig,
   type ServiceDefinition,
   type ServiceGroup,
   type ServiceSetupContext,
@@ -318,7 +317,7 @@ export interface SupabaseOptions {
    * ```
    * supabase/
    *   config.toml     ← auth rules, mail templates, per-function JWT verification
-   *   migrations/     ← applied in filename order once the stack is up
+   *   migrations/     ← applied after Auth/Storage/Realtime, before REST
    *   seed.sql        ← applied after them, if it's there
    *   functions/      ← one directory per function, served at /functions/v1/<name>
    * ```
@@ -1517,34 +1516,16 @@ function buildKongYaml(
 }
 
 // ──────────────────────────────────────────────────────────────────────────
-// Migration application. Runs in the **group's** `setup`, which chains after
-// the primary (the gateway), and the gateway is the group's dependency sink
-// — so by then every service is up and has finished its own bootstrap. That
-// ordering is the whole point:
-//
-//   Several services own schema of their own and create it when THEY boot,
-//   not when the database does. storage-api creates `storage.buckets` /
-//   `storage.objects`; GoTrue creates the modern `auth.*` tables
-//   (`identities`, `sessions`, `mfa_*`, `one_time_tokens`); realtime creates
-//   its own. The stock `supabase/postgres` image ships only the legacy auth
-//   stubs (`auth.users` and friends) and nothing at all under `storage`.
-//
-//   Applied any earlier, an ordinary migration — `insert into
-//   storage.buckets`, a policy on `auth.identities` — fails with `relation
-//   … does not exist`, and the error points at the user's SQL rather than at
-//   the ordering. This is also the point at which `supabase db reset`
-//   applies migrations: against a stack that is already running.
-//
-// The database's OWN bootstrap (roles, JWT GUC, `_realtime` schema) stays in
-// the db service's `setup`, because the other services need it to start at
-// all.
-//
-// Uses the setup context's `exec` (docker exec with piped stdin) and
-// `projectRoot` — no hand-rolled child_process, no hard-coded workspace path.
+// Project SQL runs after Auth, Storage and Realtime have created their own
+// schemas, but before PostgREST starts. The migrations part is a dependency
+// barrier: its setup finishes before REST and the gateway can become ready.
+// This prevents the DDL notifications from rebuilding a half-built schema.
 // ──────────────────────────────────────────────────────────────────────────
 
-/** Either setup hook's context: the db part's (no helpers) or the group's
- *  (the consolidated handle). Nothing below reads `helpers`. */
+/** Read-only project SQL inside the database container. */
+const SQL_MOUNT = "/spectest/supabase";
+
+/** Shared by the database bootstrap and project migration hooks. */
 // eslint-disable-next-line @typescript-eslint/no-explicit-any
 type SetupCtx = ServiceSetupContext<any>;
 
@@ -1558,9 +1539,7 @@ async function applySqlFile(
   sql: string,
   label: string,
   user: string,
-  /** The db service to run `psql` in. Defaults to the hook's own service,
-   *  which is the db only for the bootstrap; the project's migrations run
-   *  from the group hook, where `ctx.name` is the gateway. */
+  /** The db service to run `psql` in; defaults to the hook's own service. */
   service: string = ctx.name,
 ): Promise<void> {
   const res = await ctx.exec(
@@ -1587,7 +1566,7 @@ async function applySqlFile(
 async function applyMigrations(
   ctx: SetupCtx,
   migrations: string,
-  /** Where `psql` runs — the db part, named from the group hook. */
+  /** Where `psql` runs — the db part, named from the migration hook. */
   db: string,
 ): Promise<void> {
   const dir = migrations.startsWith("/")
@@ -1605,108 +1584,37 @@ async function applyMigrations(
   }
 
   const files = (await readdir(dir)).filter((f) => f.endsWith(".sql")).sort();
-  for (const f of files) {
-    const sql = await ctx.readProjectFile(join(dir, f));
-    await applySqlFile(ctx, sql, `migration ${f}`, "postgres", db);
-  }
-
-  // `seed.sql` sits next to the migrations directory in the layout the
-  // Supabase CLI creates, so it needs no option of its own — pointing at
-  // the migrations is enough to say where the project's SQL lives. Absent
-  // is fine: plenty of projects have migrations and no seed.
+  const paths = files.map((f) => `${SQL_MOUNT}/migrations/${f}`);
   const seedPath = join(dirname(dir), "seed.sql");
-  if (existsSync(seedPath)) {
-    const sql = await ctx.readProjectFile(seedPath);
-    await applySqlFile(ctx, sql, "seed.sql", "postgres", db);
-  }
-}
-
-/**
- * Make PostgREST serve the schema the migrations just created, and do not
- * return until it does so **stably**.
- *
- * PostgREST reads the schema once, at boot, and now boots before the
- * project's migrations run. Without this, the first REST call for a new
- * table answers `PGRST205 Could not find the table` — the failure the user
- * would otherwise have to diagnose and work around themselves.
- *
- * Two things make this more than one request:
- *
- *  - **A rebuild is not atomic from the outside.** While PostgREST reloads,
- *    a request can still miss the table. So a single successful check is not
- *    proof; the cache has to answer correctly several times in a row.
- *  - **Reloads are already in flight.** The `supabase/postgres` image ships
- *    `pgrst_ddl_watch`, an event trigger that notifies on every DDL, so a
- *    migration run queues several reloads of its own. Ours goes *first* and
- *    the settle loop then waits them all out — checking before sending the
- *    notify was a real bug: the poll passed, our own notify landed after it,
- *    and a test raced the rebuild it caused.
- *
- * The expectation comes from the database itself: every base table in the
- * exposed `public` schema should be listed. A stack with no public tables
- * has nothing to wait for.
- */
-async function reloadPostgrestSchema(
-  ctx: SetupCtx,
-  db: string,
-  rest: string,
-): Promise<void> {
-  // Ours first, so every reload — ours and the DDL trigger's — is already
-  // queued before we start watching for the result.
-  await applySqlFile(ctx, "notify pgrst, 'reload schema';\n", "schema reload", "postgres", db);
-
-  // Only the tables PostgREST will actually publish. The spec below is
-  // fetched unauthenticated, so it is the `anon` role's view — and a table
-  // deliberately granted to nobody else (Supabase projects do this routinely:
-  // a lookup table only `supabase_auth_admin` may read, RLS with no anon
-  // grant) never appears in it. Waiting for those would wait for ever, on a
-  // schema cache that is in fact up to date.
-  const listed = await ctx.exec(
-    db,
-    [
-      "psql", "-U", "postgres", "-d", "postgres", "-t", "-A", "-c",
-      "select c.relname from pg_class c join pg_namespace n on n.oid = c.relnamespace " +
-        "where n.nspname = 'public' and c.relkind = 'r' " +
-        // `anon` is created by this component's own bootstrap, so it exists.
-        "and has_table_privilege('anon', c.oid, 'SELECT') order by 1",
-    ],
-    { timeoutMs: 60_000 },
-  );
-  const tables = String(listed.stdout)
-    .split("\n")
-    .map((t) => t.trim())
-    .filter(Boolean);
-  if (tables.length === 0) return;
-
-  /** One check: are all the tables served right now? */
-  const served = async (): Promise<string[]> => {
-    const res = await fetch(`http://${rest}:3000/`);
-    if (!res.ok) return tables;
-    const spec = (await res.json()) as { paths?: Record<string, unknown> };
-    const paths = Object.keys(spec.paths ?? {});
-    return tables.filter((t) => !paths.includes(`/${t}`));
-  };
-
-  const SETTLE = 3;
-  const deadline = Date.now() + 30_000;
-  let streak = 0;
-  let missing: string[] = tables;
-  while (Date.now() < deadline) {
-    try {
-      missing = await served();
-      streak = missing.length === 0 ? streak + 1 : 0;
-      if (streak >= SETTLE) return;
-    } catch {
-      // Mid-reload PostgREST can refuse the connection outright.
-      streak = 0;
+  if (existsSync(seedPath)) paths.push(`${SQL_MOUNT}/seed.sql`);
+  if (paths.length === 0) return;
+
+  // Repeated -f keeps psql's file boundaries (COPY, EOF without a semicolon,
+  // and filename:line diagnostics), with one docker exec and one connection.
+  // Do not use --single-transaction: concurrent indexes and explicit
+  // transaction control in existing migrations must continue to work.
+  const command = ["psql", "-X", "-q", "-v", "ON_ERROR_STOP=1", "-U", "postgres", "-d", "postgres"];
+  for (const path of paths) {
+    if (path !== paths[0]) {
+      // Each file previously had its own session. Roll back unfinished work
+      // and discard roles, GUCs, temporary tables, prepared statements and
+      // advisory locks before the next file. Separate -c calls are essential:
+      // DISCARD ALL cannot execute inside a multi-statement transaction.
+      command.push("-c", "\\set ON_ERROR_STOP on", "-c", "\\set AUTOCOMMIT on");
+      command.push("-c", "ROLLBACK", "-c", "DISCARD ALL");
     }
-    await new Promise((r) => setTimeout(r, 150));
+    command.push("-f", path);
   }
-  throw new Error(
-    `supabase: PostgREST did not settle on the migrated schema within 30s ` +
-      `(still missing: ${missing.join(", ") || "nothing, but not stably"}). ` +
-      `The migrations applied — this is the REST schema cache, not your SQL.`,
-  );
+  const started = Date.now();
+  const res = await ctx.exec(db, command, { timeoutMs: 300_000 });
+  if (res.exitCode !== 0) {
+    throw new Error(
+      `supabase: applying migrations/seed failed (psql rc=${res.exitCode}):\n${
+        res.stderr.trim() || res.stdout.trim()
+      }`,
+    );
+  }
+  console.log(`supabase(): applied ${files.length} migrations${paths.length > files.length ? " and seed.sql" : ""} in ${((Date.now() - started) / 1000).toFixed(1)}s.`);
 }
 
 /**
@@ -1979,7 +1887,7 @@ export function supabase(opts: SupabaseOptions = {}): SupabaseStack {
       // be reachable at `realtime-dev.<realtime key>` — the host Kong
       // routes to.
       const realtimeHost = `realtime-dev.${g.key("realtime")}`;
-      const parts: Record<string, ServiceConfig> = {};
+      const parts: ServicesMap = {};
 
       // ── db ──────────────────────────────────────────────────────────
       const dbDef: ServiceDefinition = {
@@ -2006,6 +1914,11 @@ export function supabase(opts: SupabaseOptions = {}): SupabaseStack {
           JWT_SECRET: jwtSecret,
           JWT_EXP: "3600",
         },
+        // Read SQL directly, including large seeds, without copying it through
+        // the harness and docker exec stdin. Keep this out of PGDATA.
+        ...(migrationsPath === null ? {} : {
+          volumes: [{ source: dirname(migrationsPath), target: SQL_MOUNT, readOnly: true }],
+        }),
         ports: [5432],
         // `pg_isready` succeeds only once the image finishes initdb + its
         // baked init-scripts and starts serving for real.
@@ -2014,8 +1927,7 @@ export function supabase(opts: SupabaseOptions = {}): SupabaseStack {
           // Only the database's own bootstrap (role passwords / JWT GUC /
           // `_realtime` schema) runs here: the other services need it before
           // they can start. The project's migrations run later, from the
-          // group hook, once the whole stack is up — see the migration
-          // section above for why.
+          // migrations hook, once the schema-owning services are up.
           await applySqlFile(
             ctx,
             buildBootstrapSql(dbPassword, jwtSecret, withRealtime),
@@ -2051,10 +1963,10 @@ export function supabase(opts: SupabaseOptions = {}): SupabaseStack {
           ...(mapped?.rest ?? {}),
         },
         ports: [3000],
-        dependsOn: ["db"],
-        // PostgREST opens :3000 only after connecting to the DB and loading
-        // the schema cache, so a TCP connect is a good ready signal.
-        readyCheck: { type: "tcp", port: 3000, timeoutSecs: 120 },
+        dependsOn: [migrationsPath === null ? "db" : "migrations"],
+        // The HTTP socket can open before schema loading completes. /ready
+        // checks both the database pool and the populated schema cache.
+        readyCheck: { type: "http", port: 3001, path: "/ready", timeoutSecs: 120 },
       };
 
       // ── mail (SMTP capture, the standard email() component) ─────────
@@ -2241,7 +2153,9 @@ export function supabase(opts: SupabaseOptions = {}): SupabaseStack {
           },
           volumes: [storageData],
           ports: [5000],
-          dependsOn: ["db", "rest", "imgproxy"],
+          // Storage initializes and serves /status using Postgres directly;
+          // POSTGREST_URL does not require REST to run during its bootstrap.
+          dependsOn: ["db", "imgproxy"],
           readyCheck: { type: "http", port: 5000, path: "/status", timeoutSecs: 90 },
         };
       }
@@ -2379,6 +2293,21 @@ export function supabase(opts: SupabaseOptions = {}): SupabaseStack {
         parts.functions = functionsDef;
       }
 
+      if (migrationsPath !== null) {
+        parts.migrations = {
+          // Reuse an already required image for this lightweight setup barrier.
+          image: dbDef.image,
+          command: "exec sleep infinity",
+          dependsOn: [
+            "db",
+            ...(withAuth ? ["auth"] : []),
+            ...(withStorage ? ["storage"] : []),
+            ...(withRealtime ? ["realtime"] : []),
+          ],
+          setup: (ctx) => applyMigrations(ctx, migrationsPath, db),
+        } satisfies ServiceDefinition;
+      }
+
       // ── kong (gateway / primary) — no explicit dependsOn: the group
       // expansion makes the primary depend on every member ──────────────
       parts.gateway = {
@@ -2414,15 +2343,6 @@ export function supabase(opts: SupabaseOptions = {}): SupabaseStack {
 
       return parts;
     },
-    // The project's own SQL, applied with the whole stack up (the group
-    // hook chains after the primary, and the primary is the group's
-    // dependency sink). Still inside bring-up, so the result is captured
-    // into the cached environment like everything else.
-    setup: async (ctx) => {
-      if (migrationsPath === null) return;
-      await applyMigrations(ctx, migrationsPath, dbKey);
-      await reloadPostgrestSchema(ctx, dbKey, `${name}-rest`);
-    },
     // The group's consolidated handle at `ctx.svc.<name>`.
     helpers: (): SupabaseHelpers => ({
       sql: new SQL(adminDbUrl, { label: name }),

package/src/daemon.ts

@@ -48,6 +48,7 @@ import {
   walkProjectFiles,
   ENVIRONMENT_SERVICE,
   REACH_REPORT,
+  READS_REPORT,
   type CoverageBundleRef,
   type CoverageReport,
   type ServiceCoverageCapture,
@@ -97,11 +98,11 @@ import {
   sanitizeSegment,
 } from "./harness/volume-paths.js";
 import { pollUntilReady } from "./harness/ready-poll.js";
-import { runWrapperRules } from "./harness/wrapper-rules.js";
+import { fsUsageDiagnostics, runWrapperRules } from "./harness/wrapper-rules.js";
 import type { WrapperDiagnostic } from "./harness/wrapper-rules.js";
 import { cpus, tmpdir } from "node:os";
 import { APP_DIR, WORKSPACE, resolveExistingProjectPath, resolveProjectPath, takeProjectReads } from "./project-files.js";
-import { projectReach, renderReach, renderReadsLcov, type ReachSource } from "./harness/reach.js";
+import { compactReach, projectReach, renderReachRules, renderReadsLcov, type ReachRules, type ReachSource } from "./harness/reach.js";
 import { installFetchWrapper, isTransportError } from "./harness/fetch.js";
 import {
   bindInstrumentationScope,
@@ -4237,7 +4238,7 @@ async function writeCoverageInventory(svc: NamedService): Promise<string | undef
  * bring-up capture. The resolution's own path lookups are bookkeeping,
  * not reads: they are taken out of the read set again afterwards.
  */
-async function computeProjectReach(all: NamedService[]): Promise<string[]> {
+async function computeProjectReach(all: NamedService[]): Promise<ReachRules> {
   const before = takeProjectReads();
   try {
     return await computeProjectReachInner(all);
@@ -4248,11 +4249,12 @@ async function computeProjectReach(all: NamedService[]): Promise<string[]> {
   }
 }
 
-async function computeProjectReachInner(all: NamedService[]): Promise<string[]> {
+async function computeProjectReachInner(all: NamedService[]): Promise<ReachRules> {
   const files = await walkProjectFiles(WORKSPACE, [".git"]);
   const sources: ReachSource[] = [];
   for (const svc of all) {
     const src: ReachSource = {
+      service: svc.name,
       volumeSources: (svc.volumes ?? []).flatMap((v) => (v.source ? [v.source] : [])),
     };
     if (svc.image.type === "dockerfile") {
@@ -4270,29 +4272,35 @@ async function computeProjectReachInner(all: NamedService[]): Promise<string[]>
     }
     sources.push(src);
   }
-  return projectReach(files, sources);
+  const reach = projectReach(files, sources);
+  return { version: 1, sources, prefixes: compactReach(files, reach) };
 }
 
 /**
  * The synthetic `__environment__` capture: what the environment itself
- * knows — the project's reach (bring-up only) and the project files the
- * harness read through the SDK since the previous capture, as whole
- * lcov records. Present whenever some service opted in, so the two ride
- * the same bundle as the services' reports.
+ * knows — the project's reach as rules (bring-up only) and the project
+ * files the harness read through the SDK since the previous capture, as
+ * whole lcov records. Present on every capture of every project, coverage
+ * adapters or not: the reach is a property of the environment config,
+ * and it is what lets the control plane tell that a change to `site/**`
+ * can affect no test at all. When services opted in, the two ride the
+ * same bundle as their reports.
  */
 async function captureEnvironmentCoverage(all: NamedService[], baseline: boolean): Promise<ServiceCoverageCapture> {
   const reports: CoverageReport[] = [];
   if (baseline) {
     try {
-      const reach = await computeProjectReach(all);
-      reports.push({ name: REACH_REPORT, content: renderReach(reach) });
-      console.log(`[coverage] project reach: ${reach.length} file(s) some build or volume can carry`);
+      const rules = await computeProjectReach(all);
+      reports.push({ name: REACH_REPORT, content: renderReachRules(rules) });
+      console.log(
+        `[coverage] project reach: ${rules.sources.length} source(s), ${rules.prefixes.length} prefix(es) some build or volume can carry`,
+      );
     } catch (err) {
       console.warn(`[coverage] project reach not computed: ${err instanceof Error ? err.message : String(err)}`);
     }
   }
   const reads = takeProjectReads();
-  reports.push({ name: "reads.lcov", content: renderReadsLcov(reads) });
+  reports.push({ name: READS_REPORT, content: renderReadsLcov(reads) });
   return { service: ENVIRONMENT_SERVICE, reports };
 }
 
@@ -4304,7 +4312,8 @@ async function captureServiceCoverage(baseline = false): Promise<ServiceCoverage
   for (const [name, s] of RUNTIME_SERVICES) byName.set(name, s);
   const all = [...byName.values()];
   const services = all.filter((s) => s.coverage !== undefined);
-  if (services.length === 0) return [];
+  // The environment's own capture is unconditional (see above); the
+  // services' come from the ones that opted in, none included.
   const environment = captureEnvironmentCoverage(all, baseline);
   const captures = await Promise.all(
     services.map(async (svc): Promise<ServiceCoverageCapture> => {
@@ -6415,7 +6424,7 @@ async function runTypecheck(): Promise<TypecheckReport> {
     return { status: "failed", errors: [], totalErrors: 0, durationMs, detail: "typecheck timed out" };
   }
   const { errors, total, suppressed } = parseTscOutput(res.stdout + res.stderr);
-  const wrapper = await runWrapperRulesReport(config);
+  const wrapper = [...(await runWrapperRulesReport(config)), ...(await rawFsReport())];
   const strip = ({ file, line, column, code, message }: WrapperDiagnostic): TypecheckError => ({
     file,
     line,
@@ -6453,6 +6462,29 @@ async function runTypecheck(): Promise<TypecheckReport> {
   };
 }
 
+/**
+ * The raw-fs rule (`SPECTEST2003`, advisory) over the test tree: a test
+ * that opens a project file through `node:fs` hides a dependence from the
+ * subset selector. Textual, so it needs no compiler; best-effort.
+ */
+async function rawFsReport(): Promise<WrapperDiagnostic[]> {
+  const root = path.join(APP_DIR, "tests");
+  if (!existsSync(root)) return [];
+  try {
+    const files = await walkProjectFiles(root, ["node_modules"]);
+    const out: WrapperDiagnostic[] = [];
+    for (const rel of files) {
+      if (!/\.(ts|tsx|js|jsx|mts|cts)$/.test(rel)) continue;
+      const text = await fs.readFile(path.join(root, rel), "utf8");
+      out.push(...fsUsageDiagnostics(path.join("tests", rel), text));
+    }
+    return out;
+  } catch (err) {
+    console.warn(`[typecheck] raw fs rule threw: ${(err as Error)?.message ?? err}`);
+    return [];
+  }
+}
+
 /**
  * The blocking rules, run against the BAKED compiler whatever the project
  * pins. Best-effort in every direction: an install that predates the API, a