@suss/adapter-typescript 0.26.0 → 0.28.0

package/dist/index.js

@@ -1,7 +1,7 @@
 // src/adapter.ts
 import path11 from "path";
 import {
-  Node as Node64,
+  Node as Node65,
   Project,
   SyntaxKind as SyntaxKind12
 } from "ts-morph";
@@ -29,7 +29,7 @@ import {
 } from "@suss/extractor";
 
 // src/assembly.ts
-import { Node as Node52 } from "ts-morph";
+import { Node as Node53 } from "ts-morph";
 import { guardsHoldOn, runsBefore } from "@suss/extractor";
 
 // src/conditions.ts
@@ -846,11 +846,11 @@ function tryExpandArrayIncludes(call) {
   return {
     type: "compound",
     op: "or",
-    operands: literalValues.map((lit6) => ({
+    operands: literalValues.map((lit5) => ({
       type: "comparison",
       left: subject,
       op: "eq",
-      right: lit6
+      right: lit5
     }))
   };
 }
@@ -1502,7 +1502,7 @@ function degradedResult(func, terminalNodes, reason) {
 
 // src/resolve/invocationEffects.ts
 import {
-  Node as Node41
+  Node as Node42
 } from "ts-morph";
 import { rawConditionToPredicate } from "@suss/extractor";
 
@@ -1987,7 +1987,8 @@ function readFileText(project, filePath) {
     return null;
   }
 }
-function parseTsconfig(tsConfigFilePath) {
+function parseTsconfig(tsConfigFilePath, seen = /* @__PURE__ */ new Set()) {
+  seen.add(tsConfigFilePath);
   const configFile = ts.readConfigFile(tsConfigFilePath, ts.sys.readFile);
   if (configFile.error !== void 0) {
     return { fileNames: [], options: {} };
@@ -2000,7 +2001,18 @@ function parseTsconfig(tsConfigFilePath) {
     void 0,
     tsConfigFilePath
   );
-  return { fileNames: parsed.fileNames, options: parsed.options };
+  if (parsed.fileNames.length > 0) {
+    return { fileNames: parsed.fileNames, options: parsed.options };
+  }
+  const referenced = (parsed.projectReferences ?? []).map((reference) => ts.resolveProjectReferencePath(reference)).filter((referencePath) => !seen.has(referencePath));
+  const fileNames = [
+    ...new Set(
+      referenced.flatMap(
+        (referencePath) => parseTsconfig(referencePath, seen).fileNames
+      )
+    )
+  ];
+  return { fileNames, options: parsed.options };
 }
 async function selectCandidateFiles(allFiles, packs, options) {
   const ungatedExists = packs.some(packIsUngated);
@@ -2361,7 +2373,7 @@ function reportUnreadableExports(file) {
 }
 
 // src/resolve/callOps.ts
-import { Node as Node40 } from "ts-morph";
+import { Node as Node41 } from "ts-morph";
 
 // src/configuredCall.ts
 import { Node as Node11 } from "ts-morph";
@@ -2419,17 +2431,16 @@ function rootIdentifier(node) {
 }
 
 // src/parameterReads.ts
-import { Node as Node38 } from "ts-morph";
+import { Node as Node39 } from "ts-morph";
 
 // src/resolve/functionBehind.ts
-import { Node as Node37 } from "ts-morph";
+import { Node as Node38 } from "ts-morph";
 
 // src/facts/store.ts
 import { Node as Node15 } from "ts-morph";
 import {
   clearRelations,
   Database as Database2,
-  deriveOnDemand,
   evaluate as evaluate2,
   lit as lit2,
   proofOf,
@@ -2440,8 +2451,10 @@ import {
   witnesses
 } from "@suss/datalog";
 import {
-  ANSWER_RELATIONS,
+  ASKING_RELATIONS,
+  queryFacts,
   RESOLUTION_QUESTIONS,
+  resolutionProgram,
   RESOLUTION_RULES as SHARED_RULES,
   VALUE_STEP
 } from "@suss/resolution";
@@ -2525,7 +2538,7 @@ import {
   SyntaxKind as SyntaxKind4,
   ts as ts2
 } from "ts-morph";
-import { NAMESPACE_IMPORT_NAME } from "@suss/resolution";
+import { NAMESPACE_IMPORT_NAME, valueLeftByWrites } from "@suss/resolution";
 
 // src/facts/assignments.ts
 import { Node as Node13, SyntaxKind as SyntaxKind3, VariableDeclarationKind } from "ts-morph";
@@ -2563,22 +2576,15 @@ function writesToBindingUncached(declaration) {
   }
   return { values, inOrder: writesRunInOrder(declaration, writes) };
 }
-function sameConstructionAcrossWrites(values) {
-  const candidates = values.filter((value) => !isNotYetPlaceholder(value));
-  if (candidates.length === 0) {
-    return null;
-  }
-  let construction = null;
-  for (const value of candidates) {
-    if (!isConstruction(value)) {
-      return null;
-    }
-    if (construction !== null && sourceOf(value) !== sourceOf(construction)) {
-      return null;
-    }
-    construction = value;
-  }
-  return construction;
+function describeWrites(values) {
+  return values.map((value, index) => ({
+    value: String(index),
+    placeholder: isNotYetPlaceholder(value),
+    construction: isConstruction(value) ? sourceOf(value) : null,
+    // Which name each value was written to does not reach here, and
+    // that is what a narrowing write is compared against.
+    narrowsName: false
+  }));
 }
 function isNotYetPlaceholder(value) {
   return value.getKind() === SyntaxKind3.NullKeyword || Node13.isIdentifier(value) && value.getText() === "undefined";
@@ -3069,6 +3075,13 @@ function emitValue(db, table, value) {
   fact(db, "writtenValue", id);
   return id;
 }
+function settledWrite(values, inOrder) {
+  const key = valueLeftByWrites(describeWrites(values), inOrder);
+  if (key === null) {
+    return null;
+  }
+  return values[Number(key)] ?? null;
+}
 function emitBindingValues(db, table, declaration) {
   const declarationId = nodeId(declaration);
   if (!isWrittenAgain(declaration)) {
@@ -3079,17 +3092,12 @@ function emitBindingValues(db, table, declaration) {
     return;
   }
   const { values, inOrder } = writesToBinding(declaration);
-  const last = values[values.length - 1];
-  if (inOrder && last !== void 0) {
-    fact(db, "endsHolding", declarationId, emitValue(db, table, last));
-    return;
-  }
-  const construction = sameConstructionAcrossWrites(values);
-  if (construction !== null) {
-    fact(db, "endsHolding", declarationId, emitValue(db, table, construction));
+  const settled2 = settledWrite(values, inOrder);
+  if (settled2 === null) {
+    reassignedUnstated.add(declarationId);
     return;
   }
-  reassignedUnstated.add(declarationId);
+  fact(db, "endsHolding", declarationId, emitValue(db, table, settled2));
 }
 var reassignedUnstated = /* @__PURE__ */ new Set();
 function reassignedNamesUnstated() {
@@ -3100,32 +3108,24 @@ function forgetReassignedNamesUnstated() {
 }
 function emitFieldValues(db, table, declaration) {
   const { values, inOrder } = writesToField(declaration);
-  const last = values[values.length - 1];
-  if (inOrder && last !== void 0 && Node14.isExpression(last)) {
-    fact(db, "binds", nodeId(declaration), emitValue(db, table, last));
+  const settled2 = settledWrite(values, inOrder);
+  if (settled2 === null || !Node14.isExpression(settled2)) {
     return;
   }
-  const construction = sameConstructionAcrossWrites(values);
-  if (construction !== null) {
-    fact(db, "binds", nodeId(declaration), emitValue(db, table, construction));
-  }
+  fact(db, "binds", nodeId(declaration), emitValue(db, table, settled2));
 }
 function emitParameterPropertyRead(db, table, referenceId, declaration) {
   const { values, inOrder } = writesToField(declaration);
-  const last = values[values.length - 1];
-  if (inOrder && last !== void 0 && Node14.isExpression(last)) {
-    fact(db, "binds", referenceId, emitValue(db, table, last));
+  const settled2 = settledWrite(values, inOrder);
+  if (settled2 === null) {
     return;
   }
-  if (inOrder && last !== void 0) {
-    table.byId.set(nodeId(last), last);
-    fact(db, "binds", referenceId, nodeId(last));
+  if (Node14.isExpression(settled2)) {
+    fact(db, "binds", referenceId, emitValue(db, table, settled2));
     return;
   }
-  const construction = sameConstructionAcrossWrites(values);
-  if (construction !== null) {
-    fact(db, "binds", referenceId, emitValue(db, table, construction));
-  }
+  table.byId.set(nodeId(settled2), settled2);
+  fact(db, "binds", referenceId, nodeId(settled2));
 }
 function emitBindingElementFacts(db, table, element) {
   const id = nodeId(element);
@@ -3587,36 +3587,16 @@ var JS_RULES = [
     "bind"
   )
 ];
-var RESOLUTION_PROGRAM = process.env.SUSS_RESOLUTION_ON_DEMAND === "0" ? {
-  rules: [...SHARED_RULES, ...JS_RULES, ...RESOLUTION_QUESTIONS],
-  demandDriven: [],
-  demands: []
-} : deriveOnDemand(
-  [...SHARED_RULES, ...JS_RULES, ...RESOLUTION_QUESTIONS],
-  ANSWER_RELATIONS
-);
+var RESOLUTION_PROGRAM = resolutionProgram(JS_RULES);
 var WITNESS_RULES = [...SHARED_RULES, ...JS_RULES];
 var NOT_BASE_FACTS = /* @__PURE__ */ new Set([
   ...[...SHARED_RULES, ...JS_RULES, ...RESOLUTION_QUESTIONS].map(
     (r) => r.head.relation
   ),
   ...RESOLUTION_PROGRAM.rules.map((r) => r.head.relation),
-  "wanted",
-  "wantedOrigin",
-  "wantedCallOrigin",
-  "wantedExportsOf",
-  "wantedAnchor",
-  "wantedSubject"
+  ...ASKING_RELATIONS
 ]);
-var QUERY_FACTS = RESOLUTION_PROGRAM.demandDriven.length === 0 ? [] : [
-  ...RESOLUTION_PROGRAM.demandDriven,
-  "wanted",
-  "wantedOrigin",
-  "wantedCallOrigin",
-  "wantedExportsOf",
-  "wantedAnchor",
-  "wantedSubject"
-];
+var QUERY_FACTS = queryFacts(RESOLUTION_PROGRAM);
 var MODULE_DEMANDS = RESOLUTION_PROGRAM.demands.filter(
   (one) => (one.relation === "moduleExport" || one.relation === "moduleForwards") && one.bound[0] === true
 ).map((one) => one.demand);
@@ -5240,6 +5220,7 @@ function literalValueOf(value, resolution, isWanted) {
 }
 
 // src/discovery/clientCall.ts
+var GLOBAL_OBJECTS = /* @__PURE__ */ new Set(["globalThis", "window", "self", "global"]);
 function discoverClientCalls(sourceFile, match, kind, resolution) {
   const results = [];
   const isGlobal = match.importModule === "global";
@@ -5264,9 +5245,15 @@ function discoverClientCalls(sourceFile, match, kind, resolution) {
       if (callee.getText() === match.importName) {
         matched = true;
       }
+    } else if (isGlobal && Node18.isPropertyAccessExpression(callee)) {
+      if (callee.getName() === match.importName && GLOBAL_OBJECTS.has(callee.getExpression().getText())) {
+        matched = true;
+      }
+    } else if (match.callable === true && isClientItself(callee, match, clientVarNames, resolution)) {
+      matched = true;
     } else if (Node18.isPropertyAccessExpression(callee)) {
       const subject = callee.getExpression();
-      if (Node18.isIdentifier(subject) && (isClientImport(subject, match, resolution, true) || clientVarNames.has(subject.getText())) || resolvesToKnownInstance(subject, match, resolution)) {
+      if (isClientItself(subject, match, clientVarNames, resolution)) {
         methodName = callee.getName();
         if (methodFilter === null || methodFilter.has(methodName)) {
           matched = true;
@@ -5292,6 +5279,9 @@ function discoverClientCalls(sourceFile, match, kind, resolution) {
   });
   return results;
 }
+function isClientItself(subject, match, clientVarNames, resolution) {
+  return Node18.isIdentifier(subject) && (isClientImport(subject, match, resolution, true) || clientVarNames.has(subject.getText())) || resolvesToKnownInstance(subject, match, resolution);
+}
 function clientReceiverCheckFor(sourceFile, match, resolution) {
   const localName = resolveImportedLocalName(
     sourceFile,
@@ -7721,17 +7711,157 @@ function discoverPackageImports(sourceFile, match, kind, resolution) {
 }
 
 // src/discovery/registrationCall.ts
-import { Node as Node32 } from "ts-morph";
+import { Node as Node34 } from "ts-morph";
 import { joinMountedPath } from "@suss/resolution";
 
 // src/resolve/routePath.ts
-import { pathOf } from "@suss/values";
+import { force as force3, pathOf } from "@suss/values";
 function pathFromArgument(arg, resolution) {
   return pathOf(evaluatedValue(arg, resolution));
 }
+function pathFromProperty(arg, property, resolution) {
+  const record2 = evaluatedValue(arg, resolution);
+  if (record2.kind !== "record") {
+    return void 0;
+  }
+  const field = record2.fields.get(property);
+  return field === void 0 ? void 0 : pathOf(force3(field.value));
+}
+
+// src/discovery/wrapperFactory.ts
+import { Node as Node33 } from "ts-morph";
+
+// src/resolve/unfollowedCall.ts
+import {
+  Node as Node32,
+  SyntaxKind as SyntaxKind8
+} from "ts-morph";
+import {
+  unfollowedCallGap,
+  worthRecording
+} from "@suss/behavioral-ir";
+function isInExternalCode(sourceFile) {
+  if (sourceFile.isDeclarationFile()) {
+    return true;
+  }
+  return sourceFile.getFilePath().includes("/node_modules/");
+}
+function hasBody(fn) {
+  if (Node32.isFunctionDeclaration(fn) || Node32.isMethodDeclaration(fn) || Node32.isFunctionExpression(fn)) {
+    return fn.getBody?.() !== void 0;
+  }
+  return true;
+}
+function isDeclaredShape(declaration) {
+  return (Node32.isMethodSignature(declaration) || Node32.isPropertySignature(declaration)) && !isInExternalCode(declaration.getSourceFile());
+}
+function isExternalDeclaration(declaration) {
+  if (isInExternalCode(declaration.getSourceFile())) {
+    return true;
+  }
+  if (Node32.isImportSpecifier(declaration) || Node32.isImportClause(declaration) || Node32.isNamespaceImport(declaration)) {
+    const target = declaration.getFirstAncestorByKind(SyntaxKind8.ImportDeclaration)?.getModuleSpecifierSourceFile();
+    return target === void 0 || isInExternalCode(target);
+  }
+  return declaresAnotherModule(declaration);
+}
+function declaresAnotherModule(declaration) {
+  const module = declaration.getFirstAncestorByKind(
+    SyntaxKind8.ModuleDeclaration
+  );
+  return module !== void 0 && Node32.isStringLiteral(module.getNameNode());
+}
+function statesShapeOnly(declaration) {
+  if (isExternalDeclaration(declaration)) {
+    return false;
+  }
+  if (Node32.isMethodSignature(declaration) || Node32.isPropertySignature(declaration)) {
+    return true;
+  }
+  if (Node32.isFunctionDeclaration(declaration) || Node32.isMethodDeclaration(declaration)) {
+    return declaration.getBody() === void 0;
+  }
+  return false;
+}
+function declarationsBehind(symbol) {
+  if (symbol === void 0) {
+    return [];
+  }
+  const behind = symbol.getAliasedSymbol()?.getDeclarations() ?? [];
+  return behind.length > 0 ? behind : symbol.getDeclarations();
+}
+function isParameterOf(declaration, scanning) {
+  return Node32.isParameterDeclaration(declaration) && declaration.getParent() === scanning;
+}
+function parameterIndexOf(declarations, scanning) {
+  if (scanning === void 0) {
+    return void 0;
+  }
+  const params = scanning.getParameters();
+  for (const declaration of declarations) {
+    const index = params.findIndex((param) => param === declaration);
+    if (index !== -1) {
+      return index;
+    }
+  }
+  return void 0;
+}
+function classifyStop(declarations, scanning) {
+  if (declarations.length === 0) {
+    return "noDeclaration";
+  }
+  for (const declaration of declarations) {
+    if (!isInExternalCode(declaration.getSourceFile())) {
+      recordFileDependency(declaration.getSourceFile().getFilePath());
+    }
+  }
+  if (scanning !== void 0 && declarations.some((declaration) => isParameterOf(declaration, scanning))) {
+    return "callerSupplied";
+  }
+  if (declarations.every(isExternalDeclaration)) {
+    return "outsideRun";
+  }
+  if (declarations.some(statesShapeOnly)) {
+    return "noBody";
+  }
+  return "unsettledValue";
+}
+
+// src/discovery/wrapperFactory.ts
+function factoryNameOf(targetArg) {
+  const written = factKeyOf(targetArg);
+  if (!Node33.isCallExpression(written)) {
+    return void 0;
+  }
+  const callee = written.getExpression();
+  if (Node33.isIdentifier(callee)) {
+    return callee.getText();
+  }
+  if (Node33.isPropertyAccessExpression(callee)) {
+    return callee.getName();
+  }
+  return void 0;
+}
+function factoryStopOf(targetArg) {
+  const written = factKeyOf(targetArg);
+  if (!Node33.isCallExpression(written)) {
+    return null;
+  }
+  const callee = factoryNameOf(targetArg);
+  if (callee === void 0) {
+    return null;
+  }
+  const reason = classifyStop(
+    declarationsBehind(written.getExpression().getSymbol())
+  );
+  if (!worthRecording(reason)) {
+    return null;
+  }
+  return { callee, reason: "unresolvedWrapper" };
+}
 
 // src/discovery/registrationCall.ts
-function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, resolution, mountPrefixes, expandedElsewhere) {
+function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, resolution, mountPrefixes, expandedElsewhere, routeWrapperPattern) {
   const results = [];
   const registrationSubjects = registrationSubjectsOf(
     sourceFile,
@@ -7746,11 +7876,11 @@ function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, r
     return results;
   }
   sourceFile.forEachDescendant((node) => {
-    if (!Node32.isCallExpression(node)) {
+    if (!Node34.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (!Node32.isPropertyAccessExpression(callee)) {
+    if (!Node34.isPropertyAccessExpression(callee)) {
       return;
     }
     const methodName = callee.getName();
@@ -7787,12 +7917,12 @@ function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, r
     const registrationSubjectId = nodeId(subjectNode);
     let foundObjectArg = false;
     for (const arg of args) {
-      if (!Node32.isObjectLiteralExpression(arg)) {
+      if (!Node34.isObjectLiteralExpression(arg)) {
         continue;
       }
       foundObjectArg = true;
       for (const prop of arg.getProperties()) {
-        if (Node32.isMethodDeclaration(prop)) {
+        if (Node34.isMethodDeclaration(prop)) {
           results.push({
             func: prop,
             kind,
@@ -7801,7 +7931,7 @@ function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, r
           });
           continue;
         }
-        if (!Node32.isPropertyAssignment(prop)) {
+        if (!Node34.isPropertyAssignment(prop)) {
           continue;
         }
         const propInit = prop.getInitializer();
@@ -7833,6 +7963,13 @@ function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, r
         mountPrefixes
       );
       if (handler !== null) {
+        const chain = routeWrapperPattern === void 0 ? null : routeChainOf(
+          args.slice(0, -1),
+          routeWrapperPattern,
+          methodName,
+          routeInfo,
+          resolution
+        );
         results.push({
           func: handler,
           kind,
@@ -7840,8 +7977,13 @@ function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, r
           name: methodName,
           nameKind: "label",
           registrationSubjectId,
-          ...routeInfo !== null ? { routeInfo } : {}
+          ...routeInfo !== null ? { routeInfo } : {},
+          ...chain === null || chain.references.length === 0 ? {} : { routeWrappers: chain.references },
+          ...chain === null || chain.unfollowed.length === 0 ? {} : { routeUnfollowed: chain.unfollowed }
         });
+        if (chain !== null) {
+          results.push(...chain.units);
+        }
         return;
       }
       if (routeInfo !== null && lastArg !== void 0 && namesAParameter(lastArg)) {
@@ -7887,6 +8029,47 @@ function declinedRegistration(call, callee, methodName, kind, receiver, resoluti
     }
   ];
 }
+function routeChainOf(listed, pattern, methodName, routeInfo, resolution) {
+  const chain = { units: [], references: [], unfollowed: [] };
+  const anonymousLabels = /* @__PURE__ */ new Map();
+  for (const arg of listed) {
+    const elements = Node34.isArrayLiteralExpression(arg) ? arg.getElements() : [arg];
+    for (const element of elements) {
+      const target = functionValueOf(element, resolution);
+      if (target === null) {
+        const stop = factoryStopOf(element);
+        if (stop !== null) {
+          chain.unfollowed.push(stop);
+        }
+        continue;
+      }
+      const ownName = functionNameOrAnon(target);
+      const named2 = ownName !== "<anon>";
+      const label = factoryNameOf(element) ?? methodName;
+      const seen = anonymousLabels.get(label) ?? 0;
+      if (!named2) {
+        anonymousLabels.set(label, seen + 1);
+      }
+      const name = named2 ? ownName : routeWrapperLabel(label, routeInfo, element, seen);
+      chain.units.push({
+        func: target,
+        kind: pattern.kind,
+        name,
+        pattern,
+        ...named2 ? {} : { nameKind: "label" }
+      });
+      chain.references.push({
+        file: target.getSourceFile().getFilePath(),
+        name
+      });
+    }
+  }
+  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 withMountPrefix(routeInfo, subjectNode, mountPrefixes) {
   if (routeInfo === null || mountPrefixes === void 0) {
     return routeInfo;
@@ -7914,13 +8097,13 @@ function subjectNodeFor(subject, subjects, match, resolution) {
 }
 var NOT_A_ROUTABLE = { kind: "none" };
 function receiverOf(subject, subjects, match, resolution) {
-  if (Node32.isIdentifier(subject)) {
+  if (Node34.isIdentifier(subject)) {
     const known = subjects.get(subject.getText());
     if (known !== void 0) {
       return { kind: "routable", node: known };
     }
   }
-  if (resolution === void 0 || !(Node32.isIdentifier(subject) || Node32.isPropertyAccessExpression(subject))) {
+  if (resolution === void 0 || !(Node34.isIdentifier(subject) || Node34.isPropertyAccessExpression(subject))) {
     return NOT_A_ROUTABLE;
   }
   const construction = resolution.subjectConstructionOf(
@@ -7960,18 +8143,18 @@ function collectMethodsCalledOnCallResults(sourceFile) {
   const setToCalls = /* @__PURE__ */ new Set();
   const calledOn = /* @__PURE__ */ new Map();
   sourceFile.forEachDescendant((node) => {
-    if (Node32.isVariableDeclaration(node)) {
+    if (Node34.isVariableDeclaration(node)) {
       const init = node.getInitializer();
-      if (init !== void 0 && Node32.isCallExpression(init)) {
+      if (init !== void 0 && Node34.isCallExpression(init)) {
         setToCalls.add(node.getName());
       }
       return;
     }
-    if (!Node32.isCallExpression(node)) {
+    if (!Node34.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (!Node32.isPropertyAccessExpression(callee) || !Node32.isIdentifier(callee.getExpression())) {
+    if (!Node34.isPropertyAccessExpression(callee) || !Node34.isIdentifier(callee.getExpression())) {
       return;
     }
     const receiver = callee.getExpression().getText();
@@ -7998,18 +8181,18 @@ function registrationSubjectsOf(sourceFile, importModule, importName, resolution
     return subjects;
   }
   sourceFile.forEachDescendant((node) => {
-    if (Node32.isVariableDeclaration(node)) {
+    if (Node34.isVariableDeclaration(node)) {
       const init = node.getInitializer();
       if (init === void 0) {
         return;
       }
-      const calleeText = Node32.isCallExpression(init) || Node32.isNewExpression(init) ? init.getExpression().getText() : null;
+      const calleeText = Node34.isCallExpression(init) || Node34.isNewExpression(init) ? init.getExpression().getText() : null;
       if (calleeText !== null && spellings.includes(calleeText)) {
         subjects.set(node.getName(), init);
       }
       return;
     }
-    if (!Node32.isParameterDeclaration(node)) {
+    if (!Node34.isParameterDeclaration(node)) {
       return;
     }
     const typeNode = node.getTypeNode();
@@ -8030,7 +8213,7 @@ function creationSiteBehind(parameter, resolution) {
     return parameter;
   }
   const written = resolution.resolveWrittenValue(parameter);
-  if (written === null || !(Node32.isCallExpression(written) || Node32.isNewExpression(written))) {
+  if (written === null || !(Node34.isCallExpression(written) || Node34.isNewExpression(written))) {
     return parameter;
   }
   return written;
@@ -8073,7 +8256,7 @@ function unboundConstructionsOf(sourceFile, importModule, importName) {
   }
   const constructions = [];
   sourceFile.forEachDescendant((node) => {
-    if ((Node32.isCallExpression(node) || Node32.isNewExpression(node)) && spellings.includes(node.getExpression().getText()) && !Node32.isVariableDeclaration(node.getParent())) {
+    if ((Node34.isCallExpression(node) || Node34.isNewExpression(node)) && spellings.includes(node.getExpression().getText()) && !Node34.isVariableDeclaration(node.getParent())) {
       constructions.push(node);
     }
   });
@@ -8091,11 +8274,11 @@ function discoverMountEdges(sourceFile, match, mount, knownSubjectIds, resolutio
   }
   const edges = [];
   sourceFile.forEachDescendant((node) => {
-    if (!Node32.isCallExpression(node)) {
+    if (!Node34.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (!Node32.isPropertyAccessExpression(callee) || callee.getName() !== mount.method) {
+    if (!Node34.isPropertyAccessExpression(callee) || callee.getName() !== mount.method) {
       return;
     }
     const subjectNode = subjectNodeFor(
@@ -8109,7 +8292,7 @@ function discoverMountEdges(sourceFile, match, mount, knownSubjectIds, resolutio
     }
     const args = node.getArguments();
     const prefixArg = args[mount.prefixPosition];
-    if (prefixArg === void 0 || !(Node32.isStringLiteral(prefixArg) || Node32.isNoSubstitutionTemplateLiteral(prefixArg))) {
+    if (prefixArg === void 0 || !(Node34.isStringLiteral(prefixArg) || Node34.isNoSubstitutionTemplateLiteral(prefixArg))) {
       return;
     }
     const targetNodes = mountTargetsAmong(
@@ -8164,7 +8347,7 @@ function extractRouteInfoFromBinding(call, methodName, binding, resolution) {
   } else {
     const args = call.getArguments();
     const arg = args[binding.method.position];
-    if (arg === void 0 || !(Node32.isStringLiteral(arg) || Node32.isNoSubstitutionTemplateLiteral(arg))) {
+    if (arg === void 0 || !(Node34.isStringLiteral(arg) || Node34.isNoSubstitutionTemplateLiteral(arg))) {
       return null;
     }
     method = arg.getLiteralValue().toUpperCase();
@@ -8175,7 +8358,7 @@ function extractRouteInfoFromBinding(call, methodName, binding, resolution) {
 }
 
 // src/discovery/registrationLoop.ts
-import { Node as Node33 } from "ts-morph";
+import { Node as Node35 } from "ts-morph";
 function discoverRegistrationLoops(sourceFile, match, kind, resolution) {
   const results = [];
   const guard = receiverGuard(sourceFile, match.receiver, resolution);
@@ -8183,7 +8366,7 @@ function discoverRegistrationLoops(sourceFile, match, kind, resolution) {
     return results;
   }
   sourceFile.forEachDescendant((node) => {
-    if (!Node33.isForOfStatement(node)) {
+    if (!Node35.isForOfStatement(node)) {
       return;
     }
     const expanded = tryExpandLoop(node, match, kind, resolution, guard);
@@ -8246,13 +8429,13 @@ function tryExpandLoop(loop, match, kind, resolution, guard) {
 }
 function loopVariableName(loop) {
   const initializer = loop.getInitializer();
-  if (Node33.isVariableDeclarationList(initializer)) {
+  if (Node35.isVariableDeclarationList(initializer)) {
     const decls = initializer.getDeclarations();
     if (decls.length !== 1) {
       return null;
     }
     const nameNode = decls[0]?.getNameNode();
-    if (nameNode !== void 0 && Node33.isIdentifier(nameNode)) {
+    if (nameNode !== void 0 && Node35.isIdentifier(nameNode)) {
       return nameNode.getText();
     }
   }
@@ -8265,14 +8448,14 @@ function bodyReferencesLoopVar(loop, name) {
     if (referenced) {
       return;
     }
-    if (!Node33.isCallExpression(node)) {
+    if (!Node35.isCallExpression(node)) {
       return;
     }
     node.forEachDescendant((inner) => {
       if (referenced) {
         return;
       }
-      if (Node33.isIdentifier(inner) && inner.getText() === name) {
+      if (Node35.isIdentifier(inner) && inner.getText() === name) {
         referenced = true;
       }
     });
@@ -8282,11 +8465,11 @@ function bodyReferencesLoopVar(loop, name) {
 function bodyCallsOnRoutable(loop, guard, resolution) {
   let found = false;
   loop.getStatement().forEachDescendant((node) => {
-    if (found || !Node33.isCallExpression(node)) {
+    if (found || !Node35.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (!Node33.isPropertyAccessExpression(callee) && !Node33.isElementAccessExpression(callee)) {
+    if (!Node35.isPropertyAccessExpression(callee) && !Node35.isElementAccessExpression(callee)) {
       return;
     }
     const subject = callee.getExpression();
@@ -8306,11 +8489,11 @@ function readRouteSpec(element, shape, resolution) {
   let path15 = null;
   let handler = null;
   for (const prop of element.getProperties()) {
-    if (Node33.isMethodDeclaration(prop) && prop.getName() === shape.handlerKey) {
+    if (Node35.isMethodDeclaration(prop) && prop.getName() === shape.handlerKey) {
       handler = { func: prop, name: shape.handlerKey };
       continue;
     }
-    if (!Node33.isPropertyAssignment(prop)) {
+    if (!Node35.isPropertyAssignment(prop)) {
       continue;
     }
     const name = prop.getName();
@@ -8333,117 +8516,19 @@ function readRouteSpec(element, shape, resolution) {
   return { method, path: path15, handler: handler.func, handlerName: handler.name };
 }
 function readStringLiteralValue(node) {
-  if (Node33.isStringLiteral(node) || Node33.isNoSubstitutionTemplateLiteral(node)) {
+  if (Node35.isStringLiteral(node) || Node35.isNoSubstitutionTemplateLiteral(node)) {
     return node.getLiteralValue();
   }
   return null;
 }
 function handlerName(value) {
-  return Node33.isIdentifier(value) ? value.getText() : value.getKindName();
+  return Node35.isIdentifier(value) ? value.getText() : value.getKindName();
 }
 
 // src/discovery/registrationTemplate.ts
 import path6 from "path";
-import { Node as Node35 } from "ts-morph";
+import { Node as Node36 } from "ts-morph";
 import { joinMountedPath as joinMountedPath2 } from "@suss/resolution";
-
-// src/resolve/unfollowedCall.ts
-import {
-  Node as Node34,
-  SyntaxKind as SyntaxKind8
-} from "ts-morph";
-import {
-  unfollowedCallGap,
-  worthRecording
-} from "@suss/behavioral-ir";
-function isInExternalCode(sourceFile) {
-  if (sourceFile.isDeclarationFile()) {
-    return true;
-  }
-  return sourceFile.getFilePath().includes("/node_modules/");
-}
-function hasBody(fn) {
-  if (Node34.isFunctionDeclaration(fn) || Node34.isMethodDeclaration(fn) || Node34.isFunctionExpression(fn)) {
-    return fn.getBody?.() !== void 0;
-  }
-  return true;
-}
-function isDeclaredShape(declaration) {
-  return (Node34.isMethodSignature(declaration) || Node34.isPropertySignature(declaration)) && !isInExternalCode(declaration.getSourceFile());
-}
-function isExternalDeclaration(declaration) {
-  if (isInExternalCode(declaration.getSourceFile())) {
-    return true;
-  }
-  if (Node34.isImportSpecifier(declaration) || Node34.isImportClause(declaration) || Node34.isNamespaceImport(declaration)) {
-    const target = declaration.getFirstAncestorByKind(SyntaxKind8.ImportDeclaration)?.getModuleSpecifierSourceFile();
-    return target === void 0 || isInExternalCode(target);
-  }
-  return declaresAnotherModule(declaration);
-}
-function declaresAnotherModule(declaration) {
-  const module = declaration.getFirstAncestorByKind(
-    SyntaxKind8.ModuleDeclaration
-  );
-  return module !== void 0 && Node34.isStringLiteral(module.getNameNode());
-}
-function statesShapeOnly(declaration) {
-  if (isExternalDeclaration(declaration)) {
-    return false;
-  }
-  if (Node34.isMethodSignature(declaration) || Node34.isPropertySignature(declaration)) {
-    return true;
-  }
-  if (Node34.isFunctionDeclaration(declaration) || Node34.isMethodDeclaration(declaration)) {
-    return declaration.getBody() === void 0;
-  }
-  return false;
-}
-function declarationsBehind(symbol) {
-  if (symbol === void 0) {
-    return [];
-  }
-  const behind = symbol.getAliasedSymbol()?.getDeclarations() ?? [];
-  return behind.length > 0 ? behind : symbol.getDeclarations();
-}
-function isParameterOf(declaration, scanning) {
-  return Node34.isParameterDeclaration(declaration) && declaration.getParent() === scanning;
-}
-function parameterIndexOf(declarations, scanning) {
-  if (scanning === void 0) {
-    return void 0;
-  }
-  const params = scanning.getParameters();
-  for (const declaration of declarations) {
-    const index = params.findIndex((param) => param === declaration);
-    if (index !== -1) {
-      return index;
-    }
-  }
-  return void 0;
-}
-function classifyStop(declarations, scanning) {
-  if (declarations.length === 0) {
-    return "noDeclaration";
-  }
-  for (const declaration of declarations) {
-    if (!isInExternalCode(declaration.getSourceFile())) {
-      recordFileDependency(declaration.getSourceFile().getFilePath());
-    }
-  }
-  if (scanning !== void 0 && declarations.some((declaration) => isParameterOf(declaration, scanning))) {
-    return "callerSupplied";
-  }
-  if (declarations.every(isExternalDeclaration)) {
-    return "outsideRun";
-  }
-  if (declarations.some(statesShapeOnly)) {
-    return "noBody";
-  }
-  return "unsettledValue";
-}
-
-// src/discovery/registrationTemplate.ts
 function discoverRegistrationTemplates(sourceFile, match, kind, resolution, mountPrefixes) {
   const results = [];
   for (const node of helperCallsOf(sourceFile, match, resolution)) {
@@ -8504,15 +8589,15 @@ function helperCallsOf(sourceFile, match, resolution) {
     return callsResolvingTo(sourceFile, store, {
       module,
       name: match.helperName
-    }).filter(Node35.isCallExpression);
+    }).filter(Node36.isCallExpression);
   }
   const calls = [];
   sourceFile.forEachDescendant((node) => {
-    if (!Node35.isCallExpression(node)) {
+    if (!Node36.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (!Node35.isIdentifier(callee) || callee.getText() !== match.helperName) {
+    if (!Node36.isIdentifier(callee) || callee.getText() !== match.helperName) {
       return;
     }
     if (module === void 0 || declaredInModule(callee, module)) {
@@ -8556,7 +8641,7 @@ function substitutePath(template, args) {
   return result;
 }
 function readStringLiteral(node) {
-  if (Node35.isStringLiteral(node) || Node35.isNoSubstitutionTemplateLiteral(node)) {
+  if (Node36.isStringLiteral(node) || Node36.isNoSubstitutionTemplateLiteral(node)) {
     return node.getLiteralValue();
   }
   return null;
@@ -8579,7 +8664,7 @@ function resolveHandler(template, args, resolution) {
   return readPropertyAsFunction(arg, prop, resolution);
 }
 function handlerName2(value) {
-  return Node35.isIdentifier(value) ? value.getText() : value.getKindName();
+  return Node36.isIdentifier(value) ? value.getText() : value.getKindName();
 }
 function readPropertyAsFunction(arg, prop, resolution) {
   const obj = objectLiteralOf(arg, resolution);
@@ -8590,7 +8675,7 @@ function readPropertyAsFunction(arg, prop, resolution) {
     if (propertyName(property) !== prop) {
       continue;
     }
-    if (Node35.isMethodDeclaration(property)) {
+    if (Node36.isMethodDeclaration(property)) {
       return { func: property, name: prop };
     }
     const held = propertyValueOf(property);
@@ -8598,19 +8683,19 @@ function readPropertyAsFunction(arg, prop, resolution) {
       return null;
     }
     const func = functionValueOf(held, resolution);
-    return func === null ? null : { func, name: Node35.isIdentifier(held) ? held.getText() : prop };
+    return func === null ? null : { func, name: Node36.isIdentifier(held) ? held.getText() : prop };
   }
   return null;
 }
 function propertyName(property) {
-  if (Node35.isPropertyAssignment(property) || Node35.isShorthandPropertyAssignment(property) || Node35.isMethodDeclaration(property)) {
+  if (Node36.isPropertyAssignment(property) || Node36.isShorthandPropertyAssignment(property) || Node36.isMethodDeclaration(property)) {
     return property.getName();
   }
   return null;
 }
 
 // src/discovery/resolverMap.ts
-import { Node as Node36 } from "ts-morph";
+import { Node as Node37 } from "ts-morph";
 function discoverResolverMaps(sourceFile, match, kind, resolution) {
   const store = resolution ?? new ResolutionStore();
   const mapProperty = match.mapProperty;
@@ -8621,7 +8706,7 @@ function discoverResolverMaps(sourceFile, match, kind, resolution) {
     name: match.importName
   })) {
     const args = node.getArguments();
-    if (args.length === 0 || !Node36.isObjectLiteralExpression(args[0])) {
+    if (args.length === 0 || !Node37.isObjectLiteralExpression(args[0])) {
       continue;
     }
     const config = args[0];
@@ -8675,7 +8760,7 @@ function resolverMapObject(prop, resolution) {
   return held === null ? null : objectLiteralOf(held, resolution);
 }
 function extractTypeDefsSdl(config, resolution) {
-  if (!Node36.isObjectLiteralExpression(config)) {
+  if (!Node37.isObjectLiteralExpression(config)) {
     return null;
   }
   const prop = config.getProperty("typeDefs");
@@ -8697,15 +8782,15 @@ function schemaSdlOf(expr, resolution) {
   return resolved === null ? null : writtenSdl(resolved);
 }
 function writtenSdl(expr) {
-  if (Node36.isStringLiteral(expr) || Node36.isNoSubstitutionTemplateLiteral(expr)) {
+  if (Node37.isStringLiteral(expr) || Node37.isNoSubstitutionTemplateLiteral(expr)) {
     const value = expr.getLiteralValue();
     return value === "" ? null : value;
   }
-  if (Node36.isTaggedTemplateExpression(expr)) {
+  if (Node37.isTaggedTemplateExpression(expr)) {
     const tag = expr.getTag();
-    if (Node36.isIdentifier(tag) && tag.getText() === "gql") {
+    if (Node37.isIdentifier(tag) && tag.getText() === "gql") {
       const template = expr.getTemplate();
-      if (Node36.isNoSubstitutionTemplateLiteral(template)) {
+      if (Node37.isNoSubstitutionTemplateLiteral(template)) {
         return template.getLiteralValue();
       }
     }
@@ -8714,7 +8799,7 @@ function writtenSdl(expr) {
 }
 
 // src/discovery/index.ts
-function runPattern(sourceFile, pattern, resolution, mountPrefixes, expandedElsewhere) {
+function runPattern(sourceFile, pattern, resolution, mountPrefixes, expandedElsewhere, routeWrapperPattern) {
   if (pattern.match.type === "namedExport") {
     return discoverNamedExports(
       sourceFile,
@@ -8731,7 +8816,8 @@ function runPattern(sourceFile, pattern, resolution, mountPrefixes, expandedElse
       pattern.bindingExtraction,
       resolution,
       mountPrefixes,
-      expandedElsewhere
+      expandedElsewhere,
+      routeWrapperPattern
     );
   }
   if (pattern.match.type === "registrationTemplate") {
@@ -8837,19 +8923,26 @@ function runPattern(sourceFile, pattern, resolution, mountPrefixes, expandedElse
   }
   return [];
 }
+function routeWrapperPatternOf(patterns) {
+  return patterns.find(
+    (pattern) => pattern.wraps !== void 0 && "method" in pattern.wraps && pattern.wraps.continuationParam !== void 0 && pattern.wraps.throwParam === void 0 && pattern.wraps.arity === void 0 && pattern.wraps.scopePosition === void 0
+  );
+}
 function discoverUnits(sourceFile, patterns, resolution, mountPrefixes, expandedElsewhere) {
   const store = resolution ?? new ResolutionStore();
   const allResults = [];
+  const routeWrapperPattern = routeWrapperPatternOf(patterns);
   for (const pattern of patterns) {
     const found = runPattern(
       sourceFile,
       pattern,
       store,
       mountPrefixes,
-      expandedElsewhere
+      expandedElsewhere,
+      routeWrapperPattern
     );
     for (const unit of found) {
-      unit.pattern = pattern;
+      unit.pattern ??= pattern;
     }
     allResults.push(...found);
   }
@@ -8868,7 +8961,7 @@ function discoverUnits(sourceFile, patterns, resolution, mountPrefixes, expanded
 // src/resolve/functionBehind.ts
 function symbolBehind(node) {
   const parent = node.getParent();
-  if (parent !== void 0 && Node37.isShorthandPropertyAssignment(parent)) {
+  if (parent !== void 0 && Node38.isShorthandPropertyAssignment(parent)) {
     return parent.getValueSymbol();
   }
   return node.getSymbol();
@@ -8898,9 +8991,9 @@ function resolveDecl(decl, calleeName) {
     }
     return { func: fn, name: declName(decl) ?? calleeName };
   }
-  if (Node37.isVariableDeclaration(decl)) {
+  if (Node38.isVariableDeclaration(decl)) {
     const init = decl.getInitializer();
-    if (init !== void 0 && (Node37.isArrowFunction(init) || Node37.isFunctionExpression(init))) {
+    if (init !== void 0 && (Node38.isArrowFunction(init) || Node38.isFunctionExpression(init))) {
       return { func: init, name: decl.getName() };
     }
     return null;
@@ -8908,20 +9001,20 @@ function resolveDecl(decl, calleeName) {
   return null;
 }
 function declName(decl) {
-  if (Node37.isFunctionDeclaration(decl) || Node37.isMethodDeclaration(decl)) {
+  if (Node38.isFunctionDeclaration(decl) || Node38.isMethodDeclaration(decl)) {
     const n = decl.getName?.();
     if (typeof n === "string" && n.length > 0) {
       return n;
     }
   }
-  if (Node37.isFunctionExpression(decl)) {
+  if (Node38.isFunctionExpression(decl)) {
     const n = decl.getName();
     if (typeof n === "string" && n.length > 0) {
       return n;
     }
   }
   const parent = decl.getParent();
-  if (parent !== void 0 && Node37.isVariableDeclaration(parent)) {
+  if (parent !== void 0 && Node38.isVariableDeclaration(parent)) {
     return parent.getName();
   }
   return null;
@@ -8933,14 +9026,14 @@ function pathAbove(reference) {
   let current2 = reference;
   for (; ; ) {
     const parent = current2.getParent();
-    if (parent !== void 0 && Node38.isPropertyAccessExpression(parent) && parent.getExpression() === current2) {
+    if (parent !== void 0 && Node39.isPropertyAccessExpression(parent) && parent.getExpression() === current2) {
       path15.push(parent.getName());
       current2 = parent;
       continue;
     }
-    if (parent !== void 0 && Node38.isElementAccessExpression(parent) && parent.getExpression() === current2) {
+    if (parent !== void 0 && Node39.isElementAccessExpression(parent) && parent.getExpression() === current2) {
       const argument = parent.getArgumentExpression();
-      if (argument !== void 0 && Node38.isStringLiteral(argument)) {
+      if (argument !== void 0 && Node39.isStringLiteral(argument)) {
         path15.push(argument.getLiteralValue());
         current2 = parent;
         continue;
@@ -8950,11 +9043,11 @@ function pathAbove(reference) {
   }
 }
 function declaresParameterOf(node, func) {
-  if (Node38.isParameterDeclaration(node)) {
+  if (Node39.isParameterDeclaration(node)) {
     return node.getParent() === func;
   }
-  if (Node38.isBindingElement(node)) {
-    const parameter = node.getFirstAncestor(Node38.isParameterDeclaration);
+  if (Node39.isBindingElement(node)) {
+    const parameter = node.getFirstAncestor(Node39.isParameterDeclaration);
     return parameter !== void 0 && parameter.getParent() === func;
   }
   return false;
@@ -8970,7 +9063,7 @@ function parameterReads(func, parameterNames2, barriers = NO_BARRIERS) {
       traversal.skip();
       return;
     }
-    if (!Node38.isIdentifier(node) || !wanted.has(node.getText())) {
+    if (!Node39.isIdentifier(node) || !wanted.has(node.getText())) {
       return;
     }
     const declarations = symbolBehind(node)?.getDeclarations() ?? [];
@@ -8993,7 +9086,7 @@ function parameterReads(func, parameterNames2, barriers = NO_BARRIERS) {
 }
 
 // src/resolve/readName.ts
-import { Node as Node39, SyntaxKind as SyntaxKind9 } from "ts-morph";
+import { Node as Node40, SyntaxKind as SyntaxKind9 } from "ts-morph";
 import { patternHole, referenceName } from "@suss/behavioral-ir";
 var MAX_HELPER_HOPS = 2;
 var UNNAMED_HOLE = "param";
@@ -9028,11 +9121,11 @@ function referenceIn(expr) {
 function parameterPath(expr) {
   const fields = [];
   let step = expr;
-  while (Node39.isPropertyAccessExpression(step)) {
+  while (Node40.isPropertyAccessExpression(step)) {
     fields.unshift(step.getName());
     step = step.getExpression();
   }
-  if (!Node39.isIdentifier(step) || !isParameter(step)) {
+  if (!Node40.isIdentifier(step) || !isParameter(step)) {
     return null;
   }
   return { root: step.getText(), fields };
@@ -9040,7 +9133,7 @@ function parameterPath(expr) {
 function isParameter(identifier) {
   const declarations = identifier.getSymbol()?.getDeclarations() ?? [];
   return declarations.some(
-    (declaration) => Node39.isParameterDeclaration(declaration)
+    (declaration) => Node40.isParameterDeclaration(declaration)
   );
 }
 function read(expr, ctx) {
@@ -9049,25 +9142,25 @@ function read(expr, ctx) {
   }
   const seen = new Set(ctx.seen).add(expr);
   const inner = { ...ctx, seen };
-  if (Node39.isStringLiteral(expr) || Node39.isNoSubstitutionTemplateLiteral(expr)) {
+  if (Node40.isStringLiteral(expr) || Node40.isNoSubstitutionTemplateLiteral(expr)) {
     return expr.getLiteralValue();
   }
-  if (Node39.isNumericLiteral(expr)) {
+  if (Node40.isNumericLiteral(expr)) {
     return expr.getLiteralText();
   }
-  if (Node39.isTemplateExpression(expr)) {
+  if (Node40.isTemplateExpression(expr)) {
     return fromTemplate(expr, inner);
   }
-  if (Node39.isParenthesizedExpression(expr)) {
+  if (Node40.isParenthesizedExpression(expr)) {
     return read(peelParens(expr), inner);
   }
-  if (Node39.isBinaryExpression(expr)) {
+  if (Node40.isBinaryExpression(expr)) {
     return fromBinary(expr, inner);
   }
-  if (Node39.isCallExpression(expr)) {
+  if (Node40.isCallExpression(expr)) {
     return fromCall(expr, inner);
   }
-  if (Node39.isIdentifier(expr)) {
+  if (Node40.isIdentifier(expr)) {
     const only = boundOnce(expr, ctx);
     if (only !== null) {
       return read(only.node, { ...inner, bindings: only.scope });
@@ -9087,17 +9180,17 @@ function read(expr, ctx) {
 }
 function isFallbackBranch(node) {
   let step = node.getParent();
-  while (step !== void 0 && Node39.isParenthesizedExpression(step)) {
+  while (step !== void 0 && Node40.isParenthesizedExpression(step)) {
     step = step.getParent();
   }
-  if (step === void 0 || !Node39.isBinaryExpression(step)) {
+  if (step === void 0 || !Node40.isBinaryExpression(step)) {
     return false;
   }
   const operator = step.getOperatorToken().getKind();
   return operator === SyntaxKind9.BarBarToken || operator === SyntaxKind9.QuestionQuestionToken;
 }
 function fromTemplate(expr, ctx) {
-  if (!Node39.isTemplateExpression(expr)) {
+  if (!Node40.isTemplateExpression(expr)) {
     return null;
   }
   let name = expr.getHead().getLiteralText();
@@ -9108,7 +9201,7 @@ function fromTemplate(expr, ctx) {
   return name;
 }
 function fromBinary(expr, ctx) {
-  if (!Node39.isBinaryExpression(expr)) {
+  if (!Node40.isBinaryExpression(expr)) {
     return null;
   }
   const operator = expr.getOperatorToken().getKind();
@@ -9122,14 +9215,14 @@ function fromBinary(expr, ctx) {
   return readOrHole(expr.getLeft(), parts) + readOrHole(expr.getRight(), parts);
 }
 function fromCall(expr, ctx) {
-  if (!Node39.isCallExpression(expr)) {
+  if (!Node40.isCallExpression(expr)) {
     return null;
   }
   const callee = expr.getExpression();
-  if (Node39.isPropertyAccessExpression(callee) && callee.getName() === "join") {
+  if (Node40.isPropertyAccessExpression(callee) && callee.getName() === "join") {
     return fromJoin(callee.getExpression(), expr.getArguments(), ctx);
   }
-  if (Node39.isIdentifier(callee) && callee.getText() === "String") {
+  if (Node40.isIdentifier(callee) && callee.getText() === "String") {
     const only = expr.getArguments()[0];
     return only === void 0 ? null : readOrHole(only, ctx);
   }
@@ -9148,7 +9241,7 @@ function fromCall(expr, ctx) {
 }
 function fromJoin(subject, args, ctx) {
   const separator = args[0];
-  if (separator === void 0 || !Node39.isStringLiteral(separator)) {
+  if (separator === void 0 || !Node40.isStringLiteral(separator)) {
     return null;
   }
   const parts = elementsOf(subject, ctx);
@@ -9164,17 +9257,17 @@ function fromJoin(subject, args, ctx) {
   ).join(separator.getLiteralValue());
 }
 function elementsOf(subject, ctx) {
-  if (Node39.isArrayLiteralExpression(subject)) {
+  if (Node40.isArrayLiteralExpression(subject)) {
     return subject.getElements().map((element) => here(element, ctx));
   }
-  if (Node39.isCallExpression(subject)) {
+  if (Node40.isCallExpression(subject)) {
     const callee = subject.getExpression();
-    if (Node39.isPropertyAccessExpression(callee) && callee.getName() === "map") {
+    if (Node40.isPropertyAccessExpression(callee) && callee.getName() === "map") {
       return elementsOf(callee.getExpression(), ctx);
     }
     return null;
   }
-  if (!Node39.isIdentifier(subject)) {
+  if (!Node40.isIdentifier(subject)) {
     return null;
   }
   const bound = ctx.bindings.get(subject.getText());
@@ -9182,7 +9275,7 @@ function elementsOf(subject, ctx) {
     return null;
   }
   const only = bound.length === 1 ? bound[0] : void 0;
-  return only !== void 0 && Node39.isArrayLiteralExpression(only.node) ? only.node.getElements().map((element) => here(element, ctx)) : bound;
+  return only !== void 0 && Node40.isArrayLiteralExpression(only.node) ? only.node.getElements().map((element) => here(element, ctx)) : bound;
 }
 function singleReturnBody(callee, ctx) {
   const declaration = declarationOf2(callee, ctx);
@@ -9197,22 +9290,22 @@ function singleReturnBody(callee, ctx) {
   if (body === void 0) {
     return null;
   }
-  if (Node39.isExpression(body)) {
+  if (Node40.isExpression(body)) {
     return { parameters, returned: body };
   }
-  if (!Node39.isBlock(body)) {
+  if (!Node40.isBlock(body)) {
     return null;
   }
   const statements = body.getStatements();
   const only = statements[0];
-  if (statements.length !== 1 || only === void 0 || !Node39.isReturnStatement(only)) {
+  if (statements.length !== 1 || only === void 0 || !Node40.isReturnStatement(only)) {
     return null;
   }
   const returned = only.getExpression();
   return returned === void 0 ? null : { parameters, returned };
 }
 function declarationOf2(callee, ctx) {
-  const symbol = Node39.isPropertyAccessExpression(callee) ? callee.getNameNode().getSymbol() : callee.getSymbol();
+  const symbol = Node40.isPropertyAccessExpression(callee) ? callee.getNameNode().getSymbol() : callee.getSymbol();
   const declarations = symbol?.getAliasedSymbol()?.getDeclarations() ?? symbol?.getDeclarations() ?? [];
   for (const declaration of declarations) {
     const callable = asCallable(declaration);
@@ -9224,14 +9317,14 @@ function declarationOf2(callee, ctx) {
   return written === null || written === callee ? null : declarationOf2(written, { ...ctx, resolve: () => null });
 }
 function asCallable(declaration) {
-  if (Node39.isFunctionDeclaration(declaration) || Node39.isMethodDeclaration(declaration) || Node39.isArrowFunction(declaration) || Node39.isFunctionExpression(declaration)) {
+  if (Node40.isFunctionDeclaration(declaration) || Node40.isMethodDeclaration(declaration) || Node40.isArrowFunction(declaration) || Node40.isFunctionExpression(declaration)) {
     return declaration;
   }
-  if (!Node39.isVariableDeclaration(declaration)) {
+  if (!Node40.isVariableDeclaration(declaration)) {
     return null;
   }
   const initializer = declaration.getInitializer();
-  if (initializer !== void 0 && (Node39.isArrowFunction(initializer) || Node39.isFunctionExpression(initializer))) {
+  if (initializer !== void 0 && (Node40.isArrowFunction(initializer) || Node40.isFunctionExpression(initializer))) {
     return initializer;
   }
   return null;
@@ -9253,7 +9346,7 @@ function here(node, ctx) {
   return { node, scope: ctx.bindings };
 }
 function boundOnce(expr, ctx) {
-  const bound = Node39.isIdentifier(expr) ? ctx.bindings.get(expr.getText()) : void 0;
+  const bound = Node40.isIdentifier(expr) ? ctx.bindings.get(expr.getText()) : void 0;
   return bound !== void 0 && bound.length === 1 ? bound[0] : null;
 }
 function readOrHole(expr, ctx) {
@@ -9265,10 +9358,10 @@ function holeName(expr, ctx) {
   if (bound !== null) {
     return holeName(bound.node, { ...ctx, bindings: bound.scope });
   }
-  if (Node39.isIdentifier(expr)) {
+  if (Node40.isIdentifier(expr)) {
     return expr.getText();
   }
-  if (Node39.isPropertyAccessExpression(expr)) {
+  if (Node40.isPropertyAccessExpression(expr)) {
     return expr.getName();
   }
   return UNNAMED_HOLE;
@@ -9295,8 +9388,8 @@ function madeFromNamed(origin, made) {
   return origin.named.includes(constructorName(made));
 }
 function constructorName(made) {
-  const expression = Node40.isNewExpression(made) || Node40.isCallExpression(made) ? made.getExpression() : made;
-  return Node40.isPropertyAccessExpression(expression) ? expression.getName() : expression.getText();
+  const expression = Node41.isNewExpression(made) || Node41.isCallExpression(made) ? made.getExpression() : made;
+  return Node41.isPropertyAccessExpression(expression) ? expression.getName() : expression.getText();
 }
 var CALL_ORIGIN = {
   declaredBy: ORIGIN.declaredBy,
@@ -9310,7 +9403,7 @@ var CALL_ORIGIN = {
 };
 function madeBy(receiver) {
   const made = madeExpression(receiver);
-  const expression = Node40.isNewExpression(made) || Node40.isCallExpression(made) ? made.getExpression() : made;
+  const expression = Node41.isNewExpression(made) || Node41.isCallExpression(made) ? made.getExpression() : made;
   return rootIdentifier(expression) ?? expression;
 }
 function madeExpression(receiver) {
@@ -9318,7 +9411,7 @@ function madeExpression(receiver) {
     return receiver.expression;
   }
   const written = receiver.resolve(receiver.callee.getExpression());
-  if (written === null || !Node40.isNewExpression(written) && !Node40.isCallExpression(written)) {
+  if (written === null || !Node41.isNewExpression(written) && !Node41.isCallExpression(written)) {
     return receiver.callee;
   }
   return written;
@@ -9326,7 +9419,7 @@ function madeExpression(receiver) {
 function callOpsFor(call, resolveWrittenValue, originatesFrom, anchorCallsOf) {
   const resolve2 = resolveWrittenValue ?? (() => null);
   const expression = calleeOf3(call);
-  const callee = Node40.isPropertyAccessExpression(expression) ? expression : null;
+  const callee = Node41.isPropertyAccessExpression(expression) ? expression : null;
   let args = null;
   const argumentsOf = () => {
     args ??= argumentsIn(call);
@@ -9349,7 +9442,7 @@ function callOpsFor(call, resolveWrittenValue, originatesFrom, anchorCallsOf) {
     argumentCount: () => argumentsOf().length,
     nameAt: (index, unsettled) => nameAt(argumentsOf()[index], unsettled, resolve2),
     calleeText: () => expression.getText(),
-    namedCallee: () => Node40.isIdentifier(expression),
+    namedCallee: () => Node41.isIdentifier(expression),
     parameterReadsAt: (index) => selectorReadsOf(argumentsOf()[index]),
     receiver: () => callee === null ? null : opsOverCall(callee.getExpression(), resolve2),
     argument: (index) => opsOverCall(argumentsOf()[index], resolve2),
@@ -9374,7 +9467,7 @@ function anchorCallBehind(subject, origin, resolve2, originatesFrom, anchorCalls
     return null;
   }
   const found = anchorCallsOf(subject, (candidate) => {
-    if (!Node40.isCallExpression(candidate) && !Node40.isNewExpression(candidate)) {
+    if (!Node41.isCallExpression(candidate) && !Node41.isNewExpression(candidate)) {
       return false;
     }
     const candidateCallee = calleeOf3(candidate);
@@ -9389,7 +9482,7 @@ function anchorCallBehind(subject, origin, resolve2, originatesFrom, anchorCalls
   if (distinct.length !== 1 || only === void 0) {
     return null;
   }
-  if (!Node40.isCallExpression(only) && !Node40.isNewExpression(only)) {
+  if (!Node41.isCallExpression(only) && !Node41.isNewExpression(only)) {
     return null;
   }
   return callOpsFor(only, resolve2, originatesFrom, anchorCallsOf);
@@ -9409,7 +9502,7 @@ function valueOpsFor(value, resolve2) {
     asArg: () => effectArgOf(written()),
     property: (name) => {
       const object = written();
-      const inside = Node40.isObjectLiteralExpression(object) ? initializerOf(object, name) : null;
+      const inside = Node41.isObjectLiteralExpression(object) ? initializerOf(object, name) : null;
       return inside === null ? null : valueOpsFor(inside, resolve2);
     },
     parts: () => literalParts(written()),
@@ -9422,7 +9515,7 @@ function literalParts(value) {
   if (whole !== null) {
     return [whole];
   }
-  if (!Node40.isTemplateExpression(written)) {
+  if (!Node41.isTemplateExpression(written)) {
     return null;
   }
   return [
@@ -9432,26 +9525,26 @@ function literalParts(value) {
 }
 function templateHoles(value, resolve2) {
   const written = untagged(value);
-  if (!Node40.isTemplateExpression(written)) {
+  if (!Node41.isTemplateExpression(written)) {
     return [];
   }
   return written.getTemplateSpans().map((span) => opsOverCall(span.getExpression(), resolve2));
 }
 function untagged(value) {
-  return Node40.isTaggedTemplateExpression(value) ? value.getTemplate() : value;
+  return Node41.isTaggedTemplateExpression(value) ? value.getTemplate() : value;
 }
 function entriesOf(value, unsettled, resolve2) {
-  if (!Node40.isObjectLiteralExpression(value)) {
+  if (!Node41.isObjectLiteralExpression(value)) {
     return [];
   }
   const found = [];
   for (const written of value.getProperties()) {
-    if (Node40.isShorthandPropertyAssignment(written)) {
+    if (Node41.isShorthandPropertyAssignment(written)) {
       const name = written.getNameNode();
       found.push({ key: name.getText(), value: valueOpsFor(name, resolve2) });
       continue;
     }
-    if (!Node40.isPropertyAssignment(written)) {
+    if (!Node41.isPropertyAssignment(written)) {
       continue;
     }
     const stated = written.getInitializer();
@@ -9464,35 +9557,35 @@ function entriesOf(value, unsettled, resolve2) {
 }
 function entryKey(written, unsettled, resolve2) {
   const name = written.getNameNode();
-  if (Node40.isComputedPropertyName(name)) {
+  if (Node41.isComputedPropertyName(name)) {
     return readName(name.getExpression(), { resolve: resolve2, unsettled });
   }
   return unquoted(written.getName());
 }
 function itemsOf(value, resolve2) {
-  if (!Node40.isArrayLiteralExpression(value)) {
+  if (!Node41.isArrayLiteralExpression(value)) {
     return [];
   }
   return value.getElements().map((element) => valueOpsFor(element, resolve2));
 }
 function literalText(value) {
-  return Node40.isStringLiteral(value) || Node40.isNoSubstitutionTemplateLiteral(value) ? value.getLiteralValue() : null;
+  return Node41.isStringLiteral(value) || Node41.isNoSubstitutionTemplateLiteral(value) ? value.getLiteralValue() : null;
 }
 function literalFlag(value) {
-  if (Node40.isTrueLiteral(value) || Node40.isFalseLiteral(value)) {
-    return Node40.isTrueLiteral(value);
+  if (Node41.isTrueLiteral(value) || Node41.isFalseLiteral(value)) {
+    return Node41.isTrueLiteral(value);
   }
-  return Node40.isNumericLiteral(value) ? value.getLiteralValue() !== 0 : null;
+  return Node41.isNumericLiteral(value) ? value.getLiteralValue() !== 0 : null;
 }
 function unquoted(name) {
   return name.replace(/^["']|["']$/g, "");
 }
 function selectorReadsOf(argument) {
-  if (argument === void 0 || !Node40.isArrowFunction(argument) && !Node40.isFunctionExpression(argument)) {
+  if (argument === void 0 || !Node41.isArrowFunction(argument) && !Node41.isFunctionExpression(argument)) {
     return null;
   }
   const parameter = argument.getParameters()[0];
-  if (parameter === void 0 || !Node40.isIdentifier(parameter.getNameNode())) {
+  if (parameter === void 0 || !Node41.isIdentifier(parameter.getNameNode())) {
     return null;
   }
   const names = /* @__PURE__ */ new Set();
@@ -9509,17 +9602,17 @@ function opsOverCall(value, resolve2) {
   return callOpsFor(written, resolve2);
 }
 function isCalled(value) {
-  return Node40.isCallExpression(value) || Node40.isNewExpression(value) || Node40.isTaggedTemplateExpression(value);
+  return Node41.isCallExpression(value) || Node41.isNewExpression(value) || Node41.isTaggedTemplateExpression(value);
 }
 function calleeOf3(call) {
-  return Node40.isTaggedTemplateExpression(call) ? call.getTag() : call.getExpression();
+  return Node41.isTaggedTemplateExpression(call) ? call.getTag() : call.getExpression();
 }
 function argumentsIn(call) {
-  return Node40.isTaggedTemplateExpression(call) ? [call.getTemplate()] : call.getArguments();
+  return Node41.isTaggedTemplateExpression(call) ? [call.getTemplate()] : call.getArguments();
 }
 function settled(value, resolve2) {
   const step = unwrapped(value ?? null);
-  if (step === null || !Node40.isIdentifier(step)) {
+  if (step === null || !Node41.isIdentifier(step)) {
     return step;
   }
   return unwrapped(resolve2(step));
@@ -9546,11 +9639,11 @@ function objectAt(argument, resolve2) {
   if (isCalled(written)) {
     return objectAt(argumentsIn(written)[0], resolve2);
   }
-  return Node40.isObjectLiteralExpression(written) ? written : null;
+  return Node41.isObjectLiteralExpression(written) ? written : null;
 }
 function initializerOf(object, property) {
   for (const written of object.getProperties()) {
-    if (Node40.isPropertyAssignment(written) && written.getName() === property) {
+    if (Node41.isPropertyAssignment(written) && written.getName() === property) {
       return written.getInitializer() ?? null;
     }
   }
@@ -9580,7 +9673,7 @@ function invocationContextFor(call, resolveWrittenValue, originatesFrom, anchorC
   };
 }
 function isImportedFrom(identifier, expectedModule, originatesFrom) {
-  if (!Node41.isIdentifier(identifier)) {
+  if (!Node42.isIdentifier(identifier)) {
     return false;
   }
   const symbol = identifier.getSymbol();
@@ -9601,7 +9694,7 @@ function isImportedFrom(identifier, expectedModule, originatesFrom) {
   );
 }
 function methodDeclaredIn(callee, expectedModule, resolve2, originatesFrom) {
-  if (!Node41.isPropertyAccessExpression(callee)) {
+  if (!Node42.isPropertyAccessExpression(callee)) {
     return false;
   }
   const declarations = callee.getNameNode().getSymbol()?.getDeclarations();
@@ -9621,37 +9714,37 @@ function maker(written) {
   if (written === null) {
     return null;
   }
-  if (Node41.isNewExpression(written) || Node41.isCallExpression(written)) {
+  if (Node42.isNewExpression(written) || Node42.isCallExpression(written)) {
     return written.getExpression();
   }
   return null;
 }
 function rootIdentifier2(expression) {
   let root = expression;
-  while (Node41.isPropertyAccessExpression(root)) {
+  while (Node42.isPropertyAccessExpression(root)) {
     root = root.getExpression();
   }
   return root;
 }
 function importSpecifierMatches(decl, expectedModule) {
-  if (Node41.isImportSpecifier(decl)) {
+  if (Node42.isImportSpecifier(decl)) {
     return decl.getImportDeclaration().getModuleSpecifierValue() === expectedModule;
   }
-  const owner = Node41.isNamespaceImport(decl) ? decl.getParent() : decl;
-  if (!Node41.isImportClause(owner)) {
+  const owner = Node42.isNamespaceImport(decl) ? decl.getParent() : decl;
+  if (!Node42.isImportClause(owner)) {
     return false;
   }
   const importDecl = owner.getParent();
-  return Node41.isImportDeclaration(importDecl) && importDecl.getModuleSpecifierValue() === expectedModule;
+  return Node42.isImportDeclaration(importDecl) && importDecl.getModuleSpecifierValue() === expectedModule;
 }
 function extractInvocationEffects(func, barriers = NO_BARRIERS) {
   const calls = [];
   func.forEachDescendant((node, traversal) => {
-    if (isDescentStop(node, func, barriers) || Node41.isDecorator(node)) {
+    if (isDescentStop(node, func, barriers) || Node42.isDecorator(node)) {
       traversal.skip();
       return;
     }
-    if (Node41.isCallExpression(node)) {
+    if (Node42.isCallExpression(node)) {
       calls.push(node);
     }
   });
@@ -9675,10 +9768,10 @@ function invocationAt(call, func) {
 }
 function isAwaited(call) {
   let current2 = call.getParent();
-  while (current2 !== void 0 && Node41.isParenthesizedExpression(current2)) {
+  while (current2 !== void 0 && Node42.isParenthesizedExpression(current2)) {
     current2 = current2.getParent();
   }
-  return current2 !== void 0 && Node41.isAwaitExpression(current2);
+  return current2 !== void 0 && Node42.isAwaitExpression(current2);
 }
 function runInvocationRecognizers(func, recognizers, barriers = NO_BARRIERS, resolveWrittenValue, originatesFrom, anchorCallsOf) {
   if (recognizers.length === 0) {
@@ -9691,7 +9784,7 @@ function runInvocationRecognizers(func, recognizers, barriers = NO_BARRIERS, res
       traversal.skip();
       return;
     }
-    if (!Node41.isCallExpression(node)) {
+    if (!Node42.isCallExpression(node)) {
       return;
     }
     const ctx = invocationContextFor(
@@ -9753,7 +9846,7 @@ function runAccessRecognizersAtModuleScope(sourceFile, recognizers, resolveWritt
 }
 function accessContextFor(node, sourceFile, resolveWrittenValue = () => null, originatesFrom, anchorCallsOf) {
   const given = { access: node, sourceFile, resolveWrittenValue };
-  if (Node41.isPropertyAccessExpression(node)) {
+  if (Node42.isPropertyAccessExpression(node)) {
     return given;
   }
   let ops;
@@ -9782,7 +9875,7 @@ function dispatchAccessRecognizers(root, recognizers, isStop, resolveWrittenValu
       traversal.skip();
       return;
     }
-    if (!Node41.isPropertyAccessExpression(node) && !Node41.isCallExpression(node) && !Node41.isTaggedTemplateExpression(node)) {
+    if (!Node42.isPropertyAccessExpression(node) && !Node42.isCallExpression(node) && !Node42.isTaggedTemplateExpression(node)) {
       return;
     }
     const ctx = accessContextFor(
@@ -9838,35 +9931,35 @@ function extractArg(node, depth) {
       return extractArg(bare, depth);
     }
   }
-  if (Node41.isStringLiteral(node) || Node41.isNoSubstitutionTemplateLiteral(node)) {
+  if (Node42.isStringLiteral(node) || Node42.isNoSubstitutionTemplateLiteral(node)) {
     return { kind: "string", value: node.getLiteralValue() };
   }
-  if (Node41.isNumericLiteral(node)) {
+  if (Node42.isNumericLiteral(node)) {
     return { kind: "number", value: node.getLiteralValue() };
   }
-  if (Node41.isTrueLiteral(node)) {
+  if (Node42.isTrueLiteral(node)) {
     return { kind: "boolean", value: true };
   }
-  if (Node41.isFalseLiteral(node)) {
+  if (Node42.isFalseLiteral(node)) {
     return { kind: "boolean", value: false };
   }
-  if (Node41.isTemplateExpression(node)) {
+  if (Node42.isTemplateExpression(node)) {
     return { kind: "template", sourceText: node.getText() };
   }
-  if (Node41.isIdentifier(node)) {
+  if (Node42.isIdentifier(node)) {
     const inlined = inlineModuleBinding(node, depth);
     if (inlined !== null) {
       return inlined;
     }
     return { kind: "identifier", name: node.getText() };
   }
-  if (Node41.isPropertyAccessExpression(node) || Node41.isElementAccessExpression(node)) {
+  if (Node42.isPropertyAccessExpression(node) || Node42.isElementAccessExpression(node)) {
     return { kind: "identifier", name: node.getText() };
   }
   if (depth <= 0) {
     return null;
   }
-  if (Node41.isCallExpression(node)) {
+  if (Node42.isCallExpression(node)) {
     const element = mapCallbackReturn(node);
     if (element !== null) {
       return { kind: "array", items: [extractArg(element, depth - 1)] };
@@ -9877,19 +9970,19 @@ function extractArg(node, depth) {
       args: node.getArguments().map((a) => extractArg(a, depth - 1))
     };
   }
-  if (Node41.isNewExpression(node)) {
+  if (Node42.isNewExpression(node)) {
     return {
       kind: "call",
       callee: node.getExpression().getText(),
       args: node.getArguments().map((a) => extractArg(a, depth - 1))
     };
   }
-  if (Node41.isObjectLiteralExpression(node)) {
+  if (Node42.isObjectLiteralExpression(node)) {
     const fields = {};
     for (const prop of node.getProperties()) {
-      if (Node41.isShorthandPropertyAssignment(prop)) {
+      if (Node42.isShorthandPropertyAssignment(prop)) {
         const nameNode2 = prop.getNameNode();
-        if (Node41.isIdentifier(nameNode2)) {
+        if (Node42.isIdentifier(nameNode2)) {
           fields[nameNode2.getText()] = {
             kind: "identifier",
             name: nameNode2.getText()
@@ -9897,14 +9990,14 @@ function extractArg(node, depth) {
         }
         continue;
       }
-      if (!Node41.isPropertyAssignment(prop)) {
+      if (!Node42.isPropertyAssignment(prop)) {
         continue;
       }
       const nameNode = prop.getNameNode();
-      if (!Node41.isIdentifier(nameNode) && !Node41.isStringLiteral(nameNode) && !Node41.isNoSubstitutionTemplateLiteral(nameNode)) {
+      if (!Node42.isIdentifier(nameNode) && !Node42.isStringLiteral(nameNode) && !Node42.isNoSubstitutionTemplateLiteral(nameNode)) {
         continue;
       }
-      const name = Node41.isIdentifier(nameNode) ? nameNode.getText() : nameNode.getLiteralValue();
+      const name = Node42.isIdentifier(nameNode) ? nameNode.getText() : nameNode.getLiteralValue();
       const initializer = prop.getInitializer();
       if (initializer === void 0) {
         continue;
@@ -9913,7 +10006,7 @@ function extractArg(node, depth) {
     }
     return { kind: "object", fields };
   }
-  if (Node41.isArrayLiteralExpression(node)) {
+  if (Node42.isArrayLiteralExpression(node)) {
     const items = node.getElements().map((el) => extractArg(el, depth - 1));
     return { kind: "array", items };
   }
@@ -9921,20 +10014,20 @@ function extractArg(node, depth) {
 }
 function mapCallbackReturn(call) {
   const callee = call.getExpression();
-  if (!Node41.isPropertyAccessExpression(callee) || callee.getName() !== "map") {
+  if (!Node42.isPropertyAccessExpression(callee) || callee.getName() !== "map") {
     return null;
   }
   const callback = call.getArguments()[0];
-  if (callback === void 0 || !(Node41.isArrowFunction(callback) || Node41.isFunctionExpression(callback))) {
+  if (callback === void 0 || !(Node42.isArrowFunction(callback) || Node42.isFunctionExpression(callback))) {
     return null;
   }
   const body = callback.getBody();
-  if (!Node41.isBlock(body)) {
+  if (!Node42.isBlock(body)) {
     return body;
   }
   const statements = body.getStatements();
   const only = statements.length === 1 ? statements[0] : void 0;
-  return only !== void 0 && Node41.isReturnStatement(only) ? only.getExpression() ?? null : null;
+  return only !== void 0 && Node42.isReturnStatement(only) ? only.getExpression() ?? null : null;
 }
 function collectPreconditions(node, root) {
   return collectAncestorConditionInfosBelow(node, root).map(
@@ -9945,7 +10038,7 @@ function runsOnEveryPath(node, root) {
   let current2 = node;
   while (current2 !== void 0 && current2 !== root) {
     const parent = current2.getParent();
-    if (parent !== void 0 && Node41.isTryStatement(parent) && parent.getFinallyBlock() === current2) {
+    if (parent !== void 0 && Node42.isTryStatement(parent) && parent.getFinallyBlock() === current2) {
       return true;
     }
     current2 = parent;
@@ -9968,7 +10061,7 @@ function withPreconditions(effect, preconditions) {
   };
 }
 function inlineModuleBinding(ident, depth) {
-  if (!Node41.isIdentifier(ident)) {
+  if (!Node42.isIdentifier(ident)) {
     return null;
   }
   const symbol = ident.getSymbol();
@@ -9976,7 +10069,7 @@ function inlineModuleBinding(ident, depth) {
     return null;
   }
   for (const decl of symbol.getDeclarations()) {
-    if (!Node41.isVariableDeclaration(decl)) {
+    if (!Node42.isVariableDeclaration(decl)) {
       continue;
     }
     if (!isModuleScoped(decl)) {
@@ -9997,10 +10090,10 @@ function inlineModuleBinding(ident, depth) {
 function isModuleScoped(decl) {
   let current2 = decl.getParent();
   while (current2 !== void 0) {
-    if (Node41.isSourceFile(current2)) {
+    if (Node42.isSourceFile(current2)) {
       return true;
     }
-    if (Node41.isVariableDeclarationList(current2) || Node41.isVariableStatement(current2)) {
+    if (Node42.isVariableDeclarationList(current2) || Node42.isVariableStatement(current2)) {
       current2 = current2.getParent();
       continue;
     }
@@ -10014,7 +10107,7 @@ function unwrapCasts(node) {
 function enclosingStatementLine(node) {
   let current2 = node;
   while (current2 !== void 0) {
-    if (Node41.isStatement(current2)) {
+    if (Node42.isStatement(current2)) {
       return startLineOf(current2);
     }
     current2 = current2.getParent();
@@ -10023,19 +10116,19 @@ function enclosingStatementLine(node) {
 }
 
 // src/terminals/index.ts
-import { Node as Node51 } from "ts-morph";
+import { Node as Node52 } from "ts-morph";
 
 // src/terminals/continuation.ts
-import { Node as Node43 } from "ts-morph";
+import { Node as Node44 } from "ts-morph";
 
 // src/terminals/shared.ts
-import { Node as Node42 } from "ts-morph";
+import { Node as Node43 } from "ts-morph";
 function parameterPositionOf(identifier, func) {
-  if (!Node42.isIdentifier(identifier)) {
+  if (!Node43.isIdentifier(identifier)) {
     return null;
   }
   const declaration = identifier.getSymbol()?.getDeclarations()[0];
-  if (declaration === void 0 || !Node42.isParameterDeclaration(declaration)) {
+  if (declaration === void 0 || !Node43.isParameterDeclaration(declaration)) {
     return null;
   }
   const params = func.getParameters();
@@ -10052,17 +10145,17 @@ function returnPositionOf(value) {
     if (parent === void 0) {
       return null;
     }
-    if (Node42.isReturnStatement(parent)) {
+    if (Node43.isReturnStatement(parent)) {
       return parent;
     }
-    if (Node42.isArrowFunction(parent)) {
+    if (Node43.isArrowFunction(parent)) {
       return parent.getBody() === current2 ? current2 : null;
     }
     if (passesValueThrough(parent)) {
       current2 = parent;
       continue;
     }
-    if (Node42.isConditionalExpression(parent) && (parent.getWhenTrue() === current2 || parent.getWhenFalse() === current2)) {
+    if (Node43.isConditionalExpression(parent) && (parent.getWhenTrue() === current2 || parent.getWhenFalse() === current2)) {
       current2 = parent;
       continue;
     }
@@ -10072,7 +10165,7 @@ function returnPositionOf(value) {
 
 // src/terminals/continuation.ts
 function tryMatchParameterCall(node, func, pattern, match) {
-  if (!Node43.isCallExpression(node)) {
+  if (!Node44.isCallExpression(node)) {
     return null;
   }
   const callee = node.getExpression();
@@ -10096,13 +10189,13 @@ function tryMatchParameterCall(node, func, pattern, match) {
 
 // src/terminals/extract.ts
 import {
-  Node as Node45
+  Node as Node46
 } from "ts-morph";
 import { constantOf } from "@suss/values";
 
 // src/shapes/shapes.ts
 import {
-  Node as Node44,
+  Node as Node45,
   SyntaxKind as SyntaxKind10
 } from "ts-morph";
 
@@ -10569,35 +10662,35 @@ function extractShapeWithArguments(node, substitutions) {
 }
 function extractShapeInner(node) {
   const unwrapped2 = peelSyntax(node);
-  if (boundArguments !== null && Node44.isIdentifier(unwrapped2)) {
+  if (boundArguments !== null && Node45.isIdentifier(unwrapped2)) {
     const argument = boundArguments.get(unwrapped2.getText());
     if (argument !== void 0 && argument !== unwrapped2) {
       return extractShape(argument);
     }
   }
-  if (Node44.isObjectLiteralExpression(unwrapped2)) {
+  if (Node45.isObjectLiteralExpression(unwrapped2)) {
     return shapeFromObjectLiteral(unwrapped2);
   }
-  if (Node44.isArrayLiteralExpression(unwrapped2)) {
+  if (Node45.isArrayLiteralExpression(unwrapped2)) {
     return shapeFromArrayLiteral(unwrapped2);
   }
-  if (Node44.isStringLiteral(unwrapped2) || Node44.isNoSubstitutionTemplateLiteral(unwrapped2)) {
+  if (Node45.isStringLiteral(unwrapped2) || Node45.isNoSubstitutionTemplateLiteral(unwrapped2)) {
     return { type: "literal", value: unwrapped2.getLiteralValue() };
   }
-  if (Node44.isTemplateExpression(unwrapped2)) {
+  if (Node45.isTemplateExpression(unwrapped2)) {
     return { type: "text" };
   }
-  if (Node44.isNumericLiteral(unwrapped2)) {
+  if (Node45.isNumericLiteral(unwrapped2)) {
     return numericLiteralShape(
       unwrapped2.getLiteralValue(),
       unwrapped2.getText()
     );
   }
-  if (Node44.isPrefixUnaryExpression(unwrapped2)) {
+  if (Node45.isPrefixUnaryExpression(unwrapped2)) {
     const op = unwrapped2.getOperatorToken();
     if (op === SyntaxKind10.MinusToken || op === SyntaxKind10.PlusToken) {
       const inner = unwrapped2.getOperand();
-      if (Node44.isNumericLiteral(inner)) {
+      if (Node45.isNumericLiteral(inner)) {
         const v3 = inner.getLiteralValue();
         const signed = op === SyntaxKind10.MinusToken ? -v3 : v3;
         const rawBody = inner.getText();
@@ -10606,7 +10699,7 @@ function extractShapeInner(node) {
       }
     }
   }
-  if (Node44.isBigIntLiteral(unwrapped2)) {
+  if (Node45.isBigIntLiteral(unwrapped2)) {
     return { type: "ref", name: "bigint" };
   }
   const kind = unwrapped2.getKind();
@@ -10619,10 +10712,10 @@ function extractShapeInner(node) {
   if (kind === SyntaxKind10.NullKeyword) {
     return { type: "null" };
   }
-  if (Node44.isIdentifier(unwrapped2) && unwrapped2.getText() === "undefined") {
+  if (Node45.isIdentifier(unwrapped2) && unwrapped2.getText() === "undefined") {
     return { type: "undefined" };
   }
-  if (Node44.isConditionalExpression(unwrapped2)) {
+  if (Node45.isConditionalExpression(unwrapped2)) {
     const whenTrue = extractShape(unwrapped2.getWhenTrue());
     const whenFalse = extractShape(unwrapped2.getWhenFalse());
     const variants = [];
@@ -10653,7 +10746,7 @@ function shapeFromArrayLiteral(arr) {
   }
   const shapes = [];
   for (const el of elements) {
-    if (Node44.isSpreadElement(el)) {
+    if (Node45.isSpreadElement(el)) {
       const inner = el.getExpression();
       const innerShape = extractShape(inner);
       if (innerShape?.type === "array") {
@@ -10672,7 +10765,7 @@ function shapeFromObjectLiteral(obj) {
   const properties = {};
   const unresolvedSpreads = [];
   for (const prop of obj.getProperties()) {
-    if (Node44.isPropertyAssignment(prop)) {
+    if (Node45.isPropertyAssignment(prop)) {
       const name = propertyName2(prop);
       if (name === null) {
         continue;
@@ -10688,7 +10781,7 @@ function shapeFromObjectLiteral(obj) {
       };
       continue;
     }
-    if (Node44.isShorthandPropertyAssignment(prop)) {
+    if (Node45.isShorthandPropertyAssignment(prop)) {
       const name = prop.getName();
       const valueExpr = prop.getNameNode();
       properties[name] = extractShape(valueExpr) ?? {
@@ -10697,7 +10790,7 @@ function shapeFromObjectLiteral(obj) {
       };
       continue;
     }
-    if (Node44.isSpreadAssignment(prop)) {
+    if (Node45.isSpreadAssignment(prop)) {
       const expr = prop.getExpression();
       const spreadShape = extractShape(expr);
       if (spreadShape?.type === "record") {
@@ -10716,7 +10809,7 @@ function shapeFromObjectLiteral(obj) {
 }
 function propertyName2(prop) {
   const nameNode = prop.getNameNode();
-  if (Node44.isIdentifier(nameNode) || Node44.isStringLiteral(nameNode) || Node44.isNoSubstitutionTemplateLiteral(nameNode) || Node44.isNumericLiteral(nameNode)) {
+  if (Node45.isIdentifier(nameNode) || Node45.isStringLiteral(nameNode) || Node45.isNoSubstitutionTemplateLiteral(nameNode) || Node45.isNumericLiteral(nameNode)) {
     return nameNode.getText().replace(/^["']|["']$/g, "");
   }
   return null;
@@ -10747,15 +10840,15 @@ function unwrapAs(node) {
 }
 function unwrapJsonStringify(node) {
   const outer = unwrapAs(node);
-  if (!Node45.isCallExpression(outer)) {
+  if (!Node46.isCallExpression(outer)) {
     return node;
   }
   const callee = outer.getExpression();
-  if (!Node45.isPropertyAccessExpression(callee) || callee.getName() !== "stringify") {
+  if (!Node46.isPropertyAccessExpression(callee) || callee.getName() !== "stringify") {
     return node;
   }
   const receiver = callee.getExpression();
-  if (!Node45.isIdentifier(receiver) || receiver.getText() !== "JSON") {
+  if (!Node46.isIdentifier(receiver) || receiver.getText() !== "JSON") {
     return node;
   }
   const args = outer.getArguments();
@@ -10765,7 +10858,7 @@ function unwrapJsonStringify(node) {
   return unwrapAs(args[0]);
 }
 function substituted(value, ctx) {
-  if (ctx.substitutions === void 0 || !Node45.isIdentifier(value)) {
+  if (ctx.substitutions === void 0 || !Node46.isIdentifier(value)) {
     return value;
   }
   return ctx.substitutions.get(value.getText()) ?? value;
@@ -10809,10 +10902,10 @@ function statusFromProperty(obj, name, ctx) {
   if (prop === void 0) {
     return null;
   }
-  if (Node45.isShorthandPropertyAssignment(prop)) {
+  if (Node46.isShorthandPropertyAssignment(prop)) {
     return { type: "dynamic", sourceText: prop.getName() };
   }
-  if (!Node45.isPropertyAssignment(prop)) {
+  if (!Node46.isPropertyAssignment(prop)) {
     return null;
   }
   const value = prop.getInitializer();
@@ -10835,7 +10928,7 @@ function extractStatusCodeFromRule(ctx) {
       return null;
     }
     const first = ctx.throwCallArgs?.[0];
-    if (first !== void 0 && Node45.isNumericLiteral(first)) {
+    if (first !== void 0 && Node46.isNumericLiteral(first)) {
       const value = first.getLiteralValue();
       if (value >= 100 && value <= 599) {
         return { type: "literal", value };
@@ -10848,7 +10941,7 @@ function extractStatusCodeFromRule(ctx) {
       return null;
     }
     const arg = ctx.throwCallArgs[sc.position];
-    if (arg === void 0 || !Node45.isNewExpression(arg)) {
+    if (arg === void 0 || !Node46.isNewExpression(arg)) {
       return null;
     }
     const ctorText = arg.getExpression().getText();
@@ -10857,7 +10950,7 @@ function extractStatusCodeFromRule(ctx) {
   if (sc.from === "argumentProperty") {
     const args = ctx.throwCallArgs ?? ctx.calls?.[0]?.getArguments();
     const arg = args?.[sc.position];
-    if (arg === void 0 || !Node45.isObjectLiteralExpression(arg)) {
+    if (arg === void 0 || !Node46.isObjectLiteralExpression(arg)) {
       return null;
     }
     return statusFromProperty(arg, sc.name, ctx);
@@ -10867,8 +10960,8 @@ function extractStatusCodeFromRule(ctx) {
       return null;
     }
     for (const prop of ctx.returnedObj.getProperties()) {
-      if (!Node45.isPropertyAssignment(prop)) {
-        if (Node45.isShorthandPropertyAssignment(prop)) {
+      if (!Node46.isPropertyAssignment(prop)) {
+        if (Node46.isShorthandPropertyAssignment(prop)) {
           if (prop.getName() === sc.name) {
             const resolved = ctx.substitutions?.get(prop.getName());
             if (resolved !== void 0) {
@@ -10926,8 +11019,8 @@ function extractBody(ctx) {
       return null;
     }
     for (const prop of ctx.returnedObj.getProperties()) {
-      if (!Node45.isPropertyAssignment(prop)) {
-        if (Node45.isShorthandPropertyAssignment(prop)) {
+      if (!Node46.isPropertyAssignment(prop)) {
+        if (Node46.isShorthandPropertyAssignment(prop)) {
           if (prop.getName() === b.name) {
             const resolved = ctx.substitutions?.get(prop.getName());
             if (resolved !== void 0) {
@@ -10982,16 +11075,16 @@ function extractBody(ctx) {
 }
 
 // src/terminals/jsx.ts
-import { Node as Node46 } from "ts-morph";
+import { Node as Node47 } from "ts-morph";
 function tryMatchJsxReturn(node, pattern) {
   let expr;
   let source;
-  if (Node46.isReturnStatement(node)) {
+  if (Node47.isReturnStatement(node)) {
     expr = node.getExpression();
     source = node;
-  } else if (Node46.isArrowFunction(node)) {
+  } else if (Node47.isArrowFunction(node)) {
     const body = node.getBody();
-    if (body !== void 0 && !Node46.isBlock(body)) {
+    if (body !== void 0 && !Node47.isBlock(body)) {
       expr = body;
       source = body;
     }
@@ -11022,14 +11115,14 @@ function tryMatchJsxReturn(node, pattern) {
   return { node, source, terminal };
 }
 function componentTargetOf(tagNode) {
-  if (!Node46.isIdentifier(tagNode) || !/^[A-Z]/.test(tagNode.getText())) {
+  if (!Node47.isIdentifier(tagNode) || !/^[A-Z]/.test(tagNode.getText())) {
     return null;
   }
   const target = functionTargetOf(tagNode);
   return target === null ? null : { file: target.file, name: target.name };
 }
 function jsxToRenderNode(node) {
-  if (Node46.isJsxElement(node)) {
+  if (Node47.isJsxElement(node)) {
     const opening = node.getOpeningElement();
     const tag = opening.getTagNameNode().getText();
     const attrs = collectJsxAttributes(opening);
@@ -11043,7 +11136,7 @@ function jsxToRenderNode(node) {
       ...target !== null ? { target } : {}
     };
   }
-  if (Node46.isJsxSelfClosingElement(node)) {
+  if (Node47.isJsxSelfClosingElement(node)) {
     const tag = node.getTagNameNode().getText();
     const attrs = collectJsxAttributes(node);
     const target = componentTargetOf(node.getTagNameNode());
@@ -11055,11 +11148,11 @@ function jsxToRenderNode(node) {
       ...target !== null ? { target } : {}
     };
   }
-  if (Node46.isJsxFragment(node)) {
+  if (Node47.isJsxFragment(node)) {
     const children = node.getJsxChildren().map(jsxChildToRenderNode).filter((n) => n !== null);
     return { type: "element", tag: "Fragment", children };
   }
-  if (Node46.isParenthesizedExpression(node)) {
+  if (Node47.isParenthesizedExpression(node)) {
     return jsxToRenderNode(node.getExpression());
   }
   return null;
@@ -11067,12 +11160,12 @@ function jsxToRenderNode(node) {
 function collectJsxAttributes(opening) {
   const entries = {};
   for (const attr of opening.getAttributes()) {
-    if (Node46.isJsxSpreadAttribute(attr)) {
+    if (Node47.isJsxSpreadAttribute(attr)) {
       const exprText = attr.getExpression().getText();
       entries[`...${exprText}`] = exprText;
       continue;
     }
-    if (!Node46.isJsxAttribute(attr)) {
+    if (!Node47.isJsxAttribute(attr)) {
       continue;
     }
     const name = attr.getNameNode().getText();
@@ -11081,7 +11174,7 @@ function collectJsxAttributes(opening) {
       entries[name] = "";
       continue;
     }
-    if (Node46.isJsxExpression(initializer)) {
+    if (Node47.isJsxExpression(initializer)) {
       const inner = initializer.getExpression();
       entries[name] = inner !== void 0 ? inner.getText() : "";
       continue;
@@ -11091,30 +11184,30 @@ function collectJsxAttributes(opening) {
   return Object.keys(entries).length > 0 ? entries : null;
 }
 function jsxChildToRenderNode(child) {
-  if (Node46.isJsxText(child)) {
+  if (Node47.isJsxText(child)) {
     const text = child.getLiteralText().trim();
     if (text.length === 0) {
       return null;
     }
     return { type: "text", value: text };
   }
-  if (Node46.isJsxExpression(child)) {
+  if (Node47.isJsxExpression(child)) {
     const inner = child.getExpression();
     if (inner === void 0) {
       return null;
     }
     return jsxExpressionToRenderNode(inner);
   }
-  if (Node46.isJsxElement(child) || Node46.isJsxSelfClosingElement(child) || Node46.isJsxFragment(child)) {
+  if (Node47.isJsxElement(child) || Node47.isJsxSelfClosingElement(child) || Node47.isJsxFragment(child)) {
     return jsxToRenderNode(child);
   }
   return null;
 }
 function jsxExpressionToRenderNode(expr) {
-  if (Node46.isParenthesizedExpression(expr)) {
+  if (Node47.isParenthesizedExpression(expr)) {
     return jsxExpressionToRenderNode(expr.getExpression());
   }
-  if (Node46.isBinaryExpression(expr)) {
+  if (Node47.isBinaryExpression(expr)) {
     const op = expr.getOperatorToken().getText();
     if (op === "&&") {
       const right = renderAlternative(peelParens(expr.getRight()));
@@ -11128,7 +11221,7 @@ function jsxExpressionToRenderNode(expr) {
       }
     }
   }
-  if (Node46.isConditionalExpression(expr)) {
+  if (Node47.isConditionalExpression(expr)) {
     const truthy = renderAlternative(peelParens(expr.getWhenTrue()));
     const falsy = renderAlternative(peelParens(expr.getWhenFalse()));
     if (truthy.kind === "jsx") {
@@ -11151,16 +11244,16 @@ function jsxExpressionToRenderNode(expr) {
   return { type: "expression", sourceText: expr.getText() };
 }
 function renderAlternative(node) {
-  if (Node46.isNullLiteral(node)) {
+  if (Node47.isNullLiteral(node)) {
     return { kind: "noRender" };
   }
-  if (Node46.isFalseLiteral(node)) {
+  if (Node47.isFalseLiteral(node)) {
     return { kind: "noRender" };
   }
-  if (Node46.isIdentifier(node) && node.getText() === "undefined") {
+  if (Node47.isIdentifier(node) && node.getText() === "undefined") {
     return { kind: "noRender" };
   }
-  if (Node46.isJsxElement(node) || Node46.isJsxSelfClosingElement(node) || Node46.isJsxFragment(node)) {
+  if (Node47.isJsxElement(node) || Node47.isJsxSelfClosingElement(node) || Node47.isJsxFragment(node)) {
     const tree = jsxToRenderNode(node);
     if (tree !== null) {
       return { kind: "jsx", node: tree };
@@ -11171,14 +11264,14 @@ function renderAlternative(node) {
 
 // src/terminals/returns.ts
 import {
-  Node as Node49
+  Node as Node50
 } from "ts-morph";
 
 // src/terminals/helperResolution.ts
-import { Node as Node47, SyntaxKind as SyntaxKind11 } from "ts-morph";
+import { Node as Node48, SyntaxKind as SyntaxKind11 } from "ts-morph";
 function resolveHelperReturn(call, resolveCallee2) {
   const callee = call.getExpression();
-  if (!Node47.isIdentifier(callee)) {
+  if (!Node48.isIdentifier(callee)) {
     return { kind: "notLocal" };
   }
   const helper = memoizedLocalHelper(callee, resolveCallee2);
@@ -11208,16 +11301,16 @@ function guardsAbove(returnValue) {
   let child = returnValue;
   let current2 = returnValue.getParent();
   while (current2 !== void 0) {
-    if (Node47.isIfStatement(current2)) {
+    if (Node48.isIfStatement(current2)) {
       guards.push({
         condition: current2.getExpression(),
         whenTrue: current2.getThenStatement() === child
       });
     }
-    if (Node47.isBlock(current2)) {
+    if (Node48.isBlock(current2)) {
       guards.push(...earlyReturnGuardsBefore(current2, child));
     }
-    if (Node47.isFunctionDeclaration(current2) || Node47.isArrowFunction(current2) || Node47.isFunctionExpression(current2)) {
+    if (Node48.isFunctionDeclaration(current2) || Node48.isArrowFunction(current2) || Node48.isFunctionExpression(current2)) {
       break;
     }
     child = current2;
@@ -11226,7 +11319,7 @@ function guardsAbove(returnValue) {
   return guards;
 }
 function earlyReturnGuardsBefore(block, child) {
-  if (!Node47.isBlock(block)) {
+  if (!Node48.isBlock(block)) {
     return [];
   }
   const guards = [];
@@ -11234,7 +11327,7 @@ function earlyReturnGuardsBefore(block, child) {
     if (statement === child) {
       break;
     }
-    if (!Node47.isIfStatement(statement) || statement.getElseStatement()) {
+    if (!Node48.isIfStatement(statement) || statement.getElseStatement()) {
       continue;
     }
     if (alwaysReturns(statement.getThenStatement())) {
@@ -11244,10 +11337,10 @@ function earlyReturnGuardsBefore(block, child) {
   return guards;
 }
 function alwaysReturns(statement) {
-  if (Node47.isReturnStatement(statement) || Node47.isThrowStatement(statement)) {
+  if (Node48.isReturnStatement(statement) || Node48.isThrowStatement(statement)) {
     return true;
   }
-  if (!Node47.isBlock(statement)) {
+  if (!Node48.isBlock(statement)) {
     return false;
   }
   const statements = statement.getStatements();
@@ -11265,7 +11358,7 @@ var COMPARISONS = {
   "!=": (a, b) => a !== b
 };
 function evaluateComparison(condition, substitutions) {
-  if (!Node47.isBinaryExpression(condition)) {
+  if (!Node48.isBinaryExpression(condition)) {
     return null;
   }
   const left = numberFor(condition.getLeft(), substitutions);
@@ -11277,8 +11370,8 @@ function evaluateComparison(condition, substitutions) {
   return compare === void 0 ? null : compare(left, right);
 }
 function numberFor(node, substitutions) {
-  const resolved = Node47.isIdentifier(node) && substitutions.has(node.getText()) ? substitutions.get(node.getText()) : node;
-  return Node47.isNumericLiteral(resolved) ? Number(resolved.getText()) : null;
+  const resolved = Node48.isIdentifier(node) && substitutions.has(node.getText()) ? substitutions.get(node.getText()) : node;
+  return Node48.isNumericLiteral(resolved) ? Number(resolved.getText()) : null;
 }
 var helperBySymbol = /* @__PURE__ */ new WeakMap();
 function memoizedLocalHelper(callee, resolveCallee2) {
@@ -11344,8 +11437,8 @@ function implementationBeside(declaration, name) {
         return candidate;
       }
     }
-    const variable4 = source.getVariableDeclaration(name);
-    const fn = variable4 === void 0 ? null : asFunctionLike(variable4);
+    const variable3 = source.getVariableDeclaration(name);
+    const fn = variable3 === void 0 ? null : asFunctionLike(variable3);
     if (fn !== null) {
       return fn;
     }
@@ -11365,12 +11458,12 @@ function declarationsFor(callee, resolveCallee2) {
   return (aliased ?? symbol).getDeclarations();
 }
 function asFunctionLike(declaration) {
-  if (Node47.isFunctionDeclaration(declaration) || Node47.isArrowFunction(declaration) || Node47.isFunctionExpression(declaration)) {
+  if (Node48.isFunctionDeclaration(declaration) || Node48.isArrowFunction(declaration) || Node48.isFunctionExpression(declaration)) {
     return declaration;
   }
-  if (Node47.isVariableDeclaration(declaration)) {
+  if (Node48.isVariableDeclaration(declaration)) {
     const initializer = declaration.getInitializer();
-    if (initializer !== void 0 && (Node47.isArrowFunction(initializer) || Node47.isFunctionExpression(initializer))) {
+    if (initializer !== void 0 && (Node48.isArrowFunction(initializer) || Node48.isFunctionExpression(initializer))) {
       return initializer;
     }
   }
@@ -11381,9 +11474,9 @@ function returnedObjects(fn) {
   if (body === void 0) {
     return [];
   }
-  if (!Node47.isBlock(body)) {
+  if (!Node48.isBlock(body)) {
     const expression = peelParens(body);
-    return Node47.isObjectLiteralExpression(expression) ? [expression] : [];
+    return Node48.isObjectLiteralExpression(expression) ? [expression] : [];
   }
   const found = [];
   for (const statement of body.getDescendantsOfKind(
@@ -11397,7 +11490,7 @@ function returnedObjects(fn) {
       continue;
     }
     const unwrapped2 = peelParens(expression);
-    if (Node47.isObjectLiteralExpression(unwrapped2)) {
+    if (Node48.isObjectLiteralExpression(unwrapped2)) {
       found.push(unwrapped2);
     }
   }
@@ -11406,7 +11499,7 @@ function returnedObjects(fn) {
 function enclosingFunctionOf(node) {
   let current2 = node.getParent();
   while (current2 !== void 0) {
-    if (Node47.isFunctionDeclaration(current2) || Node47.isArrowFunction(current2) || Node47.isFunctionExpression(current2) || Node47.isMethodDeclaration(current2)) {
+    if (Node48.isFunctionDeclaration(current2) || Node48.isArrowFunction(current2) || Node48.isFunctionExpression(current2) || Node48.isMethodDeclaration(current2)) {
       return current2.getBody();
     }
     current2 = current2.getParent();
@@ -11425,7 +11518,7 @@ function bindArguments(callArgs, params) {
 }
 
 // src/terminals/statusBranches.ts
-import { Node as Node48 } from "ts-morph";
+import { Node as Node49 } from "ts-morph";
 import { constantOf as constantOf2 } from "@suss/values";
 function statusChoicesOf(argument, resolution) {
   const chosen = asConditional(argument);
@@ -11449,10 +11542,10 @@ function asConditional(node) {
   if (direct !== null) {
     return direct;
   }
-  if (!Node48.isIdentifier(node)) {
+  if (!Node49.isIdentifier(node)) {
     return null;
   }
-  const declaration = node.getSymbol()?.getDeclarations().find(Node48.isVariableDeclaration);
+  const declaration = node.getSymbol()?.getDeclarations().find(Node49.isVariableDeclaration);
   if (declaration === void 0) {
     return null;
   }
@@ -11463,7 +11556,7 @@ function asConditional(node) {
   const only = written.values[0];
   return only === void 0 ? null : toConditional(only);
 }
-var toConditional = (node) => Node48.isConditionalExpression(node) ? node : null;
+var toConditional = (node) => Node49.isConditionalExpression(node) ? node : null;
 function numberOf(node, resolution) {
   const value = constantOf2(evaluatedValue(node, resolution));
   return typeof value === "number" && Number.isFinite(value) ? value : null;
@@ -11480,7 +11573,7 @@ function unwrapMethodChain(call, match, func) {
   for (let i = methodChain.length - 1; i >= 0; i--) {
     const expectedMethod = methodChain[i];
     const callee = current2.getExpression();
-    if (!Node49.isPropertyAccessExpression(callee)) {
+    if (!Node50.isPropertyAccessExpression(callee)) {
       return null;
     }
     if (callee.getName() !== expectedMethod) {
@@ -11496,7 +11589,7 @@ function unwrapMethodChain(call, match, func) {
         return null;
       }
     } else {
-      if (!Node49.isCallExpression(subject)) {
+      if (!Node50.isCallExpression(subject)) {
         return null;
       }
       current2 = subject;
@@ -11506,9 +11599,9 @@ function unwrapMethodChain(call, match, func) {
 }
 function withoutPassThroughCalls(subject, passThrough) {
   let current2 = subject;
-  while (Node49.isCallExpression(current2)) {
+  while (Node50.isCallExpression(current2)) {
     const callee = current2.getExpression();
-    if (!Node49.isPropertyAccessExpression(callee) || !passThrough.includes(callee.getName())) {
+    if (!Node50.isPropertyAccessExpression(callee) || !passThrough.includes(callee.getName())) {
       break;
     }
     current2 = callee.getExpression();
@@ -11520,12 +11613,12 @@ function returnedValueOf(returnStatement) {
   return written === void 0 ? null : unwrapValue(written);
 }
 function tryMatchReturnShape(node, pattern, match, resolution, resolveCallee2) {
-  if (Node49.isObjectLiteralExpression(node)) {
+  if (Node50.isObjectLiteralExpression(node)) {
     const source = returnPositionOf(node);
     if (source === null) {
       return [];
     }
-    if (Node49.isReturnStatement(source) && returnedValueOf(source) === node) {
+    if (Node50.isReturnStatement(source) && returnedValueOf(source) === node) {
       return [];
     }
     const terminal = terminalFromReturnedObject(
@@ -11538,14 +11631,14 @@ function tryMatchReturnShape(node, pattern, match, resolution, resolveCallee2) {
     );
     return terminal === null ? [] : [{ ...terminal, source }];
   }
-  if (!Node49.isReturnStatement(node)) {
+  if (!Node50.isReturnStatement(node)) {
     return [];
   }
   const returned = returnedValueOf(node);
   if (returned === null) {
     return [];
   }
-  if (Node49.isObjectLiteralExpression(returned)) {
+  if (Node50.isObjectLiteralExpression(returned)) {
     const terminal = terminalFromReturnedObject(
       returned,
       node,
@@ -11556,7 +11649,7 @@ function tryMatchReturnShape(node, pattern, match, resolution, resolveCallee2) {
     );
     return terminal === null ? [] : [terminal];
   }
-  if (!Node49.isCallExpression(returned)) {
+  if (!Node50.isCallExpression(returned)) {
     return [];
   }
   const resolved = resolveHelperReturn(returned, resolveCallee2);
@@ -11593,7 +11686,7 @@ function terminalFromReturnedObject(obj, anchor, pattern, match, substitutions,
   if (required !== void 0 && required.length > 0) {
     const presentNames = /* @__PURE__ */ new Set();
     for (const prop of obj.getProperties()) {
-      if (Node49.isPropertyAssignment(prop) || Node49.isShorthandPropertyAssignment(prop)) {
+      if (Node50.isPropertyAssignment(prop) || Node50.isShorthandPropertyAssignment(prop)) {
         presentNames.add(prop.getName());
       }
     }
@@ -11619,7 +11712,7 @@ function terminalFromReturnedObject(obj, anchor, pattern, match, substitutions,
     // When a helper built the value, the anchor is the caller's own
     // return, so it doubles as the provenance. A value reached any other
     // way leaves this unset and its caller fills it in.
-    ...Node49.isReturnStatement(anchor) ? { source: anchor } : {},
+    ...Node50.isReturnStatement(anchor) ? { source: anchor } : {},
     terminal: {
       kind: pattern.kind,
       statusCode,
@@ -11638,7 +11731,7 @@ function terminalFromReturnedObject(obj, anchor, pattern, match, substitutions,
   };
 }
 function tryMatchParameterMethodCall(node, func, pattern, match, resolution) {
-  if (!Node49.isCallExpression(node)) {
+  if (!Node50.isCallExpression(node)) {
     return [];
   }
   const result = unwrapMethodChain(node, match, func);
@@ -11698,7 +11791,7 @@ function statusArgument(calls, extraction) {
 }
 function returnCoveredByParameterMethodCall(expr, func, patterns) {
   const current2 = unwrapValue(expr);
-  if (!Node49.isCallExpression(current2)) {
+  if (!Node50.isCallExpression(current2)) {
     return false;
   }
   for (const pattern of patterns) {
@@ -11714,7 +11807,7 @@ function returnCoveredByParameterMethodCall(expr, func, patterns) {
 }
 function tryMatchReturnStatement(node, pattern, func, allPatterns) {
   const match = pattern.match.type === "returnStatement" ? pattern.match : null;
-  if (Node49.isReturnStatement(node)) {
+  if (Node50.isReturnStatement(node)) {
     const expr = node.getExpression();
     if (match?.excludeCallReturns === true) {
       if (expr === void 0) {
@@ -11733,9 +11826,9 @@ function tryMatchReturnStatement(node, pattern, func, allPatterns) {
     }
     return buildReturnTerminal(node, pattern, body);
   }
-  if (Node49.isArrowFunction(node)) {
+  if (Node50.isArrowFunction(node)) {
     const body = node.getBody();
-    if (body === void 0 || Node49.isBlock(body)) {
+    if (body === void 0 || Node50.isBlock(body)) {
       return null;
     }
     const shape = extractShape(body);
@@ -11793,20 +11886,20 @@ function unresolvedTerminal(kind, node) {
   };
 }
 function calleeSubject(callee) {
-  if (Node49.isIdentifier(callee)) {
+  if (Node50.isIdentifier(callee)) {
     return callee;
   }
-  if (Node49.isPropertyAccessExpression(callee)) {
+  if (Node50.isPropertyAccessExpression(callee)) {
     const subject = callee.getExpression();
-    return Node49.isIdentifier(subject) ? subject : null;
+    return Node50.isIdentifier(subject) ? subject : null;
   }
   return null;
 }
 function tryMatchFunctionCall(node, pattern, match, resolution, originatesFrom) {
-  if (!Node49.isCallExpression(node) && !Node49.isNewExpression(node)) {
+  if (!Node50.isCallExpression(node) && !Node50.isNewExpression(node)) {
     return null;
   }
-  if (Node49.isNewExpression(node) && returnPositionOf(node) === null) {
+  if (Node50.isNewExpression(node) && returnPositionOf(node) === null) {
     return null;
   }
   const callee = node.getExpression();
@@ -11845,9 +11938,9 @@ function tryMatchFunctionCall(node, pattern, match, resolution, originatesFrom)
 }
 
 // src/terminals/throws.ts
-import { Node as Node50 } from "ts-morph";
+import { Node as Node51 } from "ts-morph";
 function tryMatchThrowExpression(node, pattern, match, resolution) {
-  if (!Node50.isThrowStatement(node)) {
+  if (!Node51.isThrowStatement(node)) {
     return null;
   }
   const thrownExpr = node.getExpression();
@@ -11889,17 +11982,17 @@ function extractThrowMessage(callArgs) {
     return null;
   }
   for (const arg of callArgs) {
-    if (Node50.isStringLiteral(arg) || Node50.isNoSubstitutionTemplateLiteral(arg)) {
+    if (Node51.isStringLiteral(arg) || Node51.isNoSubstitutionTemplateLiteral(arg)) {
       return arg.getLiteralValue();
     }
-    if (Node50.isTemplateExpression(arg)) {
+    if (Node51.isTemplateExpression(arg)) {
       return arg.getText();
     }
   }
   return null;
 }
 function classifyThrownExpression(thrown, constructorPattern) {
-  if (Node50.isCallExpression(thrown) || Node50.isNewExpression(thrown)) {
+  if (Node51.isCallExpression(thrown) || Node51.isNewExpression(thrown)) {
     const calleeText = thrown.getExpression().getText();
     if (constructorPattern !== void 0 && !calleeText.startsWith(constructorPattern)) {
       return null;
@@ -11986,9 +12079,9 @@ function findTerminals(func, patterns, barriers = NO_BARRIERS, resolution, origi
       }
     }
   });
-  if (results.length === 0 && Node51.isArrowFunction(func)) {
+  if (results.length === 0 && Node52.isArrowFunction(func)) {
     const body = func.getBody();
-    if (body !== void 0 && !Node51.isBlock(body)) {
+    if (body !== void 0 && !Node52.isBlock(body)) {
       for (const pattern of patterns) {
         let found = null;
         if (pattern.match.type === "parameterMethodCall") {
@@ -12023,7 +12116,7 @@ function functionMayFallThrough(func) {
   if (body === void 0) {
     return false;
   }
-  if (!Node51.isBlock(body)) {
+  if (!Node52.isBlock(body)) {
     return false;
   }
   const statements = body.getStatements();
@@ -12031,7 +12124,7 @@ function functionMayFallThrough(func) {
     return true;
   }
   const last = statements[statements.length - 1];
-  if (Node51.isReturnStatement(last) || Node51.isThrowStatement(last)) {
+  if (Node52.isReturnStatement(last) || Node52.isThrowStatement(last)) {
     return false;
   }
   return true;
@@ -12079,7 +12172,7 @@ function writesTerminal(call, terminalNodes) {
   }
 }
 function isReceiverOf(node, parent) {
-  return (Node52.isPropertyAccessExpression(parent) || Node52.isElementAccessExpression(parent) || Node52.isCallExpression(parent)) && parent.getExpression() === node;
+  return (Node53.isPropertyAccessExpression(parent) || Node53.isElementAccessExpression(parent) || Node53.isCallExpression(parent)) && parent.getExpression() === node;
 }
 var isDefaultConditionList = (conditions) => conditions.length === 0 || conditions.every(
   (c) => c.source === "earlyReturn" || c.source === "earlyThrow"
@@ -12089,7 +12182,7 @@ function bodyContentOf(func) {
   if (body === void 0) {
     return "absent";
   }
-  if (!Node52.isBlock(body)) {
+  if (!Node53.isBlock(body)) {
     return "statements";
   }
   return body.getStatements().length === 0 ? "empty" : "statements";
@@ -12105,7 +12198,7 @@ function countUnmatchedReturns(func, terminals, barriers = NO_BARRIERS) {
       claimed.add(source);
     }
   }
-  if (Node52.isArrowFunction(func) && Node52.isExpression(body)) {
+  if (Node53.isArrowFunction(func) && Node53.isExpression(body)) {
     return claimed.has(body) ? 0 : 1;
   }
   let unmatched = 0;
@@ -12118,7 +12211,7 @@ function countUnmatchedReturns(func, terminals, barriers = NO_BARRIERS) {
       traversal.skip();
       return;
     }
-    if (!Node52.isReturnStatement(node)) {
+    if (!Node53.isReturnStatement(node)) {
       return;
     }
     if (node.getExpression() === void 0) {
@@ -12271,7 +12364,7 @@ function accountFor(site, terminalNodes, branches) {
 }
 
 // src/bootstrap/sourceFileLookup.ts
-import { Node as Node53 } from "ts-morph";
+import { Node as Node54 } from "ts-morph";
 function createSourceFileLookup(project) {
   const all = project.getSourceFiles();
   const byAbs = /* @__PURE__ */ new Map();
@@ -12333,7 +12426,7 @@ function spanKey(span) {
 function indexFunctions(sf) {
   const index = /* @__PURE__ */ new Map();
   sf.forEachDescendant((node) => {
-    if (!Node53.isFunctionDeclaration(node) && !Node53.isFunctionExpression(node) && !Node53.isArrowFunction(node) && !Node53.isMethodDeclaration(node)) {
+    if (!Node54.isFunctionDeclaration(node) && !Node54.isFunctionExpression(node) && !Node54.isArrowFunction(node) && !Node54.isMethodDeclaration(node)) {
       return;
     }
     const bySpan = spanKey({ start: node.getStart(), end: node.getEnd() });
@@ -12347,13 +12440,13 @@ function indexFunctions(sf) {
 }
 
 // src/contract.ts
-import { Node as Node54 } from "ts-morph";
+import { Node as Node55 } from "ts-morph";
 import { restBinding } from "@suss/behavioral-ir";
 function extractDeclaredBody(node) {
   if (node === void 0) {
     return null;
   }
-  if (!Node54.isCallExpression(node)) {
+  if (!Node55.isCallExpression(node)) {
     return null;
   }
   const typeArgs = node.getTypeArguments();
@@ -12367,10 +12460,10 @@ function resolveHandlerPropNode(func) {
   if (parent === void 0) {
     return null;
   }
-  if (Node54.isPropertyAssignment(parent)) {
+  if (Node55.isPropertyAssignment(parent)) {
     return parent;
   }
-  if (Node54.isMethodDeclaration(func)) {
+  if (Node55.isMethodDeclaration(func)) {
     return func;
   }
   return null;
@@ -12382,11 +12475,11 @@ function findRouterCall(unit) {
     return null;
   }
   const handlersObj = propNode.getParent();
-  if (handlersObj === void 0 || !Node54.isObjectLiteralExpression(handlersObj)) {
+  if (handlersObj === void 0 || !Node55.isObjectLiteralExpression(handlersObj)) {
     return null;
   }
   const routerCall = handlersObj.getParent();
-  if (routerCall === void 0 || !Node54.isCallExpression(routerCall)) {
+  if (routerCall === void 0 || !Node55.isCallExpression(routerCall)) {
     return null;
   }
   const args = routerCall.getArguments();
@@ -12399,17 +12492,17 @@ function findRouterCall(unit) {
   };
 }
 function resolveContractObject(contractArg, resolution) {
-  if (Node54.isObjectLiteralExpression(contractArg)) {
+  if (Node55.isObjectLiteralExpression(contractArg)) {
     return contractArg;
   }
-  if (Node54.isPropertyAccessExpression(contractArg)) {
+  if (Node55.isPropertyAccessExpression(contractArg)) {
     const base = resolveContractObject(contractArg.getExpression(), resolution);
-    if (base === null || !Node54.isObjectLiteralExpression(base)) {
+    if (base === null || !Node55.isObjectLiteralExpression(base)) {
       return null;
     }
     const propName = contractArg.getName();
     for (const prop of base.getProperties()) {
-      if (!Node54.isPropertyAssignment(prop)) {
+      if (!Node55.isPropertyAssignment(prop)) {
         continue;
       }
       if (prop.getName() !== propName) {
@@ -12419,20 +12512,20 @@ function resolveContractObject(contractArg, resolution) {
       if (value === void 0) {
         return null;
       }
-      if (Node54.isObjectLiteralExpression(value)) {
+      if (Node55.isObjectLiteralExpression(value)) {
         return value;
       }
-      if (Node54.isIdentifier(value) || Node54.isPropertyAccessExpression(value)) {
+      if (Node55.isIdentifier(value) || Node55.isPropertyAccessExpression(value)) {
         return resolveContractObject(value, resolution);
       }
-      if (Node54.isCallExpression(value)) {
+      if (Node55.isCallExpression(value)) {
         return unwrapContractInit(value);
       }
       return null;
     }
     return null;
   }
-  if (!Node54.isIdentifier(contractArg)) {
+  if (!Node55.isIdentifier(contractArg)) {
     return null;
   }
   const symbol = contractArg.getSymbol();
@@ -12444,7 +12537,7 @@ function resolveContractObject(contractArg, resolution) {
     return null;
   }
   const decl = decls[0];
-  if (Node54.isImportSpecifier(decl)) {
+  if (Node55.isImportSpecifier(decl)) {
     const importDecl = decl.getImportDeclaration();
     const sourceFile = importDecl.getModuleSpecifierSourceFile();
     if (sourceFile !== void 0 && resolution !== void 0) {
@@ -12453,14 +12546,14 @@ function resolveContractObject(contractArg, resolution) {
       );
       if (exported !== void 0 && exported.length > 0) {
         const exportedDecl = exported[0];
-        if (Node54.isVariableDeclaration(exportedDecl)) {
+        if (Node55.isVariableDeclaration(exportedDecl)) {
           return unwrapContractInit(exportedDecl.getInitializer());
         }
       }
     }
     return null;
   }
-  if (Node54.isVariableDeclaration(decl)) {
+  if (Node55.isVariableDeclaration(decl)) {
     return unwrapContractInit(decl.getInitializer());
   }
   return null;
@@ -12470,39 +12563,39 @@ function unwrapContractInit(init) {
     return null;
   }
   const node = peelSyntax(init);
-  if (Node54.isCallExpression(node)) {
+  if (Node55.isCallExpression(node)) {
     const args = node.getArguments();
-    if (args.length > 0 && Node54.isObjectLiteralExpression(args[0])) {
+    if (args.length > 0 && Node55.isObjectLiteralExpression(args[0])) {
       return args[0];
     }
     return null;
   }
-  if (Node54.isObjectLiteralExpression(node)) {
+  if (Node55.isObjectLiteralExpression(node)) {
     return node;
   }
   return null;
 }
 function extractEndpointContract(endpointNode, pattern, framework, resolution) {
-  if (!Node54.isObjectLiteralExpression(endpointNode)) {
+  if (!Node55.isObjectLiteralExpression(endpointNode)) {
     return null;
   }
   const responses = [];
   let method;
   let path15;
   for (const prop of endpointNode.getProperties()) {
-    if (!Node54.isPropertyAssignment(prop)) {
+    if (!Node55.isPropertyAssignment(prop)) {
       continue;
     }
     const propName = prop.getName();
     if (propName === pattern.methodProperty) {
       const val = prop.getInitializer();
-      if (val !== void 0 && Node54.isStringLiteral(val)) {
+      if (val !== void 0 && Node55.isStringLiteral(val)) {
         method = val.getLiteralValue();
       }
     }
     if (propName === pattern.pathProperty) {
       const val = prop.getInitializer();
-      if (val !== void 0 && Node54.isStringLiteral(val)) {
+      if (val !== void 0 && Node55.isStringLiteral(val)) {
         path15 = val.getLiteralValue();
       }
     }
@@ -12511,7 +12604,7 @@ function extractEndpointContract(endpointNode, pattern, framework, resolution) {
       const val = written === void 0 ? null : objectLiteralOf(written, resolution);
       if (val !== null) {
         for (const respProp of propertiesOf(val, resolution)) {
-          if (!Node54.isPropertyAssignment(respProp)) {
+          if (!Node55.isPropertyAssignment(respProp)) {
             continue;
           }
           const statusStr = respProp.getName();
@@ -12561,11 +12654,11 @@ function readContract(unit, pattern, framework, resolution) {
     return null;
   }
   const contractObj = resolveContractObject(routerInfo.contractArg, resolution);
-  if (contractObj === null || !Node54.isObjectLiteralExpression(contractObj)) {
+  if (contractObj === null || !Node55.isObjectLiteralExpression(contractObj)) {
     return null;
   }
   for (const prop of contractObj.getProperties()) {
-    if (!Node54.isPropertyAssignment(prop)) {
+    if (!Node55.isPropertyAssignment(prop)) {
       continue;
     }
     if (prop.getName() !== routerInfo.handlerName) {
@@ -12590,7 +12683,7 @@ function endpointFromRegistrationArgument(unit, position, resolution) {
     return null;
   }
   const call = func.getParent();
-  if (call === void 0 || !Node54.isCallExpression(call)) {
+  if (call === void 0 || !Node55.isCallExpression(call)) {
     return null;
   }
   const args = call.getArguments();
@@ -12602,24 +12695,24 @@ function endpointFromRegistrationArgument(unit, position, resolution) {
     return null;
   }
   let node = arg;
-  while (Node54.isAsExpression(node)) {
+  while (Node55.isAsExpression(node)) {
     node = node.getExpression();
   }
-  if (Node54.isObjectLiteralExpression(node)) {
+  if (Node55.isObjectLiteralExpression(node)) {
     return node;
   }
-  if (Node54.isCallExpression(node)) {
+  if (Node55.isCallExpression(node)) {
     return unwrapContractInit(node);
   }
   return resolveContractObject(node, resolution);
 }
 function readContractForClientCall(callExpression, methodName, pattern, framework, resolution) {
-  const callee = Node54.isCallExpression(callExpression) ? callExpression.getExpression() : null;
-  if (callee === null || !Node54.isPropertyAccessExpression(callee)) {
+  const callee = Node55.isCallExpression(callExpression) ? callExpression.getExpression() : null;
+  if (callee === null || !Node55.isPropertyAccessExpression(callee)) {
     return null;
   }
   const clientIdentifier = callee.getExpression();
-  if (!Node54.isIdentifier(clientIdentifier)) {
+  if (!Node55.isIdentifier(clientIdentifier)) {
     return null;
   }
   const symbol = clientIdentifier.getSymbol();
@@ -12631,11 +12724,11 @@ function readContractForClientCall(callExpression, methodName, pattern, framewor
     return null;
   }
   const decl = decls[0];
-  if (!Node54.isVariableDeclaration(decl)) {
+  if (!Node55.isVariableDeclaration(decl)) {
     return null;
   }
   const init = decl.getInitializer();
-  if (init === void 0 || !Node54.isCallExpression(init)) {
+  if (init === void 0 || !Node55.isCallExpression(init)) {
     return null;
   }
   const args = init.getArguments();
@@ -12643,11 +12736,11 @@ function readContractForClientCall(callExpression, methodName, pattern, framewor
     return null;
   }
   const contractObj = resolveContractObject(args[0], resolution);
-  if (contractObj === null || !Node54.isObjectLiteralExpression(contractObj)) {
+  if (contractObj === null || !Node55.isObjectLiteralExpression(contractObj)) {
     return null;
   }
   for (const prop of contractObj.getProperties()) {
-    if (!Node54.isPropertyAssignment(prop)) {
+    if (!Node55.isPropertyAssignment(prop)) {
       continue;
     }
     if (prop.getName() !== methodName) {
@@ -12902,7 +12995,7 @@ import {
 } from "graphql";
 import picomatch2 from "picomatch";
 import {
-  Node as Node55
+  Node as Node56
 } from "ts-morph";
 import {
   isGraphqlOperationBinding,
@@ -12947,11 +13040,11 @@ function fragmentsRegisteredIn(sourceFiles) {
   const registered = /* @__PURE__ */ new Set();
   for (const sourceFile of sourceFiles) {
     sourceFile.forEachDescendant((node) => {
-      if (!Node55.isCallExpression(node)) {
+      if (!Node56.isCallExpression(node)) {
         return;
       }
       const argument = node.getArguments()[0];
-      if (argument === void 0 || !Node55.isNoSubstitutionTemplateLiteral(argument)) {
+      if (argument === void 0 || !Node56.isNoSubstitutionTemplateLiteral(argument)) {
         return;
       }
       for (const name of fragmentOnlyDocumentNames(argument.getLiteralText())) {
@@ -13138,7 +13231,7 @@ function constructionRegistryStatus(construction, spec) {
   if (cacheConstruction === null) {
     return "unknown";
   }
-  if (!Node55.isNewExpression(cacheConstruction) && !Node55.isCallExpression(cacheConstruction)) {
+  if (!Node56.isNewExpression(cacheConstruction) && !Node56.isCallExpression(cacheConstruction)) {
     return "unknown";
   }
   const args = cacheConstruction.getArguments();
@@ -13152,15 +13245,15 @@ function constructionRegistryStatus(construction, spec) {
   if (cacheOptions.getProperty(spec.registryProperty) !== void 0) {
     return "configured";
   }
-  const hasSpread = cacheOptions.getProperties().some((property) => Node55.isSpreadAssignment(property));
+  const hasSpread = cacheOptions.getProperties().some((property) => Node56.isSpreadAssignment(property));
   return hasSpread ? "unknown" : "absent";
 }
 function firstArgumentObjectLiteral(construction) {
-  if (!Node55.isNewExpression(construction) && !Node55.isCallExpression(construction)) {
+  if (!Node56.isNewExpression(construction) && !Node56.isCallExpression(construction)) {
     return null;
   }
   const arg = construction.getArguments()[0];
-  if (arg === void 0 || !Node55.isObjectLiteralExpression(arg)) {
+  if (arg === void 0 || !Node56.isObjectLiteralExpression(arg)) {
     return null;
   }
   return arg;
@@ -13170,10 +13263,10 @@ function propertyValueOf2(options, name) {
   if (property === void 0) {
     return null;
   }
-  if (Node55.isPropertyAssignment(property)) {
+  if (Node56.isPropertyAssignment(property)) {
     return property.getInitializer() ?? null;
   }
-  if (Node55.isShorthandPropertyAssignment(property)) {
+  if (Node56.isShorthandPropertyAssignment(property)) {
     const symbol = property.getProject().getTypeChecker().getShorthandAssignmentValueSymbol(property);
     return symbol?.getValueDeclaration() ?? null;
   }
@@ -13183,13 +13276,13 @@ function resolveToConstructionOf(expression, cacheClass) {
   let current2 = expression;
   for (let hop = 0; hop < 4 && current2 !== void 0; hop += 1) {
     current2 = unwrapExpression2(current2);
-    if (Node55.isVariableDeclaration(current2)) {
+    if (Node56.isVariableDeclaration(current2)) {
       current2 = current2.getInitializer();
       continue;
     }
-    if (Node55.isNewExpression(current2) || Node55.isCallExpression(current2)) {
+    if (Node56.isNewExpression(current2) || Node56.isCallExpression(current2)) {
       const callee = current2.getExpression();
-      if (callee === void 0 || !Node55.isIdentifier(callee)) {
+      if (callee === void 0 || !Node56.isIdentifier(callee)) {
         return null;
       }
       const local = localImportName(
@@ -13199,11 +13292,11 @@ function resolveToConstructionOf(expression, cacheClass) {
       );
       return local !== null && callee.getText() === local ? current2 : null;
     }
-    if (!Node55.isIdentifier(current2)) {
+    if (!Node56.isIdentifier(current2)) {
       return null;
     }
     const declaration = current2.getSymbol()?.getValueDeclaration();
-    if (declaration === void 0 || !Node55.isVariableDeclaration(declaration)) {
+    if (declaration === void 0 || !Node56.isVariableDeclaration(declaration)) {
       return null;
     }
     current2 = declaration.getInitializer();
@@ -13214,11 +13307,11 @@ function unwrapExpression2(node) {
   return peelSyntax(node);
 }
 function isConstructionNamed(node, localName) {
-  if (!Node55.isNewExpression(node) && !Node55.isCallExpression(node)) {
+  if (!Node56.isNewExpression(node) && !Node56.isCallExpression(node)) {
     return false;
   }
   const callee = node.getExpression();
-  return callee !== void 0 && Node55.isIdentifier(callee) && callee.getText() === localName;
+  return callee !== void 0 && Node56.isIdentifier(callee) && callee.getText() === localName;
 }
 function localImportName(sourceFile, importModule, importName) {
   for (const one of namedImportsOf(sourceFile, [importModule], {
@@ -13232,11 +13325,11 @@ function localImportName(sourceFile, importModule, importName) {
 }
 function constructionRef(node, uriProperty, resolution) {
   const optionsArg = node.getArguments()[0];
-  if (optionsArg === void 0 || !Node55.isObjectLiteralExpression(optionsArg)) {
+  if (optionsArg === void 0 || !Node56.isObjectLiteralExpression(optionsArg)) {
     return null;
   }
   const property = optionsArg.getProperty(uriProperty);
-  if (property === void 0 || !Node55.isPropertyAssignment(property)) {
+  if (property === void 0 || !Node56.isPropertyAssignment(property)) {
     return null;
   }
   const value = property.getInitializer();
@@ -13251,10 +13344,10 @@ function constructionRef(node, uriProperty, resolution) {
 }
 
 // src/discovery/helperIndex.ts
-import { Node as Node57 } from "ts-morph";
+import { Node as Node58 } from "ts-morph";
 
 // src/discovery/helperReading.ts
-import { Node as Node56 } from "ts-morph";
+import { Node as Node57 } from "ts-morph";
 var UNREAD = { as: "unread" };
 function readHelperSinks(helper) {
   const positions = parameterPositions(helper);
@@ -13264,11 +13357,11 @@ function readHelperSinks(helper) {
     return sinks;
   }
   body.forEachDescendant((node) => {
-    if (!Node56.isCallExpression(node)) {
+    if (!Node57.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    const [method, receiver] = Node56.isPropertyAccessExpression(callee) ? [callee.getName(), readValue(callee.getExpression(), positions)] : [null, UNREAD];
+    const [method, receiver] = Node57.isPropertyAccessExpression(callee) ? [callee.getName(), readValue(callee.getExpression(), positions)] : [null, UNREAD];
     sinks.push({
       method,
       receiver,
@@ -13288,25 +13381,25 @@ function parameterPositions(helper) {
   return positions;
 }
 function readValue(node, positions) {
-  if (Node56.isStringLiteral(node) || Node56.isNoSubstitutionTemplateLiteral(node)) {
+  if (Node57.isStringLiteral(node) || Node57.isNoSubstitutionTemplateLiteral(node)) {
     return { as: "text", text: node.getLiteralValue() };
   }
-  if (Node56.isTemplateExpression(node)) {
+  if (Node57.isTemplateExpression(node)) {
     return templateText(node, positions);
   }
-  if (Node56.isIdentifier(node)) {
+  if (Node57.isIdentifier(node)) {
     const position = positions.get(node.getText());
     return position === void 0 ? UNREAD : { as: "parameter", position };
   }
-  if (Node56.isPropertyAccessExpression(node)) {
+  if (Node57.isPropertyAccessExpression(node)) {
     const target = node.getExpression();
-    const position = Node56.isIdentifier(target) ? positions.get(target.getText()) : void 0;
+    const position = Node57.isIdentifier(target) ? positions.get(target.getText()) : void 0;
     return position === void 0 ? UNREAD : { as: "parameter", position, property: node.getName() };
   }
-  if (Node56.isObjectLiteralExpression(node)) {
+  if (Node57.isObjectLiteralExpression(node)) {
     return objectValue(node, positions);
   }
-  if (Node56.isCallExpression(node)) {
+  if (Node57.isCallExpression(node)) {
     return {
       as: "call",
       callee: node.getExpression().getText(),
@@ -13316,13 +13409,13 @@ function readValue(node, positions) {
   return UNREAD;
 }
 function templateText(node, positions) {
-  if (!Node56.isTemplateExpression(node)) {
+  if (!Node57.isTemplateExpression(node)) {
     return UNREAD;
   }
   let text = node.getHead().getLiteralText();
   for (const span of node.getTemplateSpans()) {
     const expression = span.getExpression();
-    const position = Node56.isIdentifier(expression) ? positions.get(expression.getText()) : void 0;
+    const position = Node57.isIdentifier(expression) ? positions.get(expression.getText()) : void 0;
     if (position === void 0) {
       return UNREAD;
     }
@@ -13331,12 +13424,12 @@ function templateText(node, positions) {
   return { as: "text", text };
 }
 function objectValue(node, positions) {
-  if (!Node56.isObjectLiteralExpression(node)) {
+  if (!Node57.isObjectLiteralExpression(node)) {
     return UNREAD;
   }
   const properties = {};
   for (const property of node.getProperties()) {
-    if (!Node56.isPropertyAssignment(property)) {
+    if (!Node57.isPropertyAssignment(property)) {
       continue;
     }
     const initializer = property.getInitializer();
@@ -13351,7 +13444,7 @@ function objectValue(node, positions) {
   return { as: "object", properties };
 }
 function propertyKey(name) {
-  return Node56.isStringLiteral(name) ? name.getLiteralValue() : name.getText();
+  return Node57.isStringLiteral(name) ? name.getLiteralValue() : name.getText();
 }
 
 // src/discovery/helperIndex.ts
@@ -13481,11 +13574,11 @@ function registrationMatchesOf(pack) {
 }
 function collectHandOffs(sourceFile, subjects, match, resolution, found) {
   sourceFile.forEachDescendant((node) => {
-    if (!Node57.isCallExpression(node)) {
+    if (!Node58.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (!Node57.isIdentifier(callee)) {
+    if (!Node58.isIdentifier(callee)) {
       return;
     }
     const handedOver = subjectArgument(node, subjects, match, resolution);
@@ -13500,12 +13593,12 @@ function collectHandOffs(sourceFile, subjects, match, resolution, found) {
   });
 }
 function subjectArgument(call, subjects, match, resolution) {
-  if (!Node57.isCallExpression(call)) {
+  if (!Node58.isCallExpression(call)) {
     return -1;
   }
   const args = call.getArguments();
   for (const [position, argument] of args.entries()) {
-    if (!Node57.isIdentifier(argument) && !Node57.isPropertyAccessExpression(argument)) {
+    if (!Node58.isIdentifier(argument) && !Node58.isPropertyAccessExpression(argument)) {
       continue;
     }
     if (subjectNodeFor(argument, subjects, match, resolution) !== void 0) {
@@ -13564,10 +13657,10 @@ function declaredFunctions(sourceFile) {
       found.push([name, declaration]);
     }
   }
-  for (const variable4 of sourceFile.getVariableDeclarations()) {
-    const initializer = variable4.getInitializer();
-    if (initializer !== void 0 && (Node57.isArrowFunction(initializer) || Node57.isFunctionExpression(initializer))) {
-      found.push([variable4.getName(), initializer]);
+  for (const variable3 of sourceFile.getVariableDeclarations()) {
+    const initializer = variable3.getInitializer();
+    if (initializer !== void 0 && (Node58.isArrowFunction(initializer) || Node58.isFunctionExpression(initializer))) {
+      found.push([variable3.getName(), initializer]);
     }
   }
   return found;
@@ -13661,7 +13754,7 @@ function recordEdge(edgesByChild, candidate) {
 }
 
 // src/discovery/wrapperIndex.ts
-import { Node as Node58 } from "ts-morph";
+import { Node as Node59 } from "ts-morph";
 import { joinMountedPath as joinMountedPath3 } from "@suss/resolution";
 var NO_WRAPPERS = {
   wrappersFor: () => [],
@@ -13785,11 +13878,11 @@ function discoverWrapperRegistrations(sourceFile, pattern, match, wraps, resolut
   const candidates = [];
   const unresolved = [];
   sourceFile.forEachDescendant((node) => {
-    if (!Node58.isCallExpression(node)) {
+    if (!Node59.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (!Node58.isPropertyAccessExpression(callee) || callee.getName() !== wraps.method) {
+    if (!Node59.isPropertyAccessExpression(callee) || callee.getName() !== wraps.method) {
       return;
     }
     const subjectNode = subjectNodeFor(
@@ -13884,7 +13977,7 @@ function discoverConstructorOptions(sourceFile, pattern, wraps, subjects, resolu
   return { candidates, unresolved };
 }
 function constructorOptionOf(construction, wraps, resolution) {
-  if (!(Node58.isNewExpression(construction) || Node58.isCallExpression(construction))) {
+  if (!(Node59.isNewExpression(construction) || Node59.isCallExpression(construction))) {
     return void 0;
   }
   const optionsArg = construction.getArguments()[wraps.targetPosition];
@@ -13914,6 +14007,7 @@ function candidateOf(registration, pattern, sourceFile) {
     reference: {
       file: target.getSourceFile().getFilePath(),
       name: named2 ? functionNameOrAnon(target) : label,
+      ...named2 ? {} : { line: target.getStartLineNumber() },
       ...onThrow ? { onThrow: true } : {},
       ...scope === void 0 ? {} : { scope }
     }
@@ -13922,37 +14016,6 @@ function candidateOf(registration, pattern, sourceFile) {
 function labelFor(targetArg, wraps) {
   return factoryNameOf(targetArg) ?? wraps.method;
 }
-function factoryNameOf(targetArg) {
-  const written = factKeyOf(targetArg);
-  if (!Node58.isCallExpression(written)) {
-    return void 0;
-  }
-  const callee = written.getExpression();
-  if (Node58.isIdentifier(callee)) {
-    return callee.getText();
-  }
-  if (Node58.isPropertyAccessExpression(callee)) {
-    return callee.getName();
-  }
-  return void 0;
-}
-function factoryStopOf(targetArg) {
-  const written = factKeyOf(targetArg);
-  if (!Node58.isCallExpression(written)) {
-    return null;
-  }
-  const callee = factoryNameOf(targetArg);
-  if (callee === void 0) {
-    return null;
-  }
-  const reason = classifyStop(
-    declarationsBehind(written.getExpression().getSymbol())
-  );
-  if (!worthRecording(reason)) {
-    return null;
-  }
-  return { callee, reason: "unresolvedWrapper" };
-}
 function mountedAt(subjectId, mountPrefixes, scope) {
   const prefix = mountPrefixes?.prefixForId?.(subjectId) ?? "";
   return joinMountedPath3(prefix, scope);
@@ -13969,7 +14032,7 @@ function scopeOf(args, wraps, resolution) {
 }
 
 // src/discoveryContext.ts
-import { Node as Node59 } from "ts-morph";
+import { Node as Node60 } from "ts-morph";
 function createTsDiscoveryContext(resolution) {
   const store = resolution ?? new ResolutionStore();
   return {
@@ -14004,7 +14067,7 @@ function exportedFunctions(sourceFile, resolution) {
   return out;
 }
 function exportedFunction(decl, resolution) {
-  const writtenAgain = Node59.isVariableDeclaration(decl) && isWrittenAgain(decl);
+  const writtenAgain = Node60.isVariableDeclaration(decl) && isWrittenAgain(decl);
   if (!writtenAgain) {
     const declared = resolveDeclarationToFunction(decl);
     if (declared !== null) {
@@ -14025,7 +14088,7 @@ function valueToAskAbout(decl, writtenAgain) {
   if (writtenAgain) {
     return decl;
   }
-  const value = Node59.isVariableDeclaration(decl) ? decl.getInitializer() ?? decl : decl;
+  const value = Node60.isVariableDeclaration(decl) ? decl.getInitializer() ?? decl : decl;
   return couldStillNameAFunction(value) ? value : null;
 }
 function resolveDeclarationToFunction(decl) {
@@ -14033,18 +14096,18 @@ function resolveDeclarationToFunction(decl) {
   if (fn !== null) {
     return fn;
   }
-  if (Node59.isVariableDeclaration(decl)) {
+  if (Node60.isVariableDeclaration(decl)) {
     const init = decl.getInitializer();
-    if (init !== void 0 && (Node59.isArrowFunction(init) || Node59.isFunctionExpression(init))) {
+    if (init !== void 0 && (Node60.isArrowFunction(init) || Node60.isFunctionExpression(init))) {
       return init;
     }
   }
   return null;
 }
 function hasJsxReturn(func) {
-  if (Node59.isArrowFunction(func)) {
+  if (Node60.isArrowFunction(func)) {
     const body2 = func.getBody();
-    if (Node59.isExpression(body2) && isJsxOrFragment(body2)) {
+    if (Node60.isExpression(body2) && isJsxOrFragment(body2)) {
       return true;
     }
   }
@@ -14058,11 +14121,11 @@ function hasJsxReturn(func) {
       traversal.stop();
       return;
     }
-    if (node !== func && (Node59.isFunctionDeclaration(node) || Node59.isFunctionExpression(node) || Node59.isArrowFunction(node) || Node59.isMethodDeclaration(node))) {
+    if (node !== func && (Node60.isFunctionDeclaration(node) || Node60.isFunctionExpression(node) || Node60.isArrowFunction(node) || Node60.isMethodDeclaration(node))) {
       traversal.skip();
       return;
     }
-    if (Node59.isReturnStatement(node)) {
+    if (Node60.isReturnStatement(node)) {
       const expr = node.getExpression();
       if (expr !== void 0 && isJsxOrFragment(expr)) {
         found = true;
@@ -14073,7 +14136,7 @@ function hasJsxReturn(func) {
 }
 function isJsxOrFragment(node) {
   const current2 = peelParens(node);
-  return Node59.isJsxElement(current2) || Node59.isJsxSelfClosingElement(current2) || Node59.isJsxFragment(current2);
+  return Node60.isJsxElement(current2) || Node60.isJsxSelfClosingElement(current2) || Node60.isJsxFragment(current2);
 }
 
 // src/graphqlContract.ts
@@ -14199,132 +14262,10 @@ function createReferenceIndex(sourceFiles) {
   };
 }
 
-// src/resolve/boundaryEffects.ts
-import { evaluate as evaluate3, lit as lit3, rule as rule3, variable } from "@suss/datalog";
-var EFFECT_RULES = [
-  rule3(
-    "reachFrom",
-    [variable("e"), variable("e")],
-    [lit3("entry", variable("e"))]
-  ),
-  rule3(
-    "reachFrom",
-    [variable("e"), variable("v")],
-    [
-      lit3("reachFrom", variable("e"), variable("u")),
-      lit3("calls", variable("u"), variable("v"))
-    ]
-  ),
-  rule3(
-    "boundaryEffect",
-    [variable("e"), variable("kind"), variable("target")],
-    [
-      lit3("reachFrom", variable("e"), variable("u")),
-      lit3("unitEffect", variable("u"), variable("kind"), variable("target"))
-    ]
-  )
-];
-function bindingLabel(binding) {
-  const semantics = binding.semantics;
-  if (semantics.name === "rest") {
-    return `${semantics.method} ${semantics.path}`;
-  }
-  if (semantics.name === "storage") {
-    return `${semantics.storageSystem}:${semantics.container}`;
-  }
-  if (semantics.name === "message-bus") {
-    return `${semantics.messageBus}:${semantics.channel}`;
-  }
-  if (semantics.name === "runtime-config") {
-    return semantics.instanceName;
-  }
-  if (semantics.name === "graphql-resolver") {
-    return `${semantics.typeName}.${semantics.fieldName}`;
-  }
-  if (semantics.name === "graphql-operation") {
-    return `${semantics.operationType} ${semantics.operationName ?? ""}`.trim();
-  }
-  if ("exportName" in semantics || "module" in semantics) {
-    return semantics.exportName ?? semantics.module ?? binding.recognition;
-  }
-  if ("instanceName" in semantics && semantics.instanceName !== null) {
-    return `${semantics.deploymentTarget}:${semantics.instanceName}`;
-  }
-  return binding.recognition;
-}
-function effectFact(effect) {
-  if (effect.type === "invocation") {
-    return { kind: "invocation", target: effect.callee };
-  }
-  if (effect.type === "mutation") {
-    return { kind: "mutation", target: `${effect.operation}:${effect.target}` };
-  }
-  if (effect.type === "emission") {
-    return { kind: "emission", target: effect.event };
-  }
-  if (effect.type === "stateChange") {
-    return { kind: "stateChange", target: effect.variable };
-  }
-  if (effect.type === "interaction") {
-    return { kind: "interaction", target: bindingLabel(effect.binding) };
-  }
-  return null;
-}
-function deriveBoundaryEffects(summaries, facts) {
-  const { db, unitKeyBySummary } = facts;
-  for (const summary of summaries) {
-    const key = unitKeyBySummary.get(summary);
-    if (key === void 0) {
-      continue;
-    }
-    for (const transition of summary.transitions) {
-      for (const effect of transition.effects) {
-        const fact2 = effectFact(effect);
-        if (fact2 !== null) {
-          db.add("unitEffect", [key, fact2.kind, fact2.target]);
-        }
-      }
-    }
-  }
-  evaluate3(db, EFFECT_RULES);
-  const ownByEntry = /* @__PURE__ */ new Map();
-  for (const [unit, kind, target] of db.facts("unitEffect")) {
-    const bucket = ownByEntry.get(String(unit)) ?? /* @__PURE__ */ new Set();
-    bucket.add(`${kind}\0${target}`);
-    ownByEntry.set(String(unit), bucket);
-  }
-  const closureByEntry = /* @__PURE__ */ new Map();
-  for (const [entry, kind, target] of db.facts("boundaryEffect")) {
-    const entryKey2 = String(entry);
-    const bucket = closureByEntry.get(entryKey2) ?? [];
-    bucket.push({
-      kind: String(kind),
-      target: String(target),
-      transitive: !(ownByEntry.get(entryKey2)?.has(`${kind}\0${target}`) ?? false)
-    });
-    closureByEntry.set(entryKey2, bucket);
-  }
-  for (const summary of summaries) {
-    const key = unitKeyBySummary.get(summary);
-    if (key === void 0 || !db.has("entry", [key])) {
-      continue;
-    }
-    const effects = closureByEntry.get(key);
-    if (effects === void 0 || effects.length === 0) {
-      continue;
-    }
-    const sorted = [...effects].sort(
-      (a, b) => `${a.kind}:${a.target}`.localeCompare(`${b.kind}:${b.target}`)
-    );
-    summary.metadata = { ...summary.metadata, effectsClosure: sorted };
-  }
-  return summaries;
-}
-
 // src/resolve/reachableClosure.ts
-import { Node as Node60 } from "ts-morph";
+import { Node as Node61 } from "ts-morph";
 import { functionCallBinding, TargetPlacements } from "@suss/behavioral-ir";
-import { Database as Database3, evaluate as evaluate4, lit as lit4, rule as rule4, variable as variable2 } from "@suss/datalog";
+import { Database as Database3, evaluate as evaluate3, lit as lit3, rule as rule3, variable } from "@suss/datalog";
 import { assembleSummary as assembleSummary2 } from "@suss/extractor";
 var GENERIC_TERMINALS = [
   { kind: "return", match: { type: "returnStatement" }, extraction: {} },
@@ -14355,7 +14296,7 @@ function targetOf(node) {
   };
 }
 function resolveCallee(call, calleeName, scan) {
-  if (!Node60.isCallExpression(call)) {
+  if (!Node61.isCallExpression(call)) {
     return null;
   }
   const callee = call.getExpression();
@@ -14368,7 +14309,7 @@ function resolveCallee(call, calleeName, scan) {
     }
   }
   const resolveSources = scan.resolveCallableSources;
-  if (resolveSources !== void 0 && Node60.isPropertyAccessExpression(callee) && declarations.some(isDeclaredShape)) {
+  if (resolveSources !== void 0 && Node61.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);
@@ -14414,11 +14355,11 @@ function passedPositionKey(target, position) {
   return `${offsetKeyFor(target.file, target.span)}#${position}`;
 }
 function resolveJsxReference(node, scan) {
-  if (!Node60.isJsxOpeningElement(node) && !Node60.isJsxSelfClosingElement(node)) {
+  if (!Node61.isJsxOpeningElement(node) && !Node61.isJsxSelfClosingElement(node)) {
     return null;
   }
   const tag = node.getTagNameNode();
-  if (!Node60.isIdentifier(tag) || !/^[A-Z]/.test(tag.getText())) {
+  if (!Node61.isIdentifier(tag) || !/^[A-Z]/.test(tag.getText())) {
     return null;
   }
   const name = tag.getText();
@@ -14464,12 +14405,12 @@ function collectReachable(func, scan) {
     candidates.push(outcome.candidate);
   };
   const recordPassedArgs = (call, calleeText, calleeOutcome) => {
-    if (!Node60.isCallExpression(call)) {
+    if (!Node61.isCallExpression(call)) {
       return;
     }
     const calleeTarget = declaredAtOf(calleeOutcome);
     call.getArguments().forEach((arg, position) => {
-      if (!Node60.isIdentifier(arg)) {
+      if (!Node61.isIdentifier(arg)) {
         return;
       }
       const resolved = functionTargetOf(arg);
@@ -14489,7 +14430,7 @@ function collectReachable(func, scan) {
       record2(jsx.outcome);
       return;
     }
-    if (!Node60.isCallExpression(node)) {
+    if (!Node61.isCallExpression(node)) {
       return;
     }
     const calleeText = normalizeCallee(node.getExpression().getText());
@@ -14541,13 +14482,13 @@ function extractReachableSummary(candidate, options, recognizers) {
   return assembleSummary2(raw, options);
 }
 var REACHABLE_RULES = [
-  rule4("reachable", [variable2("f")], [lit4("entry", variable2("f"))]),
-  rule4(
+  rule3("reachable", [variable("f")], [lit3("entry", variable("f"))]),
+  rule3(
     "reachable",
-    [variable2("g")],
+    [variable("g")],
     [
-      lit4("reachable", variable2("f")),
-      lit4("calls", variable2("f"), variable2("g"))
+      lit3("reachable", variable("f")),
+      lit3("calls", variable("f"), variable("g"))
     ]
   )
 ];
@@ -14575,7 +14516,7 @@ function recognizerOnlyRoots(packsByFile) {
       }
       for (const declaration of variableStatement.getDeclarations()) {
         const init = declaration.getInitializer();
-        if (init !== void 0 && (Node60.isArrowFunction(init) || Node60.isFunctionExpression(init)) && hasBody(init)) {
+        if (init !== void 0 && (Node61.isArrowFunction(init) || Node61.isFunctionExpression(init)) && hasBody(init)) {
           roots.push({ func: init, name: declaration.getName() });
         }
       }
@@ -14624,7 +14565,7 @@ function expandReachableClosure(seeds, project, options, projectFileSet, facts,
     }
   }
   for (; ; ) {
-    evaluate4(db, REACHABLE_RULES);
+    evaluate3(db, REACHABLE_RULES);
     const frontier = db.facts("reachable").map(([key]) => String(key)).filter((key) => !scanned.has(key));
     if (frontier.length === 0) {
       break;
@@ -14829,21 +14770,21 @@ function recordParameterGaps(parameterCallsByKey, summariesByKey, passedPosition
 }
 
 // src/resolve/rethrowEnrichment.ts
-import { Node as Node61 } from "ts-morph";
-import { Database as Database4, evaluate as evaluate5, lit as lit5, rule as rule5, variable as variable3 } from "@suss/datalog";
+import { Node as Node62 } from "ts-morph";
+import { Database as Database4, evaluate as evaluate4, lit as lit4, rule as rule4, variable as variable2 } from "@suss/datalog";
 var RETHROW_RULES = [
-  rule5(
+  rule4(
     "contributes",
-    [variable3("u"), variable3("s")],
-    [lit5("throwsDirect", variable3("u"), variable3("s"))]
+    [variable2("u"), variable2("s")],
+    [lit4("throwsDirect", variable2("u"), variable2("s"))]
   ),
-  rule5(
+  rule4(
     "contributes",
-    [variable3("u"), variable3("s")],
+    [variable2("u"), variable2("s")],
     [
-      lit5("rethrowSite", variable3("u"), variable3("site")),
-      lit5("siteCalls", variable3("site"), variable3("c")),
-      lit5("contributes", variable3("c"), variable3("s"))
+      lit4("rethrowSite", variable2("u"), variable2("site")),
+      lit4("siteCalls", variable2("site"), variable2("c")),
+      lit4("contributes", variable2("c"), variable2("s"))
     ]
   )
 ];
@@ -14905,7 +14846,7 @@ function enrichRethrows(summaries, project, facts) {
       }
     }
   }
-  evaluate5(db, RETHROW_RULES);
+  evaluate4(db, RETHROW_RULES);
   const contributesByUnit = /* @__PURE__ */ new Map();
   for (const [unit, sourceId] of db.facts("contributes")) {
     const bucket = contributesByUnit.get(String(unit));
@@ -14966,7 +14907,7 @@ function findBareRethrow(func, location) {
       traversal.stop();
       return;
     }
-    if (!Node61.isThrowStatement(node)) {
+    if (!Node62.isThrowStatement(node)) {
       return;
     }
     if (startLineOf(node) !== location.start) {
@@ -14976,7 +14917,7 @@ function findBareRethrow(func, location) {
       return;
     }
     const thrown = node.getExpression();
-    if (thrown !== void 0 && Node61.isIdentifier(thrown)) {
+    if (thrown !== void 0 && Node62.isIdentifier(thrown)) {
       found = node;
     }
   });
@@ -14986,13 +14927,13 @@ function enclosingTry(throwStmt) {
   let current2 = throwStmt.getParent();
   let sawCatchClause = false;
   while (current2 !== void 0) {
-    if (Node61.isCatchClause(current2)) {
+    if (Node62.isCatchClause(current2)) {
       sawCatchClause = true;
     }
-    if (Node61.isTryStatement(current2)) {
+    if (Node62.isTryStatement(current2)) {
       return sawCatchClause ? current2 : null;
     }
-    if (Node61.isFunctionDeclaration(current2) || Node61.isFunctionExpression(current2) || Node61.isArrowFunction(current2) || Node61.isMethodDeclaration(current2)) {
+    if (Node62.isFunctionDeclaration(current2) || Node62.isFunctionExpression(current2) || Node62.isArrowFunction(current2) || Node62.isMethodDeclaration(current2)) {
       return null;
     }
     current2 = current2.getParent();
@@ -15000,14 +14941,14 @@ function enclosingTry(throwStmt) {
   return null;
 }
 function collectTryBodyCallees(tryStmt, index, keyFor) {
-  if (!Node61.isTryStatement(tryStmt)) {
+  if (!Node62.isTryStatement(tryStmt)) {
     return [];
   }
   const tryBlock = tryStmt.getTryBlock();
   const callees = [];
   const seen = /* @__PURE__ */ new Set();
   tryBlock.forEachDescendant((node) => {
-    if (!Node61.isCallExpression(node)) {
+    if (!Node62.isCallExpression(node)) {
       return;
     }
     const calleeSummary = resolveCalleeSummary(node, index);
@@ -15024,7 +14965,7 @@ function collectTryBodyCallees(tryStmt, index, keyFor) {
   return callees;
 }
 function resolveCalleeSummary(call, index) {
-  if (!Node61.isCallExpression(call)) {
+  if (!Node62.isCallExpression(call)) {
     return null;
   }
   const callee = call.getExpression();
@@ -15054,12 +14995,12 @@ function resolveCalleeSummary(call, index) {
   return null;
 }
 function functionFromDecl(decl) {
-  if (Node61.isFunctionDeclaration(decl) || Node61.isFunctionExpression(decl) || Node61.isArrowFunction(decl) || Node61.isMethodDeclaration(decl)) {
+  if (Node62.isFunctionDeclaration(decl) || Node62.isFunctionExpression(decl) || Node62.isArrowFunction(decl) || Node62.isMethodDeclaration(decl)) {
     return decl;
   }
-  if (Node61.isVariableDeclaration(decl)) {
+  if (Node62.isVariableDeclaration(decl)) {
     const init = decl.getInitializer();
-    if (init !== void 0 && (Node61.isArrowFunction(init) || Node61.isFunctionExpression(init))) {
+    if (init !== void 0 && (Node62.isArrowFunction(init) || Node62.isFunctionExpression(init))) {
       return init;
     }
   }
@@ -15068,23 +15009,23 @@ function functionFromDecl(decl) {
 
 // src/shapes/fieldAccesses.ts
 import {
-  Node as Node62
+  Node as Node63
 } from "ts-morph";
 function findResponseAccessor(callExpr) {
   let current2 = callExpr;
   const parent1 = current2.getParent();
-  if (parent1 !== void 0 && Node62.isAwaitExpression(parent1)) {
+  if (parent1 !== void 0 && Node63.isAwaitExpression(parent1)) {
     current2 = parent1;
   }
   const parent2 = current2.getParent();
-  if (parent2 === void 0 || !Node62.isVariableDeclaration(parent2)) {
+  if (parent2 === void 0 || !Node63.isVariableDeclaration(parent2)) {
     return null;
   }
   const nameNode = parent2.getNameNode();
-  if (Node62.isIdentifier(nameNode)) {
+  if (Node63.isIdentifier(nameNode)) {
     return { kind: "identifier", name: nameNode.getText() };
   }
-  if (Node62.isObjectBindingPattern(nameNode)) {
+  if (Node63.isObjectBindingPattern(nameNode)) {
     const bindings = /* @__PURE__ */ new Map();
     for (const element of nameNode.getElements()) {
       if (element.getDotDotDotToken() !== void 0) {
@@ -15105,11 +15046,11 @@ function findResponseAccessor(callExpr) {
 function buildThenChainAccessor(callExpr, func) {
   const bindings = /* @__PURE__ */ new Map();
   func.forEachDescendant((node) => {
-    if (!Node62.isParameterDeclaration(node)) {
+    if (!Node63.isParameterDeclaration(node)) {
       return;
     }
     const nameNode = node.getNameNode();
-    if (!Node62.isIdentifier(nameNode)) {
+    if (!Node63.isIdentifier(nameNode)) {
       return;
     }
     const prefix = prefixOfThenParam(node, callExpr, 0);
@@ -15141,7 +15082,7 @@ function prefixOfExpr(expr, responseCall, depth) {
   if (node === responseCall) {
     return [];
   }
-  if (Node62.isCallExpression(node)) {
+  if (Node63.isCallExpression(node)) {
     const hop = thenLikeCall(node);
     if (hop !== null) {
       if (hop.method === "catch") {
@@ -15173,14 +15114,14 @@ function prefixOfMemberExpr(expr, responseCall, depth) {
     return null;
   }
   const decl = chain.root.getSymbol()?.getDeclarations()?.[0];
-  if (decl === void 0 || !Node62.isParameterDeclaration(decl)) {
+  if (decl === void 0 || !Node63.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 || !(Node62.isArrowFunction(callback) || Node62.isFunctionExpression(callback))) {
+  if (callback === void 0 || !(Node63.isArrowFunction(callback) || Node63.isFunctionExpression(callback))) {
     return null;
   }
   const param = callback.getParameters()[0];
@@ -15188,11 +15129,11 @@ function firstCallbackParamName(callback) {
     return null;
   }
   const nameNode = param.getNameNode();
-  return Node62.isIdentifier(nameNode) ? nameNode.getText() : null;
+  return Node63.isIdentifier(nameNode) ? nameNode.getText() : null;
 }
 function unwrap(expr) {
   let node = expr;
-  while (Node62.isAwaitExpression(node) || Node62.isParenthesizedExpression(node) || Node62.isAsExpression(node)) {
+  while (Node63.isAwaitExpression(node) || Node63.isParenthesizedExpression(node) || Node63.isAsExpression(node)) {
     node = node.getExpression();
   }
   return node;
@@ -15202,15 +15143,15 @@ function chainRootedAt(expr, rootName) {
   if (chain === null) {
     return null;
   }
-  return Node62.isIdentifier(chain.root) && chain.root.getText() === rootName ? chain.segments : null;
+  return Node63.isIdentifier(chain.root) && chain.root.getText() === rootName ? chain.segments : null;
 }
 function memberChain(expr) {
-  let node = Node62.isExpression(expr) ? unwrap(expr) : expr;
-  if (Node62.isCallExpression(node)) {
+  let node = Node63.isExpression(expr) ? unwrap(expr) : expr;
+  if (Node63.isCallExpression(node)) {
     node = node.getExpression();
   }
   const segments = [];
-  while (Node62.isPropertyAccessExpression(node)) {
+  while (Node63.isPropertyAccessExpression(node)) {
     segments.unshift(node.getName());
     node = node.getExpression();
   }
@@ -15229,16 +15170,16 @@ function collectPropertyAccesses(subtree, accessor) {
   if (accessor.kind === "identifier") {
     const varName = accessor.name;
     subtree.forEachDescendant((node) => {
-      if (!Node62.isPropertyAccessExpression(node)) {
+      if (!Node63.isPropertyAccessExpression(node)) {
         return;
       }
       const chain = [];
       let current2 = node;
-      while (Node62.isPropertyAccessExpression(current2)) {
+      while (Node63.isPropertyAccessExpression(current2)) {
         chain.unshift(current2.getName());
         current2 = current2.getExpression();
       }
-      if (Node62.isIdentifier(current2) && current2.getText() === varName) {
+      if (Node63.isIdentifier(current2) && current2.getText() === varName) {
         pushChain(chain);
       }
     });
@@ -15249,7 +15190,7 @@ function collectPropertyAccesses(subtree, accessor) {
     return source === void 0 ? void 0 : [source];
   } : (name) => accessor.bindings.get(name);
   subtree.forEachDescendant((node) => {
-    if (!Node62.isIdentifier(node)) {
+    if (!Node63.isIdentifier(node)) {
       return;
     }
     const prefix = prefixOf(node.getText());
@@ -15261,13 +15202,13 @@ function collectPropertyAccesses(subtree, accessor) {
     }
     let chainTop = node;
     let parent = chainTop.getParent();
-    while (parent !== void 0 && Node62.isPropertyAccessExpression(parent) && parent.getExpression() === chainTop) {
+    while (parent !== void 0 && Node63.isPropertyAccessExpression(parent) && parent.getExpression() === chainTop) {
       chainTop = parent;
       parent = chainTop.getParent();
     }
     const segments = [];
     let current2 = chainTop;
-    while (Node62.isPropertyAccessExpression(current2)) {
+    while (Node63.isPropertyAccessExpression(current2)) {
       segments.push(current2.getName());
       current2 = current2.getExpression();
     }
@@ -15281,15 +15222,15 @@ function isBindingDeclarationSite(node) {
     return true;
   }
   const parent = node.getParent();
-  return parent !== void 0 && Node62.isParameterDeclaration(parent) && parent.getNameNode() === node;
+  return parent !== void 0 && Node63.isParameterDeclaration(parent) && parent.getNameNode() === node;
 }
 function isInsideObjectBindingPattern(node) {
   let current2 = node.getParent();
   while (current2 !== void 0) {
-    if (Node62.isObjectBindingPattern(current2)) {
+    if (Node63.isObjectBindingPattern(current2)) {
       return true;
     }
-    if (Node62.isFunctionLikeDeclaration(current2) || Node62.isVariableStatement(current2)) {
+    if (Node63.isFunctionLikeDeclaration(current2) || Node63.isVariableStatement(current2)) {
       break;
     }
     current2 = current2.getParent();
@@ -15352,7 +15293,7 @@ function findBranchSubtree(func, byLineRange, terminalStartLine, terminalEndLine
     if (parent === void 0) {
       break;
     }
-    if (Node62.isIfStatement(parent)) {
+    if (Node63.isIfStatement(parent)) {
       const ifStmt = parent;
       const thenBlock = ifStmt.getThenStatement();
       const elseBlock = ifStmt.getElseStatement();
@@ -15415,7 +15356,7 @@ function buildNonBodyPropertySet(semantics) {
 
 // src/subUnitContext.ts
 import {
-  Node as Node63
+  Node as Node64
 } from "ts-morph";
 function createTsSubUnitContext() {
   return {
@@ -15443,18 +15384,18 @@ function findJsxAttributes(parent) {
     if (skip(node, traversal)) {
       return;
     }
-    if (!Node63.isJsxOpeningElement(node) && !Node63.isJsxSelfClosingElement(node)) {
+    if (!Node64.isJsxOpeningElement(node) && !Node64.isJsxSelfClosingElement(node)) {
       return;
     }
     const tag = node.getTagNameNode().getText();
     for (const attr of node.getAttributes()) {
-      if (!Node63.isJsxAttribute(attr)) {
+      if (!Node64.isJsxAttribute(attr)) {
         continue;
       }
       const initializer = attr.getInitializer();
       let valueExpression = null;
       if (initializer !== void 0) {
-        if (Node63.isJsxExpression(initializer)) {
+        if (Node64.isJsxExpression(initializer)) {
           const inner = initializer.getExpression();
           valueExpression = inner ?? null;
         } else {
@@ -15477,11 +15418,11 @@ function findCallExpressionsByName(parent, name) {
     if (skip(node, traversal)) {
       return;
     }
-    if (!Node63.isCallExpression(node)) {
+    if (!Node64.isCallExpression(node)) {
       return;
     }
     const callee = node.getExpression();
-    if (Node63.isIdentifier(callee) && callee.getText() === name) {
+    if (Node64.isIdentifier(callee) && callee.getText() === name) {
       out.push(node);
     }
   });
@@ -15492,10 +15433,10 @@ function resolveAttributeValueFunction(attr, parent) {
   if (expr === null) {
     return null;
   }
-  if (Node63.isArrowFunction(expr) || Node63.isFunctionExpression(expr)) {
+  if (Node64.isArrowFunction(expr) || Node64.isFunctionExpression(expr)) {
     return { func: expr, localName: null };
   }
-  if (Node63.isIdentifier(expr)) {
+  if (Node64.isIdentifier(expr)) {
     const symbol = expr.getSymbol();
     if (symbol === void 0) {
       return null;
@@ -15514,15 +15455,15 @@ function resolveAttributeValueFunction(attr, parent) {
   return null;
 }
 function tryExtractFunction(decl) {
-  if (Node63.isFunctionDeclaration(decl)) {
+  if (Node64.isFunctionDeclaration(decl)) {
     return decl;
   }
-  if (Node63.isVariableDeclaration(decl)) {
+  if (Node64.isVariableDeclaration(decl)) {
     const init = decl.getInitializer();
     if (init === void 0) {
       return null;
     }
-    if (Node63.isArrowFunction(init) || Node63.isFunctionExpression(init)) {
+    if (Node64.isArrowFunction(init) || Node64.isFunctionExpression(init)) {
       return init;
     }
   }
@@ -15543,7 +15484,7 @@ function getCallArgumentFunction(call, position) {
   if (arg === void 0) {
     return null;
   }
-  if (Node63.isArrowFunction(arg) || Node63.isFunctionExpression(arg)) {
+  if (Node64.isArrowFunction(arg) || Node64.isFunctionExpression(arg)) {
     return arg;
   }
   return null;
@@ -15555,7 +15496,7 @@ function readArrayLiteralText(node) {
   if (node === null) {
     return null;
   }
-  if (Node63.isArrayLiteralExpression(node)) {
+  if (Node64.isArrayLiteralExpression(node)) {
     return node.getElements().map((e) => e.getText());
   }
   return [node.getText()];
@@ -15811,13 +15752,13 @@ var raise = (msg) => {
   throw new Error(msg);
 };
 function bindingPatternNames(nameNode) {
-  if (Node64.isObjectBindingPattern(nameNode)) {
+  if (Node65.isObjectBindingPattern(nameNode)) {
     return nameNode.getElements().map((e) => e.getName());
   }
-  if (Node64.isArrayBindingPattern(nameNode)) {
+  if (Node65.isArrayBindingPattern(nameNode)) {
     const names = [];
     for (const element of nameNode.getElements()) {
-      if (Node64.isOmittedExpression(element)) {
+      if (Node65.isOmittedExpression(element)) {
         continue;
       }
       names.push(element.getName());
@@ -15847,7 +15788,7 @@ function objectParamInputs(param, position, mapping) {
 }
 function componentPropsParameters(param, mapping) {
   const nameNode = param.getNameNode();
-  if (!Node64.isObjectBindingPattern(nameNode)) {
+  if (!Node65.isObjectBindingPattern(nameNode)) {
     const type = param.getType();
     return [
       {
@@ -15877,7 +15818,7 @@ function bindingRole(element, name) {
   if (property === void 0) {
     return name;
   }
-  if (Node64.isStringLiteral(property)) {
+  if (Node65.isStringLiteral(property)) {
     return property.getLiteralValue();
   }
   return property.getText();
@@ -15909,7 +15850,7 @@ function extractParameters(func, inputMapping) {
       const param = params[i];
       const nameNode = param.getNameNode();
       const boundNames = bindingPatternNames(nameNode);
-      if (Node64.isObjectBindingPattern(nameNode)) {
+      if (Node65.isObjectBindingPattern(nameNode)) {
         for (const element of nameNode.getElements()) {
           result.push({
             name: element.getName(),
@@ -15976,7 +15917,7 @@ function extractDependencyCalls(func, barriers = NO_BARRIERS) {
       traversal.skip();
       return;
     }
-    if (!Node64.isVariableDeclaration(node)) {
+    if (!Node65.isVariableDeclaration(node)) {
       return;
     }
     const init = node.getInitializer();
@@ -15985,19 +15926,19 @@ function extractDependencyCalls(func, barriers = NO_BARRIERS) {
     }
     let isAsync = false;
     let callExpr = init;
-    if (Node64.isAwaitExpression(init)) {
+    if (Node65.isAwaitExpression(init)) {
       isAsync = true;
       callExpr = init.getExpression();
     }
-    if (!Node64.isCallExpression(callExpr)) {
+    if (!Node65.isCallExpression(callExpr)) {
       return;
     }
     const calleeName = callExpr.getExpression().getText();
     const nameNode = node.getNameNode();
-    const assignedTo = Node64.isIdentifier(nameNode) ? nameNode.getText() : null;
+    const assignedTo = Node65.isIdentifier(nameNode) ? nameNode.getText() : null;
     const declList = node.getParent();
     const varStmt = declList?.getParent();
-    const locationNode = varStmt !== void 0 && Node64.isVariableStatement(varStmt) ? varStmt : node;
+    const locationNode = varStmt !== void 0 && Node65.isVariableStatement(varStmt) ? varStmt : node;
     results.push({
       name: calleeName,
       assignedTo,
@@ -16356,6 +16297,10 @@ function extractBindingPath(binding, callSite, pack, resolution) {
     const arg = callSite.callExpression.getArguments()[p.position];
     return arg === void 0 ? void 0 : pathFromArgument(arg, resolution);
   }
+  if (p.type === "fromArgumentProperty") {
+    const arg = callSite.callExpression.getArguments()[p.position];
+    return arg === void 0 ? void 0 : pathFromProperty(arg, p.property, resolution);
+  }
   return void 0;
 }
 function resolveContractField(callSite, pack, field, resolution) {
@@ -16751,20 +16696,23 @@ function extractFromSourceFile(sourceFile, frameworks, claimedUnits, options, ta
   return summaries;
 }
 function stampWrappers(raw, unit, wrappers) {
-  if (wrappers === void 0 || unit.registrationSubjectId === void 0) {
-    return;
-  }
-  const applied = wrappers.wrappersFor(unit.registrationSubjectId);
+  const applied = [
+    ...wrappers === void 0 || unit.registrationSubjectId === void 0 ? [] : wrappers.wrappersFor(unit.registrationSubjectId),
+    ...unit.routeWrappers ?? []
+  ];
   if (applied.length === 0) {
     return;
   }
-  raw.wrappers = [...applied];
+  raw.wrappers = applied;
   for (const wrapper of applied) {
     recordFileDependency(wrapper.file);
   }
 }
 function unfollowedStopsOf(unit, wrappers) {
-  const stops = unit.unfollowed === void 0 ? [] : [unit.unfollowed];
+  const stops = [
+    ...unit.unfollowed === void 0 ? [] : [unit.unfollowed],
+    ...unit.routeUnfollowed ?? []
+  ];
   if (wrappers === void 0 || unit.registrationSubjectId === void 0) {
     return stops;
   }
@@ -16913,7 +16861,7 @@ function findWrapperPathParam(summary, lookup) {
   }
   for (const call of func.getDescendantsOfKind(SyntaxKind12.CallExpression)) {
     const first = call.getArguments()[0];
-    if (first === void 0 || !Node64.isIdentifier(first)) {
+    if (first === void 0 || !Node65.isIdentifier(first)) {
       continue;
     }
     const at = names.indexOf(first.getText());
@@ -16962,16 +16910,16 @@ function synthesizeCallerSummaries(wrapper, _project, options, resolution) {
   return out;
 }
 function wrapperNameNode(func) {
-  if (Node64.isFunctionDeclaration(func) || Node64.isMethodDeclaration(func)) {
+  if (Node65.isFunctionDeclaration(func) || Node65.isMethodDeclaration(func)) {
     const name = func.getNameNode();
-    if (name !== void 0 && Node64.isIdentifier(name)) {
+    if (name !== void 0 && Node65.isIdentifier(name)) {
       return name;
     }
   }
   const parent = func.getParent();
-  if (parent !== void 0 && Node64.isVariableDeclaration(parent)) {
+  if (parent !== void 0 && Node65.isVariableDeclaration(parent)) {
     const nameNode = parent.getNameNode();
-    if (Node64.isIdentifier(nameNode)) {
+    if (Node65.isIdentifier(nameNode)) {
       return nameNode;
     }
   }
@@ -16980,10 +16928,10 @@ function wrapperNameNode(func) {
 function enclosingCall(node) {
   let current2 = node.getParent();
   while (current2 !== void 0) {
-    if (Node64.isCallExpression(current2)) {
+    if (Node65.isCallExpression(current2)) {
       return current2;
     }
-    if (Node64.isPropertyAccessExpression(current2)) {
+    if (Node65.isPropertyAccessExpression(current2)) {
       current2 = current2.getParent();
       continue;
     }
@@ -16994,7 +16942,7 @@ function enclosingCall(node) {
 function enclosingFunction(node) {
   let current2 = node.getParent();
   while (current2 !== void 0) {
-    if (Node64.isFunctionDeclaration(current2) || Node64.isFunctionExpression(current2) || Node64.isArrowFunction(current2) || Node64.isMethodDeclaration(current2)) {
+    if (Node65.isFunctionDeclaration(current2) || Node65.isFunctionExpression(current2) || Node65.isArrowFunction(current2) || Node65.isMethodDeclaration(current2)) {
       return current2;
     }
     current2 = current2.getParent();
@@ -17002,13 +16950,13 @@ function enclosingFunction(node) {
   return null;
 }
 function callerName(func) {
-  if (Node64.isFunctionDeclaration(func) || Node64.isMethodDeclaration(func)) {
+  if (Node65.isFunctionDeclaration(func) || Node65.isMethodDeclaration(func)) {
     return func.getName() ?? "anonymous";
   }
   const parent = func.getParent();
-  if (parent !== void 0 && Node64.isVariableDeclaration(parent)) {
+  if (parent !== void 0 && Node65.isVariableDeclaration(parent)) {
     const nameNode = parent.getNameNode();
-    if (Node64.isIdentifier(nameNode)) {
+    if (Node65.isIdentifier(nameNode)) {
       return nameNode.getText();
     }
   }
@@ -17154,7 +17102,11 @@ function createTypeScriptAdapter(suppliedConfig) {
           )
         );
       }
-      return named(summaries, config.workspace, runRoot);
+      return named(
+        composeWrappers(summaries, config.extractorOptions ?? {}),
+        config.workspace,
+        runRoot
+      );
     },
     async extractAll() {
       const timer = createTimer();
@@ -17414,12 +17366,6 @@ function createTypeScriptAdapter(suppliedConfig) {
         "enrichRethrows",
         () => enrichRethrows(merged.summaries, project, closureFacts)
       );
-      if (config.includeReachable !== false) {
-        timer.time(
-          "deriveBoundaryEffects",
-          () => deriveBoundaryEffects(enriched, closureFacts)
-        );
-      }
       timer.time(
         "stampModuleImports",
         () => stampModuleImports(enriched, (file) => {
@@ -17903,10 +17849,18 @@ function createProjectWithoutTsconfig(rootDir) {
   }
   return { project, files };
 }
+var TSCONFIG_NAMES = [
+  "tsconfig.json",
+  "jsconfig.json",
+  "tsconfig.base.json"
+];
+var WALK_UP_TSCONFIG_NAMES = ["tsconfig.json", "jsconfig.json"];
 function findNearestTsconfig(startDir) {
-  let dir = path12.resolve(startDir);
+  const start = path12.resolve(startDir);
+  let dir = start;
   while (true) {
-    for (const name of ["tsconfig.json", "jsconfig.json"]) {
+    const names = dir === start ? TSCONFIG_NAMES : WALK_UP_TSCONFIG_NAMES;
+    for (const name of names) {
       const candidate = path12.join(dir, name);
       if (fs6.existsSync(candidate)) {
         return candidate;
@@ -17922,7 +17876,7 @@ function findNearestTsconfig(startDir) {
 
 // src/facts/why.ts
 import path13 from "path";
-import { Node as Node65, Project as Project3, SyntaxKind as SyntaxKind13 } from "ts-morph";
+import { Node as Node66, Project as Project3, SyntaxKind as SyntaxKind13 } from "ts-morph";
 import { explainResolutionProof, renderExplanation } from "@suss/resolution";
 var JS_PHRASES = {
   bind: ({ tuple, describe }) => ({
@@ -17951,7 +17905,7 @@ var TypeScriptWhySession = class {
     }
     let found = null;
     sourceFile.forEachDescendant((node) => {
-      if (Node65.isExpression(node) && node.getStartLineNumber() === line && node.getText() === text && (found === null || node.getWidth() <= found.getWidth())) {
+      if (Node66.isExpression(node) && node.getStartLineNumber() === line && node.getText() === text && (found === null || node.getWidth() <= found.getWidth())) {
         found = node;
       }
     });
@@ -18043,21 +17997,21 @@ var TypeScriptWhySession = class {
   }
 };
 function displayNameOf(node) {
-  if (Node65.isIdentifier(node) || Node65.isPropertyAccessExpression(node)) {
+  if (Node66.isIdentifier(node) || Node66.isPropertyAccessExpression(node)) {
     return node.getText();
   }
-  if (Node65.isCallExpression(node) || Node65.isNewExpression(node)) {
+  if (Node66.isCallExpression(node) || Node66.isNewExpression(node)) {
     return `${node.getExpression()?.getText() ?? "call"}(...)`;
   }
-  if (Node65.isFunctionDeclaration(node) || Node65.isClassDeclaration(node) || Node65.isMethodDeclaration(node) || Node65.isVariableDeclaration(node)) {
+  if (Node66.isFunctionDeclaration(node) || Node66.isClassDeclaration(node) || Node66.isMethodDeclaration(node) || Node66.isVariableDeclaration(node)) {
     const name = node.getName();
     if (name !== void 0) {
       return name;
     }
   }
-  if (Node65.isArrowFunction(node) || Node65.isFunctionExpression(node)) {
+  if (Node66.isArrowFunction(node) || Node66.isFunctionExpression(node)) {
     const parent = node.getParent();
-    if (parent !== void 0 && Node65.isVariableDeclaration(parent)) {
+    if (parent !== void 0 && Node66.isVariableDeclaration(parent)) {
       return parent.getName();
     }
   }
@@ -18111,6 +18065,7 @@ export {
   GENERIC_TERMINALS,
   NO_BARRIERS,
   ResolutionStore,
+  TSCONFIG_NAMES,
   TypeScriptWhySession,
   accessContextFor,
   buildProjectHelperIndex,