@evolu/common 8.0.0-next.4 → 8.0.0

package/dist/src/Schedule.js

@@ -3,42 +3,25 @@
  *
  * @module
  */
-import { assertType } from "./Assert.js";
-import { fibonacciAt, FibonacciIndex, increment } from "./Number.js";
+import { fibonacciAt, FibonacciIndex, increment, max, min, percentageToRatio, } from "./Number.js";
 import { done, err, ok } from "./Result.js";
-import { durationToMillis, Millis, minMillis, saturateMillis, } from "./Time.js";
-import { NonNegativeFiniteNumber, NonNegativeInt, onePositiveInt, PositiveInt, } from "./Type.js";
-/**
- * Creates an internal per-step metrics tracker.
- *
- * Each call updates internal state and returns computed metrics.
- */
-const createScheduleStepMetrics = (deps) => {
-    let attempt = onePositiveInt;
-    let start = null;
-    let previous = null;
-    return () => {
-        const now = deps.time.now();
-        const currentAttempt = attempt;
-        attempt = PositiveInt.orThrow(increment(attempt));
-        start ??= now;
-        const elapsed = saturateMillis(now - start);
-        const elapsedSincePrevious = previous === null ? minMillis : saturateMillis(now - previous);
-        previous = now;
-        return { attempt: currentAttempt, elapsed, elapsedSincePrevious };
-    };
-};
+import { durationToMillis, Millis, minMillis, PositiveMillis, saturateMillis, } from "./Time.js";
+import { assertType, NonNaNNumber, NonNegativeFiniteNumber, PositiveInt, } from "./Type.js";
 /**
  * A schedule that never stops and has no delay.
  *
  * Outputs the attempt count (0, 1, 2, ...). Useful as a base for composition or
  * for immediate retry without backoff.
  *
- * ### Example
+ * ### Recurring immediately
  *
  * ```ts
- * // Retry immediately, up to 5 times
+ * import { forever, take, testCreateDeps } from "@evolu/common";
+ *
+ * // Retry immediately, up to 5 times.
  * const immediate = take(5)(forever);
+ * const step = immediate(testCreateDeps());
+ * expectOk(step(undefined), [0, 0]);
  * ```
  *
  * @group Constructors
@@ -50,13 +33,18 @@ export const forever = () => {
 /**
  * A schedule that runs exactly once with no delay.
  *
- * Convenience for `take(1)(forever)`. Useful for one-shot operations.
+ * Equivalent to `take(1)(forever)`. Useful for one-shot operations.
  *
- * ### Example
+ * ### Scheduling one recurrence
  *
  * ```ts
- * // Execute once, no retry
+ * import { done, once, testCreateDeps } from "@evolu/common";
+ *
+ * // Produce one scheduled recurrence, then stop.
  * const oneShot = once;
+ * const step = oneShot(testCreateDeps());
+ * expectOk(step(undefined), [0, 0]);
+ * expectErr(step(undefined), done());
  * ```
  *
  * @group Constructors
@@ -76,11 +64,21 @@ export const once = () => {
  * Convenience for `take(n)(forever)`. Outputs the current repetition count (0,
  * 1, 2, ..., n-1).
  *
- * ### Example
+ * `n` uses {@link Int0To100OrNonNegativeInt}: pass `0` to `100` as a literal, or
+ * a validated {@link NonNegativeInt} for larger or dynamic values.
+ *
+ * ### Limiting recurrence count
  *
  * ```ts
- * // Retry up to 3 times (4 total attempts including initial)
+ * import { done, recurs, testCreateDeps } from "@evolu/common";
+ *
+ * // Retry up to 3 times (4 total attempts including the initial operation).
  * const retry = recurs(3);
+ * const step = retry(testCreateDeps());
+ * expectOk(step(undefined), [0, 0]);
+ * step(undefined);
+ * step(undefined);
+ * expectErr(step(undefined), done());
  * ```
  *
  * @group Constructors
@@ -92,17 +90,20 @@ export const recurs = (n) => take(n)(forever);
  * Always waits the same duration after each execution completes. Never stops —
  * combine with {@link take} or {@link maxElapsed} to limit.
  *
- * ### Example
+ * ### Constant spacing
  *
  * ```ts
- * // 1s, 1s, 1s, ... (polling)
- * const poll = spaced("1s");
+ * import { spaced, take, testCreateDeps } from "@evolu/common";
  *
- * // Retry 3 times with 500ms between each
+ * // Poll every second, retry three times, or run a long-lived heartbeat.
+ * const poll = spaced("1s");
  * const retry = take(3)(spaced("500ms"));
- *
- * // Heartbeat schedule
  * const heartbeat = spaced("30s");
+ * const deps = testCreateDeps();
+ *
+ * expectOk(poll(deps)(undefined), [1000, 1000]);
+ * expectOk(retry(deps)(undefined), [500, 500]);
+ * expectOk(heartbeat(deps)(undefined), [30000, 30000]);
  * ```
  *
  * @group Constructors
@@ -114,57 +115,71 @@ export const spaced = (duration) => () => {
 /**
  * Exponential backoff schedule.
  *
- * Computes delay as `base * factor^(attempt - 1)`:
+ * Computes delay as `base * factor^(step - 1)`:
  *
- * - Attempt 1: `base`
- * - Attempt 2: `base * factor`
- * - Attempt 3: `base * factor²`
+ * - Step 1: `base`
+ * - Step 2: `base * factor`
+ * - Step 3: `base * factor²`
  * - ...
  *
  * Never stops — combine with {@link take} or {@link maxElapsed} to limit.
  *
- * ### Example
+ * ### Exponential growth factors
  *
  * ```ts
- * // 100ms, 200ms, 400ms, 800ms, ...
- * const exp = exponential("100ms");
+ * import { exponential, testCreateDeps } from "@evolu/common";
  *
- * // 100ms, 150ms, 225ms, 338ms, ... (gentler growth)
+ * // Standard doubling and gentler 1.5× growth.
+ * const standard = exponential("100ms");
  * const gentle = exponential("100ms", 1.5);
+ * const standardStep = standard(testCreateDeps());
+ * const gentleStep = gentle(testCreateDeps());
+ * expectOk(standardStep(undefined), [100, 100]);
+ * expectOk(standardStep(undefined), [200, 200]);
+ * expectOk(gentleStep(undefined), [100, 100]);
+ * expectOk(gentleStep(undefined), [150, 150]);
  * ```
  *
  * @group Constructors
  */
 export const exponential = (base, factor = 2) => {
-    assertType(NonNegativeFiniteNumber, factor, "Expected factor to be a non-negative finite number.");
+    assertType(NonNegativeFiniteNumber, factor);
     return () => {
         const baseMs = durationToMillis(base);
         let attempt = 0;
         return () => {
             attempt++;
-            const rawDelay = baseMs * Math.pow(factor, attempt - 1);
-            const delay = saturateMillis(rawDelay);
+            const rawDelay = baseMs === 0 ? minMillis : baseMs * Math.pow(factor, attempt - 1);
+            const delay = saturateComputedMillis(rawDelay);
             return ok([delay, delay]);
         };
     };
 };
+const saturateComputedMillis = (value) => {
+    assertType(NonNaNNumber, value);
+    return saturateMillis(value);
+};
 /**
  * Linear backoff schedule.
  *
- * Delay increases linearly: `base * attempt`:
+ * Delay increases linearly: `base * step`:
  *
- * - Attempt 1: `base`
- * - Attempt 2: `base * 2`
- * - Attempt 3: `base * 3`
+ * - Step 1: `base`
+ * - Step 2: `base * 2`
+ * - Step 3: `base * 3`
  * - ...
  *
  * Never stops — combine with {@link take} or {@link maxElapsed} to limit.
  *
- * ### Example
+ * ### Linear growth
  *
  * ```ts
+ * import { linear, testCreateDeps } from "@evolu/common";
+ *
  * // 100ms, 200ms, 300ms, 400ms, ...
- * const lin = linear("100ms");
+ * const step = linear("100ms")(testCreateDeps());
+ * expectOk(step(undefined), [100, 100]);
+ * expectOk(step(undefined), [200, 200]);
  * ```
  *
  * @group Constructors
@@ -174,7 +189,7 @@ export const linear = (base) => () => {
     let attempt = 0;
     return () => {
         attempt++;
-        const delay = saturateMillis(ms * attempt);
+        const delay = saturateComputedMillis(ms * attempt);
         return ok([delay, delay]);
     };
 };
@@ -183,20 +198,25 @@ export const linear = (base) => () => {
  *
  * Delays follow the Fibonacci sequence, growing more slowly than exponential:
  *
- * - Attempt 1: `initial`
- * - Attempt 2: `initial`
- * - Attempt 3: `initial * 2`
- * - Attempt 4: `initial * 3`
- * - Attempt 5: `initial * 5`
+ * - Step 1: `initial`
+ * - Step 2: `initial`
+ * - Step 3: `initial * 2`
+ * - Step 4: `initial * 3`
+ * - Step 5: `initial * 5`
  * - ...
  *
  * Never stops — combine with {@link take} or {@link maxElapsed} to limit.
  *
- * ### Example
+ * ### Fibonacci growth
  *
  * ```ts
- * // 100ms, 100ms, 200ms, 300ms, 500ms, 800ms, ...
- * const fib = fibonacci("100ms");
+ * import { fibonacci, testCreateDeps } from "@evolu/common";
+ *
+ * // 100ms, 100ms, 200ms, 300ms, 500ms, ...
+ * const step = fibonacci("100ms")(testCreateDeps());
+ * expectOk(step(undefined), [100, 100]);
+ * expectOk(step(undefined), [100, 100]);
+ * expectOk(step(undefined), [200, 200]);
  * ```
  *
  * @group Constructors
@@ -205,7 +225,7 @@ export const fibonacci = (initial) => () => {
     const ms = durationToMillis(initial);
     let index = FibonacciIndex.orThrow(1);
     return () => {
-        const delay = saturateMillis(ms * fibonacciAt(index));
+        const delay = saturateComputedMillis(ms * fibonacciAt(index));
         index = FibonacciIndex.orNull(increment(index)) ?? index;
         return ok([delay, delay]);
     };
@@ -215,20 +235,27 @@ export const fibonacci = (initial) => () => {
  *
  * Recurs on a fixed interval, outputting the repetition count (0, 1, 2, ...).
  * Unlike {@link spaced}, which waits a duration _after_ each execution, `fixed`
- * maintains a consistent cadence from when the schedule started.
+ * maintains a consistent cadence from the first schedule step.
  *
- * If execution takes longer than the interval, the next execution happens
- * immediately but subsequent runs still align to the original window
- * boundaries. This prevents "pile-up" while maintaining predictable timing.
+ * If execution falls behind by one or more intervals, missed recurrences happen
+ * immediately until the schedule catches up to the original cadence. Use
+ * {@link windowed} to skip missed recurrences instead.
  *
- * ### Example
+ * ### Maintaining a fixed cadence
  *
  * ```ts
- * // Health check every 5 seconds, aligned to windows
- * const healthCheck = take(10)(fixed("5s"));
+ * import { fixed, take, testCreateDeps } from "@evolu/common";
  *
- * // Cron-like behavior: run at consistent intervals
+ * // A bounded health check and an unbounded cron-like cadence.
+ * const healthCheck = take(10)(fixed("5s"));
  * const cronLike = fixed("1m");
+ *
+ * const healthDeps = testCreateDeps();
+ * const healthStep = healthCheck(healthDeps);
+ * expectOk(healthStep(undefined), [0, 5000]);
+ * healthDeps.time.advance("3s");
+ * expectOk(healthStep(undefined), [1, 2000]);
+ * expectOk(cronLike(testCreateDeps())(undefined), [0, 60000]);
  * ```
  *
  * @group Constructors
@@ -246,23 +273,50 @@ export const fixed = (interval) => (deps) => {
         const remainder = intervalMs === 0 ? 0 : elapsed % intervalMs;
         const boundary = intervalMs - remainder;
         const delay = runningBehind ? 0 : boundary;
-        return ok([count++, saturateMillis(delay)]);
+        return ok([count++, saturateComputedMillis(delay)]);
+    };
+};
+/**
+ * Creates an internal per-step metrics tracker.
+ *
+ * Each call updates internal state and returns computed metrics.
+ */
+const createScheduleStepMetrics = (deps) => {
+    let start = null;
+    let previous = null;
+    return () => {
+        const now = deps.time.now();
+        start ??= now;
+        const elapsed = saturateComputedMillis(now - start);
+        const elapsedSincePrevious = previous === null ? minMillis : saturateComputedMillis(now - previous);
+        previous = now;
+        return { elapsed, elapsedSincePrevious };
     };
 };
 /**
  * Divides the timeline into fixed windows and sleeps until the next boundary.
  *
- * Similar to {@link fixed}, but always sleeps until the next window boundary
- * regardless of when the last execution started. Outputs the repetition count.
+ * Similar to {@link fixed}, but skips missed recurrences and always sleeps until
+ * the next window boundary. Outputs the repetition count.
  *
- * Useful for aligning executions to regular intervals from the start time.
+ * Useful for aligning executions to regular intervals from the first step.
  *
- * ### Example
+ * ### Aligning to time windows
  *
  * ```ts
- * // Execute at regular 5-second boundaries from start
- * const aligned = windowed("5s");
- * // If elapsed is 3s, waits 2s. If elapsed is 7s, waits 3s.
+ * import { testCreateDeps, windowed } from "@evolu/common";
+ *
+ * const stepAfter = (elapsed: "3s" | "7s") => {
+ *   const deps = testCreateDeps();
+ *   const step = windowed("5s")(deps);
+ *   step(undefined);
+ *   deps.time.advance(elapsed);
+ *   return step(undefined);
+ * };
+ *
+ * // At 3s the next boundary is 2s away; at 7s it is 3s away.
+ * expectOk(stepAfter("3s"), [1, 2000]);
+ * expectOk(stepAfter("7s"), [1, 3000]);
  * ```
  *
  * @group Constructors
@@ -275,7 +329,7 @@ export const windowed = (interval) => (deps) => {
         const { elapsed } = metrics();
         const remainder = intervalMs === 0 ? 0 : elapsed % intervalMs;
         const delay = intervalMs === 0 ? 0 : intervalMs - remainder;
-        return ok([count++, saturateMillis(delay)]);
+        return ok([count++, saturateComputedMillis(delay)]);
     };
 };
 /**
@@ -283,11 +337,15 @@ export const windowed = (interval) => (deps) => {
  *
  * Convenience for `take(1)(spaced(delay))`. Useful for simple one-shot delays.
  *
- * ### Example
+ * ### Scheduling one delayed recurrence
  *
  * ```ts
- * // Wait 1 second then stop
- * const oneShot = fromDelay("1s");
+ * import { done, fromDelay, testCreateDeps } from "@evolu/common";
+ *
+ * // Wait one second, then stop.
+ * const step = fromDelay("1s")(testCreateDeps());
+ * expectOk(step(undefined), [1000, 1000]);
+ * expectErr(step(undefined), done());
  * ```
  *
  * @group Constructors
@@ -297,35 +355,57 @@ export const fromDelay = (delay) => take(1)(spaced(delay));
  * A schedule that runs through a sequence of delays.
  *
  * Convenience for sequencing single-delay schedules. Useful for predefined
- * retry patterns.
+ * retry patterns. With no delays, returns a schedule that stops immediately.
  *
- * ### Example
+ * ### Sequencing custom delays
  *
  * ```ts
- * // Custom retry sequence: 100ms, 500ms, 2s
+ * import { done, fromDelays, testCreateDeps } from "@evolu/common";
+ *
+ * // A custom retry sequence: 100ms, 500ms, then 2s.
  * const custom = fromDelays("100ms", "500ms", "2s");
+ * const step = custom(testCreateDeps());
+ * expectOk(step(undefined), [100, 100]);
+ * expectOk(step(undefined), [500, 500]);
+ * expectOk(step(undefined), [2000, 2000]);
+ * expectErr(step(undefined), done());
  * ```
  *
  * @group Constructors
  */
 export const fromDelays = (...delays) => sequenceSchedules(...delays.map((d) => fromDelay(d)));
 /**
- * A schedule that outputs the total elapsed time since the schedule started.
+ * A schedule that outputs the total elapsed time since its first step.
  *
  * Never stops — combine with {@link take} or {@link maxElapsed} to limit. Useful
  * for tracking how long a retry sequence has been running.
  *
- * ### Example
+ * ### Tracking elapsed time
  *
  * ```ts
- * // Track elapsed time alongside retries
+ * import {
+ *   done,
+ *   elapsed,
+ *   exponential,
+ *   intersectSchedules,
+ *   testCreateDeps,
+ *   whileScheduleOutput,
+ *   type Millis,
+ * } from "@evolu/common";
+ *
+ * // Track elapsed time alongside each backoff step.
  * const withTiming = intersectSchedules(exponential("100ms"), elapsed);
- * // Outputs: [[100, 0], [200, ~100], [400, ~300], ...]
+ * expectOk(withTiming(testCreateDeps())(undefined), [[100, 0], 100]);
  *
- * // Stop after 30 seconds of elapsed time
+ * // Or stop a schedule after 30 seconds of elapsed time.
  * const timeLimited = whileScheduleOutput((ms: Millis) => ms < 30000)(
  *   elapsed,
  * );
+ * const deps = testCreateDeps();
+ * const step = timeLimited(deps);
+ * step(undefined);
+ * deps.time.advance("30s");
+ * expectErr(step(undefined), done());
  * ```
  *
  * @group Constructors
@@ -340,17 +420,31 @@ export const elapsed = (deps) => {
  * Outputs the elapsed time. Useful for time-boxed operations or combining with
  * other schedules to create time-limited variants.
  *
- * ### Example
+ * ### Time-boxing a schedule
  *
  * ```ts
- * // Run for at most 30 seconds
+ * import {
+ *   done,
+ *   during,
+ *   exponential,
+ *   intersectSchedules,
+ *   testCreateDeps,
+ * } from "@evolu/common";
+ *
+ * // Run for at most 30 seconds.
  * const timeLimited = during("30s");
+ * const deps = testCreateDeps();
+ * const step = timeLimited(deps);
+ * expectOk(step(undefined), [0, 0]);
+ * deps.time.advance("30.1s");
+ * expectErr(step(undefined), done());
  *
- * // Combine with exponential for time-boxed retry
+ * // Combine elapsed time with backoff for a time-boxed retry.
  * const timedRetry = intersectSchedules(
  *   exponential("100ms"),
  *   during("10s"),
  * );
+ * expectOk(timedRetry(testCreateDeps())(undefined), [[100, 0], 100]);
  * ```
  *
  * @group Constructors
@@ -361,17 +455,29 @@ export const during = (duration) => whileScheduleOutput((ms) => ms <= durationTo
  *
  * Never stops — combine with {@link take} or {@link maxElapsed} to limit.
  *
- * ### Example
+ * ### Adding constant output
  *
  * ```ts
- * // Always output "retry"
+ * import {
+ *   always,
+ *   exponential,
+ *   intersectSchedules,
+ *   testCreateDeps,
+ * } from "@evolu/common";
+ *
+ * // Always emit the same label.
  * const labeled = always("retry");
+ * expectOk(labeled(testCreateDeps())(undefined), ["retry", 0]);
  *
- * // Combine with timing
+ * // Add a label while preserving exponential timing.
  * const withLabel = intersectSchedules(
  *   exponential("100ms"),
  *   always("backoff"),
  * );
+ * expectOk(withLabel(testCreateDeps())(undefined), [
+ *   [100, "backoff"],
+ *   100,
+ * ]);
  * ```
  *
  * @group Constructors
@@ -384,18 +490,17 @@ export const always = (value) => mapSchedule(() => value)(forever);
  * provided function. Never stops — combine with {@link take} or
  * {@link maxElapsed} to limit.
  *
- * ### Example
+ * ### Unfolding state
  *
  * ```ts
- * // Counter: 0, 1, 2, 3, ...
- * const counter = unfoldSchedule(0, (n) => n + 1);
+ * import { testCreateDeps, unfoldSchedule } from "@evolu/common";
  *
- * // Custom backoff: 100, 150, 225, 338, ... (×1.5 each time)
+ * // Unfold counters, custom backoff values, or state machines.
+ * const counter = unfoldSchedule(0, (n) => n + 1);
  * const customBackoff = unfoldSchedule(100, (delay) =>
  *   Math.round(delay * 1.5),
  * );
  *
- * // State machine
  * type Phase = "init" | "warmup" | "active";
  * const phases = unfoldSchedule<Phase>("init", (phase) => {
  *   switch (phase) {
@@ -407,6 +512,16 @@ export const always = (value) => mapSchedule(() => value)(forever);
  *       return "active";
  *   }
  * });
+ *
+ * const counterStep = counter(testCreateDeps());
+ * const backoffStep = customBackoff(testCreateDeps());
+ * const phaseStep = phases(testCreateDeps());
+ * expectOk(counterStep(undefined), [0, 0]);
+ * expectOk(counterStep(undefined), [1, 0]);
+ * backoffStep(undefined);
+ * phaseStep(undefined);
+ * expectOk(backoffStep(undefined), [150, 0]);
+ * expectOk(phaseStep(undefined), ["warmup", 0]);
  * ```
  *
  * @group Constructors
@@ -420,44 +535,59 @@ export const unfoldSchedule = (initial, next) => () => {
     };
 };
 /**
- * Limits a schedule to a maximum number of attempts.
+ * Limits a schedule to a maximum number of steps.
  *
- * After `n` attempts, returns `Err(Done<void>)` (stop).
+ * After `n` steps, returns `Err(Done<void>)` (stop).
  *
- * ### Example
+ * `n` uses {@link Int0To100OrNonNegativeInt}: pass `0` to `100` as a literal, or
+ * a validated {@link NonNegativeInt} for larger or dynamic values.
+ *
+ * ### Limiting a schedule
  *
  * ```ts
- * // Exponential backoff, max 3 retries
- * const limited = take(3)(exponential("100ms"));
- * // Attempt 1: 100ms, Attempt 2: 200ms, Attempt 3: 400ms, Attempt 4: Err(Done<void>)
+ * import { done, exponential, take, testCreateDeps } from "@evolu/common";
+ *
+ * // Three exponential retries, then Done.
+ * const step = take(3)(exponential("100ms"))(testCreateDeps());
+ * step(undefined);
+ * step(undefined);
+ * step(undefined);
+ * expectErr(step(undefined), done());
  * ```
  *
  * @group Limiting
  */
-export const take = (n) => {
-    assertType(NonNegativeInt, n, "Expected n to be a non-negative integer.");
-    return (schedule) => (deps) => {
-        const step = schedule(deps);
-        let attempt = 0;
-        return (input) => {
-            attempt++;
-            if (attempt > n)
-                return err(done());
-            return step(input);
-        };
+export const take = (n) => (schedule) => (deps) => {
+    const step = schedule(deps);
+    let attempt = 0;
+    return (input) => {
+        attempt++;
+        if (attempt > n)
+            return err(done());
+        return step(input);
     };
 };
 /**
- * Limits schedule execution to a maximum elapsed time.
+ * Limits schedule execution to a maximum elapsed time since its first step.
  *
- * After `duration` has elapsed since the schedule started, returns
- * `Err(Done<void>)`.
+ * After `duration` has elapsed since the first step, returns `Err(Done<void>)`.
  *
- * ### Example
+ * ### Limiting elapsed time
  *
  * ```ts
- * // Retry for at most 30 seconds
- * const timeLimited = maxElapsed("30s")(exponential("1s"));
+ * import {
+ *   done,
+ *   exponential,
+ *   maxElapsed,
+ *   testCreateDeps,
+ * } from "@evolu/common";
+ *
+ * // Retry for at most 30 seconds.
+ * const deps = testCreateDeps();
+ * const step = maxElapsed("30s")(exponential("1s"))(deps);
+ * expectOk(step(undefined), [1000, 1000]);
+ * deps.time.advance("30s");
+ * expectErr(step(undefined), done());
  * ```
  *
  * @group Limiting
@@ -467,9 +597,16 @@ export const maxElapsed = (duration) => {
     return (schedule) => (deps) => {
         const step = schedule(deps);
         const metrics = createScheduleStepMetrics(deps);
+        let stopped = false;
         return (input) => {
+            if (stopped)
+                return err(done());
             const { elapsed } = metrics();
-            return elapsed >= maxMs ? err(done()) : step(input);
+            if (elapsed >= maxMs) {
+                stopped = true;
+                return err(done());
+            }
+            return step(input);
         };
     };
 };
@@ -478,12 +615,18 @@ export const maxElapsed = (duration) => {
  *
  * If the schedule returns a delay greater than `max`, returns `max` instead.
  *
- * ### Example
+ * ### Capping delays
  *
  * ```ts
- * // Exponential capped at 10 seconds
- * const capped = maxDelay("10s")(exponential("1s"));
- * // 1s, 2s, 4s, 8s, 10s, 10s, 10s, ...
+ * import { exponential, maxDelay, testCreateDeps } from "@evolu/common";
+ *
+ * // Exponential delays grow 1s, 2s, 4s, 8s, then stay capped at 10s.
+ * const step = maxDelay("10s")(exponential("1s"))(testCreateDeps());
+ * step(undefined);
+ * step(undefined);
+ * step(undefined);
+ * step(undefined);
+ * expectOk(step(undefined), [16000, 10000]);
  * ```
  *
  * @group Limiting
@@ -497,56 +640,85 @@ export const maxDelay = (max) => {
             if (!result.ok)
                 return result;
             const [output, delay] = result.value;
-            return ok([output, Millis.orThrow(Math.min(delay, maxMs))]);
+            return ok([output, min(delay, maxMs)]);
         };
     };
 };
 /**
- * Adds randomized jitter to delays.
+ * Randomizes delays by up to a percentage.
  *
  * Jitter helps prevent "thundering herd" when many clients retry simultaneously
- * after a service recovers. The delay is randomized within a range:
+ * after a service recovers. By default, the original delay is the upper bound:
  *
- * - `factor = 0` — no jitter (original delay)
- * - `factor = 0.5` — delay varies ±50% (e.g., 1s becomes 500ms-1500ms)
- * - `factor = 1` — full jitter, delay varies 0-200% (e.g., 1s becomes 0-2s)
+ * - `"0%"` — no jitter (original delay)
+ * - `"50%"` — equal jitter, shortens the delay by up to 50%
+ * - `"100%"` — full jitter, shortens the delay by up to 100%
  *
- * ### Example
+ * Pass `"around"` to preserve the average delay for periodic work:
  *
- * ```ts
- * // AWS-style full jitter
- * const awsStyle = jitter(1)(exponential("1s"));
+ * - `"0%"` — no jitter (original delay)
+ * - `"50%"` — varies by up to 50% below or above the original delay
+ * - `"100%"` — varies by up to 100% below or above the original delay
+ *
+ * ### Jittering below or around a delay
  *
- * // Conservative jitter (±25%)
- * const conservative = jitter(0.25)(exponential("1s"));
+ * ```ts
+ * import {
+ *   exponential,
+ *   jitter,
+ *   spaced,
+ *   testCreateDeps,
+ *   type RandomNumber,
+ * } from "@evolu/common";
+ *
+ * const deps = {
+ *   ...testCreateDeps(),
+ *   random: { next: () => 0.5 as RandomNumber },
+ * };
+ *
+ * // Shorten retry delays by at most 25%.
+ * const conservative = jitter("25%")(exponential("1s"));
+ * // Poll around a 30s target cadence, from 27s to 33s.
+ * const polling = jitter("10%", "around")(spaced("30s"));
+ *
+ * expectOk(conservative(deps)(undefined), [1000, 875]);
+ * expectOk(polling(deps)(undefined), [30000, 30000]);
  * ```
  *
  * @group Delay
  */
-export const jitter = (factor = 0.5) => {
-    assertType(NonNegativeFiniteNumber, factor, "Expected factor to be a non-negative finite number.");
-    return (schedule) => (deps) => {
-        const step = schedule(deps);
-        return (input) => {
-            const result = step(input);
-            if (!result.ok)
-                return result;
-            const [output, delay] = result.value;
-            const jittered = delay * (1 - factor + deps.random.next() * 2 * factor);
-            return ok([output, saturateMillis(jittered)]);
-        };
+export const jitter = (percentage = "50%", mode = "below") => {
+    const ratio = percentageToRatio(percentage);
+    return createJitter(ratio, mode === "around" ? 1 + ratio : 1);
+};
+const createJitter = (factor, maxMultiplier) => (schedule) => (deps) => {
+    const step = schedule(deps);
+    return (input) => {
+        const result = step(input);
+        if (!result.ok)
+            return result;
+        const [output, delay] = result.value;
+        const minMultiplier = 1 - factor;
+        const jittered = delay *
+            (minMultiplier + deps.random.next() * (maxMultiplier - minMultiplier));
+        return ok([output, saturateComputedMillis(jittered)]);
     };
 };
 /**
- * Adds an initial delay before the first attempt.
+ * Replaces the schedule's first delay.
  *
- * Subsequent attempts use the schedule's normal delays.
+ * The first successful step uses `initialDelay` instead of the delay produced
+ * by the schedule. Subsequent steps use the schedule's delays unchanged.
  *
- * ### Example
+ * ### Replacing the first delay
  *
  * ```ts
- * // Wait 1s before first attempt, then exponential backoff
- * const withWarmup = delayed("1s")(exponential("100ms"));
+ * import { delayed, exponential, testCreateDeps } from "@evolu/common";
+ *
+ * const step = delayed("1s")(exponential("100ms"))(testCreateDeps());
+ * // Only the first delay is replaced; later exponential delays are unchanged.
+ * expectOk(step(undefined), [100, 1000]);
+ * expectOk(step(undefined), [200, 200]);
  * ```
  *
  * @group Delay
@@ -571,12 +743,14 @@ export const delayed = (initialDelay) => {
 /**
  * Adds a fixed delay to the schedule's existing delay.
  *
- * ### Example
+ * ### Adding to every delay
  *
  * ```ts
- * // Add 500ms to each delay
- * const slower = addDelay("500ms")(exponential("100ms"));
- * // Delays: 600ms, 700ms, 900ms, 1300ms, ...
+ * import { addDelay, exponential, testCreateDeps } from "@evolu/common";
+ *
+ * // Add 500ms to every exponential delay.
+ * const step = addDelay("500ms")(exponential("100ms"))(testCreateDeps());
+ * expectOk(step(undefined), [100, 600]);
  * ```
  *
  * @group Delay
@@ -590,14 +764,21 @@ export const addDelay = (extra) => {
  *
  * More flexible than {@link maxDelay} — can implement any delay transformation.
  *
- * ### Example
+ * ### Transforming delays
  *
  * ```ts
- * // Double all delays
- * const slower = modifyDelay((d) => d * 2)(exponential("100ms"));
+ * import { exponential, modifyDelay, testCreateDeps } from "@evolu/common";
+ *
+ * // Arbitrary transformations can double or cap delays.
+ * const slower = modifyDelay((delay) => delay * 2)(exponential("100ms"));
+ * // Equivalent to maxDelay("10s") for this schedule.
+ * const capped = modifyDelay((delay) => Math.min(delay, 10000))(
+ *   exponential("20s"),
+ * );
+ * const deps = testCreateDeps();
  *
- * // Cap at 10s (equivalent to maxDelay)
- * const capped = modifyDelay((d) => Math.min(d, 10000))(exponential("1s"));
+ * expectOk(slower(deps)(undefined), [100, 200]);
+ * expectOk(capped(deps)(undefined), [20000, 10000]);
  * ```
  *
  * @group Delay
@@ -609,23 +790,41 @@ export const modifyDelay = (f) => (schedule) => (deps) => {
         if (!result.ok)
             return result;
         const [output, delay] = result.value;
-        return ok([output, saturateMillis(f(delay))]);
+        return ok([output, saturateComputedMillis(f(delay))]);
     };
 };
 /**
- * Adjusts delay by subtracting execution time.
+ * Adjusts delay by subtracting time elapsed beyond the previously returned
+ * delay.
  *
- * A simple combinator that subtracts the previous execution time from the
- * schedule's delay. If execution took longer than the delay, returns 0.
+ * In a normal executor loop, this corresponds to the previous execution time.
+ * If the runtime wakes later than requested, the extra lag is also compensated.
+ * If execution and lag took longer than the delay, returns 0.
+ *
+ * When composing with delay-shaping combinators such as {@link maxDelay}, put
+ * `compensate` near the outside of the stack so it observes the final returned
+ * delay.
  *
  * For window-aligned scheduling, use {@link fixed} instead.
  *
- * ### Example
+ * ### Compensating for execution time
  *
  * ```ts
- * // Poll every 5s, accounting for execution time
- * const polling = compensate(spaced("5s"));
- * // If poll takes 1s → wait 4s. If poll takes 6s → wait 0s.
+ * import { compensate, spaced, testCreateDeps } from "@evolu/common";
+ *
+ * const fastDeps = testCreateDeps();
+ * const fastStep = compensate(spaced("5s"))(fastDeps);
+ * expectOk(fastStep(undefined), [5000, 5000]);
+ * // Five seconds waiting plus one second working leaves four seconds.
+ * fastDeps.time.advance("6s");
+ * expectOk(fastStep(undefined), [5000, 4000]);
+ *
+ * const slowDeps = testCreateDeps();
+ * const slowStep = compensate(spaced("5s"))(slowDeps);
+ * expectOk(slowStep(undefined), [5000, 5000]);
+ * // Five seconds waiting plus six seconds working leaves no delay.
+ * slowDeps.time.advance("11s");
+ * expectOk(slowStep(undefined), [5000, 0]);
  * ```
  *
  * @group Delay
@@ -633,13 +832,17 @@ export const modifyDelay = (f) => (schedule) => (deps) => {
 export const compensate = (schedule) => (deps) => {
     const step = schedule(deps);
     const metrics = createScheduleStepMetrics(deps);
+    let previousReturnedDelay = minMillis;
     return (input) => {
         const { elapsedSincePrevious } = metrics();
         const result = step(input);
         if (!result.ok)
             return result;
         const [output, delay] = result.value;
-        return ok([output, saturateMillis(delay - elapsedSincePrevious)]);
+        const executionTime = saturateComputedMillis(elapsedSincePrevious - previousReturnedDelay);
+        const compensatedDelay = saturateComputedMillis(delay - executionTime);
+        previousReturnedDelay = compensatedDelay;
+        return ok([output, compensatedDelay]);
     };
 };
 /**
@@ -649,24 +852,40 @@ export const compensate = (schedule) => (deps) => {
  * Useful for input-aware retry strategies, e.g., only retry certain error
  * types.
  *
- * ### Example
+ * ### Continuing by input
  *
  * ```ts
+ * import {
+ *   done,
+ *   exponential,
+ *   testCreateDeps,
+ *   whileScheduleInput,
+ *   type Typed,
+ * } from "@evolu/common";
+ *
  * interface MyError extends Typed<"Transient" | "Fatal"> {}
  *
- * // Only retry transient errors
+ * // Retry only transient errors.
  * const retryTransient = whileScheduleInput(
  *   (error: MyError) => error.type === "Transient",
  * )(exponential("100ms"));
+ * const step = retryTransient(testCreateDeps());
+ * expectOk(step({ type: "Transient" }), [100, 100]);
+ * expectErr(step({ type: "Fatal" }), done());
  * ```
  *
  * @group Filtering
  */
 export const whileScheduleInput = (predicate) => (schedule) => (deps) => {
     const step = schedule(deps);
+    let stopped = false;
     return (input) => {
-        if (!predicate(input))
+        if (stopped)
             return err(done());
+        if (!predicate(input)) {
+            stopped = true;
+            return err(done());
+        }
         return step(input);
     };
 };
@@ -676,24 +895,40 @@ export const whileScheduleInput = (predicate) => (schedule) => (deps) => {
  * Stops (returns `Err(Done<void>)`) when {@link Predicate} returns `true`.
  * Useful for stopping retry on specific error conditions.
  *
- * ### Example
+ * ### Stopping by input
  *
  * ```ts
+ * import {
+ *   done,
+ *   exponential,
+ *   testCreateDeps,
+ *   untilScheduleInput,
+ *   type Typed,
+ * } from "@evolu/common";
+ *
  * interface MyError extends Typed<"Transient" | "Fatal"> {}
  *
- * // Stop retrying on fatal errors
+ * // Stop retrying when an error is fatal.
  * const stopOnFatal = untilScheduleInput(
  *   (error: MyError) => error.type === "Fatal",
  * )(exponential("100ms"));
+ * const step = stopOnFatal(testCreateDeps());
+ * expectOk(step({ type: "Transient" }), [100, 100]);
+ * expectErr(step({ type: "Fatal" }), done());
  * ```
  *
  * @group Filtering
  */
 export const untilScheduleInput = (predicate) => (schedule) => (deps) => {
     const step = schedule(deps);
+    let stopped = false;
     return (input) => {
-        if (predicate(input))
+        if (stopped)
+            return err(done());
+        if (predicate(input)) {
+            stopped = true;
             return err(done());
+        }
         return step(input);
     };
 };
@@ -702,25 +937,43 @@ export const untilScheduleInput = (predicate) => (schedule) => (deps) => {
  *
  * Stops (returns `Err(Done<void>)`) when {@link Predicate} returns `false`.
  *
- * ### Example
+ * ### Continuing by output
  *
  * ```ts
- * // Continue while delay is under 5 seconds
+ * import {
+ *   done,
+ *   exponential,
+ *   testCreateDeps,
+ *   whileScheduleOutput,
+ *   type Millis,
+ * } from "@evolu/common";
+ *
+ * // Continue while the exponential delay is below five seconds.
  * const capped = whileScheduleOutput((delay: Millis) => delay < 5000)(
  *   exponential("1s"),
  * );
+ * const step = capped(testCreateDeps());
+ * step(undefined);
+ * step(undefined);
+ * step(undefined);
+ * expectErr(step(undefined), done());
  * ```
  *
  * @group Filtering
  */
 export const whileScheduleOutput = (predicate) => (schedule) => (deps) => {
     const step = schedule(deps);
+    let stopped = false;
     return (input) => {
+        if (stopped)
+            return err(done());
         const result = step(input);
         if (!result.ok)
             return result;
-        if (!predicate(result.value[0]))
+        if (!predicate(result.value[0])) {
+            stopped = true;
             return err(done());
+        }
         return result;
     };
 };
@@ -729,42 +982,69 @@ export const whileScheduleOutput = (predicate) => (schedule) => (deps) => {
  *
  * Stops (returns `Err(Done<void>)`) when {@link Predicate} returns `true`.
  *
- * ### Example
+ * ### Stopping by output
  *
  * ```ts
- * // Stop when delay reaches 1 second
+ * import {
+ *   done,
+ *   exponential,
+ *   testCreateDeps,
+ *   untilScheduleOutput,
+ *   type Millis,
+ * } from "@evolu/common";
+ *
+ * // Stop once the exponential delay reaches at least one second.
  * const limited = untilScheduleOutput((delay: Millis) => delay >= 1000)(
  *   exponential("100ms"),
  * );
+ * const step = limited(testCreateDeps());
+ * step(undefined);
+ * step(undefined);
+ * step(undefined);
+ * step(undefined);
+ * expectErr(step(undefined), done());
  * ```
  *
  * @group Filtering
  */
 export const untilScheduleOutput = (predicate) => (schedule) => (deps) => {
     const step = schedule(deps);
+    let stopped = false;
     return (input) => {
+        if (stopped)
+            return err(done());
         const result = step(input);
         if (!result.ok)
             return result;
-        if (predicate(result.value[0]))
+        if (predicate(result.value[0])) {
+            stopped = true;
             return err(done());
+        }
         return result;
     };
 };
 /**
- * Resets the schedule after a period of inactivity.
+ * Resets a running schedule after a period of inactivity.
  *
- * If `elapsedSincePrevious` is greater than or equal to `duration`, creates a
- * fresh state. Useful for circuit breakers that should "forget" failures after
- * idle time.
+ * Before each step, if the time since the previous step is at least `duration`,
+ * replaces the wrapped schedule with fresh state. Once the wrapped schedule
+ * returns `Done`, termination is final.
  *
- * ### Example
+ * ### Resetting after inactivity
  *
  * ```ts
- * // Reset retry count after 1 minute of success
- * const circuitBreaker = resetScheduleAfter("1m")(
- *   take(5)(exponential("1s")),
- * );
+ * import {
+ *   exponential,
+ *   resetScheduleAfter,
+ *   testCreateDeps,
+ * } from "@evolu/common";
+ *
+ * const backoff = resetScheduleAfter("1m")(exponential("1s"));
+ * const deps = testCreateDeps();
+ * const step = backoff(deps);
+ * expectOk(step(undefined), [1000, 1000]);
+ * deps.time.advance("1m");
+ * expectOk(step(undefined), [1000, 1000]);
  * ```
  *
  * @group State
@@ -774,12 +1054,18 @@ export const resetScheduleAfter = (duration) => {
     return (schedule) => (deps) => {
         let step = schedule(deps);
         const metrics = createScheduleStepMetrics(deps);
+        let stopped = false;
         return (input) => {
+            if (stopped)
+                return err(done());
             const { elapsedSincePrevious } = metrics();
             if (elapsedSincePrevious >= resetMs) {
                 step = schedule(deps);
             }
-            return step(input);
+            const result = step(input);
+            if (!result.ok)
+                stopped = true;
+            return result;
         };
     };
 };
@@ -788,15 +1074,22 @@ export const resetScheduleAfter = (duration) => {
  *
  * The delay (second tuple element) remains unchanged.
  *
- * ### Example
+ * ### Mapping schedule output
  *
  * ```ts
- * import { exponential, mapSchedule } from "@evolu/common";
- *
- * const schedule = mapSchedule((delay) => ({
+ * import {
+ *   exponential,
+ *   mapSchedule,
+ *   testCreateDeps,
+ *   type Millis,
+ * } from "@evolu/common";
+ *
+ * const schedule = mapSchedule((delay: Millis) => ({
  *   delay,
  *   doubled: delay * 2,
  * }))(exponential("100ms"));
+ * const step = schedule(testCreateDeps());
+ * expectOk(step(undefined), [{ delay: 100, doubled: 200 }, 100]);
  * ```
  *
  * @group Transform
@@ -831,31 +1124,45 @@ export function passthrough(schedule) {
  * Each step outputs the accumulated value. Useful for tracking totals,
  * collecting outputs, or building up metadata across attempts.
  *
- * ### Example
+ * ### Folding schedule output
  *
  * ```ts
- * // Track total delay spent
+ * import {
+ *   exponential,
+ *   foldSchedule,
+ *   minMillis,
+ *   spaced,
+ *   take,
+ *   testCreateDeps,
+ *   type Millis,
+ * } from "@evolu/common";
+ *
+ * // Accumulate totals, complete output histories, or structured metadata.
  * const withTotal = foldSchedule(
  *   0,
  *   (total: number, delay: Millis) => total + delay,
  * )(exponential("100ms"));
- * // Outputs: 100, 300, 700, 1500, ... (cumulative)
- *
- * // Collect all outputs
  * const collected = foldSchedule<ReadonlyArray<Millis>, Millis>(
  *   [],
- *   (acc, delay) => [...acc, delay],
+ *   (outputs, delay) => [...outputs, delay],
  * )(take(3)(spaced("1s")));
- * // Outputs: [1000], [1000, 1000], [1000, 1000, 1000]
- *
- * // Count attempts with custom output
  * const counted = foldSchedule(
  *   { attempts: 0, lastDelay: minMillis },
- *   (acc, delay: Millis) => ({
- *     attempts: acc.attempts + 1,
+ *   (state, delay: Millis) => ({
+ *     attempts: state.attempts + 1,
  *     lastDelay: delay,
  *   }),
  * )(exponential("100ms"));
+ *
+ * const deps = testCreateDeps();
+ * const totalStep = withTotal(deps);
+ * totalStep(undefined);
+ * expectOk(totalStep(undefined), [300, 200]);
+ * expectOk(collected(deps)(undefined), [[1000], 1000]);
+ * expectOk(counted(deps)(undefined), [
+ *   { attempts: 1, lastDelay: 100 },
+ *   100,
+ * ]);
  * ```
  *
  * @group Transform
@@ -879,12 +1186,15 @@ export const foldSchedule = (initial, f) => (schedule) => (deps) => {
  * Outputs 0, 1, 2, ... while preserving the underlying schedule's timing and
  * termination behavior.
  *
- * ### Example
+ * ### Counting repetitions
  *
  * ```ts
- * // Track how many retries occurred
- * const counted = repetitions(exponential("100ms"));
- * // Outputs: 0, 1, 2, ... with exponential delays
+ * import { exponential, repetitions, testCreateDeps } from "@evolu/common";
+ *
+ * // Count retries while preserving exponential timing.
+ * const step = repetitions(exponential("100ms"))(testCreateDeps());
+ * expectOk(step(undefined), [0, 100]);
+ * expectOk(step(undefined), [1, 200]);
  * ```
  *
  * @group Transform
@@ -896,17 +1206,28 @@ export const repetitions = (schedule) => foldSchedule(-1, (n) => n + 1)(schedule
  * Wraps a schedule to output its delay (in milliseconds) instead of the
  * original output. Useful for monitoring or logging delay patterns.
  *
- * ### Example
+ * ### Exposing and observing delays
  *
  * ```ts
- * // Monitor exponential delays
+ * import {
+ *   delays,
+ *   exponential,
+ *   tapScheduleOutput,
+ *   testCreateDeps,
+ *   type Millis,
+ * } from "@evolu/common";
+ *
+ * // Expose delays for monitoring, or observe them without changing output.
  * const monitorDelays = delays(exponential("100ms"));
- * // Outputs: 100, 200, 400, 800, ... (the delays themselves)
+ * const observed: Array<Millis> = [];
+ * const logged = tapScheduleOutput((delay: Millis) => {
+ *   observed.push(delay);
+ * })(delays(exponential("100ms")));
+ * const deps = testCreateDeps();
  *
- * // Log delays for debugging
- * const logged = tapScheduleOutput(console.log)(
- *   delays(exponential("100ms")),
- * );
+ * expectOk(monitorDelays(deps)(undefined), [100, 100]);
+ * expectOk(logged(deps)(undefined), [100, 100]);
+ * expect(observed).toEqual([100]);
  * ```
  *
  * @group Transform
@@ -924,14 +1245,25 @@ export const delays = (schedule) => (deps) => {
 /**
  * Collects all outputs into an array.
  *
- * Each step outputs an array containing all outputs so far.
+ * Each step outputs a new snapshot containing all outputs so far. Because all
+ * outputs are retained and copied on each step, use this combinator with finite
+ * schedules.
  *
- * ### Example
+ * ### Collecting outputs
  *
  * ```ts
- * // Collect all delays
+ * import {
+ *   collectAllScheduleOutputs,
+ *   spaced,
+ *   take,
+ *   testCreateDeps,
+ * } from "@evolu/common";
+ *
+ * // Retain every delay produced by the finite schedule.
  * const collected = collectAllScheduleOutputs(take(3)(spaced("100ms")));
- * // Outputs: [100], [100, 100], [100, 100, 100]
+ * const step = collected(testCreateDeps());
+ * step(undefined);
+ * expectOk(step(undefined), [[100, 100], 100]);
  * ```
  *
  * @group Collection
@@ -943,14 +1275,24 @@ export const collectAllScheduleOutputs = (schedule) => foldSchedule([], (acc, ou
  * Each step outputs an array containing all inputs received so far. Mirror of
  * {@link collectAllScheduleOutputs} but for inputs.
  *
- * ### Example
+ * ### Collecting inputs
  *
  * ```ts
- * // Collect all errors during retry
- * const errorHistory = collectScheduleInputs(
- *   take(3)(exponential("100ms")),
- * );
- * // After 3 retries, outputs array of all error inputs
+ * import {
+ *   collectScheduleInputs,
+ *   exponential,
+ *   take,
+ *   testCreateDeps,
+ *   type Millis,
+ *   type Schedule,
+ * } from "@evolu/common";
+ *
+ * const retries: Schedule<Millis, string> = take(3)(exponential("100ms"));
+ * // Keep every error received during retry.
+ * const errorHistory = collectScheduleInputs(retries);
+ * const step = errorHistory(testCreateDeps());
+ * step("network");
+ * expectOk(step("timeout"), [["network", "timeout"], 200]);
  * ```
  *
  * @group Collection
@@ -962,14 +1304,27 @@ export const collectScheduleInputs = (schedule) => collectAllScheduleOutputs(pas
  * More flexible than {@link collectAllScheduleOutputs} — stops collecting when
  * the predicate returns false.
  *
- * ### Example
+ * ### Collecting while output matches
  *
  * ```ts
- * // Collect delays while under 1 second
+ * import {
+ *   collectWhileScheduleOutput,
+ *   done,
+ *   exponential,
+ *   testCreateDeps,
+ *   type Millis,
+ * } from "@evolu/common";
+ *
+ * // Collect delays only while they remain below one second.
  * const smallDelays = collectWhileScheduleOutput(
  *   (delay: Millis) => delay < 1000,
  * )(exponential("100ms"));
- * // Outputs: [100], [100, 200], [100, 200, 400], [100, 200, 400, 800], stops
+ * const step = smallDelays(testCreateDeps());
+ * step(undefined);
+ * step(undefined);
+ * step(undefined);
+ * expectOk(step(undefined), [[100, 200, 400, 800], 800]);
+ * expectErr(step(undefined), done());
  * ```
  *
  * @group Collection
@@ -979,16 +1334,29 @@ export const collectWhileScheduleOutput = (predicate) => (schedule) => collectAl
  * Collects outputs until a predicate becomes true.
  *
  * Mirror of {@link collectWhileScheduleOutput} — stops collecting when the
- * predicate returns true (inclusive of the matching output).
+ * predicate returns true.
  *
- * ### Example
+ * ### Collecting until output matches
  *
  * ```ts
- * // Collect delays until reaching 1 second
+ * import {
+ *   collectUntilScheduleOutput,
+ *   done,
+ *   exponential,
+ *   testCreateDeps,
+ *   type Millis,
+ * } from "@evolu/common";
+ *
+ * // Collect delays until the next delay reaches at least one second.
  * const untilLarge = collectUntilScheduleOutput(
  *   (delay: Millis) => delay >= 1000,
  * )(exponential("100ms"));
- * // Outputs: [100], [100, 200], [100, 200, 400], [100, 200, 400, 800], stops
+ * const step = untilLarge(testCreateDeps());
+ * step(undefined);
+ * step(undefined);
+ * step(undefined);
+ * expectOk(step(undefined), [[100, 200, 400, 800], 800]);
+ * expectErr(step(undefined), done());
  * ```
  *
  * @group Collection
@@ -1000,16 +1368,27 @@ export const collectUntilScheduleOutput = (predicate) => (schedule) => collectAl
  * Useful for adaptive strategies that start aggressive and become more
  * conservative over time.
  *
- * ### Example
+ * ### Sequencing strategies
  *
  * ```ts
- * // Fast retries first, then slower, then final fallback
- * const adaptive = sequenceSchedules(
+ * import {
+ *   exponential,
+ *   fixed,
+ *   sequenceSchedules,
+ *   take,
+ *   testCreateDeps,
+ * } from "@evolu/common";
+ *
+ * // Fast retries first, then slower retries, then a steady fallback.
+ * const step = sequenceSchedules(
  *   take(3)(exponential("100ms")),
  *   take(5)(fixed("500ms")),
  *   fixed("1s"),
- * );
- * // Runs: 100ms, 200ms, 400ms, then 500ms×5, then 1s forever
+ * )(testCreateDeps());
+ * step(undefined);
+ * step(undefined);
+ * step(undefined);
+ * expectOk(step(undefined), [0, 500]);
  * ```
  *
  * @group Composition
@@ -1034,14 +1413,28 @@ export const sequenceSchedules = (...schedules) => (deps) => {
  *
  * Continues only while both schedules want to continue. Uses the maximum delay.
  *
- * ### Example
+ * ### Combining constraints with AND
  *
  * ```ts
- * // Retry up to 5 times AND within 30 seconds (both conditions must be met)
- * const both = intersectSchedules(
+ * import {
+ *   done,
+ *   exponential,
+ *   forever,
+ *   intersectSchedules,
+ *   maxElapsed,
+ *   take,
+ *   testCreateDeps,
+ * } from "@evolu/common";
+ *
+ * // Retry at most 5 times and only within 30 seconds.
+ * const deps = testCreateDeps();
+ * const step = intersectSchedules(
  *   take(5)(exponential("1s")),
  *   maxElapsed("30s")(forever),
- * );
+ * )(deps);
+ * expectOk(step(undefined), [[1000, 0], 1000]);
+ * deps.time.advance("30s");
+ * expectErr(step(undefined), done());
  * ```
  *
  * @group Composition
@@ -1049,14 +1442,19 @@ export const sequenceSchedules = (...schedules) => (deps) => {
 export const intersectSchedules = (a, b) => (deps) => {
     const stepA = a(deps);
     const stepB = b(deps);
+    let stopped = false;
     return (input) => {
+        if (stopped)
+            return err(done());
         const resultA = stepA(input);
         const resultB = stepB(input);
-        if (!resultA.ok || !resultB.ok)
+        if (!resultA.ok || !resultB.ok) {
+            stopped = true;
             return err(done());
+        }
         const [outputA, delayA] = resultA.value;
         const [outputB, delayB] = resultB.value;
-        return ok([[outputA, outputB], Millis.orThrow(Math.max(delayA, delayB))]);
+        return ok([[outputA, outputB], max(delayA, delayB)]);
     };
 };
 /**
@@ -1064,34 +1462,50 @@ export const intersectSchedules = (a, b) => (deps) => {
  *
  * Continues while either schedule wants to continue. Uses the minimum delay.
  *
- * ### Example
+ * ### Combining constraints with OR
  *
  * ```ts
- * // Retry up to 5 times OR up to 30 seconds, whichever is longer
+ * import {
+ *   done,
+ *   spaced,
+ *   take,
+ *   testCreateDeps,
+ *   unionSchedules,
+ * } from "@evolu/common";
+ *
+ * // The second policy keeps the union alive after the first one stops.
  * const either = unionSchedules(
- *   take(5)(exponential("1s")),
- *   maxElapsed("30s")(forever),
+ *   take(1)(spaced("100ms")),
+ *   take(2)(spaced("200ms")),
  * );
+ * const step = either(testCreateDeps());
+ * expectOk(step(undefined), [100, 100]);
+ * expectOk(step(undefined), [200, 200]);
+ * expectErr(step(undefined), done());
  * ```
  *
  * @group Composition
  */
 export const unionSchedules = (a, b) => (deps) => {
-    const stepA = a(deps);
-    const stepB = b(deps);
+    let stepA = a(deps);
+    let stepB = b(deps);
     return (input) => {
-        const resultA = stepA(input);
-        const resultB = stepB(input);
-        if (!resultA.ok && !resultB.ok)
+        if (stepA === null && stepB === null)
             return err(done());
-        if (!resultA.ok)
-            return resultB;
-        if (!resultB.ok)
+        const resultA = stepA?.(input) ?? null;
+        const resultB = stepB?.(input) ?? null;
+        if (resultA !== null && !resultA.ok)
+            stepA = null;
+        if (resultB !== null && !resultB.ok)
+            stepB = null;
+        if (!resultA?.ok)
+            return resultB?.ok ? resultB : err(done());
+        if (!resultB?.ok)
             return resultA;
         const [outputA, delayA] = resultA.value;
         const [outputB, delayB] = resultB.value;
         // Use minimum delay, output from the one with smaller delay
-        const minDelay = Millis.orThrow(Math.min(delayA, delayB));
+        const minDelay = min(delayA, delayB);
         return delayA <= delayB
             ? ok([outputA, minDelay])
             : ok([outputB, minDelay]);
@@ -1104,15 +1518,36 @@ export const unionSchedules = (a, b) => (deps) => {
  * base schedule. Useful for implementing error-aware backoff where certain
  * errors (e.g., throttling) use different delays.
  *
- * ### Example
+ * Each branch has independent state. Place combinators such as {@link take}
+ * outside `whenInput` when their state must be shared across both branches.
+ *
+ * ### Selecting a schedule by input
  *
  * ```ts
+ * import {
+ *   done,
+ *   exponential,
+ *   take,
+ *   testCreateDeps,
+ *   whenInput,
+ *   type Millis,
+ *   type Typed,
+ * } from "@evolu/common";
+ *
  * interface MyError extends Typed<"Throttled" | "NetworkError"> {}
  *
- * const awsWithThrottling = whenInput<MyError, Millis>(
- *   (error) => error.type === "Throttled",
- *   exponential("1s"), // throttled: 1s base
- * )(exponential("100ms")); // normal: 100ms base
+ * // The outer take shares one retry limit across both error branches.
+ * const awsWithThrottling = take(3)(
+ *   whenInput<MyError, Millis>(
+ *     (error) => error.type === "Throttled",
+ *     exponential("1s"),
+ *   )(exponential("100ms")),
+ * );
+ * const step = awsWithThrottling(testCreateDeps());
+ * expectOk(step({ type: "Throttled" }), [1000, 1000]);
+ * expectOk(step({ type: "NetworkError" }), [100, 100]);
+ * expectOk(step({ type: "Throttled" }), [2000, 2000]);
+ * expectErr(step({ type: "NetworkError" }), done());
  * ```
  *
  * @group Composition
@@ -1120,10 +1555,14 @@ export const unionSchedules = (a, b) => (deps) => {
 export const whenInput = (predicate, altSchedule) => (schedule) => (deps) => {
     const normalStep = schedule(deps);
     const altStep = altSchedule(deps);
+    let stopped = false;
     return (input) => {
-        if (predicate(input))
-            return altStep(input);
-        return normalStep(input);
+        if (stopped)
+            return err(done());
+        const result = predicate(input) ? altStep(input) : normalStep(input);
+        if (!result.ok)
+            stopped = true;
+        return result;
     };
 };
 /**
@@ -1132,19 +1571,34 @@ export const whenInput = (predicate, altSchedule) => (schedule) => (deps) => {
  * Useful for logging, monitoring, or debugging without changing schedule
  * behavior.
  *
- * ### Example
+ * ### Observing schedule output
  *
  * ```ts
- * // Log each delay for debugging
+ * import {
+ *   exponential,
+ *   retryStrategyAws,
+ *   tapScheduleOutput,
+ *   testCreateDeps,
+ *   type Millis,
+ * } from "@evolu/common";
+ *
+ * // Log each delay for debugging.
+ * const messages: Array<string> = [];
  * const logged = tapScheduleOutput((delay: Millis) => {
- *   console.log(`Next delay: ${delay}ms`);
+ *   messages.push(`Next delay: ${delay}ms`);
  * })(exponential("100ms"));
  *
- * // Track metrics
- * const recorded: Array<Millis> = [];
- * const tracked = tapScheduleOutput((delay: Millis) => {
- *   recorded.push(delay);
+ * // Track the preset's pre-jitter delay candidates without changing it.
+ * const recordedCandidates: Array<Millis> = [];
+ * const tracked = tapScheduleOutput((candidate: Millis) => {
+ *   recordedCandidates.push(candidate);
  * })(retryStrategyAws);
+ * const deps = testCreateDeps();
+ * logged(deps)(undefined);
+ * tracked(deps)(undefined);
+ *
+ * expect(messages).toEqual(["Next delay: 100ms"]);
+ * expect(recordedCandidates).toEqual([50]);
  * ```
  *
  * @group Side effects
@@ -1165,23 +1619,38 @@ export const tapScheduleOutput = (f) => (schedule) => (deps) => {
  * Useful for logging errors during retry or monitoring what values are being
  * processed.
  *
- * ### Example
+ * ### Observing schedule input
  *
  * ```ts
- * interface MyError extends Typed<string> {}
- *
+ * import {
+ *   exponential,
+ *   tapScheduleInput,
+ *   testCreateDeps,
+ *   type Millis,
+ *   type Schedule,
+ *   type Typed,
+ * } from "@evolu/common";
+ *
+ * interface MyError extends Typed<"NetworkError" | "Timeout"> {}
  * const retrySchedule: Schedule<Millis, MyError> = exponential("100ms");
- *
- * // Log each error during retry
+ * // Log errors for debugging.
+ * const messages: Array<string> = [];
  * const logged = tapScheduleInput((error: MyError) => {
- *   console.log(`Retrying after error: ${error.type}`);
+ *   messages.push(`Retrying after error: ${error.type}`);
  * })(retrySchedule);
  *
- * // Track retry reasons
+ * // Or retain just the retry reasons for metrics.
  * const reasons: Array<string> = [];
  * const tracked = tapScheduleInput((error: MyError) => {
  *   reasons.push(error.type);
  * })(retrySchedule);
+ * const deps = testCreateDeps();
+ * const error: MyError = { type: "NetworkError" };
+ * logged(deps)(error);
+ * tracked(deps)(error);
+ *
+ * expect(messages).toEqual(["Retrying after error: NetworkError"]);
+ * expect(reasons).toEqual(["NetworkError"]);
  * ```
  *
  * @group Side effects
@@ -1194,15 +1663,17 @@ export const tapScheduleInput = (f) => (schedule) => (deps) => {
     };
 };
 /**
- * AWS standard retry strategy.
+ * AWS SDK for Java 2.1 ordinary-failure retry timing.
  *
- * Exponential backoff (100ms base), max 2 retries (3 total attempts), 20s cap,
+ * Exponential backoff (50ms base), max 2 retries (3 total attempts), 20s cap,
  * full jitter.
  *
+ * This schedule does not model throttling-specific timing, token accounting, or
+ * circuit breaking.
+ *
  * @group Retry Strategies
- * @see https://github.com/aws/aws-sdk-java-v2/blob/master/core/retries/src/main/java/software/amazon/awssdk/retries/StandardRetryStrategy.java
- * @see https://github.com/aws/aws-sdk-java-v2/blob/master/core/retries/src/main/java/software/amazon/awssdk/retries/DefaultRetryStrategy.java
+ * @see https://github.com/aws/aws-sdk-java-v2/blob/b69b75f07b6ebd93fd44b032d49b76a3b71fbb90/core/retries/src/main/java/software/amazon/awssdk/retries/DefaultRetryStrategy.java
  */
-export const retryStrategyAws = /*#__PURE__*/ jitter(1)(
+export const retryStrategyAws = /*#__PURE__*/ jitter("100%")(
 /*#__PURE__*/ maxDelay("20s")(
-/*#__PURE__*/ take(2)(/*#__PURE__*/ exponential("100ms"))));
+/*#__PURE__*/ take(2)(/*#__PURE__*/ exponential("50ms"))));