@sanoma-ai/workflows 0.2.0 → 0.4.0

package/dist/collection.d.ts

@@ -0,0 +1,107 @@
+import { z } from "zod";
+import { type Db } from "./db.ts";
+import { type Fake } from "./fake.ts";
+import { type Connector, type Driver, type Op, type OpSpec } from "./op.ts";
+import { DATA_VENDOR, type FIELD_TYPES, type ListQuery, type Saved } from "./shared.ts";
+export type FieldType = (typeof FIELD_TYPES)[number];
+/** A field of a collection: its type, the type marked optional, or one of a list of strings. */
+export type Field = FieldType | {
+    type: FieldType;
+    optional?: true;
+} | {
+    enum: readonly [string, ...string[]];
+    optional?: true;
+};
+type ValueOfType<T> = T extends "number" ? number : T extends "boolean" ? boolean : string;
+type ValueOf<F> = F extends {
+    enum: readonly (infer E)[];
+} ? E : F extends {
+    type: infer T;
+} ? ValueOfType<T> : ValueOfType<F>;
+type OptionalKeys<F> = {
+    [K in keyof F]: F[K] extends {
+        optional: true;
+    } ? K : never;
+}[keyof F];
+type Flat<T> = {
+    [K in keyof T]: T[K];
+};
+/** A record of a collection with these fields: text, a person and a date are strings, an enum one of its strings. */
+export type RecordOf<F extends Record<string, Field>> = Flat<{
+    -readonly [K in Exclude<keyof F & string, OptionalKeys<F>>]: ValueOf<F[K]>;
+} & {
+    -readonly [K in OptionalKeys<F> & string]?: ValueOf<F[K]>;
+}>;
+/** The fields that may be a collection's key: required text. */
+export type RequiredTextKeys<F extends Record<string, Field>> = {
+    [K in keyof F & string]: F[K] extends "text" | {
+        type: "text";
+        optional?: undefined;
+    } ? K : never;
+}[keyof F & string];
+/**
+ * Where a collection keeps its brand: a registered symbol, so a copy of this package reads a
+ * collection another copy made, as `VENDOR` and `RESOURCE`.
+ */
+export declare const COLLECTION: unique symbol;
+/** A collection, as `collection()` declares it, with its four operations. */
+export interface Collection<N extends string = string, F extends Record<string, Field> = Record<string, Field>, K extends string = string> {
+    readonly [COLLECTION]: true;
+    readonly kind: "collection";
+    readonly name: N;
+    readonly key: K;
+    readonly fields: F;
+    readonly title?: string;
+    readonly get: Op<typeof DATA_VENDOR, N, "get", {
+        key: string;
+    }, Saved<RecordOf<F>> | null>;
+    readonly list: Op<typeof DATA_VENDOR, N, "list", ListQuery<RecordOf<F>>, Saved<RecordOf<F>>[]>;
+    readonly save: Op<typeof DATA_VENDOR, N, "save", {
+        record: RecordOf<F>;
+    }, Saved<RecordOf<F>>>;
+    readonly delete: Op<typeof DATA_VENDOR, N, "delete", {
+        key: string;
+    }, {
+        deleted: boolean;
+    }>;
+}
+/**
+ * Declares a collection of records, in `resources/data.ts`:
+ * `collection({ name: "outbound", key: "company", fields: { company: "text", stage: { enum: ["new", "won"] } } })`.
+ * Its operations are `data.<name>.get`, `.list`, `.save` and `.delete`, which a workflow names in
+ * `uses` and calls on `ctx.data.<name>`. The name is a lowercase letter then letters and digits;
+ * the key is a required text field, each record's own and unique.
+ */
+export declare function collection<const N extends string, const F extends Record<string, Field>, const K extends RequiredTextKeys<F>>(declaration: {
+    name: N;
+    key: K;
+    fields: F;
+    title?: string;
+}): Collection<N, F, K>;
+/** True for a collection `collection()` made, in this copy of the package or another: read by its brand. */
+export declare const isCollection: (x: unknown) => x is Collection;
+/** The schema a collection's records are saved under: its fields, and nothing else. */
+export declare const recordSchemaOf: (c: Collection) => z.ZodType;
+/** Where the record no longer fits the collection's fields, as `Saved.issues` says it; none when it fits. */
+export declare function recordIssues(c: Collection, record: unknown): NonNullable<Saved["issues"]>;
+type Stored = Omit<Saved, "issues">;
+type DataOps = Record<string, Record<string, OpSpec>>;
+/** The vendor `data` as a connector of the collections' operations, the very ones each `collection()` made. */
+export declare function collectionsConnector(list: readonly Collection[]): Connector<typeof DATA_VENDOR, DataOps>;
+/**
+ * The collections' driver: their records in `DATA_TABLE` of the database `store` is on, through
+ * the pool a run's calls share, or one connection in a transaction (a direct write, with its
+ * ledger record). Every value reaches Postgres as a parameter, field names included; the field
+ * names and operators are the ones the input's schema accepts.
+ */
+export declare function collectionsDriver(list: readonly Collection[], store: {
+    db(): Promise<Db>;
+}): Driver;
+/** The collections' records in memory, by collection and key: what a sandbox run's fake holds. */
+export type CollectionsState = Record<string, Record<string, Stored>>;
+/**
+ * An in-memory fake of the collections' driver, which starts empty: a scenario seeds it
+ * (`Given data.<name> "<key>" has`), and a test may through `update`.
+ */
+export declare function collectionsFake(list: readonly Collection[]): Fake<CollectionsState>;
+export {};

package/dist/collection.js

@@ -0,0 +1,306 @@
+import { z } from "zod";
+import { DATA_TABLE } from "./db.js";
+import { defineFake } from "./fake.js";
+import { isObject } from "./resource.js";
+import { defineConnector, defineDriver, } from "./op.js";
+import { checkCollection, DATA_VENDOR, LIST_LIMIT } from "./shared.js";
+/**
+ * Where a collection keeps its brand: a registered symbol, so a copy of this package reads a
+ * collection another copy made, as `VENDOR` and `RESOURCE`.
+ */
+export const COLLECTION = Symbol.for("sanoma.collection");
+/**
+ * Declares a collection of records, in `resources/data.ts`:
+ * `collection({ name: "outbound", key: "company", fields: { company: "text", stage: { enum: ["new", "won"] } } })`.
+ * Its operations are `data.<name>.get`, `.list`, `.save` and `.delete`, which a workflow names in
+ * `uses` and calls on `ctx.data.<name>`. The name is a lowercase letter then letters and digits;
+ * the key is a required text field, each record's own and unique.
+ */
+export function collection(declaration) {
+    checkCollection(declaration);
+    const { name, key, fields, title } = declaration;
+    const record = z.strictObject(Object.fromEntries(Object.entries(fields).map(([field, kind]) => {
+        const value = field === key ? z.string().min(1) : valueSchema(kind);
+        return [field, isObject(kind) && kind.optional ? value.optional() : value];
+    })));
+    const ops = defineConnector(DATA_VENDOR, { [name]: specsOf(name, key, fields, record) })[name];
+    return Object.freeze({
+        [COLLECTION]: true,
+        kind: "collection",
+        name,
+        key,
+        fields,
+        ...(title !== undefined && { title }),
+        ...ops,
+    });
+}
+/**
+ * A date or a date and time with its offset, as ISO 8601 writes them, marked `format: "date"` in
+ * its JSON Schema (beside the union's own), which a form reads to draw a date's input.
+ */
+const DATE = z.union([z.iso.date(), z.iso.datetime({ offset: true })]).meta({ format: "date" });
+/**
+ * A person's id: text that is not empty, marked `format: "person"` in its JSON Schema, which a form
+ * reads to draw a person's input.
+ */
+const PERSON = z.string().min(1).meta({ format: "person" });
+/** The schema of a field's value, required. */
+function valueSchema(kind) {
+    if (typeof kind === "object" && "enum" in kind)
+        return z.enum(kind.enum);
+    const type = typeof kind === "string" ? kind : kind.type;
+    return { text: z.string(), person: PERSON, date: DATE, number: z.number(), boolean: z.boolean() }[type];
+}
+/**
+ * What `get`, `list` and `save` answer: the record as it is stored, which an older declaration
+ * may have accepted, so it is not checked here; `issues` say where the fields refuse it.
+ */
+const SAVED = z.object({
+    key: z.string(),
+    record: z.record(z.string(), z.unknown()),
+    updatedAt: z.string(),
+    updatedBy: z.string(),
+    issues: z.array(z.object({ path: z.array(z.union([z.string(), z.number()])), message: z.string() })).optional(),
+});
+/** A collection's four operations, for `defineConnector`. */
+function specsOf(name, key, fields, record) {
+    const at = (k) => `${DATA_VENDOR}:${name}/${k}`;
+    const byKey = z.object({ key: z.string().min(1) });
+    const names = Object.keys(fields);
+    const where = z.strictObject(Object.fromEntries(Object.entries(fields).map(([field, kind]) => {
+        const value = valueSchema(kind);
+        const range = z.strictObject({ gt: value, gte: value, lt: value, lte: value }).partial();
+        return [field, z.union([value, range]).optional()];
+    })));
+    return {
+        get: {
+            effect: "read",
+            idempotent: true,
+            description: `Get a record of ${name} by its ${key}`,
+            input: byKey,
+            output: SAVED.nullable(),
+            target: ({ key: k }) => at(k),
+        },
+        list: {
+            effect: "read",
+            idempotent: true,
+            description: `List records of ${name}: fields equal to a value or within a range, sorted, at most \`limit\``,
+            input: z.object({
+                where: where.optional(),
+                order: z.enum([...names, ...names.map((n) => `-${n}`)]).optional(),
+                limit: z.number().int().min(1).max(LIST_LIMIT.max).default(LIST_LIMIT.default),
+            }),
+            output: z.array(SAVED),
+            target: () => `${DATA_VENDOR}:${name}`,
+        },
+        save: {
+            effect: "write",
+            idempotent: true,
+            description: `Save a record of ${name}: added, or replacing the one with its ${key}`,
+            input: z.object({ record }),
+            output: SAVED,
+            target: ({ record: r }) => at(r[key]),
+        },
+        delete: {
+            effect: "write",
+            idempotent: true,
+            description: `Delete the record of ${name} with this ${key}`,
+            input: byKey,
+            output: z.object({ deleted: z.boolean() }),
+            target: ({ key: k }) => at(k),
+        },
+    };
+}
+/** True for a collection `collection()` made, in this copy of the package or another: read by its brand. */
+export const isCollection = (x) => isObject(x) && x[COLLECTION] === true && x.kind === "collection";
+/** The schema a collection's records are saved under: its fields, and nothing else. */
+export const recordSchemaOf = (c) => c.save.input.shape.record;
+/** Where the record no longer fits the collection's fields, as `Saved.issues` says it; none when it fits. */
+export function recordIssues(c, record) {
+    const parsed = recordSchemaOf(c).safeParse(record);
+    if (parsed.success)
+        return [];
+    return parsed.error.issues.map(({ path, message }) => ({
+        path: path.filter((p) => typeof p !== "symbol"),
+        message,
+    }));
+}
+/** The record as `get`, `list` and `save` answer it: with its issues, when it has any. */
+function answer(c, stored) {
+    const issues = recordIssues(c, stored.record);
+    return issues.length ? { ...stored, issues } : stored;
+}
+/** Who a save is by: the person a direct call is made as, else the run. */
+const updatedBy = (call) => call.by ?? `run:${call.runId}`;
+/** The vendor `data` as a connector of the collections' operations, the very ones each `collection()` made. */
+export function collectionsConnector(list) {
+    const ops = list.map((c) => [c.name, { get: c.get, list: c.list, save: c.save, delete: c.delete }]);
+    return { ...defineConnector(DATA_VENDOR, {}), ...Object.fromEntries(ops) };
+}
+const COLUMNS = "key, record, updated_at, updated_by";
+const RANGE = { gt: ">", gte: ">=", lt: "<", lte: "<=" };
+/**
+ * The collections' driver: their records in `DATA_TABLE` of the database `store` is on, through
+ * the pool a run's calls share, or one connection in a transaction (a direct write, with its
+ * ledger record). Every value reaches Postgres as a parameter, field names included; the field
+ * names and operators are the ones the input's schema accepts.
+ */
+export function collectionsDriver(list, store) {
+    const query = async (sql, params) => (await store.db()).query(sql, params);
+    const impl = list.map((c) => {
+        const saved = (row) => answer(c, {
+            key: row.key,
+            record: row.record,
+            updatedAt: row.updated_at.toISOString(),
+            updatedBy: row.updated_by,
+        });
+        const ops = {
+            get: async ({ key }) => {
+                const sql = `SELECT ${COLUMNS} FROM ${DATA_TABLE} WHERE collection = $1 AND key = $2`;
+                const [row] = (await query(sql, [c.name, key])).rows;
+                return row ? saved(row) : null;
+            },
+            list: async (listing) => (await query(...listSql(c, listing))).rows.map(saved),
+            save: async ({ record }, call) => {
+                const sql = `INSERT INTO ${DATA_TABLE} (collection, key, record, updated_by) VALUES ($1, $2, $3, $4) ` +
+                    "ON CONFLICT (collection, key) DO UPDATE SET record = EXCLUDED.record, updated_at = now(), " +
+                    `updated_by = EXCLUDED.updated_by RETURNING ${COLUMNS}`;
+                const params = [c.name, record[c.key], JSON.stringify(record), updatedBy(call)];
+                return saved((await query(sql, params)).rows[0]);
+            },
+            delete: async ({ key }) => {
+                const sql = `DELETE FROM ${DATA_TABLE} WHERE collection = $1 AND key = $2`;
+                return { deleted: ((await query(sql, [c.name, key])).rowCount ?? 0) > 0 };
+            },
+        };
+        return [c.name, ops];
+    });
+    return defineDriver(collectionsConnector(list), Object.fromEntries(impl));
+}
+/** Each field's `JsonType`, by name: what `list` compares its values as. */
+const jsonTypesOf = (c) => Object.fromEntries(Object.entries(c.fields).map(([name, kind]) => {
+    const type = typeof kind === "string" ? kind : "type" in kind ? kind.type : "text";
+    return [name, type === "number" || type === "boolean" ? type : "string"];
+}));
+const SQL_TYPE = { string: "text", number: "numeric", boolean: "boolean" };
+/**
+ * The `list` query on Postgres, and its parameters. A field's value is compared as its declared
+ * type, text byte by byte (`COLLATE "C"`, whatever the database's collation, as the fake
+ * compares it); a missing value, or one of another type, is SQL's null: it matches no filter and
+ * sorts last.
+ */
+function listSql(c, { where = {}, order, limit }) {
+    const types = jsonTypesOf(c);
+    const params = [c.name];
+    const param = (value) => `$${params.push(value)}`;
+    const field = (name) => {
+        const type = types[name];
+        const json = `record -> ${param(name)}::text`;
+        const typed = `CASE WHEN jsonb_typeof(${json}) = '${type}' THEN (${json} #>> '{}')::${SQL_TYPE[type]} END`;
+        return type === "string" ? `(${typed}) COLLATE "C"` : typed;
+    };
+    const value = (name, v) => `${param(v)}::${SQL_TYPE[types[name]]}`;
+    const conditions = ["collection = $1"];
+    for (const [name, condition] of Object.entries(where)) {
+        if (condition === undefined)
+            continue;
+        if (!isObject(condition))
+            conditions.push(`${field(name)} = ${value(name, condition)}`);
+        else {
+            for (const [op, v] of Object.entries(condition)) {
+                const sign = RANGE[op];
+                if (v !== undefined)
+                    conditions.push(`${field(name)} ${sign} ${value(name, v)}`);
+            }
+        }
+    }
+    const byKey = `key COLLATE "C"`;
+    const by = order === undefined
+        ? byKey
+        : `${field(order.replace(/^-/, ""))} ${order.startsWith("-") ? "DESC" : "ASC"} NULLS LAST, ${byKey}`;
+    const sql = `SELECT ${COLUMNS} FROM ${DATA_TABLE} WHERE ${conditions.join(" AND ")} ORDER BY ${by} LIMIT ${param(limit)}`;
+    return [sql, params];
+}
+/** Orders two values of one type as Postgres does under `COLLATE "C"`: strings by their UTF-8 bytes. */
+const compare = (a, b) => typeof a === "string" && typeof b === "string"
+    ? Buffer.compare(Buffer.from(a), Buffer.from(b))
+    : a < b
+        ? -1
+        : a > b
+            ? 1
+            : 0;
+/** The record's value of a field when it is of the field's type; none otherwise, as for a missing one. */
+const valueIn = (record, name, type) => typeof record[name] === type ? record[name] : undefined;
+/** Whether the record meets each condition of `where`, as the driver's SQL decides it. */
+function matches(record, where, types) {
+    return Object.entries(where).every(([name, condition]) => {
+        if (condition === undefined)
+            return true;
+        const value = valueIn(record, name, types[name]);
+        if (value === undefined)
+            return false;
+        if (!isObject(condition))
+            return compare(value, condition) === 0;
+        const { gt, gte, lt, lte } = condition;
+        return ((gt === undefined || compare(value, gt) > 0) &&
+            (gte === undefined || compare(value, gte) >= 0) &&
+            (lt === undefined || compare(value, lt) < 0) &&
+            (lte === undefined || compare(value, lte) <= 0));
+    });
+}
+const byKey = (a, b) => compare(a.key, b.key);
+/** Sorts as the driver's SQL does: by the field (missing last), then by key; by key alone without one. */
+function byOrder(order, types) {
+    if (order === undefined)
+        return byKey;
+    const name = order.replace(/^-/, "");
+    const sign = order.startsWith("-") ? -1 : 1;
+    return (a, b) => {
+        const x = valueIn(a.record, name, types[name]);
+        const y = valueIn(b.record, name, types[name]);
+        if ((x === undefined) !== (y === undefined))
+            return x === undefined ? 1 : -1;
+        return (x === undefined ? 0 : sign * compare(x, y)) || byKey(a, b);
+    };
+}
+/**
+ * An in-memory fake of the collections' driver, which starts empty: a scenario seeds it
+ * (`Given data.<name> "<key>" has`), and a test may through `update`.
+ */
+export function collectionsFake(list) {
+    return defineFake(collectionsConnector(list), {
+        // Null-prototype records, so any key is a record's own, `__proto__` too, as it is in Postgres.
+        initial: () => Object.fromEntries(list.map((c) => [c.name, Object.create(null)])),
+        ops: (state) => Object.fromEntries(list.map((c) => {
+            const records = () => state[c.name];
+            const types = jsonTypesOf(c);
+            const saved = (stored) => answer(c, structuredClone(stored));
+            const ops = {
+                get: async ({ key }) => (Object.hasOwn(records(), key) ? saved(records()[key]) : null),
+                list: async ({ where = {}, order, limit }) => Object.values(records())
+                    .filter((s) => matches(s.record, where, types))
+                    .toSorted(byOrder(order, types))
+                    .slice(0, limit)
+                    .map(saved),
+                save: async ({ record }, call) => {
+                    const key = record[c.key];
+                    const stored = {
+                        key,
+                        record: structuredClone(record),
+                        updatedAt: new Date().toISOString(),
+                        updatedBy: updatedBy(call),
+                    };
+                    records()[key] = stored;
+                    return saved(stored);
+                },
+                delete: async ({ key }) => {
+                    const had = Object.hasOwn(records(), key);
+                    delete records()[key];
+                    return { deleted: had };
+                },
+            };
+            return [c.name, ops];
+        })),
+    });
+}
+//# sourceMappingURL=collection.js.map

package/dist/collection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collection.js","sourceRoot":"","sources":["../src/collection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,UAAU,EAAW,MAAM,SAAS,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAa,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAGL,eAAe,EACf,YAAY,GAKb,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,eAAe,EAAE,WAAW,EAAoB,UAAU,EAA8B,MAAM,aAAa,CAAC;AAoCrH;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAkB,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;AAoBzE;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAIxB,WAA2D;IAC3D,eAAe,CAAC,WAAW,CAAC,CAAC;IAC7B,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,WAAW,CAAC;IACjD,MAAM,MAAM,GAAG,CAAC,CAAC,YAAY,CAC3B,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE;QAC3C,MAAM,KAAK,GAAG,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACpE,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC7E,CAAC,CAAC,CACH,CACF,CAAC;IACF,MAAM,GAAG,GAAG,eAAe,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAE,CAAC;IAChG,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,CAAC,UAAU,CAAC,EAAE,IAAI;QAClB,IAAI,EAAE,YAAY;QAClB,IAAI;QACJ,GAAG;QACH,MAAM;QACN,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC;QACrC,GAAG,GAAG;KACP,CAAmC,CAAC;AACvC,CAAC;AAED;;;GAGG;AACH,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;AAEhG;;;GAGG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;AAE5D,+CAA+C;AAC/C,SAAS,WAAW,CAAC,IAAW;IAC9B,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,IAAI,IAAI;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IACzD,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;AAC1G,CAAC;AAED;;;GAGG;AACH,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC;IACrB,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IACzC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE;CAChH,CAAC,CAAC;AAEH,6DAA6D;AAC7D,SAAS,OAAO,CAAC,IAAY,EAAE,GAAW,EAAE,MAA6B,EAAE,MAAiB;IAC1F,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,GAAG,WAAW,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;IACxD,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,CAAC,YAAY,CAC1B,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE;QAC3C,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QACzF,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IACrD,CAAC,CAAC,CACH,CACF,CAAC;IACF,OAAO;QACL,GAAG,EAAE;YACH,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,IAAI;YAChB,WAAW,EAAE,mBAAmB,IAAI,WAAW,GAAG,EAAE;YACpD,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE;YACxB,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAmB,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;SAC/C;QACD,IAAI,EAAE;YACJ,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,IAAI;YAChB,WAAW,EAAE,mBAAmB,IAAI,wEAAwE;YAC5G,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC;gBACd,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE;gBACvB,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAA0B,CAAC,CAAC,QAAQ,EAAE;gBAC3F,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;aAC/E,CAAC;YACF,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;YACtB,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,WAAW,IAAI,IAAI,EAAE;SACvC;QACD,IAAI,EAAE;YACJ,MAAM,EAAE,OAAO;YACf,UAAU,EAAE,IAAI;YAChB,WAAW,EAAE,oBAAoB,IAAI,0CAA0C,GAAG,EAAE;YACpF,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;YAC3B,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAsC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAE,CAAC;SAC3E;QACD,MAAM,EAAE;YACN,MAAM,EAAE,OAAO;YACf,UAAU,EAAE,IAAI;YAChB,WAAW,EAAE,wBAAwB,IAAI,cAAc,GAAG,EAAE;YAC5D,KAAK,EAAE,KAAK;YACZ,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;YAC1C,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAmB,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;SAC/C;KACF,CAAC;AACJ,CAAC;AAED,4GAA4G;AAC5G,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAU,EAAmB,EAAE,CAC1D,QAAQ,CAAC,CAAC,CAAC,IAAK,CAAyB,CAAC,UAAU,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC;AAE5F,uFAAuF;AACvF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAa,EAAa,EAAE,CACxD,CAAC,CAAC,IAAI,CAAC,KAAuD,CAAC,KAAK,CAAC,MAAM,CAAC;AAE/E,6GAA6G;AAC7G,MAAM,UAAU,YAAY,CAAC,CAAa,EAAE,MAAe;IACzD,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,MAAM,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAC9B,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QACrD,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAwB,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;QACrE,OAAO;KACR,CAAC,CAAC,CAAC;AACN,CAAC;AAKD,0FAA0F;AAC1F,SAAS,MAAM,CAAC,CAAa,EAAE,MAAc;IAC3C,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9C,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AACxD,CAAC;AAED,2EAA2E;AAC3E,MAAM,SAAS,GAAG,CAAC,IAAiB,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC;AAExE,+GAA+G;AAC/G,MAAM,UAAU,oBAAoB,CAAC,IAA2B;IAC9D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACpG,OAAO,EAAE,GAAG,eAAe,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,EAA4C,CAAC;AACvH,CAAC;AAED,MAAM,OAAO,GAAG,qCAAqC,CAAC;AACtD,MAAM,KAAK,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAW,CAAC;AAgBlE;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAA2B,EAAE,KAA4B;IACzF,MAAM,KAAK,GAAG,KAAK,EAAE,GAAW,EAAE,MAAiB,EAAE,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAM,GAAG,EAAE,MAAM,CAAC,CAAC;IACnG,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1B,MAAM,KAAK,GAAG,CAAC,GAAQ,EAAE,EAAE,CACzB,MAAM,CAAC,CAAC,EAAE;YACR,GAAG,EAAE,GAAG,CAAC,GAAG;YACZ,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE;YACvC,SAAS,EAAE,GAAG,CAAC,UAAU;SAC1B,CAAC,CAAC;QACL,MAAM,GAAG,GAAwE;YAC/E,GAAG,EAAE,KAAK,EAAE,EAAE,GAAG,EAAmB,EAAE,EAAE;gBACtC,MAAM,GAAG,GAAG,UAAU,OAAO,SAAS,UAAU,qCAAqC,CAAC;gBACtF,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBACrD,OAAO,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YACjC,CAAC;YACD,IAAI,EAAE,KAAK,EAAE,OAAgB,EAAE,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YACvF,IAAI,EAAE,KAAK,EAAE,EAAE,MAAM,EAAuC,EAAE,IAAI,EAAE,EAAE;gBACpE,MAAM,GAAG,GACP,eAAe,UAAU,iEAAiE;oBAC1F,4FAA4F;oBAC5F,8CAA8C,OAAO,EAAE,CAAC;gBAC1D,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;gBAChF,OAAO,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;YACpD,CAAC;YACD,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,EAAmB,EAAE,EAAE;gBACzC,MAAM,GAAG,GAAG,eAAe,UAAU,qCAAqC,CAAC;gBAC3E,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5E,CAAC;SACF,CAAC;QACF,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;IACH,OAAO,YAAY,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAwB,CAAC,CAAC;AACnG,CAAC;AAKD,4EAA4E;AAC5E,MAAM,WAAW,GAAG,CAAC,CAAa,EAA4B,EAAE,CAC9D,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE;IAC5C,MAAM,IAAI,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;IACnF,OAAO,CAAC,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;AAC3E,CAAC,CAAC,CACH,CAAC;AAEJ,MAAM,QAAQ,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAW,CAAC;AAEpF;;;;;GAKG;AACH,SAAS,OAAO,CAAC,CAAa,EAAE,EAAE,KAAK,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAW;IACnE,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAc,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,KAAc,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;IAC3D,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,EAAE;QAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,aAAa,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC9C,MAAM,KAAK,GAAG,0BAA0B,IAAI,QAAQ,IAAI,WAAW,IAAI,eAAe,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;QAC3G,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC;IAC9D,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,CAAU,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAE,CAAC,EAAE,CAAC;IACrF,MAAM,UAAU,GAAG,CAAC,iBAAiB,CAAC,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,IAAI,SAAS,KAAK,SAAS;YAAE,SAAS;QACtC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;aACnF,CAAC;YACJ,KAAK,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;gBAChD,MAAM,IAAI,GAAG,KAAK,CAAC,EAAwB,CAAC,CAAC;gBAC7C,IAAI,CAAC,KAAK,SAAS;oBAAE,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACnF,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAG,iBAAiB,CAAC;IAChC,MAAM,EAAE,GACN,KAAK,KAAK,SAAS;QACjB,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,gBAAgB,KAAK,EAAE,CAAC;IACzG,MAAM,GAAG,GAAG,UAAU,OAAO,SAAS,UAAU,UAAU,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,UAAU,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;IAC1H,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;AACvB,CAAC;AAED,wGAAwG;AACxG,MAAM,OAAO,GAAG,CAAC,CAAU,EAAE,CAAU,EAAU,EAAE,CACjD,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;IAC5C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAE,CAAY,GAAI,CAAY;QAC7B,CAAC,CAAC,CAAC,CAAC;QACJ,CAAC,CAAE,CAAY,GAAI,CAAY;YAC7B,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,CAAC,CAAC;AAEZ,0GAA0G;AAC1G,MAAM,OAAO,GAAG,CAAC,MAA+B,EAAE,IAAY,EAAE,IAA0B,EAAE,EAAE,CAC5F,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAE1D,0FAA0F;AAC1F,SAAS,OAAO,CAAC,MAA+B,EAAE,KAA8B,EAAE,KAA+B;IAC/G,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,EAAE;QACvD,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACzC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACjD,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,OAAO,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;QACjE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,SAAS,CAAC;QACvC,OAAO,CACL,CAAC,EAAE,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;YAC5C,CAAC,GAAG,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/C,CAAC,EAAE,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;YAC5C,CAAC,GAAG,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAChD,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;AAE9D,0GAA0G;AAC1G,SAAS,OAAO,CAAC,KAAyB,EAAE,KAA+B;IACzE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACd,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/C,IAAI,CAAC,CAAC,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,SAAS,CAAC;YAAE,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7E,OAAO,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC;AACJ,CAAC;AAKD;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,IAA2B;IACzD,OAAO,UAAU,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE;QAC5C,+FAA+F;QAC/F,OAAO,EAAE,GAAqB,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnG,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE,CACb,MAAM,CAAC,WAAW,CAChB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACb,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC;YACrC,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,KAAK,GAAG,CAAC,MAAc,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;YACrE,MAAM,GAAG,GAAwE;gBAC/E,GAAG,EAAE,KAAK,EAAE,EAAE,GAAG,EAAmB,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,GAAG,CAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBACxG,IAAI,EAAE,KAAK,EAAE,EAAE,KAAK,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAW,EAAE,EAAE,CACpD,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;qBACrB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;qBAC9C,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;qBAC/B,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;qBACf,GAAG,CAAC,KAAK,CAAC;gBACf,IAAI,EAAE,KAAK,EAAE,EAAE,MAAM,EAAuC,EAAE,IAAI,EAAE,EAAE;oBACpE,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAW,CAAC;oBACpC,MAAM,MAAM,GAAG;wBACb,GAAG;wBACH,MAAM,EAAE,eAAe,CAAC,MAAM,CAAC;wBAC/B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;wBACnC,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC;qBAC3B,CAAC;oBACF,OAAO,EAAE,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;oBACxB,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC;gBACvB,CAAC;gBACD,MAAM,EAAE,KAAK,EAAE,EAAE,GAAG,EAAmB,EAAE,EAAE;oBACzC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC;oBAC1C,OAAO,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC;oBACtB,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;gBAC1B,CAAC;aACF,CAAC;YACF,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACvB,CAAC,CAAC,CACoB;KAC3B,CAAC,CAAC;AACL,CAAC"}

package/dist/config.d.ts

@@ -1,3 +1,5 @@
+import { type Collection } from "./collection.ts";
+import { type LazyPool } from "./db.ts";
 import { type WorkflowDefinition } from "./define.ts";
 import type { Fake } from "./fake.ts";
 import type { LedgerStore } from "./ledger.ts";
@@ -6,11 +8,11 @@ import type { Policy } from "./policy.ts";
 import { type Resource } from "./resource.ts";
 import type { Steps } from "./steps.ts";
 /**
- * What a worker runs, on which connectors, under which policy: the argument to `startWorker`.
+ * What a worker runs, on which connectors: the argument to `startWorker`.
  * A project usually keeps it in `sanoma.config.ts` and passes it in; nothing loads that file
  * automatically. The rest is convention: each connector carries its driver and its fake
- * (`withSetup`), the app's name is its `package.json`'s, and the scenarios and data files are
- * `scenarios/` and `resources/` in `root`.
+ * (`withSetup`), the app's name is its `package.json`'s, and the scenarios, data files and
+ * policies are `scenarios/`, `resources/` and `policies/` in `root`.
  */
 export interface SanomaConfig {
     workflows: WorkflowDefinition<any, any>[];
@@ -22,8 +24,6 @@ export interface SanomaConfig {
      * package attaches the maker of.
      */
     connectors: Connector<any, any>[];
-    /** Checked before every operation call. Required: `allowAll` says that every call is allowed. */
-    policy: Policy;
     /**
      * Where the audit record goes. Default: `postgresLedger` on the config's database, which the
      * worker, the app and other processes share; the worker and the client each make their own
@@ -50,8 +50,15 @@ export interface SanomaConfig {
     appName?: never;
     /** @deprecated Gone: the scenarios are `<root>/scenarios/`. Leave it out. */
     scenarios?: never;
+    /** @deprecated Gone: the policy is `<root>/policies/**\/*.cedar`. Leave it out. */
+    policy?: never;
     /** The company's own steps for its scenarios (`defineSteps`), besides those its connectors ship. */
     steps?: Steps[];
+    /**
+     * The company's collections (`collection()`): their operations are `data.<name>.<op>`, their
+     * records in the config's database, and in memory for a sandbox run.
+     */
+    collections?: readonly Collection[];
 }
 /** A config, checked, with everything a worker, client or app derives from it. */
 export interface ResolvedConfig {
@@ -65,7 +72,10 @@ export interface ResolvedConfig {
     version: string;
     /** The DBOS queue runs are started on: `sanoma:<appName>`. */
     queueName: string;
-    /** The operations the connectors declare, by id, and the built-in `sanoma.source.resolve` when one declares a host type. */
+    /**
+     * The operations the connectors declare, by id, the built-in `sanoma.source.resolve` when one
+     * declares a host type, and the collections' (`data.<name>.<op>`).
+     */
     ops: Map<string, Op>;
     /** The drivers' functions, by operation id, each guarded by its driver's `env` (`indexDrivers`). */
     drivers: Map<string, DriverFn>;
@@ -82,12 +92,27 @@ export interface ResolvedConfig {
     types: ReadonlyMap<string, Resource>;
     /** The steps scenarios can use besides the generic ones: each connector's (`withSetup`), once each, then the config's own. */
     steps: readonly Steps[];
+    /** The config's collections, by name: their operations are in `ops` and `drivers`, their fake in `fakes`, under `DATA_VENDOR`. */
+    collections: ReadonlyMap<string, Collection>;
     /**
-     * By name; each checked against `ops` and `drivers`. The config's, and the built-ins `drift`
-     * (`DRIFT_WORKFLOW`) and `apply` (`APPLY_WORKFLOW`) when its connectors declare resource types.
+     * The pool the collections' driver keeps their records through, when there are any: opened on
+     * its first call, and closed by whoever calls the driver (the worker, and the client, which
+     * calls it directly, when each stops).
+     */
+    dataStore?: LazyPool;
+    /**
+     * By name; each checked against `ops` and `drivers`. The config's, the built-ins `drift`
+     * (`DRIFT_WORKFLOW`) and `apply` (`APPLY_WORKFLOW`) when its connectors declare resource types,
+     * and `call` (`CALL_WORKFLOW`) when an operation may be called directly (`isDirect`).
      */
     workflows: Map<string, WorkflowDefinition<any, any>>;
+    /**
+     * Checked before every operation call and run start: the root's `policies/**\/*.cedar`
+     * (`policyAt`), `allowAll` without any, and one that refuses everything while they have problems.
+     */
     policy: Policy;
+    /** What is wrong in the policies, one printable line each (`file:line:col: <policy id>: <message>`). */
+    policyProblems: string[];
     /** The config's `ledger`, when it gives one; the worker and the client otherwise make `postgresLedger` on `databaseUrl` (`ownedLedger`). */
     ledger?: LedgerStore;
     /**
@@ -110,14 +135,17 @@ export declare function resolveDatabaseUrl(config: {
 export declare function rootOf(config: Pick<SanomaConfig, "root" | "file">): string | undefined;
 /**
  * Checks a config and derives what the runtime needs from it: the drivers and fakes from the
- * connectors' setups (`withSetup`), and from `root`, the app's name (`package.json`) and the
- * scenarios (`scenarios/`). Throws what `startWorker` would refuse, with the same message, so
- * `describeConfig`, `SanomaClient.connect` and the app fail the same way the worker does. It
- * opens nothing and reads no file outside `root`. Each entry
- * point resolves once: the worker and the client when they start, the app at `startApp`, the
- * `sanoma` bin when it loads the config.
+ * connectors' setups (`withSetup`), the collections' operations, driver and fake, and from
+ * `root`, the app's name (`package.json`), the scenarios (`scenarios/`) and the policy
+ * (`policies/`, `policyAt`). Throws what
+ * `startWorker` would refuse, with the same message, so `describeConfig`, `SanomaClient.connect`
+ * and the app fail the same way the worker does. It opens nothing and reads no file outside
+ * `root`. Each entry point resolves once: the worker and the client when they start, the app at
+ * `startApp`, the `sanoma` bin when it loads the config.
  */
 export declare function resolveConfig(config: SanomaConfig): ResolvedConfig;
+/** The config's connectors and the runtime's people types' (`peopleConnector`): what its data files are read against. */
+export declare const connectorsOf: (config: Pick<SanomaConfig, "connectors">) => Connector<any, any>[];
 /**
  * The drivers' functions by operation id, refusing one no connector declares. A driver that
  * declares an `env` has each function guarded by it (`guarded`); a fake declares none, so a