@lovrozagar/oat 0.9.1 → 0.11.0

package/dist/runtime/checks.d.ts

@@ -5,13 +5,14 @@
  * ground truth — they compare the API against itself, through independent projections, or against
  * the oracle of what oat just wrote. Check ids are stable: the conformance suite asserts on them.
  */
-import type { Hooks } from "../config/define-config.ts";
+import type { Hooks, PayloadPolicy } from "../config/define-config.ts";
 import type { InviteSpec } from "../spec/extensions.ts";
+import { type CheckId } from "./check-ids.ts";
 import type { QueryCapability } from "../spec/extensions.ts";
 import { type EffectiveQueryCapabilities } from "../spec/query-capabilities.ts";
-import type { OperationModel, SpecModel } from "../spec/graph.ts";
-import type { Client } from "./client.ts";
-import type { FindingCollector } from "./finding.ts";
+import { type EntityModel, type OperationModel, type SpecModel } from "../spec/graph.ts";
+import type { Client, ReadClient } from "./client.ts";
+import { type FindingCollector, type Outcome } from "./finding.ts";
 import type { BackoffConfig } from "./poll.ts";
 import type { UploadContext } from "./upload.ts";
 import type { SchemaValidator } from "./validate.ts";
@@ -29,11 +30,15 @@ export interface Actor {
     /** Value the owner puts in an invite body for this principal. */
     inviteAs: string | undefined;
 }
-export interface CheckContext {
+/**
+ * What a check runs against. A check that does not mutate gets a client that cannot write; a
+ * helper that writes asks for a `WriteContext`, so a read-only check calling it does not compile.
+ */
+export interface CheckContext<C extends ReadClient = ReadClient> {
     entityName: string;
     identity: string;
     model: SpecModel;
-    client: Client;
+    client: C;
     findings: FindingCollector;
     scope: Record<string, string>;
     listOp: OperationModel;
@@ -61,6 +66,8 @@ export interface CheckContext {
     altScope: Record<string, string> | undefined;
     validator: SchemaValidator | undefined;
     seed: number;
+    /** Per-run token for values that must not collide across runs: unique columns, idempotency keys. */
+    nonce: string;
     /** Effective unique column sets for this entity (`[]` when the tag is absent or empty). */
     uniqueSets: string[][];
     /** First-variant create 409 adopted a same-tenant row; unique probes still run. */
@@ -79,33 +86,130 @@ export interface CheckContext {
     waitOps: OperationModel[];
     hooks: Hooks;
     outOfBand: BackoffConfig;
+    /**
+     * The payload policy, and the write paths that have had the whole catalog this run — keyed
+     * by media type and field type, naming the entity that ran it. Optional so a hand-built
+     * context still works; absent means the whole catalog.
+     */
+    payloads?: {
+        policy: PayloadPolicy;
+        ran: Map<string, string>;
+    };
+    /**
+     * Whether an operation is graded by this run. Always true on a full run. Checks that judge
+     * several operations consult it before invoking or judging one. Optional so a hand-built
+     * context still works.
+     */
+    inScope?: (op: OperationModel) => boolean;
+    /**
+     * Registers a record this check caused to exist — a declared effect, a started job — for
+     * teardown. Records made through the entity's own create are tracked without it.
+     */
+    recordCreated?: (entity: string, id: string, scope: Record<string, string>) => void;
+    /**
+     * Narrows what this check graded to the operations it actually judged. A check that judges
+     * after the fact — from whatever the transcript happens to hold — calls it, so an operation
+     * nothing ever exercised is not reported as held. Checks that invoke their subjects need not.
+     */
+    judged?: (operationIds: readonly string[]) => void;
 }
-export interface Check {
-    id: string;
-    /** Skipped silently when the entity lacks the operations this check needs. */
-    applicable: (ctx: CheckContext) => boolean;
+/** The context of a check that changes server state. */
+export type WriteContext = CheckContext<Client>;
+/**
+ * What a check's planning step decided: it can run, with what it needs to — or it cannot, and why.
+ *
+ * Planning is the only place a check decides whether it applies, and `run` receives what the plan
+ * found instead of looking again. A check that applies but then finds nothing to test cannot
+ * happen by construction: the two questions are one.
+ */
+export type Plan<T> = {
+    ok: true;
+    value: T;
+} | {
+    ok: false;
+    needs?: string;
+};
+export declare function ready<T>(value: T): Plan<T>;
+/** The check cannot run here; `needs` says what is missing, else the check's own `needs` does. */
+export declare function cannot(needs?: string): Plan<never>;
+/** `next`, once `gate` holds — a plan built in stages, stopping at the first thing missing. */
+export declare function andThen<A, T>(gate: Plan<A>, next: (value: A) => Plan<T>): Plan<T>;
+/** A plan that carries nothing: the check applies exactly when `condition` holds. */
+export declare function when(condition: boolean, needs?: string): Plan<undefined>;
+interface CheckBase<T> {
+    id: CheckId;
+    /** Decides whether the check applies to this entity, and gathers what `run` needs if it does. */
+    plan(ctx: CheckContext): Plan<T>;
     /**
      * Check ids whose failure makes this one's result meaningless. When any has already fired for
      * this entity, the check is skipped rather than reporting a consequence as a separate defect —
      * one root cause should produce one finding, not a page of them.
      */
-    dependsOn?: string[];
+    dependsOn?: CheckId[];
+    /**
+     * Whether the check judges traffic other checks sent. It runs after every check before it has
+     * finished, never alongside them, so it cannot miss what its batch-mates were still sending.
+     */
+    judgesTranscript?: boolean;
     /**
      * What this check needs in order to run at all, in the reader's terms.
      *
-     * Reported when `applicable` returns false. Skipping silently would leave someone on an API
+     * Reported when the plan cannot run. Skipping silently would leave someone on an API
      * shaped differently from the fixture believing a quiet run meant a clean one, when in truth
      * half the suite never fired.
      */
     needs?: string;
     /**
-     * Whether the check changes server state. Mutating checks run alone and in order; read-only
-     * checks batch together. Two writers racing on the same cohort would make each other's
-     * observations wrong, and the resulting finding would describe the interference rather than
-     * the backend.
+     * Operations whose contract this check judges, decided from the entity graph alone.
+     *
+     * Static so `oat plan --ops` can show a scope without a network, and so a targeted run can
+     * queue only the entities whose checks grade a target. Every other operation a check calls is
+     * support: needed to reach or observe a subject, never graded itself. Required, so a new check
+     * cannot run invisibly under `--ops`.
      */
-    mutates?: boolean;
-    run: (ctx: CheckContext) => Promise<void>;
+    subjects: (entity: EntityModel, model: SpecModel) => string[];
 }
+/**
+ * Whether the check changes server state. Mutating checks run alone and in order, with a client
+ * that can write; read-only checks batch together, with one that cannot. Two writers racing on
+ * the same cohort would make each other's observations wrong, and the resulting finding would
+ * describe the interference rather than the backend.
+ */
+export type Check<T = unknown> = CheckBase<T> & ({
+    mutates: true;
+    run(ctx: WriteContext, plan: T): Promise<Outcome>;
+} | {
+    mutates?: false;
+    run(ctx: CheckContext, plan: T): Promise<Outcome>;
+});
+/** Subject sets shared by the registry. Each reads the same fields the check's context is built from. */
+export declare const subjectsOf: {
+    async: (entity: EntityModel, model: SpecModel) => string[];
+    asyncReceipt: (entity: EntityModel, model: SpecModel) => string[];
+    create: (entity: EntityModel) => string[];
+    createAndForeignReads: (entity: EntityModel, model: SpecModel) => string[];
+    createAndList: (entity: EntityModel) => string[];
+    delete: (entity: EntityModel) => string[];
+    deleteAndList: (entity: EntityModel) => string[];
+    effects: (entity: EntityModel, model: SpecModel) => string[];
+    invite: (entity: EntityModel) => string[];
+    list: (entity: EntityModel) => string[];
+    nonCreate: (entity: EntityModel, model: SpecModel) => string[];
+    read: (entity: EntityModel) => string[];
+    readAndGated: (entity: EntityModel, model: SpecModel) => string[];
+    readAndList: (entity: EntityModel) => string[];
+    update: (entity: EntityModel) => string[];
+    waits: (entity: EntityModel, model: SpecModel) => string[];
+    writeAndRead: (entity: EntityModel) => string[];
+};
 export declare const CHECKS: readonly Check[];
+/** Plans a check and, when it applies, runs it — what the scheduler does, for one check. */
+export declare function runCheck(check: Check, ctx: WriteContext): Promise<Outcome>;
+/**
+ * The registry checks itself as it loads: ids are unique, every id is one `CheckId` names, and
+ * every dependency is registered earlier. A dependency registered later can never suppress
+ * anything — it has not run yet when the scheduler consults it.
+ */
+export declare function validateRegistry(checks: readonly Check[]): void;
+export {};
 //# sourceMappingURL=checks.d.ts.map

package/dist/runtime/checks.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"checks.d.ts","sourceRoot":"","sources":["../../src/runtime/checks.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAA;AAEvD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,EAEN,KAAK,0BAA0B,EAS/B,MAAM,+BAA+B,CAAA;AAEtC,OAAO,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AAIjE,OAAO,KAAK,EAAE,MAAM,EAA4B,MAAM,aAAa,CAAA;AAGnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAKpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEhD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAEpD,OAAO,EAAE,KAAK,OAAO,EAAiC,MAAM,YAAY,CAAA;AAqBxE,kGAAkG;AAClG,MAAM,WAAW,KAAK;IACrB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,GAAG,SAAS,CAAA;IACxB,oEAAoE;IACpE,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACrC,6EAA6E;IAC7E,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,iEAAiE;IACjE,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAA;CAC5B;AAED,MAAM,WAAW,YAAY;IAC5B,UAAU,EAAE,MAAM,CAAA;IAClB,QAAQ,EAAE,MAAM,CAAA;IAChB,KAAK,EAAE,SAAS,CAAA;IAChB,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,gBAAgB,CAAA;IAC1B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,MAAM,EAAE,cAAc,CAAA;IACtB,MAAM,EAAE,cAAc,GAAG,SAAS,CAAA;IAClC,QAAQ,EAAE,cAAc,GAAG,SAAS,CAAA;IACpC,QAAQ,EAAE,cAAc,GAAG,SAAS,CAAA;IACpC,QAAQ,EAAE,cAAc,GAAG,SAAS,CAAA;IACpC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5B,OAAO,EAAE,OAAO,EAAE,CAAA;IAClB,KAAK,EAAE,eAAe,GAAG,IAAI,CAAA;IAC7B,2EAA2E;IAC3E,YAAY,CAAC,EAAE,0BAA0B,CAAA;IACzC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IACzB,MAAM,EAAE,UAAU,GAAG,IAAI,CAAA;IACzB,IAAI,EAAE,MAAM,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAClC,uFAAuF;IACvF,cAAc,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,CAAA;IACnD;;;OAGG;IACH,MAAM,EAAE,KAAK,EAAE,CAAA;IACf,6FAA6F;IAC7F,OAAO,EAAE,CAAC,MAAM,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAA;IACnD,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAAA;IAC5C,SAAS,EAAE,eAAe,GAAG,SAAS,CAAA;IACtC,IAAI,EAAE,MAAM,CAAA;IACZ,2FAA2F;IAC3F,UAAU,EAAE,MAAM,EAAE,EAAE,CAAA;IACtB,mFAAmF;IACnF,aAAa,EAAE,OAAO,CAAA;IACtB,6EAA6E;IAC7E,cAAc,EAAE,cAAc,GAAG,SAAS,CAAA;IAC1C,6EAA6E;IAC7E,cAAc,EAAE,cAAc,GAAG,SAAS,CAAA;IAC1C,wDAAwD;IACxD,OAAO,EAAE,aAAa,CAAA;IACtB,8DAA8D;IAC9D,QAAQ,EAAE,cAAc,EAAE,CAAA;IAC1B,0DAA0D;IAC1D,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,uDAAuD;IACvD,OAAO,EAAE,cAAc,EAAE,CAAA;IACzB,KAAK,EAAE,KAAK,CAAA;IACZ,SAAS,EAAE,aAAa,CAAA;CACxB;AAED,MAAM,WAAW,KAAK;IACrB,EAAE,EAAE,MAAM,CAAA;IACV,8EAA8E;IAC9E,UAAU,EAAE,CAAC,GAAG,EAAE,YAAY,KAAK,OAAO,CAAA;IAC1C;;;;OAIG;IACH,SAAS,CAAC,EAAE,MAAM,EAAE,CAAA;IACpB;;;;;;OAMG;IACH,KAAK,CAAC,EAAE,MAAM,CAAA;IACd;;;;;OAKG;IACH,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,GAAG,EAAE,CAAC,GAAG,EAAE,YAAY,KAAK,OAAO,CAAC,IAAI,CAAC,CAAA;CACzC;AAunND,eAAO,MAAM,MAAM,EAAE,SAAS,KAAK,EAqHlC,CAAA"}
+{"version":3,"file":"checks.d.ts","sourceRoot":"","sources":["../../src/runtime/checks.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAEtE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAAa,KAAK,OAAO,EAAE,MAAM,gBAAgB,CAAA;AACxD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC5D,OAAO,EAEN,KAAK,0BAA0B,EAS/B,MAAM,+BAA+B,CAAA;AAEtC,OAAO,EACN,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,SAAS,EAMd,MAAM,kBAAkB,CAAA;AAKzB,OAAO,KAAK,EAAE,MAAM,EAAY,UAAU,EAAkB,MAAM,aAAa,CAAA;AAK/E,OAAO,EAAsB,KAAK,gBAAgB,EAAE,KAAK,OAAO,EAAa,MAAM,cAAc,CAAA;AAKjG,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEhD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAA;AAEpD,OAAO,EAAE,KAAK,OAAO,EAAiC,MAAM,YAAY,CAAA;AAoBxE,kGAAkG;AAClG,MAAM,WAAW,KAAK;IACrB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,GAAG,SAAS,CAAA;IACxB,oEAAoE;IACpE,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACrC,6EAA6E;IAC7E,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,iEAAiE;IACjE,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAA;CAC5B;AAED;;;GAGG;AACH,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU;IAC9D,UAAU,EAAE,MAAM,CAAA;IAClB,QAAQ,EAAE,MAAM,CAAA;IAChB,KAAK,EAAE,SAAS,CAAA;IAChB,MAAM,EAAE,CAAC,CAAA;IACT,QAAQ,EAAE,gBAAgB,CAAA;IAC1B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7B,MAAM,EAAE,cAAc,CAAA;IACtB,MAAM,EAAE,cAAc,GAAG,SAAS,CAAA;IAClC,QAAQ,EAAE,cAAc,GAAG,SAAS,CAAA;IACpC,QAAQ,EAAE,cAAc,GAAG,SAAS,CAAA;IACpC,QAAQ,EAAE,cAAc,GAAG,SAAS,CAAA;IACpC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;IAC5B,OAAO,EAAE,OAAO,EAAE,CAAA;IAClB,KAAK,EAAE,eAAe,GAAG,IAAI,CAAA;IAC7B,2EAA2E;IAC3E,YAAY,CAAC,EAAE,0BAA0B,CAAA;IACzC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IACzB,MAAM,EAAE,UAAU,GAAG,IAAI,CAAA;IACzB,IAAI,EAAE,MAAM,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAClC,uFAAuF;IACvF,cAAc,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,CAAA;IACnD;;;OAGG;IACH,MAAM,EAAE,KAAK,EAAE,CAAA;IACf,6FAA6F;IAC7F,OAAO,EAAE,CAAC,MAAM,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAA;IACnD,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAAA;IAC5C,SAAS,EAAE,eAAe,GAAG,SAAS,CAAA;IACtC,IAAI,EAAE,MAAM,CAAA;IACZ,oGAAoG;IACpG,KAAK,EAAE,MAAM,CAAA;IACb,2FAA2F;IAC3F,UAAU,EAAE,MAAM,EAAE,EAAE,CAAA;IACtB,mFAAmF;IACnF,aAAa,EAAE,OAAO,CAAA;IACtB,6EAA6E;IAC7E,cAAc,EAAE,cAAc,GAAG,SAAS,CAAA;IAC1C,6EAA6E;IAC7E,cAAc,EAAE,cAAc,GAAG,SAAS,CAAA;IAC1C,wDAAwD;IACxD,OAAO,EAAE,aAAa,CAAA;IACtB,8DAA8D;IAC9D,QAAQ,EAAE,cAAc,EAAE,CAAA;IAC1B,0DAA0D;IAC1D,SAAS,EAAE,cAAc,EAAE,CAAA;IAC3B,uDAAuD;IACvD,OAAO,EAAE,cAAc,EAAE,CAAA;IACzB,KAAK,EAAE,KAAK,CAAA;IACZ,SAAS,EAAE,aAAa,CAAA;IACxB;;;;OAIG;IACH,QAAQ,CAAC,EAAE;QAAE,MAAM,EAAE,aAAa,CAAC;QAAC,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;IAC9D;;;;OAIG;IACH,OAAO,CAAC,EAAE,CAAC,EAAE,EAAE,cAAc,KAAK,OAAO,CAAA;IACzC;;;OAGG;IACH,aAAa,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,IAAI,CAAA;IACnF;;;;OAIG;IACH,MAAM,CAAC,EAAE,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,KAAK,IAAI,CAAA;CAClD;AAED,wDAAwD;AACxD,MAAM,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,CAAA;AA4G/C;;;;;;GAMG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAA;AAE5E,wBAAgB,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAE1C;AAED,kGAAkG;AAClG,wBAAgB,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAElD;AAED,+FAA+F;AAC/F,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAEjF;AAED,qFAAqF;AACrF,wBAAgB,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,CAExE;AAED,UAAU,SAAS,CAAC,CAAC;IACpB,EAAE,EAAE,OAAO,CAAA;IACX,iGAAiG;IACjG,IAAI,CAAC,GAAG,EAAE,YAAY,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IAChC;;;;OAIG;IACH,SAAS,CAAC,EAAE,OAAO,EAAE,CAAA;IACrB;;;OAGG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAC1B;;;;;;OAMG;IACH,KAAK,CAAC,EAAE,MAAM,CAAA;IACd;;;;;;;OAOG;IACH,QAAQ,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,KAAK,MAAM,EAAE,CAAA;CAC7D;AAED;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,GAAG,OAAO,IAAI,SAAS,CAAC,CAAC,CAAC,GAC5C,CACG;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,GAAG,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CAAE,GACpE;IAAE,OAAO,CAAC,EAAE,KAAK,CAAC;IAAC,GAAG,CAAC,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CAAE,CACxE,CAAA;AAQF,yGAAyG;AACzG,eAAO,MAAM,UAAU;oBACN,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;2BACjC,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;qBAE9C,WAAW,KAAG,MAAM,EAAE;oCACP,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;4BAYhD,WAAW,KAAG,MAAM,EAAE;qBAC7B,WAAW,KAAG,MAAM,EAAE;4BACf,WAAW,KAAG,MAAM,EAAE;sBAC5B,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;qBACzC,WAAW,KAAG,MAAM,EAAE;mBAExB,WAAW,KAAG,MAAM,EAAE;wBACjB,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;mBAC7C,WAAW,KAAG,MAAM,EAAE;2BACd,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;0BAGzC,WAAW,KAAG,MAAM,EAAE;qBAC3B,WAAW,KAAG,MAAM,EAAE;oBACvB,WAAW,SAAS,SAAS,KAAG,MAAM,EAAE;2BACjC,WAAW,KAAG,MAAM,EAAE;CAC7C,CAAA;AA4zQD,eAAO,MAAM,MAAM,EAAE,SAAS,KAAK,EA0HlC,CAAA;AAED,4FAA4F;AAC5F,wBAAsB,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,CAIhF;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,GAAG,IAAI,CAkB/D"}