@suss/extractor 0.37.1 → 0.38.1

package/dist/index.cjs

@@ -3600,12 +3600,22 @@ function unreadSentences(raw) {
     ...handedOver.map(unreadReasonOf).filter((reason) => reason !== null)
   ];
 }
-function effectsOfBranch(branch) {
+function effectsOfBranch(branch, keysBySource) {
+  const sources = [...branch.effects, ...branch.extraEffects ?? []];
   const effects = [
     ...branch.effects.map(effectToIR),
     ...branch.extraEffects ?? []
-  ];
-  return (0, import_behavioral_ir10.foldRepeatedEffects)(effects.map(withNormalizedCallee));
+  ].map(withNormalizedCallee);
+  return (0, import_behavioral_ir10.foldRepeatedEffects)(effects, (effect, at) => {
+    const source = sources[at];
+    const known = keysBySource.get(source);
+    if (known !== void 0) {
+      return known;
+    }
+    const key = (0, import_behavioral_ir10.effectKey)(effect);
+    keysBySource.set(source, key);
+    return key;
+  });
 }
 function provenanceOf(raw, effects) {
   if (raw.length === 0) {
@@ -3650,12 +3660,13 @@ function withNormalizedCallee(effect) {
   return { ...effect, callee: (0, import_behavioral_ir10.normalizeCalleeText)(effect.callee) };
 }
 function assembleSummary(raw, options = DEFAULT_OPTIONS) {
+  const keysBySource = /* @__PURE__ */ new Map();
   const transitions = raw.branches.map((rawBranch) => {
     const branch = branchWithCollapsedReadings(rawBranch);
     const conditions = branch.conditions.map(
       rawConditionToPredicate
     );
-    const effects = effectsOfBranch(branch);
+    const effects = effectsOfBranch(branch, keysBySource);
     const transition = {
       id: makeTransitionId(raw.identity.name, branch),
       conditions,

package/dist/index.js

@@ -3499,12 +3499,22 @@ function unreadSentences(raw) {
     ...handedOver.map(unreadReasonOf).filter((reason) => reason !== null)
   ];
 }
-function effectsOfBranch(branch) {
+function effectsOfBranch(branch, keysBySource) {
+  const sources = [...branch.effects, ...branch.extraEffects ?? []];
   const effects = [
     ...branch.effects.map(effectToIR),
     ...branch.extraEffects ?? []
-  ];
-  return foldRepeatedEffects(effects.map(withNormalizedCallee));
+  ].map(withNormalizedCallee);
+  return foldRepeatedEffects(effects, (effect, at) => {
+    const source = sources[at];
+    const known = keysBySource.get(source);
+    if (known !== void 0) {
+      return known;
+    }
+    const key = effectKey2(effect);
+    keysBySource.set(source, key);
+    return key;
+  });
 }
 function provenanceOf(raw, effects) {
   if (raw.length === 0) {
@@ -3549,12 +3559,13 @@ function withNormalizedCallee(effect) {
   return { ...effect, callee: normalizeCalleeText2(effect.callee) };
 }
 function assembleSummary(raw, options = DEFAULT_OPTIONS) {
+  const keysBySource = /* @__PURE__ */ new Map();
   const transitions = raw.branches.map((rawBranch) => {
     const branch = branchWithCollapsedReadings(rawBranch);
     const conditions = branch.conditions.map(
       rawConditionToPredicate
     );
-    const effects = effectsOfBranch(branch);
+    const effects = effectsOfBranch(branch, keysBySource);
     const transition = {
       id: makeTransitionId(raw.identity.name, branch),
       conditions,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/extractor",
-  "version": "0.37.1",
+  "version": "0.38.1",
   "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.37.1",
+    "@suss/behavioral-ir": "0.38.1",
     "zod": "^4.0.0"
   },
   "devDependencies": {