@akanjs/language 3.1.2-rc.4 → 3.2.0-rc.1

package/server.js

@@ -5,6 +5,721 @@ import { existsSync, readdirSync, readFileSync, realpathSync, statSync } from "n
 import path from "node:path";
 import { fileURLToPath, pathToFileURL } from "node:url";
 
+// pkgs/@akanjs/language/moduleFacts.ts
+var testFilePattern = /\.(?:test|spec)\.tsx?$/;
+var moduleCallees = new Set([
+  "via",
+  "from",
+  "into",
+  "serve",
+  "slice",
+  "endpoint",
+  "internal",
+  "store",
+  "enumOf",
+  "adapt",
+  "dangerouslyAdapt"
+]);
+var intervalUnits = [
+  [86400000, "d"],
+  [3600000, "h"],
+  [60000, "m"],
+  [1000, "s"]
+];
+var argMethods = new Set(["param", "body", "search", "room", "msg"]);
+var ownerOf = (relativePath) => {
+  const [root, name] = relativePath.split("/");
+  return (root === "apps" || root === "libs") && name ? `${root}/${name}` : null;
+};
+var createFactReader = (ts, ast) => {
+  const spanOf = (source, node) => {
+    const start = node.getStart(source);
+    const end = node.getEnd();
+    const head = source.getLineAndCharacterOfPosition(start);
+    const tail = source.getLineAndCharacterOfPosition(end);
+    return {
+      fileName: source.fileName,
+      start,
+      end,
+      line: head.line,
+      character: head.character,
+      endLine: tail.line,
+      endCharacter: tail.character
+    };
+  };
+  const extentOf = (source, node) => ({
+    start: node.getStart(source),
+    end: node.getEnd()
+  });
+  const unwrap = (expression) => {
+    let current = expression;
+    while (ts.isParenthesizedExpression(current) || ts.isAsExpression(current) || ts.isSatisfiesExpression(current))
+      current = current.expression;
+    return current;
+  };
+  const moduleRefOf = (expression, holder) => {
+    let current = expression && unwrap(expression);
+    while (current && ts.isCallExpression(current) && ts.isPropertyAccessExpression(current.expression))
+      current = current.expression.expression;
+    if (current && ts.isStringLiteral(current))
+      return current.text;
+    if (!current || !ts.isPropertyAccessExpression(current))
+      return null;
+    return ts.isIdentifier(current.expression) && current.expression.text === holder ? current.name.text : null;
+  };
+  const returnedObject = (builder) => builder ? ast.firstObjectReturnedByArrow(builder) : null;
+  const builderOf = (call) => [...call.arguments].reverse().find((arg) => ts.isArrowFunction(arg) || ts.isFunctionExpression(arg));
+  const guardNameOf = (expression) => {
+    const value = unwrap(expression);
+    return ts.isPropertyAccessExpression(value) && ts.isIdentifier(value.expression) ? `${value.expression.text}.${value.name.text}` : ast.expressionName(value);
+  };
+  const guardsIn = (object) => {
+    const guards = object?.properties.find((property) => ts.isPropertyAssignment(property) && ast.nodeName(property.name) === "guards")?.initializer;
+    if (!guards)
+      return [];
+    if (ts.isArrayLiteralExpression(guards))
+      return guards.elements.map(guardNameOf).filter((name) => name !== null);
+    if (ts.isObjectLiteralExpression(guards))
+      return guards.properties.filter(ts.isPropertyAssignment).flatMap((property) => {
+        const value = unwrap(property.initializer);
+        const names = ts.isArrayLiteralExpression(value) ? value.elements.map(guardNameOf) : [guardNameOf(value)];
+        return names.map((name) => `${ast.nodeName(property.name)} ${name ?? "?"}`);
+      });
+    const single = guardNameOf(guards);
+    return single ? [single] : [];
+  };
+  const optionObjectOf = (call) => call.arguments.find((arg) => ts.isObjectLiteralExpression(arg) && arg.properties.some((property) => ast.propertyName(property) === "guards"));
+  const chainOf = (initializer) => {
+    let root = unwrap(initializer);
+    const methods = [];
+    while (ts.isCallExpression(root) && ts.isPropertyAccessExpression(root.expression) && ts.isCallExpression(unwrap(root.expression.expression))) {
+      methods.push(root.expression.name.text);
+      root = unwrap(root.expression.expression);
+    }
+    return { root: ts.isCallExpression(root) ? root : null, methods };
+  };
+  const keyName = (property) => ts.isPropertyAssignment(property) || ts.isMethodDeclaration(property) || ts.isShorthandPropertyAssignment(property) ? property.name : null;
+  const objectKeys = (source, object) => (object?.properties ?? []).flatMap((property) => {
+    const name = ast.propertyName(property);
+    const node = keyName(property);
+    return name && node ? [{ name, span: spanOf(source, node), extent: extentOf(source, property) }] : [];
+  });
+  const sliceKeysOf = (source, builder) => (returnedObject(builder)?.properties ?? []).flatMap((property) => {
+    if (!ts.isPropertyAssignment(property))
+      return [];
+    const name = ast.nodeName(property.name);
+    if (!name)
+      return [];
+    const { root, methods } = chainOf(property.initializer);
+    return [
+      {
+        name,
+        span: spanOf(source, property.name),
+        extent: extentOf(source, property),
+        guards: root ? guardsIn(optionObjectOf(root)) : [],
+        live: methods.includes("live"),
+        argCount: methods.filter((method) => argMethods.has(method)).length
+      }
+    ];
+  });
+  const verbReaderOf = (parameter) => {
+    const verbs = new Map;
+    if (parameter && ts.isObjectBindingPattern(parameter.name))
+      for (const element of parameter.name.elements) {
+        const verb = element.propertyName ?? element.name;
+        if (ts.isIdentifier(verb) && ts.isIdentifier(element.name))
+          verbs.set(element.name.text, verb.text);
+      }
+    const holder = parameter && ts.isIdentifier(parameter.name) ? parameter.name.text : null;
+    return (callee) => {
+      if (callee && ts.isIdentifier(callee))
+        return verbs.get(callee.text) ?? null;
+      if (callee && ts.isPropertyAccessExpression(callee) && ts.isIdentifier(callee.expression) && callee.expression.text === holder)
+        return callee.name.text;
+      return null;
+    };
+  };
+  const numberOf = (expression) => {
+    const value = unwrap(expression);
+    if (ts.isNumericLiteral(value))
+      return Number(value.text.replace(/_/g, ""));
+    if (!ts.isBinaryExpression(value))
+      return null;
+    const [left, right] = [numberOf(value.left), numberOf(value.right)];
+    if (left === null || right === null)
+      return null;
+    const operator = value.operatorToken.kind;
+    if (operator === ts.SyntaxKind.AsteriskToken)
+      return left * right;
+    if (operator === ts.SyntaxKind.PlusToken)
+      return left + right;
+    if (operator === ts.SyntaxKind.MinusToken)
+      return left - right;
+    return operator === ts.SyntaxKind.SlashToken && right ? left / right : null;
+  };
+  const durationOf = (expression, source) => {
+    if (!expression)
+      return null;
+    const ms = numberOf(expression);
+    if (ms === null)
+      return expression.getText(source);
+    const [size, unit] = intervalUnits.find(([size]) => ms >= size && ms % size === 0) ?? [1, "ms"];
+    return `${ms / size}${unit}`;
+  };
+  const modesOf = (option) => {
+    const object = option && unwrap(option);
+    if (!object || !ts.isObjectLiteralExpression(object))
+      return [];
+    return object.properties.filter(ts.isPropertyAssignment).flatMap((property) => {
+      const name = ast.nodeName(property.name);
+      const value = unwrap(property.initializer);
+      if (name === "enabled")
+        return value.kind === ts.SyntaxKind.FalseKeyword ? ["disabled"] : [];
+      if (name === "once")
+        return value.kind === ts.SyntaxKind.TrueKeyword ? ["once"] : [];
+      if (name === "lock")
+        return value.kind === ts.SyntaxKind.FalseKeyword ? ["unlocked"] : [];
+      if (name !== "serverMode" && name !== "operationMode")
+        return [];
+      const values = ts.isArrayLiteralExpression(value) ? [...value.elements] : [value];
+      return values.flatMap((element) => ts.isStringLiteralLike(element) ? [element.text] : ts.isPropertyAccessExpression(element) ? [element.name.text] : []);
+    });
+  };
+  const internalKeysOf = (source, builder) => {
+    const verbOf = verbReaderOf(builder?.parameters[0]);
+    return (returnedObject(builder)?.properties ?? []).flatMap((property) => {
+      if (!ts.isPropertyAssignment(property))
+        return [];
+      const name = ast.nodeName(property.name);
+      if (!name)
+        return [];
+      const { root } = chainOf(property.initializer);
+      const type = root ? verbOf(root.expression) : null;
+      const [first, second] = root?.arguments ?? [];
+      const schedule = type === "cron" && first ? ts.isStringLiteralLike(first) ? first.text : first.getText(source) : type === "interval" || type === "timeout" ? durationOf(first, source) : null;
+      const option = type === "initialize" || type === "destroy" ? first : second;
+      return [
+        {
+          name,
+          span: spanOf(source, property.name),
+          extent: extentOf(source, property),
+          type,
+          schedule,
+          modes: modesOf(option)
+        }
+      ];
+    });
+  };
+  const plugsOf = (source, builder) => {
+    const verbOf = verbReaderOf(builder?.parameters[0]);
+    return (returnedObject(builder)?.properties ?? []).flatMap((property) => {
+      if (!ts.isPropertyAssignment(property))
+        return [];
+      const name = ast.nodeName(property.name);
+      const { root } = chainOf(property.initializer);
+      const [target] = root && verbOf(root.expression) === "plug" ? root.arguments : [];
+      const targetName = target && guardNameOf(target);
+      return name && targetName ? [{ name, span: spanOf(source, property.name), target: targetName }] : [];
+    });
+  };
+  const endpointKeysOf = (source, builder) => {
+    const verbOf = verbReaderOf(builder?.parameters[0]);
+    return (returnedObject(builder)?.properties ?? []).flatMap((property) => {
+      if (!ts.isPropertyAssignment(property))
+        return [];
+      const name = ast.nodeName(property.name);
+      if (!name)
+        return [];
+      const { root, methods } = chainOf(property.initializer);
+      return [
+        {
+          name,
+          span: spanOf(source, property.name),
+          extent: extentOf(source, property),
+          verb: root ? verbOf(root.expression) : null,
+          guards: root ? guardsIn(optionObjectOf(root)) : [],
+          argCount: methods.filter((method) => argMethods.has(method)).length
+        }
+      ];
+    });
+  };
+  const filterQueriesOf = (source, builder) => {
+    const query = returnedObject(builder)?.properties.find((property) => ts.isPropertyAssignment(property) && ast.nodeName(property.name) === "query")?.initializer;
+    return query && ts.isObjectLiteralExpression(query) ? objectKeys(source, query) : [];
+  };
+  const typeOf = (expression) => {
+    const value = expression && unwrap(expression);
+    if (value && ts.isArrayLiteralExpression(value))
+      return { type: typeOf(value.elements[0]).type, array: true };
+    return { type: value ? ast.expressionName(value) : null, array: false };
+  };
+  const fieldsOf = (source, object) => (object?.properties ?? []).flatMap((property) => {
+    const name = ast.propertyName(property);
+    const node = keyName(property);
+    if (!name || !node)
+      return [];
+    const { root, methods } = ts.isPropertyAssignment(property) ? chainOf(property.initializer) : { root: null, methods: [] };
+    return [
+      {
+        name,
+        span: spanOf(source, node),
+        extent: extentOf(source, property),
+        ...typeOf(root?.arguments[0]),
+        optional: methods.includes("optional")
+      }
+    ];
+  });
+  const constantOf = (source, name, call) => {
+    const parents = call.arguments.map(unwrap).filter((arg) => ts.isIdentifier(arg) || ts.isPropertyAccessExpression(arg)).map((arg) => ast.expressionName(arg)).filter((parent) => parent !== null);
+    const fields = call.arguments.flatMap((arg) => fieldsOf(source, ast.firstObjectReturnedByArrow(arg)));
+    return { ...name, parents, fields };
+  };
+  const enumValuesOf = (call) => {
+    const list = call.arguments[1] && unwrap(call.arguments[1]);
+    if (!list || !ts.isArrayLiteralExpression(list))
+      return [];
+    return list.elements.flatMap((element) => ts.isStringLiteralLike(element) ? [element.text] : []);
+  };
+  const methodsOf = (source, statement) => statement.members.flatMap((member) => {
+    if (!ts.isMethodDeclaration(member) || !member.body)
+      return [];
+    const name = ast.nodeName(member.name);
+    if (!name || ts.getModifiers(member)?.some(({ kind }) => kind === ts.SyntaxKind.StaticKeyword))
+      return [];
+    return [{ name, span: spanOf(source, member.name), extent: extentOf(source, member) }];
+  });
+  const importsOf = (statement) => {
+    const { importClause, moduleSpecifier } = statement;
+    if (!importClause || !ts.isStringLiteral(moduleSpecifier))
+      return [];
+    const from = moduleSpecifier.text;
+    const bindings = importClause.namedBindings;
+    return [
+      ...importClause.name ? [{ name: importClause.name.text, imported: "default", from }] : [],
+      ...bindings && ts.isNamespaceImport(bindings) ? [{ name: bindings.name.text, imported: "*", from }] : [],
+      ...bindings && ts.isNamedImports(bindings) ? bindings.elements.map((element) => ({
+        name: element.name.text,
+        imported: (element.propertyName ?? element.name).text,
+        from
+      })) : []
+    ];
+  };
+  const implementsGuard = (node, guardNames) => !!node.heritageClauses?.some((clause) => clause.token === ts.SyntaxKind.ImplementsKeyword && clause.types.some(({ expression }) => guardNames.has(ast.expressionName(expression) ?? "")));
+  const guardClassIn = (node, guardNames) => {
+    if ((ts.isClassExpression(node) || ts.isClassDeclaration(node)) && implementsGuard(node, guardNames))
+      return node;
+    return ts.forEachChild(node, (child) => guardClassIn(child, guardNames)) ?? null;
+  };
+  const callsIn = (node, names) => {
+    if (ts.isCallExpression(node) && ts.isIdentifier(node.expression) && names.has(node.expression.text))
+      return node.expression.text;
+    return ts.forEachChild(node, (child) => callsIn(child, names)) ?? null;
+  };
+  const scopeOf = (node) => {
+    const scope = node.members.find((member) => ts.isPropertyDeclaration(member) && ast.nodeName(member.name) === "scope" && !!ts.getModifiers(member)?.some(({ kind }) => kind === ts.SyntaxKind.StaticKeyword))?.initializer;
+    const value = scope && unwrap(scope);
+    return value && ts.isStringLiteralLike(value) ? value.text : null;
+  };
+  const docOf = (source, node) => {
+    const { text } = source;
+    const ranges = ts.getLeadingCommentRanges(text, node.getFullStart()) ?? [];
+    const comments = [];
+    let end = node.getStart(source);
+    for (const range of [...ranges].reverse()) {
+      if ((text.slice(range.end, end).match(/\n/g)?.length ?? 0) > 1)
+        break;
+      comments.unshift(text.slice(range.pos, range.end));
+      end = range.pos;
+    }
+    const lines = comments.flatMap((comment) => comment.split(`
+`)).map((line) => line.trim().replace(/^\/\*\*?|\*\/$/g, "").replace(/^(?:\/\/[?*!]?|\*)/, "").replace(/\{@link\s+([^}\s|]+)[^}]*\}/g, "$1").trim()).filter((line) => line && !/^(?:biome-ignore|eslint-|@ts-)/.test(line));
+    return lines.length ? lines.join(" ") : null;
+  };
+  const functionsOf = (source) => {
+    const functions = new Map;
+    for (const statement of source.statements) {
+      if (ts.isFunctionDeclaration(statement) && statement.name && statement.body)
+        functions.set(statement.name.text, { statement, name: statement.name, body: statement.body });
+      if (!ts.isVariableStatement(statement))
+        continue;
+      for (const declaration of statement.declarationList.declarations) {
+        const initializer = declaration.initializer && unwrap(declaration.initializer);
+        if (initializer && ts.isIdentifier(declaration.name) && (ts.isArrowFunction(initializer) || ts.isFunctionExpression(initializer)))
+          functions.set(declaration.name.text, { statement, name: declaration.name, body: initializer.body });
+      }
+    }
+    return functions;
+  };
+  const guardFactoriesOf = (source, guardNames) => {
+    const functions = functionsOf(source);
+    const factories = new Map;
+    const factoryOf = (name, scope, via) => {
+      const found = functions.get(name);
+      if (!found)
+        return;
+      factories.set(name, {
+        name,
+        span: spanOf(source, found.name),
+        extent: extentOf(source, found.statement),
+        scope,
+        doc: docOf(source, found.statement),
+        via
+      });
+    };
+    for (const [name, { body }] of functions) {
+      const guard = guardClassIn(body, guardNames);
+      if (guard)
+        factoryOf(name, scopeOf(guard), null);
+    }
+    for (let isGrowing = true;isGrowing; ) {
+      isGrowing = false;
+      for (const [name, { body }] of functions) {
+        const called = factories.has(name) ? null : callsIn(body, new Set(factories.keys()));
+        if (!called)
+          continue;
+        factoryOf(name, factories.get(called)?.scope ?? null, called);
+        isGrowing = true;
+      }
+    }
+    return factories;
+  };
+  const guardsOf = (source, imports) => {
+    const guardNames = new Set([
+      "Guard",
+      ...imports.filter(({ imported }) => imported === "Guard").map(({ name }) => name)
+    ]);
+    const imported = new Set(imports.map(({ name }) => name));
+    const factories = guardFactoriesOf(source, guardNames);
+    const guards = [];
+    const calls = [];
+    for (const statement of source.statements) {
+      if (ts.isClassDeclaration(statement) && statement.name && implementsGuard(statement, guardNames))
+        guards.push({
+          name: statement.name.text,
+          span: spanOf(source, statement.name),
+          extent: extentOf(source, statement),
+          scope: scopeOf(statement),
+          doc: docOf(source, statement),
+          factory: null
+        });
+      if (!ts.isVariableStatement(statement))
+        continue;
+      for (const declaration of statement.declarationList.declarations) {
+        const initializer = declaration.initializer && unwrap(declaration.initializer);
+        if (!initializer || !ts.isIdentifier(declaration.name))
+          continue;
+        const made = {
+          name: declaration.name.text,
+          span: spanOf(source, declaration.name),
+          extent: extentOf(source, statement),
+          doc: docOf(source, statement)
+        };
+        if (ts.isClassExpression(initializer) && implementsGuard(initializer, guardNames))
+          guards.push({ ...made, scope: scopeOf(initializer), factory: null });
+        if (!ts.isCallExpression(initializer) || !ts.isIdentifier(initializer.expression))
+          continue;
+        const callee = initializer.expression.text;
+        const factory = factories.get(callee);
+        if (factory)
+          guards.push({ ...made, scope: factory.scope, factory: callee });
+        else if (imported.has(callee))
+          calls.push({ ...made, callee });
+      }
+    }
+    return { guards, guardFactories: [...factories.values()], guardCalls: calls };
+  };
+  const lowerFirst = (text) => text.charAt(0).toLowerCase() + text.slice(1);
+  const importsIn = (source) => source.statements.filter(ts.isImportDeclaration).flatMap(importsOf);
+  const read = (source, owner) => {
+    const imports = importsIn(source);
+    const facts = {
+      fileName: source.fileName,
+      owner,
+      imports,
+      ...guardsOf(source, imports),
+      constants: [],
+      enums: [],
+      filters: [],
+      models: [],
+      services: [],
+      slices: [],
+      endpoints: [],
+      internals: [],
+      adaptors: [],
+      stores: []
+    };
+    for (const statement of source.statements) {
+      if (!ts.isClassDeclaration(statement) || !statement.name)
+        continue;
+      const heritage = ast.heritageCallNamed(statement, moduleCallees);
+      if (!heritage)
+        continue;
+      const { callee, call } = heritage;
+      const name = { name: statement.name.text, span: spanOf(source, statement.name) };
+      const builder = builderOf(call);
+      if (callee === "via")
+        facts.constants.push(constantOf(source, name, call));
+      else if (callee === "enumOf")
+        facts.enums.push({ ...name, values: enumValuesOf(call) });
+      else if (callee === "from")
+        facts.filters.push({ ...name, queries: filterQueriesOf(source, builder) });
+      else if (callee === "into")
+        facts.models.push({ ...name, model: name.name.endsWith("Model") ? lowerFirst(name.name.slice(0, -5)) : null });
+      else if (callee === "serve")
+        facts.services.push({
+          ...name,
+          model: moduleRefOf(call.arguments[0], "db"),
+          methods: methodsOf(source, statement),
+          plugs: plugsOf(source, builder)
+        });
+      else if (callee === "slice")
+        facts.slices.push({
+          ...name,
+          model: moduleRefOf(call.arguments[0], "srv"),
+          guards: guardsIn(call.arguments.find(ts.isObjectLiteralExpression)),
+          keys: sliceKeysOf(source, builder)
+        });
+      else if (callee === "internal")
+        facts.internals.push({
+          ...name,
+          model: moduleRefOf(call.arguments[0], "srv"),
+          keys: internalKeysOf(source, builder)
+        });
+      else if (callee === "adapt" || callee === "dangerouslyAdapt") {
+        const refName = call.arguments[0] && unwrap(call.arguments[0]);
+        facts.adaptors.push({
+          ...name,
+          extent: extentOf(source, statement),
+          refName: refName && ts.isStringLiteralLike(refName) ? refName.text : null,
+          plugs: plugsOf(source, builder),
+          doc: docOf(source, statement)
+        });
+      } else if (callee === "endpoint")
+        facts.endpoints.push({
+          ...name,
+          model: moduleRefOf(call.arguments[0], "srv"),
+          keys: endpointKeysOf(source, builder)
+        });
+      else if (callee === "store")
+        facts.stores.push({
+          ...name,
+          model: moduleRefOf(call.arguments[0], "sig"),
+          stateKeys: objectKeys(source, returnedObject(builder)),
+          actions: methodsOf(source, statement)
+        });
+    }
+    return facts;
+  };
+  return { read, spanOf, extentOf, docOf, importsIn, moduleRefOf, chainOf, unwrap };
+};
+
+// pkgs/akanjs/common/trimSlashes.ts
+var trimTrailingSlashes = (value) => {
+  let end = value.length;
+  while (end > 0 && value[end - 1] === "/")
+    end -= 1;
+  return value.slice(0, end);
+};
+
+// pkgs/akanjs/common/routeConvention.ts
+var ROUTE_SOURCE_RE = /^\.\/(.+)\.(tsx|ts|jsx|js)$/;
+var RESERVED_ROUTE_FILES = new Set(["_layout", "_index", "_overrides"]);
+var INTERNAL_ROOT_LAYOUT_LEAF = "__root_layout";
+var IMPLICIT_LOCALE_SEGMENT = "[lang]";
+var DIRECTORY_SCOPED_LEAVES = new Set(["_layout", "_index", "_overrides"]);
+var PAGE_ROUTE_EXPORTS = new Set([
+  "default",
+  "pageConfig",
+  "head",
+  "generateHead",
+  "Loading",
+  "guard"
+]);
+var LAYOUT_ROUTE_EXPORTS = new Set([...PAGE_ROUTE_EXPORTS, "NotFound", "Error"]);
+var ROOT_LAYOUT_ROUTE_EXPORTS = new Set([
+  ...LAYOUT_ROUTE_EXPORTS,
+  "fonts",
+  "manifest",
+  "theme",
+  "reconnect",
+  "wsConnect",
+  "layoutStyle",
+  "viewport",
+  "McpAppRoot"
+]);
+var RESERVED_ROUTE_CONFIG_EXPORTS = new Set([...ROOT_LAYOUT_ROUTE_EXPORTS].filter((name) => name !== "default" && !/^[A-Z]/.test(name)));
+function parseRouteModuleKey(key) {
+  const match = ROUTE_SOURCE_RE.exec(key);
+  if (!match)
+    throw new Error(`[route-convention] invalid route module key: ${key}`);
+  const file = match[1];
+  const ext = match[2];
+  const moduleSegments = file.split("/").filter(Boolean);
+  const leaf = moduleSegments.at(-1);
+  if (!leaf)
+    throw new Error(`[route-convention] invalid route module key: ${key}`);
+  if (moduleSegments.includes(IMPLICIT_LOCALE_SEGMENT)) {
+    throw new Error(`[route-convention] Akan.js injects \`[lang]\` automatically. Move files one level up: ${key}`);
+  }
+  const isInternalRootLayout = leaf === INTERNAL_ROOT_LAYOUT_LEAF;
+  const kind = leaf === "_layout" || isInternalRootLayout ? "layout" : leaf === "_overrides" ? "overrides" : "page";
+  if (leaf.startsWith("_") && !RESERVED_ROUTE_FILES.has(leaf) && !isInternalRootLayout) {
+    throw new Error(`[route-convention] unsupported reserved route file "${leaf}" in ${key}`);
+  }
+  const sourceRouteSegments = DIRECTORY_SCOPED_LEAVES.has(leaf) || isInternalRootLayout ? moduleSegments.slice(0, -1) : moduleSegments;
+  const routeSegments = [IMPLICIT_LOCALE_SEGMENT, ...sourceRouteSegments];
+  for (const segment of routeSegments)
+    validateRouteSegment(segment, key);
+  return {
+    key,
+    kind,
+    routeSegments,
+    moduleSegments,
+    sourceRouteSegments,
+    ext,
+    leaf,
+    pattern: normalizeRoutePattern(routeSegments),
+    isInternalRootLayout
+  };
+}
+function tryParseRouteModuleKey(key) {
+  try {
+    return parseRouteModuleKey(key);
+  } catch {
+    return null;
+  }
+}
+function normalizeRoutePattern(segments) {
+  const parts = segments.map(routeSegmentToPatternPart).filter((part) => part.length > 0);
+  return trimTrailingSlashes(`/${parts.join("/")}`) || "/";
+}
+function routeSegmentToPatternPart(segment) {
+  if (/^\(.+\)$/.test(segment))
+    return "";
+  return segment.replace(/^\[([^\]]+)\]$/, ":$1");
+}
+function validateRouteSegment(segment, key) {
+  if (segment.includes("[...") || segment.includes("[[...")) {
+    throw new Error(`[route-convention] catch-all routes are not supported yet: ${key}`);
+  }
+  const dynamic = /^\[(.+)\]$/.exec(segment);
+  if (dynamic && (dynamic[1]?.includes("[") || dynamic[1]?.includes("]") || dynamic[1]?.startsWith("..."))) {
+    throw new Error(`[route-convention] invalid dynamic route segment "${segment}" in ${key}`);
+  }
+}
+
+// pkgs/@akanjs/language/routeFacts.ts
+class RouteFactReader {
+  static #pagePattern = /^((?:apps|libs)\/[^/]+)\/page\/((?!(?:.*\/)?\(libs\)\/).+\.tsx?)$/;
+  static #guardPattern = /\.guard\s*\(/;
+  static #aliasPattern = /^export default ([A-Za-z_$][\w$]*)\s*;?\s*$/m;
+  static #workspacePattern = /^(?:\.|@(?:apps|libs)\/)/;
+  #ts;
+  #reader;
+  #parse;
+  constructor(ts, reader, parse) {
+    this.#ts = ts;
+    this.#reader = reader;
+    this.#parse = parse;
+  }
+  static fileOf(relative) {
+    const match = relative.match(RouteFactReader.#pagePattern);
+    return match ? { owner: match[1], key: `./${match[2]}` } : null;
+  }
+  read(fileName, info, text, words) {
+    const ts = this.#ts;
+    const parsed = tryParseRouteModuleKey(info.key);
+    if (!parsed || parsed.kind === "overrides" || parsed.isInternalRootLayout)
+      return null;
+    const starts = [...text.matchAll(/^export default\b/gm)].map(({ index }) => index);
+    const source = RouteFactReader.#guardPattern.test(text) || starts.length > 1 ? this.#parse(fileName, text) : null;
+    const exported = source ? this.#exportOf(source) : null;
+    const start = exported ? exported.getStart(source ?? undefined) : starts[0] ?? 0;
+    const head = text.slice(0, start);
+    return {
+      fileName,
+      owner: info.owner,
+      kind: parsed.kind,
+      pattern: normalizeRoutePattern(parsed.sourceRouteSegments),
+      dir: parsed.moduleSegments.slice(0, -1),
+      isRoot: words.includes(`
+rootLayout
+`),
+      line: head.split(`
+`).length - 1,
+      character: start - head.lastIndexOf(`
+`) - 1,
+      guard: source && exported ? this.#guardOf(source, exported) : null,
+      imports: source ? this.#reader.importsIn(source) : [],
+      alias: source ? exported && ts.isExportAssignment(exported) && ts.isIdentifier(exported.expression) ? exported.expression.text : null : text.match(RouteFactReader.#aliasPattern)?.[1] ?? null
+    };
+  }
+  #exportOf(source) {
+    const ts = this.#ts;
+    return source.statements.find((statement) => ts.isExportAssignment(statement) || ts.canHaveModifiers(statement) && !!ts.getModifiers(statement)?.some(({ kind }) => kind === ts.SyntaxKind.DefaultKeyword)) ?? null;
+  }
+  declarationIn(source, name) {
+    const ts = this.#ts;
+    for (const statement of source.statements) {
+      if (ts.isFunctionDeclaration(statement) && statement.name?.text === name)
+        return { statement, declared: statement.name, initializer: null };
+      if (!ts.isVariableStatement(statement))
+        continue;
+      const declaration = statement.declarationList.declarations.find((item) => ts.isIdentifier(item.name) && item.name.text === name);
+      if (declaration)
+        return { statement, declared: declaration.name, initializer: declaration.initializer ?? null };
+    }
+    return null;
+  }
+  #guardOf(source, exported) {
+    const ts = this.#ts;
+    let current = ts.isExportAssignment(exported) ? this.#reader.unwrap(exported.expression) : null;
+    if (current && ts.isIdentifier(current)) {
+      const initializer = this.declarationIn(source, current.text)?.initializer;
+      current = initializer ? this.#reader.unwrap(initializer) : null;
+    }
+    while (current && ts.isCallExpression(current) && ts.isPropertyAccessExpression(current.expression)) {
+      const { name, expression } = current.expression;
+      const [stage] = current.arguments;
+      if (name.text === "guard" && stage)
+        return { calls: this.#callsIn(source, stage), span: this.#reader.spanOf(source, name) };
+      current = this.#reader.unwrap(expression);
+    }
+    return null;
+  }
+  #callsIn(source, stage) {
+    const ts = this.#ts;
+    const imported = new Set(this.#reader.importsIn(source).filter(({ from }) => RouteFactReader.#workspacePattern.test(from)).map(({ name }) => name));
+    const calls = new Map;
+    const callOf = (name) => {
+      if (calls.has(name))
+        return true;
+      const declared = this.declarationIn(source, name);
+      if (!declared && !imported.has(name))
+        return false;
+      calls.set(name, {
+        name,
+        local: declared && {
+          span: this.#reader.spanOf(source, declared.declared),
+          extent: this.#reader.extentOf(source, declared.statement),
+          doc: this.#reader.docOf(source, declared.statement)
+        }
+      });
+      return true;
+    };
+    const visit = (node) => {
+      if (ts.isCallExpression(node) && ts.isIdentifier(node.expression) && callOf(node.expression.text))
+        return;
+      ts.forEachChild(node, visit);
+    };
+    if (ts.isIdentifier(stage))
+      callOf(stage.text);
+    else
+      visit(stage);
+    return [...calls.values()];
+  }
+}
+
 // pkgs/@akanjs/language/akanGraph.ts
 var capitalize = (text) => text.charAt(0).toUpperCase() + text.slice(1);
 var lowerFirst = (text) => text.charAt(0).toLowerCase() + text.slice(1);
@@ -14,6 +729,14 @@ var scalarPattern = /\/lib\/__scalar\/([^/]+)\/[^/]+\.constant\.ts$/;
 var moduleDirPattern = /\/lib\/([^/]+)\//;
 var typeKinds = new Set(["model", "scalar", "enum"]);
 var clientRoots = new Set(["fetch", "st", "sig"]);
+var builtinGuards = {
+  Public: { scope: "account", doc: "Passes every caller, signed in or not." },
+  None: { scope: "account", doc: "Refuses every caller." }
+};
+var frameworkOwner = "akanjs";
+var frameworkPattern = /^akanjs(?:\/|$)/;
+var aliasPattern = /^@(apps|libs)\/([^/]+)/;
+var maxMapDepth = 4;
 
 class GraphBuilder {
   #source;
@@ -21,8 +744,16 @@ class GraphBuilder {
   #edges = new Map;
   #contexts = new Map;
   #members = new Map;
+  #guards = new Map;
+  #mapEntries = new Map;
+  #routeFiles = new Map;
+  #declarations = new Map;
+  #routes;
+  #adaptors = new Map;
+  #plugs = new Map;
   constructor(source) {
     this.#source = source;
+    this.#routes = new RouteFactReader(source.ts, source.reader, source.parse);
   }
   build() {
     const { facts } = this.#source;
@@ -34,6 +765,17 @@ class GraphBuilder {
       ...[...constantsByOwner].filter(([key]) => key !== owner && key?.startsWith("libs/")).flatMap(([, list]) => list)
     ];
     const typed = [];
+    for (const file of facts)
+      for (const fact of file.adaptors) {
+        const declared = { fact, owner: file.owner, fileName: file.fileName };
+        this.#adaptors.set(fact.name, [...this.#adaptors.get(fact.name) ?? [], declared]);
+        this.#adaptorNodeOf(declared);
+      }
+    for (const file of facts)
+      for (const fact of file.adaptors)
+        for (const plug of fact.plugs)
+          this.#addEdge(this.#key("adaptor", file.owner, fact.name), this.#adaptorIdOf(plug.target, file), "plugs", plug.name, this.#location(plug.span));
+    this.#declareGuards(facts);
     for (const file of facts) {
       const { owner } = file;
       const scalar = this.#source.relative(file.fileName).match(scalarPattern)?.[1];
@@ -64,6 +806,10 @@ class GraphBuilder {
         }
         for (const method of service.methods)
           this.#addMember("method", owner, refName, method, `${service.name}.${method.name}`, file.fileName);
+        for (const plug of service.plugs)
+          this.#plugs.set(`${owner ?? ""}
+${refName}
+${plug.name}`, this.#adaptorIdOf(plug.target, file));
       }
       for (const filter of file.filters) {
         if (!filter.name.endsWith("Filter"))
@@ -79,12 +825,12 @@ class GraphBuilder {
           continue;
         const fallback = this.#addNode(this.#key("slice", owner, refName), "slice", owner, refName, "", slice.span, slice.guards);
         for (const guard of slice.guards)
-          this.#guard(fallback, guard);
+          this.#guard(fallback, guard, file);
         for (const key of slice.keys) {
           const detail = [...key.guards, ...key.live ? ["live"] : []];
           const node = this.#addMember("slice", owner, refName, key, `${refName}.${key.name}`, file.fileName, detail);
           for (const guard of key.guards)
-            this.#guard(node, guard);
+            this.#guard(node, guard, file);
         }
       }
       for (const endpoint of file.endpoints) {
@@ -95,9 +841,13 @@ class GraphBuilder {
           const detail = [...key.verb ? [key.verb] : [], ...key.guards];
           const node = this.#addMember("endpoint", owner, refName, key, `${refName}.${key.name}`, file.fileName, detail);
           for (const guard of key.guards)
-            this.#guard(node, guard);
+            this.#guard(node, guard, file);
         }
       }
+      for (const internal of file.internals)
+        for (const key of internal.keys)
+          if (internal.model && key.type !== "resolveField")
+            this.#addMember("internal", owner, internal.model, key, `${internal.name}.${key.name}`, file.fileName, [key.type, key.schedule, ...key.modes].filter((item) => item !== null));
       for (const store of file.stores)
         if (store.model)
           for (const action of store.actions)
@@ -114,6 +864,7 @@ class GraphBuilder {
         if (field.ref)
           this.#addEdge(node.id, field.ref, "field", `${field.name}${field.array ? "[]" : ""}`, field.at);
       }
+    this.#addRoutes();
     for (const [fileName, words] of this.#source.files)
       this.#walk(fileName, words);
     return {
@@ -157,19 +908,23 @@ class GraphBuilder {
     this.#members.set(byName, [...this.#members.get(byName) ?? [], node]);
     return node;
   }
-  #hashOf(text, { start, end }) {
-    if (!this.#source.digests || text === undefined)
+  #hashOf(...parts) {
+    if (!this.#source.digests)
       return null;
     let hash = 2166136261;
-    for (let idx = start;idx < end; idx++) {
-      const code = text.charCodeAt(idx);
-      if (code !== 13)
-        hash = Math.imul(hash ^ code, 16777619);
+    for (const [text, { start, end }] of parts) {
+      if (text === undefined)
+        return null;
+      for (let idx = start;idx < end; idx++) {
+        const code = text.charCodeAt(idx);
+        if (code !== 13)
+          hash = Math.imul(hash ^ code, 16777619);
+      }
     }
     return (hash >>> 0).toString(16).padStart(8, "0");
   }
   #digest(node, text, extent) {
-    const digest = node.digest ? null : this.#hashOf(text, extent);
+    const digest = node.digest ? null : this.#hashOf([text, extent]);
     if (digest)
       node.digest = digest;
   }
@@ -186,14 +941,296 @@ ${label ?? ""}`;
     else
       this.#edges.set(key, { from, to, kind, label, count: 1, at });
   }
-  #guard(node, guard) {
-    const [role, name] = guard.includes(" ") ? guard.split(" ") : [null, guard];
-    if (!name || name === "?")
-      return;
-    const id = `guard:${name}`;
-    if (!this.#nodes.has(id))
-      this.#nodes.set(id, { id, kind: "guard", name, label: name, owner: null, module: null, detail: [], at: null });
-    this.#addEdge(node.id, id, "guard", role, node.at);
+  #guard(node, guard, file) {
+    const [role, local] = guard.includes(" ") ? guard.split(" ") : [null, guard];
+    if (!local || local === "?")
+      return;
+    this.#addEdge(node.id, this.#guardIdOf(local, file), "guard", role, node.at);
+  }
+  #declareGuards(facts) {
+    const factories = new Map;
+    for (const file of facts)
+      for (const fact of file.guardFactories) {
+        const factory = { fact, owner: file.owner, fileName: file.fileName, made: [] };
+        factories.set(fact.name, [...factories.get(fact.name) ?? [], factory]);
+      }
+    const sameFile = (factory, name) => name ? factories.get(name)?.find((other) => other.fileName === factory.fileName) : undefined;
+    const declare = (guard, factory) => {
+      this.#guards.set(guard.name, [...this.#guards.get(guard.name) ?? [], guard]);
+      factory?.made.push(guard);
+    };
+    const madeBy = (factory, fileName, extent) => {
+      const parts = [{ fileName, extent }];
+      const seen = new Set;
+      for (let current = factory;current && !seen.has(current); current = sameFile(current, current.fact.via)) {
+        seen.add(current);
+        parts.push({ fileName: current.fileName, extent: current.fact.extent });
+      }
+      return parts;
+    };
+    for (const file of facts) {
+      const { owner, fileName } = file;
+      for (const { name, span, extent, scope, doc, factory: callee } of file.guards) {
+        const factory = callee ? factories.get(callee)?.find((other) => other.fileName === fileName) : undefined;
+        declare({ name, owner, span, scope, doc, parts: madeBy(factory, fileName, extent) }, factory);
+      }
+      for (const { name, span, extent, doc, callee } of file.guardCalls) {
+        const imported = file.imports.find((item) => item.name === callee);
+        if (!imported)
+          continue;
+        const from = this.#ownerOfSpecifier(fileName, imported.from);
+        const candidates = factories.get(imported.imported === "default" || imported.imported === "*" ? callee : imported.imported) ?? [];
+        const factory = candidates.find((other) => other.owner === from) ?? this.#soleVisible(candidates, from ?? owner);
+        if (factory)
+          declare({ name, owner, span, scope: factory.fact.scope, doc, parts: madeBy(factory, fileName, extent) }, factory);
+      }
+    }
+    for (const list of factories.values())
+      for (const { fact, made } of list)
+        if (made.every((guard) => !guard.doc))
+          for (const guard of made)
+            guard.doc = fact.doc;
+    for (const list of this.#guards.values())
+      for (const guard of list)
+        this.#guardNodeOf(guard);
+  }
+  #guardIdOf(local, site) {
+    const found = this.#findGuard(local, site, 0);
+    if ("guard" in found)
+      return this.#guardNodeOf(found.guard);
+    const { name, from } = found;
+    const isFramework = from === frameworkOwner || from === undefined && !!builtinGuards[name];
+    const builtin = isFramework ? builtinGuards[name] : undefined;
+    const owner = isFramework ? null : from ?? null;
+    const detail = [...builtin ? [builtin.scope] : [], ...isFramework ? [frameworkOwner] : []];
+    const node = this.#addNode(this.#key("guard", owner, name), "guard", owner, null, name, null, detail);
+    if (builtin)
+      node.doc = builtin.doc;
+    return node.id;
+  }
+  #findGuard(local, site, depth) {
+    const [head = local, member] = local.split(".");
+    const imported = site.imports.find((item) => item.name === head);
+    const from = imported ? this.#ownerOfSpecifier(site.fileName, imported.from) : undefined;
+    const holder = imported ? from : site.owner;
+    if (member && imported?.imported !== "*" && holder !== undefined && holder !== frameworkOwner && depth < maxMapDepth) {
+      const objectName = imported && imported.imported !== "default" ? imported.imported : head;
+      for (const entry of this.#mapEntriesOf(objectName, member, imported ? null : site.fileName, holder)) {
+        const found = this.#findGuard(entry.name, entry.site, depth + 1);
+        if ("guard" in found)
+          return found;
+      }
+    }
+    const name = member ?? (imported && imported.imported !== "default" && imported.imported !== "*" ? imported.imported : head);
+    const declared = this.#guards.get(name) ?? [];
+    const guard = from === undefined ? declared.find((other) => other.owner === site.owner) ?? declared.find((other) => this.#visible(other.owner, site.owner)) : declared.find((other) => other.owner === from) ?? (from === frameworkOwner ? undefined : this.#soleVisible(declared, from));
+    return guard ? { guard } : { name, from };
+  }
+  #mapEntriesOf(objectName, member, fileName, owner) {
+    const key = `${objectName}
+${member}
+${fileName ?? ""}
+${owner ?? ""}`;
+    const cached = this.#mapEntries.get(key);
+    if (cached)
+      return cached;
+    const { ts, reader } = this.#source;
+    const entries = [];
+    const fileNames = [
+      ...fileName ? [fileName] : [],
+      ...this.#source.files.filter(([other, words]) => other !== fileName && owner !== null && !testFilePattern.test(other) && words.includes(`
+${objectName}
+`) && words.includes(`
+${member}
+`) && this.#source.ownerOf(other) === owner).map(([other]) => other)
+    ];
+    for (const holder of fileNames) {
+      const text = this.#source.readText(holder);
+      if (text === undefined)
+        continue;
+      const source = this.#source.parse(holder, text);
+      const site = { fileName: holder, owner: this.#source.ownerOf(holder), imports: reader.importsIn(source) };
+      for (const statement of source.statements) {
+        if (!ts.isVariableStatement(statement))
+          continue;
+        const map = statement.declarationList.declarations.find((declaration) => ts.isIdentifier(declaration.name) && declaration.name.text === objectName)?.initializer;
+        const object = map && reader.unwrap(map);
+        if (!object || !ts.isObjectLiteralExpression(object))
+          continue;
+        for (const property of object.properties) {
+          if (ts.isShorthandPropertyAssignment(property) && property.name.text === member)
+            entries.push({ name: member, site });
+          if (!ts.isPropertyAssignment(property) || !(ts.isIdentifier(property.name) || ts.isStringLiteral(property.name)) || property.name.text !== member)
+            continue;
+          const value = reader.unwrap(property.initializer);
+          if (ts.isIdentifier(value))
+            entries.push({ name: value.text, site });
+          else if (ts.isPropertyAccessExpression(value) && ts.isIdentifier(value.expression))
+            entries.push({ name: `${value.expression.text}.${value.name.text}`, site });
+        }
+      }
+    }
+    this.#mapEntries.set(key, entries);
+    return entries;
+  }
+  #declarationOf(owner, name, near) {
+    const key = `${owner}
+${name}
+${near ?? ""}`;
+    const cached = this.#declarations.get(key);
+    if (cached !== undefined)
+      return cached;
+    const isNear = (fileName) => {
+      const relative = this.#source.relative(fileName);
+      return !!near && (relative.startsWith(`${near}/`) || relative.replace(/\.tsx?$/, "") === near);
+    };
+    const candidates = this.#source.files.filter(([fileName, words]) => !testFilePattern.test(fileName) && words.includes(`
+${name}
+`) && this.#source.ownerOf(fileName) === owner).map(([fileName]) => fileName);
+    let found = null;
+    for (const fileName of [...candidates.filter(isNear), ...candidates.filter((other) => !isNear(other))]) {
+      const text = this.#source.readText(fileName);
+      if (text === undefined)
+        continue;
+      const source = this.#source.parse(fileName, text);
+      const declared = this.#routes.declarationIn(source, name);
+      if (!declared)
+        continue;
+      found = { source, statement: declared.statement, declared: declared.declared };
+      break;
+    }
+    this.#declarations.set(key, found);
+    return found;
+  }
+  #addRoutes() {
+    const routes = [];
+    const layouts = new Map;
+    for (const [fileName, words] of this.#source.files) {
+      const relative = this.#source.relative(fileName);
+      const info = RouteFactReader.fileOf(relative);
+      const text = info ? this.#source.readText(fileName) : undefined;
+      const fact = info && text !== undefined ? this.#routes.read(fileName, info, text, words) : null;
+      if (!fact || text === undefined)
+        continue;
+      const span = {
+        fileName,
+        start: 0,
+        end: 0,
+        line: fact.line,
+        character: fact.character,
+        endLine: 0,
+        endCharacter: 0
+      };
+      const dir = `/${fact.dir.join("/")}`;
+      const guard = fact.guard ? ["guard"] : [];
+      const node = fact.kind === "layout" ? this.#addNode(this.#key("layout", fact.owner, dir), "layout", fact.owner, null, dir, span, [...fact.isRoot ? ["root"] : [], ...guard], `${dir === "/" ? "" : dir}/_layout`) : this.#addNode(this.#key("route", fact.owner, fact.pattern), "route", fact.owner, null, fact.pattern, span, guard);
+      this.#digest(node, text, { start: 0, end: text.length });
+      this.#routeFiles.set(relative, { id: node.id, alias: fact.alias });
+      if (fact.kind === "layout")
+        layouts.set(`${fact.owner}
+${dir}`, node);
+      routes.push({ fact, node });
+      for (const call of fact.guard?.calls ?? []) {
+        const id = this.#routeGuardIdOf(call, fact, text);
+        if (id && fact.guard)
+          this.#addEdge(node.id, id, "guard", null, this.#location(fact.guard.span));
+      }
+    }
+    const parentOf = ({ owner, dir, kind }) => {
+      for (let depth = kind === "layout" ? dir.length - 1 : dir.length;depth >= 0; depth--) {
+        const layout = layouts.get(`${owner}
+/${dir.slice(0, depth).join("/")}`);
+        if (layout)
+          return layout;
+      }
+      return null;
+    };
+    for (const { fact, node } of routes) {
+      const parent = parentOf(fact);
+      if (parent)
+        this.#addEdge(parent.id, node.id, "wraps", null, node.at);
+    }
+  }
+  #routeGuardIdOf({ name: local, local: declared }, fact, text) {
+    if (declared) {
+      const file = this.#source.relative(fact.fileName).slice(fact.owner.length + 1);
+      const id = this.#key("guard", fact.owner, `${file}#${local}`);
+      return this.#routeGuardNodeOf(id, fact.owner, local, declared.span, declared.doc, text, declared.extent);
+    }
+    const imported = fact.imports.find((item) => item.name === local);
+    if (!imported)
+      return null;
+    const name = imported.imported !== "default" && imported.imported !== "*" ? imported.imported : local;
+    const from = this.#ownerOfSpecifier(fact.fileName, imported.from);
+    if (!from || from === frameworkOwner)
+      return null;
+    const found = this.#declarationOf(from, name, this.#pathOfSpecifier(fact.fileName, imported.from));
+    if (!found)
+      return null;
+    const { reader } = this.#source;
+    return this.#routeGuardNodeOf(this.#key("guard", from, name), from, name, reader.spanOf(found.source, found.declared), reader.docOf(found.source, found.statement), found.source.text, reader.extentOf(found.source, found.statement));
+  }
+  #routeGuardNodeOf(id, owner, name, span, doc, text, extent) {
+    const isNew = !this.#nodes.has(id);
+    const node = this.#addNode(id, "guard", owner, null, name, span, ["route"]);
+    if (isNew && doc)
+      node.doc = doc;
+    this.#digest(node, text, extent);
+    return node.id;
+  }
+  #adaptorIdOf(local, file) {
+    const [head, member] = local.split(".");
+    const imported = file.imports.find((item) => item.name === head);
+    const from = imported ? this.#ownerOfSpecifier(file.fileName, imported.from) : undefined;
+    const name = member ?? (imported && imported.imported !== "default" && imported.imported !== "*" ? imported.imported : head);
+    const declared = this.#adaptors.get(name) ?? [];
+    const found = from === undefined ? declared.find((adaptor) => adaptor.owner === file.owner) ?? declared.find((adaptor) => this.#visible(adaptor.owner, file.owner)) : declared.find((adaptor) => adaptor.owner === from) ?? (from === frameworkOwner ? undefined : declared.find((adaptor) => this.#visible(adaptor.owner, from)));
+    if (found)
+      return this.#adaptorNodeOf(found);
+    const owner = from === frameworkOwner ? null : imported ? from ?? null : file.owner;
+    const detail = from === frameworkOwner ? [frameworkOwner] : [];
+    return this.#addNode(this.#key("adaptor", owner, name), "adaptor", owner, null, name, null, detail).id;
+  }
+  #adaptorNodeOf({ fact, owner, fileName }) {
+    const id = this.#key("adaptor", owner, fact.name);
+    const detail = fact.refName ? [fact.refName] : [];
+    const node = this.#addNode(id, "adaptor", owner, null, fact.name, fact.span, detail);
+    if (fact.doc && !node.doc)
+      node.doc = fact.doc;
+    this.#digest(node, this.#source.readText(fileName), fact.extent);
+    return node.id;
+  }
+  #guardNodeOf({ name, owner, span, scope, doc, parts }) {
+    const node = this.#addNode(this.#key("guard", owner, name), "guard", owner, null, name, span, scope ? [scope] : []);
+    if (doc && !node.doc)
+      node.doc = doc;
+    const digest = node.digest ? null : this.#hashOf(...parts.map(({ fileName, extent }) => [
+      this.#source.readText(fileName),
+      extent
+    ]));
+    if (digest)
+      node.digest = digest;
+    return node.id;
+  }
+  #ownerOfSpecifier(fileName, specifier) {
+    if (frameworkPattern.test(specifier))
+      return frameworkOwner;
+    const path = this.#pathOfSpecifier(fileName, specifier);
+    return path === null ? undefined : ownerOf(path) ?? undefined;
+  }
+  #pathOfSpecifier(fileName, specifier) {
+    const alias = specifier.match(aliasPattern);
+    if (alias)
+      return `${alias[1]}/${alias[2]}${specifier.slice(alias[0].length)}`;
+    if (!specifier.startsWith("."))
+      return null;
+    const segments = this.#source.relative(fileName).split("/").slice(0, -1);
+    for (const segment of specifier.split("/"))
+      if (segment === "..")
+        segments.pop();
+      else if (segment !== ".")
+        segments.push(segment);
+    return segments.join("/");
   }
   #moduleDirOf(fileName) {
     const dir = this.#source.relative(fileName).match(moduleDirPattern)?.[1] ?? null;
@@ -214,7 +1251,7 @@ ${label ?? ""}`;
       for (const field of current.fields) {
         if (fields.has(field.name))
           continue;
-        const digest = this.#hashOf(this.#source.readText(field.span.fileName), field.extent);
+        const digest = this.#hashOf([this.#source.readText(field.span.fileName), field.extent]);
         fields.set(field.name, {
           name: field.name,
           type: field.type,
@@ -233,6 +1270,10 @@ ${label ?? ""}`;
   #visible(target, from) {
     return !from || !target || target === from || target.startsWith("libs/");
   }
+  #soleVisible(declared, from) {
+    const visible = declared.filter((other) => this.#visible(other.owner, from));
+    return visible.length === 1 ? visible[0] : undefined;
+  }
   #targetNodeOf({ family, owner, refName, sourceKey }) {
     const isDefault = /^[A-Z]/.test(sourceKey);
     const id = family === "slice" || family === "query" ? this.#key(family, owner, refName, isDefault ? "" : sourceKey) : family === "model" || family === "formSetter" ? this.#key("model", owner, refName) : family === "endpoint" ? this.#key("endpoint", owner, refName, sourceKey) : null;
@@ -284,7 +1325,10 @@ st
     visit(source);
   }
   #link(fileName, source, identifier, chain, context, owner) {
-    const resolved = this.#source.resolve(fileName, identifier).map((target) => this.#targetNodeOf(target)).filter((id) => id !== null);
+    const plugged = chain?.length === 2 && chain[0] === "this" && context.kind === "method" && this.#isServiceThis(identifier) ? this.#plugs.get(`${context.owner ?? ""}
+${context.module}
+${chain[1]}`) : undefined;
+    const resolved = plugged ? [plugged] : this.#source.resolve(fileName, identifier).map((target) => this.#targetNodeOf(target)).filter((id) => id !== null);
     const targets = resolved.length ? resolved : this.#plainTargetsOf(chain, identifier.text, context, owner);
     if (!targets.length)
       return;
@@ -299,6 +1343,16 @@ st
     for (const target of new Set(own.length ? own : targets))
       this.#addEdge(context.id, target, kind, identifier.text, at);
   }
+  #isServiceThis(identifier) {
+    const { ts } = this.#source;
+    for (let current = identifier.parent;!ts.isSourceFile(current); current = current.parent) {
+      if (ts.isMethodDeclaration(current) || ts.isAccessor(current) || ts.isConstructorDeclaration(current))
+        return ts.isClassDeclaration(current.parent) && ts.isSourceFile(current.parent.parent);
+      if (ts.isFunctionExpression(current) || ts.isFunctionDeclaration(current) || ts.isClassLike(current))
+        return false;
+    }
+    return false;
+  }
   #chainOf(expression) {
     const { ts } = this.#source;
     if (ts.isNonNullExpression(expression) || ts.isParenthesizedExpression(expression))
@@ -322,14 +1376,13 @@ st
     const name = declared && ts.isIdentifier(declared) && !isDefaultExport ? declared.text : "default";
     const relative = this.#source.relative(source.fileName);
     const owner = this.#source.ownerOf(source.fileName);
+    const extent = { start: top.getStart(source), end: top.getEnd() };
+    const routeFile = this.#routeFiles.get(relative);
+    const routeId = routeFile && (name === "default" || name === routeFile.alias) ? routeFile.id : undefined;
+    if (routeId)
+      return { id: routeId, kind: "component", owner, module: null, extent };
     const id = `component:${relative}#${name}`;
-    const context = {
-      id,
-      kind: "component",
-      owner,
-      module: null,
-      extent: { start: top.getStart(source), end: top.getEnd() }
-    };
+    const context = { id, kind: "component", owner, module: null, extent };
     if (this.#nodes.has(id))
       return context;
     const pagePrefix = owner ? `${owner}/page/` : null;
@@ -416,242 +1469,6 @@ var createAst = (ts) => {
   };
 };
 
-// pkgs/@akanjs/language/moduleFacts.ts
-var moduleCallees = new Set(["via", "from", "into", "serve", "slice", "endpoint", "store", "enumOf"]);
-var argMethods = new Set(["param", "body", "search", "room", "msg"]);
-var ownerOf = (relativePath) => {
-  const [root, name] = relativePath.split("/");
-  return (root === "apps" || root === "libs") && name ? `${root}/${name}` : null;
-};
-var createFactReader = (ts, ast) => {
-  const spanOf = (source, node) => {
-    const start = node.getStart(source);
-    const end = node.getEnd();
-    const head = source.getLineAndCharacterOfPosition(start);
-    const tail = source.getLineAndCharacterOfPosition(end);
-    return {
-      fileName: source.fileName,
-      start,
-      end,
-      line: head.line,
-      character: head.character,
-      endLine: tail.line,
-      endCharacter: tail.character
-    };
-  };
-  const extentOf = (source, node) => ({
-    start: node.getStart(source),
-    end: node.getEnd()
-  });
-  const unwrap = (expression) => {
-    let current = expression;
-    while (ts.isParenthesizedExpression(current) || ts.isAsExpression(current) || ts.isSatisfiesExpression(current))
-      current = current.expression;
-    return current;
-  };
-  const moduleRefOf = (expression, holder) => {
-    let current = expression && unwrap(expression);
-    while (current && ts.isCallExpression(current) && ts.isPropertyAccessExpression(current.expression))
-      current = current.expression.expression;
-    if (current && ts.isStringLiteral(current))
-      return current.text;
-    if (!current || !ts.isPropertyAccessExpression(current))
-      return null;
-    return ts.isIdentifier(current.expression) && current.expression.text === holder ? current.name.text : null;
-  };
-  const returnedObject = (builder) => builder ? ast.firstObjectReturnedByArrow(builder) : null;
-  const builderOf = (call) => [...call.arguments].reverse().find((arg) => ts.isArrowFunction(arg) || ts.isFunctionExpression(arg));
-  const guardsIn = (object) => {
-    const guards = object?.properties.find((property) => ts.isPropertyAssignment(property) && ast.nodeName(property.name) === "guards")?.initializer;
-    if (!guards)
-      return [];
-    if (ts.isArrayLiteralExpression(guards))
-      return guards.elements.map((element) => ast.expressionName(element)).filter((name) => name !== null);
-    if (ts.isObjectLiteralExpression(guards))
-      return guards.properties.filter(ts.isPropertyAssignment).map((property) => `${ast.nodeName(property.name)} ${ast.expressionName(property.initializer) ?? "?"}`);
-    const single = ast.expressionName(guards);
-    return single ? [single] : [];
-  };
-  const optionObjectOf = (call) => call.arguments.find((arg) => ts.isObjectLiteralExpression(arg) && arg.properties.some((property) => ast.propertyName(property) === "guards"));
-  const chainOf = (initializer) => {
-    let root = unwrap(initializer);
-    const methods = [];
-    while (ts.isCallExpression(root) && ts.isPropertyAccessExpression(root.expression) && ts.isCallExpression(unwrap(root.expression.expression))) {
-      methods.push(root.expression.name.text);
-      root = unwrap(root.expression.expression);
-    }
-    return { root: ts.isCallExpression(root) ? root : null, methods };
-  };
-  const keyName = (property) => ts.isPropertyAssignment(property) || ts.isMethodDeclaration(property) || ts.isShorthandPropertyAssignment(property) ? property.name : null;
-  const objectKeys = (source, object) => (object?.properties ?? []).flatMap((property) => {
-    const name = ast.propertyName(property);
-    const node = keyName(property);
-    return name && node ? [{ name, span: spanOf(source, node), extent: extentOf(source, property) }] : [];
-  });
-  const sliceKeysOf = (source, builder) => (returnedObject(builder)?.properties ?? []).flatMap((property) => {
-    if (!ts.isPropertyAssignment(property))
-      return [];
-    const name = ast.nodeName(property.name);
-    if (!name)
-      return [];
-    const { root, methods } = chainOf(property.initializer);
-    return [
-      {
-        name,
-        span: spanOf(source, property.name),
-        extent: extentOf(source, property),
-        guards: root ? guardsIn(optionObjectOf(root)) : [],
-        live: methods.includes("live"),
-        argCount: methods.filter((method) => argMethods.has(method)).length
-      }
-    ];
-  });
-  const verbReaderOf = (parameter) => {
-    const verbs = new Map;
-    if (parameter && ts.isObjectBindingPattern(parameter.name))
-      for (const element of parameter.name.elements) {
-        const verb = element.propertyName ?? element.name;
-        if (ts.isIdentifier(verb) && ts.isIdentifier(element.name))
-          verbs.set(element.name.text, verb.text);
-      }
-    const holder = parameter && ts.isIdentifier(parameter.name) ? parameter.name.text : null;
-    return (callee) => {
-      if (callee && ts.isIdentifier(callee))
-        return verbs.get(callee.text) ?? null;
-      if (callee && ts.isPropertyAccessExpression(callee) && ts.isIdentifier(callee.expression) && callee.expression.text === holder)
-        return callee.name.text;
-      return null;
-    };
-  };
-  const endpointKeysOf = (source, builder) => {
-    const verbOf = verbReaderOf(builder?.parameters[0]);
-    return (returnedObject(builder)?.properties ?? []).flatMap((property) => {
-      if (!ts.isPropertyAssignment(property))
-        return [];
-      const name = ast.nodeName(property.name);
-      if (!name)
-        return [];
-      const { root, methods } = chainOf(property.initializer);
-      return [
-        {
-          name,
-          span: spanOf(source, property.name),
-          extent: extentOf(source, property),
-          verb: root ? verbOf(root.expression) : null,
-          guards: root ? guardsIn(optionObjectOf(root)) : [],
-          argCount: methods.filter((method) => argMethods.has(method)).length
-        }
-      ];
-    });
-  };
-  const filterQueriesOf = (source, builder) => {
-    const query = returnedObject(builder)?.properties.find((property) => ts.isPropertyAssignment(property) && ast.nodeName(property.name) === "query")?.initializer;
-    return query && ts.isObjectLiteralExpression(query) ? objectKeys(source, query) : [];
-  };
-  const typeOf = (expression) => {
-    const value = expression && unwrap(expression);
-    if (value && ts.isArrayLiteralExpression(value))
-      return { type: typeOf(value.elements[0]).type, array: true };
-    return { type: value ? ast.expressionName(value) : null, array: false };
-  };
-  const fieldsOf = (source, object) => (object?.properties ?? []).flatMap((property) => {
-    const name = ast.propertyName(property);
-    const node = keyName(property);
-    if (!name || !node)
-      return [];
-    const { root, methods } = ts.isPropertyAssignment(property) ? chainOf(property.initializer) : { root: null, methods: [] };
-    return [
-      {
-        name,
-        span: spanOf(source, node),
-        extent: extentOf(source, property),
-        ...typeOf(root?.arguments[0]),
-        optional: methods.includes("optional")
-      }
-    ];
-  });
-  const constantOf = (source, name, call) => {
-    const parents = call.arguments.map(unwrap).filter((arg) => ts.isIdentifier(arg) || ts.isPropertyAccessExpression(arg)).map((arg) => ast.expressionName(arg)).filter((parent) => parent !== null);
-    const fields = call.arguments.flatMap((arg) => fieldsOf(source, ast.firstObjectReturnedByArrow(arg)));
-    return { ...name, parents, fields };
-  };
-  const enumValuesOf = (call) => {
-    const list = call.arguments[1] && unwrap(call.arguments[1]);
-    if (!list || !ts.isArrayLiteralExpression(list))
-      return [];
-    return list.elements.flatMap((element) => ts.isStringLiteralLike(element) ? [element.text] : []);
-  };
-  const methodsOf = (source, statement) => statement.members.flatMap((member) => {
-    if (!ts.isMethodDeclaration(member) || !member.body)
-      return [];
-    const name = ast.nodeName(member.name);
-    if (!name || ts.getModifiers(member)?.some(({ kind }) => kind === ts.SyntaxKind.StaticKeyword))
-      return [];
-    return [{ name, span: spanOf(source, member.name), extent: extentOf(source, member) }];
-  });
-  const lowerFirst = (text) => text.charAt(0).toLowerCase() + text.slice(1);
-  const read = (source, owner) => {
-    const facts = {
-      fileName: source.fileName,
-      owner,
-      constants: [],
-      enums: [],
-      filters: [],
-      models: [],
-      services: [],
-      slices: [],
-      endpoints: [],
-      stores: []
-    };
-    for (const statement of source.statements) {
-      if (!ts.isClassDeclaration(statement) || !statement.name)
-        continue;
-      const heritage = ast.heritageCallNamed(statement, moduleCallees);
-      if (!heritage)
-        continue;
-      const { callee, call } = heritage;
-      const name = { name: statement.name.text, span: spanOf(source, statement.name) };
-      const builder = builderOf(call);
-      if (callee === "via")
-        facts.constants.push(constantOf(source, name, call));
-      else if (callee === "enumOf")
-        facts.enums.push({ ...name, values: enumValuesOf(call) });
-      else if (callee === "from")
-        facts.filters.push({ ...name, queries: filterQueriesOf(source, builder) });
-      else if (callee === "into")
-        facts.models.push({ ...name, model: name.name.endsWith("Model") ? lowerFirst(name.name.slice(0, -5)) : null });
-      else if (callee === "serve")
-        facts.services.push({
-          ...name,
-          model: moduleRefOf(call.arguments[0], "db"),
-          methods: methodsOf(source, statement)
-        });
-      else if (callee === "slice")
-        facts.slices.push({
-          ...name,
-          model: moduleRefOf(call.arguments[0], "srv"),
-          guards: guardsIn(call.arguments.find(ts.isObjectLiteralExpression)),
-          keys: sliceKeysOf(source, builder)
-        });
-      else if (callee === "endpoint")
-        facts.endpoints.push({
-          ...name,
-          model: moduleRefOf(call.arguments[0], "srv"),
-          keys: endpointKeysOf(source, builder)
-        });
-      else if (callee === "store")
-        facts.stores.push({
-          ...name,
-          model: moduleRefOf(call.arguments[0], "sig"),
-          stateKeys: objectKeys(source, returnedObject(builder)),
-          actions: methodsOf(source, statement)
-        });
-    }
-    return facts;
-  };
-  return { read, spanOf, moduleRefOf, chainOf, unwrap };
-};
-
 // pkgs/akanjs/common/capitalize.ts
 var capitalize2 = (str) => str.charAt(0).toUpperCase() + str.slice(1);
 var lowerlize = (str) => str.charAt(0).toLowerCase() + str.slice(1);
@@ -1103,6 +1920,7 @@ class NameTable {
 // pkgs/@akanjs/language/akanIndex.ts
 var sourcePattern = /\.(constant|document|service|signal|store)\.ts$/;
 var dictionaryPattern = /\.dictionary\.ts$/;
+var srvkitPattern = /\/srvkit\//;
 var wordPattern = /[A-Za-z_$][\w$]*/g;
 var identifierPattern = /^[A-Za-z_$][\w$]*$/;
 var regExpSpecials = /[\\^$.*+?()[\]{}|]/g;
@@ -1138,21 +1956,26 @@ class AkanIndex {
   }
   setFile(givenName, text) {
     const fileName = pathOf(givenName);
-    this.#fileWords.set(fileName, `
+    const words = `
 ${[...new Set(text.match(wordPattern))].join(`
 `)}
-`);
-    if (!AkanIndex.isSourcePath(fileName))
+`;
+    this.#fileWords.set(fileName, words);
+    const isSource = AkanIndex.isSourcePath(fileName);
+    if (!isSource && !AkanIndex.#holdsFacts(fileName, words)) {
+      this.#facts.delete(fileName);
       return;
+    }
     const source = this.#parsed.get(fileName)?.text === text ? this.#parse(fileName, text) : this.#parseUncached(fileName, text);
     this.#facts.set(fileName, this.#reader.read(source, this.#ownerOf(fileName)));
-    this.#table = null;
+    if (isSource)
+      this.#table = null;
   }
   removeFile(givenName) {
     const fileName = pathOf(givenName);
     this.#fileWords.delete(fileName);
     this.#parsed.delete(fileName);
-    if (this.#facts.delete(fileName))
+    if (this.#facts.delete(fileName) && AkanIndex.isSourcePath(fileName))
       this.#table = null;
   }
   definitionAt(givenName, text, offset) {
@@ -1200,7 +2023,8 @@ ${[...new Set(text.match(wordPattern))].join(`
         return site ? this.#resolve(fileName, site) : [];
       },
       relative: (fileName) => this.#relative(fileName),
-      ownerOf: (fileName) => this.#ownerOf(fileName)
+      ownerOf: (fileName) => this.#ownerOf(fileName),
+      reader: this.#reader
     }).build();
   }
   renameTargetAt(givenName, offset) {
@@ -1223,6 +2047,22 @@ ${[...new Set(text.match(wordPattern))].join(`
       }))
     ];
   }
+  static #holdsFacts(fileName, words) {
+    if (testFilePattern.test(fileName))
+      return false;
+    if (srvkitPattern.test(fileName))
+      return true;
+    const holdsGuards = words.includes(`
+Guard
+`) && words.includes(`
+canPass
+`);
+    return holdsGuards || words.includes(`
+adapt
+`) || words.includes(`
+dangerouslyAdapt
+`);
+  }
   static #sourceKeyOf({ family, sourceKey, label, detail, span }) {
     return { family, sourceKey, label, detail, span };
   }
@@ -1313,7 +2153,7 @@ ${dictionary.className}
     return this.#nameTable().entriesTargeting(fileName).filter((entry) => entry.span.start <= offset && offset <= entry.span.end);
   }
   #nameTable() {
-    this.#table ??= new NameTable(this.#facts.values());
+    this.#table ??= new NameTable([...this.#facts.values()].filter(({ fileName }) => AkanIndex.isSourcePath(fileName)));
     return this.#table;
   }
   #relative(fileName) {