@buoy-gg/agent-core 7.0.33

package/lib/module/context/buildContextPack.js.map

@@ -0,0 +1 @@
+{"version":3,"names":["projectSnapshot","SNAPSHOT_ACTION","PROBE_TIMEOUT_MS","list","value","Array","isArray","items","names","keys","cap","slice","map","item","rec","k","undefined","id","name","key","PROBES","toolId","action","shape","v","routes","params","includeValues","Object","state","stores","raw","s","persistName","persistsTo","env","withTimeout","p","ms","Promise","race","catch","resolve","setTimeout","buildContextDigest","dispatch","readSnapshot","availableToolIds","availableActions","runnable","filter","includes","actions","settled","all","probe","read","then","payload","digest","empty","length"],"sourceRoot":"../../../src","sources":["context/buildContextPack.ts"],"mappings":";;AAAA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;;AAEA,SAASA,eAAe,EAAEC,eAAe,QAAQ,0BAA0B;;AAE3E;AACA,MAAMC,gBAAgB,GAAG,IAAI;AAW7B,MAAMC,IAAI,GAAIC,KAAc,IAC1BC,KAAK,CAACC,OAAO,CAACF,KAAK,CAAC,GAAGA,KAAK,GAAGC,KAAK,CAACC,OAAO,CAAEF,KAAK,EAA4BG,KAAK,CAAC,GAAIH,KAAK,CAA0BG,KAAK,GAAG,EAAE;AAEpI,MAAMC,KAAK,GAAGA,CAACJ,KAAc,EAAEK,IAAc,EAAEC,GAAG,GAAG,EAAE,KACrDP,IAAI,CAACC,KAAK,CAAC,CACRO,KAAK,CAAC,CAAC,EAAED,GAAG,CAAC,CACbE,GAAG,CAAEC,IAAI,IAAK;EACb,IAAI,CAACA,IAAI,IAAI,OAAOA,IAAI,KAAK,QAAQ,EAAE,OAAOA,IAAI;EAClD,MAAMC,GAAG,GAAGD,IAA+B;EAC3C,KAAK,MAAME,CAAC,IAAIN,IAAI,EAAE;IACpB,IAAIK,GAAG,CAACC,CAAC,CAAC,KAAKC,SAAS,EAAE,OAAOF,GAAG,CAACC,CAAC,CAAC;EACzC;EACA,OAAOD,GAAG,CAACG,EAAE,IAAIH,GAAG,CAACI,IAAI,IAAIJ,GAAG,CAACK,GAAG;AACtC,CAAC,CAAC;AAEN,MAAMC,MAAe,GAAG,CACtB;EACE;EACA;EACA;EACAD,GAAG,EAAE,QAAQ;EACbE,MAAM,EAAE,cAAc;EACtBC,MAAM,EAAErB,eAAe;EACvB;EACAsB,KAAK,EAAGC,CAAC,IAAKrB,IAAI,CAAEqB,CAAC,EAA2BC,MAAM,CAAC,CAACd,KAAK,CAAC,CAAC,EAAE,EAAE;AACrE,CAAC,EACD;EACEQ,GAAG,EAAE,WAAW;EAChBE,MAAM,EAAE,OAAO;EACfC,MAAM,EAAE,aAAa;EACrBC,KAAK,EAAGC,CAAC,IAAKhB,KAAK,CAACgB,CAAC,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE;AAC7D,CAAC,EACD;EACEL,GAAG,EAAE,aAAa;EAClBE,MAAM,EAAE,OAAO;EACfC,MAAM,EAAE,UAAU;EAClBI,MAAM,EAAE;IAAEC,aAAa,EAAE;EAAM,CAAC;EAChCJ,KAAK,EAAGC,CAAC,IACPA,CAAC,IAAI,OAAOA,CAAC,KAAK,QAAQ,GACtBI,MAAM,CAACnB,IAAI,CAAEe,CAAC,CAA6BK,KAAK,IAAIL,CAAC,CAAC,CAACb,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GACnEa;AACR,CAAC,EACD;EACE;EACA;EACA;EACA;EACA;EACAL,GAAG,EAAE,eAAe;EACpBE,MAAM,EAAE,SAAS;EACjBC,MAAM,EAAE,YAAY;EACpB;EACA;EACA;EACAC,KAAK,EAAGC,CAAC,IACPrB,IAAI,CAAEqB,CAAC,EAA2BM,MAAM,IAAIN,CAAC,CAAC,CAC3Cb,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CACZC,GAAG,CAAEmB,GAAG,IAAK;IACZ,MAAMC,CAAC,GAAID,GAAG,IAAI,CAAC,CAA6B;IAChD,MAAMb,IAAI,GAAG,OAAOc,CAAC,CAACd,IAAI,KAAK,QAAQ,GAAGc,CAAC,CAACd,IAAI,GAAIc,CAAC,CAACf,EAAa;IACnE,OAAO,OAAOe,CAAC,CAACC,WAAW,KAAK,QAAQ,GACpC;MAAEf,IAAI;MAAEgB,UAAU,EAAEF,CAAC,CAACC;IAAY,CAAC,GACnC;MAAEf;IAAK,CAAC;EACd,CAAC;AACP,CAAC,EACD;EACEC,GAAG,EAAE,YAAY;EACjBE,MAAM,EAAE,OAAO;EACfC,MAAM,EAAE,WAAW;EACnBC,KAAK,EAAGC,CAAC,IAAKhB,KAAK,CAACgB,CAAC,EAAE,CAAC,YAAY,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE;AAC1D,CAAC,EACD;EACEL,GAAG,EAAE,aAAa;EAClBE,MAAM,EAAE,SAAS;EACjBC,MAAM,EAAE,kBAAkB;EAC1BC,KAAK,EAAGC,CAAC,IAAKrB,IAAI,CAACqB,CAAC,CAAC,CAACb,KAAK,CAAC,CAAC,EAAE,EAAE;AACnC,CAAC,EACD;EACEQ,GAAG,EAAE,KAAK;EACVE,MAAM,EAAE,KAAK;EACbC,MAAM,EAAErB,eAAe;EACvB;EACA;EACA;EACAsB,KAAK,EAAGC,CAAC,IAAK;IACZ,MAAMW,GAAG,GAAIX,CAAC,EAAwCW,GAAG;IACzD,OAAOA,GAAG,IAAI,OAAOA,GAAG,KAAK,QAAQ,GAAGP,MAAM,CAACnB,IAAI,CAAC0B,GAAG,CAAC,CAACxB,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAGK,SAAS;EACnF;AACF,CAAC,CACF;AAED,eAAeoB,WAAWA,CAAIC,CAAa,EAAEC,EAAU,EAA0B;EAC/E,OAAO,MAAMC,OAAO,CAACC,IAAI,CAAC,CACxBH,CAAC,CAACI,KAAK,CAAC,MAAMzB,SAAS,CAAC,EACxB,IAAIuB,OAAO,CAAaG,OAAO,IAAKC,UAAU,CAAC,MAAMD,OAAO,CAAC1B,SAAS,CAAC,EAAEsB,EAAE,CAAC,CAAC,CAC9E,CAAC;AACJ;AAWA,OAAO,eAAeM,kBAAkBA,CAAC;EACvCC,QAAQ;EACRC,YAAY;EACZC,gBAAgB;EAChBC;AACiB,CAAC,EAAoC;EACtD,MAAMC,QAAQ,GAAG7B,MAAM,CAAC8B,MAAM,CAAEb,CAAC,IAAK;IACpC,IAAI,CAACU,gBAAgB,CAACI,QAAQ,CAACd,CAAC,CAAChB,MAAM,CAAC,EAAE,OAAO,KAAK;IACtD,MAAM+B,OAAO,GAAGJ,gBAAgB,GAAGX,CAAC,CAAChB,MAAM,CAAC;IAC5C,OAAO,CAAC+B,OAAO,IAAIA,OAAO,CAACD,QAAQ,CAACd,CAAC,CAACf,MAAM,CAAC;EAC/C,CAAC,CAAC;;EAEF;EACA;EACA,MAAM+B,OAAO,GAAG,MAAMd,OAAO,CAACe,GAAG,CAC/BL,QAAQ,CAACrC,GAAG,CAAC,MAAO2C,KAAK,IAAK;IAC5B,MAAMC,IAAI,GACRD,KAAK,CAACjC,MAAM,KAAKrB,eAAe,GAC5B6C,YAAY,GACVP,OAAO,CAACG,OAAO,CAACI,YAAY,CAACS,KAAK,CAAClC,MAAM,CAAC,CAAC,CAACoC,IAAI,CAAEC,OAAO,IACvD1D,eAAe,CAACuD,KAAK,CAAClC,MAAM,EAAEqC,OAAO,CACvC,CAAC,GACDnB,OAAO,CAACG,OAAO,CAAC1B,SAAS,CAAC,GAC5BuB,OAAO,CAACG,OAAO,CAACG,QAAQ,CAACU,KAAK,CAAClC,MAAM,EAAEkC,KAAK,CAACjC,MAAM,EAAEiC,KAAK,CAAC7B,MAAM,CAAC,CAAC;IACzE,MAAMtB,KAAK,GAAG,MAAMgC,WAAW,CAACoB,IAAI,EAAEtD,gBAAgB,CAAC;IACvD,IAAIE,KAAK,KAAKY,SAAS,EAAE,OAAO,CAACuC,KAAK,CAACpC,GAAG,EAAEH,SAAS,CAAC;IACtD,IAAI;MACF,OAAO,CAACuC,KAAK,CAACpC,GAAG,EAAEoC,KAAK,CAAChC,KAAK,CAACnB,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,MAAM;MACN,OAAO,CAACmD,KAAK,CAACpC,GAAG,EAAEH,SAAS,CAAC;IAC/B;EACF,CAAC,CACH,CAAC;EAED,MAAM2C,MAA+B,GAAG,CAAC,CAAC;EAC1C,KAAK,MAAM,CAACxC,GAAG,EAAEf,KAAK,CAAC,IAAIiD,OAAO,EAAE;IAClC,MAAMO,KAAK,GACTxD,KAAK,KAAKY,SAAS,IACnBZ,KAAK,KAAK,IAAI,IACbC,KAAK,CAACC,OAAO,CAACF,KAAK,CAAC,IAAIA,KAAK,CAACyD,MAAM,KAAK,CAAE;IAC9C,IAAI,CAACD,KAAK,EAAED,MAAM,CAACxC,GAAG,CAAC,GAAGf,KAAK;EACjC;EACA,OAAOuD,MAAM;AACf","ignoreList":[]}

package/lib/module/effects/ledger.js

@@ -0,0 +1,223 @@
+"use strict";
+
+/**
+ * The effect ledger — what the agent changed, and how to put it back.
+ *
+ * Ask Buoy runs mutations immediately rather than asking first, so "undo" has
+ * to be real. The model is Scenarios' `AppliedEffect` / `revertEffects`
+ * (packages/scenarios/src/engine.ts:238-272), with two deliberate departures,
+ * both fixing gaps that engine documents in itself:
+ *
+ * 1. STORAGE IS ACTUALLY REVERSIBLE HERE. Scenarios classifies storage writes
+ *    as unrecoverable because it never captured the prior value. An agent can:
+ *    it reads the key before it writes, so undo restores the old value exactly,
+ *    and removes the key when it did not exist before.
+ * 2. THE COUNT TELLS THE TRUTH. Scenarios' banner counts transients as
+ *    "changes" and then silently no-ops on them at revert. Here reversible and
+ *    one-shot effects are counted separately and the banner says both, because
+ *    a user who taps Undo and sees "4 changes" become nothing changed learns
+ *    not to trust the banner.
+ *
+ * Undo runs in REVERSE order — a later write to the same key must be undone
+ * before the earlier one, or the earlier value is the one that survives.
+ */
+
+/**
+ * Whether Undo can actually put this effect back. THE one place the answer
+ * lives: the bar, the sync snapshot and `revertOne` all agree through it.
+ * `state-write` is a wipe or a store write with no captured prior state —
+ * the ledger records it so the user can see it happened, and it is
+ * PERMANENT. Counting it as undoable made the bar promise "1 undoable" and
+ * then fail with "can't be undone automatically" on tap.
+ */
+export function isReversible(effect) {
+  return effect.kind !== "transient" && effect.kind !== "state-write";
+}
+let seq = 0;
+export class EffectLedger {
+  entries = [];
+  listeners = new Set();
+  record(toolId, action, effect) {
+    const entry = {
+      id: `fx-${++seq}-${Date.now()}`,
+      at: Date.now(),
+      toolId,
+      action,
+      effect
+    };
+    // Copy-on-write: `list()` is a useSyncExternalStore snapshot, and React
+    // bails out of the re-render when the snapshot is reference-equal. A
+    // push would leave the bar showing a stale count until something else
+    // happened to re-render it.
+    this.entries = [...this.entries, entry];
+    this.emit();
+    return entry;
+  }
+  list() {
+    return this.entries;
+  }
+
+  /** New array identity for the snapshot after entries were mutated in place. */
+  touch() {
+    this.entries = [...this.entries];
+    this.emit();
+  }
+
+  /** Not-yet-undone entries that Undo can actually deliver on. Agrees with
+   * `isReversible` — it used to include state-writes, which revertOne refuses,
+   * so the two disagreed about the one fact they both exist to answer. */
+  reversible() {
+    return this.entries.filter(e => !e.undoneAt && isReversible(e.effect));
+  }
+
+  /** Not-yet-undone one-shots. Counted separately so the banner is honest. */
+  transients() {
+    return this.entries.filter(e => !e.undoneAt && e.effect.kind === "transient");
+  }
+  isEmpty() {
+    return this.entries.every(e => e.undoneAt !== undefined);
+  }
+  subscribe(fn) {
+    this.listeners.add(fn);
+    return () => this.listeners.delete(fn);
+  }
+  clear() {
+    this.entries = [];
+    this.emit();
+  }
+
+  /**
+   * Reconcile the ledger after a change was reverted OUTSIDE `revertOne` —
+   * the model deleting the override it created, a block button's Delete, a
+   * stopImpersonation call. Without this the create entry stays "undoable"
+   * and Undo later fails against a rule that no longer exists, which reads
+   * as the banner lying.
+   */
+  noteExternalRevert(toolId, action, params) {
+    let changed = false;
+    const mark = match => {
+      for (const entry of this.entries) {
+        if (!entry.undoneAt && match(entry)) {
+          entry.undoneAt = Date.now();
+          entry.undoError = undefined;
+          changed = true;
+        }
+      }
+    };
+    if (toolId === "network" && action === "deleteOverrideRule") {
+      mark(e => e.effect.kind === "network-override" && e.effect.ruleId === params.id);
+    } else if (toolId === "network" && action === "clearOverrideRules") {
+      mark(e => e.effect.kind === "network-override");
+    } else if (toolId === "impersonate" && action === "stopImpersonation") {
+      mark(e => e.effect.kind === "impersonation");
+    }
+    if (changed) this.touch();
+  }
+  emit() {
+    for (const fn of this.listeners) {
+      try {
+        fn();
+      } catch {
+        // A throwing listener must not take the ledger down.
+      }
+    }
+  }
+
+  /** Undo one entry. Returns an error string, or undefined on success. */
+  async revertOne(entry, dispatch) {
+    if (entry.undoneAt) return undefined;
+    const fx = entry.effect;
+    try {
+      switch (fx.kind) {
+        case "network-override":
+          await dispatch("network", "deleteOverrideRule", {
+            id: fx.ruleId
+          });
+          break;
+        case "impersonation":
+          await dispatch("impersonate", "stopImpersonation", {});
+          break;
+        case "storage-write":
+          {
+            // `instanceId` rides along for MMKV and is absent for AsyncStorage,
+            // whose actions take the key alone.
+            const scope = fx.instanceId ? {
+              instanceId: fx.instanceId
+            } : {};
+
+            // Concurrent-writer guard: if the key no longer holds the value WE
+            // wrote, someone else wrote after us and a blind restore would
+            // destroy their newer value. Best-effort — an unreadable key still
+            // restores, because a failed read must not strand the undo.
+            if (fx.wrote !== undefined) {
+              const readAction = fx.action === "mmkv.set" ? "mmkv.get" : "async.getItem";
+              try {
+                const current = await dispatch(fx.toolId, readAction, {
+                  ...scope,
+                  key: fx.key
+                });
+                const rec = current && typeof current === "object" ? current : undefined;
+                const value = rec ? rec.value : current;
+                if (rec?.found !== false && value !== undefined && value !== fx.wrote) {
+                  return "This value was changed again after Ask Buoy wrote it — left the newer value alone";
+                }
+              } catch {
+                /* unreadable now; proceed with the restore */
+              }
+            }
+            if (fx.before === undefined) {
+              if (!fx.removeAction) return "No remove action known for this key";
+              await dispatch(fx.toolId, fx.removeAction, {
+                ...scope,
+                key: fx.key
+              });
+            } else {
+              await dispatch(fx.toolId, fx.action, {
+                ...scope,
+                key: fx.key,
+                value: fx.before
+              });
+            }
+            break;
+          }
+        case "state-write":
+          return "This change can't be undone automatically";
+        case "transient":
+          return undefined;
+      }
+      entry.undoneAt = Date.now();
+      entry.undoError = undefined;
+      this.touch();
+      return undefined;
+    } catch (err) {
+      const msg = err instanceof Error ? err.message : String(err);
+      entry.undoError = msg;
+      this.touch();
+      return msg;
+    }
+  }
+
+  /** Undo everything still outstanding, newest first. */
+  async revertAll(dispatch) {
+    const outcome = {
+      reverted: 0,
+      failed: [],
+      skippedTransients: 0
+    };
+    const pending = [...this.entries].filter(e => !e.undoneAt).reverse();
+    for (const entry of pending) {
+      if (entry.effect.kind === "transient") {
+        outcome.skippedTransients += 1;
+        continue;
+      }
+      const error = await this.revertOne(entry, dispatch);
+      if (error) outcome.failed.push({
+        label: entry.effect.label,
+        error
+      });else outcome.reverted += 1;
+    }
+    this.emit();
+    return outcome;
+  }
+}
+//# sourceMappingURL=ledger.js.map

package/lib/module/effects/ledger.js.map

@@ -0,0 +1 @@
+{"version":3,"names":["isReversible","effect","kind","seq","EffectLedger","entries","listeners","Set","record","toolId","action","entry","id","Date","now","at","emit","list","touch","reversible","filter","e","undoneAt","transients","isEmpty","every","undefined","subscribe","fn","add","delete","clear","noteExternalRevert","params","changed","mark","match","undoError","ruleId","revertOne","dispatch","fx","scope","instanceId","wrote","readAction","current","key","rec","value","found","before","removeAction","err","msg","Error","message","String","revertAll","outcome","reverted","failed","skippedTransients","pending","reverse","error","push","label"],"sourceRoot":"../../../src","sources":["effects/ledger.ts"],"mappings":";;AAAA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;;AAgCA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA,OAAO,SAASA,YAAYA,CAACC,MAAqB,EAAW;EAC3D,OAAOA,MAAM,CAACC,IAAI,KAAK,WAAW,IAAID,MAAM,CAACC,IAAI,KAAK,aAAa;AACrE;AAoBA,IAAIC,GAAG,GAAG,CAAC;AAEX,OAAO,MAAMC,YAAY,CAAC;EAChBC,OAAO,GAAkB,EAAE;EAC3BC,SAAS,GAAG,IAAIC,GAAG,CAAa,CAAC;EAEzCC,MAAMA,CAACC,MAAc,EAAEC,MAAc,EAAET,MAAqB,EAAe;IACzE,MAAMU,KAAkB,GAAG;MACzBC,EAAE,EAAE,MAAM,EAAET,GAAG,IAAIU,IAAI,CAACC,GAAG,CAAC,CAAC,EAAE;MAC/BC,EAAE,EAAEF,IAAI,CAACC,GAAG,CAAC,CAAC;MACdL,MAAM;MACNC,MAAM;MACNT;IACF,CAAC;IACD;IACA;IACA;IACA;IACA,IAAI,CAACI,OAAO,GAAG,CAAC,GAAG,IAAI,CAACA,OAAO,EAAEM,KAAK,CAAC;IACvC,IAAI,CAACK,IAAI,CAAC,CAAC;IACX,OAAOL,KAAK;EACd;EAEAM,IAAIA,CAAA,EAAkB;IACpB,OAAO,IAAI,CAACZ,OAAO;EACrB;;EAEA;EACQa,KAAKA,CAAA,EAAS;IACpB,IAAI,CAACb,OAAO,GAAG,CAAC,GAAG,IAAI,CAACA,OAAO,CAAC;IAChC,IAAI,CAACW,IAAI,CAAC,CAAC;EACb;;EAEA;AACF;AACA;EACEG,UAAUA,CAAA,EAAkB;IAC1B,OAAO,IAAI,CAACd,OAAO,CAACe,MAAM,CAAEC,CAAC,IAAK,CAACA,CAAC,CAACC,QAAQ,IAAItB,YAAY,CAACqB,CAAC,CAACpB,MAAM,CAAC,CAAC;EAC1E;;EAEA;EACAsB,UAAUA,CAAA,EAAkB;IAC1B,OAAO,IAAI,CAAClB,OAAO,CAACe,MAAM,CAAEC,CAAC,IAAK,CAACA,CAAC,CAACC,QAAQ,IAAID,CAAC,CAACpB,MAAM,CAACC,IAAI,KAAK,WAAW,CAAC;EACjF;EAEAsB,OAAOA,CAAA,EAAY;IACjB,OAAO,IAAI,CAACnB,OAAO,CAACoB,KAAK,CAAEJ,CAAC,IAAKA,CAAC,CAACC,QAAQ,KAAKI,SAAS,CAAC;EAC5D;EAEAC,SAASA,CAACC,EAAc,EAAc;IACpC,IAAI,CAACtB,SAAS,CAACuB,GAAG,CAACD,EAAE,CAAC;IACtB,OAAO,MAAM,IAAI,CAACtB,SAAS,CAACwB,MAAM,CAACF,EAAE,CAAC;EACxC;EAEAG,KAAKA,CAAA,EAAS;IACZ,IAAI,CAAC1B,OAAO,GAAG,EAAE;IACjB,IAAI,CAACW,IAAI,CAAC,CAAC;EACb;;EAEA;AACF;AACA;AACA;AACA;AACA;AACA;EACEgB,kBAAkBA,CAACvB,MAAc,EAAEC,MAAc,EAAEuB,MAA+B,EAAQ;IACxF,IAAIC,OAAO,GAAG,KAAK;IACnB,MAAMC,IAAI,GAAIC,KAAkC,IAAK;MACnD,KAAK,MAAMzB,KAAK,IAAI,IAAI,CAACN,OAAO,EAAE;QAChC,IAAI,CAACM,KAAK,CAACW,QAAQ,IAAIc,KAAK,CAACzB,KAAK,CAAC,EAAE;UACnCA,KAAK,CAACW,QAAQ,GAAGT,IAAI,CAACC,GAAG,CAAC,CAAC;UAC3BH,KAAK,CAAC0B,SAAS,GAAGX,SAAS;UAC3BQ,OAAO,GAAG,IAAI;QAChB;MACF;IACF,CAAC;IAED,IAAIzB,MAAM,KAAK,SAAS,IAAIC,MAAM,KAAK,oBAAoB,EAAE;MAC3DyB,IAAI,CACDd,CAAC,IAAKA,CAAC,CAACpB,MAAM,CAACC,IAAI,KAAK,kBAAkB,IAAImB,CAAC,CAACpB,MAAM,CAACqC,MAAM,KAAKL,MAAM,CAACrB,EAC5E,CAAC;IACH,CAAC,MAAM,IAAIH,MAAM,KAAK,SAAS,IAAIC,MAAM,KAAK,oBAAoB,EAAE;MAClEyB,IAAI,CAAEd,CAAC,IAAKA,CAAC,CAACpB,MAAM,CAACC,IAAI,KAAK,kBAAkB,CAAC;IACnD,CAAC,MAAM,IAAIO,MAAM,KAAK,aAAa,IAAIC,MAAM,KAAK,mBAAmB,EAAE;MACrEyB,IAAI,CAAEd,CAAC,IAAKA,CAAC,CAACpB,MAAM,CAACC,IAAI,KAAK,eAAe,CAAC;IAChD;IAEA,IAAIgC,OAAO,EAAE,IAAI,CAAChB,KAAK,CAAC,CAAC;EAC3B;EAEQF,IAAIA,CAAA,EAAS;IACnB,KAAK,MAAMY,EAAE,IAAI,IAAI,CAACtB,SAAS,EAAE;MAC/B,IAAI;QACFsB,EAAE,CAAC,CAAC;MACN,CAAC,CAAC,MAAM;QACN;MAAA;IAEJ;EACF;;EAEA;EACA,MAAMW,SAASA,CAAC5B,KAAkB,EAAE6B,QAAoB,EAA+B;IACrF,IAAI7B,KAAK,CAACW,QAAQ,EAAE,OAAOI,SAAS;IACpC,MAAMe,EAAE,GAAG9B,KAAK,CAACV,MAAM;IACvB,IAAI;MACF,QAAQwC,EAAE,CAACvC,IAAI;QACb,KAAK,kBAAkB;UACrB,MAAMsC,QAAQ,CAAC,SAAS,EAAE,oBAAoB,EAAE;YAAE5B,EAAE,EAAE6B,EAAE,CAACH;UAAO,CAAC,CAAC;UAClE;QACF,KAAK,eAAe;UAClB,MAAME,QAAQ,CAAC,aAAa,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC;UACtD;QACF,KAAK,eAAe;UAAE;YACpB;YACA;YACA,MAAME,KAAK,GAAGD,EAAE,CAACE,UAAU,GAAG;cAAEA,UAAU,EAAEF,EAAE,CAACE;YAAW,CAAC,GAAG,CAAC,CAAC;;YAEhE;YACA;YACA;YACA;YACA,IAAIF,EAAE,CAACG,KAAK,KAAKlB,SAAS,EAAE;cAC1B,MAAMmB,UAAU,GAAGJ,EAAE,CAAC/B,MAAM,KAAK,UAAU,GAAG,UAAU,GAAG,eAAe;cAC1E,IAAI;gBACF,MAAMoC,OAAO,GAAG,MAAMN,QAAQ,CAACC,EAAE,CAAChC,MAAM,EAAEoC,UAAU,EAAE;kBACpD,GAAGH,KAAK;kBACRK,GAAG,EAAEN,EAAE,CAACM;gBACV,CAAC,CAAC;gBACF,MAAMC,GAAG,GACPF,OAAO,IAAI,OAAOA,OAAO,KAAK,QAAQ,GACjCA,OAAO,GACRpB,SAAS;gBACf,MAAMuB,KAAK,GAAGD,GAAG,GAAIA,GAAG,CAACC,KAAK,GAA2BH,OAA8B;gBACvF,IAAIE,GAAG,EAAEE,KAAK,KAAK,KAAK,IAAID,KAAK,KAAKvB,SAAS,IAAIuB,KAAK,KAAKR,EAAE,CAACG,KAAK,EAAE;kBACrE,OAAO,mFAAmF;gBAC5F;cACF,CAAC,CAAC,MAAM;gBACN;cAAA;YAEJ;YAEA,IAAIH,EAAE,CAACU,MAAM,KAAKzB,SAAS,EAAE;cAC3B,IAAI,CAACe,EAAE,CAACW,YAAY,EAAE,OAAO,qCAAqC;cAClE,MAAMZ,QAAQ,CAACC,EAAE,CAAChC,MAAM,EAAEgC,EAAE,CAACW,YAAY,EAAE;gBAAE,GAAGV,KAAK;gBAAEK,GAAG,EAAEN,EAAE,CAACM;cAAI,CAAC,CAAC;YACvE,CAAC,MAAM;cACL,MAAMP,QAAQ,CAACC,EAAE,CAAChC,MAAM,EAAEgC,EAAE,CAAC/B,MAAM,EAAE;gBACnC,GAAGgC,KAAK;gBACRK,GAAG,EAAEN,EAAE,CAACM,GAAG;gBACXE,KAAK,EAAER,EAAE,CAACU;cACZ,CAAC,CAAC;YACJ;YACA;UACF;QACA,KAAK,aAAa;UAChB,OAAO,2CAA2C;QACpD,KAAK,WAAW;UACd,OAAOzB,SAAS;MACpB;MACAf,KAAK,CAACW,QAAQ,GAAGT,IAAI,CAACC,GAAG,CAAC,CAAC;MAC3BH,KAAK,CAAC0B,SAAS,GAAGX,SAAS;MAC3B,IAAI,CAACR,KAAK,CAAC,CAAC;MACZ,OAAOQ,SAAS;IAClB,CAAC,CAAC,OAAO2B,GAAG,EAAE;MACZ,MAAMC,GAAG,GAAGD,GAAG,YAAYE,KAAK,GAAGF,GAAG,CAACG,OAAO,GAAGC,MAAM,CAACJ,GAAG,CAAC;MAC5D1C,KAAK,CAAC0B,SAAS,GAAGiB,GAAG;MACrB,IAAI,CAACpC,KAAK,CAAC,CAAC;MACZ,OAAOoC,GAAG;IACZ;EACF;;EAEA;EACA,MAAMI,SAASA,CAAClB,QAAoB,EAA0B;IAC5D,MAAMmB,OAAsB,GAAG;MAAEC,QAAQ,EAAE,CAAC;MAAEC,MAAM,EAAE,EAAE;MAAEC,iBAAiB,EAAE;IAAE,CAAC;IAChF,MAAMC,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC1D,OAAO,CAAC,CAACe,MAAM,CAAEC,CAAC,IAAK,CAACA,CAAC,CAACC,QAAQ,CAAC,CAAC0C,OAAO,CAAC,CAAC;IAEtE,KAAK,MAAMrD,KAAK,IAAIoD,OAAO,EAAE;MAC3B,IAAIpD,KAAK,CAACV,MAAM,CAACC,IAAI,KAAK,WAAW,EAAE;QACrCyD,OAAO,CAACG,iBAAiB,IAAI,CAAC;QAC9B;MACF;MACA,MAAMG,KAAK,GAAG,MAAM,IAAI,CAAC1B,SAAS,CAAC5B,KAAK,EAAE6B,QAAQ,CAAC;MACnD,IAAIyB,KAAK,EAAEN,OAAO,CAACE,MAAM,CAACK,IAAI,CAAC;QAAEC,KAAK,EAAExD,KAAK,CAACV,MAAM,CAACkE,KAAK;QAAEF;MAAM,CAAC,CAAC,CAAC,KAChEN,OAAO,CAACC,QAAQ,IAAI,CAAC;IAC5B;IACA,IAAI,CAAC5C,IAAI,CAAC,CAAC;IACX,OAAO2C,OAAO;EAChB;AACF","ignoreList":[]}

package/lib/module/engine/effectFor.js

@@ -0,0 +1,91 @@
+"use strict";
+
+/**
+ * Turn a completed mutation into a ledger entry.
+ *
+ * The shape is Scenarios' `extractEffect`, but the classification here is much
+ * more conservative, because auditing the catalog's undo claims found almost
+ * all of them unsound: the information needed to reverse a call usually does
+ * not survive the call. So an effect is only marked reversible when THIS
+ * module can point at the exact input the reversal needs.
+ *
+ * Everything else becomes `state-write` (changed something, no automatic
+ * inverse) or `transient` (one-shot). Both are shown to the user as such. A
+ * banner that says "4 changes" and then reverses one of them is worse than a
+ * banner that admits three of them are permanent.
+ */
+
+import { describeCall } from "../policy/policy";
+export function effectFor(toolId, descriptor, params, result, before) {
+  const label = describeCall(toolId, descriptor, params);
+  const rec = result ?? {};
+
+  // A network override rule. Reversible ONLY when we created it: `upsert` with
+  // an id that already exists UPDATES that rule in place, so deleting it would
+  // destroy a rule the user had set up themselves rather than undo our change.
+  // The model supplying no id is the create case.
+  if (toolId === "network" && descriptor.action === "upsertOverrideRule") {
+    const rule = rec.rule;
+    const ruleId = rule?.id ?? rec.id;
+    const wasCreate = params.id === undefined;
+    if (ruleId && wasCreate) return {
+      kind: "network-override",
+      ruleId,
+      label
+    };
+    return {
+      kind: "state-write",
+      toolId,
+      action: descriptor.action,
+      label
+    };
+  }
+
+  // Impersonation. `stopImpersonation` restores the identity but ALSO re-runs
+  // the data nuke — it clears react-query, redux, AsyncStorage and MMKV per
+  // the app's dataNukeSettings. So this is reversible in the sense that
+  // matters (the user stops being someone else) and the label has to say the
+  // rest out loud, because caches do not come back.
+  if (toolId === "impersonate" && descriptor.action === "startImpersonation") {
+    return {
+      kind: "impersonation",
+      label: `${label} — stopping also clears cached app data`
+    };
+  }
+
+  // Storage, reversible because we read the old value first (see captureBefore).
+  // `before` is undefined when the pre-read could not be made — an MMKV write
+  // with no instance, a secure key behind biometrics — and that must fall
+  // through to a one-off rather than claim an undo it cannot perform.
+  if (toolId === "storage" && typeof params.key === "string" && before) {
+    const isMmkv = descriptor.action.startsWith("mmkv.");
+    const writeAction = isMmkv ? "mmkv.set" : "async.setItem";
+    return {
+      kind: "storage-write",
+      toolId,
+      action: writeAction,
+      key: params.key,
+      instanceId: isMmkv && typeof params.instanceId === "string" ? params.instanceId : undefined,
+      before: before.had ? before.value : undefined,
+      wrote: typeof params.value === "string" ? params.value : undefined,
+      removeAction: isMmkv ? "mmkv.remove" : "async.removeItem",
+      label
+    };
+  }
+
+  // Wipes with no captured prior state are permanent. Say so rather than
+  // filing them under something Undo appears to cover.
+  if (descriptor.effect === "destructive") {
+    return {
+      kind: "state-write",
+      toolId,
+      action: descriptor.action,
+      label
+    };
+  }
+  return {
+    kind: "transient",
+    label
+  };
+}
+//# sourceMappingURL=effectFor.js.map

package/lib/module/engine/effectFor.js.map

@@ -0,0 +1 @@
+{"version":3,"names":["describeCall","effectFor","toolId","descriptor","params","result","before","label","rec","action","rule","ruleId","id","wasCreate","undefined","kind","key","isMmkv","startsWith","writeAction","instanceId","had","value","wrote","removeAction","effect"],"sourceRoot":"../../../src","sources":["engine/effectFor.ts"],"mappings":";;AAAA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;AACA;;AAGA,SAASA,YAAY,QAAQ,kBAAkB;AAE/C,OAAO,SAASC,SAASA,CACvBC,MAAc,EACdC,UAA4B,EAC5BC,MAA+B,EAC/BC,MAAe,EACfC,MAAoD,EACzB;EAC3B,MAAMC,KAAK,GAAGP,YAAY,CAACE,MAAM,EAAEC,UAAU,EAAEC,MAAM,CAAC;EACtD,MAAMI,GAAG,GAAIH,MAAM,IAAI,CAAC,CAA6B;;EAErD;EACA;EACA;EACA;EACA,IAAIH,MAAM,KAAK,SAAS,IAAIC,UAAU,CAACM,MAAM,KAAK,oBAAoB,EAAE;IACtE,MAAMC,IAAI,GAAGF,GAAG,CAACE,IAA2C;IAC5D,MAAMC,MAAM,GAAID,IAAI,EAAEE,EAAE,IAAIJ,GAAG,CAACI,EAAyB;IACzD,MAAMC,SAAS,GAAGT,MAAM,CAACQ,EAAE,KAAKE,SAAS;IACzC,IAAIH,MAAM,IAAIE,SAAS,EAAE,OAAO;MAAEE,IAAI,EAAE,kBAAkB;MAAEJ,MAAM;MAAEJ;IAAM,CAAC;IAC3E,OAAO;MAAEQ,IAAI,EAAE,aAAa;MAAEb,MAAM;MAAEO,MAAM,EAAEN,UAAU,CAACM,MAAM;MAAEF;IAAM,CAAC;EAC1E;;EAEA;EACA;EACA;EACA;EACA;EACA,IAAIL,MAAM,KAAK,aAAa,IAAIC,UAAU,CAACM,MAAM,KAAK,oBAAoB,EAAE;IAC1E,OAAO;MACLM,IAAI,EAAE,eAAe;MACrBR,KAAK,EAAE,GAAGA,KAAK;IACjB,CAAC;EACH;;EAEA;EACA;EACA;EACA;EACA,IAAIL,MAAM,KAAK,SAAS,IAAI,OAAOE,MAAM,CAACY,GAAG,KAAK,QAAQ,IAAIV,MAAM,EAAE;IACpE,MAAMW,MAAM,GAAGd,UAAU,CAACM,MAAM,CAACS,UAAU,CAAC,OAAO,CAAC;IACpD,MAAMC,WAAW,GAAGF,MAAM,GAAG,UAAU,GAAG,eAAe;IACzD,OAAO;MACLF,IAAI,EAAE,eAAe;MACrBb,MAAM;MACNO,MAAM,EAAEU,WAAW;MACnBH,GAAG,EAAEZ,MAAM,CAACY,GAAG;MACfI,UAAU,EACRH,MAAM,IAAI,OAAOb,MAAM,CAACgB,UAAU,KAAK,QAAQ,GAAGhB,MAAM,CAACgB,UAAU,GAAGN,SAAS;MACjFR,MAAM,EAAEA,MAAM,CAACe,GAAG,GAAGf,MAAM,CAACgB,KAAK,GAAGR,SAAS;MAC7CS,KAAK,EAAE,OAAOnB,MAAM,CAACkB,KAAK,KAAK,QAAQ,GAAGlB,MAAM,CAACkB,KAAK,GAAGR,SAAS;MAClEU,YAAY,EAAEP,MAAM,GAAG,aAAa,GAAG,kBAAkB;MACzDV;IACF,CAAC;EACH;;EAEA;EACA;EACA,IAAIJ,UAAU,CAACsB,MAAM,KAAK,aAAa,EAAE;IACvC,OAAO;MAAEV,IAAI,EAAE,aAAa;MAAEb,MAAM;MAAEO,MAAM,EAAEN,UAAU,CAACM,MAAM;MAAEF;IAAM,CAAC;EAC1E;EAEA,OAAO;IAAEQ,IAAI,EAAE,WAAW;IAAER;EAAM,CAAC;AACrC","ignoreList":[]}