dabke 0.78.2 → 0.80.0

package/dist/cpsat/rules/scope.types.d.ts

@@ -0,0 +1,267 @@
+/**
+ * Type-safe scoping for rule configurations.
+ *
+ * Uses the `?: never` pattern to enforce mutual exclusivity at compile time:
+ * when one scope field is present, the others in the same dimension are typed
+ * as `never`, making it a `tsc` error to provide them.
+ *
+ * Array scope fields use non-empty tuple types (`[T, ...T[]]`) so that
+ * empty arrays are compile-time errors.
+ *
+ * Two dimensions of scoping:
+ * - **Entity scope**: who the rule applies to (employees, roles, or skills)
+ * - **Time scope**: when the rule applies (date range, specific dates, day of week, or recurring)
+ *
+ * Each rule declares which scopes it supports via the `entityScope()`,
+ * `timeScope()`, and `requiredTimeScope()` builder functions.
+ *
+ * @example
+ * ```ts
+ * // time-off: entity optional, time required
+ * const TimeOffSchema = z.object({ priority: PrioritySchema })
+ *   .and(entityScope(["employees", "roles", "skills"]))
+ *   .and(requiredTimeScope(["dateRange", "specificDates", "dayOfWeek", "recurring"]));
+ *
+ * // max-hours-week: both optional
+ * const MaxHoursWeekSchema = z.object({ hours: z.number(), priority: PrioritySchema })
+ *   .and(entityScope(["employees", "roles", "skills"]))
+ *   .and(timeScope(["dateRange", "specificDates", "dayOfWeek", "recurring"]));
+ *
+ * // max-consecutive-days: only employee scoping, no time
+ * const MaxConsecutiveDaysSchema = z.object({ days: z.number(), priority: PrioritySchema })
+ *   .and(entityScope(["employees"]));
+ * ```
+ */
+import * as z from "zod";
+import { type DayOfWeek } from "../../types.js";
+import type { SchedulingEmployee } from "../types.js";
+export type EntityKey = "employees" | "roles" | "skills";
+export type TimeKey = "dateRange" | "specificDates" | "dayOfWeek" | "recurring";
+/**
+ * The field shape when an entity scope variant is active (selected).
+ * Each variant adds a single field with a non-empty array.
+ */
+type ActiveEntityFields = {
+    employees: {
+        employeeIds: NonEmptyArray<string>;
+    };
+    roles: {
+        roleIds: NonEmptyArray<string>;
+    };
+    skills: {
+        skillIds: NonEmptyArray<string>;
+    };
+};
+/**
+ * The field shape when an entity scope variant is inactive (not selected).
+ * The field is typed as `?: never` so it cannot be provided.
+ */
+type InactiveEntityFields = {
+    employees: {
+        employeeIds?: never;
+    };
+    roles: {
+        roleIds?: never;
+    };
+    skills: {
+        skillIds?: never;
+    };
+};
+type NonEmptyArray<T> = [T, ...T[]];
+/** Recurring calendar period for time scoping. */
+export interface RecurringPeriod {
+    name: string;
+    startMonth: number;
+    startDay: number;
+    endMonth: number;
+    endDay: number;
+}
+/**
+ * The field shape when a time scope variant is active (selected).
+ */
+type ActiveTimeFields = {
+    dateRange: {
+        dateRange: {
+            start: string;
+            end: string;
+        };
+    };
+    specificDates: {
+        specificDates: NonEmptyArray<string>;
+    };
+    dayOfWeek: {
+        dayOfWeek: NonEmptyArray<DayOfWeek>;
+    };
+    recurring: {
+        recurringPeriods: NonEmptyArray<RecurringPeriod>;
+    };
+};
+/**
+ * The field shape when a time scope variant is inactive (not selected).
+ */
+type InactiveTimeFields = {
+    dateRange: {
+        dateRange?: never;
+    };
+    specificDates: {
+        specificDates?: never;
+    };
+    dayOfWeek: {
+        dayOfWeek?: never;
+    };
+    recurring: {
+        recurringPeriods?: never;
+    };
+};
+/**
+ * Merges all values of an object type into an intersection.
+ *
+ * @example
+ * MergeValues<{ a: { x: 1 }; b: { y: 2 } }> = { x: 1 } & { y: 2 }
+ */
+type MergeValues<T> = {
+    [K in keyof T]: (x: T[K]) => void;
+} extends {
+    [K in keyof T]: (x: infer U) => void;
+} ? U : never;
+/**
+ * Exactly one of the specified keys must be present.
+ * The active key's field is required; all others are `?: never`.
+ *
+ * @example
+ * ExclusiveOne<ActiveEntityFields, InactiveEntityFields, "employees" | "roles">
+ * =
+ *   | { employeeIds: [string, ...string[]]; roleIds?: never }
+ *   | { roleIds: [string, ...string[]]; employeeIds?: never }
+ */
+export type ExclusiveOne<Active extends Record<string, object>, Inactive extends Record<string, object>, Keys extends keyof Active & keyof Inactive> = {
+    [K in Keys]: Active[K] & MergeValues<Pick<Inactive, Exclude<Keys, K>>>;
+}[Keys];
+/**
+ * At most one of the specified keys may be present (or none).
+ * Same as {@link ExclusiveOne} plus the case where all fields are `?: never`.
+ */
+export type MaybeOne<Active extends Record<string, object>, Inactive extends Record<string, object>, Keys extends keyof Active & keyof Inactive> = ExclusiveOne<Active, Inactive, Keys> | MergeValues<Pick<Inactive, Keys>>;
+/** Entity scope type for a subset of entity keys (at most one). */
+export type EntityScopeType<K extends EntityKey> = MaybeOne<ActiveEntityFields, InactiveEntityFields, K>;
+/** Time scope type for a subset of time keys (at most one, optional). */
+export type OptionalTimeScopeType<K extends TimeKey> = MaybeOne<ActiveTimeFields, InactiveTimeFields, K>;
+/** Time scope type for a subset of time keys (exactly one, required). */
+export type RequiredTimeScopeType<K extends TimeKey> = ExclusiveOne<ActiveTimeFields, InactiveTimeFields, K>;
+/**
+ * Creates a Zod schema for optional entity scoping (at most one of the
+ * specified entity variants).
+ *
+ * The returned schema accepts flat fields (`employeeIds`, `roleIds`, `skillIds`)
+ * but the TypeScript type enforces mutual exclusivity via `?: never`.
+ *
+ * @param keys - Which entity scope variants to support
+ *
+ * @example
+ * ```ts
+ * // Supports all entity scopes
+ * entityScope(["employees", "roles", "skills"])
+ *
+ * // Only employee scoping
+ * entityScope(["employees"])
+ * ```
+ */
+export declare function entityScope<const K extends readonly EntityKey[]>(keys: K): z.ZodType<EntityScopeType<K[number]>>;
+/**
+ * Creates a Zod schema for optional time scoping (at most one of the
+ * specified time variants, or none).
+ *
+ * @param keys - Which time scope variants to support
+ *
+ * @example
+ * ```ts
+ * // Supports all time scopes, all optional
+ * timeScope(["dateRange", "specificDates", "dayOfWeek", "recurring"])
+ * ```
+ */
+export declare function timeScope<const K extends readonly TimeKey[]>(keys: K): z.ZodType<OptionalTimeScopeType<K[number]>>;
+/**
+ * Creates a Zod schema for required time scoping (exactly one of the
+ * specified time variants must be present).
+ *
+ * @param keys - Which time scope variants to support
+ *
+ * @example
+ * ```ts
+ * // Exactly one time scope required (for time-off)
+ * requiredTimeScope(["dateRange", "specificDates", "dayOfWeek", "recurring"])
+ * ```
+ */
+export declare function requiredTimeScope<const K extends readonly TimeKey[]>(keys: K): z.ZodType<RequiredTimeScopeType<K[number]>>;
+/**
+ * Parsed entity scope from a flat config.
+ * Used internally by scope resolution functions.
+ */
+export type ParsedEntityScope = {
+    type: "global";
+} | {
+    type: "employees";
+    employeeIds: string[];
+} | {
+    type: "roles";
+    roleIds: string[];
+} | {
+    type: "skills";
+    skillIds: string[];
+};
+/**
+ * Parsed time scope from a flat config.
+ * Used internally by scope resolution functions.
+ */
+export type ParsedTimeScope = {
+    type: "none";
+} | {
+    type: "dateRange";
+    start: string;
+    end: string;
+} | {
+    type: "specificDates";
+    dates: string[];
+} | {
+    type: "dayOfWeek";
+    days: DayOfWeek[];
+} | {
+    type: "recurring";
+    periods: RecurringPeriod[];
+};
+/** Input shape accepted by {@link parseEntityScope}. */
+export interface EntityScopeInput {
+    employeeIds?: string[];
+    roleIds?: string[];
+    skillIds?: string[];
+    [key: string]: unknown;
+}
+/** Input shape accepted by {@link parseTimeScope}. */
+export interface TimeScopeInput {
+    dateRange?: {
+        start: string;
+        end: string;
+    };
+    specificDates?: string[];
+    dayOfWeek?: DayOfWeek[];
+    recurringPeriods?: RecurringPeriod[];
+    [key: string]: unknown;
+}
+/**
+ * Extracts the entity scope from a parsed flat config.
+ */
+export declare function parseEntityScope(config: EntityScopeInput): ParsedEntityScope;
+/**
+ * Extracts the time scope from a parsed flat config.
+ */
+export declare function parseTimeScope(config: TimeScopeInput): ParsedTimeScope;
+/**
+ * Resolves which employees a rule applies to based on entity scope.
+ */
+export declare function resolveEmployeesFromScope(scope: ParsedEntityScope, employees: SchedulingEmployee[]): SchedulingEmployee[];
+/**
+ * Resolves which days a rule applies to based on time scope.
+ */
+export declare function resolveActiveDaysFromScope(scope: ParsedTimeScope, allDays: string[]): string[];
+export {};
+//# sourceMappingURL=scope.types.d.ts.map

package/dist/cpsat/rules/scope.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.types.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/scope.types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAAmB,KAAK,SAAS,EAAE,MAAM,gBAAgB,CAAC;AACjE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAOtD,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,OAAO,GAAG,QAAQ,CAAC;AACzD,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,eAAe,GAAG,WAAW,GAAG,WAAW,CAAC;AAMhF;;;GAGG;AACH,KAAK,kBAAkB,GAAG;IACxB,SAAS,EAAE;QAAE,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAAE,CAAC;IAClD,KAAK,EAAE;QAAE,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAAE,CAAC;IAC1C,MAAM,EAAE;QAAE,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAAE,CAAC;CAC7C,CAAC;AAEF;;;GAGG;AACH,KAAK,oBAAoB,GAAG;IAC1B,SAAS,EAAE;QAAE,WAAW,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC;IACnC,KAAK,EAAE;QAAE,OAAO,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC;IAC3B,MAAM,EAAE;QAAE,QAAQ,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC;CAC9B,CAAC;AAEF,KAAK,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;AAEpC,kDAAkD;AAClD,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,KAAK,gBAAgB,GAAG;IACtB,SAAS,EAAE;QAAE,SAAS,EAAE;YAAE,KAAK,EAAE,MAAM,CAAC;YAAC,GAAG,EAAE,MAAM,CAAA;SAAE,CAAA;KAAE,CAAC;IACzD,aAAa,EAAE;QAAE,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAAE,CAAC;IACxD,SAAS,EAAE;QAAE,SAAS,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;KAAE,CAAC;IACnD,SAAS,EAAE;QAAE,gBAAgB,EAAE,aAAa,CAAC,eAAe,CAAC,CAAA;KAAE,CAAC;CACjE,CAAC;AAEF;;GAEG;AACH,KAAK,kBAAkB,GAAG;IACxB,SAAS,EAAE;QAAE,SAAS,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC;IACjC,aAAa,EAAE;QAAE,aAAa,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC;IACzC,SAAS,EAAE;QAAE,SAAS,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC;IACjC,SAAS,EAAE;QAAE,gBAAgB,CAAC,EAAE,KAAK,CAAA;KAAE,CAAC;CACzC,CAAC;AAMF;;;;;GAKG;AACH,KAAK,WAAW,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI;CAAE,SAAS;KACjE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI;CACrC,GACG,CAAC,GACD,KAAK,CAAC;AAEV;;;;;;;;;GASG;AACH,MAAM,MAAM,YAAY,CACtB,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACrC,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACvC,IAAI,SAAS,MAAM,MAAM,GAAG,MAAM,QAAQ,IACxC;KACD,CAAC,IAAI,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;CACvE,CAAC,IAAI,CAAC,CAAC;AAER;;;GAGG;AACH,MAAM,MAAM,QAAQ,CAClB,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACrC,QAAQ,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACvC,IAAI,SAAS,MAAM,MAAM,GAAG,MAAM,QAAQ,IACxC,YAAY,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;AAM7E,mEAAmE;AACnE,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,SAAS,IAAI,QAAQ,CACzD,kBAAkB,EAClB,oBAAoB,EACpB,CAAC,CACF,CAAC;AAEF,yEAAyE;AACzE,MAAM,MAAM,qBAAqB,CAAC,CAAC,SAAS,OAAO,IAAI,QAAQ,CAC7D,gBAAgB,EAChB,kBAAkB,EAClB,CAAC,CACF,CAAC;AAEF,yEAAyE;AACzE,MAAM,MAAM,qBAAqB,CAAC,CAAC,SAAS,OAAO,IAAI,YAAY,CACjE,gBAAgB,EAChB,kBAAkB,EAClB,CAAC,CACF,CAAC;AAuDF;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,WAAW,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,SAAS,EAAE,EAC9D,IAAI,EAAE,CAAC,GACN,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CA0BvC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,SAAS,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAC1D,IAAI,EAAE,CAAC,GACN,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CA4B7C;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,OAAO,EAAE,EAClE,IAAI,EAAE,CAAC,GACN,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAoC7C;AAMD;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GACzB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,WAAW,EAAE,MAAM,EAAE,CAAA;CAAE,GAC5C;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAE3C;;;GAGG;AACH,MAAM,MAAM,eAAe,GACvB;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAChB;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,KAAK,EAAE,MAAM,EAAE,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,SAAS,EAAE,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,eAAe,EAAE,CAAA;CAAE,CAAC;AAEtD,wDAAwD;AACxD,MAAM,WAAW,gBAAgB;IAC/B,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED,sDAAsD;AACtD,MAAM,WAAW,cAAc;IAC7B,SAAS,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3C,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,SAAS,CAAC,EAAE,SAAS,EAAE,CAAC;IACxB,gBAAgB,CAAC,EAAE,eAAe,EAAE,CAAC;IACrC,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,GAAG,iBAAiB,CAW5E;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,cAAc,GAAG,eAAe,CActE;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,iBAAiB,EACxB,SAAS,EAAE,kBAAkB,EAAE,GAC9B,kBAAkB,EAAE,CActB;AAED;;GAEG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAwB9F"}

package/dist/cpsat/rules/scope.types.js

@@ -0,0 +1,325 @@
+/**
+ * Type-safe scoping for rule configurations.
+ *
+ * Uses the `?: never` pattern to enforce mutual exclusivity at compile time:
+ * when one scope field is present, the others in the same dimension are typed
+ * as `never`, making it a `tsc` error to provide them.
+ *
+ * Array scope fields use non-empty tuple types (`[T, ...T[]]`) so that
+ * empty arrays are compile-time errors.
+ *
+ * Two dimensions of scoping:
+ * - **Entity scope**: who the rule applies to (employees, roles, or skills)
+ * - **Time scope**: when the rule applies (date range, specific dates, day of week, or recurring)
+ *
+ * Each rule declares which scopes it supports via the `entityScope()`,
+ * `timeScope()`, and `requiredTimeScope()` builder functions.
+ *
+ * @example
+ * ```ts
+ * // time-off: entity optional, time required
+ * const TimeOffSchema = z.object({ priority: PrioritySchema })
+ *   .and(entityScope(["employees", "roles", "skills"]))
+ *   .and(requiredTimeScope(["dateRange", "specificDates", "dayOfWeek", "recurring"]));
+ *
+ * // max-hours-week: both optional
+ * const MaxHoursWeekSchema = z.object({ hours: z.number(), priority: PrioritySchema })
+ *   .and(entityScope(["employees", "roles", "skills"]))
+ *   .and(timeScope(["dateRange", "specificDates", "dayOfWeek", "recurring"]));
+ *
+ * // max-consecutive-days: only employee scoping, no time
+ * const MaxConsecutiveDaysSchema = z.object({ days: z.number(), priority: PrioritySchema })
+ *   .and(entityScope(["employees"]));
+ * ```
+ */
+import * as z from "zod";
+import { DayOfWeekSchema } from "../../types.js";
+import { parseDayString } from "../utils.js";
+// ============================================================================
+// Zod Schemas for Individual Fields
+// ============================================================================
+const recurringPeriodSchema = z.object({
+    name: z.string(),
+    startMonth: z.number(),
+    startDay: z.number(),
+    endMonth: z.number(),
+    endDay: z.number(),
+});
+const entityFieldSchemas = {
+    employees: { employeeIds: z.array(z.string()).nonempty() },
+    roles: { roleIds: z.array(z.string()).nonempty() },
+    skills: { skillIds: z.array(z.string()).nonempty() },
+};
+const timeFieldSchemas = {
+    dateRange: {
+        dateRange: z.object({
+            start: z.iso.date(),
+            end: z.iso.date(),
+        }),
+    },
+    specificDates: { specificDates: z.array(z.iso.date()).nonempty() },
+    dayOfWeek: { dayOfWeek: z.array(DayOfWeekSchema).nonempty() },
+    recurring: { recurringPeriods: z.array(recurringPeriodSchema).nonempty() },
+};
+/** Maps entity keys to their field names. */
+const entityFieldNames = {
+    employees: "employeeIds",
+    roles: "roleIds",
+    skills: "skillIds",
+};
+/** Maps time keys to their field names. */
+const timeFieldNames = {
+    dateRange: "dateRange",
+    specificDates: "specificDates",
+    dayOfWeek: "dayOfWeek",
+    recurring: "recurringPeriods",
+};
+// ============================================================================
+// Scope Builder Functions
+// ============================================================================
+/**
+ * Creates a Zod schema for optional entity scoping (at most one of the
+ * specified entity variants).
+ *
+ * The returned schema accepts flat fields (`employeeIds`, `roleIds`, `skillIds`)
+ * but the TypeScript type enforces mutual exclusivity via `?: never`.
+ *
+ * @param keys - Which entity scope variants to support
+ *
+ * @example
+ * ```ts
+ * // Supports all entity scopes
+ * entityScope(["employees", "roles", "skills"])
+ *
+ * // Only employee scoping
+ * entityScope(["employees"])
+ * ```
+ */
+export function entityScope(keys) {
+    const shape = {};
+    for (const key of keys) {
+        for (const [fieldName, fieldSchema] of Object.entries(entityFieldSchemas[key])) {
+            shape[fieldName] = fieldSchema.optional();
+        }
+    }
+    const schema = z.object(shape).check((payload) => {
+        const values = payload.value;
+        const activeFields = keys.filter((key) => {
+            const fieldName = entityFieldNames[key];
+            const value = values[fieldName];
+            return Array.isArray(value) && value.length > 0;
+        });
+        if (activeFields.length > 1) {
+            const fieldNamesList = keys.map((k) => entityFieldNames[k]).join("/");
+            payload.issues.push({
+                code: "custom",
+                message: `Only one of ${fieldNamesList} is allowed`,
+                input: payload.value,
+            });
+        }
+    });
+    return schema;
+}
+/**
+ * Creates a Zod schema for optional time scoping (at most one of the
+ * specified time variants, or none).
+ *
+ * @param keys - Which time scope variants to support
+ *
+ * @example
+ * ```ts
+ * // Supports all time scopes, all optional
+ * timeScope(["dateRange", "specificDates", "dayOfWeek", "recurring"])
+ * ```
+ */
+export function timeScope(keys) {
+    const shape = {};
+    for (const key of keys) {
+        for (const [fieldName, fieldSchema] of Object.entries(timeFieldSchemas[key])) {
+            shape[fieldName] = fieldSchema.optional();
+        }
+    }
+    const schema = z.object(shape).check((payload) => {
+        const values = payload.value;
+        const activeFields = keys.filter((key) => {
+            const fieldName = timeFieldNames[key];
+            const value = values[fieldName];
+            if (!value)
+                return false;
+            if (fieldName === "dateRange")
+                return true;
+            return Array.isArray(value) && value.length > 0;
+        });
+        if (activeFields.length > 1) {
+            const fieldNamesList = keys.map((k) => timeFieldNames[k]).join("/");
+            payload.issues.push({
+                code: "custom",
+                message: `Only one of ${fieldNamesList} is allowed`,
+                input: payload.value,
+            });
+        }
+    });
+    return schema;
+}
+/**
+ * Creates a Zod schema for required time scoping (exactly one of the
+ * specified time variants must be present).
+ *
+ * @param keys - Which time scope variants to support
+ *
+ * @example
+ * ```ts
+ * // Exactly one time scope required (for time-off)
+ * requiredTimeScope(["dateRange", "specificDates", "dayOfWeek", "recurring"])
+ * ```
+ */
+export function requiredTimeScope(keys) {
+    const shape = {};
+    for (const key of keys) {
+        for (const [fieldName, fieldSchema] of Object.entries(timeFieldSchemas[key])) {
+            shape[fieldName] = fieldSchema.optional();
+        }
+    }
+    const schema = z.object(shape).check((payload) => {
+        const values = payload.value;
+        const activeFields = keys.filter((key) => {
+            const fieldName = timeFieldNames[key];
+            const value = values[fieldName];
+            if (!value)
+                return false;
+            if (fieldName === "dateRange")
+                return true;
+            return Array.isArray(value) && value.length > 0;
+        });
+        if (activeFields.length === 0) {
+            const fieldNamesList = keys.map((k) => timeFieldNames[k]).join(", ");
+            payload.issues.push({
+                code: "custom",
+                message: `Must provide time scoping (${fieldNamesList})`,
+                input: payload.value,
+            });
+        }
+        if (activeFields.length > 1) {
+            const fieldNamesList = keys.map((k) => timeFieldNames[k]).join("/");
+            payload.issues.push({
+                code: "custom",
+                message: `Only one of ${fieldNamesList} is allowed`,
+                input: payload.value,
+            });
+        }
+    });
+    return schema;
+}
+/**
+ * Extracts the entity scope from a parsed flat config.
+ */
+export function parseEntityScope(config) {
+    if (config.employeeIds && config.employeeIds.length > 0) {
+        return { type: "employees", employeeIds: config.employeeIds };
+    }
+    if (config.roleIds && config.roleIds.length > 0) {
+        return { type: "roles", roleIds: config.roleIds };
+    }
+    if (config.skillIds && config.skillIds.length > 0) {
+        return { type: "skills", skillIds: config.skillIds };
+    }
+    return { type: "global" };
+}
+/**
+ * Extracts the time scope from a parsed flat config.
+ */
+export function parseTimeScope(config) {
+    if (config.dateRange) {
+        return { type: "dateRange", start: config.dateRange.start, end: config.dateRange.end };
+    }
+    if (config.specificDates && config.specificDates.length > 0) {
+        return { type: "specificDates", dates: config.specificDates };
+    }
+    if (config.dayOfWeek && config.dayOfWeek.length > 0) {
+        return { type: "dayOfWeek", days: config.dayOfWeek };
+    }
+    if (config.recurringPeriods && config.recurringPeriods.length > 0) {
+        return { type: "recurring", periods: config.recurringPeriods };
+    }
+    return { type: "none" };
+}
+/**
+ * Resolves which employees a rule applies to based on entity scope.
+ */
+export function resolveEmployeesFromScope(scope, employees) {
+    switch (scope.type) {
+        case "employees": {
+            const idSet = new Set(scope.employeeIds);
+            return employees.filter((e) => idSet.has(e.id));
+        }
+        case "roles":
+            return employees.filter((e) => e.roleIds.some((r) => scope.roleIds.includes(r)));
+        case "skills":
+            return employees.filter((e) => e.skillIds?.some((s) => scope.skillIds.includes(s)));
+        case "global":
+        default:
+            return employees;
+    }
+}
+/**
+ * Resolves which days a rule applies to based on time scope.
+ */
+export function resolveActiveDaysFromScope(scope, allDays) {
+    switch (scope.type) {
+        case "none":
+            return allDays;
+        case "dateRange":
+            return allDays.filter((day) => day >= scope.start && day <= scope.end);
+        case "specificDates":
+            return allDays.filter((day) => scope.dates.includes(day));
+        case "dayOfWeek": {
+            const targetDays = new Set(scope.days);
+            return allDays.filter((day) => {
+                const date = parseDayString(day);
+                const dayName = getDayOfWeekName(date.getUTCDay());
+                return targetDays.has(dayName);
+            });
+        }
+        case "recurring":
+            return allDays.filter((day) => {
+                const date = parseDayString(day);
+                const month = date.getUTCMonth() + 1;
+                const dayOfMonth = date.getUTCDate();
+                return scope.periods.some((period) => isDateInRecurringPeriod(month, dayOfMonth, period));
+            });
+    }
+}
+function getDayOfWeekName(dayIndex) {
+    const names = {
+        0: "sunday",
+        1: "monday",
+        2: "tuesday",
+        3: "wednesday",
+        4: "thursday",
+        5: "friday",
+        6: "saturday",
+    };
+    return names[dayIndex % 7] ?? "sunday";
+}
+function isDateInRecurringPeriod(month, dayOfMonth, period) {
+    const { startMonth, startDay, endMonth, endDay } = period;
+    if (startMonth <= endMonth) {
+        if (month < startMonth || month > endMonth)
+            return false;
+        if (month === startMonth && dayOfMonth < startDay)
+            return false;
+        if (month === endMonth && dayOfMonth > endDay)
+            return false;
+        return true;
+    }
+    else {
+        if (month > endMonth && month < startMonth)
+            return false;
+        if (month === startMonth && dayOfMonth < startDay)
+            return false;
+        if (month === endMonth && dayOfMonth > endDay)
+            return false;
+        return true;
+    }
+}
+//# sourceMappingURL=scope.types.js.map

package/dist/cpsat/rules/scope.types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scope.types.js","sourceRoot":"","sources":["../../../src/cpsat/rules/scope.types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAAE,eAAe,EAAkB,MAAM,gBAAgB,CAAC;AAEjE,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAqI7C,+EAA+E;AAC/E,oCAAoC;AACpC,+EAA+E;AAE/E,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IACrC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE;CACnB,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG;IACzB,SAAS,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE;IAC1D,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE;IAClD,MAAM,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE;CAC5C,CAAC;AAEX,MAAM,gBAAgB,GAAG;IACvB,SAAS,EAAE;QACT,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC;YAClB,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE;YACnB,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE;SAClB,CAAC;KACH;IACD,aAAa,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,EAAE,EAAE;IAClE,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,QAAQ,EAAE,EAAE;IAC7D,SAAS,EAAE,EAAE,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,QAAQ,EAAE,EAAE;CAClE,CAAC;AAEX,6CAA6C;AAC7C,MAAM,gBAAgB,GAAG;IACvB,SAAS,EAAE,aAAa;IACxB,KAAK,EAAE,SAAS;IAChB,MAAM,EAAE,UAAU;CACV,CAAC;AAIX,2CAA2C;AAC3C,MAAM,cAAc,GAAG;IACrB,SAAS,EAAE,WAAW;IACtB,aAAa,EAAE,eAAe;IAC9B,SAAS,EAAE,WAAW;IACtB,SAAS,EAAE,kBAAkB;CACrB,CAAC;AAIX,+EAA+E;AAC/E,0BAA0B;AAC1B,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,WAAW,CACzB,IAAO;IAEP,MAAM,KAAK,GAAiC,EAAE,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC/E,KAAK,CAAC,SAAS,CAAC,GAAI,WAA4B,CAAC,QAAQ,EAAE,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAyC,CAAC;QACjE,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;YACvC,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;YACxC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YAChC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;gBAClB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,eAAe,cAAc,aAAa;gBACnD,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,MAA0D,CAAC;AACpE,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,SAAS,CACvB,IAAO;IAEP,MAAM,KAAK,GAAiC,EAAE,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC7E,KAAK,CAAC,SAAS,CAAC,GAAI,WAA4B,CAAC,QAAQ,EAAE,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAuC,CAAC;QAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;YACvC,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;YACtC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBAAE,OAAO,KAAK,CAAC;YACzB,IAAI,SAAS,KAAK,WAAW;gBAAE,OAAO,IAAI,CAAC;YAC3C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;gBAClB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,eAAe,cAAc,aAAa;gBACnD,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,MAAgE,CAAC;AAC1E,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAO;IAEP,MAAM,KAAK,GAAiC,EAAE,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC7E,KAAK,CAAC,SAAS,CAAC,GAAI,WAA4B,CAAC,QAAQ,EAAE,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAuC,CAAC;QAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;YACvC,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;YACtC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;YAChC,IAAI,CAAC,KAAK;gBAAE,OAAO,KAAK,CAAC;YACzB,IAAI,SAAS,KAAK,WAAW;gBAAE,OAAO,IAAI,CAAC;YAC3C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;gBAClB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,8BAA8B,cAAc,GAAG;gBACxD,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CAAC;QACL,CAAC;QACD,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACpE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;gBAClB,IAAI,EAAE,QAAQ;gBACd,OAAO,EAAE,eAAe,cAAc,aAAa;gBACnD,KAAK,EAAE,OAAO,CAAC,KAAK;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,MAAgE,CAAC;AAC1E,CAAC;AA4CD;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAwB;IACvD,IAAI,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;IAChE,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IACpD,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;IACvD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,MAAsB;IACnD,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;IACzF,CAAC;IACD,IAAI,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5D,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC;IAChE,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC;IACvD,CAAC;IACD,IAAI,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC;IACjE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,yBAAyB,CACvC,KAAwB,EACxB,SAA+B;IAE/B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YACzC,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClD,CAAC;QACD,KAAK,OAAO;YACV,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtF,KAAK,QAAQ,CAAC;QACd;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAsB,EAAE,OAAiB;IAClF,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,OAAO,CAAC;QACjB,KAAK,WAAW;YACd,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,KAAK,CAAC,KAAK,IAAI,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC;QACzE,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACvC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC5B,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;gBACjC,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;gBACnD,OAAO,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACjC,CAAC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,WAAW;YACd,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC5B,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;gBACjC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;gBACrC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;gBACrC,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;YAC5F,CAAC,CAAC,CAAC;IACP,CAAC;AACH,CAAC;AAQD,SAAS,gBAAgB,CAAC,QAAgB;IACxC,MAAM,KAAK,GAA4B;QACrC,CAAC,EAAE,QAAQ;QACX,CAAC,EAAE,QAAQ;QACX,CAAC,EAAE,SAAS;QACZ,CAAC,EAAE,WAAW;QACd,CAAC,EAAE,UAAU;QACb,CAAC,EAAE,QAAQ;QACX,CAAC,EAAE,UAAU;KACd,CAAC;IACF,OAAO,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,IAAI,QAAQ,CAAC;AACzC,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAa,EACb,UAAkB,EAClB,MAAuB;IAEvB,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAE1D,IAAI,UAAU,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,KAAK,GAAG,UAAU,IAAI,KAAK,GAAG,QAAQ;YAAE,OAAO,KAAK,CAAC;QACzD,IAAI,KAAK,KAAK,UAAU,IAAI,UAAU,GAAG,QAAQ;YAAE,OAAO,KAAK,CAAC;QAChE,IAAI,KAAK,KAAK,QAAQ,IAAI,UAAU,GAAG,MAAM;YAAE,OAAO,KAAK,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;SAAM,CAAC;QACN,IAAI,KAAK,GAAG,QAAQ,IAAI,KAAK,GAAG,UAAU;YAAE,OAAO,KAAK,CAAC;QACzD,IAAI,KAAK,KAAK,UAAU,IAAI,UAAU,GAAG,QAAQ;YAAE,OAAO,KAAK,CAAC;QAChE,IAAI,KAAK,KAAK,QAAQ,IAAI,UAAU,GAAG,MAAM;YAAE,OAAO,KAAK,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}