@thomasfosterau/pulpit 0.0.0 → 0.1.0

package/dist/filter.js

@@ -0,0 +1,387 @@
+/**
+ * **The list-filter vocabulary** — the kernel's read predicates as data.
+ *
+ * Every visibility, soft-delete and publication rule the kernel owns has two
+ * readings: a per-row answer (may this viewer see this row?) and a set-shaped
+ * answer a LIST turns into its `WHERE`. In the apps the second is Drizzle SQL
+ * built inline (`ownedListFilterE`, `loadListVisibilityFilters`,
+ * `publishedFilter`), which ties the rule to one database layer and makes the
+ * two readings impossible to compare. Here the set-shaped answer is a small
+ * predicate tree, {@link ListFilter}: a Drizzle renderer (the seam
+ * effect-drizzle-ext / effect-auth-drizzle fill, see the package README →
+ * Seams) turns it into SQL, and
+ * {@link evaluate} runs it against an in-memory row — which is what lets the
+ * unit suite prove the list filter and the row predicate never disagree.
+ *
+ * `Following` is whatever a seam hands the `in` node: the follower seam's
+ * set of followed accounts, or an edge family's members
+ * (`EdgeStore.members`, pulpit#113); a subquery (`SQLWrapper`) for SQL, a
+ * set for the in-memory evaluator. The `notIn` node takes the same
+ * `Following`, for an exclusion (`EdgeOps.nonMemberFilter`, pulpit#191).
+ *
+ * Rendering contract a SQL renderer must honour:
+ *
+ * | node | SQL |
+ * | --- | --- |
+ * | `always` | no predicate (`undefined` to Drizzle's `.where`) |
+ * | `never` | a predicate no row satisfies (the apps: `id = '00000000-…'`) |
+ * | `eq` / `ne` | `col = $v` / `col <> $v` — a `NULL` column satisfies neither |
+ * | `in` | `col IN (<seam subquery>)` — a subquery, never a materialised array (#1107); a `NULL` column satisfies none |
+ * | `notIn` | `(col IS NULL OR col NOT IN (<seam subquery>))` — the complement of `in` over the same subquery (pulpit#191); a `NULL` column satisfies it, and the subquery must never yield a `NULL` (`NOT IN` over a set holding one is `NULL` for every row) |
+ * | `gt` / `gte` / `lt` / `lte` | `col > $v` / `col >= $v` / `col < $v` / `col <= $v` — a string compared with `COLLATE "C"` (code-point order), a `Date` as a timestamp, a number numerically (`±Infinity` included); a `NULL` column satisfies none |
+ * | `anyOf` | `col = ANY($values)` — a `NULL` column satisfies none; empty is `never`; never a `NULL` element |
+ * | `noneOf` | `col <> ALL($values)` — a `NULL` column satisfies none; empty is `always` (`<> ALL` over no values is true); never a `NULL` element (`<> ALL('{1,NULL}')` is `NULL` for every row outside the set) |
+ * | `isNull` | `col IS NULL` — the one node a `NULL` column satisfies by itself |
+ * | `published` | `(col IS NOT NULL AND col <= now())` — the database's clock, one per query |
+ * | `notPublished` | `(col IS NULL OR col > now())` — parenthesised, so it cannot bind to a surrounding `AND` |
+ * | `locale` | `col = ANY($locales)` over the view's locale column (pulpit#56) — as `anyOf`; on a view with no locale level, `never` |
+ * | `and` / `or` | `AND` / `OR` over the parts |
+ *
+ * An `anyOf` / `noneOf` node carrying more than {@link MAX_SET_VALUES} values,
+ * duplicates counted, is `never`, in the renderer as in {@link evaluate}
+ * (`SEC-INPUT-003`); the constructors already fold it so.
+ *
+ * Outside the contract, where SQL and {@link evaluate} cannot be made to
+ * agree, `evaluate` fails closed:
+ *
+ * - **A column of another type than the comparand** (or than any of a
+ *   literal set's values) is a caller or schema error. SQL may coerce the
+ *   parameter (an `integer` column against `'1'`) or raise (against
+ *   `'abc'`); `evaluate` reads every such row as satisfying no `eq`, `ne`,
+ *   comparison, `anyOf` or `noneOf`.
+ * - **`NaN`** (and an invalid `Date`). PostgreSQL's `float8` / `numeric` hold
+ *   `NaN` equal to itself and above every number, an order JavaScript's
+ *   `NaN` does not have. The constructors fold a `NaN` comparand, or a set
+ *   holding one, to `never`; `evaluate` reads a `NaN` comparand or column as
+ *   satisfying no `eq`, `ne`, comparison, `anyOf` or `noneOf`; and a renderer
+ *   must never bind `NaN`, rendering a hand-built node carrying one as `never`.
+ * - **Sub-millisecond instants.** A PostgreSQL timestamp keeps microseconds,
+ *   a JavaScript `Date` milliseconds, so two instants within one millisecond
+ *   can compare unequal in SQL and equal in `evaluate`.
+ *
+ * @copyright Thomas Foster
+ * @module pulpit/filter
+ * @since 0.1.0
+ */
+import * as Array from "effect/Array";
+import * as Match from "effect/Match";
+import * as Order from "effect/Order";
+import * as Predicate from "effect/Predicate";
+import { byCodePoint } from "./internal/list-order.js";
+/**
+ * The most values an `anyOf` / `noneOf` node carries (`SEC-INPUT-003`): a
+ * literal set past it is `never`, so no request drives an unbounded
+ * `= ANY($values)` parameter. An application's own bound sits below it:
+ * `@thomasfosterau/pulpit-wordpress` caps each list parameter at 100, a cap
+ * WordPress core itself doesn't set (pulpit#86).
+ *
+ * @since 0.1.0
+ */
+export const MAX_SET_VALUES = 1000;
+/**
+ * No predicate: every row.
+ *
+ * @since 0.1.0
+ */
+export const always = { kind: "always" };
+/**
+ * Fail closed: no row.
+ *
+ * @since 0.1.0
+ */
+export const never = { kind: "never" };
+/**
+ * A `NaN`, or an invalid `Date`: a value with no place in the order SQL and
+ * {@link evaluate} share (see the module's "Outside the contract").
+ */
+const isUnordered = (value) => (Predicate.isNumber(value) && Number.isNaN(value)) ||
+    (Predicate.isDate(value) && Number.isNaN(value.getTime()));
+/**
+ * `column = value`. A `NaN` value is {@link never}: PostgreSQL's `NaN = NaN`
+ * is true where JavaScript's is not, so it fails closed.
+ *
+ * @since 0.1.0
+ */
+export const eq = (column, value) => isUnordered(value) ? never : { kind: "eq", column, value };
+/**
+ * `column <> value`. A `NULL` or absent column satisfies it no more than it
+ * satisfies {@link eq}: SQL's `NULL <> $v` is `NULL`, not true. A `NaN`
+ * value is {@link never}, failing closed.
+ *
+ * @since 0.1.0
+ */
+export const ne = (column, value) => isUnordered(value) ? never : { kind: "ne", column, value };
+/**
+ * `column IN (following)`. A `NULL` or absent column satisfies none, whatever
+ * `following` holds: SQL's `NULL IN (…)` is `NULL`, not true.
+ *
+ * @since 0.1.0
+ */
+export const isIn = (column, set) => ({ kind: "in", column, set });
+/**
+ * `(column IS NULL OR column NOT IN (following))` (pulpit#191): the exact
+ * complement of {@link isIn} over the same seam set, so `isIn(c, s)` and
+ * `isNotIn(c, s)` partition every row. A `NULL` or absent column satisfies
+ * it, whatever `following` holds, and is never asked about; the seam's set
+ * must never hold a `NULL` (SQL's `NOT IN` over one is `NULL` for every row).
+ *
+ * @example
+ * ```ts
+ * import { strictEqual } from "node:assert";
+ * import { evaluate, isNotIn } from "@thomasfosterau/pulpit/filter";
+ *
+ * const excluded = new Set(["a"]);
+ * const context = { now: new Date(0), contains: (set: Set<string>, value: unknown) => set.has(String(value)) };
+ * strictEqual(evaluate(isNotIn("id", excluded), { id: "a" }, context), false);
+ * strictEqual(evaluate(isNotIn("id", excluded), { id: "b" }, context), true);
+ * strictEqual(evaluate(isNotIn("id", excluded), { id: null }, context), true);
+ * ```
+ *
+ * @since 0.1.0
+ */
+export const isNotIn = (column, set) => ({ kind: "notIn", column, set });
+/**
+ * `column > value`. A `NULL` or absent column satisfies it no more than SQL's
+ * `NULL > $v` (which is `NULL`); `evaluate` reads a column holding another
+ * type than `value` as satisfying none, too. A `NaN` or invalid-`Date` value
+ * is {@link never}. See {@link Comparable} for the orders.
+ *
+ * @since 0.1.0
+ */
+export const gt = (column, value) => isUnordered(value) ? never : { kind: "gt", column, value };
+/**
+ * `column >= value`; equality satisfies it, `Infinity` against `Infinity`
+ * included. A `NULL` or absent column satisfies none (SQL's `NULL >= $v` is
+ * `NULL`); `evaluate` reads a column holding another type than `value` as
+ * satisfying none, too. A `NaN` or invalid-`Date` value is {@link never}.
+ *
+ * @since 0.1.0
+ */
+export const gte = (column, value) => isUnordered(value) ? never : { kind: "gte", column, value };
+/**
+ * `column < value`. A `NULL` or absent column satisfies none (SQL's
+ * `NULL < $v` is `NULL`); `evaluate` reads a column holding another type than
+ * `value` as satisfying none, too. A `NaN` or invalid-`Date` value is
+ * {@link never}.
+ *
+ * @since 0.1.0
+ */
+export const lt = (column, value) => isUnordered(value) ? never : { kind: "lt", column, value };
+/**
+ * `column <= value`; equality satisfies it, `-Infinity` against `-Infinity`
+ * included. A `NULL` or absent column satisfies none (SQL's `NULL <= $v` is
+ * `NULL`); `evaluate` reads a column holding another type than `value` as
+ * satisfying none, too. A `NaN` or invalid-`Date` value is {@link never}.
+ *
+ * @since 0.1.0
+ */
+export const lte = (column, value) => isUnordered(value) ? never : { kind: "lte", column, value };
+/**
+ * `column = ANY(values)`: the column equals one of a literal set, each tested
+ * as {@link eq} tests its value. A `NULL` or absent column is in no set. No
+ * values is {@link never}, and so are more than {@link MAX_SET_VALUES}
+ * (duplicates counted, `SEC-INPUT-003`) and a set holding a `NaN`, so
+ * {@link and} / {@link or} fold each. This is a literal set; a follower
+ * subquery is {@link isIn}'s.
+ *
+ * @since 0.1.0
+ */
+export const anyOf = (column, values) => Array.isReadonlyArrayEmpty(values) || values.length > MAX_SET_VALUES || values.some(isUnordered)
+    ? never
+    : { kind: "anyOf", column, values: [...values] };
+/**
+ * `column <> ALL(values)`: the column equals none of a literal set, each
+ * tested as {@link ne} tests its value. A `NULL` or absent column satisfies it
+ * no more than it satisfies `ne` (SQL's `NULL <> ALL(…)` is `NULL`). No values
+ * is {@link always}; more than {@link MAX_SET_VALUES} (duplicates counted) is
+ * {@link never}, failing closed rather than excluding only some
+ * (`SEC-INPUT-003`), and so is a set holding a `NaN`.
+ *
+ * @since 0.1.0
+ */
+export const noneOf = (column, values) => Array.isReadonlyArrayEmpty(values)
+    ? always
+    : values.length > MAX_SET_VALUES || values.some(isUnordered)
+        ? never
+        : { kind: "noneOf", column, values: [...values] };
+/**
+ * `column IS NULL`: the column holds no value (`evaluate` reads an absent
+ * column so, too). The one node a `NULL` column satisfies on its own, so
+ * `or(isNull(column), noneOf(column, values))` is the exclusion that keeps an
+ * unset column, which a bare {@link noneOf} drops (pulpit#170).
+ *
+ * @since 0.1.0
+ */
+export const isNull = (column) => ({ kind: "isNull", column });
+/**
+ * Stamped, and the stamp has arrived.
+ *
+ * @since 0.1.0
+ */
+export const published = (column) => ({ kind: "published", column });
+/**
+ * Not out: unstamped, or stamped in the future — the exact complement of {@link published}.
+ *
+ * @since 0.1.0
+ */
+export const notPublished = (column) => ({ kind: "notPublished", column });
+/**
+ * The column a localised leaf's current-version view keys its locale level
+ * by (pulpit#56): one view row per `(id, locale)` the head carries, the
+ * shared columns joined in, and a node carrying no locale as one row whose
+ * `locale` is `NULL`. No leaf column may take the name.
+ *
+ * @since 0.1.0
+ */
+export const LOCALE_COLUMN = "locale";
+/**
+ * The locale arm (pulpit#56): the view rows in one of `locales`, read from
+ * the view's {@link LOCALE_COLUMN} as {@link anyOf} reads its column. A row
+ * carrying no locale (a `NULL` locale), and every row of a view with no
+ * locale level, is in none. No locales is {@link never}, and so are more than
+ * {@link MAX_SET_VALUES} (`SEC-INPUT-003`).
+ *
+ * @example
+ * ```ts
+ * import { strictEqual } from "node:assert";
+ * import { evaluate, locale } from "@thomasfosterau/pulpit/filter";
+ *
+ * const context = { now: new Date(0), contains: () => false };
+ * strictEqual(evaluate(locale(["fr", "en"]), { id: "a", locale: "fr" }, context), true);
+ * strictEqual(evaluate(locale(["fr", "en"]), { id: "a", locale: "de" }, context), false);
+ * strictEqual(evaluate(locale(["fr"]), { id: "a" }, context), false);
+ * ```
+ *
+ * @since 0.1.0
+ */
+export const locale = (locales) => Array.isReadonlyArrayEmpty(locales) || locales.length > MAX_SET_VALUES
+    ? never
+    : { kind: "locale", column: LOCALE_COLUMN, locales: [...locales] };
+/** No parts → the identity; one part → that part, bare; more → the combined node. */
+const collapse = (parts, identity, combine) => Array.match(parts, {
+    onEmpty: () => identity,
+    onNonEmpty: (nonEmpty) => Array.isReadonlyArrayNonEmpty(Array.tailNonEmpty(nonEmpty))
+        ? combine(nonEmpty)
+        : Array.headNonEmpty(nonEmpty),
+});
+/**
+ * Conjunction. `always` parts drop out, a `never` part makes the whole
+ * `never`, and a single remaining part is returned bare — so composing
+ * optional filters reads as one call, the shape the apps' `combine` had.
+ *
+ * @since 0.1.0
+ */
+export const and = (...filters) => {
+    if (filters.some((filter) => filter.kind === "never"))
+        return never;
+    return collapse(Array.filter(filters, (filter) => filter.kind !== "always"), always, (parts) => ({ kind: "and", filters: parts }));
+};
+/**
+ * Disjunction. `never` parts drop out, an `always` part makes the whole
+ * `always`, and a single remaining part is returned bare.
+ *
+ * @since 0.1.0
+ */
+export const or = (...filters) => {
+    if (filters.some((filter) => filter.kind === "always"))
+        return always;
+    return collapse(Array.filter(filters, (filter) => filter.kind !== "never"), never, (parts) => ({ kind: "or", filters: parts }));
+};
+/**
+ * Numbers by `<` / `>`, never by subtraction: `Infinity - Infinity` is `NaN`,
+ * which would read `Infinity >= Infinity` as false. Either side `NaN` (or an
+ * invalid `Date`'s instant) is `NaN`, which every relational test reads as false.
+ */
+const byNumber = (column, value) => Number.isNaN(column) || Number.isNaN(value) ? Number.NaN : Order.Number(column, value);
+/**
+ * Compare a column with a {@link Comparable}: negative, zero or positive, or
+ * `NaN` when the column is `NULL`, absent, of another type or unordered
+ * (`NaN`, an invalid `Date`), which every relational test then reads as
+ * false, as SQL's `NULL` is.
+ */
+const compareTo = (column, value) => {
+    if (Predicate.isDate(value)) {
+        return Predicate.isDate(column) ? byNumber(column.getTime(), value.getTime()) : Number.NaN;
+    }
+    if (Predicate.isString(value)) {
+        return Predicate.isString(column) ? byCodePoint(column, value) : Number.NaN;
+    }
+    return Predicate.isNumber(column) ? byNumber(column, value) : Number.NaN;
+};
+/**
+ * `column <> value` as SQL reads it where the two readings agree: a `NULL`
+ * column differs from nothing (`NULL <> $v` is `NULL`), and outside the
+ * contract — a column of another type than `value`, or a `NaN` on either
+ * side — it fails closed rather than answer true.
+ */
+const differs = (column, value) => sameKind(column, value) && !isUnordered(column) && !isUnordered(value) && column !== value;
+/** Whether `column` holds the same kind of {@link Scalar} as `value`. */
+const sameKind = (column, value) => Predicate.isString(value)
+    ? Predicate.isString(column)
+    : Predicate.isNumber(value)
+        ? Predicate.isNumber(column)
+        : Predicate.isBoolean(column);
+/** Read a timestamp column the way the publication axis does: a `Date`, or nothing. */
+const instantOf = (value) => value instanceof Date ? value.getTime() : Number.NaN;
+/**
+ * Run a filter against one row — the in-memory reading of the rendering
+ * contract above. A column that is `null` or that the row lacks matches no
+ * `eq`, satisfies no `ne`, `in`, comparison, `anyOf` or non-empty `noneOf`,
+ * satisfies every `notIn`, and is unpublished: SQL reads `NULL = $v`, `NULL <> $v`, `NULL IN (…)`,
+ * `NULL > $v` and `NULL <> ALL(…)` as `NULL`, which a `WHERE` drops, so `ne`
+ * is not the complement of `eq`, nor `noneOf` of `anyOf`, over a nullable
+ * column; {@link isNull} is the one node such a row satisfies. Such a row fails an `in` without `context.contains` being asked, so
+ * the answer never depends on the seam (pulpit#94). A set past
+ * {@link MAX_SET_VALUES} is `never`. Outside the contract it fails closed: a
+ * column of another type than the comparand (or than any of a set's values),
+ * and a `NaN` (or invalid `Date`) comparand, set element or column, satisfy
+ * no `eq`, `ne`, comparison, `anyOf` or non-empty `noneOf`.
+ *
+ * @since 0.1.0
+ */
+export const evaluate = (filter, row, context) => {
+    const arrived = (column) => instantOf(row[column] ?? null) <= context.now.getTime();
+    return Match.value(filter).pipe(Match.discriminatorsExhaustive("kind")({
+        always: () => true,
+        never: () => false,
+        // `NaN === NaN` is false, so a `NaN` on either side already matches nothing.
+        eq: (node) => row[node.column] === node.value,
+        ne: (node) => differs(row[node.column] ?? null, node.value),
+        in: (node) => {
+            const value = row[node.column] ?? null;
+            return value !== null && context.contains(node.set, value);
+        },
+        notIn: (node) => {
+            const value = row[node.column] ?? null;
+            return value === null || !context.contains(node.set, value);
+        },
+        gt: (node) => compareTo(row[node.column] ?? null, node.value) > 0,
+        gte: (node) => compareTo(row[node.column] ?? null, node.value) >= 0,
+        lt: (node) => compareTo(row[node.column] ?? null, node.value) < 0,
+        lte: (node) => compareTo(row[node.column] ?? null, node.value) <= 0,
+        anyOf: (node) => node.values.length <= MAX_SET_VALUES &&
+            !node.values.some(isUnordered) &&
+            node.values.some((value) => row[node.column] === value),
+        noneOf: (node) => {
+            if (node.values.length > MAX_SET_VALUES)
+                return false;
+            // `<> ALL` over no values is true, even for NULL; the constructor folds that to `always`.
+            if (Array.isReadonlyArrayEmpty(node.values))
+                return true;
+            const value = row[node.column] ?? null;
+            return node.values.every((excluded) => differs(value, excluded));
+        },
+        isNull: (node) => (row[node.column] ?? null) === null,
+        published: (node) => arrived(node.column),
+        notPublished: (node) => !arrived(node.column),
+        locale: (node) => {
+            const value = row[node.column] ?? null;
+            return (node.locales.length <= MAX_SET_VALUES &&
+                Predicate.isString(value) &&
+                node.locales.includes(value));
+        },
+        and: (node) => node.filters.every((part) => evaluate(part, row, context)),
+        or: (node) => node.filters.some((part) => evaluate(part, row, context)),
+    }));
+};
+//# sourceMappingURL=filter.js.map

package/dist/filter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"filter.js","sourceRoot":"","sources":["../src/filter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AAEH,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,SAAS,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAuBvD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC;AAkCnC;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAW,CAAC;AAElD;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,OAAO,EAAW,CAAC;AAEhD;;;GAGG;AACH,MAAM,WAAW,GAAG,CAAC,KAAkB,EAAW,EAAE,CAClD,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAE7D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,MAAc,EAAE,KAAa,EAAE,EAAE,CAClD,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAY,CAAC;AAExE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,MAAc,EAAE,KAAa,EAAE,EAAE,CAClD,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAY,CAAC;AAExE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAY,MAAc,EAAE,GAAc,EAAE,EAAE,CAChE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAU,CAAC;AAEzC;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAY,MAAc,EAAE,GAAc,EAAE,EAAE,CACnE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAU,CAAC;AAE5C;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,MAAc,EAAE,KAAiB,EAAE,EAAE,CACtD,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAY,CAAC;AAExE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,MAAc,EAAE,KAAiB,EAAE,EAAE,CACvD,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAY,CAAC;AAEzE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,MAAc,EAAE,KAAiB,EAAE,EAAE,CACtD,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAY,CAAC;AAExE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,MAAc,EAAE,KAAiB,EAAE,EAAE,CACvD,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAY,CAAC;AAEzE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAc,EAAE,MAA6B,EAAE,EAAE,CACrE,KAAK,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,cAAc,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC;IAC9F,CAAC,CAAC,KAAK;IACP,CAAC,CAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,EAAY,CAAC;AAEhE;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,MAA6B,EAAE,EAAE,CACtE,KAAK,CAAC,oBAAoB,CAAC,MAAM,CAAC;IAChC,CAAC,CAAC,MAAM;IACR,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,cAAc,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC;QAC1D,CAAC,CAAC,KAAK;QACP,CAAC,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,EAAY,CAAC;AAEnE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAU,CAAC;AAEhF;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,MAAc,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAU,CAAC;AAEtF;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,CAAU,CAAC;AAE5F;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,QAAQ,CAAC;AAEtC;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,OAA8B,EAAE,EAAE,CACvD,KAAK,CAAC,oBAAoB,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,cAAc;IACpE,CAAC,CAAC,KAAK;IACP,CAAC,CAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,EAAY,CAAC;AAElF,qFAAqF;AACrF,MAAM,QAAQ,GAAG,CACf,KAA2C,EAC3C,QAA+B,EAC/B,OAA+E,EACxD,EAAE,CACzB,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE;IACjB,OAAO,EAAE,GAAG,EAAE,CAAC,QAAQ;IACvB,UAAU,EAAE,CAAC,QAAQ,EAAE,EAAE,CACvB,KAAK,CAAC,uBAAuB,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QACzD,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QACnB,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC;CACnC,CAAC,CAAC;AAEL;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,GAAG,OAA6C,EACzB,EAAE;IACzB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IACpE,OAAO,QAAQ,CACb,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,EAC3D,MAAM,EACN,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAC7C,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG,CAChB,GAAG,OAA6C,EACzB,EAAE;IACzB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC;QAAE,OAAO,MAAM,CAAC;IACtE,OAAO,QAAQ,CACb,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,EAC1D,KAAK,EACL,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAC5C,CAAC;AACJ,CAAC,CAAC;AAkBF;;;;GAIG;AACH,MAAM,QAAQ,GAAG,CAAC,MAAc,EAAE,KAAa,EAAU,EAAE,CACzD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAEzF;;;;;GAKG;AACH,MAAM,SAAS,GAAG,CAAC,MAAmB,EAAE,KAAiB,EAAU,EAAE;IACnE,IAAI,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;IAC7F,CAAC;IACD,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;IAC9E,CAAC;IACD,OAAO,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;AAC3E,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,OAAO,GAAG,CAAC,MAAmB,EAAE,KAAa,EAAW,EAAE,CAC9D,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,MAAM,KAAK,KAAK,CAAC;AAE7F,yEAAyE;AACzE,MAAM,QAAQ,GAAG,CAAC,MAAmB,EAAE,KAAa,EAAW,EAAE,CAC/D,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;IACvB,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC5B,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;QACzB,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC5B,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;AAEpC,uFAAuF;AACvF,MAAM,SAAS,GAAG,CAAC,KAAkB,EAAU,EAAE,CAC/C,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;AAEvD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,MAA6B,EAC7B,GAAc,EACd,OAAqC,EAC5B,EAAE;IACX,MAAM,OAAO,GAAG,CAAC,MAAc,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IAC5F,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAC7B,KAAK,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI;QAClB,KAAK,EAAE,GAAG,EAAE,CAAC,KAAK;QAClB,6EAA6E;QAC7E,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,KAAK;QAC7C,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QAC3D,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE;YACX,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;YACvC,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC7D,CAAC;QACD,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE;YACd,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;YACvC,OAAO,KAAK,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC9D,CAAC;QACD,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QACjE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QACnE,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QACjE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QACnE,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,CACd,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,cAAc;YACpC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC;QACzD,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;YACf,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,cAAc;gBAAE,OAAO,KAAK,CAAC;YACtD,0FAA0F;YAC1F,IAAI,KAAK,CAAC,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,OAAO,IAAI,CAAC;YACzD,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;YACvC,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;QACnE,CAAC;QACD,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,IAAI;QACrD,SAAS,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;QACzC,YAAY,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;QAC7C,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;YACf,MAAM,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;YACvC,OAAO,CACL,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,cAAc;gBACrC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;gBACzB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAC7B,CAAC;QACJ,CAAC;QACD,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACzE,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;KACxE,CAAC,CACH,CAAC;AACJ,CAAC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,133 @@
+/**
+ * `@thomasfosterau/pulpit` — the versioned-content kernel.
+ *
+ * Every module is exported as a namespace from the package root, following
+ * the convention of `effect` and `@thomasfosterau/effect-jsonapi`; each is
+ * also a subpath (`@thomasfosterau/pulpit/content`, …) for a consumer that
+ * wants one module without the barrel. The in-memory fakes are the one
+ * exception: they are the subpath `@thomasfosterau/pulpit/testing` only, so
+ * that production code never pulls them in through the barrel.
+ *
+ * @copyright Thomas Foster
+ * @module pulpit
+ */
+/**
+ * The Content model fields: `Visibility`, the visibility / draft / timestamp /
+ * tombstone spreads, `ownerRef`, the base `content` resource.
+ */
+export * as Content from "./content.ts";
+/**
+ * The registry flag vocabulary, `validateRegistry`, and the derived families /
+ * branches.
+ */
+export * as Registry from "./registry.ts";
+/**
+ * The append-only node / version chain: create, update, restore, delete,
+ * getVersion, compare (with the pure `diffStates`), restoreVersion, history —
+ * over a store seam.
+ */
+export * as VersionChain from "./version-chain.ts";
+/** The list-filter vocabulary the read predicates render into, and its in-memory evaluator. */
+export * as Filter from "./filter.ts";
+/**
+ * The subtype operation factory: `LeafAccess`, the read scope and viewer
+ * predicates, the write gates, `defineSubtype` and its handlers seam.
+ */
+export * as Subtype from "./subtype.ts";
+/**
+ * The publication axis, the moderation state, and the cache serveability
+ * policy (`isPubliclyServeable`, the `serveable` hook).
+ */
+export * as Publication from "./publication.ts";
+/**
+ * The content-addressed document store seam (`DocumentStore`), the
+ * `DocumentHash` it is keyed by, and the `documentRef` field spread a version
+ * row carries the reference in.
+ */
+export * as Documents from "./documents.ts";
+/**
+ * The edge operations factory: a relation between nodes as its own family
+ * (`defineEdgeOps` over an `EdgeStore` seam), readable only when every end
+ * is, with declared cardinality limits.
+ */
+export * as Edges from "./edges.ts";
+/**
+ * Suggested edits: a contributor's patch against a node's version, accepted
+ * through the target's own update or rejected (`defineProposals` over a
+ * `ProposalStore` seam), with its two-tier stale / conflict classification.
+ */
+export * as Proposals from "./proposals.ts";
+/**
+ * File and media leaves: the blob-store seam (`BlobStore`) keyed by the
+ * content hash, the file field spread, the commit-ordered byte write
+ * (`defineFileWrites`) and the usage index's edge ends.
+ */
+export * as Blobs from "./blobs.ts";
+/**
+ * Routable content: a leaf's path claims tied to its version chain
+ * (`routable` over a `PathStore` seam), the aliases a path change leaves
+ * behind, and the gated resolution of a path.
+ */
+export * as Paths from "./paths.ts";
+/**
+ * The moderation workflow: the transition rules as a before hook
+ * (`moderationHook`), the decision (`defineModeration`), the review-queue
+ * filter, threshold grading (`gradeScores`) and member reports
+ * (`defineReports` over a `ReportStore` seam).
+ */
+export * as Moderation from "./moderation.ts";
+/**
+ * The working copy: an editor's autosave buffer outside the version chain
+ * (`WorkingCopyStore`), committed as one ordinary version
+ * (`defineWorkingCopy`).
+ */
+export * as WorkingCopy from "./working-copy.ts";
+/**
+ * The comments family: threaded comments on any node as versioned owned
+ * leaves (`defineComments`), behind the target's read gate and the
+ * moderation gate.
+ */
+export * as Comments from "./comments.ts";
+/**
+ * Purge: erasure, the one destructive path through a node's history. It
+ * hard-deletes a node's chain and the rows kept for it, then the documents
+ * and bytes nothing else references (`definePurge` over a `PurgeStore`).
+ */
+export * as Purge from "./purge.ts";
+/**
+ * Hybrid search: reciprocal rank fusion over ranked branches, the reranker
+ * and branch seams every branch's scope runs through, and the embedding
+ * pipeline as seams (`fuseRankings`, `hybridSearch`, `embedPending`).
+ */
+export * as Search from "./search.ts";
+/**
+ * Write budgets: a declared ceiling on an account's writes in a rolling
+ * window, spent inside the write as a before hook or by a plain-row family,
+ * over a `BudgetCounter` seam (`bindBudget`, `budgetHook`).
+ */
+export * as Budgets from "./budgets.ts";
+/**
+ * Reactions: one reaction per account per node, a kind from the family's
+ * vocabulary, behind the target's read gate, with a grouped tally
+ * (`defineReactions` over a `ReactionStore`).
+ */
+export * as Reactions from "./reactions.ts";
+/**
+ * The reference resource cache: `./subtype`'s `ResourceCacheSeam`, with a
+ * read-through `get`, over a minimal versioned key-value seam
+ * (`makeResourceCache` over a `VersionedKv`).
+ */
+export * as Cache from "./cache.ts";
+/**
+ * Ordered collections: positioned members of a parent node, the order kept
+ * beside the chain or versioned with the parent (`defineCollection` over a
+ * `CollectionStore`).
+ */
+export * as Collections from "./collections.ts";
+/**
+ * The social graph: follow, mute and block between accounts, the follower
+ * seam filled from it, and the opt-in read filter over silenced authors
+ * (`defineSocial` over a `SocialStore`).
+ */
+export * as Social from "./social.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH;;;GAGG;AACH,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AAExC;;;GAGG;AACH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAE1C;;;;GAIG;AACH,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AAEnD,+FAA+F;AAC/F,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AAEtC;;;GAGG;AACH,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AAExC;;;GAGG;AACH,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAC;AAEhD;;;;GAIG;AACH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAE5C;;;;GAIG;AACH,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AAEpC;;;;GAIG;AACH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAE5C;;;;GAIG;AACH,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AAEpC;;;;GAIG;AACH,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AAEpC;;;;;GAKG;AACH,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAE9C;;;;GAIG;AACH,OAAO,KAAK,WAAW,MAAM,mBAAmB,CAAC;AAEjD;;;;GAIG;AACH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAE1C;;;;GAIG;AACH,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AAEpC;;;;GAIG;AACH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC;AAEtC;;;;GAIG;AACH,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AAExC;;;;GAIG;AACH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAE5C;;;;GAIG;AACH,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AAEpC;;;;GAIG;AACH,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAC;AAEhD;;;;GAIG;AACH,OAAO,KAAK,MAAM,MAAM,aAAa,CAAC"}