dabke 0.82.0 → 0.84.0

package/dist/cpsat/rules/max-shifts-day.js.map

@@ -1 +1 @@
-{"version":3,"file":"max-shifts-day.js","sourceRoot":"","sources":["../../../src/cpsat/rules/max-shifts-day.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAGzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EACL,cAAc,EACd,WAAW,EACX,SAAS,EACT,gBAAgB,EAChB,cAAc,EACd,uBAAuB,EACvB,0BAA0B,EAC1B,SAAS,GACV,MAAM,kBAAkB,CAAC;AAE1B,MAAM,kBAAkB,GAAG,CAAC;KACzB,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,QAAQ,EAAE,cAAc;CACzB,CAAC;KACD,GAAG,CAAC,WAAW,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;KAChD,GAAG,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;AAa5E;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,UAAU,sBAAsB,CAAC,MAA0B;IAC/D,MAAM,MAAM,GAAG,kBAAkB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;IACpC,MAAM,KAAK,GAAG,SAAS,CACrB,kBAAkB,MAAM,EAAE,EAC1B,OAAO,MAAM,SAAS,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,UAAU,EACvD,gBAAgB,EAChB,cAAc,CACf,CAAC;IAEF,OAAO;QACL,OAAO,CAAC,CAAC;YACP,MAAM,aAAa,GAAG,uBAAuB,CAAC,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YAC3E,MAAM,UAAU,GAAG,0BAA0B,CAAC,cAAc,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;YAEtE,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO;YAElE,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;gBAChC,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;oBAC7B,MAAM,KAAK,GAAW,EAAE,CAAC;oBACzB,KAAK,MAAM,OAAO,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;wBACtC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC;4BAAE,SAAS;wBACzC,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC;4BAAE,SAAS;wBACrD,KAAK,CAAC,IAAI,CAAC;4BACT,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC;4BAC1C,KAAK,EAAE,CAAC;yBACT,CAAC,CAAC;oBACL,CAAC;oBAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;wBAAE,SAAS;oBAEjC,MAAM,YAAY,GAAG,kBAAkB,GAAG,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC;oBAEvD,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;wBAC7B,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;oBACnC,CAAC;yBAAM,CAAC;wBACN,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC,CAAC;wBAChF,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC;4BACzB,EAAE,EAAE,YAAY;4BAChB,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,gBAAgB;4BACtB,WAAW,EAAE,GAAG,GAAG,CAAC,EAAE,QAAQ,MAAM,SAAS,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,EAAE;4BAChF,WAAW,EAAE,MAAM;4BACnB,UAAU,EAAE,IAAI;4BAChB,GAAG;4BACH,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE;4BAC7C,KAAK;yBACN,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"max-shifts-day.js","sourceRoot":"","sources":["../../../src/cpsat/rules/max-shifts-day.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EACL,cAAc,EACd,WAAW,EACX,gBAAgB,EAChB,cAAc,EACd,0BAA0B,EAC1B,uBAAuB,EACvB,SAAS,EACT,SAAS,GACV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAElF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,QAAQ,EAAE,cAAc;CACzB,CAAC;KACD,GAAG,CAAC,WAAW,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;KAChD,GAAG,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;AAO5E;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,oBAAoB,CAAC;IAC7D,IAAI,EAAE,gBAAgB;IACtB,MAAM,EAAE,kBAAkB;IAC1B,OAAO,CAAC,MAAM,EAAE,GAAG;QACjB,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;QACpC,MAAM,KAAK,GAAG,SAAS,CACrB,kBAAkB,MAAM,EAAE,EAC1B,OAAO,MAAM,SAAS,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,UAAU,EACvD,gBAAgB,EAChB,cAAc,CACf,CAAC;QACF,MAAM,aAAa,GAAG,uBAAuB,CAAC,gBAAgB,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QAClF,MAAM,UAAU,GAAG,0BAA0B,CAAC,cAAc,EAAE,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAE7E,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACjD,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;YACzB,MAAM,KAAK,GAAG,qBAAqB,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAC7E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YAElC,MAAM,WAAW,GAAG,GAAG,MAAM,CAAC,EAAE,QAAQ,MAAM,SAAS,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,OAAO,GAAG,CAAC,GAAG,EAAE,CAAC;YAC/F,MAAM,OAAO,GAAG,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5D,MAAM,YAAY,GAAG,kBAAkB,MAAM,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;YAE9D,OAAO;gBACL,QAAQ,KAAK,WAAW;oBACtB,CAAC,CAAC,cAAc,CAAC;wBACb,KAAK;wBACL,WAAW;wBACX,OAAO;wBACP,UAAU,EAAE,gBAAgB,CAAC,YAAY,CAAC;wBAC1C,KAAK;wBACL,UAAU,EAAE,IAAI;wBAChB,WAAW,EAAE,MAAM;qBACpB,CAAC;oBACJ,CAAC,CAAC,cAAc,CAAC;wBACb,KAAK;wBACL,WAAW;wBACX,OAAO;wBACP,UAAU,EAAE,gBAAgB,EAAE;wBAC9B,KAAK;wBACL,UAAU,EAAE,IAAI;wBAChB,WAAW,EAAE,MAAM;wBACnB,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC;wBACpC,YAAY;qBACb,CAAC;aACP,CAAC;QACJ,CAAC,CAAC,CACH,CAAC;QAEF,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,SAAS;SACV,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

package/dist/cpsat/rules/min-consecutive-days.d.ts

@@ -1,28 +1,28 @@
 import * as z from "zod";
-import type { CompilationRule } from "../model-builder.js";
-declare const MinConsecutiveDaysSchema: z.ZodIntersection<z.ZodObject<{
+export declare const MinConsecutiveDaysSchema: z.ZodIntersection<z.ZodObject<{
     days: z.ZodNumber;
-    priority: z.ZodDefault<z.ZodUnion<readonly [z.ZodLiteral<"LOW">, z.ZodLiteral<"MEDIUM">, z.ZodLiteral<"HIGH">, z.ZodLiteral<"MANDATORY">]>>;
+    priority: z.ZodDefault<z.ZodEnum<{
+        LOW: "LOW";
+        MEDIUM: "MEDIUM";
+        HIGH: "HIGH";
+        MANDATORY: "MANDATORY";
+    }>>;
 }, z.core.$strip>, z.ZodType<import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">, unknown, z.core.$ZodTypeInternals<import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">, unknown>>>;
 /**
- * Configuration for {@link createMinConsecutiveDaysRule}.
- *
- * - `days` (required): minimum consecutive days required once a person starts working
- * - `priority` (required): how strictly the solver enforces this rule
- *
- * Entity scoping (at most one): `memberIds`, `roleIds`, `skillIds`
+ * Configuration for {@link minConsecutiveDaysRuleDescriptor}.
  */
 export type MinConsecutiveDaysConfig = z.infer<typeof MinConsecutiveDaysSchema>;
 /**
- * Requires that once a person starts working, they continue for a minimum
- * number of consecutive days.
+ * Low-level descriptor for the `min-consecutive-days` rule.
+ *
+ * @remarks
+ * Once an assignment streak starts, this rule requires it to continue for at
+ * least the configured number of assigned days.
  *
- * @param config - See {@link MinConsecutiveDaysConfig}
- * @example
- * ```ts
- * createMinConsecutiveDaysRule({ days: 3, priority: "MANDATORY" });
- * ```
+ * @category Rules
  */
-export declare function createMinConsecutiveDaysRule(config: MinConsecutiveDaysConfig): CompilationRule;
-export {};
+export declare const minConsecutiveDaysRuleDescriptor: import("../rule-descriptor.js").RuleDescriptor<"min-consecutive-days", {
+    days: number;
+    priority: "LOW" | "MEDIUM" | "HIGH" | "MANDATORY";
+} & import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">>;
 //# sourceMappingURL=min-consecutive-days.d.ts.map

package/dist/cpsat/rules/min-consecutive-days.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"min-consecutive-days.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/min-consecutive-days.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAU3D,QAAA,MAAM,wBAAwB;;;iOAKqB,CAAC;AAEpD;;;;;;;GAOG;AACH,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAEhF;;;;;;;;;GASG;AACH,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,wBAAwB,GAAG,eAAe,CAwH9F"}
+{"version":3,"file":"min-consecutive-days.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/min-consecutive-days.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAsBzB,eAAO,MAAM,wBAAwB;;;;;;;;iOAKc,CAAC;AAEpD;;GAEG;AACH,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAEhF;;;;;;;;GAQG;AACH,eAAO,MAAM,gCAAgC;;;+EAqJ3C,CAAC"}

package/dist/cpsat/rules/min-consecutive-days.js

@@ -1,111 +1,140 @@
 import * as z from "zod";
+import { defineRuleDescriptor } from "../rule-descriptor.js";
 import { priorityToPenalty } from "../utils.js";
 import { PrioritySchema, entityScope, parseEntityScope, resolveMembersFromScope, ruleGroup, } from "./scope.types.js";
-const MinConsecutiveDaysSchema = z
+import { assignmentVarsForDay } from "./assignment-terms.js";
+import { assignedDayStartVariableName } from "./variables.js";
+import { boolVariable, hardConstraint, reportValidation, skipValidation, softConstraint, } from "./artifacts.js";
+import { buildAssignedDayIndicator } from "./assigned-day.js";
+export const MinConsecutiveDaysSchema = z
     .object({
     days: z.number().min(0),
     priority: PrioritySchema,
 })
     .and(entityScope(["members", "roles", "skills"]));
 /**
- * Requires that once a person starts working, they continue for a minimum
- * number of consecutive days.
+ * Low-level descriptor for the `min-consecutive-days` rule.
  *
- * @param config - See {@link MinConsecutiveDaysConfig}
- * @example
- * ```ts
- * createMinConsecutiveDaysRule({ days: 3, priority: "MANDATORY" });
- * ```
+ * @remarks
+ * Once an assignment streak starts, this rule requires it to continue for at
+ * least the configured number of assigned days.
+ *
+ * @category Rules
  */
-export function createMinConsecutiveDaysRule(config) {
-    const parsed = MinConsecutiveDaysSchema.parse(config);
-    const scope = parseEntityScope(parsed);
-    const { days, priority } = parsed;
-    const group = ruleGroup(`min-consecutive-days:${days}`, `Min ${days} consecutive days`, scope);
-    return {
-        compile(b) {
-            if (days <= 1)
-                return;
-            const members = resolveMembersFromScope(scope, b.members);
-            for (const emp of members) {
-                const worksByDay = [];
-                for (const day of b.days) {
-                    const worksVar = b.boolVar(`works_${emp.id}_${day}`);
-                    worksByDay.push(worksVar);
-                    const dayAssignments = b.shiftPatterns
-                        .filter((p) => b.canAssign(emp, p) && b.patternAvailableOnDay(p, day))
-                        .map((p) => b.assignment(emp.id, p.id, day));
-                    if (dayAssignments.length === 0) {
-                        b.addLinear([{ var: worksVar, coeff: 1 }], "==", 0);
-                    }
-                    else {
-                        for (const assignVar of dayAssignments) {
-                            b.addLinear([
-                                { var: worksVar, coeff: 1 },
-                                { var: assignVar, coeff: -1 },
-                            ], ">=", 0);
-                        }
-                        b.addLinear([{ var: worksVar, coeff: 1 }, ...dayAssignments.map((v) => ({ var: v, coeff: -1 }))], "<=", 0);
-                    }
-                }
-                for (let i = 0; i < b.days.length; i++) {
-                    const dayLabel = b.days[i];
-                    if (!dayLabel)
-                        continue;
-                    const worksToday = worksByDay[i];
-                    if (!worksToday)
-                        continue;
-                    const worksYesterday = i > 0 ? worksByDay[i - 1] : undefined;
-                    const startVar = b.boolVar(`work_start_${emp.id}_${dayLabel}`);
-                    b.addLinear([
+export const minConsecutiveDaysRuleDescriptor = defineRuleDescriptor({
+    name: "min-consecutive-days",
+    schema: MinConsecutiveDaysSchema,
+    compile(config, ctx) {
+        const scope = parseEntityScope(config);
+        const { days, priority } = config;
+        const group = ruleGroup(`min-consecutive-days:${days}`, `Min ${days} consecutive days`, scope);
+        if (days <= 1) {
+            return { rule: "min-consecutive-days", artifacts: [] };
+        }
+        const members = resolveMembersFromScope(scope, [...ctx.members]);
+        const artifacts = members.flatMap((member) => {
+            const supportArtifacts = ctx.days.flatMap((day) => buildAssignedDayIndicator({
+                memberId: member.id,
+                day,
+                assignmentVars: assignmentVarsForDay(member, day, ctx.shiftPatterns),
+                variableName: `assigned_${member.id}_${day.iso}`,
+            }).artifacts);
+            const startArtifacts = ctx.days.flatMap((day, index) => {
+                const assignedToday = `assigned_${member.id}_${day.iso}`;
+                const assignedYesterday = index > 0 ? `assigned_${member.id}_${ctx.days[index - 1].iso}` : undefined;
+                const startVar = assignedDayStartVariableName(member.id, day.iso);
+                const artifactsForDay = [boolVariable(startVar)];
+                artifactsForDay.push(hardConstraint({
+                    description: `${startVar} implies an assignment on ${day.iso}`,
+                    validation: skipValidation("scaffolding", "This helper variable only marks the start of an assignment streak when the member has an assignment that day."),
+                    context: { memberIds: [member.id], days: [day.iso] },
+                    terms: [
                         { var: startVar, coeff: 1 },
-                        { var: worksToday, coeff: -1 },
-                    ], "<=", 0);
-                    if (worksYesterday) {
-                        b.addLinear([
+                        { var: assignedToday, coeff: -1 },
+                    ],
+                    comparator: "<=",
+                    targetValue: 0,
+                }));
+                if (assignedYesterday) {
+                    artifactsForDay.push(hardConstraint({
+                        description: `${startVar} only when previous day is unassigned`,
+                        validation: skipValidation("scaffolding", "This helper variable must stay off when the previous day already belongs to the same assignment streak."),
+                        context: { memberIds: [member.id], days: [ctx.days[index - 1].iso, day.iso] },
+                        terms: [
                             { var: startVar, coeff: 1 },
-                            { var: worksYesterday, coeff: 1 },
-                        ], "<=", 1);
-                        b.addLinear([
+                            { var: assignedYesterday, coeff: 1 },
+                        ],
+                        comparator: "<=",
+                        targetValue: 1,
+                    }));
+                    artifactsForDay.push(hardConstraint({
+                        description: `${startVar} activates on a new assignment streak`,
+                        validation: skipValidation("scaffolding", "This helper variable identifies new assignment streak boundaries for the consecutive-days window calculation."),
+                        context: { memberIds: [member.id], days: [ctx.days[index - 1].iso, day.iso] },
+                        terms: [
                             { var: startVar, coeff: 1 },
-                            { var: worksYesterday, coeff: 1 },
-                            { var: worksToday, coeff: -1 },
-                        ], ">=", 0);
-                    }
-                    else {
-                        b.addLinear([
+                            { var: assignedYesterday, coeff: 1 },
+                            { var: assignedToday, coeff: -1 },
+                        ],
+                        comparator: ">=",
+                        targetValue: 0,
+                    }));
+                }
+                else {
+                    artifactsForDay.push(hardConstraint({
+                        description: `${startVar} matches first-day assignment state`,
+                        validation: skipValidation("scaffolding", "On the first day of the horizon, the helper variable matches whether a new streak starts that day."),
+                        context: { memberIds: [member.id], days: [day.iso] },
+                        terms: [
                             { var: startVar, coeff: 1 },
-                            { var: worksToday, coeff: -1 },
-                        ], ">=", 0);
-                    }
-                    const window = worksByDay.slice(i, i + days).filter(Boolean);
-                    if (window.length === 0)
-                        continue;
-                    const terms = [
-                        ...window.map((v) => ({ var: v, coeff: 1 })),
-                        { var: startVar, coeff: -days },
-                    ];
-                    const constraintId = `min-consecutive-days:${emp.id}:${dayLabel}`;
-                    if (priority === "MANDATORY") {
-                        b.addLinear(terms, ">=", 0);
-                    }
-                    else {
-                        b.addSoftLinear(terms, ">=", 0, priorityToPenalty(priority), constraintId);
-                        b.reporter.trackConstraint({
-                            id: constraintId,
-                            type: "rule",
-                            rule: "min-consecutive-days",
-                            description: `${emp.id} min ${days} consecutive days from ${dayLabel}`,
-                            targetValue: 0,
-                            comparator: ">=",
-                            day: dayLabel,
-                            context: { memberIds: [emp.id], days: b.days.slice(i, i + days) },
-                            group,
-                        });
-                    }
+                            { var: assignedToday, coeff: -1 },
+                        ],
+                        comparator: ">=",
+                        targetValue: 0,
+                    }));
                 }
-            }
-        },
-    };
-}
+                const windowDays = ctx.days.slice(index, index + days);
+                if (windowDays.length === 0)
+                    return artifactsForDay;
+                const description = `${member.id} min ${days} consecutive days from ${day.iso}`;
+                const context = { memberIds: [member.id], days: windowDays.map((entry) => entry.iso) };
+                const constraintId = `min-consecutive-days:${member.id}:${day.iso}`;
+                const terms = [
+                    ...windowDays.map((windowDay) => ({
+                        var: `assigned_${member.id}_${windowDay.iso}`,
+                        coeff: 1,
+                    })),
+                    { var: startVar, coeff: -days },
+                ];
+                artifactsForDay.push(priority === "MANDATORY"
+                    ? hardConstraint({
+                        group,
+                        description,
+                        context,
+                        validation: reportValidation(constraintId),
+                        terms,
+                        comparator: ">=",
+                        targetValue: 0,
+                    })
+                    : softConstraint({
+                        group,
+                        description,
+                        context,
+                        validation: reportValidation(),
+                        terms,
+                        comparator: ">=",
+                        targetValue: 0,
+                        penalty: priorityToPenalty(priority),
+                        constraintId,
+                    }));
+                return artifactsForDay;
+            });
+            return supportArtifacts.concat(startArtifacts);
+        });
+        return {
+            rule: "min-consecutive-days",
+            artifacts,
+        };
+    },
+});
 //# sourceMappingURL=min-consecutive-days.js.map

package/dist/cpsat/rules/min-consecutive-days.js.map

@@ -1 +1 @@
-{"version":3,"file":"min-consecutive-days.js","sourceRoot":"","sources":["../../../src/cpsat/rules/min-consecutive-days.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAEzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EACL,cAAc,EACd,WAAW,EACX,gBAAgB,EAChB,uBAAuB,EACvB,SAAS,GACV,MAAM,kBAAkB,CAAC;AAE1B,MAAM,wBAAwB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,QAAQ,EAAE,cAAc;CACzB,CAAC;KACD,GAAG,CAAC,WAAW,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AAYpD;;;;;;;;;GASG;AACH,MAAM,UAAU,4BAA4B,CAAC,MAAgC;IAC3E,MAAM,MAAM,GAAG,wBAAwB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;IAClC,MAAM,KAAK,GAAG,SAAS,CAAC,wBAAwB,IAAI,EAAE,EAAE,OAAO,IAAI,mBAAmB,EAAE,KAAK,CAAC,CAAC;IAE/F,OAAO;QACL,OAAO,CAAC,CAAC;YACP,IAAI,IAAI,IAAI,CAAC;gBAAE,OAAO;YAEtB,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YAE1D,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;gBAC1B,MAAM,UAAU,GAAa,EAAE,CAAC;gBAEhC,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBACzB,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC,SAAS,GAAG,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;oBACrD,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBAE1B,MAAM,cAAc,GAAG,CAAC,CAAC,aAAa;yBACnC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,qBAAqB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;yBACrE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;oBAE/C,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAChC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;oBACtD,CAAC;yBAAM,CAAC;wBACN,KAAK,MAAM,SAAS,IAAI,cAAc,EAAE,CAAC;4BACvC,CAAC,CAAC,SAAS,CACT;gCACE,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE;gCAC3B,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;6BAC9B,EACD,IAAI,EACJ,CAAC,CACF,CAAC;wBACJ,CAAC;wBACD,CAAC,CAAC,SAAS,CACT,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EACpF,IAAI,EACJ,CAAC,CACF,CAAC;oBACJ,CAAC;gBACH,CAAC;gBAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACvC,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;oBAC3B,IAAI,CAAC,QAAQ;wBAAE,SAAS;oBAExB,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;oBACjC,IAAI,CAAC,UAAU;wBAAE,SAAS;oBAC1B,MAAM,cAAc,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;oBAC7D,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC,cAAc,GAAG,CAAC,EAAE,IAAI,QAAQ,EAAE,CAAC,CAAC;oBAE/D,CAAC,CAAC,SAAS,CACT;wBACE,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE;wBAC3B,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;qBAC/B,EACD,IAAI,EACJ,CAAC,CACF,CAAC;oBACF,IAAI,cAAc,EAAE,CAAC;wBACnB,CAAC,CAAC,SAAS,CACT;4BACE,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE;4BAC3B,EAAE,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE;yBAClC,EACD,IAAI,EACJ,CAAC,CACF,CAAC;wBACF,CAAC,CAAC,SAAS,CACT;4BACE,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE;4BAC3B,EAAE,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE;4BACjC,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;yBAC/B,EACD,IAAI,EACJ,CAAC,CACF,CAAC;oBACJ,CAAC;yBAAM,CAAC;wBACN,CAAC,CAAC,SAAS,CACT;4BACE,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE;4BAC3B,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;yBAC/B,EACD,IAAI,EACJ,CAAC,CACF,CAAC;oBACJ,CAAC;oBAED,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAa,CAAC;oBACzE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;wBAAE,SAAS;oBAElC,MAAM,KAAK,GAAG;wBACZ,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;wBAC5C,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE;qBAChC,CAAC;oBAEF,MAAM,YAAY,GAAG,wBAAwB,GAAG,CAAC,EAAE,IAAI,QAAQ,EAAE,CAAC;oBAElE,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;wBAC7B,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;oBAC9B,CAAC;yBAAM,CAAC;wBACN,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC,CAAC;wBAC3E,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC;4BACzB,EAAE,EAAE,YAAY;4BAChB,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,sBAAsB;4BAC5B,WAAW,EAAE,GAAG,GAAG,CAAC,EAAE,QAAQ,IAAI,0BAA0B,QAAQ,EAAE;4BACtE,WAAW,EAAE,CAAC;4BACd,UAAU,EAAE,IAAI;4BAChB,GAAG,EAAE,QAAQ;4BACb,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE;4BACjE,KAAK;yBACN,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"min-consecutive-days.js","sourceRoot":"","sources":["../../../src/cpsat/rules/min-consecutive-days.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EACL,cAAc,EACd,WAAW,EACX,gBAAgB,EAChB,uBAAuB,EACvB,SAAS,GACV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,4BAA4B,EAAE,MAAM,gBAAgB,CAAC;AAC9D,OAAO,EACL,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,cAAc,EACd,cAAc,GACf,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AAE9D,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,QAAQ,EAAE,cAAc;CACzB,CAAC;KACD,GAAG,CAAC,WAAW,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AAOpD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,oBAAoB,CAAC;IACnE,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,wBAAwB;IAChC,OAAO,CAAC,MAAM,EAAE,GAAG;QACjB,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;QAClC,MAAM,KAAK,GAAG,SAAS,CAAC,wBAAwB,IAAI,EAAE,EAAE,OAAO,IAAI,mBAAmB,EAAE,KAAK,CAAC,CAAC;QAC/F,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC;YACd,OAAO,EAAE,IAAI,EAAE,sBAAsB,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;QACzD,CAAC;QAED,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QACjE,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;YAC3C,MAAM,gBAAgB,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,CACvC,CAAC,GAAG,EAAE,EAAE,CACN,yBAAyB,CAAC;gBACxB,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,GAAG;gBACH,cAAc,EAAE,oBAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,aAAa,CAAC;gBACpE,YAAY,EAAE,YAAY,MAAM,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE;aACjD,CAAC,CAAC,SAAS,CACf,CAAC;YAEF,MAAM,cAAc,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;gBACrD,MAAM,aAAa,GAAG,YAAY,MAAM,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;gBACzD,MAAM,iBAAiB,GACrB,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC9E,MAAM,QAAQ,GAAG,4BAA4B,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;gBAClE,MAAM,eAAe,GAAmB,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAEjE,eAAe,CAAC,IAAI,CAClB,cAAc,CAAC;oBACb,WAAW,EAAE,GAAG,QAAQ,6BAA6B,GAAG,CAAC,GAAG,EAAE;oBAC9D,UAAU,EAAE,cAAc,CACxB,aAAa,EACb,+GAA+G,CAChH;oBACD,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;oBACpD,KAAK,EAAE;wBACL,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE;wBAC3B,EAAE,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;qBAClC;oBACD,UAAU,EAAE,IAAI;oBAChB,WAAW,EAAE,CAAC;iBACf,CAAC,CACH,CAAC;gBAEF,IAAI,iBAAiB,EAAE,CAAC;oBACtB,eAAe,CAAC,IAAI,CAClB,cAAc,CAAC;wBACb,WAAW,EAAE,GAAG,QAAQ,uCAAuC;wBAC/D,UAAU,EAAE,cAAc,CACxB,aAAa,EACb,yGAAyG,CAC1G;wBACD,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE;wBAC9E,KAAK,EAAE;4BACL,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE;4BAC3B,EAAE,GAAG,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,EAAE;yBACrC;wBACD,UAAU,EAAE,IAAI;wBAChB,WAAW,EAAE,CAAC;qBACf,CAAC,CACH,CAAC;oBACF,eAAe,CAAC,IAAI,CAClB,cAAc,CAAC;wBACb,WAAW,EAAE,GAAG,QAAQ,uCAAuC;wBAC/D,UAAU,EAAE,cAAc,CACxB,aAAa,EACb,+GAA+G,CAChH;wBACD,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE;wBAC9E,KAAK,EAAE;4BACL,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE;4BAC3B,EAAE,GAAG,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,EAAE;4BACpC,EAAE,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;yBAClC;wBACD,UAAU,EAAE,IAAI;wBAChB,WAAW,EAAE,CAAC;qBACf,CAAC,CACH,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,eAAe,CAAC,IAAI,CAClB,cAAc,CAAC;wBACb,WAAW,EAAE,GAAG,QAAQ,qCAAqC;wBAC7D,UAAU,EAAE,cAAc,CACxB,aAAa,EACb,oGAAoG,CACrG;wBACD,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;wBACpD,KAAK,EAAE;4BACL,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE;4BAC3B,EAAE,GAAG,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;yBAClC;wBACD,UAAU,EAAE,IAAI;wBAChB,WAAW,EAAE,CAAC;qBACf,CAAC,CACH,CAAC;gBACJ,CAAC;gBAED,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC;gBACvD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,eAAe,CAAC;gBAEpD,MAAM,WAAW,GAAG,GAAG,MAAM,CAAC,EAAE,QAAQ,IAAI,0BAA0B,GAAG,CAAC,GAAG,EAAE,CAAC;gBAChF,MAAM,OAAO,GAAG,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvF,MAAM,YAAY,GAAG,wBAAwB,MAAM,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;gBACpE,MAAM,KAAK,GAAG;oBACZ,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;wBAChC,GAAG,EAAE,YAAY,MAAM,CAAC,EAAE,IAAI,SAAS,CAAC,GAAG,EAAE;wBAC7C,KAAK,EAAE,CAAC;qBACT,CAAC,CAAC;oBACH,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE;iBAChC,CAAC;gBAEF,eAAe,CAAC,IAAI,CAClB,QAAQ,KAAK,WAAW;oBACtB,CAAC,CAAC,cAAc,CAAC;wBACb,KAAK;wBACL,WAAW;wBACX,OAAO;wBACP,UAAU,EAAE,gBAAgB,CAAC,YAAY,CAAC;wBAC1C,KAAK;wBACL,UAAU,EAAE,IAAI;wBAChB,WAAW,EAAE,CAAC;qBACf,CAAC;oBACJ,CAAC,CAAC,cAAc,CAAC;wBACb,KAAK;wBACL,WAAW;wBACX,OAAO;wBACP,UAAU,EAAE,gBAAgB,EAAE;wBAC9B,KAAK;wBACL,UAAU,EAAE,IAAI;wBAChB,WAAW,EAAE,CAAC;wBACd,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC;wBACpC,YAAY;qBACb,CAAC,CACP,CAAC;gBAEF,OAAO,eAAe,CAAC;YACzB,CAAC,CAAC,CAAC;YAEH,OAAO,gBAAgB,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,OAAO;YACL,IAAI,EAAE,sBAAsB;YAC5B,SAAS;SACV,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

package/dist/cpsat/rules/min-days-of-week-per-period.d.ts

@@ -0,0 +1,35 @@
+import * as z from "zod";
+export declare const MinDaysOfWeekPerPeriodSchema: z.ZodIntersection<z.ZodObject<{
+    days: z.ZodNumber;
+    dayOfWeek: z.ZodArray<z.ZodUnion<readonly [z.ZodLiteral<"monday">, z.ZodLiteral<"tuesday">, z.ZodLiteral<"wednesday">, z.ZodLiteral<"thursday">, z.ZodLiteral<"friday">, z.ZodLiteral<"saturday">, z.ZodLiteral<"sunday">]>>;
+    period: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        type: z.ZodLiteral<"weeks">;
+        value: z.ZodNumber;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"months">;
+        value: z.ZodNumber;
+    }, z.core.$strip>], "type">;
+    priority: z.ZodDefault<z.ZodEnum<{
+        LOW: "LOW";
+        MEDIUM: "MEDIUM";
+        HIGH: "HIGH";
+        MANDATORY: "MANDATORY";
+    }>>;
+}, z.core.$strip>, z.ZodType<import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">, unknown, z.core.$ZodTypeInternals<import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">, unknown>>>;
+/**
+ * Configuration for {@link minDaysOfWeekPerPeriodRuleDescriptor}.
+ */
+export type MinDaysOfWeekPerPeriodConfig = z.infer<typeof MinDaysOfWeekPerPeriodSchema>;
+export declare const minDaysOfWeekPerPeriodRuleDescriptor: import("../rule-descriptor.js").RuleDescriptor<"min-days-of-week-per-period", {
+    days: number;
+    dayOfWeek: ("monday" | "tuesday" | "wednesday" | "thursday" | "friday" | "saturday" | "sunday")[];
+    period: {
+        type: "weeks";
+        value: number;
+    } | {
+        type: "months";
+        value: number;
+    };
+    priority: "LOW" | "MEDIUM" | "HIGH" | "MANDATORY";
+} & import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">>;
+//# sourceMappingURL=min-days-of-week-per-period.d.ts.map

package/dist/cpsat/rules/min-days-of-week-per-period.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"min-days-of-week-per-period.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/min-days-of-week-per-period.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AA+BzB,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;iOAExC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,4BAA4B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,4BAA4B,CAAC,CAAC;AAExF,eAAO,MAAM,oCAAoC;;;;;;;;;;;+EAuG/C,CAAC"}

package/dist/cpsat/rules/min-days-of-week-per-period.js

@@ -0,0 +1,108 @@
+import * as z from "zod";
+import { DayOfWeekSchema } from "../../types.js";
+import { defineRuleDescriptor } from "../rule-descriptor.js";
+import { groupWeekChunks, priorityToPenalty, splitIntoMonths } from "../utils.js";
+import { PrioritySchema, entityScope, parseEntityScope, resolveMembersFromScope, ruleGroup, } from "./scope.types.js";
+import { assignmentVarsForDay } from "./assignment-terms.js";
+import { hasAnyAssignablePattern } from "./pattern-eligibility.js";
+import { assignedDayVariableName } from "./variables.js";
+import { hardConstraint, reportValidation, softConstraint } from "./artifacts.js";
+import { buildAssignedDayIndicator } from "./assigned-day.js";
+const PeriodSchema = z.discriminatedUnion("type", [
+    z.object({ type: z.literal("weeks"), value: z.number().int().min(1) }),
+    z.object({ type: z.literal("months"), value: z.number().int().min(1) }),
+]);
+const MinDaysOfWeekPerPeriodBase = z.object({
+    days: z.number().int().min(0),
+    dayOfWeek: z.array(DayOfWeekSchema).nonempty(),
+    period: PeriodSchema,
+    priority: PrioritySchema,
+});
+export const MinDaysOfWeekPerPeriodSchema = MinDaysOfWeekPerPeriodBase.and(entityScope(["members", "roles", "skills"]));
+export const minDaysOfWeekPerPeriodRuleDescriptor = defineRuleDescriptor({
+    name: "min-days-of-week-per-period",
+    schema: MinDaysOfWeekPerPeriodSchema,
+    compile(config, ctx) {
+        const entityScopeValue = parseEntityScope(config);
+        const { days, dayOfWeek, period, priority } = config;
+        const dowLabel = dayOfWeek.toSorted().join(",");
+        const periodLabel = `${period.value}${period.type === "weeks" ? "w" : "m"}`;
+        const group = ruleGroup(`min-days-of-week-per-period:${days}:${dowLabel}:${periodLabel}`, `Min ${days} ${dowLabel} per ${period.value} ${period.type}`, entityScopeValue);
+        const targetMembers = resolveMembersFromScope(entityScopeValue, [...ctx.members]);
+        const targetDows = new Set(dayOfWeek);
+        const chunks = period.type === "weeks"
+            ? groupWeekChunks([...ctx.days], period.value, ctx.weekStartsOn)
+            : splitIntoMonths([...ctx.days], period.value);
+        const artifacts = targetMembers.flatMap((member) => chunks.flatMap((chunkDays) => {
+            const chunkStart = chunkDays[0];
+            if (!chunkStart)
+                return [];
+            const matchingDays = chunkDays.filter((day) => targetDows.has(day.dayOfWeek));
+            if (matchingDays.length === 0)
+                return [];
+            const supportArtifacts = matchingDays.flatMap((day) => buildAssignedDayIndicator({
+                memberId: member.id,
+                day,
+                assignmentVars: assignmentVarsForDay(member, day, ctx.shiftPatterns),
+            }).artifacts);
+            const assignedDayVars = matchingDays
+                .filter((day) => assignmentVarsForDay(member, day, ctx.shiftPatterns).length > 0)
+                .map((day) => assignedDayVariableName(member.id, day.iso));
+            if (assignedDayVars.length === 0)
+                return supportArtifacts;
+            const description = `${member.id} min ${days} ${dowLabel} in period starting ${chunkStart.iso}`;
+            const context = { memberIds: [member.id], days: matchingDays.map((day) => day.iso) };
+            const constraintId = `min-days-of-week-per-period:${member.id}:${chunkStart.iso}`;
+            const terms = assignedDayVars.map((varName) => ({ var: varName, coeff: 1 }));
+            const finalArtifacts = priority === "MANDATORY"
+                ? [
+                    hardConstraint({
+                        group,
+                        description,
+                        context,
+                        validation: reportValidation(constraintId),
+                        terms,
+                        comparator: ">=",
+                        targetValue: days,
+                    }),
+                    {
+                        kind: "pre-solve-feedback",
+                        run(_preSolveContext, reporter) {
+                            const possibleDays = matchingDays.filter((day) => hasAnyAssignablePattern(member, day, ctx.shiftPatterns)).length;
+                            if (possibleDays >= days)
+                                return;
+                            reporter.reportRuleError({
+                                rule: "min-days-of-week-per-period",
+                                message: `${member.id} cannot reach ${days} ${dowLabel} assignments in the period starting ${chunkStart.iso}; only ${possibleDays} matching day${possibleDays === 1 ? " is" : "s are"} assignable.`,
+                                context,
+                                suggestions: [
+                                    `Reduce the ${dowLabel} minimum in this period`,
+                                    `Add more assignable ${dowLabel} shifts in the period starting ${chunkStart.iso}`,
+                                ],
+                                group,
+                            });
+                        },
+                    },
+                ]
+                : [
+                    softConstraint({
+                        group,
+                        description,
+                        context,
+                        validation: reportValidation(),
+                        terms,
+                        comparator: ">=",
+                        targetValue: days,
+                        penalty: priorityToPenalty(priority),
+                        constraintId,
+                    }),
+                ];
+            return supportArtifacts.concat(finalArtifacts);
+        }));
+        return {
+            rule: "min-days-of-week-per-period",
+            artifacts,
+        };
+    },
+});
+//# sourceMappingURL=min-days-of-week-per-period.js.map

package/dist/cpsat/rules/min-days-of-week-per-period.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"min-days-of-week-per-period.js","sourceRoot":"","sources":["../../../src/cpsat/rules/min-days-of-week-per-period.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAG7D,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAClF,OAAO,EACL,cAAc,EACd,WAAW,EACX,gBAAgB,EAChB,uBAAuB,EACvB,SAAS,GACV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAClF,OAAO,EAAE,yBAAyB,EAAE,MAAM,mBAAmB,CAAC;AAE9D,MAAM,YAAY,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAChD,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACtE,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;CACxE,CAAC,CAAC;AAEH,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IAC1C,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,QAAQ,EAAE;IAC9C,MAAM,EAAE,YAAY;IACpB,QAAQ,EAAE,cAAc;CACzB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,4BAA4B,GAAG,0BAA0B,CAAC,GAAG,CACxE,WAAW,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAC5C,CAAC;AAOF,MAAM,CAAC,MAAM,oCAAoC,GAAG,oBAAoB,CAAC;IACvE,IAAI,EAAE,6BAA6B;IACnC,MAAM,EAAE,4BAA4B;IACpC,OAAO,CAAC,MAAM,EAAE,GAAG;QACjB,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;QACrD,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChD,MAAM,WAAW,GAAG,GAAG,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QAC5E,MAAM,KAAK,GAAG,SAAS,CACrB,+BAA+B,IAAI,IAAI,QAAQ,IAAI,WAAW,EAAE,EAChE,OAAO,IAAI,IAAI,QAAQ,QAAQ,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,EAAE,EAC5D,gBAAgB,CACjB,CAAC;QAEF,MAAM,aAAa,GAAG,uBAAuB,CAAC,gBAAgB,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QAClF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC;QACtC,MAAM,MAAM,GACV,MAAM,CAAC,IAAI,KAAK,OAAO;YACrB,CAAC,CAAC,eAAe,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,YAAY,CAAC;YAChE,CAAC,CAAC,eAAe,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QAEnD,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CACjD,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;YAC3B,MAAM,UAAU,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAChC,IAAI,CAAC,UAAU;gBAAE,OAAO,EAAE,CAAC;YAE3B,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;YAC9E,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YAEzC,MAAM,gBAAgB,GAAG,YAAY,CAAC,OAAO,CAC3C,CAAC,GAAG,EAAE,EAAE,CACN,yBAAyB,CAAC;gBACxB,QAAQ,EAAE,MAAM,CAAC,EAAE;gBACnB,GAAG;gBACH,cAAc,EAAE,oBAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,aAAa,CAAC;aACrE,CAAC,CAAC,SAAS,CACf,CAAC;YAEF,MAAM,eAAe,GAAG,YAAY;iBACjC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,oBAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;iBAChF,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;YAC7D,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,gBAAgB,CAAC;YAE1D,MAAM,WAAW,GAAG,GAAG,MAAM,CAAC,EAAE,QAAQ,IAAI,IAAI,QAAQ,uBAAuB,UAAU,CAAC,GAAG,EAAE,CAAC;YAChG,MAAM,OAAO,GAAG,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACrF,MAAM,YAAY,GAAG,+BAA+B,MAAM,CAAC,EAAE,IAAI,UAAU,CAAC,GAAG,EAAE,CAAC;YAClF,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAE7E,MAAM,cAAc,GAClB,QAAQ,KAAK,WAAW;gBACtB,CAAC,CAAC;oBACE,cAAc,CAAC;wBACb,KAAK;wBACL,WAAW;wBACX,OAAO;wBACP,UAAU,EAAE,gBAAgB,CAAC,YAAY,CAAC;wBAC1C,KAAK;wBACL,UAAU,EAAE,IAAI;wBAChB,WAAW,EAAE,IAAI;qBAClB,CAAC;oBACF;wBACE,IAAI,EAAE,oBAA6B;wBACnC,GAAG,CAAC,gBAAoC,EAAE,QAA4B;4BACpE,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAC/C,uBAAuB,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,aAAa,CAAC,CACxD,CAAC,MAAM,CAAC;4BACT,IAAI,YAAY,IAAI,IAAI;gCAAE,OAAO;4BACjC,QAAQ,CAAC,eAAe,CAAC;gCACvB,IAAI,EAAE,6BAA6B;gCACnC,OAAO,EAAE,GAAG,MAAM,CAAC,EAAE,iBAAiB,IAAI,IAAI,QAAQ,uCAAuC,UAAU,CAAC,GAAG,UAAU,YAAY,gBAAgB,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,cAAc;gCACnM,OAAO;gCACP,WAAW,EAAE;oCACX,cAAc,QAAQ,yBAAyB;oCAC/C,uBAAuB,QAAQ,kCAAkC,UAAU,CAAC,GAAG,EAAE;iCAClF;gCACD,KAAK;6BACN,CAAC,CAAC;wBACL,CAAC;qBACF;iBACF;gBACH,CAAC,CAAC;oBACE,cAAc,CAAC;wBACb,KAAK;wBACL,WAAW;wBACX,OAAO;wBACP,UAAU,EAAE,gBAAgB,EAAE;wBAC9B,KAAK;wBACL,UAAU,EAAE,IAAI;wBAChB,WAAW,EAAE,IAAI;wBACjB,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC;wBACpC,YAAY;qBACb,CAAC;iBACH,CAAC;YAER,OAAO,gBAAgB,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;QACjD,CAAC,CAAC,CACH,CAAC;QAEF,OAAO;YACL,IAAI,EAAE,6BAA6B;YACnC,SAAS;SACV,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

package/dist/cpsat/rules/min-days-week.d.ts

@@ -0,0 +1,21 @@
+import * as z from "zod";
+export declare const MinDaysWeekSchema: z.ZodIntersection<z.ZodObject<{
+    days: z.ZodNumber;
+    priority: z.ZodDefault<z.ZodEnum<{
+        LOW: "LOW";
+        MEDIUM: "MEDIUM";
+        HIGH: "HIGH";
+        MANDATORY: "MANDATORY";
+    }>>;
+    weekStartsOn: z.ZodOptional<z.ZodUnion<readonly [z.ZodLiteral<"monday">, z.ZodLiteral<"tuesday">, z.ZodLiteral<"wednesday">, z.ZodLiteral<"thursday">, z.ZodLiteral<"friday">, z.ZodLiteral<"saturday">, z.ZodLiteral<"sunday">]>>;
+}, z.core.$strip>, z.ZodType<import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">, unknown, z.core.$ZodTypeInternals<import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">, unknown>>>;
+/**
+ * Configuration for {@link minDaysWeekRuleDescriptor}.
+ */
+export type MinDaysWeekConfig = z.infer<typeof MinDaysWeekSchema>;
+export declare const minDaysWeekRuleDescriptor: import("../rule-descriptor.js").RuleDescriptor<"min-days-week", {
+    days: number;
+    priority: "LOW" | "MEDIUM" | "HIGH" | "MANDATORY";
+    weekStartsOn?: "monday" | "tuesday" | "wednesday" | "thursday" | "friday" | "saturday" | "sunday" | undefined;
+} & import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">>;
+//# sourceMappingURL=min-days-week.d.ts.map

package/dist/cpsat/rules/min-days-week.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"min-days-week.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/min-days-week.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAyBzB,eAAO,MAAM,iBAAiB;;;;;;;;;iOAAmE,CAAC;AAElG;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAElE,eAAO,MAAM,yBAAyB;;;;+EAyFpC,CAAC"}