@suss/adapter-python 0.34.0 → 0.34.1

package/dist/index.js

@@ -82,10 +82,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;
@@ -97,7 +94,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);
@@ -129,11 +148,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 IdSet {
 };
 var NodeMap = class extends IdMap {
@@ -195,7 +262,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;
     }
@@ -224,12 +291,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);
   }
 }
@@ -270,10 +337,7 @@ function bindImportStatement(stmt, scope) {
 function relativeImportParts(node) {
   let relativeLevel = 0;
   let module = "";
-  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;
@@ -290,8 +354,8 @@ function bindImportFromStatement(stmt, scope, ctx) {
     return;
   }
   const { module, 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(
@@ -349,10 +413,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" });
@@ -369,9 +430,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")) {
@@ -398,8 +457,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;
@@ -416,15 +475,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" });
     }
   }
@@ -573,18 +632,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) {
@@ -592,6 +642,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 };
@@ -618,8 +685,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(
@@ -628,7 +696,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);
@@ -645,12 +713,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);
@@ -702,22 +768,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;
@@ -727,6 +815,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 };
@@ -743,8 +834,10 @@ import { nodeOfKey, noteKeyRead } from "@suss/resolution";
 import { Evaluator, force, literalOf as literalOf2 } from "@suss/values";
 
 // src/facts/resolve.ts
+import { isTestFile } from "@suss/behavioral-ir";
 import {
   allocationSitesOf,
+  answersFromTestsLeftOut,
   askResolution,
   askResolutionUnder,
   askSources,
@@ -802,7 +895,13 @@ function constructionSites(db, classKey) {
 }
 function writtenValueOf(db, key) {
   resolveWritten(db, [key]);
-  return sharedWrittenValueOf(db, key, (keys) => resolveWritten(db, keys));
+  return sharedWrittenValueOf(
+    db,
+    key,
+    (keys) => resolveWritten(db, keys),
+    void 0,
+    answersFromTestsLeftOut(key, isTestFile)
+  );
 }
 function writtenValuesOf(db, key) {
   resolveWritten(db, [key]);
@@ -1430,10 +1529,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);
@@ -1505,7 +1604,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;
@@ -2543,9 +2642,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" };
@@ -2639,6 +2736,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: [
@@ -2727,6 +2825,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";
 }
@@ -3139,6 +3250,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;
@@ -3361,7 +3476,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" };
@@ -3372,10 +3487,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");
@@ -3501,10 +3613,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]
@@ -3527,8 +3639,14 @@ import {
 import { constantOf as constantOf5, literalOf as literalOf6, pathOf as pathOf2 } from "@suss/values";
 
 // src/clientCalls.ts
-import { hasNameHole, restBinding } from "@suss/behavioral-ir";
-import { pathOf } from "@suss/values";
+import {
+  hasNameHole,
+  restBinding,
+  statusMembersOf,
+  testsStatus
+} from "@suss/behavioral-ir";
+import { redirectDeliveryWhenSet } from "@suss/extractor";
+import { hostOf, pathOf, scalarOf } from "@suss/values";
 
 // src/paths/bodyBranches.ts
 import { enumerateOrDegrade as enumerateOrDegrade2, guardsHoldOn } from "@suss/extractor";
@@ -3549,7 +3667,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);
@@ -3601,7 +3719,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) {
@@ -3630,14 +3748,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) {
@@ -3652,11 +3770,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)
     );
   }
@@ -3682,7 +3800,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;
       }
@@ -3710,12 +3828,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
@@ -3764,7 +3880,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 {
@@ -3776,10 +3892,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 {
@@ -3795,7 +3911,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 {
@@ -3876,7 +3992,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;
     }
@@ -3888,7 +4004,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;
     }
@@ -3928,7 +4044,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
   );
 }
@@ -3939,6 +4055,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 [];
@@ -3946,14 +4065,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);
     }
@@ -4027,11 +4150,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 } : {}
+      }
     };
   });
 }
@@ -4066,7 +4192,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;
   }
@@ -4262,7 +4388,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;
@@ -4626,7 +4752,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 [];
@@ -4999,10 +5125,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;
     }
@@ -5059,7 +5182,8 @@ function enumerateBodyBranches(options) {
   const enumerated = enumerateOrDegrade2(
     {
       statements: lowered.statements,
-      terminalsByStmt: lowered.terminalsByStmt
+      terminalsByStmt: lowered.terminalsByStmt,
+      ...options.keepsArms === void 0 ? {} : { keepsArms: options.keepsArms }
     },
     statements
   );
@@ -5096,6 +5220,236 @@ function enumerateBodyBranches(options) {
   return branches;
 }
 
+// src/paths/raisedResponses.ts
+import { constantOf as constantOf4 } from "@suss/values";
+function statusNumberOf(node, options) {
+  const value = constantOf4(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
+import { helperPathsOnVariables, splitAtHandOffs } from "@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) => 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 : 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, module, pack, pattern, options) {
   const units = [];
@@ -5155,7 +5509,7 @@ function requestCalls(call, pattern, module, 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);
     }
@@ -5166,16 +5520,33 @@ function requestCalls(call, pattern, module, 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 = scalarOf(evaluatedValue(argument, options.facts, site));
+  return value === null ? void 0 : 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) {
@@ -5190,14 +5561,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, module, facts) {
   const origin = originOf(callee, module);
@@ -5230,7 +5606,9 @@ function urlAt(call, position, keyword, options, site) {
   if (argument === null) {
     return null;
   }
-  return pathOf(evaluatedValue(argument, options.facts, site)) ?? null;
+  const value = evaluatedValue(argument, options.facts, site);
+  const path8 = pathOf(value);
+  return path8 === void 0 ? null : { path: path8, host: hostOf(value) };
 }
 function argumentAt(call, position, keyword) {
   const args = field(call, "arguments");
@@ -5248,25 +5626,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) => 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 {
@@ -5302,11 +5688,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 = 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,
@@ -5322,11 +5721,13 @@ function clientUnit(definition, name, request, pattern, pack, options) {
       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
@@ -5549,7 +5950,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;
 }
@@ -5572,7 +5973,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") {
@@ -5610,7 +6011,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)
@@ -5654,7 +6055,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) {
@@ -5698,7 +6099,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);
@@ -5738,7 +6139,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;
@@ -5761,7 +6162,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) {
@@ -5819,7 +6220,7 @@ function envReadEffects(root, module, facts) {
   const slots = [];
   const readsHelpers = facts !== void 0 && sitesByDb.has(facts);
   const startScope = module.scopeFor.get(root.id) ?? module.moduleScope;
-  walkDescendants(root, startScope, {
+  walkDescendants(root, startScope, children, {
     at: (node, scope) => {
       const syntax = envReadSyntaxAt(node, scope);
       if (syntax !== null) {
@@ -5878,7 +6279,7 @@ function hasFallback(node, spelling, scope) {
 }
 function envFactsIn(filePath, root, module) {
   const found = { sites: [], objects: [] };
-  walkDescendants(root, module.moduleScope, {
+  walkDescendants(root, module.moduleScope, children, {
     at: (node, scope) => {
       if (isEnviron(node, scope) && handsOnward(node)) {
         found.objects.push(keyOf(filePath, node));
@@ -6033,198 +6434,67 @@ function helperReadsByCall(calls, db) {
       found.set(call.id, reads);
     }
   }
-  return found;
-}
-function argumentsByParameter(db, call, calleeKey2) {
-  const written = callArguments(call);
-  if (written.length === 0) {
-    return /* @__PURE__ */ new Map();
-  }
-  const positional = /* @__PURE__ */ new Map();
-  const byName = /* @__PURE__ */ new Map();
-  for (const argument of written) {
-    if (argument.kind === "keyword") {
-      byName.set(argument.name, argument.node);
-      continue;
-    }
-    positional.set(String(argument.position), argument.node);
-  }
-  const argumentAt2 = /* @__PURE__ */ new Map();
-  for (const callee of resolvedFunctions(db, calleeKey2)) {
-    for (const row of db.lookup("paramOf", 0, callee)) {
-      const at = positional.get(String(row[1]));
-      if (at !== void 0) {
-        argumentAt2.set(String(row[2]), at);
-      }
-    }
-    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);
-    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
-import { constantOf as constantOf4 } from "@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 = constantOf4(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;
+  return found;
+}
+function argumentsByParameter(db, call, calleeKey2) {
+  const written = callArguments(call);
+  if (written.length === 0) {
+    return /* @__PURE__ */ new Map();
   }
-  const positional = args.filter((arg) => arg.type !== "keyword_argument");
-  return positional[declared.statusArgument] ?? null;
+  const positional = /* @__PURE__ */ new Map();
+  const byName = /* @__PURE__ */ new Map();
+  for (const argument of written) {
+    if (argument.kind === "keyword") {
+      byName.set(argument.name, argument.node);
+      continue;
+    }
+    positional.set(String(argument.position), argument.node);
+  }
+  const argumentAt2 = /* @__PURE__ */ new Map();
+  for (const callee of resolvedFunctions(db, calleeKey2)) {
+    for (const row of db.lookup("paramOf", 0, callee)) {
+      const at = positional.get(String(row[1]));
+      if (at !== void 0) {
+        argumentAt2.set(String(row[2]), at);
+      }
+    }
+    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 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);
+    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
@@ -6286,7 +6556,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;
   }
@@ -6332,7 +6602,7 @@ var DEFERRED_BODY_TYPES2 = /* @__PURE__ */ new Set(["function_definition", "lamb
 function streamWriteEffects(root, module) {
   const found = [];
   const startScope = module.scopeFor.get(root.id) ?? module.moduleScope;
-  walkDescendants2(root, startScope, {
+  walkDescendants2(root, startScope, children, {
     at: (node, scope) => {
       if (node.type !== "call") {
         return;
@@ -6419,7 +6689,7 @@ function jsonDumped(node, scope) {
 // src/discovery.ts
 function decoratedNodes(root) {
   const found = [];
-  walkDescendants3(root, null, {
+  walkDescendants3(root, null, children, {
     at: (node) => {
       if (node.type !== "decorated_definition") {
         return;
@@ -6802,7 +7072,7 @@ function readRouterPrefix(pattern, classification, module, options, range) {
   }
   return absentReading;
 }
-function readStatusCode(pattern, classification) {
+function readStatusCode(pattern, classification, options) {
   if (pattern.statusCodeKeyword === void 0) {
     return absentReading;
   }
@@ -6810,11 +7080,15 @@ function readStatusCode(pattern, classification) {
   if (arg === void 0) {
     return absentReading;
   }
-  if (arg.kind === "number") {
-    return writtenReading(arg.value, classification.range);
+  const status = statusNumberOf(arg.node, {
+    ...options,
+    constants: pattern.statusCodeConstants ?? {}
+  });
+  if (status !== null) {
+    return writtenReading(status, classification.range);
   }
   return unreadableReading(
-    "The status this route's decorator states is not a literal number, so the response claims no status",
+    "The status this route's decorator states does not come to a number here, so the response claims no status",
     classification.range
   );
 }
@@ -6835,11 +7109,14 @@ 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) {
@@ -6859,6 +7136,22 @@ function returnStatusReading(statement, ctx) {
 function returnBranch(statement, ctx) {
   const range = rangeOf(statement);
   const writtenBody = returnedBodyShape(statement);
+  return responseBranchAt(
+    range,
+    returnStatusReading(statement, ctx),
+    writtenBody === null ? ctx.responseShape.reading : writtenReading(writtenBody, range),
+    ctx
+  );
+}
+function fallthroughBranch(definitionNode, ctx) {
+  return responseBranchAt(
+    rangeOf(definitionNode),
+    ctx.pattern.statusFromReturnedTuple === true ? absentReading : ctx.declaredStatus.reading,
+    ctx.responseShape.reading,
+    ctx
+  );
+}
+function responseBranchAt(range, status, body, ctx) {
   return {
     terminal: {
       kind: "response",
@@ -6875,12 +7168,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 : writtenReading(writtenBody, range)
-    },
+    bodyShapeReading: { reading: body },
     location: range
   };
 }
@@ -6901,11 +7192,12 @@ function branchesPerTerminal(options) {
   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({
@@ -6914,6 +7206,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;
@@ -6922,7 +7215,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" };
@@ -7016,6 +7310,25 @@ function functionRouteUnits(pattern, pack, verb, classification, functionNode, m
     module.scopeFor,
     options.importedDefinition ?? null
   );
+  const wrappers = wrappersAround(
+    pattern,
+    pack,
+    classification,
+    functionNode,
+    module,
+    options
+  );
+  const dependencyParameters = options.wrappers?.dependencyParameters(
+    wrappers
+  ) ?? { names: /* @__PURE__ */ new Set(), declaresSource: false };
+  const declaredStatuses = declaredStatusesOf(
+    pattern,
+    pack,
+    classification,
+    functionNode,
+    module,
+    options
+  );
   return readRoutePaths(
     pattern,
     readPathArgument(classification, options),
@@ -7028,6 +7341,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 } : {},
@@ -7044,7 +7359,10 @@ function functionRouteUnits(pattern, pack, verb, classification, functionNode, m
         responseShape: readResponseModel(pattern, classification, module, ctx),
         statusCode: defaultedStatus(
           declaredOrReturnedStatus(
-            readStatusCode(pattern, classification),
+            readStatusCode(pattern, classification, {
+              module,
+              facts: options.facts
+            }),
             readReturnedStatus(pattern, functionNode, {
               module,
               facts: options.facts
@@ -7055,14 +7373,7 @@ function functionRouteUnits(pattern, pack, verb, classification, functionNode, m
         definitionsCtx: ctx,
         storage: options.storage,
         importedDefinition: options.importedDefinition,
-        wrappers: wrappersAround(
-          pattern,
-          pack,
-          classification,
-          functionNode,
-          module,
-          options
-        )
+        wrappers
       },
       options
     )
@@ -7081,6 +7392,38 @@ function wrappersAround(pattern, pack, classification, definitionNode, module, o
     definitionNode
   });
 }
+function declaredStatusesOf(pattern, pack, classification, definitionNode, module, options) {
+  const keyword = pattern.responsesKeyword;
+  if (keyword === void 0) {
+    return [];
+  }
+  const above = options.wrappers?.callsAbove({
+    pack,
+    pattern,
+    file: options.absoluteFile ?? options.filePath,
+    module,
+    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: [] };
@@ -7164,6 +7507,8 @@ function buildRouteUnit(options) {
       pathParamNames: template?.paramNames ?? null,
       requestBodyFromAnnotatedClass,
       injectedCallees,
+      injectedTypes: new Set(pattern.injectedParameterTypes ?? []),
+      module,
       sources: pattern.parameterSources ?? {},
       aliasKeyword: pattern.parameterAliasKeyword
     },
@@ -7220,6 +7565,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: {
@@ -7251,9 +7612,51 @@ 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 [];
@@ -7320,10 +7723,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;
@@ -7347,7 +7747,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(
@@ -7427,6 +7827,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;
@@ -7724,7 +8132,7 @@ var DEFERRED_BODY_TYPES3 = /* @__PURE__ */ new Set(["function_definition", "lamb
 function exitSites(root, module) {
   const found = [];
   const startScope = module.scopeFor.get(root.id) ?? module.moduleScope;
-  walkDescendants4(root, startScope, {
+  walkDescendants4(root, startScope, children, {
     at: (node, scope) => {
       const site = exitSiteAt(node, scope);
       if (site !== null) {
@@ -7741,7 +8149,7 @@ function exitSites(root, module) {
   return found;
 }
 function exitSiteAt(statement, scope) {
-  const expression = statement.namedChildren[0] ?? null;
+  const expression = statement.namedChild(0) ?? null;
   if (expression === null) {
     return null;
   }
@@ -7922,6 +8330,7 @@ import {
   placeCalleeParameters,
   placeCalls,
   recordParameterGaps,
+  StopList,
   TargetPlacements,
   unfollowedCallGap,
   worthRecording
@@ -7944,7 +8353,7 @@ function argparseFlagReads(definition, module, parameterNames2) {
   const parsers = /* @__PURE__ */ new Map();
   const handedTo = /* @__PURE__ */ new Map();
   const startScope = module.scopeFor.get(definition.id) ?? module.moduleScope;
-  walkDescendants5(definition, startScope, {
+  walkDescendants5(definition, startScope, children, {
     at: (node, scope) => {
       noteParser(node, scope, parsers);
       noteArgument(node, parsers);
@@ -8021,6 +8430,7 @@ import {
   calleeOutcomeOf,
   calleeOutcomes,
   noteKeyRead as noteKeyRead3,
+  RECEIVER_STORE_NAME as RECEIVER_STORE_NAME2,
   writtenSourcesOf
 } from "@suss/resolution";
 var STOP_FOR = {
@@ -8051,8 +8461,40 @@ function resolveCallee2(call, site, ctx, read) {
     return spelling;
   }
   const outcome = read?.outcomes.get(spelling.key) ?? 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] === RECEIVER_STORE_NAME2
+    );
+  });
+}
 function namedOutcomes(keys, ctx) {
   return calleeOutcomes(ctx.facts, [...new Set(keys)]);
 }
@@ -8602,14 +9044,14 @@ 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 stops = new StopList();
   const placements = new TargetPlacements();
   const parameterCalls = [];
   const passedPositions = /* @__PURE__ */ new Set();
@@ -8626,7 +9068,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;
@@ -8659,10 +9101,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) && worthRecording(outcome.reason)) {
-        seen.add(stopKey);
-        stops.push({ callee, reason: outcome.reason });
+      if (!recognized.has(call.id) && 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);
@@ -8695,7 +9139,7 @@ function scanBody(source, ctx, recognized, read, implied) {
   }
   return {
     followed,
-    stops,
+    stops: stops.stops,
     targets: placements.targets,
     argTargets: placements.argTargets,
     parameterCalls,
@@ -8704,7 +9148,7 @@ function scanBody(source, ctx, recognized, read, implied) {
 }
 function callsWritten(file, body, outer, owner, limit) {
   const found = [];
-  walkDescendants6(body, outer, {
+  walkDescendants6(body, outer, children, {
     at: (child, scope) => {
       if (child.type === "call") {
         found.push({ call: child, site: { file, scope, owner } });
@@ -8730,7 +9174,7 @@ 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);
     }
@@ -8831,10 +9275,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;
@@ -8854,10 +9295,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;
@@ -8954,7 +9392,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 [];
     }
@@ -9077,6 +9515,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);
     }
   };
 }
@@ -9181,9 +9624,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") {
@@ -9466,8 +9933,8 @@ function constructionStatement(stmt, module, 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;
@@ -9541,7 +10008,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;
       }
@@ -9721,7 +10188,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;
     }
@@ -9934,8 +10401,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) {
@@ -11047,6 +11515,8 @@ import { absentReading as absentReading2, walkDescendants as walkDescendants7 }
 import { noteKeyRead as noteKeyRead6, noteLookup as noteLookup3 } from "@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}`
@@ -11084,6 +11554,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;
@@ -11102,6 +11576,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) {
@@ -11143,14 +11623,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) {
+        noteKeyRead6(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);
@@ -11162,13 +11674,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") {
@@ -11199,11 +11713,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) {
       noteKeyRead6(this.options.facts, site.file);
@@ -11217,12 +11785,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) {
+        noteKeyRead6(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
@@ -11267,6 +11869,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;
 }
@@ -11313,8 +11932,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;
@@ -11329,6 +11948,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) {
@@ -11346,7 +11968,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) {
-  walkDescendants7(file.root, file.module.moduleScope, {
+  walkDescendants7(file.root, file.module.moduleScope, children, {
     at: (node, scope) => {
       if (node.type !== "decorated_definition") {
         return;
@@ -11382,7 +12004,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);
@@ -11401,7 +12023,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) {
@@ -11419,7 +12041,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;
@@ -11427,10 +12049,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) {
@@ -11446,7 +12065,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);
@@ -11530,7 +12150,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;
@@ -11539,9 +12159,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) {
@@ -11842,7 +12460,8 @@ async function runPython(options, roots, cache, previous) {
       roots,
       facts: needsValues ? db : void 0,
       definitions,
-      storageFor
+      storageFor,
+      routers: plainRouterIndex
     })
   );
   const importedDefinition2 = importedDefinitionLookup(db, bound);
@@ -12285,7 +12904,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);
     }
@@ -12551,7 +13170,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);
       }