effect-analyzer 0.1.0 → 0.1.3

package/dist/lsp/server.js

@@ -161,6 +161,38 @@ function effectTypeSignatureFromTypeText(typeText) {
   }
   return void 0;
 }
+function tryResolveGenericFromInnerExpression(node, typeChecker) {
+  try {
+    const { SyntaxKind } = loadTsMorph();
+    if (node.getKind() === SyntaxKind.CallExpression) {
+      const call = node;
+      const expr = call.getExpression();
+      if (expr.getKind() === SyntaxKind.PropertyAccessExpression) {
+        const propAccess = expr;
+        if (propAccess.getName() === "pipe") {
+          const baseExpr = propAccess.getExpression();
+          if (baseExpr) {
+            const baseSig = extractEffectTypeSignature(baseExpr, typeChecker);
+            if (baseSig && !/^[A-Z]$/.test(baseSig.errorType)) {
+              return { errorType: baseSig.errorType };
+            }
+          }
+        }
+      }
+      const args = call.getArguments();
+      if (args.length > 0) {
+        for (const arg of args) {
+          const argSig = extractEffectTypeSignature(arg, typeChecker);
+          if (argSig && !/^[A-Z]$/.test(argSig.errorType)) {
+            return { errorType: argSig.errorType };
+          }
+        }
+      }
+    }
+  } catch {
+  }
+  return void 0;
+}
 var extractEffectTypeSignature = (node, _typeChecker) => {
   let nodeType;
   try {
@@ -174,9 +206,23 @@ var extractEffectTypeSignature = (node, _typeChecker) => {
   const typeArgs = extractTypeArguments(nodeType);
   if (typeArgs) {
     const [aType, eType, rType] = typeArgs;
+    const errorTypeStr = typeToString(eType);
+    if (/^[A-Z]$/.test(errorTypeStr)) {
+      const resolved = tryResolveGenericFromInnerExpression(node, _typeChecker);
+      if (resolved) {
+        return {
+          successType: typeToString(aType),
+          errorType: resolved.errorType,
+          requirementsType: typeToString(rType),
+          isInferred: true,
+          typeConfidence: "inferred",
+          rawTypeString: nodeType.getText()
+        };
+      }
+    }
     return {
       successType: typeToString(aType),
-      errorType: typeToString(eType),
+      errorType: errorTypeStr,
       requirementsType: typeToString(rType),
       isInferred: true,
       typeConfidence: "declared",
@@ -185,7 +231,22 @@ var extractEffectTypeSignature = (node, _typeChecker) => {
   }
   const typeText = nodeType.getText();
   const fromText = effectTypeSignatureFromTypeText(typeText);
-  if (fromText) return fromText;
+  if (fromText) {
+    const eTrim = fromText.errorType.trim();
+    if (/^[A-Z]$/.test(eTrim)) {
+      const resolved = tryResolveGenericFromInnerExpression(node, _typeChecker);
+      if (resolved) {
+        return {
+          ...fromText,
+          errorType: resolved.errorType,
+          isInferred: true,
+          typeConfidence: "inferred",
+          rawTypeString: nodeType.getText()
+        };
+      }
+    }
+    return fromText;
+  }
   const fromCallee = tryExtractFromCalleeReturnType(node);
   if (fromCallee) return fromCallee;
   return {
@@ -434,877 +495,680 @@ function extractLayerTypeSignature(node) {
   };
 }
 
-// src/analysis-utils.ts
-var DEFAULT_OPTIONS = {
-  tsConfigPath: "./tsconfig.json",
-  resolveReferences: true,
-  maxReferenceDepth: 5,
-  includeLocations: true,
-  assumeImported: false,
-  enableEffectWorkflow: false,
-  knownEffectInternalsRoot: void 0,
-  minDiscoveryConfidence: "low",
-  onlyExportedPrograms: false,
-  enableEffectFlow: false
-};
-var idCounter = 0;
-var generateId = () => `effect-${++idCounter}`;
-var nodeTextCache = /* @__PURE__ */ new WeakMap();
-function getNodeText(node) {
-  let text = nodeTextCache.get(node);
-  if (text === void 0) {
-    text = node.getText();
-    nodeTextCache.set(node, text);
-  }
-  return text;
-}
-function collectErrorTypes(nodes) {
-  const set = /* @__PURE__ */ new Set();
-  const visit = (list) => {
-    for (const node of list) {
-      if (node.type === "effect") {
-        const err = node.typeSignature?.errorType?.trim();
-        if (err && err !== "never") {
-          for (const part of splitTopLevelUnion(err)) {
-            set.add(part);
-          }
-        }
-      }
-      const children = Option2.getOrElse(getStaticChildren(node), () => []);
-      if (children.length > 0) visit(children);
-    }
-  };
-  visit(nodes);
-  return Array.from(set).sort();
-}
-function collectDependencies(nodes) {
-  const byName = /* @__PURE__ */ new Map();
-  const visit = (list) => {
-    for (const node of list) {
-      if (node.type === "effect") {
-        const reqs = node.requiredServices;
-        if (reqs) {
-          for (const r of reqs) {
-            if (!byName.has(r.serviceId)) {
-              byName.set(r.serviceId, {
-                name: r.serviceId,
-                typeSignature: r.serviceType,
-                isLayer: false
-              });
-            }
-          }
-        }
-        if ((node.semanticRole === "environment" || node.semanticRole === "side-effect") && node.callee) {
-          const callee = node.callee;
-          const looksLikeService = /^[A-Z]/.test(callee) && !callee.startsWith("Effect.") && !callee.startsWith("Schema.") && !callee.startsWith("Data.") && !callee.startsWith("Config.") && !callee.startsWith("Command.") && !callee.startsWith("Stream.") && !callee.startsWith("Option.") && !callee.startsWith("Either.") && !callee.startsWith("Cause.") && !callee.startsWith("Exit.");
-          if (looksLikeService && !byName.has(callee)) {
-            byName.set(callee, {
-              name: callee,
-              typeSignature: node.typeSignature?.requirementsType,
-              isLayer: false
-            });
-          }
-        }
-      }
-      const children = Option2.getOrElse(getStaticChildren(node), () => []);
-      if (children.length > 0) visit(children);
-    }
-  };
-  visit(nodes);
-  return Array.from(byName.values());
-}
-var extractLocation = (node, filePath, includeLocations) => {
-  if (!includeLocations) {
-    return void 0;
-  }
-  const sourceFile = node.getSourceFile();
-  const pos = node.getStart();
-  const { line, column } = sourceFile.getLineAndColumnAtPos(pos);
-  const endPos = node.getEnd();
-  const end = sourceFile.getLineAndColumnAtPos(endPos);
-  return {
-    filePath,
-    line,
-    column,
-    endLine: end.line,
-    endColumn: end.column
-  };
+// src/analysis-patterns.ts
+var ERROR_HANDLER_PATTERNS = [
+  ".catchAll",
+  ".catchTag",
+  ".catchAllCause",
+  ".catchIf",
+  ".catchSome",
+  ".catchSomeCause",
+  ".catchSomeDefect",
+  ".catchAllDefect",
+  ".catchTags",
+  ".orElse",
+  ".orElseFail",
+  ".orElseSucceed",
+  ".orDie",
+  ".orDieWith",
+  ".flip",
+  ".mapError",
+  ".mapErrorCause",
+  ".mapBoth",
+  ".sandbox",
+  ".unsandbox",
+  ".parallelErrors",
+  ".filterOrDie",
+  ".filterOrDieMessage",
+  ".filterOrElse",
+  ".filterOrFail",
+  ".match",
+  ".matchCause",
+  ".matchEffect",
+  ".matchCauseEffect",
+  ".firstSuccessOf",
+  ".ignore",
+  ".ignoreLogged",
+  ".eventually"
+];
+var CONDITIONAL_PATTERNS = [
+  ".if",
+  ".when",
+  ".whenEffect",
+  ".whenFiberRef",
+  ".whenRef",
+  ".unless",
+  ".unlessEffect",
+  ".option",
+  ".either",
+  ".exit",
+  ".liftPredicate"
+];
+var RESOURCE_PATTERNS = [
+  ".acquireRelease",
+  ".acquireUseRelease",
+  ".ensuring",
+  ".addFinalizer",
+  ".onExit",
+  ".onError",
+  ".parallelFinalizers",
+  ".sequentialFinalizers",
+  ".finalizersMask",
+  ".using",
+  ".withEarlyRelease"
+];
+var COLLECTION_PATTERNS = [
+  ".forEach",
+  ".loop",
+  ".filter",
+  ".filterMap",
+  ".partition",
+  ".reduce",
+  ".reduceRight",
+  ".reduceWhile",
+  ".reduceEffect",
+  ".dropUntil",
+  ".dropWhile",
+  ".takeUntil",
+  ".takeWhile",
+  ".every",
+  ".exists",
+  ".findFirst",
+  ".head",
+  ".mergeAll",
+  ".replicate",
+  ".replicateEffect",
+  ".validateAll",
+  ".validateFirst",
+  ".validate",
+  ".validateWith"
+];
+var FIBER_PATTERNS = [
+  "Effect.fork",
+  ".fork",
+  ".forkAll",
+  ".forkIn",
+  ".forkWithErrorHandler",
+  "Fiber."
+];
+var TRANSFORM_OPS = {
+  "Effect.map": "map",
+  "Effect.flatMap": "flatMap",
+  "Effect.andThen": "andThen",
+  "Effect.tap": "tap",
+  "Effect.tapBoth": "tapBoth",
+  "Effect.tapError": "tapError",
+  "Effect.tapErrorTag": "tapErrorTag",
+  "Effect.tapErrorCause": "tapErrorCause",
+  "Effect.tapDefect": "tapDefect",
+  "Effect.zipLeft": "zipLeft",
+  "Effect.zipRight": "zipRight",
+  "Effect.zipWith": "zipWith",
+  "Effect.zip": "zip",
+  "Effect.as": "as",
+  "Effect.asVoid": "asVoid",
+  "Effect.asSome": "asSome",
+  "Effect.asSomeError": "asSomeError",
+  "Effect.flatten": "flatten",
+  "Effect.ap": "ap",
+  "Effect.negate": "negate",
+  "Effect.merge": "merge"
 };
-var extractJSDocDescription = (node) => {
-  const jsDocs = node.getJsDocs?.();
-  if (jsDocs && jsDocs.length > 0) {
-    const firstJsDoc = jsDocs[0];
-    if (!firstJsDoc) return void 0;
-    const comment = firstJsDoc.getComment?.();
-    if (comment) {
-      let description;
-      if (typeof comment === "string") {
-        description = comment;
-      } else if (Array.isArray(comment)) {
-        description = comment.map((c) => c.text).join("\n");
-      } else {
-        return void 0;
-      }
-      const tagIndex = description.search(/\n\s*@/);
-      if (tagIndex !== -1) {
-        description = description.substring(0, tagIndex);
-      }
-      return description.trim() || void 0;
-    }
-    const rawText = firstJsDoc.getText();
-    const descriptionMatch = /\/\*\*\s*\n?\s*\*\s*([^@]*?)(?=\n\s*\*\s*@|\*\/)/.exec(rawText);
-    if (descriptionMatch?.[1]) {
-      return descriptionMatch[1].replace(/\n\s*\*\s*/g, " ").trim() || void 0;
-    }
-  }
-  const leadingComments = node.getLeadingCommentRanges();
-  if (leadingComments.length > 0) {
-    const lastComment = leadingComments[leadingComments.length - 1];
-    if (!lastComment) return void 0;
-    const commentText = lastComment.getText();
-    if (commentText.startsWith("/**")) {
-      const cleaned = commentText.replace(/^\/\*\*\s*/, "").replace(/\s*\*\/\s*$/, "").replace(/^\s*\*\s?/gm, "").trim();
-      const tagIndex = cleaned.search(/\n@/);
-      if (tagIndex !== -1) {
-        return cleaned.substring(0, tagIndex).trim() || void 0;
-      }
-      return cleaned || void 0;
-    }
-  }
-  return void 0;
+var EFFECTFUL_TRANSFORMS = /* @__PURE__ */ new Set(["flatMap", "andThen", "tapBoth", "tapError", "tapErrorTag", "tapErrorCause", "tapDefect", "zipWith", "zipLeft", "zipRight", "zip", "ap", "flatten"]);
+var isTransformCall = (callee) => callee in TRANSFORM_OPS;
+var MATCH_OP_MAP = {
+  "Match.type": "type",
+  "Match.tag": "tag",
+  "Match.value": "value",
+  "Match.when": "when",
+  "Match.whenOr": "whenOr",
+  "Match.whenAnd": "whenAnd",
+  "Match.not": "not",
+  "Match.is": "is",
+  "Match.exhaustive": "exhaustive",
+  "Match.orElse": "orElse",
+  "Match.option": "option",
+  "Match.either": "either",
+  "Match.discriminator": "discriminator",
+  "Match.discriminatorsExhaustive": "discriminatorsExhaustive",
+  "Match.tags": "tags",
+  "Match.tagsExhaustive": "tagsExhaustive",
+  "Match.withReturnType": "withReturnType",
+  "Match.run": "run"
 };
-var extractJSDocTags = (node) => {
-  const tryGetJsDocText = (n) => {
-    const jsDocs = n.getJsDocs?.();
-    if (jsDocs && jsDocs.length > 0) {
-      return jsDocs[0].getText();
-    }
-    const leadingComments = n.getLeadingCommentRanges();
-    if (leadingComments.length > 0) {
-      const lastComment = leadingComments[leadingComments.length - 1];
-      if (lastComment) {
-        const commentText = lastComment.getText();
-        if (commentText.startsWith("/**")) return commentText;
-      }
-    }
-    return void 0;
-  };
-  let text = tryGetJsDocText(node);
-  if (!text) {
-    const { SyntaxKind } = loadTsMorph();
-    let current = node.getParent();
-    while (current && !text) {
-      const kind = current.getKind();
-      if (kind === SyntaxKind.VariableStatement) {
-        text = tryGetJsDocText(current);
-        break;
-      }
-      if (kind === SyntaxKind.VariableDeclarationList) {
-        const grandparent = current.getParent();
-        if (grandparent) {
-          text = tryGetJsDocText(grandparent);
-        }
-        break;
-      }
-      if (kind === SyntaxKind.CallExpression || kind === SyntaxKind.ArrowFunction || kind === SyntaxKind.VariableDeclaration || kind === SyntaxKind.ParenthesizedExpression) {
-        current = current.getParent();
-      } else {
-        break;
-      }
-    }
-  }
-  if (!text) return void 0;
-  return parseJSDocTags(text);
+var EXHAUSTIVE_OPS = /* @__PURE__ */ new Set(["exhaustive", "discriminatorsExhaustive", "tagsExhaustive"]);
+var isMatchCall = (callee) => callee.startsWith("Match.") && callee in MATCH_OP_MAP;
+var CAUSE_OP_MAP = {
+  "Cause.fail": "fail",
+  "Cause.die": "die",
+  "Cause.interrupt": "interrupt",
+  "Cause.parallel": "parallel",
+  "Cause.sequential": "sequential",
+  "Cause.empty": "empty",
+  "Cause.failures": "failures",
+  "Cause.defects": "defects",
+  "Cause.interruptors": "interruptors",
+  "Cause.squash": "squash",
+  "Cause.squashWith": "squashWith",
+  "Cause.pretty": "pretty",
+  "Cause.flatten": "flatten",
+  "Cause.isDie": "isDie",
+  "Cause.isFailure": "isFailure",
+  "Cause.isInterrupted": "isInterrupted",
+  "Cause.isEmpty": "isEmpty",
+  "Cause.map": "map",
+  "Cause.filter": "filter"
 };
-function parseJSDocTags(rawText) {
-  const cleaned = rawText.replace(/^\/\*\*/, "").replace(/\*\/$/, "").split("\n").map((line) => line.replace(/^\s*\*\s?/, "")).join("\n");
-  const params = [];
-  let returns;
-  const throws = [];
-  let example;
-  const tagPattern = /@(param|returns?|throws?|exception|example)\s*(.*)/gi;
-  let match;
-  while ((match = tagPattern.exec(cleaned)) !== null) {
-    const tag = match[1].toLowerCase();
-    const rest = match[2].trim();
-    if (tag === "param") {
-      const paramMatch = /^(?:\{[^}]*\}\s*)?(\[?\w+(?:=[^\]]*)?]?)\s*(?:-\s*(.*))?$/.exec(rest);
-      if (paramMatch) {
-        const name = paramMatch[1].replace(/^\[|\]$/g, "").replace(/=.*/, "");
-        const description = paramMatch[2]?.trim();
-        params.push(description ? { name, description } : { name });
-      }
-    } else if (tag === "returns" || tag === "return") {
-      returns = rest.replace(/^\{[^}]*\}\s*/, "").trim() || void 0;
-    } else if (tag === "throws" || tag === "throw" || tag === "exception") {
-      const value = rest.replace(/^\{[^}]*\}\s*/, "").trim();
-      if (value) throws.push(value);
-    } else if (tag === "example") {
-      const exampleStart = match.index + match[0].length;
-      const nextTagMatch = /\n\s*@\w/.exec(cleaned.slice(exampleStart));
-      if (nextTagMatch) {
-        const block = cleaned.slice(match.index + match[0].length - rest.length, exampleStart + nextTagMatch.index);
-        example = block.trim() || void 0;
-      } else {
-        const block = cleaned.slice(match.index + match[0].length - rest.length);
-        example = block.trim() || void 0;
-      }
-    }
-  }
-  if (params.length === 0 && !returns && throws.length === 0 && !example) {
-    return void 0;
-  }
-  return { params, returns, throws, example };
-}
-var getJSDocFromParentVariable = (node) => {
-  const parent = node.getParent();
-  const { SyntaxKind } = loadTsMorph();
-  if (parent) {
-    const parentKind = parent.getKind();
-    if (parentKind === SyntaxKind.VariableDeclaration) {
-      return extractJSDocDescription(parent);
-    }
-    if (parentKind === SyntaxKind.ArrowFunction) {
-      const grandparent = parent.getParent();
-      if (grandparent?.getKind() === SyntaxKind.VariableDeclaration) {
-        return extractJSDocDescription(grandparent);
-      }
-    }
-  }
-  return void 0;
+var CAUSE_CONSTRUCTORS = /* @__PURE__ */ new Set(["fail", "die", "interrupt", "parallel", "sequential", "empty"]);
+var isCauseCall = (callee) => callee.startsWith("Cause.") && callee in CAUSE_OP_MAP;
+var EXIT_OP_MAP = {
+  "Exit.succeed": "succeed",
+  "Exit.fail": "fail",
+  "Exit.die": "die",
+  "Exit.interrupt": "interrupt",
+  "Exit.void": "void",
+  "Exit.unit": "unit",
+  "Exit.match": "match",
+  "Exit.isSuccess": "isSuccess",
+  "Exit.isFailure": "isFailure",
+  "Exit.isInterrupted": "isInterrupted",
+  "Exit.when": "when",
+  "Exit.whenEffect": "whenEffect",
+  "Exit.exists": "exists",
+  "Exit.contains": "contains",
+  "Exit.flatten": "flatten",
+  "Exit.map": "map",
+  "Exit.mapBoth": "mapBoth",
+  "Exit.mapError": "mapError",
+  "Exit.flatMap": "flatMap",
+  "Exit.zipWith": "zipWith",
+  "Exit.tap": "tap",
+  "Exit.tapBoth": "tapBoth",
+  "Exit.tapError": "tapError"
 };
-var extractYieldVariableName = (yieldNode) => {
-  const parent = yieldNode.getParent();
-  const { SyntaxKind } = loadTsMorph();
-  if (parent?.getKind() === SyntaxKind.VariableDeclaration) {
-    return parent.getName();
-  }
-  return void 0;
+var EXIT_CONSTRUCTORS = /* @__PURE__ */ new Set(["succeed", "fail", "die", "interrupt", "void", "unit"]);
+var isExitCall = (callee) => callee.startsWith("Exit.") && (callee in EXIT_OP_MAP || /^Exit\.\w+$/.test(callee));
+var SCHEDULE_OP_MAP = {
+  "Schedule.exponential": "exponential",
+  "Schedule.fibonacci": "fibonacci",
+  "Schedule.spaced": "spaced",
+  "Schedule.fixed": "fixed",
+  "Schedule.linear": "linear",
+  "Schedule.cron": "cron",
+  "Schedule.windowed": "windowed",
+  "Schedule.duration": "duration",
+  "Schedule.elapsed": "elapsed",
+  "Schedule.delays": "delays",
+  "Schedule.once": "once",
+  "Schedule.stop": "stop",
+  "Schedule.count": "count",
+  "Schedule.forever": "forever",
+  "Schedule.jittered": "jittered",
+  "Schedule.andThen": "andThen",
+  "Schedule.intersect": "intersect",
+  "Schedule.union": "union",
+  "Schedule.compose": "compose",
+  "Schedule.zipWith": "zipWith",
+  "Schedule.addDelay": "addDelay",
+  "Schedule.modifyDelay": "modifyDelay",
+  "Schedule.check": "check",
+  "Schedule.resetAfter": "resetAfter",
+  "Schedule.resetWhen": "resetWhen",
+  "Schedule.ensure": "ensure",
+  "Schedule.driver": "driver",
+  "Schedule.mapInput": "mapInput"
 };
-var extractProgramName = (node) => {
-  const { SyntaxKind } = loadTsMorph();
-  const getEnclosingVariableName = (start) => {
-    let current = start;
-    while (current !== void 0) {
-      if (current.getKind() === SyntaxKind.VariableDeclaration) {
-        return current.getName();
-      }
-      current = current.getParent();
-    }
-    return void 0;
-  };
-  const parent = node.getParent();
-  if (parent) {
-    const parentKind = parent.getKind();
-    if (parentKind === SyntaxKind.VariableDeclaration) {
-      return parent.getName();
-    }
-    if (parentKind === SyntaxKind.AwaitExpression) {
-      const grandparent = parent.getParent();
-      if (grandparent?.getKind() === SyntaxKind.VariableDeclaration) {
-        return grandparent.getName();
-      }
-    }
-    if (parentKind === SyntaxKind.PropertyAssignment) {
-      const property = parent;
-      const propertyName = property.getName();
-      const containerName = getEnclosingVariableName(parent);
-      return containerName ? `${containerName}.${propertyName}` : propertyName;
-    }
-    if (parentKind === SyntaxKind.ArrowFunction) {
-      const grandparent = parent.getParent();
-      if (grandparent?.getKind() === SyntaxKind.VariableDeclaration) {
-        return grandparent.getName();
-      }
-      if (grandparent?.getKind() === SyntaxKind.PropertyAssignment) {
-        const property = grandparent;
-        const propertyName = property.getName();
-        const containerName = getEnclosingVariableName(grandparent);
-        return containerName ? `${containerName}.${propertyName}` : propertyName;
-      }
-    }
-  }
-  let ancestor = node;
-  for (let depth = 0; ancestor && depth < 6; depth++) {
-    ancestor = ancestor.getParent();
-    if (!ancestor) break;
-    const kind = ancestor.getKind();
-    if (kind === SyntaxKind.VariableDeclaration) {
-      return ancestor.getName();
-    }
-    if (kind === SyntaxKind.PropertyAssignment) {
-      const property = ancestor;
-      const propertyName = property.getName();
-      const containerName = getEnclosingVariableName(ancestor);
-      return containerName ? `${containerName}.${propertyName}` : propertyName;
-    }
-    if (kind === SyntaxKind.Block || kind === SyntaxKind.SourceFile) break;
-  }
-  return void 0;
-};
-var extractEnclosingEffectFnName = (node) => {
-  const { SyntaxKind } = loadTsMorph();
-  let current = node.getParent();
-  for (let depth = 0; current && depth < 10; depth++) {
-    if (current.getKind() === SyntaxKind.CallExpression) {
-      const callExpr = current;
-      const exprText = callExpr.getExpression().getText();
-      if (exprText === "Effect.fn" || exprText.endsWith(".fn")) {
-        const args = callExpr.getArguments();
-        if (args.length > 0) {
-          const firstArg = args[0].getText();
-          const match = /^["'](.+)["']$/.exec(firstArg);
-          if (match?.[1]) return match[1];
-        }
-      }
-    }
-    current = current.getParent();
-  }
-  return void 0;
-};
-var createEmptyStats = () => ({
-  totalEffects: 0,
-  parallelCount: 0,
-  raceCount: 0,
-  errorHandlerCount: 0,
-  retryCount: 0,
-  timeoutCount: 0,
-  resourceCount: 0,
-  loopCount: 0,
-  conditionalCount: 0,
-  layerCount: 0,
-  interruptionCount: 0,
-  unknownCount: 0,
-  decisionCount: 0,
-  switchCount: 0,
-  tryCatchCount: 0,
-  terminalCount: 0,
-  opaqueCount: 0
-});
-var truncate = (s, max) => s.length <= max ? s : `${s.slice(0, max)}\u2026`;
-function computeDisplayName(node, variableName) {
-  switch (node.type) {
-    case "effect": {
-      const prefix = variableName ?? node.name;
-      return prefix ? `${prefix} <- ${node.callee}` : node.callee;
-    }
-    case "generator":
-      return `Generator (${node.yields.length} yields)`;
-    case "pipe":
-      return `Pipe (${node.transformations.length} steps)`;
-    case "parallel":
-      return `${node.callee} (${node.children.length})`;
-    case "race":
-      return `${node.callee} (${node.children.length} racing)`;
-    case "error-handler":
-      return node.name ? `${node.name}: ${node.handlerType}` : node.handlerType;
-    case "retry":
-      return node.schedule ? `retry: ${node.schedule}` : "retry";
-    case "timeout":
-      return node.duration ? `timeout: ${node.duration}` : "timeout";
-    case "resource":
-      return "Resource";
-    case "conditional":
-      return truncate(node.condition, 30);
-    case "loop":
-      return node.iterSource ? `${node.loopType}(${node.iterSource})` : node.loopType;
-    case "layer":
-      return node.isMerged ? "Layer (merged)" : "Layer";
-    case "stream": {
-      const ops = node.pipeline.map((op) => op.operation);
-      const parts = ["Stream", ...ops];
-      if (node.sink) parts.push(node.sink);
-      return parts.join(" \u2192 ");
-    }
-    case "concurrency-primitive":
-      return `${node.primitive}.${node.operation}`;
-    case "fiber": {
-      const op = node.operation;
-      if (node.isDaemon) return `${op} (daemon)`;
-      if (node.isScoped) return `${op} (scoped)`;
-      return op;
-    }
-    case "transform":
-      return node.transformType;
-    case "match":
-      return `Match.${node.matchOp}`;
-    case "cause":
-      return `Cause.${node.causeOp}`;
-    case "exit":
-      return `Exit.${node.exitOp}`;
-    case "schedule":
-      return `Schedule.${node.scheduleOp}`;
-    case "interruption":
-      return node.interruptionType;
-    case "channel": {
-      const channelOps = node.pipeline.map((op) => op.operation);
-      return channelOps.length > 0 ? `Channel: ${channelOps.join(" \u2192 ")}` : "Channel";
-    }
-    case "sink": {
-      const sinkOps = node.pipeline.map((op) => op.operation);
-      return sinkOps.length > 0 ? `Sink: ${sinkOps.join(" \u2192 ")}` : "Sink";
-    }
-    case "decision":
-      return truncate(node.condition, 30);
-    case "switch":
-      return `switch(${truncate(node.expression, 25)})`;
-    case "try-catch":
-      return "try/catch";
-    case "terminal":
-      return node.label ? `${node.terminalKind} ${node.label}` : node.terminalKind;
-    case "opaque":
-      return `Opaque: ${truncate(node.reason, 25)}`;
-    case "unknown":
-      return `Unknown: ${truncate(node.reason, 30)}`;
-  }
-}
-function computeSemanticRole(node) {
-  switch (node.type) {
-    case "effect": {
-      if (node.serviceCall || node.serviceMethod) return "service-call";
-      const desc = node.description?.toLowerCase() ?? "";
-      if (desc.includes("service")) return "service-call";
-      if (desc.includes("layer") || node.provideKind === "layer") return "layer";
-      const callee = node.callee.toLowerCase();
-      if (/^[A-Z][A-Za-z0-9_]*$/.test(node.callee) && !node.constructorKind) {
-        return "environment";
-      }
-      if (callee.includes("sync") || callee.includes("promise") || callee.includes("async") || callee.includes("log") || callee.includes("console")) {
-        return "side-effect";
-      }
-      if (callee.includes("succeed") || callee.includes("fail") || callee.includes("die") || callee.includes("void") || callee.includes("never") || callee.includes("gen") || callee.includes("make") || node.constructorKind) {
-        return "constructor";
-      }
-      return "side-effect";
-    }
-    case "generator":
-    case "pipe":
-      return "constructor";
-    case "parallel":
-    case "race":
-    case "concurrency-primitive":
-      return "concurrency";
-    case "error-handler":
-    case "cause":
-    case "exit":
-      return "error-handler";
-    case "retry":
-    case "timeout":
-    case "schedule":
-      return "scheduling";
-    case "resource":
-      return "resource";
-    case "conditional":
-    case "loop":
-    case "match":
-    case "decision":
-    case "switch":
-    case "terminal":
-      return "control-flow";
-    case "try-catch":
-      return "error-handler";
-    case "opaque":
-      return "unknown";
-    case "layer":
-      return "layer";
-    case "stream":
-    case "channel":
-    case "sink":
-      return "stream";
-    case "fiber":
-    case "interruption":
-      return "fiber";
-    case "transform":
-      return "transform";
-    case "unknown":
-      return "unknown";
-  }
-}
-
-// src/analysis-patterns.ts
-var ERROR_HANDLER_PATTERNS = [
-  ".catchAll",
-  ".catchTag",
-  ".catchAllCause",
-  ".catchIf",
-  ".catchSome",
-  ".catchSomeCause",
-  ".catchSomeDefect",
-  ".catchAllDefect",
-  ".catchTags",
-  ".orElse",
-  ".orElseFail",
-  ".orElseSucceed",
-  ".orDie",
-  ".orDieWith",
-  ".flip",
-  ".mapError",
-  ".mapErrorCause",
-  ".mapBoth",
-  ".sandbox",
-  ".unsandbox",
-  ".parallelErrors",
-  ".filterOrDie",
-  ".filterOrDieMessage",
-  ".filterOrElse",
-  ".filterOrFail",
-  ".match",
-  ".matchCause",
-  ".matchEffect",
-  ".matchCauseEffect",
-  ".firstSuccessOf",
-  ".ignore",
-  ".ignoreLogged",
-  ".eventually"
-];
-var CONDITIONAL_PATTERNS = [
-  ".if",
-  ".when",
-  ".whenEffect",
-  ".whenFiberRef",
-  ".whenRef",
-  ".unless",
-  ".unlessEffect",
-  ".option",
-  ".either",
-  ".exit",
-  ".liftPredicate"
+var isScheduleCall = (callee) => callee.startsWith("Schedule.") && (callee in SCHEDULE_OP_MAP || /^Schedule\.\w+$/.test(callee));
+var INTERRUPTION_PATTERNS = [
+  ".interruptible",
+  ".uninterruptible",
+  ".interruptibleMask",
+  ".uninterruptibleMask",
+  ".onInterrupt",
+  ".disconnect",
+  ".allowInterrupt",
+  "Effect.interrupt",
+  ".interruptWith"
 ];
-var RESOURCE_PATTERNS = [
-  ".acquireRelease",
-  ".acquireUseRelease",
-  ".ensuring",
-  ".addFinalizer",
-  ".onExit",
-  ".onError",
-  ".parallelFinalizers",
-  ".sequentialFinalizers",
-  ".finalizersMask",
-  ".using",
-  ".withEarlyRelease"
+var DO_NOTATION_PATTERNS = [
+  ".Do",
+  ".bind",
+  ".bindAll",
+  ".bindTo"
 ];
-var COLLECTION_PATTERNS = [
-  ".forEach",
-  ".loop",
-  ".filter",
-  ".filterMap",
-  ".partition",
-  ".reduce",
-  ".reduceRight",
-  ".reduceWhile",
-  ".reduceEffect",
-  ".dropUntil",
-  ".dropWhile",
-  ".takeUntil",
-  ".takeWhile",
-  ".every",
-  ".exists",
-  ".findFirst",
-  ".head",
-  ".mergeAll",
-  ".replicate",
-  ".replicateEffect",
-  ".validateAll",
-  ".validateFirst",
-  ".validate",
-  ".validateWith"
+var CACHING_PATTERNS = [
+  ".cached",
+  ".cachedWithTTL",
+  ".cachedInvalidateWithTTL",
+  ".cachedFunction",
+  ".once",
+  "Cache.",
+  "ScopedCache."
 ];
-var FIBER_PATTERNS = [
-  "Effect.fork",
-  ".fork",
-  ".forkAll",
-  ".forkIn",
-  ".forkWithErrorHandler",
-  "Fiber."
+var API_PREFIXES = [
+  "Effect.",
+  "Layer.",
+  "Schedule.",
+  "Stream.",
+  "Queue.",
+  "PubSub.",
+  "Deferred.",
+  "Semaphore.",
+  "Mailbox.",
+  "SubscriptionRef.",
+  "Scope.",
+  "Fiber.",
+  "Runtime.",
+  "ManagedRuntime.",
+  "NodeRuntime.",
+  "BunRuntime.",
+  "DenoRuntime.",
+  "Cause.",
+  "Exit.",
+  "Data.",
+  "Option.",
+  "Either.",
+  "Chunk.",
+  "HashMap.",
+  "HashSet.",
+  "List.",
+  "SortedMap.",
+  "SortedSet.",
+  "RedBlackTree.",
+  "Trie.",
+  "Graph.",
+  "Match.",
+  "Config.",
+  "Schema.",
+  "Cache.",
+  "ScopedCache.",
+  "RcRef.",
+  "RcMap.",
+  "Reloadable.",
+  "Cache.",
+  "ScopedCache.",
+  "RateLimiter.",
+  "PartitionedSemaphore.",
+  "FiberSet.",
+  "FiberMap.",
+  "FiberHandle.",
+  "Metric.",
+  "Logger.",
+  "Tracer.",
+  "Context.",
+  "HttpClient.",
+  "HttpRouter.",
+  "HttpApi.",
+  "FileSystem.",
+  "Command.",
+  "Socket.",
+  "SocketServer.",
+  "Worker.",
+  "Terminal.",
+  "KeyValueStore.",
+  "Multipart.",
+  "Ndjson.",
+  "MsgPack.",
+  "OpenApi.",
+  "OpenApiJsonSchema.",
+  "Brand.",
+  "Encoding.",
+  "Predicate.",
+  "DateTime.",
+  "Cron.",
+  "BigDecimal.",
+  "HashRing.",
+  "Redacted.",
+  "GlobalValue.",
+  "Channel.",
+  "Sink.",
+  "CliApp.",
+  "Args.",
+  "Options.",
+  "AiModel.",
+  "AiToolkit.",
+  "Completions.",
+  "AiInput.",
+  "AiResponse.",
+  "NodeSdk.",
+  "WebSdk.",
+  "Entity.",
+  "ClusterSchema.",
+  "MessageState.",
+  "Sharding.",
+  "RpcGroup.",
+  "RpcApi.",
+  "RpcClient.",
+  "RpcRouter.",
+  "SqlResolver.",
+  "SqlMigrator.",
+  "Printer.",
+  "Doc.",
+  "DocTree.",
+  "PageWidth.",
+  "Optimize."
 ];
-var TRANSFORM_OPS = {
-  "Effect.map": "map",
-  "Effect.flatMap": "flatMap",
-  "Effect.andThen": "andThen",
-  "Effect.tap": "tap",
-  "Effect.tapBoth": "tapBoth",
-  "Effect.tapError": "tapError",
-  "Effect.tapErrorTag": "tapErrorTag",
-  "Effect.tapErrorCause": "tapErrorCause",
-  "Effect.tapDefect": "tapDefect",
-  "Effect.zipLeft": "zipLeft",
-  "Effect.zipRight": "zipRight",
-  "Effect.zipWith": "zipWith",
-  "Effect.zip": "zip",
-  "Effect.as": "as",
-  "Effect.asVoid": "asVoid",
-  "Effect.asSome": "asSome",
-  "Effect.asSomeError": "asSomeError",
-  "Effect.flatten": "flatten",
-  "Effect.ap": "ap",
-  "Effect.negate": "negate",
-  "Effect.merge": "merge"
-};
-var EFFECTFUL_TRANSFORMS = /* @__PURE__ */ new Set(["flatMap", "andThen", "tapBoth", "tapError", "tapErrorTag", "tapErrorCause", "tapDefect", "zipWith", "zipLeft", "zipRight", "zip", "ap", "flatten"]);
-var isTransformCall = (callee) => callee in TRANSFORM_OPS;
-var MATCH_OP_MAP = {
-  "Match.type": "type",
-  "Match.tag": "tag",
-  "Match.value": "value",
-  "Match.when": "when",
-  "Match.whenOr": "whenOr",
-  "Match.whenAnd": "whenAnd",
-  "Match.not": "not",
-  "Match.is": "is",
-  "Match.exhaustive": "exhaustive",
-  "Match.orElse": "orElse",
-  "Match.option": "option",
-  "Match.either": "either",
-  "Match.discriminator": "discriminator",
-  "Match.discriminatorsExhaustive": "discriminatorsExhaustive",
-  "Match.tags": "tags",
-  "Match.tagsExhaustive": "tagsExhaustive",
-  "Match.withReturnType": "withReturnType",
-  "Match.run": "run"
+var BUILT_IN_TYPE_NAMES = /* @__PURE__ */ new Set([
+  "Array",
+  "ReadonlyArray",
+  "String",
+  "Number",
+  "Boolean",
+  "Object",
+  "Function",
+  "Promise",
+  "Math",
+  "Date",
+  "RegExp",
+  "Error",
+  "Map",
+  "Set",
+  "WeakMap",
+  "WeakSet",
+  "Symbol",
+  "BigInt",
+  "JSON",
+  "Console",
+  "process",
+  "Buffer",
+  "EventEmitter",
+  "Window",
+  "Document",
+  "AbortController"
+]);
+var KNOWN_EFFECT_NAMESPACES = /* @__PURE__ */ new Set([
+  "Effect",
+  "Layer",
+  "Stream",
+  "Queue",
+  "PubSub",
+  "Deferred",
+  "Semaphore",
+  "Mailbox",
+  "SubscriptionRef",
+  "Scope",
+  "Fiber",
+  "Runtime",
+  "ManagedRuntime",
+  "Cause",
+  "Exit",
+  "Data",
+  "Option",
+  "Either",
+  "Chunk",
+  "HashMap",
+  "HashSet",
+  "List",
+  "SortedMap",
+  "SortedSet",
+  "Match",
+  "Config",
+  "Schema",
+  "Schedule",
+  "Metric",
+  "Tracer",
+  "Logger",
+  "FiberRef",
+  "FiberHandle",
+  "FiberSet",
+  "FiberMap",
+  "Cache",
+  "ScopedCache",
+  "RateLimiter",
+  "Supervisor"
+]);
+var isServiceTagCallee = (callee) => {
+  if (callee.includes(".")) return false;
+  if (KNOWN_EFFECT_NAMESPACES.has(callee)) return false;
+  return /^[A-Z][A-Za-z0-9]*$/.test(callee);
 };
-var EXHAUSTIVE_OPS = /* @__PURE__ */ new Set(["exhaustive", "discriminatorsExhaustive", "tagsExhaustive"]);
-var isMatchCall = (callee) => callee.startsWith("Match.") && callee in MATCH_OP_MAP;
-var CAUSE_OP_MAP = {
-  "Cause.fail": "fail",
-  "Cause.die": "die",
-  "Cause.interrupt": "interrupt",
-  "Cause.parallel": "parallel",
-  "Cause.sequential": "sequential",
-  "Cause.empty": "empty",
-  "Cause.failures": "failures",
-  "Cause.defects": "defects",
-  "Cause.interruptors": "interruptors",
-  "Cause.squash": "squash",
-  "Cause.squashWith": "squashWith",
-  "Cause.pretty": "pretty",
-  "Cause.flatten": "flatten",
-  "Cause.isDie": "isDie",
-  "Cause.isFailure": "isFailure",
-  "Cause.isInterrupted": "isInterrupted",
-  "Cause.isEmpty": "isEmpty",
-  "Cause.map": "map",
-  "Cause.filter": "filter"
+var getSemanticDescription = (callee) => {
+  if (callee.startsWith("Channel.")) return "channel";
+  if (callee.startsWith("Sink.")) return "sink";
+  if (callee.endsWith(".never")) return "never";
+  if (callee.endsWith(".void")) return "void-effect";
+  if (callee.endsWith(".fromNullable")) return "null-coalescing";
+  if (callee.endsWith(".fn")) return "function-lift";
+  if (callee.endsWith(".fnUntraced")) return "function-lift";
+  if (callee.includes(".async") || callee.includes(".asyncEffect") || callee.includes(".promise") || callee.includes(".sync") || callee.includes(".suspend") || callee.includes(".succeed") || callee.includes(".fail") || callee.includes(".try")) return "constructor";
+  if (INTERRUPTION_PATTERNS.some((p) => callee.includes(p))) return "interruption";
+  if (DO_NOTATION_PATTERNS.some((p) => callee.includes(p))) return "do-notation";
+  if (CACHING_PATTERNS.some((p) => callee.includes(p) || callee.startsWith(p))) return "caching";
+  if (ERROR_HANDLER_PATTERNS.some((p) => callee.includes(p))) return "error-handler";
+  if (CONDITIONAL_PATTERNS.some((p) => callee.includes(p))) return "conditional";
+  if (RESOURCE_PATTERNS.some((p) => callee.includes(p))) return "resource";
+  if (COLLECTION_PATTERNS.some((p) => callee.includes(p))) return "collection";
+  if (FIBER_PATTERNS.some((p) => callee.includes(p))) return "fiber";
+  if (callee.startsWith("Stream.")) return "stream";
+  if (callee.startsWith("Layer.")) return "layer";
+  if (callee.startsWith("Schema.")) return "schema";
+  if (callee.startsWith("Config.")) return "config";
+  if (callee.startsWith("Cause.")) return "cause";
+  if (callee.startsWith("Exit.")) return "exit";
+  if (callee === "Data.tagged" || callee === "Data.taggedEnum") return "tagged-enum";
+  if (callee.startsWith("Data.")) return "data";
+  if (callee.startsWith("Option.")) return "option";
+  if (callee.startsWith("Either.")) return "either";
+  if (callee.startsWith("Match.")) return "match";
+  if (callee.startsWith("ManagedRuntime.")) return "runtime";
+  if (callee.startsWith("Runtime.")) return "runtime";
+  if (callee.startsWith("NodeRuntime.") || callee.startsWith("BunRuntime.") || callee.startsWith("DenoRuntime.")) return "runtime";
+  if (callee.startsWith("Scope.")) return "scope";
+  if (callee.startsWith("ScopedRef.") || callee.startsWith("RcRef.") || callee.startsWith("RcMap.")) return "resource-ref";
+  if (callee.startsWith("Reloadable.") || callee.startsWith("Resource.")) return "reloadable";
+  if (callee.startsWith("Micro.")) return "micro";
+  if (callee.startsWith("Brand.")) return "brand";
+  if (callee.startsWith("Encoding.")) return "encoding";
+  if (callee.startsWith("Predicate.")) return "predicate";
+  if (callee.startsWith("DateTime.")) return "datetime";
+  if (callee.startsWith("Cron.")) return "cron";
+  if (callee.startsWith("Redacted.")) return "redacted";
+  if (callee.startsWith("GlobalValue.")) return "global-value";
+  if (callee.startsWith("Supervisor.")) return "supervisor";
+  if (callee.includes(".locally") || callee.includes(".locallyWith") || callee.includes(".locallyScoped") || callee.includes(".getFiberRefs") || callee.includes(".setFiberRefs") || callee.includes(".inheritFiberRefs") || callee.includes("FiberRef.")) return "fiberref";
+  if (callee.includes(".withConcurrency") || callee.includes(".withScheduler") || callee.includes(".withSchedulingPriority") || callee.includes(".daemonChildren") || callee.includes(".awaitAllChildren") || callee.includes(".supervised")) return "structured-concurrency";
+  if (callee.startsWith("Context.pick") || callee.startsWith("Context.omit")) return "context";
+  if (callee === "Effect.provide" || callee.startsWith("Effect.") && callee.includes(".provide") && !callee.includes("provideService")) return "context";
+  if (callee.includes(".serviceOption") || callee.includes(".serviceOptional") || callee.includes(".serviceFunction") || callee.includes(".serviceFunctionEffect") || callee.includes(".serviceFunctions") || callee.includes(".serviceConstants") || callee.includes(".serviceMembers") || callee.includes(".updateService")) return "service";
+  if (callee.startsWith("CliApp.") || callee.startsWith("Args.") || callee.startsWith("Options.")) return "cli";
+  if (callee.startsWith("AiModel.") || callee.startsWith("AiToolkit.") || callee.startsWith("Completions.") || callee.startsWith("AiInput.") || callee.startsWith("AiResponse.")) return "ai";
+  if (callee.startsWith("NodeSdk.") || callee.startsWith("WebSdk.") || callee.startsWith("OtelMetrics.")) return "opentelemetry";
+  if (callee.startsWith("Entity.") || callee.startsWith("ClusterSchema.") || callee.startsWith("MessageState.") || callee.startsWith("Sharding.")) return "cluster";
+  if (callee.startsWith("RpcGroup.") || callee.startsWith("RpcApi.") || callee.startsWith("RpcClient.") || callee.startsWith("RpcRouter.")) return "rpc";
+  if (callee.startsWith("SqlResolver.") || callee.startsWith("SqlMigrator.")) return "sql";
+  if (callee.startsWith("DevTools.") || callee.startsWith("Server.")) return "devtools";
+  if (callee.startsWith("BigDecimal.")) return "big-decimal";
+  if (callee.startsWith("Graph.")) return "graph";
+  if (callee.startsWith("HashRing.")) return "hash-ring";
+  if (callee.startsWith("Chunk.")) return "chunk";
+  if (callee.startsWith("HashMap.") || callee.startsWith("HashSet.")) return "immutable-collection";
+  if (callee.startsWith("List.") || callee.startsWith("SortedMap.") || callee.startsWith("SortedSet.") || callee.startsWith("RedBlackTree.") || callee.startsWith("Trie.")) return "immutable-collection";
+  if (callee.includes(".map") || callee.includes(".flatMap") || callee.includes(".andThen") || callee.includes(".tap") || callee.includes(".tapBoth") || callee.includes(".tapError") || callee.includes(".tapErrorTag") || callee.includes(".tapErrorCause") || callee.includes(".tapDefect") || callee.includes(".zip") || callee.includes(".zipLeft") || callee.includes(".zipRight") || callee.includes(".zipWith") || callee.includes(".as") || callee.includes(".asVoid") || callee.includes(".flatten") || callee.includes(".merge") || callee.includes(".ap") || callee.includes(".validate") || callee.includes(".negate")) return "transformation";
+  if (callee.startsWith("Printer.") || callee.startsWith("Doc.") || callee.startsWith("DocTree.") || callee.startsWith("PageWidth.") || callee.startsWith("Optimize.")) return "printer";
+  if (callee.startsWith("Http") || callee.startsWith("FileSystem.") || callee.startsWith("Command.") || callee.startsWith("Socket.") || callee.startsWith("Worker.")) return "platform";
+  if (callee.includes("channel.") && !callee.includes("Channel")) return "channel";
+  return void 0;
 };
-var CAUSE_CONSTRUCTORS = /* @__PURE__ */ new Set(["fail", "die", "interrupt", "parallel", "sequential", "empty"]);
-var isCauseCall = (callee) => callee.startsWith("Cause.") && callee in CAUSE_OP_MAP;
-var EXIT_OP_MAP = {
-  "Exit.succeed": "succeed",
-  "Exit.fail": "fail",
-  "Exit.die": "die",
-  "Exit.interrupt": "interrupt",
-  "Exit.void": "void",
-  "Exit.unit": "unit",
-  "Exit.match": "match",
-  "Exit.isSuccess": "isSuccess",
-  "Exit.isFailure": "isFailure",
-  "Exit.isInterrupted": "isInterrupted",
-  "Exit.when": "when",
-  "Exit.whenEffect": "whenEffect",
-  "Exit.exists": "exists",
-  "Exit.contains": "contains",
-  "Exit.flatten": "flatten",
-  "Exit.map": "map",
-  "Exit.mapBoth": "mapBoth",
-  "Exit.mapError": "mapError",
-  "Exit.flatMap": "flatMap",
-  "Exit.zipWith": "zipWith",
-  "Exit.tap": "tap",
-  "Exit.tapBoth": "tapBoth",
-  "Exit.tapError": "tapError"
+var getSemanticDescriptionWithAliases = (callee, effectAliases) => {
+  const direct = getSemanticDescription(callee);
+  if (direct) return direct;
+  if (effectAliases) {
+    const dotIndex = callee.indexOf(".");
+    if (dotIndex > 0) {
+      const prefix = callee.substring(0, dotIndex);
+      if (effectAliases.has(prefix)) {
+        const method = callee.substring(dotIndex + 1);
+        return getSemanticDescription(`Effect.${method}`);
+      }
+    }
+  }
+  return void 0;
 };
-var EXIT_CONSTRUCTORS = /* @__PURE__ */ new Set(["succeed", "fail", "die", "interrupt", "void", "unit"]);
-var isExitCall = (callee) => callee.startsWith("Exit.") && (callee in EXIT_OP_MAP || /^Exit\.\w+$/.test(callee));
-var SCHEDULE_OP_MAP = {
-  "Schedule.exponential": "exponential",
-  "Schedule.fibonacci": "fibonacci",
-  "Schedule.spaced": "spaced",
-  "Schedule.fixed": "fixed",
-  "Schedule.linear": "linear",
-  "Schedule.cron": "cron",
-  "Schedule.windowed": "windowed",
-  "Schedule.duration": "duration",
-  "Schedule.elapsed": "elapsed",
-  "Schedule.delays": "delays",
-  "Schedule.once": "once",
-  "Schedule.stop": "stop",
-  "Schedule.count": "count",
-  "Schedule.forever": "forever",
-  "Schedule.jittered": "jittered",
-  "Schedule.andThen": "andThen",
-  "Schedule.intersect": "intersect",
-  "Schedule.union": "union",
-  "Schedule.compose": "compose",
-  "Schedule.zipWith": "zipWith",
-  "Schedule.addDelay": "addDelay",
-  "Schedule.modifyDelay": "modifyDelay",
-  "Schedule.check": "check",
-  "Schedule.resetAfter": "resetAfter",
-  "Schedule.resetWhen": "resetWhen",
-  "Schedule.ensure": "ensure",
-  "Schedule.driver": "driver",
-  "Schedule.mapInput": "mapInput"
+var isLikelyDirectEffectInitializer = (initializer, effectImportNames, nonProgramEffectImportNames = /* @__PURE__ */ new Set()) => {
+  const { SyntaxKind } = loadTsMorph();
+  const isNonProgramName = (name) => nonProgramEffectImportNames.has(name);
+  const isRunEntrypointCalleeText = (exprText) => /\.run(?:Promise(?:Exit)?|Sync(?:Exit)?|Fork|Callback|Main)$/.test(exprText) || /^Runtime\.run(?:Promise|Sync|Fork)$/.test(exprText);
+  const isDirectEffectCalleeText = (exprText) => {
+    if (isRunEntrypointCalleeText(exprText)) {
+      return false;
+    }
+    const isPipeCall = exprText === "pipe" || exprText.endsWith(".pipe");
+    const dotIndex = exprText.indexOf(".");
+    if (dotIndex > 0 && isNonProgramName(exprText.slice(0, dotIndex))) {
+      return false;
+    }
+    return isPipeCall || [...effectImportNames].some((alias) => exprText.startsWith(`${alias}.`));
+  };
+  const isLikelyEffectCall = (call) => {
+    const callee = call.getExpression();
+    const exprText = callee.getText();
+    if (isRunEntrypointCalleeText(exprText)) {
+      return false;
+    }
+    const isPipeCall = exprText === "pipe";
+    const isMethodPipeCall = callee.getKind() === SyntaxKind.PropertyAccessExpression && callee.getName() === "pipe";
+    if (isPipeCall || isMethodPipeCall) {
+      const argsContainEffect = call.getArguments().some(
+        (arg) => isLikelyDirectEffectInitializer(arg, effectImportNames, nonProgramEffectImportNames)
+      );
+      if (argsContainEffect) {
+        return true;
+      }
+      if (isMethodPipeCall) {
+        const base = callee.getExpression();
+        return isLikelyDirectEffectInitializer(
+          base,
+          effectImportNames,
+          nonProgramEffectImportNames
+        );
+      }
+      return false;
+    }
+    if (callee.getKind() === SyntaxKind.Identifier && effectImportNames.has(exprText) && !isNonProgramName(exprText)) {
+      return true;
+    }
+    if (isDirectEffectCalleeText(exprText)) {
+      return true;
+    }
+    if (callee.getKind() === SyntaxKind.PropertyAccessExpression && isLikelyDirectEffectInitializer(
+      callee.getExpression(),
+      effectImportNames,
+      nonProgramEffectImportNames
+    )) {
+      return true;
+    }
+    return call.getArguments().some(
+      (arg) => isLikelyDirectEffectInitializer(arg, effectImportNames, nonProgramEffectImportNames)
+    );
+  };
+  const isInSameScope = (node, scope) => {
+    let current = node.getParent();
+    while (current && current !== scope) {
+      const k = current.getKind();
+      if (k === SyntaxKind.FunctionDeclaration || k === SyntaxKind.FunctionExpression || k === SyntaxKind.ArrowFunction || k === SyntaxKind.MethodDeclaration || k === SyntaxKind.GetAccessor || k === SyntaxKind.SetAccessor || k === SyntaxKind.ClassDeclaration || k === SyntaxKind.ClassExpression || k === SyntaxKind.Constructor || k === SyntaxKind.ClassStaticBlockDeclaration) {
+        return false;
+      }
+      current = current.getParent();
+    }
+    return true;
+  };
+  const blockContainsEffectLikeUsage = (block) => {
+    const callExprs = block.getDescendantsOfKind(SyntaxKind.CallExpression);
+    if (callExprs.some((call) => isInSameScope(call, block) && isLikelyEffectCall(call))) {
+      return true;
+    }
+    const awaitedExprs = block.getDescendantsOfKind(SyntaxKind.AwaitExpression);
+    if (awaitedExprs.some(
+      (awaitExpr) => isInSameScope(awaitExpr, block) && isLikelyDirectEffectInitializer(awaitExpr, effectImportNames, nonProgramEffectImportNames)
+    )) {
+      return true;
+    }
+    const propertyAccessExprs = block.getDescendantsOfKind(
+      SyntaxKind.PropertyAccessExpression
+    );
+    return propertyAccessExprs.some(
+      (expr) => isInSameScope(expr, block) && isLikelyDirectEffectInitializer(expr, effectImportNames, nonProgramEffectImportNames)
+    );
+  };
+  const blockContainsRunEntrypointUsage = (block) => block.getDescendantsOfKind(SyntaxKind.CallExpression).some((call) => isInSameScope(call, block) && isRunEntrypointCalleeText(call.getExpression().getText()));
+  if (initializer.getKind() === SyntaxKind.ObjectLiteralExpression) {
+    const obj = initializer;
+    return obj.getProperties().some((prop) => {
+      if (prop.getKind() === SyntaxKind.PropertyAssignment || prop.getKind() === SyntaxKind.ShorthandPropertyAssignment) {
+        const init = prop.getKind() === SyntaxKind.PropertyAssignment ? prop.getInitializer() : void 0;
+        return init ? isLikelyDirectEffectInitializer(init, effectImportNames, nonProgramEffectImportNames) : false;
+      }
+      if (prop.getKind() === SyntaxKind.MethodDeclaration || prop.getKind() === SyntaxKind.GetAccessor || prop.getKind() === SyntaxKind.SetAccessor) {
+        const body = prop.getBody();
+        return body ? blockContainsEffectLikeUsage(body) : false;
+      }
+      return false;
+    });
+  }
+  if (initializer.getKind() === SyntaxKind.ArrowFunction || initializer.getKind() === SyntaxKind.FunctionExpression) {
+    const fn = initializer;
+    const body = fn.getBody();
+    if (body.getKind() === SyntaxKind.Block) {
+      const bodyBlock = body;
+      const returnStmts = bodyBlock.getDescendantsOfKind(SyntaxKind.ReturnStatement);
+      const hasEffectReturn = returnStmts.some((ret) => {
+        if (!isInSameScope(ret, bodyBlock)) return false;
+        const expr = ret.getExpression();
+        return expr !== void 0 && isLikelyDirectEffectInitializer(
+          expr,
+          effectImportNames,
+          nonProgramEffectImportNames
+        );
+      });
+      if (hasEffectReturn) {
+        return true;
+      }
+      if (blockContainsRunEntrypointUsage(bodyBlock)) {
+        return false;
+      }
+      return blockContainsEffectLikeUsage(bodyBlock);
+    }
+    return isLikelyDirectEffectInitializer(body, effectImportNames, nonProgramEffectImportNames);
+  }
+  if (initializer.getKind() === SyntaxKind.CallExpression) {
+    return isLikelyEffectCall(initializer);
+  }
+  if (initializer.getKind() === SyntaxKind.AwaitExpression) {
+    const awaited = initializer.getExpression();
+    if (awaited.getKind() !== SyntaxKind.CallExpression) {
+      return false;
+    }
+    return isLikelyEffectCall(awaited);
+  }
+  if (initializer.getKind() === SyntaxKind.ConditionalExpression) {
+    const conditional = initializer;
+    return isLikelyDirectEffectInitializer(
+      conditional.getWhenTrue(),
+      effectImportNames,
+      nonProgramEffectImportNames
+    ) || isLikelyDirectEffectInitializer(
+      conditional.getWhenFalse(),
+      effectImportNames,
+      nonProgramEffectImportNames
+    );
+  }
+  if (initializer.getKind() === SyntaxKind.PropertyAccessExpression) {
+    const text = initializer.getText();
+    const dotIndex = text.indexOf(".");
+    if (dotIndex > 0 && isNonProgramName(text.slice(0, dotIndex))) {
+      return false;
+    }
+    return [...effectImportNames].some((alias) => text.startsWith(`${alias}.`));
+  }
+  return false;
 };
-var isScheduleCall = (callee) => callee.startsWith("Schedule.") && (callee in SCHEDULE_OP_MAP || /^Schedule\.\w+$/.test(callee));
-var INTERRUPTION_PATTERNS = [
-  ".interruptible",
-  ".uninterruptible",
-  ".interruptibleMask",
-  ".uninterruptibleMask",
-  ".onInterrupt",
-  ".disconnect",
-  ".allowInterrupt",
-  "Effect.interrupt",
-  ".interruptWith"
-];
-var DO_NOTATION_PATTERNS = [
-  ".Do",
-  ".bind",
-  ".bindAll",
-  ".bindTo"
-];
-var CACHING_PATTERNS = [
-  ".cached",
-  ".cachedWithTTL",
-  ".cachedInvalidateWithTTL",
-  ".cachedFunction",
-  ".once",
-  "Cache.",
-  "ScopedCache."
-];
-var API_PREFIXES = [
-  "Effect.",
-  "Layer.",
-  "Schedule.",
-  "Stream.",
-  "Queue.",
-  "PubSub.",
-  "Deferred.",
-  "Semaphore.",
-  "Mailbox.",
-  "SubscriptionRef.",
-  "Scope.",
-  "Fiber.",
-  "Runtime.",
-  "ManagedRuntime.",
-  "NodeRuntime.",
-  "BunRuntime.",
-  "DenoRuntime.",
-  "Cause.",
-  "Exit.",
-  "Data.",
-  "Option.",
-  "Either.",
-  "Chunk.",
-  "HashMap.",
-  "HashSet.",
-  "List.",
-  "SortedMap.",
-  "SortedSet.",
-  "RedBlackTree.",
-  "Trie.",
-  "Graph.",
-  "Match.",
-  "Config.",
-  "Schema.",
-  "Cache.",
-  "ScopedCache.",
-  "RcRef.",
-  "RcMap.",
-  "Reloadable.",
-  "Cache.",
-  "ScopedCache.",
-  "RateLimiter.",
-  "PartitionedSemaphore.",
-  "FiberSet.",
-  "FiberMap.",
-  "FiberHandle.",
-  "Metric.",
-  "Logger.",
-  "Tracer.",
-  "Context.",
-  "HttpClient.",
-  "HttpRouter.",
-  "HttpApi.",
-  "FileSystem.",
-  "Command.",
-  "Socket.",
-  "SocketServer.",
-  "Worker.",
-  "Terminal.",
-  "KeyValueStore.",
-  "Multipart.",
-  "Ndjson.",
-  "MsgPack.",
-  "OpenApi.",
-  "OpenApiJsonSchema.",
-  "Brand.",
-  "Encoding.",
-  "Predicate.",
-  "DateTime.",
-  "Cron.",
-  "BigDecimal.",
-  "HashRing.",
-  "Redacted.",
-  "GlobalValue.",
-  "Channel.",
-  "Sink.",
-  "CliApp.",
-  "Args.",
-  "Options.",
-  "AiModel.",
-  "AiToolkit.",
-  "Completions.",
-  "AiInput.",
-  "AiResponse.",
-  "NodeSdk.",
-  "WebSdk.",
-  "Entity.",
-  "ClusterSchema.",
-  "MessageState.",
-  "Sharding.",
-  "RpcGroup.",
-  "RpcApi.",
-  "RpcClient.",
-  "RpcRouter.",
-  "SqlResolver.",
-  "SqlMigrator.",
-  "Printer.",
-  "Doc.",
-  "DocTree.",
-  "PageWidth.",
-  "Optimize."
-];
-var BUILT_IN_TYPE_NAMES = /* @__PURE__ */ new Set([
-  "Array",
-  "ReadonlyArray",
-  "String",
-  "Number",
-  "Boolean",
-  "Object",
-  "Function",
-  "Promise",
-  "Math",
-  "Date",
-  "RegExp",
-  "Error",
-  "Map",
-  "Set",
-  "WeakMap",
-  "WeakSet",
-  "Symbol",
-  "BigInt",
-  "JSON",
-  "Console",
-  "process",
-  "Buffer",
-  "EventEmitter",
-  "Window",
-  "Document",
-  "AbortController"
-]);
-var KNOWN_EFFECT_NAMESPACES = /* @__PURE__ */ new Set([
+function isEffectPackageSpecifier(specifier) {
+  return specifier === "effect" || specifier.startsWith("effect/") || specifier.startsWith("@effect/");
+}
+var EFFECT_NAMESPACE_NAMES = /* @__PURE__ */ new Set([
   "Effect",
   "Layer",
+  "Schedule",
   "Stream",
   "Queue",
   "PubSub",
@@ -1324,358 +1188,575 @@ var KNOWN_EFFECT_NAMESPACES = /* @__PURE__ */ new Set([
   "Chunk",
   "HashMap",
   "HashSet",
-  "List",
-  "SortedMap",
-  "SortedSet",
   "Match",
   "Config",
   "Schema",
-  "Schedule",
-  "Metric",
-  "Tracer",
-  "Logger",
-  "FiberRef",
-  "FiberHandle",
-  "FiberSet",
-  "FiberMap",
   "Cache",
   "ScopedCache",
-  "RateLimiter",
-  "Supervisor"
+  "Metric",
+  "Logger",
+  "Tracer",
+  "Context",
+  "Brand",
+  "Encoding",
+  "Predicate",
+  "DateTime",
+  "Cron",
+  "BigDecimal",
+  "Graph",
+  "HashRing",
+  "Redacted",
+  "GlobalValue",
+  "NodeRuntime",
+  "BunRuntime",
+  "DenoRuntime",
+  "Channel",
+  "Sink"
 ]);
-var isServiceTagCallee = (callee) => {
-  if (callee.includes(".")) return false;
-  if (KNOWN_EFFECT_NAMESPACES.has(callee)) return false;
-  return /^[A-Z][A-Za-z0-9]*$/.test(callee);
+var KNOWN_INTERNAL_MODULES = /* @__PURE__ */ new Set([
+  "core",
+  "core-effect",
+  "core-stream",
+  "fiberRuntime",
+  "effectable",
+  "channel",
+  "sink",
+  "layer",
+  "schedule",
+  "mailbox",
+  "pubsub"
+]);
+function parseServiceIdsFromContextType(requiredType) {
+  const skip = /* @__PURE__ */ new Set(["never", "unknown", "any", "{}", "object"]);
+  const normalized = requiredType.trim();
+  if (!normalized || skip.has(normalized)) return [];
+  const parts = normalized.split(/[\s|&]+/).map((s) => s.trim().split("<")[0]?.trim() ?? "");
+  return parts.filter((s) => s.length > 0 && !skip.has(s));
+}
+function getNumericLiteralFromNode(node) {
+  const { SyntaxKind } = loadTsMorph();
+  const kind = node.getKind();
+  if (kind === SyntaxKind.NumericLiteral) {
+    const text = node.getText();
+    const n = Number(text);
+    return Number.isFinite(n) ? n : void 0;
+  }
+  if (kind === SyntaxKind.PrefixUnaryExpression) {
+    const unary = node;
+    if (unary.getOperatorToken() === SyntaxKind.MinusToken) {
+      const operand = unary.getOperand();
+      const v = getNumericLiteralFromNode(operand);
+      return v !== void 0 ? -v : void 0;
+    }
+  }
+  return void 0;
+}
+
+// src/analysis-utils.ts
+var DEFAULT_OPTIONS = {
+  tsConfigPath: "./tsconfig.json",
+  resolveReferences: true,
+  maxReferenceDepth: 5,
+  includeLocations: true,
+  assumeImported: false,
+  enableEffectWorkflow: false,
+  knownEffectInternalsRoot: void 0,
+  minDiscoveryConfidence: "low",
+  onlyExportedPrograms: false,
+  enableEffectFlow: false
+};
+var idCounter = 0;
+var generateId = () => `effect-${++idCounter}`;
+var nodeTextCache = /* @__PURE__ */ new WeakMap();
+function getNodeText(node) {
+  let text = nodeTextCache.get(node);
+  if (text === void 0) {
+    text = node.getText();
+    nodeTextCache.set(node, text);
+  }
+  return text;
+}
+function collectErrorTypes(nodes) {
+  const set = /* @__PURE__ */ new Set();
+  const visit = (list) => {
+    for (const node of list) {
+      if (node.type === "effect") {
+        const err = node.typeSignature?.errorType?.trim();
+        if (err && err !== "never") {
+          for (const part of splitTopLevelUnion(err)) {
+            set.add(part);
+          }
+        }
+      }
+      const children = Option2.getOrElse(getStaticChildren(node), () => []);
+      if (children.length > 0) visit(children);
+    }
+  };
+  visit(nodes);
+  return Array.from(set).sort();
+}
+function collectDependencies(nodes) {
+  const byName = /* @__PURE__ */ new Map();
+  const visit = (list) => {
+    for (const node of list) {
+      if (node.type === "effect") {
+        const reqs = node.requiredServices;
+        if (reqs) {
+          for (const r of reqs) {
+            if (!byName.has(r.serviceId)) {
+              byName.set(r.serviceId, {
+                name: r.serviceId,
+                typeSignature: r.serviceType,
+                isLayer: false
+              });
+            }
+          }
+        }
+        if ((node.semanticRole === "environment" || node.semanticRole === "side-effect") && node.callee) {
+          const callee = node.callee;
+          const looksLikeService = /^[A-Z]/.test(callee) && !callee.startsWith("Effect.") && !callee.startsWith("Schema.") && !callee.startsWith("Data.") && !callee.startsWith("Config.") && !callee.startsWith("Command.") && !callee.startsWith("Stream.") && !callee.startsWith("Option.") && !callee.startsWith("Either.") && !callee.startsWith("Cause.") && !callee.startsWith("Exit.");
+          if (looksLikeService && !byName.has(callee)) {
+            byName.set(callee, {
+              name: callee,
+              typeSignature: node.typeSignature?.requirementsType,
+              isLayer: false
+            });
+          }
+        }
+      }
+      const children = Option2.getOrElse(getStaticChildren(node), () => []);
+      if (children.length > 0) visit(children);
+    }
+  };
+  visit(nodes);
+  return Array.from(byName.values());
+}
+var extractLocation = (node, filePath, includeLocations) => {
+  if (!includeLocations) {
+    return void 0;
+  }
+  const sourceFile = node.getSourceFile();
+  const pos = node.getStart();
+  const { line, column } = sourceFile.getLineAndColumnAtPos(pos);
+  const endPos = node.getEnd();
+  const end = sourceFile.getLineAndColumnAtPos(endPos);
+  return {
+    filePath,
+    line,
+    column,
+    endLine: end.line,
+    endColumn: end.column
+  };
 };
-var getSemanticDescription = (callee) => {
-  if (callee.startsWith("Channel.")) return "channel";
-  if (callee.startsWith("Sink.")) return "sink";
-  if (callee.endsWith(".never")) return "never";
-  if (callee.endsWith(".void")) return "void-effect";
-  if (callee.endsWith(".fromNullable")) return "null-coalescing";
-  if (callee.endsWith(".fn")) return "function-lift";
-  if (callee.endsWith(".fnUntraced")) return "function-lift";
-  if (callee.includes(".async") || callee.includes(".asyncEffect") || callee.includes(".promise") || callee.includes(".sync") || callee.includes(".suspend") || callee.includes(".succeed") || callee.includes(".fail") || callee.includes(".try")) return "constructor";
-  if (INTERRUPTION_PATTERNS.some((p) => callee.includes(p))) return "interruption";
-  if (DO_NOTATION_PATTERNS.some((p) => callee.includes(p))) return "do-notation";
-  if (CACHING_PATTERNS.some((p) => callee.includes(p) || callee.startsWith(p))) return "caching";
-  if (ERROR_HANDLER_PATTERNS.some((p) => callee.includes(p))) return "error-handler";
-  if (CONDITIONAL_PATTERNS.some((p) => callee.includes(p))) return "conditional";
-  if (RESOURCE_PATTERNS.some((p) => callee.includes(p))) return "resource";
-  if (COLLECTION_PATTERNS.some((p) => callee.includes(p))) return "collection";
-  if (FIBER_PATTERNS.some((p) => callee.includes(p))) return "fiber";
-  if (callee.startsWith("Stream.")) return "stream";
-  if (callee.startsWith("Layer.")) return "layer";
-  if (callee.startsWith("Schema.")) return "schema";
-  if (callee.startsWith("Config.")) return "config";
-  if (callee.startsWith("Cause.")) return "cause";
-  if (callee.startsWith("Exit.")) return "exit";
-  if (callee === "Data.tagged" || callee === "Data.taggedEnum") return "tagged-enum";
-  if (callee.startsWith("Data.")) return "data";
-  if (callee.startsWith("Option.")) return "option";
-  if (callee.startsWith("Either.")) return "either";
-  if (callee.startsWith("Match.")) return "match";
-  if (callee.startsWith("ManagedRuntime.")) return "runtime";
-  if (callee.startsWith("Runtime.")) return "runtime";
-  if (callee.startsWith("NodeRuntime.") || callee.startsWith("BunRuntime.") || callee.startsWith("DenoRuntime.")) return "runtime";
-  if (callee.startsWith("Scope.")) return "scope";
-  if (callee.startsWith("ScopedRef.") || callee.startsWith("RcRef.") || callee.startsWith("RcMap.")) return "resource-ref";
-  if (callee.startsWith("Reloadable.") || callee.startsWith("Resource.")) return "reloadable";
-  if (callee.startsWith("Micro.")) return "micro";
-  if (callee.startsWith("Brand.")) return "brand";
-  if (callee.startsWith("Encoding.")) return "encoding";
-  if (callee.startsWith("Predicate.")) return "predicate";
-  if (callee.startsWith("DateTime.")) return "datetime";
-  if (callee.startsWith("Cron.")) return "cron";
-  if (callee.startsWith("Redacted.")) return "redacted";
-  if (callee.startsWith("GlobalValue.")) return "global-value";
-  if (callee.startsWith("Supervisor.")) return "supervisor";
-  if (callee.includes(".locally") || callee.includes(".locallyWith") || callee.includes(".locallyScoped") || callee.includes(".getFiberRefs") || callee.includes(".setFiberRefs") || callee.includes(".inheritFiberRefs") || callee.includes("FiberRef.")) return "fiberref";
-  if (callee.includes(".withConcurrency") || callee.includes(".withScheduler") || callee.includes(".withSchedulingPriority") || callee.includes(".daemonChildren") || callee.includes(".awaitAllChildren") || callee.includes(".supervised")) return "structured-concurrency";
-  if (callee.startsWith("Context.pick") || callee.startsWith("Context.omit")) return "context";
-  if (callee === "Effect.provide" || callee.startsWith("Effect.") && callee.includes(".provide") && !callee.includes("provideService")) return "context";
-  if (callee.includes(".serviceOption") || callee.includes(".serviceOptional") || callee.includes(".serviceFunction") || callee.includes(".serviceFunctionEffect") || callee.includes(".serviceFunctions") || callee.includes(".serviceConstants") || callee.includes(".serviceMembers") || callee.includes(".updateService")) return "service";
-  if (callee.startsWith("CliApp.") || callee.startsWith("Args.") || callee.startsWith("Options.")) return "cli";
-  if (callee.startsWith("AiModel.") || callee.startsWith("AiToolkit.") || callee.startsWith("Completions.") || callee.startsWith("AiInput.") || callee.startsWith("AiResponse.")) return "ai";
-  if (callee.startsWith("NodeSdk.") || callee.startsWith("WebSdk.") || callee.startsWith("OtelMetrics.")) return "opentelemetry";
-  if (callee.startsWith("Entity.") || callee.startsWith("ClusterSchema.") || callee.startsWith("MessageState.") || callee.startsWith("Sharding.")) return "cluster";
-  if (callee.startsWith("RpcGroup.") || callee.startsWith("RpcApi.") || callee.startsWith("RpcClient.") || callee.startsWith("RpcRouter.")) return "rpc";
-  if (callee.startsWith("SqlResolver.") || callee.startsWith("SqlMigrator.")) return "sql";
-  if (callee.startsWith("DevTools.") || callee.startsWith("Server.")) return "devtools";
-  if (callee.startsWith("BigDecimal.")) return "big-decimal";
-  if (callee.startsWith("Graph.")) return "graph";
-  if (callee.startsWith("HashRing.")) return "hash-ring";
-  if (callee.startsWith("Chunk.")) return "chunk";
-  if (callee.startsWith("HashMap.") || callee.startsWith("HashSet.")) return "immutable-collection";
-  if (callee.startsWith("List.") || callee.startsWith("SortedMap.") || callee.startsWith("SortedSet.") || callee.startsWith("RedBlackTree.") || callee.startsWith("Trie.")) return "immutable-collection";
-  if (callee.includes(".map") || callee.includes(".flatMap") || callee.includes(".andThen") || callee.includes(".tap") || callee.includes(".tapBoth") || callee.includes(".tapError") || callee.includes(".tapErrorTag") || callee.includes(".tapErrorCause") || callee.includes(".tapDefect") || callee.includes(".zip") || callee.includes(".zipLeft") || callee.includes(".zipRight") || callee.includes(".zipWith") || callee.includes(".as") || callee.includes(".asVoid") || callee.includes(".flatten") || callee.includes(".merge") || callee.includes(".ap") || callee.includes(".validate") || callee.includes(".negate")) return "transformation";
-  if (callee.startsWith("Printer.") || callee.startsWith("Doc.") || callee.startsWith("DocTree.") || callee.startsWith("PageWidth.") || callee.startsWith("Optimize.")) return "printer";
-  if (callee.startsWith("Http") || callee.startsWith("FileSystem.") || callee.startsWith("Command.") || callee.startsWith("Socket.") || callee.startsWith("Worker.")) return "platform";
-  if (callee.includes("channel.") && !callee.includes("Channel")) return "channel";
+var extractJSDocDescription = (node) => {
+  const jsDocs = node.getJsDocs?.();
+  if (jsDocs && jsDocs.length > 0) {
+    const firstJsDoc = jsDocs[0];
+    if (!firstJsDoc) return void 0;
+    const comment = firstJsDoc.getComment?.();
+    if (comment) {
+      let description;
+      if (typeof comment === "string") {
+        description = comment;
+      } else if (Array.isArray(comment)) {
+        description = comment.map((c) => c.text).join("\n");
+      } else {
+        return void 0;
+      }
+      const tagIndex = description.search(/\n\s*@/);
+      if (tagIndex !== -1) {
+        description = description.substring(0, tagIndex);
+      }
+      return description.trim() || void 0;
+    }
+    const rawText = firstJsDoc.getText();
+    const descriptionMatch = /\/\*\*\s*\n?\s*\*\s*([^@]*?)(?=\n\s*\*\s*@|\*\/)/.exec(rawText);
+    if (descriptionMatch?.[1]) {
+      return descriptionMatch[1].replace(/\n\s*\*\s*/g, " ").trim() || void 0;
+    }
+  }
+  const leadingComments = node.getLeadingCommentRanges();
+  if (leadingComments.length > 0) {
+    const lastComment = leadingComments[leadingComments.length - 1];
+    if (!lastComment) return void 0;
+    const commentText = lastComment.getText();
+    if (commentText.startsWith("/**")) {
+      const cleaned = commentText.replace(/^\/\*\*\s*/, "").replace(/\s*\*\/\s*$/, "").replace(/^\s*\*\s?/gm, "").trim();
+      const tagIndex = cleaned.search(/\n@/);
+      if (tagIndex !== -1) {
+        return cleaned.substring(0, tagIndex).trim() || void 0;
+      }
+      return cleaned || void 0;
+    }
+  }
   return void 0;
 };
-var getSemanticDescriptionWithAliases = (callee, effectAliases) => {
-  const direct = getSemanticDescription(callee);
-  if (direct) return direct;
-  if (effectAliases) {
-    const dotIndex = callee.indexOf(".");
-    if (dotIndex > 0) {
-      const prefix = callee.substring(0, dotIndex);
-      if (effectAliases.has(prefix)) {
-        const method = callee.substring(dotIndex + 1);
-        return getSemanticDescription(`Effect.${method}`);
+var extractJSDocTags = (node) => {
+  const tryGetJsDocText = (n) => {
+    const jsDocs = n.getJsDocs?.();
+    if (jsDocs && jsDocs.length > 0) {
+      return jsDocs[0].getText();
+    }
+    const leadingComments = n.getLeadingCommentRanges();
+    if (leadingComments.length > 0) {
+      const lastComment = leadingComments[leadingComments.length - 1];
+      if (lastComment) {
+        const commentText = lastComment.getText();
+        if (commentText.startsWith("/**")) return commentText;
+      }
+    }
+    return void 0;
+  };
+  let text = tryGetJsDocText(node);
+  if (!text) {
+    const { SyntaxKind } = loadTsMorph();
+    let current = node.getParent();
+    while (current && !text) {
+      const kind = current.getKind();
+      if (kind === SyntaxKind.VariableStatement) {
+        text = tryGetJsDocText(current);
+        break;
+      }
+      if (kind === SyntaxKind.VariableDeclarationList) {
+        const grandparent = current.getParent();
+        if (grandparent) {
+          text = tryGetJsDocText(grandparent);
+        }
+        break;
+      }
+      if (kind === SyntaxKind.CallExpression || kind === SyntaxKind.ArrowFunction || kind === SyntaxKind.VariableDeclaration || kind === SyntaxKind.ParenthesizedExpression) {
+        current = current.getParent();
+      } else {
+        break;
+      }
+    }
+  }
+  if (!text) return void 0;
+  return parseJSDocTags(text);
+};
+function parseJSDocTags(rawText) {
+  const cleaned = rawText.replace(/^\/\*\*/, "").replace(/\*\/$/, "").split("\n").map((line) => line.replace(/^\s*\*\s?/, "")).join("\n");
+  const params = [];
+  let returns;
+  const throws = [];
+  let example;
+  const tagPattern = /@(param|returns?|throws?|exception|example)\s*(.*)/gi;
+  let match;
+  while ((match = tagPattern.exec(cleaned)) !== null) {
+    const tag = match[1].toLowerCase();
+    const rest = match[2].trim();
+    if (tag === "param") {
+      const paramMatch = /^(?:\{[^}]*\}\s*)?(\[?\w+(?:=[^\]]*)?]?)\s*(?:-\s*(.*))?$/.exec(rest);
+      if (paramMatch) {
+        const name = paramMatch[1].replace(/^\[|\]$/g, "").replace(/=.*/, "");
+        const description = paramMatch[2]?.trim();
+        params.push(description ? { name, description } : { name });
+      }
+    } else if (tag === "returns" || tag === "return") {
+      returns = rest.replace(/^\{[^}]*\}\s*/, "").trim() || void 0;
+    } else if (tag === "throws" || tag === "throw" || tag === "exception") {
+      const value = rest.replace(/^\{[^}]*\}\s*/, "").trim();
+      if (value) throws.push(value);
+    } else if (tag === "example") {
+      const exampleStart = match.index + match[0].length;
+      const nextTagMatch = /\n\s*@\w/.exec(cleaned.slice(exampleStart));
+      if (nextTagMatch) {
+        const block = cleaned.slice(match.index + match[0].length - rest.length, exampleStart + nextTagMatch.index);
+        example = block.trim() || void 0;
+      } else {
+        const block = cleaned.slice(match.index + match[0].length - rest.length);
+        example = block.trim() || void 0;
+      }
+    }
+  }
+  if (params.length === 0 && !returns && throws.length === 0 && !example) {
+    return void 0;
+  }
+  return { params, returns, throws, example };
+}
+var getJSDocFromParentVariable = (node) => {
+  const parent = node.getParent();
+  const { SyntaxKind } = loadTsMorph();
+  if (parent) {
+    const parentKind = parent.getKind();
+    if (parentKind === SyntaxKind.VariableDeclaration) {
+      return extractJSDocDescription(parent);
+    }
+    if (parentKind === SyntaxKind.ArrowFunction) {
+      const grandparent = parent.getParent();
+      if (grandparent?.getKind() === SyntaxKind.VariableDeclaration) {
+        return extractJSDocDescription(grandparent);
       }
     }
   }
   return void 0;
 };
-var isLikelyDirectEffectInitializer = (initializer, effectImportNames, nonProgramEffectImportNames = /* @__PURE__ */ new Set()) => {
+var extractYieldVariableName = (yieldNode) => {
+  const parent = yieldNode.getParent();
   const { SyntaxKind } = loadTsMorph();
-  const isNonProgramName = (name) => nonProgramEffectImportNames.has(name);
-  const isRunEntrypointCalleeText = (exprText) => /\.run(?:Promise(?:Exit)?|Sync(?:Exit)?|Fork|Callback|Main)$/.test(exprText) || /^Runtime\.run(?:Promise|Sync|Fork)$/.test(exprText);
-  const isDirectEffectCalleeText = (exprText) => {
-    if (isRunEntrypointCalleeText(exprText)) {
-      return false;
-    }
-    const isPipeCall = exprText === "pipe" || exprText.endsWith(".pipe");
-    const dotIndex = exprText.indexOf(".");
-    if (dotIndex > 0 && isNonProgramName(exprText.slice(0, dotIndex))) {
-      return false;
+  if (parent?.getKind() === SyntaxKind.VariableDeclaration) {
+    return parent.getName();
+  }
+  return void 0;
+};
+var extractProgramName = (node) => {
+  const { SyntaxKind } = loadTsMorph();
+  const getEnclosingVariableName = (start) => {
+    let current = start;
+    while (current !== void 0) {
+      if (current.getKind() === SyntaxKind.VariableDeclaration) {
+        return current.getName();
+      }
+      current = current.getParent();
     }
-    return isPipeCall || [...effectImportNames].some((alias) => exprText.startsWith(`${alias}.`));
+    return void 0;
   };
-  const isLikelyEffectCall = (call) => {
-    const callee = call.getExpression();
-    const exprText = callee.getText();
-    if (isRunEntrypointCalleeText(exprText)) {
-      return false;
+  const parent = node.getParent();
+  if (parent) {
+    const parentKind = parent.getKind();
+    if (parentKind === SyntaxKind.VariableDeclaration) {
+      return parent.getName();
     }
-    const isPipeCall = exprText === "pipe";
-    const isMethodPipeCall = callee.getKind() === SyntaxKind.PropertyAccessExpression && callee.getName() === "pipe";
-    if (isPipeCall || isMethodPipeCall) {
-      const argsContainEffect = call.getArguments().some(
-        (arg) => isLikelyDirectEffectInitializer(arg, effectImportNames, nonProgramEffectImportNames)
-      );
-      if (argsContainEffect) {
-        return true;
-      }
-      if (isMethodPipeCall) {
-        const base = callee.getExpression();
-        return isLikelyDirectEffectInitializer(
-          base,
-          effectImportNames,
-          nonProgramEffectImportNames
-        );
+    if (parentKind === SyntaxKind.AwaitExpression) {
+      const grandparent = parent.getParent();
+      if (grandparent?.getKind() === SyntaxKind.VariableDeclaration) {
+        return grandparent.getName();
       }
-      return false;
-    }
-    if (callee.getKind() === SyntaxKind.Identifier && effectImportNames.has(exprText) && !isNonProgramName(exprText)) {
-      return true;
-    }
-    if (isDirectEffectCalleeText(exprText)) {
-      return true;
     }
-    if (callee.getKind() === SyntaxKind.PropertyAccessExpression && isLikelyDirectEffectInitializer(
-      callee.getExpression(),
-      effectImportNames,
-      nonProgramEffectImportNames
-    )) {
-      return true;
+    if (parentKind === SyntaxKind.PropertyAssignment) {
+      const property = parent;
+      const propertyName = property.getName();
+      const containerName = getEnclosingVariableName(parent);
+      return containerName ? `${containerName}.${propertyName}` : propertyName;
     }
-    return call.getArguments().some(
-      (arg) => isLikelyDirectEffectInitializer(arg, effectImportNames, nonProgramEffectImportNames)
-    );
-  };
-  const isInSameScope = (node, scope) => {
-    let current = node.getParent();
-    while (current && current !== scope) {
-      const k = current.getKind();
-      if (k === SyntaxKind.FunctionDeclaration || k === SyntaxKind.FunctionExpression || k === SyntaxKind.ArrowFunction || k === SyntaxKind.MethodDeclaration || k === SyntaxKind.GetAccessor || k === SyntaxKind.SetAccessor || k === SyntaxKind.ClassDeclaration || k === SyntaxKind.ClassExpression || k === SyntaxKind.Constructor || k === SyntaxKind.ClassStaticBlockDeclaration) {
-        return false;
+    if (parentKind === SyntaxKind.ArrowFunction) {
+      const grandparent = parent.getParent();
+      if (grandparent?.getKind() === SyntaxKind.VariableDeclaration) {
+        return grandparent.getName();
+      }
+      if (grandparent?.getKind() === SyntaxKind.PropertyAssignment) {
+        const property = grandparent;
+        const propertyName = property.getName();
+        const containerName = getEnclosingVariableName(grandparent);
+        return containerName ? `${containerName}.${propertyName}` : propertyName;
       }
-      current = current.getParent();
     }
-    return true;
-  };
-  const blockContainsEffectLikeUsage = (block) => {
-    const callExprs = block.getDescendantsOfKind(SyntaxKind.CallExpression);
-    if (callExprs.some((call) => isInSameScope(call, block) && isLikelyEffectCall(call))) {
-      return true;
+  }
+  let ancestor = node;
+  for (let depth = 0; ancestor && depth < 6; depth++) {
+    ancestor = ancestor.getParent();
+    if (!ancestor) break;
+    const kind = ancestor.getKind();
+    if (kind === SyntaxKind.VariableDeclaration) {
+      return ancestor.getName();
     }
-    const awaitedExprs = block.getDescendantsOfKind(SyntaxKind.AwaitExpression);
-    if (awaitedExprs.some(
-      (awaitExpr) => isInSameScope(awaitExpr, block) && isLikelyDirectEffectInitializer(awaitExpr, effectImportNames, nonProgramEffectImportNames)
-    )) {
-      return true;
+    if (kind === SyntaxKind.PropertyAssignment) {
+      const property = ancestor;
+      const propertyName = property.getName();
+      const containerName = getEnclosingVariableName(ancestor);
+      return containerName ? `${containerName}.${propertyName}` : propertyName;
     }
-    const propertyAccessExprs = block.getDescendantsOfKind(
-      SyntaxKind.PropertyAccessExpression
-    );
-    return propertyAccessExprs.some(
-      (expr) => isInSameScope(expr, block) && isLikelyDirectEffectInitializer(expr, effectImportNames, nonProgramEffectImportNames)
-    );
-  };
-  const blockContainsRunEntrypointUsage = (block) => block.getDescendantsOfKind(SyntaxKind.CallExpression).some((call) => isInSameScope(call, block) && isRunEntrypointCalleeText(call.getExpression().getText()));
-  if (initializer.getKind() === SyntaxKind.ObjectLiteralExpression) {
-    const obj = initializer;
-    return obj.getProperties().some((prop) => {
-      if (prop.getKind() === SyntaxKind.PropertyAssignment || prop.getKind() === SyntaxKind.ShorthandPropertyAssignment) {
-        const init = prop.getKind() === SyntaxKind.PropertyAssignment ? prop.getInitializer() : void 0;
-        return init ? isLikelyDirectEffectInitializer(init, effectImportNames, nonProgramEffectImportNames) : false;
-      }
-      if (prop.getKind() === SyntaxKind.MethodDeclaration || prop.getKind() === SyntaxKind.GetAccessor || prop.getKind() === SyntaxKind.SetAccessor) {
-        const body = prop.getBody();
-        return body ? blockContainsEffectLikeUsage(body) : false;
+    if (kind === SyntaxKind.Block || kind === SyntaxKind.SourceFile) break;
+  }
+  return void 0;
+};
+var extractEnclosingEffectFnName = (node) => {
+  const { SyntaxKind } = loadTsMorph();
+  let current = node.getParent();
+  for (let depth = 0; current && depth < 10; depth++) {
+    if (current.getKind() === SyntaxKind.CallExpression) {
+      const callExpr = current;
+      const exprText = callExpr.getExpression().getText();
+      if (exprText === "Effect.fn" || exprText.endsWith(".fn")) {
+        const args = callExpr.getArguments();
+        if (args.length > 0) {
+          const firstArg = args[0].getText();
+          const match = /^["'](.+)["']$/.exec(firstArg);
+          if (match?.[1]) return match[1];
+        }
       }
-      return false;
-    });
+    }
+    current = current.getParent();
   }
-  if (initializer.getKind() === SyntaxKind.ArrowFunction || initializer.getKind() === SyntaxKind.FunctionExpression) {
-    const fn = initializer;
-    const body = fn.getBody();
-    if (body.getKind() === SyntaxKind.Block) {
-      const bodyBlock = body;
-      const returnStmts = bodyBlock.getDescendantsOfKind(SyntaxKind.ReturnStatement);
-      const hasEffectReturn = returnStmts.some((ret) => {
-        if (!isInSameScope(ret, bodyBlock)) return false;
-        const expr = ret.getExpression();
-        return expr !== void 0 && isLikelyDirectEffectInitializer(
-          expr,
-          effectImportNames,
-          nonProgramEffectImportNames
-        );
-      });
-      if (hasEffectReturn) {
-        return true;
+  return void 0;
+};
+var createEmptyStats = () => ({
+  totalEffects: 0,
+  parallelCount: 0,
+  raceCount: 0,
+  errorHandlerCount: 0,
+  retryCount: 0,
+  timeoutCount: 0,
+  resourceCount: 0,
+  loopCount: 0,
+  conditionalCount: 0,
+  layerCount: 0,
+  interruptionCount: 0,
+  unknownCount: 0,
+  decisionCount: 0,
+  switchCount: 0,
+  tryCatchCount: 0,
+  terminalCount: 0,
+  opaqueCount: 0
+});
+var DEFAULT_LABEL_MAX = 60;
+function truncateDisplayText(s, max = DEFAULT_LABEL_MAX) {
+  return s.length <= max ? s : `${s.slice(0, max)}\u2026`;
+}
+var truncate = truncateDisplayText;
+function extractFunctionName(callee) {
+  const withoutArgs = callee.replace(/\(.*$/, "");
+  const parts = withoutArgs.split(".");
+  if (parts.length <= 1) return withoutArgs;
+  const receiver = parts[0] ?? "";
+  if (KNOWN_EFFECT_NAMESPACES.has(receiver) || BUILT_IN_TYPE_NAMES.has(receiver)) {
+    return parts[parts.length - 1] ?? withoutArgs;
+  }
+  return withoutArgs;
+}
+function computeDisplayName(node, variableName) {
+  switch (node.type) {
+    case "effect": {
+      const fnName = extractFunctionName(node.callee);
+      if (variableName) {
+        return truncate(`${variableName} <- ${fnName}`, 60);
       }
-      if (blockContainsRunEntrypointUsage(bodyBlock)) {
-        return false;
+      if (node.name) {
+        return truncate(`${node.name} <- ${fnName}`, 60);
       }
-      return blockContainsEffectLikeUsage(bodyBlock);
+      return truncate(fnName, 60);
+    }
+    case "generator":
+      return `Generator (${node.yields.length} yields)`;
+    case "pipe":
+      return `Pipe (${node.transformations.length} steps)`;
+    case "parallel":
+      return `${node.callee} (${node.children.length})`;
+    case "race":
+      return `${node.callee} (${node.children.length} racing)`;
+    case "error-handler":
+      return node.name ? `${node.name}: ${node.handlerType}` : node.handlerType;
+    case "retry":
+      return node.schedule ? `retry: ${node.schedule}` : "retry";
+    case "timeout":
+      return node.duration ? `timeout: ${node.duration}` : "timeout";
+    case "resource":
+      return "Resource";
+    case "conditional":
+      return truncate(node.condition, 30);
+    case "loop":
+      return node.iterSource ? truncate(`${node.loopType}(${node.iterSource})`, 60) : node.loopType;
+    case "layer":
+      return node.isMerged ? "Layer (merged)" : "Layer";
+    case "stream": {
+      const ops = node.pipeline.map((op) => op.operation);
+      const parts = ["Stream", ...ops];
+      if (node.sink) parts.push(node.sink);
+      return truncate(parts.join(" \u2192 "), 60);
     }
-    return isLikelyDirectEffectInitializer(body, effectImportNames, nonProgramEffectImportNames);
-  }
-  if (initializer.getKind() === SyntaxKind.CallExpression) {
-    return isLikelyEffectCall(initializer);
-  }
-  if (initializer.getKind() === SyntaxKind.AwaitExpression) {
-    const awaited = initializer.getExpression();
-    if (awaited.getKind() !== SyntaxKind.CallExpression) {
-      return false;
+    case "concurrency-primitive":
+      return `${node.primitive}.${node.operation}`;
+    case "fiber": {
+      const op = node.operation;
+      if (node.isDaemon) return `${op} (daemon)`;
+      if (node.isScoped) return `${op} (scoped)`;
+      return op;
     }
-    return isLikelyEffectCall(awaited);
-  }
-  if (initializer.getKind() === SyntaxKind.ConditionalExpression) {
-    const conditional = initializer;
-    return isLikelyDirectEffectInitializer(
-      conditional.getWhenTrue(),
-      effectImportNames,
-      nonProgramEffectImportNames
-    ) || isLikelyDirectEffectInitializer(
-      conditional.getWhenFalse(),
-      effectImportNames,
-      nonProgramEffectImportNames
-    );
-  }
-  if (initializer.getKind() === SyntaxKind.PropertyAccessExpression) {
-    const text = initializer.getText();
-    const dotIndex = text.indexOf(".");
-    if (dotIndex > 0 && isNonProgramName(text.slice(0, dotIndex))) {
-      return false;
+    case "transform":
+      return node.transformType;
+    case "match":
+      return `Match.${node.matchOp}`;
+    case "cause":
+      return `Cause.${node.causeOp}`;
+    case "exit":
+      return `Exit.${node.exitOp}`;
+    case "schedule":
+      return `Schedule.${node.scheduleOp}`;
+    case "interruption":
+      return node.interruptionType;
+    case "channel": {
+      const channelOps = node.pipeline.map((op) => op.operation);
+      return channelOps.length > 0 ? `Channel: ${channelOps.join(" \u2192 ")}` : "Channel";
     }
-    return [...effectImportNames].some((alias) => text.startsWith(`${alias}.`));
+    case "sink": {
+      const sinkOps = node.pipeline.map((op) => op.operation);
+      return sinkOps.length > 0 ? `Sink: ${sinkOps.join(" \u2192 ")}` : "Sink";
+    }
+    case "decision":
+      return truncate(node.condition, 30);
+    case "switch":
+      return `switch(${truncate(node.expression, 25)})`;
+    case "try-catch":
+      return "try/catch";
+    case "terminal":
+      return node.label ? `${node.terminalKind} ${node.label}` : node.terminalKind;
+    case "opaque":
+      return `Opaque: ${truncate(node.reason, 25)}`;
+    case "unknown":
+      return `Unknown: ${truncate(node.reason, 30)}`;
   }
-  return false;
-};
-function isEffectPackageSpecifier(specifier) {
-  return specifier === "effect" || specifier.startsWith("effect/") || specifier.startsWith("@effect/");
-}
-var EFFECT_NAMESPACE_NAMES = /* @__PURE__ */ new Set([
-  "Effect",
-  "Layer",
-  "Schedule",
-  "Stream",
-  "Queue",
-  "PubSub",
-  "Deferred",
-  "Semaphore",
-  "Mailbox",
-  "SubscriptionRef",
-  "Scope",
-  "Fiber",
-  "Runtime",
-  "ManagedRuntime",
-  "Cause",
-  "Exit",
-  "Data",
-  "Option",
-  "Either",
-  "Chunk",
-  "HashMap",
-  "HashSet",
-  "Match",
-  "Config",
-  "Schema",
-  "Cache",
-  "ScopedCache",
-  "Metric",
-  "Logger",
-  "Tracer",
-  "Context",
-  "Brand",
-  "Encoding",
-  "Predicate",
-  "DateTime",
-  "Cron",
-  "BigDecimal",
-  "Graph",
-  "HashRing",
-  "Redacted",
-  "GlobalValue",
-  "NodeRuntime",
-  "BunRuntime",
-  "DenoRuntime",
-  "Channel",
-  "Sink"
-]);
-var KNOWN_INTERNAL_MODULES = /* @__PURE__ */ new Set([
-  "core",
-  "core-effect",
-  "core-stream",
-  "fiberRuntime",
-  "effectable",
-  "channel",
-  "sink",
-  "layer",
-  "schedule",
-  "mailbox",
-  "pubsub"
-]);
-function parseServiceIdsFromContextType(requiredType) {
-  const skip = /* @__PURE__ */ new Set(["never", "unknown", "any", "{}", "object"]);
-  const normalized = requiredType.trim();
-  if (!normalized || skip.has(normalized)) return [];
-  const parts = normalized.split(/[\s|&]+/).map((s) => s.trim().split("<")[0]?.trim() ?? "");
-  return parts.filter((s) => s.length > 0 && !skip.has(s));
 }
-function getNumericLiteralFromNode(node) {
-  const { SyntaxKind } = loadTsMorph();
-  const kind = node.getKind();
-  if (kind === SyntaxKind.NumericLiteral) {
-    const text = node.getText();
-    const n = Number(text);
-    return Number.isFinite(n) ? n : void 0;
-  }
-  if (kind === SyntaxKind.PrefixUnaryExpression) {
-    const unary = node;
-    if (unary.getOperatorToken() === SyntaxKind.MinusToken) {
-      const operand = unary.getOperand();
-      const v = getNumericLiteralFromNode(operand);
-      return v !== void 0 ? -v : void 0;
+function computeSemanticRole(node) {
+  switch (node.type) {
+    case "effect": {
+      if (node.serviceCall || node.serviceMethod) return "service-call";
+      const desc = node.description?.toLowerCase() ?? "";
+      if (desc.includes("service")) return "service-call";
+      if (desc.includes("layer") || node.provideKind === "layer") return "layer";
+      const callee = node.callee.toLowerCase();
+      if (/^[A-Z][A-Za-z0-9_]*$/.test(node.callee) && !node.constructorKind) {
+        return "environment";
+      }
+      if (callee.includes("sync") || callee.includes("promise") || callee.includes("async") || callee.includes("log") || callee.includes("console")) {
+        return "side-effect";
+      }
+      if (callee.includes("succeed") || callee.includes("fail") || callee.includes("die") || callee.includes("void") || callee.includes("never") || callee.includes("gen") || callee.includes("make") || node.constructorKind) {
+        return "constructor";
+      }
+      return "side-effect";
     }
+    case "generator":
+    case "pipe":
+      return "constructor";
+    case "parallel":
+    case "race":
+    case "concurrency-primitive":
+      return "concurrency";
+    case "error-handler":
+    case "cause":
+    case "exit":
+      return "error-handler";
+    case "retry":
+    case "timeout":
+    case "schedule":
+      return "scheduling";
+    case "resource":
+      return "resource";
+    case "conditional":
+    case "loop":
+    case "match":
+    case "decision":
+    case "switch":
+    case "terminal":
+      return "control-flow";
+    case "try-catch":
+      return "error-handler";
+    case "opaque":
+      return "unknown";
+    case "layer":
+      return "layer";
+    case "stream":
+    case "channel":
+    case "sink":
+      return "stream";
+    case "fiber":
+    case "interruption":
+      return "fiber";
+    case "transform":
+      return "transform";
+    case "unknown":
+      return "unknown";
   }
-  return void 0;
 }
 
 // src/alias-resolution.ts
@@ -1774,20 +1855,36 @@ function getEffectImportNames(sourceFile) {
       const barrelFile = resolveBarrelSourceFile(project, currentPath, specifier);
       if (!barrelFile) continue;
       const reExported = getNamesReExportedFromEffect(barrelFile);
-      if (reExported.size === 0) continue;
+      const toCheck = [];
       const def = decl.getDefaultImport();
       if (def) {
         const text = def.getText();
-        if (reExported.has(text)) names.add(text);
+        toCheck.push({ name: text, localName: text });
       }
       const ns = decl.getNamespaceImport();
       if (ns) {
         const text = ns.getText();
-        if (reExported.has(text)) names.add(text);
+        toCheck.push({ name: text, localName: text });
       }
       for (const named of decl.getNamedImports()) {
-        if (reExported.has(named.getName())) {
-          names.add(named.getAliasNode()?.getText() ?? named.getName());
+        toCheck.push({
+          name: named.getName(),
+          localName: named.getAliasNode()?.getText() ?? named.getName()
+        });
+      }
+      let needsDeepTrace = false;
+      for (const entry of toCheck) {
+        if (reExported.has(entry.name)) {
+          names.add(entry.localName);
+        } else {
+          needsDeepTrace = true;
+        }
+      }
+      if (needsDeepTrace) {
+        for (const entry of toCheck) {
+          if (!reExported.has(entry.name) && traceReExportChain(barrelFile, entry.name, project, 3)) {
+            names.add(entry.localName);
+          }
         }
       }
     }
@@ -1893,6 +1990,40 @@ function normalizeEffectCallee(callee, sourceFile) {
   if (!canonical) return callee;
   return `${canonical}.${rest}`;
 }
+function traceReExportChain(barrelFile, name, project, maxDepth) {
+  if (maxDepth <= 0) return false;
+  for (const exportDecl of barrelFile.getExportDeclarations()) {
+    const specifier = exportDecl.getModuleSpecifierValue();
+    if (!specifier) continue;
+    let originalName;
+    if (exportDecl.isNamespaceExport()) {
+      originalName = name;
+    } else {
+      for (const namedExport of exportDecl.getNamedExports()) {
+        const alias = namedExport.getAliasNode()?.getText();
+        if (alias === name) {
+          originalName = namedExport.getName();
+          break;
+        }
+        if (namedExport.getName() === name) {
+          originalName = name;
+          break;
+        }
+      }
+    }
+    if (originalName === void 0) continue;
+    if (isEffectPackageSpecifier(specifier)) return true;
+    if (specifier.startsWith(".")) {
+      const nextBarrel = resolveBarrelSourceFile(project, barrelFile.getFilePath(), specifier);
+      if (nextBarrel) {
+        const fromEffect = getNamesReExportedFromEffect(nextBarrel);
+        if (fromEffect.has(originalName)) return true;
+        if (traceReExportChain(nextBarrel, originalName, project, maxDepth - 1)) return true;
+      }
+    }
+  }
+  return false;
+}
 function resolveCalleeModuleOrigin(calleeText, sourceFile) {
   let cache = symbolResolutionCache.get(sourceFile);
   if (!cache) {
@@ -1931,7 +2062,11 @@ function resolveCalleeModuleOrigin(calleeText, sourceFile) {
             );
             if (barrelFile) {
               const reExported = getNamesReExportedFromEffect(barrelFile);
-              result = reExported.has(named.getName());
+              if (reExported.has(named.getName())) {
+                result = true;
+              } else {
+                result = traceReExportChain(barrelFile, named.getName(), sourceFile.getProject(), 3);
+              }
             }
           }
           break;
@@ -2534,7 +2669,7 @@ var findEffectPrograms = (sourceFile, _opts) => {
         continue;
       }
     }
-    if ((exprText === "gen" || exprText.includes(".gen") && isEffectLikeCallExpression(call, sourceFile, effectImportNames, _opts.knownEffectInternalsRoot)) && !seenCallStarts.has(callStart)) {
+    if ((exprText === "gen" || exprText.endsWith(".gen") && isEffectLikeCallExpression(call, sourceFile, effectImportNames, _opts.knownEffectInternalsRoot)) && !seenCallStarts.has(callStart)) {
       const name = extractProgramName(call) ?? extractEnclosingEffectFnName(call) ?? `program-${programs.length + 1}`;
       programs.push({
         name,
@@ -2856,6 +2991,23 @@ import { Effect as Effect3, Option as Option4 } from "effect";
 
 // src/effect-analysis.ts
 import { Effect as Effect2, Option as Option3 } from "effect";
+var SCHEMA_OPS = [
+  "Schema.decode",
+  "Schema.decodeUnknown",
+  "Schema.encode",
+  "Schema.validate",
+  "Schema.decodeOption",
+  "Schema.decodeEither",
+  "Schema.encodeUnknown",
+  "Schema.decodeSync",
+  "Schema.encodeSync",
+  "Schema.decodeUnknownSync",
+  "Schema.decodeUnknownOption",
+  "Schema.decodeUnknownEither",
+  "Schema.decodePromise",
+  "Schema.encodePromise",
+  "Schema.decodeUnknownPromise"
+];
 var analyzePipeChain = (node, sourceFile, filePath, opts, warnings, stats) => Effect2.gen(function* () {
   const { SyntaxKind } = loadTsMorph();
   const args = node.getArguments();
@@ -2897,6 +3049,26 @@ var analyzePipeChain = (node, sourceFile, filePath, opts, warnings, stats) => Ef
       transformations.push(analyzed);
     }
   }
+  let spanName;
+  const filteredTransformations = transformations.filter((t) => {
+    if (t.type === "effect" && t.callee.includes("withSpan")) {
+      return false;
+    }
+    return true;
+  });
+  if (!spanName) {
+    for (const arg of transformArgs) {
+      if (arg) {
+        const argText = arg.getText();
+        if (argText.includes("withSpan")) {
+          const match = /withSpan\s*\(\s*["']([^"']+)["']/.exec(argText);
+          if (match?.[1]) {
+            spanName = match[1];
+          }
+        }
+      }
+    }
+  }
   let typeFlow;
   try {
     const typeChecker = sourceFile.getProject().getTypeChecker();
@@ -2916,8 +3088,9 @@ var analyzePipeChain = (node, sourceFile, filePath, opts, warnings, stats) => Ef
     id: generateId(),
     type: "pipe",
     initial,
-    transformations,
-    ...typeFlow ? { typeFlow } : {}
+    transformations: filteredTransformations,
+    ...typeFlow ? { typeFlow } : {},
+    ...spanName ? { spanName } : {}
   };
   const enrichedPipeNode = {
     ...pipeNode,
@@ -3098,7 +3271,8 @@ var analyzeEffectCall = (call, sourceFile, filePath, opts, warnings, stats, serv
     filePath,
     opts.includeLocations ?? false
   );
-  if (callee === "pipe" && call.getArguments().length >= 1) {
+  const isEffectMethodPipe = callee.endsWith(".pipe") && callee !== "pipe" && callee.startsWith("Effect.");
+  if ((callee === "pipe" || isEffectMethodPipe) && call.getArguments().length >= 1) {
     const nodes = yield* analyzePipeChain(
       call,
       sourceFile,
@@ -3301,7 +3475,8 @@ var analyzeEffectCall = (call, sourceFile, filePath, opts, warnings, stats, serv
       stats
     );
   }
-  if (CONDITIONAL_PATTERNS.some((pattern) => callee.includes(pattern))) {
+  const conditionalOp = `.${calleeOperation}`;
+  if (CONDITIONAL_PATTERNS.some((pattern) => conditionalOp === pattern || callee.endsWith(pattern))) {
     return yield* analyzeConditionalCall(
       call,
       callee,
@@ -3312,7 +3487,9 @@ var analyzeEffectCall = (call, sourceFile, filePath, opts, warnings, stats, serv
       stats
     );
   }
-  if (COLLECTION_PATTERNS.some((pattern) => callee.includes(pattern))) {
+  const isSchemaOp = SCHEMA_OPS.some((op) => callee.startsWith(op) || normalizedCallee.startsWith(op));
+  const collectionOp = `.${calleeOperation}`;
+  if (!isSchemaOp && COLLECTION_PATTERNS.some((pattern) => collectionOp === pattern || callee.endsWith(pattern))) {
     return yield* analyzeLoopCall(
       call,
       callee,
@@ -5164,7 +5341,8 @@ var analyzeLoopCall = (call, callee, sourceFile, filePath, opts, warnings, stats
   let iterSource;
   let body;
   if (args.length > 0 && args[0]) {
-    iterSource = args[0].getText();
+    const rawSource = args[0].getText();
+    iterSource = rawSource.length > 30 ? rawSource.slice(0, 30) + "\u2026" : rawSource;
   }
   if (args.length > bodyArgIndex && args[bodyArgIndex]) {
     body = yield* analyzeEffectExpression(
@@ -6616,6 +6794,8 @@ var analyzeGeneratorFunction = (node, sourceFile, filePath, opts, warnings, stat
   }
   const calls = body.getDescendantsOfKind(SyntaxKind.CallExpression);
   for (const call of calls) {
+    const callCallee = call.getExpression().getText();
+    if (callCallee.includes("withSpan")) continue;
     const aliases = getAliasesForFile(sourceFile);
     if (isEffectLikeCallExpression(call, sourceFile, aliases, opts.knownEffectInternalsRoot)) {
       const analyzed = yield* analyzeEffectCall(