@suss/adapter-python 0.34.0 → 0.34.1

package/dist/index.cjs

@@ -153,10 +153,7 @@ function stringLiteralValue(node) {
     return null;
   }
   let content = "";
-  for (const child of node.namedChildren) {
-    if (child === null) {
-      continue;
-    }
+  for (const child of children(node)) {
     if (child.type === "string_content") {
       content += stringContentValue(child);
       continue;
@@ -168,7 +165,29 @@ function stringLiteralValue(node) {
   return content;
 }
 function children(node) {
-  return node.namedChildren.filter((child) => child !== null);
+  if (node === null || node === void 0) {
+    return [];
+  }
+  const found = [];
+  const count = node.namedChildCount;
+  for (let index = 0; index < count; index++) {
+    const child = node.namedChild(index);
+    if (child !== null) {
+      found.push(child);
+    }
+  }
+  return found;
+}
+function allChildren(node) {
+  const found = [];
+  const count = node.childCount;
+  for (let index = 0; index < count; index++) {
+    const child = node.child(index);
+    if (child !== null) {
+      found.push(child);
+    }
+  }
+  return found;
 }
 function bodyStatements(body) {
   return children(body);
@@ -200,11 +219,59 @@ function stripDecorators(node) {
   if (definition === null) {
     throw new Error("decorated_definition with no definition field");
   }
-  const decorators = node.namedChildren.filter(
-    (child) => child !== null && child.type === "decorator"
+  const decorators = children(node).filter(
+    (child) => child.type === "decorator"
   );
   return { definition, decorators };
 }
+var isChild = (fieldName) => (parent, child) => field(parent, fieldName)?.id === child.id;
+var always = () => true;
+var asCondition = isChild("condition");
+var isConditionalTest = (parent, child) => parent.namedChild(1)?.id === child.id;
+var VALUE_USED_UNDER = {
+  assignment: isChild("right"),
+  augmented_assignment: isChild("right"),
+  named_expression: isChild("value"),
+  attribute: isChild("object"),
+  subscript: always,
+  argument_list: always,
+  keyword_argument: isChild("value"),
+  pair: always,
+  list: always,
+  tuple: always,
+  set: always,
+  dictionary: always,
+  interpolation: always,
+  comparison_operator: always,
+  binary_operator: always,
+  unary_operator: always,
+  not_operator: always,
+  if_statement: asCondition,
+  elif_clause: asCondition,
+  while_statement: asCondition,
+  conditional_expression: isConditionalTest,
+  assert_statement: always,
+  for_statement: isChild("right"),
+  for_in_clause: isChild("right"),
+  with_item: always,
+  as_pattern: always
+};
+var PASSES_VALUE_ON = {
+  parenthesized_expression: always,
+  await: always,
+  boolean_operator: always,
+  conditional_expression: (parent, child) => !isConditionalTest(parent, child)
+};
+function resultUsedAsValue(node) {
+  let child = node;
+  let parent = node.parent;
+  while (parent !== null && PASSES_VALUE_ON[parent.type]?.(parent, child) === true) {
+    child = parent;
+    parent = parent.parent;
+  }
+  const used = parent === null ? void 0 : VALUE_USED_UNDER[parent.type];
+  return parent !== null && used !== void 0 && used(parent, child);
+}
 var NodeSet = class extends import_extractor.IdSet {
 };
 var NodeMap = class extends import_extractor.IdMap {
@@ -266,7 +333,7 @@ function bindWithStatement(stmt, scope, ctx) {
   }
 }
 function asPatternsIn(stmt, found = []) {
-  for (const child of stmt.namedChildren) {
+  for (const child of children(stmt)) {
     if (child === null || child.type === "block") {
       continue;
     }
@@ -295,12 +362,12 @@ function bindDeleteStatement(stmt, scope) {
       return;
     }
     if (node.type === "expression_list") {
-      for (const child of node.namedChildren) {
+      for (const child of children(node)) {
         unbind(child);
       }
     }
   };
-  for (const child of stmt.namedChildren) {
+  for (const child of children(stmt)) {
     unbind(child);
   }
 }
@@ -341,10 +408,7 @@ function bindImportStatement(stmt, scope) {
 function relativeImportParts(node) {
   let relativeLevel = 0;
   let module2 = "";
-  for (const child of node.namedChildren) {
-    if (child === null) {
-      continue;
-    }
+  for (const child of children(node)) {
     if (child.type === "import_prefix") {
       relativeLevel += child.text.length;
       continue;
@@ -361,8 +425,8 @@ function bindImportFromStatement(stmt, scope, ctx) {
     return;
   }
   const { module: module2, relativeLevel } = moduleNode.type === "relative_import" ? relativeImportParts(moduleNode) : { module: moduleNode.text, relativeLevel: 0 };
-  const hasWildcard = stmt.namedChildren.some(
-    (child) => child !== null && child.type === "wildcard_import"
+  const hasWildcard = children(stmt).some(
+    (child) => child.type === "wildcard_import"
   );
   if (hasWildcard) {
     ctx.openImports.push(
@@ -420,10 +484,7 @@ function bindFunctionDefinition(stmt, scope, ctx) {
   }
 }
 function bindParameters(parametersNode, functionScope) {
-  for (const param of parametersNode.namedChildren) {
-    if (param === null) {
-      continue;
-    }
+  for (const param of children(parametersNode)) {
     const name = parameterName(param);
     if (name !== null) {
       bindName(functionScope, name, { kind: "parameter" });
@@ -440,9 +501,7 @@ function parameterName(param) {
     "list_splat_pattern",
     "dictionary_splat_pattern"
   )) {
-    const inner = param.namedChildren.find(
-      (child) => child !== null && child.type === "identifier"
-    );
+    const inner = children(param).find((child) => child.type === "identifier");
     return inner?.text ?? null;
   }
   if (isType(param, "default_parameter", "typed_default_parameter")) {
@@ -469,8 +528,8 @@ function bindClassDefinition(stmt, scope, ctx) {
   }
 }
 function bindExpressionStatement(stmt, scope) {
-  const assignment2 = stmt.namedChildren.find(
-    (child) => child !== null && child.type === "assignment"
+  const assignment2 = children(stmt).find(
+    (child) => child.type === "assignment"
   );
   if (assignment2 === void 0 || assignment2 === null) {
     return;
@@ -487,15 +546,15 @@ function bindExpressionStatement(stmt, scope) {
   }
 }
 function bindGlobalStatement(stmt, scope) {
-  for (const child of stmt.namedChildren) {
-    if (child !== null && child.type === "identifier") {
+  for (const child of children(stmt)) {
+    if (child.type === "identifier") {
       scope.bindings.set(child.text, { kind: "global" });
     }
   }
 }
 function bindNonlocalStatement(stmt, scope) {
-  for (const child of stmt.namedChildren) {
-    if (child !== null && child.type === "identifier") {
+  for (const child of children(stmt)) {
+    if (child.type === "identifier") {
       scope.bindings.set(child.text, { kind: "nonlocal" });
     }
   }
@@ -644,18 +703,9 @@ function shapeFromName(name, scope, ctx) {
   if (DICT_NAMES.has(name)) {
     return { type: "dictionary", values: { type: "unknown" } };
   }
-  const binding = resolveName(scope, name);
-  if (binding?.kind === "classDef") {
-    return recordShapeRef(name, binding.node, ctx);
-  }
-  if (binding?.kind === "import" || binding?.kind === "importFrom") {
-    const imported = ctx.importedDefinition?.(scope, name) ?? null;
-    if (imported?.node.type === "class_definition") {
-      if (!ctx.scopeMaps.includes(imported.scopeFor)) {
-        ctx.scopeMaps.push(imported.scopeFor);
-      }
-      return recordShapeRef(name, imported.node, ctx);
-    }
+  const classNode = projectClassNamed(name, scope, ctx);
+  if (classNode !== null) {
+    return recordShapeRef(name, classNode, ctx);
   }
   const alias = aliasValueOf(name, scope, ctx);
   if (alias !== null) {
@@ -663,6 +713,23 @@ function shapeFromName(name, scope, ctx) {
   }
   return { type: "ref", name };
 }
+function projectClassNamed(name, scope, ctx) {
+  const binding = resolveName(scope, name);
+  if (binding?.kind === "classDef") {
+    return binding.node;
+  }
+  if (binding?.kind !== "import" && binding?.kind !== "importFrom") {
+    return null;
+  }
+  const imported = ctx.importedDefinition?.(scope, name) ?? null;
+  if (imported?.node.type !== "class_definition") {
+    return null;
+  }
+  if (!ctx.scopeMaps.includes(imported.scopeFor)) {
+    ctx.scopeMaps.push(imported.scopeFor);
+  }
+  return imported.node;
+}
 function shapeFromAliasValue(name, alias, ctx) {
   if (ctx.expanding.has(alias.node.id)) {
     return { type: "ref", name };
@@ -689,8 +756,9 @@ function shapeFromSubscript(node, scope, ctx) {
   );
 }
 function annotationTarget(annotation) {
-  if (annotation.type === "type" && annotation.namedChildren[0]) {
-    return annotationTarget(annotation.namedChildren[0]);
+  const inner = annotation.type === "type" ? annotation.namedChild(0) : null;
+  if (inner !== null) {
+    return annotationTarget(inner);
   }
   if (annotation.type === "binary_operator") {
     const named = [field(annotation, "left"), field(annotation, "right")].find(
@@ -699,7 +767,7 @@ function annotationTarget(annotation) {
     return named === void 0 || named === null ? null : annotationTarget(named);
   }
   if (annotation.type === "generic_type") {
-    const outer = annotation.namedChildren[0];
+    const outer = annotation.namedChild(0);
     const first = genericTypeArgs(annotation)[0];
     if ((outer?.text === "Annotated" || outer?.text === "Optional") && first !== void 0) {
       return annotationTarget(first);
@@ -716,12 +784,10 @@ function typeNameOf(annotation) {
   return target.type === "identifier" ? target.text : stringLiteralValue(target);
 }
 function genericTypeArgs(node) {
-  const typeParameter = node.namedChildren.find(
-    (child) => child !== null && child.type === "type_parameter"
+  const typeParameter = children(node).find(
+    (child) => child.type === "type_parameter"
   );
-  return typeParameter?.namedChildren.filter(
-    (child) => child !== null && child.type === "type"
-  ) ?? [];
+  return children(typeParameter).filter((child) => child.type === "type");
 }
 function shapeFromGenericType(node, scope, ctx) {
   const base = node.namedChild(0);
@@ -773,22 +839,44 @@ function recordShapeRef(name, classNode, ctx) {
     return ref;
   }
   ctx.definitions.set(key, null);
+  ctx.definitions.set(key, {
+    type: "record",
+    properties: classFields(classNode, ctx, /* @__PURE__ */ new Set())
+  });
+  return ref;
+}
+function classFields(classNode, ctx, visiting) {
   const bodyNode = field(classNode, "body");
   const classScope = scopeOfNode(ctx, classNode);
-  ctx.definitions.set(
-    key,
-    bodyNode !== null && classScope !== void 0 ? recordShapeOf(bodyNode, classScope, ctx) : { type: "record", properties: {} }
+  if (bodyNode === null || classScope === void 0 || visiting.has(classNode.id)) {
+    return {};
+  }
+  visiting.add(classNode.id);
+  const inherited = baseClassNames(classNode).flatMap((name) => {
+    const base = projectClassNamed(name, classScope, ctx);
+    return base === null ? [] : [classFields(base, ctx, visiting)];
+  });
+  const own = recordShapeOf(bodyNode, classScope, ctx);
+  return Object.assign(
+    {},
+    ...inherited.reverse(),
+    own.type === "record" ? own.properties : {}
+  );
+}
+function baseClassNames(classNode) {
+  const superclasses = field(classNode, "superclasses");
+  return children(superclasses).flatMap(
+    (child) => child.type === "identifier" ? [child.text] : []
   );
-  return ref;
 }
 function recordShapeOf(bodyNode, classScope, ctx) {
   const properties = {};
-  for (const stmt of bodyNode.namedChildren) {
+  for (const stmt of children(bodyNode)) {
     if (stmt === null || stmt.type !== "expression_statement") {
       continue;
     }
-    const assignment2 = stmt.namedChildren.find(
-      (child) => child !== null && child.type === "assignment"
+    const assignment2 = children(stmt).find(
+      (child) => child.type === "assignment"
     );
     if (assignment2 === void 0 || assignment2 === null) {
       continue;
@@ -798,6 +886,9 @@ function recordShapeOf(bodyNode, classScope, ctx) {
     if (left === null || left.type !== "identifier" || typeNode === null) {
       continue;
     }
+    if (typeNameOf(typeNode) === "ClassVar") {
+      continue;
+    }
     properties[left.text] = annotationToShape(typeNode, classScope, ctx);
   }
   return { type: "record", properties };
@@ -807,13 +898,14 @@ function shortHash(text2) {
 }
 
 // src/decorators.ts
-var import_behavioral_ir = require("@suss/behavioral-ir");
+var import_behavioral_ir2 = require("@suss/behavioral-ir");
 
 // src/values/evaluator.ts
 var import_resolution4 = require("@suss/resolution");
 var import_values4 = require("@suss/values");
 
 // src/facts/resolve.ts
+var import_behavioral_ir = require("@suss/behavioral-ir");
 var import_resolution = require("@suss/resolution");
 var import_resolution2 = require("@suss/resolution");
 var evaluationsUnderSite = /* @__PURE__ */ new WeakMap();
@@ -859,7 +951,13 @@ function constructionSites(db, classKey) {
 }
 function writtenValueOf(db, key) {
   resolveWritten(db, [key]);
-  return (0, import_resolution.writtenValueOf)(db, key, (keys) => resolveWritten(db, keys));
+  return (0, import_resolution.writtenValueOf)(
+    db,
+    key,
+    (keys) => resolveWritten(db, keys),
+    void 0,
+    (0, import_resolution.answersFromTestsLeftOut)(key, import_behavioral_ir.isTestFile)
+  );
 }
 function writtenValuesOf(db, key) {
   resolveWritten(db, [key]);
@@ -1480,10 +1578,10 @@ function emitExpressionFacts(emitter, node) {
   });
 }
 function yieldedValue(node) {
-  if (node.children.some((child) => child?.type === "from")) {
+  if (allChildren(node).some((child) => child.type === "from")) {
     return null;
   }
-  return node.namedChildren.find((child) => child?.type !== "comment") ?? null;
+  return children(node).find((child) => child?.type !== "comment") ?? null;
 }
 function emitFunctionFacts(emitter, fn, classKey) {
   const funcKey = nodeId(emitter.filePath, fn);
@@ -1555,7 +1653,7 @@ function emitFunctionFacts(emitter, fn, classKey) {
   const stores = /* @__PURE__ */ new Map();
   const visit = (child, type) => {
     if (type === "return_statement") {
-      const returned = child.namedChildren[0];
+      const returned = child.namedChild(0);
       if (returned != null) {
         add(inside, "returnsValue", funcKey, valueKey(inside, returned));
         statesReturn = true;
@@ -2593,9 +2691,7 @@ function stringExpression(node) {
 }
 function comparisonExpression(node) {
   const operands = children(node);
-  const operators = node.children.filter(
-    (child) => child !== null && !child.isNamed
-  );
+  const operators = allChildren(node).filter((child) => !child.isNamed);
   const operator = operators[0];
   if (operands.length !== 2 || operators.length !== 1 || operator === void 0) {
     return { kind: "opaque" };
@@ -2689,6 +2785,7 @@ var STATEMENT_TYPES = {
     kind: "return",
     value: children(node)[0] ?? null
   }),
+  raise_statement: (node) => caughtInSameFunction(node) ? OPAQUE : { kind: "throw" },
   try_statement: (node) => ({
     kind: "block",
     body: [
@@ -2777,6 +2874,19 @@ function blockStatements(block) {
 function isRoot(node) {
   return ROOT_TYPES.has(node.type);
 }
+var EXCEPT_CLAUSE_TYPES = /* @__PURE__ */ new Set(["except_clause", "except_group_clause"]);
+function caughtInSameFunction(node) {
+  let child = node;
+  let parent = node.parent;
+  while (parent !== null && !isRoot(parent)) {
+    if (parent.type === "try_statement" && field(parent, "body")?.id === child.id && children(parent).some((clause) => EXCEPT_CLAUSE_TYPES.has(clause.type))) {
+      return true;
+    }
+    child = parent;
+    parent = parent.parent;
+  }
+  return false;
+}
 function isPathStatement(node, parent) {
   return parent.type === "module" || parent.type === "block" || node.type === "elif_clause";
 }
@@ -3167,6 +3277,10 @@ function writtenNodeOf(node, db) {
   const bound = db === void 0 ? void 0 : projects.get(db);
   return bound?.context.writtenTo(node) ?? null;
 }
+function calledDefinition(call, db) {
+  const bound = db === void 0 ? void 0 : projects.get(db);
+  return bound?.context.callable(call) ?? null;
+}
 function resolutionKeyOf(node, db) {
   const bound = db === void 0 ? void 0 : projects.get(db);
   return bound?.keyOf(node) ?? null;
@@ -3389,7 +3503,7 @@ function argShapeOf(node) {
   if (node.type === "list") {
     return {
       kind: "list",
-      items: node.namedChildren.filter((child) => child !== null).map(readArg)
+      items: children(node).map(readArg)
     };
   }
   return { kind: "other" };
@@ -3400,10 +3514,7 @@ function readCallArguments(argumentList) {
   if (argumentList === null) {
     return { args, keywordArgs };
   }
-  for (const child of argumentList.namedChildren) {
-    if (child === null) {
-      continue;
-    }
+  for (const child of children(argumentList)) {
     if (child.type === "keyword_argument") {
       const nameNode = field(child, "name");
       const valueNode = field(child, "value");
@@ -3447,7 +3558,7 @@ function builtObjectCallee(built, attributeName, objectName) {
       return { importedName: attributeName, module: agreed, objectName };
     }
   };
-  return (0, import_behavioral_ir.dispatchByType)(table, built);
+  return (0, import_behavioral_ir2.dispatchByType)(table, built);
 }
 function resolveCallee(expr, module2, facts) {
   if (expr.type === "identifier") {
@@ -3529,10 +3640,10 @@ function unwrapDecorator(decoratorNode, facts) {
 }
 function passesParametersThrough(def, inner) {
   const params = field(def, "parameters");
-  const names = (params?.namedChildren ?? []).filter((child) => child?.type === "identifier").map((child) => child.text);
+  const names = children(params).filter((child) => child.type === "identifier").map((child) => child.text);
   const argumentList = field(inner, "arguments");
-  const positional = (argumentList?.namedChildren ?? []).filter(
-    (child) => child !== null && child.type !== "keyword_argument"
+  const positional = children(argumentList).filter(
+    (child) => child.type !== "keyword_argument"
   );
   return positional.length === names.length && positional.every(
     (argument, at) => argument.type === "identifier" && argument.text === names[at]
@@ -3540,13 +3651,14 @@ function passesParametersThrough(def, inner) {
 }
 
 // src/discovery.ts
-var import_behavioral_ir5 = require("@suss/behavioral-ir");
-var import_extractor7 = require("@suss/extractor");
-var import_values19 = require("@suss/values");
+var import_behavioral_ir6 = require("@suss/behavioral-ir");
+var import_extractor9 = require("@suss/extractor");
+var import_values20 = require("@suss/values");
 
 // src/clientCalls.ts
-var import_behavioral_ir2 = require("@suss/behavioral-ir");
-var import_values12 = require("@suss/values");
+var import_behavioral_ir3 = require("@suss/behavioral-ir");
+var import_extractor6 = require("@suss/extractor");
+var import_values14 = require("@suss/values");
 
 // src/paths/bodyBranches.ts
 var import_extractor4 = require("@suss/extractor");
@@ -3567,7 +3679,7 @@ var COMPARISONS = {
   "<=": "lte"
 };
 function operatorText(node) {
-  return node.children.filter((child) => child !== null && !child.isNamed).map((child) => child.text).join(" ");
+  return allChildren(node).filter((child) => !child.isNamed).map((child) => child.text).join(" ");
 }
 function valueRefOf(node, facts, inputs) {
   const value = evaluatedValue(node, facts);
@@ -3619,7 +3731,7 @@ function nullCheckOf(subject, negated2, facts, inputs) {
   };
 }
 function comparisonOf(node, facts, inputs) {
-  const [left, right] = node.namedChildren.filter(
+  const [left, right] = children(node).filter(
     (child) => child !== null
   );
   if (left === void 0 || right === void 0) {
@@ -3648,14 +3760,14 @@ function comparisonOf(node, facts, inputs) {
 }
 function predicateOf(node, facts, inputs) {
   if (node.type === "parenthesized_expression") {
-    const inner = node.namedChildren[0];
+    const inner = node.namedChild(0);
     return inner == null ? opaqueOf(node) : predicateOf(inner, facts, inputs);
   }
   if (node.type === "comparison_operator") {
     return comparisonOf(node, facts, inputs);
   }
   if (node.type === "not_operator") {
-    const operand2 = field(node, "argument") ?? node.namedChildren[0];
+    const operand2 = field(node, "argument") ?? node.namedChild(0);
     return operand2 == null ? opaqueOf(node) : { type: "negation", operand: predicateOf(operand2, facts, inputs) };
   }
   if (node.type === "identifier" || node.type === "attribute" || inputs?.has(node.id) === true) {
@@ -3670,11 +3782,11 @@ function predicateOf(node, facts, inputs) {
 var SUBJECT_TYPES = /* @__PURE__ */ new Set(["identifier", "attribute", "subscript"]);
 function operandsOf(node) {
   if (node.type === "parenthesized_expression" || node.type === "not_operator") {
-    const inner = field(node, "argument") ?? node.namedChildren[0];
+    const inner = field(node, "argument") ?? node.namedChild(0);
     return inner == null ? [] : operandsOf(inner);
   }
   if (node.type === "comparison_operator") {
-    return node.namedChildren.filter(
+    return children(node).filter(
       (child) => child !== null && SUBJECT_TYPES.has(child.type)
     );
   }
@@ -3700,7 +3812,7 @@ var NESTED_FUNCTION_TYPES = /* @__PURE__ */ new Set(["function_definition", "lam
 function exitKindOf(node, thrown) {
   let sawReturn = false;
   const raises = (current) => {
-    for (const child of current.namedChildren) {
+    for (const child of children(current)) {
       if (child === null || NESTED_FUNCTION_TYPES.has(child.type)) {
         continue;
       }
@@ -3728,12 +3840,10 @@ function blockStatements2(block) {
   if (block === null) {
     return [];
   }
-  return block.namedChildren.filter((child) => child !== null);
+  return children(block);
 }
 function childBlock(node) {
-  return node.namedChildren.find(
-    (child) => child !== null && child.type === "block"
-  ) ?? null;
+  return children(node).find((child) => child.type === "block") ?? null;
 }
 var Lowerer = class {
   // tree-sitter hands back a fresh wrapper object each time a child is
@@ -3782,7 +3892,7 @@ var Lowerer = class {
     return [nested];
   }
   lowerIf(node) {
-    const clauses = node.namedChildren.filter(
+    const clauses = children(node).filter(
       (child) => child !== null && (child.type === "elif_clause" || child.type === "else_clause")
     );
     return {
@@ -3794,10 +3904,10 @@ var Lowerer = class {
     };
   }
   lowerTry(node) {
-    const excepts = node.namedChildren.filter(
+    const excepts = children(node).filter(
       (child) => child !== null && (child.type === "except_clause" || child.type === "except_group_clause")
     );
-    const finallyClause = node.namedChildren.find(
+    const finallyClause = children(node).find(
       (child) => child !== null && child.type === "finally_clause"
     ) ?? null;
     return {
@@ -3813,7 +3923,7 @@ var Lowerer = class {
       (child) => child.type === "case_clause"
     );
     const groups = cases.map((clause) => {
-      const pattern = clause.namedChildren.find(
+      const pattern = children(clause).find(
         (child) => child !== null && child.type === "case_pattern"
       ) ?? null;
       return {
@@ -3894,7 +4004,7 @@ function literalArgOf(node, facts) {
   return null;
 }
 function bodyCalls(node, found = []) {
-  for (const child of node.namedChildren) {
+  for (const child of children(node)) {
     if (child === null || NESTED_DEFINITION_TYPES.has(child.type)) {
       continue;
     }
@@ -3906,7 +4016,7 @@ function bodyCalls(node, found = []) {
   return found;
 }
 function moduleLoadCalls(node, found = []) {
-  for (const child of node.namedChildren) {
+  for (const child of children(node)) {
     if (child === null || !runsAtModuleLoad(child)) {
       continue;
     }
@@ -3946,7 +4056,7 @@ function argumentNodes(call) {
   if (args === null) {
     return [];
   }
-  return args.namedChildren.filter((child) => child !== null).map(
+  return children(args).map(
     (child) => child.type === "keyword_argument" ? field(child, "value") ?? child : child
   );
 }
@@ -3957,6 +4067,9 @@ function calleeText(call) {
   return field(call, "function")?.text ?? call.text;
 }
 function invocationEffects(definitionNode, facts) {
+  return invocationSites(definitionNode, facts).map((site) => site.effect);
+}
+function invocationSites(definitionNode, facts) {
   const body = field(definitionNode, "body");
   if (body === null) {
     return [];
@@ -3964,14 +4077,18 @@ function invocationEffects(definitionNode, facts) {
   return invocationEffectsIn(body, bodyCalls(body), facts);
 }
 function moduleLoadInvocationEffects(moduleNode, facts) {
-  return invocationEffectsIn(moduleNode, moduleLoadCalls(moduleNode), facts);
+  return invocationEffectsIn(
+    moduleNode,
+    moduleLoadCalls(moduleNode),
+    facts
+  ).map((site) => site.effect);
 }
 var ASKED_ABOUT_TYPES = /* @__PURE__ */ new Set(["identifier", "attribute", "call"]);
 function askedNodesUnder(node, found = []) {
   if (ASKED_ABOUT_TYPES.has(node.type)) {
     found.push(node);
   }
-  for (const child of node.namedChildren) {
+  for (const child of children(node)) {
     if (child !== null && !NESTED_DEFINITION_TYPES.has(child.type)) {
       askedNodesUnder(child, found);
     }
@@ -4045,11 +4162,14 @@ function invocationEffectsIn(body, written, facts) {
       (condition) => predicateOf(condition, facts, inputs)
     );
     return {
-      type: "invocation",
-      callee: calleeText(call),
-      args: argsOf(call, facts),
-      async: false,
-      ...conditions.length > 0 ? { preconditions: conditions } : {}
+      call,
+      effect: {
+        type: "invocation",
+        callee: calleeText(call),
+        args: argsOf(call, facts),
+        async: false,
+        ...conditions.length > 0 ? { preconditions: conditions } : {}
+      }
     };
   });
 }
@@ -4084,7 +4204,7 @@ function statedBy(statement, name) {
   }
   if (statement.type === "as_pattern") {
     const alias = field(statement, "alias");
-    const value = statement.namedChildren[0] ?? null;
+    const value = statement.namedChild(0) ?? null;
     const callee = value?.type === "call" ? field(value, "function") : null;
     return alias?.text === name ? callee : null;
   }
@@ -4280,7 +4400,7 @@ function importedFunctionMatch(call, options) {
     return null;
   }
   const args = field(call, "arguments");
-  const first = args?.namedChildren.find((child) => child !== null) ?? null;
+  const first = children(args)[0] ?? null;
   const statement = first === null ? null : writtenStatement(first, void 0, options.facts);
   if (statement === null) {
     return null;
@@ -4644,7 +4764,7 @@ function columnComparisons(node) {
     const args = field(node, "arguments");
     return (args === null ? [] : children(args)).flatMap(columnComparisons);
   }
-  const operator = node.children.find((child) => !child?.isNamed);
+  const operator = allChildren(node).find((child) => !child.isNamed);
   const [left, right, ...rest] = children(node);
   if (node.type !== "comparison_operator" || operator?.type !== "==" || left === void 0 || right === void 0 || rest.length > 0) {
     return [];
@@ -5017,10 +5137,7 @@ function literalAt(key, facts) {
 
 // src/paths/bodyBranches.ts
 function returnStatements(node, found = []) {
-  for (const child of node?.namedChildren ?? []) {
-    if (child === null) {
-      continue;
-    }
+  for (const child of children(node)) {
     if (child.type === "function_definition" || child.type === "lambda") {
       continue;
     }
@@ -5077,7 +5194,8 @@ function enumerateBodyBranches(options) {
   const enumerated = (0, import_extractor4.enumerateOrDegrade)(
     {
       statements: lowered.statements,
-      terminalsByStmt: lowered.terminalsByStmt
+      terminalsByStmt: lowered.terminalsByStmt,
+      ...options.keepsArms === void 0 ? {} : { keepsArms: options.keepsArms }
     },
     statements
   );
@@ -5114,6 +5232,236 @@ function enumerateBodyBranches(options) {
   return branches;
 }
 
+// src/paths/raisedResponses.ts
+var import_values12 = require("@suss/values");
+function statusNumberOf(node, options) {
+  const value = (0, import_values12.constantOf)(evaluatedValue(node, options.facts));
+  if (typeof value === "number") {
+    return value;
+  }
+  const origin = originOf(node, options.module);
+  return origin === null ? null : options.constants?.[`${origin.module}.${origin.name}`] ?? null;
+}
+var NESTED_DEFINITION_TYPES2 = /* @__PURE__ */ new Set(["function_definition", "lambda"]);
+function raisedResponses(body, options) {
+  if (options.calls.length === 0) {
+    return [];
+  }
+  return raisesIn(body, options);
+}
+function raisesIn(body, options) {
+  if (body === null) {
+    return [];
+  }
+  const found = [];
+  const walk = (node) => {
+    for (const child of children(node)) {
+      if (child === null || NESTED_DEFINITION_TYPES2.has(child.type)) {
+        continue;
+      }
+      const response = raisedResponseOf(child, options);
+      if (response !== null) {
+        found.push(response);
+      }
+      walk(child);
+    }
+  };
+  walk(body);
+  return found;
+}
+var ENDING_EXPRESSION = {
+  raise_statement: (statement) => statement.namedChild(0) ?? null,
+  expression_statement: (statement) => {
+    const only = statement.namedChild(0);
+    return only?.type === "call" ? only : null;
+  }
+};
+function raisedResponseOf(statement, options) {
+  const expression = ENDING_EXPRESSION[statement.type]?.(statement) ?? null;
+  if (expression === null) {
+    return null;
+  }
+  const thrownByCall = statement.type !== "raise_statement";
+  const prebuilt = thrownByCall ? null : prebuiltCallOf(expression, options);
+  if (prebuilt !== null) {
+    return {
+      statement,
+      thrownByCall,
+      terminal: terminalOf(
+        statement,
+        calleeOf(prebuilt.call, prebuilt.call),
+        prebuilt.call,
+        prebuilt.declared,
+        prebuilt.options
+      )
+    };
+  }
+  const call = expression.type === "call" ? expression : null;
+  const callee = calleeOf(expression, call);
+  const declared = declaredCallFor(callee, options);
+  if (declared === void 0 && thrownByCall) {
+    return null;
+  }
+  return {
+    statement,
+    thrownByCall,
+    terminal: terminalOf(statement, callee, call, declared, options)
+  };
+}
+function prebuiltCallOf(expression, options) {
+  if (expression.type !== "identifier" && expression.type !== "attribute") {
+    return null;
+  }
+  const written = writtenNodeOf(expression, options.facts);
+  if (written === null || written.type !== "call") {
+    return null;
+  }
+  const inItsFile = { ...options, module: moduleOf(written) };
+  const declared = declaredCallFor(calleeOf(written, written), inItsFile);
+  return declared === void 0 ? null : { call: written, declared, options: inItsFile };
+}
+function returnedResponseStatus(statement, options) {
+  const returned = statement.namedChild(0);
+  if (options.calls.length === 0 || returned === void 0 || returned === null || returned.type !== "call") {
+    return null;
+  }
+  const callee = field(returned, "function");
+  if (callee === null) {
+    return null;
+  }
+  const declared = declaredCallFor(callee, options);
+  return declared === void 0 ? null : statusOf(declared, returned, options);
+}
+function calleeOf(expression, call) {
+  return call === null ? expression : field(call, "function") ?? expression;
+}
+function declaredCallFor(callee, options) {
+  const origin = originOf(callee, options.module);
+  if (origin === null) {
+    return void 0;
+  }
+  const qualified = `${origin.module}.${origin.name}`;
+  return options.calls.find((call) => call.callee === qualified);
+}
+function terminalOf(statement, callee, call, declared, options) {
+  return {
+    kind: "throw",
+    statusCode: declared === void 0 ? null : statusOf(declared, call, options),
+    body: null,
+    exceptionType: lastSegmentOf(declared?.callee ?? callee.text),
+    message: call === null ? null : writtenMessageOf(call),
+    ...declared === void 0 ? {} : { producesResponse: true },
+    component: null,
+    renderTree: null,
+    delegateTarget: null,
+    emitEvent: null,
+    location: rangeOf(statement)
+  };
+}
+function lastSegmentOf(dotted) {
+  const segment = dotted.split(".").pop();
+  return segment === void 0 || segment === "" ? null : segment;
+}
+function statusOf(declared, call, options) {
+  const written = call === null ? null : statusArgumentOf(declared, call);
+  if (written === null) {
+    return declared.defaultStatusCode === void 0 ? null : { type: "literal", value: declared.defaultStatusCode };
+  }
+  const value = statusNumberOf(written, options);
+  return value === null ? { type: "dynamic", sourceText: written.text } : { type: "literal", value };
+}
+function argumentsOf2(call) {
+  return children(field(call, "arguments"));
+}
+function statusArgumentOf(declared, call) {
+  const args = argumentsOf2(call);
+  const keyed = args.find(
+    (arg) => arg.type === "keyword_argument" && field(arg, "name")?.text === declared.statusKeyword
+  );
+  if (keyed !== void 0) {
+    return field(keyed, "value");
+  }
+  if (declared.statusArgument === void 0) {
+    return null;
+  }
+  const positional = args.filter((arg) => arg.type !== "keyword_argument");
+  return positional[declared.statusArgument] ?? null;
+}
+function writtenMessageOf(call) {
+  for (const arg of argumentsOf2(call)) {
+    const value = arg.type === "keyword_argument" ? field(arg, "value") : arg;
+    const literal = value === null ? null : stringLiteralValue(value);
+    if (literal !== null) {
+      return literal;
+    }
+  }
+  return null;
+}
+
+// src/responseHandOff.ts
+var import_extractor5 = require("@suss/extractor");
+function throughResponseHelpers(branches, sites, options) {
+  const handOffs = [];
+  for (const { call, effect } of sites) {
+    const helper = helperBranchesAt(call, options);
+    if (helper !== null) {
+      handOffs.push({
+        helper,
+        preconditions: effect.preconditions,
+        line: rangeOf(call).start,
+        at: rangeOf(call)
+      });
+    }
+  }
+  return handOffs.length === 0 ? [...branches] : branches.flatMap((branch) => (0, import_extractor5.splitAtHandOffs)(branch, handOffs));
+}
+function helperBranchesAt(call, options) {
+  const handed = callArguments(call).filter(
+    (argument) => argument.node.type === "identifier" && refersToResponse(argument.node, options)
+  );
+  if (handed.length === 0) {
+    return null;
+  }
+  const helper = calledDefinition(call, options.facts);
+  if (helper === null || helper.type !== "function_definition") {
+    return null;
+  }
+  const passed = /* @__PURE__ */ new Map();
+  const parameters = parameterShapes(helper, isMethod(helper) ? 1 : 0);
+  for (const argument of handed) {
+    const parameter = parameters.find(
+      (one) => argument.kind === "positional" ? one.position === argument.position : one.name === argument.name
+    );
+    if (parameter !== void 0) {
+      passed.set(parameter.name, argument.node.text);
+    }
+  }
+  return passed.size === 0 ? null : (0, import_extractor5.helperPathsOnVariables)(options.readHelper(helper), passed);
+}
+function refersToResponse(name, options) {
+  const written = awaited(writtenNodeOf(name, options.facts));
+  if (written === null) {
+    return false;
+  }
+  if (sameNode(written, options.request)) {
+    return true;
+  }
+  const callee = written.type === "call" ? field(written, "function") : null;
+  const method = callee === null ? null : field(callee, "attribute");
+  const receiver = callee === null ? null : field(callee, "object");
+  if (method === null || receiver?.type !== "identifier" || !options.bodyMethods.includes(method.text)) {
+    return false;
+  }
+  const parsedFrom = awaited(writtenNodeOf(receiver, options.facts));
+  return parsedFrom !== null && sameNode(parsedFrom, options.request);
+}
+function awaited(node) {
+  return node?.type === "await" ? node.namedChild(0) ?? null : node;
+}
+function sameNode(a, b) {
+  return a.startIndex === b.startIndex && a.endIndex === b.endIndex && a.tree === b.tree;
+}
+
 // src/clientCalls.ts
 function clientCallUnits(root, module2, pack, pattern, options) {
   const units = [];
@@ -5164,7 +5512,7 @@ function requestCalls(call, pattern, module2, options) {
     return [];
   }
   const plain = requestCall(call, attribute, pattern, options);
-  if (plain !== null && !(0, import_behavioral_ir2.hasNameHole)(plain.path)) {
+  if (plain !== null && !(0, import_behavioral_ir3.hasNameHole)(plain.path)) {
     return [plain];
   }
   const byBoundary = /* @__PURE__ */ new Map();
@@ -5173,7 +5521,7 @@ function requestCalls(call, pattern, module2, options) {
     if (stated === null) {
       continue;
     }
-    const key = `${stated.method} ${stated.path}`;
+    const key = `${stated.method} ${stated.host ?? ""} ${stated.path}`;
     if (!byBoundary.has(key)) {
       byBoundary.set(key, stated);
     }
@@ -5184,16 +5532,33 @@ function requestCalls(call, pattern, module2, options) {
   return plain === null ? [] : [plain];
 }
 function requestCall(call, attribute, pattern, options, site) {
+  const stated = methodAndPath(call, attribute, pattern, options, site);
+  if (stated === null) {
+    return null;
+  }
+  const redirectDelivery = redirectDeliveryAt(call, pattern, options, site);
+  return redirectDelivery === void 0 ? stated : { ...stated, redirectDelivery };
+}
+function redirectDeliveryAt(call, pattern, options, site) {
+  const option = pattern.response?.redirectOption;
+  const argument = option === void 0 ? null : argumentAt(call, null, option.name);
+  if (option === void 0 || argument === null) {
+    return void 0;
+  }
+  const value = (0, import_values14.scalarOf)(evaluatedValue(argument, options.facts, site));
+  return value === null ? void 0 : (0, import_extractor6.redirectDeliveryWhenSet)(option, value);
+}
+function methodAndPath(call, attribute, pattern, options, site) {
   const verb = pattern.verbAttributeNames[attribute];
   if (verb !== void 0) {
-    const path9 = urlAt(
+    const target2 = urlAt(
       call,
       pattern.url.position,
       pattern.url.keyword,
       options,
       site
     );
-    return path9 === null ? null : { method: verb, path: path9, range: rangeOf(call) };
+    return target2 === null ? null : { method: verb, ...target2, range: rangeOf(call), node: call };
   }
   const methodCall = pattern.methodCall;
   if (methodCall === void 0 || methodCall.attribute !== attribute) {
@@ -5208,14 +5573,19 @@ function requestCall(call, attribute, pattern, options, site) {
   if (method === null) {
     return null;
   }
-  const path8 = urlAt(
+  const target = urlAt(
     call,
     methodCall.urlPosition,
     pattern.url.keyword,
     options,
     site
   );
-  return path8 === null ? null : { method: method.toUpperCase(), path: path8, range: rangeOf(call) };
+  return target === null ? null : {
+    method: method.toUpperCase(),
+    ...target,
+    range: rangeOf(call),
+    node: call
+  };
 }
 function calledAttribute(callee, pattern, module2, facts) {
   const origin = originOf(callee, module2);
@@ -5248,7 +5618,9 @@ function urlAt(call, position, keyword, options, site) {
   if (argument === null) {
     return null;
   }
-  return (0, import_values12.pathOf)(evaluatedValue(argument, options.facts, site)) ?? null;
+  const value = evaluatedValue(argument, options.facts, site);
+  const path8 = (0, import_values14.pathOf)(value);
+  return path8 === void 0 ? null : { path: path8, host: (0, import_values14.hostOf)(value) };
 }
 function argumentAt(call, position, keyword) {
   const args = field(call, "arguments");
@@ -5266,25 +5638,33 @@ function argumentAt(call, position, keyword) {
     }
     positional.push(child);
   }
-  return positional[position] ?? null;
+  return position === null ? null : positional[position] ?? null;
 }
-function callerBranches(definition, range, facts) {
+function callerBranches(definition, reading) {
+  const range = rangeOf(definition);
   const body = field(definition, "body");
-  const effects = invocationEffects(definition, facts);
-  const terminals = bodyTerminals(body, []);
-  if (body === null || terminals.length === 0) {
+  const sites = invocationSites(definition, reading.facts);
+  const effects = sites.map((site) => site.effect);
+  if (body === null) {
     return [handsBack(range, effects)];
   }
+  const raised = raisesIn(body, {
+    calls: [],
+    module: moduleOf(definition),
+    facts: reading.facts
+  });
   const branches = enumerateBodyBranches({
     body,
-    terminals,
-    raised: [],
+    terminals: bodyTerminals(body, raised),
+    raised,
     effects,
-    branchOf: (found) => found.type === "raise" ? { terminal: found.terminal, location: rangeOf(found.statement) } : handsBackAt(rangeOf(found.statement)),
+    branchOf: (found2) => found2.type === "raise" ? { terminal: found2.terminal, location: rangeOf(found2.statement) } : handsBackAt(rangeOf(found2.statement)),
     fallthrough: handsBackAt(range),
-    facts
+    facts: reading.facts,
+    keepsArms: (condition) => (0, import_behavioral_ir3.testsStatus)(predicateOf(condition, reading.facts), reading.statusMembers)
   });
-  return branches.length === 0 ? [handsBack(range, effects)] : branches;
+  const found = branches.length === 0 ? [handsBack(range, effects)] : branches;
+  return reading.handOff === void 0 ? found : throughResponseHelpers(found, sites, reading.handOff);
 }
 function handsBackAt(range) {
   return {
@@ -5320,11 +5700,24 @@ function responseAccessors(pattern) {
     ...response.body === void 0 ? {} : { bodyAccessors: response.body },
     ...response.statusCode === void 0 ? {} : { statusAccessors: response.statusCode },
     ...response.success === void 0 ? {} : { successAccessors: response.success },
-    ...response.failureDelivery === void 0 ? {} : { failureDelivery: response.failureDelivery }
+    ...response.failureDelivery === void 0 ? {} : { failureDelivery: response.failureDelivery },
+    ...response.redirectDelivery === void 0 ? {} : { redirectDelivery: response.redirectDelivery }
   };
 }
 function clientUnit(definition, name, request, pattern, pack, options) {
   const range = rangeOf(definition);
+  const accessors = responseAccessors(pattern);
+  const statusMembers = (0, import_behavioral_ir3.statusMembersOf)(accessors);
+  const reading = {
+    facts: options.facts,
+    statusMembers,
+    handOff: {
+      request: request.node,
+      bodyMethods: accessors.bodyAccessors ?? [],
+      facts: options.facts,
+      readHelper: (helper) => callerBranches(helper, { facts: options.facts, statusMembers })
+    }
+  };
   return {
     identity: {
       name,
@@ -5336,15 +5729,17 @@ function clientUnit(definition, name, request, pattern, pack, options) {
       exportName: name,
       exportPath: [name]
     },
-    boundaryBinding: (0, import_behavioral_ir2.restBinding)({
+    boundaryBinding: (0, import_behavioral_ir3.restBinding)({
       transport: pack.protocol,
       method: request.method,
       path: request.path,
+      host: request.host,
       recognition: pack.name
     }),
     parameters: [],
-    branches: callerBranches(definition, range, options.facts),
-    ...responseAccessors(pattern),
+    branches: callerBranches(definition, reading),
+    ...accessors,
+    ...request.redirectDelivery === void 0 ? {} : { redirectDelivery: request.redirectDelivery },
     bodyContent: "statements",
     dependencyCalls: [],
     declaredContract: null
@@ -5388,8 +5783,8 @@ function routeOnDroppedApp(facts, object, constructionKey, pattern) {
 }
 
 // src/envReads.ts
-var import_behavioral_ir3 = require("@suss/behavioral-ir");
-var import_extractor5 = require("@suss/extractor");
+var import_behavioral_ir4 = require("@suss/behavioral-ir");
+var import_extractor7 = require("@suss/extractor");
 var import_resolution7 = require("@suss/resolution");
 
 // src/envSpellings.ts
@@ -5567,7 +5962,7 @@ function isTestedAt(parent, child, subject, seen) {
 }
 function conditionOf(node) {
   if (node.type === "conditional_expression") {
-    return node.namedChildren[1] ?? null;
+    return node.namedChild(1) ?? null;
   }
   return CONDITIONED_TYPES.has(node.type) ? field(node, "condition") : null;
 }
@@ -5590,7 +5985,7 @@ function isPresentAt(node, subject) {
 }
 function isBranchWherePresent(parent, child, subject) {
   if (parent.type === "conditional_expression") {
-    const [whenTrue, test2, whenFalse] = parent.namedChildren;
+    const [whenTrue, test2, whenFalse] = children(parent);
     return test2 !== void 0 && test2 !== null && (whenTrue?.id === child.id && isPresentWhen(test2, true, subject) || whenFalse?.id === child.id && isPresentWhen(test2, false, subject));
   }
   if (parent.type === "boolean_operator") {
@@ -5628,7 +6023,7 @@ function followsExitWhenAbsent(parent, child, subject) {
   if (parent.type !== "block" && parent.type !== "module") {
     return false;
   }
-  const statements = parent.namedChildren;
+  const statements = children(parent);
   const at = statements.findIndex((statement) => statement?.id === child.id);
   return statements.slice(0, at).some(
     (statement) => statement !== null && leavesWhenAbsent(statement, subject)
@@ -5672,7 +6067,7 @@ function continuationRaises(from) {
   let parent = current.parent;
   while (parent !== null) {
     if (parent.type === "block" || parent.type === "module") {
-      const statements = parent.namedChildren;
+      const statements = children(parent);
       const at = statements.findIndex((one) => one?.id === current.id);
       const exit = firstExit(statements.slice(at + 1));
       if (exit !== null) {
@@ -5716,7 +6111,7 @@ function exitOf(statement) {
   if (LEAVING_TYPES.has(statement.type)) {
     return "leave";
   }
-  return statement.type === "block" ? firstExit(statement.namedChildren) : null;
+  return statement.type === "block" ? firstExit(children(statement)) : null;
 }
 function isPresentWhen(test, outcome, subject) {
   const expression = peelParens(test);
@@ -5756,7 +6151,7 @@ function isPresentAfterComparison(comparison, outcome, subject) {
 }
 function comparisonParts(comparison) {
   const operators = fields(comparison, "operators");
-  const operands = comparison.namedChildren.filter(
+  const operands = children(comparison).filter(
     (child) => child !== null && !operators.some((one) => one.id === child.id)
   );
   const [left, right] = operands;
@@ -5779,7 +6174,7 @@ function comparedWithNone(comparison) {
 }
 var NONE_OPERATORS = /* @__PURE__ */ new Set(["is", "is not", "==", "!="]);
 function peelParens(node) {
-  const inner = node.type === "parenthesized_expression" ? node.namedChildren[0] : null;
+  const inner = node.type === "parenthesized_expression" ? node.namedChild(0) : null;
   return inner === null || inner === void 0 ? node : peelParens(inner);
 }
 function climbParens(node) {
@@ -5837,7 +6232,7 @@ function envReadEffects(root, module2, facts) {
   const slots = [];
   const readsHelpers = facts !== void 0 && sitesByDb.has(facts);
   const startScope = module2.scopeFor.get(root.id) ?? module2.moduleScope;
-  (0, import_extractor5.walkDescendants)(root, startScope, {
+  (0, import_extractor7.walkDescendants)(root, startScope, children, {
     at: (node, scope) => {
       const syntax = envReadSyntaxAt(node, scope);
       if (syntax !== null) {
@@ -5853,7 +6248,7 @@ function envReadEffects(root, module2, facts) {
     },
     into: (node, scope) => {
       if (DEFERRED_BODY_TYPES.has(node.type)) {
-        return import_extractor5.SKIP_CHILDREN;
+        return import_extractor7.SKIP_CHILDREN;
       }
       return module2.scopeFor.get(node.id) ?? scope;
     }
@@ -5872,7 +6267,7 @@ function envReadEffects(root, module2, facts) {
 function configReadEffect(read) {
   return {
     type: "interaction",
-    binding: (0, import_behavioral_ir3.runtimeConfigBinding)({ recognition: PYTHON_ENV_RECOGNITION }),
+    binding: (0, import_behavioral_ir4.runtimeConfigBinding)({ recognition: PYTHON_ENV_RECOGNITION }),
     callee: `os.environ["${read.name}"]`,
     interaction: {
       class: "config-read",
@@ -5896,7 +6291,7 @@ function hasFallback(node, spelling, scope) {
 }
 function envFactsIn(filePath, root, module2) {
   const found = { sites: [], objects: [] };
-  (0, import_extractor5.walkDescendants)(root, module2.moduleScope, {
+  (0, import_extractor7.walkDescendants)(root, module2.moduleScope, children, {
     at: (node, scope) => {
       if (isEnviron(node, scope) && handsOnward(node)) {
         found.objects.push(keyOf(filePath, node));
@@ -6077,172 +6472,41 @@ function argumentsByParameter(db, call, calleeKey2) {
     }
     for (const row of db.lookup("paramNamed", 0, callee)) {
       const at = byName.get(String(row[1]));
-      if (at !== void 0) {
-        argumentAt2.set(String(row[2]), at);
-      }
-    }
-  }
-  return argumentAt2;
-}
-function readsThroughHelper(db, call, argumentAt2, siteById, named) {
-  const reads = /* @__PURE__ */ new Map();
-  for (const [parameter, argument] of argumentAt2) {
-    const sites = named.get(parameter);
-    (0, import_resolution7.noteLookup)(
-      db,
-      `${NAMED_PARAMETER}${parameter}`,
-      describeSites(sites, siteById)
-    );
-    if (sites === void 0) {
-      continue;
-    }
-    const name = stringLiteralValue(argument) ?? stringValueOf(argument, db);
-    if (name === null) {
-      continue;
-    }
-    for (const id of sites) {
-      const defaulted = siteById.get(id)?.defaulted ?? false;
-      reads.set(name, (reads.get(name) ?? true) && defaulted);
-    }
-  }
-  if (reads.size === 0) {
-    return [];
-  }
-  const defaultedAtCall = isDefaultedAt(call);
-  return [...reads].map(
-    ([name, defaulted]) => configReadEffect({ name, defaulted: defaulted || defaultedAtCall })
-  );
-}
-
-// src/paths/raisedResponses.ts
-var import_values17 = require("@suss/values");
-var NESTED_DEFINITION_TYPES2 = /* @__PURE__ */ new Set(["function_definition", "lambda"]);
-function raisedResponses(body, options) {
-  if (body === null || options.calls.length === 0) {
-    return [];
-  }
-  const found = [];
-  const walk = (node) => {
-    for (const child of node.namedChildren) {
-      if (child === null || NESTED_DEFINITION_TYPES2.has(child.type)) {
-        continue;
-      }
-      const response = raisedResponseOf(child, options);
-      if (response !== null) {
-        found.push(response);
-      }
-      walk(child);
-    }
-  };
-  walk(body);
-  return found;
-}
-var ENDING_EXPRESSION = {
-  raise_statement: (statement) => statement.namedChildren[0] ?? null,
-  expression_statement: (statement) => {
-    const only = statement.namedChildren[0];
-    return only?.type === "call" ? only : null;
-  }
-};
-function raisedResponseOf(statement, options) {
-  const expression = ENDING_EXPRESSION[statement.type]?.(statement) ?? null;
-  if (expression === null) {
-    return null;
-  }
-  const thrownByCall = statement.type !== "raise_statement";
-  const call = expression.type === "call" ? expression : null;
-  const callee = calleeOf(expression, call);
-  const declared = declaredCallFor(callee, options);
-  if (declared === void 0 && thrownByCall) {
-    return null;
-  }
-  return {
-    statement,
-    thrownByCall,
-    terminal: terminalOf(statement, callee, call, declared, options.facts)
-  };
-}
-function returnedResponseStatus(statement, options) {
-  const returned = statement.namedChildren[0];
-  if (options.calls.length === 0 || returned === void 0 || returned === null || returned.type !== "call") {
-    return null;
-  }
-  const callee = field(returned, "function");
-  if (callee === null) {
-    return null;
-  }
-  const declared = declaredCallFor(callee, options);
-  return declared === void 0 ? null : statusOf(declared, returned, options.facts);
-}
-function calleeOf(expression, call) {
-  return call === null ? expression : field(call, "function") ?? expression;
-}
-function declaredCallFor(callee, options) {
-  const origin = originOf(callee, options.module);
-  if (origin === null) {
-    return void 0;
-  }
-  const qualified = `${origin.module}.${origin.name}`;
-  return options.calls.find((call) => call.callee === qualified);
-}
-function terminalOf(statement, callee, call, declared, facts) {
-  return {
-    kind: "throw",
-    statusCode: declared === void 0 ? null : statusOf(declared, call, facts),
-    body: null,
-    exceptionType: lastSegmentOf(declared?.callee ?? callee.text),
-    message: call === null ? null : writtenMessageOf(call),
-    ...declared === void 0 ? {} : { producesResponse: true },
-    component: null,
-    renderTree: null,
-    delegateTarget: null,
-    emitEvent: null,
-    location: rangeOf(statement)
-  };
-}
-function lastSegmentOf(dotted) {
-  const segment = dotted.split(".").pop();
-  return segment === void 0 || segment === "" ? null : segment;
-}
-function statusOf(declared, call, facts) {
-  const written = call === null ? null : statusArgumentOf(declared, call);
-  if (written === null) {
-    return declared.defaultStatusCode === void 0 ? null : { type: "literal", value: declared.defaultStatusCode };
-  }
-  const value = (0, import_values17.constantOf)(evaluatedValue(written, facts));
-  if (typeof value === "number") {
-    return { type: "literal", value };
-  }
-  return { type: "dynamic", sourceText: written.text };
-}
-function argumentsOf2(call) {
-  return (field(call, "arguments")?.namedChildren ?? []).filter(
-    (child) => child !== null
-  );
-}
-function statusArgumentOf(declared, call) {
-  const args = argumentsOf2(call);
-  const keyed = args.find(
-    (arg) => arg.type === "keyword_argument" && field(arg, "name")?.text === declared.statusKeyword
-  );
-  if (keyed !== void 0) {
-    return field(keyed, "value");
-  }
-  if (declared.statusArgument === void 0) {
-    return null;
+      if (at !== void 0) {
+        argumentAt2.set(String(row[2]), at);
+      }
+    }
   }
-  const positional = args.filter((arg) => arg.type !== "keyword_argument");
-  return positional[declared.statusArgument] ?? null;
+  return argumentAt2;
 }
-function writtenMessageOf(call) {
-  for (const arg of argumentsOf2(call)) {
-    const value = arg.type === "keyword_argument" ? field(arg, "value") : arg;
-    const literal = value === null ? null : stringLiteralValue(value);
-    if (literal !== null) {
-      return literal;
+function readsThroughHelper(db, call, argumentAt2, siteById, named) {
+  const reads = /* @__PURE__ */ new Map();
+  for (const [parameter, argument] of argumentAt2) {
+    const sites = named.get(parameter);
+    (0, import_resolution7.noteLookup)(
+      db,
+      `${NAMED_PARAMETER}${parameter}`,
+      describeSites(sites, siteById)
+    );
+    if (sites === void 0) {
+      continue;
+    }
+    const name = stringLiteralValue(argument) ?? stringValueOf(argument, db);
+    if (name === null) {
+      continue;
+    }
+    for (const id of sites) {
+      const defaulted = siteById.get(id)?.defaulted ?? false;
+      reads.set(name, (reads.get(name) ?? true) && defaulted);
     }
   }
-  return null;
+  if (reads.size === 0) {
+    return [];
+  }
+  const defaultedAtCall = isDefaultedAt(call);
+  return [...reads].map(
+    ([name, defaulted]) => configReadEffect({ name, defaulted: defaulted || defaultedAtCall })
+  );
 }
 
 // src/paths/returnedShape.ts
@@ -6304,7 +6568,7 @@ function shapeOfReturned(node, depth = 0) {
   return { type: "unknown" };
 }
 function returnedBodyShape(statement) {
-  const returned = statement.namedChildren[0];
+  const returned = statement.namedChild(0);
   if (returned == null) {
     return null;
   }
@@ -6317,8 +6581,8 @@ function returnedBodyShape(statement) {
 }
 
 // src/streamWrites.ts
-var import_behavioral_ir4 = require("@suss/behavioral-ir");
-var import_extractor6 = require("@suss/extractor");
+var import_behavioral_ir5 = require("@suss/behavioral-ir");
+var import_extractor8 = require("@suss/extractor");
 
 // src/stdlibNames.ts
 function isStdlibModule(node, scope, module2) {
@@ -6350,7 +6614,7 @@ var DEFERRED_BODY_TYPES2 = /* @__PURE__ */ new Set(["function_definition", "lamb
 function streamWriteEffects(root, module2) {
   const found = [];
   const startScope = module2.scopeFor.get(root.id) ?? module2.moduleScope;
-  (0, import_extractor6.walkDescendants)(root, startScope, {
+  (0, import_extractor8.walkDescendants)(root, startScope, children, {
     at: (node, scope) => {
       if (node.type !== "call") {
         return;
@@ -6362,7 +6626,7 @@ function streamWriteEffects(root, module2) {
     },
     into: (node, scope) => {
       if (DEFERRED_BODY_TYPES2.has(node.type)) {
-        return import_extractor6.SKIP_CHILDREN;
+        return import_extractor8.SKIP_CHILDREN;
       }
       return module2.scopeFor.get(node.id) ?? scope;
     }
@@ -6398,7 +6662,7 @@ function writeEffect(site) {
   const { call, callee, target } = site;
   return {
     type: "interaction",
-    binding: (0, import_behavioral_ir4.ioBinding)({ recognition: PYTHON_STREAM_RECOGNITION, target }),
+    binding: (0, import_behavioral_ir5.ioBinding)({ recognition: PYTHON_STREAM_RECOGNITION, target }),
     callee,
     groupId: `${call.startPosition.row + 1}:${call.startPosition.column + 1}`,
     interaction: {
@@ -6437,7 +6701,7 @@ function jsonDumped(node, scope) {
 // src/discovery.ts
 function decoratedNodes(root) {
   const found = [];
-  (0, import_extractor7.walkDescendants)(root, null, {
+  (0, import_extractor9.walkDescendants)(root, null, children, {
     at: (node) => {
       if (node.type !== "decorated_definition") {
         return;
@@ -6588,18 +6852,18 @@ function unitsFor(pattern, pack, decoratorModule, classification, definition, mo
       );
     }
   };
-  return (0, import_behavioral_ir5.dispatchByType)(table, pattern);
+  return (0, import_behavioral_ir6.dispatchByType)(table, pattern);
 }
 function readPathArgument(classification, options) {
   const first = classification.args[0];
   if (first !== void 0) {
     const value = evaluatedValue(first.node, options.facts);
-    const path8 = (0, import_values19.literalOf)(value) ?? (0, import_values19.pathOf)(value);
+    const path8 = (0, import_values20.literalOf)(value) ?? (0, import_values20.pathOf)(value);
     if (path8 !== void 0) {
-      return (0, import_extractor7.writtenReading)(path8, classification.range);
+      return (0, import_extractor9.writtenReading)(path8, classification.range);
     }
   }
-  return (0, import_extractor7.unreadableReading)(
+  return (0, import_extractor9.unreadableReading)(
     "The path in this route's decorator is not a string literal, so the binding names no path and nothing pairs with it",
     classification.range
   );
@@ -6624,16 +6888,16 @@ var PATH_TEMPLATE_READERS = {
 function readPathTemplate(pattern, path8, range) {
   const syntax = pattern.pathParamSyntax;
   if (syntax === void 0) {
-    return (0, import_extractor7.writtenReading)({ path: path8, paramNames: NO_PATH_PARAMS }, range);
+    return (0, import_extractor9.writtenReading)({ path: path8, paramNames: NO_PATH_PARAMS }, range);
   }
   const reader = PATH_TEMPLATE_READERS[syntax];
   if (reader === void 0) {
-    return (0, import_extractor7.unreadableReading)(
+    return (0, import_extractor9.unreadableReading)(
       `The route's pack declares path-parameter syntax "${syntax}", which this adapter has no reader for, so the binding names no path and nothing pairs with it`,
       range
     );
   }
-  return (0, import_extractor7.writtenReading)(reader(path8), range);
+  return (0, import_extractor9.writtenReading)(reader(path8), range);
 }
 function classRouteUnits(pattern, pack, classification, classNode, module2, options) {
   const pathArgument = readPathArgument(classification, options);
@@ -6684,7 +6948,7 @@ function classRouteUnits(pattern, pack, classification, classNode, module2, opti
             module: module2,
             filePath: options.filePath,
             skipReceiverParam: true,
-            responseShape: import_extractor7.absentReading,
+            responseShape: import_extractor9.absentReading,
             statusCode: defaultedStatus(
               readReturnedStatus(pattern, maybeMethod, {
                 module: module2,
@@ -6711,11 +6975,11 @@ function classRouteUnits(pattern, pack, classification, classNode, module2, opti
   return units;
 }
 function readRoutePath(pattern, pathArgument, classification, module2, options) {
-  const composed = (0, import_extractor7.andThenReading)(
+  const composed = (0, import_extractor9.andThenReading)(
     pathArgument,
     (literal, range) => composeRoutePath(pattern, classification, module2, options, literal, range)
   );
-  return (0, import_extractor7.andThenReading)(
+  return (0, import_extractor9.andThenReading)(
     composed,
     (path8, range) => readPathTemplate(pattern, path8, range)
   );
@@ -6741,10 +7005,10 @@ function readRoutePaths(pattern, pathArgument, classification, module2, options)
     ];
   }
   return resolution.values.map((prefix) => ({
-    routePath: (0, import_extractor7.andThenReading)(
-      (0, import_extractor7.andThenReading)(
+    routePath: (0, import_extractor9.andThenReading)(
+      (0, import_extractor9.andThenReading)(
         pathArgument,
-        (literal, range) => (0, import_extractor7.writtenReading)(servedSpelling(pattern, prefix + literal), range)
+        (literal, range) => (0, import_extractor9.writtenReading)(servedSpelling(pattern, prefix + literal), range)
       ),
       (path8, range) => readPathTemplate(pattern, path8, range)
     ),
@@ -6785,9 +7049,9 @@ function composeRoutePath(pattern, classification, module2, options, literal, ra
     range
   );
   if (prefix.kind === "absent") {
-    return (0, import_extractor7.writtenReading)(servedSpelling(pattern, literal), range);
+    return (0, import_extractor9.writtenReading)(servedSpelling(pattern, literal), range);
   }
-  return (0, import_extractor7.mapReading)(
+  return (0, import_extractor9.mapReading)(
     prefix,
     (value) => servedSpelling(pattern, value + literal)
   );
@@ -6807,32 +7071,36 @@ function readRouterPrefix(pattern, classification, module2, options, range) {
     options
   );
   if (resolution === null) {
-    return import_extractor7.absentReading;
+    return import_extractor9.absentReading;
   }
   if (resolution.kind === "abstain") {
-    return (0, import_extractor7.unreadableReading)(
+    return (0, import_extractor9.unreadableReading)(
       `The router this route is declared on ${resolution.reason}, so the binding names no path and nothing pairs with it`,
       range
     );
   }
   if (resolution.kind === "composed") {
-    return (0, import_extractor7.writtenReading)(resolution.value, range);
+    return (0, import_extractor9.writtenReading)(resolution.value, range);
   }
-  return import_extractor7.absentReading;
+  return import_extractor9.absentReading;
 }
-function readStatusCode(pattern, classification) {
+function readStatusCode(pattern, classification, options) {
   if (pattern.statusCodeKeyword === void 0) {
-    return import_extractor7.absentReading;
+    return import_extractor9.absentReading;
   }
   const arg = classification.keywordArgs[pattern.statusCodeKeyword];
   if (arg === void 0) {
-    return import_extractor7.absentReading;
+    return import_extractor9.absentReading;
   }
-  if (arg.kind === "number") {
-    return (0, import_extractor7.writtenReading)(arg.value, classification.range);
+  const status = statusNumberOf(arg.node, {
+    ...options,
+    constants: pattern.statusCodeConstants ?? {}
+  });
+  if (status !== null) {
+    return (0, import_extractor9.writtenReading)(status, classification.range);
   }
-  return (0, import_extractor7.unreadableReading)(
-    "The status this route's decorator states is not a literal number, so the response claims no status",
+  return (0, import_extractor9.unreadableReading)(
+    "The status this route's decorator states does not come to a number here, so the response claims no status",
     classification.range
   );
 }
@@ -6841,11 +7109,11 @@ function statusFromReturnedValue(node, facts) {
     return null;
   }
   const value = evaluatedValue(node, facts);
-  const number = (0, import_values19.constantOf)(value);
+  const number = (0, import_values20.constantOf)(value);
   if (typeof number === "number") {
     return Number.isInteger(number) ? number : null;
   }
-  const text2 = (0, import_values19.literalOf)(value);
+  const text2 = (0, import_values20.literalOf)(value);
   if (text2 === null) {
     return null;
   }
@@ -6853,30 +7121,49 @@ function statusFromReturnedValue(node, facts) {
   return digits === null ? null : Number.parseInt(digits[1], 10);
 }
 function statusOfReturn(statement, facts) {
-  const returned = statement.namedChildren[0];
+  const returned = statement.namedChild(0);
   if (returned?.type !== "expression_list") {
     return { kind: "none" };
   }
-  const status = statusFromReturnedValue(returned.namedChildren[1], facts);
+  const status = statusFromReturnedValue(
+    returned.namedChild(1) ?? void 0,
+    facts
+  );
   return status === null ? { kind: "unreadable" } : { kind: "status", value: status };
 }
 function returnStatusReading(statement, ctx) {
   const read = statusOfReturnIn(statement, ctx.pattern, ctx);
   const range = rangeOf(statement);
   if (read.kind === "status") {
-    return (0, import_extractor7.writtenReading)(read.value, range);
+    return (0, import_extractor9.writtenReading)(read.value, range);
   }
   if (read.kind === "unreadable") {
-    return (0, import_extractor7.unreadableReading)(
+    return (0, import_extractor9.unreadableReading)(
       "This return gives a status this reading cannot resolve to a number, so this outcome claims none",
       range
     );
   }
-  return ctx.pattern.statusFromReturnedTuple === true ? import_extractor7.absentReading : ctx.declaredStatus.reading;
+  return ctx.pattern.statusFromReturnedTuple === true ? import_extractor9.absentReading : ctx.declaredStatus.reading;
 }
 function returnBranch(statement, ctx) {
   const range = rangeOf(statement);
   const writtenBody = returnedBodyShape(statement);
+  return responseBranchAt(
+    range,
+    returnStatusReading(statement, ctx),
+    writtenBody === null ? ctx.responseShape.reading : (0, import_extractor9.writtenReading)(writtenBody, range),
+    ctx
+  );
+}
+function fallthroughBranch(definitionNode, ctx) {
+  return responseBranchAt(
+    rangeOf(definitionNode),
+    ctx.pattern.statusFromReturnedTuple === true ? import_extractor9.absentReading : ctx.declaredStatus.reading,
+    ctx.responseShape.reading,
+    ctx
+  );
+}
+function responseBranchAt(range, status, body, ctx) {
   return {
     terminal: {
       kind: "response",
@@ -6893,12 +7180,10 @@ function returnBranch(statement, ctx) {
       location: range
     },
     statusCodeReading: {
-      reading: returnStatusReading(statement, ctx),
+      reading: status,
       ...ctx.declaredStatus.libraryDefault !== void 0 ? { libraryDefault: ctx.declaredStatus.libraryDefault } : {}
     },
-    bodyShapeReading: {
-      reading: writtenBody === null ? ctx.responseShape.reading : (0, import_extractor7.writtenReading)(writtenBody, range)
-    },
+    bodyShapeReading: { reading: body },
     location: range
   };
 }
@@ -6912,18 +7197,19 @@ function terminalBranchOf(found, ctx) {
     // A route has no continuation, so none is ever collected for it.
     continuation: (variant) => returnBranch(variant.statement, ctx)
   };
-  return (0, import_behavioral_ir5.dispatchByType)(table, found);
+  return (0, import_behavioral_ir6.dispatchByType)(table, found);
 }
 function branchesPerTerminal(options) {
   const body = field(options.definitionNode, "body");
   const raised = raisedResponses(body, {
     calls: options.responseStatusCalls,
     module: options.ctx.module,
-    facts: options.ctx.facts
+    facts: options.ctx.facts,
+    constants: options.ctx.pattern.statusCodeConstants ?? {}
   });
   const terminals = bodyTerminals(body, raised);
   const soleReturnWritesBody = terminals.length === 1 && terminals[0]?.type === "return" && returnedBodyShape(terminals[0].statement) !== null;
-  if (terminals.length < 2 && !soleReturnWritesBody) {
+  if (terminals.length === 0) {
     return null;
   }
   const branches = enumerateBodyBranches({
@@ -6932,6 +7218,7 @@ function branchesPerTerminal(options) {
     raised,
     effects: options.effects,
     branchOf: (found) => terminalBranchOf(found, options.ctx),
+    fallthrough: fallthroughBranch(options.definitionNode, options.ctx),
     facts: options.ctx.facts
   });
   return branches.length > 1 || soleReturnWritesBody ? branches : null;
@@ -6940,7 +7227,8 @@ function statusOfReturnIn(statement, pattern, options) {
   const constructed = returnedResponseStatus(statement, {
     calls: pattern.responseConstructors ?? [],
     module: options.module,
-    facts: options.facts
+    facts: options.facts,
+    constants: pattern.statusCodeConstants ?? {}
   });
   if (constructed !== null) {
     return constructed.type === "literal" ? { kind: "status", value: constructed.value } : { kind: "unreadable" };
@@ -6952,7 +7240,7 @@ function statusOfReturnIn(statement, pattern, options) {
 }
 function readReturnedStatus(pattern, definitionNode, options) {
   if (pattern.statusFromReturnedTuple !== true && (pattern.responseConstructors ?? []).length === 0) {
-    return import_extractor7.absentReading;
+    return import_extractor9.absentReading;
   }
   const range = rangeOf(definitionNode);
   const statuses = /* @__PURE__ */ new Set();
@@ -6969,23 +7257,23 @@ function readReturnedStatus(pattern, definitionNode, options) {
     }
   }
   if (unreadable > 0) {
-    return (0, import_extractor7.unreadableReading)(
+    return (0, import_extractor9.unreadableReading)(
       "This route returns a status this reading cannot resolve to a number, so no status is claimed for it",
       range
     );
   }
   if (statuses.size === 0) {
-    return import_extractor7.absentReading;
+    return import_extractor9.absentReading;
   }
   const candidates = [...statuses];
   if (statuses.size > 1 || plainReturns > 0) {
-    return (0, import_extractor7.ambiguousReading)(
+    return (0, import_extractor9.ambiguousReading)(
       candidates,
       "This route returns more than one status depending on which branch runs, and nothing here reads which, so no status is claimed for it",
       range
     );
   }
-  return (0, import_extractor7.writtenReading)(candidates[0], range);
+  return (0, import_extractor9.writtenReading)(candidates[0], range);
 }
 function declaredOrReturnedStatus(declared, returned) {
   return declared.kind === "absent" ? returned : declared;
@@ -6998,19 +7286,19 @@ function defaultedStatus(reading, pattern) {
 }
 function readResponseModel(pattern, classification, module2, ctx) {
   if (pattern.responseModelKeyword === void 0) {
-    return import_extractor7.absentReading;
+    return import_extractor9.absentReading;
   }
   const arg = classification.keywordArgs[pattern.responseModelKeyword];
   if (arg === void 0) {
-    return import_extractor7.absentReading;
+    return import_extractor9.absentReading;
   }
   if (arg.kind === "identifier") {
-    return (0, import_extractor7.writtenReading)(
+    return (0, import_extractor9.writtenReading)(
       shapeFromName(arg.name, module2.moduleScope, ctx),
       classification.range
     );
   }
-  return (0, import_extractor7.unreadableReading)(
+  return (0, import_extractor9.unreadableReading)(
     "The response model this route's decorator states is not a name, so the response claims no body shape",
     classification.range
   );
@@ -7018,9 +7306,9 @@ function readResponseModel(pattern, classification, module2, ctx) {
 function readReturnAnnotation(definitionNode, scope, ctx) {
   const returnTypeNode = field(definitionNode, "return_type");
   if (returnTypeNode === null) {
-    return import_extractor7.absentReading;
+    return import_extractor9.absentReading;
   }
-  return (0, import_extractor7.writtenReading)(
+  return (0, import_extractor9.writtenReading)(
     annotationToShape(returnTypeNode, scope, ctx),
     rangeOf(returnTypeNode)
   );
@@ -7034,6 +7322,25 @@ function functionRouteUnits(pattern, pack, verb, classification, functionNode, m
     module2.scopeFor,
     options.importedDefinition ?? null
   );
+  const wrappers = wrappersAround(
+    pattern,
+    pack,
+    classification,
+    functionNode,
+    module2,
+    options
+  );
+  const dependencyParameters = options.wrappers?.dependencyParameters(
+    wrappers
+  ) ?? { names: /* @__PURE__ */ new Set(), declaresSource: false };
+  const declaredStatuses = declaredStatusesOf(
+    pattern,
+    pack,
+    classification,
+    functionNode,
+    module2,
+    options
+  );
   return readRoutePaths(
     pattern,
     readPathArgument(classification, options),
@@ -7046,6 +7353,8 @@ function functionRouteUnits(pattern, pack, verb, classification, functionNode, m
         pack,
         name: functionName,
         exportPath: [functionName],
+        dependencyParameters,
+        declaredStatuses,
         method: verb,
         routePath: entry.routePath,
         ...entry.mount !== void 0 ? { mount: entry.mount } : {},
@@ -7062,7 +7371,10 @@ function functionRouteUnits(pattern, pack, verb, classification, functionNode, m
         responseShape: readResponseModel(pattern, classification, module2, ctx),
         statusCode: defaultedStatus(
           declaredOrReturnedStatus(
-            readStatusCode(pattern, classification),
+            readStatusCode(pattern, classification, {
+              module: module2,
+              facts: options.facts
+            }),
             readReturnedStatus(pattern, functionNode, {
               module: module2,
               facts: options.facts
@@ -7073,14 +7385,7 @@ function functionRouteUnits(pattern, pack, verb, classification, functionNode, m
         definitionsCtx: ctx,
         storage: options.storage,
         importedDefinition: options.importedDefinition,
-        wrappers: wrappersAround(
-          pattern,
-          pack,
-          classification,
-          functionNode,
-          module2,
-          options
-        )
+        wrappers
       },
       options
     )
@@ -7099,11 +7404,43 @@ function wrappersAround(pattern, pack, classification, definitionNode, module2,
     definitionNode
   });
 }
+function declaredStatusesOf(pattern, pack, classification, definitionNode, module2, options) {
+  const keyword = pattern.responsesKeyword;
+  if (keyword === void 0) {
+    return [];
+  }
+  const above = options.wrappers?.callsAbove({
+    pack,
+    pattern,
+    file: options.absoluteFile ?? options.filePath,
+    module: module2,
+    classification,
+    definitionNode
+  }) ?? [];
+  const dictionaries = [
+    classification.keywordArgs[keyword]?.node,
+    ...above.map(
+      (call) => readCallArguments(field(call, "arguments")).keywordArgs[keyword]?.node
+    )
+  ].filter((node) => node?.type === "dictionary");
+  const statuses = dictionaries.flatMap(
+    (dictionary) => children(dictionary).flatMap((pair) => {
+      const key = pair?.type === "pair" ? field(pair, "key") : null;
+      const status = key === null ? null : statusNumberOf(key, {
+        module: moduleOf(key),
+        facts: options.facts,
+        constants: pattern.statusCodeConstants ?? {}
+      });
+      return status === null ? [] : [status];
+    })
+  );
+  return [...new Set(statuses)].sort((a, b) => a - b);
+}
 function readResponseShape(declared, readAnnotation) {
   if (declared.kind === "written") {
     return { reading: declared, passedOver: [] };
   }
-  return (0, import_extractor7.firstWrittenReading)([declared, readAnnotation()]);
+  return (0, import_extractor9.firstWrittenReading)([declared, readAnnotation()]);
 }
 function routeUnitOrAbstention(unitOptions, options) {
   try {
@@ -7131,7 +7468,7 @@ function unbuiltRouteUnit(unitOptions, error) {
       exportName: unitOptions.exportPath[0] ?? unitOptions.name,
       exportPath: unitOptions.exportPath
     },
-    boundaryBinding: (0, import_behavioral_ir5.restBinding)({
+    boundaryBinding: (0, import_behavioral_ir6.restBinding)({
       transport: unitOptions.pack.protocol,
       method: nullIfEmpty(unitOptions.method),
       path: null,
@@ -7143,7 +7480,7 @@ function unbuiltRouteUnit(unitOptions, error) {
     dependencyCalls: [],
     declaredContract: null,
     readings: [
-      (0, import_extractor7.unreadableReading)(
+      (0, import_extractor9.unreadableReading)(
         `This route could not be read into a unit (${message}), so the binding names no path and nothing pairs with it`,
         range
       )
@@ -7169,7 +7506,7 @@ function buildRouteUnit(options) {
     definitionsCtx,
     storage: storageLookup
   } = options;
-  const template = (0, import_extractor7.valueToReadFurtherFrom)(routePath);
+  const template = (0, import_extractor9.valueToReadFurtherFrom)(routePath);
   const ctx = definitionsCtx ?? createAnnotationContext(
     module2.scopeFor,
     options.importedDefinition ?? null
@@ -7182,6 +7519,8 @@ function buildRouteUnit(options) {
       pathParamNames: template?.paramNames ?? null,
       requestBodyFromAnnotatedClass,
       injectedCallees,
+      injectedTypes: new Set(pattern.injectedParameterTypes ?? []),
+      module: module2,
       sources: pattern.parameterSources ?? {},
       aliasKeyword: pattern.parameterAliasKeyword
     },
@@ -7238,6 +7577,22 @@ function buildRouteUnit(options) {
     };
     branches.push(withBodyEffects(bare, extra));
   }
+  if (branches.length > 0) {
+    branches.push(
+      ...validationFailureBranches(
+        pattern,
+        readsTheRequest(
+          parameters,
+          template,
+          options.dependencyParameters ?? {
+            names: /* @__PURE__ */ new Set(),
+            declaresSource: false
+          }
+        ),
+        rangeOf(definitionNode)
+      )
+    );
+  }
   const bodyNode = field(definitionNode, "body");
   return {
     identity: {
@@ -7250,7 +7605,7 @@ function buildRouteUnit(options) {
       exportName: exportPath[0] ?? name,
       exportPath
     },
-    boundaryBinding: (0, import_behavioral_ir5.restBinding)({
+    boundaryBinding: (0, import_behavioral_ir6.restBinding)({
       transport: pack.protocol,
       method,
       path: template?.path ?? null,
@@ -7269,15 +7624,57 @@ function buildRouteUnit(options) {
     ...collectedDefinitions(ctx) !== null ? { definitions: collectedDefinitions(ctx) } : {},
     ...options.mount !== void 0 ? { mount: options.mount } : {},
     ...options.wrappers !== void 0 && options.wrappers.length > 0 ? { wrappers: options.wrappers } : {},
-    ...pack.requestSpelling === void 0 ? {} : { requestSpelling: pack.requestSpelling }
+    ...pack.requestSpelling === void 0 ? {} : { requestSpelling: pack.requestSpelling },
+    ...options.declaredStatuses !== void 0 && options.declaredStatuses.length > 0 ? { declaredStatuses: options.declaredStatuses } : {}
   };
 }
+function readsTheRequest(parameters, template, dependencies) {
+  if (dependencies.declaresSource || parameters.some((parameter) => parameter.role !== null)) {
+    return true;
+  }
+  return [...template?.paramNames ?? []].some(
+    (name) => dependencies.names.has(name)
+  );
+}
+function validationFailureBranches(pattern, readsRequest, range) {
+  const status = pattern.validationFailureStatus;
+  if (status === void 0 || !readsRequest) {
+    return [];
+  }
+  return [
+    {
+      conditions: [
+        {
+          sourceText: "request input fails validation",
+          structured: null,
+          polarity: "positive",
+          source: "earlyThrow"
+        }
+      ],
+      terminal: {
+        kind: "response",
+        statusCode: { type: "literal", value: status },
+        body: null,
+        exceptionType: null,
+        message: null,
+        component: null,
+        renderTree: null,
+        delegateTarget: null,
+        emitEvent: null,
+        location: range
+      },
+      effects: [],
+      location: range,
+      isDefault: false
+    }
+  ];
+}
 function unreadRoleReadings(parameters, range) {
   if (!parameters.some((parameter) => parameter.role === null)) {
     return [];
   }
   return [
-    (0, import_extractor7.unreadableReading)(
+    (0, import_extractor9.unreadableReading)(
       "Nothing read this route's path, so its parameters name no role and a path parameter here does not read as one",
       range
     )
@@ -7338,10 +7735,7 @@ function readParameters(definitionNode, reading, skipReceiverParam) {
   }
   const out = [];
   let position = 0;
-  for (const param of parametersNode.namedChildren) {
-    if (param === null) {
-      continue;
-    }
+  for (const param of children(parametersNode)) {
     if (skipReceiverParam && position === 0 && isReceiverParam(param)) {
       position += 1;
       continue;
@@ -7365,7 +7759,7 @@ function readParameter(param, reading, position) {
   const { name, typeNode } = info;
   const shape = typeNode !== null ? annotationToShape(typeNode, reading.scope, reading.ctx) : null;
   const typeText = typeNode !== null ? typeNode.text : null;
-  if (isInjectedParameter(param, reading)) {
+  if (isInjectedParameter(param, reading) || isInjectedType(typeNode, reading)) {
     return { name, position, role: null, typeText };
   }
   const declared = declaringCall(
@@ -7445,6 +7839,14 @@ function calleeName2(call) {
 function isInjectedParameter(param, reading) {
   return declaringCall(param, reading.injectedCallees, reading) !== null;
 }
+function isInjectedType(typeNode, reading) {
+  if (typeNode === null || reading.injectedTypes.size === 0) {
+    return false;
+  }
+  const written = typeNode.type === "type" ? typeNode.namedChild(0) ?? null : typeNode;
+  const origin = written === null ? null : originOf(written, reading.module);
+  return origin !== null && reading.injectedTypes.has(`${origin.module}.${origin.name}`);
+}
 function declaringCall(param, callees, reading) {
   if (callees.size === 0) {
     return null;
@@ -7668,15 +8070,15 @@ function parseWith(language, source) {
 // src/project.ts
 var import_node_fs4 = __toESM(require("fs"), 1);
 var import_node_path5 = __toESM(require("path"), 1);
-var import_behavioral_ir9 = require("@suss/behavioral-ir");
+var import_behavioral_ir10 = require("@suss/behavioral-ir");
 var import_datalog2 = require("@suss/datalog");
-var import_extractor16 = require("@suss/extractor");
+var import_extractor18 = require("@suss/extractor");
 var import_resolution18 = require("@suss/resolution");
 
 // src/diagnostics.ts
-var import_extractor8 = require("@suss/extractor");
+var import_extractor10 = require("@suss/extractor");
 function buildPythonExtractionReport(args) {
-  return (0, import_extractor8.buildUngatedExtractionReport)({
+  return (0, import_extractor10.buildUngatedExtractionReport)({
     packs: args.packs.map((pack) => ({
       name: pack.name,
       version: pack.version ?? null,
@@ -7689,14 +8091,14 @@ function buildPythonExtractionReport(args) {
 }
 
 // src/exits.ts
-var import_extractor9 = require("@suss/extractor");
+var import_extractor11 = require("@suss/extractor");
 var import_resolution9 = require("@suss/resolution");
-var import_values20 = require("@suss/values");
+var import_values21 = require("@suss/values");
 var DEFERRED_BODY_TYPES3 = /* @__PURE__ */ new Set(["function_definition", "lambda"]);
 function exitSites(root, module2) {
   const found = [];
   const startScope = module2.scopeFor.get(root.id) ?? module2.moduleScope;
-  (0, import_extractor9.walkDescendants)(root, startScope, {
+  (0, import_extractor11.walkDescendants)(root, startScope, children, {
     at: (node, scope) => {
       const site = exitSiteAt(node, scope);
       if (site !== null) {
@@ -7705,7 +8107,7 @@ function exitSites(root, module2) {
     },
     into: (node, scope) => {
       if (DEFERRED_BODY_TYPES3.has(node.type)) {
-        return import_extractor9.SKIP_CHILDREN;
+        return import_extractor11.SKIP_CHILDREN;
       }
       return module2.scopeFor.get(node.id) ?? scope;
     }
@@ -7713,7 +8115,7 @@ function exitSites(root, module2) {
   return found;
 }
 function exitSiteAt(statement, scope) {
-  const expression = statement.namedChildren[0] ?? null;
+  const expression = statement.namedChild(0) ?? null;
   if (expression === null) {
     return null;
   }
@@ -7760,7 +8162,7 @@ function exitCodeOf(code, facts) {
   if (stringLiteralValue(code) !== null) {
     return { type: "literal", value: 1 };
   }
-  const value = (0, import_values20.constantOf)(evaluatedValue(code, facts));
+  const value = (0, import_values21.constantOf)(evaluatedValue(code, facts));
   return typeof value === "number" ? { type: "literal", value } : { type: "dynamic", sourceText: code.text };
 }
 function exitingBranches(definition, module2, effects, facts) {
@@ -7794,7 +8196,7 @@ function markExitCodeFunctions(summaries, exits, facts, workspaceRoot) {
       (site) => site.code === null ? [] : [nodeId(file, site.code)]
     )
   );
-  (0, import_extractor9.markReturnsAsExitCode)(
+  (0, import_extractor11.markReturnsAsExitCode)(
     summaries,
     (0, import_resolution9.exitCodeFunctions)(facts, sinks),
     workspaceRoot
@@ -7879,25 +8281,25 @@ function definedNodeOf(binding) {
 }
 
 // src/moduleSurface.ts
-var import_behavioral_ir7 = require("@suss/behavioral-ir");
-var import_extractor12 = require("@suss/extractor");
+var import_behavioral_ir8 = require("@suss/behavioral-ir");
+var import_extractor14 = require("@suss/extractor");
 var import_resolution13 = require("@suss/resolution");
 
 // src/reach/closure.ts
-var import_behavioral_ir6 = require("@suss/behavioral-ir");
+var import_behavioral_ir7 = require("@suss/behavioral-ir");
 var import_datalog = require("@suss/datalog");
-var import_extractor11 = require("@suss/extractor");
+var import_extractor13 = require("@suss/extractor");
 var import_resolution12 = require("@suss/resolution");
 
 // src/flags.ts
-var import_extractor10 = require("@suss/extractor");
+var import_extractor12 = require("@suss/extractor");
 var PARSE_METHODS = /* @__PURE__ */ new Set(["parse_args", "parse_known_args"]);
 var DEFERRED_BODY_TYPES4 = /* @__PURE__ */ new Set(["function_definition", "lambda"]);
 function argparseFlagReads(definition, module2, parameterNames2) {
   const parsers = /* @__PURE__ */ new Map();
   const handedTo = /* @__PURE__ */ new Map();
   const startScope = module2.scopeFor.get(definition.id) ?? module2.moduleScope;
-  (0, import_extractor10.walkDescendants)(definition, startScope, {
+  (0, import_extractor12.walkDescendants)(definition, startScope, children, {
     at: (node, scope) => {
       noteParser(node, scope, parsers);
       noteArgument(node, parsers);
@@ -7905,7 +8307,7 @@ function argparseFlagReads(definition, module2, parameterNames2) {
     },
     into: (node, scope) => {
       if (DEFERRED_BODY_TYPES4.has(node.type)) {
-        return import_extractor10.SKIP_CHILDREN;
+        return import_extractor12.SKIP_CHILDREN;
       }
       return module2.scopeFor.get(node.id) ?? scope;
     }
@@ -7999,8 +8401,40 @@ function resolveCallee2(call, site, ctx, read) {
     return spelling;
   }
   const outcome = read?.outcomes.get(spelling.key) ?? (0, import_resolution11.calleeOutcomeOf)(ctx.facts, spelling.key);
+  if (selfCallInMixin(call, outcome, site, ctx)) {
+    return { kind: "stopped", reason: "selfCallInMixin" };
+  }
   return asCallee(outcome, site.owner, ctx);
 }
+function selfCallInMixin(call, outcome, site, ctx) {
+  if (outcome.kind !== "callerSupplied" || !outcome.key.startsWith(`${site.owner}#`)) {
+    return false;
+  }
+  const callee = readThrough(field(call, "function"));
+  const receiver = callee?.type === "attribute" ? field(callee, "object") : null;
+  const name = callee === null ? null : field(callee, "attribute")?.text;
+  if (receiver?.type !== "identifier" || name === void 0 || name === null) {
+    return false;
+  }
+  if (outcome.key !== `${site.owner}#${receiver.text}`) {
+    return false;
+  }
+  return ctx.facts.lookup("instanceOf", 0, outcome.key).some((row) => {
+    const classKey = String(row[1]);
+    return ctx.facts.has("plainClass", [classKey]) && !instancesHaveAttribute(ctx.facts, classKey, name);
+  });
+}
+var FALLBACK_ATTRIBUTE = "__getattr__";
+function instancesHaveAttribute(facts, classKey, name) {
+  return facts.lookup("holdsProperty", 0, classKey).some((member) => {
+    if (String(member[1]) === FALLBACK_ATTRIBUTE) {
+      return true;
+    }
+    return facts.lookup("storesProperty", 0, String(member[2])).some(
+      (store) => String(store[1]) === name && store[3] === import_resolution11.RECEIVER_STORE_NAME
+    );
+  });
+}
 function namedOutcomes(keys, ctx) {
   return (0, import_resolution11.calleeOutcomes)(ctx.facts, [...new Set(keys)]);
 }
@@ -8324,17 +8758,17 @@ function reachedFunctions(seeds, options) {
       continue;
     }
     const build = () => {
-      const summary2 = (0, import_extractor11.assembleSummary)(libraryUnit(target, options), {
+      const summary2 = (0, import_extractor13.assembleSummary)(libraryUnit(target, options), {
         gapHandling: options.gapHandling
       });
       if (options.gapHandling !== "silent") {
         summary2.gaps.push(
-          ...(stopsByKey.get(key) ?? []).map(import_behavioral_ir6.unfollowedCallGap)
+          ...(stopsByKey.get(key) ?? []).map(import_behavioral_ir7.unfollowedCallGap)
         );
       }
-      (0, import_behavioral_ir6.placeCalls)(summary2, targetsByKey.get(key));
-      (0, import_behavioral_ir6.placeArgTargets)(summary2, argTargetsByKey.get(key));
-      (0, import_behavioral_ir6.placeCalleeParameters)(summary2, parameterCallsByKey.get(key));
+      (0, import_behavioral_ir7.placeCalls)(summary2, targetsByKey.get(key));
+      (0, import_behavioral_ir7.placeArgTargets)(summary2, argTargetsByKey.get(key));
+      (0, import_behavioral_ir7.placeCalleeParameters)(summary2, parameterCallsByKey.get(key));
       return summary2;
     };
     const summary = ledger === void 0 ? build() : ledger.charging(chargeOf(charges, key), () => {
@@ -8350,7 +8784,7 @@ function reachedFunctions(seeds, options) {
     summaries.push(summary);
   }
   if (options.gapHandling !== "silent") {
-    (0, import_behavioral_ir6.recordParameterGaps)(parameterCallsByKey, summariesByKey, passedPositions);
+    (0, import_behavioral_ir7.recordParameterGaps)(parameterCallsByKey, summariesByKey, passedPositions);
   }
   return {
     summaries,
@@ -8550,15 +8984,15 @@ function passedNameKeys(file, call) {
   if (args === null) {
     return [];
   }
-  return args.namedChildren.flatMap((arg) => {
+  return children(args).flatMap((arg) => {
     const key = passedNameKeyOf(file, arg);
     return key === null ? [] : [key];
   });
 }
 function scanBody(source, ctx, recognized, read, implied) {
   const followed = [];
-  const stops = [];
-  const placements = new import_behavioral_ir6.TargetPlacements();
+  const stops = new import_behavioral_ir7.StopList();
+  const placements = new import_behavioral_ir7.TargetPlacements();
   const parameterCalls = [];
   const passedPositions = /* @__PURE__ */ new Set();
   const seen = /* @__PURE__ */ new Set();
@@ -8574,7 +9008,7 @@ function scanBody(source, ctx, recognized, read, implied) {
     if (args === null) {
       return;
     }
-    args.namedChildren.forEach((arg, position) => {
+    children(args).forEach((arg, position) => {
       const nameKey2 = passedNameKeyOf(file, arg);
       if (nameKey2 === null) {
         return;
@@ -8607,10 +9041,12 @@ function scanBody(source, ctx, recognized, read, implied) {
       outcome.kind === "followed" ? keyOf2(outcome.target) : null
     );
     if (outcome.kind === "stopped") {
-      const stopKey = `${outcome.reason}:${callee}`;
-      if (!seen.has(stopKey) && !recognized.has(call.id) && (0, import_behavioral_ir6.worthRecording)(outcome.reason)) {
-        seen.add(stopKey);
-        stops.push({ callee, reason: outcome.reason });
+      if (!recognized.has(call.id) && (0, import_behavioral_ir7.worthRecording)(outcome.reason)) {
+        stops.add({
+          callee,
+          reason: outcome.reason,
+          ...resultUsedAsValue(call) ? { usedAsValue: true } : {}
+        });
       }
       if (outcome.reason === "callerSupplied" && !parameterCallsSeen.has(callee)) {
         const parameterIndex = ownParameters.indexOf(callee);
@@ -8643,7 +9079,7 @@ function scanBody(source, ctx, recognized, read, implied) {
   }
   return {
     followed,
-    stops,
+    stops: stops.stops,
     targets: placements.targets,
     argTargets: placements.argTargets,
     parameterCalls,
@@ -8652,13 +9088,13 @@ function scanBody(source, ctx, recognized, read, implied) {
 }
 function callsWritten(file, body, outer, owner, limit) {
   const found = [];
-  (0, import_extractor11.walkDescendants)(body, outer, {
+  (0, import_extractor13.walkDescendants)(body, outer, children, {
     at: (child, scope) => {
       if (child.type === "call") {
         found.push({ call: child, site: { file, scope, owner } });
       }
     },
-    into: (child, scope) => limit.descendsInto(child) ? file.module.scopeFor.get(child.id) ?? scope : import_extractor11.SKIP_CHILDREN
+    into: (child, scope) => limit.descendsInto(child) ? file.module.scopeFor.get(child.id) ?? scope : import_extractor13.SKIP_CHILDREN
   });
   return found;
 }
@@ -8678,14 +9114,14 @@ function identifiersUnder(node, found = []) {
     found.push(node.text);
     return found;
   }
-  for (const child of node.namedChildren) {
+  for (const child of children(node)) {
     if (child !== null && child.type !== "attribute" && child.type !== "subscript") {
       identifiersUnder(child, found);
     }
   }
   return found;
 }
-function libraryUnit(target, options, binding = (0, import_behavioral_ir6.functionCallBinding)({
+function libraryUnit(target, options, binding = (0, import_behavioral_ir7.functionCallBinding)({
   transport: "in-process",
   recognition: "reachable"
 })) {
@@ -8779,10 +9215,7 @@ function positionalParameters(node, isMethod2) {
   }
   const out = [];
   let position = 0;
-  for (const param of parameters.namedChildren) {
-    if (param === null) {
-      continue;
-    }
+  for (const param of children(parameters)) {
     const name = parameterName2(param);
     if (name === null) {
       continue;
@@ -8802,10 +9235,7 @@ function callParameterNames(node, isMethod2) {
     return [];
   }
   const names = [];
-  for (const param of parameters.namedChildren) {
-    if (param === null) {
-      continue;
-    }
+  for (const param of children(parameters)) {
     const name = parameterName2(param);
     if (name === null) {
       continue;
@@ -8830,10 +9260,10 @@ function parameterName2(param) {
 
 // src/moduleSurface.ts
 function settlePythonModules(modules) {
-  return (0, import_extractor12.settleModules)(modules, ["__init__.py"]);
+  return (0, import_extractor14.settleModules)(modules, ["__init__.py"]);
 }
 function moduleExportUnits(file, options) {
-  const module2 = (0, import_extractor12.moduleOfFile)(options.modules, file.file);
+  const module2 = (0, import_extractor14.moduleOfFile)(options.modules, file.file);
   if (module2 === void 0) {
     return [];
   }
@@ -8855,8 +9285,8 @@ function moduleExportUnits(file, options) {
             exportPath: [...one.exportPath]
           },
           options,
-          (0, import_behavioral_ir7.moduleExportBinding)({
-            recognition: import_extractor12.MODULE_SURFACE_RECOGNITION,
+          (0, import_behavioral_ir8.moduleExportBinding)({
+            recognition: import_extractor14.MODULE_SURFACE_RECOGNITION,
             module: module2.name,
             exportName
           })
@@ -8902,7 +9332,7 @@ function exportsOf(file, node, exportName) {
   if (node.type !== "class_definition" || body === null) {
     return [];
   }
-  return body.namedChildren.flatMap((child) => {
+  return children(body).flatMap((child) => {
     if (child === null) {
       return [];
     }
@@ -9025,6 +9455,11 @@ function watchRouterIndex(index, db, positions, fileOfModule) {
         found
       );
       return found;
+    },
+    // The wrapper index notes what it reads through the mounts, in terms
+    // it can look up again.
+    mountsAbove(pattern, constructionKey) {
+      return index.mountsAbove(pattern, constructionKey);
     }
   };
 }
@@ -9129,9 +9564,33 @@ function buildRouterIndex(files, packs, resolverOptions) {
         };
       }
       return NOT_ROUTER;
+    },
+    mountsAbove(pattern, constructionKey) {
+      const index = byPattern.get(pattern);
+      return index === void 0 ? null : hopsAbove(index, constructionKey);
     }
   };
 }
+function hopsAbove(index, key) {
+  const hops = [];
+  const seen = /* @__PURE__ */ new Set();
+  let current = key;
+  while (current !== null) {
+    const construction = index.byValueKey.get(current);
+    if (construction === void 0 || seen.has(current)) {
+      return null;
+    }
+    seen.add(current);
+    const states = index.mounts.get(construction) ?? [];
+    const only = states.length === 1 ? states[0] : void 0;
+    if (only?.kind !== "mounted" || only.written === void 0) {
+      return null;
+    }
+    hops.push({ ...only.written, parentKey: only.parentValueKey });
+    current = only.parentValueKey;
+  }
+  return hops;
+}
 function composedPrefixOf(index, construction, routerPath) {
   const ownPrefix = composedOwnPrefix(construction.prefix, index.composition);
   if (ownPrefix.kind === "abstain") {
@@ -9414,8 +9873,8 @@ function constructionStatement(stmt, module2, importModule) {
   if (stmt.type !== "expression_statement") {
     return null;
   }
-  const assignment2 = stmt.namedChildren.find(
-    (child) => child !== null && child.type === "assignment"
+  const assignment2 = children(stmt).find(
+    (child) => child.type === "assignment"
   );
   if (assignment2 === void 0) {
     return null;
@@ -9489,7 +9948,7 @@ function collectReturnedConstructions(bound, importModule, composition, index) {
       if (inner.type !== "return_statement") {
         continue;
       }
-      const returned = inner.namedChildren[0];
+      const returned = inner.namedChild(0);
       if (returned?.type !== "call") {
         continue;
       }
@@ -9669,7 +10128,7 @@ function sequenceElementNames(node) {
     return null;
   }
   const names = [];
-  for (const child of node.namedChildren) {
+  for (const child of children(node)) {
     if (child?.type !== "identifier") {
       return null;
     }
@@ -9882,8 +10341,9 @@ function recordMountStatement(stmt, position, scan) {
     scan.index.facts
   );
   const mounted = args[0] ?? (scan.composition.routerKeyword === void 0 ? void 0 : keywordArgs[scan.composition.routerKeyword]);
+  const recorded = state.kind === "mounted" ? { ...state, written: { call: mountCall.call, file: scan.bound.file } } : state;
   for (const target of mountedConstructions(mounted, position, scan)) {
-    recordMount(scan.index, target, state);
+    recordMount(scan.index, target, recorded);
   }
 }
 function mountStateOf(includerConstructorName, includer, keywordArgs, objectPrefix, composition, site, facts) {
@@ -10324,10 +10784,10 @@ function poetryPackages(pyproject) {
 
 // src/testCases.ts
 var import_node_path4 = __toESM(require("path"), 1);
-var import_behavioral_ir8 = require("@suss/behavioral-ir");
-var import_extractor13 = require("@suss/extractor");
+var import_behavioral_ir9 = require("@suss/behavioral-ir");
+var import_extractor15 = require("@suss/extractor");
 var import_resolution16 = require("@suss/resolution");
-var import_values26 = require("@suss/values");
+var import_values27 = require("@suss/values");
 function pythonTestIndex(packs, context) {
   const patterns = packs.flatMap((pack) => pack.tests ?? []);
   return patterns.length === 0 ? null : new PythonTestIndex(patterns, context);
@@ -10344,7 +10804,7 @@ var PythonTestIndex = class {
   implied = /* @__PURE__ */ new Map();
   /** The tests in one file, when the file is collected and listed. */
   unitsIn(file, options) {
-    return this.testsIn(file).filter((test) => (0, import_extractor13.isListedTestFile)(file.file, test.pattern.files)).map((test) => this.testUnit(file, test, options));
+    return this.testsIn(file).filter((test) => (0, import_extractor15.isListedTestFile)(file.file, test.pattern.files)).map((test) => this.testUnit(file, test, options));
   }
   /** What pytest calls before this function runs, when it is a test or a fixture. */
   impliedCalls(source) {
@@ -10394,7 +10854,7 @@ var PythonTestIndex = class {
       )
     ).flatMap(
       (marker) => positionalArguments(marker).flatMap((arg) => {
-        const name = (0, import_values26.literalOf)(evaluatedValue(arg, this.context.facts));
+        const name = (0, import_values27.literalOf)(evaluatedValue(arg, this.context.facts));
         return name === null ? [] : [name];
       })
     );
@@ -10418,7 +10878,7 @@ var PythonTestIndex = class {
       ...raw,
       identity: {
         ...raw.identity,
-        name: (0, import_behavioral_ir8.testUnitName)(test.titles),
+        name: (0, import_behavioral_ir9.testUnitName)(test.titles),
         nameKind: "label",
         kind: "test",
         exportName: null,
@@ -10430,7 +10890,7 @@ var PythonTestIndex = class {
   }
   patternFor(file) {
     return this.patterns.find(
-      (pattern) => (0, import_extractor13.matchesTestFileName)(file.file, pattern.filePatterns)
+      (pattern) => (0, import_extractor15.matchesTestFileName)(file.file, pattern.filePatterns)
     ) ?? null;
   }
   testsIn(file) {
@@ -10808,11 +11268,11 @@ var PythonTestIndex = class {
       return null;
     }
     const written = oneLine(call.text);
-    const target = (0, import_values26.literalOf)(evaluatedValue(first, this.context.facts));
+    const target = (0, import_values27.literalOf)(evaluatedValue(first, this.context.facts));
     if (target !== null) {
       return { ...this.dottedTarget(target), written };
     }
-    const member = second === void 0 ? null : (0, import_values26.literalOf)(evaluatedValue(second, this.context.facts));
+    const member = second === void 0 ? null : (0, import_values27.literalOf)(evaluatedValue(second, this.context.facts));
     if (member === null) {
       return null;
     }
@@ -10950,8 +11410,8 @@ function fixtureDeclaration(definition, file, pattern, facts) {
   const renamed = keywordArgument(decorator, pattern.fixtureNameKeyword);
   const autouse = keywordArgument(decorator, pattern.autouseKeyword);
   return {
-    name: (renamed === null ? null : (0, import_values26.literalOf)(evaluatedValue(renamed, facts))) ?? defName,
-    autouse: autouse !== null && (0, import_values26.constantOf)(evaluatedValue(autouse, facts)) === true
+    name: (renamed === null ? null : (0, import_values27.literalOf)(evaluatedValue(renamed, facts))) ?? defName,
+    autouse: autouse !== null && (0, import_values27.constantOf)(evaluatedValue(autouse, facts)) === true
   };
 }
 function keywordArgument(call, name) {
@@ -10983,18 +11443,20 @@ function oneLine(text2) {
 }
 
 // src/version.ts
-var import_extractor14 = require("@suss/extractor");
+var import_extractor16 = require("@suss/extractor");
 var ADAPTER_VERSION = "0.1.0";
-var adapterStamp = (0, import_extractor14.createAdapterStamp)({
+var adapterStamp = (0, import_extractor16.createAdapterStamp)({
   moduleUrl: importMetaUrl,
   version: ADAPTER_VERSION
 });
 
 // src/wrappers.ts
-var import_extractor15 = require("@suss/extractor");
+var import_extractor17 = require("@suss/extractor");
 var import_resolution17 = require("@suss/resolution");
 var EVERY_ROUTE = "wrapEvery ";
 var OWN_ROUTES = "wrapOwn ";
+var MOUNTED = "wrapMounted ";
+var MOUNTED_SEPARATOR = "\0";
 function describeRegistered(found) {
   return (found ?? []).map(
     ({ reference }) => `${reference.file}:${reference.name}:${reference.onThrow === true}`
@@ -11032,6 +11494,10 @@ var PythonWrapperIndex = class {
   /** By construction key: what a router or a blueprint registered. */
   ownRoutes = /* @__PURE__ */ new Map();
   unitsByKey = /* @__PURE__ */ new Map();
+  /** By pack name: the app constructions its routes run under. */
+  appCalls = /* @__PURE__ */ new Map();
+  /** By wrapper reference: the parameters a dependency function declares, and its file. */
+  dependencyParameterTable = /* @__PURE__ */ new Map();
   unitsByFile = /* @__PURE__ */ new Map();
   /** Told about every registration, so a cache can repeat the ones a file's discovery made. */
   onRegistered = null;
@@ -11050,6 +11516,12 @@ var PythonWrapperIndex = class {
         this.ownRoutes.get(id.slice(OWN_ROUTES.length))
       );
     }
+    if (id.startsWith(MOUNTED)) {
+      const [packName, position, key] = id.slice(MOUNTED.length).split(MOUNTED_SEPARATOR);
+      const pack = this.options.packs.find((one) => one.name === packName);
+      const pattern = pack?.discovery[Number(position)];
+      return pack === void 0 || pattern === void 0 || key === void 0 ? describeRegistered([]) : describeRegistered(this.registeredAbove(pack, pattern, key));
+    }
     return null;
   }
   noted(kind, key, found) {
@@ -11091,14 +11563,46 @@ var PythonWrapperIndex = class {
       inFile.push(unit);
       this.unitsByFile.set(target.file.file, inFile);
     }
-    return {
-      reference: {
-        file: target.file.displayPath,
-        name: target.name,
-        ...isThrowForm(declared.form) ? { onThrow: true } : {}
-      },
-      form: declared.form
+    const reference = {
+      file: target.file.displayPath,
+      name: target.name,
+      ...isThrowForm(declared.form) ? { onThrow: true } : {}
     };
+    if (declared.form.type === "dependency") {
+      this.dependencyParameterTable.set(referenceKey(reference), {
+        file: target.file.file,
+        names: parameterNamesOf(target.node),
+        declaresSource: declaresSourcedParameter(
+          target.node,
+          Object.keys(declared.pattern.parameterSources ?? {})
+        )
+      });
+    }
+    return { reference, form: declared.form };
+  }
+  /**
+   * The parameters the dependencies among these wrappers declare, and
+   * whether one is declared through a parameter source such as `Query()`.
+   * The library fills those from the request and validates them, the same
+   * as parameters the route declares.
+   */
+  dependencyParameters(references) {
+    const names = /* @__PURE__ */ new Set();
+    let declaresSource = false;
+    for (const reference of references) {
+      const found = this.dependencyParameterTable.get(referenceKey(reference));
+      if (found === void 0) {
+        continue;
+      }
+      if (this.options.facts !== void 0) {
+        (0, import_resolution17.noteKeyRead)(this.options.facts, found.file);
+      }
+      for (const name of found.names) {
+        names.add(name);
+      }
+      declaresSource ||= found.declaresSource;
+    }
+    return { names, declaresSource };
   }
   wrappersFor(query) {
     const file = this.filesByPath.get(query.file);
@@ -11110,13 +11614,15 @@ var PythonWrapperIndex = class {
     if (file === void 0 || forms.length === 0) {
       return [];
     }
+    const own = this.ownRoutesOf(query);
     const found = [
       ...this.noted(
         EVERY_ROUTE,
         query.pack.name,
         this.everyRoute.get(query.pack.name)
       ),
-      ...this.ownRoutesOf(query)
+      ...own === null ? [] : this.mountedAbove(query, own.key),
+      ...own?.registered ?? []
     ];
     for (const declared of forms) {
       if (declared.form.type !== "dependency") {
@@ -11147,11 +11653,65 @@ var PythonWrapperIndex = class {
     }
     return ordered;
   }
+  /**
+   * What the mounts above the route's router register on the way down:
+   * the dependencies an `include_router` call lists, and those of each
+   * router it is mounted onto, outermost first, the order they run in.
+   */
+  mountedAbove(query, key) {
+    const position = query.pack.discovery.indexOf(query.pattern);
+    return [
+      ...this.noted(
+        MOUNTED,
+        [query.pack.name, position, key].join(MOUNTED_SEPARATOR),
+        this.registeredAbove(query.pack, query.pattern, key)
+      )
+    ];
+  }
+  registeredAbove(pack, pattern, key) {
+    const hops = this.options.routers?.mountsAbove(pattern, key) ?? null;
+    if (hops === null) {
+      return [];
+    }
+    const forms = (pattern.wrappers ?? []).flatMap(
+      (form) => form.type === "dependency" ? [{ pack, pattern, form }] : []
+    );
+    const found = [];
+    for (const hop of [...hops].reverse()) {
+      found.push(
+        ...hop.parentKey === null ? [] : this.ownRoutes.get(hop.parentKey) ?? []
+      );
+      const { keywordArgs } = readCallArguments(field(hop.call, "arguments"));
+      for (const declared of forms) {
+        const listed = keywordArgs[declared.form.keyword];
+        const names = listed === void 0 ? [] : dependencyNamesIn(listed.node, declared.form);
+        for (const name of names) {
+          const target = this.functionCalled(hop.file, name);
+          if (target !== null) {
+            found.push(this.registered(target, declared));
+          }
+        }
+      }
+    }
+    return found;
+  }
   ownRoutesOf(query) {
+    const match = this.ownRouterOf(query);
+    return match === null ? null : {
+      key: match.key,
+      registered: this.noted(
+        OWN_ROUTES,
+        match.key,
+        this.ownRoutes.get(match.key)
+      )
+    };
+  }
+  /** The construction call of the router a route is decorated on, when a registrar reads it. */
+  ownRouterOf(query) {
     const site = this.objectSiteOf(query);
     const bound = site === null ? void 0 : this.filesByPath.get(site.file);
     if (site === null || bound === void 0) {
-      return [];
+      return null;
     }
     if (this.options.facts !== void 0) {
       (0, import_resolution17.noteKeyRead)(this.options.facts, site.file);
@@ -11165,12 +11725,46 @@ var PythonWrapperIndex = class {
         { pack: query.pack, pattern: query.pattern, form }
       );
       if (match !== null && match.registrar.covers === "ownRoutes") {
-        return [
-          ...this.noted(OWN_ROUTES, match.key, this.ownRoutes.get(match.key))
-        ];
+        return match;
       }
     }
-    return [];
+    return null;
+  }
+  /** Records the app a pack's routes run under, for the keywords written on its construction. */
+  recordApp(pack, call, file) {
+    const calls = this.appCalls.get(pack) ?? [];
+    if (!calls.some((one) => one.call === call)) {
+      calls.push({ call, file });
+    }
+    this.appCalls.set(pack, calls);
+  }
+  /**
+   * Every call that registers something for a route on the way to it:
+   * the app's construction, the mount calls and the routers they mount
+   * onto, and the route's own router. A caller reads a keyword off each.
+   */
+  callsAbove(query) {
+    const own = this.ownRouterOf(query);
+    const hops = own === null ? [] : this.options.routers?.mountsAbove(query.pattern, own.key) ?? [];
+    const parents = hops.flatMap((hop) => {
+      const node = hop.parentKey === null ? null : nodeOfResolutionKey(hop.parentKey, this.options.facts);
+      return node === null ? [] : [node];
+    });
+    const files = [
+      ...(this.appCalls.get(query.pack.name) ?? []).map((one) => one.file),
+      ...hops.map((hop) => hop.file)
+    ];
+    if (this.options.facts !== void 0) {
+      for (const file of files) {
+        (0, import_resolution17.noteKeyRead)(this.options.facts, file);
+      }
+    }
+    return [
+      ...(this.appCalls.get(query.pack.name) ?? []).map((one) => one.call),
+      ...hops.map((hop) => hop.call),
+      ...parents,
+      ...own === null ? [] : [own.call]
+    ];
   }
   /**
    * Where the decorator's object was built: the route's own file, the file
@@ -11215,6 +11809,23 @@ var PythonWrapperIndex = class {
     return this.unitsByFile.get(file) ?? [];
   }
 };
+function referenceKey(reference) {
+  return `${reference.file}::${reference.name}`;
+}
+function parameterNamesOf(definition) {
+  return children(field(definition, "parameters")).flatMap((parameter) => {
+    const named = parameterNameAndType(parameter);
+    return named === null ? [] : [named.name];
+  });
+}
+function declaresSourcedParameter(definition, sources) {
+  return children(field(definition, "parameters")).some((parameter) => {
+    const value = field(parameter, "value");
+    const callee = value?.type === "call" ? field(value, "function") : null;
+    const name = callee?.type === "attribute" ? field(callee, "attribute")?.text : callee?.text;
+    return name !== void 0 && sources.includes(name);
+  });
+}
 function isThrowForm(form) {
   return form.type === "decoratedWrapper" && form.throwParam !== void 0;
 }
@@ -11261,8 +11872,8 @@ function registerFrom(file, declared, index) {
 }
 function registerConstructorDependencies(file, declared, form, index) {
   const scope = file.module.moduleScope;
-  for (const stmt of file.root.namedChildren) {
-    const assignment2 = stmt?.type === "expression_statement" ? stmt.namedChildren.find((child) => child?.type === "assignment") : void 0;
+  for (const stmt of children(file.root)) {
+    const assignment2 = stmt?.type === "expression_statement" ? children(stmt).find((child) => child?.type === "assignment") : void 0;
     const left = assignment2 === void 0 || assignment2 === null ? null : field(assignment2, "left");
     if (left?.type !== "identifier") {
       continue;
@@ -11277,6 +11888,9 @@ function registerConstructorDependencies(file, declared, form, index) {
     if (match === null) {
       continue;
     }
+    if (match.registrar.covers === "everyRoute") {
+      index.recordApp(declared.pack.name, match.call, file.file);
+    }
     const { keywordArgs } = readCallArguments(field(match.call, "arguments"));
     const listed = keywordArgs[form.keyword];
     if (listed === void 0) {
@@ -11294,7 +11908,7 @@ function coverageOf(match, pack) {
   return match.registrar.covers === "everyRoute" ? { kind: "everyRoute", pack: pack.name } : { kind: "ownRoutes", key: match.key };
 }
 function registerDecorated(file, declared, form, index) {
-  (0, import_extractor15.walkDescendants)(file.root, file.module.moduleScope, {
+  (0, import_extractor17.walkDescendants)(file.root, file.module.moduleScope, children, {
     at: (node, scope) => {
       if (node.type !== "decorated_definition") {
         return;
@@ -11330,7 +11944,7 @@ function registerDecorated(file, declared, form, index) {
   });
 }
 function dependencyNamesIn(node, form) {
-  const calls = node.type === "list" ? node.namedChildren : [node];
+  const calls = node.type === "list" ? children(node) : [node];
   const names = [];
   for (const call of calls) {
     const name = call === null ? null : dependencyNameOf(call, form);
@@ -11349,7 +11963,7 @@ function dependencyNameOf(node, form) {
   if (calleeName3 === null || !form.callees.includes(calleeName3)) {
     return null;
   }
-  const first = field(node, "arguments")?.namedChildren[0];
+  const first = field(node, "arguments")?.namedChild(0);
   return first?.type === "identifier" ? first.text : null;
 }
 function decoratorDependencies(classification, form) {
@@ -11367,7 +11981,7 @@ function parameterDependencies(definitionNode, form) {
     if (direct !== null) {
       return direct;
     }
-    for (const child of node.namedChildren) {
+    for (const child of children(node)) {
       const found = findIn(child, depth + 1);
       if (found !== null) {
         return found;
@@ -11375,10 +11989,7 @@ function parameterDependencies(definitionNode, form) {
     }
     return null;
   };
-  for (const param of field(definitionNode, "parameters")?.namedChildren ?? []) {
-    if (param === null) {
-      continue;
-    }
+  for (const param of children(field(definitionNode, "parameters"))) {
     const inDefault = field(param, "value");
     const found = inDefault === null ? findIn(field(param, "type"), 0) : dependencyNameOf(inDefault, form);
     if (found !== null) {
@@ -11394,7 +12005,8 @@ function wrapperUnit(target, declared, options) {
   const raised = raisedResponses(body, {
     calls: declared.pattern.responseStatusCalls ?? [],
     module: file.module,
-    facts: options.facts
+    facts: options.facts,
+    constants: declared.pattern.statusCodeConstants ?? {}
   });
   const continuations = continuationStatements(node, declared.form);
   const terminals = bodyTerminals(body, raised, continuations);
@@ -11422,9 +12034,9 @@ function wrapperUnit(target, declared, options) {
   });
   const respond = (statement) => returnBranch(statement, {
     pattern: declared.pattern,
-    responseShape: { reading: import_extractor15.absentReading },
+    responseShape: { reading: import_extractor17.absentReading },
     declaredStatus: {
-      reading: import_extractor15.absentReading,
+      reading: import_extractor17.absentReading,
       ...declared.pattern.defaultStatusCode !== void 0 ? { libraryDefault: declared.pattern.defaultStatusCode } : {}
     },
     module: file.module,
@@ -11478,7 +12090,7 @@ function returnHandsOn(statement, form) {
     return false;
   }
   if (form.returnedValueResponds === true) {
-    const returned = statement.namedChildren[0];
+    const returned = statement.namedChild(0);
     return returned === void 0 || returned === null || returned.type === "none";
   }
   return true;
@@ -11487,9 +12099,7 @@ function continuationStatements(node, form) {
   if (form.type !== "decoratedWrapper" || form.continuationParam === void 0) {
     return [];
   }
-  const params = (field(node, "parameters")?.namedChildren ?? []).filter(
-    (param2) => param2 !== null
-  );
+  const params = children(field(node, "parameters"));
   const param = params[form.continuationParam];
   const continuation = param === void 0 ? null : field(param, "name")?.text ?? (param.type === "identifier" ? param.text : null);
   if (continuation === null) {
@@ -11512,7 +12122,7 @@ function continuationStatements(node, form) {
 
 // src/project.ts
 function keptPythonParses() {
-  return new import_extractor16.KeptParses(({ root }) => root.tree.delete());
+  return new import_extractor18.KeptParses(({ root }) => root.tree.delete());
 }
 async function parsePythonAhead(files, kept) {
   for (const file of files) {
@@ -11601,16 +12211,16 @@ function factsForFile(options) {
 }
 async function extractPythonProject(options) {
   const { roots, unreadManifests } = rootsOfRun(options);
-  const timer = options.onTiming !== void 0 ? (0, import_extractor16.createTimer)() : (0, import_extractor16.noopTimer)();
+  const timer = options.onTiming !== void 0 ? (0, import_extractor18.createTimer)() : (0, import_extractor18.noopTimer)();
   const cacheDir = adapterStamp.declineWhenRunFromSource(
     options.cacheDir === null ? null : options.cacheDir ?? (options.projectRoot !== void 0 ? import_node_path5.default.join(options.projectRoot, ".suss", "cache") : null)
   );
-  const layer = (0, import_extractor16.createCacheLayer)(cacheDir);
+  const layer = (0, import_extractor18.createCacheLayer)(cacheDir);
   const packsDigest = `${adapterStamp.packsDigest(
     options.packs.map(
       (pack) => pack.version !== void 0 ? { name: pack.name, version: pack.version } : { name: pack.name }
     )
-  )}|${(0, import_extractor16.extractionConfigStamp)({
+  )}|${(0, import_extractor18.extractionConfigStamp)({
     gapHandling: options.gapHandling,
     workspaceRoot: options.workspaceRoot,
     projectRoot: options.projectRoot,
@@ -11620,7 +12230,7 @@ async function extractPythonProject(options) {
   })}`;
   const input = {
     files: cacheDir === null ? [] : options.files,
-    adapterPacksDigest: cacheDir === null ? packsDigest : (0, import_extractor16.runDigest)(packsDigest, options.packs, options.files)
+    adapterPacksDigest: cacheDir === null ? packsDigest : (0, import_extractor18.runDigest)(packsDigest, options.packs, options.files)
   };
   const lookup = await timer.timeAsync(
     "cache.lookup",
@@ -11682,7 +12292,7 @@ async function runPython(options, roots, cache, previous) {
   const db = new import_datalog2.Database();
   const summaries = [];
   const gapHandling = options.gapHandling ?? "permissive";
-  const tallies = (0, import_extractor8.createPackTallies)(options.packs);
+  const tallies = (0, import_extractor10.createPackTallies)(options.packs);
   const ledger = cacheDir === null ? null : new import_resolution18.DependencyLedger(options.files);
   const log = ledger === null ? null : new import_resolution18.FactLog(db, ledger);
   if (ledger !== null) {
@@ -11790,7 +12400,8 @@ async function runPython(options, roots, cache, previous) {
       roots,
       facts: needsValues ? db : void 0,
       definitions,
-      storageFor
+      storageFor,
+      routers: plainRouterIndex
     })
   );
   const importedDefinition2 = importedDefinitionLookup(db, bound);
@@ -11937,11 +12548,11 @@ async function runPython(options, roots, cache, previous) {
   const assemble = (raw, boundFile) => {
     const summary = timer.time(
       "summarize",
-      () => (0, import_extractor16.assembleSummary)(raw, { gapHandling })
+      () => (0, import_extractor18.assembleSummary)(raw, { gapHandling })
     );
     summaries.push(summary);
     assembledHere.add(summary);
-    (0, import_extractor8.tallyUnit)(tallies, raw.boundaryBinding?.recognition);
+    (0, import_extractor10.tallyUnit)(tallies, raw.boundaryBinding?.recognition);
     const span = raw.identity.span;
     const key = span === void 0 ? null : `${boundFile.file}:${span.start}-${span.end}`;
     if (key !== null) {
@@ -11958,7 +12569,7 @@ async function runPython(options, roots, cache, previous) {
         const summary = structuredClone(unit.summary);
         summariesReused += 1;
         summaries.push(summary);
-        (0, import_extractor8.tallyUnit)(tallies, unit.recognition);
+        (0, import_extractor10.tallyUnit)(tallies, unit.recognition);
         if (unit.seedKey !== void 0) {
           seedFrom(unit.seedKey, boundFile, summary);
         }
@@ -12016,12 +12627,12 @@ async function runPython(options, roots, cache, previous) {
   const placeWhatItReached = (summary, key) => {
     if (gapHandling !== "silent") {
       summary.gaps.push(
-        ...(reached.stopsByKey.get(key) ?? []).map(import_behavioral_ir9.unfollowedCallGap)
+        ...(reached.stopsByKey.get(key) ?? []).map(import_behavioral_ir10.unfollowedCallGap)
       );
     }
-    (0, import_behavioral_ir9.placeCalls)(summary, reached.targetsByKey.get(key));
-    (0, import_behavioral_ir9.placeArgTargets)(summary, reached.argTargetsByKey.get(key));
-    (0, import_behavioral_ir9.placeCalleeParameters)(summary, reached.parameterCallsByKey.get(key));
+    (0, import_behavioral_ir10.placeCalls)(summary, reached.targetsByKey.get(key));
+    (0, import_behavioral_ir10.placeArgTargets)(summary, reached.argTargetsByKey.get(key));
+    (0, import_behavioral_ir10.placeCalleeParameters)(summary, reached.parameterCallsByKey.get(key));
   };
   for (const [key, owners] of summariesBySeed) {
     for (const summary of owners) {
@@ -12038,7 +12649,7 @@ async function runPython(options, roots, cache, previous) {
     }
   }
   if (gapHandling !== "silent") {
-    (0, import_behavioral_ir9.recordParameterGaps)(
+    (0, import_behavioral_ir10.recordParameterGaps)(
       reached.parameterCallsByKey,
       summariesBySeed,
       reached.passedPositions
@@ -12062,8 +12673,8 @@ async function runPython(options, roots, cache, previous) {
     }
     const summary = timer.time(
       "summarize",
-      () => (0, import_extractor16.assembleSummary)(
-        (0, import_extractor16.moduleInitStructure)({
+      () => (0, import_extractor18.assembleSummary)(
+        (0, import_extractor18.moduleInitStructure)({
           name: import_node_path5.default.basename(displayPath),
           file: displayPath,
           range: rangeOf(boundFile.root),
@@ -12072,7 +12683,7 @@ async function runPython(options, roots, cache, previous) {
             ...charged(
               boundFile.file,
               () => moduleLoadInvocationEffects(boundFile.root, db)
-            ).map(import_extractor16.effectToIR)
+            ).map(import_extractor18.effectToIR)
           ]
         }),
         { gapHandling }
@@ -12092,23 +12703,23 @@ async function runPython(options, roots, cache, previous) {
     throw new ReplayFailed("");
   }
   const resolvedImports = (0, import_resolution18.importedFilesByFile)(db, displayPathOf);
-  (0, import_extractor16.stampModuleImports)(summaries, (file) => resolvedImports.get(file) ?? []);
-  (0, import_extractor16.stampModules)(summaries, declaredModules, options.workspaceRoot);
+  (0, import_extractor18.stampModuleImports)(summaries, (file) => resolvedImports.get(file) ?? []);
+  (0, import_extractor18.stampModules)(summaries, declaredModules, options.workspaceRoot);
   const idRoot = options.projectRoot ?? options.workspaceRoot;
   for (const summary of summaries) {
     const absoluteFile = options.workspaceRoot === void 0 ? summary.location.file : import_node_path5.default.resolve(options.workspaceRoot, summary.location.file);
-    summary.identity.id = (0, import_behavioral_ir9.summaryIdFromParts)({
+    summary.identity.id = (0, import_behavioral_ir10.summaryIdFromParts)({
       workspace: void 0,
       file: idRoot === void 0 ? absoluteFile : import_node_path5.default.relative(idRoot, absoluteFile),
       name: summary.identity.name,
       exportPath: summary.identity.exportPath
     });
   }
-  (0, import_behavioral_ir9.disambiguateSummaryIds)(summaries);
-  (0, import_behavioral_ir9.linkCallsToSummaries)(summaries);
+  (0, import_behavioral_ir10.disambiguateSummaryIds)(summaries);
+  (0, import_behavioral_ir10.linkCallsToSummaries)(summaries);
   const composed = timer.time("summarize", () => {
     markExitCodeFunctions(summaries, exits, db, options.workspaceRoot);
-    return (0, import_extractor16.composeWrappers)(summaries, { gapHandling });
+    return (0, import_extractor18.composeWrappers)(summaries, { gapHandling });
   });
   await timer.timeAsync("cache.write", async () => {
     if (cacheDir === null || composed.length === 0) {
@@ -12233,7 +12844,7 @@ function indexDefinitions(into, file, node) {
   if (isFunction(node)) {
     into.set(nodeId(file, node), node);
   }
-  for (const child of node.namedChildren) {
+  for (const child of children(node)) {
     if (child !== null) {
       indexDefinitions(into, file, child);
     }
@@ -12499,7 +13110,7 @@ function importSitesIn(root) {
         found.push({ module: entry.module, name: entry.name, line });
       }
     }
-    for (const child of node.namedChildren) {
+    for (const child of children(node)) {
       if (child !== null) {
         visit(child);
       }