@suss/adapter-typescript 0.12.0 → 0.13.1

package/dist/index.js

@@ -1,7 +1,7 @@
 // src/adapter.ts
 import path9 from "path";
 import {
-  Node as Node57,
+  Node as Node58,
   Project,
   SyntaxKind as SyntaxKind12
 } from "ts-morph";
@@ -249,14 +249,14 @@ function dedupe(shapes) {
   return out;
 }
 function isInformativeInitializer(node) {
-  const unwrapped = peelSyntax(node);
-  if (Node2.isStringLiteral(unwrapped) || Node2.isNoSubstitutionTemplateLiteral(unwrapped) || Node2.isNumericLiteral(unwrapped) || Node2.isBigIntLiteral(unwrapped) || Node2.isObjectLiteralExpression(unwrapped) || Node2.isArrayLiteralExpression(unwrapped) || Node2.isTemplateExpression(unwrapped) || Node2.isConditionalExpression(unwrapped) || Node2.isIdentifier(unwrapped) || Node2.isPropertyAccessExpression(unwrapped) || Node2.isElementAccessExpression(unwrapped)) {
+  const unwrapped2 = peelSyntax(node);
+  if (Node2.isStringLiteral(unwrapped2) || Node2.isNoSubstitutionTemplateLiteral(unwrapped2) || Node2.isNumericLiteral(unwrapped2) || Node2.isBigIntLiteral(unwrapped2) || Node2.isObjectLiteralExpression(unwrapped2) || Node2.isArrayLiteralExpression(unwrapped2) || Node2.isTemplateExpression(unwrapped2) || Node2.isConditionalExpression(unwrapped2) || Node2.isIdentifier(unwrapped2) || Node2.isPropertyAccessExpression(unwrapped2) || Node2.isElementAccessExpression(unwrapped2)) {
     return true;
   }
-  if (Node2.isPrefixUnaryExpression(unwrapped)) {
-    return isInformativeInitializer(unwrapped.getOperand());
+  if (Node2.isPrefixUnaryExpression(unwrapped2)) {
+    return isInformativeInitializer(unwrapped2.getOperand());
   }
-  const kind = unwrapped.getKind();
+  const kind = unwrapped2.getKind();
   return kind === SyntaxKind.TrueKeyword || kind === SyntaxKind.FalseKeyword || kind === SyntaxKind.NullKeyword;
 }
 function resolveCallableBody(callee) {
@@ -1461,7 +1461,9 @@ function degradedResult(func, terminalNodes, reason) {
 }
 
 // src/resolve/invocationEffects.ts
-import { Node as Node14 } from "ts-morph";
+import {
+  Node as Node14
+} from "ts-morph";
 
 // src/lines.ts
 function startLineOf(node) {
@@ -1575,8 +1577,8 @@ var ModuleGraph = class {
    * earlier walk settled stops it for the same reason.
    */
   settle(root, name) {
-    const settled = this.settledOf(name);
-    if (settled.has(root.getFilePath())) {
+    const settled2 = this.settledOf(name);
+    if (settled2.has(root.getFilePath())) {
       return;
     }
     const walked = /* @__PURE__ */ new Set();
@@ -1584,7 +1586,7 @@ var ModuleGraph = class {
     while (stack.length > 0) {
       const current2 = stack.pop();
       const currentPath = current2.getFilePath();
-      if (walked.has(currentPath) || settled.has(currentPath)) {
+      if (walked.has(currentPath) || settled2.has(currentPath)) {
         continue;
       }
       walked.add(currentPath);
@@ -1595,7 +1597,7 @@ var ModuleGraph = class {
       stack.push(...this.importedFilesOf(current2));
     }
     for (const filePath of walked) {
-      settled.add(filePath);
+      settled2.add(filePath);
     }
   }
   settledOf(name) {
@@ -2644,15 +2646,28 @@ function holeName(expr, ctx) {
 }
 
 // src/resolve/callOps.ts
+var MAX_WRITTEN_HOPS = 4;
 var ORIGIN = {
-  declaredBy: (origin, receiver) => origin.importedFrom.some(
+  declaredBy: (origin, receiver) => receiver.callee !== null && origin.importedFrom.some(
     (module) => methodDeclaredIn(receiver.callee, module, receiver.resolve)
   ),
   constructed: (origin, receiver) => origin.importedFrom.some(
     (module) => isImportedFrom(madeBy(receiver), module)
   )
 };
+var CALL_ORIGIN = {
+  declaredBy: ORIGIN.declaredBy,
+  constructed: (origin, receiver) => origin.importedFrom.some(
+    (module) => isImportedFrom(
+      rootIdentifier(receiver.expression) ?? receiver.expression,
+      module
+    )
+  )
+};
 function madeBy(receiver) {
+  if (receiver.callee === null) {
+    return rootIdentifier(receiver.expression) ?? receiver.expression;
+  }
   const written = receiver.resolve(receiver.callee.getExpression());
   if (written === null || !Node13.isNewExpression(written) && !Node13.isCallExpression(written)) {
     return receiver.callee;
@@ -2661,30 +2676,217 @@ function madeBy(receiver) {
 }
 function callOpsFor(call, resolveWrittenValue) {
   const resolve2 = resolveWrittenValue ?? (() => null);
-  const expression = call.getExpression();
+  const expression = calleeOf(call);
   const callee = Node13.isPropertyAccessExpression(expression) ? expression : null;
   let args = null;
   const argumentsOf = () => {
-    args ??= call.getArguments();
+    args ??= argumentsIn(call);
     return args;
   };
   return {
     method: () => callee === null ? null : callee.getName(),
-    receiverIsFrom: (origin) => callee !== null && ORIGIN[origin.origin](origin, { callee, resolve: resolve2 }),
+    receiverIsFrom: (origin) => ORIGIN[origin.origin](origin, { callee, expression, resolve: resolve2 }),
+    isFrom: (origin) => CALL_ORIGIN[origin.origin](origin, { callee, expression, resolve: resolve2 }),
     argumentCount: () => argumentsOf().length,
     nameAt: (index, unsettled) => nameAt(argumentsOf()[index], unsettled, resolve2),
     calleeText: () => expression.getText(),
+    receiver: () => callee === null ? null : opsOverCall(callee.getExpression(), resolve2),
+    argument: (index) => opsOverCall(argumentsOf()[index], resolve2),
+    callee: () => opsOverCall(expression, resolve2),
+    propertyAt: (index, property, unsettled) => propertyAt(argumentsOf()[index], property, unsettled, resolve2),
+    valueAt: (index) => {
+      const argument = argumentsOf()[index];
+      return argument === void 0 ? null : valueOpsFor(argument, resolve2);
+    },
     ast: () => call
   };
 }
+function valueOpsFor(value, resolve2) {
+  let settledValue;
+  const written = () => {
+    settledValue ??= settled(value, resolve2) ?? value;
+    return settledValue;
+  };
+  return {
+    text: () => literalText(written()),
+    flag: () => literalFlag(written()),
+    entries: (unsettled) => entriesOf(written(), unsettled, resolve2),
+    items: () => itemsOf(written(), resolve2),
+    property: (name) => {
+      const object = written();
+      const inside = Node13.isObjectLiteralExpression(object) ? initializerOf(object, name) : null;
+      return inside === null ? null : valueOpsFor(inside, resolve2);
+    },
+    parts: () => literalParts(written()),
+    holes: () => templateHoles(written(), resolve2)
+  };
+}
+function literalParts(value) {
+  const written = untagged(value);
+  const whole = literalText(written);
+  if (whole !== null) {
+    return [whole];
+  }
+  if (!Node13.isTemplateExpression(written)) {
+    return null;
+  }
+  return [
+    written.getHead().getLiteralText(),
+    ...written.getTemplateSpans().map((span) => span.getLiteral().getLiteralText())
+  ];
+}
+function templateHoles(value, resolve2) {
+  const written = untagged(value);
+  if (!Node13.isTemplateExpression(written)) {
+    return [];
+  }
+  return written.getTemplateSpans().map((span) => opsOverCall(span.getExpression(), resolve2));
+}
+function untagged(value) {
+  return Node13.isTaggedTemplateExpression(value) ? value.getTemplate() : value;
+}
+function entriesOf(value, unsettled, resolve2) {
+  if (!Node13.isObjectLiteralExpression(value)) {
+    return [];
+  }
+  const found = [];
+  for (const written of value.getProperties()) {
+    if (Node13.isShorthandPropertyAssignment(written)) {
+      const name = written.getNameNode();
+      found.push({ key: name.getText(), value: valueOpsFor(name, resolve2) });
+      continue;
+    }
+    if (!Node13.isPropertyAssignment(written)) {
+      continue;
+    }
+    const stated = written.getInitializer();
+    found.push({
+      key: entryKey(written, unsettled, resolve2),
+      value: valueOpsFor(stated ?? written, resolve2)
+    });
+  }
+  return found;
+}
+function entryKey(written, unsettled, resolve2) {
+  const name = written.getNameNode();
+  if (Node13.isComputedPropertyName(name)) {
+    return readName(name.getExpression(), { resolve: resolve2, unsettled });
+  }
+  return unquoted(written.getName());
+}
+function itemsOf(value, resolve2) {
+  if (!Node13.isArrayLiteralExpression(value)) {
+    return [];
+  }
+  return value.getElements().map((element) => valueOpsFor(element, resolve2));
+}
+function literalText(value) {
+  return Node13.isStringLiteral(value) || Node13.isNoSubstitutionTemplateLiteral(value) ? value.getLiteralValue() : null;
+}
+function literalFlag(value) {
+  if (Node13.isTrueLiteral(value) || Node13.isFalseLiteral(value)) {
+    return Node13.isTrueLiteral(value);
+  }
+  return Node13.isNumericLiteral(value) ? value.getLiteralValue() !== 0 : null;
+}
+function unquoted(name) {
+  return name.replace(/^["']|["']$/g, "");
+}
+function opsOverCall(value, resolve2) {
+  const written = settled(value, resolve2);
+  if (written === null || !isCalled(written)) {
+    return null;
+  }
+  return callOpsFor(written, resolve2);
+}
+function isCalled(value) {
+  return Node13.isCallExpression(value) || Node13.isNewExpression(value) || Node13.isTaggedTemplateExpression(value);
+}
+function calleeOf(call) {
+  return Node13.isTaggedTemplateExpression(call) ? call.getTag() : call.getExpression();
+}
+function argumentsIn(call) {
+  return Node13.isTaggedTemplateExpression(call) ? [call.getTemplate()] : call.getArguments();
+}
+function settled(value, resolve2) {
+  let step = unwrapped(value ?? null);
+  for (let hops = 0; hops < MAX_WRITTEN_HOPS; hops += 1) {
+    if (step === null || !Node13.isIdentifier(step)) {
+      return step;
+    }
+    const written = variableFor(step)?.getInitializer() ?? resolve2(step);
+    if (written === null || written === step) {
+      return null;
+    }
+    step = unwrapped(written);
+  }
+  return null;
+}
+function unwrapped(value) {
+  let inside = value;
+  while (inside !== null && (Node13.isAwaitExpression(inside) || Node13.isParenthesizedExpression(inside))) {
+    inside = inside.getExpression();
+  }
+  return inside;
+}
+function variableFor(name) {
+  if (!Node13.isIdentifier(name)) {
+    return null;
+  }
+  for (const declaration of name.getSymbol()?.getDeclarations() ?? []) {
+    if (Node13.isVariableDeclaration(declaration)) {
+      return declaration;
+    }
+  }
+  return null;
+}
 function nameAt(argument, unsettled, resolve2) {
   if (argument === void 0) {
     return null;
   }
   return readName(argument, { resolve: resolve2, unsettled });
 }
+function propertyAt(argument, property, unsettled, resolve2) {
+  const stated = objectAt(argument, resolve2);
+  const written = stated === null ? null : initializerOf(stated, property);
+  return written === null ? null : readName(written, { resolve: resolve2, unsettled });
+}
+function objectAt(argument, resolve2) {
+  const written = settled(argument, resolve2);
+  if (written === null) {
+    return null;
+  }
+  if (isCalled(written)) {
+    return objectAt(argumentsIn(written)[0], resolve2);
+  }
+  return Node13.isObjectLiteralExpression(written) ? written : null;
+}
+function initializerOf(object, property) {
+  for (const written of object.getProperties()) {
+    if (Node13.isPropertyAssignment(written) && written.getName() === property) {
+      return written.getInitializer() ?? null;
+    }
+  }
+  return null;
+}
 
 // src/resolve/invocationEffects.ts
+function invocationContextFor(call, resolveWrittenValue) {
+  let ops = null;
+  return {
+    call,
+    sourceFile: call.getSourceFile(),
+    extractArgs: () => extractArgs(call),
+    isImportedFrom,
+    // A context built without a store gives null, and the recognizer's
+    // own pattern match runs on the raw node.
+    resolveWrittenValue: resolveWrittenValue ?? (() => null),
+    get ops() {
+      ops ??= callOpsFor(call, resolveWrittenValue);
+      return ops;
+    }
+  };
+}
 function isImportedFrom(identifier, expectedModule) {
   if (!Node14.isIdentifier(identifier)) {
     return false;
@@ -2893,20 +3095,7 @@ function runInvocationRecognizers(func, recognizers, barriers = NO_BARRIERS, res
     if (!Node14.isCallExpression(node)) {
       return;
     }
-    let ops = null;
-    const ctx = {
-      call: node,
-      sourceFile,
-      extractArgs: () => extractArgs(node),
-      isImportedFrom,
-      // A context built without a store gives null, and the recognizer's
-      // own pattern match runs on the raw node.
-      resolveWrittenValue: resolveWrittenValue ?? (() => null),
-      get ops() {
-        ops ??= callOpsFor(node, resolveWrittenValue);
-        return ops;
-      }
-    };
+    const ctx = invocationContextFor(node, resolveWrittenValue);
     const line = enclosingStatementLine(node);
     for (const recognizer of recognizers) {
       let emitted = null;
@@ -2947,6 +3136,20 @@ function runAccessRecognizersAtModuleScope(sourceFile, recognizers, resolveWritt
     resolveWrittenValue
   );
 }
+function accessContextFor(node, sourceFile, resolveWrittenValue = () => null) {
+  const given = { access: node, sourceFile, resolveWrittenValue };
+  if (Node14.isPropertyAccessExpression(node)) {
+    return given;
+  }
+  let ops;
+  return {
+    ...given,
+    get ops() {
+      ops ??= callOpsFor(node, resolveWrittenValue);
+      return ops;
+    }
+  };
+}
 function dispatchAccessRecognizers(root, recognizers, isStop, resolveWrittenValue) {
   if (recognizers.length === 0) {
     return [];
@@ -2962,11 +3165,7 @@ function dispatchAccessRecognizers(root, recognizers, isStop, resolveWrittenValu
     if (!Node14.isPropertyAccessExpression(node) && !Node14.isCallExpression(node) && !Node14.isTaggedTemplateExpression(node)) {
       return;
     }
-    const ctx = {
-      access: node,
-      sourceFile,
-      resolveWrittenValue: resolveWrittenValue ?? (() => null)
-    };
+    const ctx = accessContextFor(node, sourceFile, resolveWrittenValue);
     const line = enclosingStatementLine(node);
     for (const recognizer of recognizers) {
       let emitted = null;
@@ -3129,8 +3328,8 @@ function inlineModuleBinding(ident, depth) {
     if (init === void 0) {
       continue;
     }
-    const unwrapped = unwrapCasts(init);
-    const captured = extractArg(unwrapped, depth - 1);
+    const unwrapped2 = unwrapCasts(init);
+    const captured = extractArg(unwrapped2, depth - 1);
     if (captured !== null) {
       return captured;
     }
@@ -3840,35 +4039,35 @@ function extractShapeWithArguments(node, substitutions) {
   }
 }
 function extractShapeInner(node) {
-  const unwrapped = peelSyntax(node);
-  if (boundArguments !== null && Node16.isIdentifier(unwrapped)) {
-    const argument = boundArguments.get(unwrapped.getText());
-    if (argument !== void 0 && argument !== unwrapped) {
+  const unwrapped2 = peelSyntax(node);
+  if (boundArguments !== null && Node16.isIdentifier(unwrapped2)) {
+    const argument = boundArguments.get(unwrapped2.getText());
+    if (argument !== void 0 && argument !== unwrapped2) {
       return extractShape(argument);
     }
   }
-  if (Node16.isObjectLiteralExpression(unwrapped)) {
-    return shapeFromObjectLiteral(unwrapped);
+  if (Node16.isObjectLiteralExpression(unwrapped2)) {
+    return shapeFromObjectLiteral(unwrapped2);
   }
-  if (Node16.isArrayLiteralExpression(unwrapped)) {
-    return shapeFromArrayLiteral(unwrapped);
+  if (Node16.isArrayLiteralExpression(unwrapped2)) {
+    return shapeFromArrayLiteral(unwrapped2);
   }
-  if (Node16.isStringLiteral(unwrapped) || Node16.isNoSubstitutionTemplateLiteral(unwrapped)) {
-    return { type: "literal", value: unwrapped.getLiteralValue() };
+  if (Node16.isStringLiteral(unwrapped2) || Node16.isNoSubstitutionTemplateLiteral(unwrapped2)) {
+    return { type: "literal", value: unwrapped2.getLiteralValue() };
   }
-  if (Node16.isTemplateExpression(unwrapped)) {
+  if (Node16.isTemplateExpression(unwrapped2)) {
     return { type: "text" };
   }
-  if (Node16.isNumericLiteral(unwrapped)) {
+  if (Node16.isNumericLiteral(unwrapped2)) {
     return numericLiteralShape(
-      unwrapped.getLiteralValue(),
-      unwrapped.getText()
+      unwrapped2.getLiteralValue(),
+      unwrapped2.getText()
     );
   }
-  if (Node16.isPrefixUnaryExpression(unwrapped)) {
-    const op = unwrapped.getOperatorToken();
+  if (Node16.isPrefixUnaryExpression(unwrapped2)) {
+    const op = unwrapped2.getOperatorToken();
     if (op === SyntaxKind4.MinusToken || op === SyntaxKind4.PlusToken) {
-      const inner = unwrapped.getOperand();
+      const inner = unwrapped2.getOperand();
       if (Node16.isNumericLiteral(inner)) {
         const v3 = inner.getLiteralValue();
         const signed = op === SyntaxKind4.MinusToken ? -v3 : v3;
@@ -3878,10 +4077,10 @@ function extractShapeInner(node) {
       }
     }
   }
-  if (Node16.isBigIntLiteral(unwrapped)) {
+  if (Node16.isBigIntLiteral(unwrapped2)) {
     return { type: "ref", name: "bigint" };
   }
-  const kind = unwrapped.getKind();
+  const kind = unwrapped2.getKind();
   if (kind === SyntaxKind4.TrueKeyword) {
     return { type: "literal", value: true };
   }
@@ -3891,12 +4090,12 @@ function extractShapeInner(node) {
   if (kind === SyntaxKind4.NullKeyword) {
     return { type: "null" };
   }
-  if (Node16.isIdentifier(unwrapped) && unwrapped.getText() === "undefined") {
+  if (Node16.isIdentifier(unwrapped2) && unwrapped2.getText() === "undefined") {
     return { type: "undefined" };
   }
-  if (Node16.isConditionalExpression(unwrapped)) {
-    const whenTrue = extractShape(unwrapped.getWhenTrue());
-    const whenFalse = extractShape(unwrapped.getWhenFalse());
+  if (Node16.isConditionalExpression(unwrapped2)) {
+    const whenTrue = extractShape(unwrapped2.getWhenTrue());
+    const whenFalse = extractShape(unwrapped2.getWhenFalse());
     const variants = [];
     if (whenTrue) {
       variants.push(whenTrue);
@@ -3905,15 +4104,15 @@ function extractShapeInner(node) {
       variants.push(whenFalse);
     }
     if (variants.length === 0) {
-      return shapeFromNodeType(unwrapped);
+      return shapeFromNodeType(unwrapped2);
     }
     return collapseVariants2(variants);
   }
-  const astShape = resolveNodeFromAst(unwrapped, extractShape);
+  const astShape = resolveNodeFromAst(unwrapped2, extractShape);
   if (astShape !== null) {
     return astShape;
   }
-  return shapeFromNodeType(unwrapped);
+  return shapeFromNodeType(unwrapped2);
 }
 function numericLiteralShape(value, raw) {
   return { type: "literal", value, raw };
@@ -4073,15 +4272,15 @@ function matchConstructorCode(ctorText, codes) {
   return null;
 }
 function statusOf(value, ctx) {
-  const unwrapped = unwrapAs(value);
-  if (Node17.isNumericLiteral(unwrapped)) {
-    return { type: "literal", value: Number(unwrapped.getText()) };
+  const unwrapped2 = unwrapAs(value);
+  if (Node17.isNumericLiteral(unwrapped2)) {
+    return { type: "literal", value: Number(unwrapped2.getText()) };
   }
-  const resolved = ctx.resolveWrittenValue?.(unwrapped) ?? null;
+  const resolved = ctx.resolveWrittenValue?.(unwrapped2) ?? null;
   if (resolved !== null && Node17.isNumericLiteral(resolved)) {
     return { type: "literal", value: Number(resolved.getText()) };
   }
-  return { type: "dynamic", sourceText: unwrapped.getText() };
+  return { type: "dynamic", sourceText: unwrapped2.getText() };
 }
 function statusFromProperty(obj, name, ctx) {
   const prop = obj.getProperty(name);
@@ -4464,9 +4663,9 @@ function returnedObjects(fn) {
     if (expression === void 0) {
       continue;
     }
-    const unwrapped = peelParens(expression);
-    if (Node18.isObjectLiteralExpression(unwrapped)) {
-      found.push(unwrapped);
+    const unwrapped2 = peelParens(expression);
+    if (Node18.isObjectLiteralExpression(unwrapped2)) {
+      found.push(unwrapped2);
     }
   }
   return found;
@@ -7860,7 +8059,7 @@ function classDecoratorStandingFor(cls, names, modules, resolution) {
     return null;
   }
   for (const decorator of cls.getDecorators()) {
-    const applied = resolution.importedNamesOf(calleeOf(decorator), modules);
+    const applied = resolution.importedNamesOf(calleeOf2(decorator), modules);
     const standsFor = names.find((name) => applied.includes(name));
     if (standsFor === void 0) {
       continue;
@@ -7878,7 +8077,7 @@ function frameworkArgs(decorator, standsFor, modules, resolution) {
   if (atClass.length > 0) {
     return atClass;
   }
-  const wrapper = resolution.resolveCallable(calleeOf(decorator));
+  const wrapper = resolution.resolveCallable(calleeOf2(decorator));
   if (wrapper === null) {
     return atClass;
   }
@@ -7903,7 +8102,7 @@ function statesAValue(arg, wrapper) {
 function isWithin(node, container) {
   return node.getSourceFile() === container.getSourceFile() && node.getStart() >= container.getStart() && node.getEnd() <= container.getEnd();
 }
-function calleeOf(decorator) {
+function calleeOf2(decorator) {
   const call = decorator.getCallExpression();
   if (call !== void 0) {
     return call.getExpression();
@@ -9110,9 +9309,9 @@ function attributeValueOf(node, name) {
   return null;
 }
 function literalStringOf(value) {
-  const unwrapped = Node41.isJsxExpression(value) ? value.getExpression() ?? value : value;
-  if (Node41.isStringLiteral(unwrapped) || Node41.isNoSubstitutionTemplateLiteral(unwrapped)) {
-    return unwrapped.getLiteralValue();
+  const unwrapped2 = Node41.isJsxExpression(value) ? value.getExpression() ?? value : value;
+  if (Node41.isStringLiteral(unwrapped2) || Node41.isNoSubstitutionTemplateLiteral(unwrapped2)) {
+    return unwrapped2.getLiteralValue();
   }
   return null;
 }
@@ -9131,11 +9330,11 @@ function elementTargetOfValue(value) {
   if (value === null) {
     return { kind: "absent" };
   }
-  const unwrapped = Node41.isJsxExpression(value) ? value.getExpression() ?? value : value;
-  if (!Node41.isJsxSelfClosingElement(unwrapped) && !Node41.isJsxElement(unwrapped)) {
+  const unwrapped2 = Node41.isJsxExpression(value) ? value.getExpression() ?? value : value;
+  if (!Node41.isJsxSelfClosingElement(unwrapped2) && !Node41.isJsxElement(unwrapped2)) {
     return { kind: "unreadable" };
   }
-  const tag = tagNameOf(unwrapped);
+  const tag = tagNameOf(unwrapped2);
   if (tag === null) {
     return { kind: "unreadable" };
   }
@@ -9999,7 +10198,146 @@ function discoverPackageImports(sourceFile, match, kind) {
 }
 
 // src/discovery/registrationCall.ts
+import { Node as Node47 } from "ts-morph";
+
+// src/resolve/routePath.ts
 import { Node as Node46 } from "ts-morph";
+import { patternHole as patternHole2 } from "@suss/behavioral-ir";
+var URL_SCHEME = /^[a-zA-Z][a-zA-Z\d+.-]*:\/\//;
+var URL_ORIGIN = /^[a-zA-Z][a-zA-Z\d+.-]*:\/\/[^/]*/;
+var PROTOCOL_RELATIVE = /^\/\//;
+var PROTOCOL_RELATIVE_ORIGIN = /^\/\/[^/]*/;
+function isAbsoluteUrlLiteral(text) {
+  return URL_SCHEME.test(text) || PROTOCOL_RELATIVE.test(text);
+}
+function stripOriginManually(text) {
+  if (URL_SCHEME.test(text)) {
+    return text.replace(URL_ORIGIN, "");
+  }
+  if (PROTOCOL_RELATIVE.test(text)) {
+    return text.replace(PROTOCOL_RELATIVE_ORIGIN, "");
+  }
+  return text;
+}
+function stripQueryAndFragment(text) {
+  const idx = text.search(/[?#]/);
+  return idx === -1 ? text : text.slice(0, idx);
+}
+var SUBSTITUTION = "\uFFFF";
+var AUTHORITY_OPENER = /^(?:[-+.\uFFFFa-zA-Z0-9]+:\/\/|\/\/)/;
+function originEndOf(flattened) {
+  const opener = AUTHORITY_OPENER.exec(flattened);
+  if (opener === null) {
+    return 0;
+  }
+  const slash = flattened.indexOf("/", opener[0].length);
+  return slash === -1 ? flattened.length : slash;
+}
+function appendPathText(path12, text) {
+  const idx = text.search(/[?#]/);
+  if (idx === -1) {
+    return { path: path12 + text, stop: false };
+  }
+  return { path: path12 + text.slice(0, idx), stop: true };
+}
+function parseAbsoluteUrl(text) {
+  try {
+    return new URL(text);
+  } catch {
+  }
+  if (!PROTOCOL_RELATIVE.test(text)) {
+    return void 0;
+  }
+  try {
+    return new URL(`https:${text}`);
+  } catch {
+    return void 0;
+  }
+}
+function pathnameOfAbsoluteLiteral(text) {
+  const parsed = parseAbsoluteUrl(text);
+  if (parsed !== void 0) {
+    return parsed.pathname;
+  }
+  return stripQueryAndFragment(stripOriginManually(text));
+}
+function pathFromLiteralUrl(text) {
+  const path12 = isAbsoluteUrlLiteral(text) ? pathnameOfAbsoluteLiteral(text) : stripQueryAndFragment(text);
+  return path12 === "" ? void 0 : path12;
+}
+function pathFromTemplateUrl(arg, resolution) {
+  const headText = arg.getHead().getLiteralText();
+  const spans = arg.getTemplateSpans();
+  const tails = spans.map((span) => span.getLiteral().getLiteralText());
+  const originEnd = originEndOf([headText, ...tails].join(SUBSTITUTION));
+  const head = appendPathText("", headText.slice(originEnd));
+  let path12 = head.path;
+  let stop = head.stop;
+  let at = headText.length;
+  for (let i = 0; i < spans.length && !stop; i++) {
+    const span = spans[i];
+    const tailText = tails[i];
+    if (span === void 0 || tailText === void 0) {
+      continue;
+    }
+    if (at >= originEnd) {
+      path12 += holeText(span.getExpression(), resolution);
+    }
+    at += SUBSTITUTION.length;
+    const appended = appendPathText(
+      path12,
+      tailText.slice(Math.max(0, originEnd - at))
+    );
+    path12 = appended.path;
+    stop = appended.stop;
+    at += tailText.length;
+  }
+  return path12 === "" ? void 0 : path12;
+}
+function pathFromUrlNode(node, resolution) {
+  if (Node46.isStringLiteral(node)) {
+    return pathFromLiteralUrl(node.getLiteralValue());
+  }
+  if (Node46.isNoSubstitutionTemplateLiteral(node)) {
+    return pathFromLiteralUrl(node.getLiteralValue());
+  }
+  if (Node46.isTemplateExpression(node)) {
+    return pathFromTemplateUrl(node, resolution);
+  }
+  return void 0;
+}
+function placeholderName(expr) {
+  if (Node46.isIdentifier(expr)) {
+    return expr.getText();
+  }
+  if (Node46.isPropertyAccessExpression(expr)) {
+    return expr.getName();
+  }
+  return "param";
+}
+function holeText(expr, resolution) {
+  const written = resolution?.resolveWrittenValue(expr) ?? null;
+  if (written === null) {
+    return patternHole2(placeholderName(expr));
+  }
+  if (emptyStringLiteral(written)) {
+    return "";
+  }
+  return pathFromUrlNode(written, resolution) ?? patternHole2(placeholderName(expr));
+}
+function emptyStringLiteral(node) {
+  return (Node46.isStringLiteral(node) || Node46.isNoSubstitutionTemplateLiteral(node)) && node.getLiteralValue() === "";
+}
+function pathFromArgument(arg, resolution) {
+  const written = pathFromUrlNode(arg, resolution);
+  if (written !== void 0) {
+    return written;
+  }
+  const resolved = resolution?.resolveWrittenValue(arg) ?? null;
+  return resolved !== null ? pathFromUrlNode(resolved, resolution) : void 0;
+}
+
+// src/discovery/registrationCall.ts
 function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, resolution, mountPrefixes) {
   const results = [];
   const registrationSubjects = registrationSubjectsOf(
@@ -10014,11 +10352,11 @@ function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, r
     (c) => c.startsWith(".") ? c.slice(1) : c
   );
   sourceFile.forEachDescendant((node) => {
-    if (!Node46.isCallExpression(node)) {
+    if (!Node47.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (!Node46.isPropertyAccessExpression(callee)) {
+    if (!Node47.isPropertyAccessExpression(callee)) {
       return;
     }
     const methodName = callee.getName();
@@ -10026,7 +10364,7 @@ function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, r
       return;
     }
     const subject = callee.getExpression();
-    const subjectName = Node46.isIdentifier(subject) ? subject.getText() : null;
+    const subjectName = Node47.isIdentifier(subject) ? subject.getText() : null;
     const subjectNode = subjectName === null ? void 0 : registrationSubjects.get(subjectName);
     if (subjectNode === void 0) {
       return;
@@ -10034,12 +10372,12 @@ function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, r
     const args = node.getArguments();
     let foundObjectArg = false;
     for (const arg of args) {
-      if (!Node46.isObjectLiteralExpression(arg)) {
+      if (!Node47.isObjectLiteralExpression(arg)) {
         continue;
       }
       foundObjectArg = true;
       for (const prop of arg.getProperties()) {
-        if (Node46.isMethodDeclaration(prop)) {
+        if (Node47.isMethodDeclaration(prop)) {
           results.push({
             func: prop,
             kind,
@@ -10047,7 +10385,7 @@ function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, r
           });
           continue;
         }
-        if (!Node46.isPropertyAssignment(prop)) {
+        if (!Node47.isPropertyAssignment(prop)) {
           continue;
         }
         const propInit = prop.getInitializer();
@@ -10145,9 +10483,9 @@ function registrationSubjectsOf(sourceFile, importModule, importName) {
       continue;
     }
     let calleeText = null;
-    if (Node46.isCallExpression(init)) {
+    if (Node47.isCallExpression(init)) {
       calleeText = init.getExpression().getText();
-    } else if (Node46.isNewExpression(init)) {
+    } else if (Node47.isNewExpression(init)) {
       calleeText = init.getExpression().getText();
     }
     if (calleeText === importedLocalName) {
@@ -10155,7 +10493,7 @@ function registrationSubjectsOf(sourceFile, importModule, importName) {
     }
   }
   sourceFile.forEachDescendant((node) => {
-    if (!Node46.isParameterDeclaration(node)) {
+    if (!Node47.isParameterDeclaration(node)) {
       return;
     }
     const typeNode = node.getTypeNode();
@@ -10199,21 +10537,21 @@ function discoverMountEdges(sourceFile, match, mount, knownSubjectIds, resolutio
   }
   const edges = [];
   sourceFile.forEachDescendant((node) => {
-    if (!Node46.isCallExpression(node)) {
+    if (!Node47.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (!Node46.isPropertyAccessExpression(callee) || callee.getName() !== mount.method) {
+    if (!Node47.isPropertyAccessExpression(callee) || callee.getName() !== mount.method) {
       return;
     }
     const subject = callee.getExpression();
-    const subjectNode = Node46.isIdentifier(subject) ? subjects.get(subject.getText()) : void 0;
+    const subjectNode = Node47.isIdentifier(subject) ? subjects.get(subject.getText()) : void 0;
     if (subjectNode === void 0) {
       return;
     }
     const args = node.getArguments();
     const prefixArg = args[mount.prefixPosition];
-    if (prefixArg === void 0 || !(Node46.isStringLiteral(prefixArg) || Node46.isNoSubstitutionTemplateLiteral(prefixArg))) {
+    if (prefixArg === void 0 || !(Node47.isStringLiteral(prefixArg) || Node47.isNoSubstitutionTemplateLiteral(prefixArg))) {
       return;
     }
     const targetNodes = mountTargetsAmong(
@@ -10247,15 +10585,15 @@ function mountTargetsAmong(args, targetPosition, knownSubjectIds, resolution) {
   return targets;
 }
 function stringProperty(obj, name) {
-  if (!Node46.isObjectLiteralExpression(obj)) {
+  if (!Node47.isObjectLiteralExpression(obj)) {
     return null;
   }
   const property = obj.getProperty(name);
-  if (property === void 0 || !Node46.isPropertyAssignment(property)) {
+  if (property === void 0 || !Node47.isPropertyAssignment(property)) {
     return null;
   }
   const value = property.getInitializer();
-  if (value !== void 0 && (Node46.isStringLiteral(value) || Node46.isNoSubstitutionTemplateLiteral(value))) {
+  if (value !== void 0 && (Node47.isStringLiteral(value) || Node47.isNoSubstitutionTemplateLiteral(value))) {
     return value.getLiteralValue();
   }
   return null;
@@ -10271,40 +10609,37 @@ function extractRouteInfoFromBinding(call, methodName, binding, resolution) {
       return null;
     }
     const method2 = stringProperty(routeObject, binding.method.property);
-    const path12 = stringProperty(routeObject, binding.path.property);
-    if (method2 === null || path12 === null) {
+    const path13 = stringProperty(routeObject, binding.path.property);
+    if (method2 === null || path13 === null) {
       return null;
     }
-    return { method: method2.toUpperCase(), path: path12 };
+    return { method: method2.toUpperCase(), path: path13 };
   }
-  if (binding.method.type !== "fromRegistration" || binding.path.type !== "fromRegistration") {
+  if (binding.method.type !== "fromRegistration" || binding.path.type !== "fromArgument") {
     return null;
   }
   let method;
   if (binding.method.position === "methodName") {
     method = binding.method.nameMap?.[methodName] ?? methodName.toUpperCase();
   } else {
-    const args2 = call.getArguments();
-    const arg = args2[binding.method.position];
-    if (arg === void 0 || !(Node46.isStringLiteral(arg) || Node46.isNoSubstitutionTemplateLiteral(arg))) {
+    const args = call.getArguments();
+    const arg = args[binding.method.position];
+    if (arg === void 0 || !(Node47.isStringLiteral(arg) || Node47.isNoSubstitutionTemplateLiteral(arg))) {
       return null;
     }
     method = arg.getLiteralValue().toUpperCase();
   }
-  const args = call.getArguments();
-  const pathArg = args[binding.path.position];
-  if (pathArg === void 0 || !(Node46.isStringLiteral(pathArg) || Node46.isNoSubstitutionTemplateLiteral(pathArg))) {
-    return null;
-  }
-  return { method, path: pathArg.getLiteralValue() };
+  const pathArg = call.getArguments()[binding.path.position];
+  const path12 = pathArg === void 0 ? void 0 : pathFromArgument(pathArg, resolution);
+  return path12 === void 0 ? null : { method, path: path12 };
 }
 
 // src/discovery/registrationLoop.ts
-import { Node as Node47 } from "ts-morph";
+import { Node as Node48 } from "ts-morph";
 function discoverRegistrationLoops(sourceFile, match, kind, resolution) {
   const results = [];
   sourceFile.forEachDescendant((node) => {
-    if (!Node47.isForOfStatement(node)) {
+    if (!Node48.isForOfStatement(node)) {
       return;
     }
     const expanded = tryExpandLoop(node, match, kind, resolution);
@@ -10347,13 +10682,13 @@ function tryExpandLoop(loop, match, kind, resolution) {
 }
 function loopVariableName(loop) {
   const initializer = loop.getInitializer();
-  if (Node47.isVariableDeclarationList(initializer)) {
+  if (Node48.isVariableDeclarationList(initializer)) {
     const decls = initializer.getDeclarations();
     if (decls.length !== 1) {
       return null;
     }
     const nameNode = decls[0]?.getNameNode();
-    if (nameNode !== void 0 && Node47.isIdentifier(nameNode)) {
+    if (nameNode !== void 0 && Node48.isIdentifier(nameNode)) {
       return nameNode.getText();
     }
   }
@@ -10366,14 +10701,14 @@ function bodyReferencesLoopVar(loop, name) {
     if (referenced) {
       return;
     }
-    if (!Node47.isCallExpression(node)) {
+    if (!Node48.isCallExpression(node)) {
       return;
     }
     node.forEachDescendant((inner) => {
       if (referenced) {
         return;
       }
-      if (Node47.isIdentifier(inner) && inner.getText() === name) {
+      if (Node48.isIdentifier(inner) && inner.getText() === name) {
         referenced = true;
       }
     });
@@ -10385,11 +10720,11 @@ function readRouteSpec(element, shape, resolution) {
   let path12 = null;
   let handler = null;
   for (const prop of element.getProperties()) {
-    if (Node47.isMethodDeclaration(prop) && prop.getName() === shape.handlerKey) {
+    if (Node48.isMethodDeclaration(prop) && prop.getName() === shape.handlerKey) {
       handler = { func: prop, name: shape.handlerKey };
       continue;
     }
-    if (!Node47.isPropertyAssignment(prop)) {
+    if (!Node48.isPropertyAssignment(prop)) {
       continue;
     }
     const name = prop.getName();
@@ -10412,17 +10747,17 @@ function readRouteSpec(element, shape, resolution) {
   return { method, path: path12, handler: handler.func, handlerName: handler.name };
 }
 function readStringLiteralValue(node) {
-  if (Node47.isStringLiteral(node) || Node47.isNoSubstitutionTemplateLiteral(node)) {
+  if (Node48.isStringLiteral(node) || Node48.isNoSubstitutionTemplateLiteral(node)) {
     return node.getLiteralValue();
   }
   return null;
 }
 function handlerName(value) {
-  return Node47.isIdentifier(value) ? value.getText() : value.getKindName();
+  return Node48.isIdentifier(value) ? value.getText() : value.getKindName();
 }
 
 // src/discovery/registrationTemplate.ts
-import { Node as Node48 } from "ts-morph";
+import { Node as Node49 } from "ts-morph";
 function discoverRegistrationTemplates(sourceFile, match, kind, resolution) {
   const localName = resolveImportedLocalName2(sourceFile, match);
   if (localName === null) {
@@ -10430,7 +10765,7 @@ function discoverRegistrationTemplates(sourceFile, match, kind, resolution) {
   }
   const results = [];
   sourceFile.forEachDescendant((node) => {
-    if (!Node48.isCallExpression(node)) {
+    if (!Node49.isCallExpression(node)) {
       return;
     }
     if (!isCallToHelper(node, localName)) {
@@ -10481,7 +10816,7 @@ function resolveImportedLocalName2(sourceFile, match) {
 }
 function isCallToHelper(call, localName) {
   const callee = call.getExpression();
-  return Node48.isIdentifier(callee) && callee.getText() === localName;
+  return Node49.isIdentifier(callee) && callee.getText() === localName;
 }
 function substitutePath(template, args) {
   const re = /\{(\d+)\}/g;
@@ -10507,7 +10842,7 @@ function substitutePath(template, args) {
   return result;
 }
 function readStringLiteral(node) {
-  if (Node48.isStringLiteral(node) || Node48.isNoSubstitutionTemplateLiteral(node)) {
+  if (Node49.isStringLiteral(node) || Node49.isNoSubstitutionTemplateLiteral(node)) {
     return node.getLiteralValue();
   }
   return null;
@@ -10530,7 +10865,7 @@ function resolveHandler(template, args, resolution) {
   return readPropertyAsFunction(arg, prop, resolution);
 }
 function handlerName2(value) {
-  return Node48.isIdentifier(value) ? value.getText() : value.getKindName();
+  return Node49.isIdentifier(value) ? value.getText() : value.getKindName();
 }
 function readPropertyAsFunction(arg, prop, resolution) {
   const obj = objectLiteralOf(arg, resolution);
@@ -10541,7 +10876,7 @@ function readPropertyAsFunction(arg, prop, resolution) {
     if (propertyName2(property) !== prop) {
       continue;
     }
-    if (Node48.isMethodDeclaration(property)) {
+    if (Node49.isMethodDeclaration(property)) {
       return { func: property, name: prop };
     }
     const held = propertyValueOf(property);
@@ -10549,19 +10884,19 @@ function readPropertyAsFunction(arg, prop, resolution) {
       return null;
     }
     const func = functionValueOf(held, resolution);
-    return func === null ? null : { func, name: Node48.isIdentifier(held) ? held.getText() : prop };
+    return func === null ? null : { func, name: Node49.isIdentifier(held) ? held.getText() : prop };
   }
   return null;
 }
 function propertyName2(property) {
-  if (Node48.isPropertyAssignment(property) || Node48.isShorthandPropertyAssignment(property) || Node48.isMethodDeclaration(property)) {
+  if (Node49.isPropertyAssignment(property) || Node49.isShorthandPropertyAssignment(property) || Node49.isMethodDeclaration(property)) {
     return property.getName();
   }
   return null;
 }
 
 // src/discovery/resolverMap.ts
-import { Node as Node49 } from "ts-morph";
+import { Node as Node50 } from "ts-morph";
 function discoverResolverMaps(sourceFile, match, kind, resolution) {
   const localName = resolveImportedLocalName(
     sourceFile,
@@ -10575,15 +10910,15 @@ function discoverResolverMaps(sourceFile, match, kind, resolution) {
   const excludeTypes = new Set(match.excludeTypes ?? []);
   const results = [];
   sourceFile.forEachDescendant((node) => {
-    if (!Node49.isCallExpression(node) && !Node49.isNewExpression(node)) {
+    if (!Node50.isCallExpression(node) && !Node50.isNewExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (!Node49.isIdentifier(callee) || callee.getText() !== localName) {
+    if (!Node50.isIdentifier(callee) || callee.getText() !== localName) {
       return;
     }
     const args = node.getArguments();
-    if (args.length === 0 || !Node49.isObjectLiteralExpression(args[0])) {
+    if (args.length === 0 || !Node50.isObjectLiteralExpression(args[0])) {
       return;
     }
     const config = args[0];
@@ -10637,7 +10972,7 @@ function resolverMapObject(prop, resolution) {
   return held === null ? null : objectLiteralOf(held, resolution);
 }
 function extractTypeDefsSdl(config, resolution) {
-  if (!Node49.isObjectLiteralExpression(config)) {
+  if (!Node50.isObjectLiteralExpression(config)) {
     return null;
   }
   const prop = config.getProperty("typeDefs");
@@ -10659,15 +10994,15 @@ function schemaSdlOf(expr, resolution) {
   return resolved === null ? null : writtenSdl(resolved);
 }
 function writtenSdl(expr) {
-  if (Node49.isStringLiteral(expr) || Node49.isNoSubstitutionTemplateLiteral(expr)) {
+  if (Node50.isStringLiteral(expr) || Node50.isNoSubstitutionTemplateLiteral(expr)) {
     const value = expr.getLiteralValue();
     return value === "" ? null : value;
   }
-  if (Node49.isTaggedTemplateExpression(expr)) {
+  if (Node50.isTaggedTemplateExpression(expr)) {
     const tag = expr.getTag();
-    if (Node49.isIdentifier(tag) && tag.getText() === "gql") {
+    if (Node50.isIdentifier(tag) && tag.getText() === "gql") {
       const template = expr.getTemplate();
-      if (Node49.isNoSubstitutionTemplateLiteral(template)) {
+      if (Node50.isNoSubstitutionTemplateLiteral(template)) {
         return template.getLiteralValue();
       }
     }
@@ -10675,16 +11010,16 @@ function writtenSdl(expr) {
   return null;
 }
 function resolverPropertyName(prop) {
-  if (Node49.isPropertyAssignment(prop) || Node49.isMethodDeclaration(prop)) {
+  if (Node50.isPropertyAssignment(prop) || Node50.isMethodDeclaration(prop)) {
     return prop.getName();
   }
-  if (Node49.isShorthandPropertyAssignment(prop)) {
+  if (Node50.isShorthandPropertyAssignment(prop)) {
     return prop.getName();
   }
   return null;
 }
 function resolverPropertyFunction(prop, resolution) {
-  if (Node49.isMethodDeclaration(prop)) {
+  if (Node50.isMethodDeclaration(prop)) {
     return prop;
   }
   const held = propertyValueOf(prop);
@@ -10945,7 +11280,7 @@ function resolvePrefix(edgesByChild, memo, childId, visiting) {
 }
 
 // src/discoveryContext.ts
-import { Node as Node50 } from "ts-morph";
+import { Node as Node51 } from "ts-morph";
 function createTsDiscoveryContext(resolution) {
   return {
     getFilePath,
@@ -10977,7 +11312,7 @@ function exportedFunctions(sourceFile, resolution) {
   return out;
 }
 function exportedFunction(decl, resolution) {
-  const writtenAgain = Node50.isVariableDeclaration(decl) && isWrittenAgain(decl);
+  const writtenAgain = Node51.isVariableDeclaration(decl) && isWrittenAgain(decl);
   if (!writtenAgain) {
     const declared = resolveDeclarationToFunction(decl);
     if (declared !== null) {
@@ -10998,7 +11333,7 @@ function valueToAskAbout(decl, writtenAgain) {
   if (writtenAgain) {
     return decl;
   }
-  const value = Node50.isVariableDeclaration(decl) ? decl.getInitializer() ?? decl : decl;
+  const value = Node51.isVariableDeclaration(decl) ? decl.getInitializer() ?? decl : decl;
   return couldStillNameAFunction(value) ? value : null;
 }
 function exportedCallConfigString(sourceFile, exportName, spec, resolution) {
@@ -11008,11 +11343,11 @@ function exportedCallConfigString(sourceFile, exportName, spec, resolution) {
   }
   const found = /* @__PURE__ */ new Set();
   for (const decl of declarations) {
-    if (!Node50.isVariableDeclaration(decl)) {
+    if (!Node51.isVariableDeclaration(decl)) {
       continue;
     }
     const init = peelExpression(decl.getInitializer());
-    if (init === void 0 || !Node50.isCallExpression(init)) {
+    if (init === void 0 || !Node51.isCallExpression(init)) {
       continue;
     }
     if (!calleeIsNamed(init.getExpression(), spec.callees)) {
@@ -11031,7 +11366,7 @@ function calleeIsNamed(callee, names) {
   if (names === void 0 || names.length === 0) {
     return true;
   }
-  return Node50.isIdentifier(callee) && names.includes(callee.getText());
+  return Node51.isIdentifier(callee) && names.includes(callee.getText());
 }
 function configArguments(args, argIndex) {
   if (argIndex === void 0) {
@@ -11046,18 +11381,18 @@ function configString(arg, property, resolution) {
     return null;
   }
   const prop = config.getProperty(property);
-  if (prop === void 0 || !Node50.isPropertyAssignment(prop)) {
+  if (prop === void 0 || !Node51.isPropertyAssignment(prop)) {
     return null;
   }
   const value = peelExpression(prop.getInitializer());
-  if (value !== void 0 && Node50.isStringLiteral(value)) {
+  if (value !== void 0 && Node51.isStringLiteral(value)) {
     return value.getLiteralValue();
   }
   return null;
 }
 function peelExpression(node) {
   let current2 = node;
-  while (current2 !== void 0 && (Node50.isAsExpression(current2) || Node50.isSatisfiesExpression(current2) || Node50.isParenthesizedExpression(current2) || Node50.isNonNullExpression(current2))) {
+  while (current2 !== void 0 && (Node51.isAsExpression(current2) || Node51.isSatisfiesExpression(current2) || Node51.isParenthesizedExpression(current2) || Node51.isNonNullExpression(current2))) {
     current2 = current2.getExpression();
   }
   return current2;
@@ -11067,14 +11402,14 @@ function toObjectLiteral(node, resolution) {
   if (peeled === void 0) {
     return null;
   }
-  if (Node50.isObjectLiteralExpression(peeled)) {
+  if (Node51.isObjectLiteralExpression(peeled)) {
     return peeled;
   }
   if (resolution === void 0) {
     return null;
   }
   const resolved = resolution.resolveObject(peeled);
-  if (resolved !== null && Node50.isObjectLiteralExpression(resolved)) {
+  if (resolved !== null && Node51.isObjectLiteralExpression(resolved)) {
     return resolved;
   }
   return null;
@@ -11084,18 +11419,18 @@ function resolveDeclarationToFunction(decl) {
   if (fn !== null) {
     return fn;
   }
-  if (Node50.isVariableDeclaration(decl)) {
+  if (Node51.isVariableDeclaration(decl)) {
     const init = decl.getInitializer();
-    if (init !== void 0 && (Node50.isArrowFunction(init) || Node50.isFunctionExpression(init))) {
+    if (init !== void 0 && (Node51.isArrowFunction(init) || Node51.isFunctionExpression(init))) {
       return init;
     }
   }
   return null;
 }
 function hasJsxReturn(func) {
-  if (Node50.isArrowFunction(func)) {
+  if (Node51.isArrowFunction(func)) {
     const body2 = func.getBody();
-    if (Node50.isExpression(body2) && isJsxOrFragment(body2)) {
+    if (Node51.isExpression(body2) && isJsxOrFragment(body2)) {
       return true;
     }
   }
@@ -11109,11 +11444,11 @@ function hasJsxReturn(func) {
       traversal.stop();
       return;
     }
-    if (node !== func && (Node50.isFunctionDeclaration(node) || Node50.isFunctionExpression(node) || Node50.isArrowFunction(node) || Node50.isMethodDeclaration(node))) {
+    if (node !== func && (Node51.isFunctionDeclaration(node) || Node51.isFunctionExpression(node) || Node51.isArrowFunction(node) || Node51.isMethodDeclaration(node))) {
       traversal.skip();
       return;
     }
-    if (Node50.isReturnStatement(node)) {
+    if (Node51.isReturnStatement(node)) {
       const expr = node.getExpression();
       if (expr !== void 0 && isJsxOrFragment(expr)) {
         found = true;
@@ -11124,14 +11459,14 @@ function hasJsxReturn(func) {
 }
 function isJsxOrFragment(node) {
   let current2 = node;
-  while (Node50.isParenthesizedExpression(current2)) {
+  while (Node51.isParenthesizedExpression(current2)) {
     current2 = current2.getExpression();
   }
-  return Node50.isJsxElement(current2) || Node50.isJsxSelfClosingElement(current2) || Node50.isJsxFragment(current2);
+  return Node51.isJsxElement(current2) || Node51.isJsxSelfClosingElement(current2) || Node51.isJsxFragment(current2);
 }
 
 // src/facts/store.ts
-import { Node as Node51 } from "ts-morph";
+import { Node as Node52 } from "ts-morph";
 import {
   clearRelations,
   Database as Database2,
@@ -11393,7 +11728,7 @@ var ResolutionStore = class {
    * can be rooted anywhere, so the queried value gets its own facts.
    */
   seedValue(value) {
-    if (!Node51.isExpression(value)) {
+    if (!Node52.isExpression(value)) {
       return;
     }
     const id = nodeId(value);
@@ -11423,13 +11758,16 @@ var ResolutionStore = class {
    * Two candidates give null, since ambiguity is nothing. The value
    * itself is never a result either, or an identifier whose chain went
    * nowhere would come back as itself.
+   *
+   * An answer has to be an expression, which leaves out the class a
+   * construction makes an instance of. The README says why.
    */
   lookupWritten(value) {
     this.derive();
     const candidates = /* @__PURE__ */ new Set();
     for (const target of this.answersFor("wantedIsWrittenAs", nodeId(value))) {
       const node = this.table.byId.get(target);
-      if (node === void 0 || node === value) {
+      if (node === void 0 || node === value || !Node52.isExpression(node)) {
         continue;
       }
       candidates.add(node);
@@ -11520,7 +11858,7 @@ function namesPackage2(moduleKey, packages) {
   );
 }
 function declarationOf2(value) {
-  const nameNode = Node51.isPropertyAccessExpression(value) ? value.getNameNode() : value;
+  const nameNode = Node52.isPropertyAccessExpression(value) ? value.getNameNode() : value;
   return nameNode.getSymbol()?.getDeclarations()[0] ?? value;
 }
 
@@ -11769,14 +12107,14 @@ function deriveBoundaryEffects(summaries, facts) {
   }
   const closureByEntry = /* @__PURE__ */ new Map();
   for (const [entry, kind, target] of db.facts("boundaryEffect")) {
-    const entryKey = String(entry);
-    const bucket = closureByEntry.get(entryKey) ?? [];
+    const entryKey2 = String(entry);
+    const bucket = closureByEntry.get(entryKey2) ?? [];
     bucket.push({
       kind: String(kind),
       target: String(target),
-      transitive: !(ownByEntry.get(entryKey)?.has(`${kind}\0${target}`) ?? false)
+      transitive: !(ownByEntry.get(entryKey2)?.has(`${kind}\0${target}`) ?? false)
     });
-    closureByEntry.set(entryKey, bucket);
+    closureByEntry.set(entryKey2, bucket);
   }
   for (const summary of summaries) {
     const key = unitKeyBySummary.get(summary);
@@ -11796,14 +12134,14 @@ function deriveBoundaryEffects(summaries, facts) {
 }
 
 // src/resolve/reachableClosure.ts
-import { Node as Node53 } from "ts-morph";
+import { Node as Node54 } from "ts-morph";
 import { functionCallBinding } from "@suss/behavioral-ir";
 import { Database as Database3, evaluate as evaluate4, lit as lit4, rule as rule4, variable as variable2 } from "@suss/datalog";
 import { assembleSummary as assembleSummary2 } from "@suss/extractor";
 
 // src/resolve/unfollowedCall.ts
 import {
-  Node as Node52,
+  Node as Node53,
   SyntaxKind as SyntaxKind11
 } from "ts-morph";
 function isInExternalCode(sourceFile) {
@@ -11813,19 +12151,19 @@ function isInExternalCode(sourceFile) {
   return sourceFile.getFilePath().includes("/node_modules/");
 }
 function hasBody(fn) {
-  if (Node52.isFunctionDeclaration(fn) || Node52.isMethodDeclaration(fn) || Node52.isFunctionExpression(fn)) {
+  if (Node53.isFunctionDeclaration(fn) || Node53.isMethodDeclaration(fn) || Node53.isFunctionExpression(fn)) {
     return fn.getBody?.() !== void 0;
   }
   return true;
 }
 function isDeclaredShape(declaration) {
-  return (Node52.isMethodSignature(declaration) || Node52.isPropertySignature(declaration)) && !isInExternalCode(declaration.getSourceFile());
+  return (Node53.isMethodSignature(declaration) || Node53.isPropertySignature(declaration)) && !isInExternalCode(declaration.getSourceFile());
 }
 function isExternalDeclaration(declaration) {
   if (isInExternalCode(declaration.getSourceFile())) {
     return true;
   }
-  if (Node52.isImportSpecifier(declaration) || Node52.isImportClause(declaration) || Node52.isNamespaceImport(declaration)) {
+  if (Node53.isImportSpecifier(declaration) || Node53.isImportClause(declaration) || Node53.isNamespaceImport(declaration)) {
     const target = declaration.getFirstAncestorByKind(SyntaxKind11.ImportDeclaration)?.getModuleSpecifierSourceFile();
     return target === void 0 || isInExternalCode(target);
   }
@@ -11835,16 +12173,16 @@ function declaresAnotherModule(declaration) {
   const module = declaration.getFirstAncestorByKind(
     SyntaxKind11.ModuleDeclaration
   );
-  return module !== void 0 && Node52.isStringLiteral(module.getNameNode());
+  return module !== void 0 && Node53.isStringLiteral(module.getNameNode());
 }
 function statesShapeOnly(declaration) {
   if (isExternalDeclaration(declaration)) {
     return false;
   }
-  if (Node52.isMethodSignature(declaration) || Node52.isPropertySignature(declaration)) {
+  if (Node53.isMethodSignature(declaration) || Node53.isPropertySignature(declaration)) {
     return true;
   }
-  if (Node52.isFunctionDeclaration(declaration) || Node52.isMethodDeclaration(declaration)) {
+  if (Node53.isFunctionDeclaration(declaration) || Node53.isMethodDeclaration(declaration)) {
     return declaration.getBody() === void 0;
   }
   return false;
@@ -11934,9 +12272,9 @@ function resolveDecl(decl, calleeName) {
     }
     return { func: fn, name: declName(decl) ?? calleeName };
   }
-  if (Node53.isVariableDeclaration(decl)) {
+  if (Node54.isVariableDeclaration(decl)) {
     const init = decl.getInitializer();
-    if (init !== void 0 && (Node53.isArrowFunction(init) || Node53.isFunctionExpression(init))) {
+    if (init !== void 0 && (Node54.isArrowFunction(init) || Node54.isFunctionExpression(init))) {
       return { func: init, name: decl.getName() };
     }
     return null;
@@ -11944,26 +12282,26 @@ function resolveDecl(decl, calleeName) {
   return null;
 }
 function declName(decl) {
-  if (Node53.isFunctionDeclaration(decl) || Node53.isMethodDeclaration(decl)) {
+  if (Node54.isFunctionDeclaration(decl) || Node54.isMethodDeclaration(decl)) {
     const n = decl.getName?.();
     if (typeof n === "string" && n.length > 0) {
       return n;
     }
   }
-  if (Node53.isFunctionExpression(decl)) {
+  if (Node54.isFunctionExpression(decl)) {
     const n = decl.getName();
     if (typeof n === "string" && n.length > 0) {
       return n;
     }
   }
   const parent = decl.getParent();
-  if (parent !== void 0 && Node53.isVariableDeclaration(parent)) {
+  if (parent !== void 0 && Node54.isVariableDeclaration(parent)) {
     return parent.getName();
   }
   return null;
 }
 function resolveCallee(call, calleeName, scan) {
-  if (!Node53.isCallExpression(call)) {
+  if (!Node54.isCallExpression(call)) {
     return null;
   }
   const callee = call.getExpression();
@@ -11976,7 +12314,7 @@ function resolveCallee(call, calleeName, scan) {
     }
   }
   const resolveSources = scan.resolveCallableSources;
-  if (resolveSources !== void 0 && Node53.isPropertyAccessExpression(callee) && declarations.some(isDeclaredShape)) {
+  if (resolveSources !== void 0 && Node54.isPropertyAccessExpression(callee) && declarations.some(isDeclaredShape)) {
     const sources = resolveSources(callee, scan.reachedFrom);
     const only = sources.length === 1 ? sources[0] : void 0;
     const resolved = only === void 0 ? null : resolveDecl(only, calleeName);
@@ -12003,7 +12341,7 @@ function collectReachable(func, scan) {
   const stops = [];
   const seen = /* @__PURE__ */ new Set();
   func.forEachDescendant((node) => {
-    if (!Node53.isCallExpression(node)) {
+    if (!Node54.isCallExpression(node)) {
       return;
     }
     const calleeText = normalizeCallee(node.getExpression().getText());
@@ -12189,7 +12527,7 @@ function recordStops(stopsByKey, summariesByKey, options) {
 }
 
 // src/resolve/rethrowEnrichment.ts
-import { Node as Node54 } from "ts-morph";
+import { Node as Node55 } from "ts-morph";
 import { Database as Database4, evaluate as evaluate5, lit as lit5, rule as rule5, variable as variable3 } from "@suss/datalog";
 var RETHROW_RULES = [
   rule5(
@@ -12329,7 +12667,7 @@ function findBareRethrow(func, location) {
       traversal.stop();
       return;
     }
-    if (!Node54.isThrowStatement(node)) {
+    if (!Node55.isThrowStatement(node)) {
       return;
     }
     if (startLineOf(node) !== location.start) {
@@ -12339,7 +12677,7 @@ function findBareRethrow(func, location) {
       return;
     }
     const thrown = node.getExpression();
-    if (thrown !== void 0 && Node54.isIdentifier(thrown)) {
+    if (thrown !== void 0 && Node55.isIdentifier(thrown)) {
       found = node;
     }
   });
@@ -12349,13 +12687,13 @@ function enclosingTry(throwStmt) {
   let current2 = throwStmt.getParent();
   let sawCatchClause = false;
   while (current2 !== void 0) {
-    if (Node54.isCatchClause(current2)) {
+    if (Node55.isCatchClause(current2)) {
       sawCatchClause = true;
     }
-    if (Node54.isTryStatement(current2)) {
+    if (Node55.isTryStatement(current2)) {
       return sawCatchClause ? current2 : null;
     }
-    if (Node54.isFunctionDeclaration(current2) || Node54.isFunctionExpression(current2) || Node54.isArrowFunction(current2) || Node54.isMethodDeclaration(current2)) {
+    if (Node55.isFunctionDeclaration(current2) || Node55.isFunctionExpression(current2) || Node55.isArrowFunction(current2) || Node55.isMethodDeclaration(current2)) {
       return null;
     }
     current2 = current2.getParent();
@@ -12363,14 +12701,14 @@ function enclosingTry(throwStmt) {
   return null;
 }
 function collectTryBodyCallees(tryStmt, index, keyFor) {
-  if (!Node54.isTryStatement(tryStmt)) {
+  if (!Node55.isTryStatement(tryStmt)) {
     return [];
   }
   const tryBlock = tryStmt.getTryBlock();
   const callees = [];
   const seen = /* @__PURE__ */ new Set();
   tryBlock.forEachDescendant((node) => {
-    if (!Node54.isCallExpression(node)) {
+    if (!Node55.isCallExpression(node)) {
       return;
     }
     const calleeSummary = resolveCalleeSummary(node, index);
@@ -12387,7 +12725,7 @@ function collectTryBodyCallees(tryStmt, index, keyFor) {
   return callees;
 }
 function resolveCalleeSummary(call, index) {
-  if (!Node54.isCallExpression(call)) {
+  if (!Node55.isCallExpression(call)) {
     return null;
   }
   const callee = call.getExpression();
@@ -12413,12 +12751,12 @@ function resolveCalleeSummary(call, index) {
   return null;
 }
 function functionFromDecl(decl) {
-  if (Node54.isFunctionDeclaration(decl) || Node54.isFunctionExpression(decl) || Node54.isArrowFunction(decl) || Node54.isMethodDeclaration(decl)) {
+  if (Node55.isFunctionDeclaration(decl) || Node55.isFunctionExpression(decl) || Node55.isArrowFunction(decl) || Node55.isMethodDeclaration(decl)) {
     return decl;
   }
-  if (Node54.isVariableDeclaration(decl)) {
+  if (Node55.isVariableDeclaration(decl)) {
     const init = decl.getInitializer();
-    if (init !== void 0 && (Node54.isArrowFunction(init) || Node54.isFunctionExpression(init))) {
+    if (init !== void 0 && (Node55.isArrowFunction(init) || Node55.isFunctionExpression(init))) {
       return init;
     }
   }
@@ -12427,23 +12765,23 @@ function functionFromDecl(decl) {
 
 // src/shapes/fieldAccesses.ts
 import {
-  Node as Node55
+  Node as Node56
 } from "ts-morph";
 function findResponseAccessor(callExpr) {
   let current2 = callExpr;
   const parent1 = current2.getParent();
-  if (parent1 !== void 0 && Node55.isAwaitExpression(parent1)) {
+  if (parent1 !== void 0 && Node56.isAwaitExpression(parent1)) {
     current2 = parent1;
   }
   const parent2 = current2.getParent();
-  if (parent2 === void 0 || !Node55.isVariableDeclaration(parent2)) {
+  if (parent2 === void 0 || !Node56.isVariableDeclaration(parent2)) {
     return null;
   }
   const nameNode = parent2.getNameNode();
-  if (Node55.isIdentifier(nameNode)) {
+  if (Node56.isIdentifier(nameNode)) {
     return { kind: "identifier", name: nameNode.getText() };
   }
-  if (Node55.isObjectBindingPattern(nameNode)) {
+  if (Node56.isObjectBindingPattern(nameNode)) {
     const bindings = /* @__PURE__ */ new Map();
     for (const element of nameNode.getElements()) {
       if (element.getDotDotDotToken() !== void 0) {
@@ -12464,11 +12802,11 @@ function findResponseAccessor(callExpr) {
 function buildThenChainAccessor(callExpr, func) {
   const bindings = /* @__PURE__ */ new Map();
   func.forEachDescendant((node) => {
-    if (!Node55.isParameterDeclaration(node)) {
+    if (!Node56.isParameterDeclaration(node)) {
       return;
     }
     const nameNode = node.getNameNode();
-    if (!Node55.isIdentifier(nameNode)) {
+    if (!Node56.isIdentifier(nameNode)) {
       return;
     }
     const prefix = prefixOfThenParam(node, callExpr, 0);
@@ -12500,7 +12838,7 @@ function prefixOfExpr(expr, responseCall, depth) {
   if (node === responseCall) {
     return [];
   }
-  if (Node55.isCallExpression(node)) {
+  if (Node56.isCallExpression(node)) {
     const hop = thenLikeCall(node);
     if (hop !== null) {
       if (hop.method === "catch") {
@@ -12532,14 +12870,14 @@ function prefixOfMemberExpr(expr, responseCall, depth) {
     return null;
   }
   const decl = chain.root.getSymbol()?.getDeclarations()?.[0];
-  if (decl === void 0 || !Node55.isParameterDeclaration(decl)) {
+  if (decl === void 0 || !Node56.isParameterDeclaration(decl)) {
     return null;
   }
   const base = prefixOfThenParam(decl, responseCall, depth + 1);
   return base === null ? null : [...base, ...chain.segments];
 }
 function firstCallbackParamName(callback) {
-  if (callback === void 0 || !(Node55.isArrowFunction(callback) || Node55.isFunctionExpression(callback))) {
+  if (callback === void 0 || !(Node56.isArrowFunction(callback) || Node56.isFunctionExpression(callback))) {
     return null;
   }
   const param = callback.getParameters()[0];
@@ -12547,11 +12885,11 @@ function firstCallbackParamName(callback) {
     return null;
   }
   const nameNode = param.getNameNode();
-  return Node55.isIdentifier(nameNode) ? nameNode.getText() : null;
+  return Node56.isIdentifier(nameNode) ? nameNode.getText() : null;
 }
 function unwrap2(expr) {
   let node = expr;
-  while (Node55.isAwaitExpression(node) || Node55.isParenthesizedExpression(node) || Node55.isAsExpression(node)) {
+  while (Node56.isAwaitExpression(node) || Node56.isParenthesizedExpression(node) || Node56.isAsExpression(node)) {
     node = node.getExpression();
   }
   return node;
@@ -12561,15 +12899,15 @@ function chainRootedAt(expr, rootName) {
   if (chain === null) {
     return null;
   }
-  return Node55.isIdentifier(chain.root) && chain.root.getText() === rootName ? chain.segments : null;
+  return Node56.isIdentifier(chain.root) && chain.root.getText() === rootName ? chain.segments : null;
 }
 function memberChain(expr) {
-  let node = Node55.isExpression(expr) ? unwrap2(expr) : expr;
-  if (Node55.isCallExpression(node)) {
+  let node = Node56.isExpression(expr) ? unwrap2(expr) : expr;
+  if (Node56.isCallExpression(node)) {
     node = node.getExpression();
   }
   const segments = [];
-  while (Node55.isPropertyAccessExpression(node)) {
+  while (Node56.isPropertyAccessExpression(node)) {
     segments.unshift(node.getName());
     node = node.getExpression();
   }
@@ -12588,16 +12926,16 @@ function collectPropertyAccesses(subtree, accessor) {
   if (accessor.kind === "identifier") {
     const varName = accessor.name;
     subtree.forEachDescendant((node) => {
-      if (!Node55.isPropertyAccessExpression(node)) {
+      if (!Node56.isPropertyAccessExpression(node)) {
         return;
       }
       const chain = [];
       let current2 = node;
-      while (Node55.isPropertyAccessExpression(current2)) {
+      while (Node56.isPropertyAccessExpression(current2)) {
         chain.unshift(current2.getName());
         current2 = current2.getExpression();
       }
-      if (Node55.isIdentifier(current2) && current2.getText() === varName) {
+      if (Node56.isIdentifier(current2) && current2.getText() === varName) {
         pushChain(chain);
       }
     });
@@ -12608,7 +12946,7 @@ function collectPropertyAccesses(subtree, accessor) {
     return source === void 0 ? void 0 : [source];
   } : (name) => accessor.bindings.get(name);
   subtree.forEachDescendant((node) => {
-    if (!Node55.isIdentifier(node)) {
+    if (!Node56.isIdentifier(node)) {
       return;
     }
     const prefix = prefixOf(node.getText());
@@ -12620,13 +12958,13 @@ function collectPropertyAccesses(subtree, accessor) {
     }
     let chainTop = node;
     let parent = chainTop.getParent();
-    while (parent !== void 0 && Node55.isPropertyAccessExpression(parent) && parent.getExpression() === chainTop) {
+    while (parent !== void 0 && Node56.isPropertyAccessExpression(parent) && parent.getExpression() === chainTop) {
       chainTop = parent;
       parent = chainTop.getParent();
     }
     const segments = [];
     let current2 = chainTop;
-    while (Node55.isPropertyAccessExpression(current2)) {
+    while (Node56.isPropertyAccessExpression(current2)) {
       segments.push(current2.getName());
       current2 = current2.getExpression();
     }
@@ -12640,15 +12978,15 @@ function isBindingDeclarationSite(node) {
     return true;
   }
   const parent = node.getParent();
-  return parent !== void 0 && Node55.isParameterDeclaration(parent) && parent.getNameNode() === node;
+  return parent !== void 0 && Node56.isParameterDeclaration(parent) && parent.getNameNode() === node;
 }
 function isInsideObjectBindingPattern(node) {
   let current2 = node.getParent();
   while (current2 !== void 0) {
-    if (Node55.isObjectBindingPattern(current2)) {
+    if (Node56.isObjectBindingPattern(current2)) {
       return true;
     }
-    if (Node55.isFunctionLikeDeclaration(current2) || Node55.isVariableStatement(current2)) {
+    if (Node56.isFunctionLikeDeclaration(current2) || Node56.isVariableStatement(current2)) {
       break;
     }
     current2 = current2.getParent();
@@ -12711,7 +13049,7 @@ function findBranchSubtree(func, byLineRange, terminalStartLine, terminalEndLine
     if (parent === void 0) {
       break;
     }
-    if (Node55.isIfStatement(parent)) {
+    if (Node56.isIfStatement(parent)) {
       const ifStmt = parent;
       const thenBlock = ifStmt.getThenStatement();
       const elseBlock = ifStmt.getElseStatement();
@@ -12774,7 +13112,7 @@ function buildNonBodyPropertySet(semantics) {
 
 // src/subUnitContext.ts
 import {
-  Node as Node56
+  Node as Node57
 } from "ts-morph";
 function createTsSubUnitContext() {
   return {
@@ -12788,7 +13126,7 @@ function createTsSubUnitContext() {
 }
 function skipNestedFunctions(parent) {
   return (node, traversal) => {
-    if (node !== parent && (Node56.isFunctionDeclaration(node) || Node56.isFunctionExpression(node) || Node56.isArrowFunction(node) || Node56.isMethodDeclaration(node))) {
+    if (node !== parent && (Node57.isFunctionDeclaration(node) || Node57.isFunctionExpression(node) || Node57.isArrowFunction(node) || Node57.isMethodDeclaration(node))) {
       traversal.skip();
       return true;
     }
@@ -12802,18 +13140,18 @@ function findJsxAttributes(parent) {
     if (skip(node, traversal)) {
       return;
     }
-    if (!Node56.isJsxOpeningElement(node) && !Node56.isJsxSelfClosingElement(node)) {
+    if (!Node57.isJsxOpeningElement(node) && !Node57.isJsxSelfClosingElement(node)) {
       return;
     }
     const tag = node.getTagNameNode().getText();
     for (const attr of node.getAttributes()) {
-      if (!Node56.isJsxAttribute(attr)) {
+      if (!Node57.isJsxAttribute(attr)) {
         continue;
       }
       const initializer = attr.getInitializer();
       let valueExpression = null;
       if (initializer !== void 0) {
-        if (Node56.isJsxExpression(initializer)) {
+        if (Node57.isJsxExpression(initializer)) {
           const inner = initializer.getExpression();
           valueExpression = inner ?? null;
         } else {
@@ -12836,11 +13174,11 @@ function findCallExpressionsByName(parent, name) {
     if (skip(node, traversal)) {
       return;
     }
-    if (!Node56.isCallExpression(node)) {
+    if (!Node57.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (Node56.isIdentifier(callee) && callee.getText() === name) {
+    if (Node57.isIdentifier(callee) && callee.getText() === name) {
       out.push(node);
     }
   });
@@ -12851,10 +13189,10 @@ function resolveAttributeValueFunction(attr, parent) {
   if (expr === null) {
     return null;
   }
-  if (Node56.isArrowFunction(expr) || Node56.isFunctionExpression(expr)) {
+  if (Node57.isArrowFunction(expr) || Node57.isFunctionExpression(expr)) {
     return { func: expr, localName: null };
   }
-  if (Node56.isIdentifier(expr)) {
+  if (Node57.isIdentifier(expr)) {
     const symbol = expr.getSymbol();
     if (symbol === void 0) {
       return null;
@@ -12873,15 +13211,15 @@ function resolveAttributeValueFunction(attr, parent) {
   return null;
 }
 function tryExtractFunction(decl) {
-  if (Node56.isFunctionDeclaration(decl)) {
+  if (Node57.isFunctionDeclaration(decl)) {
     return decl;
   }
-  if (Node56.isVariableDeclaration(decl)) {
+  if (Node57.isVariableDeclaration(decl)) {
     const init = decl.getInitializer();
     if (init === void 0) {
       return null;
     }
-    if (Node56.isArrowFunction(init) || Node56.isFunctionExpression(init)) {
+    if (Node57.isArrowFunction(init) || Node57.isFunctionExpression(init)) {
       return init;
     }
   }
@@ -12902,7 +13240,7 @@ function getCallArgumentFunction(call, position) {
   if (arg === void 0) {
     return null;
   }
-  if (Node56.isArrowFunction(arg) || Node56.isFunctionExpression(arg)) {
+  if (Node57.isArrowFunction(arg) || Node57.isFunctionExpression(arg)) {
     return arg;
   }
   return null;
@@ -12914,7 +13252,7 @@ function readArrayLiteralText(node) {
   if (node === null) {
     return null;
   }
-  if (Node56.isArrayLiteralExpression(node)) {
+  if (Node57.isArrayLiteralExpression(node)) {
     return node.getElements().map((e) => e.getText());
   }
   return [node.getText()];
@@ -13155,13 +13493,13 @@ var raise = (msg) => {
   throw new Error(msg);
 };
 function bindingPatternNames(nameNode) {
-  if (Node57.isObjectBindingPattern(nameNode)) {
+  if (Node58.isObjectBindingPattern(nameNode)) {
     return nameNode.getElements().map((e) => e.getName());
   }
-  if (Node57.isArrayBindingPattern(nameNode)) {
+  if (Node58.isArrayBindingPattern(nameNode)) {
     const names = [];
     for (const element of nameNode.getElements()) {
-      if (Node57.isOmittedExpression(element)) {
+      if (Node58.isOmittedExpression(element)) {
         continue;
       }
       names.push(element.getName());
@@ -13170,9 +13508,28 @@ function bindingPatternNames(nameNode) {
   }
   return null;
 }
+function objectParamInputs(param, position, mapping) {
+  const boundNames = bindingPatternNames(param.getNameNode());
+  if (boundNames === null) {
+    return [
+      {
+        name: param.getName(),
+        position,
+        role: mapping.wholeParamRole ?? "request",
+        typeText: null
+      }
+    ];
+  }
+  return boundNames.map((name) => ({
+    name,
+    position,
+    role: mapping.knownProperties[name] ?? name,
+    typeText: null
+  }));
+}
 function componentPropsParameters(param, mapping) {
   const nameNode = param.getNameNode();
-  if (!Node57.isObjectBindingPattern(nameNode)) {
+  if (!Node58.isObjectBindingPattern(nameNode)) {
     const type = param.getType();
     return [
       {
@@ -13210,34 +13567,11 @@ function extractParameters(func, inputMapping) {
         typeText: null
       });
     }
-  } else if (inputMapping.type === "singleObjectParam") {
-    const param = params[inputMapping.paramPosition];
-    if (param !== void 0) {
-      result.push({
-        name: param.getName(),
-        position: inputMapping.paramPosition,
-        role: "request",
-        typeText: null
-      });
-    }
-  } else if (inputMapping.type === "destructuredObject") {
-    const param = params[0];
+  } else if (inputMapping.type === "objectParam") {
+    const position = inputMapping.paramPosition ?? 0;
+    const param = params[position];
     if (param !== void 0) {
-      const nameNode = param.getNameNode();
-      const boundNames = bindingPatternNames(nameNode);
-      if (boundNames !== null) {
-        for (const name of boundNames) {
-          const role = inputMapping.knownProperties[name] ?? name;
-          result.push({ name, position: 0, role, typeText: null });
-        }
-      } else {
-        result.push({
-          name: param.getName(),
-          position: 0,
-          role: "request",
-          typeText: null
-        });
-      }
+      result.push(...objectParamInputs(param, position, inputMapping));
     }
   } else if (inputMapping.type === "allPositional") {
     for (let i = 0; i < params.length; i++) {
@@ -13298,11 +13632,11 @@ function extractParameters(func, inputMapping) {
 function extractDependencyCalls(func) {
   const results = [];
   func.forEachDescendant((node, traversal) => {
-    if (node !== func && (Node57.isFunctionDeclaration(node) || Node57.isFunctionExpression(node) || Node57.isArrowFunction(node) || Node57.isMethodDeclaration(node))) {
+    if (node !== func && (Node58.isFunctionDeclaration(node) || Node58.isFunctionExpression(node) || Node58.isArrowFunction(node) || Node58.isMethodDeclaration(node))) {
       traversal.skip();
       return;
     }
-    if (!Node57.isVariableDeclaration(node)) {
+    if (!Node58.isVariableDeclaration(node)) {
       return;
     }
     const init = node.getInitializer();
@@ -13311,19 +13645,19 @@ function extractDependencyCalls(func) {
     }
     let isAsync = false;
     let callExpr = init;
-    if (Node57.isAwaitExpression(init)) {
+    if (Node58.isAwaitExpression(init)) {
       isAsync = true;
       callExpr = init.getExpression();
     }
-    if (!Node57.isCallExpression(callExpr)) {
+    if (!Node58.isCallExpression(callExpr)) {
       return;
     }
     const calleeName = callExpr.getExpression().getText();
     const nameNode = node.getNameNode();
-    const assignedTo = Node57.isIdentifier(nameNode) ? nameNode.getText() : null;
+    const assignedTo = Node58.isIdentifier(nameNode) ? nameNode.getText() : null;
     const declList = node.getParent();
     const varStmt = declList?.getParent();
-    const locationNode = varStmt !== void 0 && Node57.isVariableStatement(varStmt) ? varStmt : node;
+    const locationNode = varStmt !== void 0 && Node58.isVariableStatement(varStmt) ? varStmt : node;
     results.push({
       name: calleeName,
       assignedTo,
@@ -13608,9 +13942,9 @@ function extractBindingMethod(binding, callSite, pack, resolution) {
   if (m.type === "fromArgumentProperty") {
     const args = callSite.callExpression.getArguments();
     const arg = args[m.position];
-    if (arg !== void 0 && Node57.isObjectLiteralExpression(arg)) {
+    if (arg !== void 0 && Node58.isObjectLiteralExpression(arg)) {
       const prop = arg.getProperty(m.property);
-      if (prop !== void 0 && Node57.isPropertyAssignment(prop)) {
+      if (prop !== void 0 && Node58.isPropertyAssignment(prop)) {
         const init = prop.getInitializer();
         if (init !== void 0) {
           const value = stringValueOf(init, resolution);
@@ -13627,138 +13961,17 @@ function extractBindingMethod(binding, callSite, pack, resolution) {
   }
   return void 0;
 }
-var URL_SCHEME = /^[a-zA-Z][a-zA-Z\d+.-]*:\/\//;
-var URL_ORIGIN = /^[a-zA-Z][a-zA-Z\d+.-]*:\/\/[^/]*/;
-var PROTOCOL_RELATIVE = /^\/\//;
-var PROTOCOL_RELATIVE_ORIGIN = /^\/\/[^/]*/;
-function isAbsoluteUrlLiteral(text) {
-  return URL_SCHEME.test(text) || PROTOCOL_RELATIVE.test(text);
-}
-function stripOriginManually(text) {
-  if (URL_SCHEME.test(text)) {
-    return text.replace(URL_ORIGIN, "");
-  }
-  if (PROTOCOL_RELATIVE.test(text)) {
-    return text.replace(PROTOCOL_RELATIVE_ORIGIN, "");
-  }
-  return text;
-}
-function stripQueryAndFragment(text) {
-  const idx = text.search(/[?#]/);
-  return idx === -1 ? text : text.slice(0, idx);
-}
-var SUBSTITUTION = "\uFFFF";
-var AUTHORITY_OPENER = /^(?:[-+.\uFFFFa-zA-Z0-9]+:\/\/|\/\/)/;
-function originEndOf(flattened) {
-  const opener = AUTHORITY_OPENER.exec(flattened);
-  if (opener === null) {
-    return 0;
-  }
-  const slash = flattened.indexOf("/", opener[0].length);
-  return slash === -1 ? flattened.length : slash;
-}
-function appendPathText(path12, text) {
-  const idx = text.search(/[?#]/);
-  if (idx === -1) {
-    return { path: path12 + text, stop: false };
-  }
-  return { path: path12 + text.slice(0, idx), stop: true };
-}
-function parseAbsoluteUrl(text) {
-  try {
-    return new URL(text);
-  } catch {
-  }
-  if (!PROTOCOL_RELATIVE.test(text)) {
-    return void 0;
-  }
-  try {
-    return new URL(`https:${text}`);
-  } catch {
-    return void 0;
-  }
-}
-function pathnameOfAbsoluteLiteral(text) {
-  const parsed = parseAbsoluteUrl(text);
-  if (parsed !== void 0) {
-    return parsed.pathname;
-  }
-  return stripQueryAndFragment(stripOriginManually(text));
-}
-function pathFromLiteralUrl(text) {
-  const path12 = isAbsoluteUrlLiteral(text) ? pathnameOfAbsoluteLiteral(text) : stripQueryAndFragment(text);
-  return path12 === "" ? void 0 : path12;
-}
-function pathFromTemplateUrl(arg) {
-  const headText = arg.getHead().getLiteralText();
-  const spans = arg.getTemplateSpans();
-  const tails = spans.map((span) => span.getLiteral().getLiteralText());
-  const originEnd = originEndOf([headText, ...tails].join(SUBSTITUTION));
-  const head = appendPathText("", headText.slice(originEnd));
-  let path12 = head.path;
-  let stop = head.stop;
-  let at = headText.length;
-  for (let i = 0; i < spans.length && !stop; i++) {
-    const span = spans[i];
-    const tailText = tails[i];
-    if (span === void 0 || tailText === void 0) {
-      continue;
-    }
-    if (at >= originEnd) {
-      path12 += `{${placeholderName(span.getExpression())}}`;
-    }
-    at += SUBSTITUTION.length;
-    const appended = appendPathText(
-      path12,
-      tailText.slice(Math.max(0, originEnd - at))
-    );
-    path12 = appended.path;
-    stop = appended.stop;
-    at += tailText.length;
-  }
-  return path12 === "" ? void 0 : path12;
-}
 function extractBindingPath(binding, callSite, pack, resolution) {
   const p = binding.path;
   if (p.type === "fromClientMethod") {
     return resolveContractField(callSite, pack, "path");
   }
-  if (p.type === "fromArgumentLiteral") {
-    const args = callSite.callExpression.getArguments();
-    const arg = args[p.position];
-    if (arg === void 0) {
-      return void 0;
-    }
-    const written = pathFromUrlNode(arg);
-    if (written !== void 0) {
-      return written;
-    }
-    const resolved = resolution?.resolveWrittenValue(arg) ?? null;
-    return resolved !== null ? pathFromUrlNode(resolved) : void 0;
-  }
-  return void 0;
-}
-function pathFromUrlNode(node) {
-  if (Node57.isStringLiteral(node)) {
-    return pathFromLiteralUrl(node.getLiteralValue());
-  }
-  if (Node57.isNoSubstitutionTemplateLiteral(node)) {
-    return pathFromLiteralUrl(node.getLiteralValue());
-  }
-  if (Node57.isTemplateExpression(node)) {
-    return pathFromTemplateUrl(node);
+  if (p.type === "fromArgument") {
+    const arg = callSite.callExpression.getArguments()[p.position];
+    return arg === void 0 ? void 0 : pathFromArgument(arg, resolution);
   }
   return void 0;
 }
-function placeholderName(expr) {
-  if (Node57.isIdentifier(expr)) {
-    return expr.getText();
-  }
-  if (Node57.isPropertyAccessExpression(expr)) {
-    return expr.getName();
-  }
-  return "param";
-}
 function resolveContractField(callSite, pack, field) {
   if (pack.contractReading === void 0 || callSite.methodName === null) {
     return void 0;
@@ -14226,7 +14439,7 @@ function internalImportsOf(project, file) {
   }
   return [...targets].sort();
 }
-function expandWrapperCallers(summaries, project, options) {
+function expandWrapperCallers(summaries, project, options, resolution) {
   const wrappers = [];
   let lookup = null;
   for (const s of summaries) {
@@ -14253,7 +14466,9 @@ function expandWrapperCallers(summaries, project, options) {
   }
   const derived = [];
   for (const wrapper of wrappers) {
-    derived.push(...synthesizeCallerSummaries(wrapper, project, options));
+    derived.push(
+      ...synthesizeCallerSummaries(wrapper, project, options, resolution)
+    );
   }
   return [...summaries, ...derived];
 }
@@ -14268,7 +14483,7 @@ function findWrapperPathParam(summary, lookup) {
   }
   for (const call of func.getDescendantsOfKind(SyntaxKind12.CallExpression)) {
     const first = call.getArguments()[0];
-    if (first === void 0 || !Node57.isIdentifier(first)) {
+    if (first === void 0 || !Node58.isIdentifier(first)) {
       continue;
     }
     const at = names.indexOf(first.getText());
@@ -14278,7 +14493,7 @@ function findWrapperPathParam(summary, lookup) {
   }
   return null;
 }
-function synthesizeCallerSummaries(wrapper, _project, options) {
+function synthesizeCallerSummaries(wrapper, _project, options, resolution) {
   const nameNode = wrapperNameNode(wrapper.func);
   if (nameNode === null) {
     return [];
@@ -14299,7 +14514,7 @@ function synthesizeCallerSummaries(wrapper, _project, options) {
     if (pathArg === void 0) {
       continue;
     }
-    const path12 = literalOrTemplate(pathArg);
+    const path12 = pathFromArgument(pathArg, resolution);
     if (path12 === void 0) {
       continue;
     }
@@ -14317,16 +14532,16 @@ function synthesizeCallerSummaries(wrapper, _project, options) {
   return out;
 }
 function wrapperNameNode(func) {
-  if (Node57.isFunctionDeclaration(func) || Node57.isMethodDeclaration(func)) {
+  if (Node58.isFunctionDeclaration(func) || Node58.isMethodDeclaration(func)) {
     const name = func.getNameNode();
-    if (name !== void 0 && Node57.isIdentifier(name)) {
+    if (name !== void 0 && Node58.isIdentifier(name)) {
       return name;
     }
   }
   const parent = func.getParent();
-  if (parent !== void 0 && Node57.isVariableDeclaration(parent)) {
+  if (parent !== void 0 && Node58.isVariableDeclaration(parent)) {
     const nameNode = parent.getNameNode();
-    if (Node57.isIdentifier(nameNode)) {
+    if (Node58.isIdentifier(nameNode)) {
       return nameNode;
     }
   }
@@ -14335,10 +14550,10 @@ function wrapperNameNode(func) {
 function enclosingCall(node) {
   let current2 = node.getParent();
   while (current2 !== void 0) {
-    if (Node57.isCallExpression(current2)) {
+    if (Node58.isCallExpression(current2)) {
       return current2;
     }
-    if (Node57.isPropertyAccessExpression(current2)) {
+    if (Node58.isPropertyAccessExpression(current2)) {
       current2 = current2.getParent();
       continue;
     }
@@ -14349,38 +14564,21 @@ function enclosingCall(node) {
 function enclosingFunction(node) {
   let current2 = node.getParent();
   while (current2 !== void 0) {
-    if (Node57.isFunctionDeclaration(current2) || Node57.isFunctionExpression(current2) || Node57.isArrowFunction(current2) || Node57.isMethodDeclaration(current2)) {
+    if (Node58.isFunctionDeclaration(current2) || Node58.isFunctionExpression(current2) || Node58.isArrowFunction(current2) || Node58.isMethodDeclaration(current2)) {
       return current2;
     }
     current2 = current2.getParent();
   }
   return null;
 }
-function literalOrTemplate(arg) {
-  if (Node57.isStringLiteral(arg)) {
-    return arg.getLiteralValue();
-  }
-  if (Node57.isNoSubstitutionTemplateLiteral(arg)) {
-    return arg.getLiteralValue();
-  }
-  if (Node57.isTemplateExpression(arg)) {
-    let path12 = arg.getHead().getLiteralText();
-    for (const span of arg.getTemplateSpans()) {
-      path12 += `{${placeholderName(span.getExpression())}}`;
-      path12 += span.getLiteral().getLiteralText();
-    }
-    return path12;
-  }
-  return void 0;
-}
 function callerName(func) {
-  if (Node57.isFunctionDeclaration(func) || Node57.isMethodDeclaration(func)) {
+  if (Node58.isFunctionDeclaration(func) || Node58.isMethodDeclaration(func)) {
     return func.getName() ?? "anonymous";
   }
   const parent = func.getParent();
-  if (parent !== void 0 && Node57.isVariableDeclaration(parent)) {
+  if (parent !== void 0 && Node58.isVariableDeclaration(parent)) {
     const nameNode = parent.getNameNode();
-    if (Node57.isIdentifier(nameNode)) {
+    if (Node58.isIdentifier(nameNode)) {
       return nameNode.getText();
     }
   }
@@ -14690,7 +14888,12 @@ function createTypeScriptAdapter(config) {
       const wrapperInput = reused === null ? summaries : [...summaries, ...reused.summaries];
       const withWrappers = timer.time(
         "expandWrapperCallers",
-        () => expandWrapperCallers(wrapperInput, project, config.extractorOptions)
+        () => expandWrapperCallers(
+          wrapperInput,
+          project,
+          config.extractorOptions,
+          resolution
+        )
       );
       const pipeline = reused === null ? withWrappers : [...summaries, ...withWrappers.slice(wrapperInput.length)];
       const withSubUnits = timer.time(
@@ -15231,7 +15434,7 @@ function findNearestTsconfig(startDir) {
 
 // src/facts/why.ts
 import path11 from "path";
-import { Node as Node58, Project as Project3, SyntaxKind as SyntaxKind13 } from "ts-morph";
+import { Node as Node59, Project as Project3, SyntaxKind as SyntaxKind13 } from "ts-morph";
 import { explainResolutionProof, renderExplanation } from "@suss/resolution";
 var JS_PHRASES = {
   bind: ({ tuple, describe }) => ({
@@ -15260,7 +15463,7 @@ var WhySession = class {
     }
     let found = null;
     sourceFile.forEachDescendant((node) => {
-      if (Node58.isExpression(node) && node.getStartLineNumber() === line && node.getText() === text && (found === null || node.getWidth() <= found.getWidth())) {
+      if (Node59.isExpression(node) && node.getStartLineNumber() === line && node.getText() === text && (found === null || node.getWidth() <= found.getWidth())) {
         found = node;
       }
     });
@@ -15352,21 +15555,21 @@ var WhySession = class {
   }
 };
 function displayNameOf(node) {
-  if (Node58.isIdentifier(node) || Node58.isPropertyAccessExpression(node)) {
+  if (Node59.isIdentifier(node) || Node59.isPropertyAccessExpression(node)) {
     return node.getText();
   }
-  if (Node58.isCallExpression(node) || Node58.isNewExpression(node)) {
+  if (Node59.isCallExpression(node) || Node59.isNewExpression(node)) {
     return `${node.getExpression()?.getText() ?? "call"}(...)`;
   }
-  if (Node58.isFunctionDeclaration(node) || Node58.isClassDeclaration(node) || Node58.isMethodDeclaration(node) || Node58.isVariableDeclaration(node)) {
+  if (Node59.isFunctionDeclaration(node) || Node59.isClassDeclaration(node) || Node59.isMethodDeclaration(node) || Node59.isVariableDeclaration(node)) {
     const name = node.getName();
     if (name !== void 0) {
       return name;
     }
   }
-  if (Node58.isArrowFunction(node) || Node58.isFunctionExpression(node)) {
+  if (Node59.isArrowFunction(node) || Node59.isFunctionExpression(node)) {
     const parent = node.getParent();
-    if (parent !== void 0 && Node58.isVariableDeclaration(parent)) {
+    if (parent !== void 0 && Node59.isVariableDeclaration(parent)) {
       return parent.getName();
     }
   }
@@ -15566,6 +15769,7 @@ export {
   ADAPTER_VERSION,
   ResolutionStore,
   WhySession,
+  accessContextFor,
   callOpsFor,
   collectAncestorBranches,
   collectClientFieldAccesses,
@@ -15583,6 +15787,7 @@ export {
   findNearestTsconfig,
   findTerminals,
   formatPackHealth,
+  invocationContextFor,
   isImportedFrom,
   methodDeclaredIn,
   parseConditionExpression,