@suss/extractor 0.25.0 → 0.27.0

package/dist/index.cjs

@@ -43,6 +43,7 @@ __export(index_exports, {
   assembleSummary: () => assembleSummary,
   assessConfidence: () => assessConfidence,
   buildUngatedExtractionReport: () => buildUngatedExtractionReport,
+  commonDirectoryOf: () => commonDirectoryOf,
   composeWrappers: () => composeWrappers,
   computeContentHash: () => computeContentHash,
   computeDistHashFrom: () => computeDistHashFrom,
@@ -295,8 +296,8 @@ var catchEntryCond = () => fixedCond(
   "positive",
   "catchBlock"
 );
-function classify(path3, home, isAncestorOrSelf) {
-  return path3.map((cond) => {
+function classify(path4, home, isAncestorOrSelf) {
+  return path4.map((cond) => {
     if (cond.branchStmt === null) {
       return cond.info;
     }
@@ -361,9 +362,9 @@ function chargeBudget(state) {
     );
   }
 }
-function recordTerminal(ctx, terminal, home, path3) {
+function recordTerminal(ctx, terminal, home, path4) {
   chargeBudget(ctx.state);
-  const info = classify(path3, home, ctx.isAncestorOrSelf);
+  const info = classify(path4, home, ctx.isAncestorOrSelf);
   const existing = ctx.state.byTerminal.get(terminal) ?? [];
   existing.push(info);
   ctx.state.byTerminal.set(terminal, existing);
@@ -374,15 +375,15 @@ function containsTerminal(ctx, stmt) {
   }
   return childrenOf(stmt).some((child) => containsTerminal(ctx, child));
 }
-function stepIf(stmt, path3, ctx) {
+function stepIf(stmt, path4, ctx) {
   const thenExit = exitKindOfList(stmt.thenBody);
   const elseExit = stmt.elseBody === null ? null : exitKindOfList(stmt.elseBody);
   const thenPath = [
-    ...path3,
+    ...path4,
     branchCond(stmt, stmt.condition, "positive", elseExit)
   ];
   const elsePath = [
-    ...path3,
+    ...path4,
     branchCond(
       stmt,
       stmt.condition,
@@ -399,7 +400,7 @@ function stepIf(stmt, path3, ctx) {
   }
   return out;
 }
-function stepSwitch(stmt, path3, ctx) {
+function stepSwitch(stmt, path4, ctx) {
   const out = [];
   const negations = [];
   let defaultRanBody = false;
@@ -409,7 +410,7 @@ function stepSwitch(stmt, path3, ctx) {
     if (hasStrayBreak(group.body)) {
       throw new UnmodeledFlow("non-trailing break in switch clause");
     }
-    const groupPath = group.condition === null ? [...path3, ...negations] : [...path3, fixedCond(group.condition, "positive", "explicit")];
+    const groupPath = group.condition === null ? [...path4, ...negations] : [...path4, fixedCond(group.condition, "positive", "explicit")];
     const conts = enumerate(ctx, group.body, groupPath);
     if (conts.length > 0) {
       if (!group.hasTrailingBreak && !fallthroughSafe) {
@@ -426,24 +427,24 @@ function stepSwitch(stmt, path3, ctx) {
     }
   }
   if (!defaultRanBody) {
-    out.push([...path3, ...negations]);
+    out.push([...path4, ...negations]);
   }
   return out;
 }
-function stepLoop(stmt, path3, ctx) {
+function stepLoop(stmt, path4, ctx) {
   const bodyExit = exitKindOfList(stmt.body);
   if (containsTerminal(ctx, stmt)) {
     enumerate(ctx, stmt.body, [
-      ...path3,
+      ...path4,
       loopIterationCond(stmt.condition.sourceText)
     ]);
   }
   if (bodyExit !== null) {
-    return [[...path3, loopCompletedCond(stmt.condition.sourceText, bodyExit)]];
+    return [[...path4, loopCompletedCond(stmt.condition.sourceText, bodyExit)]];
   }
-  return [path3];
+  return [path4];
 }
-function stepTry(stmt, path3, ctx) {
+function stepTry(stmt, path4, ctx) {
   if (stmt.finallyBody !== null) {
     const finallyHasTerminal = stmt.finallyBody.some(
       (s) => containsTerminal(ctx, s)
@@ -453,22 +454,22 @@ function stepTry(stmt, path3, ctx) {
     }
   }
   const out = [];
-  out.push(...enumerate(ctx, stmt.tryBody, path3));
+  out.push(...enumerate(ctx, stmt.tryBody, path4));
   if (stmt.catchBody !== null) {
-    const catchPath = [...path3, catchEntryCond()];
+    const catchPath = [...path4, catchEntryCond()];
     out.push(...enumerate(ctx, stmt.catchBody, catchPath));
   }
   return out;
 }
-function stepExit(stmt, path3, ctx) {
+function stepExit(stmt, path4, ctx) {
   const collector = ctx.state.callbackExits[ctx.state.callbackExits.length - 1];
   if (collector !== void 0 && (stmt.exit === "return" || stmt.exit === "throw")) {
-    collector.push(path3);
+    collector.push(path4);
   }
   return [];
 }
-function stepOpaque(_stmt, path3, _ctx) {
-  return [path3];
+function stepOpaque(_stmt, path4, _ctx) {
+  return [path4];
 }
 var stepHandlers = {
   if: stepIf,
@@ -478,20 +479,20 @@ var stepHandlers = {
   exit: stepExit,
   opaque: stepOpaque
 };
-function stepCallback(ctx, body, path3) {
+function stepCallback(ctx, body, path4) {
   const exits = [];
   ctx.state.callbackExits.push(exits);
   let fellThrough;
   try {
-    fellThrough = enumerate(ctx, body, path3);
+    fellThrough = enumerate(ctx, body, path4);
   } finally {
     ctx.state.callbackExits.pop();
   }
   const out = [...fellThrough, ...exits];
-  return out.length === 0 ? [path3] : out;
+  return out.length === 0 ? [path4] : out;
 }
-function stepStatement(ctx, stmt, path3) {
-  let paths = [path3];
+function stepStatement(ctx, stmt, path4) {
+  let paths = [path4];
   for (const body of stmt.callbacks ?? []) {
     paths = paths.flatMap((each) => stepCallback(ctx, body, each));
   }
@@ -572,8 +573,8 @@ function enumerate(ctx, stmts, prefix) {
   let frontiers = [[...prefix]];
   for (const stmt of stmts) {
     const nextFrontiers = [];
-    for (const path3 of mergeRejoined(frontiers)) {
-      nextFrontiers.push(...stepStatement(ctx, stmt, path3));
+    for (const path4 of mergeRejoined(frontiers)) {
+      nextFrontiers.push(...stepStatement(ctx, stmt, path4));
     }
     frontiers = nextFrontiers;
     if (frontiers.length > MAX_PATHS) {
@@ -624,9 +625,9 @@ function enumerateStructuredPaths(input) {
     isAncestorOrSelf
   };
   const continuations = withRejoined(enumerate(ctx, input.statements, []));
-  for (const path3 of continuations) {
+  for (const path4 of continuations) {
     chargeBudget(state);
-    state.fallthrough.push(classify(path3, null, isAncestorOrSelf));
+    state.fallthrough.push(classify(path4, null, isAncestorOrSelf));
   }
   return { byTerminal: state.byTerminal, fallthrough: state.fallthrough };
 }
@@ -672,9 +673,12 @@ function composeWrappers(summaries, options = {}) {
   const byKey = /* @__PURE__ */ new Map();
   for (const summary of summaries) {
     const key = summaryKey(summary.location.file, summary.identity.name);
-    if (!byKey.has(key)) {
-      byKey.set(key, summary);
+    const sharing = byKey.get(key);
+    if (sharing === void 0) {
+      byKey.set(key, [summary]);
+      continue;
     }
+    sharing.push(summary);
   }
   const keepGaps = options.gapHandling !== "silent";
   return summaries.map((summary) => composeOne(summary, byKey, keepGaps));
@@ -682,6 +686,13 @@ function composeWrappers(summaries, options = {}) {
 function summaryKey(file, name) {
   return `${file}::${name}`;
 }
+function summaryOf(reference, byKey) {
+  const sharing = byKey.get(summaryKey(reference.file, reference.name)) ?? [];
+  if (reference.line === void 0) {
+    return sharing[0];
+  }
+  return sharing.find((one) => one.location.range.start === reference.line) ?? sharing[0];
+}
 function composeOne(summary, byKey, keepGaps) {
   const recorded = (0, import_behavioral_ir3.readWrapperMetadata)(summary);
   const applied = recorded?.applied ?? [];
@@ -695,7 +706,7 @@ function composeOne(summary, byKey, keepGaps) {
     })
   };
   const wrappers = covering.flatMap((reference) => {
-    const found = byKey.get(summaryKey(reference.file, reference.name));
+    const found = summaryOf(reference, byKey);
     return found === void 0 ? [] : [{ reference, summary: found }];
   });
   if (wrappers.length === 0) {
@@ -775,8 +786,8 @@ function applyWrapper(wrapper, inner) {
     wrapper.summary.transitions.filter((t) => t.output.type !== "delegate"),
     wrapper.reference
   );
-  const passThroughs = wrapper.summary.transitions.filter(
-    (t) => t.output.type === "delegate"
+  const passThroughs = withoutCoveredPassThroughs(
+    wrapper.summary.transitions.filter((t) => t.output.type === "delegate")
   );
   if (passThroughs.length === 0 || shortCircuits.length + passThroughs.length * inner.transitions.length > MAX_PATHS) {
     return {
@@ -789,6 +800,20 @@ function applyWrapper(wrapper, inner) {
   );
   return { transitions: [...shortCircuits, ...continued], degraded: false };
 }
+function withoutCoveredPassThroughs(passThroughs) {
+  return passThroughs.filter(
+    (candidate, i) => !passThroughs.some(
+      (other, j) => j !== i && covers(other, candidate) && (j < i || !covers(candidate, other))
+    )
+  );
+}
+function covers(wider, narrower) {
+  if (JSON.stringify(wider.effects) !== JSON.stringify(narrower.effects)) {
+    return false;
+  }
+  const required = new Set(narrower.conditions.map((c) => JSON.stringify(c)));
+  return wider.conditions.every((c) => required.has(JSON.stringify(c)));
+}
 function applyThrowWrapper(wrapper, inner) {
   const thrown = inner.transitions.filter((t) => t.output.type === "throw");
   if (thrown.length === 0) {
@@ -1114,8 +1139,8 @@ function sharedGatingConditions(paths, readPredicate) {
     return [];
   }
   const shared = new Set(first.map(keyOf2));
-  for (const path3 of rest) {
-    const here = new Set(path3.map(keyOf2));
+  for (const path4 of rest) {
+    const here = new Set(path4.map(keyOf2));
     for (const value of shared) {
       if (!here.has(value)) {
         shared.delete(value);
@@ -1191,6 +1216,27 @@ function walkDescendants(root, carried, visitor) {
   }
 }
 
+// src/projectRoot.ts
+var import_node_path = __toESM(require("path"), 1);
+function commonDirectoryOf(files) {
+  const absolute = files.filter((f) => import_node_path.default.isAbsolute(f));
+  const first = absolute[0];
+  if (first === void 0) {
+    return void 0;
+  }
+  let shared = import_node_path.default.dirname(first).split(import_node_path.default.sep);
+  for (const file of absolute.slice(1)) {
+    const parts = import_node_path.default.dirname(file).split(import_node_path.default.sep);
+    let i = 0;
+    while (i < shared.length && i < parts.length && shared[i] === parts[i]) {
+      i += 1;
+    }
+    shared = shared.slice(0, i);
+  }
+  const joined = shared.join(import_node_path.default.sep);
+  return joined.length > 1 ? joined : void 0;
+}
+
 // src/reading.ts
 function writtenReading(value, range) {
   return { kind: "written", value, range };
@@ -1248,7 +1294,7 @@ function valueToReadFurtherFrom(reading) {
 var import_node_crypto = require("crypto");
 var import_node_fs = __toESM(require("fs"), 1);
 var import_node_module = require("module");
-var import_node_path = __toESM(require("path"), 1);
+var import_node_path2 = __toESM(require("path"), 1);
 var import_node_url = require("url");
 var import_meta = {};
 var ANALYSIS_PACKAGES = [
@@ -1291,14 +1337,14 @@ function createAdapterStamp(config) {
 function readAdapterCodeStamp(moduleUrl) {
   try {
     const selfPath = (0, import_node_url.fileURLToPath)(moduleUrl);
-    const hash = computeDistHashFrom(import_node_path.default.dirname(selfPath));
+    const hash = computeDistHashFrom(import_node_path2.default.dirname(selfPath));
     return hash.length > 0 ? { kind: "bundle", hash } : SOURCE_STAMP;
   } catch {
     return SOURCE_STAMP;
   }
 }
 function computeDistHashFrom(dir) {
-  const candidates = [import_node_path.default.join(dir, "index.js"), import_node_path.default.join(dir, "index.cjs")];
+  const candidates = [import_node_path2.default.join(dir, "index.js"), import_node_path2.default.join(dir, "index.cjs")];
   for (const candidate of candidates) {
     if (!import_node_fs.default.existsSync(candidate)) {
       continue;
@@ -1356,7 +1402,7 @@ function analysisBundles() {
 // src/cache.ts
 var import_node_crypto2 = require("crypto");
 var import_promises = __toESM(require("fs/promises"), 1);
-var import_node_path2 = __toESM(require("path"), 1);
+var import_node_path3 = __toESM(require("path"), 1);
 var SCHEMA_VERSION = "7";
 var MAX_ENTRIES = 2;
 var ENTRY_PREFIX = "key-";
@@ -1382,7 +1428,7 @@ function createCacheLayer(cacheDir) {
     async lookup(input) {
       const entryDir = entryDirFor(cacheDir, input);
       const manifest = await readManifest(
-        import_node_path2.default.join(entryDir, "manifest.json")
+        import_node_path3.default.join(entryDir, "manifest.json")
       );
       if (manifest === null) {
         return missDiag(await describeAbsentEntry(cacheDir));
@@ -1405,7 +1451,7 @@ function createCacheLayer(cacheDir) {
     async plan(input) {
       const entryDir = entryDirFor(cacheDir, input);
       const manifest = await readManifest(
-        import_node_path2.default.join(entryDir, "manifest.json")
+        import_node_path3.default.join(entryDir, "manifest.json")
       );
       if (manifest === null || manifest.roots === void 0 || manifest.rootMeta === void 0 || manifest.owners === void 0) {
         return null;
@@ -1420,7 +1466,7 @@ function createCacheLayer(cacheDir) {
     async write(input, summaries, attribution) {
       const entryDir = entryDirFor(cacheDir, input);
       const previous = await readManifest(
-        import_node_path2.default.join(entryDir, "manifest.json")
+        import_node_path3.default.join(entryDir, "manifest.json")
       );
       const configStamp = await stampConfigFile(input.configPath);
       const files = await hashStamps(await resolveFileStamps(input), previous);
@@ -1434,7 +1480,7 @@ function createCacheLayer(cacheDir) {
       };
       await import_promises.default.mkdir(entryDir, { recursive: true });
       await import_promises.default.writeFile(
-        import_node_path2.default.join(entryDir, "manifest.json"),
+        import_node_path3.default.join(entryDir, "manifest.json"),
         JSON.stringify(manifest)
       );
       await evictOldEntries(cacheDir, entryDir);
@@ -1613,7 +1659,7 @@ function entryDirFor(cacheDir, input) {
     input.configPath ?? ""
   ].join(" ");
   const name = (0, import_node_crypto2.createHash)("sha256").update(key).digest("hex").slice(0, 16);
-  return import_node_path2.default.join(cacheDir, `${ENTRY_PREFIX}${name}`);
+  return import_node_path3.default.join(cacheDir, `${ENTRY_PREFIX}${name}`);
 }
 function isEntryDir(name) {
   return ENTRY_DIR_NAME.test(name);
@@ -1627,11 +1673,11 @@ async function markUsed(entryDir) {
 }
 async function evictOldEntries(cacheDir, keepDir) {
   try {
-    await import_promises.default.rm(import_node_path2.default.join(cacheDir, "manifest.json"), { force: true });
+    await import_promises.default.rm(import_node_path3.default.join(cacheDir, "manifest.json"), { force: true });
     const entries = await import_promises.default.readdir(cacheDir, { withFileTypes: true });
     const dirs = await Promise.all(
       entries.filter((e) => e.isDirectory() && isEntryDir(e.name)).map(async (e) => {
-        const dir = import_node_path2.default.join(cacheDir, e.name);
+        const dir = import_node_path3.default.join(cacheDir, e.name);
         const stat = await import_promises.default.stat(dir);
         return { dir, mtimeMs: stat.mtimeMs };
       })
@@ -2458,6 +2504,7 @@ function paramToInput(param) {
   assembleSummary,
   assessConfidence,
   buildUngatedExtractionReport,
+  commonDirectoryOf,
   composeWrappers,
   computeContentHash,
   computeDistHashFrom,

package/dist/index.d.cts

@@ -173,6 +173,12 @@ type DiscoveryMatch = {
      * `axios.get(...)`.
      */
     factoryMethods?: string[];
+    /**
+     * The import and every instance built from it can be called as a
+     * function, so `axios(config)` and `api(config)` are requests the
+     * same as a call through a method in `methodFilter`.
+     */
+    callable?: boolean;
 } | {
     /**
      * A constructor or factory call that takes a configuration object
@@ -2272,6 +2278,16 @@ interface NodeVisitor<T, C> {
  */
 declare function walkDescendants<T extends WalkableNode<T>, C>(root: T, carried: C, visitor: NodeVisitor<T, C>): void;
 
+/**
+ * The project root when nothing declares one.
+ *
+ * Resolution from anywhere inside a tree finds the same `node_modules`,
+ * and a recursive reader pointed at the directory every file shares
+ * reaches all of them, so the deepest common directory serves both.
+ */
+/** The deepest directory containing every file, or undefined when they share no absolute root. */
+declare function commonDirectoryOf(files: ReadonlyArray<string>): string | undefined;
+
 /**
  * The small surface every language adapter implements, whatever that
  * language's own tooling looks like underneath.
@@ -3434,4 +3450,4 @@ declare function rawConditionToPredicate(c: RawCondition): Predicate;
 declare function effectToIR(effect: RawEffect): Effect;
 declare function paramToInput(param: RawParameter): Input;
 
-export { type AccessRecognizer, type AdapterCodeStamp, type AdapterStamp, type AstCapableOps, type BindingExtraction, type BodyContent, type CacheAttribution, type CacheDiagnostic, type CacheInput, type CacheLayer, type CacheLookup, type CallOps, type CaseGroup, type ChannelSource, type ChosenReading, type ConditionHandle, type ConditionInfo, type ConditionSource, type ConstructedFrom, type ContractPattern, type DeclaredBinding, type DeclaredBy, type DeclaredMatch, type DefaultedReading, type DiscoveredCustomUnit, type DiscoveredSubUnit, type DiscoveredSubUnitParent, type DiscoveryMatch, type DiscoveryPattern, type EffectArg, type EmptyStage, type ExitKind, type ExtractionReport, type ExtractorOptions, type FailureDelivery, type HealthCheck, type HealthViolation, type HelperDeclarations, type HelperSearch, type HelperSink, type HelperValue, IdMap, IdSet, type Identified, type InputMappingPattern, type InputRead, type InvocationRecognizer, type LanguageAdapter, type LoweredStatementParts, MAX_ENTRIES, MAX_PATHS, type ModuleInitOptions, type NodeVisitor, type OpsCarrier, type PackDeclarations, type PackFailure, type PackFunnel, type PackGradient, type PackTally, type PartialPlan, PathBudgetExceeded, type PatternPack, type ProjectHelper, type ProjectHelpers, type RawBranch, type RawCodeStructure, type RawCondition, type RawDeclaredContract, type RawDependencyCall, type RawEffect, type RawParameter, type RawTerminal, type Reading, type ReceiverOrigin, type RegistrationHelper, type ResponsePropertyMapping, type ResponsePropertyMeaning, type RootRecord, SKIP_CHILDREN, type SourceRange, type StatementBlock, type StructuredPathConditionsInput, type StructuredPathConditionsResult, type StructuredStatement, type TerminalExtraction, type TerminalMatch, type TerminalPattern, type Timer, type TimingReport, type TransparentWrapper, UnmodeledFlow, type UnsettledName, type ValueEntry, type ValueOps, type WalkableNode, type WrapperMethodRegistration, type WrapperOptionRegistration, type WrapperRegistration, absentReading, ambiguousReading, andThenReading, assembleSummary, assessConfidence, buildUngatedExtractionReport, composeWrappers, computeContentHash, computeDistHashFrom, configuredCallOption, createAdapterStamp, createCacheLayer, createPackTallies, createTimer, detectGaps, effectToIR, emptyTally, enumerateOrDegrade, enumerateStructuredPaths, evaluatePackHealth, firstWrittenReading, formatPackHealth, guardsHoldOn, httpRouteDiscovery, makeTransitionId, mapReading, moduleInitStructure, noopTimer, packGradients, paramToInput, projectFileStamp, rawConditionToPredicate, recordPackFailure, registrationHelperDiscovery, routeHelperIndex, runDigest, runsBefore, scopeOption, sharedGatingConditions, stampModuleImports, storageSystemOption, summaryCountsByPack, tallyUnit, terminalToOutput, unreadableReading, unwrapJsonStringify, valueToReadFurtherFrom, walkDescendants, wrapperDiscovery, writtenReading };
+export { type AccessRecognizer, type AdapterCodeStamp, type AdapterStamp, type AstCapableOps, type BindingExtraction, type BodyContent, type CacheAttribution, type CacheDiagnostic, type CacheInput, type CacheLayer, type CacheLookup, type CallOps, type CaseGroup, type ChannelSource, type ChosenReading, type ConditionHandle, type ConditionInfo, type ConditionSource, type ConstructedFrom, type ContractPattern, type DeclaredBinding, type DeclaredBy, type DeclaredMatch, type DefaultedReading, type DiscoveredCustomUnit, type DiscoveredSubUnit, type DiscoveredSubUnitParent, type DiscoveryMatch, type DiscoveryPattern, type EffectArg, type EmptyStage, type ExitKind, type ExtractionReport, type ExtractorOptions, type FailureDelivery, type HealthCheck, type HealthViolation, type HelperDeclarations, type HelperSearch, type HelperSink, type HelperValue, IdMap, IdSet, type Identified, type InputMappingPattern, type InputRead, type InvocationRecognizer, type LanguageAdapter, type LoweredStatementParts, MAX_ENTRIES, MAX_PATHS, type ModuleInitOptions, type NodeVisitor, type OpsCarrier, type PackDeclarations, type PackFailure, type PackFunnel, type PackGradient, type PackTally, type PartialPlan, PathBudgetExceeded, type PatternPack, type ProjectHelper, type ProjectHelpers, type RawBranch, type RawCodeStructure, type RawCondition, type RawDeclaredContract, type RawDependencyCall, type RawEffect, type RawParameter, type RawTerminal, type Reading, type ReceiverOrigin, type RegistrationHelper, type ResponsePropertyMapping, type ResponsePropertyMeaning, type RootRecord, SKIP_CHILDREN, type SourceRange, type StatementBlock, type StructuredPathConditionsInput, type StructuredPathConditionsResult, type StructuredStatement, type TerminalExtraction, type TerminalMatch, type TerminalPattern, type Timer, type TimingReport, type TransparentWrapper, UnmodeledFlow, type UnsettledName, type ValueEntry, type ValueOps, type WalkableNode, type WrapperMethodRegistration, type WrapperOptionRegistration, type WrapperRegistration, absentReading, ambiguousReading, andThenReading, assembleSummary, assessConfidence, buildUngatedExtractionReport, commonDirectoryOf, composeWrappers, computeContentHash, computeDistHashFrom, configuredCallOption, createAdapterStamp, createCacheLayer, createPackTallies, createTimer, detectGaps, effectToIR, emptyTally, enumerateOrDegrade, enumerateStructuredPaths, evaluatePackHealth, firstWrittenReading, formatPackHealth, guardsHoldOn, httpRouteDiscovery, makeTransitionId, mapReading, moduleInitStructure, noopTimer, packGradients, paramToInput, projectFileStamp, rawConditionToPredicate, recordPackFailure, registrationHelperDiscovery, routeHelperIndex, runDigest, runsBefore, scopeOption, sharedGatingConditions, stampModuleImports, storageSystemOption, summaryCountsByPack, tallyUnit, terminalToOutput, unreadableReading, unwrapJsonStringify, valueToReadFurtherFrom, walkDescendants, wrapperDiscovery, writtenReading };

package/dist/index.d.ts

@@ -173,6 +173,12 @@ type DiscoveryMatch = {
      * `axios.get(...)`.
      */
     factoryMethods?: string[];
+    /**
+     * The import and every instance built from it can be called as a
+     * function, so `axios(config)` and `api(config)` are requests the
+     * same as a call through a method in `methodFilter`.
+     */
+    callable?: boolean;
 } | {
     /**
      * A constructor or factory call that takes a configuration object
@@ -2272,6 +2278,16 @@ interface NodeVisitor<T, C> {
  */
 declare function walkDescendants<T extends WalkableNode<T>, C>(root: T, carried: C, visitor: NodeVisitor<T, C>): void;
 
+/**
+ * The project root when nothing declares one.
+ *
+ * Resolution from anywhere inside a tree finds the same `node_modules`,
+ * and a recursive reader pointed at the directory every file shares
+ * reaches all of them, so the deepest common directory serves both.
+ */
+/** The deepest directory containing every file, or undefined when they share no absolute root. */
+declare function commonDirectoryOf(files: ReadonlyArray<string>): string | undefined;
+
 /**
  * The small surface every language adapter implements, whatever that
  * language's own tooling looks like underneath.
@@ -3434,4 +3450,4 @@ declare function rawConditionToPredicate(c: RawCondition): Predicate;
 declare function effectToIR(effect: RawEffect): Effect;
 declare function paramToInput(param: RawParameter): Input;
 
-export { type AccessRecognizer, type AdapterCodeStamp, type AdapterStamp, type AstCapableOps, type BindingExtraction, type BodyContent, type CacheAttribution, type CacheDiagnostic, type CacheInput, type CacheLayer, type CacheLookup, type CallOps, type CaseGroup, type ChannelSource, type ChosenReading, type ConditionHandle, type ConditionInfo, type ConditionSource, type ConstructedFrom, type ContractPattern, type DeclaredBinding, type DeclaredBy, type DeclaredMatch, type DefaultedReading, type DiscoveredCustomUnit, type DiscoveredSubUnit, type DiscoveredSubUnitParent, type DiscoveryMatch, type DiscoveryPattern, type EffectArg, type EmptyStage, type ExitKind, type ExtractionReport, type ExtractorOptions, type FailureDelivery, type HealthCheck, type HealthViolation, type HelperDeclarations, type HelperSearch, type HelperSink, type HelperValue, IdMap, IdSet, type Identified, type InputMappingPattern, type InputRead, type InvocationRecognizer, type LanguageAdapter, type LoweredStatementParts, MAX_ENTRIES, MAX_PATHS, type ModuleInitOptions, type NodeVisitor, type OpsCarrier, type PackDeclarations, type PackFailure, type PackFunnel, type PackGradient, type PackTally, type PartialPlan, PathBudgetExceeded, type PatternPack, type ProjectHelper, type ProjectHelpers, type RawBranch, type RawCodeStructure, type RawCondition, type RawDeclaredContract, type RawDependencyCall, type RawEffect, type RawParameter, type RawTerminal, type Reading, type ReceiverOrigin, type RegistrationHelper, type ResponsePropertyMapping, type ResponsePropertyMeaning, type RootRecord, SKIP_CHILDREN, type SourceRange, type StatementBlock, type StructuredPathConditionsInput, type StructuredPathConditionsResult, type StructuredStatement, type TerminalExtraction, type TerminalMatch, type TerminalPattern, type Timer, type TimingReport, type TransparentWrapper, UnmodeledFlow, type UnsettledName, type ValueEntry, type ValueOps, type WalkableNode, type WrapperMethodRegistration, type WrapperOptionRegistration, type WrapperRegistration, absentReading, ambiguousReading, andThenReading, assembleSummary, assessConfidence, buildUngatedExtractionReport, composeWrappers, computeContentHash, computeDistHashFrom, configuredCallOption, createAdapterStamp, createCacheLayer, createPackTallies, createTimer, detectGaps, effectToIR, emptyTally, enumerateOrDegrade, enumerateStructuredPaths, evaluatePackHealth, firstWrittenReading, formatPackHealth, guardsHoldOn, httpRouteDiscovery, makeTransitionId, mapReading, moduleInitStructure, noopTimer, packGradients, paramToInput, projectFileStamp, rawConditionToPredicate, recordPackFailure, registrationHelperDiscovery, routeHelperIndex, runDigest, runsBefore, scopeOption, sharedGatingConditions, stampModuleImports, storageSystemOption, summaryCountsByPack, tallyUnit, terminalToOutput, unreadableReading, unwrapJsonStringify, valueToReadFurtherFrom, walkDescendants, wrapperDiscovery, writtenReading };
+export { type AccessRecognizer, type AdapterCodeStamp, type AdapterStamp, type AstCapableOps, type BindingExtraction, type BodyContent, type CacheAttribution, type CacheDiagnostic, type CacheInput, type CacheLayer, type CacheLookup, type CallOps, type CaseGroup, type ChannelSource, type ChosenReading, type ConditionHandle, type ConditionInfo, type ConditionSource, type ConstructedFrom, type ContractPattern, type DeclaredBinding, type DeclaredBy, type DeclaredMatch, type DefaultedReading, type DiscoveredCustomUnit, type DiscoveredSubUnit, type DiscoveredSubUnitParent, type DiscoveryMatch, type DiscoveryPattern, type EffectArg, type EmptyStage, type ExitKind, type ExtractionReport, type ExtractorOptions, type FailureDelivery, type HealthCheck, type HealthViolation, type HelperDeclarations, type HelperSearch, type HelperSink, type HelperValue, IdMap, IdSet, type Identified, type InputMappingPattern, type InputRead, type InvocationRecognizer, type LanguageAdapter, type LoweredStatementParts, MAX_ENTRIES, MAX_PATHS, type ModuleInitOptions, type NodeVisitor, type OpsCarrier, type PackDeclarations, type PackFailure, type PackFunnel, type PackGradient, type PackTally, type PartialPlan, PathBudgetExceeded, type PatternPack, type ProjectHelper, type ProjectHelpers, type RawBranch, type RawCodeStructure, type RawCondition, type RawDeclaredContract, type RawDependencyCall, type RawEffect, type RawParameter, type RawTerminal, type Reading, type ReceiverOrigin, type RegistrationHelper, type ResponsePropertyMapping, type ResponsePropertyMeaning, type RootRecord, SKIP_CHILDREN, type SourceRange, type StatementBlock, type StructuredPathConditionsInput, type StructuredPathConditionsResult, type StructuredStatement, type TerminalExtraction, type TerminalMatch, type TerminalPattern, type Timer, type TimingReport, type TransparentWrapper, UnmodeledFlow, type UnsettledName, type ValueEntry, type ValueOps, type WalkableNode, type WrapperMethodRegistration, type WrapperOptionRegistration, type WrapperRegistration, absentReading, ambiguousReading, andThenReading, assembleSummary, assessConfidence, buildUngatedExtractionReport, commonDirectoryOf, composeWrappers, computeContentHash, computeDistHashFrom, configuredCallOption, createAdapterStamp, createCacheLayer, createPackTallies, createTimer, detectGaps, effectToIR, emptyTally, enumerateOrDegrade, enumerateStructuredPaths, evaluatePackHealth, firstWrittenReading, formatPackHealth, guardsHoldOn, httpRouteDiscovery, makeTransitionId, mapReading, moduleInitStructure, noopTimer, packGradients, paramToInput, projectFileStamp, rawConditionToPredicate, recordPackFailure, registrationHelperDiscovery, routeHelperIndex, runDigest, runsBefore, scopeOption, sharedGatingConditions, stampModuleImports, storageSystemOption, summaryCountsByPack, tallyUnit, terminalToOutput, unreadableReading, unwrapJsonStringify, valueToReadFurtherFrom, walkDescendants, wrapperDiscovery, writtenReading };

package/dist/index.js

@@ -218,8 +218,8 @@ var catchEntryCond = () => fixedCond(
   "positive",
   "catchBlock"
 );
-function classify(path3, home, isAncestorOrSelf) {
-  return path3.map((cond) => {
+function classify(path4, home, isAncestorOrSelf) {
+  return path4.map((cond) => {
     if (cond.branchStmt === null) {
       return cond.info;
     }
@@ -284,9 +284,9 @@ function chargeBudget(state) {
     );
   }
 }
-function recordTerminal(ctx, terminal, home, path3) {
+function recordTerminal(ctx, terminal, home, path4) {
   chargeBudget(ctx.state);
-  const info = classify(path3, home, ctx.isAncestorOrSelf);
+  const info = classify(path4, home, ctx.isAncestorOrSelf);
   const existing = ctx.state.byTerminal.get(terminal) ?? [];
   existing.push(info);
   ctx.state.byTerminal.set(terminal, existing);
@@ -297,15 +297,15 @@ function containsTerminal(ctx, stmt) {
   }
   return childrenOf(stmt).some((child) => containsTerminal(ctx, child));
 }
-function stepIf(stmt, path3, ctx) {
+function stepIf(stmt, path4, ctx) {
   const thenExit = exitKindOfList(stmt.thenBody);
   const elseExit = stmt.elseBody === null ? null : exitKindOfList(stmt.elseBody);
   const thenPath = [
-    ...path3,
+    ...path4,
     branchCond(stmt, stmt.condition, "positive", elseExit)
   ];
   const elsePath = [
-    ...path3,
+    ...path4,
     branchCond(
       stmt,
       stmt.condition,
@@ -322,7 +322,7 @@ function stepIf(stmt, path3, ctx) {
   }
   return out;
 }
-function stepSwitch(stmt, path3, ctx) {
+function stepSwitch(stmt, path4, ctx) {
   const out = [];
   const negations = [];
   let defaultRanBody = false;
@@ -332,7 +332,7 @@ function stepSwitch(stmt, path3, ctx) {
     if (hasStrayBreak(group.body)) {
       throw new UnmodeledFlow("non-trailing break in switch clause");
     }
-    const groupPath = group.condition === null ? [...path3, ...negations] : [...path3, fixedCond(group.condition, "positive", "explicit")];
+    const groupPath = group.condition === null ? [...path4, ...negations] : [...path4, fixedCond(group.condition, "positive", "explicit")];
     const conts = enumerate(ctx, group.body, groupPath);
     if (conts.length > 0) {
       if (!group.hasTrailingBreak && !fallthroughSafe) {
@@ -349,24 +349,24 @@ function stepSwitch(stmt, path3, ctx) {
     }
   }
   if (!defaultRanBody) {
-    out.push([...path3, ...negations]);
+    out.push([...path4, ...negations]);
   }
   return out;
 }
-function stepLoop(stmt, path3, ctx) {
+function stepLoop(stmt, path4, ctx) {
   const bodyExit = exitKindOfList(stmt.body);
   if (containsTerminal(ctx, stmt)) {
     enumerate(ctx, stmt.body, [
-      ...path3,
+      ...path4,
       loopIterationCond(stmt.condition.sourceText)
     ]);
   }
   if (bodyExit !== null) {
-    return [[...path3, loopCompletedCond(stmt.condition.sourceText, bodyExit)]];
+    return [[...path4, loopCompletedCond(stmt.condition.sourceText, bodyExit)]];
   }
-  return [path3];
+  return [path4];
 }
-function stepTry(stmt, path3, ctx) {
+function stepTry(stmt, path4, ctx) {
   if (stmt.finallyBody !== null) {
     const finallyHasTerminal = stmt.finallyBody.some(
       (s) => containsTerminal(ctx, s)
@@ -376,22 +376,22 @@ function stepTry(stmt, path3, ctx) {
     }
   }
   const out = [];
-  out.push(...enumerate(ctx, stmt.tryBody, path3));
+  out.push(...enumerate(ctx, stmt.tryBody, path4));
   if (stmt.catchBody !== null) {
-    const catchPath = [...path3, catchEntryCond()];
+    const catchPath = [...path4, catchEntryCond()];
     out.push(...enumerate(ctx, stmt.catchBody, catchPath));
   }
   return out;
 }
-function stepExit(stmt, path3, ctx) {
+function stepExit(stmt, path4, ctx) {
   const collector = ctx.state.callbackExits[ctx.state.callbackExits.length - 1];
   if (collector !== void 0 && (stmt.exit === "return" || stmt.exit === "throw")) {
-    collector.push(path3);
+    collector.push(path4);
   }
   return [];
 }
-function stepOpaque(_stmt, path3, _ctx) {
-  return [path3];
+function stepOpaque(_stmt, path4, _ctx) {
+  return [path4];
 }
 var stepHandlers = {
   if: stepIf,
@@ -401,20 +401,20 @@ var stepHandlers = {
   exit: stepExit,
   opaque: stepOpaque
 };
-function stepCallback(ctx, body, path3) {
+function stepCallback(ctx, body, path4) {
   const exits = [];
   ctx.state.callbackExits.push(exits);
   let fellThrough;
   try {
-    fellThrough = enumerate(ctx, body, path3);
+    fellThrough = enumerate(ctx, body, path4);
   } finally {
     ctx.state.callbackExits.pop();
   }
   const out = [...fellThrough, ...exits];
-  return out.length === 0 ? [path3] : out;
+  return out.length === 0 ? [path4] : out;
 }
-function stepStatement(ctx, stmt, path3) {
-  let paths = [path3];
+function stepStatement(ctx, stmt, path4) {
+  let paths = [path4];
   for (const body of stmt.callbacks ?? []) {
     paths = paths.flatMap((each) => stepCallback(ctx, body, each));
   }
@@ -495,8 +495,8 @@ function enumerate(ctx, stmts, prefix) {
   let frontiers = [[...prefix]];
   for (const stmt of stmts) {
     const nextFrontiers = [];
-    for (const path3 of mergeRejoined(frontiers)) {
-      nextFrontiers.push(...stepStatement(ctx, stmt, path3));
+    for (const path4 of mergeRejoined(frontiers)) {
+      nextFrontiers.push(...stepStatement(ctx, stmt, path4));
     }
     frontiers = nextFrontiers;
     if (frontiers.length > MAX_PATHS) {
@@ -547,9 +547,9 @@ function enumerateStructuredPaths(input) {
     isAncestorOrSelf
   };
   const continuations = withRejoined(enumerate(ctx, input.statements, []));
-  for (const path3 of continuations) {
+  for (const path4 of continuations) {
     chargeBudget(state);
-    state.fallthrough.push(classify(path3, null, isAncestorOrSelf));
+    state.fallthrough.push(classify(path4, null, isAncestorOrSelf));
   }
   return { byTerminal: state.byTerminal, fallthrough: state.fallthrough };
 }
@@ -595,9 +595,12 @@ function composeWrappers(summaries, options = {}) {
   const byKey = /* @__PURE__ */ new Map();
   for (const summary of summaries) {
     const key = summaryKey(summary.location.file, summary.identity.name);
-    if (!byKey.has(key)) {
-      byKey.set(key, summary);
+    const sharing = byKey.get(key);
+    if (sharing === void 0) {
+      byKey.set(key, [summary]);
+      continue;
     }
+    sharing.push(summary);
   }
   const keepGaps = options.gapHandling !== "silent";
   return summaries.map((summary) => composeOne(summary, byKey, keepGaps));
@@ -605,6 +608,13 @@ function composeWrappers(summaries, options = {}) {
 function summaryKey(file, name) {
   return `${file}::${name}`;
 }
+function summaryOf(reference, byKey) {
+  const sharing = byKey.get(summaryKey(reference.file, reference.name)) ?? [];
+  if (reference.line === void 0) {
+    return sharing[0];
+  }
+  return sharing.find((one) => one.location.range.start === reference.line) ?? sharing[0];
+}
 function composeOne(summary, byKey, keepGaps) {
   const recorded = readWrapperMetadata2(summary);
   const applied = recorded?.applied ?? [];
@@ -618,7 +628,7 @@ function composeOne(summary, byKey, keepGaps) {
     })
   };
   const wrappers = covering.flatMap((reference) => {
-    const found = byKey.get(summaryKey(reference.file, reference.name));
+    const found = summaryOf(reference, byKey);
     return found === void 0 ? [] : [{ reference, summary: found }];
   });
   if (wrappers.length === 0) {
@@ -698,8 +708,8 @@ function applyWrapper(wrapper, inner) {
     wrapper.summary.transitions.filter((t) => t.output.type !== "delegate"),
     wrapper.reference
   );
-  const passThroughs = wrapper.summary.transitions.filter(
-    (t) => t.output.type === "delegate"
+  const passThroughs = withoutCoveredPassThroughs(
+    wrapper.summary.transitions.filter((t) => t.output.type === "delegate")
   );
   if (passThroughs.length === 0 || shortCircuits.length + passThroughs.length * inner.transitions.length > MAX_PATHS) {
     return {
@@ -712,6 +722,20 @@ function applyWrapper(wrapper, inner) {
   );
   return { transitions: [...shortCircuits, ...continued], degraded: false };
 }
+function withoutCoveredPassThroughs(passThroughs) {
+  return passThroughs.filter(
+    (candidate, i) => !passThroughs.some(
+      (other, j) => j !== i && covers(other, candidate) && (j < i || !covers(candidate, other))
+    )
+  );
+}
+function covers(wider, narrower) {
+  if (JSON.stringify(wider.effects) !== JSON.stringify(narrower.effects)) {
+    return false;
+  }
+  const required = new Set(narrower.conditions.map((c) => JSON.stringify(c)));
+  return wider.conditions.every((c) => required.has(JSON.stringify(c)));
+}
 function applyThrowWrapper(wrapper, inner) {
   const thrown = inner.transitions.filter((t) => t.output.type === "throw");
   if (thrown.length === 0) {
@@ -1037,8 +1061,8 @@ function sharedGatingConditions(paths, readPredicate) {
     return [];
   }
   const shared = new Set(first.map(keyOf2));
-  for (const path3 of rest) {
-    const here = new Set(path3.map(keyOf2));
+  for (const path4 of rest) {
+    const here = new Set(path4.map(keyOf2));
     for (const value of shared) {
       if (!here.has(value)) {
         shared.delete(value);
@@ -1114,6 +1138,27 @@ function walkDescendants(root, carried, visitor) {
   }
 }
 
+// src/projectRoot.ts
+import path from "path";
+function commonDirectoryOf(files) {
+  const absolute = files.filter((f) => path.isAbsolute(f));
+  const first = absolute[0];
+  if (first === void 0) {
+    return void 0;
+  }
+  let shared = path.dirname(first).split(path.sep);
+  for (const file of absolute.slice(1)) {
+    const parts = path.dirname(file).split(path.sep);
+    let i = 0;
+    while (i < shared.length && i < parts.length && shared[i] === parts[i]) {
+      i += 1;
+    }
+    shared = shared.slice(0, i);
+  }
+  const joined = shared.join(path.sep);
+  return joined.length > 1 ? joined : void 0;
+}
+
 // src/reading.ts
 function writtenReading(value, range) {
   return { kind: "written", value, range };
@@ -1171,7 +1216,7 @@ function valueToReadFurtherFrom(reading) {
 import { createHash } from "crypto";
 import fs from "fs";
 import { createRequire } from "module";
-import path from "path";
+import path2 from "path";
 import { fileURLToPath } from "url";
 var ANALYSIS_PACKAGES = [
   "@suss/extractor",
@@ -1213,14 +1258,14 @@ function createAdapterStamp(config) {
 function readAdapterCodeStamp(moduleUrl) {
   try {
     const selfPath = fileURLToPath(moduleUrl);
-    const hash = computeDistHashFrom(path.dirname(selfPath));
+    const hash = computeDistHashFrom(path2.dirname(selfPath));
     return hash.length > 0 ? { kind: "bundle", hash } : SOURCE_STAMP;
   } catch {
     return SOURCE_STAMP;
   }
 }
 function computeDistHashFrom(dir) {
-  const candidates = [path.join(dir, "index.js"), path.join(dir, "index.cjs")];
+  const candidates = [path2.join(dir, "index.js"), path2.join(dir, "index.cjs")];
   for (const candidate of candidates) {
     if (!fs.existsSync(candidate)) {
       continue;
@@ -1278,7 +1323,7 @@ function analysisBundles() {
 // src/cache.ts
 import { createHash as createHash2 } from "crypto";
 import fs2 from "fs/promises";
-import path2 from "path";
+import path3 from "path";
 var SCHEMA_VERSION = "7";
 var MAX_ENTRIES = 2;
 var ENTRY_PREFIX = "key-";
@@ -1304,7 +1349,7 @@ function createCacheLayer(cacheDir) {
     async lookup(input) {
       const entryDir = entryDirFor(cacheDir, input);
       const manifest = await readManifest(
-        path2.join(entryDir, "manifest.json")
+        path3.join(entryDir, "manifest.json")
       );
       if (manifest === null) {
         return missDiag(await describeAbsentEntry(cacheDir));
@@ -1327,7 +1372,7 @@ function createCacheLayer(cacheDir) {
     async plan(input) {
       const entryDir = entryDirFor(cacheDir, input);
       const manifest = await readManifest(
-        path2.join(entryDir, "manifest.json")
+        path3.join(entryDir, "manifest.json")
       );
       if (manifest === null || manifest.roots === void 0 || manifest.rootMeta === void 0 || manifest.owners === void 0) {
         return null;
@@ -1342,7 +1387,7 @@ function createCacheLayer(cacheDir) {
     async write(input, summaries, attribution) {
       const entryDir = entryDirFor(cacheDir, input);
       const previous = await readManifest(
-        path2.join(entryDir, "manifest.json")
+        path3.join(entryDir, "manifest.json")
       );
       const configStamp = await stampConfigFile(input.configPath);
       const files = await hashStamps(await resolveFileStamps(input), previous);
@@ -1356,7 +1401,7 @@ function createCacheLayer(cacheDir) {
       };
       await fs2.mkdir(entryDir, { recursive: true });
       await fs2.writeFile(
-        path2.join(entryDir, "manifest.json"),
+        path3.join(entryDir, "manifest.json"),
         JSON.stringify(manifest)
       );
       await evictOldEntries(cacheDir, entryDir);
@@ -1535,7 +1580,7 @@ function entryDirFor(cacheDir, input) {
     input.configPath ?? ""
   ].join(" ");
   const name = createHash2("sha256").update(key).digest("hex").slice(0, 16);
-  return path2.join(cacheDir, `${ENTRY_PREFIX}${name}`);
+  return path3.join(cacheDir, `${ENTRY_PREFIX}${name}`);
 }
 function isEntryDir(name) {
   return ENTRY_DIR_NAME.test(name);
@@ -1549,11 +1594,11 @@ async function markUsed(entryDir) {
 }
 async function evictOldEntries(cacheDir, keepDir) {
   try {
-    await fs2.rm(path2.join(cacheDir, "manifest.json"), { force: true });
+    await fs2.rm(path3.join(cacheDir, "manifest.json"), { force: true });
     const entries = await fs2.readdir(cacheDir, { withFileTypes: true });
     const dirs = await Promise.all(
       entries.filter((e) => e.isDirectory() && isEntryDir(e.name)).map(async (e) => {
-        const dir = path2.join(cacheDir, e.name);
+        const dir = path3.join(cacheDir, e.name);
         const stat = await fs2.stat(dir);
         return { dir, mtimeMs: stat.mtimeMs };
       })
@@ -2379,6 +2424,7 @@ export {
   assembleSummary,
   assessConfidence,
   buildUngatedExtractionReport,
+  commonDirectoryOf,
   composeWrappers,
   computeContentHash,
   computeDistHashFrom,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/extractor",
-  "version": "0.25.0",
+  "version": "0.27.0",
   "type": "module",
   "description": "The suss extraction pipeline, which turns what a language adapter read into the summaries the checker pairs across a boundary.",
   "keywords": [
@@ -46,7 +46,7 @@
     "typecheck": "tsc --noEmit"
   },
   "dependencies": {
-    "@suss/behavioral-ir": "0.25.0",
+    "@suss/behavioral-ir": "0.27.0",
     "zod": "^4.0.0"
   },
   "devDependencies": {