@suss/adapter-typescript 0.35.1 → 0.36.0

package/dist/index.cjs

@@ -54,6 +54,7 @@ __export(index_exports, {
   createTypeScriptAdapter: () => createTypeScriptAdapter,
   declarationsBehind: () => declarationsBehind,
   discoverUnits: () => discoverUnits,
+  dottedPathOf: () => dottedPathOf,
   exportedDeclarationsOf: () => exportedDeclarationsOf,
   extractCodeStructure: () => extractCodeStructure,
   extractRawBranches: () => extractRawBranches,
@@ -110,11 +111,11 @@ module.exports = __toCommonJS(index_exports);
 
 // src/adapter.ts
 var import_node_path15 = __toESM(require("path"), 1);
-var import_ts_morph85 = require("ts-morph");
+var import_ts_morph87 = require("ts-morph");
 var import_behavioral_ir16 = require("@suss/behavioral-ir");
 var import_datalog5 = require("@suss/datalog");
 var import_extractor20 = require("@suss/extractor");
-var import_values14 = require("@suss/values");
+var import_values15 = require("@suss/values");
 
 // src/assembly.ts
 var import_ts_morph69 = require("ts-morph");
@@ -1150,11 +1151,11 @@ function settledDepthsFor(project) {
 }
 var depthsByProject = /* @__PURE__ */ new WeakMap();
 function readSpecifierPaths(project, filePath, options, host) {
-  const text2 = readFileText(project, filePath);
-  if (text2 === null) {
+  const text3 = readFileText(project, filePath);
+  if (text3 === null) {
     return [];
   }
-  const scanned = import_ts_morph4.ts.preProcessFile(text2, true, true);
+  const scanned = import_ts_morph4.ts.preProcessFile(text3, true, true);
   const cache = resolutionCacheFor(project, options);
   const paths = [];
   for (const imported of scanned.importedFiles) {
@@ -1326,12 +1327,12 @@ async function readImportsConcurrently(paths, marks) {
       }
       const p = paths[i];
       try {
-        const text2 = await import_promises.default.readFile(p, "utf-8");
-        const pre = import_ts_morph4.ts.preProcessFile(text2, true, false);
+        const text3 = await import_promises.default.readFile(p, "utf-8");
+        const pre = import_ts_morph4.ts.preProcessFile(text3, true, false);
         results[i] = {
           path: p,
           importedModules: pre.importedFiles.map((f) => f.fileName),
-          marked: marks.some((mark) => text2.includes(mark))
+          marked: marks.some((mark) => text3.includes(mark))
         };
       } catch {
         results[i] = { path: p, importedModules: [], marked: false };
@@ -2324,8 +2325,8 @@ function spellingsHandedOn(paths, sourceFile) {
   if (paths.length === 0) {
     return [];
   }
-  const text2 = sourceFile.getFullText();
-  if (!paths.some((path17) => text2.includes(path17))) {
+  const text3 = sourceFile.getFullText();
+  if (!paths.some((path17) => text3.includes(path17))) {
     return [];
   }
   return sourceFile.getDescendantsOfKind(import_ts_morph8.SyntaxKind.PropertyAccessExpression).filter((node) => spellsOneOf(paths, node) && flowsOnward(node));
@@ -2344,6 +2345,10 @@ function dottedPathOf(expression) {
   if (import_ts_morph8.Node.isIdentifier(expression)) {
     return expression.getText();
   }
+  if (import_ts_morph8.Node.isMetaProperty(expression)) {
+    const keyword = import_ts_morph8.ts.tokenToString(expression.getKeywordToken());
+    return `${keyword}.${expression.getName()}`;
+  }
   if (!import_ts_morph8.Node.isPropertyAccessExpression(expression)) {
     return null;
   }
@@ -4376,8 +4381,8 @@ var ResolutionStore = class _ResolutionStore {
       if (one.isInNodeModules()) {
         return false;
       }
-      const text2 = one.getFullText();
-      return spellings.some((spelling) => text2.includes(spelling));
+      const text3 = one.getFullText();
+      return spellings.some((spelling) => text3.includes(spelling));
     });
     if (siteFiles.length === 0) {
       return [];
@@ -5772,10 +5777,13 @@ function parametersOf(parameter, position) {
       }
     ];
   }
-  if (!import_ts_morph13.Node.isObjectBindingPattern(nameNode) || parameter.getInitializer() !== void 0) {
+  if (!import_ts_morph13.Node.isObjectBindingPattern(nameNode)) {
     return [];
   }
-  return destructuredNames(nameNode, position, []);
+  const patternDefault = parameter.getInitializer();
+  return destructuredNames(nameNode, position, []).map(
+    (entry) => patternDefault === void 0 ? entry : { ...entry, patternDefault }
+  );
 }
 function destructuredNames(pattern, position, prefix) {
   return pattern.getElements().flatMap((element) => {
@@ -6064,6 +6072,18 @@ function evaluatedValue(node, resolution, site) {
 function evaluatedValueUnder(node, resolution, bindings) {
   return bindings.size === 0 ? evaluatedValue(node, resolution) : (0, import_values3.force)(evaluatorFor(node, resolution).evaluate(node, { bindings }));
 }
+function evaluatedValueThrough(node, calls, resolution, given) {
+  const evaluator = evaluatorFor(node, resolution);
+  let bindings = /* @__PURE__ */ new Map();
+  for (const call of [...calls].reverse()) {
+    const bound = evaluator.argumentsAt(call, { bindings, given });
+    if (bound === null) {
+      return null;
+    }
+    bindings = bound;
+  }
+  return evaluator.evaluate(node, { bindings, given });
+}
 
 // src/resolve/routePath.ts
 function pathFromArgument(arg, resolution, site) {
@@ -7479,8 +7499,8 @@ function declaredChannelOf(source, decorator, resolution) {
   if (arg === void 0) {
     return null;
   }
-  const text2 = stringValueOf(arg, resolution);
-  return text2 === null || text2 === "" ? null : text2;
+  const text3 = stringValueOf(arg, resolution);
+  return text3 === null || text3 === "" ? null : text3;
 }
 function statusCodeDecoratedOn(routeDecorator, statusDecorators, constants, resolution) {
   const member = routeDecorator.getParent();
@@ -7930,28 +7950,28 @@ function assembledTemplateText(template, assembly) {
   if (!import_ts_morph25.Node.isTemplateExpression(template)) {
     return null;
   }
-  let text2 = template.getHead().getLiteralText();
+  let text3 = 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(text2) > 0) {
+      if (openBraceDepth(text3) > 0) {
         assembly.unresolvedInsideSelection = true;
       }
     } else {
-      text2 += `
+      text3 += `
 ${spliced}
 `;
     }
-    text2 += span.getLiteral().getLiteralText();
+    text3 += span.getLiteral().getLiteralText();
   }
-  return text2;
+  return text3;
 }
-function openBraceDepth(text2) {
+function openBraceDepth(text3) {
   let depth = 0;
-  for (const char of text2) {
+  for (const char of text3) {
     if (char === "{") {
       depth += 1;
     } else if (char === "}") {
@@ -7983,16 +8003,16 @@ function interpolatedDocumentText(expr, assembly) {
 function resolveGraphqlDocument(arg, resolution) {
   const assembly = startAssembly(resolution);
   const stripped = peelSyntax(arg);
-  const text2 = documentTextFromExpression(stripped, assembly) ?? resolveGqlTemplateText(stripped, assembly) ?? resolveTypedDocumentSource(stripped) ?? resolveThroughFacts(stripped, assembly);
-  if (text2 !== null) {
-    return assembledDocumentResolution(text2, stripped, assembly);
+  const text3 = documentTextFromExpression(stripped, assembly) ?? resolveGqlTemplateText(stripped, assembly) ?? resolveTypedDocumentSource(stripped) ?? resolveThroughFacts(stripped, assembly);
+  if (text3 !== null) {
+    return assembledDocumentResolution(text3, stripped, assembly);
   }
   return resolveTypedDocumentHeader(stripped);
 }
-function assembledDocumentResolution(text2, arg, assembly) {
+function assembledDocumentResolution(text3, arg, assembly) {
   const interpolations = assembly.unresolvedInterpolations;
   if (assembly.unresolvedInsideSelection) {
-    const header = parseGraphqlOperation(text2);
+    const header = parseGraphqlOperation(text3);
     return {
       ...header !== null ? { operationType: header.operationType } : {},
       ...header?.operationName !== void 0 ? { operationName: header.operationName } : {},
@@ -8002,10 +8022,10 @@ function assembledDocumentResolution(text2, arg, assembly) {
       }
     };
   }
-  const spreads = fragmentSpreadsIn(text2);
+  const spreads = fragmentSpreadsIn(text3);
   if (spreads === null) {
     if (interpolations.length === 0) {
-      return { document: text2 };
+      return { document: text3 };
     }
     return {
       unresolved: {
@@ -8014,7 +8034,7 @@ function assembledDocumentResolution(text2, arg, assembly) {
       }
     };
   }
-  const filled = fillDanglingSpreads(text2, spreads, arg, assembly);
+  const filled = fillDanglingSpreads(text3, spreads, arg, assembly);
   if (filled.unresolved.length > 0) {
     return {
       document: filled.text,
@@ -8033,15 +8053,15 @@ function assembledDocumentResolution(text2, arg, assembly) {
   }
   return { document: filled.text };
 }
-function fillDanglingSpreads(text2, spreads, arg, assembly) {
+function fillDanglingSpreads(text3, spreads, arg, assembly) {
   if (spreads.dangling.length === 0 || assembly.tagOrigin !== "project") {
-    return { text: text2, unresolved: spreads.dangling, ambiguous: [] };
+    return { text: text3, unresolved: spreads.dangling, ambiguous: [] };
   }
   const definitions = projectFragmentDefinitions(arg.getProject());
   const settled3 = new Set(spreads.defined);
   const unresolved = /* @__PURE__ */ new Set();
   const ambiguous = /* @__PURE__ */ new Set();
-  let filled = text2;
+  let filled = text3;
   let pending = spreads.dangling;
   while (pending.length > 0) {
     const brought = [];
@@ -8105,12 +8125,12 @@ function buildFragmentIndex(project) {
     if (!FRAGMENT_DEFINITION_TEXT.test(sourceFile.getFullText())) {
       continue;
     }
-    for (const text2 of documentTextsIn(sourceFile)) {
-      recordFragmentDefinitions(text2, definitions);
+    for (const text3 of documentTextsIn(sourceFile)) {
+      recordFragmentDefinitions(text3, definitions);
     }
   }
-  for (const text2 of graphqlFileTextsNear(sourceFiles)) {
-    recordFragmentDefinitions(text2, definitions);
+  for (const text3 of graphqlFileTextsNear(sourceFiles)) {
+    recordFragmentDefinitions(text3, definitions);
   }
   return definitions;
 }
@@ -8147,17 +8167,17 @@ function documentTextsIn(sourceFile) {
     if (!import_ts_morph25.Node.isTaggedTemplateExpression(node) && !import_ts_morph25.Node.isCallExpression(node)) {
       return;
     }
-    const text2 = documentTextFromExpression(node, startAssembly(void 0));
-    if (text2 !== null && text2 !== "") {
-      texts.push(text2);
+    const text3 = documentTextFromExpression(node, startAssembly(void 0));
+    if (text3 !== null && text3 !== "") {
+      texts.push(text3);
     }
   });
   return texts;
 }
-function recordFragmentDefinitions(text2, definitions) {
+function recordFragmentDefinitions(text3, definitions) {
   let doc;
   try {
-    doc = (0, import_graphql.parse)(text2);
+    doc = (0, import_graphql.parse)(text3);
   } catch {
     return;
   }
@@ -8181,13 +8201,13 @@ function recordFragmentDefinitions(text2, definitions) {
 }
 var NO_NAMES = /* @__PURE__ */ new Set();
 function describeInterpolations(interpolations) {
-  const quoted = interpolations.map((text2) => `\`${text2}\``).join(", ");
+  const quoted = interpolations.map((text3) => `\`${text3}\``).join(", ");
   return interpolations.length === 1 ? `expression ${quoted}` : `expressions ${quoted}`;
 }
-function fragmentSpreadsIn(text2) {
+function fragmentSpreadsIn(text3) {
   let doc;
   try {
-    doc = (0, import_graphql.parse)(text2);
+    doc = (0, import_graphql.parse)(text3);
   } catch {
     return null;
   }
@@ -8339,9 +8359,9 @@ function resolveThroughFacts(arg, assembly) {
   if (written === null) {
     return null;
   }
-  const text2 = documentTextFromExpression(written, assembly);
-  if (text2 !== null) {
-    return text2;
+  const text3 = documentTextFromExpression(written, assembly);
+  if (text3 !== null) {
+    return text3;
   }
   return typedDocumentSourceOf(written);
 }
@@ -8377,8 +8397,8 @@ function unreadableDocument(arg, reason) {
     }
   };
 }
-function singleLine(text2) {
-  const collapsed = text2.replace(/\s+/g, " ").trim();
+function singleLine(text3) {
+  const collapsed = text3.replace(/\s+/g, " ").trim();
   return collapsed.length > 80 ? `${collapsed.slice(0, 79)}\u2026` : collapsed;
 }
 function importedVariableInitializers(identifier) {
@@ -8422,9 +8442,9 @@ function resolveGqlTemplateText(arg, assembly) {
     }
   }
   for (const init of importedVariableInitializers(arg)) {
-    const text2 = documentTextFromExpression(peelSyntax(init), assembly);
-    if (text2 !== null) {
-      return text2;
+    const text3 = documentTextFromExpression(peelSyntax(init), assembly);
+    if (text3 !== null) {
+      return text3;
     }
   }
   return null;
@@ -9027,7 +9047,8 @@ function expandDocumentParameterCallers(documentArgument, libraryCall, context)
     context.store.returnsCall(wrapper, libraryCall),
     0,
     /* @__PURE__ */ new Set([parameter]),
-    context
+    context,
+    { library: libraryCall, through: [] }
   );
   return {
     units: expanded.units,
@@ -9040,7 +9061,7 @@ function documentBehindWrapper(value, store, wrapperReason) {
   }
   return resolveGraphqlDocument(value, store) ?? unreadableDocument(value);
 }
-function expandParameter(parameter, forwardsResult, depth, expanded, context) {
+function expandParameter(parameter, forwardsResult, depth, expanded, context, chain) {
   const passed = context.store.argumentsPassedTo(parameter);
   if (passed.length === 0) {
     return { units: [], unfollowed: 1 };
@@ -9053,6 +9074,7 @@ function expandParameter(parameter, forwardsResult, depth, expanded, context) {
       unfollowed++;
       continue;
     }
+    const outward = { ...chain, through: [...chain.through, call] };
     const nested = parameterBehind(argument, caller);
     if (nested !== null) {
       const deeper = expandNested(
@@ -9060,13 +9082,21 @@ function expandParameter(parameter, forwardsResult, depth, expanded, context) {
         forwardsResult && context.store.returnsCall(caller, call),
         depth,
         expanded,
-        context
+        context,
+        outward
       );
       units.push(...deeper.units);
       unfollowed += deeper.unfollowed;
       continue;
     }
-    const unit = callerUnit(caller, call, argument, forwardsResult, context);
+    const unit = callerUnit(
+      caller,
+      call,
+      argument,
+      forwardsResult,
+      context,
+      outward
+    );
     if (unit === null) {
       unfollowed++;
       continue;
@@ -9075,7 +9105,7 @@ function expandParameter(parameter, forwardsResult, depth, expanded, context) {
   }
   return { units, unfollowed };
 }
-function expandNested(parameter, forwardsResult, depth, expanded, context) {
+function expandNested(parameter, forwardsResult, depth, expanded, context, chain) {
   if (depth + 1 >= MAX_WRAPPER_DEPTH || expanded.has(parameter)) {
     return { units: [], unfollowed: 1 };
   }
@@ -9084,10 +9114,11 @@ function expandNested(parameter, forwardsResult, depth, expanded, context) {
     forwardsResult,
     depth + 1,
     /* @__PURE__ */ new Set([...expanded, parameter]),
-    context
+    context,
+    chain
   );
 }
-function callerUnit(caller, call, argument, forwardsResult, context) {
+function callerUnit(caller, call, argument, forwardsResult, context, chain) {
   const document = resolveGraphqlDocument(argument, context.store) ?? unreadableDocument(argument);
   const operationInfo = operationInfoFromResolution(
     document,
@@ -9104,7 +9135,14 @@ function callerUnit(caller, call, argument, forwardsResult, context) {
     // A wrapper handing back something of its own leaves the caller
     // none of the library's result to read.
     ...forwardsResult ? { callSite: { callExpression: call, methodName: context.methodName } } : {},
-    operationInfo
+    operationInfo,
+    ...context.client === void 0 ? {} : {
+      graphqlCall: {
+        call: chain.library,
+        through: chain.through,
+        client: context.client
+      }
+    }
   };
 }
 function unfollowedReason(followed, unfollowed) {
@@ -9206,7 +9244,8 @@ function discoverGraphqlHookCalls(sourceFile, match, kind, resolution) {
       kind,
       operationType: spec.operationType,
       methodName: spec.canonical,
-      store
+      store,
+      ...match.clientOption === void 0 ? {} : { client: match.clientOption }
     });
     if (expansion !== null) {
       results.push(...expansion.units);
@@ -9236,7 +9275,14 @@ function discoverGraphqlHookCalls(sourceFile, match, kind, resolution) {
       kind,
       name: `${functionNameOrAnon(enclosing)}.${nameToken}`,
       callSite: { callExpression: node, methodName: spec.canonical },
-      operationInfo
+      operationInfo,
+      ...match.clientOption === void 0 ? {} : {
+        graphqlCall: {
+          call: node,
+          through: [],
+          client: match.clientOption
+        }
+      }
     });
   }
   return results;
@@ -9287,7 +9333,8 @@ function discoverGraphqlImperativeCalls(sourceFile, match, kind, resolution) {
       kind,
       operationType: spec.operationType,
       methodName,
-      store: resolution
+      store: resolution,
+      client: "receiver"
     });
     if (expansion !== null) {
       results.push(...expansion.units);
@@ -9317,7 +9364,8 @@ function discoverGraphqlImperativeCalls(sourceFile, match, kind, resolution) {
       kind,
       name: `${functionNameOrAnon(enclosing)}.${nameToken}`,
       callSite: { callExpression: node, methodName },
-      operationInfo
+      operationInfo,
+      graphqlCall: { call: node, through: [], client: "receiver" }
     });
   });
   return results;
@@ -10328,6 +10376,7 @@ function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, r
   if (registrationSubjects.size === 0 && !storeCanFindSubjects(sourceFile, match, resolution, registrationMethods)) {
     return results;
   }
+  const anonymousLabels = /* @__PURE__ */ new Map();
   sourceFile.forEachDescendant((node) => {
     if (!import_ts_morph37.Node.isCallExpression(node)) {
       return;
@@ -10429,7 +10478,8 @@ function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, r
           routeWrapperPattern,
           methodName,
           routeInfo,
-          resolution
+          resolution,
+          anonymousLabels
         );
         results.push({
           func: handler,
@@ -10490,9 +10540,8 @@ function declinedRegistration(call, callee, methodName, kind, receiver, resoluti
     }
   ];
 }
-function routeChainOf(listed, pattern, methodName, routeInfo, resolution) {
+function routeChainOf(listed, pattern, methodName, routeInfo, resolution, anonymousLabels) {
   const chain = { units: [], references: [], unfollowed: [] };
-  const anonymousLabels = /* @__PURE__ */ new Map();
   for (const arg of listed) {
     const elements = import_ts_morph37.Node.isArrayLiteralExpression(arg) ? arg.getElements() : [arg];
     for (const element of elements) {
@@ -10506,12 +10555,12 @@ function routeChainOf(listed, pattern, methodName, routeInfo, resolution) {
       }
       const ownName = functionNameOrAnon(target);
       const named2 = ownName !== "<anon>";
-      const label = factoryNameOf(element) ?? methodName;
+      const label = `${factoryNameOf(element) ?? methodName}@${routeWhere(routeInfo)}`;
       const seen = anonymousLabels.get(label) ?? 0;
       if (!named2) {
         anonymousLabels.set(label, seen + 1);
       }
-      const name = named2 ? ownName : routeWrapperLabel(label, routeInfo, element, seen);
+      const name = named2 ? ownName : numberedLabel(label, seen);
       chain.units.push({
         func: target,
         kind: pattern.kind,
@@ -10527,9 +10576,11 @@ function routeChainOf(listed, pattern, methodName, routeInfo, resolution) {
   }
   return chain;
 }
-function routeWrapperLabel(label, routeInfo, element, seen) {
-  const where = routeInfo === null ? `L${element.getStartLineNumber()}` : `${routeInfo.method} ${routeInfo.path}`;
-  return seen === 0 ? `${label}@${where}` : `${label}@${where}#${seen + 1}`;
+function routeWhere(routeInfo) {
+  return routeInfo === null ? "?" : `${routeInfo.method} ${routeInfo.path}`;
+}
+function numberedLabel(label, seen) {
+  return seen === 0 ? label : `${label}#${seen + 1}`;
 }
 function withMountPrefix(routeInfo, subjectNode, mountPrefixes) {
   if (routeInfo === null || mountPrefixes === void 0) {
@@ -11467,8 +11518,8 @@ function mockOf(call, match, sourceFile, resolution) {
   const module2 = import_ts_morph41.Node.isIdentifier(first) ? moduleImportedWholeAs(sourceFile, first.getText()) : null;
   return { ...module2 !== null ? { module: module2 } : {}, name, written };
 }
-function oneLine(text2) {
-  const flat = text2.replace(/\s*\n\s*/g, "");
+function oneLine(text3) {
+  const flat = text3.replace(/\s*\n\s*/g, "");
   const factory = flat.search(/,\s*(async\s*)?\(/);
   return factory === -1 ? flat : `${flat.slice(0, factory)})`;
 }
@@ -12043,8 +12094,8 @@ function receiverIsPromiseTyped(receiver) {
   if (symbolName === "Promise") {
     return true;
   }
-  const text2 = type.getText();
-  return text2 === "Promise" || text2.startsWith("Promise<");
+  const text3 = type.getText();
+  return text3 === "Promise" || text3.startsWith("Promise<");
 }
 function callbackReturnExpression(node) {
   if (node === void 0 || !(import_ts_morph44.Node.isArrowFunction(node) || import_ts_morph44.Node.isFunctionExpression(node))) {
@@ -12727,9 +12778,9 @@ function getLoopBody(stmt) {
   return void 0;
 }
 var loopHeaderText = (stmt) => {
-  const text2 = stmt.getText();
-  const bodyStart = text2.indexOf("{");
-  const header = bodyStart === -1 ? text2 : text2.slice(0, bodyStart);
+  const text3 = stmt.getText();
+  const bodyStart = text3.indexOf("{");
+  const header = bodyStart === -1 ? text3 : text3.slice(0, bodyStart);
   return header.trim();
 };
 var conditionOf = (expr) => ({
@@ -12840,7 +12891,8 @@ function buildStructured(stmt, ctx) {
       kind: "loop",
       condition: { sourceText: loopHeaderText(stmt), expression: null },
       body: lowerList(statementsOf(getLoopBody(stmt)), ctx),
-      exitKind
+      exitKind,
+      lines: lineRangeOf(stmt)
     };
   }
   if (import_ts_morph48.Node.isTryStatement(stmt)) {
@@ -12848,6 +12900,7 @@ function buildStructured(stmt, ctx) {
     const finallyBlock = stmt.getFinallyBlock();
     return {
       kind: "try",
+      lines: lineRangeOf(stmt),
       tryBody: lowerList(stmt.getTryBlock().getStatements(), ctx),
       catchBody: catchClause === void 0 ? null : lowerList(catchClause.getBlock().getStatements(), ctx),
       finallyBody: finallyBlock === void 0 ? null : lowerList(finallyBlock.getStatements(), ctx),
@@ -13008,13 +13061,14 @@ function loweredExpressionBody(body, terminalNodes, func, barriers) {
 function computePathConditions(func, terminalNodes, barriers = NO_BARRIERS, endings = NO_ENDINGS, keepsArms) {
   const body = func.getBody();
   if (body === void 0) {
-    return { byTerminal: /* @__PURE__ */ new Map(), fallthrough: [] };
+    return { byTerminal: /* @__PURE__ */ new Map(), fallthrough: [], placement: /* @__PURE__ */ new Map() };
   }
   if (containsUnmodeledFlow(body, func, barriers)) {
     return degradedResult(func, terminalNodes, "labeled statement");
   }
+  let lowered;
   try {
-    const lowered = import_ts_morph49.Node.isBlock(body) ? lowerFunctionBody(body, terminalNodes, func, barriers, endings) : loweredExpressionBody(body, terminalNodes, func, barriers);
+    lowered = import_ts_morph49.Node.isBlock(body) ? lowerFunctionBody(body, terminalNodes, func, barriers, endings) : loweredExpressionBody(body, terminalNodes, func, barriers);
     const result = (0, import_extractor4.enumerateStructuredPaths)({
       statements: lowered.statements,
       terminalsByStmt: lowered.terminalsByStmt,
@@ -13022,15 +13076,17 @@ function computePathConditions(func, terminalNodes, barriers = NO_BARRIERS, endi
     });
     return composeExpressionLevel(func, result, lowered.terminalHomeRaw);
   } catch (error) {
+    const placement = lowered === void 0 ? /* @__PURE__ */ new Map() : (0, import_extractor4.placeTerminals)(lowered);
     if (error instanceof import_extractor4.PathBudgetExceeded) {
       return degradedResult(
         func,
         terminalNodes,
-        error.message === "" ? "path budget exceeded" : error.message
+        error.message === "" ? "path budget exceeded" : error.message,
+        placement
       );
     }
     if (error instanceof import_extractor4.UnmodeledFlow) {
-      return degradedResult(func, terminalNodes, error.message);
+      return degradedResult(func, terminalNodes, error.message, placement);
     }
     throw error;
   }
@@ -13045,9 +13101,13 @@ function composeExpressionLevel(func, result, terminalHomeRaw) {
       paths.map((statementLevel) => [...statementLevel, ...expressionLevel])
     );
   }
-  return { byTerminal, fallthrough: result.fallthrough };
+  return {
+    byTerminal,
+    fallthrough: result.fallthrough,
+    placement: result.placement
+  };
 }
-function degradedResult(func, terminalNodes, reason) {
+function degradedResult(func, terminalNodes, reason, placement = /* @__PURE__ */ new Map()) {
   const marker = {
     sourceText: `unmodeled control flow (${reason})`,
     polarity: "positive",
@@ -13064,7 +13124,7 @@ function degradedResult(func, terminalNodes, reason) {
       [...collectAncestorConditionInfosBelow(terminal, func), marker]
     ]);
   }
-  return { byTerminal, fallthrough: [[marker]] };
+  return { byTerminal, fallthrough: [[marker]], placement };
 }
 
 // src/provenance.ts
@@ -13191,7 +13251,7 @@ function stableTypeText(type, reader, enclosing, flags) {
   return withoutImportQualifiers(printed(ordered, file));
 }
 var IMPORT_QUALIFIER = /import\("[^"]*"\)\./g;
-var withoutImportQualifiers = (text2) => text2.replace(IMPORT_QUALIFIER, "");
+var withoutImportQualifiers = (text3) => text3.replace(IMPORT_QUALIFIER, "");
 function printed(node, file) {
   return PRINTER.printNode(import_ts_morph51.ts.EmitHint.Unspecified, node, file).replace(
     /\n/g,
@@ -13233,11 +13293,11 @@ function inStableOrder(members, file) {
 function compareMembers(a, b) {
   return nullishRank(a) - nullishRank(b) || compareText(a, b);
 }
-function nullishRank(text2) {
-  if (text2 === "null") {
+function nullishRank(text3) {
+  if (text3 === "null") {
     return 1;
   }
-  if (text2 === "undefined") {
+  if (text3 === "undefined") {
     return 2;
   }
   return 0;
@@ -14232,11 +14292,12 @@ function invocationAt(call, func) {
       callee: call.getExpression().getText(),
       args: extractArgs(call),
       async: isAwaited(call),
-      ...preconditions.length > 0 ? { preconditions } : {}
+      ...preconditions.length > 0 ? { preconditions } : {},
+      location: lineRangeOf(call)
     },
     node: call,
     line: enclosingStatementLine(call),
-    alwaysRuns: runsOnEveryPath(call, func)
+    cleansUpFrom: cleanupStartLine(call, func)
   };
 }
 function isAwaited(call) {
@@ -14247,7 +14308,7 @@ function runInvocationRecognizers(func, recognizers, barriers = NO_BARRIERS, res
   if (recognizers.length === 0) {
     return [];
   }
-  const out = [];
+  const sites = [];
   const sourceFile = func.getSourceFile();
   const calls = [];
   func.forEachDescendant((node, traversal) => {
@@ -14272,7 +14333,8 @@ function runInvocationRecognizers(func, recognizers, barriers = NO_BARRIERS, res
     );
     const line = enclosingStatementLine(node);
     const preconditions = collectPreconditions(node, func);
-    const alwaysRuns = runsOnEveryPath(node, func);
+    const cleansUpFrom = cleanupStartLine(node, func);
+    const site = [];
     for (const recognizer of recognizers) {
       let emitted = null;
       try {
@@ -14290,17 +14352,18 @@ function runInvocationRecognizers(func, recognizers, barriers = NO_BARRIERS, res
         continue;
       }
       for (const eff of emitted) {
-        out.push({
-          effect: withPreconditions(eff, preconditions),
+        site.push({
+          effect: placedAt(withPreconditions(eff, preconditions), node),
           line,
           preconditions,
-          alwaysRuns,
+          cleansUpFrom,
           ...stated?.of(eff)
         });
       }
     }
+    sites.push(site);
   }
-  return out;
+  return (0, import_extractor6.numberRepeatedCallSites)(sites).flat();
 }
 function runAccessRecognizers(func, recognizers, barriers = NO_BARRIERS, resolution, originatesFrom, anchorCallsOf) {
   return dispatchAccessRecognizers(
@@ -14385,7 +14448,7 @@ function dispatchAccessRecognizers(root, recognizers, isStop, resolution, origin
     );
     const line = enclosingStatementLine(node);
     const preconditions = collectPreconditions(node, root);
-    const alwaysRuns = runsOnEveryPath(node, root);
+    const cleansUpFrom = cleanupStartLine(node, root);
     for (const recognizer of recognizers) {
       let emitted = null;
       try {
@@ -14410,10 +14473,10 @@ function dispatchAccessRecognizers(root, recognizers, isStop, resolution, origin
         }
         seenEffects.add(key);
         out.push({
-          effect,
+          effect: placedAt(effect, node),
           line,
           preconditions,
-          alwaysRuns,
+          cleansUpFrom,
           ...stated?.of(eff)
         });
       }
@@ -14447,6 +14510,12 @@ function extractArg(node, depth) {
   if (import_ts_morph56.Node.isFalseLiteral(node)) {
     return { kind: "boolean", value: false };
   }
+  if (import_ts_morph56.Node.isNullLiteral(node)) {
+    return { kind: "null" };
+  }
+  if (import_ts_morph56.Node.isIdentifier(node) && node.getText() === "undefined") {
+    return { kind: "undefined" };
+  }
   if (import_ts_morph56.Node.isTemplateExpression(node)) {
     return { kind: "template", sourceText: node.getText() };
   }
@@ -14538,16 +14607,20 @@ function collectPreconditions(node, root) {
     conditionInfoToRawCondition
   );
 }
-function runsOnEveryPath(node, root) {
+function cleanupStartLine(node, root) {
+  let found;
   let current2 = node;
   while (current2 !== void 0 && current2 !== root) {
     const parent = current2.getParent();
     if (parent !== void 0 && import_ts_morph56.Node.isTryStatement(parent) && parent.getFinallyBlock() === current2) {
-      return true;
+      found = startLineOf(parent);
     }
     current2 = parent;
   }
-  return false;
+  return found;
+}
+function placedAt(effect, node) {
+  return { ...effect, location: lineRangeOf(node) };
 }
 function withPreconditions(effect, preconditions) {
   if (preconditions.length === 0) {
@@ -14579,6 +14652,9 @@ function inlineModuleBinding(ident, depth) {
     if (!isModuleScoped(decl)) {
       continue;
     }
+    if (decl.getVariableStatement()?.getDeclarationKind() !== import_ts_morph56.VariableDeclarationKind.Const) {
+      continue;
+    }
     const init = decl.getInitializer();
     if (init === void 0) {
       continue;
@@ -15288,8 +15364,8 @@ function typeToShape(type, ctx) {
     return { type: "number" };
   }
   if (type.isBooleanLiteral()) {
-    const text3 = type.getText(ctx.enclosing);
-    return { type: "literal", value: text3 === "true" };
+    const text4 = type.getText(ctx.enclosing);
+    return { type: "literal", value: text4 === "true" };
   }
   if (type.isString()) {
     return { type: "text" };
@@ -15353,9 +15429,9 @@ function typeToShape(type, ctx) {
   if (type.isEnum() || type.isEnumLiteral()) {
     return enumToShape(type, ctx);
   }
-  const text2 = printedTypeName(type, ctx);
-  if (text2 && text2.length > 0 && text2 !== "__type") {
-    return { type: "ref", name: text2 };
+  const text3 = printedTypeName(type, ctx);
+  if (text3 && text3.length > 0 && text3 !== "__type") {
+    return { type: "ref", name: text3 };
   }
   return null;
 }
@@ -15498,8 +15574,8 @@ function opaqueNamedRef(type, ctx) {
   if (!OPAQUE_NAMED_TYPES.has(name)) {
     return null;
   }
-  const text2 = printedTypeName(type, ctx);
-  return { type: "ref", name: text2 && text2.length > 0 ? text2 : name };
+  const text3 = printedTypeName(type, ctx);
+  return { type: "ref", name: text3 && text3.length > 0 ? text3 : name };
 }
 function outsideProjectRef(type, ctx) {
   const symbol = type.getSymbol();
@@ -15565,8 +15641,8 @@ function definitionKeyFor(type, name, reader) {
   const written = stableTypeText(type, reader);
   return `${name}@${shortHash(written)}`;
 }
-function shortHash(text2) {
-  return (0, import_node_crypto.createHash)("sha1").update(text2).digest("hex").slice(0, 12);
+function shortHash(text3) {
+  return (0, import_node_crypto.createHash)("sha1").update(text3).digest("hex").slice(0, 12);
 }
 function refFromType(type, ctx) {
   const symbol = type.getAliasSymbol() ?? type.getSymbol();
@@ -16248,11 +16324,11 @@ function collectJsxAttributes(opening) {
 }
 function jsxChildToRenderNode(child) {
   if (import_ts_morph63.Node.isJsxText(child)) {
-    const text2 = child.getLiteralText().trim();
-    if (text2.length === 0) {
+    const text3 = child.getLiteralText().trim();
+    if (text3.length === 0) {
       return null;
     }
-    return { type: "text", value: text2 };
+    return { type: "text", value: text3 };
   }
   if (import_ts_morph63.Node.isJsxExpression(child)) {
     const inner = child.getExpression();
@@ -17249,11 +17325,12 @@ function makeFallthroughTerminal(func, pattern) {
 
 // src/assembly.ts
 var preconditionsOf = (effect) => effect.type === "invocation" ? effect.preconditions : void 0;
-function firesOn(site, branch) {
-  if (!(0, import_extractor8.guardsHoldOn)(site.preconditions, branch.conditions)) {
-    return false;
-  }
-  return site.alwaysRuns || (0, import_extractor8.runsBefore)(site.line, branch.terminal.location.end);
+function invocationSite(call) {
+  return {
+    line: call.line,
+    preconditions: preconditionsOf(call.effect),
+    cleansUpFrom: call.cleansUpFrom
+  };
 }
 function writesTerminal(call, terminalNodes) {
   let current2 = call;
@@ -17351,7 +17428,7 @@ function extractRawBranches(func, terminalPatterns, invocationRecognizers = [],
   const endings = new Set(
     terminals.filter(({ terminal }) => terminal.kind === "exit").map(({ node }) => node)
   );
-  const { byTerminal } = computePathConditions(
+  const { byTerminal, placement } = computePathConditions(
     func,
     terminals.map(({ node }) => node),
     barriers,
@@ -17384,6 +17461,7 @@ function extractRawBranches(func, terminalPatterns, invocationRecognizers = [],
   const rawBranches = terminals.flatMap(
     ({ node, terminal, whenAlso }) => {
       const conditionLists = byTerminal.get(node) ?? [];
+      const loopAround = placement.get(node)?.loopAround;
       return conditionLists.map((infos) => {
         const conditions = [
           ...infos.map(conditionInfoToRawCondition),
@@ -17394,6 +17472,7 @@ function extractRawBranches(func, terminalPatterns, invocationRecognizers = [],
           terminal,
           effects: [],
           location: terminal.location,
+          ...loopAround === void 0 ? {} : { loopAround },
           isDefault: isDefaultConditionList(infos)
         };
       });
@@ -17420,14 +17499,12 @@ function extractRawBranches(func, terminalPatterns, invocationRecognizers = [],
       (i) => !writesTerminal(i.node, terminalNodes)
     );
     for (const branch of distinctBranches) {
-      branch.effects = sideEffects.filter(
-        (i) => firesOn({ ...i, preconditions: preconditionsOf(i.effect) }, branch)
-      ).map((i) => i.effect);
+      branch.effects = sideEffects.filter((i) => (0, import_extractor8.firesOn)(invocationSite(i), branch)).map((i) => i.effect);
     }
   }
   const firing = /* @__PURE__ */ new Map();
   for (const branch of distinctBranches) {
-    const located = recognized.filter((r) => firesOn(r, branch));
+    const located = recognized.filter((r) => (0, import_extractor8.firesOn)(r, branch));
     const extra = located.map((r) => r.effect);
     if (extra.length > 0) {
       branch.extraEffects = [...branch.extraEffects ?? [], ...extra];
@@ -17467,11 +17544,9 @@ function handOffSites(invocations, terminalNodes, handOff, reading) {
       continue;
     }
     sites.push({
+      ...invocationSite(site),
       helper,
-      preconditions: preconditionsOf(site.effect),
-      line: site.line,
-      at: lineRangeOf(site.node),
-      alwaysRuns: site.alwaysRuns
+      at: lineRangeOf(site.node)
     });
   }
   return sites;
@@ -17497,16 +17572,12 @@ function accountFor(site, terminalNodes, branches) {
   if (writesTerminal(node, terminalNodes)) {
     return { node, callee, line, outcome: "terminal" };
   }
-  const call = {
-    line,
-    alwaysRuns: site.alwaysRuns,
-    preconditions: preconditionsOf(site.effect)
-  };
-  if (branches.some((branch) => firesOn(call, branch))) {
+  const call = invocationSite(site);
+  if (branches.some((branch) => (0, import_extractor8.firesOn)(call, branch))) {
     return { node, callee, line, outcome: "invocation" };
   }
   const reachable = branches.some(
-    (branch) => site.alwaysRuns || (0, import_extractor8.runsBefore)(line, branch.terminal.location.end)
+    (branch) => (0, import_extractor8.runsBefore)(call.cleansUpFrom ?? line, branch.terminal.location.end)
   );
   return {
     node,
@@ -18183,39 +18254,132 @@ function parameterName(segment, convention) {
   return null;
 }
 
+// src/discovery/graphqlCallClient.ts
+var import_ts_morph74 = require("ts-morph");
+var import_values12 = require("@suss/values");
+
 // src/discovery/graphqlClientConstruction.ts
 var import_picomatch2 = __toESM(require("picomatch"), 1);
 var import_ts_morph73 = require("ts-morph");
 var import_behavioral_ir12 = require("@suss/behavioral-ir");
 function stampGraphqlClientRefs(summaries, sourceFiles, packs, resolution) {
-  const scopes = compileOperationScopes(packs);
+  const constructions = graphqlClientConstructions(
+    sourceFiles,
+    packs.flatMap((pack) => pack.graphqlClients ?? []),
+    resolution
+  );
   const sole = soleGraphqlClientRef(
-    collectGraphqlClientRefs(sourceFiles, packs, resolution)
+    constructionRefs(constructions, resolution)
   );
-  const workspace = sole !== null ? boundWorkspaceFor(sole, packs) : null;
-  const soleClient = sole !== null ? workspace !== null ? { ...sole, workspace } : sole : null;
+  const grounding = {
+    packs,
+    scopes: compileOperationScopes(packs),
+    sole,
+    soleClient: withBoundWorkspace(sole, packs),
+    clientsBuilt: constructions.filter(
+      (construction) => construction.spec.linkProperty !== void 0
+    ).length,
+    pairWithAll: packs.some(
+      (pack) => pack.graphqlUnboundClients === "pairWithAll"
+    )
+  };
   let registry = null;
   for (const summary of summaries) {
     if (!(0, import_behavioral_ir12.isGraphqlOperationBinding)(summary.identity.boundaryBinding)) {
       continue;
     }
     const existing = (0, import_behavioral_ir12.readGraphqlMetadata)(summary) ?? {};
-    const scoped = scopedWorkspaceFor(summary.location.file, scopes);
-    const client = scoped !== null ? { uri: null, uriRef: null, workspace: scoped } : soleClient;
+    const decided = clientFor(summary, existing, grounding);
     const dangling = (existing.unresolvedFragments?.length ?? 0) > 0;
-    if (client === null && !dangling) {
+    if (decided === null && !dangling) {
       continue;
     }
     if (dangling && registry === null) {
       registry = fragmentRegistryStatus(sourceFiles, packs, resolution);
     }
     summary.metadata = (0, import_behavioral_ir12.withGraphqlMetadata)(summary.metadata, {
-      ...existing,
-      ...client !== null ? { client } : {},
+      ...decided === null ? existing : withoutClient(existing),
+      ...decided ?? {},
       ...dangling && registry !== null ? { fragmentRegistry: registry } : {}
     });
   }
 }
+function withBoundWorkspace(sole, packs) {
+  if (sole === null) {
+    return null;
+  }
+  const workspace = boundWorkspaceFor(sole, packs);
+  return workspace === null ? sole : { ...sole, workspace };
+}
+function underUnboundSetting(unresolved, grounding) {
+  return grounding.pairWithAll ? { ...unresolved, pairWithAll: true } : unresolved;
+}
+function clientFor(summary, existing, grounding) {
+  const scoped = scopedWorkspaceFor(summary.location.file, grounding.scopes);
+  const chosen = existing.client?.chosenAtCall === true ? existing.client : null;
+  if (chosen === null) {
+    const open = existing.unresolvedClient !== void 0;
+    if (existing.unresolvedClient !== void 0 && !oneEndpointToChoose(grounding)) {
+      return grounding.pairWithAll ? {
+        unresolvedClient: {
+          ...existing.unresolvedClient,
+          pairWithAll: true
+        }
+      } : null;
+    }
+    const client = scoped !== null ? { uri: null, uriRef: null, workspace: scoped } : grounding.soleClient;
+    if (client === null) {
+      return open ? {} : null;
+    }
+    return { client };
+  }
+  const passed = {
+    uri: chosen.uri,
+    uriRef: chosen.uriRef,
+    chosenAtCall: true
+  };
+  const bound = boundWorkspaceFor(passed, grounding.packs) ?? scoped;
+  if (bound !== null) {
+    return { client: { ...passed, workspace: bound } };
+  }
+  if (isTheAppsClient(passed, grounding)) {
+    return { client: passed };
+  }
+  return {
+    client: passed,
+    unresolvedClient: underUnboundSetting(unboundClient(passed), grounding)
+  };
+}
+function isTheAppsClient(passed, grounding) {
+  if (grounding.clientsBuilt === 1) {
+    return true;
+  }
+  const key = endpointKeyOf(passed);
+  return key !== null && grounding.sole !== null && key === endpointKeyOf(grounding.sole);
+}
+function oneEndpointToChoose(grounding) {
+  return grounding.clientsBuilt <= 1 || grounding.sole !== null;
+}
+function unboundClient(passed) {
+  const key = endpointKeyOf(passed);
+  if (key === null) {
+    return {
+      reference: "the client it passes",
+      reason: "it passes a client whose endpoint suss could not read, and the project builds more than one client, so suss cannot tell which service this one talks to"
+    };
+  }
+  return {
+    reference: key,
+    reason: `it passes the client built with ${key}, the project builds more than one client, and no \`clients\` entry in the pack options says which service ${key} talks to`
+  };
+}
+function endpointKeyOf(ref) {
+  return ref.uri ?? ref.uriRef;
+}
+function withoutClient(existing) {
+  const { client: _client, unresolvedClient: _unresolved, ...rest } = existing;
+  return rest;
+}
 function compileOperationScopes(packs) {
   return packs.flatMap((pack) => pack.graphqlOperationScopes ?? []).map((scope) => {
     const matchers2 = scope.files.map(
@@ -18248,13 +18412,22 @@ function boundWorkspaceFor(ref, packs) {
   }
   return null;
 }
-function collectGraphqlClientRefs(sourceFiles, packs, resolution) {
-  const specs = packs.flatMap((pack) => pack.graphqlClients ?? []);
+function constructionRefs(constructions, resolution) {
+  return constructions.flatMap((construction) => {
+    const found = constructionRef(
+      construction.node,
+      construction.spec.uriProperty,
+      resolution
+    );
+    return found === null ? [] : [found];
+  });
+}
+function graphqlClientConstructions(sourceFiles, specs, resolution) {
   if (specs.length === 0) {
     return [];
   }
   const store = resolution ?? new ResolutionStore();
-  const refs = [];
+  const found = [];
   for (const sourceFile of sourceFiles) {
     for (const spec of specs) {
       const constructions = callsByOriginName(
@@ -18264,14 +18437,27 @@ function collectGraphqlClientRefs(sourceFiles, packs, resolution) {
         /* @__PURE__ */ new Set([spec.importName])
       );
       for (const node of constructions.keys()) {
-        const found = constructionRef(node, spec.uriProperty, resolution);
-        if (found !== null) {
-          refs.push(found);
-        }
+        found.push({ node, spec });
       }
     }
   }
-  return refs;
+  return found;
+}
+function constructionEndpoint(construction, transports, resolution) {
+  const own = constructionRef(
+    construction.node,
+    construction.spec.uriProperty,
+    resolution
+  );
+  const linkProperty = construction.spec.linkProperty;
+  if (own !== null || linkProperty === void 0) {
+    return own;
+  }
+  const options = firstArgumentObject(construction.node, resolution);
+  const link = options === null ? null : propertyOf(options, linkProperty, resolution);
+  const transport = link === null ? null : writtenNodeOf(link, resolution);
+  const built = transports.find((one) => one.node === transport);
+  return built === void 0 ? null : constructionRef(built.node, built.spec.uriProperty, resolution);
 }
 function soleGraphqlClientRef(refs) {
   const distinct = /* @__PURE__ */ new Map();
@@ -18394,11 +18580,153 @@ function constructionRef(node, uriProperty, resolution) {
   return { uri: null, uriRef: value.getText() };
 }
 
+// src/discovery/graphqlCallClient.ts
+var REFERENCE_LIMIT = 80;
+function clientChosenAt(site, specs, resolution) {
+  const store = resolution ?? new ResolutionStore();
+  const written = writtenClientOf(site, store);
+  if (written === null) {
+    return null;
+  }
+  const constructions = constructionsInProject(
+    site.call.getSourceFile(),
+    specs,
+    store
+  );
+  const tokens = new Map(
+    constructions.map((construction, at) => [
+      construction.node,
+      (0, import_values12.text)(`suss:client#${at}`)
+    ])
+  );
+  const value = evaluatedValueThrough(
+    written.node,
+    site.through,
+    store,
+    tokens
+  );
+  const chosen = value === null ? unreadChain(written, store) : clientValueOf(value, written.property);
+  if (chosen === void 0) {
+    return null;
+  }
+  const picked = tokensIn(chosen, constructions.length);
+  if (picked !== null && picked.length === 1) {
+    const construction = constructions[picked[0]];
+    const endpoint = construction === void 0 ? null : constructionEndpoint(construction, constructions, store);
+    return {
+      kind: "settled",
+      client: endpoint ?? { uri: null, uriRef: null }
+    };
+  }
+  if (picked === null && written.property === null) {
+    return null;
+  }
+  const reference = referenceOf(written.node, written.property, store);
+  const passes = written.property === null ? "the client it is called on" : "the client it passes";
+  if (picked !== null && picked.length > 1) {
+    return {
+      kind: "unresolved",
+      reference,
+      reason: `${passes}, ${reference}, can be any of ${picked.length} clients, and nothing the call passes settles which`
+    };
+  }
+  return {
+    kind: "unresolved",
+    reference,
+    reason: `${passes}, ${reference}, does not come out as one client construction suss can read`
+  };
+}
+function writtenClientOf(site, store) {
+  if (site.client === "receiver") {
+    const callee = site.call.getExpression();
+    return import_ts_morph74.Node.isPropertyAccessExpression(callee) ? { node: callee.getExpression(), property: null } : null;
+  }
+  const options = site.call.getArguments()[site.client.argument];
+  if (options === void 0) {
+    return null;
+  }
+  const direct = site.through.length === 0;
+  if (direct && optionWritten(options, site.client.property, store) === null) {
+    return null;
+  }
+  return { node: options, property: site.client.property };
+}
+function clientValueOf(value, property) {
+  const forced = (0, import_values12.force)(value);
+  if (property === null) {
+    return isUndefined(forced) ? void 0 : forced;
+  }
+  if (forced.kind !== "record") {
+    return void 0;
+  }
+  const field = forced.fields.get(property);
+  if (field === void 0 || isUndefined((0, import_values12.force)(field.value))) {
+    return void 0;
+  }
+  return (0, import_values12.force)(field.value);
+}
+function unreadChain(written, store) {
+  if (written.property === null) {
+    return (0, import_values12.hole)("client");
+  }
+  return optionWritten(written.node, written.property, store) === null ? void 0 : (0, import_values12.hole)("client");
+}
+function isUndefined(value) {
+  return value.kind === "constant" && value.options.every((option) => option === void 0);
+}
+function tokensIn(value, count) {
+  if (value.kind !== "string" || value.pieces.length !== 1) {
+    return null;
+  }
+  const piece = value.pieces[0];
+  if (piece?.kind !== "text") {
+    return null;
+  }
+  const picked = [];
+  for (const option of piece.options) {
+    const at = /^suss:client#(\d+)$/.exec(option)?.[1];
+    if (at === void 0 || Number(at) >= count) {
+      return null;
+    }
+    picked.push(Number(at));
+  }
+  return picked;
+}
+function referenceOf(node, property, store) {
+  const written = property === null ? node : optionWritten(node, property, store);
+  const shown = written === null ? `${node.getText()}.${property}` : writtenText(written, store);
+  return shown.length > REFERENCE_LIMIT ? `${shown.slice(0, REFERENCE_LIMIT - 3)}...` : shown;
+}
+function optionWritten(options, property, store) {
+  const literal = objectLiteralOf(options, store);
+  return literal === null ? null : propertyOf(literal, property, store);
+}
+function writtenText(node, store) {
+  if (!import_ts_morph74.Node.isIdentifier(node)) {
+    return node.getText();
+  }
+  const value = store.resolveWrittenValue(node);
+  return value === null ? node.getText() : value.getText();
+}
+var constructionsByStore = /* @__PURE__ */ new WeakMap();
+function constructionsInProject(sourceFile, specs, store) {
+  const bySpecs = constructionsByStore.get(store) ?? /* @__PURE__ */ new WeakMap();
+  constructionsByStore.set(store, bySpecs);
+  const known = bySpecs.get(specs);
+  if (known !== void 0) {
+    return known;
+  }
+  const files = sourceFile.getProject().getSourceFiles().filter((file) => !file.isDeclarationFile() && !file.isInNodeModules());
+  const found = graphqlClientConstructions(files, specs, store);
+  bySpecs.set(specs, found);
+  return found;
+}
+
 // src/discovery/helperIndex.ts
-var import_ts_morph75 = require("ts-morph");
+var import_ts_morph76 = require("ts-morph");
 
 // src/discovery/helperReading.ts
-var import_ts_morph74 = require("ts-morph");
+var import_ts_morph75 = require("ts-morph");
 var UNREAD = { as: "unread" };
 function readHelperSinks(helper) {
   const positions = parameterPositions(helper);
@@ -18408,11 +18736,11 @@ function readHelperSinks(helper) {
     return sinks;
   }
   body.forEachDescendant((node) => {
-    if (!import_ts_morph74.Node.isCallExpression(node)) {
+    if (!import_ts_morph75.Node.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    const [method, receiver] = import_ts_morph74.Node.isPropertyAccessExpression(callee) ? [callee.getName(), readValue(callee.getExpression(), positions)] : [null, UNREAD];
+    const [method, receiver] = import_ts_morph75.Node.isPropertyAccessExpression(callee) ? [callee.getName(), readValue(callee.getExpression(), positions)] : [null, UNREAD];
     sinks.push({
       method,
       receiver,
@@ -18432,25 +18760,25 @@ function parameterPositions(helper) {
   return positions;
 }
 function readValue(node, positions) {
-  if (import_ts_morph74.Node.isStringLiteral(node) || import_ts_morph74.Node.isNoSubstitutionTemplateLiteral(node)) {
+  if (import_ts_morph75.Node.isStringLiteral(node) || import_ts_morph75.Node.isNoSubstitutionTemplateLiteral(node)) {
     return { as: "text", text: node.getLiteralValue() };
   }
-  if (import_ts_morph74.Node.isTemplateExpression(node)) {
+  if (import_ts_morph75.Node.isTemplateExpression(node)) {
     return templateText(node, positions);
   }
-  if (import_ts_morph74.Node.isIdentifier(node)) {
+  if (import_ts_morph75.Node.isIdentifier(node)) {
     const position = positions.get(node.getText());
     return position === void 0 ? UNREAD : { as: "parameter", position };
   }
-  if (import_ts_morph74.Node.isPropertyAccessExpression(node)) {
+  if (import_ts_morph75.Node.isPropertyAccessExpression(node)) {
     const target = node.getExpression();
-    const position = import_ts_morph74.Node.isIdentifier(target) ? positions.get(target.getText()) : void 0;
+    const position = import_ts_morph75.Node.isIdentifier(target) ? positions.get(target.getText()) : void 0;
     return position === void 0 ? UNREAD : { as: "parameter", position, property: node.getName() };
   }
-  if (import_ts_morph74.Node.isObjectLiteralExpression(node)) {
+  if (import_ts_morph75.Node.isObjectLiteralExpression(node)) {
     return objectValue(node, positions);
   }
-  if (import_ts_morph74.Node.isCallExpression(node)) {
+  if (import_ts_morph75.Node.isCallExpression(node)) {
     return {
       as: "call",
       callee: node.getExpression().getText(),
@@ -18460,27 +18788,27 @@ function readValue(node, positions) {
   return UNREAD;
 }
 function templateText(node, positions) {
-  if (!import_ts_morph74.Node.isTemplateExpression(node)) {
+  if (!import_ts_morph75.Node.isTemplateExpression(node)) {
     return UNREAD;
   }
-  let text2 = node.getHead().getLiteralText();
+  let text3 = node.getHead().getLiteralText();
   for (const span of node.getTemplateSpans()) {
     const expression = span.getExpression();
-    const position = import_ts_morph74.Node.isIdentifier(expression) ? positions.get(expression.getText()) : void 0;
+    const position = import_ts_morph75.Node.isIdentifier(expression) ? positions.get(expression.getText()) : void 0;
     if (position === void 0) {
       return UNREAD;
     }
-    text2 += `{${position}}${span.getLiteral().getLiteralText()}`;
+    text3 += `{${position}}${span.getLiteral().getLiteralText()}`;
   }
-  return { as: "text", text: text2 };
+  return { as: "text", text: text3 };
 }
 function objectValue(node, positions) {
-  if (!import_ts_morph74.Node.isObjectLiteralExpression(node)) {
+  if (!import_ts_morph75.Node.isObjectLiteralExpression(node)) {
     return UNREAD;
   }
   const properties = {};
   for (const property of node.getProperties()) {
-    if (!import_ts_morph74.Node.isPropertyAssignment(property)) {
+    if (!import_ts_morph75.Node.isPropertyAssignment(property)) {
       continue;
     }
     const initializer = property.getInitializer();
@@ -18495,7 +18823,7 @@ function objectValue(node, positions) {
   return { as: "object", properties };
 }
 function propertyKey(name) {
-  return import_ts_morph74.Node.isStringLiteral(name) ? name.getLiteralValue() : name.getText();
+  return import_ts_morph75.Node.isStringLiteral(name) ? name.getLiteralValue() : name.getText();
 }
 
 // src/discovery/helperIndex.ts
@@ -18579,8 +18907,8 @@ function noteExpanded(expanded, readings, discovery) {
   }
 }
 function mentionsAnyOf(file, written) {
-  const text2 = file.getFullText();
-  return written.some((word) => text2.includes(word));
+  const text3 = file.getFullText();
+  return written.some((word) => text3.includes(word));
 }
 function readSubjectHelpers(pack, packsByFile, resolution) {
   const matches = registrationMatchesOf(pack);
@@ -18625,11 +18953,11 @@ function registrationMatchesOf(pack) {
 }
 function collectHandOffs(sourceFile, subjects, match, resolution, found) {
   sourceFile.forEachDescendant((node) => {
-    if (!import_ts_morph75.Node.isCallExpression(node)) {
+    if (!import_ts_morph76.Node.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (!import_ts_morph75.Node.isIdentifier(callee)) {
+    if (!import_ts_morph76.Node.isIdentifier(callee)) {
       return;
     }
     const handedOver = subjectArgument(node, subjects, match, resolution);
@@ -18644,12 +18972,12 @@ function collectHandOffs(sourceFile, subjects, match, resolution, found) {
   });
 }
 function subjectArgument(call, subjects, match, resolution) {
-  if (!import_ts_morph75.Node.isCallExpression(call)) {
+  if (!import_ts_morph76.Node.isCallExpression(call)) {
     return -1;
   }
   const args = call.getArguments();
   for (const [position, argument] of args.entries()) {
-    if (!import_ts_morph75.Node.isIdentifier(argument) && !import_ts_morph75.Node.isPropertyAccessExpression(argument)) {
+    if (!import_ts_morph76.Node.isIdentifier(argument) && !import_ts_morph76.Node.isPropertyAccessExpression(argument)) {
       continue;
     }
     if (subjectNodeFor(argument, subjects, match, resolution) !== void 0) {
@@ -18681,8 +19009,8 @@ function record(found, helper, name, subjectParameter) {
 function readTextHelpers(sourceFiles, contains) {
   const readings = [];
   for (const sourceFile of sourceFiles) {
-    const text2 = sourceFile.getFullText();
-    if (!contains.some((mark) => text2.includes(mark))) {
+    const text3 = sourceFile.getFullText();
+    if (!contains.some((mark) => text3.includes(mark))) {
       continue;
     }
     for (const [name, declaration] of declaredFunctions(sourceFile)) {
@@ -18710,7 +19038,7 @@ function declaredFunctions(sourceFile) {
   }
   for (const variable3 of sourceFile.getVariableDeclarations()) {
     const initializer = variable3.getInitializer();
-    if (initializer !== void 0 && (import_ts_morph75.Node.isArrowFunction(initializer) || import_ts_morph75.Node.isFunctionExpression(initializer))) {
+    if (initializer !== void 0 && (import_ts_morph76.Node.isArrowFunction(initializer) || import_ts_morph76.Node.isFunctionExpression(initializer))) {
       found.push([variable3.getName(), initializer]);
     }
   }
@@ -18879,8 +19207,8 @@ function recordEdge(edgesByChild, candidate) {
 }
 
 // src/discovery/restWrapper.ts
-var import_ts_morph76 = require("ts-morph");
-var import_values12 = require("@suss/values");
+var import_ts_morph77 = require("ts-morph");
+var import_values13 = require("@suss/values");
 var MAX_WRAPPER_DEPTH2 = 3;
 function expandRestWrapperCallers(wrapper, readSink, store) {
   return expandFrom(
@@ -18896,8 +19224,8 @@ function parametersAsHoles(func) {
   const bindings = /* @__PURE__ */ new Map();
   for (const parameter of func.getParameters()) {
     const nameNode = parameter.getNameNode();
-    if (import_ts_morph76.Node.isIdentifier(nameNode)) {
-      bindings.set(nameNode.getText(), (0, import_values12.hole)(nameNode.getText()));
+    if (import_ts_morph77.Node.isIdentifier(nameNode)) {
+      bindings.set(nameNode.getText(), (0, import_values13.hole)(nameNode.getText()));
     }
   }
   return bindings;
@@ -18936,11 +19264,11 @@ function callSitesOf(func, store) {
   const byCall = /* @__PURE__ */ new Map();
   for (const parameter of func.getParameters()) {
     const nameNode = parameter.getNameNode();
-    if (!import_ts_morph76.Node.isIdentifier(nameNode)) {
+    if (!import_ts_morph77.Node.isIdentifier(nameNode)) {
       continue;
     }
     for (const passed of store.argumentsPassedTo(parameter)) {
-      if (!import_ts_morph76.Node.isCallExpression(passed.call)) {
+      if (!import_ts_morph77.Node.isCallExpression(passed.call)) {
         continue;
       }
       const key = siteKey(passed.call);
@@ -18966,7 +19294,7 @@ function valuesAt(site, bindings, store) {
 }
 
 // src/discovery/wrapperIndex.ts
-var import_ts_morph77 = require("ts-morph");
+var import_ts_morph78 = require("ts-morph");
 var import_resolution9 = require("@suss/resolution");
 var NO_WRAPPERS = {
   wrappersFor: () => [],
@@ -19090,11 +19418,11 @@ function discoverWrapperRegistrations(sourceFile, pattern, match, wraps, resolut
   const candidates = [];
   const unresolved = [];
   sourceFile.forEachDescendant((node) => {
-    if (!import_ts_morph77.Node.isCallExpression(node)) {
+    if (!import_ts_morph78.Node.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (!import_ts_morph77.Node.isPropertyAccessExpression(callee) || callee.getName() !== wraps.method) {
+    if (!import_ts_morph78.Node.isPropertyAccessExpression(callee) || callee.getName() !== wraps.method) {
       return;
     }
     const subjectNode = subjectNodeFor(
@@ -19189,7 +19517,7 @@ function discoverConstructorOptions(sourceFile, pattern, wraps, subjects, resolu
   return { candidates, unresolved };
 }
 function constructorOptionOf(construction, wraps, resolution) {
-  if (!(import_ts_morph77.Node.isNewExpression(construction) || import_ts_morph77.Node.isCallExpression(construction))) {
+  if (!(import_ts_morph78.Node.isNewExpression(construction) || import_ts_morph78.Node.isCallExpression(construction))) {
     return void 0;
   }
   const optionsArg = construction.getArguments()[wraps.targetPosition];
@@ -19244,7 +19572,7 @@ function scopeOf(args, wraps, resolution) {
 }
 
 // src/discoveryContext.ts
-var import_ts_morph78 = require("ts-morph");
+var import_ts_morph79 = require("ts-morph");
 function createTsDiscoveryContext(resolution) {
   const store = resolution ?? new ResolutionStore();
   return {
@@ -19280,7 +19608,7 @@ function exportedFunctions(sourceFile, resolution) {
   return out;
 }
 function exportedFunction(decl, resolution) {
-  const writtenAgain = import_ts_morph78.Node.isVariableDeclaration(decl) && isWrittenAgain(decl);
+  const writtenAgain = import_ts_morph79.Node.isVariableDeclaration(decl) && isWrittenAgain(decl);
   if (!writtenAgain) {
     const declared = resolveDeclarationToFunction(decl);
     if (declared !== null) {
@@ -19301,7 +19629,7 @@ function valueToAskAbout(decl, writtenAgain) {
   if (writtenAgain) {
     return decl;
   }
-  const value = import_ts_morph78.Node.isVariableDeclaration(decl) ? decl.getInitializer() ?? decl : decl;
+  const value = import_ts_morph79.Node.isVariableDeclaration(decl) ? decl.getInitializer() ?? decl : decl;
   return couldStillNameAFunction(value) ? value : null;
 }
 function resolveDeclarationToFunction(decl) {
@@ -19309,18 +19637,18 @@ function resolveDeclarationToFunction(decl) {
   if (fn !== null) {
     return fn;
   }
-  if (import_ts_morph78.Node.isVariableDeclaration(decl)) {
+  if (import_ts_morph79.Node.isVariableDeclaration(decl)) {
     const init = decl.getInitializer();
-    if (init !== void 0 && (import_ts_morph78.Node.isArrowFunction(init) || import_ts_morph78.Node.isFunctionExpression(init))) {
+    if (init !== void 0 && (import_ts_morph79.Node.isArrowFunction(init) || import_ts_morph79.Node.isFunctionExpression(init))) {
       return init;
     }
   }
   return null;
 }
 function hasJsxReturn(func) {
-  if (import_ts_morph78.Node.isArrowFunction(func)) {
+  if (import_ts_morph79.Node.isArrowFunction(func)) {
     const body2 = func.getBody();
-    if (import_ts_morph78.Node.isExpression(body2) && isJsxOrFragment(body2)) {
+    if (import_ts_morph79.Node.isExpression(body2) && isJsxOrFragment(body2)) {
       return true;
     }
   }
@@ -19334,11 +19662,11 @@ function hasJsxReturn(func) {
       traversal.stop();
       return;
     }
-    if (node !== func && (import_ts_morph78.Node.isFunctionDeclaration(node) || import_ts_morph78.Node.isFunctionExpression(node) || import_ts_morph78.Node.isArrowFunction(node) || import_ts_morph78.Node.isMethodDeclaration(node))) {
+    if (node !== func && (import_ts_morph79.Node.isFunctionDeclaration(node) || import_ts_morph79.Node.isFunctionExpression(node) || import_ts_morph79.Node.isArrowFunction(node) || import_ts_morph79.Node.isMethodDeclaration(node))) {
       traversal.skip();
       return;
     }
-    if (import_ts_morph78.Node.isReturnStatement(node)) {
+    if (import_ts_morph79.Node.isReturnStatement(node)) {
       const expr = node.getExpression();
       if (expr !== void 0 && isJsxOrFragment(expr)) {
         found = true;
@@ -19349,7 +19677,7 @@ function hasJsxReturn(func) {
 }
 function isJsxOrFragment(node) {
   const current2 = peelParens(node);
-  return import_ts_morph78.Node.isJsxElement(current2) || import_ts_morph78.Node.isJsxSelfClosingElement(current2) || import_ts_morph78.Node.isJsxFragment(current2);
+  return import_ts_morph79.Node.isJsxElement(current2) || import_ts_morph79.Node.isJsxSelfClosingElement(current2) || import_ts_morph79.Node.isJsxFragment(current2);
 }
 
 // src/everyUnit.ts
@@ -19376,7 +19704,7 @@ function stampExitCodeFrom(summaries, project, resolution) {
 }
 
 // src/flagReads.ts
-var import_ts_morph79 = require("ts-morph");
+var import_ts_morph80 = require("ts-morph");
 function flagReads(func, parameterNames2, parsers, resolution, barriers = NO_BARRIERS) {
   if (parsers.length === 0 || parameterNames2.length === 0 || resolution === void 0) {
     return [];
@@ -19409,11 +19737,11 @@ function namedCallsIn(func, barriers) {
       traversal.skip();
       return;
     }
-    if (!import_ts_morph79.Node.isCallExpression(node)) {
+    if (!import_ts_morph80.Node.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (import_ts_morph79.Node.isIdentifier(callee) || import_ts_morph79.Node.isPropertyAccessExpression(callee)) {
+    if (import_ts_morph80.Node.isIdentifier(callee) || import_ts_morph80.Node.isPropertyAccessExpression(callee)) {
       calls.push(node);
     }
   });
@@ -19631,7 +19959,7 @@ function createReferenceIndex(sourceFiles) {
 }
 
 // src/resolve/clientBasePath.ts
-var import_ts_morph80 = require("ts-morph");
+var import_ts_morph81 = require("ts-morph");
 var import_behavioral_ir13 = require("@suss/behavioral-ir");
 function clientBasePath(call, match, resolution, site) {
   if (match?.type !== "clientCall" || match.basePathOption === void 0) {
@@ -19673,13 +20001,14 @@ function clientConstructionConfig(call, match, resolution) {
 }
 function receiverOf2(call) {
   const callee = call.getExpression();
-  if (import_ts_morph80.Node.isPropertyAccessExpression(callee)) {
+  if (import_ts_morph81.Node.isPropertyAccessExpression(callee)) {
     return callee.getExpression();
   }
-  return import_ts_morph80.Node.isIdentifier(callee) ? callee : null;
+  return import_ts_morph81.Node.isIdentifier(callee) ? callee : null;
 }
 
 // src/resolve/closureRecords.ts
+var import_resolution10 = require("@suss/resolution");
 function fromScanRecord(unit) {
   const files = [unit.file, ...unit.deps];
   const placeOf = ([file, start, end]) => {
@@ -19747,7 +20076,7 @@ function closureUnitRecords(scans, stillValid, references) {
       continue;
     }
     const file = fileOfOffsetKey(key);
-    if (file === null) {
+    if (file === null || reachesASubclass(key, scan.findings)) {
       continue;
     }
     const deps = depsOf(file, scan.findings, scan.read, references);
@@ -19763,6 +20092,9 @@ function closureUnitRecords(scans, stillValid, references) {
   }
   return units;
 }
+function reachesASubclass(key, findings) {
+  return key !== (0, import_resolution10.plainKeyOf)(key) || findings.calls.some((call) => call.key !== (0, import_resolution10.plainKeyOf)(call.key));
+}
 function filesNamedBy(findings) {
   const files = [];
   for (const call of findings.calls) {
@@ -19851,10 +20183,102 @@ function placeOfKey(key) {
 }
 
 // src/resolve/reachableClosure.ts
-var import_ts_morph81 = require("ts-morph");
+var import_ts_morph83 = require("ts-morph");
 var import_behavioral_ir14 = require("@suss/behavioral-ir");
 var import_datalog3 = require("@suss/datalog");
 var import_extractor15 = require("@suss/extractor");
+var import_resolution11 = require("@suss/resolution");
+
+// src/resolve/receiverClass.ts
+var import_ts_morph82 = require("ts-morph");
+function candidateOnReceiver(callee, checked, scan) {
+  if (!import_ts_morph82.Node.isPropertyAccessExpression(callee)) {
+    return null;
+  }
+  const receiver = callee.getExpression();
+  const name = callee.getName();
+  const { scanning } = scan;
+  const own = scanning === void 0 ? null : ownForm(receiver, scanning, scan.resolution, 0);
+  const selfClass = scan.runsOn ?? (scanning === void 0 ? null : classOf(scanning));
+  if (own !== null && selfClass !== null) {
+    return memberOn(selfClass, name, own);
+  }
+  if (checked === null || !import_ts_morph82.Node.isClassDeclaration(checked.func.getParent())) {
+    return null;
+  }
+  const sentTo = classSentTo(receiver);
+  return sentTo === null ? null : runningOn(checked, sentTo);
+}
+function runningOn(candidate, cls) {
+  const owner = candidate.func.getParent();
+  if (!import_ts_morph82.Node.isClassDeclaration(owner) || owner === cls.node) {
+    return candidate;
+  }
+  return { ...candidate, receiverClass: cls };
+}
+function subclassPlace(cls) {
+  return { name: cls.name, file: cls.file };
+}
+function ownThis(node, scanning) {
+  const owner = node.getFirstAncestor(
+    (at) => import_ts_morph82.Node.isFunctionDeclaration(at) || import_ts_morph82.Node.isFunctionExpression(at) || import_ts_morph82.Node.isMethodDeclaration(at) || import_ts_morph82.Node.isConstructorDeclaration(at)
+  );
+  return owner === scanning;
+}
+function ownForm(value, scanning, resolution, depth) {
+  const written = peelSyntax(value);
+  if (import_ts_morph82.Node.isThisExpression(written)) {
+    if (!ownThis(written, scanning) || !import_ts_morph82.Node.isMethodDeclaration(scanning)) {
+      return null;
+    }
+    return scanning.isStatic() ? "class" : "instance";
+  }
+  if (import_ts_morph82.Node.isNewExpression(written)) {
+    return ownForm(written.getExpression(), scanning, resolution, depth) === "class" ? "instance" : null;
+  }
+  if (!import_ts_morph82.Node.isIdentifier(written) || depth > 0) {
+    return null;
+  }
+  const behind = writtenNodeOf(written, resolution);
+  return behind === null || behind === written ? null : ownForm(behind, scanning, resolution, depth + 1);
+}
+function classOf(scanning) {
+  const owner = scanning.getParent();
+  return import_ts_morph82.Node.isClassDeclaration(owner) ? subclassOf(owner) : null;
+}
+function subclassOf(node) {
+  const name = node.getName();
+  return name === void 0 ? null : { node, name, file: node.getSourceFile().getFilePath() };
+}
+function classSentTo(receiver) {
+  const written = peelSyntax(receiver);
+  const named2 = classDeclarationOf(declarationsBehind(written.getSymbol()));
+  if (named2 !== null) {
+    return subclassOf(named2);
+  }
+  const typed = classDeclarationOf(
+    written.getType().getSymbol()?.getDeclarations() ?? []
+  );
+  return typed === null ? null : subclassOf(typed);
+}
+function classDeclarationOf(declarations) {
+  const classes = declarations.filter((one) => import_ts_morph82.Node.isClassDeclaration(one));
+  const [only] = classes;
+  return classes.length === 1 && only !== void 0 ? only : null;
+}
+function memberOn(cls, name, form) {
+  const member = typeOf(cls, form).getProperty(name);
+  const found = member === void 0 ? null : functionAmong(member.getDeclarations(), name);
+  return found === null ? null : runningOn(found, cls);
+}
+function typeOf(cls, form) {
+  if (form === "instance") {
+    return cls.node.getType();
+  }
+  return cls.node.getProject().getTypeChecker().getTypeOfSymbolAtLocation(cls.node.getSymbolOrThrow(), cls.node);
+}
+
+// src/resolve/reachableClosure.ts
 var GENERIC_TERMINALS = [
   { kind: "return", match: { type: "returnStatement" }, extraction: {} },
   { kind: "throw", match: { type: "throwExpression" }, extraction: {} },
@@ -19889,19 +20313,35 @@ function targetOf(node) {
     span: { start: node.getStart(), end: node.getEnd() }
   };
 }
+function placeOfCandidate(candidate) {
+  const place = targetOf(candidate.func);
+  return candidate.receiverClass === void 0 ? place : { ...place, receiverClass: subclassPlace(candidate.receiverClass) };
+}
+function candidateKey(candidate) {
+  const key = nodeKey(candidate.func);
+  return candidate.receiverClass === void 0 ? key : (0, import_resolution11.variantKey)(key, subclassPlace(candidate.receiverClass));
+}
 function resolveCallee(call, calleeName, scan) {
-  if (!import_ts_morph81.Node.isCallExpression(call)) {
+  if (!import_ts_morph83.Node.isCallExpression(call)) {
     return null;
   }
   const callee = call.getExpression();
   const symbol = callee.getSymbol();
   const declarations = declarationsBehind(symbol);
   const direct = functionAmong(declarations, calleeName);
+  const onReceiver = candidateOnReceiver(callee, direct, {
+    scanning: scan.scanning,
+    runsOn: scan.receiverClass,
+    resolution: scan.resolution
+  });
+  if (onReceiver !== null) {
+    return { kind: "followed", candidate: onReceiver };
+  }
   if (direct !== null) {
     return { kind: "followed", candidate: direct };
   }
   const resolveSources = scan.resolveCallableSources;
-  if (resolveSources !== void 0 && import_ts_morph81.Node.isPropertyAccessExpression(callee) && declarations.some(isDeclaredShape)) {
+  if (resolveSources !== void 0 && import_ts_morph83.Node.isPropertyAccessExpression(callee) && declarations.some(isDeclaredShape)) {
     if (scan.sourcesAsked !== void 0) {
       scan.sourcesAsked.asked = true;
     }
@@ -19930,7 +20370,7 @@ function resolveCallee(call, calleeName, scan) {
   );
 }
 function stopFor(callee, declarations, stop, scan, parameterIndex) {
-  const asks = scan.resolution !== void 0 && (stop.reason === "unsettledValue" || import_ts_morph81.Node.isElementAccessExpression(callee));
+  const asks = scan.resolution !== void 0 && (stop.reason === "unsettledValue" || import_ts_morph83.Node.isElementAccessExpression(callee));
   return {
     kind: "stopped",
     stop,
@@ -19940,7 +20380,7 @@ function stopFor(callee, declarations, stop, scan, parameterIndex) {
   };
 }
 function storeKeyOf(callee) {
-  const declarations = import_ts_morph81.Node.isIdentifier(callee) ? declarationsBehind(callee.getSymbol()) : [];
+  const declarations = import_ts_morph83.Node.isIdentifier(callee) ? declarationsBehind(callee.getSymbol()) : [];
   return declarations.length === 1 ? declarations[0] : callee;
 }
 function settleThroughStore(outcomes, scan) {
@@ -19999,7 +20439,7 @@ function declarationToReport(declarations, calleeName, scan) {
 }
 function declaredAtOf(outcome) {
   if (outcome.kind === "followed") {
-    return targetOf(outcome.candidate.func);
+    return placeOfCandidate(outcome.candidate);
   }
   if (outcome.kind === "possible") {
     return null;
@@ -20025,7 +20465,7 @@ function mayDispatch(one) {
   if (one.outcome.askStore !== void 0) {
     return true;
   }
-  return import_ts_morph81.Node.isCallExpression(one.node) && import_ts_morph81.Node.isCallExpression(one.node.getExpression());
+  return import_ts_morph83.Node.isCallExpression(one.node) && import_ts_morph83.Node.isCallExpression(one.node.getExpression());
 }
 function dispatchOutcome(answer, stopped) {
   const { callee } = stopped.stop;
@@ -20048,18 +20488,18 @@ function dispatchOutcome(answer, stopped) {
 }
 function entryNameOf(func) {
   const property = func.getParent();
-  const key = property === void 0 || !import_ts_morph81.Node.isPropertyAssignment(property) ? null : propertyNameOf(property);
+  const key = property === void 0 || !import_ts_morph83.Node.isPropertyAssignment(property) ? null : propertyNameOf(property);
   if (property === void 0 || key === null) {
     return null;
   }
   const holder = climbSyntax(property.getParentOrThrow()).getParent();
-  return holder !== void 0 && import_ts_morph81.Node.isVariableDeclaration(holder) ? `${holder.getName()}.${key}` : key;
+  return holder !== void 0 && import_ts_morph83.Node.isVariableDeclaration(holder) ? `${holder.getName()}.${key}` : key;
 }
 function placeCallee(placements, calleeText, call, outcome) {
   if (outcome.kind === "possible") {
     placements.placePossible(
       calleeText,
-      outcome.candidates.map((candidate) => targetOf(candidate.func))
+      outcome.candidates.map(placeOfCandidate)
     );
     return;
   }
@@ -20073,24 +20513,24 @@ function placeCallee(placements, calleeText, call, outcome) {
   }
 }
 function isCallOnOtherValue(call) {
-  if (!import_ts_morph81.Node.isCallExpression(call)) {
+  if (!import_ts_morph83.Node.isCallExpression(call)) {
     return false;
   }
   const callee = call.getExpression();
-  if (!import_ts_morph81.Node.isPropertyAccessExpression(callee) && !import_ts_morph81.Node.isElementAccessExpression(callee)) {
+  if (!import_ts_morph83.Node.isPropertyAccessExpression(callee) && !import_ts_morph83.Node.isElementAccessExpression(callee)) {
     return false;
   }
-  return !import_ts_morph81.Node.isThisExpression(callee.getExpression());
+  return !import_ts_morph83.Node.isThisExpression(callee.getExpression());
 }
 function passedPositionKey(target, position) {
   return `${offsetKeyFor(target.file, target.span)}#${position}`;
 }
 function resolveJsxReference(node, scan) {
-  if (!import_ts_morph81.Node.isJsxOpeningElement(node) && !import_ts_morph81.Node.isJsxSelfClosingElement(node)) {
+  if (!import_ts_morph83.Node.isJsxOpeningElement(node) && !import_ts_morph83.Node.isJsxSelfClosingElement(node)) {
     return null;
   }
   const tag = node.getTagNameNode();
-  if (!import_ts_morph81.Node.isIdentifier(tag) || !/^[A-Z]/.test(tag.getText())) {
+  if (!import_ts_morph83.Node.isIdentifier(tag) || !/^[A-Z]/.test(tag.getText())) {
     return null;
   }
   const name = tag.getText();
@@ -20112,7 +20552,7 @@ function resolveJsxReference(node, scan) {
   };
 }
 function collectReachable(root, scan) {
-  const atModuleScope = import_ts_morph81.Node.isSourceFile(root);
+  const atModuleScope = import_ts_morph83.Node.isSourceFile(root);
   const inFunc = atModuleScope ? { ...scan } : { ...scan, scanning: root };
   const calls = [];
   const stops = [];
@@ -20129,7 +20569,7 @@ function collectReachable(root, scan) {
     }
   };
   const recordFollowed = (candidate) => {
-    const key = nodeKey(candidate.func);
+    const key = candidateKey(candidate);
     if (seen.has(key)) {
       return;
     }
@@ -20151,18 +20591,18 @@ function collectReachable(root, scan) {
     recordFollowed(outcome.candidate);
   };
   const recordPassedArgs = (call, calleeText, calleeOutcome) => {
-    if (!import_ts_morph81.Node.isCallExpression(call)) {
+    if (!import_ts_morph83.Node.isCallExpression(call)) {
       return;
     }
     const calleeTarget = declaredAtOf(calleeOutcome);
     call.getArguments().forEach((arg, position) => {
-      if (import_ts_morph81.Node.isArrowFunction(arg) || import_ts_morph81.Node.isFunctionExpression(arg)) {
+      if (import_ts_morph83.Node.isArrowFunction(arg) || import_ts_morph83.Node.isFunctionExpression(arg)) {
         if (calleeTarget !== null) {
           passedPositions.add(passedPositionKey(calleeTarget, position));
         }
         return;
       }
-      if (!import_ts_morph81.Node.isIdentifier(arg)) {
+      if (!import_ts_morph83.Node.isIdentifier(arg)) {
         return;
       }
       const resolved = functionTargetOf(arg);
@@ -20187,7 +20627,7 @@ function collectReachable(root, scan) {
       found.push({ node, outcome: jsx.outcome });
       return;
     }
-    if (!import_ts_morph81.Node.isCallExpression(node)) {
+    if (!import_ts_morph83.Node.isCallExpression(node)) {
       return;
     }
     const calleeText = (0, import_behavioral_ir14.normalizeCalleeText)(node.getExpression().getText());
@@ -20291,7 +20731,7 @@ function recognizerOnlyRoots(packsByFile) {
       }
       for (const declaration of variableStatement.getDeclarations()) {
         const init = declaration.getInitializer();
-        if (init !== void 0 && (import_ts_morph81.Node.isArrowFunction(init) || import_ts_morph81.Node.isFunctionExpression(init)) && hasBody(init)) {
+        if (init !== void 0 && (import_ts_morph83.Node.isArrowFunction(init) || import_ts_morph83.Node.isFunctionExpression(init)) && hasBody(init)) {
           roots.push({ func: init, name: declaration.getName() });
         }
       }
@@ -20321,6 +20761,8 @@ function expandReachableClosure(seeds, project, options, projectFileSet, facts,
   const passedPositions = /* @__PURE__ */ new Set();
   const summariesByKey = /* @__PURE__ */ new Map();
   const reachedFrom = /* @__PURE__ */ new Map();
+  const receiverByKey = /* @__PURE__ */ new Map();
+  const callsByKey = /* @__PURE__ */ new Map();
   const finding = {
     project,
     lookup,
@@ -20329,7 +20771,8 @@ function expandReachableClosure(seeds, project, options, projectFileSet, facts,
     storeAnswers: /* @__PURE__ */ new Map(),
     funcByKey,
     moduleByKey,
-    reachedFrom
+    reachedFrom,
+    receiverByKey
   };
   for (const seed of seeds) {
     const func = lookup.functionAt(seed.location);
@@ -20387,25 +20830,53 @@ function expandReachableClosure(seeds, project, options, projectFileSet, facts,
       for (const position of found.passedPositions) {
         passedPositions.add(position);
       }
-      const callerFile = fileOfOffsetKey(key);
-      for (const call of found.calls) {
+      const callerFile = fileOfOffsetKey((0, import_resolution11.plainKeyOf)(key));
+      const calledHere = found.calls.flatMap(
+        (call) => call.receiverClass === void 0 ? [call] : [
+          { ...call, key: (0, import_resolution11.plainKeyOf)(call.key), receiverClass: void 0 },
+          call
+        ]
+      );
+      const called = [];
+      for (const call of calledHere) {
         if (!nameByKey.has(call.key)) {
           nameByKey.set(call.key, call.name);
         }
         if (call.func !== void 0 && !funcByKey.has(call.key)) {
           funcByKey.set(call.key, call.func);
         }
+        if (call.receiverClass !== void 0) {
+          receiverByKey.set(call.key, call.receiverClass);
+        }
         if (callerFile !== null && !reachedFrom.has(call.key)) {
           reachedFrom.set(call.key, callerFile);
         }
         db.add("calls", [key, call.key]);
+        called.push(call.key);
       }
+      callsByKey.set(key, called);
     }
   }
+  const placementsOf = (key) => ({
+    targets: targetsByKey.get(key),
+    argTargets: argTargetsByKey.get(key),
+    possibleTargets: possibleTargetsByKey.get(key)
+  });
+  const onSubclass = (0, import_resolution11.keptVariants)(
+    [...receiverByKey.keys()].map((key) => ({
+      key,
+      differs: !(0, import_behavioral_ir14.sameDeclarations)(
+        placementsOf(key),
+        placementsOf((0, import_resolution11.plainKeyOf)(key))
+      ),
+      calls: callsByKey.get(key) ?? []
+    }))
+  );
   const reached = [];
   for (const [keyAtom] of db.facts("reachable")) {
     const key = String(keyAtom);
-    if (known.has(key) || seedKeys.has(key)) {
+    const receiverClass = receiverByKey.get(key);
+    if (known.has(key) || seedKeys.has(key) || receiverClass !== void 0 && !onSubclass.has(key)) {
       continue;
     }
     const name = nameByKey.get(key);
@@ -20416,7 +20887,7 @@ function expandReachableClosure(seeds, project, options, projectFileSet, facts,
     if (projectFileSet !== void 0) {
       lazyAddSourceFile(project, projectFileSet, file);
     }
-    const func = funcByKey.get(key) ?? functionAtKey(key, lookup);
+    const func = funcByKey.get(key) ?? functionAtKey((0, import_resolution11.plainKeyOf)(key), lookup);
     if (func === void 0) {
       continue;
     }
@@ -20426,6 +20897,10 @@ function expandReachableClosure(seeds, project, options, projectFileSet, facts,
       facts,
       () => extractReachableSummary(candidate, options, recognizers)
     );
+    if (receiverClass !== void 0) {
+      summary.receiverClass = subclassPlace(receiverClass);
+      summary.identity.exportPath = [receiverClass.name, name];
+    }
     facts?.unitKeyBySummary.set(summary, key);
     rememberSummary(summariesByKey, key, summary);
     reached.push(summary);
@@ -20482,14 +20957,15 @@ function knownUnits(summaries, lookup, facts) {
 }
 function findingsFor(key, ctx) {
   const cameFrom = ctx.reachedFrom.get(key);
-  const stored = ctx.facts?.previousScans?.get(key);
+  const receiverClass = ctx.receiverByKey.get(key);
+  const stored = receiverClass === void 0 ? ctx.facts?.previousScans?.get(key) : void 0;
   const recorded = stored !== void 0 && recordValidFrom(stored.data, cameFrom) ? fromScanRecord(stored) : null;
   if (stored !== void 0 && recorded !== null) {
     ctx.facts?.scans?.set(key, { kind: "reused", unit: stored });
     noteFilesRead(key, ctx.facts, stored.deps);
     return recorded;
   }
-  const root = ctx.funcByKey.get(key) ?? ctx.moduleByKey.get(key) ?? functionAtKey(key, ctx.lookup);
+  const root = ctx.funcByKey.get(key) ?? ctx.moduleByKey.get(key) ?? functionAtKey((0, import_resolution11.plainKeyOf)(key), ctx.lookup);
   if (root === void 0) {
     return null;
   }
@@ -20500,7 +20976,8 @@ function findingsFor(key, ctx) {
     ...resolution === void 0 ? {} : { resolution, storeAnswers: ctx.storeAnswers },
     ...resolveCallableSources === void 0 ? {} : { resolveCallableSources, sourcesAsked },
     ...sourceDeclarationsBehind2 === void 0 ? {} : { sourceDeclarationsBehind: sourceDeclarationsBehind2 },
-    ...reachedFrom === void 0 ? {} : { reachedFrom }
+    ...reachedFrom === void 0 ? {} : { reachedFrom },
+    ...receiverClass === void 0 ? {} : { receiverClass }
   };
   const scanned = scanOrReport(key, ctx.facts, root, scan);
   if (scanned === null) {
@@ -20520,7 +20997,7 @@ function scanOrReport(key, facts, root, scan) {
     return scanWithRecording(key, facts, () => collectReachable(root, scan));
   } catch (error) {
     const message = error instanceof Error ? error.message : String(error);
-    const where = import_ts_morph81.Node.isSourceFile(root) ? root.getFilePath() : `${root.getSourceFile().getFilePath()}:${root.getStartLineNumber()}`;
+    const where = import_ts_morph83.Node.isSourceFile(root) ? root.getFilePath() : `${root.getSourceFile().getFilePath()}:${root.getStartLineNumber()}`;
     process.stderr.write(
       `[suss] could not scan the function at ${where} for the calls it makes, so nothing it calls is followed from it: ${message}
 `
@@ -20644,7 +21121,7 @@ function recordParameterGaps(parameterCallsByKey, summariesByKey, passedPosition
   }
   for (const [key, parameterCalls] of parameterCallsByKey) {
     const unbound = parameterCalls.filter(
-      ({ parameterIndex }) => !passedPositions.has(`${key}#${parameterIndex}`)
+      ({ parameterIndex }) => !passedPositions.has(`${(0, import_resolution11.plainKeyOf)(key)}#${parameterIndex}`)
     );
     if (unbound.length === 0) {
       continue;
@@ -20661,7 +21138,7 @@ function recordParameterGaps(parameterCallsByKey, summariesByKey, passedPosition
 
 // src/resolve/redirectDelivery.ts
 var import_extractor16 = require("@suss/extractor");
-var import_values13 = require("@suss/values");
+var import_values14 = require("@suss/values");
 function settingOf(object, name, resolution, site) {
   if (object === void 0) {
     return { kind: "absent" };
@@ -20677,7 +21154,7 @@ function settingOf(object, name, resolution, site) {
   if (field.presence !== "one") {
     return { kind: "unknown" };
   }
-  const settled3 = (0, import_values13.scalarOf)((0, import_values13.force)(field.value));
+  const settled3 = (0, import_values14.scalarOf)((0, import_values14.force)(field.value));
   return settled3 === null ? { kind: "unknown" } : { kind: "settled", value: settled3 };
 }
 function redirectDeliveryAtCall(callSite, pattern, pack, resolution) {
@@ -20702,7 +21179,7 @@ function redirectDeliveryAtCall(callSite, pattern, pack, resolution) {
 }
 
 // src/resolve/rethrowEnrichment.ts
-var import_ts_morph82 = require("ts-morph");
+var import_ts_morph84 = require("ts-morph");
 var import_datalog4 = require("@suss/datalog");
 var RETHROW_RULES = [
   (0, import_datalog4.rule)(
@@ -20839,7 +21316,7 @@ function findBareRethrow(func, location) {
       traversal.stop();
       return;
     }
-    if (!import_ts_morph82.Node.isThrowStatement(node)) {
+    if (!import_ts_morph84.Node.isThrowStatement(node)) {
       return;
     }
     if (startLineOf(node) !== location.start) {
@@ -20849,7 +21326,7 @@ function findBareRethrow(func, location) {
       return;
     }
     const thrown = node.getExpression();
-    if (thrown !== void 0 && import_ts_morph82.Node.isIdentifier(thrown)) {
+    if (thrown !== void 0 && import_ts_morph84.Node.isIdentifier(thrown)) {
       found = node;
     }
   });
@@ -20859,13 +21336,13 @@ function enclosingTry(throwStmt) {
   let current2 = throwStmt.getParent();
   let sawCatchClause = false;
   while (current2 !== void 0) {
-    if (import_ts_morph82.Node.isCatchClause(current2)) {
+    if (import_ts_morph84.Node.isCatchClause(current2)) {
       sawCatchClause = true;
     }
-    if (import_ts_morph82.Node.isTryStatement(current2)) {
+    if (import_ts_morph84.Node.isTryStatement(current2)) {
       return sawCatchClause ? current2 : null;
     }
-    if (import_ts_morph82.Node.isFunctionDeclaration(current2) || import_ts_morph82.Node.isFunctionExpression(current2) || import_ts_morph82.Node.isArrowFunction(current2) || import_ts_morph82.Node.isMethodDeclaration(current2)) {
+    if (import_ts_morph84.Node.isFunctionDeclaration(current2) || import_ts_morph84.Node.isFunctionExpression(current2) || import_ts_morph84.Node.isArrowFunction(current2) || import_ts_morph84.Node.isMethodDeclaration(current2)) {
       return null;
     }
     current2 = current2.getParent();
@@ -20873,14 +21350,14 @@ function enclosingTry(throwStmt) {
   return null;
 }
 function collectTryBodyCallees(tryStmt, index, keyFor) {
-  if (!import_ts_morph82.Node.isTryStatement(tryStmt)) {
+  if (!import_ts_morph84.Node.isTryStatement(tryStmt)) {
     return [];
   }
   const tryBlock = tryStmt.getTryBlock();
   const callees = [];
   const seen = /* @__PURE__ */ new Set();
   tryBlock.forEachDescendant((node) => {
-    if (!import_ts_morph82.Node.isCallExpression(node)) {
+    if (!import_ts_morph84.Node.isCallExpression(node)) {
       return;
     }
     const calleeSummary = resolveCalleeSummary(node, index);
@@ -20897,7 +21374,7 @@ function collectTryBodyCallees(tryStmt, index, keyFor) {
   return callees;
 }
 function resolveCalleeSummary(call, index) {
-  if (!import_ts_morph82.Node.isCallExpression(call)) {
+  if (!import_ts_morph84.Node.isCallExpression(call)) {
     return null;
   }
   const callee = call.getExpression();
@@ -20929,7 +21406,7 @@ function resolveCalleeSummary(call, index) {
 }
 
 // src/subUnitContext.ts
-var import_ts_morph83 = require("ts-morph");
+var import_ts_morph85 = require("ts-morph");
 function createTsSubUnitContext() {
   return {
     findJsxAttributes,
@@ -20956,18 +21433,18 @@ function findJsxAttributes(parent) {
     if (skip(node, traversal)) {
       return;
     }
-    if (!import_ts_morph83.Node.isJsxOpeningElement(node) && !import_ts_morph83.Node.isJsxSelfClosingElement(node)) {
+    if (!import_ts_morph85.Node.isJsxOpeningElement(node) && !import_ts_morph85.Node.isJsxSelfClosingElement(node)) {
       return;
     }
     const tag = node.getTagNameNode().getText();
     for (const attr of node.getAttributes()) {
-      if (!import_ts_morph83.Node.isJsxAttribute(attr)) {
+      if (!import_ts_morph85.Node.isJsxAttribute(attr)) {
         continue;
       }
       const initializer = attr.getInitializer();
       let valueExpression = null;
       if (initializer !== void 0) {
-        if (import_ts_morph83.Node.isJsxExpression(initializer)) {
+        if (import_ts_morph85.Node.isJsxExpression(initializer)) {
           const inner = initializer.getExpression();
           valueExpression = inner ?? null;
         } else {
@@ -20990,11 +21467,11 @@ function findCallExpressionsByName(parent, name) {
     if (skip(node, traversal)) {
       return;
     }
-    if (!import_ts_morph83.Node.isCallExpression(node)) {
+    if (!import_ts_morph85.Node.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (import_ts_morph83.Node.isIdentifier(callee) && callee.getText() === name) {
+    if (import_ts_morph85.Node.isIdentifier(callee) && callee.getText() === name) {
       out.push(node);
     }
   });
@@ -21005,10 +21482,10 @@ function resolveAttributeValueFunction(attr, parent) {
   if (expr === null) {
     return null;
   }
-  if (import_ts_morph83.Node.isArrowFunction(expr) || import_ts_morph83.Node.isFunctionExpression(expr)) {
+  if (import_ts_morph85.Node.isArrowFunction(expr) || import_ts_morph85.Node.isFunctionExpression(expr)) {
     return { func: expr, localName: null };
   }
-  if (import_ts_morph83.Node.isIdentifier(expr)) {
+  if (import_ts_morph85.Node.isIdentifier(expr)) {
     const symbol = expr.getSymbol();
     if (symbol === void 0) {
       return null;
@@ -21041,7 +21518,7 @@ function getCallArgumentFunction(call, position) {
   if (arg === void 0) {
     return null;
   }
-  if (import_ts_morph83.Node.isArrowFunction(arg) || import_ts_morph83.Node.isFunctionExpression(arg)) {
+  if (import_ts_morph85.Node.isArrowFunction(arg) || import_ts_morph85.Node.isFunctionExpression(arg)) {
     return arg;
   }
   return null;
@@ -21053,7 +21530,7 @@ function readArrayLiteralText(node) {
   if (node === null) {
     return null;
   }
-  if (import_ts_morph83.Node.isArrayLiteralExpression(node)) {
+  if (import_ts_morph85.Node.isArrayLiteralExpression(node)) {
     return node.getElements().map((e) => e.getText());
   }
   return [node.getText()];
@@ -21067,7 +21544,7 @@ var import_files2 = require("@suss/behavioral-ir/files");
 // src/bootstrap/noTsconfigProject.ts
 var import_node_fs5 = __toESM(require("fs"), 1);
 var import_node_path12 = __toESM(require("path"), 1);
-var import_ts_morph84 = require("ts-morph");
+var import_ts_morph86 = require("ts-morph");
 var SOURCE_SUFFIXES = [
   ".ts",
   ".tsx",
@@ -21121,12 +21598,12 @@ function findSourceFiles(rootDir, depth = 0) {
   return found;
 }
 function createProjectWithoutTsconfig(rootDir) {
-  const project = new import_ts_morph84.Project({
+  const project = new import_ts_morph86.Project({
     skipAddingFilesFromTsConfig: true,
     compilerOptions: {
-      target: import_ts_morph84.ScriptTarget.ES2022,
-      module: import_ts_morph84.ModuleKind.ESNext,
-      moduleResolution: import_ts_morph84.ModuleResolutionKind.Bundler,
+      target: import_ts_morph86.ScriptTarget.ES2022,
+      module: import_ts_morph86.ModuleKind.ESNext,
+      moduleResolution: import_ts_morph86.ModuleResolutionKind.Bundler,
       allowJs: true,
       checkJs: false,
       noEmit: true,
@@ -21450,13 +21927,13 @@ var raise = (msg) => {
   throw new Error(msg);
 };
 function bindingPatternNames(nameNode) {
-  if (import_ts_morph85.Node.isObjectBindingPattern(nameNode)) {
+  if (import_ts_morph87.Node.isObjectBindingPattern(nameNode)) {
     return nameNode.getElements().map((e) => e.getName());
   }
-  if (import_ts_morph85.Node.isArrayBindingPattern(nameNode)) {
+  if (import_ts_morph87.Node.isArrayBindingPattern(nameNode)) {
     const names = [];
     for (const element of nameNode.getElements()) {
-      if (import_ts_morph85.Node.isOmittedExpression(element)) {
+      if (import_ts_morph87.Node.isOmittedExpression(element)) {
         continue;
       }
       names.push(element.getName());
@@ -21486,7 +21963,7 @@ function objectParamInputs(param, position, mapping) {
 }
 function componentPropsParameters(param, mapping) {
   const nameNode = param.getNameNode();
-  if (!import_ts_morph85.Node.isObjectBindingPattern(nameNode)) {
+  if (!import_ts_morph87.Node.isObjectBindingPattern(nameNode)) {
     const type = param.getType();
     return [
       {
@@ -21513,15 +21990,15 @@ function componentPropsParameters(param, mapping) {
 }
 function namesBoundUnder(element, field) {
   const inner = element.getNameNode();
-  if (import_ts_morph85.Node.isObjectBindingPattern(inner)) {
+  if (import_ts_morph87.Node.isObjectBindingPattern(inner)) {
     return inner.getElements().flatMap((nested) => {
       const property = nested.getDotDotDotToken() === void 0 ? bindingRole(nested, nested.getName()) : void 0;
       return namesBoundUnder(nested, field ?? property);
     });
   }
-  if (import_ts_morph85.Node.isArrayBindingPattern(inner)) {
+  if (import_ts_morph87.Node.isArrayBindingPattern(inner)) {
     return inner.getElements().flatMap(
-      (nested) => import_ts_morph85.Node.isBindingElement(nested) ? namesBoundUnder(nested, field) : []
+      (nested) => import_ts_morph87.Node.isBindingElement(nested) ? namesBoundUnder(nested, field) : []
     );
   }
   return [{ binding: element, field }];
@@ -21534,7 +22011,7 @@ function bindingRole(element, name) {
   if (property === void 0) {
     return name;
   }
-  if (import_ts_morph85.Node.isStringLiteral(property)) {
+  if (import_ts_morph87.Node.isStringLiteral(property)) {
     return property.getLiteralValue();
   }
   return property.getText();
@@ -21566,7 +22043,7 @@ function extractParameters(func, inputMapping) {
       const param = params[i];
       const nameNode = param.getNameNode();
       const boundNames = bindingPatternNames(nameNode);
-      if (import_ts_morph85.Node.isObjectBindingPattern(nameNode)) {
+      if (import_ts_morph87.Node.isObjectBindingPattern(nameNode)) {
         for (const element of nameNode.getElements()) {
           result.push({
             name: element.getName(),
@@ -21633,7 +22110,7 @@ function extractDependencyCalls(func, barriers = NO_BARRIERS) {
       traversal.skip();
       return;
     }
-    if (!import_ts_morph85.Node.isVariableDeclaration(node)) {
+    if (!import_ts_morph87.Node.isVariableDeclaration(node)) {
       return;
     }
     const init = node.getInitializer();
@@ -21642,19 +22119,19 @@ function extractDependencyCalls(func, barriers = NO_BARRIERS) {
     }
     let isAsync = false;
     let callExpr = init;
-    if (import_ts_morph85.Node.isAwaitExpression(init)) {
+    if (import_ts_morph87.Node.isAwaitExpression(init)) {
       isAsync = true;
       callExpr = init.getExpression();
     }
-    if (!import_ts_morph85.Node.isCallExpression(callExpr)) {
+    if (!import_ts_morph87.Node.isCallExpression(callExpr)) {
       return;
     }
     const calleeName = callExpr.getExpression().getText();
     const nameNode = node.getNameNode();
-    const assignedTo = import_ts_morph85.Node.isIdentifier(nameNode) ? nameNode.getText() : null;
+    const assignedTo = import_ts_morph87.Node.isIdentifier(nameNode) ? nameNode.getText() : null;
     const declList = node.getParent();
     const varStmt = declList?.getParent();
-    const locationNode = varStmt !== void 0 && import_ts_morph85.Node.isVariableStatement(varStmt) ? varStmt : node;
+    const locationNode = varStmt !== void 0 && import_ts_morph87.Node.isVariableStatement(varStmt) ? varStmt : node;
     results.push({
       name: calleeName,
       assignedTo,
@@ -22395,6 +22872,7 @@ function extractFromSourceFile(sourceFile, frameworks, claimedUnits, options, ta
         if (unit.operationInfo.unresolved !== void 0) {
           raw.graphqlUnresolvedDocument = unit.operationInfo.unresolved;
         }
+        stampClientChosenAtCall(raw, unit, pack, resolution);
         for (const v2 of unit.operationInfo.variables) {
           raw.parameters.push({
             name: v2.name,
@@ -22435,17 +22913,18 @@ function extractFromSourceFile(sourceFile, frameworks, claimedUnits, options, ta
           if (binding.semantics.name === "rest" && binding.semantics.method !== null) {
             const defaultBranch = raw.branches.find((b) => b.isDefault);
             if (defaultBranch !== void 0) {
-              const calleeText = unit.callSite.callExpression.getExpression().getText();
+              const call = unit.callSite.callExpression;
               defaultBranch.extraEffects = [
                 ...defaultBranch.extraEffects ?? [],
                 {
                   type: "interaction",
                   binding,
-                  callee: calleeText,
+                  callee: call.getExpression().getText(),
                   interaction: {
                     class: "service-call",
                     method: binding.semantics.method
-                  }
+                  },
+                  location: lineRangeOf(call)
                 }
               ];
             }
@@ -22569,6 +23048,23 @@ function stampRequestSpelling(raw, pack) {
   }
   raw.requestSpelling = pack.requestSpelling;
 }
+function stampClientChosenAtCall(raw, unit, pack, resolution) {
+  const specs = pack.graphqlClients ?? [];
+  if (unit.graphqlCall === void 0 || specs.length === 0) {
+    return;
+  }
+  const chosen = clientChosenAt(unit.graphqlCall, specs, resolution);
+  if (chosen?.kind === "settled") {
+    raw.graphqlClient = { ...chosen.client, chosenAtCall: true };
+    return;
+  }
+  if (chosen?.kind === "unresolved") {
+    raw.graphqlUnresolvedClient = {
+      reference: chosen.reference,
+      reason: chosen.reason
+    };
+  }
+}
 function unfollowedStopsOf(unit, wrappers) {
   const stops = [
     ...unit.unfollowed === void 0 ? [] : [unit.unfollowed],
@@ -22586,7 +23082,7 @@ function emitLibraryEnvReadMarkers(summaries, project, frameworks) {
       if (importer === void 0) {
         continue;
       }
-      summaries.push(libraryEnvReadMarker(pack, declared, importer));
+      summaries.push((0, import_extractor20.libraryEnvReadMarker)(pack.name, declared, importer));
     }
   }
 }
@@ -22634,31 +23130,6 @@ function schemaDocumentSummary(label, schemaSdl) {
     )
   };
 }
-function libraryEnvReadMarker(pack, declared, importer) {
-  return {
-    kind: "library",
-    location: { file: importer, range: { start: 0, end: 0 }, exportName: null },
-    identity: {
-      name: `${declared.module} env reads`,
-      exportPath: null,
-      boundaryBinding: (0, import_behavioral_ir16.functionCallBinding)({
-        transport: "in-process",
-        recognition: pack.name
-      })
-    },
-    inputs: [],
-    transitions: [],
-    gaps: [],
-    confidence: { source: "declared", level: "high" },
-    metadata: {
-      libraryEnvReads: {
-        module: declared.module,
-        ...declared.prefixes !== void 0 ? { prefixes: declared.prefixes } : {},
-        ...declared.names !== void 0 ? { names: declared.names } : {}
-      }
-    }
-  };
-}
 function internalImportsOf(project, file) {
   const sourceFile = project.getSourceFile(file);
   if (sourceFile === void 0) {
@@ -22754,12 +23225,12 @@ function sinkIn(func, pack, summary, discovered, resolution) {
 }
 function sinkReading(sink, bindings, resolution) {
   const url = sinkUrl(sink, bindings, resolution);
-  const path17 = url === void 0 ? void 0 : statedPath((0, import_values14.pathOf)(url));
+  const path17 = url === void 0 ? void 0 : statedPath((0, import_values15.pathOf)(url));
   if (url === void 0 || path17 === void 0) {
     return null;
   }
   const method = sinkMethod(sink, bindings, resolution);
-  const host = (0, import_values14.hostOf)(url);
+  const host = (0, import_values15.hostOf)(url);
   return method === void 0 ? null : { path: path17, method, ...host === void 0 ? {} : { host } };
 }
 function sinkArgumentValue(sink, position, bindings, resolution) {
@@ -22771,7 +23242,7 @@ function fieldValue2(record2, name) {
     return void 0;
   }
   const field = record2.fields.get(name);
-  return field === void 0 ? void 0 : (0, import_values14.force)(field.value);
+  return field === void 0 ? void 0 : (0, import_values15.force)(field.value);
 }
 function sinkUrl(sink, bindings, resolution) {
   const p = sink.extraction.path;
@@ -22803,7 +23274,7 @@ function sinkMethod(sink, bindings, resolution) {
   if (value === void 0) {
     return record2.open ? void 0 : m.default;
   }
-  return (0, import_values14.literalOf)(value) ?? void 0;
+  return (0, import_values15.literalOf)(value) ?? void 0;
 }
 function statedPath(path17) {
   if (path17 === void 0) {
@@ -22831,17 +23302,17 @@ function synthesizeCallerSummaries(wrapper, resolution, options) {
   return out;
 }
 function callerName(func) {
-  if (import_ts_morph85.Node.isFunctionDeclaration(func) || import_ts_morph85.Node.isMethodDeclaration(func)) {
+  if (import_ts_morph87.Node.isFunctionDeclaration(func) || import_ts_morph87.Node.isMethodDeclaration(func)) {
     return func.getName() ?? "anonymous";
   }
   const parent = func.getParent();
-  if (parent !== void 0 && import_ts_morph85.Node.isVariableDeclaration(parent)) {
+  if (parent !== void 0 && import_ts_morph87.Node.isVariableDeclaration(parent)) {
     const nameNode = parent.getNameNode();
-    if (import_ts_morph85.Node.isIdentifier(nameNode)) {
+    if (import_ts_morph87.Node.isIdentifier(nameNode)) {
       return nameNode.getText();
     }
   }
-  if (parent !== void 0 && import_ts_morph85.Node.isPropertyAssignment(parent)) {
+  if (parent !== void 0 && import_ts_morph87.Node.isPropertyAssignment(parent)) {
     return parent.getName();
   }
   return "anonymous";
@@ -22964,7 +23435,7 @@ function createTypeScriptAdapter(suppliedConfig) {
     ]
   };
   const newProject = () => {
-    const made = new import_ts_morph85.Project(
+    const made = new import_ts_morph87.Project(
       config.tsConfigFilePath !== void 0 ? {
         tsConfigFilePath: config.tsConfigFilePath,
         skipAddingFilesFromTsConfig: true
@@ -23881,8 +24352,8 @@ function buildSubUnitSummary(subUnit, parent, parentFunc, recognizers, everyUnit
 
 // src/facts/why.ts
 var import_node_path16 = __toESM(require("path"), 1);
-var import_ts_morph86 = require("ts-morph");
-var import_resolution10 = require("@suss/resolution");
+var import_ts_morph88 = require("ts-morph");
+var import_resolution12 = require("@suss/resolution");
 var TypeScriptWhySession = class {
   project;
   store;
@@ -23890,7 +24361,7 @@ var TypeScriptWhySession = class {
   constructor(options) {
     this.root = import_node_path16.default.resolve(options.dir);
     const tsconfig = findNearestTsconfig(this.root);
-    this.project = tsconfig === null ? createProjectWithoutTsconfig(this.root).project : new import_ts_morph86.Project({ tsConfigFilePath: tsconfig });
+    this.project = tsconfig === null ? createProjectWithoutTsconfig(this.root).project : new import_ts_morph88.Project({ tsConfigFilePath: tsconfig });
     this.store = ResolutionStore.forPacks(options.packs ?? []);
   }
   /**
@@ -23898,14 +24369,14 @@ var TypeScriptWhySession = class {
    * `text`, or null. Spelled from the person's side: the name as
    * written, not a node id.
    */
-  findExpression(file, line, text2) {
+  findExpression(file, line, text3) {
     const sourceFile = this.sourceFileAt(file);
     if (sourceFile === null) {
       return null;
     }
     let found = null;
     sourceFile.forEachDescendant((node) => {
-      if (import_ts_morph86.Node.isExpression(node) && node.getStartLineNumber() === line && node.getText() === text2 && (found === null || node.getWidth() <= found.getWidth())) {
+      if (import_ts_morph88.Node.isExpression(node) && node.getStartLineNumber() === line && node.getText() === text3 && (found === null || node.getWidth() <= found.getWidth())) {
         found = node;
       }
     });
@@ -23923,7 +24394,7 @@ var TypeScriptWhySession = class {
       return null;
     }
     for (const call of sourceFile.getDescendantsOfKind(
-      import_ts_morph86.SyntaxKind.CallExpression
+      import_ts_morph88.SyntaxKind.CallExpression
     )) {
       const line = call.getStartLineNumber();
       if (line < startLine || line > endLine) {
@@ -23953,14 +24424,14 @@ var TypeScriptWhySession = class {
       const at = this.locate(node);
       return `${at.name} (${at.file}:${at.line})`;
     };
-    const explanation = (0, import_resolution10.explainResolutionProof)(explained.proof, { describe });
+    const explanation = (0, import_resolution12.explainResolutionProof)(explained.proof, { describe });
     if (explanation === null) {
       return null;
     }
     return {
       explanation,
       chain: explanation.atoms.map((atom) => describe(atom)),
-      lines: (0, import_resolution10.renderExplanation)(explanation, describe),
+      lines: (0, import_resolution12.renderExplanation)(explanation, describe),
       target: this.locate(explained.target),
       stats: explained.stats
     };
@@ -23994,31 +24465,31 @@ var TypeScriptWhySession = class {
   }
 };
 function displayNameOf(node) {
-  if (import_ts_morph86.Node.isIdentifier(node) || import_ts_morph86.Node.isPropertyAccessExpression(node)) {
+  if (import_ts_morph88.Node.isIdentifier(node) || import_ts_morph88.Node.isPropertyAccessExpression(node)) {
     return node.getText();
   }
-  if (import_ts_morph86.Node.isCallExpression(node) || import_ts_morph86.Node.isNewExpression(node)) {
+  if (import_ts_morph88.Node.isCallExpression(node) || import_ts_morph88.Node.isNewExpression(node)) {
     return `${node.getExpression()?.getText() ?? "call"}(...)`;
   }
-  if (import_ts_morph86.Node.isFunctionDeclaration(node) || import_ts_morph86.Node.isClassDeclaration(node) || import_ts_morph86.Node.isMethodDeclaration(node) || import_ts_morph86.Node.isVariableDeclaration(node)) {
+  if (import_ts_morph88.Node.isFunctionDeclaration(node) || import_ts_morph88.Node.isClassDeclaration(node) || import_ts_morph88.Node.isMethodDeclaration(node) || import_ts_morph88.Node.isVariableDeclaration(node)) {
     const name = node.getName();
     if (name !== void 0) {
       return name;
     }
   }
-  if (import_ts_morph86.Node.isArrowFunction(node) || import_ts_morph86.Node.isFunctionExpression(node)) {
+  if (import_ts_morph88.Node.isArrowFunction(node) || import_ts_morph88.Node.isFunctionExpression(node)) {
     const parent = node.getParent();
-    if (parent !== void 0 && import_ts_morph86.Node.isVariableDeclaration(parent)) {
+    if (parent !== void 0 && import_ts_morph88.Node.isVariableDeclaration(parent)) {
       return parent.getName();
     }
   }
-  const text2 = node.getText().split("\n")[0].trim();
-  return text2.length > 40 ? `${text2.slice(0, 40)}...` : text2;
+  const text3 = node.getText().split("\n")[0].trim();
+  return text3.length > 40 ? `${text3.slice(0, 40)}...` : text3;
 }
 
 // src/stubEvidence.ts
 var import_node_path17 = __toESM(require("path"), 1);
-var import_ts_morph87 = require("ts-morph");
+var import_ts_morph89 = require("ts-morph");
 function stubEvidenceIn(project, packageName, root) {
   const resolution = new ResolutionStore();
   const byExport = /* @__PURE__ */ new Map();
@@ -24045,7 +24516,7 @@ function stubEvidenceIn(project, packageName, root) {
   );
 }
 function stubEvidence(options) {
-  const project = new import_ts_morph87.Project(
+  const project = new import_ts_morph89.Project(
     options.tsConfigFilePath !== void 0 ? { tsConfigFilePath: options.tsConfigFilePath } : { compilerOptions: { allowJs: true } }
   );
   const root = options.tsConfigFilePath !== void 0 ? import_node_path17.default.dirname(options.tsConfigFilePath) : import_node_path17.default.resolve(options.directory ?? process.cwd());
@@ -24059,9 +24530,9 @@ function stubEvidence(options) {
 }
 
 // src/walk/defaulted.ts
-var import_ts_morph88 = require("ts-morph");
+var import_ts_morph90 = require("ts-morph");
 function isDefaultedAt(node) {
-  if (!import_ts_morph88.Node.isBindingElement(node)) {
+  if (!import_ts_morph90.Node.isBindingElement(node)) {
     const read2 = climbSyntax(node);
     const inner = peelSyntax(read2);
     const subject = {
@@ -24078,7 +24549,7 @@ function isDefaultedAt(node) {
 }
 function isSubject(subject, expression) {
   if (subject.kind === "local") {
-    return import_ts_morph88.Node.isIdentifier(expression) && refersTo(expression, subject.local);
+    return import_ts_morph90.Node.isIdentifier(expression) && refersTo(expression, subject.local);
   }
   return expression.getText() === subject.text;
 }
@@ -24092,7 +24563,7 @@ function hasFallbackOperand(node) {
   let child = climbSyntax(node);
   let parent = child.getParent();
   while (parent !== void 0) {
-    if (!import_ts_morph88.Node.isBinaryExpression(parent)) {
+    if (!import_ts_morph90.Node.isBinaryExpression(parent)) {
       return false;
     }
     const operator = parent.getOperatorToken().getText();
@@ -24113,8 +24584,8 @@ function isPresenceTest(node, subject) {
   let throughLogical = false;
   let parent = child.getParent();
   while (parent !== void 0) {
-    if (!import_ts_morph88.Node.isBinaryExpression(parent)) {
-      if (negatedOperand(parent) === null && !import_ts_morph88.Node.isTypeOfExpression(parent)) {
+    if (!import_ts_morph90.Node.isBinaryExpression(parent)) {
+      if (negatedOperand(parent) === null && !import_ts_morph90.Node.isTypeOfExpression(parent)) {
         return isTestedAt(parent, child, subject, { tested, throughLogical });
       }
       tested = true;
@@ -24140,22 +24611,22 @@ function logicalStep(parent, child) {
     return null;
   }
   const operand2 = peelSyntax(child);
-  return import_ts_morph88.Node.isTypeOfExpression(operand2) || missingSideOf(parent) === operand2 ? "tested" : null;
+  return import_ts_morph90.Node.isTypeOfExpression(operand2) || missingSideOf(parent) === operand2 ? "tested" : null;
 }
 function isTestedAt(parent, child, subject, seen) {
   if (conditionOf2(parent) === child) {
     return !absentPathThrows(parent, subject);
   }
-  if (seen.throughLogical && import_ts_morph88.Node.isExpressionStatement(parent)) {
+  if (seen.throughLogical && import_ts_morph90.Node.isExpressionStatement(parent)) {
     return !continuationThrows(parent);
   }
   return seen.tested;
 }
 function conditionOf2(node) {
-  if (import_ts_morph88.Node.isIfStatement(node) || import_ts_morph88.Node.isWhileStatement(node) || import_ts_morph88.Node.isDoStatement(node)) {
+  if (import_ts_morph90.Node.isIfStatement(node) || import_ts_morph90.Node.isWhileStatement(node) || import_ts_morph90.Node.isDoStatement(node)) {
     return node.getExpression();
   }
-  if (import_ts_morph88.Node.isConditionalExpression(node) || import_ts_morph88.Node.isForStatement(node)) {
+  if (import_ts_morph90.Node.isConditionalExpression(node) || import_ts_morph90.Node.isForStatement(node)) {
     return node.getCondition();
   }
   return void 0;
@@ -24173,24 +24644,24 @@ function isPresentAt(node, subject) {
   return false;
 }
 function isBranchWherePresent(parent, child, subject) {
-  if (import_ts_morph88.Node.isIfStatement(parent)) {
+  if (import_ts_morph90.Node.isIfStatement(parent)) {
     return isBranchTaken(parent.getExpression(), child, subject, {
       whenTrue: parent.getThenStatement(),
       whenFalse: parent.getElseStatement()
     });
   }
-  if (import_ts_morph88.Node.isConditionalExpression(parent)) {
+  if (import_ts_morph90.Node.isConditionalExpression(parent)) {
     return isBranchTaken(parent.getCondition(), child, subject, {
       whenTrue: parent.getWhenTrue(),
       whenFalse: parent.getWhenFalse()
     });
   }
-  if (import_ts_morph88.Node.isWhileStatement(parent)) {
+  if (import_ts_morph90.Node.isWhileStatement(parent)) {
     return isBranchTaken(parent.getExpression(), child, subject, {
       whenTrue: parent.getStatement()
     });
   }
-  if (!import_ts_morph88.Node.isBinaryExpression(parent) || parent.getRight() !== child) {
+  if (!import_ts_morph90.Node.isBinaryExpression(parent) || parent.getRight() !== child) {
     return false;
   }
   const operator = parent.getOperatorToken().getText();
@@ -24203,16 +24674,16 @@ function isBranchTaken(test, child, subject, branches) {
   return child === branches.whenFalse && isPresentWhen(test, false, subject);
 }
 function followsExitWhenAbsent(parent, child, subject) {
-  if (!(import_ts_morph88.Node.isBlock(parent) || import_ts_morph88.Node.isSourceFile(parent))) {
+  if (!(import_ts_morph90.Node.isBlock(parent) || import_ts_morph90.Node.isSourceFile(parent))) {
     return false;
   }
   const statements = parent.getStatements();
   return statements.slice(0, statements.indexOf(child)).some(
-    (statement) => import_ts_morph88.Node.isIfStatement(statement) && exitOf(statement.getThenStatement()) === "leave" && isPresentWhen(statement.getExpression(), false, subject)
+    (statement) => import_ts_morph90.Node.isIfStatement(statement) && exitOf(statement.getThenStatement()) === "leave" && isPresentWhen(statement.getExpression(), false, subject)
   );
 }
 function absentPathThrows(owner, subject) {
-  if (!import_ts_morph88.Node.isIfStatement(owner)) {
+  if (!import_ts_morph90.Node.isIfStatement(owner)) {
     return continuationThrows(owner);
   }
   const test = owner.getExpression();
@@ -24226,7 +24697,7 @@ function absentPathThrows(owner, subject) {
   return arms.some((arm) => armThrows(arm, owner, subject));
 }
 function armThrows(arm, owner, subject) {
-  if (arm !== void 0 && import_ts_morph88.Node.isIfStatement(arm)) {
+  if (arm !== void 0 && import_ts_morph90.Node.isIfStatement(arm)) {
     return absentPathThrows(arm, subject);
   }
   const exit = arm === void 0 ? null : exitOf(arm);
@@ -24236,7 +24707,7 @@ function continuationThrows(from) {
   let current2 = from;
   let parent = current2.getParent();
   while (parent !== void 0) {
-    if (import_ts_morph88.Node.isBlock(parent) || import_ts_morph88.Node.isSourceFile(parent)) {
+    if (import_ts_morph90.Node.isBlock(parent) || import_ts_morph90.Node.isSourceFile(parent)) {
       const statements = parent.getStatements();
       const after = statements.slice(
         statements.indexOf(current2) + 1
@@ -24255,7 +24726,7 @@ function continuationThrows(from) {
   return false;
 }
 function endsThePath(node) {
-  return isFunctionRoot(node) || import_ts_morph88.Node.isIterationStatement(node) || import_ts_morph88.Node.isReturnStatement(node);
+  return isFunctionRoot(node) || import_ts_morph90.Node.isIterationStatement(node) || import_ts_morph90.Node.isReturnStatement(node);
 }
 function firstExit(statements) {
   for (const statement of statements) {
@@ -24267,13 +24738,13 @@ function firstExit(statements) {
   return null;
 }
 function exitOf(statement) {
-  if (import_ts_morph88.Node.isThrowStatement(statement)) {
+  if (import_ts_morph90.Node.isThrowStatement(statement)) {
     return "throw";
   }
-  if (import_ts_morph88.Node.isReturnStatement(statement) || import_ts_morph88.Node.isContinueStatement(statement) || import_ts_morph88.Node.isBreakStatement(statement)) {
+  if (import_ts_morph90.Node.isReturnStatement(statement) || import_ts_morph90.Node.isContinueStatement(statement) || import_ts_morph90.Node.isBreakStatement(statement)) {
     return "leave";
   }
-  return import_ts_morph88.Node.isBlock(statement) ? firstExit(statement.getStatements()) : null;
+  return import_ts_morph90.Node.isBlock(statement) ? firstExit(statement.getStatements()) : null;
 }
 function isPresentWhen(test, outcome, subject) {
   const expression = peelSyntax(test);
@@ -24284,7 +24755,7 @@ function isPresentWhen(test, outcome, subject) {
   if (negated2 !== null) {
     return isPresentWhen(negated2, !outcome, subject);
   }
-  if (!import_ts_morph88.Node.isBinaryExpression(expression)) {
+  if (!import_ts_morph90.Node.isBinaryExpression(expression)) {
     return false;
   }
   const operator = expression.getOperatorToken().getText();
@@ -24315,24 +24786,24 @@ function missingSideOf(comparison) {
   return comparedValue(left, right, loose) ?? comparedValue(right, left, loose);
 }
 function comparedValue(operand2, other, loose) {
-  if (import_ts_morph88.Node.isTypeOfExpression(operand2)) {
-    return import_ts_morph88.Node.isStringLiteral(other) && other.getLiteralValue() === "undefined" ? peelSyntax(operand2.getExpression()) : null;
+  if (import_ts_morph90.Node.isTypeOfExpression(operand2)) {
+    return import_ts_morph90.Node.isStringLiteral(other) && other.getLiteralValue() === "undefined" ? peelSyntax(operand2.getExpression()) : null;
   }
-  const missing = import_ts_morph88.Node.isIdentifier(other) && other.getText() === "undefined" || loose && import_ts_morph88.Node.isNullLiteral(other);
+  const missing = import_ts_morph90.Node.isIdentifier(other) && other.getText() === "undefined" || loose && import_ts_morph90.Node.isNullLiteral(other);
   return missing ? operand2 : null;
 }
 function negatedOperand(node) {
-  if (import_ts_morph88.Node.isPrefixUnaryExpression(node) && node.getOperatorToken() === import_ts_morph88.SyntaxKind.ExclamationToken) {
+  if (import_ts_morph90.Node.isPrefixUnaryExpression(node) && node.getOperatorToken() === import_ts_morph90.SyntaxKind.ExclamationToken) {
     return node.getOperand();
   }
   return null;
 }
 function isKeyOfRead(read2, key, container) {
-  return (import_ts_morph88.Node.isPropertyAccessExpression(read2) || import_ts_morph88.Node.isElementAccessExpression(read2)) && read2.getExpression().getText() === container.getText() && isKeyReadBy(read2, key);
+  return (import_ts_morph90.Node.isPropertyAccessExpression(read2) || import_ts_morph90.Node.isElementAccessExpression(read2)) && read2.getExpression().getText() === container.getText() && isKeyReadBy(read2, key);
 }
 function isKeyReadBy(read2, key) {
-  if (import_ts_morph88.Node.isPropertyAccessExpression(read2)) {
-    return import_ts_morph88.Node.isStringLiteral(key) && key.getLiteralValue() === read2.getName();
+  if (import_ts_morph90.Node.isPropertyAccessExpression(read2)) {
+    return import_ts_morph90.Node.isStringLiteral(key) && key.getLiteralValue() === read2.getName();
   }
   return read2.getArgumentExpression()?.getText() === key.getText();
 }
@@ -24346,25 +24817,25 @@ function localNamedBy(node) {
   }
   const name = declaration.getNameNode();
   const scope = findEnclosingFunction(declaration);
-  if (!import_ts_morph88.Node.isIdentifier(name) || scope === null) {
+  if (!import_ts_morph90.Node.isIdentifier(name) || scope === null) {
     return null;
   }
   const symbol = symbolBehind(name);
   return symbol === void 0 ? null : { name, symbol, scope };
 }
 function declarationInitializedBy(node) {
-  if (import_ts_morph88.Node.isBindingElement(node)) {
+  if (import_ts_morph90.Node.isBindingElement(node)) {
     return node;
   }
   const read2 = climbSyntax(node);
   const parent = read2.getParent();
-  if (parent !== void 0 && import_ts_morph88.Node.isVariableDeclaration(parent) && parent.getInitializer() === read2) {
+  if (parent !== void 0 && import_ts_morph90.Node.isVariableDeclaration(parent) && parent.getInitializer() === read2) {
     return parent;
   }
   return null;
 }
 function usesOf(local) {
-  return local.scope.getDescendantsOfKind(import_ts_morph88.SyntaxKind.Identifier).filter(
+  return local.scope.getDescendantsOfKind(import_ts_morph90.SyntaxKind.Identifier).filter(
     (identifier) => identifier !== local.name && refersTo(identifier, local)
   );
 }
@@ -24394,6 +24865,7 @@ function usesOf(local) {
   createTypeScriptAdapter,
   declarationsBehind,
   discoverUnits,
+  dottedPathOf,
   exportedDeclarationsOf,
   extractCodeStructure,
   extractRawBranches,