@suss/extractor 0.33.1 → 0.34.0

package/dist/index.cjs

@@ -30,10 +30,13 @@ var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: tru
 // src/index.ts
 var index_exports = {};
 __export(index_exports, {
+  EnclosingNodes: () => EnclosingNodes,
   IdMap: () => IdMap,
   IdSet: () => IdSet,
+  KeptParses: () => KeptParses,
   MAX_ENTRIES: () => MAX_ENTRIES,
   MAX_PATHS: () => MAX_PATHS,
+  MODULE_SURFACE_RECOGNITION: () => MODULE_SURFACE_RECOGNITION,
   PathBudgetExceeded: () => PathBudgetExceeded,
   SKIP_CHILDREN: () => SKIP_CHILDREN,
   UnmodeledFlow: () => UnmodeledFlow,
@@ -58,13 +61,18 @@ __export(index_exports, {
   enumerateOrDegrade: () => enumerateOrDegrade,
   enumerateStructuredPaths: () => enumerateStructuredPaths,
   evaluatePackHealth: () => evaluatePackHealth,
+  extractionConfigStamp: () => extractionConfigStamp,
   firstWrittenReading: () => firstWrittenReading,
   formatPackHealth: () => formatPackHealth,
   guardsHoldOn: () => guardsHoldOn,
   httpRouteDiscovery: () => httpRouteDiscovery,
+  isListedTestFile: () => isListedTestFile,
   makeTransitionId: () => makeTransitionId,
   mapReading: () => mapReading,
+  markReturnsAsExitCode: () => markReturnsAsExitCode,
+  matchesTestFileName: () => matchesTestFileName,
   moduleInitStructure: () => moduleInitStructure,
+  moduleOfFile: () => moduleOfFile,
   noopTimer: () => noopTimer,
   packGradients: () => packGradients,
   paramToInput: () => paramToInput,
@@ -76,8 +84,12 @@ __export(index_exports, {
   runDigest: () => runDigest,
   runsBefore: () => runsBefore,
   scopeOption: () => scopeOption,
+  settleModules: () => settleModules,
   sharedGatingConditions: () => sharedGatingConditions,
+  sourceRefsOf: () => sourceRefsOf,
+  stampMayMissAWrite: () => stampMayMissAWrite,
   stampModuleImports: () => stampModuleImports,
+  stampModules: () => stampModules,
   storageSystemOption: () => storageSystemOption,
   summaryCountsByPack: () => summaryCountsByPack,
   tallyUnit: () => tallyUnit,
@@ -90,8 +102,8 @@ __export(index_exports, {
   writtenReading: () => writtenReading
 });
 module.exports = __toCommonJS(index_exports);
-var import_node_crypto3 = require("crypto");
-var import_behavioral_ir5 = require("@suss/behavioral-ir");
+var import_node_crypto4 = require("crypto");
+var import_behavioral_ir6 = require("@suss/behavioral-ir");
 
 // src/contractStatusGaps.ts
 var import_behavioral_ir = require("@suss/behavioral-ir");
@@ -354,6 +366,56 @@ function withDistinctIds(transitions) {
   });
 }
 
+// src/declaredModules.ts
+var import_node_fs = __toESM(require("fs"), 1);
+var import_node_path = __toESM(require("path"), 1);
+var MODULE_SURFACE_RECOGNITION = "modules";
+function settleModules(modules, candidates) {
+  return (modules ?? []).map((module2) => ({
+    ...module2,
+    public: module2.public ?? candidates.map(
+      (one) => import_node_path.default.join(module2.root, one.replace("{name}", module2.name))
+    ).filter((file) => import_node_fs.default.existsSync(file))
+  }));
+}
+function isInside(file, root) {
+  const relative = import_node_path.default.relative(root, file);
+  return relative !== "" && !relative.startsWith("..") && !import_node_path.default.isAbsolute(relative);
+}
+function moduleOfFile(modules, file) {
+  const byPublicFile = modules.find((module2) => module2.public.includes(file));
+  if (byPublicFile !== void 0) {
+    return byPublicFile;
+  }
+  let deepest;
+  for (const module2 of modules) {
+    if (isInside(file, module2.root) && (deepest === void 0 || module2.root.length > deepest.root.length)) {
+      deepest = module2;
+    }
+  }
+  return deepest;
+}
+function stampModules(summaries, modules, root) {
+  if (modules.length === 0) {
+    return;
+  }
+  for (const summary of summaries) {
+    const file = import_node_path.default.resolve(root ?? "", summary.location.file);
+    const module2 = moduleOfFile(modules, file);
+    if (module2 !== void 0) {
+      summary.location.module = module2.name;
+    }
+  }
+}
+function modulesStamp(modules) {
+  if (modules === void 0 || modules.length === 0) {
+    return void 0;
+  }
+  return JSON.stringify(
+    modules.map((module2) => [module2.name, module2.root, [...module2.public]])
+  );
+}
+
 // src/effectGuards.ts
 var keyOf = (condition) => `${condition.polarity}:${condition.sourceText}`;
 var opposite = (condition) => `${condition.polarity === "positive" ? "negative" : "positive"}:${condition.sourceText}`;
@@ -370,6 +432,41 @@ function runsBefore(effectLine, terminalEndLine) {
   return effectLine <= terminalEndLine;
 }
 
+// src/exitCode.ts
+var import_node_path2 = __toESM(require("path"), 1);
+var import_behavioral_ir3 = require("@suss/behavioral-ir");
+function markReturnsAsExitCode(summaries, returnsTheCode, workspaceRoot) {
+  for (const summary of summaries) {
+    const span = summary.location.span;
+    const file = workspaceRoot === void 0 ? summary.location.file : import_node_path2.default.resolve(workspaceRoot, summary.location.file);
+    markExitCodeFrom(
+      summary,
+      span !== void 0 && returnsTheCode.has((0, import_behavioral_ir3.declarationKey)(file, span))
+    );
+  }
+}
+function markExitCodeFrom(summary, marked) {
+  const process2 = summary.metadata?.process;
+  if (marked) {
+    summary.metadata = {
+      ...summary.metadata ?? {},
+      process: { ...process2 ?? {}, exitCodeFrom: "return" }
+    };
+    return;
+  }
+  if (process2 === void 0 || !("exitCodeFrom" in process2)) {
+    return;
+  }
+  const { exitCodeFrom: _dropped, ...rest } = process2;
+  const { process: _process, ...others } = summary.metadata ?? {};
+  const left = Object.keys(rest).length === 0 ? others : { ...others, process: rest };
+  if (Object.keys(left).length === 0) {
+    Reflect.deleteProperty(summary, "metadata");
+    return;
+  }
+  summary.metadata = left;
+}
+
 // src/moduleImports.ts
 function stampModuleImports(summaries, importsOf) {
   const byFile = /* @__PURE__ */ new Map();
@@ -446,8 +543,8 @@ function httpRouteDiscovery(opts) {
       registrationChain: [...opts.methods]
     },
     bindingExtraction: {
-      // `.all` registers every method, so it records "*", which the pairing
-      // engine treats as agreeing with any method at all.
+      // `.all` registers every method, so it records "*", which pairs with
+      // any method.
       method: {
         type: "fromRegistration",
         position: "methodName",
@@ -463,10 +560,9 @@ function httpRouteDiscovery(opts) {
   }
   return [
     ...calls,
-    // Routes registered in a loop over an array of specs, a shape
-    // registration-call discovery cannot see. The receiver comes from
-    // the same import declaration as the calls above, so a loop that
-    // never touches this library's routable is left alone.
+    // Routes registered in a loop over an array of specs, which the calls
+    // above cannot see. The receiver must come from the same import, so a
+    // loop that never touches this library's routable is left alone.
     {
       kind,
       match: {
@@ -613,7 +709,7 @@ var configuredCallOption = import_zod.z.object({
   receiver: import_zod.z.string(),
   /** Method that performs the send. */
   method: import_zod.z.string(),
-  /** Argument index carrying the subject. */
+  /** Index of the argument that is the subject. */
   subjectArg: import_zod.z.number(),
   /**
    * Which argument the message body is. Left out when the method has no
@@ -624,7 +720,7 @@ var configuredCallOption = import_zod.z.object({
 }).strict();
 
 // src/paths/enumeratePaths.ts
-var import_behavioral_ir3 = require("@suss/behavioral-ir");
+var import_behavioral_ir4 = require("@suss/behavioral-ir");
 var MAX_PATHS = 256;
 var UnmodeledFlow = class extends Error {
 };
@@ -668,12 +764,12 @@ var loopCompletedCond = (headerText, exit) => fixedCond(
   exit === "throw" ? "earlyThrow" : "earlyReturn"
 );
 var catchEntryCond = () => fixedCond(
-  { sourceText: import_behavioral_ir3.CATCH_ENTRY_TEXT, expression: null },
+  { sourceText: import_behavioral_ir4.CATCH_ENTRY_TEXT, expression: null },
   "positive",
   "catchBlock"
 );
-function classify(path4, home, isAncestorOrSelf) {
-  return path4.map((cond) => {
+function classify(path6, home, isAncestorOrSelf) {
+  return path6.map((cond) => {
     if (cond.branchStmt === null) {
       return cond.info;
     }
@@ -738,9 +834,9 @@ function chargeBudget(state) {
     );
   }
 }
-function recordTerminal(ctx, terminal, home, path4) {
+function recordTerminal(ctx, terminal, home, path6) {
   chargeBudget(ctx.state);
-  const info = classify(path4, home, ctx.isAncestorOrSelf);
+  const info = classify(path6, home, ctx.isAncestorOrSelf);
   const existing = ctx.state.byTerminal.get(terminal) ?? [];
   existing.push(info);
   ctx.state.byTerminal.set(terminal, existing);
@@ -751,15 +847,15 @@ function containsTerminal(ctx, stmt) {
   }
   return childrenOf(stmt).some((child) => containsTerminal(ctx, child));
 }
-function stepIf(stmt, path4, ctx) {
+function stepIf(stmt, path6, ctx) {
   const thenExit = exitKindOfList(stmt.thenBody);
   const elseExit = stmt.elseBody === null ? null : exitKindOfList(stmt.elseBody);
   const thenPath = [
-    ...path4,
+    ...path6,
     branchCond(stmt, stmt.condition, "positive", elseExit)
   ];
   const elsePath = [
-    ...path4,
+    ...path6,
     branchCond(
       stmt,
       stmt.condition,
@@ -776,7 +872,7 @@ function stepIf(stmt, path4, ctx) {
   }
   return out;
 }
-function stepSwitch(stmt, path4, ctx) {
+function stepSwitch(stmt, path6, ctx) {
   const out = [];
   const negations = [];
   let defaultRanBody = false;
@@ -786,7 +882,7 @@ function stepSwitch(stmt, path4, ctx) {
     if (hasStrayBreak(group.body)) {
       throw new UnmodeledFlow("non-trailing break in switch clause");
     }
-    const groupPath = group.condition === null ? [...path4, ...negations] : [...path4, fixedCond(group.condition, "positive", "explicit")];
+    const groupPath = group.condition === null ? [...path6, ...negations] : [...path6, fixedCond(group.condition, "positive", "explicit")];
     const conts = enumerate(ctx, group.body, groupPath);
     if (conts.length > 0) {
       if (!group.hasTrailingBreak && !fallthroughSafe) {
@@ -803,24 +899,24 @@ function stepSwitch(stmt, path4, ctx) {
     }
   }
   if (!defaultRanBody) {
-    out.push([...path4, ...negations]);
+    out.push([...path6, ...negations]);
   }
   return out;
 }
-function stepLoop(stmt, path4, ctx) {
+function stepLoop(stmt, path6, ctx) {
   const bodyExit = exitKindOfList(stmt.body);
   if (containsTerminal(ctx, stmt)) {
     enumerate(ctx, stmt.body, [
-      ...path4,
+      ...path6,
       loopIterationCond(stmt.condition.sourceText)
     ]);
   }
   if (bodyExit !== null) {
-    return [[...path4, loopCompletedCond(stmt.condition.sourceText, bodyExit)]];
+    return [[...path6, loopCompletedCond(stmt.condition.sourceText, bodyExit)]];
   }
-  return [path4];
+  return [path6];
 }
-function stepTry(stmt, path4, ctx) {
+function stepTry(stmt, path6, ctx) {
   if (stmt.finallyBody !== null) {
     const finallyHasTerminal = stmt.finallyBody.some(
       (s) => containsTerminal(ctx, s)
@@ -830,22 +926,22 @@ function stepTry(stmt, path4, ctx) {
     }
   }
   const out = [];
-  out.push(...enumerate(ctx, stmt.tryBody, path4));
+  out.push(...enumerate(ctx, stmt.tryBody, path6));
   if (stmt.catchBody !== null) {
-    const catchPath = [...path4, catchEntryCond()];
+    const catchPath = [...path6, catchEntryCond()];
     out.push(...enumerate(ctx, stmt.catchBody, catchPath));
   }
   return out;
 }
-function stepExit(stmt, path4, ctx) {
+function stepExit(stmt, path6, ctx) {
   const collector = ctx.state.callbackExits[ctx.state.callbackExits.length - 1];
   if (collector !== void 0 && (stmt.exit === "return" || stmt.exit === "throw")) {
-    collector.push(path4);
+    collector.push(path6);
   }
   return [];
 }
-function stepOpaque(_stmt, path4, _ctx) {
-  return [path4];
+function stepOpaque(_stmt, path6, _ctx) {
+  return [path6];
 }
 var stepHandlers = {
   if: stepIf,
@@ -855,20 +951,20 @@ var stepHandlers = {
   exit: stepExit,
   opaque: stepOpaque
 };
-function stepCallback(ctx, body, path4) {
+function stepCallback(ctx, body, path6) {
   const exits = [];
   ctx.state.callbackExits.push(exits);
   let fellThrough;
   try {
-    fellThrough = enumerate(ctx, body, path4);
+    fellThrough = enumerate(ctx, body, path6);
   } finally {
     ctx.state.callbackExits.pop();
   }
   const out = [...fellThrough, ...exits];
-  return out.length === 0 ? [path4] : out;
+  return out.length === 0 ? [path6] : out;
 }
-function stepStatement(ctx, stmt, path4) {
-  let paths = [path4];
+function stepStatement(ctx, stmt, path6) {
+  let paths = [path6];
   for (const body of stmt.callbacks ?? []) {
     paths = paths.flatMap((each) => stepCallback(ctx, body, each));
   }
@@ -949,8 +1045,8 @@ function enumerate(ctx, stmts, prefix) {
   let frontiers = [[...prefix]];
   for (const stmt of stmts) {
     const nextFrontiers = [];
-    for (const path4 of mergeRejoined(frontiers)) {
-      nextFrontiers.push(...stepStatement(ctx, stmt, path4));
+    for (const path6 of mergeRejoined(frontiers)) {
+      nextFrontiers.push(...stepStatement(ctx, stmt, path6));
     }
     frontiers = nextFrontiers;
     if (frontiers.length > MAX_PATHS) {
@@ -1001,9 +1097,9 @@ function enumerateStructuredPaths(input) {
     isAncestorOrSelf
   };
   const continuations = withRejoined(enumerate(ctx, input.statements, []));
-  for (const path4 of continuations) {
+  for (const path6 of continuations) {
     chargeBudget(state);
-    state.fallthrough.push(classify(path4, null, isAncestorOrSelf));
+    state.fallthrough.push(classify(path6, null, isAncestorOrSelf));
   }
   return { byTerminal: state.byTerminal, fallthrough: state.fallthrough };
 }
@@ -1046,8 +1142,8 @@ function sharedGatingConditions(paths, readPredicate) {
     return [];
   }
   const shared = new Set(first.map(keyOf2));
-  for (const path4 of rest) {
-    const here = new Set(path4.map(keyOf2));
+  for (const path6 of rest) {
+    const here = new Set(path6.map(keyOf2));
     for (const value of shared) {
       if (!here.has(value)) {
         shared.delete(value);
@@ -1077,7 +1173,7 @@ var IdSet = class {
   has(node) {
     return this.byKey.has(node.id);
   }
-  /** The node this set was built with, which is the caller's own handle for it. */
+  /** The wrapper that was added, which may be a different object from `node`. */
   get(node) {
     return this.byKey.get(node.id);
   }
@@ -1108,6 +1204,51 @@ var IdMap = class {
   }
 };
 
+// src/paths/nodeReads.ts
+var EnclosingNodes = class {
+  constructor(types) {
+    this.types = types;
+  }
+  types;
+  byTree = /* @__PURE__ */ new WeakMap();
+  /**
+   * The nearest ancestor of one of the types, or null when there is none.
+   * Every node passed on the way up has the same result, so each one is
+   * kept, and a later read from a sibling stops one step up.
+   */
+  of(node) {
+    const kept = this.keptFor(node.tree);
+    const known = kept.get(node.id);
+    if (known !== void 0) {
+      return known;
+    }
+    const passed = [node.id];
+    let current = node.parent;
+    while (current !== null && !this.types.has(current.type)) {
+      const above = kept.get(current.id);
+      if (above !== void 0) {
+        current = above;
+        break;
+      }
+      passed.push(current.id);
+      current = current.parent;
+    }
+    for (const id of passed) {
+      kept.set(id, current);
+    }
+    return current;
+  }
+  keptFor(tree) {
+    const known = this.byTree.get(tree);
+    if (known !== void 0) {
+      return known;
+    }
+    const fresh = /* @__PURE__ */ new Map();
+    this.byTree.set(tree, fresh);
+    return fresh;
+  }
+};
+
 // src/paths/nodeWalk.ts
 var SKIP_CHILDREN = /* @__PURE__ */ Symbol("skipChildren");
 function walkDescendants(root, carried, visitor) {
@@ -1124,23 +1265,23 @@ function walkDescendants(root, carried, visitor) {
 }
 
 // src/projectRoot.ts
-var import_node_path = __toESM(require("path"), 1);
+var import_node_path3 = __toESM(require("path"), 1);
 function commonDirectoryOf(files) {
-  const absolute = files.filter((f) => import_node_path.default.isAbsolute(f));
+  const absolute = files.filter((f) => import_node_path3.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);
+  let shared = import_node_path3.default.dirname(first).split(import_node_path3.default.sep);
   for (const file of absolute.slice(1)) {
-    const parts = import_node_path.default.dirname(file).split(import_node_path.default.sep);
+    const parts = import_node_path3.default.dirname(file).split(import_node_path3.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);
+  const joined = shared.join(import_node_path3.default.sep);
   return joined.length > 1 ? joined : void 0;
 }
 
@@ -1197,11 +1338,79 @@ function valueToReadFurtherFrom(reading) {
   return reading.kind === "written" ? reading.value : null;
 }
 
+// src/testFiles.ts
+function isListedTestFile(file, listed) {
+  if (listed === void 0) {
+    return true;
+  }
+  const whole = withForwardSlashes(file);
+  return listed.some((entry) => {
+    const tail = withForwardSlashes(entry).replace(/^\.\//, "");
+    return whole === tail || whole.endsWith(`/${tail}`);
+  });
+}
+function matchesTestFileName(file, patterns) {
+  const base = withForwardSlashes(file).split("/").pop() ?? "";
+  return patterns.some((pattern) => globToRegExp(pattern).test(base));
+}
+function globToRegExp(pattern) {
+  const escaped = pattern.split("*").map((part) => part.replace(/[.+?^${}()|[\]\\]/g, "\\$&")).join(".*");
+  return new RegExp(`^${escaped}$`);
+}
+function withForwardSlashes(file) {
+  return file.replace(/\\/g, "/");
+}
+
+// src/valueSources.ts
+var QUOTED_LENGTH = 80;
+function sourceRefsOf(leaves, spelling) {
+  const refs = [];
+  const said = /* @__PURE__ */ new Set();
+  for (const leaf of leaves) {
+    const ref = convertedFrom(refOf(leaf, spelling), leaf.conversions);
+    const spelled = JSON.stringify(ref);
+    if (!said.has(spelled)) {
+      said.add(spelled);
+      refs.push(ref);
+    }
+  }
+  return refs;
+}
+function convertedFrom(ref, conversions) {
+  return conversions.reduceRight(
+    (from, method) => ({
+      type: "derived",
+      from,
+      derivation: { type: "methodCall", method, args: [] }
+    }),
+    ref
+  );
+}
+function refOf(leaf, spelling) {
+  const whole = leaf.computedAt === null;
+  const input = whole ? spelling.inputOf(leaf) : null;
+  if (input !== null) {
+    return input;
+  }
+  if (whole && leaf.end.is === "written" && leaf.path.length === 0) {
+    const literal = spelling.literalAt(leaf.key);
+    if (literal !== void 0) {
+      return { type: "literal", value: literal };
+    }
+  }
+  const at = leaf.computedAt ?? leaf.key;
+  return { type: "unresolved", sourceText: quoted(spelling.textAt(at), at) };
+}
+function quoted(text, key) {
+  const written = (text ?? key.slice(key.lastIndexOf("#") + 1)).replace(/\s+/g, " ").trim();
+  return written.length <= QUOTED_LENGTH ? written : `${written.slice(0, QUOTED_LENGTH - 3)}...`;
+}
+
 // src/adapterStamp.ts
 var import_node_crypto = require("crypto");
-var import_node_fs = __toESM(require("fs"), 1);
+var import_node_fs2 = __toESM(require("fs"), 1);
 var import_node_module = require("module");
-var import_node_path2 = __toESM(require("path"), 1);
+var import_node_path4 = __toESM(require("path"), 1);
 var import_node_url = require("url");
 var import_meta = {};
 var ANALYSIS_PACKAGES = [
@@ -1244,16 +1453,16 @@ function createAdapterStamp(config) {
 function readAdapterCodeStamp(moduleUrl) {
   try {
     const selfPath = (0, import_node_url.fileURLToPath)(moduleUrl);
-    const hash = computeDistHashFrom(import_node_path2.default.dirname(selfPath));
+    const hash = computeDistHashFrom(import_node_path4.default.dirname(selfPath));
     return hash.length > 0 ? { kind: "bundle", hash } : SOURCE_STAMP;
   } catch {
     return SOURCE_STAMP;
   }
 }
 function computeDistHashFrom(dir) {
-  const candidates = [import_node_path2.default.join(dir, "index.js"), import_node_path2.default.join(dir, "index.cjs")];
+  const candidates = [import_node_path4.default.join(dir, "index.js"), import_node_path4.default.join(dir, "index.cjs")];
   for (const candidate of candidates) {
-    if (!import_node_fs.default.existsSync(candidate)) {
+    if (!import_node_fs2.default.existsSync(candidate)) {
       continue;
     }
     return computeContentHash([candidate, ...analysisBundles()]);
@@ -1267,7 +1476,7 @@ function computeContentHash(paths) {
   const hash = (0, import_node_crypto.createHash)("sha256");
   for (const file of paths) {
     try {
-      hash.update(import_node_fs.default.readFileSync(file));
+      hash.update(import_node_fs2.default.readFileSync(file));
     } catch {
       return "";
     }
@@ -1283,13 +1492,29 @@ function projectFileStamp(paths) {
     hash.update(file);
     hash.update("\0");
     try {
-      hash.update(import_node_fs.default.readFileSync(file));
+      hash.update(import_node_fs2.default.readFileSync(file));
     } catch {
       hash.update("absent");
     }
   }
   return hash.digest("hex").slice(0, 16);
 }
+function extractionConfigStamp(config) {
+  const parts = [
+    ["gapHandling", config.gapHandling ?? "permissive"],
+    ["includeReachable", optionalText(config.includeReachable)],
+    ["workspaceRoot", config.workspaceRoot],
+    ["projectRoot", config.projectRoot],
+    ["importRoots", config.importRoots?.join(import_node_path4.default.delimiter)],
+    ["modules", modulesStamp(config.modules)]
+  ];
+  return parts.flatMap(
+    ([name, value]) => value === void 0 ? [] : [`${name}=${value}`]
+  ).join(",");
+}
+function optionalText(value) {
+  return value === void 0 ? void 0 : String(value);
+}
 function runDigest(packsDigest, packs, files) {
   const inputs = packs.flatMap((pack) => pack.discoveryInputs?.(files) ?? []);
   return `${packsDigest}|reads:${projectFileStamp(inputs)}`;
@@ -1307,10 +1532,118 @@ function analysisBundles() {
 }
 
 // src/cache.ts
+var import_node_crypto3 = require("crypto");
+var import_promises2 = __toESM(require("fs/promises"), 1);
+var import_node_path5 = __toESM(require("path"), 1);
+
+// src/cacheStamps.ts
 var import_node_crypto2 = require("crypto");
 var import_promises = __toESM(require("fs/promises"), 1);
-var import_node_path3 = __toESM(require("path"), 1);
-var SCHEMA_VERSION = "7";
+var RECENT_CHANGE_MS = 2e3;
+function stampMayMissAWrite(stat, statAt) {
+  return Math.max(stat.mtimeMs, stat.ctimeMs) > statAt - RECENT_CHANGE_MS;
+}
+async function startRun(files, configPath) {
+  const startedAt = Date.now();
+  const config = configPath === void 0 ? null : await statAtStart(configPath);
+  const stats = await Promise.all(files.map(statAtStart));
+  stats.sort(
+    (a, b) => a.stamp.path < b.stamp.path ? -1 : a.stamp.path > b.stamp.path ? 1 : 0
+  );
+  return {
+    startedAt,
+    config: config?.ctimeMs === null ? null : config,
+    files: stats,
+    hashes: /* @__PURE__ */ new Map()
+  };
+}
+async function statAtStart(filePath) {
+  try {
+    const stat = await import_promises.default.stat(filePath);
+    return {
+      stamp: { path: filePath, mtimeMs: stat.mtimeMs, size: stat.size },
+      ctimeMs: stat.ctimeMs
+    };
+  } catch {
+    return { stamp: { path: filePath, mtimeMs: -1, size: -1 }, ctimeMs: null };
+  }
+}
+async function hashOf(run, filePath) {
+  const known = run.hashes.get(filePath);
+  if (known !== void 0) {
+    return known;
+  }
+  const hash = await hashFile(filePath);
+  run.hashes.set(filePath, hash);
+  return hash;
+}
+async function hashRecentChanges(run) {
+  const recent = [...run.config === null ? [] : [run.config], ...run.files].filter(
+    (file) => file.ctimeMs !== null && stampMayMissAWrite(
+      { mtimeMs: file.stamp.mtimeMs, ctimeMs: file.ctimeMs },
+      run.startedAt
+    )
+  ).map((file) => file.stamp.path);
+  await Promise.all(recent.map((filePath) => hashOf(run, filePath)));
+}
+async function stillMatches(stored, found, run) {
+  if (!fileStampEquals(stored, found)) {
+    return false;
+  }
+  if (stored === null || stored.verifyHash !== true) {
+    return true;
+  }
+  return await hashOf(run, stored.path) === stored.contentHash;
+}
+async function filesStillMatch(stored, run) {
+  if (stored.length !== run.files.length || !stored.every((s, i) => fileStampEquals(s, run.files[i]?.stamp ?? null))) {
+    return false;
+  }
+  const checks = await Promise.all(
+    stored.map((s, i) => stillMatches(s, run.files[i]?.stamp ?? null, run))
+  );
+  return checks.every(Boolean);
+}
+async function recordedStamp(start, run, prior) {
+  if (start.ctimeMs === null) {
+    return start.stamp;
+  }
+  const filePath = start.stamp.path;
+  const now = await import_promises.default.stat(filePath).catch(() => null);
+  if (now === null || now.mtimeMs !== start.stamp.mtimeMs || now.size !== start.stamp.size || now.ctimeMs !== start.ctimeMs) {
+    return null;
+  }
+  const atStart = { mtimeMs: start.stamp.mtimeMs, ctimeMs: start.ctimeMs };
+  if (stampMayMissAWrite(atStart, run.startedAt)) {
+    const readBefore = run.hashes.get(filePath);
+    return readBefore === void 0 || readBefore === null ? null : { ...start.stamp, contentHash: readBefore, verifyHash: true };
+  }
+  const hash = run.hashes.get(filePath) ?? reusableHash(prior, start.stamp) ?? await hashFile(filePath);
+  return hash === null ? start.stamp : { ...start.stamp, contentHash: hash };
+}
+function reusableHash(prior, stamp) {
+  return prior !== void 0 && prior.verifyHash !== true && fileStampEquals(prior, stamp) ? prior.contentHash : void 0;
+}
+async function hashFile(filePath) {
+  try {
+    const content = await import_promises.default.readFile(filePath);
+    return (0, import_node_crypto2.createHash)("sha256").update(content).digest("hex").slice(0, 16);
+  } catch {
+    return null;
+  }
+}
+function fileStampEquals(a, b) {
+  if (a === null && b === null) {
+    return true;
+  }
+  if (a === null || b === null) {
+    return false;
+  }
+  return a.path === b.path && a.mtimeMs === b.mtimeMs && a.size === b.size;
+}
+
+// src/cache.ts
+var SCHEMA_VERSION = "9";
 var MAX_ENTRIES = 2;
 var ENTRY_PREFIX = "key-";
 var ENTRY_DIR_NAME = new RegExp(`^${ENTRY_PREFIX}[0-9a-f]{16}$`);
@@ -1327,56 +1660,88 @@ function createCacheLayer(cacheDir) {
       }
     };
   }
+  const manifests = new ManifestReads();
+  const runs = /* @__PURE__ */ new WeakMap();
+  const runFor = async (input) => runs.get(input) ?? await startRun(input.files, input.configPath);
+  const lookupWith = async (input, run) => {
+    const entryDir = entryDirFor(cacheDir, input);
+    const manifest = await manifests.readAtRunStart(
+      import_node_path5.default.join(entryDir, "manifest.json")
+    );
+    if (manifest === null) {
+      return missDiag(await describeAbsentEntry(cacheDir));
+    }
+    if (!await stillMatches(
+      manifest.configStamp,
+      run.config?.stamp ?? null,
+      run
+    )) {
+      return missDiag("config-changed");
+    }
+    if (!await filesStillMatch(manifest.files, run)) {
+      return missDiag("files-changed");
+    }
+    await markUsed(entryDir);
+    manifests.forget();
+    return {
+      kind: "hit",
+      summaries: manifest.summaries,
+      diagnostic: { kind: "hit" }
+    };
+  };
   return {
     async tryHit(input) {
       const result = await this.lookup(input);
       return result.kind === "hit" ? result.summaries : null;
     },
     async lookup(input) {
-      const entryDir = entryDirFor(cacheDir, input);
-      const manifest = await readManifest(
-        import_node_path3.default.join(entryDir, "manifest.json")
-      );
-      if (manifest === null) {
-        return missDiag(await describeAbsentEntry(cacheDir));
+      const run = await startRun(input.files, input.configPath);
+      runs.set(input, run);
+      const result = await lookupWith(input, run);
+      if (result.kind === "miss") {
+        await hashRecentChanges(run);
       }
-      const currentConfigStamp = await stampConfigFile(input.configPath);
-      if (!fileStampEquals(manifest.configStamp, currentConfigStamp)) {
-        return missDiag("config-changed");
-      }
-      const currentFiles = await resolveFileStamps(input);
-      if (!fileStampsEqual(manifest.files, currentFiles)) {
-        return missDiag("files-changed");
-      }
-      await markUsed(entryDir);
-      return {
-        kind: "hit",
-        summaries: manifest.summaries,
-        diagnostic: { kind: "hit" }
-      };
+      return result;
     },
     async plan(input) {
       const entryDir = entryDirFor(cacheDir, input);
-      const manifest = await readManifest(
-        import_node_path3.default.join(entryDir, "manifest.json")
+      const manifest = await manifests.readAgain(
+        import_node_path5.default.join(entryDir, "manifest.json")
       );
       if (manifest === null || manifest.roots === void 0 || manifest.rootMeta === void 0 || manifest.owners === void 0) {
         return null;
       }
-      const currentConfigStamp = await stampConfigFile(input.configPath);
-      if (!fileStampEquals(manifest.configStamp, currentConfigStamp)) {
+      const run = await runFor(input);
+      if (!await stillMatches(
+        manifest.configStamp,
+        run.config?.stamp ?? null,
+        run
+      )) {
         return null;
       }
       await markUsed(entryDir);
-      return buildPlan(manifest, await resolveFileStamps(input));
+      return buildPlan(manifest, run);
     },
     async write(input, summaries, attribution) {
       const entryDir = entryDirFor(cacheDir, input);
-      const previous = await readManifest(
-        import_node_path3.default.join(entryDir, "manifest.json")
+      const previous = await manifests.readAgain(
+        import_node_path5.default.join(entryDir, "manifest.json")
       );
-      const configStamp = await stampConfigFile(input.configPath);
-      const files = await hashStamps(await resolveFileStamps(input), previous);
+      manifests.forget();
+      const known = runs.get(input);
+      const run = known ?? await runFor(input);
+      if (known === void 0) {
+        await hashRecentChanges(run);
+      }
+      runs.delete(input);
+      const configStamp = run.config === null ? null : await recordedStamp(run.config, run, void 0);
+      const prior = new Map((previous?.files ?? []).map((f) => [f.path, f]));
+      const recorded = await Promise.all(
+        run.files.map(
+          (file) => recordedStamp(file, run, prior.get(file.stamp.path))
+        )
+      );
+      const files = recorded.filter((stamp) => stamp !== null);
       const manifest = {
         schemaVersion: SCHEMA_VERSION,
         adapterPacksDigest: input.adapterPacksDigest,
@@ -1385,19 +1750,20 @@ function createCacheLayer(cacheDir) {
         summaries,
         ...attribution === void 0 ? {} : encodeAttribution(attribution)
       };
-      await import_promises.default.mkdir(entryDir, { recursive: true });
-      await import_promises.default.writeFile(
-        import_node_path3.default.join(entryDir, "manifest.json"),
+      await import_promises2.default.mkdir(entryDir, { recursive: true });
+      await import_promises2.default.writeFile(
+        import_node_path5.default.join(entryDir, "manifest.json"),
         JSON.stringify(manifest)
       );
       await evictOldEntries(cacheDir, entryDir);
     }
   };
 }
-async function buildPlan(manifest, currentStamps) {
+async function buildPlan(manifest, run) {
   const stored = new Map(manifest.files.map((f) => [f.path, f]));
-  const current = new Map(currentStamps.map((f) => [f.path, f]));
+  const current = new Map(run.files.map((f) => [f.stamp.path, f.stamp]));
   const changed = /* @__PURE__ */ new Set();
+  const added = /* @__PURE__ */ new Set();
   const removed = /* @__PURE__ */ new Set();
   for (const p of stored.keys()) {
     if (!current.has(p)) {
@@ -1409,17 +1775,20 @@ async function buildPlan(manifest, currentStamps) {
     const before = stored.get(p);
     if (before === void 0) {
       changed.add(p);
+      added.add(p);
     } else if (!fileStampEquals(before, stamp)) {
       if (before.contentHash === void 0) {
         changed.add(p);
       } else {
         toVerify.push(p);
       }
+    } else if (before.verifyHash === true) {
+      toVerify.push(p);
     }
   }
   await Promise.all(
     toVerify.map(async (p) => {
-      const hash = await hashFile(p);
+      const hash = await hashOf(run, p);
       if (hash === null || hash !== stored.get(p)?.contentHash) {
         changed.add(p);
       }
@@ -1428,6 +1797,10 @@ async function buildPlan(manifest, currentStamps) {
   const roots = /* @__PURE__ */ new Map();
   const rootNames = manifest.roots ?? [];
   const depPaths = manifest.depPaths ?? [];
+  const pathsOf = (ids) => ids.flatMap((d) => {
+    const p = depPaths[d];
+    return p === void 0 ? [] : [p];
+  });
   let rootsDeclined = 0;
   rootNames.forEach((rootPath, i) => {
     const meta = manifest.rootMeta?.[i];
@@ -1440,35 +1813,54 @@ async function buildPlan(manifest, currentStamps) {
     roots.set(rootPath, {
       path: rootPath,
       cacheable: meta.cacheable,
-      deps: meta.deps.flatMap((d) => {
-        const p = depPaths[d];
-        return p === void 0 ? [] : [p];
-      }),
+      deps: pathsOf(meta.deps),
       claims: meta.claims,
       meta: meta.meta,
-      packs: meta.packs
+      packs: meta.packs,
+      ...meta.imports === void 0 ? {} : { imports: pathsOf(meta.imports) }
     });
   });
+  const unchanged = (filePath, deps) => current.has(filePath) && !changed.has(filePath) && !deps.some((d) => changed.has(d) || removed.has(d));
   const validRoots = /* @__PURE__ */ new Set();
   for (const [rootPath, record] of roots) {
-    if (!record.cacheable || !current.has(rootPath)) {
-      continue;
+    if (record.cacheable && unchanged(rootPath, record.deps)) {
+      validRoots.add(rootPath);
     }
-    if (changed.has(rootPath)) {
-      continue;
+  }
+  const units = (manifest.units ?? []).flatMap((stored2) => {
+    const file = depPaths[stored2.file];
+    return file === void 0 ? [] : [
+      {
+        key: stored2.key,
+        file,
+        deps: pathsOf(stored2.deps),
+        data: stored2.data
+      }
+    ];
+  });
+  const validUnits = /* @__PURE__ */ new Map();
+  for (const unit of units) {
+    if (unchanged(unit.file, unit.deps)) {
+      validUnits.set(unit.key, unit);
     }
-    const depMoved = record.deps.some((d) => changed.has(d) || removed.has(d));
-    if (!depMoved) {
-      validRoots.add(rootPath);
+  }
+  const resolvedImports = /* @__PURE__ */ new Map();
+  if (added.size === 0 && removed.size === 0) {
+    for (const [rootPath, record] of roots) {
+      if (record.imports !== void 0 && !changed.has(rootPath)) {
+        resolvedImports.set(rootPath, record.imports);
+      }
     }
   }
   const owners = manifest.owners ?? [];
   return {
     changed,
     removed,
+    resolvedImports,
     roots,
     validRoots,
     rootsDeclined,
+    validUnits,
     reuse(valid) {
       const summaries = [];
       const reusedOwners = [];
@@ -1495,7 +1887,8 @@ async function buildPlan(manifest, currentStamps) {
             const p = rootNames[o];
             return p === void 0 ? [] : [p];
           })
-        )
+        ),
+        units
       };
     }
   };
@@ -1520,7 +1913,8 @@ function encodeAttribution(attribution) {
     deps: r.deps.map(depIdOf),
     claims: r.claims,
     meta: r.meta,
-    packs: r.packs
+    packs: r.packs,
+    ...r.imports === void 0 ? {} : { imports: r.imports.map(depIdOf) }
   }));
   const owners = attribution.owners.map(
     (ownerPaths) => ownerPaths.flatMap((p) => {
@@ -1528,32 +1922,23 @@ function encodeAttribution(attribution) {
       return i === void 0 ? [] : [i];
     })
   );
-  return { roots, rootMeta, depPaths, owners };
-}
-async function hashStamps(stamps, previous) {
-  const before = new Map((previous?.files ?? []).map((f) => [f.path, f]));
-  return Promise.all(
-    stamps.map(async (stamp) => {
-      const prior = before.get(stamp.path);
-      if (prior !== void 0 && prior.contentHash !== void 0 && fileStampEquals(prior, stamp)) {
-        return { ...stamp, contentHash: prior.contentHash };
-      }
-      const contentHash = await hashFile(stamp.path);
-      return contentHash === null ? stamp : { ...stamp, contentHash };
-    })
-  );
-}
-async function hashFile(filePath) {
-  try {
-    const content = await import_promises.default.readFile(filePath);
-    return (0, import_node_crypto2.createHash)("sha256").update(content).digest("hex").slice(0, 16);
-  } catch {
-    return null;
-  }
+  const units = attribution.units?.map((unit) => ({
+    key: unit.key,
+    file: depIdOf(unit.file),
+    deps: unit.deps.map(depIdOf),
+    data: unit.data
+  }));
+  return {
+    roots,
+    rootMeta,
+    depPaths,
+    owners,
+    ...units === void 0 ? {} : { units }
+  };
 }
 async function describeAbsentEntry(cacheDir) {
   try {
-    const entries = await import_promises.default.readdir(cacheDir, { withFileTypes: true });
+    const entries = await import_promises2.default.readdir(cacheDir, { withFileTypes: true });
     return entries.some((e) => e.isDirectory() && isEntryDir(e.name)) ? "key-changed" : "no-manifest";
   } catch {
     return "no-manifest";
@@ -1565,8 +1950,8 @@ function entryDirFor(cacheDir, input) {
     input.adapterPacksDigest,
     input.configPath ?? ""
   ].join(" ");
-  const name = (0, import_node_crypto2.createHash)("sha256").update(key).digest("hex").slice(0, 16);
-  return import_node_path3.default.join(cacheDir, `${ENTRY_PREFIX}${name}`);
+  const name = (0, import_node_crypto3.createHash)("sha256").update(key).digest("hex").slice(0, 16);
+  return import_node_path5.default.join(cacheDir, `${ENTRY_PREFIX}${name}`);
 }
 function isEntryDir(name) {
   return ENTRY_DIR_NAME.test(name);
@@ -1574,24 +1959,24 @@ function isEntryDir(name) {
 async function markUsed(entryDir) {
   const now = /* @__PURE__ */ new Date();
   try {
-    await import_promises.default.utimes(entryDir, now, now);
+    await import_promises2.default.utimes(entryDir, now, now);
   } catch {
   }
 }
 async function evictOldEntries(cacheDir, keepDir) {
   try {
-    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 });
+    await import_promises2.default.rm(import_node_path5.default.join(cacheDir, "manifest.json"), { force: true });
+    const entries = await import_promises2.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_path3.default.join(cacheDir, e.name);
-        const stat = await import_promises.default.stat(dir);
+        const dir = import_node_path5.default.join(cacheDir, e.name);
+        const stat = await import_promises2.default.stat(dir);
         return { dir, mtimeMs: stat.mtimeMs };
       })
     );
     const doomed = dirs.filter((d) => d.dir !== keepDir).sort((a, b) => b.mtimeMs - a.mtimeMs).slice(MAX_ENTRIES - 1);
     await Promise.all(
-      doomed.map((d) => import_promises.default.rm(d.dir, { recursive: true, force: true }))
+      doomed.map((d) => import_promises2.default.rm(d.dir, { recursive: true, force: true }))
     );
   } catch {
   }
@@ -1602,54 +1987,44 @@ function missDiag(reason) {
     diagnostic: { kind: "miss", missReason: reason }
   };
 }
-async function readManifest(manifestPath) {
+var ManifestReads = class {
+  last = null;
+  async readAtRunStart(manifestPath) {
+    const stamp = await manifestStamp(manifestPath);
+    const manifest = await readManifest(manifestPath);
+    this.last = { path: manifestPath, stamp, manifest };
+    return manifest;
+  }
+  async readAgain(manifestPath) {
+    const last = this.last;
+    if (last !== null && last.path === manifestPath && last.stamp !== null && last.stamp === await manifestStamp(manifestPath)) {
+      return last.manifest;
+    }
+    return await this.readAtRunStart(manifestPath);
+  }
+  forget() {
+    this.last = null;
+  }
+};
+async function manifestStamp(manifestPath) {
   try {
-    const raw = await import_promises.default.readFile(manifestPath, "utf-8");
-    return JSON.parse(raw);
+    const stat = await import_promises2.default.stat(manifestPath);
+    return `${stat.ino}:${stat.mtimeMs}:${stat.size}`;
   } catch {
     return null;
   }
 }
-async function stampConfigFile(configPath) {
-  if (configPath === void 0) {
-    return null;
-  }
+async function readManifest(manifestPath) {
   try {
-    const stat = await import_promises.default.stat(configPath);
-    return { path: configPath, mtimeMs: stat.mtimeMs, size: stat.size };
+    const raw = await import_promises2.default.readFile(manifestPath, "utf-8");
+    return JSON.parse(raw);
   } catch {
     return null;
   }
 }
-async function resolveFileStamps(input) {
-  const stamped = await Promise.all(
-    input.files.map(async (p) => {
-      try {
-        const stat = await import_promises.default.stat(p);
-        return { path: p, mtimeMs: stat.mtimeMs, size: stat.size };
-      } catch {
-        return { path: p, mtimeMs: -1, size: -1 };
-      }
-    })
-  );
-  stamped.sort((a, b) => a.path < b.path ? -1 : a.path > b.path ? 1 : 0);
-  return stamped;
-}
-function fileStampsEqual(a, b) {
-  return a.length === b.length && a.every((s, i) => fileStampEquals(s, b[i]));
-}
-function fileStampEquals(a, b) {
-  if (a === null && b === null) {
-    return true;
-  }
-  if (a === null || b === null) {
-    return false;
-  }
-  return a.path === b.path && a.mtimeMs === b.mtimeMs && a.size === b.size;
-}
 
 // src/extractionReport.ts
-var import_behavioral_ir4 = require("@suss/behavioral-ir");
+var import_behavioral_ir5 = require("@suss/behavioral-ir");
 var emptyTally = () => ({
   candidateFiles: 0,
   unitsDiscovered: 0,
@@ -1699,7 +2074,7 @@ function summaryCountsByPack(summaries) {
     }
     const entry = counts.get(recognition) ?? emptyCounts();
     entry.bound += 1;
-    if (import_behavioral_ir4.BOUNDARY_ROLE[summary.kind] === "provider") {
+    if (import_behavioral_ir5.BOUNDARY_ROLE[summary.kind] === "provider") {
       entry.providers += 1;
     }
     if (summary.transitions.length > 0) {
@@ -1755,6 +2130,38 @@ function firstEmptyUngatedStage(packs, filesWalked) {
   return "assembly";
 }
 
+// src/keptParses.ts
+var KeptParses = class {
+  constructor(release = () => {
+  }) {
+    this.release = release;
+  }
+  release;
+  byFile = /* @__PURE__ */ new Map();
+  async parse(file, source, make) {
+    const kept = this.byFile.get(file);
+    if (kept !== void 0 && kept.source === source) {
+      return kept.value;
+    }
+    const value = await make(source);
+    if (kept !== void 0) {
+      this.release(kept.value);
+    }
+    this.byFile.set(file, { source, value });
+    return value;
+  }
+  /** Lets go of every file not in this run. */
+  keepOnly(files) {
+    const wanted = new Set(files);
+    for (const [file, kept] of this.byFile) {
+      if (!wanted.has(file)) {
+        this.release(kept.value);
+        this.byFile.delete(file);
+      }
+    }
+  }
+};
+
 // src/packHealth.ts
 function stagesOf(funnel) {
   const stages = [];
@@ -1801,8 +2208,8 @@ function funnelDrops(packs) {
 function recognizersWithNoUnits(packs) {
   return packs.filter(
     (funnel) => funnel.recognizes && !funnel.discovers && funnel.gates.length > 0 && funnel.unresolvedGates.length === 0 && funnel.candidateFiles > 0 && funnel.unitsInGatedFiles === 0 && // The closure walks a recognizer-only pack's gated exports as
-    // roots, so effects recognized there mean the run worked and
-    // the missing framework pack costs attribution, not existence.
+    // roots, so effects recognized there mean the run worked and only
+    // the framework pack's attribution is missing.
     funnel.effectsRecognized === 0
   ).map((funnel) => ({
     label: funnel.pack,
@@ -2044,7 +2451,7 @@ function makeTransitionId(functionName, branch) {
   const { terminal } = branch;
   const statusKey = terminal.statusCode === null ? "none" : terminal.statusCode.type === "literal" ? String(terminal.statusCode.value) : `dyn:${terminal.statusCode.sourceText}`;
   const conditionSig = branch.conditions.map((c) => `${c.polarity}:${c.sourceText}`).join(";");
-  const conditionHash = (0, import_node_crypto3.createHash)("sha1").update(conditionSig).digest("hex").slice(0, 7);
+  const conditionHash = (0, import_node_crypto4.createHash)("sha1").update(conditionSig).digest("hex").slice(0, 7);
   return `${functionName}:${terminal.kind}:${statusKey}:${conditionHash}`;
 }
 function collapseReading(table, reading) {
@@ -2112,7 +2519,40 @@ function effectsOfBranch(branch) {
     ...branch.effects.map(effectToIR),
     ...branch.extraEffects ?? []
   ];
-  return (0, import_behavioral_ir5.foldRepeatedEffects)(effects.map(withNormalizedCallee));
+  return (0, import_behavioral_ir6.foldRepeatedEffects)(effects.map(withNormalizedCallee));
+}
+function provenanceOf(raw, effects) {
+  if (raw.length === 0) {
+    return [];
+  }
+  const positionOf = new Map(effects.map((one, at) => [(0, import_behavioral_ir6.effectKey)(one), at]));
+  const bySlot = /* @__PURE__ */ new Map();
+  const said = /* @__PURE__ */ new Map();
+  for (const one of raw) {
+    const effect = positionOf.get((0, import_behavioral_ir6.effectKey)(withNormalizedCallee(one.effect)));
+    if (effect === void 0) {
+      continue;
+    }
+    const slotKey = `${effect}\0${one.slot}\0${one.name}`;
+    let entry = bySlot.get(slotKey);
+    let seen = said.get(slotKey);
+    if (entry === void 0 || seen === void 0) {
+      entry = { at: { slot: one.slot, effect, name: one.name }, from: [] };
+      seen = /* @__PURE__ */ new Set();
+      bySlot.set(slotKey, entry);
+      said.set(slotKey, seen);
+    }
+    for (const source of one.from) {
+      const spelled = JSON.stringify(source);
+      if (!seen.has(spelled)) {
+        seen.add(spelled);
+        entry.from.push(source);
+      }
+    }
+  }
+  return [...bySlot.values()].sort(
+    (a, b) => a.at.effect - b.at.effect || a.at.slot.localeCompare(b.at.slot) || a.at.name.localeCompare(b.at.name)
+  );
 }
 function withNormalizedCallee(effect) {
   if (effect.type !== "invocation" && effect.type !== "interaction") {
@@ -2121,7 +2561,7 @@ function withNormalizedCallee(effect) {
   if (effect.callee === void 0) {
     return effect;
   }
-  return { ...effect, callee: (0, import_behavioral_ir5.normalizeCalleeText)(effect.callee) };
+  return { ...effect, callee: (0, import_behavioral_ir6.normalizeCalleeText)(effect.callee) };
 }
 function assembleSummary(raw, options = DEFAULT_OPTIONS) {
   const transitions = raw.branches.map((rawBranch) => {
@@ -2129,17 +2569,22 @@ function assembleSummary(raw, options = DEFAULT_OPTIONS) {
     const conditions = branch.conditions.map(
       rawConditionToPredicate
     );
+    const effects = effectsOfBranch(branch);
     const transition = {
       id: makeTransitionId(raw.identity.name, branch),
       conditions,
       output: terminalToOutput(branch.terminal),
-      effects: effectsOfBranch(branch),
+      effects,
       location: branch.location,
       isDefault: branch.isDefault
     };
     if (branch.expectedInput != null) {
       transition.expectedInput = branch.expectedInput;
     }
+    const provenance = provenanceOf(branch.provenance ?? [], effects);
+    if (provenance.length > 0) {
+      transition.provenance = provenance;
+    }
     return transition;
   });
   const gaps = detectGaps(raw, transitions, options);
@@ -2181,25 +2626,28 @@ function buildMetadata(raw) {
   let metadata = {};
   const http = buildHttpMetadataValue(raw);
   if (http !== null) {
-    metadata = (0, import_behavioral_ir5.withHttpMetadata)(metadata, http);
+    metadata = (0, import_behavioral_ir6.withHttpMetadata)(metadata, http);
   }
   const graphql = buildGraphqlMetadataValue(raw);
   if (graphql !== null) {
-    metadata = (0, import_behavioral_ir5.withGraphqlMetadata)(metadata, graphql);
+    metadata = (0, import_behavioral_ir6.withGraphqlMetadata)(metadata, graphql);
   }
   if (raw.sourceDocumentLabel !== void 0) {
-    metadata = (0, import_behavioral_ir5.withSourceDocumentMetadata)(metadata, {
+    metadata = (0, import_behavioral_ir6.withSourceDocumentMetadata)(metadata, {
       label: raw.sourceDocumentLabel
     });
   }
   if (raw.mount !== void 0) {
-    metadata = (0, import_behavioral_ir5.withMountMetadata)(metadata, raw.mount);
+    metadata = (0, import_behavioral_ir6.withMountMetadata)(metadata, raw.mount);
   }
   if (raw.wrappers !== void 0 && raw.wrappers.length > 0) {
-    metadata = (0, import_behavioral_ir5.withWrapperMetadata)(metadata, { applied: raw.wrappers });
+    metadata = (0, import_behavioral_ir6.withWrapperMetadata)(metadata, { applied: raw.wrappers });
   }
   if (raw.requestSpelling !== void 0) {
-    metadata = (0, import_behavioral_ir5.withRequestSpellingMetadata)(metadata, raw.requestSpelling);
+    metadata = (0, import_behavioral_ir6.withRequestSpellingMetadata)(metadata, raw.requestSpelling);
+  }
+  if (raw.test !== void 0) {
+    metadata = (0, import_behavioral_ir6.withTestMetadata)(metadata, raw.test);
   }
   return Object.keys(metadata).length > 0 ? metadata : null;
 }
@@ -2252,7 +2700,7 @@ function answersWithHttpResponses(raw) {
   if (raw.boundaryBinding === null || raw.boundaryBinding === void 0) {
     return true;
   }
-  return (0, import_behavioral_ir5.exchangesHttpResponses)(raw.boundaryBinding);
+  return (0, import_behavioral_ir6.exchangesHttpResponses)(raw.boundaryBinding);
 }
 function detectGaps(raw, transitions, options) {
   if (options.gapHandling === "silent") {
@@ -2344,18 +2792,27 @@ function bodyToShape(body) {
   }
   return null;
 }
+function statusValueRef(code) {
+  if (code === null) {
+    return null;
+  }
+  return code.type === "literal" ? { type: "literal", value: code.value } : { type: "unresolved", sourceText: code.sourceText };
+}
 var terminalConverters = {
   response: (t) => {
-    const statusCode = t.statusCode ? t.statusCode.type === "literal" ? { type: "literal", value: t.statusCode.value } : { type: "unresolved", sourceText: t.statusCode.sourceText } : null;
     const body = bodyToShape(t.body);
-    return { type: "response", statusCode, body, headers: {} };
+    return {
+      type: "response",
+      statusCode: statusValueRef(t.statusCode),
+      body,
+      headers: {}
+    };
   },
   throw: (t) => {
     if (t.statusCode && t.producesResponse === true) {
-      const statusCode = t.statusCode.type === "literal" ? { type: "literal", value: t.statusCode.value } : { type: "unresolved", sourceText: t.statusCode.sourceText };
       return {
         type: "response",
-        statusCode,
+        statusCode: statusValueRef(t.statusCode),
         body: bodyToShape(t.body),
         headers: {}
       };
@@ -2383,7 +2840,8 @@ var terminalConverters = {
     type: "return",
     value: bodyToShape(t.body)
   }),
-  void: (_t) => ({ type: "void" })
+  void: (_t) => ({ type: "void" }),
+  exit: (t) => ({ type: "exit", code: statusValueRef(t.statusCode) })
 };
 function terminalToOutput(terminal) {
   return terminalConverters[terminal.kind](terminal);
@@ -2426,15 +2884,19 @@ function paramToInput(param) {
     name: param.name,
     position: param.position,
     role: param.role,
+    ...param.field === void 0 ? {} : { field: param.field },
     shape: param.typeText ? { type: "ref", name: param.typeText } : null
   };
 }
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
+  EnclosingNodes,
   IdMap,
   IdSet,
+  KeptParses,
   MAX_ENTRIES,
   MAX_PATHS,
+  MODULE_SURFACE_RECOGNITION,
   PathBudgetExceeded,
   SKIP_CHILDREN,
   UnmodeledFlow,
@@ -2459,13 +2921,18 @@ function paramToInput(param) {
   enumerateOrDegrade,
   enumerateStructuredPaths,
   evaluatePackHealth,
+  extractionConfigStamp,
   firstWrittenReading,
   formatPackHealth,
   guardsHoldOn,
   httpRouteDiscovery,
+  isListedTestFile,
   makeTransitionId,
   mapReading,
+  markReturnsAsExitCode,
+  matchesTestFileName,
   moduleInitStructure,
+  moduleOfFile,
   noopTimer,
   packGradients,
   paramToInput,
@@ -2477,8 +2944,12 @@ function paramToInput(param) {
   runDigest,
   runsBefore,
   scopeOption,
+  settleModules,
   sharedGatingConditions,
+  sourceRefsOf,
+  stampMayMissAWrite,
   stampModuleImports,
+  stampModules,
   storageSystemOption,
   summaryCountsByPack,
   tallyUnit,