@suss/adapter-typescript 0.35.0 → 0.36.0

package/dist/index.js

@@ -1,7 +1,7 @@
 // src/adapter.ts
 import path14 from "path";
 import {
-  Node as Node80,
+  Node as Node82,
   Project as Project2
 } from "ts-morph";
 import {
@@ -26,17 +26,18 @@ import {
   createCacheLayer,
   extractionCacheDirFor,
   extractionConfigStamp,
+  libraryEnvReadMarker,
   mergeReadShapes as mergeReadShapes2,
   runDigest,
   splitAtHandOffs as splitAtHandOffs2,
   stampModuleImports,
   stampModules
 } from "@suss/extractor";
-import { force as force7, hostOf as hostOf2, literalOf as literalOf6, pathOf as pathOf2 } from "@suss/values";
+import { force as force8, hostOf as hostOf2, literalOf as literalOf6, pathOf as pathOf2 } from "@suss/values";
 
 // src/assembly.ts
 import { Node as Node67 } from "ts-morph";
-import { guardsHoldOn, runsBefore, splitAtHandOffs } from "@suss/extractor";
+import { firesOn, runsBefore, splitAtHandOffs } from "@suss/extractor";
 
 // src/conditions.ts
 import {
@@ -1116,11 +1117,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 = ts.preProcessFile(text2, true, true);
+  const scanned = ts.preProcessFile(text3, true, true);
   const cache = resolutionCacheFor(project, options);
   const paths = [];
   for (const imported of scanned.importedFiles) {
@@ -1292,12 +1293,12 @@ async function readImportsConcurrently(paths, marks) {
       }
       const p = paths[i];
       try {
-        const text2 = await fs2.readFile(p, "utf-8");
-        const pre = ts.preProcessFile(text2, true, false);
+        const text3 = await fs2.readFile(p, "utf-8");
+        const pre = 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 };
@@ -2290,8 +2291,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(SyntaxKind2.PropertyAccessExpression).filter((node) => spellsOneOf(paths, node) && flowsOnward(node));
@@ -2310,6 +2311,10 @@ function dottedPathOf(expression) {
   if (Node7.isIdentifier(expression)) {
     return expression.getText();
   }
+  if (Node7.isMetaProperty(expression)) {
+    const keyword = ts2.tokenToString(expression.getKeywordToken());
+    return `${keyword}.${expression.getName()}`;
+  }
   if (!Node7.isPropertyAccessExpression(expression)) {
     return null;
   }
@@ -4342,8 +4347,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 [];
@@ -5750,10 +5755,13 @@ function parametersOf(parameter, position) {
       }
     ];
   }
-  if (!Node12.isObjectBindingPattern(nameNode) || parameter.getInitializer() !== void 0) {
+  if (!Node12.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) => {
@@ -6060,6 +6068,18 @@ function evaluatedValue(node, resolution, site) {
 function evaluatedValueUnder(node, resolution, bindings) {
   return bindings.size === 0 ? evaluatedValue(node, resolution) : 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) {
@@ -7475,8 +7495,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();
@@ -7932,28 +7952,28 @@ function assembledTemplateText(template, assembly) {
   if (!Node24.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 === "}") {
@@ -7985,16 +8005,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 } : {},
@@ -8004,10 +8024,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: {
@@ -8016,7 +8036,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,
@@ -8035,15 +8055,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 = [];
@@ -8107,12 +8127,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;
 }
@@ -8149,17 +8169,17 @@ function documentTextsIn(sourceFile) {
     if (!Node24.isTaggedTemplateExpression(node) && !Node24.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 = graphqlParse(text2);
+    doc = graphqlParse(text3);
   } catch {
     return;
   }
@@ -8183,13 +8203,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 = graphqlParse(text2);
+    doc = graphqlParse(text3);
   } catch {
     return null;
   }
@@ -8341,9 +8361,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);
 }
@@ -8379,8 +8399,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) {
@@ -8424,9 +8444,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;
@@ -9029,7 +9049,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,
@@ -9042,7 +9063,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 };
@@ -9055,6 +9076,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(
@@ -9062,13 +9084,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;
@@ -9077,7 +9107,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 };
   }
@@ -9086,10 +9116,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,
@@ -9106,7 +9137,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) {
@@ -9208,7 +9246,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);
@@ -9238,7 +9277,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;
@@ -9289,7 +9335,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);
@@ -9319,7 +9366,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;
@@ -10332,6 +10380,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 (!Node36.isCallExpression(node)) {
       return;
@@ -10433,7 +10482,8 @@ function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, r
           routeWrapperPattern,
           methodName,
           routeInfo,
-          resolution
+          resolution,
+          anonymousLabels
         );
         results.push({
           func: handler,
@@ -10494,9 +10544,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 = Node36.isArrayLiteralExpression(arg) ? arg.getElements() : [arg];
     for (const element of elements) {
@@ -10510,12 +10559,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,
@@ -10531,9 +10580,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) {
@@ -11471,8 +11522,8 @@ function mockOf(call, match, sourceFile, resolution) {
   const module = Node40.isIdentifier(first) ? moduleImportedWholeAs(sourceFile, first.getText()) : null;
   return { ...module !== null ? { module } : {}, 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)})`;
 }
@@ -12049,8 +12100,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 || !(Node43.isArrowFunction(node) || Node43.isFunctionExpression(node))) {
@@ -12687,6 +12738,7 @@ import { Node as Node48 } from "ts-morph";
 import {
   enumerateStructuredPaths,
   PathBudgetExceeded,
+  placeTerminals,
   UnmodeledFlow as UnmodeledFlow2
 } from "@suss/extractor";
 
@@ -12741,9 +12793,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) => ({
@@ -12854,7 +12906,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 (Node47.isTryStatement(stmt)) {
@@ -12862,6 +12915,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),
@@ -13022,13 +13076,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 = Node48.isBlock(body) ? lowerFunctionBody(body, terminalNodes, func, barriers, endings) : loweredExpressionBody(body, terminalNodes, func, barriers);
+    lowered = Node48.isBlock(body) ? lowerFunctionBody(body, terminalNodes, func, barriers, endings) : loweredExpressionBody(body, terminalNodes, func, barriers);
     const result = enumerateStructuredPaths({
       statements: lowered.statements,
       terminalsByStmt: lowered.terminalsByStmt,
@@ -13036,15 +13091,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() : placeTerminals(lowered);
     if (error instanceof PathBudgetExceeded) {
       return degradedResult(
         func,
         terminalNodes,
-        error.message === "" ? "path budget exceeded" : error.message
+        error.message === "" ? "path budget exceeded" : error.message,
+        placement
       );
     }
     if (error instanceof UnmodeledFlow2) {
-      return degradedResult(func, terminalNodes, error.message);
+      return degradedResult(func, terminalNodes, error.message, placement);
     }
     throw error;
   }
@@ -13059,9 +13116,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",
@@ -13078,7 +13139,7 @@ function degradedResult(func, terminalNodes, reason) {
       [...collectAncestorConditionInfosBelow(terminal, func), marker]
     ]);
   }
-  return { byTerminal, fallthrough: [[marker]] };
+  return { byTerminal, fallthrough: [[marker]], placement };
 }
 
 // src/provenance.ts
@@ -13161,9 +13222,13 @@ function literalAt(node, resolution) {
 
 // src/resolve/invocationEffects.ts
 import {
-  Node as Node54
+  Node as Node54,
+  VariableDeclarationKind as VariableDeclarationKind2
 } from "ts-morph";
-import { rawConditionToPredicate } from "@suss/extractor";
+import {
+  numberRepeatedCallSites,
+  rawConditionToPredicate
+} from "@suss/extractor";
 
 // src/resolve/callOps.ts
 import { Node as Node53 } from "ts-morph";
@@ -13207,7 +13272,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(ts3.EmitHint.Unspecified, node, file).replace(
     /\n/g,
@@ -13249,11 +13314,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;
@@ -14248,11 +14313,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) {
@@ -14263,7 +14329,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) => {
@@ -14288,7 +14354,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 {
@@ -14306,17 +14373,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 numberRepeatedCallSites(sites).flat();
 }
 function runAccessRecognizers(func, recognizers, barriers = NO_BARRIERS, resolution, originatesFrom, anchorCallsOf) {
   return dispatchAccessRecognizers(
@@ -14401,7 +14469,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 {
@@ -14426,10 +14494,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)
         });
       }
@@ -14463,6 +14531,12 @@ function extractArg(node, depth) {
   if (Node54.isFalseLiteral(node)) {
     return { kind: "boolean", value: false };
   }
+  if (Node54.isNullLiteral(node)) {
+    return { kind: "null" };
+  }
+  if (Node54.isIdentifier(node) && node.getText() === "undefined") {
+    return { kind: "undefined" };
+  }
   if (Node54.isTemplateExpression(node)) {
     return { kind: "template", sourceText: node.getText() };
   }
@@ -14554,16 +14628,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 && Node54.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) {
@@ -14595,6 +14673,9 @@ function inlineModuleBinding(ident, depth) {
     if (!isModuleScoped(decl)) {
       continue;
     }
+    if (decl.getVariableStatement()?.getDeclarationKind() !== VariableDeclarationKind2.Const) {
+      continue;
+    }
     const init = decl.getInitializer();
     if (init === void 0) {
       continue;
@@ -15311,8 +15392,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" };
@@ -15376,9 +15457,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;
 }
@@ -15521,8 +15602,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();
@@ -15588,8 +15669,8 @@ function definitionKeyFor(type, name, reader) {
   const written = stableTypeText(type, reader);
   return `${name}@${shortHash(written)}`;
 }
-function shortHash(text2) {
-  return createHash("sha1").update(text2).digest("hex").slice(0, 12);
+function shortHash(text3) {
+  return createHash("sha1").update(text3).digest("hex").slice(0, 12);
 }
 function refFromType(type, ctx) {
   const symbol = type.getAliasSymbol() ?? type.getSymbol();
@@ -16271,11 +16352,11 @@ function collectJsxAttributes(opening) {
 }
 function jsxChildToRenderNode(child) {
   if (Node61.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 (Node61.isJsxExpression(child)) {
     const inner = child.getExpression();
@@ -17274,11 +17355,12 @@ function makeFallthroughTerminal(func, pattern) {
 
 // src/assembly.ts
 var preconditionsOf = (effect) => effect.type === "invocation" ? effect.preconditions : void 0;
-function firesOn(site, branch) {
-  if (!guardsHoldOn(site.preconditions, branch.conditions)) {
-    return false;
-  }
-  return site.alwaysRuns || 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;
@@ -17376,7 +17458,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,
@@ -17409,6 +17491,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),
@@ -17419,6 +17502,7 @@ function extractRawBranches(func, terminalPatterns, invocationRecognizers = [],
           terminal,
           effects: [],
           location: terminal.location,
+          ...loopAround === void 0 ? {} : { loopAround },
           isDefault: isDefaultConditionList(infos)
         };
       });
@@ -17445,9 +17529,7 @@ 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) => firesOn(invocationSite(i), branch)).map((i) => i.effect);
     }
   }
   const firing = /* @__PURE__ */ new Map();
@@ -17492,11 +17574,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;
@@ -17522,16 +17602,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)
-  };
+  const call = invocationSite(site);
   if (branches.some((branch) => firesOn(call, branch))) {
     return { node, callee, line, outcome: "invocation" };
   }
   const reachable = branches.some(
-    (branch) => site.alwaysRuns || runsBefore(line, branch.terminal.location.end)
+    (branch) => runsBefore(call.cleansUpFrom ?? line, branch.terminal.location.end)
   );
   return {
     node,
@@ -18220,6 +18296,10 @@ function parameterName(segment, convention) {
   return null;
 }
 
+// src/discovery/graphqlCallClient.ts
+import { Node as Node70 } from "ts-morph";
+import { force as force6, hole, text as text2 } from "@suss/values";
+
 // src/discovery/graphqlClientConstruction.ts
 import picomatch2 from "picomatch";
 import {
@@ -18231,34 +18311,123 @@ import {
   withGraphqlMetadata
 } from "@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 (!isGraphqlOperationBinding(summary.identity.boundaryBinding)) {
       continue;
     }
     const existing = 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 = 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(
@@ -18291,13 +18460,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(
@@ -18307,14 +18485,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();
@@ -18437,11 +18628,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,
+      text2(`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 Node70.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 = force6(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(force6(field.value))) {
+    return void 0;
+  }
+  return force6(field.value);
+}
+function unreadChain(written, store) {
+  if (written.property === null) {
+    return hole("client");
+  }
+  return optionWritten(written.node, written.property, store) === null ? void 0 : 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 (!Node70.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
-import { Node as Node71 } from "ts-morph";
+import { Node as Node72 } from "ts-morph";
 
 // src/discovery/helperReading.ts
-import { Node as Node70 } from "ts-morph";
+import { Node as Node71 } from "ts-morph";
 var UNREAD = { as: "unread" };
 function readHelperSinks(helper) {
   const positions = parameterPositions(helper);
@@ -18451,11 +18784,11 @@ function readHelperSinks(helper) {
     return sinks;
   }
   body.forEachDescendant((node) => {
-    if (!Node70.isCallExpression(node)) {
+    if (!Node71.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    const [method, receiver] = Node70.isPropertyAccessExpression(callee) ? [callee.getName(), readValue(callee.getExpression(), positions)] : [null, UNREAD];
+    const [method, receiver] = Node71.isPropertyAccessExpression(callee) ? [callee.getName(), readValue(callee.getExpression(), positions)] : [null, UNREAD];
     sinks.push({
       method,
       receiver,
@@ -18475,25 +18808,25 @@ function parameterPositions(helper) {
   return positions;
 }
 function readValue(node, positions) {
-  if (Node70.isStringLiteral(node) || Node70.isNoSubstitutionTemplateLiteral(node)) {
+  if (Node71.isStringLiteral(node) || Node71.isNoSubstitutionTemplateLiteral(node)) {
     return { as: "text", text: node.getLiteralValue() };
   }
-  if (Node70.isTemplateExpression(node)) {
+  if (Node71.isTemplateExpression(node)) {
     return templateText(node, positions);
   }
-  if (Node70.isIdentifier(node)) {
+  if (Node71.isIdentifier(node)) {
     const position = positions.get(node.getText());
     return position === void 0 ? UNREAD : { as: "parameter", position };
   }
-  if (Node70.isPropertyAccessExpression(node)) {
+  if (Node71.isPropertyAccessExpression(node)) {
     const target = node.getExpression();
-    const position = Node70.isIdentifier(target) ? positions.get(target.getText()) : void 0;
+    const position = Node71.isIdentifier(target) ? positions.get(target.getText()) : void 0;
     return position === void 0 ? UNREAD : { as: "parameter", position, property: node.getName() };
   }
-  if (Node70.isObjectLiteralExpression(node)) {
+  if (Node71.isObjectLiteralExpression(node)) {
     return objectValue(node, positions);
   }
-  if (Node70.isCallExpression(node)) {
+  if (Node71.isCallExpression(node)) {
     return {
       as: "call",
       callee: node.getExpression().getText(),
@@ -18503,27 +18836,27 @@ function readValue(node, positions) {
   return UNREAD;
 }
 function templateText(node, positions) {
-  if (!Node70.isTemplateExpression(node)) {
+  if (!Node71.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 = Node70.isIdentifier(expression) ? positions.get(expression.getText()) : void 0;
+    const position = Node71.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 (!Node70.isObjectLiteralExpression(node)) {
+  if (!Node71.isObjectLiteralExpression(node)) {
     return UNREAD;
   }
   const properties = {};
   for (const property of node.getProperties()) {
-    if (!Node70.isPropertyAssignment(property)) {
+    if (!Node71.isPropertyAssignment(property)) {
       continue;
     }
     const initializer = property.getInitializer();
@@ -18538,7 +18871,7 @@ function objectValue(node, positions) {
   return { as: "object", properties };
 }
 function propertyKey(name) {
-  return Node70.isStringLiteral(name) ? name.getLiteralValue() : name.getText();
+  return Node71.isStringLiteral(name) ? name.getLiteralValue() : name.getText();
 }
 
 // src/discovery/helperIndex.ts
@@ -18622,8 +18955,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);
@@ -18668,11 +19001,11 @@ function registrationMatchesOf(pack) {
 }
 function collectHandOffs(sourceFile, subjects, match, resolution, found) {
   sourceFile.forEachDescendant((node) => {
-    if (!Node71.isCallExpression(node)) {
+    if (!Node72.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (!Node71.isIdentifier(callee)) {
+    if (!Node72.isIdentifier(callee)) {
       return;
     }
     const handedOver = subjectArgument(node, subjects, match, resolution);
@@ -18687,12 +19020,12 @@ function collectHandOffs(sourceFile, subjects, match, resolution, found) {
   });
 }
 function subjectArgument(call, subjects, match, resolution) {
-  if (!Node71.isCallExpression(call)) {
+  if (!Node72.isCallExpression(call)) {
     return -1;
   }
   const args = call.getArguments();
   for (const [position, argument] of args.entries()) {
-    if (!Node71.isIdentifier(argument) && !Node71.isPropertyAccessExpression(argument)) {
+    if (!Node72.isIdentifier(argument) && !Node72.isPropertyAccessExpression(argument)) {
       continue;
     }
     if (subjectNodeFor(argument, subjects, match, resolution) !== void 0) {
@@ -18724,8 +19057,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)) {
@@ -18753,7 +19086,7 @@ function declaredFunctions(sourceFile) {
   }
   for (const variable3 of sourceFile.getVariableDeclarations()) {
     const initializer = variable3.getInitializer();
-    if (initializer !== void 0 && (Node71.isArrowFunction(initializer) || Node71.isFunctionExpression(initializer))) {
+    if (initializer !== void 0 && (Node72.isArrowFunction(initializer) || Node72.isFunctionExpression(initializer))) {
       found.push([variable3.getName(), initializer]);
     }
   }
@@ -18924,8 +19257,8 @@ function recordEdge(edgesByChild, candidate) {
 }
 
 // src/discovery/restWrapper.ts
-import { Node as Node72 } from "ts-morph";
-import { hole } from "@suss/values";
+import { Node as Node73 } from "ts-morph";
+import { hole as hole2 } from "@suss/values";
 var MAX_WRAPPER_DEPTH2 = 3;
 function expandRestWrapperCallers(wrapper, readSink, store) {
   return expandFrom(
@@ -18941,8 +19274,8 @@ function parametersAsHoles(func) {
   const bindings = /* @__PURE__ */ new Map();
   for (const parameter of func.getParameters()) {
     const nameNode = parameter.getNameNode();
-    if (Node72.isIdentifier(nameNode)) {
-      bindings.set(nameNode.getText(), hole(nameNode.getText()));
+    if (Node73.isIdentifier(nameNode)) {
+      bindings.set(nameNode.getText(), hole2(nameNode.getText()));
     }
   }
   return bindings;
@@ -18981,11 +19314,11 @@ function callSitesOf(func, store) {
   const byCall = /* @__PURE__ */ new Map();
   for (const parameter of func.getParameters()) {
     const nameNode = parameter.getNameNode();
-    if (!Node72.isIdentifier(nameNode)) {
+    if (!Node73.isIdentifier(nameNode)) {
       continue;
     }
     for (const passed of store.argumentsPassedTo(parameter)) {
-      if (!Node72.isCallExpression(passed.call)) {
+      if (!Node73.isCallExpression(passed.call)) {
         continue;
       }
       const key = siteKey(passed.call);
@@ -19011,7 +19344,7 @@ function valuesAt(site, bindings, store) {
 }
 
 // src/discovery/wrapperIndex.ts
-import { Node as Node73 } from "ts-morph";
+import { Node as Node74 } from "ts-morph";
 import { joinMountedPath as joinMountedPath3 } from "@suss/resolution";
 var NO_WRAPPERS = {
   wrappersFor: () => [],
@@ -19135,11 +19468,11 @@ function discoverWrapperRegistrations(sourceFile, pattern, match, wraps, resolut
   const candidates = [];
   const unresolved = [];
   sourceFile.forEachDescendant((node) => {
-    if (!Node73.isCallExpression(node)) {
+    if (!Node74.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (!Node73.isPropertyAccessExpression(callee) || callee.getName() !== wraps.method) {
+    if (!Node74.isPropertyAccessExpression(callee) || callee.getName() !== wraps.method) {
       return;
     }
     const subjectNode = subjectNodeFor(
@@ -19234,7 +19567,7 @@ function discoverConstructorOptions(sourceFile, pattern, wraps, subjects, resolu
   return { candidates, unresolved };
 }
 function constructorOptionOf(construction, wraps, resolution) {
-  if (!(Node73.isNewExpression(construction) || Node73.isCallExpression(construction))) {
+  if (!(Node74.isNewExpression(construction) || Node74.isCallExpression(construction))) {
     return void 0;
   }
   const optionsArg = construction.getArguments()[wraps.targetPosition];
@@ -19289,7 +19622,7 @@ function scopeOf(args, wraps, resolution) {
 }
 
 // src/discoveryContext.ts
-import { Node as Node74 } from "ts-morph";
+import { Node as Node75 } from "ts-morph";
 function createTsDiscoveryContext(resolution) {
   const store = resolution ?? new ResolutionStore();
   return {
@@ -19325,7 +19658,7 @@ function exportedFunctions(sourceFile, resolution) {
   return out;
 }
 function exportedFunction(decl, resolution) {
-  const writtenAgain = Node74.isVariableDeclaration(decl) && isWrittenAgain(decl);
+  const writtenAgain = Node75.isVariableDeclaration(decl) && isWrittenAgain(decl);
   if (!writtenAgain) {
     const declared = resolveDeclarationToFunction(decl);
     if (declared !== null) {
@@ -19346,7 +19679,7 @@ function valueToAskAbout(decl, writtenAgain) {
   if (writtenAgain) {
     return decl;
   }
-  const value = Node74.isVariableDeclaration(decl) ? decl.getInitializer() ?? decl : decl;
+  const value = Node75.isVariableDeclaration(decl) ? decl.getInitializer() ?? decl : decl;
   return couldStillNameAFunction(value) ? value : null;
 }
 function resolveDeclarationToFunction(decl) {
@@ -19354,18 +19687,18 @@ function resolveDeclarationToFunction(decl) {
   if (fn !== null) {
     return fn;
   }
-  if (Node74.isVariableDeclaration(decl)) {
+  if (Node75.isVariableDeclaration(decl)) {
     const init = decl.getInitializer();
-    if (init !== void 0 && (Node74.isArrowFunction(init) || Node74.isFunctionExpression(init))) {
+    if (init !== void 0 && (Node75.isArrowFunction(init) || Node75.isFunctionExpression(init))) {
       return init;
     }
   }
   return null;
 }
 function hasJsxReturn(func) {
-  if (Node74.isArrowFunction(func)) {
+  if (Node75.isArrowFunction(func)) {
     const body2 = func.getBody();
-    if (Node74.isExpression(body2) && isJsxOrFragment(body2)) {
+    if (Node75.isExpression(body2) && isJsxOrFragment(body2)) {
       return true;
     }
   }
@@ -19379,11 +19712,11 @@ function hasJsxReturn(func) {
       traversal.stop();
       return;
     }
-    if (node !== func && (Node74.isFunctionDeclaration(node) || Node74.isFunctionExpression(node) || Node74.isArrowFunction(node) || Node74.isMethodDeclaration(node))) {
+    if (node !== func && (Node75.isFunctionDeclaration(node) || Node75.isFunctionExpression(node) || Node75.isArrowFunction(node) || Node75.isMethodDeclaration(node))) {
       traversal.skip();
       return;
     }
-    if (Node74.isReturnStatement(node)) {
+    if (Node75.isReturnStatement(node)) {
       const expr = node.getExpression();
       if (expr !== void 0 && isJsxOrFragment(expr)) {
         found = true;
@@ -19394,7 +19727,7 @@ function hasJsxReturn(func) {
 }
 function isJsxOrFragment(node) {
   const current2 = peelParens(node);
-  return Node74.isJsxElement(current2) || Node74.isJsxSelfClosingElement(current2) || Node74.isJsxFragment(current2);
+  return Node75.isJsxElement(current2) || Node75.isJsxSelfClosingElement(current2) || Node75.isJsxFragment(current2);
 }
 
 // src/everyUnit.ts
@@ -19421,7 +19754,7 @@ function stampExitCodeFrom(summaries, project, resolution) {
 }
 
 // src/flagReads.ts
-import { Node as Node75 } from "ts-morph";
+import { Node as Node76 } from "ts-morph";
 function flagReads(func, parameterNames2, parsers, resolution, barriers = NO_BARRIERS) {
   if (parsers.length === 0 || parameterNames2.length === 0 || resolution === void 0) {
     return [];
@@ -19454,11 +19787,11 @@ function namedCallsIn(func, barriers) {
       traversal.skip();
       return;
     }
-    if (!Node75.isCallExpression(node)) {
+    if (!Node76.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (Node75.isIdentifier(callee) || Node75.isPropertyAccessExpression(callee)) {
+    if (Node76.isIdentifier(callee) || Node76.isPropertyAccessExpression(callee)) {
       calls.push(node);
     }
   });
@@ -19682,7 +20015,7 @@ function createReferenceIndex(sourceFiles) {
 }
 
 // src/resolve/clientBasePath.ts
-import { Node as Node76 } from "ts-morph";
+import { Node as Node77 } from "ts-morph";
 import { hasNameHole as hasNameHole2 } from "@suss/behavioral-ir";
 function clientBasePath(call, match, resolution, site) {
   if (match?.type !== "clientCall" || match.basePathOption === void 0) {
@@ -19724,13 +20057,14 @@ function clientConstructionConfig(call, match, resolution) {
 }
 function receiverOf2(call) {
   const callee = call.getExpression();
-  if (Node76.isPropertyAccessExpression(callee)) {
+  if (Node77.isPropertyAccessExpression(callee)) {
     return callee.getExpression();
   }
-  return Node76.isIdentifier(callee) ? callee : null;
+  return Node77.isIdentifier(callee) ? callee : null;
 }
 
 // src/resolve/closureRecords.ts
+import { plainKeyOf } from "@suss/resolution";
 function fromScanRecord(unit) {
   const files = [unit.file, ...unit.deps];
   const placeOf = ([file, start, end]) => {
@@ -19798,7 +20132,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);
@@ -19814,6 +20148,9 @@ function closureUnitRecords(scans, stillValid, references) {
   }
   return units;
 }
+function reachesASubclass(key, findings) {
+  return key !== plainKeyOf(key) || findings.calls.some((call) => call.key !== plainKeyOf(call.key));
+}
 function filesNamedBy(findings) {
   const files = [];
   for (const call of findings.calls) {
@@ -19902,15 +20239,108 @@ function placeOfKey(key) {
 }
 
 // src/resolve/reachableClosure.ts
-import { Node as Node77 } from "ts-morph";
+import { Node as Node79 } from "ts-morph";
 import {
   functionCallBinding,
   normalizeCalleeText as normalizeCalleeText2,
   placePossibleCalls,
+  sameDeclarations,
   TargetPlacements
 } from "@suss/behavioral-ir";
 import { Database as Database3, evaluate as evaluate3, lit as lit2, rule as rule2, variable } from "@suss/datalog";
 import { assembleSummary as assembleSummary2 } from "@suss/extractor";
+import { keptVariants, plainKeyOf as plainKeyOf2, variantKey } from "@suss/resolution";
+
+// src/resolve/receiverClass.ts
+import { Node as Node78 } from "ts-morph";
+function candidateOnReceiver(callee, checked, scan) {
+  if (!Node78.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 || !Node78.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 (!Node78.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) => Node78.isFunctionDeclaration(at) || Node78.isFunctionExpression(at) || Node78.isMethodDeclaration(at) || Node78.isConstructorDeclaration(at)
+  );
+  return owner === scanning;
+}
+function ownForm(value, scanning, resolution, depth) {
+  const written = peelSyntax(value);
+  if (Node78.isThisExpression(written)) {
+    if (!ownThis(written, scanning) || !Node78.isMethodDeclaration(scanning)) {
+      return null;
+    }
+    return scanning.isStatic() ? "class" : "instance";
+  }
+  if (Node78.isNewExpression(written)) {
+    return ownForm(written.getExpression(), scanning, resolution, depth) === "class" ? "instance" : null;
+  }
+  if (!Node78.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 Node78.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) => Node78.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: {} },
@@ -19945,19 +20375,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 : variantKey(key, subclassPlace(candidate.receiverClass));
+}
 function resolveCallee(call, calleeName, scan) {
-  if (!Node77.isCallExpression(call)) {
+  if (!Node79.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 && Node77.isPropertyAccessExpression(callee) && declarations.some(isDeclaredShape)) {
+  if (resolveSources !== void 0 && Node79.isPropertyAccessExpression(callee) && declarations.some(isDeclaredShape)) {
     if (scan.sourcesAsked !== void 0) {
       scan.sourcesAsked.asked = true;
     }
@@ -19986,7 +20432,7 @@ function resolveCallee(call, calleeName, scan) {
   );
 }
 function stopFor(callee, declarations, stop, scan, parameterIndex) {
-  const asks = scan.resolution !== void 0 && (stop.reason === "unsettledValue" || Node77.isElementAccessExpression(callee));
+  const asks = scan.resolution !== void 0 && (stop.reason === "unsettledValue" || Node79.isElementAccessExpression(callee));
   return {
     kind: "stopped",
     stop,
@@ -19996,7 +20442,7 @@ function stopFor(callee, declarations, stop, scan, parameterIndex) {
   };
 }
 function storeKeyOf(callee) {
-  const declarations = Node77.isIdentifier(callee) ? declarationsBehind(callee.getSymbol()) : [];
+  const declarations = Node79.isIdentifier(callee) ? declarationsBehind(callee.getSymbol()) : [];
   return declarations.length === 1 ? declarations[0] : callee;
 }
 function settleThroughStore(outcomes, scan) {
@@ -20055,7 +20501,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;
@@ -20081,7 +20527,7 @@ function mayDispatch(one) {
   if (one.outcome.askStore !== void 0) {
     return true;
   }
-  return Node77.isCallExpression(one.node) && Node77.isCallExpression(one.node.getExpression());
+  return Node79.isCallExpression(one.node) && Node79.isCallExpression(one.node.getExpression());
 }
 function dispatchOutcome(answer, stopped) {
   const { callee } = stopped.stop;
@@ -20104,18 +20550,18 @@ function dispatchOutcome(answer, stopped) {
 }
 function entryNameOf(func) {
   const property = func.getParent();
-  const key = property === void 0 || !Node77.isPropertyAssignment(property) ? null : propertyNameOf(property);
+  const key = property === void 0 || !Node79.isPropertyAssignment(property) ? null : propertyNameOf(property);
   if (property === void 0 || key === null) {
     return null;
   }
   const holder = climbSyntax(property.getParentOrThrow()).getParent();
-  return holder !== void 0 && Node77.isVariableDeclaration(holder) ? `${holder.getName()}.${key}` : key;
+  return holder !== void 0 && Node79.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;
   }
@@ -20129,24 +20575,24 @@ function placeCallee(placements, calleeText, call, outcome) {
   }
 }
 function isCallOnOtherValue(call) {
-  if (!Node77.isCallExpression(call)) {
+  if (!Node79.isCallExpression(call)) {
     return false;
   }
   const callee = call.getExpression();
-  if (!Node77.isPropertyAccessExpression(callee) && !Node77.isElementAccessExpression(callee)) {
+  if (!Node79.isPropertyAccessExpression(callee) && !Node79.isElementAccessExpression(callee)) {
     return false;
   }
-  return !Node77.isThisExpression(callee.getExpression());
+  return !Node79.isThisExpression(callee.getExpression());
 }
 function passedPositionKey(target, position) {
   return `${offsetKeyFor(target.file, target.span)}#${position}`;
 }
 function resolveJsxReference(node, scan) {
-  if (!Node77.isJsxOpeningElement(node) && !Node77.isJsxSelfClosingElement(node)) {
+  if (!Node79.isJsxOpeningElement(node) && !Node79.isJsxSelfClosingElement(node)) {
     return null;
   }
   const tag = node.getTagNameNode();
-  if (!Node77.isIdentifier(tag) || !/^[A-Z]/.test(tag.getText())) {
+  if (!Node79.isIdentifier(tag) || !/^[A-Z]/.test(tag.getText())) {
     return null;
   }
   const name = tag.getText();
@@ -20168,7 +20614,7 @@ function resolveJsxReference(node, scan) {
   };
 }
 function collectReachable(root, scan) {
-  const atModuleScope = Node77.isSourceFile(root);
+  const atModuleScope = Node79.isSourceFile(root);
   const inFunc = atModuleScope ? { ...scan } : { ...scan, scanning: root };
   const calls = [];
   const stops = [];
@@ -20185,7 +20631,7 @@ function collectReachable(root, scan) {
     }
   };
   const recordFollowed = (candidate) => {
-    const key = nodeKey(candidate.func);
+    const key = candidateKey(candidate);
     if (seen.has(key)) {
       return;
     }
@@ -20207,18 +20653,18 @@ function collectReachable(root, scan) {
     recordFollowed(outcome.candidate);
   };
   const recordPassedArgs = (call, calleeText, calleeOutcome) => {
-    if (!Node77.isCallExpression(call)) {
+    if (!Node79.isCallExpression(call)) {
       return;
     }
     const calleeTarget = declaredAtOf(calleeOutcome);
     call.getArguments().forEach((arg, position) => {
-      if (Node77.isArrowFunction(arg) || Node77.isFunctionExpression(arg)) {
+      if (Node79.isArrowFunction(arg) || Node79.isFunctionExpression(arg)) {
         if (calleeTarget !== null) {
           passedPositions.add(passedPositionKey(calleeTarget, position));
         }
         return;
       }
-      if (!Node77.isIdentifier(arg)) {
+      if (!Node79.isIdentifier(arg)) {
         return;
       }
       const resolved = functionTargetOf(arg);
@@ -20243,7 +20689,7 @@ function collectReachable(root, scan) {
       found.push({ node, outcome: jsx.outcome });
       return;
     }
-    if (!Node77.isCallExpression(node)) {
+    if (!Node79.isCallExpression(node)) {
       return;
     }
     const calleeText = normalizeCalleeText2(node.getExpression().getText());
@@ -20347,7 +20793,7 @@ function recognizerOnlyRoots(packsByFile) {
       }
       for (const declaration of variableStatement.getDeclarations()) {
         const init = declaration.getInitializer();
-        if (init !== void 0 && (Node77.isArrowFunction(init) || Node77.isFunctionExpression(init)) && hasBody(init)) {
+        if (init !== void 0 && (Node79.isArrowFunction(init) || Node79.isFunctionExpression(init)) && hasBody(init)) {
           roots.push({ func: init, name: declaration.getName() });
         }
       }
@@ -20377,6 +20823,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,
@@ -20385,7 +20833,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);
@@ -20443,25 +20892,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(plainKeyOf2(key));
+      const calledHere = found.calls.flatMap(
+        (call) => call.receiverClass === void 0 ? [call] : [
+          { ...call, key: plainKeyOf2(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 = keptVariants(
+    [...receiverByKey.keys()].map((key) => ({
+      key,
+      differs: !sameDeclarations(
+        placementsOf(key),
+        placementsOf(plainKeyOf2(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);
@@ -20472,7 +20949,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(plainKeyOf2(key), lookup);
     if (func === void 0) {
       continue;
     }
@@ -20482,6 +20959,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);
@@ -20538,14 +21019,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(plainKeyOf2(key), ctx.lookup);
   if (root === void 0) {
     return null;
   }
@@ -20556,7 +21038,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) {
@@ -20576,7 +21059,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 = Node77.isSourceFile(root) ? root.getFilePath() : `${root.getSourceFile().getFilePath()}:${root.getStartLineNumber()}`;
+    const where = Node79.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}
 `
@@ -20700,7 +21183,7 @@ function recordParameterGaps(parameterCallsByKey, summariesByKey, passedPosition
   }
   for (const [key, parameterCalls] of parameterCallsByKey) {
     const unbound = parameterCalls.filter(
-      ({ parameterIndex }) => !passedPositions.has(`${key}#${parameterIndex}`)
+      ({ parameterIndex }) => !passedPositions.has(`${plainKeyOf2(key)}#${parameterIndex}`)
     );
     if (unbound.length === 0) {
       continue;
@@ -20717,7 +21200,7 @@ function recordParameterGaps(parameterCallsByKey, summariesByKey, passedPosition
 
 // src/resolve/redirectDelivery.ts
 import { redirectDeliveryWhenSet } from "@suss/extractor";
-import { force as force6, scalarOf } from "@suss/values";
+import { force as force7, scalarOf } from "@suss/values";
 function settingOf(object, name, resolution, site) {
   if (object === void 0) {
     return { kind: "absent" };
@@ -20733,7 +21216,7 @@ function settingOf(object, name, resolution, site) {
   if (field.presence !== "one") {
     return { kind: "unknown" };
   }
-  const settled3 = scalarOf(force6(field.value));
+  const settled3 = scalarOf(force7(field.value));
   return settled3 === null ? { kind: "unknown" } : { kind: "settled", value: settled3 };
 }
 function redirectDeliveryAtCall(callSite, pattern, pack, resolution) {
@@ -20758,7 +21241,7 @@ function redirectDeliveryAtCall(callSite, pattern, pack, resolution) {
 }
 
 // src/resolve/rethrowEnrichment.ts
-import { Node as Node78 } from "ts-morph";
+import { Node as Node80 } from "ts-morph";
 import { Database as Database4, evaluate as evaluate4, lit as lit3, rule as rule3, variable as variable2 } from "@suss/datalog";
 var RETHROW_RULES = [
   rule3(
@@ -20895,7 +21378,7 @@ function findBareRethrow(func, location) {
       traversal.stop();
       return;
     }
-    if (!Node78.isThrowStatement(node)) {
+    if (!Node80.isThrowStatement(node)) {
       return;
     }
     if (startLineOf(node) !== location.start) {
@@ -20905,7 +21388,7 @@ function findBareRethrow(func, location) {
       return;
     }
     const thrown = node.getExpression();
-    if (thrown !== void 0 && Node78.isIdentifier(thrown)) {
+    if (thrown !== void 0 && Node80.isIdentifier(thrown)) {
       found = node;
     }
   });
@@ -20915,13 +21398,13 @@ function enclosingTry(throwStmt) {
   let current2 = throwStmt.getParent();
   let sawCatchClause = false;
   while (current2 !== void 0) {
-    if (Node78.isCatchClause(current2)) {
+    if (Node80.isCatchClause(current2)) {
       sawCatchClause = true;
     }
-    if (Node78.isTryStatement(current2)) {
+    if (Node80.isTryStatement(current2)) {
       return sawCatchClause ? current2 : null;
     }
-    if (Node78.isFunctionDeclaration(current2) || Node78.isFunctionExpression(current2) || Node78.isArrowFunction(current2) || Node78.isMethodDeclaration(current2)) {
+    if (Node80.isFunctionDeclaration(current2) || Node80.isFunctionExpression(current2) || Node80.isArrowFunction(current2) || Node80.isMethodDeclaration(current2)) {
       return null;
     }
     current2 = current2.getParent();
@@ -20929,14 +21412,14 @@ function enclosingTry(throwStmt) {
   return null;
 }
 function collectTryBodyCallees(tryStmt, index, keyFor) {
-  if (!Node78.isTryStatement(tryStmt)) {
+  if (!Node80.isTryStatement(tryStmt)) {
     return [];
   }
   const tryBlock = tryStmt.getTryBlock();
   const callees = [];
   const seen = /* @__PURE__ */ new Set();
   tryBlock.forEachDescendant((node) => {
-    if (!Node78.isCallExpression(node)) {
+    if (!Node80.isCallExpression(node)) {
       return;
     }
     const calleeSummary = resolveCalleeSummary(node, index);
@@ -20953,7 +21436,7 @@ function collectTryBodyCallees(tryStmt, index, keyFor) {
   return callees;
 }
 function resolveCalleeSummary(call, index) {
-  if (!Node78.isCallExpression(call)) {
+  if (!Node80.isCallExpression(call)) {
     return null;
   }
   const callee = call.getExpression();
@@ -20986,7 +21469,7 @@ function resolveCalleeSummary(call, index) {
 
 // src/subUnitContext.ts
 import {
-  Node as Node79
+  Node as Node81
 } from "ts-morph";
 function createTsSubUnitContext() {
   return {
@@ -21014,18 +21497,18 @@ function findJsxAttributes(parent) {
     if (skip(node, traversal)) {
       return;
     }
-    if (!Node79.isJsxOpeningElement(node) && !Node79.isJsxSelfClosingElement(node)) {
+    if (!Node81.isJsxOpeningElement(node) && !Node81.isJsxSelfClosingElement(node)) {
       return;
     }
     const tag = node.getTagNameNode().getText();
     for (const attr of node.getAttributes()) {
-      if (!Node79.isJsxAttribute(attr)) {
+      if (!Node81.isJsxAttribute(attr)) {
         continue;
       }
       const initializer = attr.getInitializer();
       let valueExpression = null;
       if (initializer !== void 0) {
-        if (Node79.isJsxExpression(initializer)) {
+        if (Node81.isJsxExpression(initializer)) {
           const inner = initializer.getExpression();
           valueExpression = inner ?? null;
         } else {
@@ -21048,11 +21531,11 @@ function findCallExpressionsByName(parent, name) {
     if (skip(node, traversal)) {
       return;
     }
-    if (!Node79.isCallExpression(node)) {
+    if (!Node81.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (Node79.isIdentifier(callee) && callee.getText() === name) {
+    if (Node81.isIdentifier(callee) && callee.getText() === name) {
       out.push(node);
     }
   });
@@ -21063,10 +21546,10 @@ function resolveAttributeValueFunction(attr, parent) {
   if (expr === null) {
     return null;
   }
-  if (Node79.isArrowFunction(expr) || Node79.isFunctionExpression(expr)) {
+  if (Node81.isArrowFunction(expr) || Node81.isFunctionExpression(expr)) {
     return { func: expr, localName: null };
   }
-  if (Node79.isIdentifier(expr)) {
+  if (Node81.isIdentifier(expr)) {
     const symbol = expr.getSymbol();
     if (symbol === void 0) {
       return null;
@@ -21099,7 +21582,7 @@ function getCallArgumentFunction(call, position) {
   if (arg === void 0) {
     return null;
   }
-  if (Node79.isArrowFunction(arg) || Node79.isFunctionExpression(arg)) {
+  if (Node81.isArrowFunction(arg) || Node81.isFunctionExpression(arg)) {
     return arg;
   }
   return null;
@@ -21111,7 +21594,7 @@ function readArrayLiteralText(node) {
   if (node === null) {
     return null;
   }
-  if (Node79.isArrayLiteralExpression(node)) {
+  if (Node81.isArrayLiteralExpression(node)) {
     return node.getElements().map((e) => e.getText());
   }
   return [node.getText()];
@@ -21163,7 +21646,12 @@ var SKIP_DIRECTORIES = /* @__PURE__ */ new Set([
   ".turbo",
   ".next",
   ".suss",
-  "vendor"
+  "vendor",
+  "__pycache__",
+  ".venv",
+  "venv",
+  ".tox",
+  "tmp"
 ]);
 function findSourceFiles(rootDir, depth = 0) {
   if (depth > 12) {
@@ -21522,13 +22010,13 @@ var raise = (msg) => {
   throw new Error(msg);
 };
 function bindingPatternNames(nameNode) {
-  if (Node80.isObjectBindingPattern(nameNode)) {
+  if (Node82.isObjectBindingPattern(nameNode)) {
     return nameNode.getElements().map((e) => e.getName());
   }
-  if (Node80.isArrayBindingPattern(nameNode)) {
+  if (Node82.isArrayBindingPattern(nameNode)) {
     const names = [];
     for (const element of nameNode.getElements()) {
-      if (Node80.isOmittedExpression(element)) {
+      if (Node82.isOmittedExpression(element)) {
         continue;
       }
       names.push(element.getName());
@@ -21558,7 +22046,7 @@ function objectParamInputs(param, position, mapping) {
 }
 function componentPropsParameters(param, mapping) {
   const nameNode = param.getNameNode();
-  if (!Node80.isObjectBindingPattern(nameNode)) {
+  if (!Node82.isObjectBindingPattern(nameNode)) {
     const type = param.getType();
     return [
       {
@@ -21585,15 +22073,15 @@ function componentPropsParameters(param, mapping) {
 }
 function namesBoundUnder(element, field) {
   const inner = element.getNameNode();
-  if (Node80.isObjectBindingPattern(inner)) {
+  if (Node82.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 (Node80.isArrayBindingPattern(inner)) {
+  if (Node82.isArrayBindingPattern(inner)) {
     return inner.getElements().flatMap(
-      (nested) => Node80.isBindingElement(nested) ? namesBoundUnder(nested, field) : []
+      (nested) => Node82.isBindingElement(nested) ? namesBoundUnder(nested, field) : []
     );
   }
   return [{ binding: element, field }];
@@ -21606,7 +22094,7 @@ function bindingRole(element, name) {
   if (property === void 0) {
     return name;
   }
-  if (Node80.isStringLiteral(property)) {
+  if (Node82.isStringLiteral(property)) {
     return property.getLiteralValue();
   }
   return property.getText();
@@ -21638,7 +22126,7 @@ function extractParameters(func, inputMapping) {
       const param = params[i];
       const nameNode = param.getNameNode();
       const boundNames = bindingPatternNames(nameNode);
-      if (Node80.isObjectBindingPattern(nameNode)) {
+      if (Node82.isObjectBindingPattern(nameNode)) {
         for (const element of nameNode.getElements()) {
           result.push({
             name: element.getName(),
@@ -21705,7 +22193,7 @@ function extractDependencyCalls(func, barriers = NO_BARRIERS) {
       traversal.skip();
       return;
     }
-    if (!Node80.isVariableDeclaration(node)) {
+    if (!Node82.isVariableDeclaration(node)) {
       return;
     }
     const init = node.getInitializer();
@@ -21714,19 +22202,19 @@ function extractDependencyCalls(func, barriers = NO_BARRIERS) {
     }
     let isAsync = false;
     let callExpr = init;
-    if (Node80.isAwaitExpression(init)) {
+    if (Node82.isAwaitExpression(init)) {
       isAsync = true;
       callExpr = init.getExpression();
     }
-    if (!Node80.isCallExpression(callExpr)) {
+    if (!Node82.isCallExpression(callExpr)) {
       return;
     }
     const calleeName = callExpr.getExpression().getText();
     const nameNode = node.getNameNode();
-    const assignedTo = Node80.isIdentifier(nameNode) ? nameNode.getText() : null;
+    const assignedTo = Node82.isIdentifier(nameNode) ? nameNode.getText() : null;
     const declList = node.getParent();
     const varStmt = declList?.getParent();
-    const locationNode = varStmt !== void 0 && Node80.isVariableStatement(varStmt) ? varStmt : node;
+    const locationNode = varStmt !== void 0 && Node82.isVariableStatement(varStmt) ? varStmt : node;
     results.push({
       name: calleeName,
       assignedTo,
@@ -22467,6 +22955,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,
@@ -22507,17 +22996,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)
                 }
               ];
             }
@@ -22641,6 +23131,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],
@@ -22658,7 +23165,7 @@ function emitLibraryEnvReadMarkers(summaries, project, frameworks) {
       if (importer === void 0) {
         continue;
       }
-      summaries.push(libraryEnvReadMarker(pack, declared, importer));
+      summaries.push(libraryEnvReadMarker(pack.name, declared, importer));
     }
   }
 }
@@ -22706,31 +23213,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: functionCallBinding2({
-        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) {
@@ -22843,7 +23325,7 @@ function fieldValue2(record2, name) {
     return void 0;
   }
   const field = record2.fields.get(name);
-  return field === void 0 ? void 0 : force7(field.value);
+  return field === void 0 ? void 0 : force8(field.value);
 }
 function sinkUrl(sink, bindings, resolution) {
   const p = sink.extraction.path;
@@ -22903,17 +23385,17 @@ function synthesizeCallerSummaries(wrapper, resolution, options) {
   return out;
 }
 function callerName(func) {
-  if (Node80.isFunctionDeclaration(func) || Node80.isMethodDeclaration(func)) {
+  if (Node82.isFunctionDeclaration(func) || Node82.isMethodDeclaration(func)) {
     return func.getName() ?? "anonymous";
   }
   const parent = func.getParent();
-  if (parent !== void 0 && Node80.isVariableDeclaration(parent)) {
+  if (parent !== void 0 && Node82.isVariableDeclaration(parent)) {
     const nameNode = parent.getNameNode();
-    if (Node80.isIdentifier(nameNode)) {
+    if (Node82.isIdentifier(nameNode)) {
       return nameNode.getText();
     }
   }
-  if (parent !== void 0 && Node80.isPropertyAssignment(parent)) {
+  if (parent !== void 0 && Node82.isPropertyAssignment(parent)) {
     return parent.getName();
   }
   return "anonymous";
@@ -23953,7 +24435,7 @@ function buildSubUnitSummary(subUnit, parent, parentFunc, recognizers, everyUnit
 
 // src/facts/why.ts
 import path15 from "path";
-import { Node as Node81, Project as Project3, SyntaxKind as SyntaxKind15 } from "ts-morph";
+import { Node as Node83, Project as Project3, SyntaxKind as SyntaxKind15 } from "ts-morph";
 import { explainResolutionProof, renderExplanation } from "@suss/resolution";
 var TypeScriptWhySession = class {
   project;
@@ -23970,14 +24452,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 (Node81.isExpression(node) && node.getStartLineNumber() === line && node.getText() === text2 && (found === null || node.getWidth() <= found.getWidth())) {
+      if (Node83.isExpression(node) && node.getStartLineNumber() === line && node.getText() === text3 && (found === null || node.getWidth() <= found.getWidth())) {
         found = node;
       }
     });
@@ -24066,26 +24548,26 @@ var TypeScriptWhySession = class {
   }
 };
 function displayNameOf(node) {
-  if (Node81.isIdentifier(node) || Node81.isPropertyAccessExpression(node)) {
+  if (Node83.isIdentifier(node) || Node83.isPropertyAccessExpression(node)) {
     return node.getText();
   }
-  if (Node81.isCallExpression(node) || Node81.isNewExpression(node)) {
+  if (Node83.isCallExpression(node) || Node83.isNewExpression(node)) {
     return `${node.getExpression()?.getText() ?? "call"}(...)`;
   }
-  if (Node81.isFunctionDeclaration(node) || Node81.isClassDeclaration(node) || Node81.isMethodDeclaration(node) || Node81.isVariableDeclaration(node)) {
+  if (Node83.isFunctionDeclaration(node) || Node83.isClassDeclaration(node) || Node83.isMethodDeclaration(node) || Node83.isVariableDeclaration(node)) {
     const name = node.getName();
     if (name !== void 0) {
       return name;
     }
   }
-  if (Node81.isArrowFunction(node) || Node81.isFunctionExpression(node)) {
+  if (Node83.isArrowFunction(node) || Node83.isFunctionExpression(node)) {
     const parent = node.getParent();
-    if (parent !== void 0 && Node81.isVariableDeclaration(parent)) {
+    if (parent !== void 0 && Node83.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
@@ -24131,9 +24613,9 @@ function stubEvidence(options) {
 }
 
 // src/walk/defaulted.ts
-import { Node as Node82, SyntaxKind as SyntaxKind16 } from "ts-morph";
+import { Node as Node84, SyntaxKind as SyntaxKind16 } from "ts-morph";
 function isDefaultedAt(node) {
-  if (!Node82.isBindingElement(node)) {
+  if (!Node84.isBindingElement(node)) {
     const read2 = climbSyntax(node);
     const inner = peelSyntax(read2);
     const subject = {
@@ -24150,7 +24632,7 @@ function isDefaultedAt(node) {
 }
 function isSubject(subject, expression) {
   if (subject.kind === "local") {
-    return Node82.isIdentifier(expression) && refersTo(expression, subject.local);
+    return Node84.isIdentifier(expression) && refersTo(expression, subject.local);
   }
   return expression.getText() === subject.text;
 }
@@ -24164,7 +24646,7 @@ function hasFallbackOperand(node) {
   let child = climbSyntax(node);
   let parent = child.getParent();
   while (parent !== void 0) {
-    if (!Node82.isBinaryExpression(parent)) {
+    if (!Node84.isBinaryExpression(parent)) {
       return false;
     }
     const operator = parent.getOperatorToken().getText();
@@ -24185,8 +24667,8 @@ function isPresenceTest(node, subject) {
   let throughLogical = false;
   let parent = child.getParent();
   while (parent !== void 0) {
-    if (!Node82.isBinaryExpression(parent)) {
-      if (negatedOperand(parent) === null && !Node82.isTypeOfExpression(parent)) {
+    if (!Node84.isBinaryExpression(parent)) {
+      if (negatedOperand(parent) === null && !Node84.isTypeOfExpression(parent)) {
         return isTestedAt(parent, child, subject, { tested, throughLogical });
       }
       tested = true;
@@ -24212,22 +24694,22 @@ function logicalStep(parent, child) {
     return null;
   }
   const operand2 = peelSyntax(child);
-  return Node82.isTypeOfExpression(operand2) || missingSideOf(parent) === operand2 ? "tested" : null;
+  return Node84.isTypeOfExpression(operand2) || missingSideOf(parent) === operand2 ? "tested" : null;
 }
 function isTestedAt(parent, child, subject, seen) {
   if (conditionOf2(parent) === child) {
     return !absentPathThrows(parent, subject);
   }
-  if (seen.throughLogical && Node82.isExpressionStatement(parent)) {
+  if (seen.throughLogical && Node84.isExpressionStatement(parent)) {
     return !continuationThrows(parent);
   }
   return seen.tested;
 }
 function conditionOf2(node) {
-  if (Node82.isIfStatement(node) || Node82.isWhileStatement(node) || Node82.isDoStatement(node)) {
+  if (Node84.isIfStatement(node) || Node84.isWhileStatement(node) || Node84.isDoStatement(node)) {
     return node.getExpression();
   }
-  if (Node82.isConditionalExpression(node) || Node82.isForStatement(node)) {
+  if (Node84.isConditionalExpression(node) || Node84.isForStatement(node)) {
     return node.getCondition();
   }
   return void 0;
@@ -24245,24 +24727,24 @@ function isPresentAt(node, subject) {
   return false;
 }
 function isBranchWherePresent(parent, child, subject) {
-  if (Node82.isIfStatement(parent)) {
+  if (Node84.isIfStatement(parent)) {
     return isBranchTaken(parent.getExpression(), child, subject, {
       whenTrue: parent.getThenStatement(),
       whenFalse: parent.getElseStatement()
     });
   }
-  if (Node82.isConditionalExpression(parent)) {
+  if (Node84.isConditionalExpression(parent)) {
     return isBranchTaken(parent.getCondition(), child, subject, {
       whenTrue: parent.getWhenTrue(),
       whenFalse: parent.getWhenFalse()
     });
   }
-  if (Node82.isWhileStatement(parent)) {
+  if (Node84.isWhileStatement(parent)) {
     return isBranchTaken(parent.getExpression(), child, subject, {
       whenTrue: parent.getStatement()
     });
   }
-  if (!Node82.isBinaryExpression(parent) || parent.getRight() !== child) {
+  if (!Node84.isBinaryExpression(parent) || parent.getRight() !== child) {
     return false;
   }
   const operator = parent.getOperatorToken().getText();
@@ -24275,16 +24757,16 @@ function isBranchTaken(test, child, subject, branches) {
   return child === branches.whenFalse && isPresentWhen(test, false, subject);
 }
 function followsExitWhenAbsent(parent, child, subject) {
-  if (!(Node82.isBlock(parent) || Node82.isSourceFile(parent))) {
+  if (!(Node84.isBlock(parent) || Node84.isSourceFile(parent))) {
     return false;
   }
   const statements = parent.getStatements();
   return statements.slice(0, statements.indexOf(child)).some(
-    (statement) => Node82.isIfStatement(statement) && exitOf(statement.getThenStatement()) === "leave" && isPresentWhen(statement.getExpression(), false, subject)
+    (statement) => Node84.isIfStatement(statement) && exitOf(statement.getThenStatement()) === "leave" && isPresentWhen(statement.getExpression(), false, subject)
   );
 }
 function absentPathThrows(owner, subject) {
-  if (!Node82.isIfStatement(owner)) {
+  if (!Node84.isIfStatement(owner)) {
     return continuationThrows(owner);
   }
   const test = owner.getExpression();
@@ -24298,7 +24780,7 @@ function absentPathThrows(owner, subject) {
   return arms.some((arm) => armThrows(arm, owner, subject));
 }
 function armThrows(arm, owner, subject) {
-  if (arm !== void 0 && Node82.isIfStatement(arm)) {
+  if (arm !== void 0 && Node84.isIfStatement(arm)) {
     return absentPathThrows(arm, subject);
   }
   const exit = arm === void 0 ? null : exitOf(arm);
@@ -24308,7 +24790,7 @@ function continuationThrows(from) {
   let current2 = from;
   let parent = current2.getParent();
   while (parent !== void 0) {
-    if (Node82.isBlock(parent) || Node82.isSourceFile(parent)) {
+    if (Node84.isBlock(parent) || Node84.isSourceFile(parent)) {
       const statements = parent.getStatements();
       const after = statements.slice(
         statements.indexOf(current2) + 1
@@ -24327,7 +24809,7 @@ function continuationThrows(from) {
   return false;
 }
 function endsThePath(node) {
-  return isFunctionRoot(node) || Node82.isIterationStatement(node) || Node82.isReturnStatement(node);
+  return isFunctionRoot(node) || Node84.isIterationStatement(node) || Node84.isReturnStatement(node);
 }
 function firstExit(statements) {
   for (const statement of statements) {
@@ -24339,13 +24821,13 @@ function firstExit(statements) {
   return null;
 }
 function exitOf(statement) {
-  if (Node82.isThrowStatement(statement)) {
+  if (Node84.isThrowStatement(statement)) {
     return "throw";
   }
-  if (Node82.isReturnStatement(statement) || Node82.isContinueStatement(statement) || Node82.isBreakStatement(statement)) {
+  if (Node84.isReturnStatement(statement) || Node84.isContinueStatement(statement) || Node84.isBreakStatement(statement)) {
     return "leave";
   }
-  return Node82.isBlock(statement) ? firstExit(statement.getStatements()) : null;
+  return Node84.isBlock(statement) ? firstExit(statement.getStatements()) : null;
 }
 function isPresentWhen(test, outcome, subject) {
   const expression = peelSyntax(test);
@@ -24356,7 +24838,7 @@ function isPresentWhen(test, outcome, subject) {
   if (negated2 !== null) {
     return isPresentWhen(negated2, !outcome, subject);
   }
-  if (!Node82.isBinaryExpression(expression)) {
+  if (!Node84.isBinaryExpression(expression)) {
     return false;
   }
   const operator = expression.getOperatorToken().getText();
@@ -24387,24 +24869,24 @@ function missingSideOf(comparison) {
   return comparedValue(left, right, loose) ?? comparedValue(right, left, loose);
 }
 function comparedValue(operand2, other, loose) {
-  if (Node82.isTypeOfExpression(operand2)) {
-    return Node82.isStringLiteral(other) && other.getLiteralValue() === "undefined" ? peelSyntax(operand2.getExpression()) : null;
+  if (Node84.isTypeOfExpression(operand2)) {
+    return Node84.isStringLiteral(other) && other.getLiteralValue() === "undefined" ? peelSyntax(operand2.getExpression()) : null;
   }
-  const missing = Node82.isIdentifier(other) && other.getText() === "undefined" || loose && Node82.isNullLiteral(other);
+  const missing = Node84.isIdentifier(other) && other.getText() === "undefined" || loose && Node84.isNullLiteral(other);
   return missing ? operand2 : null;
 }
 function negatedOperand(node) {
-  if (Node82.isPrefixUnaryExpression(node) && node.getOperatorToken() === SyntaxKind16.ExclamationToken) {
+  if (Node84.isPrefixUnaryExpression(node) && node.getOperatorToken() === SyntaxKind16.ExclamationToken) {
     return node.getOperand();
   }
   return null;
 }
 function isKeyOfRead(read2, key, container) {
-  return (Node82.isPropertyAccessExpression(read2) || Node82.isElementAccessExpression(read2)) && read2.getExpression().getText() === container.getText() && isKeyReadBy(read2, key);
+  return (Node84.isPropertyAccessExpression(read2) || Node84.isElementAccessExpression(read2)) && read2.getExpression().getText() === container.getText() && isKeyReadBy(read2, key);
 }
 function isKeyReadBy(read2, key) {
-  if (Node82.isPropertyAccessExpression(read2)) {
-    return Node82.isStringLiteral(key) && key.getLiteralValue() === read2.getName();
+  if (Node84.isPropertyAccessExpression(read2)) {
+    return Node84.isStringLiteral(key) && key.getLiteralValue() === read2.getName();
   }
   return read2.getArgumentExpression()?.getText() === key.getText();
 }
@@ -24418,19 +24900,19 @@ function localNamedBy(node) {
   }
   const name = declaration.getNameNode();
   const scope = findEnclosingFunction(declaration);
-  if (!Node82.isIdentifier(name) || scope === null) {
+  if (!Node84.isIdentifier(name) || scope === null) {
     return null;
   }
   const symbol = symbolBehind(name);
   return symbol === void 0 ? null : { name, symbol, scope };
 }
 function declarationInitializedBy(node) {
-  if (Node82.isBindingElement(node)) {
+  if (Node84.isBindingElement(node)) {
     return node;
   }
   const read2 = climbSyntax(node);
   const parent = read2.getParent();
-  if (parent !== void 0 && Node82.isVariableDeclaration(parent) && parent.getInitializer() === read2) {
+  if (parent !== void 0 && Node84.isVariableDeclaration(parent) && parent.getInitializer() === read2) {
     return parent;
   }
   return null;
@@ -24445,6 +24927,7 @@ export {
   GENERIC_TERMINALS,
   NO_BARRIERS,
   ResolutionStore,
+  SKIP_DIRECTORIES,
   SOURCE_SUFFIXES,
   TSCONFIG_NAMES,
   TypeScriptWhySession,
@@ -24464,6 +24947,7 @@ export {
   createTypeScriptAdapter,
   declarationsBehind,
   discoverUnits,
+  dottedPathOf,
   exportedDeclarationsOf,
   extractCodeStructure,
   extractRawBranches,