@suss/adapter-typescript 0.25.0 → 0.27.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";
@@ -21,6 +21,7 @@ import {
 import { Database as Database5 } from "@suss/datalog";
 import {
   assembleSummary as assembleSummary3,
+  commonDirectoryOf as commonDirectoryOf2,
   composeWrappers,
   createCacheLayer,
   runDigest,
@@ -28,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
@@ -845,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
     }))
   };
 }
@@ -1501,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";
 
@@ -1986,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: {} };
@@ -1999,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);
@@ -2360,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";
@@ -2418,10 +2431,10 @@ 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";
@@ -4382,180 +4395,8 @@ function declarationOf(value) {
 import { Node as Node18 } from "ts-morph";
 
 // src/discovery/importScan.ts
-import path3 from "path";
-
-// src/diagnostics.ts
 import path2 from "path";
-import { ts as ts3 } from "ts-morph";
-import {
-  createPackTallies,
-  emptyTally,
-  recordPackFailure,
-  summaryCountsByPack
-} from "@suss/extractor";
-function commonDirectoryOf(files) {
-  const absolute = files.filter((f) => path2.isAbsolute(f));
-  const first = absolute[0];
-  if (first === void 0) {
-    return void 0;
-  }
-  let shared = path2.dirname(first).split(path2.sep);
-  for (const file of absolute.slice(1)) {
-    const parts = path2.dirname(file).split(path2.sep);
-    let i = 0;
-    while (i < shared.length && i < parts.length && shared[i] === parts[i]) {
-      i += 1;
-    }
-    shared = shared.slice(0, i);
-  }
-  const joined2 = shared.join(path2.sep);
-  return joined2.length > 1 ? joined2 : void 0;
-}
-var DEFAULT_RESOLUTION = {
-  moduleResolution: ts3.ModuleResolutionKind.Bundler,
-  target: ts3.ScriptTarget.ESNext,
-  module: ts3.ModuleKind.ESNext
-};
-function resolutionContext(args) {
-  if (args.tsConfigFilePath !== void 0) {
-    const configFile = ts3.readConfigFile(
-      args.tsConfigFilePath,
-      ts3.sys.readFile
-    );
-    if (configFile.error !== void 0) {
-      return null;
-    }
-    const dir = path2.dirname(args.tsConfigFilePath);
-    const parsed = ts3.parseJsonConfigFileContent(
-      configFile.config,
-      ts3.sys,
-      dir,
-      /*existingOptions*/
-      void 0,
-      args.tsConfigFilePath
-    );
-    return {
-      containingFile: path2.join(dir, "index.ts"),
-      options: parsed.options
-    };
-  }
-  if (args.projectRoot === void 0 || !path2.isAbsolute(args.projectRoot)) {
-    return null;
-  }
-  return {
-    containingFile: path2.join(args.projectRoot, "index.ts"),
-    options: DEFAULT_RESOLUTION
-  };
-}
-function unresolvedGatesFor(gates, args) {
-  if (gates.length === 0) {
-    return [];
-  }
-  const context = resolutionContext(args);
-  if (context === null) {
-    return [];
-  }
-  const unresolved = [];
-  for (const gate of gates) {
-    const resolved = ts3.resolveModuleName(
-      gate,
-      context.containingFile,
-      context.options,
-      ts3.sys
-    );
-    if (resolved.resolvedModule === void 0) {
-      unresolved.push(gate);
-    }
-  }
-  return unresolved;
-}
-function helpersWithNoCall(patterns, matched, projectRoot) {
-  const missing = [];
-  for (const pattern of patterns) {
-    if (pattern.match.type !== "registrationTemplate" || matched.has(pattern.match.helperName)) {
-      continue;
-    }
-    const from = pattern.match.importModule;
-    missing.push(
-      from === void 0 ? pattern.match.helperName : `${pattern.match.helperName} from ${shortModule(from, projectRoot)}`
-    );
-  }
-  return missing;
-}
-function shortModule(module, projectRoot) {
-  if (projectRoot === void 0 || !path2.isAbsolute(module)) {
-    return module;
-  }
-  return path2.relative(projectRoot, module);
-}
-function buildExtractionReport(args) {
-  const bySummary = summaryCountsByPack(args.summaries);
-  const packFunnels = args.packs.map((pack) => {
-    const gates = packIsUngated(pack) ? [] : collectPackGates(pack);
-    const tally = args.tallies.get(pack.name) ?? emptyTally();
-    const counted = bySummary.get(pack.name) ?? {
-      bound: 0,
-      providers: 0,
-      withBehavior: 0
-    };
-    return {
-      pack: pack.name,
-      version: pack.version ?? null,
-      discovers: pack.discovery.length > 0 || pack.discoverUnits !== void 0,
-      recognizes: (pack.invocationRecognizers?.length ?? 0) > 0 || (pack.accessRecognizers?.length ?? 0) > 0,
-      gates,
-      unresolvedGates: unresolvedGatesFor(gates, {
-        tsConfigFilePath: args.tsConfigFilePath,
-        projectRoot: args.projectRoot
-      }),
-      candidateFiles: tally.candidateFiles,
-      unitsDiscovered: tally.unitsDiscovered,
-      unitsInGatedFiles: tally.unitsInGatedFiles,
-      effectsRecognized: tally.effectsRecognized,
-      unitsClaimed: tally.unitsClaimed,
-      summariesProduced: tally.summariesProduced,
-      failures: tally.failures,
-      helpersUnmatched: helpersWithNoCall(
-        [...pack.discovery, ...args.contributedPatterns?.(pack.name) ?? []],
-        tally.helpersMatched,
-        args.projectRoot
-      ),
-      summariesBound: counted.bound,
-      providerSummaries: counted.providers,
-      summariesWithBehavior: counted.withBehavior,
-      declarations: pack.declarations ?? null
-    };
-  });
-  return {
-    filesInProject: args.filesInProject,
-    filesWalked: args.filesWalked,
-    packs: packFunnels,
-    summaries: args.summaries.length,
-    filesWithUnreadableExports: [...args.filesWithUnreadableExports ?? []],
-    reassignedNamesUnstated: args.reassignedNamesUnstated ?? 0,
-    emptyStage: args.summaries.length === 0 ? firstEmptyStage(packFunnels, args) : null
-  };
-}
-function firstEmptyStage(packs, args) {
-  if (args.filesInProject === 0) {
-    return "tsconfig";
-  }
-  const gateFailed = packs.some(
-    (p) => p.unresolvedGates.length > 0 && p.candidateFiles > 0
-  );
-  if (gateFailed) {
-    return "gateResolution";
-  }
-  if (args.filesWalked === 0 || packs.every((p) => p.candidateFiles === 0)) {
-    return "candidateFiles";
-  }
-  if (packs.every((p) => p.unitsDiscovered === 0)) {
-    return "discovery";
-  }
-  return "assembly";
-}
-
-// src/discovery/importScan.ts
+import { commonDirectoryOf } from "@suss/extractor";
 function specifierMatches(specifier, moduleName, subpaths) {
   if (specifier === moduleName) {
     return true;
@@ -4647,7 +4488,7 @@ function resolvedModuleFile(project, importModule, resolution) {
 function projectFileNamedBy(project, specifier) {
   const files = project.getSourceFiles().filter((sf) => !sf.isDeclarationFile());
   const root = commonDirectoryOf(files.map((sf) => sf.getFilePath())) ?? "/";
-  const target = withoutSourceExtension(path3.resolve(root, specifier));
+  const target = withoutSourceExtension(path2.resolve(root, specifier));
   for (const candidate of files) {
     if (withoutSourceExtension(candidate.getFilePath()) === target) {
       return candidate;
@@ -5411,6 +5252,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";
@@ -5435,9 +5277,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;
@@ -5463,6 +5311,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,
@@ -6106,7 +5957,7 @@ import { Node as Node26 } from "ts-morph";
 
 // src/discovery/graphqlShared.ts
 import fs2 from "fs";
-import path4 from "path";
+import path3 from "path";
 import {
   Kind as GraphqlKind,
   parse as graphqlParse,
@@ -6649,8 +6500,8 @@ function resolveGraphqlFileImport(decl) {
     return null;
   }
   const sourceFile = importDecl.getSourceFile();
-  const baseDir = path4.dirname(sourceFile.getFilePath());
-  const absolute = path4.resolve(baseDir, specifier);
+  const baseDir = path3.dirname(sourceFile.getFilePath());
+  const absolute = path3.resolve(baseDir, specifier);
   try {
     return fs2.readFileSync(absolute, "utf8");
   } catch {
@@ -7257,13 +7108,13 @@ import { Node as Node30 } from "ts-morph";
 
 // src/packageExports.ts
 import fs3 from "fs";
-import path5 from "path";
+import path4 from "path";
 function resolvePackageExports(packageJsonPath, opts = {}) {
-  const absPkgJson = path5.resolve(packageJsonPath);
-  const pkgDir = path5.dirname(absPkgJson);
+  const absPkgJson = path4.resolve(packageJsonPath);
+  const pkgDir = path4.dirname(absPkgJson);
   const raw = fs3.readFileSync(absPkgJson, "utf8");
   const pkg = JSON.parse(raw);
-  const packageName = pkg.name ?? path5.basename(pkgDir);
+  const packageName = pkg.name ?? path4.basename(pkgDir);
   const warnings = [];
   const entries = [];
   const pushEntry = (subPath, distPath) => {
@@ -7282,7 +7133,7 @@ function resolvePackageExports(packageJsonPath, opts = {}) {
       subPath,
       exportPathPrefix: subPathToPrefix(subPath),
       sourceFile: src,
-      publishedFile: path5.resolve(pkgDir, distPath)
+      publishedFile: path4.resolve(pkgDir, distPath)
     });
   };
   const exportsField = pkg.exports;
@@ -7324,12 +7175,12 @@ function resolvePackageExportsCached(packageJsonPath) {
   return fresh;
 }
 function namedPackageDirAbove(start) {
-  let at = path5.resolve(start);
+  let at = path4.resolve(start);
   for (let up = 0; up < 12; up += 1) {
     if (packageNameAt(at) !== null) {
       return at;
     }
-    const parent = path5.dirname(at);
+    const parent = path4.dirname(at);
     if (parent === at) {
       break;
     }
@@ -7340,7 +7191,7 @@ function namedPackageDirAbove(start) {
 function packageNameAt(dir) {
   try {
     const manifest = JSON.parse(
-      fs3.readFileSync(path5.join(dir, "package.json"), "utf8")
+      fs3.readFileSync(path4.join(dir, "package.json"), "utf8")
     );
     if (typeof manifest.name === "string" && manifest.name.length > 0) {
       return manifest.name;
@@ -7390,7 +7241,7 @@ function resolveSourceFor(pkgDir, distPath, srcRoot) {
   const stem = withoutDist.replace(/\.d\.ts$/, "").replace(/\.js$/, "").replace(/\.cjs$/, "").replace(/\.mjs$/, "").replace(/\.ts$/, "");
   const candidates = [`${stem}.ts`, `${stem}.tsx`];
   for (const candidate of candidates) {
-    const abs = path5.resolve(pkgDir, candidate);
+    const abs = path4.resolve(pkgDir, candidate);
     if (fs3.existsSync(abs)) {
       return abs;
     }
@@ -7399,20 +7250,20 @@ function resolveSourceFor(pkgDir, distPath, srcRoot) {
 }
 
 // src/resolve/sourceDeclaration.ts
-import path6 from "path";
+import path5 from "path";
 function sourceDeclarationsBehind(decl, resolution, visited = /* @__PURE__ */ new Set()) {
   const file = decl.getSourceFile();
   if (!file.isDeclarationFile() || file.isInNodeModules()) {
     return [decl];
   }
-  const packageDir = namedPackageDirAbove(path6.dirname(file.getFilePath()));
+  const packageDir = namedPackageDirAbove(path5.dirname(file.getFilePath()));
   if (packageDir === null || visited.has(packageDir)) {
     return [decl];
   }
   visited.add(packageDir);
   const project = file.getProject();
   const { entries } = resolvePackageExportsCached(
-    path6.join(packageDir, "package.json")
+    path5.join(packageDir, "package.json")
   );
   const found = [];
   for (const entry of entries) {
@@ -7892,36 +7743,176 @@ 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/registrationCall.ts
-function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, resolution, mountPrefixes, expandedElsewhere) {
-  const results = [];
-  const registrationSubjects = registrationSubjectsOf(
-    sourceFile,
-    match.importModule,
-    match.importName,
-    resolution
-  );
-  const registrationMethods = match.registrationChain.map(
-    (c) => c.startsWith(".") ? c.slice(1) : c
+// 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
   );
-  if (registrationSubjects.size === 0 && !storeCanFindSubjects(sourceFile, match, resolution, registrationMethods)) {
-    return results;
+  return module !== void 0 && Node32.isStringLiteral(module.getNameNode());
+}
+function statesShapeOnly(declaration) {
+  if (isExternalDeclaration(declaration)) {
+    return false;
   }
-  sourceFile.forEachDescendant((node) => {
-    if (!Node32.isCallExpression(node)) {
-      return;
+  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;
     }
-    const callee = node.getExpression();
-    if (!Node32.isPropertyAccessExpression(callee)) {
+  }
+  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, routeWrapperPattern) {
+  const results = [];
+  const registrationSubjects = registrationSubjectsOf(
+    sourceFile,
+    match.importModule,
+    match.importName,
+    resolution
+  );
+  const registrationMethods = match.registrationChain.map(
+    (c) => c.startsWith(".") ? c.slice(1) : c
+  );
+  if (registrationSubjects.size === 0 && !storeCanFindSubjects(sourceFile, match, resolution, registrationMethods)) {
+    return results;
+  }
+  sourceFile.forEachDescendant((node) => {
+    if (!Node34.isCallExpression(node)) {
+      return;
+    }
+    const callee = node.getExpression();
+    if (!Node34.isPropertyAccessExpression(callee)) {
       return;
     }
     const methodName = callee.getName();
@@ -7958,12 +7949,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,
@@ -7972,7 +7963,7 @@ function discoverRegistrationCalls(sourceFile, match, kind, bindingExtraction, r
           });
           continue;
         }
-        if (!Node32.isPropertyAssignment(prop)) {
+        if (!Node34.isPropertyAssignment(prop)) {
           continue;
         }
         const propInit = prop.getInitializer();
@@ -8004,6 +7995,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,
@@ -8011,8 +8009,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)) {
@@ -8058,6 +8061,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;
@@ -8085,13 +8129,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(
@@ -8131,18 +8175,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();
@@ -8169,18 +8213,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();
@@ -8201,7 +8245,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;
@@ -8244,7 +8288,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);
     }
   });
@@ -8262,11 +8306,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(
@@ -8280,7 +8324,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(
@@ -8335,7 +8379,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();
@@ -8346,7 +8390,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);
@@ -8354,7 +8398,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);
@@ -8417,13 +8461,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();
     }
   }
@@ -8436,14 +8480,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;
       }
     });
@@ -8453,11 +8497,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();
@@ -8477,11 +8521,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();
@@ -8504,117 +8548,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 path7 from "path";
-import { Node as Node35 } from "ts-morph";
+import path6 from "path";
+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)) {
@@ -8670,20 +8616,20 @@ function subjectOfCall(sourceFile, args, match, resolution) {
 }
 function helperCallsOf(sourceFile, match, resolution) {
   const module = match.importModule;
-  if (module !== void 0 && !path7.isAbsolute(module)) {
+  if (module !== void 0 && !path6.isAbsolute(module)) {
     const store = resolution ?? new ResolutionStore();
     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)) {
@@ -8727,7 +8673,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;
@@ -8750,7 +8696,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);
@@ -8761,7 +8707,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);
@@ -8769,19 +8715,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;
@@ -8792,7 +8738,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];
@@ -8846,7 +8792,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");
@@ -8868,15 +8814,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();
       }
     }
@@ -8885,7 +8831,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,
@@ -8902,7 +8848,8 @@ function runPattern(sourceFile, pattern, resolution, mountPrefixes, expandedElse
       pattern.bindingExtraction,
       resolution,
       mountPrefixes,
-      expandedElsewhere
+      expandedElsewhere,
+      routeWrapperPattern
     );
   }
   if (pattern.match.type === "registrationTemplate") {
@@ -9008,19 +8955,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);
   }
@@ -9039,7 +8993,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();
@@ -9069,9 +9023,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;
@@ -9079,20 +9033,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;
@@ -9104,14 +9058,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;
@@ -9121,11 +9075,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;
@@ -9141,7 +9095,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() ?? [];
@@ -9164,7 +9118,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";
@@ -9199,11 +9153,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 };
@@ -9211,7 +9165,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) {
@@ -9220,25 +9174,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 });
@@ -9258,17 +9212,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();
@@ -9279,7 +9233,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();
@@ -9293,14 +9247,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);
   }
@@ -9319,7 +9273,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);
@@ -9335,17 +9289,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());
@@ -9353,7 +9307,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);
@@ -9368,22 +9322,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);
@@ -9395,14 +9349,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;
@@ -9424,7 +9378,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) {
@@ -9436,10 +9390,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;
@@ -9466,8 +9420,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,
@@ -9481,7 +9435,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) {
@@ -9489,7 +9443,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;
@@ -9497,7 +9451,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);
@@ -9520,7 +9474,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),
@@ -9545,7 +9499,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);
@@ -9560,7 +9514,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);
@@ -9580,7 +9534,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()),
@@ -9593,7 +9547,7 @@ function literalParts(value) {
   if (whole !== null) {
     return [whole];
   }
-  if (!Node40.isTemplateExpression(written)) {
+  if (!Node41.isTemplateExpression(written)) {
     return null;
   }
   return [
@@ -9603,26 +9557,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();
@@ -9635,35 +9589,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();
@@ -9680,17 +9634,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));
@@ -9717,11 +9671,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;
     }
   }
@@ -9751,7 +9705,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();
@@ -9772,7 +9726,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();
@@ -9792,37 +9746,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);
     }
   });
@@ -9846,10 +9800,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) {
@@ -9862,7 +9816,7 @@ function runInvocationRecognizers(func, recognizers, barriers = NO_BARRIERS, res
       traversal.skip();
       return;
     }
-    if (!Node41.isCallExpression(node)) {
+    if (!Node42.isCallExpression(node)) {
       return;
     }
     const ctx = invocationContextFor(
@@ -9924,7 +9878,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;
@@ -9953,7 +9907,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(
@@ -10009,35 +9963,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)] };
@@ -10048,19 +10002,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()
@@ -10068,14 +10022,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;
@@ -10084,7 +10038,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 };
   }
@@ -10092,20 +10046,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(
@@ -10116,7 +10070,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;
@@ -10139,7 +10093,7 @@ function withPreconditions(effect, preconditions) {
   };
 }
 function inlineModuleBinding(ident, depth) {
-  if (!Node41.isIdentifier(ident)) {
+  if (!Node42.isIdentifier(ident)) {
     return null;
   }
   const symbol = ident.getSymbol();
@@ -10147,7 +10101,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)) {
@@ -10168,10 +10122,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;
     }
@@ -10185,7 +10139,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();
@@ -10194,19 +10148,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();
@@ -10223,17 +10177,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;
     }
@@ -10243,7 +10197,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();
@@ -10267,13 +10221,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";
 
@@ -10740,35 +10694,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();
@@ -10777,7 +10731,7 @@ function extractShapeInner(node) {
       }
     }
   }
-  if (Node44.isBigIntLiteral(unwrapped2)) {
+  if (Node45.isBigIntLiteral(unwrapped2)) {
     return { type: "ref", name: "bigint" };
   }
   const kind = unwrapped2.getKind();
@@ -10790,10 +10744,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 = [];
@@ -10824,7 +10778,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") {
@@ -10843,7 +10797,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;
@@ -10859,7 +10813,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) ?? {
@@ -10868,7 +10822,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") {
@@ -10887,7 +10841,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;
@@ -10918,15 +10872,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();
@@ -10936,7 +10890,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;
@@ -10980,10 +10934,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();
@@ -11006,7 +10960,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 };
@@ -11019,7 +10973,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();
@@ -11028,7 +10982,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);
@@ -11038,8 +10992,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) {
@@ -11097,8 +11051,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) {
@@ -11153,16 +11107,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;
     }
@@ -11193,14 +11147,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);
@@ -11214,7 +11168,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());
@@ -11226,11 +11180,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;
@@ -11238,12 +11192,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();
@@ -11252,7 +11206,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;
@@ -11262,30 +11216,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()));
@@ -11299,7 +11253,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") {
@@ -11322,16 +11276,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 };
@@ -11342,14 +11296,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);
@@ -11379,16 +11333,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;
@@ -11397,7 +11351,7 @@ function guardsAbove(returnValue) {
   return guards;
 }
 function earlyReturnGuardsBefore(block, child) {
-  if (!Node47.isBlock(block)) {
+  if (!Node48.isBlock(block)) {
     return [];
   }
   const guards = [];
@@ -11405,7 +11359,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())) {
@@ -11415,10 +11369,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();
@@ -11436,7 +11390,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);
@@ -11448,8 +11402,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) {
@@ -11515,8 +11469,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;
     }
@@ -11536,12 +11490,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;
     }
   }
@@ -11552,9 +11506,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(
@@ -11568,7 +11522,7 @@ function returnedObjects(fn) {
       continue;
     }
     const unwrapped2 = peelParens(expression);
-    if (Node47.isObjectLiteralExpression(unwrapped2)) {
+    if (Node48.isObjectLiteralExpression(unwrapped2)) {
       found.push(unwrapped2);
     }
   }
@@ -11577,7 +11531,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();
@@ -11596,7 +11550,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);
@@ -11620,10 +11574,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;
   }
@@ -11634,7 +11588,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;
@@ -11651,7 +11605,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) {
@@ -11667,7 +11621,7 @@ function unwrapMethodChain(call, match, func) {
         return null;
       }
     } else {
-      if (!Node49.isCallExpression(subject)) {
+      if (!Node50.isCallExpression(subject)) {
         return null;
       }
       current2 = subject;
@@ -11677,9 +11631,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();
@@ -11691,12 +11645,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(
@@ -11709,14 +11663,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,
@@ -11727,7 +11681,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);
@@ -11764,7 +11718,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());
       }
     }
@@ -11790,7 +11744,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,
@@ -11809,7 +11763,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);
@@ -11869,7 +11823,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) {
@@ -11885,7 +11839,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) {
@@ -11904,9 +11858,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);
@@ -11964,20 +11918,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();
@@ -12016,9 +11970,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();
@@ -12060,17 +12014,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;
@@ -12157,9 +12111,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") {
@@ -12194,7 +12148,7 @@ function functionMayFallThrough(func) {
   if (body === void 0) {
     return false;
   }
-  if (!Node51.isBlock(body)) {
+  if (!Node52.isBlock(body)) {
     return false;
   }
   const statements = body.getStatements();
@@ -12202,7 +12156,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;
@@ -12250,7 +12204,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"
@@ -12260,7 +12214,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";
@@ -12276,7 +12230,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;
@@ -12289,7 +12243,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) {
@@ -12442,7 +12396,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();
@@ -12504,7 +12458,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() });
@@ -12518,13 +12472,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();
@@ -12538,10 +12492,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;
@@ -12553,11 +12507,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();
@@ -12570,17 +12524,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) {
@@ -12590,20 +12544,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();
@@ -12615,7 +12569,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) {
@@ -12624,14 +12578,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;
@@ -12641,39 +12595,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();
       }
     }
@@ -12682,7 +12636,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();
@@ -12732,11 +12686,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) {
@@ -12761,7 +12715,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();
@@ -12773,24 +12727,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();
@@ -12802,11 +12756,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();
@@ -12814,11 +12768,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) {
@@ -12838,6 +12792,159 @@ function readContractForClientCall(callExpression, methodName, pattern, framewor
   return null;
 }
 
+// src/diagnostics.ts
+import path7 from "path";
+import { ts as ts3 } from "ts-morph";
+import {
+  createPackTallies,
+  emptyTally,
+  recordPackFailure,
+  summaryCountsByPack
+} from "@suss/extractor";
+var DEFAULT_RESOLUTION = {
+  moduleResolution: ts3.ModuleResolutionKind.Bundler,
+  target: ts3.ScriptTarget.ESNext,
+  module: ts3.ModuleKind.ESNext
+};
+function resolutionContext(args) {
+  if (args.tsConfigFilePath !== void 0) {
+    const configFile = ts3.readConfigFile(
+      args.tsConfigFilePath,
+      ts3.sys.readFile
+    );
+    if (configFile.error !== void 0) {
+      return null;
+    }
+    const dir = path7.dirname(args.tsConfigFilePath);
+    const parsed = ts3.parseJsonConfigFileContent(
+      configFile.config,
+      ts3.sys,
+      dir,
+      /*existingOptions*/
+      void 0,
+      args.tsConfigFilePath
+    );
+    return {
+      containingFile: path7.join(dir, "index.ts"),
+      options: parsed.options
+    };
+  }
+  if (args.projectRoot === void 0 || !path7.isAbsolute(args.projectRoot)) {
+    return null;
+  }
+  return {
+    containingFile: path7.join(args.projectRoot, "index.ts"),
+    options: DEFAULT_RESOLUTION
+  };
+}
+function unresolvedGatesFor(gates, args) {
+  if (gates.length === 0) {
+    return [];
+  }
+  const context = resolutionContext(args);
+  if (context === null) {
+    return [];
+  }
+  const unresolved = [];
+  for (const gate of gates) {
+    const resolved = ts3.resolveModuleName(
+      gate,
+      context.containingFile,
+      context.options,
+      ts3.sys
+    );
+    if (resolved.resolvedModule === void 0) {
+      unresolved.push(gate);
+    }
+  }
+  return unresolved;
+}
+function helpersWithNoCall(patterns, matched, projectRoot) {
+  const missing = [];
+  for (const pattern of patterns) {
+    if (pattern.match.type !== "registrationTemplate" || matched.has(pattern.match.helperName)) {
+      continue;
+    }
+    const from = pattern.match.importModule;
+    missing.push(
+      from === void 0 ? pattern.match.helperName : `${pattern.match.helperName} from ${shortModule(from, projectRoot)}`
+    );
+  }
+  return missing;
+}
+function shortModule(module, projectRoot) {
+  if (projectRoot === void 0 || !path7.isAbsolute(module)) {
+    return module;
+  }
+  return path7.relative(projectRoot, module);
+}
+function buildExtractionReport(args) {
+  const bySummary = summaryCountsByPack(args.summaries);
+  const packFunnels = args.packs.map((pack) => {
+    const gates = packIsUngated(pack) ? [] : collectPackGates(pack);
+    const tally = args.tallies.get(pack.name) ?? emptyTally();
+    const counted = bySummary.get(pack.name) ?? {
+      bound: 0,
+      providers: 0,
+      withBehavior: 0
+    };
+    return {
+      pack: pack.name,
+      version: pack.version ?? null,
+      discovers: pack.discovery.length > 0 || pack.discoverUnits !== void 0,
+      recognizes: (pack.invocationRecognizers?.length ?? 0) > 0 || (pack.accessRecognizers?.length ?? 0) > 0,
+      gates,
+      unresolvedGates: unresolvedGatesFor(gates, {
+        tsConfigFilePath: args.tsConfigFilePath,
+        projectRoot: args.projectRoot
+      }),
+      candidateFiles: tally.candidateFiles,
+      unitsDiscovered: tally.unitsDiscovered,
+      unitsInGatedFiles: tally.unitsInGatedFiles,
+      effectsRecognized: tally.effectsRecognized,
+      unitsClaimed: tally.unitsClaimed,
+      summariesProduced: tally.summariesProduced,
+      failures: tally.failures,
+      helpersUnmatched: helpersWithNoCall(
+        [...pack.discovery, ...args.contributedPatterns?.(pack.name) ?? []],
+        tally.helpersMatched,
+        args.projectRoot
+      ),
+      summariesBound: counted.bound,
+      providerSummaries: counted.providers,
+      summariesWithBehavior: counted.withBehavior,
+      declarations: pack.declarations ?? null
+    };
+  });
+  return {
+    filesInProject: args.filesInProject,
+    filesWalked: args.filesWalked,
+    packs: packFunnels,
+    summaries: args.summaries.length,
+    filesWithUnreadableExports: [...args.filesWithUnreadableExports ?? []],
+    reassignedNamesUnstated: args.reassignedNamesUnstated ?? 0,
+    emptyStage: args.summaries.length === 0 ? firstEmptyStage(packFunnels, args) : null
+  };
+}
+function firstEmptyStage(packs, args) {
+  if (args.filesInProject === 0) {
+    return "tsconfig";
+  }
+  const gateFailed = packs.some(
+    (p) => p.unresolvedGates.length > 0 && p.candidateFiles > 0
+  );
+  if (gateFailed) {
+    return "gateResolution";
+  }
+  if (args.filesWalked === 0 || packs.every((p) => p.candidateFiles === 0)) {
+    return "candidateFiles";
+  }
+  if (packs.every((p) => p.unitsDiscovered === 0)) {
+    return "discovery";
+  }
+  return "assembly";
+}
+
 // src/discovery/filenameRoute.ts
 function routePathFromFile(filePath, convention) {
   const belowRoot = segmentsBelowRoot(filePath, convention.root);
@@ -12920,7 +13027,7 @@ import {
 } from "graphql";
 import picomatch2 from "picomatch";
 import {
-  Node as Node55
+  Node as Node56
 } from "ts-morph";
 import {
   isGraphqlOperationBinding,
@@ -12965,11 +13072,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())) {
@@ -13156,7 +13263,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();
@@ -13170,15 +13277,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;
@@ -13188,10 +13295,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;
   }
@@ -13201,13 +13308,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(
@@ -13217,11 +13324,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();
@@ -13232,11 +13339,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], {
@@ -13250,11 +13357,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();
@@ -13269,10 +13376,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);
@@ -13282,11 +13389,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,
@@ -13306,25 +13413,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(),
@@ -13334,13 +13441,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;
     }
@@ -13349,12 +13456,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();
@@ -13369,7 +13476,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
@@ -13499,11 +13606,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);
@@ -13518,12 +13625,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) {
@@ -13582,10 +13689,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;
@@ -13679,7 +13786,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: () => [],
@@ -13803,11 +13910,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(
@@ -13902,7 +14009,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];
@@ -13932,6 +14039,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 }
     }
@@ -13940,37 +14048,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);
@@ -13987,7 +14064,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 {
@@ -14022,7 +14099,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) {
@@ -14043,7 +14120,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) {
@@ -14051,18 +14128,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;
     }
   }
@@ -14076,11 +14153,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;
@@ -14091,7 +14168,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
@@ -14217,132 +14294,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: {} },
@@ -14373,7 +14328,7 @@ function targetOf(node) {
   };
 }
 function resolveCallee(call, calleeName, scan) {
-  if (!Node60.isCallExpression(call)) {
+  if (!Node61.isCallExpression(call)) {
     return null;
   }
   const callee = call.getExpression();
@@ -14386,7 +14341,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);
@@ -14432,11 +14387,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();
@@ -14482,12 +14437,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);
@@ -14507,7 +14462,7 @@ function collectReachable(func, scan) {
       record2(jsx.outcome);
       return;
     }
-    if (!Node60.isCallExpression(node)) {
+    if (!Node61.isCallExpression(node)) {
       return;
     }
     const calleeText = normalizeCallee(node.getExpression().getText());
@@ -14559,13 +14514,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"))
     ]
   )
 ];
@@ -14593,7 +14548,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() });
         }
       }
@@ -14642,7 +14597,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;
@@ -14847,21 +14802,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"))
     ]
   )
 ];
@@ -14923,7 +14878,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));
@@ -14984,7 +14939,7 @@ function findBareRethrow(func, location) {
       traversal.stop();
       return;
     }
-    if (!Node61.isThrowStatement(node)) {
+    if (!Node62.isThrowStatement(node)) {
       return;
     }
     if (startLineOf(node) !== location.start) {
@@ -14994,7 +14949,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;
     }
   });
@@ -15004,13 +14959,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();
@@ -15018,14 +14973,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);
@@ -15042,7 +14997,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();
@@ -15072,12 +15027,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;
     }
   }
@@ -15086,23 +15041,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) {
@@ -15123,11 +15078,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);
@@ -15159,7 +15114,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") {
@@ -15191,14 +15146,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];
@@ -15206,11 +15161,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;
@@ -15220,15 +15175,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();
   }
@@ -15247,16 +15202,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);
       }
     });
@@ -15267,7 +15222,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());
@@ -15279,13 +15234,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();
     }
@@ -15299,15 +15254,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();
@@ -15370,7 +15325,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();
@@ -15433,7 +15388,7 @@ function buildNonBodyPropertySet(semantics) {
 
 // src/subUnitContext.ts
 import {
-  Node as Node63
+  Node as Node64
 } from "ts-morph";
 function createTsSubUnitContext() {
   return {
@@ -15461,18 +15416,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 {
@@ -15495,11 +15450,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);
     }
   });
@@ -15510,10 +15465,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;
@@ -15532,15 +15487,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;
     }
   }
@@ -15561,7 +15516,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;
@@ -15573,7 +15528,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()];
@@ -15829,13 +15784,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());
@@ -15865,7 +15820,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 [
       {
@@ -15895,7 +15850,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();
@@ -15927,7 +15882,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(),
@@ -15994,7 +15949,7 @@ function extractDependencyCalls(func, barriers = NO_BARRIERS) {
       traversal.skip();
       return;
     }
-    if (!Node64.isVariableDeclaration(node)) {
+    if (!Node65.isVariableDeclaration(node)) {
       return;
     }
     const init = node.getInitializer();
@@ -16003,19 +15958,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,
@@ -16374,6 +16329,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) {
@@ -16769,20 +16728,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;
   }
@@ -16931,7 +16893,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());
@@ -16980,16 +16942,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;
     }
   }
@@ -16998,10 +16960,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;
     }
@@ -17012,7 +16974,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();
@@ -17020,13 +16982,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();
     }
   }
@@ -17079,7 +17041,7 @@ function buildCallerSummary(wrapper, callerFunc, callExpr, path15, options) {
   return summary;
 }
 function named(summaries, workspace, runRoot) {
-  const projectRoot = runRoot ?? commonDirectoryOf(summaries.map((s) => s.location.file));
+  const projectRoot = runRoot ?? commonDirectoryOf2(summaries.map((s) => s.location.file));
   nameSummaries(summaries, {
     workspace: workspace ?? workspaceNameFor(projectRoot),
     projectRoot
@@ -17172,7 +17134,11 @@ function createTypeScriptAdapter(suppliedConfig) {
           )
         );
       }
-      return named(summaries, config.workspace, runRoot);
+      return named(
+        composeWrappers(summaries, config.extractorOptions ?? {}),
+        config.workspace,
+        runRoot
+      );
     },
     async extractAll() {
       const timer = createTimer();
@@ -17432,12 +17398,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) => {
@@ -17516,7 +17476,7 @@ function createTypeScriptAdapter(suppliedConfig) {
             filesWalked: walkList.length,
             summaries: composed,
             tsConfigFilePath: config.tsConfigFilePath,
-            projectRoot: commonDirectoryOf(
+            projectRoot: commonDirectoryOf2(
               sourceFiles.map((f) => f.getFilePath())
             ),
             filesWithUnreadableExports: unreadableExportFiles(),
@@ -17528,7 +17488,7 @@ function createTypeScriptAdapter(suppliedConfig) {
       return named(
         composed,
         config.workspace,
-        runRoot ?? commonDirectoryOf(sourceFiles.map((f) => f.getFilePath()))
+        runRoot ?? commonDirectoryOf2(sourceFiles.map((f) => f.getFilePath()))
       );
     }
   };
@@ -17921,10 +17881,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;
@@ -17940,7 +17908,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 }) => ({
@@ -17969,7 +17937,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;
       }
     });
@@ -18061,21 +18029,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();
     }
   }
@@ -18129,6 +18097,7 @@ export {
   GENERIC_TERMINALS,
   NO_BARRIERS,
   ResolutionStore,
+  TSCONFIG_NAMES,
   TypeScriptWhySession,
   accessContextFor,
   buildProjectHelperIndex,