@noetic-tools/core 5.6.0 → 5.8.0

package/dist/runtime/durable/step-ledger.js

@@ -11,6 +11,12 @@
  * into the single `execution:<id>:snapshot` key would rewrite a growing blob on every
  * step — O(n²) bytes over a run.
  *
+ * An entry's key is one of two forms (spec 23a § Identity). By default it is the step's
+ * execution path (`ContextImpl.currentPath()`): positional, so a resumed run lines up
+ * recorded outputs with steps by where they ran. A step with a `replayKey` is keyed
+ * `key:<replayKey>` instead: content-addressed, so it finds its output wherever it
+ * runs. A `durable: false` step has no key and is never recorded.
+ *
  * Sharding bounds the cost of one append but not the total, so retention is bounded on
  * two axes (`StepLedgerRetention`): an oversized entry is dropped rather than written,
  * and past `maxEntries` the oldest entry is evicted. Both degradations are safe by
@@ -21,9 +27,14 @@ import { storageGetMany } from '@noetic-tools/context';
 import { NoeticConfigError } from '@noetic-tools/types';
 import { z } from 'zod';
 //#region Entry
-/** @public One completed step, keyed by its execution path. */
+/** Marks a ledger key as a step's `replayKey` rather than its execution path. */
+export const REPLAY_KEY_PREFIX = 'key:';
+/** @public One completed step, keyed by its execution path or its `key:` replay key. */
 export const StepLedgerEntrySchema = z.object({
-    /** Execution path key — see `ContextImpl.currentPath()`. Unique per dispatch. */
+    /**
+     * Ledger key: the execution path (`ContextImpl.currentPath()`, unique per dispatch)
+     * or `key:<replayKey>` for a step that sets `replayKey`.
+     */
     path: z.string().min(1),
     stepId: z.string(),
     kind: z.string(),
@@ -197,9 +208,11 @@ export class StepLedger {
     }
     /**
      * The recorded output for `path`, when a previous run completed the same step there.
-     * A divergence (different step id or kind at this path) discards the entry and every
-     * entry recorded beneath it, then returns undefined so the step runs fresh — the
-     * subtree's recorded outputs belong to a branch that no longer exists.
+     * A divergence (different step id or kind at this key) returns undefined so the step
+     * runs fresh. At a positional path it also discards every entry recorded beneath it —
+     * the subtree's recorded outputs belong to a branch that no longer exists. A `key:`
+     * entry discards only itself: its children are keyed by their own paths or keys, not
+     * nested under it.
      */
     take(path, step) {
         const entry = this.replayable.get(path);
@@ -207,6 +220,10 @@ export class StepLedger {
             return undefined;
         }
         if (entry.stepId !== step.id || entry.kind !== step.kind) {
+            if (path.startsWith(REPLAY_KEY_PREFIX)) {
+                this.replayable.delete(path);
+                return undefined;
+            }
             this.discardSubtree(path);
             return undefined;
         }

package/dist/types/checkpoint.d.ts

@@ -72,6 +72,26 @@ export declare const ItemLogSnapshotSchema: z.ZodObject<{
 }, z.core.$strip>;
 /** @public Item log portion of a snapshot. */
 export type ItemLogSnapshot = z.infer<typeof ItemLogSnapshotSchema>;
+/**
+ * @public
+ * Channel state an execution used, captured so a restored execution sees the
+ * same values and queued items. Only stored data is kept — parked receivers,
+ * parked senders, and subscribers are live promises that cannot round-trip.
+ * Topic channels hold no stored data, so they never appear.
+ */
+export declare const ChannelSnapshotSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    name: z.ZodString;
+    mode: z.ZodLiteral<"value">;
+    value: z.ZodOptional<z.ZodUnknown>;
+    hasValue: z.ZodBoolean;
+}, z.core.$strip>, z.ZodObject<{
+    name: z.ZodString;
+    mode: z.ZodLiteral<"queue">;
+    capacity: z.ZodNumber;
+    queue: z.ZodArray<z.ZodUnknown>;
+}, z.core.$strip>], "mode">;
+/** @public One channel's stored state inside a checkpoint snapshot. */
+export type ChannelSnapshot = z.infer<typeof ChannelSnapshotSchema>;
 /**
  * @public
  * Top-level checkpoint payload persisted through a `CheckpointStore`. Carries
@@ -101,6 +121,17 @@ export declare const CheckpointSnapshotSchema: z.ZodObject<{
     itemLog: z.ZodObject<{
         items: z.ZodArray<z.ZodUnknown>;
     }, z.core.$strip>;
+    channels: z.ZodOptional<z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        name: z.ZodString;
+        mode: z.ZodLiteral<"value">;
+        value: z.ZodOptional<z.ZodUnknown>;
+        hasValue: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodObject<{
+        name: z.ZodString;
+        mode: z.ZodLiteral<"queue">;
+        capacity: z.ZodNumber;
+        queue: z.ZodArray<z.ZodUnknown>;
+    }, z.core.$strip>], "mode">>>;
     capturedAt: z.ZodString;
 }, z.core.$strip>;
 /** @public Snapshot of an execution suitable for `CheckpointStore.save()`. */

package/dist/types/checkpoint.js

@@ -68,6 +68,29 @@ export const PendingAskUserSnapshotSchema = z.object({
 export const ItemLogSnapshotSchema = z.object({
     items: z.array(z.unknown()),
 });
+/**
+ * @public
+ * Channel state an execution used, captured so a restored execution sees the
+ * same values and queued items. Only stored data is kept — parked receivers,
+ * parked senders, and subscribers are live promises that cannot round-trip.
+ * Topic channels hold no stored data, so they never appear.
+ */
+export const ChannelSnapshotSchema = z.discriminatedUnion('mode', [
+    z.object({
+        name: z.string(),
+        mode: z.literal('value'),
+        /** The last value written. Absent when the channel was never written. */
+        value: z.unknown().optional(),
+        hasValue: z.boolean(),
+    }),
+    z.object({
+        name: z.string(),
+        mode: z.literal('queue'),
+        capacity: z.number(),
+        /** Queued items, oldest first. */
+        queue: z.array(z.unknown()),
+    }),
+]);
 /**
  * @public
  * Top-level checkpoint payload persisted through a `CheckpointStore`. Carries
@@ -84,6 +107,12 @@ export const CheckpointSnapshotSchema = z.object({
     cwd: CwdSnapshotSchema.nullable(),
     askUser: z.array(PendingAskUserSnapshotSchema),
     itemLog: ItemLogSnapshotSchema,
+    /**
+     * Stored state of every channel the execution used. Optional so snapshots
+     * written before channels were captured still load (they restore with no
+     * channel state).
+     */
+    channels: z.array(ChannelSnapshotSchema).optional(),
     /** ISO-8601 timestamp of when the snapshot was taken. */
     capturedAt: z.string(),
 });

package/dist/until/combinators.d.ts

@@ -2,6 +2,11 @@ import type { Until } from '@noetic-tools/types';
 /**
  * Combines predicates with OR semantics; stops the loop when any predicate says stop.
  *
+ * Predicates run in order and the first stop verdict short-circuits, so it is
+ * returned as is. When none stops, the combined verdict carries every
+ * predicate's `reason` (joined with `'; '`) and `feedback` (joined with `'\n'`),
+ * so a failing `until.verified()` still hands its feedback to `prepareNext`.
+ *
  * @public
  * @param predicates - Until predicates to evaluate.
  * @returns A combined `Until` that short-circuits on the first stop verdict.
@@ -10,6 +15,11 @@ export declare function any(...predicates: Until[]): Until;
 /**
  * Combines predicates with AND semantics; stops the loop only when all predicates say stop.
  *
+ * Predicates run in order and the first continue verdict short-circuits, so it
+ * is returned as is. When all stop, the combined verdict carries every
+ * predicate's `reason` (joined with `'; '`, default `'All predicates
+ * satisfied'`) and `feedback` (joined with `'\n'`).
+ *
  * @public
  * @param predicates - Until predicates to evaluate.
  * @returns A combined `Until` that requires all predicates to be satisfied.

package/dist/until/combinators.js

@@ -1,26 +1,36 @@
 /**
  * Combines predicates with OR semantics; stops the loop when any predicate says stop.
  *
+ * Predicates run in order and the first stop verdict short-circuits, so it is
+ * returned as is. When none stops, the combined verdict carries every
+ * predicate's `reason` (joined with `'; '`) and `feedback` (joined with `'\n'`),
+ * so a failing `until.verified()` still hands its feedback to `prepareNext`.
+ *
  * @public
  * @param predicates - Until predicates to evaluate.
  * @returns A combined `Until` that short-circuits on the first stop verdict.
  */
 export function any(...predicates) {
     return async (snapshot) => {
+        const verdicts = [];
         for (const pred of predicates) {
             const verdict = await pred(snapshot);
             if (verdict.stop) {
                 return verdict;
             }
+            verdicts.push(verdict);
         }
-        return {
-            stop: false,
-        };
+        return merge(false, verdicts);
     };
 }
 /**
  * Combines predicates with AND semantics; stops the loop only when all predicates say stop.
  *
+ * Predicates run in order and the first continue verdict short-circuits, so it
+ * is returned as is. When all stop, the combined verdict carries every
+ * predicate's `reason` (joined with `'; '`, default `'All predicates
+ * satisfied'`) and `feedback` (joined with `'\n'`).
+ *
  * @public
  * @param predicates - Until predicates to evaluate.
  * @returns A combined `Until` that requires all predicates to be satisfied.
@@ -30,20 +40,34 @@ export function all(...predicates) {
         const verdicts = [];
         for (const pred of predicates) {
             const verdict = await pred(snapshot);
-            verdicts.push(verdict);
             if (!verdict.stop) {
-                return {
-                    stop: false,
-                };
+                return verdict;
             }
+            verdicts.push(verdict);
         }
-        const reasons = verdicts
-            .map((v) => v.reason)
-            .filter(Boolean)
-            .join('; ');
+        const merged = merge(true, verdicts);
         return {
-            stop: true,
-            reason: reasons || 'All predicates satisfied',
+            ...merged,
+            reason: merged.reason ?? 'All predicates satisfied',
         };
     };
 }
+/** Folds the verdicts that decided a combinator into one, leaving out empty fields. */
+function merge(stop, verdicts) {
+    const verdict = {
+        stop,
+    };
+    const reason = join(verdicts.map((v) => v.reason), '; ');
+    if (reason !== undefined) {
+        verdict.reason = reason;
+    }
+    const feedback = join(verdicts.map((v) => v.feedback), '\n');
+    if (feedback !== undefined) {
+        verdict.feedback = feedback;
+    }
+    return verdict;
+}
+function join(parts, separator) {
+    const present = parts.filter((p) => p !== undefined && p !== '');
+    return present.length === 0 ? undefined : present.join(separator);
+}

package/dist/until/predicates.js

@@ -18,7 +18,9 @@ export const until = {
     maxCost(usd) {
         return (snap) => ({
             stop: snap.cost >= usd,
-            reason: snap.cost >= usd ? `Reached max cost ($${usd})` : undefined,
+            reason: snap.cost >= usd
+                ? `Cost $${snap.cost.toFixed(2)} exceeded budget $${usd.toFixed(2)}`
+                : undefined,
         });
     },
     /** Stops the loop when elapsed time reaches `ms` milliseconds. @public */
@@ -52,7 +54,7 @@ export const until = {
             const result = await fn(snap.lastOutput);
             return {
                 stop: result.pass,
-                reason: result.pass ? 'Verification passed' : undefined,
+                reason: result.pass ? 'Verification passed' : 'Verification failed',
                 feedback: result.feedback,
             };
         };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@noetic-tools/core",
-  "version": "5.6.0",
+  "version": "5.8.0",
   "type": "module",
   "description": "Step primitives, interpreter, runtime, and context layer contract for Noetic agents.",
   "license": "Apache-2.0",
@@ -68,8 +68,8 @@
     }
   },
   "dependencies": {
-    "@noetic-tools/context": "^1.4.0",
-    "@noetic-tools/types": "^3.4.0",
+    "@noetic-tools/context": "^1.5.0",
+    "@noetic-tools/types": "^3.6.0",
     "@openrouter/agent": "^0.11.0",
     "@openrouter/sdk": "1.4.25",
     "zod": "^4.0.0"

package/schema/noetic-workflow.schema.json

@@ -32,6 +32,9 @@
               "type": "string",
               "minLength": 1
             },
+            "durable": {
+              "type": "boolean"
+            },
             "model": {
               "type": "string"
             },
@@ -83,6 +86,18 @@
                   "items": {
                     "type": "string"
                   }
+                },
+                "serviceTier": {
+                  "type": "string",
+                  "enum": [
+                    "auto",
+                    "default",
+                    "fast",
+                    "flex",
+                    "priority",
+                    "scale",
+                    "ultrafast"
+                  ]
                 }
               },
               "additionalProperties": false
@@ -124,6 +139,9 @@
               "type": "string",
               "minLength": 1
             },
+            "durable": {
+              "type": "boolean"
+            },
             "toolName": {
               "type": "string",
               "minLength": 1
@@ -154,6 +172,9 @@
               "type": "string",
               "minLength": 1
             },
+            "durable": {
+              "type": "boolean"
+            },
             "execute": {
               "type": "string",
               "minLength": 1
@@ -213,6 +234,9 @@
               "type": "string",
               "minLength": 1
             },
+            "durable": {
+              "type": "boolean"
+            },
             "routes": {
               "minItems": 1,
               "type": "array",
@@ -256,6 +280,9 @@
               "type": "string",
               "minLength": 1
             },
+            "durable": {
+              "type": "boolean"
+            },
             "model": {
               "type": "string",
               "minLength": 1
@@ -432,6 +459,9 @@
               "type": "string",
               "minLength": 1
             },
+            "durable": {
+              "type": "boolean"
+            },
             "decide": {
               "type": "object",
               "properties": {
@@ -443,6 +473,9 @@
                   "type": "string",
                   "minLength": 1
                 },
+                "durable": {
+                  "type": "boolean"
+                },
                 "model": {
                   "type": "string",
                   "minLength": 1
@@ -652,6 +685,9 @@
               "type": "string",
               "minLength": 1
             },
+            "durable": {
+              "type": "boolean"
+            },
             "mode": {
               "type": "string",
               "enum": [
@@ -706,6 +742,9 @@
               "type": "string",
               "minLength": 1
             },
+            "durable": {
+              "type": "boolean"
+            },
             "child": {
               "$ref": "#/$defs/WorkflowNode"
             },
@@ -740,6 +779,9 @@
               "type": "string",
               "minLength": 1
             },
+            "durable": {
+              "type": "boolean"
+            },
             "child": {
               "$ref": "#/$defs/WorkflowNode"
             },
@@ -771,6 +813,9 @@
               "type": "string",
               "minLength": 1
             },
+            "durable": {
+              "type": "boolean"
+            },
             "body": {
               "$ref": "#/$defs/WorkflowNode"
             },
@@ -802,6 +847,9 @@
               "type": "string",
               "minLength": 1
             },
+            "durable": {
+              "type": "boolean"
+            },
             "steps": {
               "minItems": 1,
               "type": "array",
@@ -828,6 +876,9 @@
               "type": "string",
               "minLength": 1
             },
+            "durable": {
+              "type": "boolean"
+            },
             "step": {
               "$ref": "#/$defs/WorkflowNode"
             },
@@ -862,6 +913,9 @@
               "type": "string",
               "minLength": 1
             },
+            "durable": {
+              "type": "boolean"
+            },
             "document": {
               "$ref": "#"
             },
@@ -890,6 +944,9 @@
               "type": "string",
               "minLength": 1
             },
+            "durable": {
+              "type": "boolean"
+            },
             "agent": {
               "type": "string",
               "minLength": 1