@rotorsoft/act 1.32.14 → 1.32.16

package/dist/@types/internal/correlate-cycle.d.ts

@@ -3,11 +3,10 @@
  * @category Internal
  *
  * Correlation — the discovery half of the correlate→drain pair. Owns the
- * lazy init (subscribe static targets, read cold-start watermark), the
- * scan that resolves each event to its target streams, and the periodic
- * timer that drives background discovery.
+ * lazy init (subscribe static targets, read cold-start watermark) and the
+ * scan that resolves each event to its target streams.
  *
- * The scan is also the **producer of the work mark** (#1487): every target
+ * The scan is also the **producer of the work mark**: every target
  * an event resolves to is subscribed with `correlated_at` = that event's
  * id, which is how `claim` answers "does this stream have work?" off the
  * subscription row instead of probing the event log.
@@ -35,18 +34,7 @@ export type StaticTarget = {
     readonly priority?: number;
     readonly lane?: string;
 };
-/**
- * Drives correlation for one Act instance. Owns the checkpoint, the
- * subscribed-streams LRU, and the periodic timer.
- *
- * @internal
- */
-/**
- * Constructor dependencies for {@link CorrelateCycle}. A named bag rather
- * than a positional list: the trailing hooks (`on_init`, `on_init_async`)
- * plus `cold_start_back_scan` are all optional and easy to transpose
- * positionally, so callers pass them by name.
- */
+/** Constructor dependencies for {@link CorrelateCycle}. */
 export type CorrelateCycleDeps<TSchemaReg extends SchemaRegister<TActions>, TEvents extends Schemas, TActions extends Schemas> = {
     registry: Registry<TSchemaReg, TEvents, TActions>;
     static_targets: ReadonlyArray<StaticTarget>;
@@ -56,7 +44,7 @@ export type CorrelateCycleDeps<TSchemaReg extends SchemaRegister<TActions>, TEve
      * Every lane a controller exists for — `"default"` plus each
      * `.withLane({name})`. Injected rather than derived: `internal/` receives
      * what it needs. A resolution naming anything outside this set has no
-     * claimant, so correlate reroutes it here (#1564).
+     * claimant, so correlate reroutes it here.
      */
     declared_lanes: ReadonlySet<string>;
     on_init?: () => void;
@@ -64,11 +52,17 @@ export type CorrelateCycleDeps<TSchemaReg extends SchemaRegister<TActions>, TEve
     cold_start_back_scan?: number;
     lease_millis?: number;
 };
+/**
+ * Drives correlation for one Act instance. Owns the checkpoint, the
+ * correlation lease and the subscription records.
+ *
+ * @internal
+ */
 export declare class CorrelateCycle<TSchemaReg extends SchemaRegister<TActions>, TEvents extends Schemas, TActions extends Schemas> {
     private _checkpoint;
     private _initialized;
     /**
-     * This worker's identity for the correlation lease (#1532). A per-instance
+     * This worker's identity for the correlation lease. A per-instance
      * UUID, matching the drain's convention, so a renewal is recognised as the
      * same holder and a restarted process never inherits a stale claim.
      */
@@ -84,24 +78,15 @@ export declare class CorrelateCycle<TSchemaReg extends SchemaRegister<TActions>,
      * When this worker's correlation lease runs out, as a local clock reading,
      * or 0 when it holds none.
      *
-     * Asking the store on every pass costs a round trip that the holder — which
-     * is the *only* worker in a single-node deployment, and the steady-state
-     * one everywhere else — gains nothing from: it already knows the answer.
-     * The act-sqlite perf gate caught that as a 1.5x regression on
-     * correlate+drain, which is the shape an embedded app runs constantly.
-     *
-     * Believing this while the store disagrees is safe in the one direction it
-     * can fail. A worker that scans without really holding the lease produces
-     * the duplicate scan that existed before the lease, and the marks are
-     * idempotent — so a stale belief costs work, never correctness.
+     * Cached so the holder doesn't ask the store on every pass. A stale belief
+     * can only cause a duplicate scan, and marks are idempotent, so it costs
+     * work, never correctness.
      */
     private _lease_until;
     /**
-     * Whether a scan might find anything. The drain has carried the same flag
-     * since it was written — a commit raises it, an empty claim lowers it, and
-     * a disarmed drain returns without touching the store. Correlate had no
-     * equivalent, so a settle pass always scanned, including the final pass
-     * whose only job is to confirm nothing changed (#1510).
+     * Whether a scan might find anything, like the drain's flag: a commit or
+     * notification raises it, a short page lowers it, and a disarmed scan
+     * returns without touching the store.
      *
      * Starts armed: the log may already hold events this process has never
      * correlated, and only a scan can find out.
@@ -116,14 +101,8 @@ export declare class CorrelateCycle<TSchemaReg extends SchemaRegister<TActions>,
      * is already bounded by the registry and costs nothing the registry does
      * not already hold.
      *
-     * Keeping these out of the LRU is what makes the `+Infinity` floor an
-     * invariant rather than a race (#1582). Sharing the bounded map meant a
-     * churn of dynamic targets could evict a static record, and the next
-     * dynamic resolution to that target found no record, took the
-     * first-discovery branch, and re-subscribed the target with its own
-     * priority and lane — silently re-laning a stream whose lane the
-     * build-time subscribe owns, and starving it wherever `onlyLanes` had
-     * provisioned a worker for the declared lane.
+     * Kept out of the LRU so eviction can never drop a static target's
+     * `+Infinity` floor and let a dynamic resolution re-lane it.
      */
     private readonly _static_subscriptions;
     /** Compiled pattern sources, bounded by {@link PATTERN_CACHE_SIZE}. */
@@ -133,17 +112,13 @@ export declare class CorrelateCycle<TSchemaReg extends SchemaRegister<TActions>,
     private readonly _cd;
     private readonly _on_init;
     /**
-     * Async cold-start hook (#1221). Runs once, after the sync `on_init`,
-     * inside the same `init()` await. The orchestrator uses it to re-seed the
-     * process-local defer timers from the store's persisted `deferred_at` so
-     * an idle deferred stream re-arms its drain across a restart. Kept
-     * separate from `on_init` because seeding is an async store read; `init`
-     * already awaits, so folding it in here preserves the "runs exactly once"
-     * guarantee without a second gate on the Act side.
+     * Async cold-start hook, run once after `on_init` inside `init()`. The
+     * orchestrator re-seeds its defer timers from the persisted `deferred_at`
+     * here, so an idle deferred stream re-arms across a restart.
      */
     private readonly _on_init_async;
     /**
-     * Tail re-scan window applied to the cold-start checkpoint (ACT-1207).
+     * Tail re-scan window applied to the cold-start checkpoint.
      * See {@link DEFAULT_COLD_START_BACK_SCAN}. Constructor arg (not a
      * public option) so tests can shrink it; defaults otherwise.
      */
@@ -170,28 +145,13 @@ export declare class CorrelateCycle<TSchemaReg extends SchemaRegister<TActions>,
      * - Reads the durable correlate checkpoint (and max(at)) from the store,
      *   flooring a first boot at `watermark - back_scan` so an event
      *   committed-but-not-correlated before a crash is re-scanned on
-     *   restart instead of skipped (ACT-1207)
+     *   restart instead of skipped
      * - Subscribes static resolver targets (idempotent upsert)
      * - Populates the subscribed-streams LRU
      * - Fires `on_init` once (Act uses this to flag a cold-start drain)
      */
     init(): Promise<void>;
     private _run_init;
-    /**
-     * Forget targets whose subscription rows no longer exist, so a later
-     * scan can re-subscribe them.
-     *
-     * A full close deletes the closed stream's subscription row. The
-     * in-process dedup would otherwise still believe the target is
-     * subscribed and never re-issue `subscribe()`, silently stopping
-     * delivery for any reaction whose target is named after the stream —
-     * the documented per-aggregate shape `.to(e => ({target: e.stream}))`
-     * makes those two namespaces collide by construction (#1398).
-     *
-     * Static targets are left alone: their record lives in
-     * `_static_subscriptions`, which this never touches, so they stay pinned
-     * at +Infinity and the dynamic path never re-opens them.
-     */
     /**
      * Start correlation over after the event log was replaced wholesale
      * (`restore`). The restored log is renumbered from the start and its
@@ -200,9 +160,14 @@ export declare class CorrelateCycle<TSchemaReg extends SchemaRegister<TActions>,
      * and the init latch makes the next pass run cold-start again: static
      * targets are re-subscribed, the checkpoint is re-read from the store
      * (which `restore` reset), and dynamic targets are rediscovered by the
-     * scan (#1772).
+     * scan.
      */
     restart(): void;
+    /**
+     * Forget dynamic targets whose subscription rows no longer exist (a full
+     * close deletes the row), so a later scan re-subscribes them. Static
+     * targets keep their records.
+     */
     forget_subscribed(streams: Iterable<string>): void;
     /**
      * Would an event from `stream` be fetched for a target subscribed with
@@ -216,7 +181,7 @@ export declare class CorrelateCycle<TSchemaReg extends SchemaRegister<TActions>,
      * Scan the events past the checkpoint, resolve each to its target
      * streams, and record what it found through `cd.subscribe` — new dynamic
      * targets get registered, and every target an event resolved to gets its
-     * **work mark** raised to that event's id (#1487).
+     * **work mark** raised to that event's id.
      *
      * Both resolver kinds are walked. A static target is already subscribed
      * at init, but marking it is what makes it claimable without probing the
@@ -224,18 +189,15 @@ export declare class CorrelateCycle<TSchemaReg extends SchemaRegister<TActions>,
      */
     correlate(query?: Query, 
     /**
-     * Whether to honour the correlation lease (#1532).
+     * Whether to honour the correlation lease.
      *
      * True only on the automatic paths — the settle loop and the poller —
      * where the question is "should *someone* scan?" and one worker doing it
      * serves all of them.
      *
-     * An explicit `app.correlate()` means "scan now", and silently no-oping
-     * it because a peer holds the lease would be wrong rather than merely
-     * surprising: `close` catches up by looping until the checkpoint moves,
-     * so a blocked scan would make it give up and cap its prune at a stale
-     * position — pruning far less than the retention window asked for, with
-     * nothing to explain why.
+     * An explicit `app.correlate()` means "scan now" and ignores the lease:
+     * `close` catches up by looping until the checkpoint moves, and a
+     * lease-blocked scan would cap its prune at a stale position.
      */
     lease?: boolean): Promise<{
         subscribed: number;
@@ -247,18 +209,9 @@ export declare class CorrelateCycle<TSchemaReg extends SchemaRegister<TActions>,
     /**
      * Hand the correlation lease back early.
      *
-     * There is no release verb on the port, deliberately — expiry is the only
-     * path, which keeps a crash and a clean stop on the same code path. A
-     * holder can still shorten its own lease, because re-acquiring as the same
-     * holder renews, and renewing to a millisecond is a release in all but
-     * name.
-     *
-     * Without this a worker that stops cleanly still blocks discovery for the
-     * rest of its lease — invisible in a long-lived deployment, very visible
-     * anywhere Acts are created and dropped inside one process.
-     *
-     * Best-effort: failing here costs the lease's remaining lifetime, which is
-     * what would have happened had the process died instead.
+     * The port has no release verb; re-acquiring as the same holder with a
+     * zero duration releases it. Best-effort: a failure costs the lease's
+     * remaining lifetime, as a crash would.
      */
     release_correlation(): Promise<void>;
 }

package/dist/@types/internal/correlate-cycle.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"correlate-cycle.d.ts","sourceRoot":"","sources":["../../../src/internal/correlate-cycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAIH,OAAO,KAAK,EAEV,KAAK,EACL,QAAQ,EACR,cAAc,EACd,OAAO,EAER,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAuF3C;;;;;;;;;GASG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;AAgDF;;;;;GAKG;AACH;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,CAC5B,UAAU,SAAS,cAAc,CAAC,QAAQ,CAAC,EAC3C,OAAO,SAAS,OAAO,EACvB,QAAQ,SAAS,OAAO,IACtB;IACF,QAAQ,EAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClD,cAAc,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC;IAC5C,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IACtB,sBAAsB,EAAE,MAAM,CAAC;IAC/B;;;;;OAKG;IACH,cAAc,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC,OAAO,CAAC,EAAE,MAAM,IAAI,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IACpC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,CAAC;AA+EF,qBAAa,cAAc,CACzB,UAAU,SAAS,cAAc,CAAC,QAAQ,CAAC,EAC3C,OAAO,SAAS,OAAO,EACvB,QAAQ,SAAS,OAAO;IAExB,OAAO,CAAC,WAAW,CAAM;IACzB,OAAO,CAAC,YAAY,CAAS;IAC7B;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAgB;IACpC,mDAAmD;IACnD,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAS;IACvC;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAS;IAC9B;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,YAAY,CAAK;IACzB;;;;;;;;;OASG;IACH,OAAO,CAAC,MAAM,CAAQ;IACtB,yEAAyE;IACzE,OAAO,CAAC,aAAa,CAA4B;IAWjD,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAA+B;IACtE;;;;;;;;;;;;;;OAcG;IACH,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAmC;IACzE,uEAAuE;IACvE,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAkD;IAC5E,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA0C;IACpE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA8B;IAC9D,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAoB;IACxC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA2B;IACpD;;;;;;;;OAQG;IACH,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAoC;IACnE;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAS;IAC/C,qEAAqE;IACrE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAsB;IACtD;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAE/C,YAAY,EACV,QAAQ,EACR,cAAc,EACd,EAAE,EACF,sBAAsB,EACtB,cAAc,EACd,OAAO,EACP,aAAa,EACb,oBAAmD,EACnD,YAA2C,GAC5C,EAAE,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,EAWnD;IAED,gCAAgC;IAChC,IAAI,UAAU,IAAI,MAAM,CAEvB;IAED;;;;OAIG;IACH,GAAG,IAAI,IAAI,CAEV;IAED;;;;;;;;;OASG;IACG,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAiB1B;YAEa,SAAS;IAsCvB;;;;;;;;;;;;;;OAcG;IACH;;;;;;;;;OASG;IACH,OAAO,IAAI,IAAI,CAOd;IAED,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,IAAI,CAEjD;IAED;;;;;;OAMG;IACH,OAAO,CAAC,gBAAgB;IAcxB;;;;;;;;;OASG;IACG,SAAS,CACb,KAAK,GAAE,KAAgC;IACvC;;;;;;;;;;;;;OAaG;IACH,KAAK,UAAQ,GACZ,OAAO,CAAC;QACT,UAAU,EAAE,MAAM,CAAC;QACnB,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,0EAA0E;QAC1E,OAAO,EAAE,OAAO,CAAC;KAClB,CAAC,CA8PD;IAED;;;;;;;;;;;;;;;OAeG;IACG,mBAAmB,IAAI,OAAO,CAAC,IAAI,CAAC,CAgCzC;CACF"}
+{"version":3,"file":"correlate-cycle.d.ts","sourceRoot":"","sources":["../../../src/internal/correlate-cycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAIH,OAAO,KAAK,EAEV,KAAK,EACL,QAAQ,EACR,cAAc,EACd,OAAO,EAER,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAwE3C;;;;;;;;;GASG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB,CAAC;AAgDF,2DAA2D;AAC3D,MAAM,MAAM,kBAAkB,CAC5B,UAAU,SAAS,cAAc,CAAC,QAAQ,CAAC,EAC3C,OAAO,SAAS,OAAO,EACvB,QAAQ,SAAS,OAAO,IACtB;IACF,QAAQ,EAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClD,cAAc,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC;IAC5C,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IACtB,sBAAsB,EAAE,MAAM,CAAC;IAC/B;;;;;OAKG;IACH,cAAc,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC,OAAO,CAAC,EAAE,MAAM,IAAI,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IACpC,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,CAAC;AAiEF;;;;;GAKG;AACH,qBAAa,cAAc,CACzB,UAAU,SAAS,cAAc,CAAC,QAAQ,CAAC,EAC3C,OAAO,SAAS,OAAO,EACvB,QAAQ,SAAS,OAAO;IAExB,OAAO,CAAC,WAAW,CAAM;IACzB,OAAO,CAAC,YAAY,CAAS;IAC7B;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAgB;IACpC,mDAAmD;IACnD,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAS;IACvC;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAS;IAC9B;;;;;;;OAOG;IACH,OAAO,CAAC,YAAY,CAAK;IACzB;;;;;;;OAOG;IACH,OAAO,CAAC,MAAM,CAAQ;IACtB,yEAAyE;IACzE,OAAO,CAAC,aAAa,CAA4B;IAKjD,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAA+B;IACtE;;;;;;;;OAQG;IACH,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAmC;IACzE,uEAAuE;IACvE,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAkD;IAC5E,OAAO,CAAC,QAAQ,CAAC,SAAS,CAA0C;IACpE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA8B;IAC9D,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAoB;IACxC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA2B;IACpD;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAoC;IACnE;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAS;IAC/C,qEAAqE;IACrE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAsB;IACtD;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAE/C,YAAY,EACV,QAAQ,EACR,cAAc,EACd,EAAE,EACF,sBAAsB,EACtB,cAAc,EACd,OAAO,EACP,aAAa,EACb,oBAAmD,EACnD,YAA2C,GAC5C,EAAE,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,EAWnD;IAED,gCAAgC;IAChC,IAAI,UAAU,IAAI,MAAM,CAEvB;IAED;;;;OAIG;IACH,GAAG,IAAI,IAAI,CAEV;IAED;;;;;;;;;OASG;IACG,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAa1B;YAEa,SAAS;IA0BvB;;;;;;;;;OASG;IACH,OAAO,IAAI,IAAI,CAOd;IAED;;;;OAIG;IACH,iBAAiB,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,IAAI,CAEjD;IAED;;;;;;OAMG;IACH,OAAO,CAAC,gBAAgB;IAcxB;;;;;;;;;OASG;IACG,SAAS,CACb,KAAK,GAAE,KAAgC;IACvC;;;;;;;;;;OAUG;IACH,KAAK,UAAQ,GACZ,OAAO,CAAC;QACT,UAAU,EAAE,MAAM,CAAC;QACnB,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,0EAA0E;QAC1E,OAAO,EAAE,OAAO,CAAC;KAClB,CAAC,CAmMD;IAED;;;;;;OAMG;IACG,mBAAmB,IAAI,OAAO,CAAC,IAAI,CAAC,CAiBzC;CACF"}

package/dist/@types/internal/correlator.d.ts

@@ -2,7 +2,7 @@
  * @module correlator
  * @category Internal
  *
- * Correlation-id generator and the default implementation (ACT-404).
+ * Correlation-id generator and the default implementation.
  *
  * The default produces a readable, time-monotonic-within-window, lowercase
  * id like `coun-incr-lwxk9p3a` — short enough to scan in logs, structured

package/dist/@types/internal/date-reviver.d.ts

@@ -18,7 +18,7 @@
  *
  * The shape-based {@link dateReviver} in `utils.ts` is the predecessor this
  * replaced — it revived anything ISO-8601-looking, including fields declared
- * `z.string()` ([#1556](https://github.com/Rotorsoft/act-root/issues/1556)).
+ * `z.string()`.
  *
  * @internal
  */

package/dist/@types/internal/defer-config.d.ts

@@ -2,7 +2,7 @@
  * @module defer-config
  * @category Internal
  *
- * The `when` options for the public `defer` surface (#1091, RFC 0001). A
+ * The `when` options for the public `defer` surface. A
  * reaction defers itself to a future time either declaratively (the
  * `.defer(when)` builder step) or imperatively (`throw new DeferSignal(when)`
  * inside a handler); both resolve `when` through here.
@@ -17,7 +17,7 @@
  *
  * Validation follows the config-schema standard (CLAUDE.md): an internal
  * `*OptionsSchema` const, a public inferred type, and a resolver. Slice 2
- * ships `after` / `at`; recurrence (`every`) extends this in Slice 3 (#1092).
+ * ships `after` / `at`; recurrence (`every`) extends this in Slice 3.
  *
  * @internal
  */

package/dist/@types/internal/defer-signal.d.ts

@@ -2,8 +2,8 @@
  * @module defer-signal
  * @category Internal
  *
- * The control-flow signal a reaction handler throws to *defer* itself
- * (#1090, #1091). Unlike an error, a defer is not a failure: the dispatcher
+ * The control-flow signal a reaction handler throws to *defer* itself.
+ * Unlike an error, a defer is not a failure: the dispatcher
  * ({@link "reaction-builder".build_handle}) catches it and produces a
  * `HandleResult.defer` — the triggering events stay pending (watermark not
  * advanced), `retry` is not bumped, and the drain re-visits the stream at the

package/dist/@types/internal/defer-timer.d.ts

@@ -2,7 +2,7 @@
  * @module defer-timer
  * @category Internal
  *
- * The shared "next visit time" primitive (#1090). A `DeferTimer` holds a
+ * The shared "next visit time" primitive. A `DeferTimer` holds a
  * `stream → due-time` map and a single collapsed wake timer: it parks
  * streams that should be re-visited later and fires one `on_wake` callback
  * at the earliest pending due-time, garbage-collecting the entries that have
@@ -23,8 +23,8 @@
  * *derived* from (an un-advanced watermark, an event's `created` timestamp),
  * not from the map. A restart empties the map, so the cold-start rebuild is
  * explicit: `CorrelateCycle.init` seeds each still-future `deferred_at` back
- * onto the owning lane's timer via {@link "drain-cycle".DrainController.seed_defer}
- * (#1221), so an idle deferred stream re-arms at its due-time with no
+ * onto the owning lane's timer via {@link "drain-cycle".DrainController.seed_defer},
+ * so an idle deferred stream re-arms at its due-time with no
  * intervening commit.
  *
  * @internal

package/dist/@types/internal/drain-cycle.d.ts

@@ -9,8 +9,7 @@
  *   Reusable for property tests and standalone benchmarks.
  *
  * - {@link DrainController} — stateful driver that owns the armed flag,
- *   the concurrency lock, and the adaptive lag/lead ratio. Wraps
- *   `run_drain_cycle` with the lifecycle decisions Act used to make inline.
+ *   the concurrency lock, and the adaptive lag/lead ratio.
  *
  * @internal
  */
@@ -27,11 +26,8 @@ export type HandleResult = Readonly<{
     lease: Lease;
     handled: number;
     /**
-     * Event id at which the ack would land — the last *successful* event
-     * id, or `lease.at` when the batch had no work (empty payloads). Named
-     * `acked_at` to pair symmetrically with {@link failed_at} and to keep
-     * it visually distinct from `Lease.at` (the pre-cycle watermark — same
-     * field name across types but a different semantic).
+     * Event id at which the ack would land: the last *successful* event id,
+     * or `lease.at` when the batch had no work.
      */
     acked_at: number;
     error?: string;
@@ -44,25 +40,16 @@ export type HandleResult = Readonly<{
      */
     next_attempt_at?: number;
     /**
-     * Wall-clock timestamp (ms since epoch) at which this stream should be
-     * re-visited. Set by a handler that *defers* instead of acking or
-     * failing: the triggering events stay pending (watermark not advanced),
-     * `retry` is not bumped (a defer is not a failure), and the drain holds
-     * the stream until `defer` elapses, then redelivers so the handler can
-     * re-evaluate. This is the timing primitive autoclose rides (#1090);
-     * unlike {@link next_attempt_at} (a retry-only backoff), a defer carries
-     * no error and never blocks. When present, the result is excluded from
-     * ack and block — it neither advances nor terminates the watermark.
+     * Wall-clock timestamp (ms since epoch) at which to re-visit a stream
+     * whose handler *deferred*: the triggering events stay pending, `retry`
+     * is not bumped, and the drain redelivers once `defer` elapses. Unlike
+     * {@link next_attempt_at}, a defer carries no error and never blocks.
      */
     defer?: number;
     /**
-     * Close request (#1090). Set when a handler throws `CloseSignal` to retire
-     * its stream: the triggering event is acked (so the closing reaction isn't
-     * seen as an in-flight consumer by the close-cycle safety guard) and the
-     * drain hands this {@link CloseTarget} to the orchestrator's `on_close`,
-     * which runs `run_close_cycle`. Carries the optional archiver from the
-     * signal. Distinct from {@link defer} (hold for later) — a close advances
-     * and retires.
+     * Close request from a handler that threw `CloseSignal`. The triggering
+     * event is acked (so the close guard doesn't see the reaction as in
+     * flight), then the drain hands this {@link CloseTarget} to `on_close`.
      */
     close?: CloseTarget;
     /**
@@ -97,9 +84,19 @@ export type DrainCycle<TEvents extends Schemas> = {
     readonly handled: HandleResult[];
     readonly acked: Lease[];
     readonly blocked: BlockedLease[];
-    /** Streams a handler asked to close this cycle (#1090) — handed to `on_close`. */
+    /** Streams a handler asked to close this cycle — handed to `on_close`. */
     readonly closeable: CloseTarget[];
 };
+/** One cycle's sizing and per-pass state, from {@link DrainController}. */
+type CycleInput = {
+    readonly lagging: number;
+    readonly leading: number;
+    readonly eventLimit: number;
+    readonly leaseMillis: number;
+    readonly misrouted: Set<string>;
+    /** The store failed on the previous pass — see {@link budget_exhausted}. */
+    readonly store_failing: boolean;
+};
 /**
  * Run one drain cycle: claim streams, fetch their events, dispatch
  * matching reactions, ack the successes, block the retries-exhausted.
@@ -113,17 +110,7 @@ export type DrainCycle<TEvents extends Schemas> = {
  *
  * @internal
  */
-export declare function run_drain_cycle<TEvents extends Schemas, TActions extends Schemas, TSchemaReg extends SchemaRegister<TActions>>(ops: DrainOps<TEvents>, registry: Registry<TSchemaReg, TEvents, TActions>, batch_handlers: Map<string, BatchHandler<TEvents>>, misrouted: Set<string>, 
-/** The store failed on the previous pass — see {@link budget_exhausted}. */
-store_failing: boolean, handle: Handle<TEvents>, handle_batch: HandleBatch<TEvents>, lagging: number, leading: number, eventLimit: number, leaseMillis: number, 
-/**
- * Emitted as soon as `block` confirms, BEFORE the `ack` that follows.
- * A block is terminal: every adapter gates `block` on `blocked = false`
- * and excludes a blocked stream from `claim`, so it never runs again for
- * that stream. If the emit waited until the end of the cycle, an `ack`
- * failure in between would lose the `blocked` event permanently (#1390).
- */
-on_blocked: (blocked: BlockedLease[]) => void, lane?: string): Promise<DrainCycle<TEvents> | undefined>;
+export declare function run_drain_cycle<TEvents extends Schemas, TActions extends Schemas, TSchemaReg extends SchemaRegister<TActions>>(deps: DrainControllerDeps<TEvents, TActions, TSchemaReg>, cycle: CycleInput): Promise<DrainCycle<TEvents> | undefined>;
 /**
  * Dependencies the {@link DrainController} needs from the orchestrator.
  * The lifecycle event sinks (`on_acked` / `on_blocked`) are callbacks so
@@ -141,29 +128,21 @@ export type DrainControllerDeps<TEvents extends Schemas, TActions extends Schema
     readonly on_acked: (acked: Lease[]) => void;
     readonly on_blocked: (blocked: BlockedLease[]) => void;
     /**
-     * Close requested by a reaction (#1090). The controller calls this with the
-     * cycle's {@link CloseTarget}s after acks/blocks land; the orchestrator wires
-     * it to its `run_close_cycle` machinery (same path as `app.close`). Awaited so
-     * a slow close doesn't overlap the next cycle's claim on the controller.
+     * Runs the cycle's reaction-requested closes after acks/blocks land.
+     * Awaited so a slow close doesn't overlap the next claim.
      */
     readonly on_close: (targets: CloseTarget[]) => Promise<void>;
     /**
-     * Shared, orchestrator-owned circuit breaker (ACT-984). Trips after
-     * repeated store failures so the drain loop stops hammering a down
-     * backend; closed/half-open let attempts through. It also surfaces each
-     * failure (via its own `on_error`, wired by the orchestrator to the
-     * `error` lifecycle event), so callers just `failed(now, error)`.
+     * Shared circuit breaker. Opens after repeated store failures so the
+     * drain stops hammering a down backend, and surfaces each failure.
      */
     readonly breaker: CircuitBreaker;
     /**
-     * Scope runner (#1191). The per-lane worker (`start`) ticks outside
-     * any caller frame, so its `drain()` must be re-wrapped in the Act's
-     * `_scoped` bag or `store()`/`cache()` resolve to the singleton for a
-     * scoped Act. The orchestrator always threads its `_scoped` (identity
-     * for a non-scoped Act), so it's required.
+     * Runs a body in the Act's ports frame. The per-lane worker ticks outside
+     * any caller frame, so its drain must be re-scoped.
      */
     readonly run_scoped: <T>(fn: () => Promise<T>) => Promise<T>;
-    /** Lane this controller drains. Undefined = spans all lanes (legacy single-controller). */
+    /** Lane this controller drains. Undefined spans all lanes. */
     readonly lane?: string;
     /** Per-lane defaults applied when caller doesn't override via DrainOptions. */
     readonly defaults?: {
@@ -190,30 +169,23 @@ export declare class DrainController<TEvents extends Schemas, TActions extends S
     private _locked;
     private _ratio;
     /**
-     * Per-stream re-visit schedule (#1090): `stream → next visit` (ms since
-     * epoch). Holds both retry backoff (`HandleResult.next_attempt_at`) and the
-     * `defer` outcome; cleared on successful ack or terminal block. Lives in
-     * process memory — per-worker pacing by design (see {@link BackoffOptions}
-     * for the multi-worker trade-off). Its wake re-arms drain at the earliest
-     * pending visit.
+     * Local wake for streams this worker parked (backoff or defer). The
+     * schedule itself is persisted in the store; this only re-arms the drain
+     * at the earliest pending visit.
      */
     private readonly _defer;
-    /** Worker timer (ACT-1103). Set when `start()` is active, undefined otherwise. */
+    /** Worker timer. Set when `start()` is active, undefined otherwise. */
     private _worker;
     /**
-     * Misroutings this controller has reported (#1563). A resolver returning a
+     * Misroutings this controller has reported. A resolver returning a
      * projection's target does so for every matching event; one line per event
      * would bury the signal it exists to raise.
      */
     private readonly _misrouted;
     private _stopped;
     /**
-     * Resolves when the cycle currently in flight finishes; `undefined` when
-     * no cycle is running (#1442). `_locked` answers "is a cycle running?" for
-     * the overlap guard; this answers "tell me when it is done" for a graceful
-     * shutdown, which needs to await the handler rather than abandon it
-     * mid-`await` with the stream still leased. Never rejects — `drain()`
-     * contains its own errors — so awaiting it is always safe.
+     * Resolves when the cycle in flight finishes, so a graceful shutdown can
+     * wait for it. Never rejects.
      */
     private _inflight;
     private _inflight_done;
@@ -226,39 +198,22 @@ export declare class DrainController<TEvents extends Schemas, TActions extends S
      */
     arm(): void;
     /**
-     * Re-seed a persisted defer schedule into the process-local timer at cold
-     * start (#1221). The `_defer` map lives in worker memory and is empty
-     * after a restart; a stream deferred to a future due-time (e.g. an idle
-     * autoclose aggregate) is durable in the store's `deferred_at` but has
-     * nothing in memory to re-arm the drain at the due-time. The orchestrator
-     * reads the persisted `deferred_at` for this controller's lane and calls
-     * this to park the stream + (re)schedule the shared wake — so the drain
-     * re-arms at the due-time with no intervening commit. `schedule()`
-     * collapses many seeds into one timer, so callers may seed in a loop and
-     * let the earliest due-time win.
+     * Re-seed a persisted `deferred_at` into the local wake at cold start, so
+     * an idle deferred stream re-arms at its due-time with no new commit.
+     * Seeds collapse into one timer; the earliest wins.
      */
     seed_defer(stream: string, at: number): void;
     /** Read-only flag — true while a commit / reset is unprocessed. */
     get armed(): boolean;
-    /**
-     * The cycle currently in flight, or `undefined` when idle (#1442). A
-     * graceful shutdown awaits this so an in-flight handler reaches its `ack`
-     * — which releases the stream's lease — instead of being abandoned with
-     * the lease held until it expires.
-     */
+    /** The cycle in flight, or `undefined` when idle. */
     get inflight(): Promise<void> | undefined;
-    /**
-     * This lane's configured lease budget, or `undefined` when the lane didn't
-     * pin one. It is the operator's own statement of how long a handler may
-     * legitimately hold a stream, which makes it the right basis for a
-     * shutdown grace budget (#1442).
-     */
+    /** This lane's configured lease, or `undefined`; the shutdown grace basis. */
     get lease_millis(): number | undefined;
-    /** Lane this controller drains (undefined = legacy single-lane span). */
+    /** Lane this controller drains (undefined spans all lanes). */
     get lane(): string | undefined;
     /**
      * Start a per-lane worker that drains at the lane's `cycleMs`
-     * cadence (ACT-1103). When armed, the worker calls `drain()` on every
+     * cadence. When armed, the worker calls `drain()` on every
      * tick and re-schedules; when not armed, it still re-schedules at
      * `cycleMs` so a future `arm()` is picked up on the next tick.
      *
@@ -271,4 +226,5 @@ export declare class DrainController<TEvents extends Schemas, TActions extends S
     /** Run one drain pass. Short-circuits when not armed or already running. */
     drain(options?: DrainOptions): Promise<Drain<TEvents>>;
 }
+export {};
 //# sourceMappingURL=drain-cycle.d.ts.map

package/dist/@types/internal/drain-cycle.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"drain-cycle.d.ts","sourceRoot":"","sources":["../../../src/internal/drain-cycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAIH,OAAO,KAAK,EACV,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,KAAK,EACL,YAAY,EACZ,KAAK,EACL,KAAK,EACL,MAAM,EAEN,eAAe,EACf,QAAQ,EACR,cAAc,EACd,OAAO,EACR,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAO3D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAK3C;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,KAAK,EAAE,KAAK,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;;OAMG;IACH,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB;;;;;OAKG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB;;;;;;;;;;OAUG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;;;;;;OAQG;IACH,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,MAAM,MAAM,CAAC,OAAO,SAAS,OAAO,IAAI,CAC5C,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,KACjC,OAAO,CAAC,YAAY,CAAC,CAAC;AAE3B;;;GAGG;AACH,MAAM,MAAM,WAAW,CAAC,OAAO,SAAS,OAAO,IAAI,CACjD,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,EACpC,YAAY,EAAE,YAAY,CAAC,OAAO,CAAC,KAChC,OAAO,CAAC,YAAY,CAAC,CAAC;AAE3B;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,CAAC,OAAO,SAAS,OAAO,IAAI;IAChD,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC;IACjC,kFAAkF;IAClF,QAAQ,CAAC,SAAS,EAAE,WAAW,EAAE,CAAC;CACnC,CAAC;AAwGF;;;;;;;;;;;;GAYG;AACH,wBAAsB,eAAe,CACnC,OAAO,SAAS,OAAO,EACvB,QAAQ,SAAS,OAAO,EACxB,UAAU,SAAS,cAAc,CAAC,QAAQ,CAAC,EAE3C,GAAG,EAAE,QAAQ,CAAC,OAAO,CAAC,EACtB,QAAQ,EAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,EACjD,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,EAClD,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC;AACtB,4EAA4E;AAC5E,aAAa,EAAE,OAAO,EACtB,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,EACvB,YAAY,EAAE,WAAW,CAAC,OAAO,CAAC,EAClC,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,MAAM;AACnB;;;;;;GAMG;AACH,UAAU,EAAE,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,IAAI,EAC7C,IAAI,CAAC,EAAE,MAAM,GACZ,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,CA2M1C;AAgBD;;;;;;GAMG;AACH,MAAM,MAAM,mBAAmB,CAC7B,OAAO,SAAS,OAAO,EACvB,QAAQ,SAAS,OAAO,EACxB,UAAU,SAAS,cAAc,CAAC,QAAQ,CAAC,IACzC;IACF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC3D,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,IAAI,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,IAAI,CAAC;IACvD;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7D;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC;;;;;;OAMG;IACH,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7D,2FAA2F;IAC3F,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAClB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;KAC/B,CAAC;CACH,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,qBAAa,eAAe,CAC1B,OAAO,SAAS,OAAO,EACvB,QAAQ,SAAS,OAAO,EACxB,UAAU,SAAS,cAAc,CAAC,QAAQ,CAAC;IAE3C,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,MAAM,CAAO;IACrB;;;;;;;OAOG;IACH,OAAO,CAAC,QAAQ,CAAC,MAAM,CAEpB;IACH,kFAAkF;IAClF,OAAO,CAAC,OAAO,CAA4C;IAC3D;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAqB;IAChD,OAAO,CAAC,QAAQ,CAAS;IACzB;;;;;;;OAOG;IACH,OAAO,CAAC,SAAS,CAA4B;IAC7C,OAAO,CAAC,cAAc,CAA2B;IAEjD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAqD;IAE3E,YAAY,IAAI,EAAE,mBAAmB,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,EAEnE;IAED;;;;OAIG;IACH,GAAG,IAAI,IAAI,CAEV;IAED;;;;;;;;;;;OAWG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,CAG3C;IAED,mEAAmE;IACnE,IAAI,KAAK,IAAI,OAAO,CAEnB;IAED;;;;;OAKG;IACH,IAAI,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,SAAS,CAExC;IAED;;;;;OAKG;IACH,IAAI,YAAY,IAAI,MAAM,GAAG,SAAS,CAErC;IAED,yEAAyE;IACzE,IAAI,IAAI,IAAI,MAAM,GAAG,SAAS,CAE7B;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAiB3B;IAED,4CAA4C;IAC5C,IAAI,IAAI,IAAI,CASX;IAED,4EAA4E;IACtE,KAAK,CAAC,OAAO,GAAE,YAAiB,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAkJ/D;CACF"}
+{"version":3,"file":"drain-cycle.d.ts","sourceRoot":"","sources":["../../../src/internal/drain-cycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAIH,OAAO,KAAK,EACV,YAAY,EACZ,YAAY,EACZ,WAAW,EACX,KAAK,EACL,YAAY,EACZ,KAAK,EACL,KAAK,EACL,MAAM,EAEN,eAAe,EACf,QAAQ,EACR,cAAc,EACd,OAAO,EACR,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAO3D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAK3C;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,KAAK,EAAE,KAAK,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB;;;;;OAKG;IACH,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB;;;;;OAKG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;;OAIG;IACH,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB;;;;;;OAMG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC,CAAC;AAEH;;;GAGG;AACH,MAAM,MAAM,MAAM,CAAC,OAAO,SAAS,OAAO,IAAI,CAC5C,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,KACjC,OAAO,CAAC,YAAY,CAAC,CAAC;AAE3B;;;GAGG;AACH,MAAM,MAAM,WAAW,CAAC,OAAO,SAAS,OAAO,IAAI,CACjD,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,EACpC,YAAY,EAAE,YAAY,CAAC,OAAO,CAAC,KAChC,OAAO,CAAC,YAAY,CAAC,CAAC;AAE3B;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,CAAC,OAAO,SAAS,OAAO,IAAI;IAChD,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,YAAY,EAAE,CAAC;IACjC,0EAA0E;IAC1E,QAAQ,CAAC,SAAS,EAAE,WAAW,EAAE,CAAC;CACnC,CAAC;AAiFF,2EAA2E;AAC3E,KAAK,UAAU,GAAG;IAChB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAChC,4EAA4E;IAC5E,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,wBAAsB,eAAe,CACnC,OAAO,SAAS,OAAO,EACvB,QAAQ,SAAS,OAAO,EACxB,UAAU,SAAS,cAAc,CAAC,QAAQ,CAAC,EAE3C,IAAI,EAAE,mBAAmB,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,EACxD,KAAK,EAAE,UAAU,GAChB,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,CAyJ1C;AAgBD;;;;;;GAMG;AACH,MAAM,MAAM,mBAAmB,CAC7B,OAAO,SAAS,OAAO,EACvB,QAAQ,SAAS,OAAO,EACxB,UAAU,SAAS,cAAc,CAAC,QAAQ,CAAC,IACzC;IACF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC3D,QAAQ,CAAC,cAAc,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,IAAI,CAAC;IAC5C,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,IAAI,CAAC;IACvD;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC7D;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC;;;OAGG;IACH,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;IAC7D,8DAA8D;IAC9D,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAClB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;KAC/B,CAAC;CACH,CAAC;AAEF;;;;;;;;;;;;GAYG;AACH,qBAAa,eAAe,CAC1B,OAAO,SAAS,OAAO,EACvB,QAAQ,SAAS,OAAO,EACxB,UAAU,SAAS,cAAc,CAAC,QAAQ,CAAC;IAE3C,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,MAAM,CAAO;IACrB;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,MAAM,CAEpB;IACH,uEAAuE;IACvE,OAAO,CAAC,OAAO,CAA4C;IAC3D;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAqB;IAChD,OAAO,CAAC,QAAQ,CAAS;IACzB;;;OAGG;IACH,OAAO,CAAC,SAAS,CAA4B;IAC7C,OAAO,CAAC,cAAc,CAA2B;IAEjD,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAqD;IAE3E,YAAY,IAAI,EAAE,mBAAmB,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,EAEnE;IAED;;;;OAIG;IACH,GAAG,IAAI,IAAI,CAEV;IAED;;;;OAIG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,CAG3C;IAED,mEAAmE;IACnE,IAAI,KAAK,IAAI,OAAO,CAEnB;IAED,qDAAqD;IACrD,IAAI,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,SAAS,CAExC;IAED,8EAA8E;IAC9E,IAAI,YAAY,IAAI,MAAM,GAAG,SAAS,CAErC;IAED,+DAA+D;IAC/D,IAAI,IAAI,IAAI,MAAM,GAAG,SAAS,CAE7B;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAa3B;IAED,4CAA4C;IAC5C,IAAI,IAAI,IAAI,CAOX;IAED,4EAA4E;IACtE,KAAK,CAAC,OAAO,GAAE,YAAiB,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAiG/D;CACF"}

package/dist/@types/internal/event-sourcing.d.ts

@@ -33,7 +33,7 @@ import type { Committed, DoOptions, EventSource, LoadTarget, ScanOptions, ScanRe
  * {@link "tracing".build_es}) — never branched per event:
  *
  * - {@link bare_patch} — the default. Literally `patch(state, partial)`,
- *   no wrapper. This is the pre-ACT-1238 hot path, byte-for-byte.
+ *   no wrapper. No validation cost on the hot path.
  * - {@link validating_patch} — the opt-in `ActOptions.validateFoldedState`
  *   path. Merges, then parses the merged full state against the state's
  *   declared Zod schema.
@@ -48,7 +48,7 @@ import type { Committed, DoOptions, EventSource, LoadTarget, ScanOptions, ScanRe
 export type PatchFn = <TState extends Schema, TEvents extends Schemas, TActions extends Schemas>(me: State<TState, TEvents, TActions>, state: TState, partial: Readonly<Patch<TState>>, event: Committed<TEvents, keyof TEvents>) => TState;
 /**
  * The default patch step: a bare `patch()` merge with no wrapper and no
- * branch. The off-path is byte-for-byte the pre-ACT-1238 reduction, so an
+ * branch. The off-path is a plain reduction, so an
  * app that leaves `validateFoldedState` off pays nothing — not even a
  * comparison.
  *
@@ -56,10 +56,10 @@ export type PatchFn = <TState extends Schema, TEvents extends Schemas, TActions
  */
 export declare const bare_patch: PatchFn;
 /**
- * The opt-in patch step (ACT-1238): merge the partial into state, then
+ * The opt-in patch step: merge the partial into state, then
  * parse the merged full state against the owning state's declared Zod
  * schema. A reducer that produces schema-violating state (the calculator
- * divide-by-zero NaN class, #1230) fails here, at the triggering event,
+ * divide-by-zero NaN class) fails here, at the triggering event,
  * instead of propagating and surfacing hops later as a confusing
  * downstream error.
  *
@@ -123,21 +123,10 @@ export declare function tombstone(stream: string, expectedVersion: number, corre
  * causation remap; adapters supply only the per-event insert
  * `callback` via the driver pattern (see {@link Store.restore}).
  *
- * Walks the source in chunks of {@link BATCH} via the existing
- * `EventSource.query` interface — `limit: BATCH` and `after: <last
- * id seen>` per batch (ACT-1133). Stores that respect `limit`
- * (`PostgresStore`) return at most `BATCH` rows per call; sources
- * that ignore the filter (`CsvFile`) stream everything in one call
- * and the loop exits after the first batch when `got > BATCH`. The
- * source's own per-event `await Promise.resolve(callback(event))`
- * provides backpressure — no separate mailbox needed.
- *
- * Throws on the first invalid event (negative version, malformed
- * `created`) with the running index in the message.
- *
- * Returns the partial {@link ScanResult} (without `duration_ms`)
- * — {@link Act.restore} wraps the call with its own timing so the
- * duration covers transaction setup and commit, not just iteration.
+ * Pages the source with `limit`/`after`; a source that ignores the
+ * filter (`CsvFile`) returns everything at once and the loop ends. Throws
+ * on the first invalid event. Returns the result without `duration_ms`,
+ * which {@link Act.restore} adds.
  *
  * @internal
  */