@suss/adapter-python 0.5.10 → 0.6.0

package/dist/index.cjs

@@ -1739,7 +1739,7 @@ __export(core_exports2, {
   parse: () => parse,
   parseAsync: () => parseAsync,
   prettifyError: () => prettifyError,
-  process: () => process,
+  process: () => process2,
   regexes: () => regexes_exports,
   registry: () => registry,
   safeDecode: () => safeDecode,
@@ -12664,7 +12664,7 @@ function initializeContext(params) {
     external: params?.external ?? void 0
   };
 }
-function process(schema, ctx, _params = { path: [], schemaPath: [] }) {
+function process2(schema, ctx, _params = { path: [], schemaPath: [] }) {
   var _a3;
   const def = schema._zod.def;
   const seen = ctx.seen.get(schema);
@@ -12701,7 +12701,7 @@ function process(schema, ctx, _params = { path: [], schemaPath: [] }) {
     if (parent) {
       if (!result.ref)
         result.ref = parent;
-      process(parent, ctx, params);
+      process2(parent, ctx, params);
       ctx.seen.get(parent).isParent = true;
     }
   }
@@ -12989,14 +12989,14 @@ function isTransforming(_schema, _ctx) {
 }
 var createToJSONSchemaMethod = (schema, processors = {}) => (params) => {
   const ctx = initializeContext({ ...params, processors });
-  process(schema, ctx);
+  process2(schema, ctx);
   extractDefs(ctx, schema);
   return finalize(ctx, schema);
 };
 var createStandardJSONSchemaMethod = (schema, io, processors = {}) => (params) => {
   const { libraryOptions, target } = params ?? {};
   const ctx = initializeContext({ ...libraryOptions ?? {}, target, io, processors });
-  process(schema, ctx);
+  process2(schema, ctx);
   extractDefs(ctx, schema);
   return finalize(ctx, schema);
 };
@@ -13242,7 +13242,7 @@ var arrayProcessor = (schema, ctx, _json, params) => {
   if (typeof maximum === "number")
     json2.maxItems = maximum;
   json2.type = "array";
-  json2.items = process(def.element, ctx, {
+  json2.items = process2(def.element, ctx, {
     ...params,
     path: [...params.path, "items"]
   });
@@ -13254,7 +13254,7 @@ var objectProcessor = (schema, ctx, _json, params) => {
   json2.properties = {};
   const shape = def.shape;
   for (const key in shape) {
-    json2.properties[key] = process(shape[key], ctx, {
+    json2.properties[key] = process2(shape[key], ctx, {
       ...params,
       path: [...params.path, "properties", key]
     });
@@ -13277,7 +13277,7 @@ var objectProcessor = (schema, ctx, _json, params) => {
     if (ctx.io === "output")
       json2.additionalProperties = false;
   } else if (def.catchall) {
-    json2.additionalProperties = process(def.catchall, ctx, {
+    json2.additionalProperties = process2(def.catchall, ctx, {
       ...params,
       path: [...params.path, "additionalProperties"]
     });
@@ -13286,7 +13286,7 @@ var objectProcessor = (schema, ctx, _json, params) => {
 var unionProcessor = (schema, ctx, json2, params) => {
   const def = schema._zod.def;
   const isExclusive = def.inclusive === false;
-  const options = def.options.map((x, i) => process(x, ctx, {
+  const options = def.options.map((x, i) => process2(x, ctx, {
     ...params,
     path: [...params.path, isExclusive ? "oneOf" : "anyOf", i]
   }));
@@ -13298,11 +13298,11 @@ var unionProcessor = (schema, ctx, json2, params) => {
 };
 var intersectionProcessor = (schema, ctx, json2, params) => {
   const def = schema._zod.def;
-  const a = process(def.left, ctx, {
+  const a = process2(def.left, ctx, {
     ...params,
     path: [...params.path, "allOf", 0]
   });
-  const b = process(def.right, ctx, {
+  const b = process2(def.right, ctx, {
     ...params,
     path: [...params.path, "allOf", 1]
   });
@@ -13319,11 +13319,11 @@ var tupleProcessor = (schema, ctx, _json, params) => {
   json2.type = "array";
   const prefixPath = ctx.target === "draft-2020-12" ? "prefixItems" : "items";
   const restPath = ctx.target === "draft-2020-12" ? "items" : ctx.target === "openapi-3.0" ? "items" : "additionalItems";
-  const prefixItems = def.items.map((x, i) => process(x, ctx, {
+  const prefixItems = def.items.map((x, i) => process2(x, ctx, {
     ...params,
     path: [...params.path, prefixPath, i]
   }));
-  const rest = def.rest ? process(def.rest, ctx, {
+  const rest = def.rest ? process2(def.rest, ctx, {
     ...params,
     path: [...params.path, restPath, ...ctx.target === "openapi-3.0" ? [def.items.length] : []]
   }) : null;
@@ -13363,7 +13363,7 @@ var recordProcessor = (schema, ctx, _json, params) => {
   const keyBag = keyType._zod.bag;
   const patterns = keyBag?.patterns;
   if (def.mode === "loose" && patterns && patterns.size > 0) {
-    const valueSchema = process(def.valueType, ctx, {
+    const valueSchema = process2(def.valueType, ctx, {
       ...params,
       path: [...params.path, "patternProperties", "*"]
     });
@@ -13373,12 +13373,12 @@ var recordProcessor = (schema, ctx, _json, params) => {
     }
   } else {
     if (ctx.target === "draft-07" || ctx.target === "draft-2020-12") {
-      json2.propertyNames = process(def.keyType, ctx, {
+      json2.propertyNames = process2(def.keyType, ctx, {
         ...params,
         path: [...params.path, "propertyNames"]
       });
     }
-    json2.additionalProperties = process(def.valueType, ctx, {
+    json2.additionalProperties = process2(def.valueType, ctx, {
       ...params,
       path: [...params.path, "additionalProperties"]
     });
@@ -13393,7 +13393,7 @@ var recordProcessor = (schema, ctx, _json, params) => {
 };
 var nullableProcessor = (schema, ctx, json2, params) => {
   const def = schema._zod.def;
-  const inner = process(def.innerType, ctx, params);
+  const inner = process2(def.innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   if (ctx.target === "openapi-3.0") {
     seen.ref = def.innerType;
@@ -13404,20 +13404,20 @@ var nullableProcessor = (schema, ctx, json2, params) => {
 };
 var nonoptionalProcessor = (schema, ctx, _json, params) => {
   const def = schema._zod.def;
-  process(def.innerType, ctx, params);
+  process2(def.innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = def.innerType;
 };
 var defaultProcessor = (schema, ctx, json2, params) => {
   const def = schema._zod.def;
-  process(def.innerType, ctx, params);
+  process2(def.innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = def.innerType;
   json2.default = JSON.parse(JSON.stringify(def.defaultValue));
 };
 var prefaultProcessor = (schema, ctx, json2, params) => {
   const def = schema._zod.def;
-  process(def.innerType, ctx, params);
+  process2(def.innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = def.innerType;
   if (ctx.io === "input")
@@ -13425,7 +13425,7 @@ var prefaultProcessor = (schema, ctx, json2, params) => {
 };
 var catchProcessor = (schema, ctx, json2, params) => {
   const def = schema._zod.def;
-  process(def.innerType, ctx, params);
+  process2(def.innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = def.innerType;
   let catchValue;
@@ -13440,32 +13440,32 @@ var pipeProcessor = (schema, ctx, _json, params) => {
   const def = schema._zod.def;
   const inIsTransform = def.in._zod.traits.has("$ZodTransform");
   const innerType = ctx.io === "input" ? inIsTransform ? def.out : def.in : def.out;
-  process(innerType, ctx, params);
+  process2(innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = innerType;
 };
 var readonlyProcessor = (schema, ctx, json2, params) => {
   const def = schema._zod.def;
-  process(def.innerType, ctx, params);
+  process2(def.innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = def.innerType;
   json2.readOnly = true;
 };
 var promiseProcessor = (schema, ctx, _json, params) => {
   const def = schema._zod.def;
-  process(def.innerType, ctx, params);
+  process2(def.innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = def.innerType;
 };
 var optionalProcessor = (schema, ctx, _json, params) => {
   const def = schema._zod.def;
-  process(def.innerType, ctx, params);
+  process2(def.innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = def.innerType;
 };
 var lazyProcessor = (schema, ctx, _json, params) => {
   const innerType = schema._zod.innerType;
-  process(innerType, ctx, params);
+  process2(innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = innerType;
 };
@@ -13517,7 +13517,7 @@ function toJSONSchema(input, params) {
     const defs = {};
     for (const entry of registry2._idmap.entries()) {
       const [_, schema] = entry;
-      process(schema, ctx2);
+      process2(schema, ctx2);
     }
     const schemas = {};
     const external = {
@@ -13540,7 +13540,7 @@ function toJSONSchema(input, params) {
     return { schemas };
   }
   const ctx = initializeContext({ ...params, processors: allProcessors });
-  process(input, ctx);
+  process2(input, ctx);
   extractDefs(ctx, input);
   return finalize(ctx, input);
 }
@@ -13598,7 +13598,7 @@ var JSONSchemaGenerator = class {
    * This must be called before emit().
    */
   process(schema, _params = { path: [], schemaPath: [] }) {
-    return process(schema, this.ctx, _params);
+    return process2(schema, this.ctx, _params);
   }
   /**
    * Emit the final JSON Schema after processing.
@@ -15747,7 +15747,7 @@ function date4(params) {
 // ../../../node_modules/zod/v4/classic/external.js
 config(en_default());
 
-// ../../ir-core/dist/chunk-WKR5SU4N.js
+// ../../ir-core/dist/chunk-TEXSN75M.js
 function gqlIdentityKey(typeName, fieldName) {
   return `gql:${typeName}.${fieldName}`;
 }
@@ -16116,27 +16116,41 @@ var runtimeConfigSemantics = defineBoundarySemantics({
     identityKey: () => null
   }
 });
-var StorageRelationalSemanticsSchema = external_exports.object({
-  name: external_exports.literal("storage-relational"),
-  storageSystem: external_exports.enum(["postgres", "mysql", "sqlite"]),
+var StorageSemanticsSchema = external_exports.object({
+  name: external_exports.literal("storage"),
   /**
-   * The ORM or driver scope. A single-database setup uses `"default"`,
-   * and a monorepo with several schemas gives each one its own value.
+   * Which store this is: postgres, mysql, sqlite, dynamodb. Two
+   * products' containers can share a name, so this keeps them apart,
+   * and it is what a finding message calls the store.
+   */
+  storageSystem: external_exports.string(),
+  /**
+   * The ORM, schema, or deployment scope. A single-database setup uses
+   * `"default"`, and a monorepo with several schemas gives each one its
+   * own value.
    */
   scope: external_exports.string(),
   /**
-   * The table or model name as the schema declares it, or null when
-   * the source states one this reader could not settle. A null table
-   * pairs with nothing, rather than with whatever its source text
-   * happens to spell.
+   * The table, bucket, collection, or index, as the source declares
+   * it, or null when the source states one this reader could not
+   * settle. A null container pairs with nothing, rather than with
+   * whatever its source text happens to spell.
    */
-  table: external_exports.string().nullable()
+  container: external_exports.string().nullable(),
+  /**
+   * A secondary way into the container, a DynamoDB global secondary
+   * index or an Elasticsearch alias, each with its own key fields.
+   * Null means the container's own primary way in. A query through an
+   * index and a query through the table are different accesses, so
+   * they pair separately.
+   */
+  accessPath: external_exports.string().nullable()
 });
-var storageRelationalSemantics = defineBoundarySemantics({
-  name: "storage-relational",
-  schema: StorageRelationalSemanticsSchema,
+var storageSemantics = defineBoundarySemantics({
+  name: "storage",
+  schema: StorageSemanticsSchema,
   behavior: {
-    /** A query returns rows, not a status and a body. */
+    /** A query returns rows or items, not a status and a body. */
     exchangesHttpResponses: false,
     reportsUnpairedItself: false,
     identityKey: () => null
@@ -16148,7 +16162,7 @@ var SemanticsSchema = external_exports.discriminatedUnion("name", [
   graphqlResolverSemantics.schema,
   graphqlOperationSemantics.schema,
   runtimeConfigSemantics.schema,
-  storageRelationalSemantics.schema,
+  storageSemantics.schema,
   messageBusSemantics.schema
 ]);
 var DEFINITIONS = [
@@ -16157,7 +16171,7 @@ var DEFINITIONS = [
   graphqlResolverSemantics,
   graphqlOperationSemantics,
   runtimeConfigSemantics,
-  storageRelationalSemantics,
+  storageSemantics,
   messageBusSemantics
 ];
 var BY_NAME = new Map(
@@ -16297,19 +16311,97 @@ function namedOrNull(value, field2) {
   }
   return value;
 }
-function storageRelationalBinding(opts) {
+function storageBinding(opts) {
   return {
-    transport: opts.storageSystem,
+    transport: opts.transport ?? opts.storageSystem,
     semantics: {
-      name: "storage-relational",
+      name: "storage",
       storageSystem: opts.storageSystem,
       scope: opts.scope,
-      table: namedOrNull(opts.table, "storage table")
+      container: namedOrNull(opts.container, "storage container"),
+      accessPath: opts.accessPath ?? null
     },
     recognition: opts.recognition
   };
 }
 
+// src/rawSql.ts
+var import_sql = require("@suss/sql");
+function rawSqlEffects(calls, options) {
+  if (options.patterns.length === 0) {
+    return [];
+  }
+  const effects = [];
+  for (const call of calls) {
+    const pattern = patternFor(call, options);
+    if (pattern === void 0) {
+      continue;
+    }
+    const statement = statementIn(call);
+    if (statement === null) {
+      continue;
+    }
+    for (const access of (0, import_sql.readSqlAccess)(statement, {
+      dialect: pattern.storageSystem
+    })) {
+      effects.push({
+        type: "interaction",
+        binding: storageBinding({
+          recognition: `python-${pattern.module}`,
+          storageSystem: pattern.storageSystem,
+          scope: pattern.module,
+          container: access.table
+        }),
+        callee: field(call, "function")?.text ?? "",
+        interaction: {
+          class: "storage-access",
+          kind: access.kind,
+          fields: access.fields,
+          ...access.selector.length > 0 ? { selector: access.selector } : {},
+          operation: field(call, "function")?.text ?? ""
+        }
+      });
+    }
+  }
+  return effects;
+}
+function patternFor(call, options) {
+  const callee = field(call, "function");
+  if (callee === null || callee.type !== "identifier") {
+    return void 0;
+  }
+  const from = options.facts.facts("pyImportedName").find((row) => String(row[0]) === `${options.filePath}#${callee.text}`);
+  if (from === void 0) {
+    return void 0;
+  }
+  const module2 = String(from[1]);
+  return options.patterns.find(
+    (pattern) => pattern.module === module2 && pattern.functions.includes(callee.text)
+  );
+}
+function statementIn(call) {
+  const args = field(call, "arguments");
+  const first = args?.namedChildren.find((child) => child !== null) ?? null;
+  if (first === null || first.type !== "string") {
+    return null;
+  }
+  const parts = [""];
+  for (const child of first.namedChildren) {
+    if (child === null) {
+      continue;
+    }
+    if (child.type === "string_content") {
+      parts[parts.length - 1] += child.text;
+      continue;
+    }
+    if (child.type === "interpolation") {
+      parts.push("");
+    }
+  }
+  const statement = (0, import_sql.sqlFromParts)(parts);
+  return statement.trim() === "" ? null : statement;
+}
+
 // src/facts/resolve.ts
 var import_datalog2 = require("@suss/datalog");
 
@@ -17160,11 +17252,11 @@ function effectFor(pattern, chain, options) {
   ];
   return {
     type: "interaction",
-    binding: storageRelationalBinding({
+    binding: storageBinding({
       recognition: "python-storage",
       storageSystem: pattern.storageSystem,
       scope: pattern.module,
-      table: chain.subject
+      container: chain.subject
     }),
     callee: chain.last.text,
     interaction: {
@@ -17907,10 +17999,17 @@ function buildRouteUnit(options) {
     () => readReturnAnnotation(definitionNode, enclosingScope, ctx)
   );
   const effects = invocationEffects(definitionNode);
-  const storage = storageLookup === void 0 ? [] : storageEffects(bodyCalls(definitionNode), {
-    ...storageLookup,
-    filePath: storageLookup.factsPath
-  });
+  const storage = storageLookup === void 0 ? [] : [
+    ...storageEffects(bodyCalls(definitionNode), {
+      ...storageLookup,
+      filePath: storageLookup.factsPath
+    }),
+    ...rawSqlEffects(bodyCalls(definitionNode), {
+      facts: storageLookup.facts,
+      filePath: storageLookup.factsPath,
+      patterns: storageLookup.rawSql ?? []
+    })
+  ];
   const perReturn = branchesFromReturns(
     readsReturnedStatus,
     definitionNode,
@@ -19231,11 +19330,26 @@ function carrierPrefix(carrier, constructorArg, objectName, scope, scan) {
 }
 
 // src/project.ts
+function reportUnresolvedProjectModules(options) {
+  for (const pack of options.packs) {
+    for (const module2 of pack.projectModules ?? []) {
+      const resolved = resolveAbsoluteModule(module2, { roots: options.roots });
+      if (resolved.status === "resolved") {
+        continue;
+      }
+      process.stderr.write(
+        `[suss] ${pack.name}: the configured module ${module2} does not resolve under ${options.roots.join(", ")}, so nothing it wraps will be discovered.
+`
+      );
+    }
+  }
+}
 async function extractPythonProject(options) {
   const db = new import_datalog3.Database();
   const summaries = [];
   const gapHandling = options.gapHandling ?? "permissive";
   const displayPathOf = (file2) => options.workspaceRoot !== void 0 ? import_node_path3.default.relative(options.workspaceRoot, file2) : file2;
+  reportUnresolvedProjectModules(options);
   const bound = [];
   for (const file2 of options.files) {
     const source = import_node_fs3.default.readFileSync(file2, "utf8");
@@ -19251,6 +19365,7 @@ async function extractPythonProject(options) {
     (pack) => pack.discovery.some((pattern) => pattern.routerComposition !== void 0)
   );
   const storagePatterns = options.packs.flatMap((pack) => pack.storage ?? []);
+  const rawSqlPatterns = options.packs.flatMap((pack) => pack.rawSql ?? []);
   const needsValues = mountsRouters || storagePatterns.length > 0;
   const definitions = /* @__PURE__ */ new Map();
   for (const { file: file2, root, module: moduleBinding } of bound) {
@@ -19280,14 +19395,15 @@ async function extractPythonProject(options) {
       absoluteFile: file2,
       routerIndex,
       gapHandling,
-      ...storagePatterns.length > 0 ? {
+      ...storagePatterns.length > 0 || rawSqlPatterns.length > 0 ? {
         storage: {
           facts: db,
           factsPath: file2,
           patterns: storagePatterns,
           definitionAt: (key) => definitions.get(key),
           couldMatch,
-          leadsToStorage
+          leadsToStorage,
+          rawSql: rawSqlPatterns
         }
       } : {}
     });
@@ -19298,8 +19414,31 @@ async function extractPythonProject(options) {
       emitEntryFact(db, file2, raw.identity.range, raw.identity.name);
     }
   }
+  stampModuleImports(summaries, db, displayPathOf);
   return { summaries, facts: db };
 }
+function stampModuleImports(summaries, db, displayPathOf) {
+  const importsByFile = /* @__PURE__ */ new Map();
+  for (const [from, , to] of db.facts("pyImportResolved")) {
+    if (typeof from !== "string" || typeof to !== "string") {
+      continue;
+    }
+    const key = displayPathOf(from);
+    const seen = importsByFile.get(key) ?? /* @__PURE__ */ new Set();
+    seen.add(displayPathOf(to));
+    importsByFile.set(key, seen);
+  }
+  for (const summary of summaries) {
+    const imports = importsByFile.get(summary.location.file);
+    if (imports === void 0 || imports.size === 0) {
+      continue;
+    }
+    summary.metadata = {
+      ...summary.metadata ?? {},
+      moduleImports: [...imports].sort()
+    };
+  }
+}
 var SKIPPED_DIRECTORIES = /* @__PURE__ */ new Set([
   "__pycache__",
   ".venv",

package/dist/index.d.cts

@@ -178,8 +178,19 @@ interface PythonPack {
     /** Wire protocol for the produced boundary bindings, e.g. "http". */
     protocol: string;
     discovery: PythonDiscoveryPattern[];
+    /**
+     * Modules the project itself supplies, the wrappers a person names
+     * when configuring the pack. The library's own module is not one of
+     * these: it lives outside the project and would never resolve. The
+     * adapter checks each of these against the project's roots, because
+     * a wrapper that resolves to nothing does not match any decorator
+     * and never says why (#188).
+     */
+    projectModules?: string[];
     /** What the library's own database queries look like. The README says how one is matched. */
     storage?: StoragePattern[];
+    /** How the library lets a project hand the database SQL it wrote itself. */
+    rawSql?: RawSqlPattern[];
 }
 /**
  * A call talks to the database when the method behind it says it returns one
@@ -203,6 +214,20 @@ interface StoragePattern {
     /** Which database the library is talking to, for the boundary binding. */
     storageSystem: "postgres" | "mysql" | "sqlite";
 }
+/**
+ * The function a library gives a project for handing the database a
+ * statement written as SQL, and where it comes from. SQLAlchemy exports
+ * `text` from `sqlalchemy`. A local function of the same name is
+ * somebody else's, so the import is what settles a match.
+ */
+interface RawSqlPattern {
+    /** The module the function is imported from. */
+    module: string;
+    /** The functions that take a statement written as SQL. */
+    functions: string[];
+    /** Which database the library is talking to, for the boundary binding. */
+    storageSystem: "postgres" | "mysql" | "sqlite";
+}
 type PythonDiscoveryPattern = DecoratedClassRoute | DecoratedFunctionRoute;
 /** Conventions both kinds of route share. Each one describes what the library does, never a project's choice. */
 interface RouteConventions {
@@ -361,6 +386,8 @@ interface StorageLookup {
     readonly definitionAt: (key: string) => Node | undefined;
     readonly couldMatch: ReadonlySet<string>;
     readonly leadsToStorage: ReadonlySet<string>;
+    /** What a pack says about statements a project writes as SQL itself. */
+    readonly rawSql?: readonly RawSqlPattern[];
 }
 
 /**
@@ -542,4 +569,4 @@ declare function extractPythonProject(options: ExtractPythonOptions): Promise<Ex
 /** Every `.py` file under `root`, depth-first, skipping the usual non-source directories. */
 declare function findPythonFiles(root: string): string[];
 
-export { type AnnotationContext, type Binding, type BoundPythonFile, type DecoratedClassRoute, type DecoratedFunctionRoute, type DecoratorArg, type DecoratorClassification, type DiscoveryOptions, type ExtractPythonOptions, type ExtractPythonResult, type ModuleBinding, type ModuleResolution, type ModuleResolverOptions, type MountObjectCarrier, type MountObjectPrefix, type MountPrefixEffect, type NoValuePrefix, type PathRepeatedSlashes, type PrefixTrailingSlash, type PythonDiscoveryPattern, type PythonPack, type RelativeModuleSpec, type RouteConventions, type RoutePrefixResolution, type RouterComposition, type RouterIndex, type Scope, type ScopeKind, type StoragePattern, annotationToShape, bindModule, buildRouterIndex, classifyDecorator, containedValues, discoverUnits, emitEntryFact, emitModuleImportFacts, emitValueFacts, extractPythonProject, findPythonFiles, nodeId, objectReturnedBy, parsePython, resolveAbsoluteModule, resolveCalls, resolveModule, resolveName, resolveRelativeModule, shapeFromName, unitKey };
+export { type AnnotationContext, type Binding, type BoundPythonFile, type DecoratedClassRoute, type DecoratedFunctionRoute, type DecoratorArg, type DecoratorClassification, type DiscoveryOptions, type ExtractPythonOptions, type ExtractPythonResult, type ModuleBinding, type ModuleResolution, type ModuleResolverOptions, type MountObjectCarrier, type MountObjectPrefix, type MountPrefixEffect, type NoValuePrefix, type PathRepeatedSlashes, type PrefixTrailingSlash, type PythonDiscoveryPattern, type PythonPack, type RawSqlPattern, type RelativeModuleSpec, type RouteConventions, type RoutePrefixResolution, type RouterComposition, type RouterIndex, type Scope, type ScopeKind, type StoragePattern, annotationToShape, bindModule, buildRouterIndex, classifyDecorator, containedValues, discoverUnits, emitEntryFact, emitModuleImportFacts, emitValueFacts, extractPythonProject, findPythonFiles, nodeId, objectReturnedBy, parsePython, resolveAbsoluteModule, resolveCalls, resolveModule, resolveName, resolveRelativeModule, shapeFromName, unitKey };

package/dist/index.d.ts

@@ -178,8 +178,19 @@ interface PythonPack {
     /** Wire protocol for the produced boundary bindings, e.g. "http". */
     protocol: string;
     discovery: PythonDiscoveryPattern[];
+    /**
+     * Modules the project itself supplies, the wrappers a person names
+     * when configuring the pack. The library's own module is not one of
+     * these: it lives outside the project and would never resolve. The
+     * adapter checks each of these against the project's roots, because
+     * a wrapper that resolves to nothing does not match any decorator
+     * and never says why (#188).
+     */
+    projectModules?: string[];
     /** What the library's own database queries look like. The README says how one is matched. */
     storage?: StoragePattern[];
+    /** How the library lets a project hand the database SQL it wrote itself. */
+    rawSql?: RawSqlPattern[];
 }
 /**
  * A call talks to the database when the method behind it says it returns one
@@ -203,6 +214,20 @@ interface StoragePattern {
     /** Which database the library is talking to, for the boundary binding. */
     storageSystem: "postgres" | "mysql" | "sqlite";
 }
+/**
+ * The function a library gives a project for handing the database a
+ * statement written as SQL, and where it comes from. SQLAlchemy exports
+ * `text` from `sqlalchemy`. A local function of the same name is
+ * somebody else's, so the import is what settles a match.
+ */
+interface RawSqlPattern {
+    /** The module the function is imported from. */
+    module: string;
+    /** The functions that take a statement written as SQL. */
+    functions: string[];
+    /** Which database the library is talking to, for the boundary binding. */
+    storageSystem: "postgres" | "mysql" | "sqlite";
+}
 type PythonDiscoveryPattern = DecoratedClassRoute | DecoratedFunctionRoute;
 /** Conventions both kinds of route share. Each one describes what the library does, never a project's choice. */
 interface RouteConventions {
@@ -361,6 +386,8 @@ interface StorageLookup {
     readonly definitionAt: (key: string) => Node | undefined;
     readonly couldMatch: ReadonlySet<string>;
     readonly leadsToStorage: ReadonlySet<string>;
+    /** What a pack says about statements a project writes as SQL itself. */
+    readonly rawSql?: readonly RawSqlPattern[];
 }
 
 /**
@@ -542,4 +569,4 @@ declare function extractPythonProject(options: ExtractPythonOptions): Promise<Ex
 /** Every `.py` file under `root`, depth-first, skipping the usual non-source directories. */
 declare function findPythonFiles(root: string): string[];
 
-export { type AnnotationContext, type Binding, type BoundPythonFile, type DecoratedClassRoute, type DecoratedFunctionRoute, type DecoratorArg, type DecoratorClassification, type DiscoveryOptions, type ExtractPythonOptions, type ExtractPythonResult, type ModuleBinding, type ModuleResolution, type ModuleResolverOptions, type MountObjectCarrier, type MountObjectPrefix, type MountPrefixEffect, type NoValuePrefix, type PathRepeatedSlashes, type PrefixTrailingSlash, type PythonDiscoveryPattern, type PythonPack, type RelativeModuleSpec, type RouteConventions, type RoutePrefixResolution, type RouterComposition, type RouterIndex, type Scope, type ScopeKind, type StoragePattern, annotationToShape, bindModule, buildRouterIndex, classifyDecorator, containedValues, discoverUnits, emitEntryFact, emitModuleImportFacts, emitValueFacts, extractPythonProject, findPythonFiles, nodeId, objectReturnedBy, parsePython, resolveAbsoluteModule, resolveCalls, resolveModule, resolveName, resolveRelativeModule, shapeFromName, unitKey };
+export { type AnnotationContext, type Binding, type BoundPythonFile, type DecoratedClassRoute, type DecoratedFunctionRoute, type DecoratorArg, type DecoratorClassification, type DiscoveryOptions, type ExtractPythonOptions, type ExtractPythonResult, type ModuleBinding, type ModuleResolution, type ModuleResolverOptions, type MountObjectCarrier, type MountObjectPrefix, type MountPrefixEffect, type NoValuePrefix, type PathRepeatedSlashes, type PrefixTrailingSlash, type PythonDiscoveryPattern, type PythonPack, type RawSqlPattern, type RelativeModuleSpec, type RouteConventions, type RoutePrefixResolution, type RouterComposition, type RouterIndex, type Scope, type ScopeKind, type StoragePattern, annotationToShape, bindModule, buildRouterIndex, classifyDecorator, containedValues, discoverUnits, emitEntryFact, emitModuleImportFacts, emitValueFacts, extractPythonProject, findPythonFiles, nodeId, objectReturnedBy, parsePython, resolveAbsoluteModule, resolveCalls, resolveModule, resolveName, resolveRelativeModule, shapeFromName, unitKey };

package/dist/index.js

@@ -1695,7 +1695,7 @@ __export(core_exports2, {
   parse: () => parse,
   parseAsync: () => parseAsync,
   prettifyError: () => prettifyError,
-  process: () => process,
+  process: () => process2,
   regexes: () => regexes_exports,
   registry: () => registry,
   safeDecode: () => safeDecode,
@@ -12620,7 +12620,7 @@ function initializeContext(params) {
     external: params?.external ?? void 0
   };
 }
-function process(schema, ctx, _params = { path: [], schemaPath: [] }) {
+function process2(schema, ctx, _params = { path: [], schemaPath: [] }) {
   var _a3;
   const def = schema._zod.def;
   const seen = ctx.seen.get(schema);
@@ -12657,7 +12657,7 @@ function process(schema, ctx, _params = { path: [], schemaPath: [] }) {
     if (parent) {
       if (!result.ref)
         result.ref = parent;
-      process(parent, ctx, params);
+      process2(parent, ctx, params);
       ctx.seen.get(parent).isParent = true;
     }
   }
@@ -12945,14 +12945,14 @@ function isTransforming(_schema, _ctx) {
 }
 var createToJSONSchemaMethod = (schema, processors = {}) => (params) => {
   const ctx = initializeContext({ ...params, processors });
-  process(schema, ctx);
+  process2(schema, ctx);
   extractDefs(ctx, schema);
   return finalize(ctx, schema);
 };
 var createStandardJSONSchemaMethod = (schema, io, processors = {}) => (params) => {
   const { libraryOptions, target } = params ?? {};
   const ctx = initializeContext({ ...libraryOptions ?? {}, target, io, processors });
-  process(schema, ctx);
+  process2(schema, ctx);
   extractDefs(ctx, schema);
   return finalize(ctx, schema);
 };
@@ -13198,7 +13198,7 @@ var arrayProcessor = (schema, ctx, _json, params) => {
   if (typeof maximum === "number")
     json2.maxItems = maximum;
   json2.type = "array";
-  json2.items = process(def.element, ctx, {
+  json2.items = process2(def.element, ctx, {
     ...params,
     path: [...params.path, "items"]
   });
@@ -13210,7 +13210,7 @@ var objectProcessor = (schema, ctx, _json, params) => {
   json2.properties = {};
   const shape = def.shape;
   for (const key in shape) {
-    json2.properties[key] = process(shape[key], ctx, {
+    json2.properties[key] = process2(shape[key], ctx, {
       ...params,
       path: [...params.path, "properties", key]
     });
@@ -13233,7 +13233,7 @@ var objectProcessor = (schema, ctx, _json, params) => {
     if (ctx.io === "output")
       json2.additionalProperties = false;
   } else if (def.catchall) {
-    json2.additionalProperties = process(def.catchall, ctx, {
+    json2.additionalProperties = process2(def.catchall, ctx, {
       ...params,
       path: [...params.path, "additionalProperties"]
     });
@@ -13242,7 +13242,7 @@ var objectProcessor = (schema, ctx, _json, params) => {
 var unionProcessor = (schema, ctx, json2, params) => {
   const def = schema._zod.def;
   const isExclusive = def.inclusive === false;
-  const options = def.options.map((x, i) => process(x, ctx, {
+  const options = def.options.map((x, i) => process2(x, ctx, {
     ...params,
     path: [...params.path, isExclusive ? "oneOf" : "anyOf", i]
   }));
@@ -13254,11 +13254,11 @@ var unionProcessor = (schema, ctx, json2, params) => {
 };
 var intersectionProcessor = (schema, ctx, json2, params) => {
   const def = schema._zod.def;
-  const a = process(def.left, ctx, {
+  const a = process2(def.left, ctx, {
     ...params,
     path: [...params.path, "allOf", 0]
   });
-  const b = process(def.right, ctx, {
+  const b = process2(def.right, ctx, {
     ...params,
     path: [...params.path, "allOf", 1]
   });
@@ -13275,11 +13275,11 @@ var tupleProcessor = (schema, ctx, _json, params) => {
   json2.type = "array";
   const prefixPath = ctx.target === "draft-2020-12" ? "prefixItems" : "items";
   const restPath = ctx.target === "draft-2020-12" ? "items" : ctx.target === "openapi-3.0" ? "items" : "additionalItems";
-  const prefixItems = def.items.map((x, i) => process(x, ctx, {
+  const prefixItems = def.items.map((x, i) => process2(x, ctx, {
     ...params,
     path: [...params.path, prefixPath, i]
   }));
-  const rest = def.rest ? process(def.rest, ctx, {
+  const rest = def.rest ? process2(def.rest, ctx, {
     ...params,
     path: [...params.path, restPath, ...ctx.target === "openapi-3.0" ? [def.items.length] : []]
   }) : null;
@@ -13319,7 +13319,7 @@ var recordProcessor = (schema, ctx, _json, params) => {
   const keyBag = keyType._zod.bag;
   const patterns = keyBag?.patterns;
   if (def.mode === "loose" && patterns && patterns.size > 0) {
-    const valueSchema = process(def.valueType, ctx, {
+    const valueSchema = process2(def.valueType, ctx, {
       ...params,
       path: [...params.path, "patternProperties", "*"]
     });
@@ -13329,12 +13329,12 @@ var recordProcessor = (schema, ctx, _json, params) => {
     }
   } else {
     if (ctx.target === "draft-07" || ctx.target === "draft-2020-12") {
-      json2.propertyNames = process(def.keyType, ctx, {
+      json2.propertyNames = process2(def.keyType, ctx, {
         ...params,
         path: [...params.path, "propertyNames"]
       });
     }
-    json2.additionalProperties = process(def.valueType, ctx, {
+    json2.additionalProperties = process2(def.valueType, ctx, {
       ...params,
       path: [...params.path, "additionalProperties"]
     });
@@ -13349,7 +13349,7 @@ var recordProcessor = (schema, ctx, _json, params) => {
 };
 var nullableProcessor = (schema, ctx, json2, params) => {
   const def = schema._zod.def;
-  const inner = process(def.innerType, ctx, params);
+  const inner = process2(def.innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   if (ctx.target === "openapi-3.0") {
     seen.ref = def.innerType;
@@ -13360,20 +13360,20 @@ var nullableProcessor = (schema, ctx, json2, params) => {
 };
 var nonoptionalProcessor = (schema, ctx, _json, params) => {
   const def = schema._zod.def;
-  process(def.innerType, ctx, params);
+  process2(def.innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = def.innerType;
 };
 var defaultProcessor = (schema, ctx, json2, params) => {
   const def = schema._zod.def;
-  process(def.innerType, ctx, params);
+  process2(def.innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = def.innerType;
   json2.default = JSON.parse(JSON.stringify(def.defaultValue));
 };
 var prefaultProcessor = (schema, ctx, json2, params) => {
   const def = schema._zod.def;
-  process(def.innerType, ctx, params);
+  process2(def.innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = def.innerType;
   if (ctx.io === "input")
@@ -13381,7 +13381,7 @@ var prefaultProcessor = (schema, ctx, json2, params) => {
 };
 var catchProcessor = (schema, ctx, json2, params) => {
   const def = schema._zod.def;
-  process(def.innerType, ctx, params);
+  process2(def.innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = def.innerType;
   let catchValue;
@@ -13396,32 +13396,32 @@ var pipeProcessor = (schema, ctx, _json, params) => {
   const def = schema._zod.def;
   const inIsTransform = def.in._zod.traits.has("$ZodTransform");
   const innerType = ctx.io === "input" ? inIsTransform ? def.out : def.in : def.out;
-  process(innerType, ctx, params);
+  process2(innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = innerType;
 };
 var readonlyProcessor = (schema, ctx, json2, params) => {
   const def = schema._zod.def;
-  process(def.innerType, ctx, params);
+  process2(def.innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = def.innerType;
   json2.readOnly = true;
 };
 var promiseProcessor = (schema, ctx, _json, params) => {
   const def = schema._zod.def;
-  process(def.innerType, ctx, params);
+  process2(def.innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = def.innerType;
 };
 var optionalProcessor = (schema, ctx, _json, params) => {
   const def = schema._zod.def;
-  process(def.innerType, ctx, params);
+  process2(def.innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = def.innerType;
 };
 var lazyProcessor = (schema, ctx, _json, params) => {
   const innerType = schema._zod.innerType;
-  process(innerType, ctx, params);
+  process2(innerType, ctx, params);
   const seen = ctx.seen.get(schema);
   seen.ref = innerType;
 };
@@ -13473,7 +13473,7 @@ function toJSONSchema(input, params) {
     const defs = {};
     for (const entry of registry2._idmap.entries()) {
       const [_, schema] = entry;
-      process(schema, ctx2);
+      process2(schema, ctx2);
     }
     const schemas = {};
     const external = {
@@ -13496,7 +13496,7 @@ function toJSONSchema(input, params) {
     return { schemas };
   }
   const ctx = initializeContext({ ...params, processors: allProcessors });
-  process(input, ctx);
+  process2(input, ctx);
   extractDefs(ctx, input);
   return finalize(ctx, input);
 }
@@ -13554,7 +13554,7 @@ var JSONSchemaGenerator = class {
    * This must be called before emit().
    */
   process(schema, _params = { path: [], schemaPath: [] }) {
-    return process(schema, this.ctx, _params);
+    return process2(schema, this.ctx, _params);
   }
   /**
    * Emit the final JSON Schema after processing.
@@ -15703,7 +15703,7 @@ function date4(params) {
 // ../../../node_modules/zod/v4/classic/external.js
 config(en_default());
 
-// ../../ir-core/dist/chunk-WKR5SU4N.js
+// ../../ir-core/dist/chunk-TEXSN75M.js
 function gqlIdentityKey(typeName, fieldName) {
   return `gql:${typeName}.${fieldName}`;
 }
@@ -16072,27 +16072,41 @@ var runtimeConfigSemantics = defineBoundarySemantics({
     identityKey: () => null
   }
 });
-var StorageRelationalSemanticsSchema = external_exports.object({
-  name: external_exports.literal("storage-relational"),
-  storageSystem: external_exports.enum(["postgres", "mysql", "sqlite"]),
+var StorageSemanticsSchema = external_exports.object({
+  name: external_exports.literal("storage"),
   /**
-   * The ORM or driver scope. A single-database setup uses `"default"`,
-   * and a monorepo with several schemas gives each one its own value.
+   * Which store this is: postgres, mysql, sqlite, dynamodb. Two
+   * products' containers can share a name, so this keeps them apart,
+   * and it is what a finding message calls the store.
+   */
+  storageSystem: external_exports.string(),
+  /**
+   * The ORM, schema, or deployment scope. A single-database setup uses
+   * `"default"`, and a monorepo with several schemas gives each one its
+   * own value.
    */
   scope: external_exports.string(),
   /**
-   * The table or model name as the schema declares it, or null when
-   * the source states one this reader could not settle. A null table
-   * pairs with nothing, rather than with whatever its source text
-   * happens to spell.
+   * The table, bucket, collection, or index, as the source declares
+   * it, or null when the source states one this reader could not
+   * settle. A null container pairs with nothing, rather than with
+   * whatever its source text happens to spell.
    */
-  table: external_exports.string().nullable()
+  container: external_exports.string().nullable(),
+  /**
+   * A secondary way into the container, a DynamoDB global secondary
+   * index or an Elasticsearch alias, each with its own key fields.
+   * Null means the container's own primary way in. A query through an
+   * index and a query through the table are different accesses, so
+   * they pair separately.
+   */
+  accessPath: external_exports.string().nullable()
 });
-var storageRelationalSemantics = defineBoundarySemantics({
-  name: "storage-relational",
-  schema: StorageRelationalSemanticsSchema,
+var storageSemantics = defineBoundarySemantics({
+  name: "storage",
+  schema: StorageSemanticsSchema,
   behavior: {
-    /** A query returns rows, not a status and a body. */
+    /** A query returns rows or items, not a status and a body. */
     exchangesHttpResponses: false,
     reportsUnpairedItself: false,
     identityKey: () => null
@@ -16104,7 +16118,7 @@ var SemanticsSchema = external_exports.discriminatedUnion("name", [
   graphqlResolverSemantics.schema,
   graphqlOperationSemantics.schema,
   runtimeConfigSemantics.schema,
-  storageRelationalSemantics.schema,
+  storageSemantics.schema,
   messageBusSemantics.schema
 ]);
 var DEFINITIONS = [
@@ -16113,7 +16127,7 @@ var DEFINITIONS = [
   graphqlResolverSemantics,
   graphqlOperationSemantics,
   runtimeConfigSemantics,
-  storageRelationalSemantics,
+  storageSemantics,
   messageBusSemantics
 ];
 var BY_NAME = new Map(
@@ -16253,19 +16267,97 @@ function namedOrNull(value, field2) {
   }
   return value;
 }
-function storageRelationalBinding(opts) {
+function storageBinding(opts) {
   return {
-    transport: opts.storageSystem,
+    transport: opts.transport ?? opts.storageSystem,
     semantics: {
-      name: "storage-relational",
+      name: "storage",
       storageSystem: opts.storageSystem,
       scope: opts.scope,
-      table: namedOrNull(opts.table, "storage table")
+      container: namedOrNull(opts.container, "storage container"),
+      accessPath: opts.accessPath ?? null
     },
     recognition: opts.recognition
   };
 }
 
+// src/rawSql.ts
+import { readSqlAccess, sqlFromParts } from "@suss/sql";
+function rawSqlEffects(calls, options) {
+  if (options.patterns.length === 0) {
+    return [];
+  }
+  const effects = [];
+  for (const call of calls) {
+    const pattern = patternFor(call, options);
+    if (pattern === void 0) {
+      continue;
+    }
+    const statement = statementIn(call);
+    if (statement === null) {
+      continue;
+    }
+    for (const access of readSqlAccess(statement, {
+      dialect: pattern.storageSystem
+    })) {
+      effects.push({
+        type: "interaction",
+        binding: storageBinding({
+          recognition: `python-${pattern.module}`,
+          storageSystem: pattern.storageSystem,
+          scope: pattern.module,
+          container: access.table
+        }),
+        callee: field(call, "function")?.text ?? "",
+        interaction: {
+          class: "storage-access",
+          kind: access.kind,
+          fields: access.fields,
+          ...access.selector.length > 0 ? { selector: access.selector } : {},
+          operation: field(call, "function")?.text ?? ""
+        }
+      });
+    }
+  }
+  return effects;
+}
+function patternFor(call, options) {
+  const callee = field(call, "function");
+  if (callee === null || callee.type !== "identifier") {
+    return void 0;
+  }
+  const from = options.facts.facts("pyImportedName").find((row) => String(row[0]) === `${options.filePath}#${callee.text}`);
+  if (from === void 0) {
+    return void 0;
+  }
+  const module = String(from[1]);
+  return options.patterns.find(
+    (pattern) => pattern.module === module && pattern.functions.includes(callee.text)
+  );
+}
+function statementIn(call) {
+  const args = field(call, "arguments");
+  const first = args?.namedChildren.find((child) => child !== null) ?? null;
+  if (first === null || first.type !== "string") {
+    return null;
+  }
+  const parts = [""];
+  for (const child of first.namedChildren) {
+    if (child === null) {
+      continue;
+    }
+    if (child.type === "string_content") {
+      parts[parts.length - 1] += child.text;
+      continue;
+    }
+    if (child.type === "interpolation") {
+      parts.push("");
+    }
+  }
+  const statement = sqlFromParts(parts);
+  return statement.trim() === "" ? null : statement;
+}
+
 // src/facts/resolve.ts
 import { deriveOnDemand, evaluate } from "@suss/datalog";
 
@@ -17116,11 +17208,11 @@ function effectFor(pattern, chain, options) {
   ];
   return {
     type: "interaction",
-    binding: storageRelationalBinding({
+    binding: storageBinding({
       recognition: "python-storage",
       storageSystem: pattern.storageSystem,
       scope: pattern.module,
-      table: chain.subject
+      container: chain.subject
     }),
     callee: chain.last.text,
     interaction: {
@@ -17863,10 +17955,17 @@ function buildRouteUnit(options) {
     () => readReturnAnnotation(definitionNode, enclosingScope, ctx)
   );
   const effects = invocationEffects(definitionNode);
-  const storage = storageLookup === void 0 ? [] : storageEffects(bodyCalls(definitionNode), {
-    ...storageLookup,
-    filePath: storageLookup.factsPath
-  });
+  const storage = storageLookup === void 0 ? [] : [
+    ...storageEffects(bodyCalls(definitionNode), {
+      ...storageLookup,
+      filePath: storageLookup.factsPath
+    }),
+    ...rawSqlEffects(bodyCalls(definitionNode), {
+      facts: storageLookup.facts,
+      filePath: storageLookup.factsPath,
+      patterns: storageLookup.rawSql ?? []
+    })
+  ];
   const perReturn = branchesFromReturns(
     readsReturnedStatus,
     definitionNode,
@@ -19187,11 +19286,26 @@ function carrierPrefix(carrier, constructorArg, objectName, scope, scan) {
 }
 
 // src/project.ts
+function reportUnresolvedProjectModules(options) {
+  for (const pack of options.packs) {
+    for (const module of pack.projectModules ?? []) {
+      const resolved = resolveAbsoluteModule(module, { roots: options.roots });
+      if (resolved.status === "resolved") {
+        continue;
+      }
+      process.stderr.write(
+        `[suss] ${pack.name}: the configured module ${module} does not resolve under ${options.roots.join(", ")}, so nothing it wraps will be discovered.
+`
+      );
+    }
+  }
+}
 async function extractPythonProject(options) {
   const db = new Database();
   const summaries = [];
   const gapHandling = options.gapHandling ?? "permissive";
   const displayPathOf = (file2) => options.workspaceRoot !== void 0 ? path3.relative(options.workspaceRoot, file2) : file2;
+  reportUnresolvedProjectModules(options);
   const bound = [];
   for (const file2 of options.files) {
     const source = fs3.readFileSync(file2, "utf8");
@@ -19207,6 +19321,7 @@ async function extractPythonProject(options) {
     (pack) => pack.discovery.some((pattern) => pattern.routerComposition !== void 0)
   );
   const storagePatterns = options.packs.flatMap((pack) => pack.storage ?? []);
+  const rawSqlPatterns = options.packs.flatMap((pack) => pack.rawSql ?? []);
   const needsValues = mountsRouters || storagePatterns.length > 0;
   const definitions = /* @__PURE__ */ new Map();
   for (const { file: file2, root, module: moduleBinding } of bound) {
@@ -19236,14 +19351,15 @@ async function extractPythonProject(options) {
       absoluteFile: file2,
       routerIndex,
       gapHandling,
-      ...storagePatterns.length > 0 ? {
+      ...storagePatterns.length > 0 || rawSqlPatterns.length > 0 ? {
         storage: {
           facts: db,
           factsPath: file2,
           patterns: storagePatterns,
           definitionAt: (key) => definitions.get(key),
           couldMatch,
-          leadsToStorage
+          leadsToStorage,
+          rawSql: rawSqlPatterns
         }
       } : {}
     });
@@ -19254,8 +19370,31 @@ async function extractPythonProject(options) {
       emitEntryFact(db, file2, raw.identity.range, raw.identity.name);
     }
   }
+  stampModuleImports(summaries, db, displayPathOf);
   return { summaries, facts: db };
 }
+function stampModuleImports(summaries, db, displayPathOf) {
+  const importsByFile = /* @__PURE__ */ new Map();
+  for (const [from, , to] of db.facts("pyImportResolved")) {
+    if (typeof from !== "string" || typeof to !== "string") {
+      continue;
+    }
+    const key = displayPathOf(from);
+    const seen = importsByFile.get(key) ?? /* @__PURE__ */ new Set();
+    seen.add(displayPathOf(to));
+    importsByFile.set(key, seen);
+  }
+  for (const summary of summaries) {
+    const imports = importsByFile.get(summary.location.file);
+    if (imports === void 0 || imports.size === 0) {
+      continue;
+    }
+    summary.metadata = {
+      ...summary.metadata ?? {},
+      moduleImports: [...imports].sort()
+    };
+  }
+}
 var SKIPPED_DIRECTORIES = /* @__PURE__ */ new Set([
   "__pycache__",
   ".venv",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/adapter-python",
-  "version": "0.5.10",
+  "version": "0.6.0",
   "type": "module",
   "description": "Python language adapter for suss — parses source with tree-sitter (WASM), resolves names with a lexical binder, and emits raw extractions for the suss pipeline.",
   "keywords": [
@@ -47,9 +47,10 @@
     "typecheck": "tsc --noEmit"
   },
   "dependencies": {
-    "@suss/behavioral-ir": "0.5.10",
-    "@suss/datalog": "0.5.10",
-    "@suss/extractor": "0.5.10",
+    "@suss/behavioral-ir": "0.6.0",
+    "@suss/datalog": "0.6.0",
+    "@suss/extractor": "0.6.0",
+    "@suss/sql": "0.6.0",
     "web-tree-sitter": "^0.26.11"
   },
   "devDependencies": {