@suss/adapter-python 0.35.0 → 0.36.0

package/dist/index.cjs

@@ -1050,6 +1050,8 @@ var CONVERTING_BUILTINS = /* @__PURE__ */ new Set([
 ]);
 var ATTRIBUTE_GETTER = "getattr";
 var POSITION_COUNTER = "enumerate";
+var CLASS_METHOD_DECORATOR = "classmethod";
+var STATIC_METHOD_DECORATOR = "staticmethod";
 
 // src/facts/values.ts
 function nodeId(filePath, node) {
@@ -1729,6 +1731,26 @@ function yieldedValue(node) {
   }
   return children(node).find((child) => child?.type !== "comment") ?? null;
 }
+function emitReceiver(emitter, fn, paramKey, classKey) {
+  const form = receiverFormOf(fn);
+  if (form === import_resolution3.SELF_AS_CLASS_NAME) {
+    add(emitter, "binds", paramKey, classKey);
+  } else {
+    add(emitter, "instanceOf", paramKey, classKey);
+  }
+  if (form !== null) {
+    add(emitter, "selfReceiver", nodeId(emitter.filePath, fn), paramKey, form);
+  }
+}
+function receiverFormOf(fn) {
+  const decorators = fn.parent?.type === "decorated_definition" ? stripDecorators(fn.parent).decorators.map(
+    (decorator) => decorator.text.slice(1).trim()
+  ) : [];
+  if (decorators.includes(STATIC_METHOD_DECORATOR)) {
+    return null;
+  }
+  return decorators.includes(CLASS_METHOD_DECORATOR) ? import_resolution3.SELF_AS_CLASS_NAME : import_resolution3.SELF_AS_INSTANCE_NAME;
+}
 function emitFunctionFacts(emitter, fn, classKey) {
   const funcKey = nodeId(emitter.filePath, fn);
   add(emitter, "func", funcKey);
@@ -1752,7 +1774,7 @@ function emitFunctionFacts(emitter, fn, classKey) {
       }
       if (classKey !== void 0 && position === -1) {
         receiver = { classKey, name: paramName.text };
-        add(emitter, "instanceOf", paramKey, classKey);
+        emitReceiver(emitter, fn, paramKey, classKey);
       }
       add(emitter, "paramNamed", funcKey, paramName.text, paramKey);
       const fallback2 = field(param, "value");
@@ -4075,6 +4097,7 @@ var Lowerer = class {
     ) ?? null;
     return {
       kind: "try",
+      lines: rangeOf(node),
       tryBody: this.lowerBlock(field(node, "body")),
       catchBody: excepts.length > 0 ? excepts.flatMap((clause) => this.lowerBlock(childBlock(clause))) : null,
       finallyBody: finallyClause === null ? null : this.lowerBlock(childBlock(finallyClause)),
@@ -4115,12 +4138,19 @@ var Lowerer = class {
     }
     if (node.type === "while_statement" || node.type === "for_statement") {
       const header = node.type === "while_statement" ? field(node, "condition") : field(node, "right");
+      const body = field(node, "body");
       return this.attach(
         {
           kind: "loop",
           condition: handleOf(header),
-          body: this.lowerBlock(field(node, "body")),
-          exitKind: exitKindOf(node, this.thrown)
+          body: this.lowerBlock(body),
+          exitKind: exitKindOf(node, this.thrown),
+          // An `else` clause runs once the loop is done, so it is no part
+          // of what repeats.
+          lines: {
+            start: rangeOf(node).start,
+            end: rangeOf(body ?? node).end
+          }
         },
         [header]
       );
@@ -4152,6 +4182,9 @@ function lowerPythonBody(body, terminals, thrown = new NodeSet()) {
 // src/paths/effects.ts
 var NESTED_DEFINITION_TYPES = /* @__PURE__ */ new Set(["function_definition"]);
 function literalArgOf(node, facts) {
+  if (node.type === "none") {
+    return { kind: "null" };
+  }
   const value = evaluatedValue(node, facts);
   const text2 = (0, import_values7.literalOf)(value);
   if (text2 !== null) {
@@ -4229,9 +4262,6 @@ function argsOf(call, facts) {
 function calleeText(call) {
   return field(call, "function")?.text ?? call.text;
 }
-function invocationEffects(definitionNode, facts) {
-  return invocationSites(definitionNode, facts).map((site) => site.effect);
-}
 function invocationSites(definitionNode, facts) {
   const body = field(definitionNode, "body");
   if (body === null) {
@@ -4287,33 +4317,26 @@ function gatingInputs(body, gatingOf, facts) {
   );
   return operands.length === 0 ? void 0 : guardInputs(operands, { facts, unit });
 }
+function sitesIn(body, nodes) {
+  return (0, import_extractor2.statementSites)(nodes, {
+    statementOf: (node) => enclosingStatement(node, body),
+    lower: (statements) => lowerPythonBody(body, statements),
+    firstLine: (node) => rangeOf(node).start
+  });
+}
+function effectSitesIn(body, nodes) {
+  if (body === null || nodes.length === 0) {
+    return (node) => ({ line: rangeOf(node).start });
+  }
+  return sitesIn(body, nodes).plainSiteOf;
+}
 function invocationEffectsIn(body, written, facts) {
   const calls = [...written].sort((a, b) => a.endIndex - b.endIndex);
   if (calls.length === 0) {
     return [];
   }
-  const statementOf3 = /* @__PURE__ */ new Map();
-  const statements = [];
-  for (const call of calls) {
-    const statement = enclosingStatement(call, body);
-    if (statement === null) {
-      continue;
-    }
-    statementOf3.set(call.id, statement);
-    statements.push(statement);
-  }
-  const lowered = lowerPythonBody(body, statements);
-  const enumerated = (0, import_extractor2.enumerateOrDegrade)(
-    {
-      statements: lowered.statements,
-      terminalsByStmt: lowered.terminalsByStmt
-    },
-    statements
-  );
-  const gatingOf = calls.map((call) => {
-    const statement = statementOf3.get(call.id);
-    return statement === void 0 ? void 0 : enumerated.byTerminal.get(statement);
-  });
+  const sites = sitesIn(body, calls);
+  const gatingOf = calls.map((call) => sites.pathsTo(call));
   askWrittenValues(
     calls.flatMap((call, index) => effectValueNodes(call, gatingOf[index])),
     facts
@@ -4331,8 +4354,10 @@ function invocationEffectsIn(body, written, facts) {
         callee: calleeText(call),
         args: argsOf(call, facts),
         async: false,
-        ...conditions.length > 0 ? { preconditions: conditions } : {}
-      }
+        ...conditions.length > 0 ? { preconditions: conditions } : {},
+        location: rangeOf(call)
+      },
+      site: sites.siteOf(call, conditions)
     };
   });
 }
@@ -4437,7 +4462,7 @@ function rawSqlEffects(calls, options) {
   for (const match of matchesIn(calls, options)) {
     for (const access of match.accesses) {
       const effect = effectFor(match, access);
-      found.effects.push(effect);
+      found.effects.push({ effect, at: match.call });
       for (const slot of boundSlots(access, match.binds)) {
         found.slots.push({ ...slot, effect });
       }
@@ -4544,7 +4569,8 @@ function effectFor(match, access) {
       fields: access.fields,
       ...access.selector.length > 0 ? { selector: access.selector } : {},
       operation
-    }
+    },
+    location: rangeOf(match.call)
   };
 }
 var NO_GROUP = "default";
@@ -5058,7 +5084,8 @@ function effectFor2(pattern, chain, operation, options) {
       fields: fieldsOf(chain, valueMethods),
       operation,
       ...picked.length > 0 ? { selector: picked } : {}
-    }
+    },
+    location: rangeOf(chain.last)
   };
   if (options.statesSlots !== void 0) {
     const slots = slotsOf(chain, valueMethods);
@@ -5155,7 +5182,12 @@ function storageCallIds(calls, options) {
 }
 function storageEffects(calls, options) {
   return matchedChains(calls, options).flatMap(
-    ({ chain, pattern, operation }) => operation === null ? [] : [effectFor2(pattern, chain, operation, options)]
+    ({ chain, pattern, operation }) => operation === null ? [] : [
+      {
+        effect: effectFor2(pattern, chain, operation, options),
+        at: chain.last
+      }
+    ]
   );
 }
 var storageByScope = /* @__PURE__ */ new WeakMap();
@@ -5353,11 +5385,6 @@ function bodyTerminals(body, raised, continuations = []) {
   ];
   return found.sort((a, b) => a.statement.startIndex - b.statement.startIndex);
 }
-function effectsReaching(effects, conditions) {
-  return effects.filter(
-    (effect) => (0, import_extractor4.guardsHoldOn)(effect.preconditions, conditions)
-  );
-}
 function conditionInputs(pathSets, options) {
   const unit = options.body?.parent ?? null;
   if (options.facts === void 0 || unit === null) {
@@ -5392,7 +5419,8 @@ function enumerateBodyBranches(options) {
     options
   );
   const branches = [];
-  const push = (branch, paths) => {
+  const push = (branch, paths, placement) => {
+    const loopAround = placement?.loopAround;
     for (const path8 of paths) {
       const conditions = path8.map((condition) => ({
         sourceText: condition.sourceText,
@@ -5400,10 +5428,14 @@ function enumerateBodyBranches(options) {
         polarity: condition.polarity,
         source: condition.source
       }));
-      branches.push({
+      const ending = {
         ...branch,
         conditions,
-        effects: effectsReaching(options.effects, conditions),
+        ...loopAround === void 0 ? {} : { loopAround }
+      };
+      branches.push({
+        ...ending,
+        effects: (0, import_extractor4.effectsFiringOn)(options.effects, ending),
         isDefault: path8.length === 0
       });
     }
@@ -5411,11 +5443,15 @@ function enumerateBodyBranches(options) {
   for (const found of options.terminals) {
     const paths = enumerated.byTerminal.get(found.statement);
     if (paths !== void 0) {
-      push(options.branchOf(found), paths);
+      push(
+        options.branchOf(found),
+        paths,
+        enumerated.placement.get(found.statement)
+      );
     }
   }
   if (options.fallthrough !== void 0) {
-    push(options.fallthrough, enumerated.fallthrough);
+    push(options.fallthrough, enumerated.fallthrough, void 0);
   }
   return branches;
 }
@@ -5590,15 +5626,10 @@ function writtenMessageOf(call) {
 var import_extractor5 = require("@suss/extractor");
 function throughResponseHelpers(branches, sites, options) {
   const handOffs = [];
-  for (const { call, effect } of sites) {
+  for (const { call, site } of sites) {
     const helper = helperBranchesAt(call, options);
     if (helper !== null) {
-      handOffs.push({
-        helper,
-        preconditions: effect.preconditions,
-        line: rangeOf(call).start,
-        at: rangeOf(call)
-      });
+      handOffs.push({ ...site, helper, at: rangeOf(call) });
     }
   }
   return handOffs.length === 0 ? [...branches] : branches.flatMap((branch) => (0, import_extractor5.splitAtHandOffs)(branch, handOffs));
@@ -5845,7 +5876,7 @@ function callerBranches(definition, reading) {
     body,
     terminals: bodyTerminals(body, raised),
     raised,
-    effects,
+    effects: sites,
     branchOf: (found2) => found2.type === "raise" ? { terminal: found2.terminal, location: rangeOf(found2.statement) } : handsBackAt(rangeOf(found2.statement)),
     fallthrough: handsBackAt(range),
     facts: reading.facts,
@@ -6425,9 +6456,7 @@ function envReadEffects(root, module2, facts) {
       const syntax = envReadSyntaxAt(node, scope);
       if (syntax !== null) {
         const name = stringLiteralValue(syntax.name);
-        if (name !== null) {
-          slots.push({ read: { name, defaulted: syntax.defaulted } });
-        }
+        slots.push({ read: { name, defaulted: syntax.defaulted }, at: node });
         return;
       }
       if (readsHelpers && node.type === "call") {
@@ -6447,21 +6476,25 @@ function envReadEffects(root, module2, facts) {
   );
   return slots.flatMap((slot) => {
     if ("read" in slot) {
-      return [configReadEffect(slot.read)];
+      return [{ effect: configReadEffect(slot.read, slot.at), at: slot.at }];
     }
-    return throughHelpers.get(slot.call.id) ?? [];
+    return (throughHelpers.get(slot.call.id) ?? []).map((effect) => ({
+      effect,
+      at: slot.call
+    }));
   });
 }
-function configReadEffect(read) {
+function configReadEffect(read, at) {
   return {
     type: "interaction",
     binding: (0, import_behavioral_ir4.runtimeConfigBinding)({ recognition: PYTHON_ENV_RECOGNITION }),
-    callee: `os.environ["${read.name}"]`,
+    callee: read.name === null ? at.text : `os.environ["${read.name}"]`,
     interaction: {
       class: "config-read",
       name: read.name,
       defaulted: read.defaulted
-    }
+    },
+    location: rangeOf(at)
   };
 }
 function envReadSyntaxAt(node, scope) {
@@ -6667,6 +6700,15 @@ function argumentsByParameter(db, call, calleeKey2) {
   }
   return argumentAt2;
 }
+function handsOnParameter(argument) {
+  const caller = enclosingFunction(argument);
+  if (argument.type !== "identifier" || caller === null) {
+    return false;
+  }
+  return children(field(caller, "parameters")).some(
+    (param) => parameterIdentifier(param)?.text === argument.text
+  );
+}
 function readsThroughHelper(db, call, argumentAt2, siteById, named) {
   const reads = /* @__PURE__ */ new Map();
   for (const [parameter, argument] of argumentAt2) {
@@ -6676,7 +6718,7 @@ function readsThroughHelper(db, call, argumentAt2, siteById, named) {
       `${NAMED_PARAMETER}${parameter}`,
       describeSites(sites, siteById)
     );
-    if (sites === void 0) {
+    if (sites === void 0 || handsOnParameter(argument)) {
       continue;
     }
     const name = stringLiteralValue(argument) ?? stringValueOf(argument, db);
@@ -6693,7 +6735,7 @@ function readsThroughHelper(db, call, argumentAt2, siteById, named) {
   }
   const defaultedAtCall = isDefaultedAt(call);
   return [...reads].map(
-    ([name, defaulted]) => configReadEffect({ name, defaulted: defaulted || defaultedAtCall })
+    ([name, defaulted]) => configReadEffect({ name, defaulted: defaulted || defaultedAtCall }, call)
   );
 }
 
@@ -6800,6 +6842,11 @@ var PYTHON_STREAM_RECOGNITION = "python-stdlib";
 var STREAMS = /* @__PURE__ */ new Set(["stdout", "stderr"]);
 var DEFERRED_BODY_TYPES2 = /* @__PURE__ */ new Set(["function_definition", "lambda"]);
 function streamWriteEffects(root, module2) {
+  return (0, import_extractor8.numberRepeatedCallSites)(
+    writesUnder(root, module2).map((write) => [write])
+  ).flat();
+}
+function writesUnder(root, module2) {
   const found = [];
   const startScope = module2.scopeFor.get(root.id) ?? module2.moduleScope;
   (0, import_extractor8.walkDescendants)(root, startScope, children, {
@@ -6809,7 +6856,7 @@ function streamWriteEffects(root, module2) {
       }
       const write = streamWriteAt(node, scope);
       if (write !== null) {
-        found.push(write);
+        found.push({ effect: write, at: node });
       }
     },
     into: (node, scope) => {
@@ -6848,16 +6895,17 @@ function standardStream(node, scope) {
 }
 function writeEffect(site) {
   const { call, callee, target } = site;
-  return {
+  const effect = {
     type: "interaction",
     binding: (0, import_behavioral_ir5.ioBinding)({ recognition: PYTHON_STREAM_RECOGNITION, target }),
     callee,
-    groupId: `${call.startPosition.row + 1}:${call.startPosition.column + 1}`,
     interaction: {
       class: "stream-write",
       ...payloadOf(site.positional, site.scope)
-    }
+    },
+    location: rangeOf(call)
   };
+  return { ...effect, groupId: (0, import_extractor8.callSiteKey)(effect) };
 }
 function payloadOf(args, scope) {
   const only = args[0];
@@ -7718,7 +7766,8 @@ function buildRouteUnit(options) {
     options.responseShape,
     () => readReturnAnnotation(definitionNode, enclosingScope, ctx)
   );
-  const effects = invocationEffects(definitionNode, options.facts);
+  const calls = invocationSites(definitionNode, options.facts);
+  const effects = calls.map((call) => call.effect);
   const extra = recognizedBodyEffects(
     definitionNode,
     module2,
@@ -7727,7 +7776,7 @@ function buildRouteUnit(options) {
   );
   const perTerminal = branchesPerTerminal({
     definitionNode,
-    effects,
+    effects: calls,
     responseStatusCalls: options.responseStatusCalls,
     ctx: {
       pattern,
@@ -7870,12 +7919,17 @@ function unreadRoleReadings(parameters, range) {
 }
 function recognizedBodyEffects(definitionNode, module2, storageLookup, facts) {
   const storage = storageLookup === void 0 ? { effects: [], slots: [] } : bodyStorage(definitionNode, storageLookup);
+  const found = [
+    ...envReadEffects(definitionNode, module2, facts),
+    ...storage.effects,
+    ...streamWriteEffects(definitionNode, module2)
+  ];
+  const siteOf2 = effectSitesIn(
+    field(definitionNode, "body"),
+    found.map((one) => one.at)
+  );
   return {
-    effects: [
-      ...envReadEffects(definitionNode, module2, facts),
-      ...storage.effects,
-      ...streamWriteEffects(definitionNode, module2)
-    ],
+    effects: found.map(({ effect, at }) => ({ effect, site: siteOf2(at) })),
     provenance: storage.slots.length === 0 || storageLookup === void 0 ? [] : slotProvenance(storage.slots, {
       facts: storageLookup.facts,
       unit: definitionNode
@@ -7883,12 +7937,13 @@ function recognizedBodyEffects(definitionNode, module2, storageLookup, facts) {
   };
 }
 function withBodyEffects(branch, extra) {
-  if (extra.effects.length === 0) {
+  const effects = (0, import_extractor9.effectsFiringOn)(extra.effects, branch);
+  if (effects.length === 0) {
     return branch;
   }
   return {
     ...branch,
-    extraEffects: extra.effects,
+    extraEffects: effects,
     ...extra.provenance.length === 0 ? {} : { provenance: extra.provenance }
   };
 }
@@ -8260,7 +8315,7 @@ var import_node_fs4 = __toESM(require("fs"), 1);
 var import_node_path5 = __toESM(require("path"), 1);
 var import_behavioral_ir10 = require("@suss/behavioral-ir");
 var import_datalog2 = require("@suss/datalog");
-var import_extractor18 = require("@suss/extractor");
+var import_extractor19 = require("@suss/extractor");
 var import_resolution18 = require("@suss/resolution");
 
 // src/diagnostics.ts
@@ -8278,6 +8333,12 @@ function buildPythonExtractionReport(args) {
   });
 }
 
+// src/reach/closure.ts
+var import_behavioral_ir7 = require("@suss/behavioral-ir");
+var import_datalog = require("@suss/datalog");
+var import_extractor13 = require("@suss/extractor");
+var import_resolution11 = require("@suss/resolution");
+
 // src/exits.ts
 var import_extractor11 = require("@suss/extractor");
 var import_resolution9 = require("@suss/resolution");
@@ -8410,75 +8471,6 @@ function returnTerminal(shape, location) {
   };
 }
 
-// src/importedDefinitions.ts
-var import_resolution10 = require("@suss/resolution");
-function importedDefinitionLookup(db, files) {
-  const fileOfModuleScope = /* @__PURE__ */ new Map();
-  const byFile = /* @__PURE__ */ new Map();
-  for (const file of files) {
-    fileOfModuleScope.set(file.module.moduleScope.node.id, file.file);
-    byFile.set(file.file, file);
-  }
-  const found = /* @__PURE__ */ new Map();
-  return (scope, name) => {
-    const fromFile = fileOfModuleScope.get(moduleScopeOf(scope).node.id);
-    if (fromFile === void 0) {
-      return null;
-    }
-    const key = `${fromFile}#${name}`;
-    let definition = found.get(key);
-    if (definition === void 0) {
-      definition = definitionAmong(originsOf(db, key), byFile);
-      found.set(key, definition);
-    } else if ((0, import_resolution10.isObserved)(db)) {
-      originsOf(db, key);
-    }
-    if (definition !== null) {
-      (0, import_resolution10.noteKeyRead)(db, definition.file);
-    }
-    return definition;
-  };
-}
-function definitionAmong(origins, byFile) {
-  for (const origin of origins) {
-    const file = byFile.get(origin.module);
-    const binding = file?.module.moduleScope.bindings.get(origin.name);
-    if (file === void 0 || binding === void 0) {
-      continue;
-    }
-    const node = definedNodeOf(binding);
-    if (node !== null) {
-      return {
-        node,
-        file: file.file,
-        moduleScope: file.module.moduleScope,
-        scopeFor: file.module.scopeFor
-      };
-    }
-  }
-  return null;
-}
-function definedNodeOf(binding) {
-  if (binding.kind === "classDef") {
-    return binding.node;
-  }
-  if (binding.kind === "assignment") {
-    return binding.value;
-  }
-  return null;
-}
-
-// src/moduleSurface.ts
-var import_behavioral_ir8 = require("@suss/behavioral-ir");
-var import_extractor14 = require("@suss/extractor");
-var import_resolution13 = require("@suss/resolution");
-
-// src/reach/closure.ts
-var import_behavioral_ir7 = require("@suss/behavioral-ir");
-var import_datalog = require("@suss/datalog");
-var import_extractor13 = require("@suss/extractor");
-var import_resolution12 = require("@suss/resolution");
-
 // src/flags.ts
 var import_extractor12 = require("@suss/extractor");
 var PARSE_METHODS = /* @__PURE__ */ new Set(["parse_args", "parse_known_args"]);
@@ -8560,7 +8552,7 @@ function methodCalledOn(call) {
 }
 
 // src/reach/resolveCallee.ts
-var import_resolution11 = require("@suss/resolution");
+var import_resolution10 = require("@suss/resolution");
 var STOP_FOR = {
   severalSources: "multipleSources",
   outsideRun: "outsideRun",
@@ -8574,25 +8566,122 @@ var NO_DECLARATION = {
 function calleeSpellings(calls, ctx) {
   const spellingOf = /* @__PURE__ */ new Map();
   const keys = /* @__PURE__ */ new Set();
+  const receivers = /* @__PURE__ */ new Set();
   for (const { call, site } of calls) {
     const spelling = spellingFor2(call, site, ctx);
     spellingOf.set(call.id, spelling);
     if (spelling.kind === "key") {
       keys.add(spelling.key);
     }
+    const receiver = receiverOf(call, site);
+    if (receiver !== null) {
+      receivers.add(receiver.key);
+    }
   }
-  return { spellingOf, outcomes: (0, import_resolution11.calleeOutcomes)(ctx.facts, [...keys]) };
+  const outcomes = (0, import_resolution10.calleeOutcomes)(ctx.facts, [...keys]);
+  resolveCalls(ctx.facts, [...receivers]);
+  return { spellingOf, outcomes };
 }
 function resolveCallee2(call, site, ctx, read) {
   const spelling = read?.spellingOf.get(call.id) ?? spellingFor2(call, site, ctx);
   if (spelling.kind === "stopped") {
     return spelling;
   }
-  const outcome = read?.outcomes.get(spelling.key) ?? (0, import_resolution11.calleeOutcomeOf)(ctx.facts, spelling.key);
-  if (selfCallInMixin(call, outcome, site, ctx)) {
-    return { kind: "stopped", reason: "selfCallInMixin" };
+  const outcome = read?.outcomes.get(spelling.key) ?? (0, import_resolution10.calleeOutcomeOf)(ctx.facts, spelling.key);
+  const settled = selfCallInMixin(call, outcome, site, ctx) ? { kind: "stopped", reason: "selfCallInMixin" } : asCallee(outcome, site.owner, ctx);
+  return onReceiverClass(call, site, ctx, settled) ?? settled;
+}
+function receiverOf(call, site) {
+  const callee = readThrough(field(call, "function"));
+  const object = callee?.type === "attribute" ? field(callee, "object") : null;
+  const name = callee === null ? void 0 : field(callee, "attribute")?.text;
+  if (object === null || name === void 0) {
+    return null;
   }
-  return asCallee(outcome, site.owner, ctx);
+  return {
+    key: readKey(site.file.file, object, enclosingFunction(object)),
+    name
+  };
+}
+function onReceiverClass(call, site, ctx, settled) {
+  const own = ownReceiverOf(site, ctx);
+  const callee = readThrough(field(call, "function"));
+  if (callee?.type === "identifier") {
+    const calleeKey2 = readKey(
+      site.file.file,
+      callee,
+      enclosingFunction(callee)
+    );
+    return own !== null && (0, import_resolution10.selfFormOf)(ctx.facts, calleeKey2, own.key) === import_resolution10.SELF_AS_CLASS_NAME ? methodOn(own.cls, CONSTRUCTOR_METHOD, ctx) : null;
+  }
+  const read = receiverOf(call, site);
+  if (read === null) {
+    return null;
+  }
+  if (own !== null && (0, import_resolution10.selfFormOf)(ctx.facts, read.key, own.key) !== null) {
+    return methodOn(own.cls, read.name, ctx);
+  }
+  const sentTo = classReturnedTo(read.key, own, ctx);
+  if (sentTo !== null) {
+    return methodOn(sentTo, read.name, ctx);
+  }
+  const receiverClass = settled.kind === "followed" ? onlyClassOf(read.key, ctx) : null;
+  return receiverClass === null || settled.kind !== "followed" ? null : { kind: "followed", target: runningOn(settled.target, receiverClass) };
+}
+function ownReceiverOf(site, ctx) {
+  const [row] = ctx.facts.lookup("selfReceiver", 0, site.owner);
+  const cls = site.receiverClass ?? classOfFunction(site.owner, ctx);
+  return row === void 0 || cls === null ? null : { key: String(row[1]), cls };
+}
+function classReturnedTo(key, own, ctx) {
+  const returned = (0, import_resolution10.selfResultOf)(ctx.facts, key);
+  if (returned === null) {
+    return null;
+  }
+  if (own !== null && returned.receiver === own.key) {
+    return own.cls;
+  }
+  resolveCalls(ctx.facts, [returned.receiver]);
+  return onlyClassOf(returned.receiver, ctx);
+}
+var CONSTRUCTOR_METHOD = "__init__";
+function methodOn(cls, name, ctx) {
+  const key = (0, import_resolution10.memberOf)(ctx.facts, cls.key, name, (0, import_resolution10.resolutionProgram)());
+  const found = key === null ? null : functionCallee(key, ctx);
+  if (found === null || found.kind !== "followed") {
+    return null;
+  }
+  return { kind: "followed", target: runningOn(found.target, cls) };
+}
+function runningOn(target, cls) {
+  const owner = ownerClassOf(target.node);
+  if (owner === null || nodeId(target.file.file, owner) === cls.key) {
+    return target;
+  }
+  return {
+    ...target,
+    exportPath: [cls.name, target.name],
+    receiverClass: cls
+  };
+}
+function classOfFunction(functionKey2, ctx) {
+  const node = ctx.definitions.get(functionKey2);
+  const owner = node === void 0 ? null : ownerClassOf(node);
+  return owner === null ? null : subclassAt(owner, (0, import_resolution10.fileOfKey)(functionKey2));
+}
+function onlyClassOf(key, ctx) {
+  const objects = (0, import_resolution10.answersFor)(ctx.facts, "wantedObjectOf", key);
+  const [only] = objects;
+  if (objects.length !== 1 || only === void 0) {
+    return null;
+  }
+  const file = ctx.filesByPath.get((0, import_resolution10.fileOfKey)(only));
+  const node = file === void 0 ? null : (0, import_resolution10.nodeOfKey)(/* @__PURE__ */ new Map([[file.file, file.root]]), only);
+  return node?.type === "class_definition" ? subclassAt(node, file?.file ?? (0, import_resolution10.fileOfKey)(only)) : null;
+}
+function subclassAt(cls, file) {
+  const name = field(cls, "name")?.text;
+  return name === void 0 ? null : { key: nodeId(file, cls), name, file };
 }
 function selfCallInMixin(call, outcome, site, ctx) {
   if (outcome.kind !== "callerSupplied" || !outcome.key.startsWith(`${site.owner}#`)) {
@@ -8619,19 +8708,19 @@ function instancesHaveAttribute(facts, classKey, name) {
       return true;
     }
     return facts.lookup("storesProperty", 0, String(member[2])).some(
-      (store) => String(store[1]) === name && store[3] === import_resolution11.RECEIVER_STORE_NAME
+      (store) => String(store[1]) === name && store[3] === import_resolution10.RECEIVER_STORE_NAME
     );
   });
 }
 function namedOutcomes(keys, ctx) {
-  return (0, import_resolution11.calleeOutcomes)(ctx.facts, [...new Set(keys)]);
+  return (0, import_resolution10.calleeOutcomes)(ctx.facts, [...new Set(keys)]);
 }
 function dispatchedCalls(calls, ctx) {
   const byKey = new Map(
     calls.map(({ call, site }) => [nodeId(site.file.file, call), call])
   );
   const found = /* @__PURE__ */ new Map();
-  for (const [key, outcome] of (0, import_resolution11.dispatchOutcomes)(ctx.facts, [...byKey.keys()])) {
+  for (const [key, outcome] of (0, import_resolution10.dispatchOutcomes)(ctx.facts, [...byKey.keys()])) {
     const call = byKey.get(key);
     if (call === void 0) {
       continue;
@@ -8664,11 +8753,11 @@ function functionNamed(nameKey2, ctx, read) {
   if (assignedElsewhere(ctx.facts, nameKey2)) {
     return null;
   }
-  const outcome = read?.get(nameKey2) ?? (0, import_resolution11.calleeOutcomeOf)(ctx.facts, nameKey2);
+  const outcome = read?.get(nameKey2) ?? (0, import_resolution10.calleeOutcomeOf)(ctx.facts, nameKey2);
   return outcome.kind === "function" ? functionAt(outcome.key, ctx) : null;
 }
 function assignedElsewhere(facts, nameKey2) {
-  return (0, import_resolution11.writtenSourcesOf)(facts, nameKey2).some(
+  return (0, import_resolution10.writtenSourcesOf)(facts, nameKey2).some(
     (source) => !facts.has("func", [source])
   );
 }
@@ -8851,7 +8940,7 @@ function moduleNamed(from, module2, relativeLevel, ctx) {
   if (file === void 0) {
     return null;
   }
-  (0, import_resolution11.noteKeyRead)(ctx.facts, file.file);
+  (0, import_resolution10.noteKeyRead)(ctx.facts, file.file);
   return { kind: "module", file };
 }
 
@@ -8949,7 +9038,10 @@ function reachedFunctions(seeds, options) {
         passedPositions.add(position);
       }
       const called = [];
-      for (const target of scan.followed) {
+      const calledHere = scan.followed.flatMap(
+        (target) => target.receiverClass === void 0 ? [target] : [plainOf(target), target]
+      );
+      for (const target of calledHere) {
         const calleeKey2 = keyOf2(target);
         if (!functionByKey.has(calleeKey2)) {
           functionByKey.set(calleeKey2, target);
@@ -8966,11 +9058,30 @@ function reachedFunctions(seeds, options) {
   if (ledger === void 0) {
     settleBodyValues(reached, functionByKey, options);
   }
+  const placementsOf = (key) => ({
+    targets: targetsByKey.get(key),
+    argTargets: argTargetsByKey.get(key),
+    possibleTargets: possibleTargetsByKey.get(key)
+  });
+  const onSubclass = (0, import_resolution11.keptVariants)(
+    reached.flatMap(
+      (key) => functionByKey.get(key)?.receiverClass === void 0 ? [] : [
+        {
+          key,
+          differs: !(0, import_behavioral_ir7.sameDeclarations)(
+            placementsOf(key),
+            placementsOf((0, import_resolution11.plainKeyOf)(key))
+          ),
+          calls: callsByKey.get(key) ?? []
+        }
+      ]
+    )
+  );
   const summaries = [];
   const summariesByKey = /* @__PURE__ */ new Map();
   for (const key of reached) {
     const target = functionByKey.get(key);
-    if (target === void 0) {
+    if (target === void 0 || target.receiverClass !== void 0 && !onSubclass.has(key)) {
       continue;
     }
     const kept = replay?.summaryOf(key);
@@ -8985,6 +9096,9 @@ function reachedFunctions(seeds, options) {
       const summary2 = (0, import_extractor13.assembleSummary)(libraryUnit(target, options), {
         gapHandling: options.gapHandling
       });
+      if (target.receiverClass !== void 0) {
+        summary2.receiverClass = displayedClass(target.receiverClass, ctx);
+      }
       if (options.gapHandling !== "silent") {
         summary2.gaps.push(
           ...(stopsByKey.get(key) ?? []).map(import_behavioral_ir7.unfollowedCallGap)
@@ -9035,7 +9149,7 @@ var ReplayFailed = class extends Error {
 function chargeOf(charges, key) {
   let charge = charges.get(key);
   if (charge === void 0) {
-    charge = (0, import_resolution12.noDependencies)();
+    charge = (0, import_resolution11.noDependencies)();
     charges.set(key, charge);
   }
   return charge;
@@ -9122,7 +9236,8 @@ function storedScan(scan) {
     followed: scan.followed.map((target) => ({
       key: keyOf2(target),
       name: target.name,
-      exportPath: target.exportPath
+      exportPath: target.exportPath,
+      ...target.receiverClass === void 0 ? {} : { receiverClass: target.receiverClass }
     })),
     stops: scan.stops,
     targets: [...scan.targets],
@@ -9155,14 +9270,25 @@ function scanFromStored(stored, functionFor) {
   };
 }
 function keyOf2(target) {
-  return nodeId(target.file.file, target.node);
+  const key = nodeId(target.file.file, target.node);
+  return target.receiverClass === void 0 ? key : (0, import_resolution11.variantKey)(key, target.receiverClass);
+}
+function plainOf(target) {
+  return reachedFunctionOf(target.file, target.node);
+}
+function placeOf(target, ctx) {
+  const place = { file: target.file.displayPath, span: spanOf(target.node) };
+  return target.receiverClass === void 0 ? place : { ...place, receiverClass: displayedClass(target.receiverClass, ctx) };
+}
+function displayedClass(cls, ctx) {
+  return {
+    name: cls.name,
+    file: ctx.filesByPath.get(cls.file)?.displayPath ?? cls.file
+  };
 }
-function placeCallee(placements, callee, outcome, call, file) {
+function placeCallee(placements, callee, outcome, call, file, ctx) {
   if (outcome.kind === "followed") {
-    placements.place(callee, {
-      file: outcome.target.file.displayPath,
-      span: spanOf(outcome.target.node)
-    });
+    placements.place(callee, placeOf(outcome.target, ctx));
     return;
   }
   if (outcome.reason === "noDeclaration" && !isMethodCall(call)) {
@@ -9190,9 +9316,13 @@ function bodyOf(source) {
   }
   return {
     body,
-    written: callsWritten(file, body, scopeAt2(file, node), keyOf2(source), {
-      descendsInto: isModule(node) ? runsAtModuleLoad : outsideNestedDef
-    })
+    written: callsWritten(
+      file,
+      body,
+      scopeAt2(file, node),
+      { owner: nodeId(file.file, node), receiverClass: source.receiverClass },
+      { descendsInto: isModule(node) ? runsAtModuleLoad : outsideNestedDef }
+    )
   };
 }
 function outsideNestedDef(node) {
@@ -9262,16 +9392,20 @@ function scanBody(source, ctx, recognized, read, implied) {
       followed.push(target);
     }
   };
-  const recordPassedArgs = (call, callee, calleeKey2) => {
+  const recordPassedArgs = (call, callee, target) => {
     const args = field(call, "arguments");
     if (args === null) {
       return;
     }
+    const calleeKeys = target === null ? [] : [keyOf2(target), keyOf2(plainOf(target))];
+    const passes = (position) => {
+      for (const calleeKey2 of calleeKeys) {
+        passedPositions.add(`${calleeKey2}#${position}`);
+      }
+    };
     children(args).forEach((arg, position) => {
       if (arg.type === "lambda") {
-        if (calleeKey2 !== null) {
-          passedPositions.add(`${calleeKey2}#${position}`);
-        }
+        passes(position);
         return;
       }
       const nameKey2 = passedNameKeyOf(file, arg);
@@ -9283,23 +9417,15 @@ function scanBody(source, ctx, recognized, read, implied) {
         return;
       }
       follow(resolved);
-      placements.placeArg(callee, position, {
-        file: resolved.file.displayPath,
-        span: spanOf(resolved.node)
-      });
-      if (calleeKey2 !== null) {
-        passedPositions.add(`${calleeKey2}#${position}`);
-      }
+      placements.placeArg(callee, position, placeOf(resolved, ctx));
+      passes(position);
     });
   };
   const recordPossible = (call, callee, dispatched) => {
     dispatched.targets.forEach(follow);
     placements.placePossible(
       callee,
-      dispatched.targets.map((target) => ({
-        file: target.file.displayPath,
-        span: spanOf(target.node)
-      }))
+      dispatched.targets.map((target) => placeOf(target, ctx))
     );
     recordPassedArgs(call, callee, null);
     if (dispatched.unresolved > 0 && !recognized.has(call.id)) {
@@ -9316,11 +9442,11 @@ function scanBody(source, ctx, recognized, read, implied) {
       return;
     }
     const outcome = only === void 0 ? settled : { kind: "followed", target: only };
-    placeCallee(placements, callee, outcome, call, file);
+    placeCallee(placements, callee, outcome, call, file, ctx);
     recordPassedArgs(
       call,
       callee,
-      outcome.kind === "followed" ? keyOf2(outcome.target) : null
+      outcome.kind === "followed" ? outcome.target : null
     );
     if (outcome.kind === "stopped") {
       if (!recognized.has(call.id) && (0, import_behavioral_ir7.worthRecording)(outcome.reason)) {
@@ -9361,12 +9487,12 @@ function scanBody(source, ctx, recognized, read, implied) {
     passedPositions
   };
 }
-function callsWritten(file, body, outer, owner, limit) {
+function callsWritten(file, body, outer, scanned, limit) {
   const found = [];
   (0, import_extractor13.walkDescendants)(body, outer, children, {
     at: (child, scope) => {
       if (child.type === "call") {
-        found.push({ call: child, site: { file, scope, owner } });
+        found.push({ call: child, site: { file, scope, ...scanned } });
       }
     },
     into: (child, scope) => limit.descendsInto(child) ? file.module.scopeFor.get(child.id) ?? scope : import_extractor13.SKIP_CHILDREN
@@ -9415,13 +9541,8 @@ function libraryUnit(target, options, binding = (0, import_behavioral_ir7.functi
     file.module,
     parameters.map((parameter) => parameter.name)
   );
-  const effects = invocationEffects(node, options.facts);
-  const branches = exitingBranches(
-    node,
-    file.module,
-    effects,
-    options.facts
-  ) ?? [
+  const calls = invocationSites(node, options.facts);
+  const branches = exitingBranches(node, file.module, calls, options.facts) ?? [
     {
       conditions: [],
       terminal: {
@@ -9436,7 +9557,7 @@ function libraryUnit(target, options, binding = (0, import_behavioral_ir7.functi
         emitEvent: null,
         location: range
       },
-      effects,
+      effects: calls.map((call) => call.effect),
       location: range,
       isDefault: true
     }
@@ -9533,12 +9654,132 @@ function parameterName2(param) {
   return identifiersUnder(param)[0] ?? null;
 }
 
+// src/entryPoints.ts
+function declaredEntryUnits(file, packs, options) {
+  const units = [];
+  for (const pack of packs) {
+    for (const entry of pack.entryPoints?.(file.file) ?? []) {
+      const binding = file.module.moduleScope.bindings.get(entry.name);
+      if (binding?.kind !== "functionDef") {
+        continue;
+      }
+      for (const declared of entry.units) {
+        const raw = libraryUnit(
+          {
+            file,
+            node: binding.node,
+            name: declared.name,
+            exportPath: [entry.name]
+          },
+          options,
+          declared.binding
+        );
+        units.push({
+          ...raw,
+          identity: { ...raw.identity, kind: declared.kind },
+          deployableUnit: declared.deployableUnit,
+          ...declared.metadata !== void 0 ? { packMetadata: declared.metadata } : {}
+        });
+      }
+    }
+  }
+  return units;
+}
+
+// src/importedDefinitions.ts
+var import_resolution12 = require("@suss/resolution");
+function importedDefinitionLookup(db, files) {
+  const fileOfModuleScope = /* @__PURE__ */ new Map();
+  const byFile = /* @__PURE__ */ new Map();
+  for (const file of files) {
+    fileOfModuleScope.set(file.module.moduleScope.node.id, file.file);
+    byFile.set(file.file, file);
+  }
+  const found = /* @__PURE__ */ new Map();
+  return (scope, name) => {
+    const fromFile = fileOfModuleScope.get(moduleScopeOf(scope).node.id);
+    if (fromFile === void 0) {
+      return null;
+    }
+    const key = `${fromFile}#${name}`;
+    let definition = found.get(key);
+    if (definition === void 0) {
+      definition = definitionAmong(originsOf(db, key), byFile);
+      found.set(key, definition);
+    } else if ((0, import_resolution12.isObserved)(db)) {
+      originsOf(db, key);
+    }
+    if (definition !== null) {
+      (0, import_resolution12.noteKeyRead)(db, definition.file);
+    }
+    return definition;
+  };
+}
+function definitionAmong(origins, byFile) {
+  for (const origin of origins) {
+    const file = byFile.get(origin.module);
+    const binding = file?.module.moduleScope.bindings.get(origin.name);
+    if (file === void 0 || binding === void 0) {
+      continue;
+    }
+    const node = definedNodeOf(binding);
+    if (node !== null) {
+      return {
+        node,
+        file: file.file,
+        moduleScope: file.module.moduleScope,
+        scopeFor: file.module.scopeFor
+      };
+    }
+  }
+  return null;
+}
+function definedNodeOf(binding) {
+  if (binding.kind === "classDef") {
+    return binding.node;
+  }
+  if (binding.kind === "assignment") {
+    return binding.value;
+  }
+  return null;
+}
+
+// src/libraryEnvReads.ts
+var import_extractor14 = require("@suss/extractor");
+function libraryEnvReadMarkers(files, packs) {
+  const markers = [];
+  for (const pack of packs) {
+    for (const declared of pack.libraryEnvVars ?? []) {
+      const importer = files.find(
+        (file) => importsModule(file, declared.module)
+      );
+      if (importer !== void 0) {
+        markers.push(
+          (0, import_extractor14.libraryEnvReadMarker)(pack.name, declared, importer.displayPath)
+        );
+      }
+    }
+  }
+  return markers;
+}
+function importsModule(file, prefix) {
+  for (const binding of file.module.moduleScope.bindings.values()) {
+    if ((binding.kind === "import" || binding.kind === "importFrom") && binding.relativeLevel === 0 && binding.module.startsWith(prefix)) {
+      return true;
+    }
+  }
+  return false;
+}
+
 // src/moduleSurface.ts
+var import_behavioral_ir8 = require("@suss/behavioral-ir");
+var import_extractor15 = require("@suss/extractor");
+var import_resolution13 = require("@suss/resolution");
 function settlePythonModules(modules) {
-  return (0, import_extractor14.settleModules)(modules, ["__init__.py"]);
+  return (0, import_extractor15.settleModules)(modules, ["__init__.py"]);
 }
 function moduleExportUnits(file, options) {
-  const module2 = (0, import_extractor14.moduleOfFile)(options.modules, file.file);
+  const module2 = (0, import_extractor15.moduleOfFile)(options.modules, file.file);
   if (module2 === void 0) {
     return [];
   }
@@ -9561,7 +9802,7 @@ function moduleExportUnits(file, options) {
           },
           options,
           (0, import_behavioral_ir8.moduleExportBinding)({
-            recognition: import_extractor14.MODULE_SURFACE_RECOGNITION,
+            recognition: import_extractor15.MODULE_SURFACE_RECOGNITION,
             module: module2.name,
             exportName
           })
@@ -9634,9 +9875,20 @@ function pythonEntryReuse(records, changedFiles, changes) {
   return new import_resolution14.EntryReuse(records, changedFiles, changes, seedsOfRecord);
 }
 function storedFunction(target, definitions, filesByPath) {
-  const node = definitions.get(target.key);
+  const plainKey = (0, import_resolution14.plainKeyOf)(target.key);
+  const node = definitions.get(plainKey);
   const file = filesByPath.get((0, import_resolution14.fileOfKey)(target.key));
-  return node === void 0 || file === void 0 ? null : { file, node, name: target.name, exportPath: target.exportPath };
+  const key = target.receiverClass === void 0 ? plainKey : (0, import_resolution14.variantKey)(plainKey, target.receiverClass);
+  if (node === void 0 || file === void 0 || key !== target.key) {
+    return null;
+  }
+  const found = {
+    file,
+    node,
+    name: target.name,
+    exportPath: target.exportPath
+  };
+  return target.receiverClass === void 0 ? found : { ...found, receiverClass: target.receiverClass };
 }
 var WalkReplay = class {
   constructor(reuse, definitions, filesByPath) {
@@ -11064,7 +11316,7 @@ function poetryPackages(pyproject) {
 // src/testCases.ts
 var import_node_path4 = __toESM(require("path"), 1);
 var import_behavioral_ir9 = require("@suss/behavioral-ir");
-var import_extractor15 = require("@suss/extractor");
+var import_extractor16 = require("@suss/extractor");
 var import_resolution16 = require("@suss/resolution");
 var import_values27 = require("@suss/values");
 function pythonTestIndex(packs, context) {
@@ -11083,7 +11335,7 @@ var PythonTestIndex = class {
   implied = /* @__PURE__ */ new Map();
   /** The tests in one file, when the file is collected and listed. */
   unitsIn(file, options) {
-    return this.testsIn(file).filter((test) => (0, import_extractor15.isListedTestFile)(file.file, test.pattern.files)).map((test) => this.testUnit(file, test, options));
+    return this.testsIn(file).filter((test) => (0, import_extractor16.isListedTestFile)(file.file, test.pattern.files)).map((test) => this.testUnit(file, test, options));
   }
   /** What pytest calls before this function runs, when it is a test or a fixture. */
   impliedCalls(source) {
@@ -11169,7 +11421,7 @@ var PythonTestIndex = class {
   }
   patternFor(file) {
     return this.patterns.find(
-      (pattern) => (0, import_extractor15.matchesTestFileName)(file.file, pattern.filePatterns)
+      (pattern) => (0, import_extractor16.matchesTestFileName)(file.file, pattern.filePatterns)
     ) ?? null;
   }
   testsIn(file) {
@@ -11722,15 +11974,15 @@ function oneLine(text2) {
 }
 
 // src/version.ts
-var import_extractor16 = require("@suss/extractor");
+var import_extractor17 = require("@suss/extractor");
 var ADAPTER_VERSION = "0.1.0";
-var adapterStamp = (0, import_extractor16.createAdapterStamp)({
+var adapterStamp = (0, import_extractor17.createAdapterStamp)({
   moduleUrl: importMetaUrl,
   version: ADAPTER_VERSION
 });
 
 // src/wrappers.ts
-var import_extractor17 = require("@suss/extractor");
+var import_extractor18 = require("@suss/extractor");
 var import_resolution17 = require("@suss/resolution");
 var EVERY_ROUTE = "wrapEvery ";
 var OWN_ROUTES = "wrapOwn ";
@@ -12289,7 +12541,7 @@ function coverageOf(match, pack) {
   return match.registrar.covers === "everyRoute" ? { kind: "everyRoute", pack: pack.name } : { kind: "ownRoutes", key: match.key };
 }
 function registerDecorated(file, declared, form, index) {
-  (0, import_extractor17.walkDescendants)(file.root, file.module.moduleScope, children, {
+  (0, import_extractor18.walkDescendants)(file.root, file.module.moduleScope, children, {
     at: (node, scope) => {
       if (node.type !== "decorated_definition") {
         return;
@@ -12417,7 +12669,7 @@ function unitAround(target, pattern, reading, options) {
   });
   const continuations = reading.continuations;
   const terminals = bodyTerminals(body, raised, continuations);
-  const effects = invocationEffects(node, options.facts);
+  const effects = invocationSites(node, options.facts);
   const extra = recognizedBodyEffects(
     node,
     file.module,
@@ -12441,9 +12693,9 @@ function unitAround(target, pattern, reading, options) {
   });
   const respond = (statement) => returnBranch(statement, {
     pattern,
-    responseShape: { reading: import_extractor17.absentReading },
+    responseShape: { reading: import_extractor18.absentReading },
     declaredStatus: {
-      reading: import_extractor17.absentReading,
+      reading: import_extractor18.absentReading,
       ...pattern.defaultStatusCode !== void 0 ? { libraryDefault: pattern.defaultStatusCode } : {}
     },
     module: file.module,
@@ -12554,7 +12806,7 @@ function closureReturnedBy(decorator) {
 
 // src/project.ts
 function keptPythonParses() {
-  return new import_extractor18.KeptParses(({ root }) => root.tree.delete());
+  return new import_extractor19.KeptParses(({ root }) => root.tree.delete());
 }
 async function parsePythonAhead(files, kept) {
   for (const file of files) {
@@ -12643,16 +12895,16 @@ function factsForFile(options) {
 }
 async function extractPythonProject(options) {
   const { roots, unreadManifests } = rootsOfRun(options);
-  const timer = options.onTiming !== void 0 ? (0, import_extractor18.createTimer)() : (0, import_extractor18.noopTimer)();
+  const timer = options.onTiming !== void 0 ? (0, import_extractor19.createTimer)() : (0, import_extractor19.noopTimer)();
   const cacheDir = adapterStamp.declineWhenRunFromSource(
-    options.cacheDir === null ? null : options.cacheDir ?? (options.projectRoot !== void 0 ? (0, import_extractor18.extractionCacheDirFor)(options.projectRoot) : null)
+    options.cacheDir === null ? null : options.cacheDir ?? (options.projectRoot !== void 0 ? (0, import_extractor19.extractionCacheDirFor)(options.projectRoot) : null)
   );
-  const layer = (0, import_extractor18.createCacheLayer)(cacheDir);
+  const layer = (0, import_extractor19.createCacheLayer)(cacheDir);
   const packsDigest = `${adapterStamp.packsDigest(
     options.packs.map(
       (pack) => pack.version !== void 0 ? { name: pack.name, version: pack.version } : { name: pack.name }
     )
-  )}|${(0, import_extractor18.extractionConfigStamp)({
+  )}|${(0, import_extractor19.extractionConfigStamp)({
     gapHandling: options.gapHandling,
     workspaceRoot: options.workspaceRoot,
     projectRoot: options.projectRoot,
@@ -12662,13 +12914,13 @@ async function extractPythonProject(options) {
   })}`;
   const input = {
     files: cacheDir === null ? [] : options.files,
-    adapterPacksDigest: cacheDir === null ? packsDigest : (0, import_extractor18.runDigest)(packsDigest, options.packs, options.files)
+    adapterPacksDigest: cacheDir === null ? packsDigest : (0, import_extractor19.runDigest)(packsDigest, options.packs, options.files)
   };
   const lookup = await timer.timeAsync(
     "cache.lookup",
     () => layer.lookup(input)
   );
-  const composed = (stored) => (0, import_extractor18.composeWrappers)(stored, {
+  const composed = (stored) => (0, import_extractor19.composeWrappers)(stored, {
     gapHandling: options.gapHandling ?? "permissive"
   });
   if (lookup.kind === "hit") {
@@ -12752,7 +13004,9 @@ async function runPython(options, roots, cache, previous) {
   const sqlClients = options.packs.flatMap((pack) => pack.sqlClients ?? []);
   const modelQueries = options.packs.flatMap((pack) => pack.models ?? []);
   const declaredModules = settlePythonModules(options.modules);
-  const discovers = declaredModules.length > 0 || options.packs.some((pack) => pack.discovery.length > 0);
+  const discovers = declaredModules.length > 0 || options.packs.some(
+    (pack) => pack.discovery.length > 0 || pack.entryPoints !== void 0
+  );
   const buildsReceivers = options.packs.some(
     (pack) => (pack.clients ?? []).some(
       (client) => (client.receiverConstructors ?? []).length > 0
@@ -12915,6 +13169,10 @@ async function runPython(options, roots, cache, previous) {
         facts: db,
         storageFor
       }),
+      ...declaredEntryUnits(boundFile, options.packs, {
+        facts: db,
+        storageFor
+      }),
       ...tests === null ? [] : tests.unitsIn(boundFile, { storageFor, facts: db })
     ];
     const charge = (0, import_resolution18.noDependencies)();
@@ -12977,7 +13235,7 @@ async function runPython(options, roots, cache, previous) {
   const assemble = (raw, boundFile) => {
     const summary = timer.time(
       "summarize",
-      () => (0, import_extractor18.assembleSummary)(raw, { gapHandling })
+      () => (0, import_extractor19.assembleSummary)(raw, { gapHandling })
     );
     summaries.push(summary);
     assembledHere.add(summary);
@@ -13024,7 +13282,10 @@ async function runPython(options, roots, cache, previous) {
     }
     const loadTimeReads = record !== void 0 && discoveries.get(file) === record ? null : timer.time(
       "discover",
-      () => charged(file, () => envReadEffects(root, moduleBinding, db))
+      () => charged(
+        file,
+        () => envReadEffects(root, moduleBinding, db).map((one) => one.effect)
+      )
     );
     const moduleKey = nodeId(file, root);
     if (!summariesBySeed.has(moduleKey)) {
@@ -13103,8 +13364,8 @@ async function runPython(options, roots, cache, previous) {
     }
     const summary = timer.time(
       "summarize",
-      () => (0, import_extractor18.assembleSummary)(
-        (0, import_extractor18.moduleInitStructure)({
+      () => (0, import_extractor19.assembleSummary)(
+        (0, import_extractor19.moduleInitStructure)({
           name: import_node_path5.default.basename(displayPath),
           file: displayPath,
           range: rangeOf(boundFile.root),
@@ -13113,7 +13374,7 @@ async function runPython(options, roots, cache, previous) {
             ...charged(
               boundFile.file,
               () => moduleLoadInvocationEffects(boundFile.root, db)
-            ).map(import_extractor18.effectToIR)
+            ).map(import_extractor19.effectToIR)
           ]
         }),
         { gapHandling }
@@ -13127,14 +13388,15 @@ async function runPython(options, roots, cache, previous) {
     });
   }
   summaries.push(...reached.summaries);
+  summaries.push(...libraryEnvReadMarkers(bound, options.packs));
   const spend = (0, import_resolution18.underQuestionSpend)(db);
   const overBudget = spend.abandoned + spend.skipped > 0;
   if (overBudget && reuse !== null) {
     throw new ReplayFailed("");
   }
   const resolvedImports = (0, import_resolution18.importedFilesByFile)(db, displayPathOf);
-  (0, import_extractor18.stampModuleImports)(summaries, (file) => resolvedImports.get(file) ?? []);
-  (0, import_extractor18.stampModules)(summaries, declaredModules, options.workspaceRoot);
+  (0, import_extractor19.stampModuleImports)(summaries, (file) => resolvedImports.get(file) ?? []);
+  (0, import_extractor19.stampModules)(summaries, declaredModules, options.workspaceRoot);
   const idRoot = options.projectRoot ?? options.workspaceRoot;
   for (const summary of summaries) {
     const absoluteFile = options.workspaceRoot === void 0 ? summary.location.file : import_node_path5.default.resolve(options.workspaceRoot, summary.location.file);
@@ -13149,7 +13411,7 @@ async function runPython(options, roots, cache, previous) {
   (0, import_behavioral_ir10.linkCallsToSummaries)(summaries);
   const composed = timer.time("summarize", () => {
     markExitCodeFunctions(summaries, exits, db, options.workspaceRoot);
-    return (0, import_extractor18.composeWrappers)(summaries, { gapHandling });
+    return (0, import_extractor19.composeWrappers)(summaries, { gapHandling });
   });
   const walkedFiles = new Map(
     bound.map(({ file, displayPath }) => [displayPath, file])
@@ -13282,7 +13544,7 @@ function pythonAttribution(args) {
   });
   return {
     roots,
-    owners: (0, import_extractor18.ownersWhereWritten)(args.summaries, args.walkedFileOf)
+    owners: (0, import_extractor19.ownersWhereWritten)(args.summaries, args.walkedFileOf)
   };
 }
 var SKIPPED_DIRECTORIES = /* @__PURE__ */ new Set([