agency-lang 0.7.7 → 0.8.0

package/stdlib/memory.js

@@ -30,8 +30,11 @@ import {
   AgencyAbort,
   __registerGlobalsInit,
   failure,
+  isSuccess,
   isFailure,
+  stampFailureBoundary,
   __tryCall,
+  __validateType,
   AgencyFunction as __AgencyFunction,
   UNSET as __UNSET,
   __call,
@@ -174,7 +177,7 @@ async function __registerTopLevelCallbacks(__ctx) {
 __functionRefReviver.registry = __toolRegistry;
 const ExtractionResult = z.object({ "entities": z.array(z.object({ "name": z.string(), "type": z.string(), "observations": z.array(z.string()) })), "relations": z.array(z.object({ "from": z.string(), "to": z.string(), "type": z.string() })), "expirations": z.array(z.object({ "entityName": z.string(), "observationContent": z.string() })) });
 const ForgetResult = z.object({ "observations": z.array(z.object({ "entityName": z.string(), "observationContent": z.string() })), "relations": z.array(z.object({ "fromName": z.string(), "toName": z.string(), "type": z.string() })) });
-const MemoryConfig = z.object({ "dir": z.string(), "model": z.union([z.string(), z.null()]).optional().default(null), "autoExtract": z.union([z.object({ "interval": z.union([z.number(), z.null()]).optional().default(null) }), z.null()]).optional().default(null), "compaction": z.union([z.object({ "trigger": z.union([z.literal("token"), z.literal("messages"), z.null()]).optional().default(null), "threshold": z.union([z.number(), z.null()]).optional().default(null) }), z.null()]).optional().default(null), "embeddings": z.union([z.object({ "model": z.union([z.string(), z.null()]).optional().default(null) }), z.null()]).optional().default(null) });
+const MemoryConfig = z.object({ "dir": z.string(), "model": z.union([z.string(), z.null()]).optional().default(null), "autoExtract": z.union([z.object({ "interval": z.union([z.number(), z.null()]).optional().default(null) }), z.null()]).optional().default(null), "compaction": z.union([z.object({ "trigger": z.union([z.literal("token"), z.literal("messages"), z.null()]).optional().default(null), "threshold": z.union([z.number(), z.null()]).optional().default(null) }), z.null()]).optional().default(null), "embeddings": z.union([z.object({ "model": z.union([z.string(), z.null()]).optional().default(null), "provider": z.union([z.string(), z.null()]).optional().default(null) }), z.null()]).optional().default(null) });
 async function __isMemoryActive_impl() {
   const __setupData = setupFunction();
   const __stack = __setupData.stack;
@@ -187,7 +190,7 @@ async function __isMemoryActive_impl() {
     await __initializeGlobals(__ctx);
   }
   let __funcStartTime = performance.now();
-  __self.__retryable = __self.__retryable ?? true;
+  __self.__destructiveRan = __self.__destructiveRan ?? false;
   const runner = new Runner(__ctx, __stack, { state: __stack, moduleId: "stdlib/memory.agency", scopeName: "isMemoryActive", threads: __setupData.threads });
   let __resultCheckpointId = -1;
   if (__ctx._pendingArgOverrides) {
@@ -222,7 +225,7 @@ async function __isMemoryActive_impl() {
     });
     if (runner.halted) {
       if (isFailure(runner.haltResult)) {
-        runner.haltResult.retryable = runner.haltResult.retryable && __self.__retryable;
+        stampFailureBoundary(runner.haltResult, __self.__destructiveRan);
       }
       return runner.haltResult;
     }
@@ -242,15 +245,14 @@ async function __isMemoryActive_impl() {
       __ctx.statelogClient?.error?.({
         errorType: "runtimeError",
         message: __errMsg,
-        functionName: "isMemoryActive",
-        retryable: __self.__retryable
+        functionName: "isMemoryActive"
       });
     }
     return failure(
       __error instanceof Error ? __error.message : String(__error),
       {
         checkpoint: getRuntimeContext().ctx.getResultCheckpoint(),
-        retryable: __self.__retryable,
+        destructiveRan: __self.__destructiveRan,
         functionName: "isMemoryActive",
         args: __stack.args
       }
@@ -280,7 +282,6 @@ const isMemoryActive = __AgencyFunction.create({
   enabled, was turned off, or the call is outside any runtime frame.`,
     schema: z.object({})
   },
-  safe: true,
   exported: true
 }, __toolRegistry);
 async function __setMemoryId_impl(id) {
@@ -296,7 +297,7 @@ async function __setMemoryId_impl(id) {
   }
   let __funcStartTime = performance.now();
   __stack.args["id"] = id;
-  __self.__retryable = __self.__retryable ?? true;
+  __self.__destructiveRan = __self.__destructiveRan ?? false;
   const runner = new Runner(__ctx, __stack, { state: __stack, moduleId: "stdlib/memory.agency", scopeName: "setMemoryId", threads: __setupData.threads });
   let __resultCheckpointId = -1;
   if (__ctx._pendingArgOverrides) {
@@ -327,7 +328,6 @@ async function __setMemoryId_impl(id) {
         });
       });
       await runner.step(1, async (runner2) => {
-        __self.__retryable = false;
         const __funcResult = await __call(_setMemoryId, {
           type: "positional",
           args: [__stack.args.id]
@@ -341,7 +341,7 @@ async function __setMemoryId_impl(id) {
     });
     if (runner.halted) {
       if (isFailure(runner.haltResult)) {
-        runner.haltResult.retryable = runner.haltResult.retryable && __self.__retryable;
+        stampFailureBoundary(runner.haltResult, __self.__destructiveRan);
       }
       return runner.haltResult;
     }
@@ -361,15 +361,14 @@ async function __setMemoryId_impl(id) {
       __ctx.statelogClient?.error?.({
         errorType: "runtimeError",
         message: __errMsg,
-        functionName: "setMemoryId",
-        retryable: __self.__retryable
+        functionName: "setMemoryId"
       });
     }
     return failure(
       __error instanceof Error ? __error.message : String(__error),
       {
         checkpoint: getRuntimeContext().ctx.getResultCheckpoint(),
-        retryable: __self.__retryable,
+        destructiveRan: __self.__destructiveRan,
         functionName: "setMemoryId",
         args: __stack.args
       }
@@ -396,7 +395,8 @@ const setMemoryId = __AgencyFunction.create({
     hasDefault: false,
     defaultValue: void 0,
     variadic: false,
-    isFunctionTyped: false
+    isFunctionTyped: false,
+    acceptsResult: false
   }],
   toolDefinition: {
     name: "setMemoryId",
@@ -408,7 +408,6 @@ const setMemoryId = __AgencyFunction.create({
   @param id - A unique identifier for the memory scope (e.g. user ID)`,
     schema: z.object({ "id": z.string() })
   },
-  safe: false,
   exported: true
 }, __toolRegistry);
 async function __getMemoryId_impl() {
@@ -423,7 +422,7 @@ async function __getMemoryId_impl() {
     await __initializeGlobals(__ctx);
   }
   let __funcStartTime = performance.now();
-  __self.__retryable = __self.__retryable ?? true;
+  __self.__destructiveRan = __self.__destructiveRan ?? false;
   const runner = new Runner(__ctx, __stack, { state: __stack, moduleId: "stdlib/memory.agency", scopeName: "getMemoryId", threads: __setupData.threads });
   let __resultCheckpointId = -1;
   if (__ctx._pendingArgOverrides) {
@@ -458,7 +457,7 @@ async function __getMemoryId_impl() {
     });
     if (runner.halted) {
       if (isFailure(runner.haltResult)) {
-        runner.haltResult.retryable = runner.haltResult.retryable && __self.__retryable;
+        stampFailureBoundary(runner.haltResult, __self.__destructiveRan);
       }
       return runner.haltResult;
     }
@@ -478,15 +477,14 @@ async function __getMemoryId_impl() {
       __ctx.statelogClient?.error?.({
         errorType: "runtimeError",
         message: __errMsg,
-        functionName: "getMemoryId",
-        retryable: __self.__retryable
+        functionName: "getMemoryId"
       });
     }
     return failure(
       __error instanceof Error ? __error.message : String(__error),
       {
         checkpoint: getRuntimeContext().ctx.getResultCheckpoint(),
-        retryable: __self.__retryable,
+        destructiveRan: __self.__destructiveRan,
         functionName: "getMemoryId",
         args: __stack.args
       }
@@ -517,7 +515,6 @@ const getMemoryId = __AgencyFunction.create({
   @returns The active memory scope id`,
     schema: z.object({})
   },
-  safe: true,
   exported: true
 }, __toolRegistry);
 async function __enableMemory_impl(config) {
@@ -533,7 +530,7 @@ async function __enableMemory_impl(config) {
   }
   let __funcStartTime = performance.now();
   __stack.args["config"] = config;
-  __self.__retryable = __self.__retryable ?? true;
+  __self.__destructiveRan = __self.__destructiveRan ?? false;
   const runner = new Runner(__ctx, __stack, { state: __stack, moduleId: "stdlib/memory.agency", scopeName: "enableMemory", threads: __setupData.threads });
   let __resultCheckpointId = -1;
   if (__ctx._pendingArgOverrides) {
@@ -568,7 +565,7 @@ async function __enableMemory_impl(config) {
         if (__response) {
           if (__response.type === "approve") {
           } else if (__response.type === "reject") {
-            runner2.halt(failure("interrupt rejected", { retryable: false, checkpoint: getRuntimeContext().ctx.getResultCheckpoint() }));
+            runner2.halt(failure("interrupt rejected", { checkpoint: getRuntimeContext().ctx.getResultCheckpoint() }));
             return;
           }
         } else {
@@ -576,7 +573,7 @@ async function __enableMemory_impl(config) {
             "dir": __stack.args.config.dir
           }, "std::memory", __ctx, __stateStack());
           if (isRejected(__handlerResult)) {
-            runner2.halt(failure(__handlerResult.value ?? "interrupt rejected", { retryable: false, checkpoint: getRuntimeContext().ctx.checkpoints.get(__resultCheckpointId) }));
+            runner2.halt(failure(__handlerResult.value ?? "interrupt rejected", { checkpoint: getRuntimeContext().ctx.checkpoints.get(__resultCheckpointId) }));
             return;
           }
           if (!isApproved(__handlerResult)) {
@@ -590,7 +587,6 @@ async function __enableMemory_impl(config) {
         }
       });
       await runner.step(2, async (runner2) => {
-        __self.__retryable = false;
         const __funcResult = await __call(_enableMemory, {
           type: "positional",
           args: [__stack.args.config]
@@ -604,7 +600,7 @@ async function __enableMemory_impl(config) {
     });
     if (runner.halted) {
       if (isFailure(runner.haltResult)) {
-        runner.haltResult.retryable = runner.haltResult.retryable && __self.__retryable;
+        stampFailureBoundary(runner.haltResult, __self.__destructiveRan);
       }
       return runner.haltResult;
     }
@@ -624,15 +620,14 @@ async function __enableMemory_impl(config) {
       __ctx.statelogClient?.error?.({
         errorType: "runtimeError",
         message: __errMsg,
-        functionName: "enableMemory",
-        retryable: __self.__retryable
+        functionName: "enableMemory"
       });
     }
     return failure(
       __error instanceof Error ? __error.message : String(__error),
       {
         checkpoint: getRuntimeContext().ctx.getResultCheckpoint(),
-        retryable: __self.__retryable,
+        destructiveRan: __self.__destructiveRan,
         functionName: "enableMemory",
         args: __stack.args
       }
@@ -659,7 +654,8 @@ const enableMemory = __AgencyFunction.create({
     hasDefault: false,
     defaultValue: void 0,
     variadic: false,
-    isFunctionTyped: false
+    isFunctionTyped: false,
+    acceptsResult: false
   }],
   toolDefinition: {
     name: "enableMemory",
@@ -670,7 +666,6 @@ const enableMemory = __AgencyFunction.create({
   @param config - Memory configuration with \`dir\` required`,
     schema: z.object({ "config": MemoryConfig })
   },
-  safe: false,
   exported: true
 }, __toolRegistry);
 async function __disableMemory_impl() {
@@ -685,7 +680,7 @@ async function __disableMemory_impl() {
     await __initializeGlobals(__ctx);
   }
   let __funcStartTime = performance.now();
-  __self.__retryable = __self.__retryable ?? true;
+  __self.__destructiveRan = __self.__destructiveRan ?? false;
   const runner = new Runner(__ctx, __stack, { state: __stack, moduleId: "stdlib/memory.agency", scopeName: "disableMemory", threads: __setupData.threads });
   let __resultCheckpointId = -1;
   if (__ctx._pendingArgOverrides) {
@@ -714,13 +709,13 @@ async function __disableMemory_impl() {
         if (__response) {
           if (__response.type === "approve") {
           } else if (__response.type === "reject") {
-            runner2.halt(failure("interrupt rejected", { retryable: false, checkpoint: getRuntimeContext().ctx.getResultCheckpoint() }));
+            runner2.halt(failure("interrupt rejected", { checkpoint: getRuntimeContext().ctx.getResultCheckpoint() }));
             return;
           }
         } else {
           const __handlerResult = await interruptWithHandlers("std::memory::disableMemory", `Are you sure you want to disable memory (pop the top memory frame)?`, {}, "std::memory", __ctx, __stateStack());
           if (isRejected(__handlerResult)) {
-            runner2.halt(failure(__handlerResult.value ?? "interrupt rejected", { retryable: false, checkpoint: getRuntimeContext().ctx.checkpoints.get(__resultCheckpointId) }));
+            runner2.halt(failure(__handlerResult.value ?? "interrupt rejected", { checkpoint: getRuntimeContext().ctx.checkpoints.get(__resultCheckpointId) }));
             return;
           }
           if (!isApproved(__handlerResult)) {
@@ -734,7 +729,6 @@ async function __disableMemory_impl() {
         }
       });
       await runner.step(2, async (runner2) => {
-        __self.__retryable = false;
         const __funcResult = await __call(_disableMemory, {
           type: "positional",
           args: []
@@ -748,7 +742,7 @@ async function __disableMemory_impl() {
     });
     if (runner.halted) {
       if (isFailure(runner.haltResult)) {
-        runner.haltResult.retryable = runner.haltResult.retryable && __self.__retryable;
+        stampFailureBoundary(runner.haltResult, __self.__destructiveRan);
       }
       return runner.haltResult;
     }
@@ -768,15 +762,14 @@ async function __disableMemory_impl() {
       __ctx.statelogClient?.error?.({
         errorType: "runtimeError",
         message: __errMsg,
-        functionName: "disableMemory",
-        retryable: __self.__retryable
+        functionName: "disableMemory"
       });
     }
     return failure(
       __error instanceof Error ? __error.message : String(__error),
       {
         checkpoint: getRuntimeContext().ctx.getResultCheckpoint(),
-        retryable: __self.__retryable,
+        destructiveRan: __self.__destructiveRan,
         functionName: "disableMemory",
         args: __stack.args
       }
@@ -805,7 +798,6 @@ const disableMemory = __AgencyFunction.create({
   enabled memory configuration.`,
     schema: z.object({})
   },
-  safe: false,
   exported: true
 }, __toolRegistry);
 async function __memory_impl(config, block = __UNSET) {
@@ -822,7 +814,7 @@ async function __memory_impl(config, block = __UNSET) {
   let __funcStartTime = performance.now();
   __stack.args["config"] = config;
   __stack.args["block"] = block === __UNSET ? null : block;
-  __self.__retryable = __self.__retryable ?? true;
+  __self.__destructiveRan = __self.__destructiveRan ?? false;
   const runner = new Runner(__ctx, __stack, { state: __stack, moduleId: "stdlib/memory.agency", scopeName: "memory", threads: __setupData.threads });
   let __resultCheckpointId = -1;
   if (__ctx._pendingArgOverrides) {
@@ -858,7 +850,6 @@ async function __memory_impl(config, block = __UNSET) {
         });
       });
       await runner.step(1, async (runner2) => {
-        __self.__retryable = false;
         __stack.locals.pushed = await __call(_pushMemoryFrame, {
           type: "positional",
           args: [__stack.args.config]
@@ -889,7 +880,6 @@ async function __memory_impl(config, block = __UNSET) {
           condition: async () => __stack.locals.pushed,
           body: async (runner2) => {
             await runner2.step(0, async (runner3) => {
-              __self.__retryable = false;
               const __funcResult = await __call(_popMemoryFrame, {
                 type: "positional",
                 args: []
@@ -904,9 +894,6 @@ async function __memory_impl(config, block = __UNSET) {
         }
       ]);
       await runner.step(4, async (runner2) => {
-        __self.__retryable = false;
-      });
-      await runner.step(5, async (runner2) => {
         __functionCompleted = true;
         runner2.halt(__stack.locals.result);
         return;
@@ -914,7 +901,7 @@ async function __memory_impl(config, block = __UNSET) {
     });
     if (runner.halted) {
       if (isFailure(runner.haltResult)) {
-        runner.haltResult.retryable = runner.haltResult.retryable && __self.__retryable;
+        stampFailureBoundary(runner.haltResult, __self.__destructiveRan);
       }
       return runner.haltResult;
     }
@@ -934,15 +921,14 @@ async function __memory_impl(config, block = __UNSET) {
       __ctx.statelogClient?.error?.({
         errorType: "runtimeError",
         message: __errMsg,
-        functionName: "memory",
-        retryable: __self.__retryable
+        functionName: "memory"
       });
     }
     return failure(
       __error instanceof Error ? __error.message : String(__error),
       {
         checkpoint: getRuntimeContext().ctx.getResultCheckpoint(),
-        retryable: __self.__retryable,
+        destructiveRan: __self.__destructiveRan,
         functionName: "memory",
         args: __stack.args
       }
@@ -969,13 +955,15 @@ const memory = __AgencyFunction.create({
     hasDefault: false,
     defaultValue: void 0,
     variadic: false,
-    isFunctionTyped: false
+    isFunctionTyped: false,
+    acceptsResult: false
   }, {
     name: "block",
     hasDefault: true,
     defaultValue: void 0,
     variadic: false,
-    isFunctionTyped: true
+    isFunctionTyped: true,
+    acceptsResult: false
   }],
   toolDefinition: {
     name: "memory",
@@ -993,7 +981,6 @@ const memory = __AgencyFunction.create({
   @param block - The code to run with the configuration active`,
     schema: z.object({ "config": MemoryConfig })
   },
-  safe: false,
   exported: true
 }, __toolRegistry);
 async function __remember_impl(content) {
@@ -1009,7 +996,7 @@ async function __remember_impl(content) {
   }
   let __funcStartTime = performance.now();
   __stack.args["content"] = content;
-  __self.__retryable = __self.__retryable ?? true;
+  __self.__destructiveRan = __self.__destructiveRan ?? false;
   const runner = new Runner(__ctx, __stack, { state: __stack, moduleId: "stdlib/memory.agency", scopeName: "remember", threads: __setupData.threads });
   let __resultCheckpointId = -1;
   if (__ctx._pendingArgOverrides) {
@@ -1051,7 +1038,7 @@ async function __remember_impl(content) {
               if (__response) {
                 if (__response.type === "approve") {
                 } else if (__response.type === "reject") {
-                  runner3.halt(failure("interrupt rejected", { retryable: false, checkpoint: getRuntimeContext().ctx.getResultCheckpoint() }));
+                  runner3.halt(failure("interrupt rejected", { checkpoint: getRuntimeContext().ctx.getResultCheckpoint() }));
                   return;
                 }
               } else {
@@ -1059,7 +1046,7 @@ async function __remember_impl(content) {
                   "contentLength": __stack.args.content.length
                 }, "std::memory", __ctx, __stateStack());
                 if (isRejected(__handlerResult)) {
-                  runner3.halt(failure(__handlerResult.value ?? "interrupt rejected", { retryable: false, checkpoint: getRuntimeContext().ctx.checkpoints.get(__resultCheckpointId) }));
+                  runner3.halt(failure(__handlerResult.value ?? "interrupt rejected", { checkpoint: getRuntimeContext().ctx.checkpoints.get(__resultCheckpointId) }));
                   return;
                 }
                 if (!isApproved(__handlerResult)) {
@@ -1074,7 +1061,7 @@ async function __remember_impl(content) {
             });
             await runner2.thread(1, "create", async () => ({}), async (runner3) => {
               await runner3.step(0, async (runner4) => {
-                __self.__retryable = false;
+                __self.__destructiveRan = true;
                 __stack.locals.prompt = await __call(_buildExtractionPrompt, {
                   type: "positional",
                   args: [__stack.args.content]
@@ -1103,33 +1090,53 @@ async function __remember_impl(content) {
                   runner4.halt(__stack.locals.result);
                   return;
                 }
+                __stack.locals.result = __validateType(__stack.locals.result, ExtractionResult);
               });
-              await runner3.step(2, async (runner4) => {
-                __self.__retryable = false;
-                const __funcResult = await __call(_applyExtractionResult, {
-                  type: "positional",
-                  args: [__stack.locals.result]
-                });
-                if (hasInterrupts(__funcResult)) {
-                  await getRuntimeContext().ctx.pendingPromises.awaitAll();
-                  runner4.halt(__funcResult);
-                  return;
+              await runner3.ifElse(2, [
+                {
+                  condition: async () => await isSuccess(__stack.locals.result),
+                  body: async (runner4) => {
+                    await runner4.step(0, async (runner5) => {
+                      __stack.locals.extraction = __stack.locals.result.value;
+                    });
+                    await runner4.step(1, async (runner5) => {
+                      __self.__destructiveRan = true;
+                      const __funcResult = await __call(_applyExtractionResult, {
+                        type: "positional",
+                        args: [__stack.locals.extraction]
+                      });
+                      if (hasInterrupts(__funcResult)) {
+                        await getRuntimeContext().ctx.pendingPromises.awaitAll();
+                        runner5.halt(__funcResult);
+                        return;
+                      }
+                    });
+                  }
                 }
+              ], async (runner4) => {
+                await runner4.step(2, async (runner5) => {
+                  __functionCompleted = true;
+                  runner5.halt(__stack.locals.result);
+                  return;
+                });
+              });
+              await runner3.step(3, async (runner4) => {
+                __self.__destructiveRan = true;
               });
             });
             await runner2.step(2, async (runner3) => {
-              __self.__retryable = false;
+              __self.__destructiveRan = true;
             });
           }
         }
       ]);
       await runner.step(2, async (runner2) => {
-        __self.__retryable = false;
+        __self.__destructiveRan = true;
       });
     });
     if (runner.halted) {
       if (isFailure(runner.haltResult)) {
-        runner.haltResult.retryable = runner.haltResult.retryable && __self.__retryable;
+        stampFailureBoundary(runner.haltResult, __self.__destructiveRan);
       }
       return runner.haltResult;
     }
@@ -1149,15 +1156,14 @@ async function __remember_impl(content) {
       __ctx.statelogClient?.error?.({
         errorType: "runtimeError",
         message: __errMsg,
-        functionName: "remember",
-        retryable: __self.__retryable
+        functionName: "remember"
       });
     }
     return failure(
       __error instanceof Error ? __error.message : String(__error),
       {
         checkpoint: getRuntimeContext().ctx.getResultCheckpoint(),
-        retryable: __self.__retryable,
+        destructiveRan: __self.__destructiveRan,
         functionName: "remember",
         args: __stack.args
       }
@@ -1184,7 +1190,8 @@ const remember = __AgencyFunction.create({
     hasDefault: false,
     defaultValue: void 0,
     variadic: false,
-    isFunctionTyped: false
+    isFunctionTyped: false,
+    acceptsResult: false
   }],
   toolDefinition: {
     name: "remember",
@@ -1194,8 +1201,10 @@ const remember = __AgencyFunction.create({
   @param content - Natural language text containing facts to remember`,
     schema: z.object({ "content": z.string() })
   },
-  safe: false,
-  exported: true
+  exported: true,
+  markers: {
+    destructive: true
+  }
 }, __toolRegistry);
 async function __recall_impl(query) {
   const __setupData = setupFunction();
@@ -1210,7 +1219,7 @@ async function __recall_impl(query) {
   }
   let __funcStartTime = performance.now();
   __stack.args["query"] = query;
-  __self.__retryable = __self.__retryable ?? true;
+  __self.__destructiveRan = __self.__destructiveRan ?? false;
   const runner = new Runner(__ctx, __stack, { state: __stack, moduleId: "stdlib/memory.agency", scopeName: "recall", threads: __setupData.threads });
   let __resultCheckpointId = -1;
   if (__ctx._pendingArgOverrides) {
@@ -1245,7 +1254,7 @@ async function __recall_impl(query) {
         if (__response) {
           if (__response.type === "approve") {
           } else if (__response.type === "reject") {
-            runner2.halt(failure("interrupt rejected", { retryable: false, checkpoint: getRuntimeContext().ctx.getResultCheckpoint() }));
+            runner2.halt(failure("interrupt rejected", { checkpoint: getRuntimeContext().ctx.getResultCheckpoint() }));
             return;
           }
         } else {
@@ -1253,7 +1262,7 @@ async function __recall_impl(query) {
             "query": __stack.args.query
           }, "std::memory", __ctx, __stateStack());
           if (isRejected(__handlerResult)) {
-            runner2.halt(failure(__handlerResult.value ?? "interrupt rejected", { retryable: false, checkpoint: getRuntimeContext().ctx.checkpoints.get(__resultCheckpointId) }));
+            runner2.halt(failure(__handlerResult.value ?? "interrupt rejected", { checkpoint: getRuntimeContext().ctx.checkpoints.get(__resultCheckpointId) }));
             return;
           }
           if (!isApproved(__handlerResult)) {
@@ -1277,7 +1286,7 @@ async function __recall_impl(query) {
     });
     if (runner.halted) {
       if (isFailure(runner.haltResult)) {
-        runner.haltResult.retryable = runner.haltResult.retryable && __self.__retryable;
+        stampFailureBoundary(runner.haltResult, __self.__destructiveRan);
       }
       return runner.haltResult;
     }
@@ -1297,15 +1306,14 @@ async function __recall_impl(query) {
       __ctx.statelogClient?.error?.({
         errorType: "runtimeError",
         message: __errMsg,
-        functionName: "recall",
-        retryable: __self.__retryable
+        functionName: "recall"
       });
     }
     return failure(
       __error instanceof Error ? __error.message : String(__error),
       {
         checkpoint: getRuntimeContext().ctx.getResultCheckpoint(),
-        retryable: __self.__retryable,
+        destructiveRan: __self.__destructiveRan,
         functionName: "recall",
         args: __stack.args
       }
@@ -1332,7 +1340,8 @@ const recall = __AgencyFunction.create({
     hasDefault: false,
     defaultValue: void 0,
     variadic: false,
-    isFunctionTyped: false
+    isFunctionTyped: false,
+    acceptsResult: false
   }],
   toolDefinition: {
     name: "recall",
@@ -1346,7 +1355,6 @@ const recall = __AgencyFunction.create({
   @param query - A natural language query describing what to recall`,
     schema: z.object({ "query": z.string() })
   },
-  safe: true,
   exported: true
 }, __toolRegistry);
 async function __forget_impl(query) {
@@ -1362,7 +1370,7 @@ async function __forget_impl(query) {
   }
   let __funcStartTime = performance.now();
   __stack.args["query"] = query;
-  __self.__retryable = __self.__retryable ?? true;
+  __self.__destructiveRan = __self.__destructiveRan ?? false;
   const runner = new Runner(__ctx, __stack, { state: __stack, moduleId: "stdlib/memory.agency", scopeName: "forget", threads: __setupData.threads });
   let __resultCheckpointId = -1;
   if (__ctx._pendingArgOverrides) {
@@ -1404,7 +1412,7 @@ async function __forget_impl(query) {
               if (__response) {
                 if (__response.type === "approve") {
                 } else if (__response.type === "reject") {
-                  runner3.halt(failure("interrupt rejected", { retryable: false, checkpoint: getRuntimeContext().ctx.getResultCheckpoint() }));
+                  runner3.halt(failure("interrupt rejected", { checkpoint: getRuntimeContext().ctx.getResultCheckpoint() }));
                   return;
                 }
               } else {
@@ -1412,7 +1420,7 @@ async function __forget_impl(query) {
                   "query": __stack.args.query
                 }, "std::memory", __ctx, __stateStack());
                 if (isRejected(__handlerResult)) {
-                  runner3.halt(failure(__handlerResult.value ?? "interrupt rejected", { retryable: false, checkpoint: getRuntimeContext().ctx.checkpoints.get(__resultCheckpointId) }));
+                  runner3.halt(failure(__handlerResult.value ?? "interrupt rejected", { checkpoint: getRuntimeContext().ctx.checkpoints.get(__resultCheckpointId) }));
                   return;
                 }
                 if (!isApproved(__handlerResult)) {
@@ -1427,7 +1435,6 @@ async function __forget_impl(query) {
             });
             await runner2.thread(1, "create", async () => ({}), async (runner3) => {
               await runner3.step(0, async (runner4) => {
-                __self.__retryable = false;
                 __stack.locals.prompt = await __call(_buildForgetPrompt, {
                   type: "positional",
                   args: [__stack.args.query]
@@ -1456,33 +1463,43 @@ async function __forget_impl(query) {
                   runner4.halt(__stack.locals.result);
                   return;
                 }
+                __stack.locals.result = __validateType(__stack.locals.result, ForgetResult);
               });
-              await runner3.step(2, async (runner4) => {
-                __self.__retryable = false;
-                const __funcResult = await __call(_applyForgetResult, {
-                  type: "positional",
-                  args: [__stack.locals.result]
-                });
-                if (hasInterrupts(__funcResult)) {
-                  await getRuntimeContext().ctx.pendingPromises.awaitAll();
-                  runner4.halt(__funcResult);
-                  return;
+              await runner3.ifElse(2, [
+                {
+                  condition: async () => await isSuccess(__stack.locals.result),
+                  body: async (runner4) => {
+                    await runner4.step(0, async (runner5) => {
+                      __stack.locals.forgetPlan = __stack.locals.result.value;
+                    });
+                    await runner4.step(1, async (runner5) => {
+                      const __funcResult = await __call(_applyForgetResult, {
+                        type: "positional",
+                        args: [__stack.locals.forgetPlan]
+                      });
+                      if (hasInterrupts(__funcResult)) {
+                        await getRuntimeContext().ctx.pendingPromises.awaitAll();
+                        runner5.halt(__funcResult);
+                        return;
+                      }
+                    });
+                  }
                 }
+              ], async (runner4) => {
+                await runner4.step(2, async (runner5) => {
+                  __functionCompleted = true;
+                  runner5.halt(__stack.locals.result);
+                  return;
+                });
               });
             });
-            await runner2.step(2, async (runner3) => {
-              __self.__retryable = false;
-            });
           }
         }
       ]);
-      await runner.step(2, async (runner2) => {
-        __self.__retryable = false;
-      });
     });
     if (runner.halted) {
       if (isFailure(runner.haltResult)) {
-        runner.haltResult.retryable = runner.haltResult.retryable && __self.__retryable;
+        stampFailureBoundary(runner.haltResult, __self.__destructiveRan);
       }
       return runner.haltResult;
     }
@@ -1502,15 +1519,14 @@ async function __forget_impl(query) {
       __ctx.statelogClient?.error?.({
         errorType: "runtimeError",
         message: __errMsg,
-        functionName: "forget",
-        retryable: __self.__retryable
+        functionName: "forget"
       });
     }
     return failure(
       __error instanceof Error ? __error.message : String(__error),
       {
         checkpoint: getRuntimeContext().ctx.getResultCheckpoint(),
-        retryable: __self.__retryable,
+        destructiveRan: __self.__destructiveRan,
         functionName: "forget",
         args: __stack.args
       }
@@ -1537,7 +1553,8 @@ const forget = __AgencyFunction.create({
     hasDefault: false,
     defaultValue: void 0,
     variadic: false,
-    isFunctionTyped: false
+    isFunctionTyped: false,
+    acceptsResult: false
   }],
   toolDefinition: {
     name: "forget",
@@ -1548,11 +1565,10 @@ const forget = __AgencyFunction.create({
   @param query - A natural language description of what to forget`,
     schema: z.object({ "query": z.string() })
   },
-  safe: false,
   exported: true
 }, __toolRegistry);
 var stdin_default = graph;
-const __sourceMap = { "stdlib/memory.agency:isMemoryActive": { "1": { "line": 84, "col": 2 } }, "stdlib/memory.agency:setMemoryId": { "1": { "line": 101, "col": 2 } }, "stdlib/memory.agency:getMemoryId": { "1": { "line": 111, "col": 2 } }, "stdlib/memory.agency:enableMemory": { "1": { "line": 136, "col": 2 }, "2": { "line": 140, "col": 2 } }, "stdlib/memory.agency:disableMemory": { "1": { "line": 154, "col": 2 }, "2": { "line": 156, "col": 2 } }, "stdlib/memory.agency:memory": { "1": { "line": 174, "col": 2 }, "2": { "line": 175, "col": 2 }, "3": { "line": 176, "col": 2 }, "5": { "line": 179, "col": 2 }, "3.0": { "line": 177, "col": 4 } }, "stdlib/memory.agency:remember": { "1": { "line": 189, "col": 2 }, "1.0": { "line": 190, "col": 4 }, "1.1.0": { "line": 195, "col": 6 }, "1.1.1": { "line": 196, "col": 6 }, "1.1.2": { "line": 197, "col": 6 }, "1.1": { "line": 194, "col": 4 } }, "stdlib/memory.agency:recall": { "1": { "line": 213, "col": 2 }, "2": { "line": 217, "col": 2 } }, "stdlib/memory.agency:forget": { "1": { "line": 228, "col": 2 }, "1.0": { "line": 229, "col": 4 }, "1.1.0": { "line": 234, "col": 6 }, "1.1.1": { "line": 235, "col": 6 }, "1.1.2": { "line": 236, "col": 6 }, "1.1": { "line": 233, "col": 4 } } };
+const __sourceMap = { "stdlib/memory.agency:isMemoryActive": { "1": { "line": 84, "col": 2 } }, "stdlib/memory.agency:setMemoryId": { "1": { "line": 101, "col": 2 } }, "stdlib/memory.agency:getMemoryId": { "1": { "line": 111, "col": 2 } }, "stdlib/memory.agency:enableMemory": { "1": { "line": 136, "col": 2 }, "2": { "line": 140, "col": 2 } }, "stdlib/memory.agency:disableMemory": { "1": { "line": 154, "col": 2 }, "2": { "line": 156, "col": 2 } }, "stdlib/memory.agency:memory": { "1": { "line": 174, "col": 2 }, "2": { "line": 175, "col": 2 }, "3": { "line": 176, "col": 2 }, "4": { "line": 179, "col": 2 }, "3.0": { "line": 177, "col": 4 } }, "stdlib/memory.agency:remember": { "1": { "line": 189, "col": 2 }, "1.0": { "line": 190, "col": 4 }, "1.1.0": { "line": 195, "col": 6 }, "1.1.1": { "line": 200, "col": 6 }, "1.1.2.0": { "line": 201, "col": 6 }, "1.1.2.1": { "line": 202, "col": 8 }, "1.1.2.2": { "line": 204, "col": 8 }, "1.1.2": { "line": 201, "col": 6 }, "1.1": { "line": 194, "col": 4 } }, "stdlib/memory.agency:recall": { "1": { "line": 221, "col": 2 }, "2": { "line": 225, "col": 2 } }, "stdlib/memory.agency:forget": { "1": { "line": 236, "col": 2 }, "1.0": { "line": 237, "col": 4 }, "1.1.0": { "line": 242, "col": 6 }, "1.1.1": { "line": 245, "col": 6 }, "1.1.2.0": { "line": 246, "col": 6 }, "1.1.2.1": { "line": 247, "col": 8 }, "1.1.2.2": { "line": 249, "col": 8 }, "1.1.2": { "line": 246, "col": 6 }, "1.1": { "line": 241, "col": 4 } } };
 export {
   MemoryConfig,
   __getCheckpoints,