dabke 0.83.0 → 0.84.0

package/dist/cpsat/rules/time-off.js

@@ -1,11 +1,15 @@
 import * as z from "zod";
+import { defineRuleDescriptor } from "../rule-descriptor.js";
 import { normalizeEndMinutes, priorityToPenalty, timeOfDayToMinutes } from "../utils.js";
-import { PrioritySchema, entityScope, requiredTimeScope, parseEntityScope, parseTimeScope, resolveMembersFromScope, resolveActiveDaysFromScope, ruleGroup, } from "./scope.types.js";
+import { PrioritySchema, entityScope, parseEntityScope, parseTimeScope, requiredTimeScope, resolveActiveDaysFromScope, resolveMembersFromScope, ruleGroup, } from "./scope.types.js";
+import { assignmentVar } from "./variables.js";
+import { hardConstraint, reportValidation, softConstraint } from "./artifacts.js";
+import { canAssignMemberToPattern, isPatternAvailableOnDay } from "./pattern-eligibility.js";
 const timeOfDaySchema = z.object({
     hours: z.number().int().min(0).max(23),
     minutes: z.number().int().min(0).max(59),
 });
-const TimeOffSchema = z
+export const TimeOffSchema = z
     .object({
     priority: PrioritySchema,
     startTime: timeOfDaySchema.optional(),
@@ -21,136 +25,110 @@ const TimeOffSchema = z
     message: "Both startTime and endTime must be provided together for partial day time-off",
 });
 /**
- * Blocks or penalizes assignments during specified time periods.
+ * Low-level descriptor for the `time-off` rule.
  *
- * Supports entity scoping (people, roles, skills) and time scoping
- * (date ranges, specific dates, days of week, recurring periods).
- * Optionally supports partial-day time-off with startTime/endTime.
- *
- * @param config - See {@link TimeOffConfig}
- * @example Full day vacation
- * ```ts
- * createTimeOffRule({
- *   memberIds: ["alice"],
- *   dateRange: { start: "2024-02-01", end: "2024-02-05" },
- *   priority: "MANDATORY",
- * });
- * ```
- *
- * @example Every Wednesday afternoon off for students
- * ```ts
- * createTimeOffRule({
- *   roleIds: ["student"],
- *   dayOfWeek: ["wednesday"],
- *   startTime: { hours: 14, minutes: 0 },
- *   endTime: { hours: 23, minutes: 59 },
- *   priority: "MANDATORY",
- * });
- * ```
- *
- * @example Specific date, partial day
- * ```ts
- * createTimeOffRule({
- *   memberIds: ["bob"],
- *   specificDates: ["2024-03-15"],
- *   startTime: { hours: 16, minutes: 0 },
- *   endTime: { hours: 23, minutes: 59 },
- *   priority: "MANDATORY",
- * });
- * ```
+ * @category Rules
  */
-export function createTimeOffRule(config) {
-    const parsed = TimeOffSchema.parse(config);
-    const { priority, startTime, endTime } = parsed;
-    const fullDayStart = { hours: 0, minutes: 0 };
-    const fullDayEnd = { hours: 23, minutes: 59 };
-    const timeWindowStart = startTime ?? fullDayStart;
-    const timeWindowEnd = endTime ?? fullDayEnd;
-    const entityScopeValue = parseEntityScope(parsed);
-    const timeScopeValue = parseTimeScope(parsed);
-    const group = ruleGroup("time-off", "Time off", entityScopeValue, timeScopeValue);
-    return {
-        compile(builder) {
-            const targetMembers = resolveMembersFromScope(entityScopeValue, builder.members);
-            if (targetMembers.length === 0)
-                return;
-            const activeDays = resolveActiveDaysFromScope(timeScopeValue, builder.days);
-            if (activeDays.length === 0)
-                return;
-            for (const emp of targetMembers) {
-                for (const day of activeDays) {
-                    // Report exclusion for coverage analysis (MANDATORY only)
-                    if (priority === "MANDATORY") {
-                        builder.reporter.excludeFromCoverage({
-                            memberId: emp.id,
-                            day,
-                            startTime: timeWindowStart,
-                            endTime: timeWindowEnd,
-                        });
-                    }
-                    for (const pattern of builder.shiftPatterns) {
-                        if (!builder.canAssign(emp, pattern))
-                            continue;
-                        if (!builder.patternAvailableOnDay(pattern, day))
-                            continue;
-                        if (startTime && endTime) {
-                            if (!shiftOverlapsTimeWindow(pattern, startTime, endTime)) {
-                                continue;
-                            }
-                        }
-                        const assignVar = builder.assignment(emp.id, pattern.id, day);
-                        if (priority === "MANDATORY") {
-                            builder.addLinear([{ var: assignVar, coeff: 1 }], "==", 0);
-                        }
-                        else {
-                            builder.addSoftLinear([{ var: assignVar, coeff: 1 }], "<=", 0, priorityToPenalty(priority));
-                        }
-                    }
+export const timeOffRuleDescriptor = defineRuleDescriptor({
+    name: "time-off",
+    schema: TimeOffSchema,
+    compile(config, ctx) {
+        const { priority, startTime, endTime } = config;
+        const fullDayStart = { hours: 0, minutes: 0 };
+        const fullDayEnd = { hours: 23, minutes: 59 };
+        const timeWindowStart = startTime ?? fullDayStart;
+        const timeWindowEnd = endTime ?? fullDayEnd;
+        const entityScopeValue = parseEntityScope(config);
+        const timeScopeValue = parseTimeScope(config);
+        const group = ruleGroup("time-off", "Time off", entityScopeValue, timeScopeValue);
+        const targetMembers = resolveMembersFromScope(entityScopeValue, [...ctx.members]);
+        const activeDays = resolveActiveDaysFromScope(timeScopeValue, [...ctx.days]);
+        const timeWindowKey = formatTimeWindowKey(timeWindowStart, timeWindowEnd);
+        const constraintArtifacts = [];
+        for (const member of targetMembers) {
+            for (const day of activeDays) {
+                const overlappingVars = ctx.shiftPatterns
+                    .filter((pattern) => canAssignMemberToPattern(member, pattern) &&
+                    isPatternAvailableOnDay(pattern, day) &&
+                    shiftOverlapsTimeWindow(pattern, timeWindowStart, timeWindowEnd))
+                    .map((pattern) => assignmentVar(member.id, pattern.id, day.iso));
+                if (overlappingVars.length === 0)
+                    continue;
+                const description = buildTimeOffDescription(member.id, day.iso, timeWindowStart, timeWindowEnd);
+                const context = { memberIds: [member.id], days: [day.iso] };
+                const constraintId = `time-off:${group.key}:${member.id}:${day.iso}:${timeWindowKey}`;
+                const terms = overlappingVars.map((varName) => ({ var: varName, coeff: 1 }));
+                if (priority === "MANDATORY") {
+                    constraintArtifacts.push({
+                        kind: "coverage-exclusion",
+                        group,
+                        memberId: member.id,
+                        day: day.iso,
+                        startTime: timeWindowStart,
+                        endTime: timeWindowEnd,
+                    });
+                    constraintArtifacts.push(hardConstraint({
+                        group,
+                        description,
+                        context,
+                        validation: reportValidation(constraintId),
+                        terms,
+                        comparator: "<=",
+                        targetValue: 0,
+                    }));
                 }
-            }
-        },
-        validate(assignments, reporter, context) {
-            // MANDATORY time-off is a hard constraint - can't be violated
-            if (priority === "MANDATORY")
-                return;
-            const targetMembers = resolveMembersFromScope(entityScopeValue, context.members);
-            if (targetMembers.length === 0)
-                return;
-            const activeDays = resolveActiveDaysFromScope(timeScopeValue, context.days);
-            if (activeDays.length === 0)
-                return;
-            for (const emp of targetMembers) {
-                for (const day of activeDays) {
-                    const violated = assignments.some((a) => a.memberId === emp.id &&
-                        a.day === day &&
-                        assignmentOverlapsTimeWindow(a, timeWindowStart, timeWindowEnd));
-                    if (violated) {
-                        reporter.reportRuleViolation({
-                            rule: "time-off",
-                            message: `Time-off request for ${emp.id} on ${day} could not be honored`,
-                            context: {
-                                memberIds: [emp.id],
-                                days: [day],
-                            },
-                            group,
-                        });
-                    }
-                    else {
-                        reporter.reportRulePassed({
-                            rule: "time-off",
-                            message: `Time-off honored for ${emp.id} on ${day}`,
-                            context: {
-                                memberIds: [emp.id],
-                                days: [day],
-                            },
-                            group,
-                        });
-                    }
+                else {
+                    constraintArtifacts.push(softConstraint({
+                        group,
+                        description,
+                        context,
+                        validation: reportValidation(),
+                        terms,
+                        comparator: "<=",
+                        targetValue: 0,
+                        penalty: priorityToPenalty(priority),
+                        constraintId,
+                    }));
                 }
             }
-        },
-    };
-}
+        }
+        const postSolveValidator = priority === "MANDATORY"
+            ? []
+            : [
+                {
+                    kind: "post-solve-feedback",
+                    run(assignments, reporter, validationContext) {
+                        const validatorMembers = resolveMembersFromScope(entityScopeValue, [
+                            ...validationContext.members,
+                        ]);
+                        const validatorDays = resolveActiveDaysFromScope(timeScopeValue, [
+                            ...validationContext.days,
+                        ]);
+                        for (const member of validatorMembers) {
+                            for (const day of validatorDays) {
+                                const violated = assignments.some((assignment) => assignment.memberId === member.id &&
+                                    assignment.day === day.iso &&
+                                    assignmentOverlapsTimeWindow(assignment, timeWindowStart, timeWindowEnd));
+                                if (violated) {
+                                    continue;
+                                }
+                                reporter.reportRulePassed({
+                                    rule: "time-off",
+                                    message: `Time-off honored for ${member.id} on ${day.iso}`,
+                                    context: { memberIds: [member.id], days: [day.iso] },
+                                    group,
+                                });
+                            }
+                        }
+                    },
+                },
+            ];
+        return {
+            rule: "time-off",
+            artifacts: [...constraintArtifacts, ...postSolveValidator],
+        };
+    },
+});
 function shiftOverlapsTimeWindow(pattern, windowStart, windowEnd) {
     const shiftStart = timeOfDayToMinutes(pattern.startTime);
     const shiftEnd = normalizeEndMinutes(shiftStart, timeOfDayToMinutes(pattern.endTime));
@@ -165,4 +143,13 @@ function assignmentOverlapsTimeWindow(assignment, windowStart, windowEnd) {
     const winEnd = normalizeEndMinutes(winStart, timeOfDayToMinutes(windowEnd));
     return Math.max(assignStart, winStart) < Math.min(assignEnd, winEnd);
 }
+function buildTimeOffDescription(memberId, dayIso, windowStart, windowEnd) {
+    return `Time off for ${memberId} on ${dayIso} (${formatTimeWindowKey(windowStart, windowEnd)})`;
+}
+function formatTimeWindowKey(windowStart, windowEnd) {
+    return `${formatTimeOfDay(windowStart)}-${formatTimeOfDay(windowEnd)}`;
+}
+function formatTimeOfDay(time) {
+    return `${time.hours.toString().padStart(2, "0")}:${time.minutes.toString().padStart(2, "0")}`;
+}
 //# sourceMappingURL=time-off.js.map

package/dist/cpsat/rules/time-off.js.map

@@ -1 +1 @@
-{"version":3,"file":"time-off.js","sourceRoot":"","sources":["../../../src/cpsat/rules/time-off.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAIzB,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAEzF,OAAO,EACL,cAAc,EACd,WAAW,EACX,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,uBAAuB,EACvB,0BAA0B,EAC1B,SAAS,GACV,MAAM,kBAAkB,CAAC;AAE1B,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IACtC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;CACzC,CAAC,CAAC;AAEH,MAAM,aAAa,GAAG,CAAC;KACpB,MAAM,CAAC;IACN,QAAQ,EAAE,cAAc;IACxB,SAAS,EAAE,eAAe,CAAC,QAAQ,EAAE;IACrC,OAAO,EAAE,eAAe,CAAC,QAAQ,EAAE;CACpC,CAAC;KACD,GAAG,CAAC,WAAW,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;KAChD,GAAG,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;KAChF,MAAM,CACL,CAAC,MAAM,EAAE,EAAE;IACT,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC;IACpD,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC;IAChD,OAAO,YAAY,KAAK,UAAU,CAAC;AACrC,CAAC,EACD;IACE,OAAO,EAAE,+EAA+E;CACzF,CACF,CAAC;AAsBJ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAqB;IACrD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAEhD,MAAM,YAAY,GAAc,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACzD,MAAM,UAAU,GAAc,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACzD,MAAM,eAAe,GAAG,SAAS,IAAI,YAAY,CAAC;IAClD,MAAM,aAAa,GAAG,OAAO,IAAI,UAAU,CAAC;IAE5C,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,EAAE,UAAU,EAAE,gBAAgB,EAAE,cAAc,CAAC,CAAC;IAElF,OAAO;QACL,OAAO,CAAC,OAAO;YACb,MAAM,aAAa,GAAG,uBAAuB,CAAC,gBAAgB,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;YACjF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO;YAEvC,MAAM,UAAU,GAAG,0BAA0B,CAAC,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5E,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO;YAEpC,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;gBAChC,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;oBAC7B,0DAA0D;oBAC1D,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;wBAC7B,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC;4BACnC,QAAQ,EAAE,GAAG,CAAC,EAAE;4BAChB,GAAG;4BACH,SAAS,EAAE,eAAe;4BAC1B,OAAO,EAAE,aAAa;yBACvB,CAAC,CAAC;oBACL,CAAC;oBAED,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;wBAC5C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,OAAO,CAAC;4BAAE,SAAS;wBAC/C,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC,OAAO,EAAE,GAAG,CAAC;4BAAE,SAAS;wBAE3D,IAAI,SAAS,IAAI,OAAO,EAAE,CAAC;4BACzB,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,CAAC;gCAC1D,SAAS;4BACX,CAAC;wBACH,CAAC;wBAED,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;wBAE9D,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;4BAC7B,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;wBAC7D,CAAC;6BAAM,CAAC;4BACN,OAAO,CAAC,aAAa,CACnB,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAC9B,IAAI,EACJ,CAAC,EACD,iBAAiB,CAAC,QAAQ,CAAC,CAC5B,CAAC;wBACJ,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,QAAQ,CACN,WAAsC,EACtC,QAA4B,EAC5B,OAA8B;YAE9B,8DAA8D;YAC9D,IAAI,QAAQ,KAAK,WAAW;gBAAE,OAAO;YAErC,MAAM,aAAa,GAAG,uBAAuB,CAAC,gBAAgB,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;YACjF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO;YAEvC,MAAM,UAAU,GAAG,0BAA0B,CAAC,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5E,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO;YAEpC,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;gBAChC,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;oBAC7B,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAC/B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,EAAE;wBACrB,CAAC,CAAC,GAAG,KAAK,GAAG;wBACb,4BAA4B,CAAC,CAAC,EAAE,eAAe,EAAE,aAAa,CAAC,CAClE,CAAC;oBAEF,IAAI,QAAQ,EAAE,CAAC;wBACb,QAAQ,CAAC,mBAAmB,CAAC;4BAC3B,IAAI,EAAE,UAAU;4BAChB,OAAO,EAAE,wBAAwB,GAAG,CAAC,EAAE,OAAO,GAAG,uBAAuB;4BACxE,OAAO,EAAE;gCACP,SAAS,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;gCACnB,IAAI,EAAE,CAAC,GAAG,CAAC;6BACZ;4BACD,KAAK;yBACN,CAAC,CAAC;oBACL,CAAC;yBAAM,CAAC;wBACN,QAAQ,CAAC,gBAAgB,CAAC;4BACxB,IAAI,EAAE,UAAU;4BAChB,OAAO,EAAE,wBAAwB,GAAG,CAAC,EAAE,OAAO,GAAG,EAAE;4BACnD,OAAO,EAAE;gCACP,SAAS,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;gCACnB,IAAI,EAAE,CAAC,GAAG,CAAC;6BACZ;4BACD,KAAK;yBACN,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,OAAqD,EACrD,WAAsB,EACtB,SAAoB;IAEpB,MAAM,UAAU,GAAG,kBAAkB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,UAAU,EAAE,kBAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IAEtF,MAAM,QAAQ,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,mBAAmB,CAAC,QAAQ,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC;IAE5E,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,4BAA4B,CACnC,UAAmC,EACnC,WAAsB,EACtB,SAAoB;IAEpB,MAAM,WAAW,GAAG,kBAAkB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAG,mBAAmB,CAAC,WAAW,EAAE,kBAAkB,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;IAE3F,MAAM,QAAQ,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,mBAAmB,CAAC,QAAQ,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC;IAE5E,OAAO,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;AACvE,CAAC"}
+{"version":3,"file":"time-off.js","sourceRoot":"","sources":["../../../src/cpsat/rules/time-off.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAEzB,OAAO,EAAE,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AAI7D,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACzF,OAAO,EACL,cAAc,EACd,WAAW,EACX,gBAAgB,EAChB,cAAc,EACd,iBAAiB,EACjB,0BAA0B,EAC1B,uBAAuB,EACvB,SAAS,GACV,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAClF,OAAO,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AAE7F,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IACtC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;CACzC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC;KAC3B,MAAM,CAAC;IACN,QAAQ,EAAE,cAAc;IACxB,SAAS,EAAE,eAAe,CAAC,QAAQ,EAAE;IACrC,OAAO,EAAE,eAAe,CAAC,QAAQ,EAAE;CACpC,CAAC;KACD,GAAG,CAAC,WAAW,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;KAChD,GAAG,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;KAChF,MAAM,CACL,CAAC,MAAM,EAAE,EAAE;IACT,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC;IACpD,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC;IAChD,OAAO,YAAY,KAAK,UAAU,CAAC;AACrC,CAAC,EACD;IACE,OAAO,EAAE,+EAA+E;CACzF,CACF,CAAC;AAOJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,oBAAoB,CAAC;IACxD,IAAI,EAAE,UAAU;IAChB,MAAM,EAAE,aAAa;IACrB,OAAO,CAAC,MAAM,EAAE,GAAG;QACjB,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;QAChD,MAAM,YAAY,GAAc,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACzD,MAAM,UAAU,GAAc,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACzD,MAAM,eAAe,GAAG,SAAS,IAAI,YAAY,CAAC;QAClD,MAAM,aAAa,GAAG,OAAO,IAAI,UAAU,CAAC;QAE5C,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,cAAc,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,EAAE,UAAU,EAAE,gBAAgB,EAAE,cAAc,CAAC,CAAC;QAClF,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,aAAa,GAAG,mBAAmB,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;QAE1E,MAAM,mBAAmB,GAAmB,EAAE,CAAC;QAC/C,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;YACnC,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC7B,MAAM,eAAe,GAAG,GAAG,CAAC,aAAa;qBACtC,MAAM,CACL,CAAC,OAAO,EAAE,EAAE,CACV,wBAAwB,CAAC,MAAM,EAAE,OAAO,CAAC;oBACzC,uBAAuB,CAAC,OAAO,EAAE,GAAG,CAAC;oBACrC,uBAAuB,CAAC,OAAO,EAAE,eAAe,EAAE,aAAa,CAAC,CACnE;qBACA,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;gBAEnE,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;oBAAE,SAAS;gBAE3C,MAAM,WAAW,GAAG,uBAAuB,CACzC,MAAM,CAAC,EAAE,EACT,GAAG,CAAC,GAAG,EACP,eAAe,EACf,aAAa,CACd,CAAC;gBACF,MAAM,OAAO,GAAG,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5D,MAAM,YAAY,GAAG,YAAY,KAAK,CAAC,GAAG,IAAI,MAAM,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,IAAI,aAAa,EAAE,CAAC;gBACtF,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;gBAE7E,IAAI,QAAQ,KAAK,WAAW,EAAE,CAAC;oBAC7B,mBAAmB,CAAC,IAAI,CAAC;wBACvB,IAAI,EAAE,oBAAoB;wBAC1B,KAAK;wBACL,QAAQ,EAAE,MAAM,CAAC,EAAE;wBACnB,GAAG,EAAE,GAAG,CAAC,GAAG;wBACZ,SAAS,EAAE,eAAe;wBAC1B,OAAO,EAAE,aAAa;qBACvB,CAAC,CAAC;oBACH,mBAAmB,CAAC,IAAI,CACtB,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,CACH,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,mBAAmB,CAAC,IAAI,CACtB,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,CACH,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,kBAAkB,GACtB,QAAQ,KAAK,WAAW;YACtB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE;oBACE,IAAI,EAAE,qBAA8B;oBACpC,GAAG,CACD,WAA+C,EAC/C,QAA4B,EAC5B,iBAAqC;wBAErC,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,gBAAgB,EAAE;4BACjE,GAAG,iBAAiB,CAAC,OAAO;yBAC7B,CAAC,CAAC;wBACH,MAAM,aAAa,GAAG,0BAA0B,CAAC,cAAc,EAAE;4BAC/D,GAAG,iBAAiB,CAAC,IAAI;yBAC1B,CAAC,CAAC;wBAEH,KAAK,MAAM,MAAM,IAAI,gBAAgB,EAAE,CAAC;4BACtC,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;gCAChC,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAC/B,CAAC,UAAU,EAAE,EAAE,CACb,UAAU,CAAC,QAAQ,KAAK,MAAM,CAAC,EAAE;oCACjC,UAAU,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG;oCAC1B,4BAA4B,CAAC,UAAU,EAAE,eAAe,EAAE,aAAa,CAAC,CAC3E,CAAC;gCAEF,IAAI,QAAQ,EAAE,CAAC;oCACb,SAAS;gCACX,CAAC;gCAED,QAAQ,CAAC,gBAAgB,CAAC;oCACxB,IAAI,EAAE,UAAU;oCAChB,OAAO,EAAE,wBAAwB,MAAM,CAAC,EAAE,OAAO,GAAG,CAAC,GAAG,EAAE;oCAC1D,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE;oCACpD,KAAK;iCACN,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;oBACH,CAAC;iBACF;aACF,CAAC;QAER,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,SAAS,EAAE,CAAC,GAAG,mBAAmB,EAAE,GAAG,kBAAkB,CAAC;SAC3D,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,SAAS,uBAAuB,CAC9B,OAAqD,EACrD,WAAsB,EACtB,SAAoB;IAEpB,MAAM,UAAU,GAAG,kBAAkB,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACzD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,UAAU,EAAE,kBAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IAEtF,MAAM,QAAQ,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,mBAAmB,CAAC,QAAQ,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC;IAE5E,OAAO,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,4BAA4B,CACnC,UAAwD,EACxD,WAAsB,EACtB,SAAoB;IAEpB,MAAM,WAAW,GAAG,kBAAkB,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAG,mBAAmB,CAAC,WAAW,EAAE,kBAAkB,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;IAE3F,MAAM,QAAQ,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,mBAAmB,CAAC,QAAQ,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC,CAAC;IAE5E,OAAO,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,uBAAuB,CAC9B,QAAgB,EAChB,MAAc,EACd,WAAsB,EACtB,SAAoB;IAEpB,OAAO,gBAAgB,QAAQ,OAAO,MAAM,KAAK,mBAAmB,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG,CAAC;AAClG,CAAC;AAED,SAAS,mBAAmB,CAAC,WAAsB,EAAE,SAAoB;IACvE,OAAO,GAAG,eAAe,CAAC,WAAW,CAAC,IAAI,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,eAAe,CAAC,IAAe;IACtC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;AACjG,CAAC"}

package/dist/cpsat/rules/variables.d.ts

@@ -0,0 +1,4 @@
+export declare function assignmentVar(memberId: string, patternId: string, dayIso: string): string;
+export declare function assignedDayVariableName(memberId: string, dayIso: string): string;
+export declare function assignedDayStartVariableName(memberId: string, dayIso: string): string;
+//# sourceMappingURL=variables.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"variables.d.ts","sourceRoot":"","sources":["../../../src/cpsat/rules/variables.ts"],"names":[],"mappings":"AAAA,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAEzF;AAED,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAEhF;AAED,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAErF"}

package/dist/cpsat/rules/variables.js

@@ -0,0 +1,10 @@
+export function assignmentVar(memberId, patternId, dayIso) {
+    return `assign:${memberId}:${patternId}:${dayIso}`;
+}
+export function assignedDayVariableName(memberId, dayIso) {
+    return `assigned_day_${memberId}_${dayIso}`;
+}
+export function assignedDayStartVariableName(memberId, dayIso) {
+    return `assigned_day_start_${memberId}_${dayIso}`;
+}
+//# sourceMappingURL=variables.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"variables.js","sourceRoot":"","sources":["../../../src/cpsat/rules/variables.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,aAAa,CAAC,QAAgB,EAAE,SAAiB,EAAE,MAAc;IAC/E,OAAO,UAAU,QAAQ,IAAI,SAAS,IAAI,MAAM,EAAE,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,QAAgB,EAAE,MAAc;IACtE,OAAO,gBAAgB,QAAQ,IAAI,MAAM,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,QAAgB,EAAE,MAAc;IAC3E,OAAO,sBAAsB,QAAQ,IAAI,MAAM,EAAE,CAAC;AACpD,CAAC"}

package/dist/cpsat/rules.d.ts

@@ -1,5 +1,22 @@
-export { createAssignTogetherRule, createAssignmentPriorityRule, createLocationPreferenceRule, createMaxConsecutiveDaysRule, createMaxHoursDayRule, createMaxHoursWeekRule, createMinConsecutiveDaysRule, createMinHoursDayRule, createMinHoursWeekRule, createMinRestBetweenShiftsRule, createTimeOffRule, } from "./rules/index.js";
-export { builtInCpsatRuleFactories, createCpsatRuleFactory } from "./rules/registry.js";
-export type { CpsatRuleName, CpsatRuleRegistry, CpsatRuleFactories, BuiltInCpsatRuleFactories, CpsatRuleRegistryFromFactories, CreateCpsatRuleFunction, CpsatRuleConfigEntry, } from "./rules/rules.types.js";
+/**
+ * Low-level CP-SAT rule descriptor and registry APIs.
+ *
+ * @remarks
+ * These exports are intended for advanced consumers building custom rule
+ * registries or integrating directly with the descriptor layer underneath the
+ * high-level {@link schedule} helpers.
+ *
+ * Rules are the feedback unit. Validation groups summarize rule outcomes for
+ * presentation, while individual solver constraints remain implementation
+ * details. Descriptor compilation therefore emits artifacts that make the
+ * validation story explicit: reported constraints, pre-solve feedback,
+ * post-solve validators, cost contributions, and explicit skip strategies for
+ * scaffolding or artifacts with no meaningful validation feedback.
+ *
+ * @module
+ */
+export { assignTogetherRuleDescriptor, assignmentPriorityRuleDescriptor, locationPreferenceRuleDescriptor, maxConcurrentAssignmentsRuleDescriptor, maxConsecutiveDaysRuleDescriptor, maxHoursDayRuleDescriptor, maxHoursWeekRuleDescriptor, minConsecutiveDaysRuleDescriptor, minHoursDayRuleDescriptor, minHoursWeekRuleDescriptor, minRestBetweenShiftsRuleDescriptor, targetDaysWeekRuleDescriptor, targetPeakConcurrentAssignmentsRuleDescriptor, timeOffRuleDescriptor, } from "./rules/index.js";
+export { assertValidCpsatRuleRegistry, builtInCpsatRuleRegistry, createCpsatRuleRegistry, } from "./rules/registry.js";
+export type { AnyCpsatRuleConfigEntry, BuiltInCpsatRuleConfigRegistry, BuiltInCpsatRuleRegistry, CpsatRuleConfigByName, CpsatRuleConfigEntry, CpsatRuleConfigEntryFor, CpsatRuleName, CpsatRuleRegistry, } from "./rules/rules.types.js";
 export { buildCpsatRules, getMemberIdsForScope, resolveRuleScopes } from "./rules/resolver.js";
 //# sourceMappingURL=rules.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../../src/cpsat/rules.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,4BAA4B,EAC5B,4BAA4B,EAC5B,4BAA4B,EAC5B,qBAAqB,EACrB,sBAAsB,EACtB,4BAA4B,EAC5B,qBAAqB,EACrB,sBAAsB,EACtB,8BAA8B,EAC9B,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAExF,YAAY,EACV,aAAa,EACb,iBAAiB,EACjB,kBAAkB,EAClB,yBAAyB,EACzB,8BAA8B,EAC9B,uBAAuB,EACvB,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../../src/cpsat/rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EACL,4BAA4B,EAC5B,gCAAgC,EAChC,gCAAgC,EAChC,sCAAsC,EACtC,gCAAgC,EAChC,yBAAyB,EACzB,0BAA0B,EAC1B,gCAAgC,EAChC,yBAAyB,EACzB,0BAA0B,EAC1B,kCAAkC,EAClC,4BAA4B,EAC5B,6CAA6C,EAC7C,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,4BAA4B,EAC5B,wBAAwB,EACxB,uBAAuB,GACxB,MAAM,qBAAqB,CAAC;AAE7B,YAAY,EACV,uBAAuB,EACvB,8BAA8B,EAC9B,wBAAwB,EACxB,qBAAqB,EACrB,oBAAoB,EACpB,uBAAuB,EACvB,aAAa,EACb,iBAAiB,GAClB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/cpsat/rules.js

@@ -1,4 +1,21 @@
-export { createAssignTogetherRule, createAssignmentPriorityRule, createLocationPreferenceRule, createMaxConsecutiveDaysRule, createMaxHoursDayRule, createMaxHoursWeekRule, createMinConsecutiveDaysRule, createMinHoursDayRule, createMinHoursWeekRule, createMinRestBetweenShiftsRule, createTimeOffRule, } from "./rules/index.js";
-export { builtInCpsatRuleFactories, createCpsatRuleFactory } from "./rules/registry.js";
+/**
+ * Low-level CP-SAT rule descriptor and registry APIs.
+ *
+ * @remarks
+ * These exports are intended for advanced consumers building custom rule
+ * registries or integrating directly with the descriptor layer underneath the
+ * high-level {@link schedule} helpers.
+ *
+ * Rules are the feedback unit. Validation groups summarize rule outcomes for
+ * presentation, while individual solver constraints remain implementation
+ * details. Descriptor compilation therefore emits artifacts that make the
+ * validation story explicit: reported constraints, pre-solve feedback,
+ * post-solve validators, cost contributions, and explicit skip strategies for
+ * scaffolding or artifacts with no meaningful validation feedback.
+ *
+ * @module
+ */
+export { assignTogetherRuleDescriptor, assignmentPriorityRuleDescriptor, locationPreferenceRuleDescriptor, maxConcurrentAssignmentsRuleDescriptor, maxConsecutiveDaysRuleDescriptor, maxHoursDayRuleDescriptor, maxHoursWeekRuleDescriptor, minConsecutiveDaysRuleDescriptor, minHoursDayRuleDescriptor, minHoursWeekRuleDescriptor, minRestBetweenShiftsRuleDescriptor, targetDaysWeekRuleDescriptor, targetPeakConcurrentAssignmentsRuleDescriptor, timeOffRuleDescriptor, } from "./rules/index.js";
+export { assertValidCpsatRuleRegistry, builtInCpsatRuleRegistry, createCpsatRuleRegistry, } from "./rules/registry.js";
 export { buildCpsatRules, getMemberIdsForScope, resolveRuleScopes } from "./rules/resolver.js";
 //# sourceMappingURL=rules.js.map

package/dist/cpsat/rules.js.map

@@ -1 +1 @@
-{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../src/cpsat/rules.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,4BAA4B,EAC5B,4BAA4B,EAC5B,4BAA4B,EAC5B,qBAAqB,EACrB,sBAAsB,EACtB,4BAA4B,EAC5B,qBAAqB,EACrB,sBAAsB,EACtB,8BAA8B,EAC9B,iBAAiB,GAClB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAYxF,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../src/cpsat/rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EACL,4BAA4B,EAC5B,gCAAgC,EAChC,gCAAgC,EAChC,sCAAsC,EACtC,gCAAgC,EAChC,yBAAyB,EACzB,0BAA0B,EAC1B,gCAAgC,EAChC,yBAAyB,EACzB,0BAA0B,EAC1B,kCAAkC,EAClC,4BAA4B,EAC5B,6CAA6C,EAC7C,qBAAqB,GACtB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EACL,4BAA4B,EAC5B,wBAAwB,EACxB,uBAAuB,GACxB,MAAM,qBAAqB,CAAC;AAa7B,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/cpsat/semantic-time.d.ts

@@ -1,4 +1,4 @@
-import type { DayOfWeek, TimeOfDay } from "../types.js";
+import type { DateString, DayOfWeek, SchedulingDay, TimeOfDay } from "../types.js";
 import type { CoverageRequirement, Priority } from "./types.js";
 import { type ValidationGroup } from "./validation.types.js";
 /**
@@ -23,7 +23,7 @@ export interface SemanticTimeVariant extends SemanticTimeDef {
     /** Restrict this entry to specific days of the week. */
     dayOfWeek?: readonly [DayOfWeek, ...DayOfWeek[]];
     /** Restrict this entry to specific dates (YYYY-MM-DD). */
-    dates?: string[];
+    dates?: DateString[];
 }
 /**
  * A semantic time can be a simple definition (applies every day)
@@ -40,7 +40,7 @@ interface SemanticCoverageRequirementBase<S extends string> {
     /** Scope this requirement to specific days of the week */
     dayOfWeek?: [DayOfWeek, ...DayOfWeek[]];
     /** Scope this requirement to specific dates (YYYY-MM-DD) */
-    dates?: string[];
+    dates?: DateString[];
     /**
      * Override the auto-generated group for validation reporting.
      * If not provided, a group is auto-generated from the semantic time name,
@@ -112,7 +112,7 @@ export type SemanticCoverageRequirement<S extends string> = RoleBasedSemanticCov
  * Base fields shared by concrete coverage requirement variants.
  */
 interface ConcreteCoverageRequirementBase {
-    day: string;
+    day: DateString;
     startTime: TimeOfDay;
     endTime: TimeOfDay;
     targetCount: number;
@@ -160,6 +160,7 @@ export type ConcreteCoverageRequirement = RoleBasedConcreteCoverageRequirement |
 /**
  * A day-specific count within a variant {@link cover} call.
  *
+ * @remarks
  * Each variant specifies a count and optional day/date scope. During
  * resolution, the most specific matching variant wins for each day
  * (`dates` > `dayOfWeek` > default), mirroring {@link SemanticTimeVariant}.
@@ -182,7 +183,7 @@ export interface CoverageVariant {
     /** Restrict this variant to specific days of the week. */
     dayOfWeek?: readonly [DayOfWeek, ...DayOfWeek[]];
     /** Restrict this variant to specific dates (YYYY-MM-DD). */
-    dates?: string[];
+    dates?: DateString[];
     /** Defaults to `"MANDATORY"`. */
     priority?: Priority;
 }
@@ -262,7 +263,7 @@ export interface SemanticTimeContext<S extends string> {
      * Resolve all coverage requirements to concrete CoverageRequirement[]
      * for the given days in the scheduling horizon.
      */
-    resolve(reqs: MixedCoverageRequirement<S>[], days: string[]): CoverageRequirement[];
+    resolve(reqs: MixedCoverageRequirement<S>[], days: SchedulingDay[]): CoverageRequirement[];
 }
 /**
  * Define semantic times with type-safe names.

package/dist/cpsat/semantic-time.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"semantic-time.d.ts","sourceRoot":"","sources":["../../src/cpsat/semantic-time.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAGxD,OAAO,KAAK,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAChE,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAenF;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,oCAAoC;IACpC,SAAS,EAAE,SAAS,CAAC;IACrB,kCAAkC;IAClC,OAAO,EAAE,SAAS,CAAC;CACpB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,mBAAoB,SAAQ,eAAe;IAC1D,wDAAwD;IACxD,SAAS,CAAC,EAAE,SAAS,CAAC,SAAS,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;IACjD,0DAA0D;IAC1D,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;CAClB;AAED;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,eAAe,GAAG,mBAAmB,EAAE,CAAC;AAExE;;GAEG;AACH,UAAU,+BAA+B,CAAC,CAAC,SAAS,MAAM;IACxD,YAAY,EAAE,CAAC,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,0DAA0D;IAC1D,SAAS,CAAC,EAAE,CAAC,SAAS,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;IACxC,4DAA4D;IAC5D,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB;;;;OAIG;IACH,KAAK,CAAC,EAAE,eAAe,CAAC;CACzB;AAED;;GAEG;AACH,UAAU,oCAAoC,CAC5C,CAAC,SAAS,MAAM,CAChB,SAAQ,+BAA+B,CAAC,CAAC,CAAC;IAC1C;;;OAGG;IACH,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IAC/B;;OAEG;IACH,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CAClC;AAED;;GAEG;AACH,UAAU,qCAAqC,CAC7C,CAAC,SAAS,MAAM,CAChB,SAAQ,+BAA+B,CAAC,CAAC,CAAC;IAC1C,OAAO,CAAC,EAAE,KAAK,CAAC;IAChB;;;OAGG;IACH,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CACjC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,MAAM,2BAA2B,CAAC,CAAC,SAAS,MAAM,IACpD,oCAAoC,CAAC,CAAC,CAAC,GACvC,qCAAqC,CAAC,CAAC,CAAC,CAAC;AAE7C;;GAEG;AACH,UAAU,+BAA+B;IACvC,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,SAAS,CAAC;IACrB,OAAO,EAAE,SAAS,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB;;;;OAIG;IACH,KAAK,CAAC,EAAE,eAAe,CAAC;CACzB;AAED;;GAEG;AACH,UAAU,oCAAqC,SAAQ,+BAA+B;IACpF;;;OAGG;IACH,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IAC/B;;OAEG;IACH,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CAClC;AAED;;GAEG;AACH,UAAU,qCAAsC,SAAQ,+BAA+B;IACrF,OAAO,CAAC,EAAE,KAAK,CAAC;IAChB;;;OAGG;IACH,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CACjC;AAED;;;;;;GAMG;AACH,MAAM,MAAM,2BAA2B,GACnC,oCAAoC,GACpC,qCAAqC,CAAC;AAM1C;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,eAAe;IAC9B,+BAA+B;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,0DAA0D;IAC1D,SAAS,CAAC,EAAE,SAAS,CAAC,SAAS,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;IACjD,4DAA4D;IAC5D,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,iCAAiC;IACjC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED;;GAEG;AACH,UAAU,8BAA8B,CAAC,CAAC,SAAS,MAAM;IACvD,YAAY,EAAE,CAAC,CAAC;IAChB,mFAAmF;IACnF,QAAQ,EAAE,CAAC,eAAe,EAAE,GAAG,eAAe,EAAE,CAAC,CAAC;IAClD,KAAK,CAAC,EAAE,eAAe,CAAC;CACzB;AAED;;GAEG;AACH,UAAU,mCAAmC,CAC3C,CAAC,SAAS,MAAM,CAChB,SAAQ,8BAA8B,CAAC,CAAC,CAAC;IACzC,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IAC/B,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CAClC;AAED;;GAEG;AACH,UAAU,oCAAoC,CAC5C,CAAC,SAAS,MAAM,CAChB,SAAQ,8BAA8B,CAAC,CAAC,CAAC;IACzC,OAAO,CAAC,EAAE,KAAK,CAAC;IAChB,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CACjC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,0BAA0B,CAAC,CAAC,SAAS,MAAM,IACnD,mCAAmC,CAAC,CAAC,CAAC,GACtC,oCAAoC,CAAC,CAAC,CAAC,CAAC;AAM5C;;GAEG;AACH,MAAM,MAAM,wBAAwB,CAAC,CAAC,SAAS,MAAM,IACjD,2BAA2B,CAAC,CAAC,CAAC,GAC9B,2BAA2B,GAC3B,0BAA0B,CAAC,CAAC,CAAC,CAAC;AAElC;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,MAAM,EACjD,GAAG,EAAE,wBAAwB,CAAC,CAAC,CAAC,GAC/B,GAAG,IAAI,2BAA2B,CAEpC;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,MAAM,EAChD,GAAG,EAAE,wBAAwB,CAAC,CAAC,CAAC,GAC/B,GAAG,IAAI,0BAA0B,CAAC,CAAC,CAAC,CAEtC;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,MAAM,EACjD,GAAG,EAAE,wBAAwB,CAAC,CAAC,CAAC,GAC/B,GAAG,IAAI,2BAA2B,CAAC,CAAC,CAAC,CAEvC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB,CAAC,CAAC,SAAS,MAAM;IACnD,oCAAoC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAE5C;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC,CAAC,EAAE,GAAG,wBAAwB,CAAC,CAAC,CAAC,EAAE,CAAC;IAE7E;;;OAGG;IACH,OAAO,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,mBAAmB,EAAE,CAAC;CACrF;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,EACnF,IAAI,EAAE,CAAC,GACN,mBAAmB,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAcvC"}
+{"version":3,"file":"semantic-time.d.ts","sourceRoot":"","sources":["../../src/cpsat/semantic-time.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACnF,OAAO,KAAK,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAChE,OAAO,EAAwB,KAAK,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAenF;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,oCAAoC;IACpC,SAAS,EAAE,SAAS,CAAC;IACrB,kCAAkC;IAClC,OAAO,EAAE,SAAS,CAAC;CACpB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,mBAAoB,SAAQ,eAAe;IAC1D,wDAAwD;IACxD,SAAS,CAAC,EAAE,SAAS,CAAC,SAAS,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;IACjD,0DAA0D;IAC1D,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;CACtB;AAED;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,eAAe,GAAG,mBAAmB,EAAE,CAAC;AAExE;;GAEG;AACH,UAAU,+BAA+B,CAAC,CAAC,SAAS,MAAM;IACxD,YAAY,EAAE,CAAC,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,0DAA0D;IAC1D,SAAS,CAAC,EAAE,CAAC,SAAS,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;IACxC,4DAA4D;IAC5D,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;IACrB;;;;OAIG;IACH,KAAK,CAAC,EAAE,eAAe,CAAC;CACzB;AAED;;GAEG;AACH,UAAU,oCAAoC,CAC5C,CAAC,SAAS,MAAM,CAChB,SAAQ,+BAA+B,CAAC,CAAC,CAAC;IAC1C;;;OAGG;IACH,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IAC/B;;OAEG;IACH,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CAClC;AAED;;GAEG;AACH,UAAU,qCAAqC,CAC7C,CAAC,SAAS,MAAM,CAChB,SAAQ,+BAA+B,CAAC,CAAC,CAAC;IAC1C,OAAO,CAAC,EAAE,KAAK,CAAC;IAChB;;;OAGG;IACH,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CACjC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,MAAM,2BAA2B,CAAC,CAAC,SAAS,MAAM,IACpD,oCAAoC,CAAC,CAAC,CAAC,GACvC,qCAAqC,CAAC,CAAC,CAAC,CAAC;AAE7C;;GAEG;AACH,UAAU,+BAA+B;IACvC,GAAG,EAAE,UAAU,CAAC;IAChB,SAAS,EAAE,SAAS,CAAC;IACrB,OAAO,EAAE,SAAS,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB;;;;OAIG;IACH,KAAK,CAAC,EAAE,eAAe,CAAC;CACzB;AAED;;GAEG;AACH,UAAU,oCAAqC,SAAQ,+BAA+B;IACpF;;;OAGG;IACH,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IAC/B;;OAEG;IACH,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CAClC;AAED;;GAEG;AACH,UAAU,qCAAsC,SAAQ,+BAA+B;IACrF,OAAO,CAAC,EAAE,KAAK,CAAC;IAChB;;;OAGG;IACH,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CACjC;AAED;;;;;;GAMG;AACH,MAAM,MAAM,2BAA2B,GACnC,oCAAoC,GACpC,qCAAqC,CAAC;AAM1C;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,WAAW,eAAe;IAC9B,+BAA+B;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,0DAA0D;IAC1D,SAAS,CAAC,EAAE,SAAS,CAAC,SAAS,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;IACjD,4DAA4D;IAC5D,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;IACrB,iCAAiC;IACjC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED;;GAEG;AACH,UAAU,8BAA8B,CAAC,CAAC,SAAS,MAAM;IACvD,YAAY,EAAE,CAAC,CAAC;IAChB,mFAAmF;IACnF,QAAQ,EAAE,CAAC,eAAe,EAAE,GAAG,eAAe,EAAE,CAAC,CAAC;IAClD,KAAK,CAAC,EAAE,eAAe,CAAC;CACzB;AAED;;GAEG;AACH,UAAU,mCAAmC,CAC3C,CAAC,SAAS,MAAM,CAChB,SAAQ,8BAA8B,CAAC,CAAC,CAAC;IACzC,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IAC/B,QAAQ,CAAC,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CAClC;AAED;;GAEG;AACH,UAAU,oCAAoC,CAC5C,CAAC,SAAS,MAAM,CAChB,SAAQ,8BAA8B,CAAC,CAAC,CAAC;IACzC,OAAO,CAAC,EAAE,KAAK,CAAC;IAChB,QAAQ,EAAE,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;CACjC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,0BAA0B,CAAC,CAAC,SAAS,MAAM,IACnD,mCAAmC,CAAC,CAAC,CAAC,GACtC,oCAAoC,CAAC,CAAC,CAAC,CAAC;AAM5C;;GAEG;AACH,MAAM,MAAM,wBAAwB,CAAC,CAAC,SAAS,MAAM,IACjD,2BAA2B,CAAC,CAAC,CAAC,GAC9B,2BAA2B,GAC3B,0BAA0B,CAAC,CAAC,CAAC,CAAC;AAElC;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,MAAM,EACjD,GAAG,EAAE,wBAAwB,CAAC,CAAC,CAAC,GAC/B,GAAG,IAAI,2BAA2B,CAEpC;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,MAAM,EAChD,GAAG,EAAE,wBAAwB,CAAC,CAAC,CAAC,GAC/B,GAAG,IAAI,0BAA0B,CAAC,CAAC,CAAC,CAEtC;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,SAAS,MAAM,EACjD,GAAG,EAAE,wBAAwB,CAAC,CAAC,CAAC,GAC/B,GAAG,IAAI,2BAA2B,CAAC,CAAC,CAAC,CAEvC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB,CAAC,CAAC,SAAS,MAAM;IACnD,oCAAoC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAE5C;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC,CAAC,EAAE,GAAG,wBAAwB,CAAC,CAAC,CAAC,EAAE,CAAC;IAE7E;;;OAGG;IACH,OAAO,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,GAAG,mBAAmB,EAAE,CAAC;CAC5F;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,EACnF,IAAI,EAAE,CAAC,GACN,mBAAmB,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAcvC"}

package/dist/cpsat/semantic-time.js

@@ -1,5 +1,3 @@
-import { toDayOfWeekUTC } from "../datetime.utils.js";
-import { parseDayString } from "./utils.js";
 import { assertSafeKeySegment } from "./validation.types.js";
 /** Validates and joins role/skill IDs into a key-safe segment. */
 function safeRoleOrSkills(roleIds, skillIds) {
@@ -93,14 +91,11 @@ export function defineSemanticTimes(defs) {
 function buildCoverageRequirement(day, startTime, endTime, roleIds, skillIds, targetCount, priority, group) {
     const base = { day, startTime, endTime, targetCount, priority, group };
     if (roleIds && roleIds.length > 0) {
-        // Role-based (with optional skills)
         return skillIds && skillIds.length > 0 ? { ...base, roleIds, skillIds } : { ...base, roleIds };
     }
     else if (skillIds && skillIds.length > 0) {
-        // Skill-only
         return { ...base, skillIds };
     }
-    // This shouldn't happen if input types are correct, but handle gracefully
     throw new Error(`Coverage requirement for day "${day}" must have at least one of roleIds or skillIds`);
 }
 /**
@@ -109,11 +104,11 @@ function buildCoverageRequirement(day, startTime, endTime, roleIds, skillIds, ta
  */
 function resolveSemanticCoverage(defs, reqs, days) {
     const result = [];
-    const daySet = new Set(days);
+    const dayIsoSet = new Set(days.map((d) => d.iso));
     for (const req of reqs) {
         if (isConcreteCoverage(req)) {
             // Concrete requirement - pass through if day is in horizon
-            if (daySet.has(req.day)) {
+            if (dayIsoSet.has(req.day)) {
                 const defaultGroup = concreteCoverageGroup(req);
                 result.push(buildCoverageRequirement(req.day, req.startTime, req.endTime, req.roleIds, req.skillIds, req.targetCount, req.priority ?? "MANDATORY", req.group ?? defaultGroup));
             }
@@ -132,7 +127,7 @@ function resolveSemanticCoverage(defs, reqs, days) {
                 const variant = resolveVariantForDay(req.variants, day);
                 if (!variant)
                     continue;
-                result.push(buildCoverageRequirement(day, resolved.startTime, resolved.endTime, req.roleIds, req.skillIds, variant.count, variant.priority ?? "MANDATORY", req.group ?? defaultGroup));
+                result.push(buildCoverageRequirement(day.iso, resolved.startTime, resolved.endTime, req.roleIds, req.skillIds, variant.count, variant.priority ?? "MANDATORY", req.group ?? defaultGroup));
             }
         }
         else {
@@ -146,7 +141,7 @@ function resolveSemanticCoverage(defs, reqs, days) {
             for (const day of applicableDays) {
                 const resolved = resolveTimeForDay(entry, day);
                 if (resolved) {
-                    result.push(buildCoverageRequirement(day, resolved.startTime, resolved.endTime, req.roleIds, req.skillIds, req.targetCount, req.priority ?? "MANDATORY", req.group ?? defaultGroup));
+                    result.push(buildCoverageRequirement(day.iso, resolved.startTime, resolved.endTime, req.roleIds, req.skillIds, req.targetCount, req.priority ?? "MANDATORY", req.group ?? defaultGroup));
                 }
             }
         }
@@ -189,17 +184,15 @@ function variantCoverageGroup(req) {
  * Returns null if no variant matches the day.
  */
 function resolveVariantForDay(variants, day) {
-    const date = parseDayString(day);
-    const dayOfWeek = toDayOfWeekUTC(date);
     let dateMatch = null;
     let dowMatch = null;
     let defaultMatch = null;
     for (const variant of variants) {
-        if (variant.dates && variant.dates.includes(day)) {
+        if (variant.dates && variant.dates.includes(day.iso)) {
             dateMatch = variant;
             break;
         }
-        if (variant.dayOfWeek && variant.dayOfWeek.includes(dayOfWeek)) {
+        if (variant.dayOfWeek && variant.dayOfWeek.includes(day.dayOfWeek)) {
             dowMatch = variant;
         }
         if (!variant.dates && !variant.dayOfWeek) {
@@ -221,10 +214,11 @@ function concreteCoverageGroup(req) {
  * Formats days of week for display in group keys.
  */
 function formatDaysScope(days) {
-    if (days.length === 0)
+    const first = days[0];
+    if (!first)
         return "";
     if (days.length === 1)
-        return days[0];
+        return first;
     // Check for common patterns
     const weekdays = ["monday", "tuesday", "wednesday", "thursday", "friday"];
     const weekend = ["saturday", "sunday"];
@@ -252,14 +246,12 @@ function formatTime(time) {
 function filterDays(allDays, dayOfWeek, specificDates) {
     let result = allDays;
     if (specificDates && specificDates.length > 0) {
-        // If specific dates are provided, use only those (intersection with allDays)
         const dateSet = new Set(specificDates);
-        result = result.filter((d) => dateSet.has(d));
+        result = result.filter((d) => dateSet.has(d.iso));
     }
     else if (dayOfWeek && dayOfWeek.length > 0) {
-        // Filter by day of week
         const daySet = new Set(dayOfWeek);
-        result = result.filter((d) => daySet.has(toDayOfWeekUTC(parseDayString(d))));
+        result = result.filter((d) => daySet.has(d.dayOfWeek));
     }
     return result;
 }
@@ -268,29 +260,24 @@ function filterDays(allDays, dayOfWeek, specificDates) {
  * Returns the most specific match: date-specific > day-of-week > default.
  */
 function resolveTimeForDay(entry, day) {
-    // Simple definition - applies to all days
     if (!Array.isArray(entry)) {
         return entry;
     }
-    const date = parseDayString(day);
-    const dayOfWeek = toDayOfWeekUTC(date);
-    // Find best match: date-specific first, then day-of-week, then default
     let dateMatch = null;
     let dowMatch = null;
     let defaultMatch = null;
     for (const variant of entry) {
-        if (variant.dates && variant.dates.includes(day)) {
+        if (variant.dates && variant.dates.includes(day.iso)) {
             dateMatch = variant;
-            break; // Date-specific is most specific
+            break;
         }
-        if (variant.dayOfWeek && variant.dayOfWeek.includes(dayOfWeek)) {
+        if (variant.dayOfWeek && variant.dayOfWeek.includes(day.dayOfWeek)) {
             dowMatch = variant;
         }
         if (!variant.dates && !variant.dayOfWeek) {
             defaultMatch = variant;
         }
     }
-    const match = dateMatch ?? dowMatch ?? defaultMatch;
-    return match ?? null;
+    return dateMatch ?? dowMatch ?? defaultMatch ?? null;
 }
 //# sourceMappingURL=semantic-time.js.map