@suss/adapter-typescript 0.10.0 → 0.11.0

package/dist/index.cjs

@@ -32,6 +32,7 @@ var index_exports = {};
 __export(index_exports, {
   ADAPTER_VERSION: () => ADAPTER_VERSION,
   ResolutionStore: () => ResolutionStore,
+  WhySession: () => WhySession,
   collectAncestorBranches: () => collectAncestorBranches,
   collectClientFieldAccesses: () => collectClientFieldAccesses,
   computeAdapterPacksDigest: () => computeAdapterPacksDigest,
@@ -57,7 +58,8 @@ __export(index_exports, {
   readName: () => readName,
   resolveAliasedSymbol: () => resolveAliasedSymbol,
   resolveSubject: () => resolveSubject,
-  rootIdentifier: () => rootIdentifier
+  rootIdentifier: () => rootIdentifier2,
+  workspaceRootFor: () => workspaceRootFor
 });
 module.exports = __toCommonJS(index_exports);
 
@@ -1642,7 +1644,7 @@ var ModuleGraph = class {
     return created;
   }
   assert(relation, tuple) {
-    if (this.db.add(relation, tuple)) {
+    if (this.db.add(relation, tuple) === "added") {
       this.stale = true;
     }
   }
@@ -1859,8 +1861,8 @@ function loadImportGraphsDepthFirstFromPaths(project, rootPaths) {
       stack.pop();
       loadOrder.push(top.path);
       let deepest = 0;
-      for (const path11 of top.deps) {
-        deepest = Math.max(deepest, chainDepth.get(path11) ?? 0);
+      for (const path12 of top.deps) {
+        deepest = Math.max(deepest, chainDepth.get(path12) ?? 0);
       }
       chainDepth.set(top.path, deepest + 1);
     }
@@ -2205,11 +2207,11 @@ function walkAndWarm(root, reach) {
       if (warmedFiles.get(target) !== void 0) {
         continue;
       }
-      const path11 = target.getFilePath();
-      if (visited.has(path11)) {
+      const path12 = target.getFilePath();
+      if (visited.has(path12)) {
         continue;
       }
-      visited.add(path11);
+      visited.add(path12);
       stack.push(frameOf(target, reach));
       continue;
     }
@@ -2226,7 +2228,7 @@ function sitsOnWarmChains(file) {
     return false;
   }
   const imported = importedFilePathsOf(project, file.getFilePath());
-  return imported.length > 0 && imported.every((path11) => warmed.has(path11));
+  return imported.length > 0 && imported.every((path12) => warmed.has(path12));
 }
 function markWarmed(file) {
   warmedFiles.set(file, true);
@@ -2359,14 +2361,38 @@ function isImportedFrom(identifier, expectedModule) {
     (decl) => decl.getSourceFile().getFilePath().includes(`/node_modules/${expectedModule}/`)
   );
 }
-function methodDeclaredIn(callee, expectedModule) {
+function methodDeclaredIn(callee, expectedModule, resolve2) {
   if (!import_ts_morph12.Node.isPropertyAccessExpression(callee)) {
     return false;
   }
   const declarations = callee.getNameNode().getSymbol()?.getDeclarations();
-  return declarations !== void 0 && declarations.some(
+  if (declarations !== void 0 && declarations.some(
     (declaration) => declaration.getSourceFile().getFilePath().includes(`/node_modules/${expectedModule}/`)
-  );
+  )) {
+    return true;
+  }
+  if (resolve2 === void 0) {
+    return false;
+  }
+  const written = resolve2(callee.getExpression());
+  const made = maker(written);
+  return made !== null && isImportedFrom(rootIdentifier(made), expectedModule);
+}
+function maker(written) {
+  if (written === null) {
+    return null;
+  }
+  if (import_ts_morph12.Node.isNewExpression(written) || import_ts_morph12.Node.isCallExpression(written)) {
+    return written.getExpression();
+  }
+  return null;
+}
+function rootIdentifier(expression) {
+  let root = expression;
+  while (import_ts_morph12.Node.isPropertyAccessExpression(root)) {
+    root = root.getExpression();
+  }
+  return root;
 }
 function importSpecifierMatches(decl, expectedModule) {
   if (import_ts_morph12.Node.isImportSpecifier(decl)) {
@@ -2446,6 +2472,26 @@ function extractInvocationEffects(func, barriers = NO_BARRIERS) {
       }
       return;
     }
+    if (import_ts_morph12.Node.isReturnStatement(node)) {
+      const returned = node.getExpression();
+      const { call, async } = returned === void 0 ? { call: null, async: false } : unwrapCall(returned);
+      if (call !== null) {
+        const preconditions = collectPreconditions(node, func);
+        results.push({
+          effect: {
+            type: "invocation",
+            callee: call.getExpression().getText(),
+            args: extractArgs(call),
+            async,
+            ...preconditions.length > 0 ? { preconditions } : {}
+          },
+          line: startLineOf(node),
+          neverTerminal: false,
+          node: call
+        });
+      }
+      return;
+    }
     if (import_ts_morph12.Node.isCallExpression(node)) {
       const parent = node.getParent();
       if (parent === void 0) {
@@ -5107,7 +5153,10 @@ function extractRawBranches(func, terminalPatterns, invocationRecognizers = [],
       const terminalLines = new Set(
         distinctBranches.map((b) => b.terminal.location.start)
       );
-      defaultBranch.effects = invocations.filter((i) => i.neverTerminal || !terminalLines.has(i.line)).map((i) => i.effect);
+      const terminalNodes = new Set(terminals.map(({ node }) => node));
+      defaultBranch.effects = invocations.filter(
+        (i) => i.node !== void 0 ? !terminalNodes.has(i.node) : i.neverTerminal || !terminalLines.has(i.line)
+      ).map((i) => i.effect);
     }
   }
   if (recognized.length > 0) {
@@ -5152,9 +5201,9 @@ function createSourceFileLookup(project) {
       if (sf === null) {
         return null;
       }
-      const path11 = sf.getFilePath();
-      const index = functionsByFile.get(path11) ?? indexFunctions(sf);
-      functionsByFile.set(path11, index);
+      const path12 = sf.getFilePath();
+      const index = functionsByFile.get(path12) ?? indexFunctions(sf);
+      functionsByFile.set(path12, index);
       return index.get(rangeKey(location.range)) ?? null;
     }
   };
@@ -5232,7 +5281,6 @@ function createCacheLayer(cacheDir) {
       return {
         kind: "hit",
         summaries: manifest.summaries,
-        ...manifest.projectRoot === void 0 ? {} : { projectRoot: manifest.projectRoot },
         diagnostic: { kind: "hit" }
       };
     },
@@ -5346,7 +5394,6 @@ async function buildPlan(manifest, currentStamps) {
     roots,
     validRoots,
     rootsDeclined,
-    storedProjectRoot: manifest.projectRoot ?? null,
     reuse(valid) {
       const summaries = [];
       const reusedOwners = [];
@@ -5373,8 +5420,7 @@ async function buildPlan(manifest, currentStamps) {
             const p = rootNames[o];
             return p === void 0 ? [] : [p];
           })
-        ),
-        ...manifest.projectRoot === void 0 ? {} : { projectRoot: manifest.projectRoot }
+        )
       };
     }
   };
@@ -5407,13 +5453,7 @@ function encodeAttribution(attribution) {
       return i === void 0 ? [] : [i];
     })
   );
-  return {
-    roots,
-    rootMeta,
-    depPaths,
-    owners,
-    ...attribution.projectRoot === void 0 ? {} : { projectRoot: attribution.projectRoot }
-  };
+  return { roots, rootMeta, depPaths, owners };
 }
 async function hashStamps(stamps, previous) {
   const before = new Map((previous?.files ?? []).map((f) => [f.path, f]));
@@ -5690,7 +5730,7 @@ function extractEndpointContract(endpointNode, pattern, framework) {
   }
   const responses = [];
   let method;
-  let path11;
+  let path12;
   for (const prop of endpointNode.getProperties()) {
     if (!import_ts_morph25.Node.isPropertyAssignment(prop)) {
       continue;
@@ -5705,7 +5745,7 @@ function extractEndpointContract(endpointNode, pattern, framework) {
     if (propName === pattern.pathProperty) {
       const val = prop.getInitializer();
       if (val !== void 0 && import_ts_morph25.Node.isStringLiteral(val)) {
-        path11 = val.getLiteralValue();
+        path12 = val.getLiteralValue();
       }
     }
     if (propName === pattern.responseExtraction.property) {
@@ -5729,10 +5769,10 @@ function extractEndpointContract(endpointNode, pattern, framework) {
   if (responses.length === 0) {
     return null;
   }
-  const boundaryBinding = method !== void 0 || path11 !== void 0 ? (0, import_behavioral_ir.restBinding)({
+  const boundaryBinding = method !== void 0 || path12 !== void 0 ? (0, import_behavioral_ir.restBinding)({
     transport: "http",
     method: method ?? null,
-    path: path11 ?? null,
+    path: path12 ?? null,
     recognition: framework
   }) : null;
   return {
@@ -6316,6 +6356,13 @@ function literalIndexOf(index) {
   }
   return null;
 }
+function asFallbackExpression(expression) {
+  if (!import_ts_morph28.Node.isBinaryExpression(expression)) {
+    return null;
+  }
+  const operator = expression.getOperatorToken().getKind();
+  return operator === import_ts_morph28.SyntaxKind.BarBarToken || operator === import_ts_morph28.SyntaxKind.QuestionQuestionToken ? expression : null;
+}
 function unwrapExpression(expression) {
   let current2 = expression;
   for (; ; ) {
@@ -6427,6 +6474,12 @@ function emitValue(db, table, value) {
     }
     return id;
   }
+  const fallback = asFallbackExpression(expression);
+  if (fallback !== null) {
+    fact(db, "fallbackBranch", id, emitValue(db, table, fallback.getLeft()));
+    fact(db, "fallbackBranch", id, emitValue(db, table, fallback.getRight()));
+    return id;
+  }
   if (import_ts_morph28.Node.isCallExpression(expression) || import_ts_morph28.Node.isNewExpression(expression)) {
     emitCallFacts(db, table, expression);
     fact(db, "writtenValue", id);
@@ -6891,24 +6944,27 @@ function stampGraphqlClientRefs(summaries, sourceFiles, packs, resolution) {
   const sole = soleGraphqlClientRef(
     collectGraphqlClientRefs(sourceFiles, packs, resolution)
   );
-  if (sole === null && scopes.length === 0) {
-    return;
-  }
   const workspace = sole !== null ? boundWorkspaceFor(sole, packs) : null;
   const soleClient = sole !== null ? workspace !== null ? { ...sole, workspace } : sole : null;
+  let registry = null;
   for (const summary of summaries) {
     if (!(0, import_behavioral_ir3.isGraphqlOperationBinding)(summary.identity.boundaryBinding)) {
       continue;
     }
+    const existing = (0, import_behavioral_ir3.readGraphqlMetadata)(summary) ?? {};
     const scoped = scopedWorkspaceFor(summary.location.file, scopes);
     const client = scoped !== null ? { uri: null, uriRef: null, workspace: scoped } : soleClient;
-    if (client === null) {
+    const dangling = (existing.unresolvedFragments?.length ?? 0) > 0;
+    if (client === null && !dangling) {
       continue;
     }
-    const existing = (0, import_behavioral_ir3.readGraphqlMetadata)(summary) ?? {};
+    if (dangling && registry === null) {
+      registry = fragmentRegistryStatus(sourceFiles, packs);
+    }
     summary.metadata = (0, import_behavioral_ir3.withGraphqlMetadata)(summary.metadata, {
       ...existing,
-      client
+      ...client !== null ? { client } : {},
+      ...dangling && registry !== null ? { fragmentRegistry: registry } : {}
     });
   }
 }
@@ -6974,6 +7030,156 @@ function soleGraphqlClientRef(refs) {
   }
   return [...distinct.values()][0] ?? null;
 }
+function fragmentRegistryStatus(sourceFiles, packs) {
+  const statuses = [];
+  for (const spec of packs.flatMap((pack) => pack.graphqlClients ?? [])) {
+    const registrySpec = spec.fragmentRegistry;
+    if (registrySpec === void 0) {
+      continue;
+    }
+    for (const sourceFile of sourceFiles) {
+      const local = localImportName(
+        sourceFile,
+        spec.importModule,
+        spec.importName
+      );
+      if (local === null) {
+        continue;
+      }
+      sourceFile.forEachDescendant((node) => {
+        if (isConstructionNamed(node, local)) {
+          statuses.push(constructionRegistryStatus(node, registrySpec));
+        }
+      });
+    }
+  }
+  return combineRegistryStatuses(statuses);
+}
+function combineRegistryStatuses(statuses) {
+  if (statuses.includes("configured")) {
+    return "configured";
+  }
+  if (statuses.length === 0 || statuses.includes("unknown")) {
+    return "unknown";
+  }
+  return "absent";
+}
+function constructionRegistryStatus(construction, spec) {
+  const options = firstArgumentObjectLiteral(construction);
+  if (options === null) {
+    return "unknown";
+  }
+  const cacheExpr = propertyValueOf2(options, spec.cacheProperty);
+  if (cacheExpr === null) {
+    return "unknown";
+  }
+  const cacheConstruction = resolveToConstructionOf(
+    cacheExpr,
+    spec.cacheConstructor
+  );
+  if (cacheConstruction === null) {
+    return "unknown";
+  }
+  if (!import_ts_morph30.Node.isNewExpression(cacheConstruction) && !import_ts_morph30.Node.isCallExpression(cacheConstruction)) {
+    return "unknown";
+  }
+  const args = cacheConstruction.getArguments();
+  if (args.length === 0) {
+    return "absent";
+  }
+  const cacheOptions = firstArgumentObjectLiteral(cacheConstruction);
+  if (cacheOptions === null) {
+    return "unknown";
+  }
+  if (cacheOptions.getProperty(spec.registryProperty) !== void 0) {
+    return "configured";
+  }
+  const hasSpread = cacheOptions.getProperties().some((property) => import_ts_morph30.Node.isSpreadAssignment(property));
+  return hasSpread ? "unknown" : "absent";
+}
+function firstArgumentObjectLiteral(construction) {
+  if (!import_ts_morph30.Node.isNewExpression(construction) && !import_ts_morph30.Node.isCallExpression(construction)) {
+    return null;
+  }
+  const arg = construction.getArguments()[0];
+  if (arg === void 0 || !import_ts_morph30.Node.isObjectLiteralExpression(arg)) {
+    return null;
+  }
+  return arg;
+}
+function propertyValueOf2(options, name) {
+  const property = options.getProperty(name);
+  if (property === void 0) {
+    return null;
+  }
+  if (import_ts_morph30.Node.isPropertyAssignment(property)) {
+    return property.getInitializer() ?? null;
+  }
+  if (import_ts_morph30.Node.isShorthandPropertyAssignment(property)) {
+    const symbol = property.getProject().getTypeChecker().getShorthandAssignmentValueSymbol(property);
+    return symbol?.getValueDeclaration() ?? null;
+  }
+  return null;
+}
+function resolveToConstructionOf(expression, cacheClass) {
+  let current2 = expression;
+  for (let hop = 0; hop < 4 && current2 !== void 0; hop += 1) {
+    current2 = unwrapExpression2(current2);
+    if (import_ts_morph30.Node.isVariableDeclaration(current2)) {
+      current2 = current2.getInitializer();
+      continue;
+    }
+    if (import_ts_morph30.Node.isNewExpression(current2) || import_ts_morph30.Node.isCallExpression(current2)) {
+      const callee = current2.getExpression();
+      if (callee === void 0 || !import_ts_morph30.Node.isIdentifier(callee)) {
+        return null;
+      }
+      const local = localImportName(
+        current2.getSourceFile(),
+        cacheClass.importModule,
+        cacheClass.importName
+      );
+      return local !== null && callee.getText() === local ? current2 : null;
+    }
+    if (!import_ts_morph30.Node.isIdentifier(current2)) {
+      return null;
+    }
+    const declaration = current2.getSymbol()?.getValueDeclaration();
+    if (declaration === void 0 || !import_ts_morph30.Node.isVariableDeclaration(declaration)) {
+      return null;
+    }
+    current2 = declaration.getInitializer();
+  }
+  return null;
+}
+function unwrapExpression2(node) {
+  let current2 = node;
+  while (import_ts_morph30.Node.isParenthesizedExpression(current2) || import_ts_morph30.Node.isAsExpression(current2) || import_ts_morph30.Node.isNonNullExpression(current2)) {
+    current2 = current2.getExpression();
+  }
+  return current2;
+}
+function isConstructionNamed(node, localName) {
+  if (!import_ts_morph30.Node.isNewExpression(node) && !import_ts_morph30.Node.isCallExpression(node)) {
+    return false;
+  }
+  const callee = node.getExpression();
+  return callee !== void 0 && import_ts_morph30.Node.isIdentifier(callee) && callee.getText() === localName;
+}
+function localImportName(sourceFile, importModule, importName) {
+  for (const importDecl of sourceFile.getImportDeclarations()) {
+    const module2 = importDecl.getModuleSpecifierValue();
+    if (module2 !== importModule && !module2.startsWith(`${importModule}/`)) {
+      continue;
+    }
+    for (const named2 of importDecl.getNamedImports()) {
+      if (named2.getName() === importName) {
+        return named2.getAliasNode()?.getText() ?? named2.getName();
+      }
+    }
+  }
+  return null;
+}
 function localNamesFor(sourceFile, specs) {
   const names = /* @__PURE__ */ new Map();
   for (const importDecl of sourceFile.getImportDeclarations()) {
@@ -7715,32 +7921,163 @@ function innerTemplateText(template) {
   }
   return raw;
 }
-function resolveGraphqlDocument(arg, resolution) {
-  const stripped = stripDocumentNodeCasts(arg);
-  const inline = documentTextFromExpression(stripped);
+function startAssembly(resolution) {
+  return {
+    resolution,
+    seen: /* @__PURE__ */ new Set(),
+    unresolvedInterpolations: [],
+    unresolvedInsideSelection: false
+  };
+}
+function assembledTemplateText(template, assembly) {
+  if (import_ts_morph37.Node.isNoSubstitutionTemplateLiteral(template)) {
+    return innerTemplateText(template);
+  }
+  if (!import_ts_morph37.Node.isTemplateExpression(template)) {
+    return null;
+  }
+  let text = template.getHead().getLiteralText();
+  for (const span of template.getTemplateSpans()) {
+    const spliced = interpolatedDocumentText(span.getExpression(), assembly);
+    if (spliced === null) {
+      assembly.unresolvedInterpolations.push(
+        singleLine(span.getExpression().getText())
+      );
+      if (openBraceDepth(text) > 0) {
+        assembly.unresolvedInsideSelection = true;
+      }
+    } else {
+      text += `
+${spliced}
+`;
+    }
+    text += span.getLiteral().getLiteralText();
+  }
+  return text;
+}
+function openBraceDepth(text) {
+  let depth = 0;
+  for (const char of text) {
+    if (char === "{") {
+      depth += 1;
+    } else if (char === "}") {
+      depth -= 1;
+    }
+  }
+  return depth;
+}
+function interpolatedDocumentText(expr, assembly) {
+  const stripped = stripDocumentNodeCasts(expr);
+  const inline = documentTextFromExpression(stripped, assembly);
   if (inline !== null) {
-    return { document: inline };
+    return inline;
   }
-  const templateText = resolveGqlTemplateText(stripped);
-  if (templateText !== null) {
-    return { document: templateText };
+  const named2 = resolveGqlTemplateText(stripped, assembly);
+  if (named2 !== null) {
+    return named2;
   }
   const objectDoc = resolveTypedDocumentSource(stripped);
   if (objectDoc !== null) {
-    return { document: objectDoc };
+    return objectDoc;
   }
-  const throughFacts = resolveThroughFacts(stripped, resolution);
-  if (throughFacts !== null) {
-    return { document: throughFacts };
+  return resolveThroughFacts(stripped, assembly);
+}
+function resolveGraphqlDocument(arg, resolution) {
+  const assembly = startAssembly(resolution);
+  const stripped = stripDocumentNodeCasts(arg);
+  const text = documentTextFromExpression(stripped, assembly) ?? resolveGqlTemplateText(stripped, assembly) ?? resolveTypedDocumentSource(stripped) ?? resolveThroughFacts(stripped, assembly);
+  if (text !== null) {
+    return assembledDocumentResolution(text, stripped, assembly);
   }
   return resolveTypedDocumentHeader(stripped);
 }
-function documentTextFromExpression(node) {
+function assembledDocumentResolution(text, arg, assembly) {
+  const interpolations = assembly.unresolvedInterpolations;
+  if (assembly.unresolvedInsideSelection) {
+    const header = parseGraphqlOperation(text);
+    return {
+      ...header !== null ? { operationType: header.operationType } : {},
+      ...header?.operationName !== void 0 ? { operationName: header.operationName } : {},
+      unresolved: {
+        reference: singleLine(arg.getText()),
+        reason: `interpolated ${describeInterpolations(interpolations)} inside a selection set did not resolve to a GraphQL document, so what the operation selects is not statically written`
+      }
+    };
+  }
+  const dangling = danglingFragmentSpreads(text);
+  if (dangling === null) {
+    if (interpolations.length === 0) {
+      return { document: text };
+    }
+    return {
+      unresolved: {
+        reference: singleLine(arg.getText()),
+        reason: `the document did not parse after dropping interpolated ${describeInterpolations(interpolations)} that resolved to no GraphQL document`
+      }
+    };
+  }
+  if (dangling.length > 0) {
+    return { document: text, unresolvedFragments: dangling };
+  }
+  if (interpolations.length > 0) {
+    return {
+      document: text,
+      unresolved: {
+        reference: singleLine(arg.getText()),
+        reason: `interpolated ${describeInterpolations(interpolations)} did not resolve to a GraphQL document, so whatever it contributes is not part of the stored document`
+      }
+    };
+  }
+  return { document: text };
+}
+function describeInterpolations(interpolations) {
+  const quoted = interpolations.map((text) => `\`${text}\``).join(", ");
+  return interpolations.length === 1 ? `expression ${quoted}` : `expressions ${quoted}`;
+}
+function danglingFragmentSpreads(text) {
+  let doc;
+  try {
+    doc = (0, import_graphql.parse)(text);
+  } catch {
+    return null;
+  }
+  const defined = /* @__PURE__ */ new Set();
+  for (const def of doc.definitions) {
+    if (def.kind === import_graphql.Kind.FRAGMENT_DEFINITION) {
+      defined.add(def.name.value);
+    }
+  }
+  const dangling = /* @__PURE__ */ new Set();
+  for (const def of doc.definitions) {
+    if (def.kind === import_graphql.Kind.OPERATION_DEFINITION || def.kind === import_graphql.Kind.FRAGMENT_DEFINITION) {
+      collectDanglingSpreads(def.selectionSet, defined, dangling);
+    }
+  }
+  return [...dangling].sort();
+}
+function collectDanglingSpreads(selectionSet, defined, dangling) {
+  for (const selection of selectionSet.selections) {
+    if (selection.kind === import_graphql.Kind.FRAGMENT_SPREAD) {
+      if (!defined.has(selection.name.value)) {
+        dangling.add(selection.name.value);
+      }
+      continue;
+    }
+    if (selection.selectionSet !== void 0) {
+      collectDanglingSpreads(selection.selectionSet, defined, dangling);
+    }
+  }
+}
+function documentTextFromExpression(node, assembly) {
   if (import_ts_morph37.Node.isTaggedTemplateExpression(node)) {
     if (!isDocumentTag(node.getTag())) {
       return null;
     }
-    return innerTemplateText(node.getTemplate());
+    if (assembly.seen.has(node)) {
+      return "";
+    }
+    assembly.seen.add(node);
+    return assembledTemplateText(node.getTemplate(), assembly);
   }
   if (!import_ts_morph37.Node.isCallExpression(node)) {
     return null;
@@ -7756,7 +8093,11 @@ function documentTextFromExpression(node) {
   if (!import_ts_morph37.Node.isNoSubstitutionTemplateLiteral(template) && !import_ts_morph37.Node.isTemplateExpression(template)) {
     return null;
   }
-  return innerTemplateText(template);
+  if (assembly.seen.has(node)) {
+    return "";
+  }
+  assembly.seen.add(node);
+  return assembledTemplateText(template, assembly);
 }
 function isDocumentTag(tag) {
   if (!import_ts_morph37.Node.isIdentifier(tag)) {
@@ -7776,15 +8117,15 @@ function isDocumentTag(tag) {
   }
   return false;
 }
-function resolveThroughFacts(arg, resolution) {
-  if (resolution === void 0 || !import_ts_morph37.Node.isIdentifier(arg)) {
+function resolveThroughFacts(arg, assembly) {
+  if (assembly.resolution === void 0 || !import_ts_morph37.Node.isIdentifier(arg)) {
     return null;
   }
-  const written = resolution.resolveWrittenValue(arg);
+  const written = assembly.resolution.resolveWrittenValue(arg);
   if (written === null) {
     return null;
   }
-  const text = documentTextFromExpression(written);
+  const text = documentTextFromExpression(written, assembly);
   if (text !== null) {
     return text;
   }
@@ -7797,7 +8138,13 @@ function operationInfoFromResolution(resolution, callOperationType) {
       return null;
     }
     const operationType = operation.operationName !== void 0 ? operation.operationType : callOperationType;
-    return { ...operation, operationType, document: resolution.document };
+    return {
+      ...operation,
+      operationType,
+      document: resolution.document,
+      ...resolution.unresolvedFragments !== void 0 ? { unresolvedFragments: resolution.unresolvedFragments } : {},
+      ...resolution.unresolved !== void 0 ? { unresolved: resolution.unresolved } : {}
+    };
   }
   return {
     operationType: resolution.operationType ?? callOperationType,
@@ -7839,8 +8186,8 @@ function importedVariableInitializers(identifier) {
   }
   return inits;
 }
-function resolveGqlTemplateText(arg) {
-  const direct = documentTextFromExpression(arg);
+function resolveGqlTemplateText(arg, assembly) {
+  const direct = documentTextFromExpression(arg, assembly);
   if (direct !== null) {
     return direct;
   }
@@ -7860,7 +8207,10 @@ function resolveGqlTemplateText(arg) {
     }
   }
   for (const init of importedVariableInitializers(arg)) {
-    const text = documentTextFromExpression(stripDocumentNodeCasts(init));
+    const text = documentTextFromExpression(
+      stripDocumentNodeCasts(init),
+      assembly
+    );
     if (text !== null) {
       return text;
     }
@@ -8448,14 +8798,14 @@ function unitForJsxRoute(node, match, routeNames, kind, resolution) {
   }
   return routeUnit(node, kind, match.method, resolved.path, target, resolution);
 }
-function routeUnit(at, kind, method, path11, target, resolution) {
-  const routeInfo = { method, path: path11 };
+function routeUnit(at, kind, method, path12, target, resolution) {
+  const routeInfo = { method, path: path12 };
   if (target.kind === "unreadable") {
     return {
       func: null,
       announcedAt: at,
       kind,
-      name: path11,
+      name: path12,
       nameKind: "label",
       routeInfo
     };
@@ -9343,9 +9693,9 @@ function withMountPrefix(routeInfo, subjectNode, mountPrefixes) {
   const prefix = mountPrefixes.effectivePrefixFor(subjectNode);
   return prefix === "" ? routeInfo : { ...routeInfo, path: joinMountedPath(prefix, routeInfo.path) };
 }
-function joinMountedPath(prefix, path11) {
+function joinMountedPath(prefix, path12) {
   const trimmed = prefix.endsWith("/") ? prefix.slice(0, -1) : prefix;
-  return trimmed === "" ? path11 : trimmed + path11;
+  return trimmed === "" ? path12 : trimmed + path12;
 }
 function registrationSubjectsOf(sourceFile, importModule, importName) {
   let importedLocalName = null;
@@ -9509,11 +9859,11 @@ function extractRouteInfoFromBinding(call, methodName, binding, resolution) {
       return null;
     }
     const method2 = stringProperty(routeObject, binding.method.property);
-    const path11 = stringProperty(routeObject, binding.path.property);
-    if (method2 === null || path11 === null) {
+    const path12 = stringProperty(routeObject, binding.path.property);
+    if (method2 === null || path12 === null) {
       return null;
     }
-    return { method: method2.toUpperCase(), path: path11 };
+    return { method: method2.toUpperCase(), path: path12 };
   }
   if (binding.method.type !== "fromRegistration" || binding.path.type !== "fromRegistration") {
     return null;
@@ -9620,7 +9970,7 @@ function bodyReferencesLoopVar(loop, name) {
 }
 function readRouteSpec(element, shape, resolution) {
   let method = null;
-  let path11 = null;
+  let path12 = null;
   let handler = null;
   for (const prop of element.getProperties()) {
     if (import_ts_morph46.Node.isMethodDeclaration(prop) && prop.getName() === shape.handlerKey) {
@@ -9638,16 +9988,16 @@ function readRouteSpec(element, shape, resolution) {
     if (name === shape.methodKey) {
       method = readStringLiteralValue(init);
     } else if (name === shape.pathKey) {
-      path11 = readStringLiteralValue(init);
+      path12 = readStringLiteralValue(init);
     } else if (name === shape.handlerKey) {
       const func = functionValueOf(init, resolution);
       handler = func === null ? null : { func, name: handlerName(init) };
     }
   }
-  if (method === null || path11 === null || handler === null) {
+  if (method === null || path12 === null || handler === null) {
     return null;
   }
-  return { method, path: path11, handler: handler.func, handlerName: handler.name };
+  return { method, path: path12, handler: handler.func, handlerName: handler.name };
 }
 function readStringLiteralValue(node) {
   if (import_ts_morph46.Node.isStringLiteral(node) || import_ts_morph46.Node.isNoSubstitutionTemplateLiteral(node)) {
@@ -9676,8 +10026,8 @@ function discoverRegistrationTemplates(sourceFile, match, kind, resolution) {
     }
     const args = node.getArguments();
     for (const reg of match.registrations) {
-      const path11 = substitutePath(reg.pathTemplate, args);
-      if (path11 === null) {
+      const path12 = substitutePath(reg.pathTemplate, args);
+      if (path12 === null) {
         continue;
       }
       const handler = resolveHandler(reg.handlerArg, args, resolution);
@@ -9690,7 +10040,7 @@ function discoverRegistrationTemplates(sourceFile, match, kind, resolution) {
         name: handler.name,
         routeInfo: {
           method: reg.method.toUpperCase(),
-          path: path11
+          path: path12
         }
       });
     }
@@ -10378,7 +10728,8 @@ var JS_RULES = [
   (0, import_datalog2.rule)(
     "stepsTo",
     [(0, import_datalog2.variable)("r"), (0, import_datalog2.variable)("t"), import_resolution.VALUE_STEP],
-    [(0, import_datalog2.lit)("bindCall", (0, import_datalog2.variable)("r"), (0, import_datalog2.variable)("t"))]
+    [(0, import_datalog2.lit)("bindCall", (0, import_datalog2.variable)("r"), (0, import_datalog2.variable)("t"))],
+    "bind"
   )
 ];
 var RESOLUTION_PROGRAM = process.env.SUSS_RESOLUTION_ON_DEMAND === "0" ? {
@@ -10388,6 +10739,15 @@ var RESOLUTION_PROGRAM = process.env.SUSS_RESOLUTION_ON_DEMAND === "0" ? {
   [...import_resolution.RESOLUTION_RULES, ...JS_RULES, ...import_resolution.RESOLUTION_QUESTIONS],
   import_resolution.ANSWER_RELATIONS
 );
+var WITNESS_RULES = [...import_resolution.RESOLUTION_RULES, ...JS_RULES];
+var NOT_BASE_FACTS = /* @__PURE__ */ new Set([
+  ...[...import_resolution.RESOLUTION_RULES, ...JS_RULES, ...import_resolution.RESOLUTION_QUESTIONS].map(
+    (r) => r.head.relation
+  ),
+  ...RESOLUTION_PROGRAM.rules.map((r) => r.head.relation),
+  "wanted",
+  "wantedOrigin"
+]);
 var QUERY_FACTS = RESOLUTION_PROGRAM.demandDriven.length === 0 ? [] : [...RESOLUTION_PROGRAM.demandDriven, "wanted", "wantedOrigin"];
 var MAX_MODULE_HOPS = 6;
 var ResolutionStore = class {
@@ -10415,13 +10775,64 @@ var ResolutionStore = class {
    * the walk never reaches on its own.
    */
   resolveCallable(value, alsoFrom) {
+    const sources = this.resolveCallableSources(value, alsoFrom);
+    const only = sources[0];
+    return sources.length === 1 && only !== void 0 ? only : null;
+  }
+  /**
+   * Every function the value comes down to. One is the answer
+   * `resolveCallable` gives; several is a value with more than one
+   * possible source, which a caller says at the site rather than
+   * folding into the same nothing as a chain that went nowhere.
+   */
+  resolveCallableSources(value, alsoFrom) {
     const target = factKeyOf(value);
     return this.resolveByWaves(
       target,
       "wanted",
-      () => this.lookup(target),
+      () => this.lookupSources(target),
       alsoFrom
+    ) ?? [];
+  }
+  /**
+   * The witness proof behind `resolveCallable`'s answer. Resolves the
+   * value first, which walks files and extracts facts in the usual
+   * waves, then re-evaluates the rules over those base facts under the
+   * witness algebra and rebuilds the proof of the answer. Null when
+   * the value does not resolve at all.
+   */
+  explainCallable(value, options = {}) {
+    const resolved = this.resolveCallable(value, options.alsoFrom);
+    if (resolved === null) {
+      return null;
+    }
+    const proofDb = new import_datalog2.Database();
+    let baseFacts = 0;
+    for (const relation of this.db.relationNames()) {
+      if (NOT_BASE_FACTS.has(relation)) {
+        continue;
+      }
+      for (const tuple of this.db.facts(relation)) {
+        proofDb.add(relation, tuple);
+        baseFacts++;
+      }
+    }
+    const started = performance.now();
+    (0, import_datalog2.evaluate)(proofDb, WITNESS_RULES, import_datalog2.witnesses);
+    const evaluateMs = performance.now() - started;
+    const derivedFacts = proofDb.relationNames().reduce((count, relation) => count + proofDb.size(relation), 0) - baseFacts;
+    const proof = (0, import_datalog2.proofOf)(
+      proofDb,
+      "resolves",
+      [nodeId(factKeyOf(value)), nodeId(resolved)],
+      options.maxDepth === void 0 ? {} : { maxDepth: options.maxDepth }
     );
+    return {
+      target: resolved,
+      proof,
+      nodeFor: (atom) => this.table.byId.get(String(atom)),
+      stats: { baseFacts, derivedFacts, evaluateMs }
+    };
   }
   resolveObject(value) {
     const target = factKeyOf(value);
@@ -10544,7 +10955,7 @@ var ResolutionStore = class {
     this.stale = false;
   }
   wantValue(question, value) {
-    if (this.db.add(question, [nodeId(value)])) {
+    if (this.db.add(question, [nodeId(value)]) === "added") {
       this.stale = true;
     }
   }
@@ -10608,10 +11019,12 @@ var ResolutionStore = class {
     return this.graph.filesReachingAnyPackage(fileSets);
   }
   /**
-   * Two candidates give null. Picking whichever arrived first would make
-   * the result depend on the order the facts came in.
+   * Null keeps the wave walk widening; any candidate at all ends it,
+   * since more files can only add candidates, never take one away. The
+   * single-answer policy stays with the callers: picking one of two
+   * would make the result depend on the order the facts came in.
    */
-  lookup(value) {
+  lookupSources(value) {
     this.derive();
     const candidates = /* @__PURE__ */ new Set();
     for (const target of this.answersFor("wantedResolves", nodeId(value))) {
@@ -10623,10 +11036,7 @@ var ResolutionStore = class {
         candidates.add(resolved);
       }
     }
-    if (candidates.size !== 1) {
-      return null;
-    }
-    return [...candidates][0];
+    return candidates.size === 0 ? null : [...candidates];
   }
   derive() {
     if (!this.stale) {
@@ -11031,6 +11441,7 @@ function classifyStop(declarations) {
 var RECORDED = {
   noBody: true,
   unsettledValue: true,
+  multipleSources: true,
   outsideRun: false,
   noDeclaration: false
 };
@@ -11040,6 +11451,7 @@ function worthRecording(reason) {
 var STOP_SENTENCE = {
   noBody: (callee) => `The call to ${callee} lands on a declaration with no body, so whatever runs there is missing from this summary`,
   unsettledValue: (callee) => `The call to ${callee} goes through a value this run could not settle, so whatever runs there is missing from this summary`,
+  multipleSources: (callee) => `The call to ${callee} reaches a value with more than one possible source, so whatever runs there is missing from this summary`,
   outsideRun: (callee) => `The call to ${callee} lands in a package whose source is not in this run, so whatever runs there is missing from this summary`,
   noDeclaration: (callee) => `The call to ${callee} has no declaration this run could find, so whatever runs there is missing from this summary`
 };
@@ -11093,24 +11505,6 @@ function resolveDecl(decl, calleeName) {
     }
     return null;
   }
-  if (import_ts_morph52.Node.isImportSpecifier(decl)) {
-    const importDecl = decl.getImportDeclaration();
-    const sf = importDecl.getModuleSpecifierSourceFile();
-    if (sf === void 0 || isInExternalCode(sf)) {
-      return null;
-    }
-    const exported = exportedDeclarationsOf(sf).get(decl.getName());
-    if (exported === void 0) {
-      return null;
-    }
-    for (const ed of exported) {
-      const resolved = resolveDecl(ed, calleeName);
-      if (resolved !== null) {
-        return resolved;
-      }
-    }
-    return null;
-  }
   return null;
 }
 function declName(decl) {
@@ -11138,20 +11532,27 @@ function resolveCallee(call, calleeName, scan) {
   }
   const callee = call.getExpression();
   const symbol = callee.getSymbol();
-  const declarations = symbol?.getDeclarations() ?? [];
+  const declarations = declarationsBehind(symbol);
   for (const decl of declarations) {
     const resolved = resolveDecl(decl, calleeName);
     if (resolved !== null) {
       return { kind: "followed", candidate: resolved };
     }
   }
-  const resolveCallable = scan.resolveCallable;
-  if (resolveCallable !== void 0 && import_ts_morph52.Node.isPropertyAccessExpression(callee) && declarations.some(isDeclaredShape)) {
-    const value = resolveCallable(callee, scan.reachedFrom);
-    const resolved = value === null ? null : resolveDecl(value, calleeName);
+  const resolveSources = scan.resolveCallableSources;
+  if (resolveSources !== void 0 && import_ts_morph52.Node.isPropertyAccessExpression(callee) && declarations.some(isDeclaredShape)) {
+    const sources = resolveSources(callee, scan.reachedFrom);
+    const only = sources.length === 1 ? sources[0] : void 0;
+    const resolved = only === void 0 ? null : resolveDecl(only, calleeName);
     if (resolved !== null) {
       return { kind: "followed", candidate: resolved };
     }
+    if (sources.length > 1) {
+      return {
+        kind: "stopped",
+        stop: { callee: calleeName, reason: "multipleSources" }
+      };
+    }
   }
   return {
     kind: "stopped",
@@ -11269,7 +11670,7 @@ function expandReachableClosure(seeds, project, options, projectFileSet, facts,
       }
       const cameFrom = reachedFrom.get(key);
       const scan = {
-        ...recognizers.resolveCallable === void 0 ? {} : { resolveCallable: recognizers.resolveCallable },
+        ...recognizers.resolveCallableSources === void 0 ? {} : { resolveCallableSources: recognizers.resolveCallableSources },
         ...cameFrom === void 0 ? {} : { reachedFrom: cameFrom }
       };
       const { candidates, stops } = scanWithRecording(
@@ -12083,20 +12484,25 @@ function readArrayLiteralText(node) {
 var import_node_fs4 = __toESM(require("fs"), 1);
 var import_node_path7 = __toESM(require("path"), 1);
 var import_behavioral_ir5 = require("@suss/behavioral-ir");
+function workspaceRootFor(anchor) {
+  return namedPackageDirAbove(anchor) ?? import_node_path7.default.resolve(anchor);
+}
 function workspaceNameFor(root) {
   if (root === void 0) {
     return null;
   }
-  let at = import_node_path7.default.resolve(root);
+  const dir = namedPackageDirAbove(root);
+  if (dir !== null) {
+    return packageNameAt(dir);
+  }
+  const folder = import_node_path7.default.basename(import_node_path7.default.resolve(root));
+  return folder.length > 0 ? folder : null;
+}
+function namedPackageDirAbove(start) {
+  let at = import_node_path7.default.resolve(start);
   for (let up = 0; up < 12; up += 1) {
-    try {
-      const manifest = JSON.parse(
-        import_node_fs4.default.readFileSync(import_node_path7.default.join(at, "package.json"), "utf8")
-      );
-      if (typeof manifest.name === "string" && manifest.name.length > 0) {
-        return manifest.name;
-      }
-    } catch {
+    if (packageNameAt(at) !== null) {
+      return at;
     }
     const parent = import_node_path7.default.dirname(at);
     if (parent === at) {
@@ -12104,8 +12510,19 @@ function workspaceNameFor(root) {
     }
     at = parent;
   }
-  const folder = import_node_path7.default.basename(import_node_path7.default.resolve(root));
-  return folder.length > 0 ? folder : null;
+  return null;
+}
+function packageNameAt(dir) {
+  try {
+    const manifest = JSON.parse(
+      import_node_fs4.default.readFileSync(import_node_path7.default.join(dir, "package.json"), "utf8")
+    );
+    if (typeof manifest.name === "string" && manifest.name.length > 0) {
+      return manifest.name;
+    }
+  } catch {
+  }
+  return null;
 }
 function nameSummaries(summaries, args) {
   for (const summary of summaries) {
@@ -12705,11 +13122,11 @@ function extractConsumerBinding(unit, pattern, pack, resolution) {
     return null;
   }
   const method = extractBindingMethod(binding, callSite, pack, resolution);
-  const path11 = extractBindingPath(binding, callSite, pack, resolution);
+  const path12 = extractBindingPath(binding, callSite, pack, resolution);
   return (0, import_behavioral_ir6.restBinding)({
     transport: pack.protocol,
     method: method ?? null,
-    path: path11 ?? null,
+    path: path12 ?? null,
     recognition: pack.name
   });
 }
@@ -12798,12 +13215,12 @@ function originEndOf(flattened) {
   const slash = flattened.indexOf("/", opener[0].length);
   return slash === -1 ? flattened.length : slash;
 }
-function appendPathText(path11, text) {
+function appendPathText(path12, text) {
   const idx = text.search(/[?#]/);
   if (idx === -1) {
-    return { path: path11 + text, stop: false };
+    return { path: path12 + text, stop: false };
   }
-  return { path: path11 + text.slice(0, idx), stop: true };
+  return { path: path12 + text.slice(0, idx), stop: true };
 }
 function parseAbsoluteUrl(text) {
   try {
@@ -12827,8 +13244,8 @@ function pathnameOfAbsoluteLiteral(text) {
   return stripQueryAndFragment(stripOriginManually(text));
 }
 function pathFromLiteralUrl(text) {
-  const path11 = isAbsoluteUrlLiteral(text) ? pathnameOfAbsoluteLiteral(text) : stripQueryAndFragment(text);
-  return path11 === "" ? void 0 : path11;
+  const path12 = isAbsoluteUrlLiteral(text) ? pathnameOfAbsoluteLiteral(text) : stripQueryAndFragment(text);
+  return path12 === "" ? void 0 : path12;
 }
 function pathFromTemplateUrl(arg) {
   const headText = arg.getHead().getLiteralText();
@@ -12836,7 +13253,7 @@ function pathFromTemplateUrl(arg) {
   const tails = spans.map((span) => span.getLiteral().getLiteralText());
   const originEnd = originEndOf([headText, ...tails].join(SUBSTITUTION));
   const head = appendPathText("", headText.slice(originEnd));
-  let path11 = head.path;
+  let path12 = head.path;
   let stop = head.stop;
   let at = headText.length;
   for (let i = 0; i < spans.length && !stop; i++) {
@@ -12846,18 +13263,18 @@ function pathFromTemplateUrl(arg) {
       continue;
     }
     if (at >= originEnd) {
-      path11 += `{${placeholderName(span.getExpression())}}`;
+      path12 += `{${placeholderName(span.getExpression())}}`;
     }
     at += SUBSTITUTION.length;
     const appended = appendPathText(
-      path11,
+      path12,
       tailText.slice(Math.max(0, originEnd - at))
     );
-    path11 = appended.path;
+    path12 = appended.path;
     stop = appended.stop;
     at += tailText.length;
   }
-  return path11 === "" ? void 0 : path11;
+  return path12 === "" ? void 0 : path12;
 }
 function extractBindingPath(binding, callSite, pack, resolution) {
   const p = binding.path;
@@ -13136,6 +13553,9 @@ function extractFromSourceFile(sourceFile, frameworks, claimedUnits, options, ta
         if (unit.operationInfo.document !== void 0) {
           raw.graphqlDocument = unit.operationInfo.document;
         }
+        if (unit.operationInfo.unresolvedFragments !== void 0) {
+          raw.graphqlUnresolvedFragments = unit.operationInfo.unresolvedFragments;
+        }
         if (unit.operationInfo.unresolved !== void 0) {
           raw.graphqlUnresolvedDocument = unit.operationInfo.unresolved;
         }
@@ -13437,8 +13857,8 @@ function synthesizeCallerSummaries(wrapper, _project, options) {
     if (pathArg === void 0) {
       continue;
     }
-    const path11 = literalOrTemplate(pathArg);
-    if (path11 === void 0) {
+    const path12 = literalOrTemplate(pathArg);
+    if (path12 === void 0) {
       continue;
     }
     const callerFunc = enclosingFunction(callExpr);
@@ -13450,7 +13870,7 @@ function synthesizeCallerSummaries(wrapper, _project, options) {
       continue;
     }
     seen.add(dedupKey);
-    out.push(buildCallerSummary(wrapper, callerFunc, callExpr, path11, options));
+    out.push(buildCallerSummary(wrapper, callerFunc, callExpr, path12, options));
   }
   return out;
 }
@@ -13502,12 +13922,12 @@ function literalOrTemplate(arg) {
     return arg.getLiteralValue();
   }
   if (import_ts_morph56.Node.isTemplateExpression(arg)) {
-    let path11 = arg.getHead().getLiteralText();
+    let path12 = arg.getHead().getLiteralText();
     for (const span of arg.getTemplateSpans()) {
-      path11 += `{${placeholderName(span.getExpression())}}`;
-      path11 += span.getLiteral().getLiteralText();
+      path12 += `{${placeholderName(span.getExpression())}}`;
+      path12 += span.getLiteral().getLiteralText();
     }
-    return path11;
+    return path12;
   }
   return void 0;
 }
@@ -13524,7 +13944,7 @@ function callerName(func) {
   }
   return "anonymous";
 }
-function buildCallerSummary(wrapper, callerFunc, callExpr, path11, options) {
+function buildCallerSummary(wrapper, callerFunc, callExpr, path12, options) {
   const wrapperBinding = wrapper.summary.identity.boundaryBinding;
   const wrapperRest = wrapperBinding?.semantics.name === "rest" ? wrapperBinding.semantics : null;
   const syntheticPack = {
@@ -13556,7 +13976,7 @@ function buildCallerSummary(wrapper, callerFunc, callExpr, path11, options) {
   raw.boundaryBinding = (0, import_behavioral_ir6.restBinding)({
     transport: wrapperBinding?.transport ?? "http",
     method: wrapperRest?.method ?? null,
-    path: path11,
+    path: path12,
     recognition: wrapperBinding?.recognition ?? "unknown"
   });
   const summary = (0, import_extractor5.assembleSummary)(raw, options);
@@ -13570,8 +13990,8 @@ function buildCallerSummary(wrapper, callerFunc, callExpr, path11, options) {
   summary.confidence = { source: "inferred_static", level: "low" };
   return summary;
 }
-function named(summaries, workspace, storedProjectRoot) {
-  const projectRoot = storedProjectRoot ?? commonDirectoryOf(summaries.map((s) => s.location.file));
+function named(summaries, workspace, runRoot) {
+  const projectRoot = runRoot ?? commonDirectoryOf(summaries.map((s) => s.location.file));
   nameSummaries(summaries, {
     workspace: workspace ?? workspaceNameFor(projectRoot),
     projectRoot
@@ -13629,6 +14049,7 @@ function createTypeScriptAdapter(config) {
       skipAddingFilesFromTsConfig: true
     } : { skipAddingFilesFromTsConfig: true }
   );
+  const runRoot = config.projectRoot ?? (config.tsConfigFilePath !== void 0 ? workspaceRootFor(import_node_path9.default.dirname(config.tsConfigFilePath)) : void 0);
   let lazyBootstrapped = false;
   let projectFileSet;
   const cacheDir = declineWhenRunFromSource(
@@ -13669,7 +14090,7 @@ function createTypeScriptAdapter(config) {
           )
         );
       }
-      return named(summaries, config.workspace);
+      return named(summaries, config.workspace, runRoot);
     },
     async extractAll() {
       const timer = createTimer();
@@ -13702,7 +14123,7 @@ function createTypeScriptAdapter(config) {
         if (config.onTiming !== void 0) {
           config.onTiming(timer.report());
         }
-        return named(lookup.summaries, config.workspace, lookup.projectRoot);
+        return named(lookup.summaries, config.workspace, runRoot);
       }
       const plan = lookup.diagnostic.missReason === "files-changed" ? await timer.timeAsync("cache.plan", () => cache.plan(cacheInput)) : null;
       if (plan !== null && plan.changed.size === 0 && plan.removed.size === 0) {
@@ -13720,11 +14141,7 @@ function createTypeScriptAdapter(config) {
         if (config.onTiming !== void 0) {
           config.onTiming(timer.report());
         }
-        return named(
-          plan.allSummaries(),
-          config.workspace,
-          plan.storedProjectRoot ?? void 0
-        );
+        return named(plan.allSummaries(), config.workspace, runRoot);
       }
       let candidatePaths = null;
       if (lazyEligible) {
@@ -13870,7 +14287,7 @@ function createTypeScriptAdapter(config) {
             ),
             access: collectAccessRecognizers(config.frameworks, tallies),
             resolveWrittenValue: (value) => resolution.resolveWrittenValue(value),
-            resolveCallable: (value, alsoFrom) => resolution.resolveCallable(value, alsoFrom)
+            resolveCallableSources: (value, alsoFrom) => resolution.resolveCallableSources(value, alsoFrom)
           },
           // Reached units the cache already serves emit nothing,
           // the way a cold run's seeds do not.
@@ -13934,9 +14351,6 @@ function createTypeScriptAdapter(config) {
           }
         });
       }
-      const runProjectRoot = commonDirectoryOf(
-        sourceFiles.map((f) => f.getFilePath())
-      );
       await timer.timeAsync("cache.write", async () => {
         if (!caching || enriched.length === 0) {
           return;
@@ -13956,8 +14370,7 @@ function createTypeScriptAdapter(config) {
             reusedOwners: merged.reusedOwners,
             // Everything after the reused prefix, the passes' own
             // additions (markers, schema documents) included.
-            fresh: enriched.slice(merged.reusedKept.length),
-            projectRoot: runProjectRoot
+            fresh: enriched.slice(merged.reusedKept.length)
           });
           await cache.write(cacheInput, enriched, attribution);
         } catch {
@@ -13982,13 +14395,11 @@ function createTypeScriptAdapter(config) {
           })
         );
       }
-      nameSummaries(enriched, {
-        workspace: config.workspace ?? workspaceNameFor(
-          commonDirectoryOf(sourceFiles.map((f) => f.getFilePath()))
-        ),
-        projectRoot: commonDirectoryOf(sourceFiles.map((f) => f.getFilePath()))
-      });
-      return enriched;
+      return named(
+        enriched,
+        config.workspace,
+        runRoot ?? commonDirectoryOf(sourceFiles.map((f) => f.getFilePath()))
+      );
     }
   };
 }
@@ -14179,11 +14590,7 @@ function buildCacheAttribution(args) {
     ...reusedOwners,
     ...args.fresh.map((s) => [...args.ownersBySummary.get(s) ?? []])
   ];
-  return {
-    roots,
-    owners,
-    ...args.projectRoot === void 0 ? {} : { projectRoot: args.projectRoot }
-  };
+  return { roots, owners };
 }
 function synthesizeSubUnits(summaries, project, frameworks, options, tallies, onCreated) {
   const packByRecognition = /* @__PURE__ */ new Map();
@@ -14422,7 +14829,7 @@ function readStringArg(arg) {
   }
   return candidate.value;
 }
-function rootIdentifier(node) {
+function rootIdentifier2(node) {
   let current2 = node;
   while (import_ts_morph58.Node.isPropertyAccessExpression(current2)) {
     current2 = current2.getExpression();
@@ -14430,10 +14837,165 @@ function rootIdentifier(node) {
   return import_ts_morph58.Node.isIdentifier(current2) ? current2 : null;
 }
 
+// src/facts/why.ts
+var import_node_path11 = __toESM(require("path"), 1);
+var import_ts_morph59 = require("ts-morph");
+var import_resolution2 = require("@suss/resolution");
+var JS_PHRASES = {
+  bind: ({ tuple, describe }) => ({
+    reason: `${describe(tuple[0])} is a .bind of ${describe(tuple[1])}, which runs the same function`
+  })
+};
+var WhySession = class {
+  project;
+  store;
+  root;
+  constructor(options) {
+    this.root = import_node_path11.default.resolve(options.dir);
+    const tsconfig = findNearestTsconfig(this.root);
+    this.project = tsconfig === null ? createProjectWithoutTsconfig(this.root).project : new import_ts_morph59.Project({ tsConfigFilePath: tsconfig });
+    this.store = new ResolutionStore();
+  }
+  /**
+   * The smallest expression on `line` of `file` whose text is exactly
+   * `text`, or null. Spelled from the person's side: the name as
+   * written, not a node id.
+   */
+  findExpression(file, line, text) {
+    const sourceFile = this.sourceFileAt(file);
+    if (sourceFile === null) {
+      return null;
+    }
+    let found = null;
+    sourceFile.forEachDescendant((node) => {
+      if (import_ts_morph59.Node.isExpression(node) && node.getStartLineNumber() === line && node.getText() === text && (found === null || node.getWidth() <= found.getWidth())) {
+        found = node;
+      }
+    });
+    return found;
+  }
+  /**
+   * The callee of the call written as `calleeText` between `startLine`
+   * and `endLine` of `file`, or null. This is how a summary's recorded
+   * callee gets back to its node: the summary keeps source text and a
+   * range, not ids.
+   */
+  findCallee(file, startLine, endLine, calleeText) {
+    const sourceFile = this.sourceFileAt(file);
+    if (sourceFile === null) {
+      return null;
+    }
+    for (const call of sourceFile.getDescendantsOfKind(
+      import_ts_morph59.SyntaxKind.CallExpression
+    )) {
+      const line = call.getStartLineNumber();
+      if (line < startLine || line > endLine) {
+        continue;
+      }
+      if (call.getExpression().getText() === calleeText) {
+        return call.getExpression();
+      }
+    }
+    return null;
+  }
+  /**
+   * Why `value` resolves to what it does: the witness proof, flattened
+   * to the chain and rendered. Null when the value does not resolve,
+   * which the caller says in its own words.
+   */
+  explain(value, options = {}) {
+    const explained = this.store.explainCallable(value, options);
+    if (explained === null) {
+      return null;
+    }
+    const describe = (atom) => {
+      const node = explained.nodeFor(atom);
+      if (node === void 0) {
+        return this.displayPath(String(atom));
+      }
+      const at = this.locate(node);
+      return `${at.name} (${at.file}:${at.line})`;
+    };
+    const explanation = (0, import_resolution2.explainResolutionProof)(explained.proof, {
+      describe,
+      phrases: JS_PHRASES
+    });
+    if (explanation === null) {
+      return null;
+    }
+    return {
+      explanation,
+      chain: explanation.atoms.map((atom) => describe(atom)),
+      lines: (0, import_resolution2.renderExplanation)(explanation, describe),
+      target: this.locate(explained.target),
+      stats: explained.stats
+    };
+  }
+  /** Where a found node is, in the terms an answer prints. */
+  locate(node) {
+    return {
+      name: displayNameOf(node),
+      file: this.displayPath(node.getSourceFile().getFilePath()),
+      line: node.getStartLineNumber()
+    };
+  }
+  sourceFileAt(file) {
+    const absolute = import_node_path11.default.resolve(this.root, file);
+    const loaded = this.project.getSourceFile(absolute);
+    if (loaded !== void 0) {
+      return loaded;
+    }
+    try {
+      return this.project.addSourceFileAtPath(absolute);
+    } catch {
+      return null;
+    }
+  }
+  /** A module key: a file path said relative to the root, or a package name. */
+  displayPath(key) {
+    if (key.startsWith(this.root)) {
+      return import_node_path11.default.relative(this.root, key);
+    }
+    return key;
+  }
+};
+function displayNameOf(node) {
+  if (import_ts_morph59.Node.isIdentifier(node) || import_ts_morph59.Node.isPropertyAccessExpression(node)) {
+    return node.getText();
+  }
+  if (import_ts_morph59.Node.isCallExpression(node) || import_ts_morph59.Node.isNewExpression(node)) {
+    return `${node.getExpression()?.getText() ?? "call"}(...)`;
+  }
+  if (import_ts_morph59.Node.isFunctionDeclaration(node) || import_ts_morph59.Node.isClassDeclaration(node) || import_ts_morph59.Node.isMethodDeclaration(node) || import_ts_morph59.Node.isVariableDeclaration(node)) {
+    const name = node.getName();
+    if (name !== void 0) {
+      return name;
+    }
+  }
+  if (import_ts_morph59.Node.isArrowFunction(node) || import_ts_morph59.Node.isFunctionExpression(node)) {
+    const parent = node.getParent();
+    if (parent !== void 0 && import_ts_morph59.Node.isVariableDeclaration(parent)) {
+      return parent.getName();
+    }
+  }
+  const text = node.getText().split("\n")[0].trim();
+  return text.length > 40 ? `${text.slice(0, 40)}...` : text;
+}
+
 // src/packHealth.ts
 function stagesOf(funnel) {
   const stages = [];
   const gateSaysSomething = funnel.gates.length > 0 && funnel.unresolvedGates.length === 0;
+  if (funnel.recognizes && !funnel.discovers && gateSaysSomething) {
+    stages.push({
+      from: {
+        name: "unit bodies to look inside",
+        count: funnel.unitsInGatedFiles
+      },
+      to: { name: "effects recognized", count: funnel.effectsRecognized },
+      meaning: "its import gate found the library and it matched nothing in the bodies it saw"
+    });
+  }
   if (funnel.discovers && gateSaysSomething) {
     stages.push({
       from: { name: "candidate files", count: funnel.candidateFiles },
@@ -14543,7 +15105,7 @@ function formatPackHealth(checks, audiences) {
 }
 
 // src/resolve/readName.ts
-var import_ts_morph59 = require("ts-morph");
+var import_ts_morph60 = require("ts-morph");
 var import_behavioral_ir7 = require("@suss/behavioral-ir");
 var MAX_HELPER_HOPS = 2;
 var UNNAMED_HOLE = "param";
@@ -14578,11 +15140,11 @@ function referenceIn(expr) {
 function parameterPath(expr) {
   const fields = [];
   let step = expr;
-  while (import_ts_morph59.Node.isPropertyAccessExpression(step)) {
+  while (import_ts_morph60.Node.isPropertyAccessExpression(step)) {
     fields.unshift(step.getName());
     step = step.getExpression();
   }
-  if (!import_ts_morph59.Node.isIdentifier(step) || !isParameter(step)) {
+  if (!import_ts_morph60.Node.isIdentifier(step) || !isParameter(step)) {
     return null;
   }
   return { root: step.getText(), fields };
@@ -14590,7 +15152,7 @@ function parameterPath(expr) {
 function isParameter(identifier) {
   const declarations = identifier.getSymbol()?.getDeclarations() ?? [];
   return declarations.some(
-    (declaration) => import_ts_morph59.Node.isParameterDeclaration(declaration)
+    (declaration) => import_ts_morph60.Node.isParameterDeclaration(declaration)
   );
 }
 function read(expr, ctx) {
@@ -14599,35 +15161,52 @@ function read(expr, ctx) {
   }
   const seen = new Set(ctx.seen).add(expr);
   const inner = { ...ctx, seen };
-  if (import_ts_morph59.Node.isStringLiteral(expr) || import_ts_morph59.Node.isNoSubstitutionTemplateLiteral(expr)) {
+  if (import_ts_morph60.Node.isStringLiteral(expr) || import_ts_morph60.Node.isNoSubstitutionTemplateLiteral(expr)) {
     return expr.getLiteralValue();
   }
-  if (import_ts_morph59.Node.isNumericLiteral(expr)) {
+  if (import_ts_morph60.Node.isNumericLiteral(expr)) {
     return expr.getLiteralText();
   }
-  if (import_ts_morph59.Node.isTemplateExpression(expr)) {
+  if (import_ts_morph60.Node.isTemplateExpression(expr)) {
     return fromTemplate(expr, inner);
   }
-  if (import_ts_morph59.Node.isParenthesizedExpression(expr)) {
+  if (import_ts_morph60.Node.isParenthesizedExpression(expr)) {
     return read(expr.getExpression(), inner);
   }
-  if (import_ts_morph59.Node.isBinaryExpression(expr)) {
+  if (import_ts_morph60.Node.isBinaryExpression(expr)) {
     return fromBinary(expr, inner);
   }
-  if (import_ts_morph59.Node.isCallExpression(expr)) {
+  if (import_ts_morph60.Node.isCallExpression(expr)) {
     return fromCall(expr, inner);
   }
-  if (import_ts_morph59.Node.isIdentifier(expr)) {
+  if (import_ts_morph60.Node.isIdentifier(expr)) {
     const only = boundOnce(expr, ctx);
     if (only !== null) {
       return read(only.node, { ...inner, bindings: only.scope });
     }
   }
   const written = ctx.resolve(expr);
-  return written === null || written === expr ? null : read(written, inner);
+  if (written === null || written === expr) {
+    return null;
+  }
+  if (ctx.insideHole && isFallbackBranch(written)) {
+    return null;
+  }
+  return read(written, inner);
+}
+function isFallbackBranch(node) {
+  let step = node.getParent();
+  while (step !== void 0 && import_ts_morph60.Node.isParenthesizedExpression(step)) {
+    step = step.getParent();
+  }
+  if (step === void 0 || !import_ts_morph60.Node.isBinaryExpression(step)) {
+    return false;
+  }
+  const operator = step.getOperatorToken().getKind();
+  return operator === import_ts_morph60.SyntaxKind.BarBarToken || operator === import_ts_morph60.SyntaxKind.QuestionQuestionToken;
 }
 function fromTemplate(expr, ctx) {
-  if (!import_ts_morph59.Node.isTemplateExpression(expr)) {
+  if (!import_ts_morph60.Node.isTemplateExpression(expr)) {
     return null;
   }
   let name = expr.getHead().getLiteralText();
@@ -14638,28 +15217,28 @@ function fromTemplate(expr, ctx) {
   return name;
 }
 function fromBinary(expr, ctx) {
-  if (!import_ts_morph59.Node.isBinaryExpression(expr)) {
+  if (!import_ts_morph60.Node.isBinaryExpression(expr)) {
     return null;
   }
   const operator = expr.getOperatorToken().getKind();
-  if (operator === import_ts_morph59.SyntaxKind.BarBarToken || operator === import_ts_morph59.SyntaxKind.QuestionQuestionToken) {
+  if (operator === import_ts_morph60.SyntaxKind.BarBarToken || operator === import_ts_morph60.SyntaxKind.QuestionQuestionToken) {
     return ctx.insideHole ? null : read(expr.getRight(), ctx);
   }
-  if (operator !== import_ts_morph59.SyntaxKind.PlusToken) {
+  if (operator !== import_ts_morph60.SyntaxKind.PlusToken) {
     return null;
   }
   const parts = { ...ctx, insideHole: true };
   return readOrHole(expr.getLeft(), parts) + readOrHole(expr.getRight(), parts);
 }
 function fromCall(expr, ctx) {
-  if (!import_ts_morph59.Node.isCallExpression(expr)) {
+  if (!import_ts_morph60.Node.isCallExpression(expr)) {
     return null;
   }
   const callee = expr.getExpression();
-  if (import_ts_morph59.Node.isPropertyAccessExpression(callee) && callee.getName() === "join") {
+  if (import_ts_morph60.Node.isPropertyAccessExpression(callee) && callee.getName() === "join") {
     return fromJoin(callee.getExpression(), expr.getArguments(), ctx);
   }
-  if (import_ts_morph59.Node.isIdentifier(callee) && callee.getText() === "String") {
+  if (import_ts_morph60.Node.isIdentifier(callee) && callee.getText() === "String") {
     const only = expr.getArguments()[0];
     return only === void 0 ? null : readOrHole(only, ctx);
   }
@@ -14678,7 +15257,7 @@ function fromCall(expr, ctx) {
 }
 function fromJoin(subject, args, ctx) {
   const separator = args[0];
-  if (separator === void 0 || !import_ts_morph59.Node.isStringLiteral(separator)) {
+  if (separator === void 0 || !import_ts_morph60.Node.isStringLiteral(separator)) {
     return null;
   }
   const parts = elementsOf(subject, ctx);
@@ -14694,17 +15273,17 @@ function fromJoin(subject, args, ctx) {
   ).join(separator.getLiteralValue());
 }
 function elementsOf(subject, ctx) {
-  if (import_ts_morph59.Node.isArrayLiteralExpression(subject)) {
+  if (import_ts_morph60.Node.isArrayLiteralExpression(subject)) {
     return subject.getElements().map((element) => here(element, ctx));
   }
-  if (import_ts_morph59.Node.isCallExpression(subject)) {
+  if (import_ts_morph60.Node.isCallExpression(subject)) {
     const callee = subject.getExpression();
-    if (import_ts_morph59.Node.isPropertyAccessExpression(callee) && callee.getName() === "map") {
+    if (import_ts_morph60.Node.isPropertyAccessExpression(callee) && callee.getName() === "map") {
       return elementsOf(callee.getExpression(), ctx);
     }
     return null;
   }
-  if (!import_ts_morph59.Node.isIdentifier(subject)) {
+  if (!import_ts_morph60.Node.isIdentifier(subject)) {
     return null;
   }
   const bound = ctx.bindings.get(subject.getText());
@@ -14712,7 +15291,7 @@ function elementsOf(subject, ctx) {
     return null;
   }
   const only = bound.length === 1 ? bound[0] : void 0;
-  return only !== void 0 && import_ts_morph59.Node.isArrayLiteralExpression(only.node) ? only.node.getElements().map((element) => here(element, ctx)) : bound;
+  return only !== void 0 && import_ts_morph60.Node.isArrayLiteralExpression(only.node) ? only.node.getElements().map((element) => here(element, ctx)) : bound;
 }
 function singleReturnBody(callee, ctx) {
   const declaration = declarationOf2(callee, ctx);
@@ -14727,22 +15306,22 @@ function singleReturnBody(callee, ctx) {
   if (body === void 0) {
     return null;
   }
-  if (import_ts_morph59.Node.isExpression(body)) {
+  if (import_ts_morph60.Node.isExpression(body)) {
     return { parameters, returned: body };
   }
-  if (!import_ts_morph59.Node.isBlock(body)) {
+  if (!import_ts_morph60.Node.isBlock(body)) {
     return null;
   }
   const statements = body.getStatements();
   const only = statements[0];
-  if (statements.length !== 1 || only === void 0 || !import_ts_morph59.Node.isReturnStatement(only)) {
+  if (statements.length !== 1 || only === void 0 || !import_ts_morph60.Node.isReturnStatement(only)) {
     return null;
   }
   const returned = only.getExpression();
   return returned === void 0 ? null : { parameters, returned };
 }
 function declarationOf2(callee, ctx) {
-  const symbol = import_ts_morph59.Node.isPropertyAccessExpression(callee) ? callee.getNameNode().getSymbol() : callee.getSymbol();
+  const symbol = import_ts_morph60.Node.isPropertyAccessExpression(callee) ? callee.getNameNode().getSymbol() : callee.getSymbol();
   const declarations = symbol?.getAliasedSymbol()?.getDeclarations() ?? symbol?.getDeclarations() ?? [];
   for (const declaration of declarations) {
     const callable = asCallable(declaration);
@@ -14754,14 +15333,14 @@ function declarationOf2(callee, ctx) {
   return written === null || written === callee ? null : declarationOf2(written, { ...ctx, resolve: () => null });
 }
 function asCallable(declaration) {
-  if (import_ts_morph59.Node.isFunctionDeclaration(declaration) || import_ts_morph59.Node.isMethodDeclaration(declaration) || import_ts_morph59.Node.isArrowFunction(declaration) || import_ts_morph59.Node.isFunctionExpression(declaration)) {
+  if (import_ts_morph60.Node.isFunctionDeclaration(declaration) || import_ts_morph60.Node.isMethodDeclaration(declaration) || import_ts_morph60.Node.isArrowFunction(declaration) || import_ts_morph60.Node.isFunctionExpression(declaration)) {
     return declaration;
   }
-  if (!import_ts_morph59.Node.isVariableDeclaration(declaration)) {
+  if (!import_ts_morph60.Node.isVariableDeclaration(declaration)) {
     return null;
   }
   const initializer = declaration.getInitializer();
-  if (initializer !== void 0 && (import_ts_morph59.Node.isArrowFunction(initializer) || import_ts_morph59.Node.isFunctionExpression(initializer))) {
+  if (initializer !== void 0 && (import_ts_morph60.Node.isArrowFunction(initializer) || import_ts_morph60.Node.isFunctionExpression(initializer))) {
     return initializer;
   }
   return null;
@@ -14783,7 +15362,7 @@ function here(node, ctx) {
   return { node, scope: ctx.bindings };
 }
 function boundOnce(expr, ctx) {
-  const bound = import_ts_morph59.Node.isIdentifier(expr) ? ctx.bindings.get(expr.getText()) : void 0;
+  const bound = import_ts_morph60.Node.isIdentifier(expr) ? ctx.bindings.get(expr.getText()) : void 0;
   return bound !== void 0 && bound.length === 1 ? bound[0] : null;
 }
 function readOrHole(expr, ctx) {
@@ -14795,10 +15374,10 @@ function holeName(expr, ctx) {
   if (bound !== null) {
     return holeName(bound.node, { ...ctx, bindings: bound.scope });
   }
-  if (import_ts_morph59.Node.isIdentifier(expr)) {
+  if (import_ts_morph60.Node.isIdentifier(expr)) {
     return expr.getText();
   }
-  if (import_ts_morph59.Node.isPropertyAccessExpression(expr)) {
+  if (import_ts_morph60.Node.isPropertyAccessExpression(expr)) {
     return expr.getName();
   }
   return UNNAMED_HOLE;
@@ -14807,6 +15386,7 @@ function holeName(expr, ctx) {
 0 && (module.exports = {
   ADAPTER_VERSION,
   ResolutionStore,
+  WhySession,
   collectAncestorBranches,
   collectClientFieldAccesses,
   computeAdapterPacksDigest,
@@ -14832,5 +15412,6 @@ function holeName(expr, ctx) {
   readName,
   resolveAliasedSymbol,
   resolveSubject,
-  rootIdentifier
+  rootIdentifier,
+  workspaceRootFor
 });