dabke 0.78.0

package/dist/client.schemas.js

@@ -0,0 +1,137 @@
+/**
+ * Zod schemas for CP-SAT solver transport types.
+ *
+ * These schemas define the contract between scheduling clients and the solver service.
+ * TypeScript types are derived from these schemas using z.infer to ensure they stay in sync.
+ *
+ * @see client.types.ts for the derived TypeScript types
+ */
+import { z } from "zod";
+// --------------------------------------------------------------------------
+// Variable schemas
+// --------------------------------------------------------------------------
+export const SolverTermSchema = z.object({
+    var: z.string(),
+    coeff: z.number(),
+});
+export const BoolVariableSchema = z.object({
+    type: z.literal("bool"),
+    name: z.string(),
+});
+export const IntVariableSchema = z.object({
+    type: z.literal("int"),
+    name: z.string(),
+    min: z.number(),
+    max: z.number(),
+});
+export const IntervalVariableSchema = z.object({
+    type: z.literal("interval"),
+    name: z.string(),
+    start: z.number(),
+    end: z.number(),
+    size: z.number(),
+    /** If present, this is an optional interval enforced by this boolean var. */
+    presenceVar: z.string().optional(),
+});
+export const SolverVariableSchema = z.union([
+    BoolVariableSchema,
+    IntVariableSchema,
+    IntervalVariableSchema,
+]);
+// --------------------------------------------------------------------------
+// Constraint schemas
+// --------------------------------------------------------------------------
+export const LinearConstraintSchema = z.object({
+    type: z.literal("linear"),
+    terms: z.array(SolverTermSchema),
+    op: z.union([z.literal("<="), z.literal(">="), z.literal("==")]),
+    rhs: z.number(),
+});
+export const SoftLinearConstraintSchema = z.object({
+    type: z.literal("soft_linear"),
+    terms: z.array(SolverTermSchema),
+    op: z.union([z.literal("<="), z.literal(">=")]),
+    rhs: z.number(),
+    penalty: z.number(),
+    id: z.string().optional(),
+});
+export const ExactlyOneConstraintSchema = z.object({
+    type: z.literal("exactly_one"),
+    vars: z.array(z.string()),
+});
+export const AtMostOneConstraintSchema = z.object({
+    type: z.literal("at_most_one"),
+    vars: z.array(z.string()),
+});
+export const ImplicationConstraintSchema = z.object({
+    type: z.literal("implication"),
+    if: z.string(),
+    // oxlint-disable-next-line unicorn/no-thenable -- This is a schema property, not a Promise
+    then: z.string(),
+});
+export const BoolOrConstraintSchema = z.object({
+    type: z.literal("bool_or"),
+    vars: z.array(z.string()),
+});
+export const BoolAndConstraintSchema = z.object({
+    type: z.literal("bool_and"),
+    vars: z.array(z.string()),
+});
+export const NoOverlapConstraintSchema = z.object({
+    type: z.literal("no_overlap"),
+    intervals: z.array(z.string()),
+});
+export const SolverConstraintSchema = z.union([
+    LinearConstraintSchema,
+    SoftLinearConstraintSchema,
+    ExactlyOneConstraintSchema,
+    AtMostOneConstraintSchema,
+    ImplicationConstraintSchema,
+    BoolOrConstraintSchema,
+    BoolAndConstraintSchema,
+    NoOverlapConstraintSchema,
+]);
+// --------------------------------------------------------------------------
+// Objective schema
+// --------------------------------------------------------------------------
+export const SolverObjectiveSchema = z.object({
+    sense: z.union([z.literal("minimize"), z.literal("maximize")]),
+    terms: z.array(SolverTermSchema),
+});
+// --------------------------------------------------------------------------
+// Options schema
+// --------------------------------------------------------------------------
+export const SolverOptionsSchema = z.object({
+    timeLimitSeconds: z.number().optional(),
+    solutionLimit: z.number().optional(),
+});
+// --------------------------------------------------------------------------
+// Request/Response schemas
+// --------------------------------------------------------------------------
+export const SolverRequestSchema = z.object({
+    variables: z.array(SolverVariableSchema),
+    constraints: z.array(SolverConstraintSchema),
+    objective: SolverObjectiveSchema.optional(),
+    options: SolverOptionsSchema.optional(),
+});
+export const SolverStatusSchema = z.enum(["OPTIMAL", "FEASIBLE", "INFEASIBLE", "TIMEOUT", "ERROR"]);
+export const SolverStatisticsSchema = z.object({
+    solveTimeMs: z.number().optional(),
+    conflicts: z.number().optional(),
+    branches: z.number().optional(),
+});
+export const SoftConstraintViolationSchema = z.object({
+    constraintId: z.string(),
+    violationAmount: z.number(),
+    targetValue: z.number(),
+    actualValue: z.number(),
+});
+export const SolverResponseSchema = z.object({
+    status: SolverStatusSchema,
+    values: z.record(z.string(), z.number()).optional(),
+    statistics: SolverStatisticsSchema.optional(),
+    error: z.string().optional(),
+    solutionInfo: z.string().optional(),
+    softViolations: z.array(SoftConstraintViolationSchema).optional(),
+});
+//# sourceMappingURL=client.schemas.js.map

package/dist/client.schemas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.schemas.js","sourceRoot":"","sources":["../src/client.schemas.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,6EAA6E;AAC7E,mBAAmB;AACnB,6EAA6E;AAE7E,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;CAClB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;CACjB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;CAChB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;IAC3B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE;IACjB,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,6EAA6E;IAC7E,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACnC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC;IAC1C,kBAAkB;IAClB,iBAAiB;IACjB,sBAAsB;CACvB,CAAC,CAAC;AAEH,6EAA6E;AAC7E,qBAAqB;AACrB,6EAA6E;AAE7E,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC;IAChC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAChE,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;CAChB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IAC9B,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC;IAChC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/C,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IACf,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC1B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IAC9B,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CAC1B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IAC9B,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CAC1B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IAC9B,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,2FAA2F;IAC3F,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;CACjB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1B,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CAC1B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC;IAC3B,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CAC1B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,MAAM,CAAC;IAChD,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;IAC7B,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CAC/B,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,KAAK,CAAC;IAC5C,sBAAsB;IACtB,0BAA0B;IAC1B,0BAA0B;IAC1B,yBAAyB;IACzB,2BAA2B;IAC3B,sBAAsB;IACtB,uBAAuB;IACvB,yBAAyB;CAC1B,CAAC,CAAC;AAEH,6EAA6E;AAC7E,mBAAmB;AACnB,6EAA6E;AAE7E,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9D,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC;CACjC,CAAC,CAAC;AAEH,6EAA6E;AAC7E,iBAAiB;AACjB,6EAA6E;AAE7E,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACvC,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACrC,CAAC,CAAC;AAEH,6EAA6E;AAC7E,2BAA2B;AAC3B,6EAA6E;AAE7E,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC;IACxC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,sBAAsB,CAAC;IAC5C,SAAS,EAAE,qBAAqB,CAAC,QAAQ,EAAE;IAC3C,OAAO,EAAE,mBAAmB,CAAC,QAAQ,EAAE;CACxC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;AAEpG,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAChC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC,MAAM,CAAC;IACpD,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE;IACxB,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE;IAC3B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;CACxB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,MAAM,EAAE,kBAAkB;IAC1B,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACnD,UAAU,EAAE,sBAAsB,CAAC,QAAQ,EAAE;IAC7C,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACnC,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC,QAAQ,EAAE;CAClE,CAAC,CAAC"}

package/dist/client.types.d.ts

@@ -0,0 +1,34 @@
+/**
+ * CP-SAT solver transport types and status constants.
+ *
+ * Types are derived from Zod schemas to ensure validation and types stay in sync.
+ *
+ * @see client.schemas.ts for the source Zod schemas
+ */
+import type { z } from "zod";
+import type { SolverTermSchema, SolverVariableSchema, SolverConstraintSchema, SolverObjectiveSchema, SolverRequestSchema, SolverResponseSchema, SolverStatusSchema, SoftConstraintViolationSchema } from "./client.schemas.js";
+export type SolverTerm = z.infer<typeof SolverTermSchema>;
+export type SolverVariable = z.infer<typeof SolverVariableSchema>;
+export type SolverConstraint = z.infer<typeof SolverConstraintSchema>;
+export type SolverObjective = z.infer<typeof SolverObjectiveSchema>;
+export type SolverRequest = z.infer<typeof SolverRequestSchema>;
+export type SolverResponse = z.infer<typeof SolverResponseSchema>;
+export type SolverStatus = z.infer<typeof SolverStatusSchema>;
+export type SoftConstraintViolation = z.infer<typeof SoftConstraintViolationSchema>;
+export declare const SOLVER_STATUS: {
+    readonly OPTIMAL: "OPTIMAL";
+    readonly FEASIBLE: "FEASIBLE";
+    readonly INFEASIBLE: "INFEASIBLE";
+    readonly TIMEOUT: "TIMEOUT";
+    readonly ERROR: "ERROR";
+};
+export type FetcherLike = typeof fetch | {
+    fetch: typeof fetch;
+};
+export interface SolverClient {
+    solve(request: SolverRequest, options?: {
+        signal?: AbortSignal;
+    }): Promise<SolverResponse>;
+    health?(): Promise<void>;
+}
+//# sourceMappingURL=client.types.d.ts.map

package/dist/client.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.types.d.ts","sourceRoot":"","sources":["../src/client.types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAC7B,OAAO,KAAK,EACV,gBAAgB,EAChB,oBAAoB,EACpB,sBAAsB,EACtB,qBAAqB,EACrB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,6BAA6B,EAC9B,MAAM,qBAAqB,CAAC;AAM7B,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAE1D,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEhE,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAElE,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,MAAM,MAAM,uBAAuB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,6BAA6B,CAAC,CAAC;AAMpF,eAAO,MAAM,aAAa;;;;;;CAMhB,CAAC;AAMX,MAAM,MAAM,WAAW,GACnB,OAAO,KAAK,GACZ;IACE,KAAK,EAAE,OAAO,KAAK,CAAC;CACrB,CAAC;AAEN,MAAM,WAAW,YAAY;IAC3B,KAAK,CAAC,OAAO,EAAE,aAAa,EAAE,OAAO,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,WAAW,CAAA;KAAE,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IAC3F,MAAM,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1B"}

package/dist/client.types.js

@@ -0,0 +1,18 @@
+/**
+ * CP-SAT solver transport types and status constants.
+ *
+ * Types are derived from Zod schemas to ensure validation and types stay in sync.
+ *
+ * @see client.schemas.ts for the source Zod schemas
+ */
+// --------------------------------------------------------------------------
+// Status constants (for convenience)
+// --------------------------------------------------------------------------
+export const SOLVER_STATUS = {
+    OPTIMAL: "OPTIMAL",
+    FEASIBLE: "FEASIBLE",
+    INFEASIBLE: "INFEASIBLE",
+    TIMEOUT: "TIMEOUT",
+    ERROR: "ERROR",
+};
+//# sourceMappingURL=client.types.js.map

package/dist/client.types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.types.js","sourceRoot":"","sources":["../src/client.types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAkCH,6EAA6E;AAC7E,qCAAqC;AACrC,6EAA6E;AAE7E,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,OAAO,EAAE,SAAS;IAClB,QAAQ,EAAE,UAAU;IACpB,UAAU,EAAE,YAAY;IACxB,OAAO,EAAE,SAAS;IAClB,KAAK,EAAE,OAAO;CACN,CAAC"}

package/dist/cpsat/model-builder.d.ts

@@ -0,0 +1,128 @@
+import type { SolverRequest } from "../client.types.js";
+import type { DayOfWeek, SchedulingPeriod } from "../types.js";
+import type { CoverageRequirement, ModelBuilderOptions, ShiftPattern, SchedulingEmployee, Term } from "./types.js";
+import type { CpsatRuleConfigEntry, CpsatRuleFactories } from "./rules/rules.types.js";
+import type { ValidationReporter } from "./validation-reporter.js";
+import type { ScheduleValidation } from "./validation.types.js";
+import type { ResolvedShiftAssignment } from "./response.js";
+/**
+ * Builds a CP-SAT solver request from high-level scheduling constructs
+ * (team, shift patterns, coverage, and rule compilers).
+ */
+/**
+ * Context provided to rules during post-solve validation.
+ */
+export interface RuleValidationContext {
+    readonly employees: SchedulingEmployee[];
+    readonly days: string[];
+    readonly shiftPatterns: ShiftPattern[];
+}
+export interface CompilationRule {
+    compile(builder: ModelBuilder): void;
+    validate?(assignments: ResolvedShiftAssignment[], reporter: ValidationReporter, context: RuleValidationContext): void;
+}
+export interface CompilationResult {
+    request: SolverRequest;
+    validation: ScheduleValidation;
+    canSolve: boolean;
+}
+/**
+ * Configuration for ModelBuilder.
+ *
+ * @example Date range with day-of-week filtering (restaurant closed Mon/Tue)
+ * ```typescript
+ * const config: ModelBuilderConfig = {
+ *   employees: [...],
+ *   shiftPatterns: [...],
+ *   coverage: [...],
+ *   schedulingPeriod: {
+ *     dateRange: { start: '2025-02-03', end: '2025-02-09' },
+ *     daysOfWeek: ['wednesday', 'thursday', 'friday', 'saturday', 'sunday'],
+ *   },
+ * };
+ * ```
+ */
+export interface ModelBuilderConfig extends ModelBuilderOptions {
+    employees: SchedulingEmployee[];
+    shiftPatterns: ShiftPattern[];
+    /**
+     * Defines when scheduling should occur. Can specify either a date range
+     * (with optional day-of-week filtering) or a list of specific dates.
+     */
+    schedulingPeriod: SchedulingPeriod;
+    coverage: CoverageRequirement[];
+    /**
+     * Pre-compiled rules; use this for custom rules that are not part of the registry.
+     */
+    rules?: CompilationRule[];
+    /**
+     * Named rule configurations that will be compiled using the provided rule factories.
+     */
+    ruleConfigs?: CpsatRuleConfigEntry[];
+    /**
+     * Rule factories to use when compiling ruleConfigs. Defaults to built-in CP-SAT rules.
+     */
+    ruleFactories?: CpsatRuleFactories;
+    /**
+     * Optional validation reporter for diagnostics.
+     */
+    reporter?: ValidationReporter;
+}
+/**
+ * Compilation context that creates variables, constraints, and objectives
+ * and emits a `SolverRequest` for the Python CP-SAT solver service.
+ */
+export declare class ModelBuilder {
+    #private;
+    readonly employees: SchedulingEmployee[];
+    readonly shiftPatterns: ShiftPattern[];
+    readonly days: string[];
+    readonly coverage: CoverageRequirement[];
+    readonly rules: CompilationRule[];
+    readonly weekStartsOn: DayOfWeek;
+    readonly options: SolverRequest["options"] | undefined;
+    readonly coverageBucketMinutes: number;
+    readonly reporter: ValidationReporter;
+    readonly fairDistribution: boolean;
+    constructor(config: ModelBuilderConfig);
+    boolVar(name: string): string;
+    intVar(name: string, min: number, max: number): string;
+    shiftActive(patternId: string, day: string): string;
+    assignment(employeeId: string, patternId: string, day: string): string;
+    addLinear(terms: Term[], op: "<=" | ">=" | "==", rhs: number): void;
+    addSoftLinear(terms: Term[], op: "<=" | ">=", rhs: number, penalty: number, id?: string): void;
+    addExactlyOne(vars: string[]): void;
+    addAtMostOne(vars: string[]): void;
+    addImplication(ifVar: string, thenVar: string): void;
+    addBoolOr(vars: string[]): void;
+    addBoolAnd(vars: string[]): void;
+    intervalVar(name: string, start: number, end: number, size: number, presenceVar?: string): string;
+    addNoOverlap(intervals: string[]): void;
+    addPenalty(varName: string, weight: number): void;
+    employeesWithRole(roleId: string): SchedulingEmployee[];
+    /**
+     * Returns team members who can satisfy a coverage requirement.
+     *
+     * Matching logic:
+     * - If only roleId: must have that role
+     * - If only skillIds: must have ALL specified skills
+     * - If both: must have the role AND ALL specified skills
+     */
+    employeesForCoverage(cov: CoverageRequirement): SchedulingEmployee[];
+    canAssign(employee: SchedulingEmployee, pattern: ShiftPattern): boolean;
+    /**
+     * Checks if a shift pattern can be used on a specific day.
+     * Returns false if the pattern has daysOfWeek restrictions that exclude this day.
+     */
+    patternAvailableOnDay(pattern: ShiftPattern, day: string): boolean;
+    patternDuration(patternId: string): number;
+    startMinutes(pattern: ShiftPattern, day: string): number;
+    endMinutes(pattern: ShiftPattern, day: string): number;
+    compile(): CompilationResult;
+    /**
+     * Run post-solve validation on all rules.
+     * Call this after solving with the resolved assignments.
+     */
+    validateSolution(assignments: ResolvedShiftAssignment[]): void;
+}
+//# sourceMappingURL=model-builder.d.ts.map

package/dist/cpsat/model-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"model-builder.d.ts","sourceRoot":"","sources":["../../src/cpsat/model-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAoB,aAAa,EAAkB,MAAM,oBAAoB,CAAC;AAC1F,OAAO,KAAK,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAU/D,OAAO,KAAK,EACV,mBAAmB,EACnB,mBAAmB,EACnB,YAAY,EACZ,kBAAkB,EAClB,IAAI,EACL,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAIvF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EAAE,kBAAkB,EAAqB,MAAM,uBAAuB,CAAC;AACnF,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,eAAe,CAAC;AAE7D;;;GAGG;AACH;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,SAAS,EAAE,kBAAkB,EAAE,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,YAAY,EAAE,CAAC;CACxC;AAED,MAAM,WAAW,eAAe;IAC9B,OAAO,CAAC,OAAO,EAAE,YAAY,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,CACP,WAAW,EAAE,uBAAuB,EAAE,EACtC,QAAQ,EAAE,kBAAkB,EAC5B,OAAO,EAAE,qBAAqB,GAC7B,IAAI,CAAC;CACT;AAED,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,aAAa,CAAC;IACvB,UAAU,EAAE,kBAAkB,CAAC;IAC/B,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,kBAAmB,SAAQ,mBAAmB;IAC7D,SAAS,EAAE,kBAAkB,EAAE,CAAC;IAChC,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B;;;OAGG;IACH,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAChC;;OAEG;IACH,KAAK,CAAC,EAAE,eAAe,EAAE,CAAC;IAC1B;;OAEG;IACH,WAAW,CAAC,EAAE,oBAAoB,EAAE,CAAC;IACrC;;OAEG;IACH,aAAa,CAAC,EAAE,kBAAkB,CAAC;IACnC;;OAEG;IACH,QAAQ,CAAC,EAAE,kBAAkB,CAAC;CAC/B;AAED;;;GAGG;AACH,qBAAa,YAAY;;IACvB,QAAQ,CAAC,SAAS,EAAE,kBAAkB,EAAE,CAAC;IACzC,QAAQ,CAAC,aAAa,EAAE,YAAY,EAAE,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,CAAC;IAClC,QAAQ,CAAC,YAAY,EAAE,SAAS,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC;IACvD,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;gBAUvB,MAAM,EAAE,kBAAkB;IA8CtC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAa7B,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAatD,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAInD,UAAU,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAItE,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI;IAInE,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,GAAG,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,CAAC,EAAE,MAAM,GAAG,IAAI;IAI9F,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI;IAKnC,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI;IAKlC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI;IAKpD,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI;IAK/B,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,IAAI;IAKhC,WAAW,CACT,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,MAAM,EACb,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,MAAM,EACZ,WAAW,CAAC,EAAE,MAAM,GACnB,MAAM;IA4BT,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,IAAI;IAKvC,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI;IAKjD,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,kBAAkB,EAAE;IAIvD;;;;;;;OAOG;IACH,oBAAoB,CAAC,GAAG,EAAE,mBAAmB,GAAG,kBAAkB,EAAE;IAoBpE,SAAS,CAAC,QAAQ,EAAE,kBAAkB,EAAE,OAAO,EAAE,YAAY,GAAG,OAAO;IASvE;;;OAGG;IACH,qBAAqB,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO;IAWlE,eAAe,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM;IAS1C,YAAY,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAKxD,UAAU,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM;IAOtD,OAAO,IAAI,iBAAiB;IA6X5B;;;OAGG;IACH,gBAAgB,CAAC,WAAW,EAAE,uBAAuB,EAAE,GAAG,IAAI;CA6B/D"}