@thomasfosterau/pulpit 0.0.0 → 0.1.0

package/dist/proposals.d.ts

@@ -0,0 +1,523 @@
+/**
+ * **Suggested edits (proposals)** — a contributor's patch against a node
+ * they can read, stamped with the version it was written against, which
+ * the node's writer accepts (appending it) or rejects.
+ *
+ * The behavioural spec is gardeneria's `apps/api/src/operations/proposals.ts`,
+ * `proposal-patch.ts` and `proposal-conflict.ts` (#565), with their tests; a
+ * `#NNN` here names a gardeneria issue.
+ *
+ * ## The model (owner decisions on pulpit#49)
+ *
+ * - **A proposal is a plain row, not a node.** It carries the target, the
+ *   patch as submitted, the `baseVersion` it was written against (stamped
+ *   from the target's head, never client-supplied), its status (`pending |
+ *   accepted | rejected | withdrawn`), the reviewer and the timestamps.
+ *   Rejecting or withdrawing changes its status; only accepting writes to
+ *   the target.
+ * - **Accepting appends through the target's own `update`** (`PUB-003`), as
+ *   the account that accepted, so it runs the target's gate, its precondition
+ *   and its before hooks, and lands as an ordinary `update` version
+ *   (`VERSION-CHAIN-001/002`). The version records the proposer as its
+ *   `proposedBy` fact beside that actor, so history shows both.
+ *
+ * ## Classification, in two tiers (#565, decision 2)
+ *
+ * - {@link classifyProposalBase} — `clean` or `moved`, from two version
+ *   numbers in hand: no read, safe for every row of a list page.
+ * - {@link classifyProposalConflict} — `clean`, `stale` or `conflicting`,
+ *   from the target's states at the base version and at the head
+ *   (`diffStates`): two version reads, so only {@link ProposalOps.review}
+ *   and {@link ProposalOps.accept} run it (`PERF-DB-003`).
+ *
+ * A touched attribute either state lacks (one kept in a side table, outside
+ * the chain) cannot be compared, so on a moved target it counts as
+ * conflicting: fail closed, since `stale` would let an accept overwrite a
+ * change nobody looked at.
+ *
+ * ## The gates
+ *
+ * - **Submit:** a signed-in account at the application's propose rung
+ *   ({@link ProposalsDefinition.canPropose}) that can `get` the target; a
+ *   target it can't read fails `NodeNotFound`, never `Forbidden`
+ *   (`SEC-AUTH-ENUM-001`).
+ * - **Accept / reject / review:** the target's write gate (`requireWriter`:
+ *   owner-or-moderator on an owned leaf, the corpus-write rung on a reference
+ *   one), before the proposal's status is disclosed. Accept and review then
+ *   read the two versions through the target's gated `compare` (`READ-009`).
+ * - **Withdraw:** the proposal's own author, while it is pending.
+ * - **Reads:** the moderate rung reads every proposal; any other signed-in
+ *   account reads its own and those on targets it owns; the anonymous read
+ *   none. A proposal is never public.
+ *
+ * ## A localised leaf (pulpit#184)
+ *
+ * On a leaf with a locale level (pulpit#56) a proposal may also carry a
+ * per-locale patch over the leaf's translated columns
+ * ({@link ProposalsDefinition.localeAttributes}), stored beside its shared
+ * patch and accepted through the same `update` as one version. Its conflict
+ * check reads each touched locale at the base and at the head: a touched
+ * translated column conflicts when it changed, when either version lacks it,
+ * or when the locale was added or dropped in between. A proposal may add a
+ * translation but never drop one (a `null` locale is refused): removing a
+ * locale is the owner's.
+ *
+ * A write budget (pulpit#199) is an opt-in: `budget` throttles `submit`.
+ * Notifications and the wire shape are the application's.
+ *
+ * @copyright Thomas Foster
+ * @module pulpit/proposals
+ * @since 0.1.0
+ */
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
+import type { BoundBudget } from "./budgets.ts";
+import { type ListFilter } from "./filter.ts";
+import { Forbidden, Unauthorized, type AccessPolicy, type Page, type SubtypeOps, type Viewer, type ViewerAccount, type WriteRejected } from "./subtype.ts";
+import { NodeNotFound, type ChainPatch, type LocalePatch, type ChainWrite, type StaleVersion, type VersionChainStore, type VersionConflict, type VersionNotFound, type VersionSnapshot } from "./version-chain.ts";
+/**
+ * A proposal's status. `pending` is the only open one; the other three are
+ * terminal, and a withdrawn proposal is recorded, not deleted.
+ *
+ * @since 0.1.0
+ */
+export declare const ProposalStatus: Schema.Literals<readonly ["pending", "accepted", "rejected", "withdrawn"]>;
+/**
+ * The {@link ProposalStatus} literal union.
+ *
+ * @since 0.1.0
+ */
+export type ProposalStatus = typeof ProposalStatus.Type;
+/**
+ * The cheap verdict: `moved` means "stale or conflicting, not yet told
+ * apart", never a claim that the patch still applies.
+ *
+ * @since 0.1.0
+ */
+export type ProposalBaseState = "clean" | "moved";
+/**
+ * The full verdict: `clean` (the target has not moved), `stale` (it moved,
+ * but no touched attribute changed) or `conflicting`.
+ *
+ * @since 0.1.0
+ */
+export type ProposalConflictState = "clean" | "stale" | "conflicting";
+/**
+ * One proposal row, as the {@link ProposalStore} keeps it.
+ *
+ * @since 0.1.0
+ */
+export interface ProposalRow {
+    readonly id: string;
+    /** The target node and its leaf type. */
+    readonly targetId: string;
+    readonly targetType: string;
+    /** The proposer. */
+    readonly authorId: string;
+    /** The patch as submitted (what the reviewer reads), decoded again at accept. */
+    readonly patch: Schema.Json;
+    /**
+     * A localised leaf's per-locale patch as submitted (pulpit#184), decoded
+     * again at accept; none for a proposal that touches no translation.
+     */
+    readonly locales: Option.Option<Schema.Json>;
+    readonly rationale: Option.Option<string>;
+    /** The target's head when the proposal was submitted. */
+    readonly baseVersion: bigint;
+    readonly status: ProposalStatus;
+    readonly submittedAt: Date;
+    /** When, and by whom, it left `pending` (the author, for a withdrawal). */
+    readonly decidedAt: Option.Option<Date>;
+    readonly decidedBy: Option.Option<string>;
+    readonly decisionNote: Option.Option<string>;
+    /** The version an accepted proposal produced: its provenance pointer. */
+    readonly appliedVersion: Option.Option<bigint>;
+}
+/**
+ * A proposal row as a read returns it, with the target's head version (none
+ * when the target has no versions), read in the same query.
+ *
+ * @since 0.1.0
+ */
+export interface ProposalListing {
+    readonly row: ProposalRow;
+    readonly targetVersion: Option.Option<bigint>;
+}
+/**
+ * The write that closes a pending proposal.
+ *
+ * @since 0.1.0
+ */
+export interface ProposalDecision {
+    readonly status: Exclude<ProposalStatus, "pending">;
+    readonly decidedAt: Date;
+    readonly decidedBy: string;
+    readonly decisionNote: Option.Option<string>;
+    readonly appliedVersion: Option.Option<bigint>;
+}
+declare const ProposalNotFound_base: Schema.Class<ProposalNotFound, Schema.TaggedStruct<"ProposalNotFound", {
+    readonly id: Schema.String;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+/**
+ * No proposal at that id that the viewer may read: the wire's 404.
+ *
+ * @since 0.1.0
+ */
+export declare class ProposalNotFound extends ProposalNotFound_base {
+}
+declare const ProposalClosed_base: Schema.Class<ProposalClosed, Schema.TaggedStruct<"ProposalClosed", {
+    readonly id: Schema.String;
+    readonly status: Schema.Literals<readonly ["pending", "accepted", "rejected", "withdrawn"]>;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+/**
+ * The proposal is no longer pending, so it can't be decided or withdrawn
+ * again: the wire's 409.
+ *
+ * @since 0.1.0
+ */
+export declare class ProposalClosed extends ProposalClosed_base {
+}
+declare const ProposalConflict_base: Schema.Class<ProposalConflict, Schema.TaggedStruct<"ProposalConflict", {
+    readonly id: Schema.String;
+    readonly attributes: Schema.$Array<Schema.String>;
+    /** The conflicting translated columns, by locale (pulpit#184); `{}` when none. */
+    readonly locales: Schema.$Record<Schema.String, Schema.$Array<Schema.String>>;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+/**
+ * The target changed underneath a touched attribute since the proposal was
+ * written (or one can't be compared), so accepting would overwrite an edit
+ * the reviewer never saw: the wire's 409. Reject it and resubmit against
+ * the new head.
+ *
+ * @since 0.1.0
+ */
+export declare class ProposalConflict extends ProposalConflict_base {
+}
+declare const InvalidProposalPatch_base: Schema.Class<InvalidProposalPatch, Schema.TaggedStruct<"InvalidProposalPatch", {
+    readonly type: Schema.String;
+    readonly reason: Schema.String;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+/**
+ * A patch that can't be proposed: not an object, empty, touching a
+ * forbidden or unknown attribute, or refused by the leaf's decoder. The
+ * wire's 422.
+ *
+ * @since 0.1.0
+ */
+export declare class InvalidProposalPatch extends InvalidProposalPatch_base {
+}
+/**
+ * The cheap verdict, from the base version and the target's head: `clean`
+ * only when they are equal.
+ *
+ * @example
+ * ```ts
+ * import { strictEqual } from "node:assert";
+ * import { classifyProposalBase } from "@thomasfosterau/pulpit/proposals";
+ *
+ * strictEqual(classifyProposalBase(4n, 4n), "clean");
+ * strictEqual(classifyProposalBase(4n, 5n), "moved");
+ * ```
+ *
+ * @since 0.1.0
+ */
+export declare const classifyProposalBase: (baseVersion: bigint, currentVersion: bigint) => ProposalBaseState;
+/**
+ * The full verdict, and the attributes responsible for it.
+ *
+ * @since 0.1.0
+ */
+export interface ProposalConflictVerdict {
+    readonly state: ProposalConflictState;
+    /** The touched attributes that changed or can't be compared; empty unless `conflicting`. */
+    readonly conflictingAttributes: ReadonlyArray<string>;
+    /**
+     * The touched translated columns that changed or can't be compared, by
+     * locale (pulpit#184); a locale with none is omitted, so it is `{}` unless
+     * `conflicting`.
+     */
+    readonly conflictingLocales: TouchedLocales;
+}
+/**
+ * The translated columns a proposal touches, by locale (pulpit#184).
+ *
+ * @since 0.1.0
+ */
+export type TouchedLocales = {
+    readonly [locale: string]: ReadonlyArray<string>;
+};
+/**
+ * The full verdict from the target's states at the base version and at the
+ * head, over the attributes the patch touches. Equal versions are `clean`
+ * without comparing anything. Otherwise a touched attribute conflicts when
+ * `diffStates` reports it changed (values compare structurally: a document
+ * by content, `null` against a value is a change, two `null`s are not) or
+ * when either state lacks it (fail closed).
+ *
+ * On a localised leaf, `touchedLocales` names the translated columns the
+ * proposal touches, by locale (pulpit#184), and each is read from the two
+ * versions' locale levels the same way. A locale neither version carries
+ * cannot conflict (a new translation); a locale only one carries (added or
+ * dropped in between) conflicts on every touched column. Pure.
+ *
+ * @example
+ * ```ts
+ * import { deepStrictEqual } from "node:assert";
+ * import { classifyProposalConflict } from "@thomasfosterau/pulpit/proposals";
+ *
+ * const at = (version: bigint, state: { readonly [column: string]: string }) => ({
+ *   version,
+ *   action: "update" as const,
+ *   timestamp: new Date(0),
+ *   state,
+ * });
+ * deepStrictEqual(
+ *   classifyProposalConflict(at(4n, { name: "a", note: "x" }), at(5n, { name: "b", note: "x" }), [
+ *     "name",
+ *     "note",
+ *   ]),
+ *   { state: "conflicting", conflictingAttributes: ["name"], conflictingLocales: {} },
+ * );
+ * ```
+ *
+ * @since 0.1.0
+ */
+export declare const classifyProposalConflict: (base: VersionSnapshot, current: VersionSnapshot, touchedKeys: ReadonlyArray<string>, touchedLocales?: TouchedLocales) => ProposalConflictVerdict;
+/**
+ * The attributes no proposal may carry, whatever the leaf declares:
+ * identity (`id`, `type`) and the publication axes (`visibility`, `draft`,
+ * `publishedAt`), which are the owner's to set (`PUB-005`). An application
+ * adds its own through {@link ProposalsDefinition.forbidden} (gardeneria
+ * adds `slug`, a node's public URL).
+ *
+ * @since 0.1.0
+ */
+export declare const PROPOSAL_FORBIDDEN_KEYS: ReadonlyArray<string>;
+/**
+ * A patch that passed validation.
+ *
+ * @since 0.1.0
+ */
+export interface ValidatedPatch {
+    /** The decoded patch, ready for the target's `update`. */
+    readonly patch: ChainPatch;
+    /** The attribute names it touches, in the leaf's declaration order. */
+    readonly touchedKeys: ReadonlyArray<string>;
+    /** The decoded per-locale patch (pulpit#184), ready for the target's `update`; `{}` for none. */
+    readonly locales: LocalePatch;
+    /** The translated columns it touches, by locale, each in the declaration order. */
+    readonly touchedLocales: TouchedLocales;
+}
+/**
+ * Check a submitted patch's shape and keys against the leaf's proposable
+ * `attributes` (its update fields, in declaration order) and the
+ * `forbidden` keys, then decode it with the leaf's own decoder. Unknown keys
+ * are refused loudly rather than dropped (a misspelt attribute would
+ * otherwise accept and change nothing). Run at submit and again at accept,
+ * since the leaf's schema may have moved in between. Fails
+ * {@link InvalidProposalPatch}.
+ *
+ * On a localised leaf, `options.locales` is the per-locale patch as
+ * submitted (pulpit#184): an object from a non-empty locale tag to an object
+ * of changes to `options.localeAttributes` (the translated columns), each
+ * checked and decoded as the shared patch is. A `null` locale (dropping a
+ * translation) is refused, as is any locale on a leaf with no
+ * `localeAttributes`. The shared patch may then be `{}`, so long as some
+ * locale changes something.
+ *
+ * @since 0.1.0
+ */
+export declare const validateProposalPatch: <R>(type: string, patch: Schema.Json, options: {
+    readonly attributes: ReadonlyArray<string>;
+    readonly forbidden: ReadonlyArray<string>;
+    readonly decode: (patch: Schema.Json) => Effect.Effect<ChainPatch, InvalidProposalPatch, R>;
+    /** The per-locale patch as submitted (pulpit#184); absent, none. */
+    readonly locales?: Schema.Json | undefined;
+    /** The translated columns a proposal may touch, in declaration order; absent, none. */
+    readonly localeAttributes?: ReadonlyArray<string> | undefined;
+}) => Effect.Effect<ValidatedPatch, InvalidProposalPatch, R>;
+/**
+ * The proposal table an application supplies (gardeneria's
+ * `participation.proposal`). It applies no policy, never opens a
+ * transaction, and fails only with its `E`. See the package README → Seams
+ * for the expected schema.
+ *
+ * @since 0.1.0
+ */
+export interface ProposalStore<E, R> {
+    /** Mint a fresh proposal id (a UUID). */
+    readonly mintId: Effect.Effect<string, E, R>;
+    /** Insert a new (pending) row. */
+    readonly insert: (row: ProposalRow) => Effect.Effect<void, E, R>;
+    /** One row with its target's head version, or none. */
+    readonly get: (id: string) => Effect.Effect<Option.Option<ProposalListing>, E, R>;
+    /**
+     * One row, locked for the rest of the transaction (`SELECT … FOR
+     * UPDATE`), so two decisions on one proposal serialise and the second
+     * sees it closed.
+     */
+    readonly lock: (id: string) => Effect.Effect<Option.Option<ProposalRow>, E, R>;
+    /** Close a pending row: write its terminal status, decider and provenance. */
+    readonly close: (id: string, decision: ProposalDecision) => Effect.Effect<void, E, R>;
+    /**
+     * The page under `where`, newest first (`submitted_at DESC, id DESC`,
+     * a total order), with the unpaged total. `where` reads the columns
+     * `authorId`, `targetId`, `targetType`, `status` and `targetOwnerId`
+     * (the target's owner, `core.node_owner`, or `NULL`).
+     */
+    readonly list: (query: {
+        readonly where: ListFilter<never>;
+        readonly limit: number;
+        readonly offset: number;
+    }) => Effect.Effect<Page<ProposalListing>, E, R>;
+}
+/**
+ * One leaf's proposal surface: its target operations, the stores, and the
+ * patch rules.
+ *
+ * @since 0.1.0
+ */
+export interface ProposalsDefinition<Resource, E, R> {
+    /** The target leaf's wire type: the proposals' `targetType`. */
+    readonly type: string;
+    /** The target leaf's operations: `get` gates a submission, `compare` and `update` an acceptance. */
+    readonly target: SubtypeOps<Resource, E, R>;
+    /** The target leaf's chain store, for the head a proposal is stamped with. */
+    readonly chain: VersionChainStore<E, R>;
+    /** The target's owner (its `LeafStore.ownerOf`), for the write gate and the reads. */
+    readonly ownerOf: (id: string) => Effect.Effect<Option.Option<string>, E, R>;
+    readonly proposals: ProposalStore<E, R>;
+    /** The request's viewer. */
+    readonly viewer: Effect.Effect<Viewer, never, R>;
+    readonly policy: AccessPolicy;
+    /** The rung that may propose (gardeneria: any signed-in account; website: contributor+). */
+    readonly canPropose: (account: ViewerAccount) => boolean;
+    /** The attributes a proposal may touch: the leaf's update fields, in declaration order. */
+    readonly attributes: ReadonlyArray<string>;
+    /** The keys no proposal may carry; {@link PROPOSAL_FORBIDDEN_KEYS} when omitted. */
+    readonly forbidden?: ReadonlyArray<string> | undefined;
+    /** The leaf's update decoder over a patch's values (`SEC-INPUT-001`), shared or one locale's. */
+    readonly decode: (patch: Schema.Json) => Effect.Effect<ChainPatch, InvalidProposalPatch, R>;
+    /**
+     * The translated columns a proposal may touch on a localised leaf
+     * (pulpit#184), in declaration order: the leaf's locale level's columns,
+     * or fewer. Omitted, a proposal carries no per-locale patch.
+     */
+    readonly localeAttributes?: ReadonlyArray<string> | undefined;
+    /**
+     * A write budget on `submit` (pulpit#199, `./budgets`' `bindBudget`),
+     * spent as the `submit` action once the submission validates and before
+     * it is stored. Omitted, submissions are unthrottled.
+     */
+    readonly budget?: BoundBudget<E, R> | undefined;
+}
+/**
+ * A proposal as a read returns it: the row, and the cheap verdict while it
+ * is pending.
+ *
+ * @since 0.1.0
+ */
+export interface ProposalView {
+    readonly proposal: ProposalRow;
+    readonly baseState: Option.Option<ProposalBaseState>;
+}
+/**
+ * A pending proposal as the review screen reads it: the full verdict too.
+ *
+ * @since 0.1.0
+ */
+export interface ProposalReview extends ProposalView {
+    readonly conflict: ProposalConflictVerdict;
+}
+type WriteGate = Unauthorized | Forbidden | NodeNotFound;
+/**
+ * The operations {@link defineProposals} produces.
+ *
+ * @since 0.1.0
+ */
+export interface ProposalOps<E, R> {
+    /**
+     * Submit a pending proposal against `targetId`, stamped with its head.
+     * Fails `Unauthorized` when anonymous, `Forbidden` below the propose rung,
+     * `NodeNotFound` when the viewer can't `get` the target,
+     * {@link InvalidProposalPatch}, and `WriteRejected` (`RATE_LIMITED`) when
+     * the declared budget is spent.
+     */
+    readonly submit: (input: {
+        readonly targetId: string;
+        readonly patch: Schema.Json;
+        /** A localised leaf's per-locale patch (pulpit#184); absent, none. */
+        readonly locales?: Schema.Json | undefined;
+        readonly rationale: Option.Option<string>;
+    }) => Effect.Effect<{
+        readonly id: string;
+    }, Unauthorized | Forbidden | NodeNotFound | InvalidProposalPatch | WriteRejected | E, R>;
+    /**
+     * One proposal the viewer may read (the moderate rung, its author, or the
+     * target's owner), with its cheap verdict while pending. Fails
+     * {@link ProposalNotFound} for a missing or unreadable one.
+     */
+    readonly get: (id: string) => Effect.Effect<ProposalView, ProposalNotFound | E, R>;
+    /** One page of the proposals the viewer may read, newest first, optionally narrowed. */
+    readonly list: (request: {
+        readonly targetId: Option.Option<string>;
+        readonly status: Option.Option<ProposalStatus>;
+        readonly limit: number;
+        readonly offset: number;
+    }) => Effect.Effect<Page<ProposalView>, E, R>;
+    /**
+     * A pending proposal with the full verdict, behind the target's write
+     * gate and its gated `compare`. Fails `ProposalNotFound`, the gate's
+     * failures, `ProposalClosed`, `VersionNotFound`, or
+     * `InvalidProposalPatch` when the stored patch no longer validates.
+     */
+    readonly review: (id: string) => Effect.Effect<ProposalReview, ProposalNotFound | WriteGate | ProposalClosed | VersionNotFound | InvalidProposalPatch | E, R>;
+    /**
+     * Accept a pending proposal: re-validate its patch, classify it against
+     * the head (failing {@link ProposalConflict} when conflicting), append it
+     * through the target's `update` with the head as its expected version and
+     * the author as `proposedBy`, and close it with the version it produced.
+     * Fails as `review` does, and as the target's `update` does
+     * (`StaleVersion` when the head moved after the classification;
+     * `WriteRejected` when one of its before hooks refuses the write).
+     */
+    readonly accept: (id: string, options?: {
+        readonly note: Option.Option<string>;
+    }) => Effect.Effect<ChainWrite, ProposalNotFound | WriteGate | ProposalClosed | ProposalConflict | VersionNotFound | InvalidProposalPatch | StaleVersion | VersionConflict | WriteRejected | E, R>;
+    /**
+     * Reject a pending proposal, writing nothing to the target, behind its
+     * write gate (a proposal whose target was deleted can still be rejected).
+     * Fails `ProposalNotFound`, the gate's failures, `ProposalClosed`.
+     */
+    readonly reject: (id: string, options?: {
+        readonly note: Option.Option<string>;
+    }) => Effect.Effect<void, ProposalNotFound | WriteGate | ProposalClosed | E, R>;
+    /**
+     * Withdraw the caller's own pending proposal. Fails `Unauthorized` when
+     * anonymous, `ProposalNotFound`, `Forbidden` for someone else's, and
+     * `ProposalClosed`.
+     */
+    readonly withdraw: (id: string) => Effect.Effect<void, Unauthorized | ProposalNotFound | Forbidden | ProposalClosed | E, R>;
+}
+/**
+ * Bind one leaf's proposal operations. Every operation is traced as
+ * `${type}.proposals.<operation>`, and the writes run in the caller's
+ * transaction: an accept's append and its close commit or roll back
+ * together. An accept runs the target's `update`, so its before hooks, but
+ * not `subtypeHandlers`' write-through: an application that caches the
+ * target writes the accepted version through itself.
+ *
+ * @since 0.1.0
+ */
+export declare const defineProposals: <Resource, E, R>(definition: ProposalsDefinition<Resource, E, R>) => ProposalOps<E, R>;
+export {};
+//# sourceMappingURL=proposals.d.ts.map

package/dist/proposals.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposals.d.ts","sourceRoot":"","sources":["../src/proposals.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsEG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAyB,KAAK,UAAU,EAAE,MAAM,aAAa,CAAC;AAErE,OAAO,EACL,SAAS,EAET,YAAY,EACZ,KAAK,YAAY,EACjB,KAAK,IAAI,EACT,KAAK,UAAU,EACf,KAAK,MAAM,EACX,KAAK,aAAa,EAClB,KAAK,aAAa,EACnB,MAAM,cAAc,CAAC;AACtB,OAAO,EAGL,YAAY,EACZ,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,eAAe,EACrB,MAAM,oBAAoB,CAAC;AAI5B;;;;;GAKG;AACH,eAAO,MAAM,cAAc,4EAAoE,CAAC;AAChG;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAC;AAExD;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,GAAG,OAAO,GAAG,OAAO,CAAC;AAElD;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,GAAG,OAAO,GAAG,OAAO,GAAG,aAAa,CAAC;AAEtE;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,yCAAyC;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,oBAAoB;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iFAAiF;IACjF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC;IAC5B;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1C,yDAAyD;IACzD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC;IAC3B,2EAA2E;IAC3E,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7C,yEAAyE;IACzE,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CAChD;AAED;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CAC/C;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;IACpD,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7C,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CAChD;;;;oBAWmB,OAAO,MAAM;;AAPjC;;;;GAIG;AACH,qBAAa,gBAAiB,SAAQ,qBAKpC;CAAG;;;;;oBAUe,OAAO,MAAM;;AARjC;;;;;GAKG;AACH,qBAAa,cAAe,SAAQ,mBAMlC;CAAG;;;;IAgBH,kFAAkF;;;oBAJhE,OAAO,MAAM;;AAVjC;;;;;;;GAOG;AACH,qBAAa,gBAAiB,SAAQ,qBAQpC;CAAG;;;;;oBAWe,OAAO,MAAM;;AATjC;;;;;;GAMG;AACH,qBAAa,oBAAqB,SAAQ,yBAGiC;CAAG;AAI9E;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,oBAAoB,gBAClB,MAAM,kBACH,MAAM,KACrB,iBAAyE,CAAC;AAE7E;;;;GAIG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAC;IACtC,4FAA4F;IAC5F,QAAQ,CAAC,qBAAqB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACtD;;;;OAIG;IACH,QAAQ,CAAC,kBAAkB,EAAE,cAAc,CAAC;CAC7C;AAED;;;;GAIG;AACH,MAAM,MAAM,cAAc,GAAG;IAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAA;CAAE,CAAC;AAElF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,eAAO,MAAM,wBAAwB,SAC7B,eAAe,WACZ,eAAe,eACX,aAAa,CAAC,MAAM,CAAC,mBAClB,cAAc,KAC7B,uBA0BF,CAAC;AAiBF;;;;;;;;GAQG;AACH,eAAO,MAAM,uBAAuB,EAAE,aAAa,CAAC,MAAM,CAMzD,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,0DAA0D;IAC1D,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,uEAAuE;IACvE,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC5C,iGAAiG;IACjG,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,mFAAmF;IACnF,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;CACzC;AAsCD;;;;;;;;;;;;;;;;;;GAkBG;AACH,eAAO,MAAM,qBAAqB,GAAI,CAAC,QAC/B,MAAM,SACL,MAAM,CAAC,IAAI,WACT;IACP,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC;IAC5F,oEAAoE;IAEpE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,IAAI,GAAG,SAAS,CAAC;IAC3C,uFAAuF;IAEvF,QAAQ,CAAC,gBAAgB,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;CAC/D,KACA,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,oBAAoB,EAAE,CAAC,CA+CvD,CAAC;AAgCF;;;;;;;GAOG;AACH,MAAM,WAAW,aAAa,CAAC,CAAC,EAAE,CAAC;IACjC,yCAAyC;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,kCAAkC;IAClC,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACjE,uDAAuD;IACvD,QAAQ,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAClF;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/E,8EAA8E;IAC9E,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,gBAAgB,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACtF;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE;QACrB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;QAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAClD;AAID;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC;IACjD,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oGAAoG;IACpG,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,8EAA8E;IAC9E,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,sFAAsF;IACtF,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7E,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxC,4BAA4B;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACjD,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,4FAA4F;IAC5F,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,aAAa,KAAK,OAAO,CAAC;IACzD,2FAA2F;IAC3F,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC3C,oFAAoF;IAEpF,QAAQ,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;IACvD,iGAAiG;IACjG,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC;IAC5F;;;;OAIG;IAEH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;IAC9D;;;;OAIG;IAEH,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC;CACjD;AAED;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;CACtD;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAe,SAAQ,YAAY;IAClD,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,CAAC;CAC5C;AAED,KAAK,SAAS,GAAG,YAAY,GAAG,SAAS,GAAG,YAAY,CAAC;AAEzD;;;;GAIG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,EAAE,CAAC;IAC/B;;;;;;OAMG;IACH,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE;QACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC;QAC5B,sEAAsE;QAEtE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,IAAI,GAAG,SAAS,CAAC;QAC3C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;KAC3C,KAAK,MAAM,CAAC,MAAM,CACjB;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,EACvB,YAAY,GAAG,SAAS,GAAG,YAAY,GAAG,oBAAoB,GAAG,aAAa,GAAG,CAAC,EAClF,CAAC,CACF,CAAC;IACF;;;;OAIG;IACH,QAAQ,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,gBAAgB,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACnF,wFAAwF;IACxF,QAAQ,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE;QACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;QAC/C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9C;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,EAAE,CACf,EAAE,EAAE,MAAM,KACP,MAAM,CAAC,MAAM,CAChB,cAAc,EACd,gBAAgB,GAAG,SAAS,GAAG,cAAc,GAAG,eAAe,GAAG,oBAAoB,GAAG,CAAC,EAC1F,CAAC,CACF,CAAC;IACF;;;;;;;;OAQG;IACH,QAAQ,CAAC,MAAM,EAAE,CACf,EAAE,EAAE,MAAM,EACV,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;KAAE,KAC/C,MAAM,CAAC,MAAM,CAChB,UAAU,EACR,gBAAgB,GAChB,SAAS,GACT,cAAc,GACd,gBAAgB,GAChB,eAAe,GACf,oBAAoB,GACpB,YAAY,GACZ,eAAe,GACf,aAAa,GACb,CAAC,EACH,CAAC,CACF,CAAC;IACF;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,CACf,EAAE,EAAE,MAAM,EACV,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;KAAE,KAC/C,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,gBAAgB,GAAG,SAAS,GAAG,cAAc,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/E;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,CACjB,EAAE,EAAE,MAAM,KACP,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,YAAY,GAAG,gBAAgB,GAAG,SAAS,GAAG,cAAc,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;CAC/F;AAkBD;;;;;;;;;GASG;AACH,eAAO,MAAM,eAAe,GAAI,QAAQ,EAAE,CAAC,EAAE,CAAC,cAChC,mBAAmB,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,KAC9C,WAAW,CAAC,CAAC,EAAE,CAAC,CA8NlB,CAAC"}