dabke 0.82.0 → 0.84.0

package/dist/cpsat/rules/minimize-cost.js

@@ -1,185 +1,173 @@
+import { defineRuleDescriptor } from "../rule-descriptor.js";
 import { COST_CATEGORY } from "../cost.js";
 import { OBJECTIVE_WEIGHTS, splitIntoWeeks } from "../utils.js";
-import { entityScope, timeScope, parseEntityScope, parseTimeScope, resolveMembersFromScope, resolveActiveDaysFromScope, } from "./scope.types.js";
-import { getHourlyRate, getSalariedPay, patternDurationMinutes } from "./cost-utils.js";
+import { entityScope, parseEntityScope, parseTimeScope, resolveActiveDaysFromScope, resolveMembersFromScope, timeScope, } from "./scope.types.js";
+import { getHourlyRate, getSalariedPay } from "./cost-utils.js";
+import { patternDurationMinutes } from "./pattern-time.js";
 const MinimizeCostSchema = entityScope(["members", "roles", "skills"]).and(timeScope(["dateRange", "specificDates", "dayOfWeek", "recurring"]));
-/**
- * Creates the minimize-cost rule.
- *
- * **Hourly members:** adds a penalty proportional to
- * `hourlyRate * shiftDurationMinutes / 60` for each assignment.
- *
- * **Salaried members:** zero marginal cost up to their contracted hours.
- * A boolean variable tracks whether the member has any assignment in a
- * given week. When active, their full weekly salary (`annual / 52`) is
- * added as a penalty. This causes the solver to load work onto salaried
- * members (who are "free" once activated) before hourly workers.
- *
- * Computes a normalization factor and stores it on the model builder's
- * `costContext` so modifier rules can use the same scale.
- */
-export function createMinimizeCostRule(config) {
-    const parsed = MinimizeCostSchema.parse(config);
-    const entityScopeValue = parseEntityScope(parsed);
-    const timeScopeValue = parseTimeScope(parsed);
-    let resolvedWeekStartsOn = "monday";
-    return {
-        compile(b) {
-            resolvedWeekStartsOn = b.weekStartsOn;
-            const targetMembers = resolveMembersFromScope(entityScopeValue, b.members);
-            const activeDays = resolveActiveDaysFromScope(timeScopeValue, b.days);
-            if (targetMembers.length === 0 || activeDays.length === 0)
-                return;
-            // Compute normalization factor: max raw cost of any single assignment
-            // (hourly) or weekly salary (salaried)
-            let maxRawCost = 0;
-            for (const member of targetMembers) {
-                const rate = getHourlyRate(member);
-                if (rate !== undefined) {
-                    for (const pattern of b.shiftPatterns) {
-                        if (!b.canAssign(member, pattern))
-                            continue;
-                        const duration = patternDurationMinutes(pattern);
-                        const rawCost = (rate * duration) / 60;
-                        if (rawCost > maxRawCost)
-                            maxRawCost = rawCost;
-                    }
-                }
-                const salaried = getSalariedPay(member);
-                if (salaried !== undefined) {
-                    const weeklyCost = salaried.annual / 52;
-                    if (weeklyCost > maxRawCost)
-                        maxRawCost = weeklyCost;
-                }
-            }
-            if (maxRawCost === 0)
-                return;
-            const normalizationFactor = maxRawCost / OBJECTIVE_WEIGHTS.COST;
-            b.costContext = {
-                normalizationFactor,
-                active: true,
-            };
-            // Add penalty terms for hourly members
-            for (const member of targetMembers) {
-                const rate = getHourlyRate(member);
-                if (rate !== undefined) {
-                    for (const pattern of b.shiftPatterns) {
-                        if (!b.canAssign(member, pattern))
-                            continue;
-                        for (const day of activeDays) {
-                            if (!b.patternAvailableOnDay(pattern, day))
+export const minimizeCostRuleDescriptor = defineRuleDescriptor({
+    name: "minimize-cost",
+    schema: MinimizeCostSchema,
+    compile(config) {
+        const entityScopeValue = parseEntityScope(config);
+        const timeScopeValue = parseTimeScope(config);
+        let resolvedWeekStartsOn = "monday";
+        const costArtifact = {
+            kind: "cost",
+            validation: {
+                strategy: "skip",
+                category: "no-meaningful-feedback",
+                rationale: "Cost optimization influences the objective and contributes post-solve accounting, not validation feedback.",
+            },
+            compileObjective(builder) {
+                resolvedWeekStartsOn = builder.weekStartsOn;
+                const targetMembers = resolveMembersFromScope(entityScopeValue, builder.members);
+                const activeDays = resolveActiveDaysFromScope(timeScopeValue, builder.days);
+                if (targetMembers.length === 0 || activeDays.length === 0)
+                    return;
+                let maxRawCost = 0;
+                for (const member of targetMembers) {
+                    const rate = getHourlyRate(member);
+                    if (rate !== undefined) {
+                        for (const pattern of builder.shiftPatterns) {
+                            if (!builder.canAssign(member, pattern))
                                 continue;
                             const duration = patternDurationMinutes(pattern);
                             const rawCost = (rate * duration) / 60;
-                            const normalizedPenalty = rawCost / normalizationFactor;
-                            b.addPenalty(b.assignment(member.id, pattern.id, day), Math.max(1, normalizedPenalty));
+                            if (rawCost > maxRawCost)
+                                maxRawCost = rawCost;
                         }
                     }
-                    continue;
+                    const salaried = getSalariedPay(member);
+                    if (salaried !== undefined) {
+                        const weeklyCost = salaried.annual / 52;
+                        if (weeklyCost > maxRawCost)
+                            maxRawCost = weeklyCost;
+                    }
                 }
-                // Salaried members: weekly fixed cost when active
-                const salaried = getSalariedPay(member);
-                if (salaried === undefined)
-                    continue;
-                const weeklyCost = salaried.annual / 52;
-                const normalizedWeeklyCost = weeklyCost / normalizationFactor;
-                const weeks = splitIntoWeeks(activeDays, b.weekStartsOn);
-                for (const [weekIdx, weekDays] of weeks.entries()) {
-                    // Collect all assignment vars for this member this week
-                    const weekAssignmentVars = [];
-                    for (const day of weekDays) {
-                        for (const pattern of b.shiftPatterns) {
-                            if (!b.canAssign(member, pattern))
+                if (maxRawCost === 0)
+                    return;
+                const normalizationFactor = maxRawCost / OBJECTIVE_WEIGHTS.COST;
+                builder.costContext = {
+                    normalizationFactor,
+                    active: true,
+                };
+                for (const member of targetMembers) {
+                    const rate = getHourlyRate(member);
+                    if (rate !== undefined) {
+                        for (const pattern of builder.shiftPatterns) {
+                            if (!builder.canAssign(member, pattern))
                                 continue;
-                            if (!b.patternAvailableOnDay(pattern, day))
-                                continue;
-                            weekAssignmentVars.push(b.assignment(member.id, pattern.id, day));
+                            for (const day of activeDays) {
+                                if (!builder.patternAvailableOnDay(pattern, day))
+                                    continue;
+                                const duration = patternDurationMinutes(pattern);
+                                const rawCost = (rate * duration) / 60;
+                                const normalizedPenalty = rawCost / normalizationFactor;
+                                builder.addPenalty(builder.assignment(member.id, pattern.id, day), Math.max(1, normalizedPenalty));
+                            }
                         }
+                        continue;
                     }
-                    if (weekAssignmentVars.length === 0)
+                    const salaried = getSalariedPay(member);
+                    if (salaried === undefined)
                         continue;
-                    // Bool var: true if this salaried member works any shift this week
-                    const activeVar = b.boolVar(`active:cost:${member.id}:w${weekIdx}`);
-                    // If any assignment is true, activeVar must be true
-                    // activeVar OR NOT(assignment_1) OR NOT(assignment_2) OR ...
-                    // This is equivalent to: for each assignment, assignment => activeVar
-                    for (const assignVar of weekAssignmentVars) {
-                        b.addImplication(assignVar, activeVar);
+                    const weeklyCost = salaried.annual / 52;
+                    const normalizedWeeklyCost = weeklyCost / normalizationFactor;
+                    const weeks = splitIntoWeeks(activeDays, builder.weekStartsOn);
+                    for (const [weekIndex, weekDays] of weeks.entries()) {
+                        const weekAssignmentVars = [];
+                        for (const day of weekDays) {
+                            for (const pattern of builder.shiftPatterns) {
+                                if (!builder.canAssign(member, pattern))
+                                    continue;
+                                if (!builder.patternAvailableOnDay(pattern, day))
+                                    continue;
+                                weekAssignmentVars.push(builder.assignment(member.id, pattern.id, day));
+                            }
+                        }
+                        if (weekAssignmentVars.length === 0)
+                            continue;
+                        const activeVar = builder.boolVar(`active:cost:${member.id}:w${weekIndex}`);
+                        for (const assignVar of weekAssignmentVars) {
+                            builder.addLinear([
+                                { var: activeVar, coeff: 1 },
+                                { var: assignVar, coeff: -1 },
+                            ], ">=", 0);
+                        }
+                        builder.addPenalty(activeVar, Math.max(1, Math.round(normalizedWeeklyCost)));
                     }
-                    b.addPenalty(activeVar, Math.max(1, Math.round(normalizedWeeklyCost)));
-                }
-            }
-        },
-        cost(assignments, members, shiftPatterns) {
-            const memberMap = new Map(members.map((m) => [m.id, m]));
-            const patternMap = new Map(shiftPatterns.map((p) => [p.id, p]));
-            const allDays = [...new Set(assignments.map((a) => a.day))].toSorted();
-            const activeDays = new Set(resolveActiveDaysFromScope(timeScopeValue, allDays));
-            const targetMemberIds = new Set(resolveMembersFromScope(entityScopeValue, [...members]).map((m) => m.id));
-            const entries = [];
-            // Track which salaried members are active per week for weekly cost
-            const salariedWeekActive = new Map();
-            for (const a of assignments) {
-                if (!activeDays.has(a.day))
-                    continue;
-                if (!targetMemberIds.has(a.memberId))
-                    continue;
-                const member = memberMap.get(a.memberId);
-                if (!member)
-                    continue;
-                const pattern = patternMap.get(a.shiftPatternId);
-                if (!pattern)
-                    continue;
-                const duration = patternDurationMinutes(pattern);
-                const rate = getHourlyRate(member);
-                if (rate !== undefined) {
-                    entries.push({
-                        memberId: a.memberId,
-                        day: a.day,
-                        category: COST_CATEGORY.BASE,
-                        amount: (rate * duration) / 60,
-                    });
-                    continue;
                 }
-                // Salaried: track weeks with assignments
-                const salaried = getSalariedPay(member);
-                if (salaried === undefined)
-                    continue;
-                let days = salariedWeekActive.get(a.memberId);
-                if (!days) {
-                    days = new Set();
-                    salariedWeekActive.set(a.memberId, days);
-                }
-                days.add(a.day);
-            }
-            // Compute salaried costs: weekly salary distributed across active days
-            for (const [memberId, activeDaysSet] of salariedWeekActive) {
-                const member = memberMap.get(memberId);
-                if (!member)
-                    continue;
-                const salaried = getSalariedPay(member);
-                if (!salaried)
-                    continue;
-                const activeList = [...activeDaysSet].toSorted();
-                const weeks = splitIntoWeeks(activeList, resolvedWeekStartsOn);
-                for (const weekDays of weeks) {
-                    if (weekDays.length === 0)
+            },
+            calculateCost(assignments, costContext) {
+                const memberMap = new Map(costContext.members.map((member) => [member.id, member]));
+                const patternMap = new Map(costContext.shiftPatterns.map((pattern) => [pattern.id, pattern]));
+                const activeDays = new Set(resolveActiveDaysFromScope(timeScopeValue, [...costContext.days]).map((day) => day.iso));
+                const targetMemberIds = new Set(resolveMembersFromScope(entityScopeValue, [...costContext.members]).map((member) => member.id));
+                const entries = [];
+                const salariedWeekActive = new Map();
+                for (const assignment of assignments) {
+                    if (!activeDays.has(assignment.day) || !targetMemberIds.has(assignment.memberId))
                         continue;
-                    const weeklyCost = salaried.annual / 52;
-                    // Distribute evenly across days worked that week
-                    const perDay = weeklyCost / weekDays.length;
-                    for (const day of weekDays) {
+                    const member = memberMap.get(assignment.memberId);
+                    if (!member)
+                        continue;
+                    const pattern = patternMap.get(assignment.shiftPatternId);
+                    if (!pattern)
+                        continue;
+                    const duration = patternDurationMinutes(pattern);
+                    const rate = getHourlyRate(member);
+                    if (rate !== undefined) {
                         entries.push({
-                            memberId,
-                            day,
+                            memberId: assignment.memberId,
+                            day: assignment.day,
                             category: COST_CATEGORY.BASE,
-                            amount: perDay,
+                            amount: (rate * duration) / 60,
                         });
+                        continue;
+                    }
+                    const salaried = getSalariedPay(member);
+                    if (salaried === undefined)
+                        continue;
+                    let memberDays = salariedWeekActive.get(assignment.memberId);
+                    if (!memberDays) {
+                        memberDays = new Set();
+                        salariedWeekActive.set(assignment.memberId, memberDays);
+                    }
+                    memberDays.add(assignment.day);
+                }
+                for (const [memberId, activeDaysSet] of salariedWeekActive) {
+                    const member = memberMap.get(memberId);
+                    if (!member)
+                        continue;
+                    const salaried = getSalariedPay(member);
+                    if (!salaried)
+                        continue;
+                    const activeDateSet = new Set(activeDaysSet);
+                    const activeList = costContext.days.filter((day) => activeDateSet.has(day.iso));
+                    const weeks = splitIntoWeeks(activeList, resolvedWeekStartsOn);
+                    for (const weekDays of weeks) {
+                        if (weekDays.length === 0)
+                            continue;
+                        const weeklyCost = salaried.annual / 52;
+                        const perDay = weeklyCost / weekDays.length;
+                        for (const day of weekDays) {
+                            entries.push({
+                                memberId,
+                                day: day.iso,
+                                category: COST_CATEGORY.BASE,
+                                amount: perDay,
+                            });
+                        }
                     }
                 }
-            }
-            return { entries };
-        },
-    };
-}
+                return { entries };
+            },
+        };
+        return {
+            rule: "minimize-cost",
+            artifacts: [costArtifact],
+        };
+    },
+});
 //# sourceMappingURL=minimize-cost.js.map

package/dist/cpsat/rules/minimize-cost.js.map

@@ -1 +1 @@
-{"version":3,"file":"minimize-cost.js","sourceRoot":"","sources":["../../../src/cpsat/rules/minimize-cost.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAChE,OAAO,EACL,WAAW,EACX,SAAS,EACT,gBAAgB,EAChB,cAAc,EACd,uBAAuB,EACvB,0BAA0B,GAC3B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,iBAAiB,CAAC;AAExF,MAAM,kBAAkB,GAAG,WAAW,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CACxE,SAAS,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CACpE,CAAC;AAKF;;;;;;;;;;;;;;GAcG;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;IAE9C,IAAI,oBAAoB,GAAc,QAAQ,CAAC;IAE/C,OAAO;QACL,OAAO,CAAC,CAAC;YACP,oBAAoB,GAAG,CAAC,CAAC,YAAY,CAAC;YAEtC,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,sEAAsE;YACtE,uCAAuC;YACvC,IAAI,UAAU,GAAG,CAAC,CAAC;YACnB,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;gBACnC,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;gBACnC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACvB,KAAK,MAAM,OAAO,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;wBACtC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC;4BAAE,SAAS;wBAC5C,MAAM,QAAQ,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;wBACjD,MAAM,OAAO,GAAG,CAAC,IAAI,GAAG,QAAQ,CAAC,GAAG,EAAE,CAAC;wBACvC,IAAI,OAAO,GAAG,UAAU;4BAAE,UAAU,GAAG,OAAO,CAAC;oBACjD,CAAC;gBACH,CAAC;gBACD,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;gBACxC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,GAAG,EAAE,CAAC;oBACxC,IAAI,UAAU,GAAG,UAAU;wBAAE,UAAU,GAAG,UAAU,CAAC;gBACvD,CAAC;YACH,CAAC;YAED,IAAI,UAAU,KAAK,CAAC;gBAAE,OAAO;YAE7B,MAAM,mBAAmB,GAAG,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC;YAEhE,CAAC,CAAC,WAAW,GAAG;gBACd,mBAAmB;gBACnB,MAAM,EAAE,IAAI;aACb,CAAC;YAEF,uCAAuC;YACvC,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;gBACnC,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;gBACnC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACvB,KAAK,MAAM,OAAO,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;wBACtC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC;4BAAE,SAAS;wBAC5C,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;4BAC7B,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC;gCAAE,SAAS;4BACrD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;4BACjD,MAAM,OAAO,GAAG,CAAC,IAAI,GAAG,QAAQ,CAAC,GAAG,EAAE,CAAC;4BACvC,MAAM,iBAAiB,GAAG,OAAO,GAAG,mBAAmB,CAAC;4BACxD,CAAC,CAAC,UAAU,CACV,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,EACxC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAC/B,CAAC;wBACJ,CAAC;oBACH,CAAC;oBACD,SAAS;gBACX,CAAC;gBAED,kDAAkD;gBAClD,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;gBACxC,IAAI,QAAQ,KAAK,SAAS;oBAAE,SAAS;gBAErC,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,GAAG,EAAE,CAAC;gBACxC,MAAM,oBAAoB,GAAG,UAAU,GAAG,mBAAmB,CAAC;gBAE9D,MAAM,KAAK,GAAG,cAAc,CAAC,UAAU,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC;gBAEzD,KAAK,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;oBAClD,wDAAwD;oBACxD,MAAM,kBAAkB,GAAa,EAAE,CAAC;oBACxC,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;wBAC3B,KAAK,MAAM,OAAO,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;4BACtC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC;gCAAE,SAAS;4BAC5C,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC;gCAAE,SAAS;4BACrD,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;wBACpE,CAAC;oBACH,CAAC;oBAED,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC;wBAAE,SAAS;oBAE9C,mEAAmE;oBACnE,MAAM,SAAS,GAAG,CAAC,CAAC,OAAO,CAAC,eAAe,MAAM,CAAC,EAAE,KAAK,OAAO,EAAE,CAAC,CAAC;oBAEpE,oDAAoD;oBACpD,6DAA6D;oBAC7D,sEAAsE;oBACtE,KAAK,MAAM,SAAS,IAAI,kBAAkB,EAAE,CAAC;wBAC3C,CAAC,CAAC,cAAc,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;oBACzC,CAAC;oBAED,CAAC,CAAC,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC;gBACzE,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,CACF,WAA8B,EAC9B,OAAwC,EACxC,aAA0C;YAE1C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACzD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YAEhE,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;YACvE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,0BAA0B,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,CAAC;YAChF,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,uBAAuB,CAAC,gBAAgB,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACzE,CAAC;YAEF,MAAM,OAAO,GAAgC,EAAE,CAAC;YAEhD,mEAAmE;YACnE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAuB,CAAC;YAE1D,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC5B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;oBAAE,SAAS;gBACrC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;oBAAE,SAAS;gBAC/C,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBACzC,IAAI,CAAC,MAAM;oBAAE,SAAS;gBAEtB,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;gBACjD,IAAI,CAAC,OAAO;oBAAE,SAAS;gBACvB,MAAM,QAAQ,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;gBAEjD,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;gBACnC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACvB,OAAO,CAAC,IAAI,CAAC;wBACX,QAAQ,EAAE,CAAC,CAAC,QAAQ;wBACpB,GAAG,EAAE,CAAC,CAAC,GAAG;wBACV,QAAQ,EAAE,aAAa,CAAC,IAAI;wBAC5B,MAAM,EAAE,CAAC,IAAI,GAAG,QAAQ,CAAC,GAAG,EAAE;qBAC/B,CAAC,CAAC;oBACH,SAAS;gBACX,CAAC;gBAED,yCAAyC;gBACzC,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;gBACxC,IAAI,QAAQ,KAAK,SAAS;oBAAE,SAAS;gBAErC,IAAI,IAAI,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBAC9C,IAAI,CAAC,IAAI,EAAE,CAAC;oBACV,IAAI,GAAG,IAAI,GAAG,EAAE,CAAC;oBACjB,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;gBAC3C,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAClB,CAAC;YAED,uEAAuE;YACvE,KAAK,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,IAAI,kBAAkB,EAAE,CAAC;gBAC3D,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACvC,IAAI,CAAC,MAAM;oBAAE,SAAS;gBACtB,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;gBACxC,IAAI,CAAC,QAAQ;oBAAE,SAAS;gBAExB,MAAM,UAAU,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,QAAQ,EAAE,CAAC;gBACjD,MAAM,KAAK,GAAG,cAAc,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC;gBAE/D,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;oBAC7B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;wBAAE,SAAS;oBACpC,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,GAAG,EAAE,CAAC;oBACxC,iDAAiD;oBACjD,MAAM,MAAM,GAAG,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC;oBAC5C,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;wBAC3B,OAAO,CAAC,IAAI,CAAC;4BACX,QAAQ;4BACR,GAAG;4BACH,QAAQ,EAAE,aAAa,CAAC,IAAI;4BAC5B,MAAM,EAAE,MAAM;yBACf,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO,EAAE,OAAO,EAAE,CAAC;QACrB,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"minimize-cost.js","sourceRoot":"","sources":["../../../src/cpsat/rules/minimize-cost.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAE7D,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAChE,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,cAAc,EACd,0BAA0B,EAC1B,uBAAuB,EACvB,SAAS,GACV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAE3D,MAAM,kBAAkB,GAAG,WAAW,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CACxE,SAAS,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CACpE,CAAC;AAKF,MAAM,CAAC,MAAM,0BAA0B,GAAG,oBAAoB,CAAC;IAC7D,IAAI,EAAE,eAAe;IACrB,MAAM,EAAE,kBAAkB;IAC1B,OAAO,CAAC,MAAM;QACZ,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,oBAAoB,GAAc,QAAQ,CAAC;QAE/C,MAAM,YAAY,GAAiB;YACjC,IAAI,EAAE,MAAM;YACZ,UAAU,EAAE;gBACV,QAAQ,EAAE,MAAM;gBAChB,QAAQ,EAAE,wBAAwB;gBAClC,SAAS,EACP,4GAA4G;aAC/G;YACD,gBAAgB,CAAC,OAAO;gBACtB,oBAAoB,GAAG,OAAO,CAAC,YAAY,CAAC;gBAE5C,MAAM,aAAa,GAAG,uBAAuB,CAAC,gBAAgB,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;gBACjF,MAAM,UAAU,GAAG,0BAA0B,CAAC,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;gBAC5E,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO;gBAElE,IAAI,UAAU,GAAG,CAAC,CAAC;gBACnB,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;oBACnC,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;oBACnC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;wBACvB,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;4BAC5C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC;gCAAE,SAAS;4BAClD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;4BACjD,MAAM,OAAO,GAAG,CAAC,IAAI,GAAG,QAAQ,CAAC,GAAG,EAAE,CAAC;4BACvC,IAAI,OAAO,GAAG,UAAU;gCAAE,UAAU,GAAG,OAAO,CAAC;wBACjD,CAAC;oBACH,CAAC;oBACD,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;oBACxC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;wBAC3B,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,GAAG,EAAE,CAAC;wBACxC,IAAI,UAAU,GAAG,UAAU;4BAAE,UAAU,GAAG,UAAU,CAAC;oBACvD,CAAC;gBACH,CAAC;gBAED,IAAI,UAAU,KAAK,CAAC;oBAAE,OAAO;gBAE7B,MAAM,mBAAmB,GAAG,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC;gBAChE,OAAO,CAAC,WAAW,GAAG;oBACpB,mBAAmB;oBACnB,MAAM,EAAE,IAAI;iBACb,CAAC;gBAEF,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;oBACnC,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;oBACnC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;wBACvB,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;4BAC5C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC;gCAAE,SAAS;4BAClD,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gCAC7B,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC;oCAAE,SAAS;gCAC3D,MAAM,QAAQ,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;gCACjD,MAAM,OAAO,GAAG,CAAC,IAAI,GAAG,QAAQ,CAAC,GAAG,EAAE,CAAC;gCACvC,MAAM,iBAAiB,GAAG,OAAO,GAAG,mBAAmB,CAAC;gCACxD,OAAO,CAAC,UAAU,CAChB,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,EAC9C,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAC/B,CAAC;4BACJ,CAAC;wBACH,CAAC;wBACD,SAAS;oBACX,CAAC;oBAED,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;oBACxC,IAAI,QAAQ,KAAK,SAAS;wBAAE,SAAS;oBAErC,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,GAAG,EAAE,CAAC;oBACxC,MAAM,oBAAoB,GAAG,UAAU,GAAG,mBAAmB,CAAC;oBAC9D,MAAM,KAAK,GAAG,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;oBAE/D,KAAK,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;wBACpD,MAAM,kBAAkB,GAAa,EAAE,CAAC;wBACxC,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;4BAC3B,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;gCAC5C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC;oCAAE,SAAS;gCAClD,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC;oCAAE,SAAS;gCAC3D,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;4BAC1E,CAAC;wBACH,CAAC;wBAED,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC;4BAAE,SAAS;wBAE9C,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,eAAe,MAAM,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC,CAAC;wBAC5E,KAAK,MAAM,SAAS,IAAI,kBAAkB,EAAE,CAAC;4BAC3C,OAAO,CAAC,SAAS,CACf;gCACE,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;gCAC5B,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;6BAC9B,EACD,IAAI,EACJ,CAAC,CACF,CAAC;wBACJ,CAAC;wBAED,OAAO,CAAC,UAAU,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC;oBAC/E,CAAC;gBACH,CAAC;YACH,CAAC;YACD,aAAa,CAAC,WAAW,EAAE,WAAW;gBACpC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;gBACpF,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,WAAW,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAClE,CAAC;gBACF,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,0BAA0B,CAAC,cAAc,EAAE,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CACxF,CAAC;gBACF,MAAM,eAAe,GAAG,IAAI,GAAG,CAC7B,uBAAuB,CAAC,gBAAgB,EAAE,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CACrE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CACtB,CACF,CAAC;gBAEF,MAAM,OAAO,GACX,EAAE,CAAC;gBACL,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAA2B,CAAC;gBAE9D,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;oBACrC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC;wBAC9E,SAAS;oBACX,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;oBAClD,IAAI,CAAC,MAAM;wBAAE,SAAS;oBACtB,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;oBAC1D,IAAI,CAAC,OAAO;wBAAE,SAAS;oBACvB,MAAM,QAAQ,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;oBAEjD,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;oBACnC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;wBACvB,OAAO,CAAC,IAAI,CAAC;4BACX,QAAQ,EAAE,UAAU,CAAC,QAAQ;4BAC7B,GAAG,EAAE,UAAU,CAAC,GAAG;4BACnB,QAAQ,EAAE,aAAa,CAAC,IAAI;4BAC5B,MAAM,EAAE,CAAC,IAAI,GAAG,QAAQ,CAAC,GAAG,EAAE;yBAC/B,CAAC,CAAC;wBACH,SAAS;oBACX,CAAC;oBAED,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;oBACxC,IAAI,QAAQ,KAAK,SAAS;wBAAE,SAAS;oBACrC,IAAI,UAAU,GAAG,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;oBAC7D,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,UAAU,GAAG,IAAI,GAAG,EAAE,CAAC;wBACvB,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;oBAC1D,CAAC;oBACD,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;gBACjC,CAAC;gBAED,KAAK,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,IAAI,kBAAkB,EAAE,CAAC;oBAC3D,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;oBACvC,IAAI,CAAC,MAAM;wBAAE,SAAS;oBACtB,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;oBACxC,IAAI,CAAC,QAAQ;wBAAE,SAAS;oBAExB,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;oBAC7C,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;oBAChF,MAAM,KAAK,GAAG,cAAc,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC;oBAE/D,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;wBAC7B,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;4BAAE,SAAS;wBACpC,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,GAAG,EAAE,CAAC;wBACxC,MAAM,MAAM,GAAG,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC;wBAC5C,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;4BAC3B,OAAO,CAAC,IAAI,CAAC;gCACX,QAAQ;gCACR,GAAG,EAAE,GAAG,CAAC,GAAG;gCACZ,QAAQ,EAAE,aAAa,CAAC,IAAI;gCAC5B,MAAM,EAAE,MAAM;6BACf,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,OAAO,EAAE,OAAO,EAAE,CAAC;YACrB,CAAC;SACF,CAAC;QAEF,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,SAAS,EAAE,CAAC,YAAY,CAAC;SAC1B,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

package/dist/cpsat/rules/must-assign.d.ts

@@ -0,0 +1,12 @@
+import * as z from "zod";
+export declare const MustAssignSchema: z.ZodIntersection<z.ZodObject<{
+    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 mustAssignRuleDescriptor}.
+ */
+export type MustAssignConfig = z.infer<typeof MustAssignSchema>;
+export declare const mustAssignRuleDescriptor: import("../rule-descriptor.js").RuleDescriptor<"must-assign", {
+    weekStartsOn?: "monday" | "tuesday" | "wednesday" | "thursday" | "friday" | "saturday" | "sunday" | undefined;
+} & import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">>;
+//# sourceMappingURL=must-assign.d.ts.map

package/dist/cpsat/rules/must-assign.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"must-assign.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/must-assign.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAgBzB,eAAO,MAAM,gBAAgB;;iOAIsB,CAAC;AAEpD;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAEhE,eAAO,MAAM,wBAAwB;;+EA2CnC,CAAC"}

package/dist/cpsat/rules/must-assign.js

@@ -0,0 +1,54 @@
+import * as z from "zod";
+import { DayOfWeekSchema } from "../../types.js";
+import { defineRuleDescriptor } from "../rule-descriptor.js";
+import { priorityToPenalty, splitIntoWeeks } from "../utils.js";
+import { entityScope, parseEntityScope, resolveMembersFromScope, ruleGroup, } from "./scope.types.js";
+import { assignmentTermsForDays } from "./assignment-terms.js";
+import { reportValidation, softConstraint } from "./artifacts.js";
+/** Internally always HIGH. Not user-configurable. */
+const MUST_ASSIGN_PENALTY = priorityToPenalty("HIGH");
+export const MustAssignSchema = z
+    .object({
+    weekStartsOn: DayOfWeekSchema.optional(),
+})
+    .and(entityScope(["members", "roles", "skills"]));
+export const mustAssignRuleDescriptor = defineRuleDescriptor({
+    name: "must-assign",
+    schema: MustAssignSchema,
+    compile(config, ctx) {
+        const scope = parseEntityScope(config);
+        const { weekStartsOn } = config;
+        const group = ruleGroup("must-assign", "Must assign", scope);
+        const members = resolveMembersFromScope(scope, [...ctx.members]);
+        const weeks = splitIntoWeeks([...ctx.days], weekStartsOn ?? ctx.weekStartsOn);
+        const artifacts = members.flatMap((member) => weeks.flatMap((weekDays) => {
+            const weekStart = weekDays[0];
+            if (!weekStart)
+                return [];
+            const terms = assignmentTermsForDays(member, weekDays, ctx.shiftPatterns, () => 1);
+            if (terms.length === 0)
+                return [];
+            const description = `${member.id} not assigned in week starting ${weekStart.iso} (staffing obligation)`;
+            const context = { memberIds: [member.id], days: weekDays.map((day) => day.iso) };
+            const constraintId = `must-assign:${member.id}:${weekStart.iso}`;
+            return [
+                softConstraint({
+                    group,
+                    description,
+                    context,
+                    validation: reportValidation(),
+                    terms,
+                    comparator: ">=",
+                    targetValue: 1,
+                    penalty: MUST_ASSIGN_PENALTY,
+                    constraintId,
+                }),
+            ];
+        }));
+        return {
+            rule: "must-assign",
+            artifacts,
+        };
+    },
+});
+//# sourceMappingURL=must-assign.js.map

package/dist/cpsat/rules/must-assign.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"must-assign.js","sourceRoot":"","sources":["../../../src/cpsat/rules/must-assign.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;AAC7D,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAChE,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,uBAAuB,EACvB,SAAS,GACV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAElE,qDAAqD;AACrD,MAAM,mBAAmB,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;AAEtD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC;KAC9B,MAAM,CAAC;IACN,YAAY,EAAE,eAAe,CAAC,QAAQ,EAAE;CACzC,CAAC;KACD,GAAG,CAAC,WAAW,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AAOpD,MAAM,CAAC,MAAM,wBAAwB,GAAG,oBAAoB,CAAC;IAC3D,IAAI,EAAE,aAAa;IACnB,MAAM,EAAE,gBAAgB;IACxB,OAAO,CAAC,MAAM,EAAE,GAAG;QACjB,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC;QAChC,MAAM,KAAK,GAAG,SAAS,CAAC,aAAa,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,YAAY,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC;QAE9E,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAC3C,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;YACzB,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC,SAAS;gBAAE,OAAO,EAAE,CAAC;YAE1B,MAAM,KAAK,GAAG,sBAAsB,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YACnF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YAElC,MAAM,WAAW,GAAG,GAAG,MAAM,CAAC,EAAE,kCAAkC,SAAS,CAAC,GAAG,wBAAwB,CAAC;YACxG,MAAM,OAAO,GAAG,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACjF,MAAM,YAAY,GAAG,eAAe,MAAM,CAAC,EAAE,IAAI,SAAS,CAAC,GAAG,EAAE,CAAC;YAEjE,OAAO;gBACL,cAAc,CAAC;oBACb,KAAK;oBACL,WAAW;oBACX,OAAO;oBACP,UAAU,EAAE,gBAAgB,EAAE;oBAC9B,KAAK;oBACL,UAAU,EAAE,IAAI;oBAChB,WAAW,EAAE,CAAC;oBACd,OAAO,EAAE,mBAAmB;oBAC5B,YAAY;iBACb,CAAC;aACH,CAAC;QACJ,CAAC,CAAC,CACH,CAAC;QAEF,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,SAAS;SACV,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

package/dist/cpsat/rules/overtime-daily-multiplier.d.ts

@@ -1,16 +1,12 @@
 import * as z from "zod";
-import type { CompilationRule } from "../model-builder.js";
-declare const OvertimeDailyMultiplierSchema: z.ZodIntersection<z.ZodIntersection<z.ZodObject<{
+export declare const OvertimeDailyMultiplierSchema: z.ZodIntersection<z.ZodIntersection<z.ZodObject<{
     after: z.ZodNumber;
     factor: z.ZodNumber;
 }, 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>>>, z.ZodType<import("./scope.types.js").OptionalTimeScopeType<"dateRange" | "dayOfWeek" | "specificDates" | "recurring">, unknown, z.core.$ZodTypeInternals<import("./scope.types.js").OptionalTimeScopeType<"dateRange" | "dayOfWeek" | "specificDates" | "recurring">, unknown>>>;
-/** Configuration for {@link createOvertimeDailyMultiplierRule}. */
+/** Configuration for {@link overtimeDailyMultiplierRuleDescriptor}. */
 export type OvertimeDailyMultiplierConfig = z.infer<typeof OvertimeDailyMultiplierSchema>;
-/**
- * Creates a daily overtime rate multiplier rule.
- *
- * Same as the weekly variant but the threshold is per day instead of per week.
- */
-export declare function createOvertimeDailyMultiplierRule(config: OvertimeDailyMultiplierConfig): CompilationRule;
-export {};
+export declare const overtimeDailyMultiplierRuleDescriptor: import("../rule-descriptor.js").RuleDescriptor<"overtime-daily-multiplier", ({
+    after: number;
+    factor: number;
+} & import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">) & import("./scope.types.js").OptionalTimeScopeType<"dateRange" | "dayOfWeek" | "specificDates" | "recurring">>;
 //# sourceMappingURL=overtime-daily-multiplier.d.ts.map

package/dist/cpsat/rules/overtime-daily-multiplier.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"overtime-daily-multiplier.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/overtime-daily-multiplier.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,KAAK,EAAE,eAAe,EAAoB,MAAM,qBAAqB,CAAC;AAoB7E,QAAA,MAAM,6BAA6B;;;mfAMwC,CAAC;AAE5E,mEAAmE;AACnE,MAAM,MAAM,6BAA6B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,6BAA6B,CAAC,CAAC;AAE1F;;;;GAIG;AACH,wBAAgB,iCAAiC,CAC/C,MAAM,EAAE,6BAA6B,GACpC,eAAe,CAkIjB"}
+{"version":3,"file":"overtime-daily-multiplier.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/overtime-daily-multiplier.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAqBzB,eAAO,MAAM,6BAA6B;;;mfAMiC,CAAC;AAE5E,uEAAuE;AACvE,MAAM,MAAM,6BAA6B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,6BAA6B,CAAC,CAAC;AAE1F,eAAO,MAAM,qCAAqC;;;8LA2JhD,CAAC"}