@suss/adapter-ruby 0.20.0 → 0.21.0

package/dist/index.cjs

@@ -72,12 +72,37 @@ function field(node, name) {
 function bodyStatements(body) {
   return body.namedChildren.filter((child) => child !== null);
 }
+var OWN_BODY_TYPES = /* @__PURE__ */ new Set([
+  "method",
+  "singleton_method",
+  "lambda",
+  "class",
+  "module",
+  "singleton_class"
+]);
+var ARGUMENT_LIST_TYPE = "argument_list";
+function runStatements(body, blockConfigures = () => false) {
+  const found = [];
+  const readsItsChildren = (node) => {
+    if (OWN_BODY_TYPES.has(node.type) || node.type === ARGUMENT_LIST_TYPE) {
+      return false;
+    }
+    return !(node.type === "call" && blockConfigures(node));
+  };
+  (0, import_extractor.walkDescendants)(body, null, {
+    at: (node) => {
+      found.push(node);
+    },
+    into: (node) => readsItsChildren(node) ? null : import_extractor.SKIP_CHILDREN
+  });
+  return found;
+}
 function symbolValue(node) {
   return node.type === "simple_symbol" ? node.text.slice(1) : null;
 }
 function instanceMethodsByName(body) {
   const methods = /* @__PURE__ */ new Map();
-  for (const stmt of bodyStatements(body)) {
+  for (const stmt of runStatements(body)) {
     if (stmt.type !== "method") {
       continue;
     }
@@ -90,7 +115,7 @@ function instanceMethodsByName(body) {
 }
 function bareCallArgumentGroups(body, name) {
   const groups = [];
-  for (const stmt of bodyStatements(body)) {
+  for (const stmt of runStatements(body)) {
     if (stmt.type !== "call" || field(stmt, "receiver") !== null) {
       continue;
     }
@@ -193,7 +218,7 @@ function walkClasses(root, visit) {
   });
 }
 function walkDefinitions(root, visit) {
-  walkBody(bodyStatements(root), [], visit);
+  walkBody(runStatements(root), [], visit);
 }
 function walkBody(statements, nesting, visit) {
   for (const stmt of statements) {
@@ -232,7 +257,7 @@ function visitClass(node, nesting, visit) {
     bodyNesting: identity.bodyNesting
   });
   if (bodyNode !== null) {
-    walkBody(bodyStatements(bodyNode), identity.bodyNesting, visit);
+    walkBody(runStatements(bodyNode), identity.bodyNesting, visit);
   }
 }
 function visitModule(node, nesting, visit) {
@@ -251,7 +276,7 @@ function visitModule(node, nesting, visit) {
     bodyNesting: identity.bodyNesting
   });
   if (bodyNode !== null) {
-    walkBody(bodyStatements(bodyNode), identity.bodyNesting, visit);
+    walkBody(runStatements(bodyNode), identity.bodyNesting, visit);
   }
 }
 function stripTypeSuffixName(qualifiedName) {
@@ -407,7 +432,7 @@ function definitionIn(blocks, name) {
   }
   return { method, dynamic };
 }
-function inheritedStatements(ancestry) {
+function inheritedStatements(ancestry, blockConfigures) {
   const statements = [];
   for (const entry of [...ancestry].reverse()) {
     if (entry.type !== "bodies") {
@@ -418,7 +443,7 @@ function inheritedStatements(ancestry) {
       if (body === null) {
         continue;
       }
-      for (const statement of bodyStatements(body)) {
+      for (const statement of runStatements(body, blockConfigures)) {
         statements.push({ block, statement });
       }
     }
@@ -644,14 +669,6 @@ function lowerRubyBody(body, terminals) {
 }
 
 // src/paths/effects.ts
-var DECLARATION_TYPES = /* @__PURE__ */ new Set([
-  "method",
-  "singleton_method",
-  "lambda",
-  "class",
-  "module",
-  "singleton_class"
-]);
 var RAISE_NAMES2 = /* @__PURE__ */ new Set(["raise", "fail"]);
 var BLOCK_TYPES = /* @__PURE__ */ new Set([
   "body_statement",
@@ -699,7 +716,7 @@ function isRaise2(node) {
 }
 function bodyCalls(node, found = []) {
   for (const child of children(node)) {
-    if (DECLARATION_TYPES.has(child.type)) {
+    if (OWN_BODY_TYPES.has(child.type)) {
       continue;
     }
     if (child.type === "call" && !isPropertyRead(child) && !isRaise2(child)) {
@@ -15302,7 +15319,7 @@ function date4(params) {
 // ../../../node_modules/zod/v4/classic/external.js
 config(en_default());
 
-// ../../ir-core/dist/chunk-52CH76PE.js
+// ../../ir-core/dist/chunk-QHFMZPEG.js
 function gqlIdentityKey(typeName, fieldName) {
   return `gql:${typeName}.${fieldName}`;
 }
@@ -15312,6 +15329,9 @@ function fnIdentityKey(packageName, exportPath) {
 function busIdentityKey(messageBus, subject) {
   return `bus:${messageBus} ${subject}`;
 }
+function unitIdentityKey(deploymentTarget, instanceName) {
+  return `unit:${deploymentTarget} ${instanceName}`;
+}
 function metricIdentityKey(metricSystem, metricType) {
   return `metric:${metricSystem} ${metricType}`;
 }
@@ -15724,6 +15744,14 @@ var restSemantics = defineBoundarySemantics({
       }
       return routePathAdmits(semantics.path, path4) ? "match" : "nomatch";
     },
+    /**
+     * A route the registration pattern admits is inside it. A route
+     * whose path this source never gave is left outside, because
+     * nothing here can show it is one the pattern covers.
+     */
+    withinScope(semantics, scope) {
+      return semantics.path !== null && routePathAdmits(scope, semantics.path);
+    },
     /**
      * A call whose base URL the deployment fills in, resolved to the
      * path it reaches.
@@ -15845,7 +15873,62 @@ var storageSemantics = defineBoundarySemantics({
     /** A query returns rows or items, not a status and a body. */
     exchangesHttpResponses: false,
     reportsUnpairedItself: false,
-    identityKey: () => null
+    identityKey: () => null,
+    displayLabel: storageLabel
+  }
+});
+function storageLabel(semantics) {
+  return `${semantics.storageSystem}:${storageContainerLabel(semantics)}`;
+}
+function storageContainerLabel(semantics) {
+  const container = semantics.container ?? "<unnamed container>";
+  const addressed = semantics.accessPath === null ? container : `${container}#${semantics.accessPath}`;
+  return semantics.scope === "default" ? addressed : `${semantics.scope}/${addressed}`;
+}
+var UnitInvocationSemanticsSchema = DeployableUnitSchema.extend({
+  name: external_exports.literal("unit-invocation"),
+  instanceName: DeployableUnitSchema.shape.instanceName.nullable()
+});
+var unitInvocationSemantics = defineBoundarySemantics({
+  name: "unit-invocation",
+  schema: UnitInvocationSemanticsSchema,
+  // faas.name is the deployed function's own name and instanceName is
+  // the deployment template's logical id, which is a different string.
+  // Runtime config leaves the pair off for the same reason.
+  semconv: {},
+  behavior: {
+    /**
+     * A synchronous invoke gives back whatever the handler returned,
+     * which is a value rather than a status and a body. A handler's
+     * return only becomes an HTTP response under a proxy integration,
+     * and that route gets a REST binding instead of this one.
+     */
+    exchangesHttpResponses: false,
+    /**
+     * A unit nothing in the run invokes is the ordinary case, since
+     * most services are reached from a stack suss never read. So an
+     * uninvoked unit stays in the generic unmatched list rather than
+     * being reported as a problem here.
+     */
+    reportsUnpairedItself: false,
+    identityKey(semantics) {
+      if (semantics.instanceName === null) {
+        return null;
+      }
+      return unitIdentityKey(
+        semantics.deploymentTarget,
+        semantics.instanceName
+      );
+    },
+    displayLabel(semantics) {
+      if (semantics.instanceName === null) {
+        return `unit:${semantics.deploymentTarget} (named at runtime)`;
+      }
+      return unitIdentityKey(
+        semantics.deploymentTarget,
+        semantics.instanceName
+      );
+    }
   }
 });
 var SemanticsSchema = external_exports.discriminatedUnion("name", [
@@ -15856,7 +15939,8 @@ var SemanticsSchema = external_exports.discriminatedUnion("name", [
   runtimeConfigSemantics.schema,
   storageSemantics.schema,
   messageBusSemantics.schema,
-  metricSemantics.schema
+  metricSemantics.schema,
+  unitInvocationSemantics.schema
 ]);
 var DEFINITIONS = [
   restSemantics,
@@ -15866,7 +15950,8 @@ var DEFINITIONS = [
   runtimeConfigSemantics,
   storageSemantics,
   messageBusSemantics,
-  metricSemantics
+  metricSemantics,
+  unitInvocationSemantics
 ];
 var BY_NAME = new Map(
   DEFINITIONS.map((d) => [d.name, d])
@@ -15956,6 +16041,13 @@ var TypeShapeSchema = external_exports.lazy(
 );
 
 // ../../ir-core/dist/index.js
+var RelationSchema = external_exports.enum([
+  "provides",
+  "reads",
+  "writes",
+  "invokes"
+]);
+var EffectRelationSchema = RelationSchema.exclude(["provides"]);
 var SuppressionSideSchema = external_exports.object({
   summary: external_exports.string().optional(),
   transitionId: external_exports.string().optional()
@@ -16675,6 +16767,23 @@ var RESOLUTION_QUESTIONS = [
       (0, import_datalog2.lit)("callsInto", (0, import_datalog2.variable)("g"), (0, import_datalog2.variable)("m"), (0, import_datalog2.variable)("n"))
     ]
   ),
+  // Subject identity, its own demand class; the README's subject
+  // section says why the origin pair rides on the written-value walk.
+  (0, import_datalog2.rule)(
+    "wantedSubjectWritten",
+    [(0, import_datalog2.variable)("x"), (0, import_datalog2.variable)("r")],
+    [(0, import_datalog2.lit)("wantedSubject", (0, import_datalog2.variable)("x")), (0, import_datalog2.lit)("isWrittenAs", (0, import_datalog2.variable)("x"), (0, import_datalog2.variable)("r"))]
+  ),
+  (0, import_datalog2.rule)(
+    "wantedSubjectConstruction",
+    [(0, import_datalog2.variable)("x"), (0, import_datalog2.variable)("r"), (0, import_datalog2.variable)("m"), (0, import_datalog2.variable)("n")],
+    [
+      (0, import_datalog2.lit)("wantedSubject", (0, import_datalog2.variable)("x")),
+      (0, import_datalog2.lit)("isWrittenAs", (0, import_datalog2.variable)("x"), (0, import_datalog2.variable)("r")),
+      (0, import_datalog2.lit)("call", (0, import_datalog2.variable)("r"), (0, import_datalog2.variable)("c")),
+      (0, import_datalog2.lit)("comesFrom", (0, import_datalog2.variable)("c"), (0, import_datalog2.variable)("m"), (0, import_datalog2.variable)("n"))
+    ]
+  ),
   // The export table of one module, keyed by the module asked about.
   // The moduleExport rules flatten re-export chains of any length, and
   // the demand cone stays on export facts alone.
@@ -17022,7 +17131,10 @@ async function graphqlObjectFieldUnits(pattern, pack, info, ownBlocks, fileBlock
   const knownClasses = ownBlocks[0]?.knownClasses ?? /* @__PURE__ */ new Set();
   const scope = { nesting: info.bodyNesting, knownClasses };
   const declsByName = /* @__PURE__ */ new Map();
-  for (const stmt of bodyStatements(info.bodyNode)) {
+  for (const stmt of runStatements(
+    info.bodyNode,
+    blockConfiguresCall(pattern)
+  )) {
     const decl = await readFieldCall(stmt, scope, ctx, ancestry);
     if (decl !== null) {
       declsByName.set(decl.fieldName, decl);
@@ -17032,6 +17144,17 @@ async function graphqlObjectFieldUnits(pattern, pack, info, ownBlocks, fileBlock
     (decl) => buildFieldUnit(pack, typeName, decl, options.filePath)
   );
 }
+function blockConfiguresCall(pattern) {
+  const names = /* @__PURE__ */ new Set([
+    pattern.fieldCallName,
+    pattern.typeCallName,
+    pattern.argumentCallName
+  ]);
+  return (call) => {
+    const method = field(call, "method")?.text;
+    return field(call, "receiver") === null && method !== void 0 && names.has(method);
+  };
+}
 function branchesFor(body, range) {
   if (body.effects === void 0 && body.extraEffects === void 0) {
     return [];
@@ -17107,10 +17230,13 @@ async function readFieldCall(stmt, scope, ctx, ancestry) {
   }
   const callArgs = readCallArgs(field(stmt, "arguments"));
   const nameArg = callArgs.positional[0];
-  const symbol2 = nameArg !== void 0 ? symbolValue(nameArg) : null;
-  if (symbol2 === null) {
+  if (nameArg === void 0) {
     return null;
   }
+  const symbol2 = symbolValue(nameArg);
+  if (symbol2 === null) {
+    return computedNameDeclaration(stmt, nameArg);
+  }
   const read = await readFieldShape(
     symbol2,
     callArgs,
@@ -17121,11 +17247,29 @@ async function readFieldCall(stmt, scope, ctx, ancestry) {
   );
   return {
     fieldName: resolvedName(symbol2, callArgs, ctx.pattern),
+    namedOnTheWire: true,
     node: stmt,
     contract: read.contract,
     body: read.body
   };
 }
+function computedNameDeclaration(stmt, nameArg) {
+  const range = rangeOf(stmt);
+  return {
+    fieldName: nameArg.text,
+    namedOnTheWire: false,
+    node: stmt,
+    contract: null,
+    body: {
+      readings: [
+        (0, import_extractor3.unreadableReading)(
+          `This field is named by ${nameArg.text}, which is worked out when the class body runs, so the name the schema exposes it under was not read here`,
+          range
+        )
+      ]
+    }
+  };
+}
 function wiringReference(callArgs, wiringKeywords) {
   for (const keyword of wiringKeywords) {
     const ref = callArgs.keyword[keyword];
@@ -17250,7 +17394,10 @@ function readClassContract(ancestry, pattern) {
     args: /* @__PURE__ */ new Map()
   };
   const handlers = classCallHandlers(pattern);
-  for (const { block, statement } of inheritedStatements(ancestry)) {
+  for (const { block, statement } of inheritedStatements(
+    ancestry,
+    blockConfiguresCall(pattern)
+  )) {
     if (statement.type !== "call" || field(statement, "receiver") !== null) {
       continue;
     }
@@ -17341,12 +17488,12 @@ function buildFieldUnit(pack, typeName, decl, filePath) {
       exportName: null,
       exportPath: null
     },
-    boundaryBinding: (0, import_behavioral_ir.graphqlResolverBinding)({
+    boundaryBinding: decl.namedOnTheWire ? (0, import_behavioral_ir.graphqlResolverBinding)({
       transport: pack.protocol,
       recognition: pack.name,
       typeName,
       fieldName: decl.fieldName
-    }),
+    }) : null,
     parameters,
     branches: branchesFor(decl.body, rangeOf(decl.node)),
     ...decl.body.bodyContent !== void 0 ? { bodyContent: decl.body.bodyContent } : {},
@@ -17417,14 +17564,6 @@ function nodeId(filePath, node) {
 function nameId(filePath, name) {
   return `${filePath}#${name}`;
 }
-var DECLARATION_TYPES2 = /* @__PURE__ */ new Set([
-  "method",
-  "singleton_method",
-  "lambda",
-  "class",
-  "module",
-  "singleton_class"
-]);
 var WRITTEN_VALUE_TYPES = /* @__PURE__ */ new Set([
   "string",
   "integer",
@@ -17562,7 +17701,7 @@ function emitHash(emitter, hash2) {
 }
 function walkExpressions(node, visit) {
   for (const child of children3(node)) {
-    if (DECLARATION_TYPES2.has(child.type)) {
+    if (OWN_BODY_TYPES.has(child.type)) {
       continue;
     }
     visit(child);
@@ -17620,7 +17759,7 @@ function emitMethodFacts(emitter, method) {
   }
   const recordNested = (node) => {
     for (const child of children3(node)) {
-      if (DECLARATION_TYPES2.has(child.type)) {
+      if (OWN_BODY_TYPES.has(child.type)) {
         add(emitter, "containsFn", funcKey, nodeId(emitter.filePath, child));
         continue;
       }

package/dist/index.d.cts

@@ -4,6 +4,16 @@ import { Database } from '@suss/datalog';
 import { TypeShape, BehavioralSummary } from '@suss/behavioral-ir';
 import { RawCodeStructure } from '@suss/extractor';
 
+/**
+ * A new `Parser` for every call, so that parses running at the same time do
+ * not fight over one parser's mutable `language` field. The compiled `Language`
+ * is loaded once per process and shared.
+ */
+declare function parseRuby(source: string): Promise<Tree>;
+
+/** A call whose block is the thing being configured rather than a place statements run. */
+type BlockConfigures = (call: Node) => boolean;
+
 /**
  * Finds the file behind a constant.
  *
@@ -19,13 +29,6 @@ declare function underscoreConstantPath(qualifiedName: string): string;
 /** Null when there is no file at that path. We do not fall back to another root or another spelling. */
 declare function resolveConstantFile(root: string, qualifiedName: string, convention: ConstantPathConvention): string | null;
 
-/**
- * A new `Parser` for every call, so that parses running at the same time do
- * not fight over one parser's mutable `language` field. The compiled `Language`
- * is loaded once per process and shared.
- */
-declare function parseRuby(source: string): Promise<Tree>;
-
 /**
  * Resolves Ruby constant paths against lexical nesting.
  *
@@ -65,7 +68,7 @@ interface ClassInfo {
     /** `Module.nesting` in effect inside this class's own body, innermost first. */
     bodyNesting: readonly string[];
 }
-/** Every `class` declaration reachable from `root` through direct module/class nesting, in source order. */
+/** Every `class` declaration reachable from `root` through module/class nesting, in source order. */
 declare function walkClasses(root: Node, visit: (info: ClassInfo) => void): void;
 /** The same walk including `module` declarations, for a lookup that has to reach a module's own methods. */
 declare function walkDefinitions(root: Node, visit: (info: ClassInfo) => void): void;
@@ -134,7 +137,7 @@ type MethodLookup = {
  */
 declare function methodInAncestry(ancestry: Ancestry, name: string): MethodLookup;
 /** Every statement of every body reached, most distant ancestor first, so a nearer declaration overwrites what it inherits. */
-declare function inheritedStatements(ancestry: Ancestry): Array<{
+declare function inheritedStatements(ancestry: Ancestry, blockConfigures?: BlockConfigures): Array<{
     block: ReachedBody;
     statement: Node;
 }>;

package/dist/index.d.ts

@@ -4,6 +4,16 @@ import { Database } from '@suss/datalog';
 import { TypeShape, BehavioralSummary } from '@suss/behavioral-ir';
 import { RawCodeStructure } from '@suss/extractor';
 
+/**
+ * A new `Parser` for every call, so that parses running at the same time do
+ * not fight over one parser's mutable `language` field. The compiled `Language`
+ * is loaded once per process and shared.
+ */
+declare function parseRuby(source: string): Promise<Tree>;
+
+/** A call whose block is the thing being configured rather than a place statements run. */
+type BlockConfigures = (call: Node) => boolean;
+
 /**
  * Finds the file behind a constant.
  *
@@ -19,13 +29,6 @@ declare function underscoreConstantPath(qualifiedName: string): string;
 /** Null when there is no file at that path. We do not fall back to another root or another spelling. */
 declare function resolveConstantFile(root: string, qualifiedName: string, convention: ConstantPathConvention): string | null;
 
-/**
- * A new `Parser` for every call, so that parses running at the same time do
- * not fight over one parser's mutable `language` field. The compiled `Language`
- * is loaded once per process and shared.
- */
-declare function parseRuby(source: string): Promise<Tree>;
-
 /**
  * Resolves Ruby constant paths against lexical nesting.
  *
@@ -65,7 +68,7 @@ interface ClassInfo {
     /** `Module.nesting` in effect inside this class's own body, innermost first. */
     bodyNesting: readonly string[];
 }
-/** Every `class` declaration reachable from `root` through direct module/class nesting, in source order. */
+/** Every `class` declaration reachable from `root` through module/class nesting, in source order. */
 declare function walkClasses(root: Node, visit: (info: ClassInfo) => void): void;
 /** The same walk including `module` declarations, for a lookup that has to reach a module's own methods. */
 declare function walkDefinitions(root: Node, visit: (info: ClassInfo) => void): void;
@@ -134,7 +137,7 @@ type MethodLookup = {
  */
 declare function methodInAncestry(ancestry: Ancestry, name: string): MethodLookup;
 /** Every statement of every body reached, most distant ancestor first, so a nearer declaration overwrites what it inherits. */
-declare function inheritedStatements(ancestry: Ancestry): Array<{
+declare function inheritedStatements(ancestry: Ancestry, blockConfigures?: BlockConfigures): Array<{
     block: ReachedBody;
     statement: Node;
 }>;

package/dist/index.js

@@ -5,7 +5,7 @@ var __export = (target, all) => {
 };
 
 // src/ast.ts
-import { IdMap, IdSet } from "@suss/extractor";
+import { IdMap, IdSet, SKIP_CHILDREN, walkDescendants } from "@suss/extractor";
 function rangeOf(node) {
   return {
     start: node.startPosition.row + 1,
@@ -21,12 +21,37 @@ function field(node, name) {
 function bodyStatements(body) {
   return body.namedChildren.filter((child) => child !== null);
 }
+var OWN_BODY_TYPES = /* @__PURE__ */ new Set([
+  "method",
+  "singleton_method",
+  "lambda",
+  "class",
+  "module",
+  "singleton_class"
+]);
+var ARGUMENT_LIST_TYPE = "argument_list";
+function runStatements(body, blockConfigures = () => false) {
+  const found = [];
+  const readsItsChildren = (node) => {
+    if (OWN_BODY_TYPES.has(node.type) || node.type === ARGUMENT_LIST_TYPE) {
+      return false;
+    }
+    return !(node.type === "call" && blockConfigures(node));
+  };
+  walkDescendants(body, null, {
+    at: (node) => {
+      found.push(node);
+    },
+    into: (node) => readsItsChildren(node) ? null : SKIP_CHILDREN
+  });
+  return found;
+}
 function symbolValue(node) {
   return node.type === "simple_symbol" ? node.text.slice(1) : null;
 }
 function instanceMethodsByName(body) {
   const methods = /* @__PURE__ */ new Map();
-  for (const stmt of bodyStatements(body)) {
+  for (const stmt of runStatements(body)) {
     if (stmt.type !== "method") {
       continue;
     }
@@ -39,7 +64,7 @@ function instanceMethodsByName(body) {
 }
 function bareCallArgumentGroups(body, name) {
   const groups = [];
-  for (const stmt of bodyStatements(body)) {
+  for (const stmt of runStatements(body)) {
     if (stmt.type !== "call" || field(stmt, "receiver") !== null) {
       continue;
     }
@@ -142,7 +167,7 @@ function walkClasses(root, visit) {
   });
 }
 function walkDefinitions(root, visit) {
-  walkBody(bodyStatements(root), [], visit);
+  walkBody(runStatements(root), [], visit);
 }
 function walkBody(statements, nesting, visit) {
   for (const stmt of statements) {
@@ -181,7 +206,7 @@ function visitClass(node, nesting, visit) {
     bodyNesting: identity.bodyNesting
   });
   if (bodyNode !== null) {
-    walkBody(bodyStatements(bodyNode), identity.bodyNesting, visit);
+    walkBody(runStatements(bodyNode), identity.bodyNesting, visit);
   }
 }
 function visitModule(node, nesting, visit) {
@@ -200,7 +225,7 @@ function visitModule(node, nesting, visit) {
     bodyNesting: identity.bodyNesting
   });
   if (bodyNode !== null) {
-    walkBody(bodyStatements(bodyNode), identity.bodyNesting, visit);
+    walkBody(runStatements(bodyNode), identity.bodyNesting, visit);
   }
 }
 function stripTypeSuffixName(qualifiedName) {
@@ -356,7 +381,7 @@ function definitionIn(blocks, name) {
   }
   return { method, dynamic };
 }
-function inheritedStatements(ancestry) {
+function inheritedStatements(ancestry, blockConfigures) {
   const statements = [];
   for (const entry of [...ancestry].reverse()) {
     if (entry.type !== "bodies") {
@@ -367,7 +392,7 @@ function inheritedStatements(ancestry) {
       if (body === null) {
         continue;
       }
-      for (const statement of bodyStatements(body)) {
+      for (const statement of runStatements(body, blockConfigures)) {
         statements.push({ block, statement });
       }
     }
@@ -593,14 +618,6 @@ function lowerRubyBody(body, terminals) {
 }
 
 // src/paths/effects.ts
-var DECLARATION_TYPES = /* @__PURE__ */ new Set([
-  "method",
-  "singleton_method",
-  "lambda",
-  "class",
-  "module",
-  "singleton_class"
-]);
 var RAISE_NAMES2 = /* @__PURE__ */ new Set(["raise", "fail"]);
 var BLOCK_TYPES = /* @__PURE__ */ new Set([
   "body_statement",
@@ -648,7 +665,7 @@ function isRaise2(node) {
 }
 function bodyCalls(node, found = []) {
   for (const child of children(node)) {
-    if (DECLARATION_TYPES.has(child.type)) {
+    if (OWN_BODY_TYPES.has(child.type)) {
       continue;
     }
     if (child.type === "call" && !isPropertyRead(child) && !isRaise2(child)) {
@@ -15251,7 +15268,7 @@ function date4(params) {
 // ../../../node_modules/zod/v4/classic/external.js
 config(en_default());
 
-// ../../ir-core/dist/chunk-52CH76PE.js
+// ../../ir-core/dist/chunk-QHFMZPEG.js
 function gqlIdentityKey(typeName, fieldName) {
   return `gql:${typeName}.${fieldName}`;
 }
@@ -15261,6 +15278,9 @@ function fnIdentityKey(packageName, exportPath) {
 function busIdentityKey(messageBus, subject) {
   return `bus:${messageBus} ${subject}`;
 }
+function unitIdentityKey(deploymentTarget, instanceName) {
+  return `unit:${deploymentTarget} ${instanceName}`;
+}
 function metricIdentityKey(metricSystem, metricType) {
   return `metric:${metricSystem} ${metricType}`;
 }
@@ -15673,6 +15693,14 @@ var restSemantics = defineBoundarySemantics({
       }
       return routePathAdmits(semantics.path, path4) ? "match" : "nomatch";
     },
+    /**
+     * A route the registration pattern admits is inside it. A route
+     * whose path this source never gave is left outside, because
+     * nothing here can show it is one the pattern covers.
+     */
+    withinScope(semantics, scope) {
+      return semantics.path !== null && routePathAdmits(scope, semantics.path);
+    },
     /**
      * A call whose base URL the deployment fills in, resolved to the
      * path it reaches.
@@ -15794,7 +15822,62 @@ var storageSemantics = defineBoundarySemantics({
     /** A query returns rows or items, not a status and a body. */
     exchangesHttpResponses: false,
     reportsUnpairedItself: false,
-    identityKey: () => null
+    identityKey: () => null,
+    displayLabel: storageLabel
+  }
+});
+function storageLabel(semantics) {
+  return `${semantics.storageSystem}:${storageContainerLabel(semantics)}`;
+}
+function storageContainerLabel(semantics) {
+  const container = semantics.container ?? "<unnamed container>";
+  const addressed = semantics.accessPath === null ? container : `${container}#${semantics.accessPath}`;
+  return semantics.scope === "default" ? addressed : `${semantics.scope}/${addressed}`;
+}
+var UnitInvocationSemanticsSchema = DeployableUnitSchema.extend({
+  name: external_exports.literal("unit-invocation"),
+  instanceName: DeployableUnitSchema.shape.instanceName.nullable()
+});
+var unitInvocationSemantics = defineBoundarySemantics({
+  name: "unit-invocation",
+  schema: UnitInvocationSemanticsSchema,
+  // faas.name is the deployed function's own name and instanceName is
+  // the deployment template's logical id, which is a different string.
+  // Runtime config leaves the pair off for the same reason.
+  semconv: {},
+  behavior: {
+    /**
+     * A synchronous invoke gives back whatever the handler returned,
+     * which is a value rather than a status and a body. A handler's
+     * return only becomes an HTTP response under a proxy integration,
+     * and that route gets a REST binding instead of this one.
+     */
+    exchangesHttpResponses: false,
+    /**
+     * A unit nothing in the run invokes is the ordinary case, since
+     * most services are reached from a stack suss never read. So an
+     * uninvoked unit stays in the generic unmatched list rather than
+     * being reported as a problem here.
+     */
+    reportsUnpairedItself: false,
+    identityKey(semantics) {
+      if (semantics.instanceName === null) {
+        return null;
+      }
+      return unitIdentityKey(
+        semantics.deploymentTarget,
+        semantics.instanceName
+      );
+    },
+    displayLabel(semantics) {
+      if (semantics.instanceName === null) {
+        return `unit:${semantics.deploymentTarget} (named at runtime)`;
+      }
+      return unitIdentityKey(
+        semantics.deploymentTarget,
+        semantics.instanceName
+      );
+    }
   }
 });
 var SemanticsSchema = external_exports.discriminatedUnion("name", [
@@ -15805,7 +15888,8 @@ var SemanticsSchema = external_exports.discriminatedUnion("name", [
   runtimeConfigSemantics.schema,
   storageSemantics.schema,
   messageBusSemantics.schema,
-  metricSemantics.schema
+  metricSemantics.schema,
+  unitInvocationSemantics.schema
 ]);
 var DEFINITIONS = [
   restSemantics,
@@ -15815,7 +15899,8 @@ var DEFINITIONS = [
   runtimeConfigSemantics,
   storageSemantics,
   messageBusSemantics,
-  metricSemantics
+  metricSemantics,
+  unitInvocationSemantics
 ];
 var BY_NAME = new Map(
   DEFINITIONS.map((d) => [d.name, d])
@@ -15905,6 +15990,13 @@ var TypeShapeSchema = external_exports.lazy(
 );
 
 // ../../ir-core/dist/index.js
+var RelationSchema = external_exports.enum([
+  "provides",
+  "reads",
+  "writes",
+  "invokes"
+]);
+var EffectRelationSchema = RelationSchema.exclude(["provides"]);
 var SuppressionSideSchema = external_exports.object({
   summary: external_exports.string().optional(),
   transitionId: external_exports.string().optional()
@@ -16624,6 +16716,23 @@ var RESOLUTION_QUESTIONS = [
       lit("callsInto", v("g"), v("m"), v("n"))
     ]
   ),
+  // Subject identity, its own demand class; the README's subject
+  // section says why the origin pair rides on the written-value walk.
+  rule(
+    "wantedSubjectWritten",
+    [v("x"), v("r")],
+    [lit("wantedSubject", v("x")), lit("isWrittenAs", v("x"), v("r"))]
+  ),
+  rule(
+    "wantedSubjectConstruction",
+    [v("x"), v("r"), v("m"), v("n")],
+    [
+      lit("wantedSubject", v("x")),
+      lit("isWrittenAs", v("x"), v("r")),
+      lit("call", v("r"), v("c")),
+      lit("comesFrom", v("c"), v("m"), v("n"))
+    ]
+  ),
   // The export table of one module, keyed by the module asked about.
   // The moduleExport rules flatten re-export chains of any length, and
   // the demand cone stays on export facts alone.
@@ -16971,7 +17080,10 @@ async function graphqlObjectFieldUnits(pattern, pack, info, ownBlocks, fileBlock
   const knownClasses = ownBlocks[0]?.knownClasses ?? /* @__PURE__ */ new Set();
   const scope = { nesting: info.bodyNesting, knownClasses };
   const declsByName = /* @__PURE__ */ new Map();
-  for (const stmt of bodyStatements(info.bodyNode)) {
+  for (const stmt of runStatements(
+    info.bodyNode,
+    blockConfiguresCall(pattern)
+  )) {
     const decl = await readFieldCall(stmt, scope, ctx, ancestry);
     if (decl !== null) {
       declsByName.set(decl.fieldName, decl);
@@ -16981,6 +17093,17 @@ async function graphqlObjectFieldUnits(pattern, pack, info, ownBlocks, fileBlock
     (decl) => buildFieldUnit(pack, typeName, decl, options.filePath)
   );
 }
+function blockConfiguresCall(pattern) {
+  const names = /* @__PURE__ */ new Set([
+    pattern.fieldCallName,
+    pattern.typeCallName,
+    pattern.argumentCallName
+  ]);
+  return (call) => {
+    const method = field(call, "method")?.text;
+    return field(call, "receiver") === null && method !== void 0 && names.has(method);
+  };
+}
 function branchesFor(body, range) {
   if (body.effects === void 0 && body.extraEffects === void 0) {
     return [];
@@ -17056,10 +17179,13 @@ async function readFieldCall(stmt, scope, ctx, ancestry) {
   }
   const callArgs = readCallArgs(field(stmt, "arguments"));
   const nameArg = callArgs.positional[0];
-  const symbol2 = nameArg !== void 0 ? symbolValue(nameArg) : null;
-  if (symbol2 === null) {
+  if (nameArg === void 0) {
     return null;
   }
+  const symbol2 = symbolValue(nameArg);
+  if (symbol2 === null) {
+    return computedNameDeclaration(stmt, nameArg);
+  }
   const read = await readFieldShape(
     symbol2,
     callArgs,
@@ -17070,11 +17196,29 @@ async function readFieldCall(stmt, scope, ctx, ancestry) {
   );
   return {
     fieldName: resolvedName(symbol2, callArgs, ctx.pattern),
+    namedOnTheWire: true,
     node: stmt,
     contract: read.contract,
     body: read.body
   };
 }
+function computedNameDeclaration(stmt, nameArg) {
+  const range = rangeOf(stmt);
+  return {
+    fieldName: nameArg.text,
+    namedOnTheWire: false,
+    node: stmt,
+    contract: null,
+    body: {
+      readings: [
+        unreadableReading(
+          `This field is named by ${nameArg.text}, which is worked out when the class body runs, so the name the schema exposes it under was not read here`,
+          range
+        )
+      ]
+    }
+  };
+}
 function wiringReference(callArgs, wiringKeywords) {
   for (const keyword of wiringKeywords) {
     const ref = callArgs.keyword[keyword];
@@ -17199,7 +17343,10 @@ function readClassContract(ancestry, pattern) {
     args: /* @__PURE__ */ new Map()
   };
   const handlers = classCallHandlers(pattern);
-  for (const { block, statement } of inheritedStatements(ancestry)) {
+  for (const { block, statement } of inheritedStatements(
+    ancestry,
+    blockConfiguresCall(pattern)
+  )) {
     if (statement.type !== "call" || field(statement, "receiver") !== null) {
       continue;
     }
@@ -17290,12 +17437,12 @@ function buildFieldUnit(pack, typeName, decl, filePath) {
       exportName: null,
       exportPath: null
     },
-    boundaryBinding: graphqlResolverBinding({
+    boundaryBinding: decl.namedOnTheWire ? graphqlResolverBinding({
       transport: pack.protocol,
       recognition: pack.name,
       typeName,
       fieldName: decl.fieldName
-    }),
+    }) : null,
     parameters,
     branches: branchesFor(decl.body, rangeOf(decl.node)),
     ...decl.body.bodyContent !== void 0 ? { bodyContent: decl.body.bodyContent } : {},
@@ -17366,14 +17513,6 @@ function nodeId(filePath, node) {
 function nameId(filePath, name) {
   return `${filePath}#${name}`;
 }
-var DECLARATION_TYPES2 = /* @__PURE__ */ new Set([
-  "method",
-  "singleton_method",
-  "lambda",
-  "class",
-  "module",
-  "singleton_class"
-]);
 var WRITTEN_VALUE_TYPES = /* @__PURE__ */ new Set([
   "string",
   "integer",
@@ -17511,7 +17650,7 @@ function emitHash(emitter, hash2) {
 }
 function walkExpressions(node, visit) {
   for (const child of children3(node)) {
-    if (DECLARATION_TYPES2.has(child.type)) {
+    if (OWN_BODY_TYPES.has(child.type)) {
       continue;
     }
     visit(child);
@@ -17569,7 +17708,7 @@ function emitMethodFacts(emitter, method) {
   }
   const recordNested = (node) => {
     for (const child of children3(node)) {
-      if (DECLARATION_TYPES2.has(child.type)) {
+      if (OWN_BODY_TYPES.has(child.type)) {
         add(emitter, "containsFn", funcKey, nodeId(emitter.filePath, child));
         continue;
       }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/adapter-ruby",
-  "version": "0.20.0",
+  "version": "0.21.0",
   "type": "module",
   "description": "Ruby language adapter for suss, parsing source with tree-sitter (WASM), resolving constant nesting with a lexical binder, and emitting raw extractions for the suss pipeline.",
   "keywords": [
@@ -47,9 +47,9 @@
     "typecheck": "tsc --noEmit"
   },
   "dependencies": {
-    "@suss/behavioral-ir": "0.20.0",
-    "@suss/datalog": "0.20.0",
-    "@suss/extractor": "0.20.0",
+    "@suss/behavioral-ir": "0.21.0",
+    "@suss/datalog": "0.21.0",
+    "@suss/extractor": "0.21.0",
     "web-tree-sitter": "^0.26.11"
   },
   "devDependencies": {