@suss/adapter-ruby 0.22.4 → 0.23.0

package/dist/index.js

@@ -209,9 +209,21 @@ var PATH_CONVENTIONS = {
   railsUnderscore: underscoreConstantPath
 };
 function resolveConstantFile(root, qualifiedName, convention) {
-  const relative = PATH_CONVENTIONS[convention](qualifiedName);
-  const file = path.join(root, `${relative}.rb`);
-  return fs.existsSync(file) ? file : null;
+  const relative = `${PATH_CONVENTIONS[convention](qualifiedName)}.rb`;
+  for (const candidate of [root, ...autoloadDirectories(root)]) {
+    const file = path.join(candidate, relative);
+    if (fs.existsSync(file)) {
+      return file;
+    }
+  }
+  return null;
+}
+function autoloadDirectories(root) {
+  try {
+    return fs.readdirSync(root, { withFileTypes: true }).filter((entry) => entry.isDirectory()).map((entry) => path.join(root, entry.name)).sort();
+  } catch {
+    return [];
+  }
 }
 
 // src/scope.ts
@@ -624,8 +636,15 @@ function isDefaultedAt(node) {
   return false;
 }
 
-// src/paths/effects.ts
-import { enumerateOrDegrade, sharedGatingConditions } from "@suss/extractor";
+// src/responseStatus.ts
+import {
+  absentReading,
+  enumerateOrDegrade,
+  guardsHoldOn,
+  unreadableReading,
+  writtenReading
+} from "@suss/extractor";
+import { constantOf, literalOf as literalOf2 } from "@suss/values";
 
 // src/paths/bareCalls.ts
 var PARAMETER_LIST_TYPES = [
@@ -1001,181 +1020,6 @@ function lowerRubyBody(body, terminals, responseCalls = []) {
   };
 }
 
-// src/paths/effects.ts
-var RAISE_NAMES2 = /* @__PURE__ */ new Set(["raise", "fail"]);
-var BLOCK_TYPES = /* @__PURE__ */ new Set([
-  "body_statement",
-  "then",
-  "else",
-  "do_block",
-  "block"
-]);
-var LITERAL_ARGS = {
-  string: (node) => ({
-    kind: "string",
-    value: node.text.replace(/^["']|["']$/g, "")
-  }),
-  integer: (node) => {
-    const value = Number.parseInt(node.text, 10);
-    return Number.isNaN(value) ? null : { kind: "number", value };
-  },
-  float: (node) => {
-    const value = Number.parseFloat(node.text);
-    return Number.isNaN(value) ? null : { kind: "number", value };
-  },
-  true: () => ({ kind: "boolean", value: true }),
-  false: () => ({ kind: "boolean", value: false }),
-  simple_symbol: (node) => ({ kind: "string", value: node.text.slice(1) })
-};
-function children(node) {
-  return node.namedChildren.filter((child) => child !== null);
-}
-function withoutChainLinks(calls) {
-  const isLink = /* @__PURE__ */ new Set();
-  for (const call of calls) {
-    const receiver = field(call, "receiver");
-    if (receiver !== null && receiver.type === "call") {
-      isLink.add(receiver.id);
-    }
-  }
-  return calls.filter((call) => !isLink.has(call.id));
-}
-function calleeMethodName(call) {
-  if (call.type === "identifier") {
-    return call.text;
-  }
-  const method = field(call, "method");
-  if (method !== null) {
-    return method.text;
-  }
-  return field(call, "receiver") !== null ? "call" : children(call)[0]?.text;
-}
-function isPropertyRead(node) {
-  if (field(node, "receiver") === null || field(node, "arguments") !== null) {
-    return false;
-  }
-  return calleeMethodName(node) !== "call";
-}
-function isRaise2(node) {
-  const method = field(node, "method") ?? children(node)[0] ?? null;
-  return field(node, "receiver") === null && method !== null && RAISE_NAMES2.has(method.text);
-}
-var NO_INHERITED_METHODS = /* @__PURE__ */ new Set();
-function isInherited(node, inherited) {
-  const method = field(node, "method");
-  return field(node, "receiver") === null && method !== null && inherited.has(method.text);
-}
-function isCall(node, locals, inherited) {
-  if (node.type === "call") {
-    return !isPropertyRead(node) && !isRaise2(node) && !isInherited(node, inherited);
-  }
-  return isBareMethodCall(node, locals) && !RAISE_NAMES2.has(node.text) && !inherited.has(node.text);
-}
-function collectCalls(node, locals, inherited, found) {
-  for (const child of children(node)) {
-    if (OWN_BODY_TYPES.has(child.type)) {
-      continue;
-    }
-    if (isCall(child, locals, inherited)) {
-      found.push(child);
-    }
-    collectCalls(child, locals, inherited, found);
-  }
-  return found;
-}
-function bodyCalls(definitionNode, inherited = NO_INHERITED_METHODS) {
-  const body = field(definitionNode, "body");
-  if (body === null) {
-    return [];
-  }
-  return collectCalls(body, localNamesIn(definitionNode), inherited, []);
-}
-function calleeText(call) {
-  const receiver = field(call, "receiver");
-  const method = calleeMethodName(call);
-  if (method === void 0) {
-    return call.text;
-  }
-  return receiver === null ? method : `${receiver.text}.${method}`;
-}
-function argOf(node) {
-  const literal = LITERAL_ARGS[node.type]?.(node);
-  if (literal !== null && literal !== void 0) {
-    return literal;
-  }
-  if (node.type === "call" && !isPropertyRead(node)) {
-    return { kind: "call", callee: calleeText(node), args: argsOf(node) };
-  }
-  return { kind: "identifier", name: node.text };
-}
-function argsOf(call) {
-  const args = field(call, "arguments");
-  if (args === null) {
-    return [];
-  }
-  return children(args).map(
-    (child) => child.type === "pair" ? argOf(field(child, "value") ?? child) : argOf(child)
-  );
-}
-function enclosingStatement(call, body) {
-  let current = call;
-  while (current.parent !== null) {
-    if (BLOCK_TYPES.has(current.parent.type) || current.parent.id === body.id) {
-      return current;
-    }
-    current = current.parent;
-  }
-  return current;
-}
-function invocationEffects(definitionNode, inherited = NO_INHERITED_METHODS) {
-  const body = field(definitionNode, "body");
-  if (body === null) {
-    return [];
-  }
-  const calls = withoutChainLinks(bodyCalls(definitionNode, inherited));
-  if (calls.length === 0) {
-    return [];
-  }
-  const statementOf2 = /* @__PURE__ */ new Map();
-  const statements = [];
-  for (const call of calls) {
-    const statement = enclosingStatement(call, body);
-    statementOf2.set(call.id, statement);
-    statements.push(statement);
-  }
-  const lowered = lowerRubyBody(body, statements);
-  const enumerated = enumerateOrDegrade(
-    {
-      statements: lowered.statements,
-      terminalsByStmt: lowered.terminalsByStmt
-    },
-    statements
-  );
-  return calls.map((call) => {
-    const statement = statementOf2.get(call.id);
-    const conditions = sharedGatingConditions(
-      statement === void 0 ? void 0 : enumerated.byTerminal.get(statement)
-    );
-    return {
-      type: "invocation",
-      callee: calleeText(call),
-      args: argsOf(call),
-      async: false,
-      ...conditions.length > 0 ? { preconditions: conditions } : {}
-    };
-  });
-}
-
-// src/responseStatus.ts
-import {
-  absentReading,
-  enumerateOrDegrade as enumerateOrDegrade2,
-  guardsHoldOn,
-  unreadableReading,
-  writtenReading
-} from "@suss/extractor";
-import { constantOf, literalOf as literalOf2 } from "@suss/values";
-
 // src/values/evaluator.ts
 import { nodeOfKey } from "@suss/resolution";
 import { Evaluator, force, literalOf } from "@suss/values";
@@ -1244,7 +1088,7 @@ function paramNameOf(param) {
 function declaredParamNames(method) {
   const params = field(method, "parameters");
   const declared = /* @__PURE__ */ new Set();
-  for (const param of params === null ? [] : children2(params)) {
+  for (const param of params === null ? [] : children(params)) {
     const name = paramNameOf(param);
     if (name !== null) {
       declared.add(name.text);
@@ -1258,7 +1102,7 @@ function readKey(filePath, node, enclosing) {
   }
   const parent = node.parent;
   if (parent !== null && parent.type === "call" && field(parent, "method")?.id === node.id && field(parent, "receiver") !== null) {
-    return isPropertyRead2(parent) ? nodeId(filePath, parent) : nodeId(filePath, node);
+    return isPropertyRead(parent) ? nodeId(filePath, parent) : nodeId(filePath, node);
   }
   if (enclosing !== null && declaredParamNames(enclosing).has(node.text)) {
     return `${nodeId(filePath, enclosing)}#${node.text}`;
@@ -1286,7 +1130,7 @@ var WRITTEN_VALUE_TYPES = /* @__PURE__ */ new Set([
   "parenthesized_statements"
 ]);
 var ARRAY_TYPES = /* @__PURE__ */ new Set(["array", "string_array", "symbol_array"]);
-function children2(node) {
+function children(node) {
   return node.namedChildren.filter((child) => child !== null);
 }
 function add(emitter, relation, ...tuple) {
@@ -1314,8 +1158,8 @@ function pairKeyText(key) {
   }
   return null;
 }
-function isPropertyRead2(node) {
-  return node.type === "call" && field(node, "receiver") !== null && field(node, "arguments") === null && children2(node).every(
+function isPropertyRead(node) {
+  return node.type === "call" && field(node, "receiver") !== null && field(node, "arguments") === null && children(node).every(
     (child) => child.type !== "do_block" && child.type !== "block"
   );
 }
@@ -1354,7 +1198,7 @@ function emitCall(emitter, call) {
   }
   const args = field(call, "arguments");
   let position = 0;
-  for (const argument of args === null ? [] : children2(args)) {
+  for (const argument of args === null ? [] : children(args)) {
     if (argument.type === "pair") {
       const key = field(argument, "key");
       const value = field(argument, "value");
@@ -1384,7 +1228,7 @@ function emitArray(emitter, array) {
   const objectKey = nodeId(emitter.filePath, array);
   add(emitter, "objectValue", objectKey);
   let position = 0;
-  for (const element of children2(array)) {
+  for (const element of children(array)) {
     add(
       emitter,
       "holdsProperty",
@@ -1398,7 +1242,7 @@ function emitArray(emitter, array) {
 function emitHash(emitter, hash) {
   const objectKey = nodeId(emitter.filePath, hash);
   add(emitter, "objectValue", objectKey);
-  for (const pair of children2(hash)) {
+  for (const pair of children(hash)) {
     if (pair.type !== "pair") {
       continue;
     }
@@ -1412,7 +1256,7 @@ function emitHash(emitter, hash) {
   }
 }
 function walkExpressions(node, visit) {
-  for (const child of children2(node)) {
+  for (const child of children(node)) {
     if (OWN_BODY_TYPES.has(child.type)) {
       continue;
     }
@@ -1422,7 +1266,7 @@ function walkExpressions(node, visit) {
 }
 function emitExpressionFacts(emitter, node) {
   walkExpressions(node, (child) => {
-    if (isPropertyRead2(child)) {
+    if (isPropertyRead(child)) {
       emitPropertyRead(emitter, child);
     } else if (child.type === "call") {
       emitCall(emitter, child);
@@ -1442,7 +1286,7 @@ function emitExpressionFacts(emitter, node) {
   });
 }
 function implicitReturn(body) {
-  const statements = children2(body).filter(
+  const statements = children(body).filter(
     (child) => child.type !== "rescue" && child.type !== "ensure"
   );
   const last = statements[statements.length - 1];
@@ -1454,7 +1298,7 @@ function emitMethodFacts(emitter, method) {
   const params = field(method, "parameters");
   const declared = /* @__PURE__ */ new Set();
   let position = 0;
-  for (const param of params === null ? [] : children2(params)) {
+  for (const param of params === null ? [] : children(params)) {
     const paramName = paramNameOf(param);
     if (paramName !== null) {
       declared.add(paramName.text);
@@ -1473,7 +1317,7 @@ function emitMethodFacts(emitter, method) {
     return funcKey;
   }
   const recordNested = (node) => {
-    for (const child of children2(node)) {
+    for (const child of children(node)) {
       if (OWN_BODY_TYPES.has(child.type)) {
         add(emitter, "containsFn", funcKey, nodeId(emitter.filePath, child));
         continue;
@@ -1484,8 +1328,8 @@ function emitMethodFacts(emitter, method) {
   recordNested(body);
   walkExpressions(body, (child) => {
     if (child.type === "return") {
-      const first = children2(child)[0];
-      const returned = first?.type === "argument_list" ? children2(first)[0] : first;
+      const first = children(child)[0];
+      const returned = first?.type === "argument_list" ? children(first)[0] : first;
       if (returned !== void 0) {
         add(inside, "returnsValue", funcKey, valueKey(inside, returned));
       }
@@ -1529,13 +1373,13 @@ function emitClassFacts(emitter, cls) {
   const classKey = nodeId(emitter.filePath, cls);
   add(emitter, "objectValue", classKey);
   const superclass = field(cls, "superclass");
-  const base = superclass === null ? null : children2(superclass)[0] ?? null;
+  const base = superclass === null ? null : children(superclass)[0] ?? null;
   if (base !== null) {
     add(emitter, "extends", classKey, valueKey(emitter, base));
     add(emitter, "extendsNamed", classKey, base.text);
   }
   const body = field(cls, "body");
-  for (const statement of body === null ? [] : children2(body)) {
+  for (const statement of body === null ? [] : children(body)) {
     if (statement.type === "assignment") {
       const left = field(statement, "left");
       const right = field(statement, "right");
@@ -1577,7 +1421,7 @@ function emitValueFacts(db, filePath, root) {
     add(emitter, "exportsAs", filePath, name.text, key);
   };
   const walk = (node) => {
-    for (const child of children2(node)) {
+    for (const child of children(node)) {
       if (NESTING_TYPES.has(child.type)) {
         declaresName(child, emitClassFacts(emitter, child));
         continue;
@@ -1608,7 +1452,7 @@ var OWN_ROOT_TYPES = /* @__PURE__ */ new Set([
   "module",
   "singleton_class"
 ]);
-var BLOCK_TYPES2 = /* @__PURE__ */ new Set(["block", "do_block"]);
+var BLOCK_TYPES = /* @__PURE__ */ new Set(["block", "do_block"]);
 var METHOD_TYPES2 = /* @__PURE__ */ new Set(["method", "singleton_method"]);
 var NAME_TYPES = /* @__PURE__ */ new Set([
   "identifier",
@@ -2114,7 +1958,7 @@ function isTailExpression(node) {
   if (owner.type === "block" && owner.parent?.type === "lambda") {
     return true;
   }
-  if (METHOD_TYPES2.has(owner.type) || BLOCK_TYPES2.has(owner.type)) {
+  if (METHOD_TYPES2.has(owner.type) || BLOCK_TYPES.has(owner.type)) {
     return true;
   }
   if (owner.type === "when") {
@@ -2133,7 +1977,7 @@ function isRoot(node) {
   if (OWN_ROOT_TYPES.has(node.type)) {
     return true;
   }
-  return BLOCK_TYPES2.has(node.type) && node.parent?.type === "call";
+  return BLOCK_TYPES.has(node.type) && node.parent?.type === "call";
 }
 function isPathStatement(node, parent) {
   if (node.type === "elsif") {
@@ -2187,7 +2031,7 @@ function functionOf(node) {
       body: bodyOf(block)
     };
   }
-  if (BLOCK_TYPES2.has(node.type)) {
+  if (BLOCK_TYPES.has(node.type)) {
     return {
       parameters: parametersOf(field(node, "parameters")),
       body: bodyOf(node)
@@ -2715,7 +2559,10 @@ function conditionOf(condition) {
     source: condition.source
   };
 }
-function branchOf(outcome, pattern, effects, extraEffects) {
+function branchOf(outcome, pattern, effects, extraEffects, options) {
+  if (outcome.fellThrough === true && options.fallthrough === "handOn") {
+    return handsOnBranch(outcome, effects, extraEffects);
+  }
   return {
     conditions: outcome.conditions,
     terminal: {
@@ -2740,7 +2587,28 @@ function branchOf(outcome, pattern, effects, extraEffects) {
     isDefault: outcome.conditions.length === 0
   };
 }
-function responseBranches(method, pattern, effects, extraEffects) {
+function handsOnBranch(outcome, effects, extraEffects) {
+  return {
+    conditions: outcome.conditions,
+    terminal: {
+      kind: "delegate",
+      statusCode: null,
+      body: null,
+      exceptionType: null,
+      message: null,
+      component: null,
+      renderTree: null,
+      delegateTarget: null,
+      emitEvent: null,
+      location: outcome.location
+    },
+    effects: effectsReaching(effects, outcome.conditions),
+    ...extraEffects === void 0 ? {} : { extraEffects },
+    location: outcome.location,
+    isDefault: outcome.conditions.length === 0
+  };
+}
+function responseBranches(method, pattern, effects, extraEffects, options = {}) {
   const declarations = pattern.responseStatusCalls ?? [];
   const body = field(method, "body");
   if (declarations.length === 0 || body === null) {
@@ -2755,7 +2623,7 @@ function responseBranches(method, pattern, effects, extraEffects) {
     (node) => lowered.terminalHome.has(node) && collectResponseCalls(node, byName, locals, []).length === 0
   );
   const terminals = [...responses, ...bareReturns];
-  const enumerated = enumerateOrDegrade2(
+  const enumerated = enumerateOrDegrade(
     {
       statements: lowered.statements,
       terminalsByStmt: lowered.terminalsByStmt
@@ -2779,17 +2647,369 @@ function responseBranches(method, pattern, effects, extraEffects) {
     outcomes.push({
       conditions: path7.map(conditionOf),
       reading: absentReading,
-      location: rangeOf(method)
+      location: rangeOf(method),
+      fellThrough: true
     });
   }
   if (outcomes.length === 0) {
     return null;
   }
   return outcomes.map(
-    (outcome) => branchOf(outcome, pattern, effects, extraEffects)
+    (outcome) => branchOf(outcome, pattern, effects, extraEffects, options)
   );
 }
 
+// src/filters.ts
+function controllerFilters(pattern, ancestry) {
+  const forms = pattern.filters ?? [];
+  if (forms.length === 0) {
+    return [];
+  }
+  const byName = new Map(forms.map((form) => [form.name, form]));
+  const skipNames = /* @__PURE__ */ new Map();
+  for (const form of forms) {
+    if (form.skippedBy !== void 0) {
+      skipNames.set(form.skippedBy, form.name);
+    }
+  }
+  const declared = [];
+  const skips = [];
+  for (const { statement } of inheritedStatements(ancestry)) {
+    const called = calledName(statement);
+    if (called === null) {
+      continue;
+    }
+    const form = byName.get(called);
+    if (form !== void 0) {
+      declared.push(...declarationsOf(statement, form));
+      continue;
+    }
+    const skipped = skipNames.get(called);
+    if (skipped !== void 0) {
+      skips.push(...skipsOf(statement, skipped));
+    }
+  }
+  const resolved = [];
+  for (const declaration of applySkips(declared, skips)) {
+    const found = methodInAncestry(ancestry, declaration.methodName);
+    if (found.type !== "found") {
+      continue;
+    }
+    resolved.push({
+      filter: declaration.filter,
+      methodName: declaration.methodName,
+      method: found.method,
+      file: found.block.file,
+      enclosingQualifiedName: found.block.info.qualifiedName,
+      only: declaration.only,
+      except: declaration.except
+    });
+  }
+  return [
+    ...resolved.filter((one) => one.filter.onThrow !== true),
+    ...resolved.filter((one) => one.filter.onThrow === true)
+  ];
+}
+function filterCoversAction(filter, actionName) {
+  if (filter.except.has(actionName)) {
+    return false;
+  }
+  return filter.only === null || filter.only.has(actionName);
+}
+function filterReference(filter, displayPath) {
+  return {
+    file: displayPath,
+    name: filter.methodName,
+    ...filter.filter.onThrow === true ? { onThrow: true } : {}
+  };
+}
+function filterUnit(filter, pattern, displayPath, body) {
+  const range = rangeOf(filter.method);
+  const branches = responseBranches(
+    filter.method,
+    pattern,
+    body.effects ?? [],
+    body.extraEffects,
+    { fallthrough: "handOn" }
+  );
+  return {
+    identity: {
+      name: filter.methodName,
+      nameKind: "binding",
+      kind: "middleware",
+      file: displayPath,
+      range,
+      span: spanOf(filter.method),
+      exportName: filter.methodName,
+      exportPath: [filter.enclosingQualifiedName, filter.methodName]
+    },
+    boundaryBinding: null,
+    parameters: [],
+    branches: branches ?? [handsOn(range, body)],
+    bodyContent: body.bodyContent ?? "absent",
+    dependencyCalls: [],
+    declaredContract: null
+  };
+}
+function handsOn(range, body) {
+  return {
+    conditions: [],
+    terminal: {
+      kind: "delegate",
+      statusCode: null,
+      body: null,
+      exceptionType: null,
+      message: null,
+      component: null,
+      renderTree: null,
+      delegateTarget: null,
+      emitEvent: null,
+      location: range
+    },
+    effects: body.effects ?? [],
+    ...body.extraEffects === void 0 ? {} : { extraEffects: body.extraEffects },
+    location: range,
+    isDefault: true
+  };
+}
+function calledName(statement) {
+  if (statement.type !== "call" || field(statement, "receiver") !== null) {
+    return null;
+  }
+  return field(statement, "method")?.text ?? null;
+}
+function declarationsOf(statement, filter) {
+  const args = readCallArgs(field(statement, "arguments"));
+  const keywords = filter.actionKeywords;
+  const only = keywords === void 0 ? null : namesUnder(args.keyword[keywords.include]);
+  const except = keywords === void 0 ? null : namesUnder(args.keyword[keywords.exclude]);
+  return methodNamesOf(args, filter).map((methodName) => ({
+    filter,
+    methodName,
+    only,
+    except: except ?? /* @__PURE__ */ new Set()
+  }));
+}
+function methodNamesOf(args, filter) {
+  if (filter.methodFrom === "withKeyword") {
+    const named2 = args.keyword.with;
+    const value = named2 === void 0 ? null : symbolValue(named2);
+    return value === null ? [] : [value];
+  }
+  return args.positional.map((arg) => symbolValue(arg)).filter((name) => name !== null);
+}
+function skipsOf(statement, filterName) {
+  const args = readCallArgs(field(statement, "arguments"));
+  const actions = namesUnder(args.keyword.only);
+  return args.positional.map((arg) => symbolValue(arg)).filter((name) => name !== null).map((methodName) => ({ filterName, methodName, actions }));
+}
+function applySkips(declared, skips) {
+  const left = [];
+  for (const declaration of declared) {
+    const reaching = skips.filter(
+      (skip) => skip.filterName === declaration.filter.name && skip.methodName === declaration.methodName
+    );
+    if (reaching.some((skip) => skip.actions === null)) {
+      continue;
+    }
+    const except = new Set(declaration.except);
+    for (const skip of reaching) {
+      for (const action of skip.actions ?? []) {
+        except.add(action);
+      }
+    }
+    left.push({ ...declaration, except });
+  }
+  return left;
+}
+function namesUnder(node) {
+  if (node === void 0) {
+    return null;
+  }
+  const single = symbolValue(node);
+  if (single !== null) {
+    return /* @__PURE__ */ new Set([single]);
+  }
+  if (node.type !== "array" && node.type !== "symbol_array") {
+    return null;
+  }
+  const names = /* @__PURE__ */ new Set();
+  for (const child of bodyStatements(node)) {
+    const bare = child.type === "bare_symbol" ? child.text : null;
+    const name = symbolValue(child) ?? bare;
+    if (name !== null) {
+      names.add(name);
+    }
+  }
+  return names;
+}
+
+// src/paths/effects.ts
+import { enumerateOrDegrade as enumerateOrDegrade2, sharedGatingConditions } from "@suss/extractor";
+var RAISE_NAMES2 = /* @__PURE__ */ new Set(["raise", "fail"]);
+var BLOCK_TYPES2 = /* @__PURE__ */ new Set([
+  "body_statement",
+  "then",
+  "else",
+  "do_block",
+  "block"
+]);
+var LITERAL_ARGS = {
+  string: (node) => ({
+    kind: "string",
+    value: node.text.replace(/^["']|["']$/g, "")
+  }),
+  integer: (node) => {
+    const value = Number.parseInt(node.text, 10);
+    return Number.isNaN(value) ? null : { kind: "number", value };
+  },
+  float: (node) => {
+    const value = Number.parseFloat(node.text);
+    return Number.isNaN(value) ? null : { kind: "number", value };
+  },
+  true: () => ({ kind: "boolean", value: true }),
+  false: () => ({ kind: "boolean", value: false }),
+  simple_symbol: (node) => ({ kind: "string", value: node.text.slice(1) })
+};
+function children2(node) {
+  return node.namedChildren.filter((child) => child !== null);
+}
+function withoutChainLinks(calls) {
+  const isLink = /* @__PURE__ */ new Set();
+  for (const call of calls) {
+    const receiver = field(call, "receiver");
+    if (receiver !== null && receiver.type === "call") {
+      isLink.add(receiver.id);
+    }
+  }
+  return calls.filter((call) => !isLink.has(call.id));
+}
+function calleeMethodName(call) {
+  if (call.type === "identifier") {
+    return call.text;
+  }
+  const method = field(call, "method");
+  if (method !== null) {
+    return method.text;
+  }
+  return field(call, "receiver") !== null ? "call" : children2(call)[0]?.text;
+}
+function isPropertyRead2(node) {
+  if (field(node, "receiver") === null || field(node, "arguments") !== null) {
+    return false;
+  }
+  return calleeMethodName(node) !== "call";
+}
+function isRaise2(node) {
+  const method = field(node, "method") ?? children2(node)[0] ?? null;
+  return field(node, "receiver") === null && method !== null && RAISE_NAMES2.has(method.text);
+}
+var NO_INHERITED_METHODS = /* @__PURE__ */ new Set();
+function isInherited(node, inherited) {
+  const method = field(node, "method");
+  return field(node, "receiver") === null && method !== null && inherited.has(method.text);
+}
+function isCall(node, locals, inherited) {
+  if (node.type === "call") {
+    return !isPropertyRead2(node) && !isRaise2(node) && !isInherited(node, inherited);
+  }
+  return isBareMethodCall(node, locals) && !RAISE_NAMES2.has(node.text) && !inherited.has(node.text);
+}
+function collectCalls(node, locals, inherited, found) {
+  for (const child of children2(node)) {
+    if (OWN_BODY_TYPES.has(child.type)) {
+      continue;
+    }
+    if (isCall(child, locals, inherited)) {
+      found.push(child);
+    }
+    collectCalls(child, locals, inherited, found);
+  }
+  return found;
+}
+function bodyCalls(definitionNode, inherited = NO_INHERITED_METHODS) {
+  const body = field(definitionNode, "body");
+  if (body === null) {
+    return [];
+  }
+  return collectCalls(body, localNamesIn(definitionNode), inherited, []);
+}
+function calleeText(call) {
+  const receiver = field(call, "receiver");
+  const method = calleeMethodName(call);
+  if (method === void 0) {
+    return call.text;
+  }
+  return receiver === null ? method : `${receiver.text}.${method}`;
+}
+function argOf(node) {
+  const literal = LITERAL_ARGS[node.type]?.(node);
+  if (literal !== null && literal !== void 0) {
+    return literal;
+  }
+  if (node.type === "call" && !isPropertyRead2(node)) {
+    return { kind: "call", callee: calleeText(node), args: argsOf(node) };
+  }
+  return { kind: "identifier", name: node.text };
+}
+function argsOf(call) {
+  const args = field(call, "arguments");
+  if (args === null) {
+    return [];
+  }
+  return children2(args).map(
+    (child) => child.type === "pair" ? argOf(field(child, "value") ?? child) : argOf(child)
+  );
+}
+function enclosingStatement(call, body) {
+  let current = call;
+  while (current.parent !== null) {
+    if (BLOCK_TYPES2.has(current.parent.type) || current.parent.id === body.id) {
+      return current;
+    }
+    current = current.parent;
+  }
+  return current;
+}
+function invocationEffects(definitionNode, inherited = NO_INHERITED_METHODS) {
+  const body = field(definitionNode, "body");
+  if (body === null) {
+    return [];
+  }
+  const calls = withoutChainLinks(bodyCalls(definitionNode, inherited));
+  if (calls.length === 0) {
+    return [];
+  }
+  const statementOf2 = /* @__PURE__ */ new Map();
+  const statements = [];
+  for (const call of calls) {
+    const statement = enclosingStatement(call, body);
+    statementOf2.set(call.id, statement);
+    statements.push(statement);
+  }
+  const lowered = lowerRubyBody(body, statements);
+  const enumerated = enumerateOrDegrade2(
+    {
+      statements: lowered.statements,
+      terminalsByStmt: lowered.terminalsByStmt
+    },
+    statements
+  );
+  return calls.map((call) => {
+    const statement = statementOf2.get(call.id);
+    const conditions = sharedGatingConditions(
+      statement === void 0 ? void 0 : enumerated.byTerminal.get(statement)
+    );
+    return {
+      type: "invocation",
+      callee: calleeText(call),
+      args: argsOf(call),
+      async: false,
+      ...conditions.length > 0 ? { preconditions: conditions } : {}
+    };
+  });
+}
+
 // src/storage.ts
 import { deriveOnDemand as deriveOnDemand2, evaluate as evaluate2 } from "@suss/datalog";
 import { storageBinding } from "@suss/ir-core";
@@ -3093,7 +3313,23 @@ async function controllerActionUnits(pattern, pack, info, ownBlocks, fileBlocks,
   if (!reachesConfiguredBase(ancestry, info.qualifiedName, pattern.baseClassNames)) {
     return [];
   }
+  const filters = controllerFilters(pattern, ancestry);
   const units = [];
+  for (const filter of filters) {
+    const displayPath = options.displayPathOf?.(filter.file) ?? filter.file;
+    const raw = filterUnit(
+      filter,
+      pattern,
+      displayPath,
+      bodyOfMethod(filter.method, options)
+    );
+    units.push(raw);
+    options.onReachSeed?.(raw, {
+      file: filter.file,
+      node: filter.method,
+      enclosingQualifiedName: filter.enclosingQualifiedName
+    });
+  }
   for (const block of ownBlocks) {
     if (block.info.bodyNode === null) {
       continue;
@@ -3105,6 +3341,12 @@ async function controllerActionUnits(pattern, pack, info, ownBlocks, fileBlocks,
       if ((visibility.get(actionName) ?? "public") !== "public") {
         continue;
       }
+      const around = filters.filter((filter) => filterCoversAction(filter, actionName)).map(
+        (filter) => filterReference(
+          filter,
+          options.displayPathOf?.(filter.file) ?? filter.file
+        )
+      );
       const raw = buildControllerActionUnit(
         pack,
         pattern,
@@ -3112,7 +3354,8 @@ async function controllerActionUnits(pattern, pack, info, ownBlocks, fileBlocks,
         actionName,
         method,
         options.filePath,
-        options
+        options,
+        around
       );
       units.push(raw);
       options.onReachSeed?.(raw, {
@@ -3124,7 +3367,7 @@ async function controllerActionUnits(pattern, pack, info, ownBlocks, fileBlocks,
   }
   return units;
 }
-function buildControllerActionUnit(pack, pattern, controllerQualifiedName, actionName, method, filePath, bodyRead) {
+function buildControllerActionUnit(pack, pattern, controllerQualifiedName, actionName, method, filePath, bodyRead, wrappers = []) {
   const range = rangeOf(method);
   const route = pattern.routeFor(controllerQualifiedName, actionName);
   const body = bodyOfMethod(method, bodyRead);
@@ -3179,7 +3422,8 @@ function buildControllerActionUnit(pack, pattern, controllerQualifiedName, actio
     ],
     bodyContent: body.bodyContent ?? "absent",
     dependencyCalls: [],
-    declaredContract: null
+    declaredContract: null,
+    ...wrappers.length > 0 ? { wrappers: [...wrappers] } : {}
   };
 }
 function routingGapUnit(pattern, gaps) {
@@ -3786,6 +4030,7 @@ import {
 import { Database as Database2 } from "@suss/datalog";
 import {
   assembleSummary as assembleSummary2,
+  composeWrappers,
   createCacheLayer,
   createTimer,
   moduleInitStructure,
@@ -4375,6 +4620,14 @@ function inheritedMethodsIn(packs) {
   }
   return found;
 }
+function alreadyDiscovered(seen, raw) {
+  const key = `${raw.identity.file}::${raw.identity.name}::${raw.identity.range.start}`;
+  if (seen.has(key)) {
+    return true;
+  }
+  seen.add(key);
+  return false;
+}
 async function extractRubyProject(options) {
   const timer = options.onTiming !== void 0 ? createTimer() : noopTimer();
   const cacheDir = adapterStamp.declineWhenRunFromSource(
@@ -4436,6 +4689,7 @@ async function extractRubyProject(options) {
   const displayPathOf = (file) => options.workspaceRoot !== void 0 ? path4.relative(options.workspaceRoot, file) : file;
   const seeds = [];
   const summariesBySeed = /* @__PURE__ */ new Map();
+  const discovered = /* @__PURE__ */ new Set();
   for (const { file, root } of parsed) {
     const displayPath = displayPathOf(file);
     const seedByRaw = /* @__PURE__ */ new Map();
@@ -4448,10 +4702,14 @@ async function extractRubyProject(options) {
         cache,
         ...storagePatterns.length > 0 ? { storage: { facts: db, patterns: storagePatterns } } : {},
         inheritedMethods,
+        displayPathOf,
         onReachSeed: (raw, seed) => seedByRaw.set(raw, seed)
       })
     );
     for (const raw of rawUnits) {
+      if (alreadyDiscovered(discovered, raw)) {
+        continue;
+      }
       const summary = timer.time(
         "summarize",
         () => assembleSummary2(raw, { gapHandling: "permissive" })
@@ -4554,12 +4812,18 @@ async function extractRubyProject(options) {
   }
   disambiguateSummaryIds(summaries);
   linkCallsToSummaries(summaries);
+  const composed = timer.time(
+    "summarize",
+    () => composeWrappers(summaries, {
+      gapHandling: options.gapHandling ?? "permissive"
+    })
+  );
   await timer.timeAsync("cache.write", async () => {
-    if (cacheDir === null || summaries.length === 0) {
+    if (cacheDir === null || composed.length === 0) {
       return;
     }
     try {
-      await extractionCache.write(cacheInput, summaries);
+      await extractionCache.write(cacheInput, composed);
     } catch {
     }
   });
@@ -4568,11 +4832,11 @@ async function extractRubyProject(options) {
       packs: options.packs,
       tallies,
       filesWalked: options.files.length,
-      summaries
+      summaries: composed
     })
   );
   options.onTiming?.(timer.report());
-  return { summaries, facts: db };
+  return { summaries: composed, facts: db };
 }
 function fileDependenciesOf(db, displayPathOf) {
   const byFile = /* @__PURE__ */ new Map();