things-api 0.16.0 → 0.18.0

package/dist/write/repeat-anchor.js

@@ -0,0 +1,403 @@
+/**
+ * The FIXED-recurrence DEFAULT-anchor law + the weekly-weekday derivation the
+ * promote verbs use (issue #476; evidence: docs/lab/anch2-next-field.md +
+ * anch1-repeat-anchor.md, golden-v2 / Things 3.22.12).
+ *
+ * DEFAULT LAW (ANCH1, still valid as the DEFAULT). Left untouched, the Repeat
+ * dialog's "Next:" field defaults the first occurrence to the next calendar match
+ * ON OR AFTER TODAY (interval-independent), and a weekday-less weekly rule
+ * defaults to SUNDAY. ANCH2 then showed the "Next:" field is EDITABLE and honored
+ * (docs/lab/anch2-next-field.md) — so the promote verbs DRIVE it with the item's
+ * scheduled date rather than refuse a wrong-phase series. This module no longer
+ * carries a phase-refusal (the ANCH1 `H-REPEAT-ANCHOR` premise — "no drivable
+ * first-occurrence control" — was false).
+ *
+ * What it still provides:
+ *  1. {@link deriveWeeklyWeekdays} — when a weekly rule omits `weekdays` but a
+ *     concrete anchor date is known, derive the recurring weekday FROM that date
+ *     so the series fires on the intended weekday (not the app's Sunday default).
+ *     Driving "Next:" fixes the FIRST occurrence; this fixes the recurring day.
+ *  2. {@link fixedSpawnPlan} — the DEFAULT spawn shape (used by the simulator
+ *     when no explicit first occurrence is requested): first occurrence = next
+ *     match ≥ today, an instance spawns only when today is itself an occurrence.
+ *
+ * Daily/weekly follow the probed default law; monthly/yearly keep the caller's
+ * today+interval model for the default (their default-anchor law is unprobed).
+ */
+import { addDaysIso } from "../model/dates.js";
+import { WD_TO_WEEKDAY, WEEKDAY_TO_WD } from "./repeat-rule.js";
+/** True iff `v` is a concrete `YYYY-MM-DD` date (not a list keyword / undefined). */
+export function isIsoDate(v) {
+    return typeof v === "string" && /^\d{4}-\d{2}-\d{2}$/.test(v);
+}
+/** Weekday of an ISO date, 0 = Sunday … 6 = Saturday (evaluated at UTC noon, tz-invariant). */
+export function weekdayOfIso(iso) {
+    const [y, m, d] = iso.split("-").map(Number);
+    return new Date(Date.UTC(y, m - 1, d, 12)).getUTCDay();
+}
+/** Whole days from `a` to `b` (b − a); negative when b precedes a. */
+export function daysBetweenIso(a, b) {
+    const [ay, am, ad] = a.split("-").map(Number);
+    const [by, bm, bd] = b.split("-").map(Number);
+    return Math.round((Date.UTC(by, bm - 1, bd) - Date.UTC(ay, am - 1, ad)) / 86_400_000);
+}
+/** The smallest date on or after `todayIso` whose weekday is `wd` (0 = Sunday). */
+function nextWeekdayOnOrAfter(todayIso, wd) {
+    const delta = (((wd - weekdayOfIso(todayIso)) % 7) + 7) % 7;
+    return addDaysIso(todayIso, delta);
+}
+/** The Sunday that starts the week containing `iso` (the app's weeks start Sunday). */
+function weekAnchorSunday(iso) {
+    return addDaysIso(iso, -weekdayOfIso(iso));
+}
+/** A true modulo (result always in [0, n)). */
+function mod(x, n) {
+    return ((x % n) + n) % n;
+}
+/** The rule's effective weekday numbers (explicit set, else the app's Sunday default). */
+function effectiveWds(rule) {
+    return rule.weekdays !== undefined && rule.weekdays.length > 0
+        ? rule.weekdays.map((w) => WEEKDAY_TO_WD[w])
+        : [0];
+}
+/**
+ * Whether `d` is on the active-week grid of a weekly rule anchored at `firstOcc`
+ * (weeks fire every `interval` weeks from the anchor's Sunday-week). Weekday match
+ * is checked separately.
+ */
+function weeklyActiveWeek(firstOcc, d, interval) {
+    const weeks = daysBetweenIso(weekAnchorSunday(firstOcc), weekAnchorSunday(d)) / 7;
+    return mod(weeks, interval) === 0;
+}
+/**
+ * When a WEEKLY rule omits its weekday set but a concrete anchor date is known,
+ * the weekday to drive explicitly (so the series fires on the anchor date's
+ * weekday, not the app's Sunday default). Returns `undefined` when nothing should
+ * change (non-weekly, weekdays already given, or no concrete anchor date).
+ */
+export function deriveWeeklyWeekdays(rule, anchorIso) {
+    if (rule.afterCompletion === true)
+        return undefined;
+    if (rule.frequency !== "weekly")
+        return undefined;
+    if (rule.weekdays !== undefined)
+        return undefined;
+    if (!isIsoDate(anchorIso))
+        return undefined;
+    return [WD_TO_WEEKDAY[weekdayOfIso(anchorIso)]];
+}
+/** The 1-based day-of-month of an ISO date. */
+function dayOfMonthIso(iso) {
+    return Number(iso.split("-")[2]);
+}
+/** The 1-based month of an ISO date. */
+function monthOfIso(iso) {
+    return Number(iso.split("-")[1]);
+}
+/**
+ * When a MONTHLY rule omits its day anchor but a concrete first-occurrence date
+ * is known, the day-of-month anchor to drive EXPLICITLY (so the series recurs on
+ * that day, not the Repeat dialog's untouched default). Returns `undefined` when
+ * nothing should change (non-monthly, an explicit anchor already given, or no
+ * concrete date). Mirrors {@link deriveWeeklyWeekdays} for the monthly unit —
+ * the same day-of-month the read-path decoder / composeOffsets derives from the
+ * occurrence date, so the derived anchor is byte-consistent with the rule blob.
+ */
+export function deriveMonthlyAnchor(rule, anchorIso) {
+    if (rule.afterCompletion === true)
+        return undefined;
+    if (rule.frequency !== "monthly")
+        return undefined;
+    if (rule.monthly !== undefined)
+        return undefined;
+    if (!isIsoDate(anchorIso))
+        return undefined;
+    return { day: dayOfMonthIso(anchorIso) };
+}
+/**
+ * When a YEARLY rule omits its month+day anchor but a concrete first-occurrence
+ * date is known, the {month, day} anchor to drive EXPLICITLY (so the series recurs
+ * on that month/day, not the dialog's untouched January-1 default — the ANCH2-c /
+ * issue #493 anchor-drop). Returns `undefined` when nothing should change
+ * (non-yearly, an explicit anchor already given, or no concrete date).
+ */
+export function deriveYearlyAnchor(rule, anchorIso) {
+    if (rule.afterCompletion === true)
+        return undefined;
+    if (rule.frequency !== "yearly")
+        return undefined;
+    if (rule.yearly !== undefined)
+        return undefined;
+    if (!isIsoDate(anchorIso))
+        return undefined;
+    return { month: monthOfIso(anchorIso), day: dayOfMonthIso(anchorIso) };
+}
+/**
+ * The date to drive into the Repeat dialog's "Next:" field for a rule whose
+ * `next` is the scheduled START (`--when`). A DEADLINED rule anchors on the
+ * DEADLINE — the dialog's "Next:" is the next deadline and the instance START =
+ * deadline − startDaysEarlier — so it is driven with `next + startDaysEarlier` and
+ * the app back-shifts the start to `next` (YANCH1 #493, golden-v3 probe: Next
+ * driven to a date with start-N lands the instance start N days earlier). A
+ * non-deadlined rule (or one with no concrete `next`) drives `next` verbatim.
+ * Returns `undefined` when `next` is absent/non-concrete.
+ */
+export function deadlineDriveNext(p) {
+    if (!isIsoDate(p.next))
+        return undefined;
+    const shift = p.deadline === true || (p.startDaysEarlier ?? 0) > 0 ? (p.startDaysEarlier ?? 0) : 0;
+    return addDaysIso(p.next, shift);
+}
+/**
+ * The calendar-anchor fields to drive EXPLICITLY for a fixed weekly/monthly/yearly
+ * rule when the caller supplied a concrete first-occurrence date but NO explicit
+ * anchor — each derived from that date by the SAME refIso law composeOffsets uses
+ * (weekly → weekday, monthly → day-of-month, yearly → month+day). Driving the
+ * anchor pop-ups makes the series RECUR on the intended calendar placement;
+ * leaving the anchor to the "Next:" first-occurrence field alone fixes only the
+ * FIRST occurrence and leaves the dialog's untouched default as the recurring rule
+ * (weekly → Sunday, monthly → 1st, yearly → January 1 — ANCH2 cell c / issue
+ * #493). Returns only the fields that need driving; an explicit anchor, an
+ * after-completion rule, daily, or no concrete date yields an empty patch. This
+ * completes the derive-and-drive family the weekly weekday-derivation began
+ * post-ANCH1 (decisions.md).
+ */
+export function deriveFixedAnchor(rule, anchorIso) {
+    const weekdays = deriveWeeklyWeekdays(rule, anchorIso);
+    const monthly = deriveMonthlyAnchor(rule, anchorIso);
+    const yearly = deriveYearlyAnchor(rule, anchorIso);
+    return {
+        ...(weekdays !== undefined && { weekdays }),
+        ...(monthly !== undefined && { monthly }),
+        ...(yearly !== undefined && { yearly }),
+    };
+}
+// ------------------------------------------------ off-rule first occurrence (DACON1)
+//
+// A concrete `--when` together with an EXPLICIT calendar anchor
+// (weekdays/monthly/yearly) can DISAGREE — the first occurrence lands off the
+// rule's grid. This is NOT an error by default: the Repeat dialog's "Next:" field
+// accepts an off-schedule first occurrence, so the series appears on `--when` the
+// first time and follows the anchor thereafter (e.g. `--weekdays wednesday --when
+// <a thursday>` = Thursday first, Wednesdays after). In DEADLINE mode `--when` is
+// the START and each occurrence is DUE `startDaysEarlier` days later; the anchor
+// names the DUE date, so the off-rule test compares the anchor against
+// `deadlineDriveNext` (= when + N, the deadline). `deriveFixedAnchor` covers the
+// NO-explicit-anchor case (anchor derived from `--when`, never off-rule).
+//
+// EMPIRICAL boundary (docs/lab/dacon1-deadline-contradiction.md, golden-v3 /
+// Things 3.22.14). The app HONORS an off-rule first for WEEKLY and YEARLY (cells
+// DC1/DC5, DC3/DC4: the typed `--when` lands verbatim as the first instance start,
+// the anchor drives the recurring grid). It does NOT for MONTHLY: the month row's
+// "Next:" field SNAPS to the anchor day (cell DC2: Next 08-10 with a day-20 anchor
+// committed 08-20, then the CLI's read-back rejected it, -2700). So an off-rule
+// first is EXPRESSIBLE for weekly/yearly (allowed + disclosed) and INEXPRESSIBLE
+// for monthly (fail-closed at validation rather than mid-drive).
+/** Days in the calendar month containing `iso`. */
+function daysInMonthOf(iso) {
+    const [y, m] = iso.split("-").map(Number);
+    return new Date(Date.UTC(y, m, 0)).getUTCDate(); // day 0 of month m+1 = last day of m
+}
+/** True iff `iso` is the last calendar day of its month. */
+function isLastDayOfMonth(iso) {
+    return dayOfMonthIso(iso) === daysInMonthOf(iso);
+}
+/** Which occurrence (1-based) of its own weekday `iso` is within its month. */
+function weekdayOrdinalInMonth(iso) {
+    return Math.floor((dayOfMonthIso(iso) - 1) / 7) + 1;
+}
+/** True iff `iso` is the LAST occurrence of its weekday in its month. */
+function isLastWeekdayInMonth(iso) {
+    return dayOfMonthIso(iso) + 7 > daysInMonthOf(iso);
+}
+/** Whether date `iso` lands on the monthly/yearly day-or-nth-weekday `anchor`. */
+function dateSatisfiesDayAnchor(iso, anchor) {
+    if ("day" in anchor) {
+        return anchor.day === "last" ? isLastDayOfMonth(iso) : dayOfMonthIso(iso) === anchor.day;
+    }
+    if (WEEKDAY_TO_WD[anchor.weekday] !== weekdayOfIso(iso))
+        return false;
+    return anchor.ordinal === "last"
+        ? isLastWeekdayInMonth(iso)
+        : weekdayOrdinalInMonth(iso) === anchor.ordinal;
+}
+/** "1st" | "2nd" | … | "5th" | "last" for an nth-weekday ordinal. */
+function ordinalWord(ordinal) {
+    if (ordinal === "last")
+        return "last";
+    return `${ordinal}${["th", "st", "nd", "rd", "th"][ordinal] ?? "th"}`;
+}
+/** Human phrase for a monthly/yearly day-or-nth-weekday anchor (surface copy). */
+function describeDayAnchor(anchor) {
+    if ("day" in anchor)
+        return anchor.day === "last" ? "the last day of the month" : `day ${anchor.day}`;
+    return `the ${ordinalWord(anchor.ordinal)} ${anchor.weekday}`;
+}
+/** The effective deadline back-shift (days) for the given params, mirroring {@link deadlineDriveNext}. */
+function anchorShiftDays(p) {
+    return p.deadline === true || (p.startDaysEarlier ?? 0) > 0 ? (p.startDaysEarlier ?? 0) : 0;
+}
+/** Whether `driveIso` lands on the explicit anchor of these params (deadline-shift date already applied). */
+function driveDateOnAnchor(p, driveIso) {
+    if (p.frequency === "weekly" && p.weekdays !== undefined && p.weekdays.length > 0) {
+        return p.weekdays.includes(WD_TO_WEEKDAY[weekdayOfIso(driveIso)]);
+    }
+    if (p.frequency === "monthly" && p.monthly !== undefined) {
+        return dateSatisfiesDayAnchor(driveIso, p.monthly);
+    }
+    if (p.frequency === "yearly" && p.yearly !== undefined) {
+        return monthOfIso(driveIso) === p.yearly.month && dateSatisfiesDayAnchor(driveIso, p.yearly);
+    }
+    return true; // no explicit anchor for this frequency ⇒ never off-rule (derived from --when)
+}
+/** The recurring-pattern phrase for the explicit anchor (the "thereafter" half of the disclosure). */
+function describeRulePattern(p) {
+    if (p.frequency === "weekly" && p.weekdays !== undefined) {
+        return `every ${p.weekdays.join(", ")}`;
+    }
+    if (p.frequency === "monthly" && p.monthly !== undefined) {
+        return `monthly on ${describeDayAnchor(p.monthly)}`;
+    }
+    if (p.frequency === "yearly" && p.yearly !== undefined) {
+        return `yearly in month ${p.yearly.month} on ${describeDayAnchor(p.yearly)}`;
+    }
+    return "the rule";
+}
+export function assessOffRuleFirst(p, preservedDeadlineOffset) {
+    if (p.afterCompletion === true)
+        return null;
+    if (!isIsoDate(p.next))
+        return null;
+    const driveIso = deadlineDriveNext(p);
+    if (driveIso === undefined)
+        return null;
+    if (driveDateOnAnchor(p, driveIso))
+        return null; // on-rule — the common case
+    const shift = anchorShiftDays(p);
+    // RSPA1-D: a reschedule that PRESERVES the template's existing deadline (the
+    // request carries no --deadline / --start-days-earlier) drives "Next:" verbatim
+    // (shift 0), but the app reads that driven date as the DUE date of the still-
+    // deadlined rule and back-shifts the START by the preserved offset. So the first
+    // occurrence APPEARS `preserved` days BEFORE --when and is DUE on --when — the
+    // inverse of the explicit-deadline case (where --when is the start and the due is
+    // `shift` days later). `assessOffRuleFirst` is otherwise deadline-shift-aware only
+    // via the params' own flags; the caller threads the pre-state template's offset so
+    // the disclosure states the true appear/due dates the app actually lands.
+    const preservedShift = shift === 0 && preservedDeadlineOffset != null ? Math.abs(preservedDeadlineOffset) : 0;
+    const pattern = describeRulePattern(p);
+    // MONTHLY off-rule first is INEXPRESSIBLE — the month row's "Next:" field snaps
+    // to the anchor day (dacon1-deadline-contradiction.md cell DC2). Fail closed at
+    // validation with the two nearest expressible alternatives. (When the deadline is
+    // preserved, --when IS the due date the anchor names, so the shift-0 hint — "set
+    // --when to a date on <anchor>" — is the correct guidance, exactly as here.)
+    if (p.frequency === "monthly") {
+        const onRuleHint = shift > 0
+            ? `set --when so that --when + ${shift} lands on ${describeDayAnchor(p.monthly)}`
+            : `set --when to a date on ${describeDayAnchor(p.monthly)}`;
+        return {
+            kind: "dishonored",
+            refusal: `a monthly rule cannot start off its anchor: the Repeat dialog snaps the first ` +
+                `occurrence to ${describeDayAnchor(p.monthly)}, so a first occurrence on ` +
+                `${p.next} would not hold. Either ${onRuleHint}, or omit the monthly anchor to take it ` +
+                `from --when.`,
+        };
+    }
+    // WEEKLY / YEARLY off-rule first is HONORED — allow + disclose both halves. The
+    // appear/due assignment depends on which deadline mode applies: an explicit
+    // deadline makes --when the START (due `shift` days later); a preserved deadline
+    // makes --when the DUE date (start `preservedShift` days earlier).
+    let appearsIso;
+    let dueIso;
+    let earlierDays;
+    if (shift > 0) {
+        appearsIso = p.next;
+        dueIso = addDaysIso(p.next, shift);
+        earlierDays = shift;
+    }
+    else if (preservedShift > 0) {
+        dueIso = p.next;
+        appearsIso = addDaysIso(p.next, -preservedShift);
+        earlierDays = preservedShift;
+    }
+    else {
+        appearsIso = p.next;
+        dueIso = null;
+        earlierDays = 0;
+    }
+    const dueClause = dueIso !== null ? `, due ${dueIso}` : "";
+    const ongoing = earlierDays > 0
+        ? `thereafter: ${pattern}, appearing ${earlierDays} day${earlierDays === 1 ? "" : "s"} earlier`
+        : `thereafter: ${pattern}`;
+    return {
+        kind: "honored",
+        disclosure: {
+            appearsIso,
+            dueIso,
+            message: `off-rule first occurrence — appears ${appearsIso}${dueClause}; ${ongoing}`,
+        },
+    };
+}
+/**
+ * The app's first occurrence of a FIXED daily/weekly rule = the next calendar
+ * match on or after today. `null` for after-completion (no calendar) or an
+ * unguarded frequency (monthly/yearly). Weekly uses `weekdays` (caller should
+ * pass the DERIVED set); with no weekdays it falls back to the app's Sunday default.
+ */
+export function fixedFirstOccurrence(rule, todayIso) {
+    if (rule.afterCompletion === true)
+        return null;
+    if (rule.frequency === "daily")
+        return todayIso; // every day is an occurrence
+    if (rule.frequency === "weekly") {
+        let best = null;
+        for (const wd of effectiveWds(rule)) {
+            const cand = nextWeekdayOnOrAfter(todayIso, wd);
+            if (best === null || daysBetweenIso(cand, best) > 0)
+                best = cand;
+        }
+        return best;
+    }
+    return null; // monthly/yearly: default anchor law unprobed — not guarded
+}
+/**
+ * The smallest occurrence STRICTLY AFTER today (the template's cursor,
+ * rt1_nextInstanceStartDate). Daily/weekly only. Returns `null` for other
+ * frequencies / after-completion.
+ */
+export function nextFixedOccurrenceAfter(rule, todayIso) {
+    if (rule.afterCompletion === true)
+        return null;
+    if (rule.frequency === "daily")
+        return addDaysIso(todayIso, Math.max(1, rule.interval));
+    if (rule.frequency === "weekly") {
+        const first = fixedFirstOccurrence(rule, todayIso);
+        if (first === null)
+            return null;
+        const wds = effectiveWds(rule);
+        const interval = Math.max(1, rule.interval);
+        let d = addDaysIso(todayIso, 1);
+        for (let i = 0; i < (interval + 2) * 7; i++) {
+            if (wds.includes(weekdayOfIso(d)) && weeklyActiveWeek(first, d, interval))
+                return d;
+            d = addDaysIso(d, 1);
+        }
+        return first; // unreachable in practice
+    }
+    return null;
+}
+export function fixedSpawnPlan(rule, todayIso) {
+    const first = fixedFirstOccurrence(rule, todayIso);
+    if (first === null) {
+        // Not a guarded frequency — degenerate plan (caller handles monthly/yearly).
+        return { refIso: todayIso, instanceStartIso: todayIso, cursorIso: todayIso, instanceCount: 1 };
+    }
+    const isToday = first === todayIso;
+    const cursor = isToday ? (nextFixedOccurrenceAfter(rule, todayIso) ?? first) : first;
+    return {
+        refIso: first,
+        instanceStartIso: isToday ? todayIso : null,
+        cursorIso: cursor,
+        instanceCount: isToday ? 1 : 0,
+    };
+}
+//# sourceMappingURL=repeat-anchor.js.map

package/dist/write/repeat-anchor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repeat-anchor.js","sourceRoot":"","sources":["../../src/write/repeat-anchor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,EAAE,UAAU,EAAgB,MAAM,mBAAmB,CAAC;AAQ7D,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEhE,qFAAqF;AACrF,MAAM,UAAU,SAAS,CAAC,CAAU;IAClC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,YAAY,CAAC,GAAY;IACvC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAA6B,CAAC;IACzE,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AACzD,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,cAAc,CAAC,CAAU,EAAE,CAAU;IACnD,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAA6B,CAAC;IAC1E,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAA6B,CAAC;IAC1E,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC;AACxF,CAAC;AAED,mFAAmF;AACnF,SAAS,oBAAoB,CAAC,QAAiB,EAAE,EAAU;IACzD,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IAC5D,OAAO,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AACrC,CAAC;AAED,uFAAuF;AACvF,SAAS,gBAAgB,CAAC,GAAY;IACpC,OAAO,UAAU,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,+CAA+C;AAC/C,SAAS,GAAG,CAAC,CAAS,EAAE,CAAS;IAC/B,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED,0FAA0F;AAC1F,SAAS,YAAY,CAAC,IAAwC;IAC5D,OAAO,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QAC5D,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACV,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,QAAiB,EAAE,CAAU,EAAE,QAAgB;IACvE,MAAM,KAAK,GAAG,cAAc,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAClF,OAAO,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;AACpC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAuF,EACvF,SAAqC;IAErC,IAAI,IAAI,CAAC,eAAe,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACpD,IAAI,IAAI,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,OAAO,CAAC,aAAa,CAAC,YAAY,CAAC,SAAS,CAAC,CAAY,CAAC,CAAC;AAC7D,CAAC;AAED,+CAA+C;AAC/C,SAAS,aAAa,CAAC,GAAY;IACjC,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnC,CAAC;AACD,wCAAwC;AACxC,SAAS,UAAU,CAAC,GAAY;IAC9B,OAAO,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAyE,EACzE,SAAqC;IAErC,IAAI,IAAI,CAAC,eAAe,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACpD,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACnD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACjD,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,OAAO,EAAE,GAAG,EAAE,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAwE,EACxE,SAAqC;IAErC,IAAI,IAAI,CAAC,eAAe,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IACpD,IAAI,IAAI,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAChD,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;AACzE,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAC/B,CAAmE;IAEnE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,KAAK,GACT,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,OAAO,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AACnC,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAGC,EACD,SAAqC;IAErC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,kBAAkB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACnD,OAAO;QACL,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC3C,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,CAAC;QACzC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC;AAED,sFAAsF;AACtF,EAAE;AACF,gEAAgE;AAChE,8EAA8E;AAC9E,kFAAkF;AAClF,kFAAkF;AAClF,kFAAkF;AAClF,kFAAkF;AAClF,iFAAiF;AACjF,uEAAuE;AACvE,iFAAiF;AACjF,0EAA0E;AAC1E,EAAE;AACF,6EAA6E;AAC7E,iFAAiF;AACjF,mFAAmF;AACnF,kFAAkF;AAClF,mFAAmF;AACnF,gFAAgF;AAChF,iFAAiF;AACjF,iEAAiE;AAEjE,mDAAmD;AACnD,SAAS,aAAa,CAAC,GAAY;IACjC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAA6B,CAAC;IACtE,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,qCAAqC;AACxF,CAAC;AAED,4DAA4D;AAC5D,SAAS,gBAAgB,CAAC,GAAY;IACpC,OAAO,aAAa,CAAC,GAAG,CAAC,KAAK,aAAa,CAAC,GAAG,CAAC,CAAC;AACnD,CAAC;AAED,+EAA+E;AAC/E,SAAS,qBAAqB,CAAC,GAAY;IACzC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AACtD,CAAC;AAED,yEAAyE;AACzE,SAAS,oBAAoB,CAAC,GAAY;IACxC,OAAO,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;AACrD,CAAC;AAED,kFAAkF;AAClF,SAAS,sBAAsB,CAAC,GAAY,EAAE,MAAqB;IACjE,IAAI,KAAK,IAAI,MAAM,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC;IAC3F,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,YAAY,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACtE,OAAO,MAAM,CAAC,OAAO,KAAK,MAAM;QAC9B,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC;QAC3B,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,OAAO,CAAC;AACpD,CAAC;AAED,qEAAqE;AACrE,SAAS,WAAW,CAAC,OAAuB;IAC1C,IAAI,OAAO,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IACtC,OAAO,GAAG,OAAO,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC;AACxE,CAAC;AAED,kFAAkF;AAClF,SAAS,iBAAiB,CAAC,MAAqB;IAC9C,IAAI,KAAK,IAAI,MAAM;QACjB,OAAO,MAAM,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC;IACnF,OAAO,OAAO,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;AAChE,CAAC;AAED,0GAA0G;AAC1G,SAAS,eAAe,CAAC,CAA0D;IACjF,OAAO,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,6GAA6G;AAC7G,SAAS,iBAAiB,CACxB,CAAsE,EACtE,QAAiB;IAEjB,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClF,OAAO,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAY,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACzD,OAAO,sBAAsB,CAAC,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACvD,OAAO,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,IAAI,sBAAsB,CAAC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAC/F,CAAC;IACD,OAAO,IAAI,CAAC,CAAC,+EAA+E;AAC9F,CAAC;AAED,sGAAsG;AACtG,SAAS,mBAAmB,CAC1B,CAAsE;IAEtE,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACzD,OAAO,SAAS,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAC1C,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACzD,OAAO,cAAc,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACvD,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,KAAK,OAAO,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IAC/E,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAsCD,MAAM,UAAU,kBAAkB,CAChC,CAAe,EACf,uBAAuC;IAEvC,IAAI,CAAC,CAAC,eAAe,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,iBAAiB,CAAC,CAAC,EAAE,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,4BAA4B;IAE7E,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IACjC,6EAA6E;IAC7E,gFAAgF;IAChF,8EAA8E;IAC9E,iFAAiF;IACjF,+EAA+E;IAC/E,kFAAkF;IAClF,mFAAmF;IACnF,mFAAmF;IACnF,0EAA0E;IAC1E,MAAM,cAAc,GAClB,KAAK,KAAK,CAAC,IAAI,uBAAuB,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzF,MAAM,OAAO,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAEvC,gFAAgF;IAChF,gFAAgF;IAChF,kFAAkF;IAClF,iFAAiF;IACjF,6EAA6E;IAC7E,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAC9B,MAAM,UAAU,GACd,KAAK,GAAG,CAAC;YACP,CAAC,CAAC,+BAA+B,KAAK,aAAa,iBAAiB,CAAC,CAAC,CAAC,OAAwB,CAAC,EAAE;YAClG,CAAC,CAAC,2BAA2B,iBAAiB,CAAC,CAAC,CAAC,OAAwB,CAAC,EAAE,CAAC;QACjF,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,OAAO,EACL,gFAAgF;gBAChF,iBAAiB,iBAAiB,CAAC,CAAC,CAAC,OAAwB,CAAC,6BAA6B;gBAC3F,GAAG,CAAC,CAAC,IAAI,2BAA2B,UAAU,0CAA0C;gBACxF,cAAc;SACjB,CAAC;IACJ,CAAC;IAED,gFAAgF;IAChF,4EAA4E;IAC5E,iFAAiF;IACjF,mEAAmE;IACnE,IAAI,UAAmB,CAAC;IACxB,IAAI,MAAsB,CAAC;IAC3B,IAAI,WAAmB,CAAC;IACxB,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC;QACpB,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnC,WAAW,GAAG,KAAK,CAAC;IACtB,CAAC;SAAM,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC;QAChB,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC;QACjD,WAAW,GAAG,cAAc,CAAC;IAC/B,CAAC;SAAM,CAAC;QACN,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC;QACpB,MAAM,GAAG,IAAI,CAAC;QACd,WAAW,GAAG,CAAC,CAAC;IAClB,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3D,MAAM,OAAO,GACX,WAAW,GAAG,CAAC;QACb,CAAC,CAAC,eAAe,OAAO,eAAe,WAAW,OAAO,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,UAAU;QAC/F,CAAC,CAAC,eAAe,OAAO,EAAE,CAAC;IAC/B,OAAO;QACL,IAAI,EAAE,SAAS;QACf,UAAU,EAAE;YACV,UAAU;YACV,MAAM;YACN,OAAO,EAAE,uCAAuC,UAAU,GAAG,SAAS,KAAK,OAAO,EAAE;SACrF;KACF,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAuF,EACvF,QAAiB;IAEjB,IAAI,IAAI,CAAC,eAAe,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,IAAI,CAAC,SAAS,KAAK,OAAO;QAAE,OAAO,QAAQ,CAAC,CAAC,6BAA6B;IAC9E,IAAI,IAAI,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;QAChC,IAAI,IAAI,GAAmB,IAAI,CAAC;QAChC,KAAK,MAAM,EAAE,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,oBAAoB,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAChD,IAAI,IAAI,KAAK,IAAI,IAAI,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;gBAAE,IAAI,GAAG,IAAI,CAAC;QACnE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC,CAAC,4DAA4D;AAC3E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CACtC,IAAuF,EACvF,QAAiB;IAEjB,IAAI,IAAI,CAAC,eAAe,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,IAAI,CAAC,SAAS,KAAK,OAAO;QAAE,OAAO,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxF,IAAI,IAAI,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QACnD,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAChC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,CAAC,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,QAAQ,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,gBAAgB,CAAC,KAAK,EAAE,CAAC,EAAE,QAAQ,CAAC;gBAAE,OAAO,CAAC,CAAC;YACpF,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvB,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,0BAA0B;IAC1C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAgBD,MAAM,UAAU,cAAc,CAC5B,IAAuF,EACvF,QAAiB;IAEjB,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACnD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,6EAA6E;QAC7E,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;IACjG,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,KAAK,QAAQ,CAAC;IACnC,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACrF,OAAO;QACL,MAAM,EAAE,KAAK;QACb,gBAAgB,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;QAC3C,SAAS,EAAE,MAAM;QACjB,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAC/B,CAAC;AACJ,CAAC"}

package/dist/write/repeat-asserts.d.ts

@@ -0,0 +1,28 @@
+import type { RepeatRuleParams } from "./operations.ts";
+import type { FieldAssertion } from "./verify/delta.ts";
+/** The full requested-rule vocabulary minus the target uuid. */
+export type RuleFields = Omit<RepeatRuleParams, "uuid">;
+export interface RuleAssertOptions {
+    /**
+     * Include the ANCH2 first-occurrence cursor assertion (`repeating.nextOccurrence`
+     * = rt1_nextInstanceStartDate) when `next` is requested. TRUE for
+     * reschedule-repeat — the cursor is driven into the EXISTING template in place
+     * with an on-rule `--when`, so a wrong-anchor drive is caught. FALSE for
+     * make-repeating / add-repeating: the cursor is the first RULE-ALIGNED occurrence
+     * ≥ today (ANCH1 spawn law), which coincides with the requested `--when` only
+     * when that date is on-rule AND future — an overdue seed or an off-rule `--when`
+     * makes the cursor legitimately differ. Those verbs instead verify (a) the rule
+     * BLOB anchor at full fidelity — the calendar anchor is asserted whether it was
+     * given explicitly or DERIVED from `--when` (YANCH1 #493: this is what catches a
+     * dropped January-1 / Sunday / 1st-of-month anchor), and (b) the driven FIRST
+     * occurrence (rt1_instanceCreationStartDate, verbatim even off-rule) through the
+     * dedicated post-drive check in promote-clone.ts — not the cursor.
+     */
+    includeCursor: boolean;
+}
+/**
+ * Build the full-fidelity expected-rule assertion set for a validated rule-params
+ * bag. The base three (type/unit/interval) are always emitted; every other field
+ * contributes only when requested (requested-fields-only law).
+ */
+export declare function expectedRuleAssertions(params: RuleFields, opts: RuleAssertOptions): FieldAssertion[];

package/dist/write/repeat-asserts.js

@@ -0,0 +1,169 @@
+/**
+ * FULL-FIDELITY expected-rule assertions for the rule-writing verbs
+ * (reschedule-repeat, make-repeating, add-repeating; to-do AND project).
+ *
+ * The idempotency precheck (pipeline.ts step 5a½) and the post-drive verify both
+ * ride the SAME {@link FieldAssertion} set an op's `expectedDelta` produces. When
+ * that set asserted only unit+interval (the RSIM5-era shallow subset), a
+ * reschedule that changed ONLY the monthly anchor / deadline offset / ends bound
+ * read back "already satisfied" and was skipped with a false idempotent-no-op —
+ * issue #491. This builder closes that class by construction: it maps the COMPLETE
+ * requested vocabulary onto assertions over the DECODED rule (decodeRecurrenceRule
+ * shapes) + the template's deadline column, never a raw blob/string compare.
+ *
+ * Two laws:
+ *  1. REQUESTED-FIELDS-ONLY. Only fields the caller actually set contribute an
+ *     assertion; the three base fields (type/unit/interval) are always asserted
+ *     (frequency+interval are required; the rule TYPE is meaningful even when
+ *     `afterCompletion` is defaulted). A bare `{frequency, interval}` reschedule
+ *     therefore never fails on an untouched anchor/ends/deadline — those keep
+ *     their existing don't-care semantics.
+ *  2. EXHAUSTIVE MAP. {@link RULE_ASSERT_MAP} is a `Record` over every key of the
+ *     rule vocabulary; each key is either an assert-producer or an explicit skip
+ *     carrying a written reason. Adding a field to {@link RepeatRuleParams} breaks
+ *     compilation here until it is consciously handled — a multi-consumer
+ *     vocabulary must never be hand-enumerated per consumer (decisions.md).
+ */
+import { anchorKeyOfOffsets, decodeOffsetEntry } from "../model/recurrence.js";
+import { composeRepeatRuleSpec } from "./recurrence-rule-blob.js";
+/** A never-used anchor reference: every anchor path that reaches the key builder
+ * carries an EXPLICIT anchor (weekdays/monthly/yearly present), so composeOffsets
+ * never falls back to deriving one from this date. */
+const ANCHOR_DUMMY_REF = "2000-01-01";
+/**
+ * The canonical, order-insensitive anchor key the DECODED rule would carry for
+ * these requested params — computed by composing the numeric offsets exactly as a
+ * write would and round-tripping them through the SAME per-offset decode the read
+ * path uses, so the expected key is byte-consistent with the observed one.
+ */
+function expectedAnchorKey(p) {
+    const spec = composeRepeatRuleSpec({ uuid: "", ...p }, ANCHOR_DUMMY_REF, 0);
+    return anchorKeyOfOffsets((spec.of ?? []).map((o) => decodeOffsetEntry(o)));
+}
+/**
+ * The Ends bound, per the RRX1 laws: ends-after sets the `rc` occurrence-count
+ * total and OMITS the end date; ends-on-date sets `ed` and no count; never = both
+ * null. Every arm asserts BOTH columns so a reschedule from one bound kind to
+ * another is fully discriminated (e.g. after→on-date must clear the count).
+ */
+function endsAsserts(ends) {
+    switch (ends.kind) {
+        case "never":
+            return [
+                { field: "repeating.rule.endDate", equals: null },
+                { field: "repeating.rule.occurrenceCount", equals: null },
+            ];
+        case "on-date":
+            return [
+                { field: "repeating.rule.endDate", equals: ends.date },
+                { field: "repeating.rule.occurrenceCount", equals: null },
+            ];
+        case "after":
+            return [
+                { field: "repeating.rule.occurrenceCount", equals: ends.count },
+                { field: "repeating.rule.endDate", equals: null },
+            ];
+        default: {
+            const exhaustive = ends;
+            throw new Error(`unknown ends bound ${JSON.stringify(exhaustive)}`);
+        }
+    }
+}
+/**
+ * EXHAUSTIVE over every key of the rule vocabulary. The mapped-type key set (`-?`
+ * makes each required) is what makes a newly added {@link RepeatRuleParams} field
+ * a COMPILE error until it earns an entry here.
+ */
+const RULE_ASSERT_MAP = {
+    frequency: {
+        kind: "assert",
+        always: true,
+        build: (p) => [{ field: "repeating.rule.unit", equals: p.frequency }],
+    },
+    interval: {
+        kind: "assert",
+        always: true,
+        build: (p) => [{ field: "repeating.rule.interval", equals: p.interval }],
+    },
+    afterCompletion: {
+        kind: "assert",
+        // The rule TYPE is always meaningful (an absent flag ⇒ a fixed schedule); a
+        // fixed→after-completion conversion leaves unit+interval unchanged, so without
+        // this the precheck could not tell the target had not yet been reached.
+        always: true,
+        build: (p) => [
+            {
+                field: "repeating.rule.type",
+                equals: p.afterCompletion === true ? "after-completion" : "fixed",
+            },
+        ],
+    },
+    weekdays: {
+        kind: "assert",
+        build: (p) => [{ field: "repeating.rule.anchorKey", equals: expectedAnchorKey(p) }],
+    },
+    monthly: {
+        kind: "assert",
+        build: (p) => [{ field: "repeating.rule.anchorKey", equals: expectedAnchorKey(p) }],
+    },
+    yearly: {
+        kind: "assert",
+        build: (p) => [{ field: "repeating.rule.anchorKey", equals: expectedAnchorKey(p) }],
+    },
+    ends: {
+        kind: "assert",
+        build: (p) => (p.ends === undefined ? [] : endsAsserts(p.ends)),
+    },
+    deadline: {
+        kind: "assert",
+        // A start-offset request also asserts a deadline: startDaysEarlier implies one
+        // (assertRepeatRule refuses startDaysEarlier with deadline:false).
+        when: (p) => p.deadline !== undefined || (p.startDaysEarlier ?? 0) > 0,
+        build: (p) => [
+            {
+                field: "repeating.deadlined",
+                equals: p.deadline === true || (p.startDaysEarlier ?? 0) > 0,
+            },
+        ],
+    },
+    startDaysEarlier: {
+        kind: "assert",
+        // ts = −startDaysEarlier on the decoded rule (a deadline-relative start offset).
+        build: (p) => [{ field: "repeating.rule.startOffsetDays", equals: -(p.startDaysEarlier ?? 0) }],
+    },
+    next: {
+        kind: "assert",
+        // The ANCH2 first-occurrence CURSOR (rt1_nextInstanceStartDate → nextOccurrence)
+        // — the first RULE-ALIGNED occurrence, which equals the requested `--when` only
+        // when that date is itself on-rule AND future. Gated by
+        // RuleAssertOptions.includeCursor (reschedule only) — see expectedRuleAssertions.
+        build: (p) => p.next === undefined ? [] : [{ field: "repeating.nextOccurrence", equals: p.next }],
+    },
+    reminder: {
+        kind: "skip",
+        reason: "not stored in the recurrence-rule blob (rt1_recurrenceRule) — 'Add reminders' sets a " +
+            "time-of-day on the SPAWNED INSTANCES, not on the rule (RRX1/ANCH2). It has no decoded-rule " +
+            "field to compare against, so it is verified through the instance reminder-byte path, not here.",
+    },
+};
+/**
+ * Build the full-fidelity expected-rule assertion set for a validated rule-params
+ * bag. The base three (type/unit/interval) are always emitted; every other field
+ * contributes only when requested (requested-fields-only law).
+ */
+export function expectedRuleAssertions(params, opts) {
+    const out = [];
+    for (const key of Object.keys(RULE_ASSERT_MAP)) {
+        // The cursor is a reschedule-only expectation (see RuleAssertOptions).
+        if (key === "next" && !opts.includeCursor)
+            continue;
+        const spec = RULE_ASSERT_MAP[key];
+        if (spec.kind === "skip")
+            continue;
+        const present = spec.when !== undefined ? spec.when(params) : params[key] !== undefined;
+        if (present || spec.always === true)
+            out.push(...spec.build(params));
+    }
+    return out;
+}
+//# sourceMappingURL=repeat-asserts.js.map

package/dist/write/repeat-asserts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repeat-asserts.js","sourceRoot":"","sources":["../../src/write/repeat-asserts.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAE/E,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AA0BlE;;sDAEsD;AACtD,MAAM,gBAAgB,GAAG,YAAuB,CAAC;AAEjD;;;;;GAKG;AACH,SAAS,iBAAiB,CAAC,CAAa;IACtC,MAAM,IAAI,GAAG,qBAAqB,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC;IAC5E,OAAO,kBAAkB,CACvB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAA4B,CAAC,CAAC,CAC5E,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAAC,IAAgB;IACnC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO;YACV,OAAO;gBACL,EAAE,KAAK,EAAE,wBAAwB,EAAE,MAAM,EAAE,IAAI,EAAE;gBACjD,EAAE,KAAK,EAAE,gCAAgC,EAAE,MAAM,EAAE,IAAI,EAAE;aAC1D,CAAC;QACJ,KAAK,SAAS;YACZ,OAAO;gBACL,EAAE,KAAK,EAAE,wBAAwB,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE;gBACtD,EAAE,KAAK,EAAE,gCAAgC,EAAE,MAAM,EAAE,IAAI,EAAE;aAC1D,CAAC;QACJ,KAAK,OAAO;YACV,OAAO;gBACL,EAAE,KAAK,EAAE,gCAAgC,EAAE,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE;gBAC/D,EAAE,KAAK,EAAE,wBAAwB,EAAE,MAAM,EAAE,IAAI,EAAE;aAClD,CAAC;QACJ,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,IAAI,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,eAAe,GAAmD;IACtE,SAAS,EAAE;QACT,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,IAAI;QACZ,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,qBAAqB,EAAE,MAAM,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC;KACtE;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,IAAI;QACZ,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,yBAAyB,EAAE,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;KACzE;IACD,eAAe,EAAE;QACf,IAAI,EAAE,QAAQ;QACd,4EAA4E;QAC5E,+EAA+E;QAC/E,wEAAwE;QACxE,MAAM,EAAE,IAAI;QACZ,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;YACZ;gBACE,KAAK,EAAE,qBAAqB;gBAC5B,MAAM,EAAE,CAAC,CAAC,eAAe,KAAK,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO;aAClE;SACF;KACF;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,0BAA0B,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;KACpF;IACD,OAAO,EAAE;QACP,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,0BAA0B,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;KACpF;IACD,MAAM,EAAE;QACN,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,0BAA0B,EAAE,MAAM,EAAE,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;KACpF;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KAChE;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,QAAQ;QACd,+EAA+E;QAC/E,mEAAmE;QACnE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,GAAG,CAAC;QACtE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;YACZ;gBACE,KAAK,EAAE,qBAAqB;gBAC5B,MAAM,EAAE,CAAC,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,GAAG,CAAC;aAC7D;SACF;KACF;IACD,gBAAgB,EAAE;QAChB,IAAI,EAAE,QAAQ;QACd,iFAAiF;QACjF,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,gCAAgC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC;KAChG;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,QAAQ;QACd,iFAAiF;QACjF,gFAAgF;QAChF,wDAAwD;QACxD,kFAAkF;QAClF,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CACX,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,0BAA0B,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;KACtF;IACD,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM;QACZ,MAAM,EACJ,uFAAuF;YACvF,6FAA6F;YAC7F,gGAAgG;KACnG;CACF,CAAC;AAqBF;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACpC,MAAkB,EAClB,IAAuB;IAEvB,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,eAAe,CAAyB,EAAE,CAAC;QACvE,uEAAuE;QACvE,IAAI,GAAG,KAAK,MAAM,IAAI,CAAC,IAAI,CAAC,aAAa;YAAE,SAAS;QACpD,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACnC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;QACxF,IAAI,OAAO,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}