dabke 0.78.0

package/dist/cpsat/utils.d.ts

@@ -0,0 +1,47 @@
+import type { DayOfWeek, TimeOfDay } from "../types.js";
+import type { Priority } from "./types.js";
+export declare const MINUTES_PER_DAY: number;
+/**
+ * Standard objective weights for the scheduling solver.
+ *
+ * These weights define the relative importance of different objectives.
+ * Higher weights mean stronger preference. Rules can use these as reference
+ * points when adding their own penalties.
+ *
+ * Weight hierarchy (highest to lowest priority):
+ * - SHIFT_ACTIVE (1000): Minimize number of active shift patterns
+ * - ASSIGNMENT_PREFERENCE (10): Per-assignment preference (e.g., prefer permanent staff)
+ * - FAIRNESS (5): Fair distribution of shifts across team members
+ * - ASSIGNMENT_BASE (1): Tiebreaker - minimize total assignments
+ *
+ * @example Using weights in a custom rule
+ * ```ts
+ * import { OBJECTIVE_WEIGHTS } from "feasible";
+ *
+ * // Prefer senior staff with same weight as employee-assignment-priority
+ * b.addPenalty(assignment, -OBJECTIVE_WEIGHTS.ASSIGNMENT_PREFERENCE);
+ *
+ * // Strong preference (2x normal)
+ * b.addPenalty(assignment, -2 * OBJECTIVE_WEIGHTS.ASSIGNMENT_PREFERENCE);
+ * ```
+ */
+export declare const OBJECTIVE_WEIGHTS: {
+    /** Weight for minimizing active shift patterns (reduces fragmentation) */
+    readonly SHIFT_ACTIVE: 1000;
+    /** Weight for per-assignment preferences (e.g., prefer/avoid certain team members) */
+    readonly ASSIGNMENT_PREFERENCE: 10;
+    /** Weight for fair distribution objective (minimizes max shifts per employee) */
+    readonly FAIRNESS: 5;
+    /** Base weight per assignment (tiebreaker) */
+    readonly ASSIGNMENT_BASE: 1;
+};
+/**
+ * Parse a day string (YYYY-MM-DD) to a UTC Date.
+ * Used internally for day-of-week calculations and date comparisons.
+ */
+export declare function parseDayString(day: string): Date;
+export declare function timeOfDayToMinutes(time: TimeOfDay): number;
+export declare function normalizeEndMinutes(startMinutes: number, endMinutes: number): number;
+export declare function priorityToPenalty(priority: Priority): number;
+export declare function splitIntoWeeks(days: string[], weekStartsOn: DayOfWeek): string[][];
+//# sourceMappingURL=utils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/cpsat/utils.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C,eAAO,MAAM,eAAe,QAAU,CAAC;AAEvC;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,eAAO,MAAM,iBAAiB;IAC5B,0EAA0E;;IAE1E,sFAAsF;;IAEtF,iFAAiF;;IAEjF,8CAA8C;;CAEtC,CAAC;AAEX;;;GAGG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAEhD;AAED,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAE1D;AAED,wBAAgB,mBAAmB,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAGpF;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAa5D;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,YAAY,EAAE,SAAS,GAAG,MAAM,EAAE,EAAE,CA+BlF"}

package/dist/cpsat/utils.js

@@ -0,0 +1,92 @@
+import { DAY_OF_WEEK_MAP } from "../datetime.utils.js";
+export const MINUTES_PER_DAY = 24 * 60;
+/**
+ * Standard objective weights for the scheduling solver.
+ *
+ * These weights define the relative importance of different objectives.
+ * Higher weights mean stronger preference. Rules can use these as reference
+ * points when adding their own penalties.
+ *
+ * Weight hierarchy (highest to lowest priority):
+ * - SHIFT_ACTIVE (1000): Minimize number of active shift patterns
+ * - ASSIGNMENT_PREFERENCE (10): Per-assignment preference (e.g., prefer permanent staff)
+ * - FAIRNESS (5): Fair distribution of shifts across team members
+ * - ASSIGNMENT_BASE (1): Tiebreaker - minimize total assignments
+ *
+ * @example Using weights in a custom rule
+ * ```ts
+ * import { OBJECTIVE_WEIGHTS } from "feasible";
+ *
+ * // Prefer senior staff with same weight as employee-assignment-priority
+ * b.addPenalty(assignment, -OBJECTIVE_WEIGHTS.ASSIGNMENT_PREFERENCE);
+ *
+ * // Strong preference (2x normal)
+ * b.addPenalty(assignment, -2 * OBJECTIVE_WEIGHTS.ASSIGNMENT_PREFERENCE);
+ * ```
+ */
+export const OBJECTIVE_WEIGHTS = {
+    /** Weight for minimizing active shift patterns (reduces fragmentation) */
+    SHIFT_ACTIVE: 1000,
+    /** Weight for per-assignment preferences (e.g., prefer/avoid certain team members) */
+    ASSIGNMENT_PREFERENCE: 10,
+    /** Weight for fair distribution objective (minimizes max shifts per employee) */
+    FAIRNESS: 5,
+    /** Base weight per assignment (tiebreaker) */
+    ASSIGNMENT_BASE: 1,
+};
+/**
+ * Parse a day string (YYYY-MM-DD) to a UTC Date.
+ * Used internally for day-of-week calculations and date comparisons.
+ */
+export function parseDayString(day) {
+    return new Date(`${day}T00:00:00Z`);
+}
+export function timeOfDayToMinutes(time) {
+    return time.hours * 60 + (time.minutes ?? 0);
+}
+export function normalizeEndMinutes(startMinutes, endMinutes) {
+    if (endMinutes === startMinutes)
+        return endMinutes + MINUTES_PER_DAY;
+    return endMinutes < startMinutes ? endMinutes + MINUTES_PER_DAY : endMinutes;
+}
+export function priorityToPenalty(priority) {
+    switch (priority) {
+        case "HIGH":
+            return 25;
+        case "MEDIUM":
+            return 10;
+        case "LOW":
+            return 1;
+        case "MANDATORY":
+            return 0;
+        default:
+            return 0;
+    }
+}
+export function splitIntoWeeks(days, weekStartsOn) {
+    if (days.length === 0)
+        return [];
+    const weekStartIndex = DAY_OF_WEEK_MAP[weekStartsOn];
+    const result = [];
+    let currentWeek = [];
+    let currentWeekStart = null;
+    for (const day of days) {
+        const date = parseDayString(day);
+        const isWeekStartDay = date.getUTCDay() === weekStartIndex;
+        const isNewWeek = isWeekStartDay && currentWeekStart !== null && date.getTime() !== currentWeekStart.getTime();
+        if (isNewWeek) {
+            result.push(currentWeek);
+            currentWeek = [];
+            currentWeekStart = null;
+        }
+        if (currentWeekStart === null) {
+            currentWeekStart = date;
+        }
+        currentWeek.push(day);
+    }
+    if (currentWeek.length > 0) {
+        result.push(currentWeek);
+    }
+    return result;
+}
+//# sourceMappingURL=utils.js.map

package/dist/cpsat/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../../src/cpsat/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAIvD,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,GAAG,EAAE,CAAC;AAEvC;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,0EAA0E;IAC1E,YAAY,EAAE,IAAI;IAClB,sFAAsF;IACtF,qBAAqB,EAAE,EAAE;IACzB,iFAAiF;IACjF,QAAQ,EAAE,CAAC;IACX,8CAA8C;IAC9C,eAAe,EAAE,CAAC;CACV,CAAC;AAEX;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,GAAW;IACxC,OAAO,IAAI,IAAI,CAAC,GAAG,GAAG,YAAY,CAAC,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAe;IAChD,OAAO,IAAI,CAAC,KAAK,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,YAAoB,EAAE,UAAkB;IAC1E,IAAI,UAAU,KAAK,YAAY;QAAE,OAAO,UAAU,GAAG,eAAe,CAAC;IACrE,OAAO,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC;AAC/E,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,QAAkB;IAClD,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,EAAE,CAAC;QACZ,KAAK,QAAQ;YACX,OAAO,EAAE,CAAC;QACZ,KAAK,KAAK;YACR,OAAO,CAAC,CAAC;QACX,KAAK,WAAW;YACd,OAAO,CAAC,CAAC;QACX;YACE,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAc,EAAE,YAAuB;IACpE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEjC,MAAM,cAAc,GAAG,eAAe,CAAC,YAAY,CAAC,CAAC;IACrD,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,IAAI,WAAW,GAAa,EAAE,CAAC;IAC/B,IAAI,gBAAgB,GAAgB,IAAI,CAAC;IAEzC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,EAAE,KAAK,cAAc,CAAC;QAC3D,MAAM,SAAS,GACb,cAAc,IAAI,gBAAgB,KAAK,IAAI,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,gBAAgB,CAAC,OAAO,EAAE,CAAC;QAE/F,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACzB,WAAW,GAAG,EAAE,CAAC;YACjB,gBAAgB,GAAG,IAAI,CAAC;QAC1B,CAAC;QAED,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;YAC9B,gBAAgB,GAAG,IAAI,CAAC;QAC1B,CAAC;QACD,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC3B,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/cpsat/validation-reporter.d.ts

@@ -0,0 +1,54 @@
+import type { SolverResponse } from "../client.types.js";
+import { type ScheduleValidation, type TrackedConstraint, type CoverageError, type CoverageViolation, type CoveragePassed, type RuleError, type RuleViolation, type RulePassed, type CoverageExclusion, type ValidationSummary } from "./validation.types.js";
+export interface ValidationReporter {
+    excludeFromCoverage(exclusion: CoverageExclusion): void;
+    reportCoverageError(error: Omit<CoverageError, "type" | "id">): void;
+    reportRuleError(error: Omit<RuleError, "type" | "id">): void;
+    reportSolverError(reason: string): void;
+    reportCoverageViolation(violation: Omit<CoverageViolation, "type" | "id">): void;
+    reportRuleViolation(violation: Omit<RuleViolation, "type" | "id">): void;
+    reportCoveragePassed(passed: Omit<CoveragePassed, "type" | "id">): void;
+    reportRulePassed(passed: Omit<RulePassed, "type" | "id">): void;
+    trackConstraint(constraint: TrackedConstraint): void;
+    hasErrors(): boolean;
+    getValidation(): ScheduleValidation;
+    getExclusions(): CoverageExclusion[];
+    analyzeSolution(response: SolverResponse): void;
+}
+export declare class ValidationReporterImpl implements ValidationReporter {
+    #private;
+    excludeFromCoverage(exclusion: CoverageExclusion): void;
+    reportCoverageError(error: Omit<CoverageError, "type" | "id">): void;
+    reportRuleError(error: Omit<RuleError, "type" | "id">): void;
+    reportSolverError(reason: string): void;
+    reportCoverageViolation(violation: Omit<CoverageViolation, "type" | "id">): void;
+    reportRuleViolation(violation: Omit<RuleViolation, "type" | "id">): void;
+    reportCoveragePassed(passed: Omit<CoveragePassed, "type" | "id">): void;
+    reportRulePassed(passed: Omit<RulePassed, "type" | "id">): void;
+    getExclusions(): CoverageExclusion[];
+    trackConstraint(constraint: TrackedConstraint): void;
+    hasErrors(): boolean;
+    getValidation(): ScheduleValidation;
+    getTrackedConstraints(): TrackedConstraint[];
+    analyzeSolution(response: SolverResponse): void;
+}
+/**
+ * Aggregates validation items by their groupKey into summaries.
+ * This is a pure function that doesn't modify the input.
+ *
+ * Items without a groupKey are grouped by their ID (ungrouped).
+ *
+ * @example
+ * ```typescript
+ * const validation = reporter.getValidation();
+ * const summaries = summarizeValidation(validation);
+ * // summaries[0] = {
+ * //   groupKey: "2x waiter during lunch",
+ * //   status: "passed",
+ * //   passedCount: 180,
+ * //   days: ["2026-02-02", "2026-02-03", ...]
+ * // }
+ * ```
+ */
+export declare function summarizeValidation(validation: ScheduleValidation): readonly ValidationSummary[];
+//# sourceMappingURL=validation-reporter.d.ts.map

package/dist/cpsat/validation-reporter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation-reporter.d.ts","sourceRoot":"","sources":["../../src/cpsat/validation-reporter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAKL,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EACtB,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EAEvB,MAAM,uBAAuB,CAAC;AAE/B,MAAM,WAAW,kBAAkB;IAEjC,mBAAmB,CAAC,SAAS,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAGxD,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IACrE,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7D,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAGxC,uBAAuB,CAAC,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IACjF,mBAAmB,CAAC,SAAS,EAAE,IAAI,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAGzE,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IACxE,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAGhE,eAAe,CAAC,UAAU,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAGrD,SAAS,IAAI,OAAO,CAAC;IACrB,aAAa,IAAI,kBAAkB,CAAC;IACpC,aAAa,IAAI,iBAAiB,EAAE,CAAC;IAGrC,eAAe,CAAC,QAAQ,EAAE,cAAc,GAAG,IAAI,CAAC;CACjD;AA2CD,qBAAa,sBAAuB,YAAW,kBAAkB;;IAQ/D,mBAAmB,CAAC,SAAS,EAAE,iBAAiB,GAAG,IAAI;IAIvD,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI;IAKpE,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI;IAK5D,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAMvC,uBAAuB,CAAC,SAAS,EAAE,IAAI,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI;IAWhF,mBAAmB,CAAC,SAAS,EAAE,IAAI,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI;IAKxE,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI;IAKvE,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI;IAK/D,aAAa,IAAI,iBAAiB,EAAE;IAIpC,eAAe,CAAC,UAAU,EAAE,iBAAiB,GAAG,IAAI;IAIpD,SAAS,IAAI,OAAO;IAIpB,aAAa,IAAI,kBAAkB;IAQnC,qBAAqB,IAAI,iBAAiB,EAAE;IAI5C,eAAe,CAAC,QAAQ,EAAE,cAAc,GAAG,IAAI;CAiEhD;AAQD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,kBAAkB,GAAG,SAAS,iBAAiB,EAAE,CAgFhG"}

package/dist/cpsat/validation-reporter.js

@@ -0,0 +1,261 @@
+import { groupKey, } from "./validation.types.js";
+/**
+ * Generates a deterministic ID for a coverage-based validation item.
+ * Format: {category}:coverage:{day}:{timeSlots}:{roleIds}:{skillIds}
+ */
+function coverageId(category, day, timeSlots, roleIds, skillIds) {
+    const parts = [
+        category,
+        "coverage",
+        day,
+        [...timeSlots].toSorted().join(",") || "_",
+        roleIds && roleIds.length > 0 ? [...roleIds].toSorted().join(",") : "_",
+        skillIds ? [...skillIds].toSorted().join(",") : "_",
+    ];
+    return parts.join(":");
+}
+/**
+ * Generates a deterministic ID for a rule-based validation item.
+ * Format: {category}:rule:{rule}:{days}:{employeeIds}
+ */
+function ruleId(category, rule, context) {
+    const parts = [
+        category,
+        "rule",
+        rule,
+        context.days ? [...context.days].toSorted().join(",") : "_",
+        context.employeeIds ? [...context.employeeIds].toSorted().join(",") : "_",
+    ];
+    return parts.join(":");
+}
+export class ValidationReporterImpl {
+    #errors = [];
+    #violations = [];
+    #passed = [];
+    #trackedConstraints = new Map();
+    #exclusions = [];
+    #solverErrorCount = 0;
+    excludeFromCoverage(exclusion) {
+        this.#exclusions.push(exclusion);
+    }
+    reportCoverageError(error) {
+        const id = coverageId("error", error.day, error.timeSlots, error.roleIds, error.skillIds);
+        this.#errors.push({ id, type: "coverage", ...error });
+    }
+    reportRuleError(error) {
+        const id = ruleId("error", error.rule, error.context);
+        this.#errors.push({ id, type: "rule", ...error });
+    }
+    reportSolverError(reason) {
+        this.#solverErrorCount++;
+        const id = `error:solver:${this.#solverErrorCount}`;
+        this.#errors.push({ id, type: "solver", reason });
+    }
+    reportCoverageViolation(violation) {
+        const id = coverageId("violation", violation.day, violation.timeSlots, violation.roleIds, violation.skillIds);
+        this.#violations.push({ id, type: "coverage", ...violation });
+    }
+    reportRuleViolation(violation) {
+        const id = ruleId("violation", violation.rule, violation.context);
+        this.#violations.push({ id, type: "rule", ...violation });
+    }
+    reportCoveragePassed(passed) {
+        const id = coverageId("passed", passed.day, passed.timeSlots, passed.roleIds, passed.skillIds);
+        this.#passed.push({ id, type: "coverage", ...passed });
+    }
+    reportRulePassed(passed) {
+        const id = ruleId("passed", passed.rule, passed.context);
+        this.#passed.push({ id, type: "rule", ...passed });
+    }
+    getExclusions() {
+        return [...this.#exclusions];
+    }
+    trackConstraint(constraint) {
+        this.#trackedConstraints.set(constraint.id, constraint);
+    }
+    hasErrors() {
+        return this.#errors.length > 0;
+    }
+    getValidation() {
+        return {
+            errors: [...this.#errors],
+            violations: [...this.#violations],
+            passed: [...this.#passed],
+        };
+    }
+    getTrackedConstraints() {
+        return [...this.#trackedConstraints.values()];
+    }
+    analyzeSolution(response) {
+        if (response.status !== "OPTIMAL" && response.status !== "FEASIBLE") {
+            if (response.status === "INFEASIBLE") {
+                this.reportSolverError(response.solutionInfo ?? "Schedule is infeasible");
+            }
+            else if (response.status === "TIMEOUT") {
+                this.reportSolverError("Solver timed out");
+            }
+            else if (response.error) {
+                this.reportSolverError(response.error);
+            }
+            return;
+        }
+        const solverViolations = response.softViolations ?? [];
+        for (const violation of solverViolations) {
+            const tracked = this.#trackedConstraints.get(violation.constraintId);
+            if (tracked?.type === "coverage") {
+                this.reportCoverageViolation({
+                    day: tracked.day ?? "",
+                    timeSlots: tracked.timeSlot ? [tracked.timeSlot] : [],
+                    roleIds: tracked.roleIds,
+                    skillIds: tracked.skillIds,
+                    targetCount: violation.targetValue,
+                    actualCount: violation.actualValue,
+                    shortfall: violation.violationAmount,
+                    groupKey: tracked.groupKey,
+                });
+            }
+            else if (tracked?.type === "rule") {
+                const isShortfall = tracked.comparator === ">=";
+                this.reportRuleViolation({
+                    rule: tracked.rule ?? "unknown",
+                    reason: `${tracked.description}: needed ${violation.targetValue}, got ${violation.actualValue}`,
+                    context: tracked.context,
+                    shortfall: isShortfall ? violation.violationAmount : undefined,
+                    overflow: !isShortfall ? violation.violationAmount : undefined,
+                    groupKey: tracked.groupKey,
+                });
+            }
+            else {
+                // Unknown constraint - create generic rule violation
+                this.reportRuleViolation({
+                    rule: "unknown",
+                    reason: `Constraint ${violation.constraintId} violated by ${violation.violationAmount}`,
+                    context: {},
+                });
+            }
+        }
+        // Mark tracked coverage constraints as passed if not violated
+        const violatedIds = new Set(solverViolations.map((v) => v.constraintId));
+        for (const tracked of this.#trackedConstraints.values()) {
+            if (violatedIds.has(tracked.id))
+                continue;
+            if (tracked.type === "coverage") {
+                this.reportCoveragePassed({
+                    day: tracked.day ?? "",
+                    timeSlots: tracked.timeSlot ? [tracked.timeSlot] : [],
+                    roleIds: tracked.roleIds,
+                    skillIds: tracked.skillIds,
+                    description: tracked.description,
+                    groupKey: tracked.groupKey,
+                });
+            }
+        }
+    }
+}
+/**
+ * Aggregates validation items by their groupKey into summaries.
+ * This is a pure function that doesn't modify the input.
+ *
+ * Items without a groupKey are grouped by their ID (ungrouped).
+ *
+ * @example
+ * ```typescript
+ * const validation = reporter.getValidation();
+ * const summaries = summarizeValidation(validation);
+ * // summaries[0] = {
+ * //   groupKey: "2x waiter during lunch",
+ * //   status: "passed",
+ * //   passedCount: 180,
+ * //   days: ["2026-02-02", "2026-02-03", ...]
+ * // }
+ * ```
+ */
+export function summarizeValidation(validation) {
+    const groups = new Map();
+    const getOrCreateGroup = (key, type) => {
+        if (!groups.has(key)) {
+            groups.set(key, {
+                type,
+                items: [],
+                days: new Set(),
+                passedCount: 0,
+                violatedCount: 0,
+                errorCount: 0,
+            });
+        }
+        return groups.get(key);
+    };
+    // Group passed items
+    for (const item of validation.passed) {
+        const key = item.groupKey ?? groupKey(`ungrouped:${item.id}`);
+        const group = getOrCreateGroup(key, item.type);
+        group.items.push(item);
+        group.passedCount++;
+        if (item.type === "coverage" && item.day) {
+            group.days.add(item.day);
+        }
+    }
+    // Group violations
+    for (const item of validation.violations) {
+        const key = item.groupKey ?? groupKey(`ungrouped:${item.id}`);
+        const group = getOrCreateGroup(key, item.type);
+        group.items.push(item);
+        group.violatedCount++;
+        if (item.type === "coverage" && item.day) {
+            group.days.add(item.day);
+        }
+    }
+    // Group errors (except solver errors which don't have groupKey)
+    for (const item of validation.errors) {
+        if (item.type === "solver")
+            continue;
+        const key = item.groupKey ?? groupKey(`ungrouped:${item.id}`);
+        const group = getOrCreateGroup(key, item.type);
+        group.items.push(item);
+        group.errorCount++;
+        if (item.type === "coverage" && item.day) {
+            group.days.add(item.day);
+        }
+    }
+    // Build summaries
+    const summaries = [];
+    for (const [key, group] of groups) {
+        const status = group.errorCount > 0 ? "failed" : group.violatedCount > 0 ? "partial" : "passed";
+        summaries.push({
+            groupKey: key,
+            type: group.type,
+            description: inferDescription(key, group.items),
+            days: [...group.days].sort(),
+            status,
+            passedCount: group.passedCount,
+            violatedCount: group.violatedCount,
+            errorCount: group.errorCount,
+        });
+    }
+    return summaries;
+}
+/**
+ * Infers a human-readable description from the groupKey or items.
+ */
+function inferDescription(key, items) {
+    // If the key looks like a human-readable description, use it
+    if (!key.startsWith("ungrouped:")) {
+        return key;
+    }
+    // Try to infer from the first item with a description
+    for (const item of items) {
+        if ("description" in item && item.description) {
+            // Extract the meaningful part (e.g., "2x waiter" from "2x waiter on 2026-02-03 at 09:00")
+            const match = item.description.match(/^(\d+x \w+)/);
+            if (match?.[1]) {
+                return match[1];
+            }
+            return item.description;
+        }
+        if ("reason" in item && item.reason) {
+            return item.reason;
+        }
+    }
+    return key;
+}
+//# sourceMappingURL=validation-reporter.js.map

package/dist/cpsat/validation-reporter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation-reporter.js","sourceRoot":"","sources":["../../src/cpsat/validation-reporter.ts"],"names":[],"mappings":"AACA,OAAO,EACL,QAAQ,GAeT,MAAM,uBAAuB,CAAC;AA+B/B;;;GAGG;AACH,SAAS,UAAU,CACjB,QAA0C,EAC1C,GAAW,EACX,SAA4B,EAC5B,OAA2B,EAC3B,QAA4B;IAE5B,MAAM,KAAK,GAAG;QACZ,QAAQ;QACR,UAAU;QACV,GAAG;QACH,CAAC,GAAG,SAAS,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG;QAC1C,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG;QACvE,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG;KACpD,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED;;;GAGG;AACH,SAAS,MAAM,CACb,QAA0C,EAC1C,IAAY,EACZ,OAAsE;IAEtE,MAAM,KAAK,GAAG;QACZ,QAAQ;QACR,MAAM;QACN,IAAI;QACJ,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG;QAC3D,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG;KAC1E,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,OAAO,sBAAsB;IACjC,OAAO,GAAoB,EAAE,CAAC;IAC9B,WAAW,GAAwB,EAAE,CAAC;IACtC,OAAO,GAAqB,EAAE,CAAC;IAC/B,mBAAmB,GAAG,IAAI,GAAG,EAA6B,CAAC;IAC3D,WAAW,GAAwB,EAAE,CAAC;IACtC,iBAAiB,GAAG,CAAC,CAAC;IAEtB,mBAAmB,CAAC,SAA4B;QAC9C,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC;IAED,mBAAmB,CAAC,KAAyC;QAC3D,MAAM,EAAE,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC1F,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;IACxD,CAAC;IAED,eAAe,CAAC,KAAqC;QACnD,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QACtD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,iBAAiB,CAAC,MAAc;QAC9B,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,gBAAgB,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACpD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,uBAAuB,CAAC,SAAiD;QACvE,MAAM,EAAE,GAAG,UAAU,CACnB,WAAW,EACX,SAAS,CAAC,GAAG,EACb,SAAS,CAAC,SAAS,EACnB,SAAS,CAAC,OAAO,EACjB,SAAS,CAAC,QAAQ,CACnB,CAAC;QACF,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;IAChE,CAAC;IAED,mBAAmB,CAAC,SAA6C;QAC/D,MAAM,EAAE,GAAG,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;QAClE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED,oBAAoB,CAAC,MAA2C;QAC9D,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC/F,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,gBAAgB,CAAC,MAAuC;QACtD,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;QACzD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,aAAa;QACX,OAAO,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IAC/B,CAAC;IAED,eAAe,CAAC,UAA6B;QAC3C,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IAC1D,CAAC;IAED,SAAS;QACP,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IACjC,CAAC;IAED,aAAa;QACX,OAAO;YACL,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;YACzB,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;YACjC,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;SAC1B,CAAC;IACJ,CAAC;IAED,qBAAqB;QACnB,OAAO,CAAC,GAAG,IAAI,CAAC,mBAAmB,CAAC,MAAM,EAAE,CAAC,CAAC;IAChD,CAAC;IAED,eAAe,CAAC,QAAwB;QACtC,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YACpE,IAAI,QAAQ,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;gBACrC,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,YAAY,IAAI,wBAAwB,CAAC,CAAC;YAC5E,CAAC;iBAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzC,IAAI,CAAC,iBAAiB,CAAC,kBAAkB,CAAC,CAAC;YAC7C,CAAC;iBAAM,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;gBAC1B,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACzC,CAAC;YACD,OAAO;QACT,CAAC;QAED,MAAM,gBAAgB,GAAG,QAAQ,CAAC,cAAc,IAAI,EAAE,CAAC;QAEvD,KAAK,MAAM,SAAS,IAAI,gBAAgB,EAAE,CAAC;YACzC,MAAM,OAAO,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;YAErE,IAAI,OAAO,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;gBACjC,IAAI,CAAC,uBAAuB,CAAC;oBAC3B,GAAG,EAAE,OAAO,CAAC,GAAG,IAAI,EAAE;oBACtB,SAAS,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;oBACrD,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,WAAW,EAAE,SAAS,CAAC,WAAW;oBAClC,WAAW,EAAE,SAAS,CAAC,WAAW;oBAClC,SAAS,EAAE,SAAS,CAAC,eAAe;oBACpC,QAAQ,EAAE,OAAO,CAAC,QAAQ;iBAC3B,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,OAAO,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpC,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU,KAAK,IAAI,CAAC;gBAChD,IAAI,CAAC,mBAAmB,CAAC;oBACvB,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,SAAS;oBAC/B,MAAM,EAAE,GAAG,OAAO,CAAC,WAAW,YAAY,SAAS,CAAC,WAAW,SAAS,SAAS,CAAC,WAAW,EAAE;oBAC/F,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS;oBAC9D,QAAQ,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS;oBAC9D,QAAQ,EAAE,OAAO,CAAC,QAAQ;iBAC3B,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,qDAAqD;gBACrD,IAAI,CAAC,mBAAmB,CAAC;oBACvB,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,cAAc,SAAS,CAAC,YAAY,gBAAgB,SAAS,CAAC,eAAe,EAAE;oBACvF,OAAO,EAAE,EAAE;iBACZ,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,8DAA8D;QAC9D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;QACzE,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,mBAAmB,CAAC,MAAM,EAAE,EAAE,CAAC;YACxD,IAAI,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAAE,SAAS;YAE1C,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAChC,IAAI,CAAC,oBAAoB,CAAC;oBACxB,GAAG,EAAE,OAAO,CAAC,GAAG,IAAI,EAAE;oBACtB,SAAS,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;oBACrD,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,WAAW,EAAE,OAAO,CAAC,WAAW;oBAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;iBAC3B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;CACF;AAQD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAA8B;IAChE,MAAM,MAAM,GAAG,IAAI,GAAG,EAUnB,CAAC;IAEJ,MAAM,gBAAgB,GAAG,CAAC,GAAa,EAAE,IAAyB,EAAE,EAAE;QACpE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE;gBACd,IAAI;gBACJ,KAAK,EAAE,EAAE;gBACT,IAAI,EAAE,IAAI,GAAG,EAAE;gBACf,WAAW,EAAE,CAAC;gBACd,aAAa,EAAE,CAAC;gBAChB,UAAU,EAAE,CAAC;aACd,CAAC,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC;IAC1B,CAAC,CAAC;IAEF,qBAAqB;IACrB,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,aAAa,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,KAAK,CAAC,WAAW,EAAE,CAAC;QACpB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,aAAa,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,KAAK,CAAC,aAAa,EAAE,CAAC;QACtB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,gEAAgE;IAChE,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,aAAa,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,KAAK,CAAC,UAAU,EAAE,CAAC;QACnB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,kBAAkB;IAClB,MAAM,SAAS,GAAwB,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QAClC,MAAM,MAAM,GACV,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC;QAEnF,SAAS,CAAC,IAAI,CAAC;YACb,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,WAAW,EAAE,gBAAgB,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC;YAC/C,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;YAC5B,MAAM;YACN,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,UAAU,EAAE,KAAK,CAAC,UAAU;SAC7B,CAAC,CAAC;IACL,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,GAAa,EAAE,KAAuB;IAC9D,6DAA6D;IAC7D,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAClC,OAAO,GAAG,CAAC;IACb,CAAC;IAED,sDAAsD;IACtD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,aAAa,IAAI,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YAC9C,0FAA0F;YAC1F,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YACpD,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACf,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;YAClB,CAAC;YACD,OAAO,IAAI,CAAC,WAAW,CAAC;QAC1B,CAAC;QACD,IAAI,QAAQ,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACpC,OAAO,IAAI,CAAC,MAAM,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/cpsat/validation.types.d.ts

@@ -0,0 +1,141 @@
+import type { TimeOfDay } from "../types.js";
+declare const GroupKeyBrand: unique symbol;
+/**
+ * Branded type for validation group keys.
+ * Groups related validation items that originated from the same instruction.
+ */
+export type GroupKey = string & {
+    readonly [GroupKeyBrand]: never;
+};
+/**
+ * Creates a GroupKey from a description string.
+ * Use this to create keys that group related validation items together.
+ *
+ * @example
+ * ```typescript
+ * const key = groupKey("2x waiter during lunch");
+ * coverage.groupKey = key;
+ * ```
+ */
+export declare function groupKey(description: string): GroupKey;
+/**
+ * Context shared across validation results for grouping/display.
+ */
+export interface ValidationContext {
+    days?: string[];
+    timeSlots?: string[];
+    employeeIds?: string[];
+}
+export interface CoverageError {
+    readonly id: string;
+    readonly type: "coverage";
+    readonly day: string;
+    readonly timeSlots: readonly string[];
+    readonly roleIds?: string[];
+    readonly skillIds?: readonly string[];
+    readonly reason: string;
+    readonly suggestions?: readonly string[];
+    readonly groupKey?: GroupKey;
+}
+export interface RuleError {
+    readonly id: string;
+    readonly type: "rule";
+    readonly rule: string;
+    readonly reason: string;
+    readonly context: ValidationContext;
+    readonly suggestions?: readonly string[];
+    readonly groupKey?: GroupKey;
+}
+export interface SolverError {
+    readonly id: string;
+    readonly type: "solver";
+    readonly reason: string;
+}
+export type ScheduleError = CoverageError | RuleError | SolverError;
+export interface CoverageViolation {
+    readonly id: string;
+    readonly type: "coverage";
+    readonly day: string;
+    readonly timeSlots: readonly string[];
+    readonly roleIds?: string[];
+    readonly skillIds?: readonly string[];
+    readonly targetCount: number;
+    readonly actualCount: number;
+    readonly shortfall: number;
+    readonly groupKey?: GroupKey;
+}
+export interface RuleViolation {
+    readonly id: string;
+    readonly type: "rule";
+    readonly rule: string;
+    readonly reason: string;
+    readonly context: ValidationContext;
+    readonly shortfall?: number;
+    readonly overflow?: number;
+    readonly groupKey?: GroupKey;
+}
+export type ScheduleViolation = CoverageViolation | RuleViolation;
+export interface CoveragePassed {
+    readonly id: string;
+    readonly type: "coverage";
+    readonly day: string;
+    readonly timeSlots: readonly string[];
+    readonly roleIds?: string[];
+    readonly skillIds?: readonly string[];
+    readonly description: string;
+    readonly groupKey?: GroupKey;
+}
+export interface RulePassed {
+    readonly id: string;
+    readonly type: "rule";
+    readonly rule: string;
+    readonly description: string;
+    readonly context: ValidationContext;
+    readonly groupKey?: GroupKey;
+}
+export type SchedulePassed = CoveragePassed | RulePassed;
+export interface ScheduleValidation {
+    readonly errors: readonly ScheduleError[];
+    readonly violations: readonly ScheduleViolation[];
+    readonly passed: readonly SchedulePassed[];
+}
+/**
+ * Summary of validation items grouped by their source instruction.
+ * Use `summarizeValidation()` to create these from a ScheduleValidation.
+ */
+export interface ValidationSummary {
+    readonly groupKey: GroupKey;
+    readonly type: "coverage" | "rule";
+    readonly description: string;
+    readonly days: readonly string[];
+    readonly status: "passed" | "partial" | "failed";
+    readonly passedCount: number;
+    readonly violatedCount: number;
+    readonly errorCount: number;
+}
+export interface TrackedConstraint {
+    readonly id: string;
+    readonly type: "coverage" | "rule";
+    readonly rule?: string;
+    readonly description: string;
+    readonly targetValue: number;
+    readonly comparator: "<=" | ">=";
+    readonly day?: string;
+    readonly timeSlot?: string;
+    readonly roleIds?: string[];
+    readonly skillIds?: readonly string[];
+    readonly context: ValidationContext;
+    readonly groupKey?: GroupKey;
+}
+/**
+ * Coverage exclusion - indicates a team member is unavailable for coverage during a time period.
+ * Used during compile-time to determine coverage feasibility.
+ */
+export interface CoverageExclusion {
+    employeeId: string;
+    day: string;
+    startTime?: TimeOfDay;
+    endTime?: TimeOfDay;
+}
+export {};
+//# sourceMappingURL=validation.types.d.ts.map

package/dist/cpsat/validation.types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.types.d.ts","sourceRoot":"","sources":["../../src/cpsat/validation.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAM7C,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAC;AAE3C;;;GAGG;AACH,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,CAAA;CAAE,CAAC;AAEpE;;;;;;;;;GASG;AACH,wBAAgB,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,QAAQ,CAEtD;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAChB,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB;AAMD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CAC9B;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CAC9B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,MAAM,aAAa,GAAG,aAAa,GAAG,SAAS,GAAG,WAAW,CAAC;AAMpE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CAC9B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CAC9B;AAED,MAAM,MAAM,iBAAiB,GAAG,iBAAiB,GAAG,aAAa,CAAC;AAMlE,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CAC9B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CAC9B;AAED,MAAM,MAAM,cAAc,GAAG,cAAc,GAAG,UAAU,CAAC;AAMzD,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD,QAAQ,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;CAC5C;AAMD;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,SAAS,GAAG,QAAQ,CAAC;IACjD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAMD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,IAAI,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC;IACpC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;CAC9B;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,OAAO,CAAC,EAAE,SAAS,CAAC;CACrB"}

package/dist/cpsat/validation.types.js

@@ -0,0 +1,14 @@
+/**
+ * Creates a GroupKey from a description string.
+ * Use this to create keys that group related validation items together.
+ *
+ * @example
+ * ```typescript
+ * const key = groupKey("2x waiter during lunch");
+ * coverage.groupKey = key;
+ * ```
+ */
+export function groupKey(description) {
+    return description;
+}
+//# sourceMappingURL=validation.types.js.map

package/dist/cpsat/validation.types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.types.js","sourceRoot":"","sources":["../../src/cpsat/validation.types.ts"],"names":[],"mappings":"AAcA;;;;;;;;;GASG;AACH,MAAM,UAAU,QAAQ,CAAC,WAAmB;IAC1C,OAAO,WAAuB,CAAC;AACjC,CAAC"}