@northguild/gmt 1.15.0 → 1.16.0

package/dist/plain/interval/intervalsOverlapTime.d.ts

@@ -1,19 +1,24 @@
 /**
- * Return true when intervals `[aStart, aEnd]` and `[bStart, bEnd]` share at least one instant.
+ * Return true when the half-open time intervals `[aStart, aEnd)` and `[bStart, bEnd)` share at
+ * least one clock time.
  *
+ * - Half-open: an interval holds every `t` with `start <= t < end`, so `end` itself is not in it
+ *   (the rule CORE-6's `intervalsOverlap` uses). The test is `aStart < bEnd && bStart < aEnd`.
+ * - Touching intervals (`aEnd` equal to `bStart`) share no time and do not overlap.
+ * - An empty interval (`start === end`) overlaps only an interval it lies strictly inside.
+ * - PlainTime has no day rollover: an interval never wraps past midnight.
  * - Uses `Temporal.PlainTime.compare` for comparison.
- * - Adjacent intervals (e.g. `aEnd === bStart`) do NOT overlap — returns `false`.
  * - Returns `false` if either interval is invalid (`start > end`).
  * - Returns `false` on invalid input (wrong type, malformed strings).
  *
  * @param aStart ISO 8601 time string for the first interval start
- * @param aEnd ISO 8601 time string for the first interval end
+ * @param aEnd ISO 8601 time string for the first interval end (excluded)
  * @param bStart ISO 8601 time string for the second interval start
- * @param bEnd ISO 8601 time string for the second interval end
+ * @param bEnd ISO 8601 time string for the second interval end (excluded)
  * @returns true if intervals overlap, or false on invalid input
  *
  * @example intervalsOverlapTime("09:00:00", "17:00:00", "12:00:00", "18:00:00") // true
- * @example intervalsOverlapTime("09:00:00", "17:00:00", "17:00:00", "18:00:00") // false (adjacent)
+ * @example intervalsOverlapTime("09:00:00", "17:00:00", "17:00:00", "18:00:00") // false (touching)
  * @example intervalsOverlapTime("09:00:00", "17:00:00", "18:00:00", "20:00:00") // false (disjoint)
  * @example intervalsOverlapTime("09:00:00", "17:00:00", "10:00:00", "11:00:00") // true (contained)
  * @example intervalsOverlapTime("invalid", "17:00:00", "12:00:00", "18:00:00") // false

package/dist/plain/interval/intervalsOverlapTime.js

@@ -1,21 +1,28 @@
+// fallow-ignore-file code-duplication -- sibling variant keeps its own guard, parse and try/catch, by design
 import { Temporal } from "@js-temporal/polyfill";
-import { plainTime } from "../../regex/index.js";
+import { halfOpenOverlap } from "../../internal/index.js";
+import { isValidTime } from "../validate/index.js";
 /**
- * Return true when intervals `[aStart, aEnd]` and `[bStart, bEnd]` share at least one instant.
+ * Return true when the half-open time intervals `[aStart, aEnd)` and `[bStart, bEnd)` share at
+ * least one clock time.
  *
+ * - Half-open: an interval holds every `t` with `start <= t < end`, so `end` itself is not in it
+ *   (the rule CORE-6's `intervalsOverlap` uses). The test is `aStart < bEnd && bStart < aEnd`.
+ * - Touching intervals (`aEnd` equal to `bStart`) share no time and do not overlap.
+ * - An empty interval (`start === end`) overlaps only an interval it lies strictly inside.
+ * - PlainTime has no day rollover: an interval never wraps past midnight.
  * - Uses `Temporal.PlainTime.compare` for comparison.
- * - Adjacent intervals (e.g. `aEnd === bStart`) do NOT overlap — returns `false`.
  * - Returns `false` if either interval is invalid (`start > end`).
  * - Returns `false` on invalid input (wrong type, malformed strings).
  *
  * @param aStart ISO 8601 time string for the first interval start
- * @param aEnd ISO 8601 time string for the first interval end
+ * @param aEnd ISO 8601 time string for the first interval end (excluded)
  * @param bStart ISO 8601 time string for the second interval start
- * @param bEnd ISO 8601 time string for the second interval end
+ * @param bEnd ISO 8601 time string for the second interval end (excluded)
  * @returns true if intervals overlap, or false on invalid input
  *
  * @example intervalsOverlapTime("09:00:00", "17:00:00", "12:00:00", "18:00:00") // true
- * @example intervalsOverlapTime("09:00:00", "17:00:00", "17:00:00", "18:00:00") // false (adjacent)
+ * @example intervalsOverlapTime("09:00:00", "17:00:00", "17:00:00", "18:00:00") // false (touching)
  * @example intervalsOverlapTime("09:00:00", "17:00:00", "18:00:00", "20:00:00") // false (disjoint)
  * @example intervalsOverlapTime("09:00:00", "17:00:00", "10:00:00", "11:00:00") // true (contained)
  * @example intervalsOverlapTime("invalid", "17:00:00", "12:00:00", "18:00:00") // false
@@ -27,10 +34,10 @@ export function intervalsOverlapTime(aStart, aEnd, bStart, bEnd) {
         typeof bEnd !== "string") {
         return false;
     }
-    if (!plainTime.test(aStart) ||
-        !plainTime.test(aEnd) ||
-        !plainTime.test(bStart) ||
-        !plainTime.test(bEnd)) {
+    if (!isValidTime(aStart) ||
+        !isValidTime(aEnd) ||
+        !isValidTime(bStart) ||
+        !isValidTime(bEnd)) {
         return false;
     }
     try {
@@ -44,8 +51,7 @@ export function intervalsOverlapTime(aStart, aEnd, bStart, bEnd) {
         if (Temporal.PlainTime.compare(bS, bE) > 0) {
             return false;
         }
-        return (Temporal.PlainTime.compare(aE, bS) >= 0 &&
-            Temporal.PlainTime.compare(bE, aS) >= 0);
+        return halfOpenOverlap({ start: aS, end: aE }, { start: bS, end: bE }, Temporal.PlainTime.compare);
     }
     catch {
         return false;

package/dist/plain/interval/mergeIntervalsDate.d.ts

@@ -2,14 +2,17 @@
  * Collapse a list of date intervals into the minimum set of non-overlapping intervals.
  *
  * - List-form generalization of `intervalUnionDate`, which is pairwise only.
- * - Intervals are merged when they overlap or share an endpoint exactly (adjacent intervals,
- *   e.g. `aEnd === bStart`, ARE merged — same rule as `intervalUnionDate`).
+ * - Half-open: an interval holds every `t` with `start <= t < end`. Overlapping intervals and
+ *   touching intervals (`aEnd === bStart`) join into one run; any gap, even one unit, keeps them
+ *   apart (CORE-6's `mergeIntervals`).
+ * - An empty interval (`start === end`) holds nothing: it is absorbed by a run it touches or lies
+ *   in, and dropped otherwise, so every returned interval is non-empty.
  * - Order of the input list does not matter; the result is sorted by start.
  * - Returns `[]` for an empty list.
  * - Returns `[]` when `intervals` is not an array, when any element is not a
  *   `{ start, end }` record of valid ISO PlainDate strings, or when any element has
  *   `start > end`.
- * - Accepts GMT calendar-annotated PlainDate strings — E5 (issue #78). Since the result is
+ * - Accepts RFC 9557 calendar-annotated PlainDate strings — E5 (issue #78). Since the result is
  *   date *values*, every `start`/`end` across the whole list must carry the *same* calendar tag
  *   (or all be bare ISO); any mismatch returns `[]` (E5 decision of record D4).
  *
@@ -17,8 +20,9 @@
  * @returns the minimum set of non-overlapping `{ start, end }` records, sorted by start, or `[]` on invalid input / mismatched calendars
  *
  * @example mergeIntervalsDate([{ start: "2024-01-01", end: "2024-01-10" }, { start: "2024-01-05", end: "2024-01-15" }]) // [{ start: "2024-01-01", end: "2024-01-15" }]
- * @example mergeIntervalsDate([{ start: "2024-01-01", end: "2024-01-10" }, { start: "2024-01-10", end: "2024-01-20" }]) // [{ start: "2024-01-01", end: "2024-01-20" }] (adjacent, merged)
- * @example mergeIntervalsDate([{ start: "2024-01-01", end: "2024-01-05" }, { start: "2024-01-10", end: "2024-01-15" }]) // [{ start: "2024-01-01", end: "2024-01-05" }, { start: "2024-01-10", end: "2024-01-15" }] (disjoint)
+ * @example mergeIntervalsDate([{ start: "2024-01-01", end: "2024-01-10" }, { start: "2024-01-10", end: "2024-01-20" }]) // [{ start: "2024-01-01", end: "2024-01-20" }] (touching)
+ * @example mergeIntervalsDate([{ start: "2024-01-01", end: "2024-01-05" }, { start: "2024-01-06", end: "2024-01-10" }]) // [{ start: "2024-01-01", end: "2024-01-05" }, { start: "2024-01-06", end: "2024-01-10" }] (01-05 is in neither)
+ * @example mergeIntervalsDate([{ start: "2024-01-01", end: "2024-01-01" }]) // [] (empty interval)
  * @example mergeIntervalsDate([]) // []
  * @example mergeIntervalsDate([{ start: "2024-01-10", end: "2024-01-01" }]) // []
  */

package/dist/plain/interval/mergeIntervalsDate.js

@@ -1,18 +1,21 @@
 import { Temporal } from "@js-temporal/polyfill";
-import { calendarOfAllDateValues, formatDateInCalendar, parseCalendarDateValue, } from "../../internal/index.js";
+import { calendarOfAllDateValues, formatDateInCalendar, halfOpenMerge, parseCalendarDateValue, } from "../../internal/index.js";
 import { isValidDateInterval } from "./validate/index.js";
 /**
  * Collapse a list of date intervals into the minimum set of non-overlapping intervals.
  *
  * - List-form generalization of `intervalUnionDate`, which is pairwise only.
- * - Intervals are merged when they overlap or share an endpoint exactly (adjacent intervals,
- *   e.g. `aEnd === bStart`, ARE merged — same rule as `intervalUnionDate`).
+ * - Half-open: an interval holds every `t` with `start <= t < end`. Overlapping intervals and
+ *   touching intervals (`aEnd === bStart`) join into one run; any gap, even one unit, keeps them
+ *   apart (CORE-6's `mergeIntervals`).
+ * - An empty interval (`start === end`) holds nothing: it is absorbed by a run it touches or lies
+ *   in, and dropped otherwise, so every returned interval is non-empty.
  * - Order of the input list does not matter; the result is sorted by start.
  * - Returns `[]` for an empty list.
  * - Returns `[]` when `intervals` is not an array, when any element is not a
  *   `{ start, end }` record of valid ISO PlainDate strings, or when any element has
  *   `start > end`.
- * - Accepts GMT calendar-annotated PlainDate strings — E5 (issue #78). Since the result is
+ * - Accepts RFC 9557 calendar-annotated PlainDate strings — E5 (issue #78). Since the result is
  *   date *values*, every `start`/`end` across the whole list must carry the *same* calendar tag
  *   (or all be bare ISO); any mismatch returns `[]` (E5 decision of record D4).
  *
@@ -20,48 +23,44 @@ import { isValidDateInterval } from "./validate/index.js";
  * @returns the minimum set of non-overlapping `{ start, end }` records, sorted by start, or `[]` on invalid input / mismatched calendars
  *
  * @example mergeIntervalsDate([{ start: "2024-01-01", end: "2024-01-10" }, { start: "2024-01-05", end: "2024-01-15" }]) // [{ start: "2024-01-01", end: "2024-01-15" }]
- * @example mergeIntervalsDate([{ start: "2024-01-01", end: "2024-01-10" }, { start: "2024-01-10", end: "2024-01-20" }]) // [{ start: "2024-01-01", end: "2024-01-20" }] (adjacent, merged)
- * @example mergeIntervalsDate([{ start: "2024-01-01", end: "2024-01-05" }, { start: "2024-01-10", end: "2024-01-15" }]) // [{ start: "2024-01-01", end: "2024-01-05" }, { start: "2024-01-10", end: "2024-01-15" }] (disjoint)
+ * @example mergeIntervalsDate([{ start: "2024-01-01", end: "2024-01-10" }, { start: "2024-01-10", end: "2024-01-20" }]) // [{ start: "2024-01-01", end: "2024-01-20" }] (touching)
+ * @example mergeIntervalsDate([{ start: "2024-01-01", end: "2024-01-05" }, { start: "2024-01-06", end: "2024-01-10" }]) // [{ start: "2024-01-01", end: "2024-01-05" }, { start: "2024-01-06", end: "2024-01-10" }] (01-05 is in neither)
+ * @example mergeIntervalsDate([{ start: "2024-01-01", end: "2024-01-01" }]) // [] (empty interval)
  * @example mergeIntervalsDate([]) // []
  * @example mergeIntervalsDate([{ start: "2024-01-10", end: "2024-01-01" }]) // []
  */
 export function mergeIntervalsDate(intervals) {
-    if (!Array.isArray(intervals) || intervals.length === 0) {
-        return [];
-    }
-    if (!intervals.every((interval) => interval &&
-        typeof interval === "object" &&
-        isValidDateInterval(interval.start, interval.end))) {
-        return [];
-    }
-    const calendar = calendarOfAllDateValues(intervals.flatMap((interval) => [interval.start, interval.end]));
-    if (!calendar) {
-        return [];
-    }
     try {
-        const parsed = intervals.map((interval) => ({
-            start: parseCalendarDateValue(interval.start),
-            end: parseCalendarDateValue(interval.end),
-        }));
-        parsed.sort((a, b) => Temporal.PlainDate.compare(a.start, b.start));
-        const merged = [];
-        for (const interval of parsed) {
-            const last = merged[merged.length - 1];
-            if (last && Temporal.PlainDate.compare(interval.start, last.end) <= 0) {
-                if (Temporal.PlainDate.compare(interval.end, last.end) > 0) {
-                    last.end = interval.end;
-                }
-            }
-            else {
-                merged.push({ start: interval.start, end: interval.end });
-            }
+        if (!Array.isArray(intervals) || intervals.length === 0) {
+            return [];
+        }
+        if (!intervals.every((interval) => interval &&
+            typeof interval === "object" &&
+            isValidDateInterval(interval.start, interval.end))) {
+            return [];
+        }
+        const calendar = calendarOfAllDateValues(intervals.flatMap((interval) => [interval.start, interval.end]));
+        if (!calendar) {
+            return [];
+        }
+        try {
+            const parsed = intervals.map((interval) => ({
+                start: parseCalendarDateValue(interval.start),
+                end: parseCalendarDateValue(interval.end),
+            }));
+            const merged = halfOpenMerge(parsed, Temporal.PlainDate.compare);
+            return merged.map((interval) => ({
+                start: formatDateInCalendar(interval.start, calendar),
+                end: formatDateInCalendar(interval.end, calendar),
+            }));
+        }
+        catch {
+            return [];
         }
-        return merged.map((interval) => ({
-            start: formatDateInCalendar(interval.start, calendar),
-            end: formatDateInCalendar(interval.end, calendar),
-        }));
     }
     catch {
+        // Never throws (Core Rule 3): a hostile
+        // argument is invalid input, not an exception.
         return [];
     }
 }

package/dist/plain/interval/mergeIntervalsDateTime.d.ts

@@ -2,8 +2,11 @@
  * Collapse a list of datetime intervals into the minimum set of non-overlapping intervals.
  *
  * - List-form generalization of `intervalUnionDateTime`, which is pairwise only.
- * - Intervals are merged when they overlap or share an endpoint exactly (adjacent intervals
- *   ARE merged).
+ * - Half-open: an interval holds every `t` with `start <= t < end`. Overlapping intervals and
+ *   touching intervals (`aEnd === bStart`) join into one run; any gap, even one unit, keeps them
+ *   apart (CORE-6's `mergeIntervals`).
+ * - An empty interval (`start === end`) holds nothing: it is absorbed by a run it touches or lies
+ *   in, and dropped otherwise, so every returned interval is non-empty.
  * - Order of the input list does not matter; the result is sorted by start.
  * - Returns `[]` for an empty list.
  * - Returns `[]` when `intervals` is not an array, when any element is not a
@@ -13,7 +16,8 @@
  * @param intervals array of `{ start, end }` records
  * @returns the minimum set of non-overlapping `{ start, end }` records, sorted by start, or `[]` on invalid input
  *
- * @example mergeIntervalsDateTime([{ start: "2024-01-01T00:00:00", end: "2024-01-10T00:00:00" }, { start: "2024-01-05T00:00:00", end: "2024-01-15T00:00:00" }]) // [{ start: "2024-01-01T00:00:00", end: "2024-01-15T00:00:00" }]
+ * @example mergeIntervalsDateTime([{ start: "2024-01-01T00:00:00", end: "2024-01-10T00:00:00" }, { start: "2024-01-10T00:00:00", end: "2024-01-15T00:00:00" }]) // [{ start: "2024-01-01T00:00:00", end: "2024-01-15T00:00:00" }] (touching)
+ * @example mergeIntervalsDateTime([{ start: "2024-01-01T00:00:00", end: "2024-01-01T00:00:00" }]) // [] (empty interval)
  * @example mergeIntervalsDateTime([]) // []
  * @example mergeIntervalsDateTime([{ start: "2024-01-10T00:00:00", end: "2024-01-01T00:00:00" }]) // []
  */

package/dist/plain/interval/mergeIntervalsDateTime.js

@@ -1,11 +1,15 @@
 import { Temporal } from "@js-temporal/polyfill";
+import { halfOpenMerge } from "../../internal/index.js";
 import { isValidDateTimeInterval } from "./validate/index.js";
 /**
  * Collapse a list of datetime intervals into the minimum set of non-overlapping intervals.
  *
  * - List-form generalization of `intervalUnionDateTime`, which is pairwise only.
- * - Intervals are merged when they overlap or share an endpoint exactly (adjacent intervals
- *   ARE merged).
+ * - Half-open: an interval holds every `t` with `start <= t < end`. Overlapping intervals and
+ *   touching intervals (`aEnd === bStart`) join into one run; any gap, even one unit, keeps them
+ *   apart (CORE-6's `mergeIntervals`).
+ * - An empty interval (`start === end`) holds nothing: it is absorbed by a run it touches or lies
+ *   in, and dropped otherwise, so every returned interval is non-empty.
  * - Order of the input list does not matter; the result is sorted by start.
  * - Returns `[]` for an empty list.
  * - Returns `[]` when `intervals` is not an array, when any element is not a
@@ -15,44 +19,39 @@ import { isValidDateTimeInterval } from "./validate/index.js";
  * @param intervals array of `{ start, end }` records
  * @returns the minimum set of non-overlapping `{ start, end }` records, sorted by start, or `[]` on invalid input
  *
- * @example mergeIntervalsDateTime([{ start: "2024-01-01T00:00:00", end: "2024-01-10T00:00:00" }, { start: "2024-01-05T00:00:00", end: "2024-01-15T00:00:00" }]) // [{ start: "2024-01-01T00:00:00", end: "2024-01-15T00:00:00" }]
+ * @example mergeIntervalsDateTime([{ start: "2024-01-01T00:00:00", end: "2024-01-10T00:00:00" }, { start: "2024-01-10T00:00:00", end: "2024-01-15T00:00:00" }]) // [{ start: "2024-01-01T00:00:00", end: "2024-01-15T00:00:00" }] (touching)
+ * @example mergeIntervalsDateTime([{ start: "2024-01-01T00:00:00", end: "2024-01-01T00:00:00" }]) // [] (empty interval)
  * @example mergeIntervalsDateTime([]) // []
  * @example mergeIntervalsDateTime([{ start: "2024-01-10T00:00:00", end: "2024-01-01T00:00:00" }]) // []
  */
 export function mergeIntervalsDateTime(intervals) {
-    if (!Array.isArray(intervals) || intervals.length === 0) {
-        return [];
-    }
-    if (!intervals.every((interval) => interval &&
-        typeof interval === "object" &&
-        isValidDateTimeInterval(interval.start, interval.end))) {
-        return [];
-    }
     try {
-        const parsed = intervals.map((interval) => ({
-            start: Temporal.PlainDateTime.from(interval.start),
-            end: Temporal.PlainDateTime.from(interval.end),
-        }));
-        parsed.sort((a, b) => Temporal.PlainDateTime.compare(a.start, b.start));
-        const merged = [];
-        for (const interval of parsed) {
-            const last = merged[merged.length - 1];
-            if (last &&
-                Temporal.PlainDateTime.compare(interval.start, last.end) <= 0) {
-                if (Temporal.PlainDateTime.compare(interval.end, last.end) > 0) {
-                    last.end = interval.end;
-                }
-            }
-            else {
-                merged.push({ start: interval.start, end: interval.end });
-            }
+        if (!Array.isArray(intervals) || intervals.length === 0) {
+            return [];
+        }
+        if (!intervals.every((interval) => interval &&
+            typeof interval === "object" &&
+            isValidDateTimeInterval(interval.start, interval.end))) {
+            return [];
+        }
+        try {
+            const parsed = intervals.map((interval) => ({
+                start: Temporal.PlainDateTime.from(interval.start),
+                end: Temporal.PlainDateTime.from(interval.end),
+            }));
+            const merged = halfOpenMerge(parsed, Temporal.PlainDateTime.compare);
+            return merged.map((interval) => ({
+                start: interval.start.toString(),
+                end: interval.end.toString(),
+            }));
+        }
+        catch {
+            return [];
         }
-        return merged.map((interval) => ({
-            start: interval.start.toString(),
-            end: interval.end.toString(),
-        }));
     }
     catch {
+        // Never throws (Core Rule 3): a hostile
+        // argument is invalid input, not an exception.
         return [];
     }
 }

package/dist/plain/interval/mergeIntervalsTime.d.ts

@@ -2,8 +2,11 @@
  * Collapse a list of time intervals into the minimum set of non-overlapping intervals.
  *
  * - List-form generalization of `intervalUnionTime`, which is pairwise only.
- * - Intervals are merged when they overlap or share an endpoint exactly (adjacent intervals
- *   ARE merged).
+ * - Half-open: an interval holds every `t` with `start <= t < end`. Overlapping intervals and
+ *   touching intervals (`aEnd === bStart`) join into one run; any gap, even one unit, keeps them
+ *   apart (CORE-6's `mergeIntervals`).
+ * - An empty interval (`start === end`) holds nothing: it is absorbed by a run it touches or lies
+ *   in, and dropped otherwise, so every returned interval is non-empty.
  * - Order of the input list does not matter; the result is sorted by start.
  * - Returns `[]` for an empty list.
  * - Returns `[]` when `intervals` is not an array, when any element is not a
@@ -13,7 +16,8 @@
  * @param intervals array of `{ start, end }` records
  * @returns the minimum set of non-overlapping `{ start, end }` records, sorted by start, or `[]` on invalid input
  *
- * @example mergeIntervalsTime([{ start: "09:00:00", end: "12:00:00" }, { start: "11:00:00", end: "15:00:00" }]) // [{ start: "09:00:00", end: "15:00:00" }]
+ * @example mergeIntervalsTime([{ start: "09:00:00", end: "12:00:00" }, { start: "12:00:00", end: "15:00:00" }]) // [{ start: "09:00:00", end: "15:00:00" }] (touching)
+ * @example mergeIntervalsTime([{ start: "09:00:00", end: "12:00:00" }, { start: "12:00:00.000000001", end: "15:00:00" }]) // [{ start: "09:00:00", end: "12:00:00" }, { start: "12:00:00.000000001", end: "15:00:00" }] (1 ns gap)
  * @example mergeIntervalsTime([]) // []
  * @example mergeIntervalsTime([{ start: "15:00:00", end: "09:00:00" }]) // []
  */

package/dist/plain/interval/mergeIntervalsTime.js

@@ -1,11 +1,15 @@
 import { Temporal } from "@js-temporal/polyfill";
+import { halfOpenMerge } from "../../internal/index.js";
 import { isValidTimeInterval } from "./validate/index.js";
 /**
  * Collapse a list of time intervals into the minimum set of non-overlapping intervals.
  *
  * - List-form generalization of `intervalUnionTime`, which is pairwise only.
- * - Intervals are merged when they overlap or share an endpoint exactly (adjacent intervals
- *   ARE merged).
+ * - Half-open: an interval holds every `t` with `start <= t < end`. Overlapping intervals and
+ *   touching intervals (`aEnd === bStart`) join into one run; any gap, even one unit, keeps them
+ *   apart (CORE-6's `mergeIntervals`).
+ * - An empty interval (`start === end`) holds nothing: it is absorbed by a run it touches or lies
+ *   in, and dropped otherwise, so every returned interval is non-empty.
  * - Order of the input list does not matter; the result is sorted by start.
  * - Returns `[]` for an empty list.
  * - Returns `[]` when `intervals` is not an array, when any element is not a
@@ -15,43 +19,39 @@ import { isValidTimeInterval } from "./validate/index.js";
  * @param intervals array of `{ start, end }` records
  * @returns the minimum set of non-overlapping `{ start, end }` records, sorted by start, or `[]` on invalid input
  *
- * @example mergeIntervalsTime([{ start: "09:00:00", end: "12:00:00" }, { start: "11:00:00", end: "15:00:00" }]) // [{ start: "09:00:00", end: "15:00:00" }]
+ * @example mergeIntervalsTime([{ start: "09:00:00", end: "12:00:00" }, { start: "12:00:00", end: "15:00:00" }]) // [{ start: "09:00:00", end: "15:00:00" }] (touching)
+ * @example mergeIntervalsTime([{ start: "09:00:00", end: "12:00:00" }, { start: "12:00:00.000000001", end: "15:00:00" }]) // [{ start: "09:00:00", end: "12:00:00" }, { start: "12:00:00.000000001", end: "15:00:00" }] (1 ns gap)
  * @example mergeIntervalsTime([]) // []
  * @example mergeIntervalsTime([{ start: "15:00:00", end: "09:00:00" }]) // []
  */
 export function mergeIntervalsTime(intervals) {
-    if (!Array.isArray(intervals) || intervals.length === 0) {
-        return [];
-    }
-    if (!intervals.every((interval) => interval &&
-        typeof interval === "object" &&
-        isValidTimeInterval(interval.start, interval.end))) {
-        return [];
-    }
     try {
-        const parsed = intervals.map((interval) => ({
-            start: Temporal.PlainTime.from(interval.start),
-            end: Temporal.PlainTime.from(interval.end),
-        }));
-        parsed.sort((a, b) => Temporal.PlainTime.compare(a.start, b.start));
-        const merged = [];
-        for (const interval of parsed) {
-            const last = merged[merged.length - 1];
-            if (last && Temporal.PlainTime.compare(interval.start, last.end) <= 0) {
-                if (Temporal.PlainTime.compare(interval.end, last.end) > 0) {
-                    last.end = interval.end;
-                }
-            }
-            else {
-                merged.push({ start: interval.start, end: interval.end });
-            }
+        if (!Array.isArray(intervals) || intervals.length === 0) {
+            return [];
+        }
+        if (!intervals.every((interval) => interval &&
+            typeof interval === "object" &&
+            isValidTimeInterval(interval.start, interval.end))) {
+            return [];
+        }
+        try {
+            const parsed = intervals.map((interval) => ({
+                start: Temporal.PlainTime.from(interval.start),
+                end: Temporal.PlainTime.from(interval.end),
+            }));
+            const merged = halfOpenMerge(parsed, Temporal.PlainTime.compare);
+            return merged.map((interval) => ({
+                start: interval.start.toString(),
+                end: interval.end.toString(),
+            }));
+        }
+        catch {
+            return [];
         }
-        return merged.map((interval) => ({
-            start: interval.start.toString(),
-            end: interval.end.toString(),
-        }));
     }
     catch {
+        // Never throws (Core Rule 3): a hostile
+        // argument is invalid input, not an exception.
         return [];
     }
 }

package/dist/plain/interval/splitIntervalByUnitDate.d.ts

@@ -1,22 +1,38 @@
 /**
  * Split a date interval into sub-intervals of `amount × unit`.
  *
- * - Returns an array of `{ start, end }` records that tile the interval.
+ * - Returns an array of `{ start, end }` records that tile the interval, each record's `end`
+ *   equal to the next record's `start`.
+ * - Every piece is half-open `[start, end)`: a boundary belongs only to the piece that starts
+ *   there, so the pieces share no value and together cover the interval exactly once (the rule
+ *   CORE-6's `splitIntervalAt` uses).
  * - The final sub-interval is trimmed so its `end` never exceeds the original `end`.
+ * - Each boundary is computed from `start` (`start + k × amount`, as Temporal and Luxon's
+ *   `Interval.splitBy` do), not by stepping from the previous boundary, so month-end starts
+ *   don't drift: a monthly split from January 31 lands on February 29, March 31, April 30.
+ * - A step that resolves to the same date as the previous boundary is skipped, so no empty
+ *   slice is produced. A step that goes backwards returns `[]`.
  * - Returns `[{ start, end }]` when `start === end` (zero-length interval).
  * - Returns `[]` on invalid input (unparseable start/end, unsupported unit, non-positive amount,
  *   or a unit that has no effect on `PlainDate`, e.g. `"hours"`).
- * - Accepts GMT calendar-annotated PlainDate strings — E5 (issue #78). When `start` and `end`
+ * - Accepts RFC 9557 calendar-annotated PlainDate strings — E5 (issue #78). When `start` and `end`
  *   carry the *same* calendar tag, stepping (and each slice's boundaries) happens in that
- *   calendar — a Hebrew leap year splits into 13 month-slices, not 12 (E5 decision of record
- *   D5); otherwise (or if either is bare ISO) it falls back to Gregorian. Each boundary's tag is
+ *   calendar — a Hebrew leap year splits into 13 month-slices, not 12. When they name different
+ *   calendars (a bare ISO string names `iso8601`) the result is `[]`, as Temporal's `until` throws
+ *   when `CalendarEquals` is false (before 1.16.0 it stepped in ISO). Each boundary's tag is
  *   re-derived from the actual stepped date, never copied — a month-by-month step can cross a
  *   leap-month or era boundary mid-split.
+ * - `options.maxPieces` (positive safe integer, default `1_000_000`) bounds the output: a split
+ *   into more slices returns `[]`, decided from the span before stepping where it can be, and
+ *   otherwise as soon as slice `maxPieces + 1` is due. An invalid `maxPieces` also returns `[]`.
+ * - Compatibility: since 1.16.0 calendar strings are RFC 9557 (ISO digits, `[u-ca=<id>]`, canonical
+ *   calendar ids); see `isValidCalendarDate`.
  *
  * @param start ISO PlainDate string for the interval start, optionally calendar-annotated
  * @param end ISO PlainDate string for the interval end, optionally calendar-annotated
  * @param unit duration unit string — `"years" | "months" | "weeks" | "days"` (time units are ignored by PlainDate and return [])
  * @param amount positive number of units per step
+ * @param options optional: `maxPieces` (positive safe integer, default `1_000_000`)
  * @returns array of `{ start, end }` records, or [] on invalid input
  *
  * @example splitIntervalByUnitDate("2024-01-01", "2024-01-10", "day", 2) // [{ start: "2024-01-01", end: "2024-01-03" }, { start: "2024-01-03", end: "2024-01-05" }, { start: "2024-01-05", end: "2024-01-07" }, { start: "2024-01-07", end: "2024-01-09" }, { start: "2024-01-09", end: "2024-01-10" }]
@@ -24,9 +40,13 @@
  * @example splitIntervalByUnitDate("2024-01-01", "2024-01-01", "day", 2) // [{ start: "2024-01-01", end: "2024-01-01" }]
  * @example splitIntervalByUnitDate("2024-01-01", "2024-01-10", "day", 0) // []
  * @example splitIntervalByUnitDate("invalid", "2024-01-10", "day", 2) // []
- * @example splitIntervalByUnitDate("5784-01-01[u-ca=hebrew]", "5785-01-01[u-ca=hebrew]", "month", 1) // 13 slices, tiling the Hebrew leap year (including Adar I)
+ * @example splitIntervalByUnitDate("2023-09-16[u-ca=hebrew]", "2024-10-03[u-ca=hebrew]", "month", 1) // 13 slices, tiling the Hebrew leap year (including Adar I)
+ * @example splitIntervalByUnitDate("2024-01-01", "2024-01-10", "day", 2, { maxPieces: 4 }) // [] (5 slices exceed the limit)
+ * @example splitIntervalByUnitDate("2024-01-01", "2024-01-10", "day", 2, { maxPieces: 5 }) // [{ start: "2024-01-01", end: "2024-01-03" }, { start: "2024-01-03", end: "2024-01-05" }, { start: "2024-01-05", end: "2024-01-07" }, { start: "2024-01-07", end: "2024-01-09" }, { start: "2024-01-09", end: "2024-01-10" }]
  */
-export declare function splitIntervalByUnitDate(start: string, end: string, unit: string, amount: number): Array<{
+export declare function splitIntervalByUnitDate(start: string, end: string, unit: string, amount: number, options?: {
+    maxPieces?: number;
+}): Array<{
     start: string;
     end: string;
 }>;