@kernhq/module-hr 0.19.0 → 0.20.0

package/dist/server/services/rosters.js

@@ -0,0 +1,268 @@
+import { KernError } from '@kernhq/kernel';
+import { and, eq, gte, inArray, isNull, lte, or } from 'drizzle-orm';
+import { MAX_COVERAGE_DAYS, MAX_ROSTER_DAYS } from '../../contract/rosters.js';
+import { datesBetween } from '../../policy/calendar.js';
+import { rosterAssignments, rosterOverrides, rosterPatterns, rosterShifts } from '../schema.js';
+/**
+ * What a person is rostered to work on a date.
+ *
+ * The arithmetic is the point of this file, and all of it is pure. A rotation is a cycle plus the
+ * date the cycle starts from, so what somebody works on any date at all — including dates before
+ * the anchor and dates years after it — is one modulus. Nothing is generated, stored, or swept:
+ * expanding a year of shifts per person into rows is what makes a roster impossible to change
+ * afterwards, because moving a crew forward by a day then means rewriting thousands of rows with no
+ * way left to tell which of them a human had already corrected.
+ *
+ * Only exceptions are rows. `roster_overrides` holds one day that differs, and an override that
+ * says "off" is a row with an empty `shift_ids` — the reason it is a row rather than a deletion is
+ * that "planned rest" and "nothing rosters this person" are different facts, and a screen that
+ * renders them the same tells somebody their absence was intended.
+ */
+// ---------------------------------------------------------------------------------------------
+// pure: the calendar arithmetic
+// ---------------------------------------------------------------------------------------------
+/**
+ * Days since 1970-01-01 for a civil date, by pure arithmetic.
+ *
+ * Not `new Date(iso).getTime() / 86400000`: that parses as UTC midnight and then everything the
+ * result touches is a step away from the runtime's own zone, and it is wrong by a day for anybody
+ * west of Greenwich the moment a caller formats it back. This is Howard Hinnant's `days_from_civil`
+ * — exact for every proleptic Gregorian date, with no `Date`, no zone and no daylight saving
+ * anywhere near it. A cycle index computed from instants would slip by one twice a year in every
+ * zone that observes it, which on a 4-on-4-off rotation puts a whole crew on the wrong shift.
+ */
+export function dayNumber(date) {
+    const [y, m, d] = date.split('-').map(Number);
+    const year = y - (m <= 2 ? 1 : 0);
+    const era = Math.floor(year / 400);
+    const yoe = year - era * 400;
+    const doy = Math.floor((153 * (m + (m > 2 ? -3 : 9)) + 2) / 5) + d - 1;
+    const doe = yoe * 365 + Math.floor(yoe / 4) - Math.floor(yoe / 100) + doy;
+    return era * 146_097 + doe - 719_468;
+}
+/** Whole days from `from` to `to`. Negative when `to` is the earlier date. */
+export const daysBetween = (from, to) => dayNumber(to) - dayNumber(from);
+/**
+ * Which position of the cycle a date falls on.
+ *
+ * `((raw % len) + len) % len` rather than `raw % len`, because JavaScript's `%` keeps the sign of
+ * the dividend: a date before the anchor gives a negative index, and `days[-3]` is `undefined` —
+ * which reads as a rest day rather than as an error. A roster asked about last month would then
+ * quietly report that everybody was off.
+ *
+ * Returns -1 for a pattern with no cycle at all, which is a misconfiguration rather than a rest day
+ * and is reported as `none` by the caller.
+ */
+export function cycleIndexFor(pattern, date, cycleOffset = 0) {
+    const len = pattern.days.length;
+    if (len <= 0)
+        return -1;
+    const raw = daysBetween(pattern.anchorDate, date) + cycleOffset;
+    return ((raw % len) + len) % len;
+}
+/** The shifts a rotation puts on a date. `[]` is a planned rest day; null is no cycle to read. */
+export function patternShiftIdsOn(pattern, date, cycleOffset = 0) {
+    const index = cycleIndexFor(pattern, date, cycleOffset);
+    if (index < 0)
+        return null;
+    return [...(pattern.days[index] ?? [])];
+}
+/**
+ * The assignment in force on a date.
+ *
+ * The exclusion constraint makes two-in-force impossible in the database, so this is not resolving
+ * a conflict — it is refusing to depend on row order for the answer. `schedule_assignments` did
+ * depend on it for five migrations, and the symptom was a day sheet whose figures changed between
+ * one recomputation and the next on rows a locked payroll period had been filed against.
+ */
+export function assignmentOn(assignments, date) {
+    let best = null;
+    for (const a of assignments) {
+        if (a.effectiveFrom > date)
+            continue;
+        if (a.effectiveTo !== null && a.effectiveTo < date)
+            continue;
+        if (!best || a.effectiveFrom > best.effectiveFrom)
+            best = a;
+    }
+    return best;
+}
+/**
+ * The roster for one person over a set of dates.
+ *
+ * Takes the dates rather than a range so a caller asking about two adjacent days — which is what
+ * the night-shift attribution needs — does not have to expand a range to get them.
+ *
+ * The precedence is override, then rotation, then nothing, and it is deliberate that an override
+ * wins even when it is empty: somebody taken off a Tuesday they were rostered for is off that
+ * Tuesday, and a rotation that could still speak over the top of that would undo the correction.
+ */
+export function rosterPlan(input) {
+    const byDate = new Map(input.overrides.map((o) => [o.businessDate, o]));
+    return input.dates.map((businessDate) => {
+        const override = byDate.get(businessDate);
+        if (override)
+            return {
+                businessDate,
+                shiftIds: [...override.shiftIds],
+                source: 'override',
+                note: override.note,
+            };
+        const assignment = assignmentOn(input.assignments, businessDate);
+        const pattern = assignment ? input.patterns.get(assignment.patternId) : undefined;
+        const ids = pattern ? patternShiftIdsOn(pattern, businessDate, assignment?.cycleOffset ?? 0) : null;
+        if (ids === null)
+            return { businessDate, shiftIds: [], source: 'none', note: null };
+        return { businessDate, shiftIds: ids, source: 'pattern', note: null };
+    });
+}
+/** A rostered shift as the working-time layer wants it. The one seam between the two. */
+export const toShiftSpec = (shift) => ({
+    start: shift.startTime,
+    end: shift.endTime,
+    breakMinutes: shift.breakMinutes,
+    graceInMinutes: shift.graceInMinutes,
+    graceOutMinutes: shift.graceOutMinutes,
+});
+/**
+ * A stable string for what a day was rostered as.
+ *
+ * `attendance_days.policy_hash` is what tells a recomputation whether a stored figure is stale, and
+ * `hashSchedule` keys only on the schedule id and the rounding policy. That is enough while a
+ * schedule is a week that only changes when the schedule row does; it is not enough once a roster
+ * can change one Tuesday, because the id and the rounding are identical either side of the change
+ * and the sheet would stay stale with nothing able to notice.
+ *
+ * So this folds in what the day was actually rostered as — the shift ids **and** their wall clocks,
+ * because editing a shift from 06:00 to 07:00 changes every day it appears on without changing an
+ * id anywhere.
+ */
+export function rosterFingerprint(day) {
+    const parts = day.shifts.map((s) => `${s.id}@${s.startTime}-${s.endTime}/${s.breakMinutes}/${s.graceInMinutes}/${s.graceOutMinutes}`);
+    return `${day.source}:${parts.join('+')}`;
+}
+/** The ceiling on a coverage grid's person-days — a hundred people for a six-week rotation. */
+export const MAX_COVERAGE_CELLS = 4200;
+/**
+ * Why a range is refused, as a sentence.
+ *
+ * A roster range is cheap to expand and expensive to send, and a coverage grid multiplies by the
+ * population of an office. Both refusals name the number asked for as well as the ceiling, because
+ * "too long" without either is a message somebody has to guess their way out of.
+ */
+export function rosterRefusal(input) {
+    if (input.to < input.from)
+        return `The end date ${input.to} is before the start date ${input.from}.`;
+    const days = daysBetween(input.from, input.to) + 1;
+    const max = input.coverage ? MAX_COVERAGE_DAYS : MAX_ROSTER_DAYS;
+    if (days > max)
+        return input.coverage
+            ? `A coverage grid covers at most ${max} days, and this one asks for ${days}. Ask for a shorter range.`
+            : `A roster covers at most ${max} days, and this one asks for ${days}. Ask for a shorter range.`;
+    if (input.coverage && input.population !== undefined) {
+        const cells = input.population * days;
+        if (cells > MAX_COVERAGE_CELLS)
+            return `${input.population} people over ${days} days is ${cells} person-days, and a coverage grid resolves at most ${MAX_COVERAGE_CELLS}. Ask for one office, or a shorter range.`;
+    }
+    return null;
+}
+export class RosterService {
+    /**
+     * Every shift in the workspace by id, **archived ones included**.
+     *
+     * A pattern and a stored override both point at a shift by id, so resolving only the live ones
+     * would silently empty out every rostered day that used a shift somebody archived last week —
+     * which reads as "nobody is working" rather than as "this shift is retired".
+     */
+    async shiftsById(tx, workspaceId) {
+        const rows = await tx.select().from(rosterShifts).where(eq(rosterShifts.workspaceId, workspaceId));
+        return new Map(rows.map((r) => [r.id, r]));
+    }
+    /**
+     * What each of `personIds` is rostered for on each of `dates`.
+     *
+     * One query per table for the whole population rather than one per person: a coverage grid over
+     * an office of eighty is otherwise 240 round trips for arithmetic that takes microseconds.
+     *
+     * `inArray` renders an expanded parameter list — `person_id in ($1, $2, …)`. That is deliberate
+     * and is not the same as binding one array: `= any($1::uuid[])` with drizzle expanding the array
+     * into a list produces `any(($1,$2)::uuid[])`, which Postgres rejects with 42846, "cannot cast
+     * type record to uuid[]".
+     */
+    async plan(tx, workspaceId, personIds, dates) {
+        const out = new Map();
+        if (!personIds.length || !dates.length)
+            return out;
+        const sorted = [...dates].sort();
+        const first = sorted[0];
+        const last = sorted[sorted.length - 1];
+        const ids = [...new Set(personIds)];
+        const assignments = await tx
+            .select()
+            .from(rosterAssignments)
+            .where(and(eq(rosterAssignments.workspaceId, workspaceId), inArray(rosterAssignments.personId, ids), lte(rosterAssignments.effectiveFrom, last), or(isNull(rosterAssignments.effectiveTo), gte(rosterAssignments.effectiveTo, first))));
+        const overrides = await tx
+            .select()
+            .from(rosterOverrides)
+            .where(and(eq(rosterOverrides.workspaceId, workspaceId), inArray(rosterOverrides.personId, ids), inArray(rosterOverrides.businessDate, [...new Set(sorted)])));
+        const patternIds = [...new Set(assignments.map((a) => a.patternId))];
+        const patternRows = patternIds.length
+            ? await tx
+                .select()
+                .from(rosterPatterns)
+                .where(and(eq(rosterPatterns.workspaceId, workspaceId), inArray(rosterPatterns.id, patternIds)))
+            : [];
+        const patterns = new Map(patternRows.map((p) => [p.id, { id: p.id, anchorDate: p.anchorDate, days: p.days ?? [] }]));
+        const shifts = await this.shiftsById(tx, workspaceId);
+        for (const personId of ids) {
+            const plan = rosterPlan({
+                dates,
+                assignments: assignments.filter((a) => a.personId === personId),
+                patterns,
+                overrides: overrides
+                    .filter((o) => o.personId === personId)
+                    .map((o) => ({ businessDate: o.businessDate, shiftIds: o.shiftIds ?? [], note: o.note })),
+            });
+            out.set(personId, plan.map((day) => ({
+                businessDate: day.businessDate,
+                // A shift id with no row behind it is dropped rather than rendered as a hole: the only
+                // way to produce one is to point a pattern at an id that was never a shift, and the
+                // procedures below refuse that on write.
+                shifts: day.shiftIds.flatMap((id) => {
+                    const shift = shifts.get(id);
+                    return shift ? [shift] : [];
+                }),
+                source: day.source,
+                note: day.note,
+            })));
+        }
+        return out;
+    }
+    /** One person over a contiguous range — the shape a roster screen asks for. */
+    async forPerson(tx, workspaceId, personId, from, to) {
+        const plan = await this.plan(tx, workspaceId, [personId], datesBetween(from, to));
+        return plan.get(personId) ?? [];
+    }
+    /**
+     * Refuse a pattern or an override that names a shift this workspace does not have.
+     *
+     * Checked on write rather than tolerated on read: a dangling id is invisible on the screen that
+     * created it and shows up weeks later as a person who is somehow rostered for nothing.
+     */
+    async assertShiftsExist(tx, workspaceId, shiftIds) {
+        const wanted = [...new Set(shiftIds)];
+        if (!wanted.length)
+            return;
+        const found = await tx
+            .select({ id: rosterShifts.id })
+            .from(rosterShifts)
+            .where(and(eq(rosterShifts.workspaceId, workspaceId), inArray(rosterShifts.id, wanted)));
+        const have = new Set(found.map((r) => r.id));
+        const missing = wanted.filter((id) => !have.has(id));
+        if (missing.length)
+            throw KernError.badRequest(missing.length === 1
+                ? `This roster names a shift this workspace does not have: ${missing[0]}.`
+                : `This roster names shifts this workspace does not have: ${missing.join(', ')}.`);
+    }
+}
+//# sourceMappingURL=rosters.js.map

package/dist/server/services/rosters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rosters.js","sourceRoot":"","sources":["../../../src/server/services/rosters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAW,MAAM,gBAAgB,CAAA;AACnD,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,MAAM,aAAa,CAAA;AAEpE,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAA;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAEvD,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,cAAc,CAAA;AAE/F;;;;;;;;;;;;;;GAcG;AAEH,gGAAgG;AAChG,gCAAgC;AAChC,gGAAgG;AAEhG;;;;;;;;;GASG;AACH,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAA6B,CAAA;IACzE,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACjC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,GAAG,CAAC,CAAA;IAClC,MAAM,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,GAAG,CAAA;IAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACtE,MAAM,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,CAAA;IACzE,OAAO,GAAG,GAAG,OAAO,GAAG,GAAG,GAAG,OAAO,CAAA;AACtC,CAAC;AAED,8EAA8E;AAC9E,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,EAAU,EAAU,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;AA4BhG;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CAC3B,OAAuD,EACvD,IAAY,EACZ,WAAW,GAAG,CAAC;IAEf,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAA;IAC/B,IAAI,GAAG,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,CAAA;IACvB,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,GAAG,WAAW,CAAA;IAC/D,OAAO,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,CAAA;AAClC,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,iBAAiB,CAC/B,OAAuD,EACvD,IAAY,EACZ,WAAW,GAAG,CAAC;IAEf,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,CAAA;IACvD,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,IAAI,CAAA;IAC1B,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AACzC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,WAAyB,EACzB,IAAY;IAEZ,IAAI,IAAI,GAAa,IAAI,CAAA;IACzB,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,aAAa,GAAG,IAAI;YAAE,SAAQ;QACpC,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI,IAAI,CAAC,CAAC,WAAW,GAAG,IAAI;YAAE,SAAQ;QAC5D,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,aAAa,GAAG,IAAI,CAAC,aAAa;YAAE,IAAI,GAAG,CAAC,CAAA;IAC7D,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,UAAU,CAAC,KAK1B;IACC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACvE,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,YAAY,EAAE,EAAE;QACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;QACzC,IAAI,QAAQ;YACV,OAAO;gBACL,YAAY;gBACZ,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC;gBAChC,MAAM,EAAE,UAAmB;gBAC3B,IAAI,EAAE,QAAQ,CAAC,IAAI;aACpB,CAAA;QACH,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,WAAW,EAAE,YAAY,CAAC,CAAA;QAChE,MAAM,OAAO,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QACjF,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QACnG,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAe,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;QAC5F,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,SAAkB,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;IAChF,CAAC,CAAC,CAAA;AACJ,CAAC;AAID,yFAAyF;AACzF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAqB,EAAa,EAAE,CAAC,CAAC;IAChE,KAAK,EAAE,KAAK,CAAC,SAAS;IACtB,GAAG,EAAE,KAAK,CAAC,OAAO;IAClB,YAAY,EAAE,KAAK,CAAC,YAAY;IAChC,cAAc,EAAE,KAAK,CAAC,cAAc;IACpC,eAAe,EAAE,KAAK,CAAC,eAAe;CACvC,CAAC,CAAA;AAEF;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAGjC;IACC,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAC1B,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,eAAe,EAAE,CACxG,CAAA;IACD,OAAO,GAAG,GAAG,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAA;AAC3C,CAAC;AAED,+FAA+F;AAC/F,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAA;AAEtC;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,KAK7B;IACC,IAAI,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI;QAAE,OAAO,gBAAgB,KAAK,CAAC,EAAE,6BAA6B,KAAK,CAAC,IAAI,GAAG,CAAA;IACpG,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAA;IAClD,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe,CAAA;IAChE,IAAI,IAAI,GAAG,GAAG;QACZ,OAAO,KAAK,CAAC,QAAQ;YACnB,CAAC,CAAC,kCAAkC,GAAG,gCAAgC,IAAI,4BAA4B;YACvG,CAAC,CAAC,2BAA2B,GAAG,gCAAgC,IAAI,4BAA4B,CAAA;IACpG,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,GAAG,IAAI,CAAA;QACrC,IAAI,KAAK,GAAG,kBAAkB;YAC5B,OAAO,GAAG,KAAK,CAAC,UAAU,gBAAgB,IAAI,YAAY,KAAK,sDAAsD,kBAAkB,2CAA2C,CAAA;IACtL,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAaD,MAAM,OAAO,aAAa;IACxB;;;;;;OAMG;IACH,KAAK,CAAC,UAAU,CAAC,EAAM,EAAE,WAAmB;QAC1C,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAA;QAClG,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAC5C,CAAC;IAED;;;;;;;;;;OAUG;IACH,KAAK,CAAC,IAAI,CACR,EAAM,EACN,WAAmB,EACnB,SAA4B,EAC5B,KAAwB;QAExB,MAAM,GAAG,GAAG,IAAI,GAAG,EAA+B,CAAA;QAClD,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,MAAM;YAAE,OAAO,GAAG,CAAA;QAElD,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAA;QAChC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAA;QACxB,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAE,CAAA;QACvC,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,CAAA;QAEnC,MAAM,WAAW,GAAG,MAAM,EAAE;aACzB,MAAM,EAAE;aACR,IAAI,CAAC,iBAAiB,CAAC;aACvB,KAAK,CACJ,GAAG,CACD,EAAE,CAAC,iBAAiB,CAAC,WAAW,EAAE,WAAW,CAAC,EAC9C,OAAO,CAAC,iBAAiB,CAAC,QAAQ,EAAE,GAAG,CAAC,EACxC,GAAG,CAAC,iBAAiB,CAAC,aAAa,EAAE,IAAI,CAAC,EAC1C,EAAE,CAAC,MAAM,CAAC,iBAAiB,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,CACrF,CACF,CAAA;QAEH,MAAM,SAAS,GAAG,MAAM,EAAE;aACvB,MAAM,EAAE;aACR,IAAI,CAAC,eAAe,CAAC;aACrB,KAAK,CACJ,GAAG,CACD,EAAE,CAAC,eAAe,CAAC,WAAW,EAAE,WAAW,CAAC,EAC5C,OAAO,CAAC,eAAe,CAAC,QAAQ,EAAE,GAAG,CAAC,EACtC,OAAO,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAC5D,CACF,CAAA;QAEH,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;QACpE,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM;YACnC,CAAC,CAAC,MAAM,EAAE;iBACL,MAAM,EAAE;iBACR,IAAI,CAAC,cAAc,CAAC;iBACpB,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,cAAc,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;YACpG,CAAC,CAAC,EAAE,CAAA;QACN,MAAM,QAAQ,GAAG,IAAI,GAAG,CACtB,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC,CAC3F,CAAA;QACD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,WAAW,CAAC,CAAA;QAErD,KAAK,MAAM,QAAQ,IAAI,GAAG,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,UAAU,CAAC;gBACtB,KAAK;gBACL,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC;gBAC/D,QAAQ;gBACR,SAAS,EAAE,SAAS;qBACjB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC;qBACtC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;aAC5F,CAAC,CAAA;YACF,GAAG,CAAC,GAAG,CACL,QAAQ,EACR,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBACjB,YAAY,EAAE,GAAG,CAAC,YAAY;gBAC9B,uFAAuF;gBACvF,oFAAoF;gBACpF,yCAAyC;gBACzC,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;oBAClC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;oBAC5B,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;gBAC7B,CAAC,CAAC;gBACF,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,IAAI,EAAE,GAAG,CAAC,IAAI;aACf,CAAC,CAAC,CACJ,CAAA;QACH,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC;IAED,+EAA+E;IAC/E,KAAK,CAAC,SAAS,CACb,EAAM,EACN,WAAmB,EACnB,QAAgB,EAChB,IAAY,EACZ,EAAU;QAEV,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAA;QACjF,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAA;IACjC,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,iBAAiB,CAAC,EAAM,EAAE,WAAmB,EAAE,QAA2B;QAC9E,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAA;QACrC,IAAI,CAAC,MAAM,CAAC,MAAM;YAAE,OAAM;QAC1B,MAAM,KAAK,GAAG,MAAM,EAAE;aACnB,MAAM,CAAC,EAAE,EAAE,EAAE,YAAY,CAAC,EAAE,EAAE,CAAC;aAC/B,IAAI,CAAC,YAAY,CAAC;aAClB,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,EAAE,WAAW,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;QAC1F,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAC5C,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;QACpD,IAAI,OAAO,CAAC,MAAM;YAChB,MAAM,SAAS,CAAC,UAAU,CACxB,OAAO,CAAC,MAAM,KAAK,CAAC;gBAClB,CAAC,CAAC,2DAA2D,OAAO,CAAC,CAAC,CAAC,GAAG;gBAC1E,CAAC,CAAC,0DAA0D,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACpF,CAAA;IACL,CAAC;CACF"}

package/migrations/0012_rosters.sql

@@ -0,0 +1,163 @@
+-- Rosters: which shift a person works on a **date**.
+--
+-- `schedules` is a week that repeats for ever, keyed by weekday name. That is the right shape for an
+-- office and cannot express a factory: 4-on-4-off has no weekly period at all, so there is no
+-- `ScheduleWeek` of any length that describes one. These four tables answer the calendar instead.
+--
+-- * `roster_shifts` — Early, Late, Night. Named rather than inlined into every rotation because
+--   coverage groups by it: "Early" in two rotations has to be one column of one grid.
+-- * `roster_patterns` — a rotation, as a cycle of days and the date `days[0]` falls on. `days` is an
+--   array of arrays of shift ids; an empty entry is a planned rest day and two entries is a split
+--   shift. The cycle length is `jsonb_array_length(days)` and is deliberately not a second column.
+-- * `roster_assignments` — a person on a rotation, effective-dated, with a `cycle_offset` that puts
+--   two crews on one rotation out of phase.
+-- * `roster_overrides` — one day that differs, and nothing else. The whole reason a roster is not a
+--   schedule: a schedule change rewrites every day after it, and somebody covering one Tuesday needs
+--   one Tuesday changed.
+--
+-- **Nothing is expanded into rows.** What somebody works on a date is arithmetic from the anchor,
+-- the offset and the cycle. Generating a year of shifts per person is what makes a roster impossible
+-- to change afterwards: moving a crew forward one day becomes a bulk rewrite of thousands of rows
+-- with no way left to tell which of them a human had already corrected.
+--
+-- Additive throughout — four new tables and no change to anything that exists — so the image before
+-- this one reads the schema unchanged and a rollback needs no dump.
+--
+-- Generated by drizzle-kit from `src/server/schema.ts` and then given `if not exists` on every
+-- statement, plus the two things drizzle cannot express: the exclusion constraint and the RLS
+-- blocks. Drizzle keys applied migrations by content hash, so editing any file in this folder
+-- replays every file in it — and a module migration that throws takes down every module in the host
+-- service at boot, not only this one.
+CREATE TABLE IF NOT EXISTS "mod_hr"."roster_assignments" (
+	"id" uuid PRIMARY KEY DEFAULT uuidv7() NOT NULL,
+	"workspace_id" uuid NOT NULL,
+	"person_id" uuid NOT NULL,
+	"pattern_id" uuid NOT NULL,
+	"effective_from" date NOT NULL,
+	"effective_to" date,
+	"cycle_offset" integer DEFAULT 0 NOT NULL,
+	"created_at" timestamp with time zone DEFAULT now() NOT NULL
+);
+--> statement-breakpoint
+CREATE TABLE IF NOT EXISTS "mod_hr"."roster_overrides" (
+	"id" uuid PRIMARY KEY DEFAULT uuidv7() NOT NULL,
+	"workspace_id" uuid NOT NULL,
+	"person_id" uuid NOT NULL,
+	"business_date" date NOT NULL,
+	"shift_ids" jsonb DEFAULT '[]'::jsonb NOT NULL,
+	"note" text,
+	"created_by" uuid,
+	"created_at" timestamp with time zone DEFAULT now() NOT NULL,
+	"updated_at" timestamp with time zone DEFAULT now() NOT NULL
+);
+--> statement-breakpoint
+CREATE TABLE IF NOT EXISTS "mod_hr"."roster_patterns" (
+	"id" uuid PRIMARY KEY DEFAULT uuidv7() NOT NULL,
+	"workspace_id" uuid NOT NULL,
+	"name" text NOT NULL,
+	"anchor_date" date NOT NULL,
+	"days" jsonb DEFAULT '[]'::jsonb NOT NULL,
+	"archived_at" timestamp with time zone,
+	"created_at" timestamp with time zone DEFAULT now() NOT NULL,
+	"updated_at" timestamp with time zone DEFAULT now() NOT NULL
+);
+--> statement-breakpoint
+CREATE TABLE IF NOT EXISTS "mod_hr"."roster_shifts" (
+	"id" uuid PRIMARY KEY DEFAULT uuidv7() NOT NULL,
+	"workspace_id" uuid NOT NULL,
+	"name" text NOT NULL,
+	"code" text,
+	"start_time" text NOT NULL,
+	"end_time" text NOT NULL,
+	"break_minutes" integer DEFAULT 0 NOT NULL,
+	"grace_in_minutes" integer DEFAULT 0 NOT NULL,
+	"grace_out_minutes" integer DEFAULT 0 NOT NULL,
+	"color" text,
+	"archived_at" timestamp with time zone,
+	"created_at" timestamp with time zone DEFAULT now() NOT NULL,
+	"updated_at" timestamp with time zone DEFAULT now() NOT NULL
+);
+--> statement-breakpoint
+CREATE INDEX IF NOT EXISTS "hr_roster_assign_idx" ON "mod_hr"."roster_assignments" USING btree ("workspace_id","person_id","effective_from");--> statement-breakpoint
+CREATE UNIQUE INDEX IF NOT EXISTS "hr_roster_override_uq" ON "mod_hr"."roster_overrides" USING btree ("workspace_id","person_id","business_date");--> statement-breakpoint
+CREATE INDEX IF NOT EXISTS "hr_roster_patterns_ws_idx" ON "mod_hr"."roster_patterns" USING btree ("workspace_id","archived_at");--> statement-breakpoint
+CREATE INDEX IF NOT EXISTS "hr_roster_shifts_ws_idx" ON "mod_hr"."roster_shifts" USING btree ("workspace_id","archived_at");--> statement-breakpoint
+
+-- ---------------------------------------------------------------------------------------------
+-- Two rotations may not be in force for one person on the same day.
+--
+-- The same constraint `schedule_assignments` waited five migrations for, and here from the day the
+-- table exists, because the failure it prevents is not theoretical: the resolver picks the
+-- assignment in force with `limit 1`, and with two rows in force it takes whichever the executor
+-- hands back first. On `schedule_assignments` that showed up as `scheduled_minutes` changing
+-- between one recomputation and the next on rows a locked payroll period had already been filed
+-- against — see 0006, which had to repair the data before it could add the constraint. There is
+-- nothing to repair here.
+--
+-- The `where` clause carries the same exception 0006 does: `daterange(from, to, '[]')` raises for a
+-- reversed pair rather than returning an empty range, so without it a backdated assignment would
+-- fail with a raw Postgres range error. Such a row is in force on no day at all — `inForceOn` needs
+-- `effective_from <= d` and `effective_to >= d` at once — so it cannot be the second rotation this
+-- constraint exists to prevent.
+--
+-- `add constraint` has no `if not exists`, hence the catalogue check. `btree_gist` is created in
+-- 0000, which is what lets a uuid sit beside a range under gist; a module reaching for a gist
+-- exclusion constraint without it fails on any clean database with "data type uuid has no default
+-- operator class", during the module's own migration, so the service does not start.
+do $$
+begin
+  if not exists (
+    select 1
+      from pg_constraint c
+      join pg_class t on t.oid = c.conrelid
+      join pg_namespace n on n.oid = t.relnamespace
+     where n.nspname = 'mod_hr'
+       and t.relname = 'roster_assignments'
+       and c.conname = 'hr_roster_assign_no_overlap'
+  ) then
+    alter table "mod_hr"."roster_assignments"
+      add constraint "hr_roster_assign_no_overlap"
+      exclude using gist (
+        "workspace_id" with =,
+        "person_id" with =,
+        daterange("effective_from", "effective_to", '[]') with &&
+      ) where ("effective_to" is null or "effective_to" >= "effective_from");
+  end if;
+end $$;--> statement-breakpoint
+
+-- ---------------------------------------------------------------------------------------------
+-- Row-level security for the four new tenant tables, in the same shape as 0001 and for the same
+-- reason: the API checks membership and permission first, and this is what is left when a query
+-- reaches the database another way. `create policy` has no `if not exists` at all, so each one is
+-- preceded by a `drop policy if exists` — without that pair, replaying this file throws.
+alter table "mod_hr"."roster_shifts" enable row level security;--> statement-breakpoint
+alter table "mod_hr"."roster_shifts" force row level security;--> statement-breakpoint
+drop policy if exists "roster_shifts_ws_isolation" on "mod_hr"."roster_shifts";
+--> statement-breakpoint
+create policy "roster_shifts_ws_isolation" on "mod_hr"."roster_shifts"
+  using (workspace_id::text = current_setting('app.workspace_id', true))
+  with check (workspace_id::text = current_setting('app.workspace_id', true));--> statement-breakpoint
+
+alter table "mod_hr"."roster_patterns" enable row level security;--> statement-breakpoint
+alter table "mod_hr"."roster_patterns" force row level security;--> statement-breakpoint
+drop policy if exists "roster_patterns_ws_isolation" on "mod_hr"."roster_patterns";
+--> statement-breakpoint
+create policy "roster_patterns_ws_isolation" on "mod_hr"."roster_patterns"
+  using (workspace_id::text = current_setting('app.workspace_id', true))
+  with check (workspace_id::text = current_setting('app.workspace_id', true));--> statement-breakpoint
+
+alter table "mod_hr"."roster_assignments" enable row level security;--> statement-breakpoint
+alter table "mod_hr"."roster_assignments" force row level security;--> statement-breakpoint
+drop policy if exists "roster_assignments_ws_isolation" on "mod_hr"."roster_assignments";
+--> statement-breakpoint
+create policy "roster_assignments_ws_isolation" on "mod_hr"."roster_assignments"
+  using (workspace_id::text = current_setting('app.workspace_id', true))
+  with check (workspace_id::text = current_setting('app.workspace_id', true));--> statement-breakpoint
+
+alter table "mod_hr"."roster_overrides" enable row level security;--> statement-breakpoint
+alter table "mod_hr"."roster_overrides" force row level security;--> statement-breakpoint
+drop policy if exists "roster_overrides_ws_isolation" on "mod_hr"."roster_overrides";
+--> statement-breakpoint
+create policy "roster_overrides_ws_isolation" on "mod_hr"."roster_overrides"
+  using (workspace_id::text = current_setting('app.workspace_id', true))
+  with check (workspace_id::text = current_setting('app.workspace_id', true));