@arki/journal 0.0.0-stage → 0.1.0

package/dist/types.d.ts

@@ -0,0 +1,414 @@
+import type { AnyRelations } from 'drizzle-orm';
+import type { AnyPgColumn, PgAsyncDatabase, PgQueryResultHKT, PgTableWithColumns } from 'drizzle-orm/pg-core';
+import type { z } from 'zod';
+/**
+ * A function type whose parameters are checked bivariantly.
+ *
+ * TypeScript only relaxes parameter variance for method signatures. Reading
+ * the method back out of an object type keeps that relaxation on a plain
+ * function type. This is how a registry can hold handlers written for one
+ * event type under a common `Recorded` parameter without a cast.
+ */
+export type BivariantFn<Args extends unknown[], R> = {
+    bivarianceHack(...args: Args): R;
+}['bivarianceHack'];
+type AnyDb = PgAsyncDatabase<PgQueryResultHKT, AnyRelations>;
+/** A key's longest id, and whether the key column or the journal's own `entity_id` column sets it. */
+export type KeyLimit = {
+    readonly max: number;
+    readonly source: 'column' | 'journal';
+};
+/**
+ * The Drizzle surface the journal needs. Structural: a Drizzle database and a
+ * Drizzle transaction both fit. The journal never touches `db.query`, so the
+ * app's relations do not matter here.
+ */
+export type DbHandle = {
+    readonly select: AnyDb['select'];
+    readonly insert: AnyDb['insert'];
+    readonly update: AnyDb['update'];
+    readonly delete: AnyDb['delete'];
+    readonly execute: AnyDb['execute'];
+    transaction<T>(run: (tx: DbHandle) => Promise<T>): Promise<T>;
+};
+/**
+ * The root database only. A Drizzle transaction has `rollback()`, so it does
+ * not fit. `drain` and `worker` need this: inside a transaction their claim
+ * would be a savepoint and handlers would run before the outer commit.
+ */
+export type RootDb = DbHandle & {
+    readonly rollback?: undefined;
+};
+/**
+ * A database or transaction whose nested transactions have type `Tx`. The
+ * app's Drizzle transaction type fits `TransactionSource<itself>`: a savepoint has
+ * the same type as its parent. The root database fits `TransactionSource<AppTx>`.
+ * `DbHandle` fits `TransactionSource<DbHandle>`, which is the default everywhere.
+ */
+export type TransactionSource<Tx> = {
+    transaction<T>(run: (tx: Tx) => Promise<T>): Promise<T>;
+} & DbHandle;
+/** A column that can hold an entity's key: a non-null string column. */
+export type KeyColumn = AnyPgColumn<{
+    data: string;
+    notNull: true;
+}>;
+export type VersionColumn = AnyPgColumn<{
+    data: number;
+    notNull: true;
+}>;
+/**
+ * A Drizzle table qualifies as an entity table when it has an integer
+ * `version` and a string key column. The key column is `id` unless the entity
+ * names another one. Every other column is the app's business.
+ */
+export type EntityTable = PgTableWithColumns<{
+    name: string;
+    schema: string | undefined;
+    dialect: 'pg';
+    columns: {
+        version: VersionColumn;
+    };
+}>;
+/** An entity table whose key column is called `id`. The default for `j.entity(kind, table)`. */
+export type IdTable = PgTableWithColumns<{
+    name: string;
+    schema: string | undefined;
+    dialect: 'pg';
+    columns: {
+        id: KeyColumn;
+        version: VersionColumn;
+    };
+}>;
+/** The property names of the columns of `Tbl` that can hold the key: non-null string columns. */
+export type KeyName<Tbl extends EntityTable> = string & {
+    [K in keyof Tbl['_']['columns']]: Tbl['_']['columns'][K] extends KeyColumn ? K : never;
+}[keyof Tbl['_']['columns']];
+/** `true` when `T` is a union of two or more members. */
+type IsUnion<T, U = T> = T extends unknown ? ([U] extends [T] ? false : true) : never;
+/**
+ * `Key` when it is one property name, `never` for a union. A union key would make
+ * `ReducerValues` omit every member, so a reducer could leave required columns unset.
+ */
+export type SingleKey<Key extends string> = IsUnion<Key> extends true ? never : Key;
+/** The current state of one entity. A plain Drizzle select row. */
+export type Row<Tbl extends EntityTable> = Tbl['$inferSelect'];
+/** What reducers return. The library sets the key column and `version`. */
+export type ReducerValues<Tbl extends EntityTable, Key extends string = 'id'> = Omit<Tbl['$inferInsert'], Key | 'version'>;
+/** The key type of an entity table, as the key column declares it. */
+export type EntityId<Tbl extends EntityTable, Key extends string = 'id'> = Extract<Row<Tbl>[Key & keyof Row<Tbl>], string>;
+/**
+ * A row rebuilt in memory from events: a reducer result plus the key column
+ * and `version`. Columns a reducer leaves out are absent here even when the
+ * database would fill them with a default.
+ */
+export type ReducerRow<Tbl extends EntityTable, Key extends string = 'id'> = ReducerValues<Tbl, Key> & Readonly<Record<Key, EntityId<Tbl, Key>>> & {
+    readonly version: number;
+};
+/** A validated event that has not been written yet. */
+export type Pending<T extends string = string, Data = unknown> = {
+    readonly type: T;
+    readonly data: Data;
+};
+/** What the log adds to a pending event when it is written. `Id` is the entity's key type. */
+export type RecordedStamp<Meta = unknown, Id extends string = string> = {
+    readonly seq: number;
+    readonly id: string;
+    readonly kind: string;
+    readonly entityId: Id;
+    readonly version: number;
+    readonly meta: Meta;
+    readonly recordedAt: Date;
+    /** The `cmd_` id of the command run that wrote it. Null for a bare `journal.write`, and on rows older than the column. */
+    readonly commandId: string | null;
+    /** The seq of the event whose effect ran the command that wrote it. Null outside an effect, and on rows older than the column. */
+    readonly causeSeq: number | null;
+    /** Shared by every event of one chain. Null only on rows older than the column. */
+    readonly correlationId: string | null;
+    /** When `forget` rewrote `data` to the event's erased form. Null if it never did. */
+    readonly erasedAt: Date | null;
+};
+/**
+ * Where a write comes from. The library fills it: a command run stamps its own id, an
+ * effect's `ctx.run` passes the event it is for, a root `run` may be seeded with a
+ * correlation id from the request. A bare `journal.write` has no command and no cause.
+ */
+export type Trace = {
+    readonly commandId: string | null;
+    readonly causeSeq: number | null;
+    readonly correlationId: string;
+};
+/** What reducers and handlers receive: the event as stored in the log. */
+export type Recorded<T extends string = string, Data = unknown, Meta = unknown, Id extends string = string> = Pending<T, Data> & RecordedStamp<Meta, Id>;
+/**
+ * An event definition. Calling it validates the data and returns a pending
+ * event. `type` and `schema` are read by the entity builder and by replay.
+ */
+export type EventDef<T extends string, S extends z.ZodType> = BivariantFn<[
+    data: z.input<S>
+], Pending<T, z.output<S>>> & {
+    readonly type: T;
+    readonly schema: S;
+    /**
+     * The event's erased form, for `forget`: the same data with the personal parts
+     * removed. It must still fit `schema`. Absent on an event that holds no personal data.
+     * A method signature, so every `EventDef` is an `AnyEventDef`; see `BivariantFn`.
+     */
+    erased?(data: z.output<S>): z.input<S>;
+    /**
+     * The schema version new events are stored at: one more than the number of upcasters.
+     * Rows record it in `schema_version`; a row at an older version is upcast on read.
+     */
+    readonly version: number;
+    /** Lifts stored data one version up. `upcasters[0]` takes version 1 to 2. Empty for most events. */
+    readonly upcasters: readonly Upcaster[];
+};
+/**
+ * One step of an event's history: the schema its data had at one version, and how to
+ * lift that data to the next. Replay parses with `from` first, so `up` sees valid old data.
+ * `up` is a method signature, so a typed step is an `Upcaster`; see `BivariantFn`.
+ */
+export type Upcaster = {
+    readonly from: z.ZodType;
+    up(data: unknown): unknown;
+};
+/** Typed upcaster steps: each `up` receives the output of its own `from`. */
+export type UpcasterSteps<U extends readonly z.ZodType[]> = {
+    readonly [K in keyof U]: {
+        readonly from: U[K];
+        readonly up: (data: z.output<U[K]>) => unknown;
+    };
+};
+/** The third argument of `j.event`. */
+export type EventOptions<S extends z.ZodType, U extends readonly z.ZodType[] = readonly []> = {
+    /** See `EventDef.erased`. */
+    readonly erased?: (data: z.output<S>) => z.input<S>;
+    /**
+     * Older shapes of this event, oldest first: `{ from: schemaV1, up: v1 => v2 }`, then
+     * `{ from: schemaV2, up: v2 => v3 }`. The last step's result must fit the current schema.
+     * Append a step when the event's data changes incompatibly; never edit or remove one.
+     */
+    readonly upcasters?: UpcasterSteps<U>;
+};
+export type AnyEventDef = EventDef<string, z.ZodType>;
+/** The pending form of one or more event definitions. Distributes over unions. */
+export type PendingOf<D> = D extends AnyEventDef ? Pending<D['type'], z.output<D['schema']>> : never;
+/** The recorded form of one or more event definitions. */
+export type RecordedOf<D, Meta, Id extends string = string> = PendingOf<D> & RecordedStamp<Meta, Id>;
+/**
+ * What an `.on` reducer returns: the columns that changed. `null` deletes the
+ * row. A key set to `undefined` means "unchanged".
+ */
+export type Patch<Tbl extends EntityTable, Key extends string = 'id'> = Partial<ReducerValues<Tbl, Key>>;
+/** A create reducer receives no row. It builds the first row from the event. */
+export type CreateReducer<Tbl extends EntityTable, Meta, Key extends string = 'id'> = BivariantFn<[
+    event: Recorded<string, unknown, Meta>
+], ReducerValues<Tbl, Key>>;
+/**
+ * An `.on` reducer may receive a row loaded from the table or a row rebuilt in
+ * memory by an earlier reducer in the same write or replay. Both are
+ * `ReducerRow` at runtime; the union is here because TypeScript cannot relate a
+ * generic select row to the insert shape.
+ */
+export type OnReducer<Tbl extends EntityTable, Meta, Key extends string = 'id'> = BivariantFn<[
+    row: Row<Tbl> | ReducerRow<Tbl, Key>,
+    event: Recorded<string, unknown, Meta>
+], Patch<Tbl, Key> | null>;
+/** The reducers declared for one event type. Both may be set: the fold picks by state. */
+export type Reducers<Tbl extends EntityTable, Meta, Key extends string = 'id'> = {
+    readonly create?: CreateReducer<Tbl, Meta, Key>;
+    readonly on?: OnReducer<Tbl, Meta, Key>;
+};
+/** An entity: a kind, its table and key column, and the events and reducers declared so far. */
+export type EntityDef<K extends string, Tbl extends EntityTable, E extends AnyEventDef, Meta, Key extends string = 'id'> = {
+    readonly kind: K;
+    readonly table: Tbl;
+    /** The property name of the key column on the table and its rows. */
+    readonly key: Key;
+    /** The key column. Lock-and-load, update and delete filter on it. */
+    readonly keyColumn: KeyColumn;
+    /** Whether the key column is a `uuid`, decided once when the entity is defined. Such ids must be canonical. */
+    readonly uuidKey: boolean;
+    /** The longest id the key holds, in code points, decided once when the entity is defined. */
+    readonly keyLimit: KeyLimit;
+    readonly events: ReadonlyMap<string, AnyEventDef>;
+    readonly reducers: ReadonlyMap<string, Reducers<Tbl, Meta, Key>>;
+    /** Phantom: the union of event definitions this entity accepts. Never set at runtime. */
+    readonly $events?: E;
+};
+export type AnyEntity<Meta = unknown> = EntityDef<string, EntityTable, AnyEventDef, Meta, string>;
+/** The event definitions an entity accepts, read from its phantom `$events`. */
+export type EventsOf<E> = E extends {
+    readonly $events?: infer D;
+} ? Extract<NonNullable<D>, AnyEventDef> : never;
+/** The key type of one or more entities, read from their table and key. */
+export type EntityIdOf<E> = E extends {
+    readonly table: infer Tbl extends EntityTable;
+    readonly key: infer Key extends string;
+} ? EntityId<Tbl, Key> : never;
+/** Keys are event types; each handler sees the event typed for that key. */
+export type ProjectionHandlers<E, Meta, Tx = DbHandle> = {
+    readonly [D in EventsOf<E> as D['type']]?: BivariantFn<[tx: Tx, event: RecordedOf<D, Meta, EntityIdOf<E>>], unknown>;
+};
+/** An effect handler also gets one value for each of the effect's needs `N`, under the need's name. */
+export type EffectHandlers<E, Meta, AppDb = RootDb, Run = unknown, N extends Needs = NoNeeds> = {
+    readonly [D in EventsOf<E> as D['type']]?: BivariantFn<[
+        event: RecordedOf<D, Meta, EntityIdOf<E>>,
+        ctx: EffectContext<AppDb, Run> & Needed<N>
+    ], unknown>;
+};
+/** Inline handler. Runs inside the write's transaction. */
+export type Projection<Meta = unknown, Tx = DbHandle> = {
+    readonly name: string;
+    readonly entities: readonly AnyEntity<Meta>[];
+    readonly types: ReadonlySet<string>;
+    /**
+     * `inline`: runs inside the write's transaction, so the read model is exact. `async`: the
+     * worker applies it later, in batches, with a cursor in `journal_cursors` committed in the
+     * same transaction as the handlers; exactly once for database writes, eventually consistent.
+     */
+    readonly lane: 'inline' | 'async';
+    readonly run: BivariantFn<[tx: Tx, event: Recorded<string, unknown, Meta>], Promise<void>>;
+};
+/** The fourth argument of `j.projection`. */
+export type ProjectionOptions = {
+    readonly lane?: 'inline' | 'async';
+};
+/**
+ * `db` is the root database that was given to `drain` or `worker`: the same object.
+ * `run` is `journal.run` on that database. A journal types it as `RootCommandRunner`
+ * (in `api.ts`). This file cannot name a command, so the type comes in as `Run`.
+ */
+export type EffectContext<AppDb = RootDb, Run = unknown> = {
+    readonly jobId: string;
+    readonly signal: AbortSignal;
+    readonly db: AppDb;
+    readonly run: Run;
+};
+declare const needType: unique symbol;
+/**
+ * A marker for one thing an effect needs, such as a mailer. `need<Mailer>()` makes one.
+ * It holds the type only. The real value comes later: from `services` in `j.compose`,
+ * or from the services of the Dot feature that lists the effect.
+ */
+export type Need<T> = {
+    readonly [needType]?: T;
+};
+/** The needs of one effect, by the name its handlers read them under. */
+export type Needs = Readonly<Record<string, Need<unknown>>>;
+export type NoNeeds = Readonly<Record<never, Need<unknown>>>;
+/** What the handlers get for the needs `N`: one value per name. */
+export type Needed<N extends Needs> = {
+    readonly [K in keyof N]: N[K] extends Need<infer T> ? T : never;
+};
+/** Real services by name, as an app or a Dot feature hands them over. */
+export type Services = Readonly<Record<string, unknown>>;
+type UnionToIntersection<U> = (U extends unknown ? (member: U) => void : never) extends (all: infer I) => void ? I : never;
+/** The needs of each effect in a union. An effect that needs nothing adds nothing. */
+type DeclaredNeeds<E> = E extends {
+    readonly needs: infer N extends Needs;
+} ? keyof N extends never ? never : N : never;
+/**
+ * Every need of every effect in a list, as one object of services. Two effects that
+ * use the same name get the same service. `unknown` when no effect needs anything.
+ */
+export type ServicesFor<E extends readonly {
+    readonly needs: Needs;
+}[]> = UnionToIntersection<Needed<DeclaredNeeds<E[number]>>>;
+/** Async handler. Runs after commit, at least once. */
+/**
+ * When an effect's jobs run. `priority`: higher first among due jobs; strict, so a
+ * steady stream of high-priority jobs can starve lower ones. `delaySeconds`: due that
+ * long after the write's transaction started (`now()` in Postgres). `runAt`: due at the
+ * time the event names, from the app's clock. Retries keep their backoff and priority.
+ */
+export type EffectSchedule<Meta = unknown> = {
+    readonly priority?: number;
+    readonly delaySeconds?: number;
+    /** A method signature, so an effect of one meta type is still an `Effect<unknown>`; see `BivariantFn`. */
+    runAt?(event: Recorded<string, unknown, Meta>): Date;
+};
+export type Effect<Meta = unknown, AppDb = RootDb, Run = unknown, N extends Needs = NoNeeds> = {
+    readonly name: string;
+    readonly entities: readonly AnyEntity<Meta>[];
+    readonly types: ReadonlySet<string>;
+    /** What the handlers need on top of `EffectContext`. Empty for an effect that already has its services. */
+    readonly needs: N;
+    readonly schedule: EffectSchedule<Meta>;
+    /** The same effect with this schedule. `j.effect('mail', order, handlers).withSchedule({ priority: 5 })`. */
+    withSchedule(schedule: EffectSchedule<Meta>): Effect<Meta, AppDb, Run, N>;
+    readonly run: BivariantFn<[
+        event: Recorded<string, unknown, Meta>,
+        ctx: EffectContext<AppDb, Run> & Needed<N>
+    ], Promise<void>>;
+};
+export type EntityInfo = {
+    readonly kind: string;
+    readonly table: string;
+    readonly events: readonly string[];
+};
+/** What a tap handler gets: the root database, plus its needs. No `run`: a tap may not issue commands. */
+export type TapContext<AppDb = RootDb> = {
+    readonly db: AppDb;
+};
+export type TapHandlers<E, Meta, AppDb = RootDb, N extends Needs = NoNeeds> = {
+    readonly [D in EventsOf<E> as D['type']]?: BivariantFn<[
+        event: RecordedOf<D, Meta, EntityIdOf<E>>,
+        ctx: TapContext<AppDb> & Needed<N>
+    ], unknown>;
+};
+/**
+ * A tap: in-process, after commit, lossy. No job row, no retry, no ordering promise across
+ * entities. It fires in every process whose worker listens on the wake channel, from the
+ * seq range the commit announced. For a live page, a cache, a metric. Never for work that
+ * must happen: that is an effect.
+ */
+export type Tap<Meta = unknown, AppDb = RootDb, N extends Needs = NoNeeds> = {
+    readonly name: string;
+    readonly entities: readonly AnyEntity<Meta>[];
+    readonly types: ReadonlySet<string>;
+    readonly needs: N;
+    readonly run: BivariantFn<[
+        event: Recorded<string, unknown, Meta>,
+        ctx: TapContext<AppDb> & Needed<N>
+    ], Promise<void>>;
+};
+/** Stops listening. May be async. */
+export type Unlisten = () => void | Promise<void>;
+/**
+ * How a worker hears the wake channel. The app wires its own client: for `pg`, a dedicated
+ * client that runs `LISTEN <channel>` and calls `onMessage(payload)` on each notification; for
+ * PGlite, `client.listen(channel, onMessage)`. Start it before `worker.start()` resolves work
+ * you care about: `LISTEN` only hears what is sent after it ran, and the worker still polls.
+ */
+export type WakeListener = (onMessage: (payload: string) => void) => Unlisten | Promise<Unlisten>;
+/** `wake()` runs a drain pass now instead of at the next poll. It does nothing unless the worker is running. */
+export type JournalWorker = {
+    start(): Promise<void>;
+    stop(): Promise<void>;
+    wake(): void;
+};
+/** What a command hook sees. Frozen. `input` is the parsed input; a hook may read it, not change it. */
+export type CommandHookContext<MetaOut = unknown> = {
+    readonly name: string;
+    readonly input: unknown;
+    readonly meta: MetaOut;
+    readonly commandId: string;
+    readonly correlationId: string;
+    /** The idempotency key of this call, or null. A hook sees a replayed call too: its handler does not run. */
+    readonly idempotencyKey: string | null;
+};
+/** What an effect hook sees. Frozen. `attempt` counts from 1. */
+export type EffectHookContext<Meta = unknown> = {
+    readonly name: string;
+    readonly event: Recorded<string, unknown, Meta>;
+    readonly jobId: string;
+    readonly attempt: number;
+};
+/** Pending jobs for one effect name that the journal has no effect for. */
+export type StrandedJobs = {
+    readonly effect: string;
+    readonly jobs: number;
+};
+export {};
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC9G,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAE7B;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,CAAC,IAAI,SAAS,OAAO,EAAE,EAAE,CAAC,IAAI;IAAE,cAAc,CAAC,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC,CAAA;CAAE,CAAC,gBAAgB,CAAC,CAAC;AAE5G,KAAK,KAAK,GAAG,eAAe,CAAC,gBAAgB,EAAE,YAAY,CAAC,CAAC;AAE7D,sGAAsG;AACtG,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,CAAA;CAAE,CAAC;AAEvF;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACnC,WAAW,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;CAC/D,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,MAAM,GAAG,QAAQ,GAAG;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAA;CAAE,CAAC;AAElE;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,CAAC,EAAE,IAAI;IAAE,WAAW,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;CAAE,GAAG,QAAQ,CAAC;AAE3G,wEAAwE;AACxE,MAAM,MAAM,SAAS,GAAG,WAAW,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AACrE,MAAM,MAAM,aAAa,GAAG,WAAW,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AAEzE;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG,kBAAkB,CAAC;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3B,OAAO,EAAE,IAAI,CAAC;IACd,OAAO,EAAE;QACP,OAAO,EAAE,aAAa,CAAC;KACxB,CAAC;CACH,CAAC,CAAC;AAEH,gGAAgG;AAChG,MAAM,MAAM,OAAO,GAAG,kBAAkB,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3B,OAAO,EAAE,IAAI,CAAC;IACd,OAAO,EAAE;QACP,EAAE,EAAE,SAAS,CAAC;QACd,OAAO,EAAE,aAAa,CAAC;KACxB,CAAC;CACH,CAAC,CAAC;AAEH,iGAAiG;AACjG,MAAM,MAAM,OAAO,CAAC,GAAG,SAAS,WAAW,IAAI,MAAM,GACnD;KACG,CAAC,IAAI,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,SAAS,GAAG,CAAC,GAAG,KAAK;CACvF,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAE/B,yDAAyD;AACzD,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC;AACtF;;;GAGG;AACH,MAAM,MAAM,SAAS,CAAC,GAAG,SAAS,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,GAAG,CAAC;AAEpF,mEAAmE;AACnE,MAAM,MAAM,GAAG,CAAC,GAAG,SAAS,WAAW,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC;AAC/D,2EAA2E;AAC3E,MAAM,MAAM,aAAa,CAAC,GAAG,SAAS,WAAW,EAAE,GAAG,SAAS,MAAM,GAAG,IAAI,IAAI,IAAI,CAClF,GAAG,CAAC,cAAc,CAAC,EACnB,GAAG,GAAG,SAAS,CAChB,CAAC;AACF,sEAAsE;AACtE,MAAM,MAAM,QAAQ,CAAC,GAAG,SAAS,WAAW,EAAE,GAAG,SAAS,MAAM,GAAG,IAAI,IAAI,OAAO,CAChF,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC,EAC9B,MAAM,CACP,CAAC;AACF;;;;GAIG;AACH,MAAM,MAAM,UAAU,CAAC,GAAG,SAAS,WAAW,EAAE,GAAG,SAAS,MAAM,GAAG,IAAI,IAAI,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,GAClG,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3E,uDAAuD;AACvD,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,IAAI,GAAG,OAAO,IAAI;IAC/D,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB,CAAC;AAEF,8FAA8F;AAC9F,MAAM,MAAM,aAAa,CAAC,IAAI,GAAG,OAAO,EAAE,EAAE,SAAS,MAAM,GAAG,MAAM,IAAI;IACtE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC;IAC1B,0HAA0H;IAC1H,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,kIAAkI;IAClI,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,mFAAmF;IACnF,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,qFAAqF;IACrF,QAAQ,CAAC,QAAQ,EAAE,IAAI,GAAG,IAAI,CAAC;CAChC,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF,0EAA0E;AAC1E,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,EAAE,IAAI,GAAG,OAAO,EAAE,IAAI,GAAG,OAAO,EAAE,EAAE,SAAS,MAAM,GAAG,MAAM,IAAI,OAAO,CACnH,CAAC,EACD,IAAI,CACL,GACC,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AAE1B;;;GAGG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,CAAC,CAAC,OAAO,IAAI,WAAW,CACvE;IAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;CAAC,EAClB,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CACxB,GAAG;IACF,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;IACnB;;;;OAIG;IACH,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACvC;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oGAAoG;IACpG,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAC;CACzC,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC;IACzB,EAAE,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC;CAC5B,CAAC;AAEF,6EAA6E;AAC7E,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,CAAC,CAAC,OAAO,EAAE,IAAI;IAC1D,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG;QAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAA;KAAE;CACjG,CAAC;AAEF,uCAAuC;AACvC,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC,SAAS,SAAS,CAAC,CAAC,OAAO,EAAE,GAAG,SAAS,EAAE,IAAI;IAC5F,6BAA6B;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACpD;;;;OAIG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;CACvC,CAAC;AACF,MAAM,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;AAEtD,kFAAkF;AAClF,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;AACrG,0DAA0D;AAC1D,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,SAAS,MAAM,GAAG,MAAM,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;AAErG;;;GAGG;AACH,MAAM,MAAM,KAAK,CAAC,GAAG,SAAS,WAAW,EAAE,GAAG,SAAS,MAAM,GAAG,IAAI,IAAI,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAEzG,gFAAgF;AAChF,MAAM,MAAM,aAAa,CAAC,GAAG,SAAS,WAAW,EAAE,IAAI,EAAE,GAAG,SAAS,MAAM,GAAG,IAAI,IAAI,WAAW,CAC/F;IAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC;CAAC,EACxC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CACxB,CAAC;AACF;;;;;GAKG;AACH,MAAM,MAAM,SAAS,CAAC,GAAG,SAAS,WAAW,EAAE,IAAI,EAAE,GAAG,SAAS,MAAM,GAAG,IAAI,IAAI,WAAW,CAC3F;IAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;IAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC;CAAC,EAC9E,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,IAAI,CACvB,CAAC;AACF,0FAA0F;AAC1F,MAAM,MAAM,QAAQ,CAAC,GAAG,SAAS,WAAW,EAAE,IAAI,EAAE,GAAG,SAAS,MAAM,GAAG,IAAI,IAAI;IAC/E,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAChD,QAAQ,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;CACzC,CAAC;AAEF,gGAAgG;AAChG,MAAM,MAAM,SAAS,CACnB,CAAC,SAAS,MAAM,EAChB,GAAG,SAAS,WAAW,EACvB,CAAC,SAAS,WAAW,EACrB,IAAI,EACJ,GAAG,SAAS,MAAM,GAAG,IAAI,IACvB;IACF,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC;IACpB,qEAAqE;IACrE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;IAClB,qEAAqE;IACrE,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,+GAA+G;IAC/G,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,6FAA6F;IAC7F,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAClD,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IACjE,yFAAyF;IACzF,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;CACtB,CAAC;AACF,MAAM,MAAM,SAAS,CAAC,IAAI,GAAG,OAAO,IAAI,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;AAElG,gFAAgF;AAChF,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,GAAG,KAAK,CAAC;AAClH,2EAA2E;AAC3E,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,WAAW,CAAC;IAC9C,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,MAAM,CAAC;CACxC,GACG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,GAClB,KAAK,CAAC;AAEV,4EAA4E;AAC5E,MAAM,MAAM,kBAAkB,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,GAAG,QAAQ,IAAI;IACvD,QAAQ,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;CACrH,CAAC;AACF,uGAAuG;AACvG,MAAM,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,GAAG,MAAM,EAAE,GAAG,GAAG,OAAO,EAAE,CAAC,SAAS,KAAK,GAAG,OAAO,IAAI;IAC9F,QAAQ,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CACpD;QAAC,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;QAAE,GAAG,EAAE,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;KAAC,EACvF,OAAO,CACR;CACF,CAAC;AAEF,2DAA2D;AAC3D,MAAM,MAAM,UAAU,CAAC,IAAI,GAAG,OAAO,EAAE,EAAE,GAAG,QAAQ,IAAI;IACtD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IAClC,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;CAC5F,CAAC;AAEF,6CAA6C;AAC7C,MAAM,MAAM,iBAAiB,GAAG;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAA;CAAE,CAAC;AAEvE;;;;GAIG;AACH,MAAM,MAAM,aAAa,CAAC,KAAK,GAAG,MAAM,EAAE,GAAG,GAAG,OAAO,IAAI;IACzD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;CACnB,CAAC;AAEF,OAAO,CAAC,MAAM,QAAQ,EAAE,OAAO,MAAM,CAAC;AACtC;;;;GAIG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAClD,yEAAyE;AACzE,MAAM,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC5D,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC7D,mEAAmE;AACnE,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,KAAK,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAAE,CAAC;AAC1G,yEAAyE;AACzE,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAEzD,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,MAAM,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,IAAI,GAC1G,CAAC,GACD,KAAK,CAAC;AACV,sFAAsF;AACtF,KAAK,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,KAAK,CAAA;CAAE,GACvE,MAAM,CAAC,SAAS,KAAK,GACnB,KAAK,GACL,CAAC,GACH,KAAK,CAAC;AACV;;;GAGG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,EAAE,IAAI,mBAAmB,CAC3F,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CACjC,CAAC;AAEF,uDAAuD;AACvD;;;;;GAKG;AACH,MAAM,MAAM,cAAc,CAAC,IAAI,GAAG,OAAO,IAAI;IAC3C,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,0GAA0G;IAC1G,KAAK,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC;CACtD,CAAC;AAEF,MAAM,MAAM,MAAM,CAAC,IAAI,GAAG,OAAO,EAAE,KAAK,GAAG,MAAM,EAAE,GAAG,GAAG,OAAO,EAAE,CAAC,SAAS,KAAK,GAAG,OAAO,IAAI;IAC7F,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC,2GAA2G;IAC3G,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC;IACxC,6GAA6G;IAC7G,YAAY,CAAC,QAAQ,EAAE,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC1E,QAAQ,CAAC,GAAG,EAAE,WAAW,CACvB;QAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC;QAAE,GAAG,EAAE,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;KAAC,EACpF,OAAO,CAAC,IAAI,CAAC,CACd,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAE/G,0GAA0G;AAC1G,MAAM,MAAM,UAAU,CAAC,KAAK,GAAG,MAAM,IAAI;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;CAAE,CAAC;AAEhE,MAAM,MAAM,WAAW,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,GAAG,MAAM,EAAE,CAAC,SAAS,KAAK,GAAG,OAAO,IAAI;IAC5E,QAAQ,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,WAAW,CACpD;QAAC,KAAK,EAAE,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;QAAE,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;KAAC,EAC/E,OAAO,CACR;CACF,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,GAAG,CAAC,IAAI,GAAG,OAAO,EAAE,KAAK,GAAG,MAAM,EAAE,CAAC,SAAS,KAAK,GAAG,OAAO,IAAI;IAC3E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,GAAG,EAAE,WAAW,CACvB;QAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC;QAAE,GAAG,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;KAAC,EAC5E,OAAO,CAAC,IAAI,CAAC,CACd,CAAC;CACH,CAAC;AAEF,qCAAqC;AACrC,MAAM,MAAM,QAAQ,GAAG,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;AAClD;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,SAAS,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,KAAK,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;AAElG,gHAAgH;AAChH,MAAM,MAAM,aAAa,GAAG;IAAE,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAAC,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAAC,IAAI,IAAI,IAAI,CAAA;CAAE,CAAC;AAE5F,wGAAwG;AACxG,MAAM,MAAM,kBAAkB,CAAC,OAAO,GAAG,OAAO,IAAI;IAClD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,4GAA4G;IAC5G,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;CACxC,CAAC;AAEF,iEAAiE;AACjE,MAAM,MAAM,iBAAiB,CAAC,IAAI,GAAG,OAAO,IAAI;IAC9C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAChD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,2EAA2E;AAC3E,MAAM,MAAM,YAAY,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC"}

package/dist/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":""}

package/dist/worker.d.ts

@@ -0,0 +1,109 @@
+/**
+ * The async lane: job claims under a lease, the retry policy, `drain` (one batch),
+ * the worker loop around it, waking sleeping workers, and counting jobs no
+ * effect of this journal can claim.
+ * May import `fold`, `history`, `storage` and leaf files.
+ * Must not import `journal`, `api`, `write` or `command`.
+ */
+import type { z } from 'zod';
+import type { History } from './history.js';
+import type { HookPointInternal } from './hooks.js';
+import type { JournalTables } from './pg.js';
+import type { DbHandle, Effect, EffectHookContext, JournalWorker, Projection, RootDb, StrandedJobs, Tap, TransactionSource, WakeListener } from './types.js';
+export type JobRow = JournalTables['jobs']['$inferSelect'];
+/** What `drain` needs from the journal. `Run` is the type of an effect's `ctx.run`. */
+export type DrainDeps<Meta extends z.ZodObject, AppDb extends RootDb, Run> = {
+    readonly tables: JournalTables;
+    /** The effect hooks. Frozen by the first drain. */
+    readonly hooks: HookPointInternal<EffectHookContext<z.output<Meta>>>;
+    readonly effects: readonly Effect<z.output<Meta>, AppDb, Run>[];
+    readonly history: Pick<History<Meta>, 'decodeStoredEvent'>;
+    /** Makes an effect's `ctx.run`: the journal's `run`, bound to the root database this drain was given and to the event the job is for. */
+    readonly runOn: (db: AppDb & RootDb, cause: {
+        readonly seq: number;
+        readonly correlationId: string | null;
+    }) => Run;
+};
+export declare function createDrain<Meta extends z.ZodObject, AppDb extends RootDb, Run>(deps: DrainDeps<Meta, AppDb, Run>): (db: AppDb & RootDb, opts?: {
+    readonly batchSize?: number;
+    readonly signal?: AbortSignal;
+    readonly leaseSeconds?: number;
+}) => Promise<number>;
+/**
+ * Counts pending jobs whose effect this journal does not have. `drain` never
+ * claims them, on purpose: during a rolling deploy an older worker may still
+ * have that effect. But once every worker runs the new code, a renamed or
+ * removed effect leaves its jobs here for good, so they must be visible.
+ */
+export declare function createStrandedJobs(deps: {
+    readonly tables: JournalTables;
+    readonly effectNames: readonly string[];
+}): (db: DbHandle) => Promise<readonly StrandedJobs[]>;
+/** The job verbs an operator uses: list, retry a dead job, discard a dead job. */
+export declare function createAdmin(deps: {
+    readonly tables: JournalTables;
+    readonly wake: () => void;
+}): {
+    jobs: (db: DbHandle, opts?: {
+        readonly status?: 'pending' | 'dead' | 'all';
+        readonly effect?: string;
+        readonly limit?: number;
+    }) => Promise<JobRow[]>;
+    retry: (db: DbHandle, jobId: string) => Promise<void>;
+    discard: (db: DbHandle, jobId: string) => Promise<void>;
+};
+/** What the worker loop needs from the journal. */
+export type WorkerDeps<AppDb extends RootDb> = {
+    /** Runs one batch. The journal passes its own `drain` method, looked up on each call. */
+    readonly drain: (db: AppDb & RootDb, opts?: {
+        readonly batchSize?: number;
+        readonly signal?: AbortSignal;
+        readonly leaseSeconds?: number;
+    }) => Promise<number>;
+    /** One batch per async projection. Returns how many events were scanned. */
+    readonly catchUp: (db: AppDb & RootDb, opts?: {
+        readonly batchSize?: number;
+    }) => Promise<{
+        readonly scanned: number;
+    }>;
+    /** Fire the taps for one wake payload. */
+    readonly dispatch: (db: AppDb & RootDb, payload: string) => Promise<void>;
+    readonly tapNames: readonly string[];
+};
+/** What the async lane of projections needs from the journal. */
+export type CatchUpDeps<Meta extends z.ZodObject, Tx extends TransactionSource<Tx>> = {
+    readonly tables: JournalTables;
+    readonly projections: readonly Projection<z.output<Meta>, Tx>[];
+    readonly history: Pick<History<Meta>, 'decodeStoredEvent'>;
+};
+export declare function createCatchUp<Meta extends z.ZodObject, Tx extends TransactionSource<Tx>>(deps: CatchUpDeps<Meta, Tx>): {
+    catchUp: (db: RootDb & TransactionSource<Tx>, opts?: {
+        readonly batchSize?: number;
+    }) => Promise<{
+        readonly scanned: number;
+    }>;
+    reset: (db: RootDb & TransactionSource<Tx>, projection: Projection<z.output<Meta>, Tx>, clear?: (tx: Tx) => Promise<void>) => Promise<void>;
+    cursors: (db: DbHandle) => Promise<readonly {
+        readonly name: string;
+        readonly seq: number;
+        readonly lag: number;
+    }[]>;
+};
+/** What tap dispatch needs from the journal. */
+export type TapDispatchDeps<Meta extends z.ZodObject, AppDb extends RootDb> = {
+    readonly tables: Pick<JournalTables, 'events'>;
+    readonly taps: readonly Tap<z.output<Meta>, AppDb>[];
+    readonly history: Pick<History<Meta>, 'decodeStoredEvent'>;
+};
+export declare function createTapDispatch<Meta extends z.ZodObject, AppDb extends RootDb>(deps: TapDispatchDeps<Meta, AppDb>): (db: AppDb & RootDb, payload: string) => Promise<void>;
+export declare function createWorkers<AppDb extends RootDb>(deps: WorkerDeps<AppDb>): {
+    worker: (db: AppDb & RootDb, opts?: {
+        readonly pollMs?: number;
+        readonly batchSize?: number;
+        readonly leaseSeconds?: number;
+        readonly listen?: WakeListener;
+        readonly taps?: boolean;
+    }) => JournalWorker;
+    wakeAll: () => void;
+};
+//# sourceMappingURL=worker.d.ts.map

package/dist/worker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"worker.d.ts","sourceRoot":"","sources":["../src/worker.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAG7B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7C,OAAO,KAAK,EACV,QAAQ,EACR,MAAM,EACN,iBAAiB,EACjB,aAAa,EACb,UAAU,EACV,MAAM,EACN,YAAY,EACZ,GAAG,EACH,iBAAiB,EAEjB,YAAY,EACb,MAAM,YAAY,CAAC;AA2BpB,MAAM,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC;AAE3D,uFAAuF;AACvF,MAAM,MAAM,SAAS,CAAC,IAAI,SAAS,CAAC,CAAC,SAAS,EAAE,KAAK,SAAS,MAAM,EAAE,GAAG,IAAI;IAC3E,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,mDAAmD;IACnD,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;IAChE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,mBAAmB,CAAC,CAAC;IAC3D,yIAAyI;IACzI,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,KAAK,GAAG,CAAC;CACrH,CAAC;AAEF,wBAAgB,WAAW,CAAC,IAAI,SAAS,CAAC,CAAC,SAAS,EAAE,KAAK,SAAS,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,QAkI1G,KAAK,GAAG,MAAM,SACX;IAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAAE,KACpG,OAAO,CAAC,MAAM,CAAC,CAsBnB;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,QAEhG,QAAQ,KAAG,OAAO,CAAC,SAAS,YAAY,EAAE,CAAC,CAY9D;AAED,kFAAkF;AAClF,wBAAgB,WAAW,CAAC,IAAI,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,CAAA;CAAE;eAIvF,QAAQ,SACL;QAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,GAAG,MAAM,GAAG,KAAK,CAAC;QAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,KACzG,OAAO,CAAC,MAAM,EAAE,CAAC;gBAgBK,QAAQ,SAAS,MAAM,KAAG,OAAO,CAAC,IAAI,CAAC;kBAYrC,QAAQ,SAAS,MAAM,KAAG,OAAO,CAAC,IAAI,CAAC;EAUnE;AAED,mDAAmD;AACnD,MAAM,MAAM,UAAU,CAAC,KAAK,SAAS,MAAM,IAAI;IAC7C,yFAAyF;IACzF,QAAQ,CAAC,KAAK,EAAE,CACd,EAAE,EAAE,KAAK,GAAG,MAAM,EAClB,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC;QAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,KAClG,OAAO,CAAC,MAAM,CAAC,CAAC;IACrB,4EAA4E;IAC5E,QAAQ,CAAC,OAAO,EAAE,CAChB,EAAE,EAAE,KAAK,GAAG,MAAM,EAClB,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,KACnC,OAAO,CAAC;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC3C,0CAA0C;IAC1C,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,KAAK,GAAG,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1E,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC;AAEF,iEAAiE;AACjE,MAAM,MAAM,WAAW,CAAC,IAAI,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,SAAS,iBAAiB,CAAC,EAAE,CAAC,IAAI;IACpF,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;IAChE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,mBAAmB,CAAC,CAAC;CAC5D,CAAC;AAIF,wBAAgB,aAAa,CAAC,IAAI,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE,SAAS,iBAAiB,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC;kBAkD7G,MAAM,GAAG,iBAAiB,CAAC,EAAE,CAAC,SAC3B;QAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;KAAE,KACrC,OAAO,CAAC;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;gBAmBlC,MAAM,GAAG,iBAAiB,CAAC,EAAE,CAAC,cACtB,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,UAClC,CAAC,EAAE,EAAE,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,KAChC,OAAO,CAAC,IAAI,CAAC;kBAqBV,QAAQ,KACX,OAAO,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;EAY7F;AAED,gDAAgD;AAChD,MAAM,MAAM,eAAe,CAAC,IAAI,SAAS,CAAC,CAAC,SAAS,EAAE,KAAK,SAAS,MAAM,IAAI;IAC5E,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;IAC/C,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;IACrD,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,mBAAmB,CAAC,CAAC;CAC5D,CAAC;AAgBF,wBAAgB,iBAAiB,CAAC,IAAI,SAAS,CAAC,CAAC,SAAS,EAAE,KAAK,SAAS,MAAM,EAAE,IAAI,EAAE,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,QAMtF,KAAK,GAAG,MAAM,WAAW,MAAM,KAAG,OAAO,CAAC,IAAI,CAAC,CAsC5E;AAMD,wBAAgB,aAAa,CAAC,KAAK,SAAS,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC;iBAKnE,KAAK,GAAG,MAAM,SACX;QACL,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC;QAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;KACzB,KACA,aAAa;mBA8FI,IAAI;EAKzB"}