@nifrajs/cli 0.1.0-alpha.1 → 0.1.0-alpha.3

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nifrajs/cli",
-  "version": "0.1.0-alpha.1",
+  "version": "0.1.0-alpha.3",
   "description": "The nifra CLI — zero-config dev/build/start for a nifra app (`nifra dev`, `nifra build`, `nifra start`).",
   "keywords": [
     "bun",
@@ -41,10 +41,11 @@
     "access": "public"
   },
   "dependencies": {
-    "@nifrajs/client": "workspace:*",
-    "@nifrajs/runner": "workspace:*",
-    "@nifrajs/schema": "workspace:*",
-    "@nifrajs/web": "workspace:*"
+    "@nifrajs/client": "0.1.0-alpha.2",
+    "@nifrajs/runner": "0.1.0-alpha.2",
+    "@nifrajs/schema": "0.1.0-alpha.2",
+    "@nifrajs/web": "0.1.0-alpha.3",
+    "create-nifra": "0.1.0-alpha.2"
   },
   "repository": {
     "type": "git",

package/src/check.ts

@@ -16,7 +16,8 @@
  * anything fails. Pure scanners (`scanFetchText`, `scanServerOnlyImports`) are unit-tested.
  */
 
-import { join } from "node:path"
+import { readFileSync } from "node:fs"
+import { dirname, isAbsolute, join } from "node:path"
 import { Glob } from "bun"
 
 export interface SourceFinding {
@@ -27,6 +28,13 @@ export interface SourceFinding {
 /** @deprecated kept for back-compat with existing tests; prefer {@link SourceFinding}. */
 export type FetchFinding = SourceFinding
 
+/** A server-only-import finding, carrying the offending module specifier on top of the base location so
+ * the diagnostic can show the import chain `routeFile → specifier` (the direct edge the regex scan sees). */
+export interface ServerImportFinding extends SourceFinding {
+  /** The server-only module specifier the route top-level-imports (e.g. `pg`, `node:fs`, `../db`). */
+  readonly specifier: string
+}
+
 // `fetch( <ws> ('|"|`) / (not /)` — a string/template arg starting with a single `/` is a relative URL,
 // i.e. same-origin = this app's own API. `(?<![.\w])` skips `.fetch(` (a method) and `prefetch(`; the
 // `(?!\/)` skips protocol-relative `//host` (an external origin). A variable arg (`fetch(url)`) is left
@@ -307,16 +315,238 @@ export function scanUntypedClient(file: string, content: string): SourceFinding[
 }
 
 /** Scan a route module for top-level server-only imports. Returns `[]` for non-route files (only
- * `routes/` modules are browser-bundled, so a server-only import elsewhere is fine). Pure. */
-export function scanServerOnlyImports(file: string, content: string): SourceFinding[] {
+ * `routes/` modules are browser-bundled, so a server-only import elsewhere is fine). Each finding carries
+ * the offending `specifier` so the diagnostic can render the `routeFile → specifier` chain. Pure. */
+export function scanServerOnlyImports(file: string, content: string): ServerImportFinding[] {
   if (!ROUTE_FILE.test(file)) return []
-  const out: SourceFinding[] = []
+  const out: ServerImportFinding[] = []
   const lines = content.split("\n")
   STATIC_IMPORT.lastIndex = 0
   for (let m = STATIC_IMPORT.exec(content); m !== null; m = STATIC_IMPORT.exec(content)) {
-    if (!SERVER_ONLY.test(m[1] ?? "")) continue
+    const specifier = m[1] ?? ""
+    if (!SERVER_ONLY.test(specifier)) continue
     const line = lineAt(content, m.index)
-    out.push({ file, line, snippet: (lines[line - 1] ?? "").trim() })
+    out.push({ file, line, snippet: (lines[line - 1] ?? "").trim(), specifier })
+  }
+  return out
+}
+
+// ---------------------------------------------------------------------------------------------------
+// #4.4 — TRANSITIVE import-chain resolution for `server-only-import`. `scanServerOnlyImports` above is a
+// pure per-file regex scan: it sees only the route's DIRECT `import` line, so it reports the direct edge
+// `routes/x → ../db`. The build leak-guard, which has the real module graph, reports the full transitive
+// `route → ../data → ../db → pg`. These helpers give `nifra check` the same depth via a BOUNDED
+// import-resolution walk: from a flagged route, resolve its local imports (`Bun.resolveSync`), BFS the
+// local module graph, and build the shortest chain to a server-only SINK. It's best-effort: an import
+// that can't be precisely resolved (a bare pkg, a tsconfig path alias) falls back to the direct edge.
+// ---------------------------------------------------------------------------------------------------
+
+// Server-only specifiers that are TERMINAL sinks — a bare `node:`/`bun:` builtin or a known server-only
+// npm package. These are never local source we can walk into, so the chain ends here. (Same vocabulary
+// as SERVER_ONLY, minus the relative `../db` arm — a relative `db` module IS local source we resolve.)
+const SERVER_ONLY_SINK =
+  /^(?:node:|bun:)|^(?:postgres|pg|mysql2|ioredis|redis|better-sqlite3|mongodb|@libsql\/client)$|^drizzle-orm\/(?:node-postgres|postgres-js|bun-sqlite|libsql|mysql2|pglite)\b/
+// The `.server` convention: a module named `*.server.ts(x)` is server-only (the client build empties it).
+const SERVER_MODULE_FILE = /\.server(\.[cm]?[jt]sx?)?$/
+// The explicit poison-import marker (`@nifrajs/web/server-only`) — a module opting into the client-leak
+// guard. A resolved file whose source carries this side-effect import is a server-only sink.
+const SERVER_ONLY_MARKER_IMPORT = /import\s+["']@nifrajs\/web\/server-only["']/
+// Depth/visited caps keep the walk linear + cycle-safe. A route's server-only dependency sits within a
+// few hops in practice; the bound stops a pathological graph from blowing up the per-file scan.
+const TRANSITIVE_MAX_DEPTH = 8
+const TRANSITIVE_MAX_VISITED = 200
+
+/** A relative module specifier (`./x`, `../y`) — the only kind we resolve + walk into (a bare specifier
+ * is either a sink we recognise by name or a third-party dep we don't follow into node_modules). */
+const isRelativeSpecifier = (spec: string): boolean =>
+  spec.startsWith("./") || spec.startsWith("../")
+
+// A FRESH copy of the static-import regex per scan. The transitive walk is REENTRANT — the outer
+// per-route loop and the inner BFS both scan imports — and a single shared global-flag regex carries
+// `lastIndex` state, so reusing the module-level `STATIC_IMPORT` across nested calls corrupts the outer
+// loop's position (it restarts forever). A fresh instance per call keeps each scan's state private.
+const staticImportRegex = (): RegExp => new RegExp(STATIC_IMPORT.source, STATIC_IMPORT.flags)
+
+/** Extract the static, non-type import specifiers from a module's source (the edges to follow/inspect),
+ * each with the match index (for line attribution). Mirrors {@link STATIC_IMPORT}, so `import type` +
+ * dynamic `import()` are already excluded. Uses a fresh regex instance, so it's safe under the reentrant
+ * transitive walk. Pure. */
+function staticImportEdges(content: string): Array<{ specifier: string; index: number }> {
+  const edges: Array<{ specifier: string; index: number }> = []
+  const re = staticImportRegex()
+  for (let m = re.exec(content); m !== null; m = re.exec(content)) {
+    if (m[1] !== undefined) edges.push({ specifier: m[1], index: m.index })
+  }
+  return edges
+}
+
+/** Extract the static, non-type import specifiers from a module's source (the edges to follow/inspect).
+ * Mirrors {@link STATIC_IMPORT}, so `import type` + dynamic `import()` are already excluded. Pure. */
+export function parseStaticImports(content: string): string[] {
+  return staticImportEdges(content).map((e) => e.specifier)
+}
+
+/** The server-only SINK an import specifier names directly (a `node:`/`bun:` builtin or a known
+ * server-only package), or `undefined` if it isn't a by-name sink. Pure — the label is the specifier
+ * itself (it's already the actionable name). */
+export function directSinkSpecifier(spec: string): string | undefined {
+  return SERVER_ONLY_SINK.test(spec) ? spec : undefined
+}
+
+/** One transitive server-only finding: the route module, the route's offending top-level import (the
+ * first hop / `specifier`), the line + snippet of that import, and the FULL chain to the sink. */
+export interface TransitiveServerImportFinding extends ServerImportFinding {
+  /** `[routeFile, ...as-written specifiers…, sink]` — the shortest path the walk found. Length 2 means
+   * the route imports the sink directly (same as the regex scan's direct edge). */
+  readonly chain: readonly string[]
+  /** True when a precise transitive resolve wasn't possible for the first hop (a bare pkg / path alias),
+   * so the chain is the honest direct edge rather than a fabricated deeper path. */
+  readonly fallback: boolean
+}
+
+/** A resolver from `(fromFile, specifier)` to an absolute module path, or `undefined` when it can't be
+ * resolved precisely (bare pkg, path alias, missing file). Abstracted so the BFS is unit-testable with a
+ * fake graph (no real fs). The production resolver wraps `Bun.resolveSync`. */
+export type ModuleResolver = (fromFile: string, specifier: string) => string | undefined
+/** Reads a resolved module's source, or `undefined` if unreadable. Abstracted for the same reason. */
+export type ModuleReader = (absPath: string) => string | undefined
+
+/**
+ * BFS the LOCAL module graph from a route file for the SHORTEST import chain that reaches a server-only
+ * sink, returning `[routeFile, …as-written specifiers…, sink]` or `undefined` if none is reachable. A
+ * node's outgoing edges are its static imports; an edge is followed only when it's a RELATIVE specifier
+ * that `resolve` maps to a readable local file (so the walk never descends into node_modules or chases an
+ * unresolvable alias). At each node, a by-name sink import (`node:fs`, `postgres`) OR a resolved
+ * `*.server` / `server-only`-marked dependency terminates the chain. Bounded by depth + a visited set, so
+ * it's linear and cycle-free. `routeFile`/`routeContent` seed the walk; `resolve`/`read` supply the graph
+ * — pure given those, so it's unit-testable with a fake graph.
+ */
+export function walkServerOnlyChain(
+  routeFile: string,
+  routeContent: string,
+  resolve: ModuleResolver,
+  read: ModuleReader,
+): readonly string[] | undefined {
+  // Frontier nodes carry the absolute file to inspect, the source to scan, the display chain so far
+  // (route + the as-written specifier of each hop), and the file the imports resolve relative to.
+  interface Node {
+    readonly abs: string
+    readonly content: string
+    readonly chain: readonly string[]
+    readonly depth: number
+  }
+  const seen = new Set<string>([routeFile])
+  let frontier: Node[] = [{ abs: routeFile, content: routeContent, chain: [routeFile], depth: 0 }]
+  let visited = 0
+  while (frontier.length > 0) {
+    const next: Node[] = []
+    for (const node of frontier) {
+      if (node.depth >= TRANSITIVE_MAX_DEPTH) continue
+      for (const spec of parseStaticImports(node.content)) {
+        // (a) A by-name sink (builtin / known server-only pkg) → the chain ends here (shortest first,
+        // since BFS reaches the nearest sink before any deeper one).
+        const sink = directSinkSpecifier(spec)
+        if (sink !== undefined) return [...node.chain, sink]
+        // (b) Only relative specifiers are local source we resolve + walk into. A bare third-party
+        // specifier that isn't a known sink is a leaf — don't follow it into node_modules.
+        if (!isRelativeSpecifier(spec)) continue
+        const abs = resolve(node.abs, spec)
+        if (abs === undefined || seen.has(abs)) continue
+        // (c) A resolved `*.server` module is a server-only sink by the `.server` convention — the chain
+        // ends at it (named by the as-written specifier).
+        if (SERVER_MODULE_FILE.test(abs)) return [...node.chain, spec]
+        const content = read(abs)
+        if (content === undefined) continue // unreadable → can't walk; treat as a leaf
+        // (d) A resolved module that opts into the `server-only` marker is a sink too.
+        if (SERVER_ONLY_MARKER_IMPORT.test(content)) return [...node.chain, spec]
+        if (visited >= TRANSITIVE_MAX_VISITED) continue
+        visited++
+        seen.add(abs)
+        next.push({ abs, content, chain: [...node.chain, spec], depth: node.depth + 1 })
+      }
+    }
+    frontier = next
+  }
+  return undefined
+}
+
+/**
+ * Resolve the FULL transitive server-only chain(s) for a route module, given a real fs-backed resolver +
+ * reader. For each of the route's top-level imports, if a precise transitive walk finds a sink, the
+ * finding carries the full chain; otherwise — when the first hop is itself a direct by-name sink the
+ * regex scan already flags, or when a relative import can't be resolved — it falls back to the DIRECT
+ * edge (`fallback: true`), never a fabricated chain. Returns one finding per offending top-level import,
+ * de-duplicated to the shortest chain per first-hop specifier. Non-route files yield `[]`.
+ */
+export function resolveServerOnlyChains(
+  file: string,
+  content: string,
+  resolve: ModuleResolver,
+  read: ModuleReader,
+): TransitiveServerImportFinding[] {
+  if (!ROUTE_FILE.test(file)) return []
+  const lines = content.split("\n")
+  const out: TransitiveServerImportFinding[] = []
+  const flaggedSpecifiers = new Set<string>()
+  // Collect the route's import edges up front (fresh-regex scan) so the per-edge logic below can call
+  // the REENTRANT transitive walk without corrupting a shared regex's `lastIndex` (the walk also scans
+  // imports). Driving `STATIC_IMPORT.exec` here directly would restart this loop forever.
+  for (const { specifier, index } of staticImportEdges(content)) {
+    if (flaggedSpecifiers.has(specifier)) continue
+    const line = lineAt(content, index)
+    const snippet = (lines[line - 1] ?? "").trim()
+    // (1) A direct by-name sink (`node:fs`, `postgres`) — the route imports it itself; chain is the
+    // direct edge. (Length-2 chain == the regex scan's existing `[route, specifier]`.)
+    if (directSinkSpecifier(specifier) !== undefined) {
+      flaggedSpecifiers.add(specifier)
+      out.push({ file, line, snippet, specifier, chain: [file, specifier], fallback: false })
+      continue
+    }
+    // (2) A relative local import — try the transitive walk from the resolved dependency. If it reaches
+    // a sink, emit the full chain rooted at THIS route's import line.
+    if (isRelativeSpecifier(specifier)) {
+      const abs = resolve(file, specifier)
+      if (abs === undefined) {
+        // Unresolvable relative import. If it's the known server-only `../db` convention the regex scan
+        // flags directly, fall back to the direct edge (precise resolve impossible — say so via
+        // `fallback`). Any other unresolvable relative import we can't assert is server-only — skip it.
+        if (SERVER_ONLY.test(specifier)) {
+          flaggedSpecifiers.add(specifier)
+          out.push({ file, line, snippet, specifier, chain: [file, specifier], fallback: true })
+        }
+        continue
+      }
+      // The `.server` / marker sink can be the first hop itself.
+      if (SERVER_MODULE_FILE.test(abs)) {
+        flaggedSpecifiers.add(specifier)
+        out.push({ file, line, snippet, specifier, chain: [file, specifier], fallback: false })
+        continue
+      }
+      const depContent = read(abs)
+      if (depContent === undefined) continue
+      if (SERVER_ONLY_MARKER_IMPORT.test(depContent)) {
+        flaggedSpecifiers.add(specifier)
+        out.push({ file, line, snippet, specifier, chain: [file, specifier], fallback: false })
+        continue
+      }
+      // Walk INTO the dependency: build the chain `[depAbs, …]` then re-root it at the route's import.
+      const subChain = walkServerOnlyChain(abs, depContent, resolve, read)
+      if (subChain !== undefined) {
+        flaggedSpecifiers.add(specifier)
+        // subChain is `[depAbs, …hops…, sink]`; replace its head (the resolved dep path) with the
+        // route's as-written specifier so the chain reads `routes/x → ../data → ../db → node:crypto`.
+        const chain = [file, specifier, ...subChain.slice(1)]
+        out.push({ file, line, snippet, specifier, chain, fallback: false })
+        continue
+      }
+      // (3) The relative `../db`-style convention the regex scan flags directly, but where the walk
+      // found no deeper sink (e.g. the file wasn't readable past the first hop) — fall back to the
+      // direct edge so we still surface the known-server-only convention rather than going silent.
+      if (SERVER_ONLY.test(specifier)) {
+        flaggedSpecifiers.add(specifier)
+        out.push({ file, line, snippet, specifier, chain: [file, specifier], fallback: true })
+      }
+    }
   }
   return out
 }
@@ -366,6 +596,71 @@ export async function scanProject(cwd: string): Promise<SourceFinding[]> {
   return out.sort(bySite)
 }
 
+// #7 — server-manifest drift. `server-manifest.ts` is a COMMITTED generated file (it bakes the route
+// list + client-entry hash for a disk-less worker). If `routes/` changes but the manifest isn't
+// regenerated, the worker serves a stale route table — a silent edge break that no other check catches.
+// We diff each committed manifest's imported route files against the live `routes/` tree.
+
+// The marker comment `generateServerManifest` emits at the top of the file — identifies a generated
+// manifest unambiguously (so a user file merely named `server-manifest.ts` isn't mistaken for one).
+const GENERATED_MARKER = "GENERATED by @nifrajs/web generateServerManifest"
+// The first route-import specifier's prefix up to `routes/` (e.g. `./`, `../`, `./src/`) — used to
+// locate the routes dir relative to the manifest, and to strip to route-relative keys.
+const ROUTES_PREFIX = /["'](\.{1,2}(?:\/[^"'/]+)*?\/routes\/)[^"']+["']/
+// Route file extensions discovery recognises (mirrors `@nifrajs/web/fs`'s filter).
+const ROUTE_FILE_EXT = /\.(tsx|jsx|svelte|vue|mdx)$/
+
+export interface ManifestDriftFinding {
+  /** The committed server-manifest file (relative to cwd). */
+  readonly file: string
+  /** Route files in `routes/` missing from the manifest (stale manifest — these routes won't serve). */
+  readonly missing: readonly string[]
+  /** Route files the manifest imports that no longer exist in `routes/` (a dangling import). */
+  readonly extra: readonly string[]
+}
+
+/**
+ * Scan the project for committed, generated `server-manifest.ts` files and report any that have drifted
+ * from the live `routes/` tree. For each, the routes dir is derived from the manifest's own import
+ * prefix (so a manifest that imports `../routes/x` is checked against the sibling `routes/`), its route
+ * imports are parsed (`parseManifestRouteFiles`), and the set is diffed against the actual route files
+ * on disk. A clean manifest yields no finding. Returns one finding per drifted manifest. Never throws on
+ * a per-manifest miss (an unreadable routes dir is simply skipped).
+ */
+export async function scanServerManifestDrift(cwd: string): Promise<ManifestDriftFinding[]> {
+  const { parseManifestRouteFiles, diffManifestRoutes, isManifestInSync } = await import(
+    "@nifrajs/web/build"
+  )
+  const findings: ManifestDriftFinding[] = []
+  for await (const rel of new Glob("**/server-manifest.ts").scan({ cwd, dot: false })) {
+    if (IGNORED.test(rel)) continue
+    const source = await Bun.file(join(cwd, rel)).text()
+    if (!source.includes(GENERATED_MARKER)) continue // not a generated manifest — skip
+    const prefixMatch = ROUTES_PREFIX.exec(source)
+    if (prefixMatch?.[1] === undefined) continue // no `routes/` imports → nothing to diff (empty app)
+    const routesPrefix = prefixMatch[1]
+    const manifestFiles = parseManifestRouteFiles(source, routesPrefix)
+    // The routes dir sits at `<manifest dir>/<prefix>` — resolve it relative to the manifest file.
+    const manifestDir = rel.includes("/") ? rel.slice(0, rel.lastIndexOf("/")) : ""
+    const routesDir = join(cwd, manifestDir, routesPrefix)
+    let discovered: string[]
+    try {
+      discovered = (
+        await Array.fromAsync(new Glob("**/*.{tsx,jsx,svelte,vue,mdx}").scan({ cwd: routesDir }))
+      )
+        .map((f) => f.replaceAll("\\", "/"))
+        .filter((f) => ROUTE_FILE_EXT.test(f))
+    } catch {
+      continue // routes dir gone/unreadable — not a drift we can assess
+    }
+    const drift = diffManifestRoutes(manifestFiles, discovered)
+    if (!isManifestInSync(drift)) {
+      findings.push({ file: rel, missing: drift.missing, extra: drift.extra })
+    }
+  }
+  return findings.sort((a, b) => a.file.localeCompare(b.file))
+}
+
 interface TypecheckResult {
   readonly ran: boolean
   readonly ok: boolean
@@ -430,6 +725,7 @@ export interface CheckDiagnostic {
     | "server-only-import"
     | "response-route"
     | "undeclared-dependency"
+    | "server-manifest-drift"
   /** `error` fails the gate (a real contract break); `warning` is advisory — surfaced to the agent but
    * does NOT fail `nifra check`, for patterns that are sometimes intentional (a route returning a raw
    * `Response`, which silently drops the typed client to `data: never` but is valid for files/redirects). */
@@ -444,6 +740,18 @@ export interface CheckDiagnostic {
   /** A richer, agent-oriented fix hint. Diffs are only emitted when the edit is mechanical and local;
    * ambiguous cases give concrete steps instead of pretending the checker can safely rewrite code. */
   readonly suggestion?: CheckSuggestion
+  /**
+   * The import chain that pulls server-only code into the browser bundle, as display labels
+   * `[routeFile, …as-written specifiers…, sink]`. Set only on `server-only-import`.
+   *
+   * #4.4: this is now the FULL **transitive** chain — a bounded import-resolution walk (`Bun.resolveSync`
+   * from each file's dir, BFS the local module graph) follows `route → ../data → ../db → node:crypto`,
+   * matching the build leak-guard's depth (`detectNodeBuiltinsInClient` in `@nifrajs/web/build`). A
+   * length-2 chain (`[routeFile, specifier]`) means the route imports the sink directly. When a hop can't
+   * be resolved precisely (a bare pkg, a tsconfig path alias), the walk degrades to the honest direct
+   * edge rather than fabricating a deeper path — never a lie.
+   */
+  readonly chain?: readonly string[]
 }
 
 export interface CheckSuggestion {
@@ -472,6 +780,8 @@ const RESPONSE_ROUTE_HINT =
   "route handler returns a raw Response — the typed client infers `data: never`, so drift detection is lost for this route. Return a plain object (it's serialized for you), or add `{ response: t.… }` to the route if a raw Response is intended (file/redirect/stream)"
 const UNDECLARED_DEP_HINT =
   "imported package is not declared in package.json dependencies — run bun add to declare it"
+const MANIFEST_DRIFT_HINT =
+  "server-manifest.ts is out of sync with routes/ — re-run the build to regenerate it (a disk-less worker bakes this route table, so the drift is a silent edge break), then commit it"
 
 function oneLineDiff(file: string, line: number, before: string, after: string): string {
   return `--- ${file}:${line}\n+++ ${file}:${line}\n@@\n-${before}\n+${after}`
@@ -566,14 +876,28 @@ function ownFetchSuggestion(
   }
 }
 
-function serverImportSuggestion(): CheckSuggestion {
+function serverImportSuggestion(
+  specifier: string,
+  chain: readonly string[],
+  fallback: boolean,
+): CheckSuggestion {
+  const sink = chain[chain.length - 1] ?? specifier
+  // Surface the resolved chain in the fix steps so the agent sees the full path (`route → ../data →
+  // ../db → node:crypto`) and which module to cut — not just the route's own top-level import.
+  const chainStep =
+    chain.length > 2
+      ? fallback
+        ? `Server-only code reaches this route through \`${chain.join(" → ")}\` (the deeper chain couldn't be resolved precisely — trace it from \`${specifier}\`).`
+        : `Server-only code reaches this route transitively: \`${chain.join(" → ")}\`. The sink is \`${sink}\`; break the chain at the first hop (\`${specifier}\`) or move the sink behind the server boundary.`
+      : undefined
   return {
     kind: "manual",
     title: "Move server-only code behind the route server boundary",
     steps: [
-      "Remove the top-level server-only import from the route module.",
+      ...(chainStep !== undefined ? [chainStep] : []),
+      `Remove the top-level \`import … from "${specifier}"\` from this route module (it's bundled for the browser).`,
       "Access backend/data work through the route `loader`/`action` context (`api`, `env`, or project server context).",
-      "If a direct module import is unavoidable, lazy-load it inside the server-only loader/action path.",
+      `If a direct module import is unavoidable, lazy-load it (\`await import("${specifier}")\`) inside the server-only loader/action path.`,
     ],
   }
 }
@@ -598,11 +922,14 @@ export async function collectCheckResult(
   const fetches: SourceFinding[] = []
   const staticRoutes: StaticRouteFinding[] = []
   const untypedClients: SourceFinding[] = []
-  const serverImports: SourceFinding[] = []
+  const serverImports: TransitiveServerImportFinding[] = []
   const responseRoutes: SourceFinding[] = []
+  // Route modules (rel + content) collected during the walk, so the TRANSITIVE server-only resolution
+  // (#4.4) — which needs fs-backed import resolution, not just per-file text — runs after the walk.
+  const routeModules: Array<{ rel: string; content: string }> = []
   // lintsOnly: skip the tsc pass (seconds on a big project) and run just the near-instant source
   // lints — the agent inner-loop mode; the full gate stays the definition of done.
-  const [tc, _, dr] = await Promise.all([
+  const [tc, _, dr, manifestDrift] = await Promise.all([
     opts.lintsOnly
       ? Promise.resolve<TypecheckResult>({ ran: false, ok: true, note: "skipped (lintsOnly)" })
       : typecheck(cwd, opts.signal),
@@ -610,12 +937,39 @@ export async function collectCheckResult(
       fetches.push(...scanFetchText(rel, content))
       staticRoutes.push(...scanStaticRouteText(rel, content))
       untypedClients.push(...scanUntypedClient(rel, content))
-      serverImports.push(...scanServerOnlyImports(rel, content))
+      if (ROUTE_FILE.test(rel)) routeModules.push({ rel, content })
       responseRoutes.push(...scanResponseRoutes(rel, content))
     }),
     import("./doctor.ts").then((m) => m.collectDoctorResult(cwd)),
+    scanServerManifestDrift(cwd),
   ])
 
+  // #4.4: resolve the FULL transitive server-only chain per route. The resolver/reader are fs-backed
+  // (`Bun.resolveSync` from the importing file's dir + a sync read), so the walk follows the real local
+  // module graph (`route → ../data → ../db → node:crypto`). Both are best-effort + total: a resolve/read
+  // miss returns `undefined`, and the walk falls back to the direct edge. The whole walk is bounded
+  // (depth + visited caps), so a deep/cyclic graph can't blow up the check.
+  const resolveModule: ModuleResolver = (fromFile, specifier) => {
+    try {
+      // `fromFile` is a cwd-RELATIVE route path on the first hop (`routes/x.tsx`) but ABSOLUTE on the
+      // deeper hops the walk takes (it carries resolved absolute paths) — resolve the dir for each.
+      const fromAbs = isAbsolute(fromFile) ? fromFile : join(cwd, fromFile)
+      return Bun.resolveSync(specifier, dirname(fromAbs))
+    } catch {
+      return undefined // unresolvable (bare pkg without install, tsconfig path alias, missing file)
+    }
+  }
+  const readModule: ModuleReader = (absPath) => {
+    try {
+      return readFileSync(absPath, "utf8")
+    } catch {
+      return undefined
+    }
+  }
+  for (const { rel, content } of routeModules) {
+    serverImports.push(...resolveServerOnlyChains(rel, content, resolveModule, readModule))
+  }
+
   const diagnostics: CheckDiagnostic[] = []
   if (tc.ran && !tc.ok) {
     const lines = (tc.output ?? "").split("\n")
@@ -678,14 +1032,21 @@ export async function collectCheckResult(
     })
   }
   for (const f of serverImports.sort(bySite)) {
+    // #4.4: the FULL transitive chain the import-resolution walk found — `route → ../data → ../db →
+    // node:crypto`, matching the build leak-guard's depth — instead of just the direct edge. The chain's
+    // tail is the actual server-only sink; the head is the route. When a precise resolve wasn't possible
+    // (a bare pkg / path alias), `fallback` is set and the chain degrades to the honest direct edge.
+    const chain = f.chain
+    const sink = chain[chain.length - 1] ?? f.specifier
     diagnostics.push({
       rule: "server-only-import",
       severity: "error",
       file: f.file,
       line: f.line,
-      message: `${f.snippet} — ${SERVER_IMPORT_HINT}`,
+      message: `${f.snippet} — server-only "${sink}" reaches the browser bundle via ${chain.join(" → ")}${f.fallback ? " (direct edge — couldn't resolve the transitive chain precisely)" : ""}; ${SERVER_IMPORT_HINT}`,
       fix: SERVER_IMPORT_HINT,
-      suggestion: serverImportSuggestion(),
+      chain,
+      suggestion: serverImportSuggestion(f.specifier, chain, f.fallback),
     })
   }
   // Advisory — surfaced but NOT folded into `ok`, so it never fails the gate (a raw Response is valid).
@@ -717,6 +1078,27 @@ export async function collectCheckResult(
       })
     }
   }
+  // #7: a committed server-manifest.ts that drifted from routes/ — name the exact missing/extra routes.
+  for (const f of manifestDrift) {
+    const parts: string[] = []
+    if (f.missing.length > 0) parts.push(`missing from manifest: ${f.missing.join(", ")}`)
+    if (f.extra.length > 0) parts.push(`stale in manifest: ${f.extra.join(", ")}`)
+    diagnostics.push({
+      rule: "server-manifest-drift",
+      severity: "error",
+      file: f.file,
+      message: `${f.file} drifted from routes/ (${parts.join("; ")}) — ${MANIFEST_DRIFT_HINT}`,
+      fix: MANIFEST_DRIFT_HINT,
+      suggestion: {
+        kind: "manual",
+        title: "Regenerate the committed server manifest",
+        steps: [
+          "Re-run your build (`nifra build --target <t>` or your build script) — it regenerates server-manifest.ts from the current routes/.",
+          "Commit the updated server-manifest.ts.",
+        ],
+      },
+    })
+  }
 
   return {
     ok:
@@ -724,6 +1106,7 @@ export async function collectCheckResult(
       fetches.length === 0 &&
       untypedClients.length === 0 &&
       serverImports.length === 0 &&
+      manifestDrift.length === 0 &&
       (!dr.ran || dr.findings.length === 0),
     typecheck: tc.ran ? (tc.ok ? "pass" : "fail") : "skipped",
     diagnostics,
@@ -758,6 +1141,7 @@ export async function runCheck(
     ["server-only-import", "server-only import in a route module"],
     ["response-route", "route returns a raw Response (typed client → data: never)"],
     ["undeclared-dependency", "undeclared dependency in package.json"],
+    ["server-manifest-drift", "server-manifest.ts drifted from routes/"],
   ] as const) {
     const ds = counts(rule)
     if (rule === "response-route") {