@sanoma-ai/workflows 0.0.0-stage → 0.2.0

package/dist/define.d.ts

@@ -0,0 +1,205 @@
+import { z } from "zod";
+import { type Op } from "./op.ts";
+/**
+ * Who is acting: the person or service that starts a run or decides an approval. `id` is
+ * whatever the deployment identifies people by; `groups` are the roles it vouches for.
+ */
+export interface Principal {
+    id: string;
+    groups?: string[];
+}
+export declare const Principal: z.ZodType<Principal>;
+export type Builtin = "approval" | "sleep" | "all";
+export type Use = Op | Builtin;
+/** Who may decide an approval: one person, by `Principal.id`, or anyone in a group, by `Principal.groups`. */
+export type Approver = string | {
+    group: string;
+};
+export declare const Approver: z.ZodType<Approver>;
+/** Why `by` may not decide the approval, naming who may. */
+export declare const notApprover: ({ approver }: Pick<ApprovalState, "approver">, by: Principal) => string;
+/** True when the two name the same approver: the same id, or the same group. */
+export declare const sameApprover: (a: Approver, b: Approver) => boolean;
+/** `covers` as given (operations), parsed to their ids. */
+export declare const Covers: z.ZodOptional<z.ZodArray<z.ZodPipe<z.ZodObject<{
+    id: z.ZodString;
+}, z.core.$strip>, z.ZodTransform<string, {
+    id: string;
+}>>>>;
+export interface ApprovalRequest {
+    /** Who must approve: a person's id, or `{ group }` for anyone in it. Phase 4 replaces this with a Cedar decision. */
+    approver: Approver;
+    /**
+     * The operations the approval stands for, so a policy can let their calls through once it
+     * is approved (`a.covers.includes(op.id)`). None unless given.
+     */
+    covers?: Op[];
+    links?: string[];
+    details?: string;
+}
+/**
+ * Checks a `ctx.approval` request as a workflow may give it, so the UI and the ledger get what
+ * the types say, and turns `covers` into op ids.
+ */
+export declare const ApprovalRequestSchema: z.ZodObject<{
+    approver: z.ZodType<Approver, unknown, z.core.$ZodTypeInternals<Approver, unknown>>;
+    covers: z.ZodOptional<z.ZodArray<z.ZodPipe<z.ZodObject<{
+        id: z.ZodString;
+    }, z.core.$strip>, z.ZodTransform<string, {
+        id: string;
+    }>>>>;
+    links: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    details: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+/** One approval in a run, as the run sees it. Published as the run's "approvals" event. */
+export interface ApprovalState extends Omit<ApprovalRequest, "covers"> {
+    id: string;
+    title: string;
+    /** Who asked: the workflow (`ctx.approval`), or the policy holding an operation call. */
+    requestedBy: "workflow" | "policy";
+    /**
+     * The operations the approval stands for, by id. A policy hold covers the call it held and
+     * any `covers` the policy added; a workflow's approval covers the `covers` it named, or none.
+     */
+    covers: string[];
+    /** For a policy request: the operation call held, by op id. */
+    op?: string;
+    /** For a policy request: the ledger `seq` of the call held, which its `op.called` record has. */
+    opSeq?: number;
+    /** For a policy request: the held call's input. */
+    input?: unknown;
+    status: "pending" | "approved" | "rejected";
+    requestedAt: number;
+    decidedBy?: string;
+    decidedAt?: number;
+    note?: string;
+    /** The `id` of the decision message the run decided with, when it had one. */
+    decidedWith?: string;
+    /**
+     * Messages that were ignored: decisions sent by someone who may not decide the approval,
+     * and messages that were not a decision. `by` is the sender, when the message named one, and
+     * `id` the decision message's own, when it had one.
+     */
+    refused: {
+        by?: string;
+        id?: string;
+        at: number;
+        reason: string;
+    }[];
+}
+export interface ApprovalResult {
+    approvedBy: string;
+    at: number;
+    note?: string;
+}
+/**
+ * How long `ctx.sleep` waits: until a time (an ISO 8601 date-time with an offset, such as
+ * `2026-10-07T09:00:00Z`, or epoch milliseconds), or for a duration whose parts add up. A time
+ * already past waits not at all.
+ */
+export type SleepRequest = {
+    until: string | number;
+} | {
+    ms?: number;
+    seconds?: number;
+    minutes?: number;
+    hours?: number;
+    days?: number;
+};
+/** Checks a `ctx.sleep` request that names a time. */
+export declare const SleepUntil: z.ZodObject<{
+    until: z.ZodUnion<readonly [z.ZodISODateTime, z.ZodNumber]>;
+}, z.core.$strict>;
+/** Checks a `ctx.sleep` request that names a duration. */
+export declare const SleepFor: z.ZodObject<{
+    ms: z.ZodOptional<z.ZodNumber>;
+    seconds: z.ZodOptional<z.ZodNumber>;
+    minutes: z.ZodOptional<z.ZodNumber>;
+    hours: z.ZodOptional<z.ZodNumber>;
+    days: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strict>;
+/** Checks a `ctx.all` argument: a list of functions, each one member. */
+export declare const AllMembers: z.ZodArray<z.ZodCustom<() => unknown, () => unknown>>;
+/**
+ * What a step is called, beside its operation: `ctx.ghost.post.create(input, { name: "Draft" })`,
+ * `ctx.sleep({ days: 1 }, { name: "Wait a day" })`. A string literal, or a top-level `const` of
+ * the workflow's file holding one, so the outline reads it. Without one, a call is named by its
+ * operation's id, a sleep `Sleep`; an approval by its title. Names are unique in a workflow, so a
+ * workflow that calls one operation twice names the calls.
+ */
+export interface StepOptions {
+    name?: string;
+}
+type OpsOf<U extends readonly Use[]> = Extract<U[number], Op>;
+type CtxOps<O extends Op> = {
+    readonly [V in O["vendor"]]: {
+        readonly [R in Extract<O, {
+            vendor: V;
+        }>["resource"]]: {
+            readonly [N in Extract<O, {
+                vendor: V;
+                resource: R;
+            }>["name"]]: Extract<O, {
+                vendor: V;
+                resource: R;
+                name: N;
+            }> extends Op<any, any, any, infer I, infer Out> ? (input: I, options?: StepOptions) => Promise<Out> : never;
+        };
+    };
+};
+interface ApprovalCtx {
+    /** Waits, durably, until the approver (or someone in the approver group) approves. Throws `RejectedError` on a rejection. */
+    approval(title: string, request: ApprovalRequest): Promise<ApprovalResult>;
+}
+interface SleepCtx {
+    /** Waits, durably, until a time or for a duration. Survives worker restarts. */
+    sleep(request: SleepRequest, options?: StepOptions): Promise<void>;
+}
+interface AllCtx {
+    /**
+     * Runs the members one after another, in order, and returns their outputs in that order. It
+     * declares a fan-out for the ledger and the graph; it adds no concurrency. The first member
+     * that throws stops the group with its error, and later members never run. Not nestable.
+     */
+    all<const T extends readonly (() => Promise<unknown>)[]>(members: T): Promise<{
+        -readonly [K in keyof T]: Awaited<ReturnType<T[K]>>;
+    }>;
+}
+interface BaseCtx {
+    /** The current time, recorded so replays see the same value. Use instead of `Date.now()`. */
+    now(): Promise<number>;
+    readonly runId: string;
+}
+export type Ctx<U extends readonly Use[]> = BaseCtx & CtxOps<OpsOf<U>> & ("approval" extends U[number] ? ApprovalCtx : unknown) & ("sleep" extends U[number] ? SleepCtx : unknown) & ("all" extends U[number] ? AllCtx : unknown);
+/**
+ * A schema as JSON Schema (draft 2020-12). By default it describes what a caller sends
+ * (`io: "input"`: defaults stay optional); `io: "output"` describes what parsing returns.
+ * What JSON Schema can't express is left open. Throws when zod can't convert the schema at all.
+ */
+export declare function jsonSchemaOf(schema: z.ZodType, io?: "input" | "output", refs?: ReadonlyMap<unknown, string>): Record<string, unknown>;
+export interface WorkflowDefinition<U extends readonly Use[] = readonly Use[], S extends z.ZodType = z.ZodType> {
+    readonly kind: "workflow";
+    readonly name: string;
+    readonly title?: string;
+    readonly trigger: "manual";
+    readonly input: S;
+    /** Every operation and built-in the workflow may call. `ctx` is built from this list and nothing else. */
+    readonly uses: U;
+    readonly run: (ctx: Ctx<U>, input: z.output<S>) => Promise<unknown>;
+    /**
+     * The file that defined it, absolute. Set by defineWorkflow from its call site: the outline is
+     * read from it, the worker holds each run to that outline, and the app shows it as the code view.
+     */
+    readonly file: string;
+}
+/** The ids of the operations a workflow `uses`, in the order declared. */
+export declare const opIdsOf: (wf: Pick<WorkflowDefinition, "uses">) => string[];
+export declare function defineWorkflow<const U extends readonly Use[], S extends z.ZodType>(def: Omit<WorkflowDefinition<U, S>, "kind" | "file">): WorkflowDefinition<U, S>;
+/**
+ * The file of the code that called the function calling this one (`defineWorkflow`'s caller),
+ * from V8's call sites, as a path; undefined where there is none.
+ */
+export declare function callerFile(): string | undefined;
+/** A V8 script name (a `file:` URL for a module, a path for a script) as a path; undefined for none. */
+export declare function scriptPath(script: string | undefined): string | undefined;
+export {};

package/dist/define.js

@@ -0,0 +1,103 @@
+import { fileURLToPath } from "node:url";
+import { getCallSites } from "node:util";
+import { z } from "zod";
+import { isOp } from "./op.js";
+import { approverLabel } from "./shared.js";
+export const Principal = z.object({
+    id: z.string().regex(/\S/, "id must not be blank"),
+    groups: z.array(z.string()).optional(),
+});
+export const Approver = z.union([z.string().regex(/\S/), z.object({ group: z.string().regex(/\S/) })], { error: 'needs an approver: a name, or { group: "name" }' });
+/** Why `by` may not decide the approval, naming who may. */
+export const notApprover = ({ approver }, by) => typeof approver === "string"
+    ? `${by.id} is not the approver; ${approverLabel(approver)} is`
+    : `${by.id} is not in ${approverLabel(approver)}`;
+/** True when the two name the same approver: the same id, or the same group. */
+export const sameApprover = (a, b) => typeof a === "string" || typeof b === "string" ? a === b : a.group === b.group;
+const notOps = "covers must be a list of operations";
+/** `covers` as given (operations), parsed to their ids. */
+export const Covers = z
+    .array(z.object({ id: z.string() }, { error: notOps }).transform((op) => op.id), { error: notOps })
+    .optional();
+/**
+ * Checks a `ctx.approval` request as a workflow may give it, so the UI and the ledger get what
+ * the types say, and turns `covers` into op ids.
+ */
+export const ApprovalRequestSchema = z.object({
+    approver: Approver,
+    covers: Covers,
+    links: z.array(z.string(), { error: "links must be a list of strings" }).optional(),
+    details: z.string({ error: "details must be a string" }).optional(),
+}, { error: "needs a request: { approver, covers?, links?, details? }" });
+const time = "must be an ISO 8601 date-time with an offset, such as 2026-10-07T09:00:00Z, or epoch milliseconds";
+const duration = z.number({ error: "must be a number" }).nonnegative("must not be negative").optional();
+/** Checks a `ctx.sleep` request that names a time. */
+export const SleepUntil = z.strictObject({
+    until: z.union([z.iso.datetime({ offset: true, error: time }), z.number({ error: time })], { error: time }),
+});
+/** Checks a `ctx.sleep` request that names a duration. */
+export const SleepFor = z.strictObject({
+    ms: duration,
+    seconds: duration,
+    minutes: duration,
+    hours: duration,
+    days: duration,
+});
+/** Checks a `ctx.all` argument: a list of functions, each one member. */
+export const AllMembers = z.array(z.custom((m) => typeof m === "function", "each member must be a function, such as () => ctx.…"), { error: "needs a list of functions: ctx.all([() => …, () => …])" });
+/**
+ * A schema as JSON Schema (draft 2020-12). By default it describes what a caller sends
+ * (`io: "input"`: defaults stay optional); `io: "output"` describes what parsing returns.
+ * What JSON Schema can't express is left open. Throws when zod can't convert the schema at all.
+ */
+export function jsonSchemaOf(schema, io = "input", refs) {
+    return z.toJSONSchema(schema, {
+        io,
+        target: "draft-2020-12",
+        unrepresentable: "any",
+        // A schema `refs` names, inside another, becomes a `$ref` to it (a resource type's state).
+        ...(refs?.size && {
+            override: ({ zodSchema, jsonSchema, path }) => {
+                const ref = path.length > 0 ? refs.get(zodSchema) : undefined;
+                if (ref === undefined)
+                    return;
+                for (const key of Object.keys(jsonSchema))
+                    delete jsonSchema[key];
+                Object.assign(jsonSchema, { $ref: ref });
+            },
+        }),
+    });
+}
+/** The ids of the operations a workflow `uses`, in the order declared. */
+export const opIdsOf = (wf) => wf.uses.filter(isOp).map((op) => op.id);
+export function defineWorkflow(def) {
+    if (!/^[a-z][a-z0-9-]*$/.test(def.name)) {
+        throw new Error(`Workflow name "${def.name}" must be lowercase letters, digits and dashes`);
+    }
+    const file = callerFile();
+    if (file === undefined) {
+        throw new Error(`Workflow "${def.name}" was defined from code with no file (an eval, or a bundle without one): ` +
+            "its outline is read from the file, and a run is held to the outline");
+    }
+    return Object.freeze({ kind: "workflow", ...def, file });
+}
+/**
+ * The file of the code that called the function calling this one (`defineWorkflow`'s caller),
+ * from V8's call sites, as a path; undefined where there is none.
+ */
+export function callerFile() {
+    // Frame 0 is this function, frame 1 its caller, frame 2 theirs: by index, since a bundle may hold all three.
+    return scriptPath(getCallSites(3)[2]?.scriptName);
+}
+/** A V8 script name (a `file:` URL for a module, a path for a script) as a path; undefined for none. */
+export function scriptPath(script) {
+    if (!script?.startsWith("file:"))
+        return script || undefined;
+    try {
+        return fileURLToPath(script);
+    }
+    catch {
+        return undefined;
+    }
+}
+//# sourceMappingURL=define.js.map

package/dist/define.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"define.js","sourceRoot":"","sources":["../src/define.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,IAAI,EAAW,MAAM,SAAS,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAW5C,MAAM,CAAC,MAAM,SAAS,GAAyB,CAAC,CAAC,MAAM,CAAC;IACtD,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,sBAAsB,CAAC;IAClD,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CACvC,CAAC,CAAC;AAQH,MAAM,CAAC,MAAM,QAAQ,GAAwB,CAAC,CAAC,KAAK,CAClD,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EACrE,EAAE,KAAK,EAAE,iDAAiD,EAAE,CAC7D,CAAC;AAEF,4DAA4D;AAC5D,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,EAAE,QAAQ,EAAmC,EAAE,EAAa,EAAU,EAAE,CAClG,OAAO,QAAQ,KAAK,QAAQ;IAC1B,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,yBAAyB,aAAa,CAAC,QAAQ,CAAC,KAAK;IAC/D,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,cAAc,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;AAEtD,gFAAgF;AAChF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAW,EAAE,CAAW,EAAW,EAAE,CAChE,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC;AAEjF,MAAM,MAAM,GAAG,qCAAqC,CAAC;AAErD,2DAA2D;AAC3D,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC;KACpB,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACxE,EAAE,KAAK,EAAE,MAAM,EAAE,CAClB;KACA,QAAQ,EAAE,CAAC;AAcd;;;GAGG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAC3C;IACE,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,MAAM;IACd,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,iCAAiC,EAAE,CAAC,CAAC,QAAQ,EAAE;IACnF,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,0BAA0B,EAAE,CAAC,CAAC,QAAQ,EAAE;CACpE,EACD,EAAE,KAAK,EAAE,0DAA0D,EAAE,CACtE,CAAC;AAiDF,MAAM,IAAI,GAAG,mGAAmG,CAAC;AACjH,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,kBAAkB,EAAE,CAAC,CAAC,WAAW,CAAC,sBAAsB,CAAC,CAAC,QAAQ,EAAE,CAAC;AAExG,sDAAsD;AACtD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,YAAY,CAAC;IACvC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;CAC5G,CAAmC,CAAC;AAErC,0DAA0D;AAC1D,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAC,YAAY,CAAC;IACrC,EAAE,EAAE,QAAQ;IACZ,OAAO,EAAE,QAAQ;IACjB,OAAO,EAAE,QAAQ;IACjB,KAAK,EAAE,QAAQ;IACf,IAAI,EAAE,QAAQ;CACf,CAAmC,CAAC;AAErC,yEAAyE;AACzE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAC/B,CAAC,CAAC,MAAM,CAAgB,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,UAAU,EAAE,qDAAqD,CAAC,EAC9G,EAAE,KAAK,EAAE,wDAAwD,EAAE,CACpE,CAAC;AA6DF;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAiB,EACjB,EAAE,GAAuB,OAAO,EAChC,IAAmC;IAEnC,OAAO,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE;QAC5B,EAAE;QACF,MAAM,EAAE,eAAe;QACvB,eAAe,EAAE,KAAK;QACtB,2FAA2F;QAC3F,GAAG,CAAC,IAAI,EAAE,IAAI,IAAI;YAChB,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE;gBAC5C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC9D,IAAI,GAAG,KAAK,SAAS;oBAAE,OAAO;gBAC9B,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC;oBAAE,OAAQ,UAAsC,CAAC,GAAG,CAAC,CAAC;gBAC/F,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;YAC3C,CAAC;SACF,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAkBD,0EAA0E;AAC1E,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,EAAoC,EAAY,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAEnH,MAAM,UAAU,cAAc,CAC5B,GAAoD;IAEpD,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,KAAK,CAAC,kBAAkB,GAAG,CAAC,IAAI,gDAAgD,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,IAAI,GAAG,UAAU,EAAE,CAAC;IAC1B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CACb,aAAa,GAAG,CAAC,IAAI,2EAA2E;YAC9F,qEAAqE,CACxE,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;AAC3D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU;IACxB,6GAA6G;IAC7G,OAAO,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;AACpD,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,UAAU,CAAC,MAA0B;IACnD,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,MAAM,IAAI,SAAS,CAAC;IAC7D,IAAI,CAAC;QACH,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC"}

package/dist/describe.d.ts

@@ -0,0 +1,141 @@
+import { type LintProblem } from "./ast.ts";
+import { type SanomaConfig } from "./config.ts";
+import { type Builtin } from "./define.ts";
+import { type Effect } from "./op.ts";
+import { type Outline } from "./outline.ts";
+import { type ResourceFields } from "./resource.ts";
+import { type DataFiles, type DeclaredResource, type ResourceProblem } from "./resources.ts";
+export { outlineWorkflow, type Outline, type OutlineNode, type Span } from "./outline.ts";
+export type { LintProblem } from "./ast.ts";
+export { readDataFiles, readResources, type DataFiles, type DeclaredResource, type ResourceProblem, } from "./resources.ts";
+export { formatOptions, renderDataFile, setFields, type DataFileContent } from "./writer.ts";
+export { Reference, type DataValue } from "./datafile.ts";
+export { LOCKFILE, readLockfile, serializeLockfile, writeLockfile, diffLockfiles, type Binding, type Bindings, type Rebind, } from "./lockfile.ts";
+export type { ApplyInput, ApplyPlan, ApplyReport, ApplyResult, PlanAnswer, PlanStep } from "./apply.ts";
+/** What a workflow is, read from its definition: enough to draw a start form and show what it may call. */
+export interface WorkflowEntry {
+    name: string;
+    title?: string;
+    trigger: "manual";
+    /**
+     * Set for a workflow the runtime adds itself, `drift` or `apply`, rather than the config: a label. It
+     * starts like any other.
+     */
+    builtin?: true;
+    /** The input, as JSON Schema (draft 2020-12), from the zod schema. */
+    input: Record<string, unknown>;
+    /** Operation ids the workflow may call, in the order declared. */
+    ops: string[];
+    /** Built-ins the workflow may call. */
+    builtins: Builtin[];
+    /** The file that defined it, absolute. */
+    file: string;
+    /** What its `run` calls, in order, read from its file (`outlineWorkflow`), which the worker holds its runs to. */
+    outline: Outline;
+    /**
+     * What is wrong in its file, by position: what `lintWorkflow` finds (syntax, an import a
+     * workflow may not make, `instanceof` against the runtime's error classes, what the outline
+     * cannot draw in each `run`), read the one way the outline is, so a check sees what the
+     * worker refuses; and, at 1:1, an outline error that is the file's (it cannot be read, or holds
+     * no workflow of this name). A file defining several workflows gives each its problems. Empty
+     * for the built-in `drift`, which the package's tests hold to the lint.
+     */
+    problems: LintProblem[];
+    /**
+     * The text the outline's spans index into: the workflow's file, with `\n` line endings.
+     * Absent only when the outline is `{ error }`. Whole files: a server may keep it from clients.
+     */
+    source?: string;
+}
+/** What an operation is, read from its connector: enough to badge it and show its contract. */
+export interface OpEntry {
+    id: string;
+    vendor: string;
+    resource: string;
+    name: string;
+    effect: Effect;
+    idempotent: boolean;
+    description?: string;
+    /** How a scenario's steps name it: Cucumber expressions over its input's fields. */
+    phrases?: {
+        given?: string;
+        expect?: string;
+    };
+    /** What a call sends, as JSON Schema (`io: "input"`: fields with defaults are optional). */
+    input: Record<string, unknown>;
+    /** What a call returns once its schema has parsed the vendor's reply (`io: "output"`). */
+    output: Record<string, unknown>;
+}
+/** Who a vendor is, from its connector's `VendorInfo`: enough to name it, show its logo and link to its connector. */
+export interface VendorEntry {
+    /** The connector's `title`, else the vendor's id. */
+    title: string;
+    /** The logo as `data:image/svg+xml` URLs, for an `<img>`: `dark` is for dark backgrounds. */
+    logo?: {
+        src: string;
+        dark?: string;
+    };
+    /** The connector's npm package name. */
+    package?: string;
+    /** The connector package's `homepage` from its package.json: where its code and README are, as an https URL. */
+    homepage?: string;
+    /** Whether the vendor's connector attaches a fake (`withSetup`), for sandbox runs. */
+    fake: boolean;
+}
+/** A resource type a connector declares with `defineResource`. */
+export interface ResourceTypeEntry {
+    /** `<vendor>.<type>`, such as `github.repository`. */
+    id: string;
+    vendor: string;
+    type: string;
+    title: string;
+    /** How a declared resource's identity is made, such as `name` or `repository_id:pattern`; absent when it is found only by its binding. */
+    identity?: string;
+    /** Its flagged fields, by dotted path. */
+    fields: ResourceFields;
+    /**
+     * Its state, as a read returns it, as JSON Schema (`io: "output"`), with `$id`
+     * `sanoma:resource-type/<id>`: the operations' contracts `$ref` it instead of repeating it.
+     */
+    schema: Record<string, unknown>;
+    /** Its operations' ids, sorted: `<id>.import` and `<id>.read`, and for a writable type its change operations. */
+    ops: string[];
+}
+/**
+ * A plain-JSON description of what a config can do: its workflows, the operations they call,
+ * and whether a policy gates them. The app server builds it from the config and sends it to the
+ * browser, so the UI shows exactly what the worker enforces. Never written by hand.
+ */
+export interface ConfigDescription {
+    appName: string;
+    /** The application version runs started now are stamped with. */
+    version: string;
+    workflows: WorkflowEntry[];
+    ops: OpEntry[];
+    /** Every vendor the operations are from, by its id (an `OpEntry`'s `vendor`). */
+    vendors: Record<string, VendorEntry>;
+    /** The resource types the connectors declare, by `id`. */
+    resourceTypes: ResourceTypeEntry[];
+    /**
+     * The resources the data files under `resources/` declare, by file and then in file order,
+     * less any with a problem and any that names one.
+     */
+    resources: DeclaredResource[];
+    /** Each binding in the lockfile (`LOCKFILE`) whose key no data file declares, as `readDataFiles` reports it. */
+    orphans: DataFiles["orphans"];
+    /** What is wrong in the data files (`readDataFiles`), each at its file, relative to the root, line and column. A workflow's are on its entry. */
+    problems: ResourceProblem[];
+    /** `defined` is false for `allowAll`. */
+    policy: {
+        defined: boolean;
+        version?: string;
+    };
+}
+/**
+ * Describes a config. Throws what `startWorker` would refuse (see `resolveConfig`), except missing
+ * credentials (`SanomaClient.credentials` gives their statuses) and what is wrong in a workflow's
+ * file, which the worker refuses when it reads the outline: that is data, on each workflow's
+ * entry, as the data files' problems are, `problems`, beside the resources read without any.
+ * Each workflow's file is read and parsed once, however many workflows it defines.
+ */
+export declare function describeConfig(config: SanomaConfig): ConfigDescription;

package/dist/describe.js

@@ -0,0 +1,135 @@
+import { readSource } from "./ast.js";
+import { resolveConfig } from "./config.js";
+import { jsonSchemaOf, opIdsOf } from "./define.js";
+import { lintWorkflow } from "./lint.js";
+import { VENDOR } from "./op.js";
+import { outlineWithSource } from "./outline.js";
+import { allowAll, policyOpOf } from "./policy.js";
+import { resourceTypesOf } from "./resource.js";
+import { readDataFiles } from "./resources.js";
+import { BUILT_IN_WORKFLOWS } from "./shared.js";
+// `@sanoma-ai/workflows/describe`: what a UI renders from, apart from the main entry.
+export { outlineWorkflow } from "./outline.js";
+export { readDataFiles, readResources, } from "./resources.js";
+// The writer: setting a resource's fields in its data file, and rendering a new one.
+export { formatOptions, renderDataFile, setFields } from "./writer.js";
+export { Reference } from "./datafile.js";
+export { LOCKFILE, readLockfile, serializeLockfile, writeLockfile, diffLockfiles, } from "./lockfile.js";
+/**
+ * Describes a config. Throws what `startWorker` would refuse (see `resolveConfig`), except missing
+ * credentials (`SanomaClient.credentials` gives their statuses) and what is wrong in a workflow's
+ * file, which the worker refuses when it reads the outline: that is data, on each workflow's
+ * entry, as the data files' problems are, `problems`, beside the resources read without any.
+ * Each workflow's file is read and parsed once, however many workflows it defines.
+ */
+export function describeConfig(config) {
+    const resolved = resolveConfig(config);
+    const vendors = {};
+    // A vendor whose operations are split over several connectors is named by the first; its
+    // resource types are every connector's.
+    for (const connector of config.connectors) {
+        const { id, info } = connector[VENDOR];
+        vendors[id] ??= vendorEntry(id, info, resolved.fakes.has(id));
+    }
+    const resources = resourceTypesOf(config.connectors);
+    // Each resource type's state is described once, on its entry, and referenced from its operations.
+    const refs = new Map([...resources].map(([id, r]) => [r.schema, resourceTypeUri(id)]));
+    const resourceTypes = [...resources]
+        .map(([id, { vendor, type, title, identity, fields, schema, ops }]) => ({
+        id,
+        vendor,
+        type,
+        title,
+        identity,
+        fields,
+        schema: { $id: resourceTypeUri(id), ...toJsonSchema(schema, `${id} state`, "output") },
+        ops: Object.keys(ops)
+            .map((name) => `${id}.${name}`)
+            .toSorted(),
+    }))
+        .toSorted((a, b) => a.id.localeCompare(b.id));
+    const ops = [...resolved.ops.values()].map((op) => ({
+        ...policyOpOf(op),
+        idempotent: op.idempotent,
+        description: op.description,
+        ...(op.phrases && { phrases: op.phrases }),
+        input: toJsonSchema(op.input, `${op.id} input`, "input", refs),
+        output: toJsonSchema(op.output, `${op.id} output`, "output", refs),
+    }));
+    ops.sort((a, b) => a.id.localeCompare(b.id));
+    const read = memoised(readSource);
+    const lint = memoised((file) => lintWorkflow(file));
+    const workflows = [...resolved.workflows.values()].map((wf) => {
+        const file = read(wf.file);
+        const { outline, source, found } = outlineWithSource(wf, file);
+        // What the lint does not report: the file unread, or no workflow of this name in it.
+        const own = "error" in outline && !found && (typeof file === "string" || !file.problems.length);
+        const builtin = BUILT_IN_WORKFLOWS.has(wf.name);
+        const problems = builtin
+            ? []
+            : [
+                ...(typeof file === "string" ? [] : lint(file)),
+                ...(own ? [{ line: 1, column: 1, message: outline.error }] : []),
+            ];
+        return {
+            name: wf.name,
+            title: wf.title,
+            trigger: wf.trigger,
+            ...(builtin && { builtin: true }),
+            input: toJsonSchema(wf.input, `${wf.name} input`, "input"),
+            ops: opIdsOf(wf),
+            builtins: wf.uses.filter((u) => typeof u === "string"),
+            file: wf.file,
+            outline,
+            problems,
+            ...(source === undefined ? {} : { source }),
+        };
+    });
+    workflows.sort((a, b) => a.name.localeCompare(b.name));
+    const dataFiles = readDataFiles(resolved.root, config.connectors, resources);
+    return {
+        appName: resolved.appName,
+        version: resolved.version,
+        workflows,
+        ops,
+        vendors,
+        resourceTypes,
+        resources: dataFiles.resources,
+        orphans: dataFiles.orphans,
+        problems: dataFiles.problems,
+        policy: {
+            defined: resolved.policy !== allowAll,
+            ...(resolved.policy.version === undefined ? {} : { version: resolved.policy.version }),
+        },
+    };
+}
+/** `fn`, called once per argument for as long as the returned function lives. */
+function memoised(fn) {
+    const seen = new Map();
+    return (arg) => {
+        if (!seen.has(arg))
+            seen.set(arg, fn(arg));
+        return seen.get(arg);
+    };
+}
+const svgDataUrl = (svg) => `data:image/svg+xml,${encodeURIComponent(svg.trim())}`;
+const vendorEntry = (id, info, fake) => ({
+    title: info?.title ?? id,
+    ...(info?.logo && {
+        logo: { src: svgDataUrl(info.logo.svg), ...(info.logo.dark && { dark: svgDataUrl(info.logo.dark) }) },
+    }),
+    ...(info?.package && { package: info.package }),
+    ...(info?.homepage && { homepage: info.homepage }),
+    fake,
+});
+/** Where a resource type's state schema is, for a `$ref`. */
+const resourceTypeUri = (id) => `sanoma:resource-type/${id}`;
+function toJsonSchema(schema, what, io, refs) {
+    try {
+        return jsonSchemaOf(schema, io, refs);
+    }
+    catch (e) {
+        throw new Error(`Cannot describe ${what} as JSON Schema: ${e.message}`, { cause: e });
+    }
+}
+//# sourceMappingURL=describe.js.map

package/dist/describe.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"describe.js","sourceRoot":"","sources":["../src/describe.ts"],"names":[],"mappings":"AACA,OAAO,EAAoB,UAAU,EAAmB,MAAM,UAAU,CAAC;AACzE,OAAO,EAAE,aAAa,EAAqB,MAAM,aAAa,CAAC;AAC/D,OAAO,EAAgB,YAAY,EAAE,OAAO,EAAY,MAAM,aAAa,CAAC;AAC5E,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,EAAe,MAAM,EAAmB,MAAM,SAAS,CAAC;AAC/D,OAAO,EAAgB,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAuB,eAAe,EAAE,MAAM,eAAe,CAAC;AACrE,OAAO,EAAyC,aAAa,EAAwB,MAAM,gBAAgB,CAAC;AAC5G,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAEjD,sFAAsF;AACtF,OAAO,EAAE,eAAe,EAA6C,MAAM,cAAc,CAAC;AAG1F,OAAO,EACL,aAAa,EACb,aAAa,GAId,MAAM,gBAAgB,CAAC;AACxB,qFAAqF;AACrF,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,SAAS,EAAwB,MAAM,aAAa,CAAC;AAC7F,OAAO,EAAE,SAAS,EAAkB,MAAM,eAAe,CAAC;AAC1D,OAAO,EACL,QAAQ,EACR,YAAY,EACZ,iBAAiB,EACjB,aAAa,EACb,aAAa,GAId,MAAM,eAAe,CAAC;AAuHvB;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAAC,MAAoB;IACjD,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,OAAO,GAAgC,EAAE,CAAC;IAChD,yFAAyF;IACzF,wCAAwC;IACxC,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAC1C,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QACvC,OAAO,CAAC,EAAE,CAAC,KAAK,WAAW,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACrD,kGAAkG;IAClG,MAAM,IAAI,GAAG,IAAI,GAAG,CAAoB,CAAC,GAAG,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1G,MAAM,aAAa,GAAwB,CAAC,GAAG,SAAS,CAAC;SACtD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACtE,EAAE;QACF,MAAM;QACN,IAAI;QACJ,KAAK;QACL,QAAQ;QACR,MAAM;QACN,MAAM,EAAE,EAAE,GAAG,EAAE,eAAe,CAAC,EAAE,CAAC,EAAE,GAAG,YAAY,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE;QACtF,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;aAClB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,IAAI,EAAE,CAAC;aAC9B,QAAQ,EAAE;KACd,CAAC,CAAC;SACF,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEhD,MAAM,GAAG,GAAc,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC7D,GAAG,UAAU,CAAC,EAAE,CAAC;QACjB,UAAU,EAAE,EAAE,CAAC,UAAU;QACzB,WAAW,EAAE,EAAE,CAAC,WAAW;QAC3B,GAAG,CAAC,EAAE,CAAC,OAAO,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC;QAC1C,KAAK,EAAE,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC;QAC9D,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC;KACnE,CAAC,CAAC,CAAC;IACJ,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAE7C,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,IAAgB,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,MAAM,SAAS,GAAoB,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QAC7E,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,iBAAiB,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC/D,qFAAqF;QACrF,MAAM,GAAG,GAAG,OAAO,IAAI,OAAO,IAAI,CAAC,KAAK,IAAI,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAChG,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,OAAO;YACtB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,GAAG,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/C,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;aACjE,CAAC;QACN,OAAO;YACL,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,KAAK,EAAE,EAAE,CAAC,KAAK;YACf,OAAO,EAAE,EAAE,CAAC,OAAO;YACnB,GAAG,CAAC,OAAO,IAAI,EAAE,OAAO,EAAE,IAAa,EAAE,CAAC;YAC1C,KAAK,EAAE,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,QAAQ,EAAE,OAAO,CAAC;YAC1D,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC;YAChB,QAAQ,EAAG,EAAE,CAAC,IAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAgB,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;YAC/E,IAAI,EAAE,EAAE,CAAC,IAAI;YACb,OAAO;YACP,QAAQ;YACR,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;SAC5C,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACvD,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAE7E,OAAO;QACL,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,OAAO,EAAE,QAAQ,CAAC,OAAO;QACzB,SAAS;QACT,GAAG;QACH,OAAO;QACP,aAAa;QACb,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,MAAM,EAAE;YACN,OAAO,EAAE,QAAQ,CAAC,MAAM,KAAK,QAAQ;YACrC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;SACvF;KACF,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,SAAS,QAAQ,CAAO,EAAiB;IACvC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAQ,CAAC;IAC7B,OAAO,CAAC,GAAG,EAAE,EAAE;QACb,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;IACxB,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,GAAW,EAAE,EAAE,CAAC,sBAAsB,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;AAE3F,MAAM,WAAW,GAAG,CAAC,EAAU,EAAE,IAA4B,EAAE,IAAa,EAAe,EAAE,CAAC,CAAC;IAC7F,KAAK,EAAE,IAAI,EAAE,KAAK,IAAI,EAAE;IACxB,GAAG,CAAC,IAAI,EAAE,IAAI,IAAI;QAChB,IAAI,EAAE,EAAE,GAAG,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;KACtG,CAAC;IACF,GAAG,CAAC,IAAI,EAAE,OAAO,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;IAC/C,GAAG,CAAC,IAAI,EAAE,QAAQ,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;IAClD,IAAI;CACL,CAAC,CAAC;AAEH,6DAA6D;AAC7D,MAAM,eAAe,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,wBAAwB,EAAE,EAAE,CAAC;AAErE,SAAS,YAAY,CACnB,MAAiB,EACjB,IAAY,EACZ,EAAsB,EACtB,IAAmC;IAEnC,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,mBAAmB,IAAI,oBAAqB,CAAW,CAAC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACnG,CAAC;AACH,CAAC"}