dabke 0.82.0 → 0.84.0

package/dist/cpsat/rules/artifacts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifacts.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/artifacts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,sBAAsB,EACtB,sCAAsC,EACtC,sCAAsC,EACtC,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,EACtB,gBAAgB,EACjB,MAAM,uBAAuB,CAAC;AAE/B,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,CAK3D;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,gBAAgB,CAKpF;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,sCAAsC,CAAC;AACrF,wBAAgB,gBAAgB,IAAI,sCAAsC,CAAC;AAO3E,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,sBAAsB,EAChC,SAAS,EAAE,MAAM,GAChB,sBAAsB,CAExB;AAED,wBAAgB,cAAc,CAC5B,MAAM,EAAE,IAAI,CAAC,sBAAsB,EAAE,MAAM,CAAC,GAC3C,sBAAsB,CAKxB;AAED,wBAAgB,cAAc,CAC5B,MAAM,EAAE,IAAI,CAAC,sBAAsB,EAAE,MAAM,CAAC,GAC3C,sBAAsB,CAKxB"}

package/dist/cpsat/rules/artifacts.js

@@ -0,0 +1,31 @@
+export function boolVariable(name) {
+    return {
+        kind: "variable",
+        variable: { type: "bool", name },
+    };
+}
+export function intVariable(name, min, max) {
+    return {
+        kind: "variable",
+        variable: { type: "int", name, min, max },
+    };
+}
+export function reportValidation(id) {
+    return id ? { strategy: "report", id } : { strategy: "report" };
+}
+export function skipValidation(category, rationale) {
+    return { strategy: "skip", category, rationale };
+}
+export function hardConstraint(params) {
+    return {
+        ...params,
+        kind: "hard-constraint",
+    };
+}
+export function softConstraint(params) {
+    return {
+        ...params,
+        kind: "soft-constraint",
+    };
+}
+//# sourceMappingURL=artifacts.js.map

package/dist/cpsat/rules/artifacts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artifacts.js","sourceRoot":"","sources":["../../../src/cpsat/rules/artifacts.ts"],"names":[],"mappings":"AAUA,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;KACjC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,GAAW,EAAE,GAAW;IAChE,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE;KAC1C,CAAC;AACJ,CAAC;AAID,MAAM,UAAU,gBAAgB,CAC9B,EAAW;IAEX,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,QAAgC,EAChC,SAAiB;IAEjB,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,MAA4C;IAE5C,OAAO;QACL,GAAG,MAAM;QACT,IAAI,EAAE,iBAAiB;KACS,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,MAA4C;IAE5C,OAAO;QACL,GAAG,MAAM;QACT,IAAI,EAAE,iBAAiB;KACS,CAAC;AACrC,CAAC"}

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

@@ -1,30 +1,28 @@
 import * as z from "zod";
-import type { CompilationRule } from "../model-builder.js";
-declare const AssignTogetherSchema: z.ZodObject<{
+export declare const AssignTogetherSchema: z.ZodObject<{
     groupMemberIds: z.ZodTuple<[z.ZodString, z.ZodString], z.ZodString>;
-    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>;
 /**
- * Configuration for {@link createAssignTogetherRule}.
- *
- * - `groupMemberIds` (required): member IDs to assign together (at least two, must be unique)
- * - `priority` (required): how strictly the solver enforces this rule
+ * Configuration for {@link assignTogetherRuleDescriptor}.
  */
 export type AssignTogetherConfig = z.infer<typeof AssignTogetherSchema>;
 /**
- * Encourages or enforces that team members in the group work the same shift patterns on a day.
- * For each pair of team members in the group, ensures they are assigned to the same shifts.
+ * Low-level descriptor for the `assign-together` rule.
+ *
+ * @remarks
+ * Register this in a custom rule registry when you need the descriptor API
+ * directly instead of the high-level {@link assignTogether} helper.
  *
- * @param config - See {@link AssignTogetherConfig}
- * @example
- * ```ts
- * const rule = createAssignTogetherRule({
- *   groupMemberIds: ["alice", "bob", "charlie"],
- *   priority: "HIGH",
- * });
- * builder = new ModelBuilder({ ...config, rules: [rule] });
- * ```
+ * @category Rules
  */
-export declare function createAssignTogetherRule(config: AssignTogetherConfig): CompilationRule;
-export {};
+export declare const assignTogetherRuleDescriptor: import("../rule-descriptor.js").RuleDescriptor<"assign-together", {
+    groupMemberIds: [string, string, ...string[]];
+    priority: "LOW" | "MEDIUM" | "HIGH" | "MANDATORY";
+}>;
 //# sourceMappingURL=assign-together.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"assign-together.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/assign-together.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAI3D,QAAA,MAAM,oBAAoB;;;iBAQxB,CAAC;AAEH;;;;;GAKG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAExE;;;;;;;;;;;;;GAaG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,oBAAoB,GAAG,eAAe,CA6DtF"}
+{"version":3,"file":"assign-together.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/assign-together.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAQzB,eAAO,MAAM,oBAAoB;;;;;;;;iBAQ/B,CAAC;AAEH;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAExE;;;;;;;;GAQG;AACH,eAAO,MAAM,4BAA4B;;;EAqGvC,CAAC"}

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

@@ -1,7 +1,11 @@
 import * as z from "zod";
+import { defineRuleDescriptor } from "../rule-descriptor.js";
 import { priorityToPenalty } from "../utils.js";
 import { PrioritySchema } from "./scope.types.js";
-const AssignTogetherSchema = z.object({
+import { assignmentVar } from "./variables.js";
+import { boolVariable, hardConstraint, reportValidation, skipValidation } from "./artifacts.js";
+import { canAssignMemberToPattern, isPatternAvailableOnDay } from "./pattern-eligibility.js";
+export const AssignTogetherSchema = z.object({
     groupMemberIds: z
         .tuple([z.string(), z.string()])
         .rest(z.string())
@@ -11,65 +15,97 @@ const AssignTogetherSchema = z.object({
     priority: PrioritySchema,
 });
 /**
- * Encourages or enforces that team members in the group work the same shift patterns on a day.
- * For each pair of team members in the group, ensures they are assigned to the same shifts.
+ * Low-level descriptor for the `assign-together` rule.
  *
- * @param config - See {@link AssignTogetherConfig}
- * @example
- * ```ts
- * const rule = createAssignTogetherRule({
- *   groupMemberIds: ["alice", "bob", "charlie"],
- *   priority: "HIGH",
- * });
- * builder = new ModelBuilder({ ...config, rules: [rule] });
- * ```
+ * @remarks
+ * Register this in a custom rule registry when you need the descriptor API
+ * directly instead of the high-level {@link assignTogether} helper.
+ *
+ * @category Rules
  */
-export function createAssignTogetherRule(config) {
-    const { groupMemberIds, priority } = AssignTogetherSchema.parse(config);
-    return {
-        compile(b) {
-            const targetMembers = groupMemberIds
-                .map((id) => b.members.find((m) => m.id === id))
-                .filter((m) => m !== undefined);
-            if (targetMembers.length < 2)
-                return;
-            for (let i = 0; i < targetMembers.length - 1; i++) {
-                const m1 = targetMembers[i];
-                const m2 = targetMembers[i + 1];
-                for (const pattern of b.shiftPatterns) {
-                    const canAssign1 = b.canAssign(m1, pattern);
-                    const canAssign2 = b.canAssign(m2, pattern);
-                    if (!canAssign1 || !canAssign2)
-                        continue;
-                    for (const day of b.days) {
-                        if (!b.patternAvailableOnDay(pattern, day))
-                            continue;
-                        const var1 = b.assignment(m1.id, pattern.id, day);
-                        const var2 = b.assignment(m2.id, pattern.id, day);
-                        if (priority === "MANDATORY") {
-                            b.addLinear([
-                                { var: var1, coeff: 1 },
-                                { var: var2, coeff: -1 },
-                            ], "==", 0);
-                        }
-                        else {
-                            const diffVar = b.boolVar(`together_diff_${m1.id}_${m2.id}_${pattern.id}_${day}`);
-                            b.addLinear([
+export const assignTogetherRuleDescriptor = defineRuleDescriptor({
+    name: "assign-together",
+    schema: AssignTogetherSchema,
+    compile(config, ctx) {
+        const { groupMemberIds, priority } = config;
+        const targetMembers = groupMemberIds
+            .map((id) => ctx.members.find((member) => member.id === id))
+            .filter((member) => member !== undefined);
+        if (targetMembers.length < 2) {
+            return { rule: "assign-together", artifacts: [] };
+        }
+        const artifacts = targetMembers.flatMap((member, index) => {
+            const next = targetMembers[index + 1];
+            if (!next)
+                return [];
+            return ctx.shiftPatterns.flatMap((pattern) => {
+                if (!canAssignMemberToPattern(member, pattern) ||
+                    !canAssignMemberToPattern(next, pattern)) {
+                    return [];
+                }
+                return ctx.days.flatMap((day) => {
+                    if (!isPatternAvailableOnDay(pattern, day))
+                        return [];
+                    const var1 = assignmentVar(member.id, pattern.id, day.iso);
+                    const var2 = assignmentVar(next.id, pattern.id, day.iso);
+                    const description = `${member.id} and ${next.id} stay together on ${pattern.id} for ${day.iso}`;
+                    const context = { memberIds: [member.id, next.id], days: [day.iso] };
+                    const constraintId = `assign-together:${member.id}:${next.id}:${pattern.id}:${day.iso}`;
+                    if (priority === "MANDATORY") {
+                        return [
+                            hardConstraint({
+                                description,
+                                context,
+                                validation: reportValidation(constraintId),
+                                terms: [
+                                    { var: var1, coeff: 1 },
+                                    { var: var2, coeff: -1 },
+                                ],
+                                comparator: "==",
+                                targetValue: 0,
+                            }),
+                        ];
+                    }
+                    const diffVar = `together_diff_${member.id}_${next.id}_${pattern.id}_${day.iso}`;
+                    return [
+                        boolVariable(diffVar),
+                        hardConstraint({
+                            description: `${diffVar} captures ${var1} without ${var2}`,
+                            validation: skipValidation("scaffolding", "This helper variable measures pair mismatch so a soft pairing preference can be optimized without surfacing helper-level feedback."),
+                            context,
+                            terms: [
                                 { var: diffVar, coeff: 1 },
                                 { var: var1, coeff: -1 },
                                 { var: var2, coeff: 1 },
-                            ], ">=", 0);
-                            b.addLinear([
+                            ],
+                            comparator: ">=",
+                            targetValue: 0,
+                        }),
+                        hardConstraint({
+                            description: `${diffVar} captures ${var2} without ${var1}`,
+                            validation: skipValidation("scaffolding", "This helper variable measures pair mismatch symmetrically so the objective can penalize either member being assigned alone."),
+                            context,
+                            terms: [
                                 { var: diffVar, coeff: 1 },
                                 { var: var1, coeff: 1 },
                                 { var: var2, coeff: -1 },
-                            ], ">=", 0);
-                            b.addPenalty(diffVar, priorityToPenalty(priority));
-                        }
-                    }
-                }
-            }
-        },
-    };
-}
+                            ],
+                            comparator: ">=",
+                            targetValue: 0,
+                        }),
+                        {
+                            kind: "objective",
+                            terms: [{ var: diffVar, coeff: Math.max(1, priorityToPenalty(priority) * 5) }],
+                            validation: skipValidation("no-meaningful-feedback", "Pairing preferences influence the objective but do not emit validation feedback."),
+                        },
+                    ];
+                });
+            });
+        });
+        return {
+            rule: "assign-together",
+            artifacts,
+        };
+    },
+});
 //# sourceMappingURL=assign-together.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"assign-together.js","sourceRoot":"","sources":["../../../src/cpsat/rules/assign-together.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAEzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,cAAc,EAAE,CAAC;SACd,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;SAC/B,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SAChB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM,EAAE;QACjD,OAAO,EAAE,oBAAoB;KAC9B,CAAC;IACJ,QAAQ,EAAE,cAAc;CACzB,CAAC,CAAC;AAUH;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,wBAAwB,CAAC,MAA4B;IACnE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,GAAG,oBAAoB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAExE,OAAO;QACL,OAAO,CAAC,CAAC;YACP,MAAM,aAAa,GAAG,cAAc;iBACjC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;iBAC/C,MAAM,CAAC,CAAC,CAAC,EAA8B,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;YAE9D,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO;YAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClD,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAE,CAAC;gBAC7B,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;gBAEjC,KAAK,MAAM,OAAO,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;oBACtC,MAAM,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;oBAC5C,MAAM,UAAU,GAAG,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;oBAC5C,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU;wBAAE,SAAS;oBAEzC,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;wBACzB,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC;4BAAE,SAAS;wBACrD,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;wBAClD,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;wBAElD,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;4BAC7B,CAAC,CAAC,SAAS,CACT;gCACE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE;gCACvB,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;6BACzB,EACD,IAAI,EACJ,CAAC,CACF,CAAC;wBACJ,CAAC;6BAAM,CAAC;4BACN,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,OAAO,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;4BAClF,CAAC,CAAC,SAAS,CACT;gCACE,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE;gCAC1B,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;gCACxB,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE;6BACxB,EACD,IAAI,EACJ,CAAC,CACF,CAAC;4BACF,CAAC,CAAC,SAAS,CACT;gCACE,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE;gCAC1B,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE;gCACvB,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;6BACzB,EACD,IAAI,EACJ,CAAC,CACF,CAAC;4BACF,CAAC,CAAC,UAAU,CAAC,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC;wBACrD,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"assign-together.js","sourceRoot":"","sources":["../../../src/cpsat/rules/assign-together.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,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChG,OAAO,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AAE7F,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,cAAc,EAAE,CAAC;SACd,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;SAC/B,IAAI,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SAChB,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM,EAAE;QACjD,OAAO,EAAE,oBAAoB;KAC9B,CAAC;IACJ,QAAQ,EAAE,cAAc;CACzB,CAAC,CAAC;AAOH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,oBAAoB,CAAC;IAC/D,IAAI,EAAE,iBAAiB;IACvB,MAAM,EAAE,oBAAoB;IAC5B,OAAO,CAAC,MAAM,EAAE,GAAG;QACjB,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;QAC5C,MAAM,aAAa,GAAG,cAAc;aACjC,GAAG,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;aACnE,MAAM,CAAC,CAAC,MAAM,EAAwC,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;QAElF,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;QACpD,CAAC;QAED,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;YACxD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACtC,IAAI,CAAC,IAAI;gBAAE,OAAO,EAAE,CAAC;YAErB,OAAO,GAAG,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC3C,IACE,CAAC,wBAAwB,CAAC,MAAM,EAAE,OAAO,CAAC;oBAC1C,CAAC,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,EACxC,CAAC;oBACD,OAAO,EAAE,CAAC;gBACZ,CAAC;gBAED,OAAO,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;oBAC9B,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,GAAG,CAAC;wBAAE,OAAO,EAAE,CAAC;oBAEtD,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;oBAC3D,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;oBACzD,MAAM,WAAW,GAAG,GAAG,MAAM,CAAC,EAAE,QAAQ,IAAI,CAAC,EAAE,qBAAqB,OAAO,CAAC,EAAE,QAAQ,GAAG,CAAC,GAAG,EAAE,CAAC;oBAChG,MAAM,OAAO,GAAG,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACrE,MAAM,YAAY,GAAG,mBAAmB,MAAM,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,IAAI,OAAO,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;oBAExF,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;wBAC7B,OAAO;4BACL,cAAc,CAAC;gCACb,WAAW;gCACX,OAAO;gCACP,UAAU,EAAE,gBAAgB,CAAC,YAAY,CAAC;gCAC1C,KAAK,EAAE;oCACL,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE;oCACvB,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;iCACzB;gCACD,UAAU,EAAE,IAAI;gCAChB,WAAW,EAAE,CAAC;6BACf,CAAC;yBACH,CAAC;oBACJ,CAAC;oBAED,MAAM,OAAO,GAAG,iBAAiB,MAAM,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,IAAI,OAAO,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;oBACjF,OAAO;wBACL,YAAY,CAAC,OAAO,CAAC;wBACrB,cAAc,CAAC;4BACb,WAAW,EAAE,GAAG,OAAO,aAAa,IAAI,YAAY,IAAI,EAAE;4BAC1D,UAAU,EAAE,cAAc,CACxB,aAAa,EACb,oIAAoI,CACrI;4BACD,OAAO;4BACP,KAAK,EAAE;gCACL,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE;gCAC1B,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;gCACxB,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE;6BACxB;4BACD,UAAU,EAAE,IAAI;4BAChB,WAAW,EAAE,CAAC;yBACf,CAAC;wBACF,cAAc,CAAC;4BACb,WAAW,EAAE,GAAG,OAAO,aAAa,IAAI,YAAY,IAAI,EAAE;4BAC1D,UAAU,EAAE,cAAc,CACxB,aAAa,EACb,6HAA6H,CAC9H;4BACD,OAAO;4BACP,KAAK,EAAE;gCACL,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE;gCAC1B,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE;gCACvB,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;6BACzB;4BACD,UAAU,EAAE,IAAI;4BAChB,WAAW,EAAE,CAAC;yBACf,CAAC;wBACF;4BACE,IAAI,EAAE,WAAoB;4BAC1B,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,iBAAiB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;4BAC9E,UAAU,EAAE,cAAc,CACxB,wBAAwB,EACxB,kFAAkF,CACnF;yBACF;qBACF,CAAC;gBACJ,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO;YACL,IAAI,EAAE,iBAAiB;YACvB,SAAS;SACV,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

package/dist/cpsat/rules/assigned-day.d.ts

@@ -0,0 +1,12 @@
+import type { SchedulingDay } from "../../types.js";
+import type { RuleArtifact } from "../rule-descriptor.js";
+export declare function buildAssignedDayIndicator(params: {
+    memberId: string;
+    day: SchedulingDay;
+    assignmentVars: readonly string[];
+    variableName?: string;
+}): {
+    assignedDayVar: string;
+    artifacts: readonly RuleArtifact[];
+};
+//# sourceMappingURL=assigned-day.d.ts.map

package/dist/cpsat/rules/assigned-day.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assigned-day.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/assigned-day.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAI1D,wBAAgB,yBAAyB,CAAC,MAAM,EAAE;IAChD,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,aAAa,CAAC;IACnB,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,GAAG;IAAE,cAAc,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,SAAS,YAAY,EAAE,CAAA;CAAE,CA2DjE"}

package/dist/cpsat/rules/assigned-day.js

@@ -0,0 +1,43 @@
+import { boolVariable, hardConstraint, skipValidation } from "./artifacts.js";
+import { assignedDayVariableName } from "./variables.js";
+export function buildAssignedDayIndicator(params) {
+    const assignedDayVar = params.variableName ?? assignedDayVariableName(params.memberId, params.day.iso);
+    const artifacts = [boolVariable(assignedDayVar)];
+    if (params.assignmentVars.length === 0) {
+        artifacts.push(hardConstraint({
+            description: `${assignedDayVar} fixed to 0 on ${params.day.iso}`,
+            validation: skipValidation("scaffolding", "No assignments exist for this member and day, so the derived assigned-day variable is fixed to zero."),
+            context: { memberIds: [params.memberId], days: [params.day.iso] },
+            terms: [{ var: assignedDayVar, coeff: 1 }],
+            comparator: "==",
+            targetValue: 0,
+        }));
+        return { assignedDayVar, artifacts };
+    }
+    for (const assignVar of params.assignmentVars) {
+        artifacts.push(hardConstraint({
+            description: `${assignedDayVar} covers ${assignVar}`,
+            validation: skipValidation("scaffolding", "This derived assigned-day variable must turn on whenever one of the day's assignment variables is on."),
+            context: { memberIds: [params.memberId], days: [params.day.iso] },
+            terms: [
+                { var: assignedDayVar, coeff: 1 },
+                { var: assignVar, coeff: -1 },
+            ],
+            comparator: ">=",
+            targetValue: 0,
+        }));
+    }
+    artifacts.push(hardConstraint({
+        description: `${assignedDayVar} limited by assignments on ${params.day.iso}`,
+        validation: skipValidation("scaffolding", "This derived assigned-day variable must stay off unless at least one assignment variable is on."),
+        context: { memberIds: [params.memberId], days: [params.day.iso] },
+        terms: [
+            { var: assignedDayVar, coeff: 1 },
+            ...params.assignmentVars.map((varName) => ({ var: varName, coeff: -1 })),
+        ],
+        comparator: "<=",
+        targetValue: 0,
+    }));
+    return { assignedDayVar, artifacts };
+}
+//# sourceMappingURL=assigned-day.js.map

package/dist/cpsat/rules/assigned-day.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assigned-day.js","sourceRoot":"","sources":["../../../src/cpsat/rules/assigned-day.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAC9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,gBAAgB,CAAC;AAEzD,MAAM,UAAU,yBAAyB,CAAC,MAKzC;IACC,MAAM,cAAc,GAClB,MAAM,CAAC,YAAY,IAAI,uBAAuB,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClF,MAAM,SAAS,GAAmB,CAAC,YAAY,CAAC,cAAc,CAAC,CAAC,CAAC;IAEjE,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,SAAS,CAAC,IAAI,CACZ,cAAc,CAAC;YACb,WAAW,EAAE,GAAG,cAAc,kBAAkB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE;YAChE,UAAU,EAAE,cAAc,CACxB,aAAa,EACb,sGAAsG,CACvG;YACD,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YACjE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;YAC1C,UAAU,EAAE,IAAI;YAChB,WAAW,EAAE,CAAC;SACf,CAAC,CACH,CAAC;QACF,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC;IACvC,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;QAC9C,SAAS,CAAC,IAAI,CACZ,cAAc,CAAC;YACb,WAAW,EAAE,GAAG,cAAc,WAAW,SAAS,EAAE;YACpD,UAAU,EAAE,cAAc,CACxB,aAAa,EACb,uGAAuG,CACxG;YACD,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;YACjE,KAAK,EAAE;gBACL,EAAE,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE;gBACjC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;aAC9B;YACD,UAAU,EAAE,IAAI;YAChB,WAAW,EAAE,CAAC;SACf,CAAC,CACH,CAAC;IACJ,CAAC;IAED,SAAS,CAAC,IAAI,CACZ,cAAc,CAAC;QACb,WAAW,EAAE,GAAG,cAAc,8BAA8B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE;QAC5E,UAAU,EAAE,cAAc,CACxB,aAAa,EACb,iGAAiG,CAClG;QACD,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;QACjE,KAAK,EAAE;YACL,EAAE,GAAG,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,EAAE;YACjC,GAAG,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SACzE;QACD,UAAU,EAAE,IAAI;QAChB,WAAW,EAAE,CAAC;KACf,CAAC,CACH,CAAC;IAEF,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC;AACvC,CAAC"}

package/dist/cpsat/rules/assignment-priority.d.ts

@@ -1,38 +1,24 @@
 import * as z from "zod";
-import type { CompilationRule } from "../model-builder.js";
-declare const AssignmentPrioritySchema: z.ZodIntersection<z.ZodIntersection<z.ZodObject<{
-    preference: z.ZodUnion<readonly [z.ZodLiteral<"high">, z.ZodLiteral<"low">]>;
+export declare const AssignmentPrioritySchema: z.ZodIntersection<z.ZodIntersection<z.ZodObject<{
+    preference: z.ZodUnion<readonly [z.ZodLiteral<"prefer">, z.ZodLiteral<"avoid">]>;
+    priority: z.ZodOptional<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>>>, 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 createAssignmentPriorityRule}.
- *
- * - `preference` (required): `"high"` to prefer assigning or `"low"` to avoid assigning
- *
- * Entity scoping (at most one): `memberIds`, `roleIds`, `skillIds`
- * Time scoping (at most one, optional): `dateRange`, `specificDates`, `dayOfWeek`, `recurringPeriods`
+ * Configuration for {@link assignmentPriorityRuleDescriptor}.
  */
 export type AssignmentPriorityConfig = z.infer<typeof AssignmentPrioritySchema>;
 /**
- * Adds objective weight to prefer or avoid assigning team members.
- *
- * @param config - See {@link AssignmentPriorityConfig}
- * @example Prefer specific team members
- * ```ts
- * createAssignmentPriorityRule({
- *   memberIds: ["alice", "bob"],
- *   preference: "high",
- * });
- * ```
+ * Low-level descriptor for assignment priority rules.
  *
- * @example Avoid assigning students on weekdays
- * ```ts
- * createAssignmentPriorityRule({
- *   roleIds: ["student"],
- *   dayOfWeek: ["monday", "tuesday", "wednesday", "thursday", "friday"],
- *   preference: "low",
- * });
- * ```
+ * @category Rules
  */
-export declare function createAssignmentPriorityRule(config: AssignmentPriorityConfig): CompilationRule;
-export {};
+export declare const assignmentPriorityRuleDescriptor: import("../rule-descriptor.js").RuleDescriptor<"assignment-priority", ({
+    preference: "prefer" | "avoid";
+    priority?: "LOW" | "MEDIUM" | "HIGH" | "MANDATORY" | undefined;
+} & import("./scope.types.js").EntityScopeType<"members" | "roles" | "skills">) & import("./scope.types.js").OptionalTimeScopeType<"dateRange" | "dayOfWeek" | "specificDates" | "recurring">>;
 //# sourceMappingURL=assignment-priority.d.ts.map

package/dist/cpsat/rules/assignment-priority.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assignment-priority.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/assignment-priority.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAW3D,QAAA,MAAM,wBAAwB;;mfAK6C,CAAC;AAE5E;;;;;;;GAOG;AACH,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAEhF;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,wBAAwB,GAAG,eAAe,CA6B9F"}
+{"version":3,"file":"assignment-priority.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/assignment-priority.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAgBzB,eAAO,MAAM,wBAAwB;;;;;;;;mfAMsC,CAAC;AAE5E;;GAEG;AACH,MAAM,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;AAEhF;;;;GAIG;AACH,eAAO,MAAM,gCAAgC;;;8LAyC3C,CAAC"}

package/dist/cpsat/rules/assignment-priority.js

@@ -1,59 +1,56 @@
 import * as z from "zod";
-import { OBJECTIVE_WEIGHTS } from "../utils.js";
-import { entityScope, timeScope, parseEntityScope, parseTimeScope, resolveMembersFromScope, resolveActiveDaysFromScope, } from "./scope.types.js";
-const AssignmentPrioritySchema = z
+import { defineRuleDescriptor } from "../rule-descriptor.js";
+import { PREFERENCE_WEIGHTS } from "../utils.js";
+import { PrioritySchema, entityScope, parseEntityScope, parseTimeScope, resolveActiveDaysFromScope, resolveMembersFromScope, timeScope, } from "./scope.types.js";
+import { skipValidation } from "./artifacts.js";
+import { assignmentVar } from "./variables.js";
+import { canAssignMemberToPattern, isPatternAvailableOnDay } from "./pattern-eligibility.js";
+export const AssignmentPrioritySchema = z
     .object({
-    preference: z.union([z.literal("high"), z.literal("low")]),
+    preference: z.union([z.literal("prefer"), z.literal("avoid")]),
+    priority: PrioritySchema.optional(),
 })
     .and(entityScope(["members", "roles", "skills"]))
     .and(timeScope(["dateRange", "specificDates", "dayOfWeek", "recurring"]));
 /**
- * Adds objective weight to prefer or avoid assigning team members.
+ * Low-level descriptor for assignment priority rules.
  *
- * @param config - See {@link AssignmentPriorityConfig}
- * @example Prefer specific team members
- * ```ts
- * createAssignmentPriorityRule({
- *   memberIds: ["alice", "bob"],
- *   preference: "high",
- * });
- * ```
- *
- * @example Avoid assigning students on weekdays
- * ```ts
- * createAssignmentPriorityRule({
- *   roleIds: ["student"],
- *   dayOfWeek: ["monday", "tuesday", "wednesday", "thursday", "friday"],
- *   preference: "low",
- * });
- * ```
+ * @category Rules
  */
-export function createAssignmentPriorityRule(config) {
-    const parsed = AssignmentPrioritySchema.parse(config);
-    const { preference } = parsed;
-    const entityScopeValue = parseEntityScope(parsed);
-    const timeScopeValue = parseTimeScope(parsed);
-    return {
-        compile(b) {
-            const targetMembers = resolveMembersFromScope(entityScopeValue, b.members);
-            const activeDays = resolveActiveDaysFromScope(timeScopeValue, b.days);
-            if (targetMembers.length === 0 || activeDays.length === 0)
-                return;
-            const weight = preference === "high"
-                ? -OBJECTIVE_WEIGHTS.ASSIGNMENT_PREFERENCE
-                : OBJECTIVE_WEIGHTS.ASSIGNMENT_PREFERENCE;
-            for (const member of targetMembers) {
-                for (const pattern of b.shiftPatterns) {
-                    if (!b.canAssign(member, pattern))
-                        continue;
-                    for (const day of activeDays) {
-                        if (!b.patternAvailableOnDay(pattern, day))
-                            continue;
-                        b.addPenalty(b.assignment(member.id, pattern.id, day), weight);
-                    }
-                }
-            }
-        },
-    };
-}
+export const assignmentPriorityRuleDescriptor = defineRuleDescriptor({
+    name: "assignment-priority",
+    schema: AssignmentPrioritySchema,
+    compile(config, ctx) {
+        const { preference } = config;
+        const priority = config.priority ?? "MANDATORY";
+        const entityScopeValue = parseEntityScope(config);
+        const timeScopeValue = parseTimeScope(config);
+        const targetMembers = resolveMembersFromScope(entityScopeValue, [...ctx.members]);
+        const activeDays = resolveActiveDaysFromScope(timeScopeValue, [...ctx.days]);
+        const baseWeight = PREFERENCE_WEIGHTS[priority] ?? 0;
+        if (targetMembers.length === 0 || activeDays.length === 0 || baseWeight === 0) {
+            return { rule: "assignment-priority", artifacts: [] };
+        }
+        const weight = preference === "prefer" ? -baseWeight : baseWeight;
+        const terms = targetMembers.flatMap((member) => ctx.shiftPatterns.flatMap((pattern) => {
+            if (!canAssignMemberToPattern(member, pattern))
+                return [];
+            return activeDays
+                .filter((day) => isPatternAvailableOnDay(pattern, day))
+                .map((day) => ({ var: assignmentVar(member.id, pattern.id, day.iso), coeff: weight }));
+        }));
+        return {
+            rule: "assignment-priority",
+            artifacts: [
+                {
+                    kind: "objective",
+                    terms,
+                    validation: skipValidation("no-meaningful-feedback", terms.length === 0
+                        ? "Assignment priority produced no objective terms for the selected scope."
+                        : "Preference rules influence the objective but do not emit validation feedback."),
+                },
+            ],
+        };
+    },
+});
 //# sourceMappingURL=assignment-priority.js.map

package/dist/cpsat/rules/assignment-priority.js.map

@@ -1 +1 @@
-{"version":3,"file":"assignment-priority.js","sourceRoot":"","sources":["../../../src/cpsat/rules/assignment-priority.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAEzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EACL,WAAW,EACX,SAAS,EACT,gBAAgB,EAChB,cAAc,EACd,uBAAuB,EACvB,0BAA0B,GAC3B,MAAM,kBAAkB,CAAC;AAE1B,MAAM,wBAAwB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;CAC3D,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;AAY5E;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,4BAA4B,CAAC,MAAgC;IAC3E,MAAM,MAAM,GAAG,wBAAwB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC;IAC9B,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAE9C,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,MAAM,MAAM,GACV,UAAU,KAAK,MAAM;gBACnB,CAAC,CAAC,CAAC,iBAAiB,CAAC,qBAAqB;gBAC1C,CAAC,CAAC,iBAAiB,CAAC,qBAAqB,CAAC;YAE9C,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;gBACnC,KAAK,MAAM,OAAO,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;oBACtC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC;wBAAE,SAAS;oBAC5C,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;wBAC7B,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC;4BAAE,SAAS;wBACrD,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;oBACjE,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"assignment-priority.js","sourceRoot":"","sources":["../../../src/cpsat/rules/assignment-priority.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EACL,cAAc,EACd,WAAW,EACX,gBAAgB,EAChB,cAAc,EACd,0BAA0B,EAC1B,uBAAuB,EACvB,SAAS,GACV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AAE7F,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9D,QAAQ,EAAE,cAAc,CAAC,QAAQ,EAAE;CACpC,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;;;;GAIG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,oBAAoB,CAAC;IACnE,IAAI,EAAE,qBAAqB;IAC3B,MAAM,EAAE,wBAAwB;IAChC,OAAO,CAAC,MAAM,EAAE,GAAG;QACjB,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,CAAC;QAC9B,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,WAAW,CAAC;QAChD,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QAC9C,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;QAC7E,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAA2C,CAAC,IAAI,CAAC,CAAC;QACxF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;YAC9E,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;QACxD,CAAC;QAED,MAAM,MAAM,GAAG,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;QAClE,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAC7C,GAAG,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YACpC,IAAI,CAAC,wBAAwB,CAAC,MAAM,EAAE,OAAO,CAAC;gBAAE,OAAO,EAAE,CAAC;YAC1D,OAAO,UAAU;iBACd,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,uBAAuB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;iBACtD,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QAC3F,CAAC,CAAC,CACH,CAAC;QAEF,OAAO;YACL,IAAI,EAAE,qBAAqB;YAC3B,SAAS,EAAE;gBACT;oBACE,IAAI,EAAE,WAAW;oBACjB,KAAK;oBACL,UAAU,EAAE,cAAc,CACxB,wBAAwB,EACxB,KAAK,CAAC,MAAM,KAAK,CAAC;wBAChB,CAAC,CAAC,yEAAyE;wBAC3E,CAAC,CAAC,+EAA+E,CACpF;iBACF;aACF;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

package/dist/cpsat/rules/assignment-terms.d.ts

@@ -0,0 +1,6 @@
+import type { SchedulingDay } from "../../types.js";
+import type { SchedulingMember, ShiftPattern, Term } from "../types.js";
+export declare function assignmentVarsForDay(member: SchedulingMember, day: SchedulingDay, shiftPatterns: readonly ShiftPattern[]): string[];
+export declare function assignmentTermsForDay(member: SchedulingMember, day: SchedulingDay, shiftPatterns: readonly ShiftPattern[], coeffForPattern: (pattern: ShiftPattern) => number): Term[];
+export declare function assignmentTermsForDays(member: SchedulingMember, days: readonly SchedulingDay[], shiftPatterns: readonly ShiftPattern[], coeffForPattern: (pattern: ShiftPattern) => number): Term[];
+//# sourceMappingURL=assignment-terms.d.ts.map

package/dist/cpsat/rules/assignment-terms.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"assignment-terms.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/assignment-terms.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAIxE,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,gBAAgB,EACxB,GAAG,EAAE,aAAa,EAClB,aAAa,EAAE,SAAS,YAAY,EAAE,GACrC,MAAM,EAAE,CAOV;AAED,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,gBAAgB,EACxB,GAAG,EAAE,aAAa,EAClB,aAAa,EAAE,SAAS,YAAY,EAAE,EACtC,eAAe,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,MAAM,GACjD,IAAI,EAAE,CAUR;AAED,wBAAgB,sBAAsB,CACpC,MAAM,EAAE,gBAAgB,EACxB,IAAI,EAAE,SAAS,aAAa,EAAE,EAC9B,aAAa,EAAE,SAAS,YAAY,EAAE,EACtC,eAAe,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,MAAM,GACjD,IAAI,EAAE,CAER"}

package/dist/cpsat/rules/assignment-terms.js

@@ -0,0 +1,19 @@
+import { canAssignMemberToPattern, isPatternAvailableOnDay } from "./pattern-eligibility.js";
+import { assignmentVar } from "./variables.js";
+export function assignmentVarsForDay(member, day, shiftPatterns) {
+    return shiftPatterns
+        .filter((pattern) => canAssignMemberToPattern(member, pattern) && isPatternAvailableOnDay(pattern, day))
+        .map((pattern) => assignmentVar(member.id, pattern.id, day.iso));
+}
+export function assignmentTermsForDay(member, day, shiftPatterns, coeffForPattern) {
+    return shiftPatterns
+        .filter((pattern) => canAssignMemberToPattern(member, pattern) && isPatternAvailableOnDay(pattern, day))
+        .map((pattern) => ({
+        var: assignmentVar(member.id, pattern.id, day.iso),
+        coeff: coeffForPattern(pattern),
+    }));
+}
+export function assignmentTermsForDays(member, days, shiftPatterns, coeffForPattern) {
+    return days.flatMap((day) => assignmentTermsForDay(member, day, shiftPatterns, coeffForPattern));
+}
+//# sourceMappingURL=assignment-terms.js.map

package/dist/cpsat/rules/assignment-terms.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assignment-terms.js","sourceRoot":"","sources":["../../../src/cpsat/rules/assignment-terms.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AAC7F,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE/C,MAAM,UAAU,oBAAoB,CAClC,MAAwB,EACxB,GAAkB,EAClB,aAAsC;IAEtC,OAAO,aAAa;SACjB,MAAM,CACL,CAAC,OAAO,EAAE,EAAE,CACV,wBAAwB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,uBAAuB,CAAC,OAAO,EAAE,GAAG,CAAC,CACrF;SACA,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,MAAwB,EACxB,GAAkB,EAClB,aAAsC,EACtC,eAAkD;IAElD,OAAO,aAAa;SACjB,MAAM,CACL,CAAC,OAAO,EAAE,EAAE,CACV,wBAAwB,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,uBAAuB,CAAC,OAAO,EAAE,GAAG,CAAC,CACrF;SACA,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACjB,GAAG,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC;QAClD,KAAK,EAAE,eAAe,CAAC,OAAO,CAAC;KAChC,CAAC,CAAC,CAAC;AACR,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,MAAwB,EACxB,IAA8B,EAC9B,aAAsC,EACtC,eAAkD;IAElD,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,qBAAqB,CAAC,MAAM,EAAE,GAAG,EAAE,aAAa,EAAE,eAAe,CAAC,CAAC,CAAC;AACnG,CAAC"}

package/dist/cpsat/rules/concurrent-intervals.d.ts

@@ -0,0 +1,19 @@
+import type { SchedulingDay } from "../../types.js";
+import type { SchedulingMember, ShiftPattern } from "../types.js";
+export interface ConcurrentAssignmentInterval {
+    readonly start: number;
+    readonly end: number;
+    readonly varName: string;
+}
+export interface ConcurrentAssignmentSegment {
+    readonly start: number;
+    readonly end: number;
+    readonly varNames: readonly string[];
+}
+export declare function collectConcurrentAssignmentIntervals(day: SchedulingDay, targetMembers: readonly SchedulingMember[], shiftPatterns: readonly ShiftPattern[]): ConcurrentAssignmentInterval[];
+export declare function resolveConcurrentWindow(intervals: readonly ConcurrentAssignmentInterval[], startMinutes?: number, endMinutes?: number): {
+    start: number;
+    end: number;
+};
+export declare function buildConcurrentAssignmentSegments(intervals: readonly ConcurrentAssignmentInterval[], windowStart: number, windowEnd: number): ConcurrentAssignmentSegment[];
+//# sourceMappingURL=concurrent-intervals.d.ts.map

package/dist/cpsat/rules/concurrent-intervals.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"concurrent-intervals.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/concurrent-intervals.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AACpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAKlE,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC;AAED,wBAAgB,oCAAoC,CAClD,GAAG,EAAE,aAAa,EAClB,aAAa,EAAE,SAAS,gBAAgB,EAAE,EAC1C,aAAa,EAAE,SAAS,YAAY,EAAE,GACrC,4BAA4B,EAAE,CAoBhC;AAED,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,SAAS,4BAA4B,EAAE,EAClD,YAAY,CAAC,EAAE,MAAM,EACrB,UAAU,CAAC,EAAE,MAAM,GAClB;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAQhC;AAED,wBAAgB,iCAAiC,CAC/C,SAAS,EAAE,SAAS,4BAA4B,EAAE,EAClD,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,GAChB,2BAA2B,EAAE,CA8B/B"}