{"abstract":"An instance that began before the window but is still running is omitted.","category":"Calendar recurrence rules","checks":7,"contract":"Instances start at dtstart + k*interval_hours for k < count and last duration_min minutes. A window [window_start, window_end) returns every instance whose half-open span [s, s+duration) overlaps it; a zero-duration instance is returned when window_start <= s < window_end. The query may skip ahead but COUNT is always counted from dtstart. Return ISO start times (minutes).","evaluation_group":"w2-calendar-recurrence-rules-window-overlap-query","failed_approach":"The partial repair `s + dur >= ws` treats an instance ending exactly at window start as overlapping.","family":"w2-calendar-recurrence-rules-window-overlap-query-overlap-test","id":"FA-77056","implementations":{"attempt":{"sha256":"ceccb546140394371f37cc4724115c4df2c5a6d7856caeecd46e34cb33237ed8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime as dt\nimport calendar\nN = 1\nobservations = []\ndef solve(dtstart, interval_hours, duration_min, count, window_start, window_end):\n    first = dt.datetime.fromisoformat(dtstart)\n    ws = dt.datetime.fromisoformat(window_start)\n    we = dt.datetime.fromisoformat(window_end)\n    dur = dt.timedelta(minutes=duration_min)\n    step = dt.timedelta(hours=interval_hours)\n    k0 = max(0, (ws - dur - first) // step)\n    out = []\n    for k in range(k0, count):\n        s = first + k * step\n        if s >= we:\n            break\n        if (s + dur >= ws) if duration_min else s >= ws:\n            out.append(s.isoformat(timespec='minutes'))\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: in-progress long meeting',\n   ['2024-01-01T00:00', 1, 180, 20, '2024-01-01T10:30', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T09:00', '2024-01-01T10:00', '2024-01-01T11:00']),\n  ('touching end excluded',\n   ['2024-01-01T08:00', 2, 60, 10, '2024-01-01T09:00', '2024-01-01T12:00'],\n   ['2024-01-01T10:00']),\n  ('window end exclusive',\n   ['2024-01-01T08:00', 2, 30, 10, '2024-01-01T08:15', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T10:00']),\n  ('zero duration instants',\n   ['2024-01-01T00:00', 6, 0, 10, '2024-01-01T12:00', '2024-01-02T00:00'],\n   ['2024-01-01T12:00', '2024-01-01T18:00']),\n  ('late window beyond count',\n   ['2024-01-01T00:00', 24, 60, 5, '2024-01-04T00:00', '2024-01-10T00:00'],\n   ['2024-01-04T00:00', '2024-01-05T00:00']),\n  ('window before dtstart',\n   ['2024-01-05T09:00', 24, 90, 3, '2024-01-01T00:00', '2024-01-06T12:00'],\n   ['2024-01-05T09:00', '2024-01-06T09:00']),\n  ('duration longer than interval',\n   ['2024-02-01T00:00', 2, 300, 12, '2024-02-01T09:00', '2024-02-01T10:00'],\n   ['2024-02-01T06:00', '2024-02-01T08:00'])],\n [('window end exclusive',\n   ['2024-01-01T08:00', 2, 30, 10, '2024-01-01T08:15', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T10:00']),\n  ('zero duration instants',\n   ['2024-01-01T00:00', 6, 0, 10, '2024-01-01T12:00', '2024-01-02T00:00'],\n   ['2024-01-01T12:00', '2024-01-01T18:00']),\n  ('late window beyond count',\n   ['2024-01-01T00:00', 24, 60, 5, '2024-01-04T00:00', '2024-01-10T00:00'],\n   ['2024-01-04T00:00', '2024-01-05T00:00']),\n  ('window before dtstart',\n   ['2024-01-05T09:00', 24, 90, 3, '2024-01-01T00:00', '2024-01-06T12:00'],\n   ['2024-01-05T09:00', '2024-01-06T09:00']),\n  ('duration longer than interval',\n   ['2024-02-01T00:00', 2, 300, 12, '2024-02-01T09:00', '2024-02-01T10:00'],\n   ['2024-02-01T06:00', '2024-02-01T08:00']),\n  ('window mid series',\n   ['2024-03-01T06:00', 4, 120, 30, '2024-03-02T07:00', '2024-03-02T15:00'],\n   ['2024-03-02T06:00', '2024-03-02T10:00', '2024-03-02T14:00']),\n  ('instance ends at window start',\n   ['2024-03-01T00:00', 3, 180, 8, '2024-03-01T06:00', '2024-03-01T07:00'],\n   ['2024-03-01T06:00'])],\n [('late window beyond count',\n   ['2024-01-01T00:00', 24, 60, 5, '2024-01-04T00:00', '2024-01-10T00:00'],\n   ['2024-01-04T00:00', '2024-01-05T00:00']),\n  ('window before dtstart',\n   ['2024-01-05T09:00', 24, 90, 3, '2024-01-01T00:00', '2024-01-06T12:00'],\n   ['2024-01-05T09:00', '2024-01-06T09:00']),\n  ('duration longer than interval',\n   ['2024-02-01T00:00', 2, 300, 12, '2024-02-01T09:00', '2024-02-01T10:00'],\n   ['2024-02-01T06:00', '2024-02-01T08:00']),\n  ('window mid series',\n   ['2024-03-01T06:00', 4, 120, 30, '2024-03-02T07:00', '2024-03-02T15:00'],\n   ['2024-03-02T06:00', '2024-03-02T10:00', '2024-03-02T14:00']),\n  ('instance ends at window start',\n   ['2024-03-01T00:00', 3, 180, 8, '2024-03-01T06:00', '2024-03-01T07:00'],\n   ['2024-03-01T06:00']),\n  ('count exactly reaches window',\n   ['2024-04-01T00:00', 12, 60, 4, '2024-04-02T11:30', '2024-04-03T00:00'],\n   ['2024-04-02T12:00']),\n  ('long instance from before window, short count',\n   ['2024-05-01T00:00', 1, 600, 3, '2024-05-01T05:00', '2024-05-01T06:00'],\n   ['2024-05-01T00:00', '2024-05-01T01:00', '2024-05-01T02:00'])],\n [('duration longer than interval',\n   ['2024-02-01T00:00', 2, 300, 12, '2024-02-01T09:00', '2024-02-01T10:00'],\n   ['2024-02-01T06:00', '2024-02-01T08:00']),\n  ('window mid series',\n   ['2024-03-01T06:00', 4, 120, 30, '2024-03-02T07:00', '2024-03-02T15:00'],\n   ['2024-03-02T06:00', '2024-03-02T10:00', '2024-03-02T14:00']),\n  ('instance ends at window start',\n   ['2024-03-01T00:00', 3, 180, 8, '2024-03-01T06:00', '2024-03-01T07:00'],\n   ['2024-03-01T06:00']),\n  ('count exactly reaches window',\n   ['2024-04-01T00:00', 12, 60, 4, '2024-04-02T11:30', '2024-04-03T00:00'],\n   ['2024-04-02T12:00']),\n  ('long instance from before window, short count',\n   ['2024-05-01T00:00', 1, 600, 3, '2024-05-01T05:00', '2024-05-01T06:00'],\n   ['2024-05-01T00:00', '2024-05-01T01:00', '2024-05-01T02:00']),\n  ('regression: in-progress long meeting',\n   ['2024-01-01T00:00', 1, 180, 20, '2024-01-01T10:30', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T09:00', '2024-01-01T10:00', '2024-01-01T11:00']),\n  ('touching end excluded',\n   ['2024-01-01T08:00', 2, 60, 10, '2024-01-01T09:00', '2024-01-01T12:00'],\n   ['2024-01-01T10:00'])],\n [('instance ends at window start',\n   ['2024-03-01T00:00', 3, 180, 8, '2024-03-01T06:00', '2024-03-01T07:00'],\n   ['2024-03-01T06:00']),\n  ('count exactly reaches window',\n   ['2024-04-01T00:00', 12, 60, 4, '2024-04-02T11:30', '2024-04-03T00:00'],\n   ['2024-04-02T12:00']),\n  ('long instance from before window, short count',\n   ['2024-05-01T00:00', 1, 600, 3, '2024-05-01T05:00', '2024-05-01T06:00'],\n   ['2024-05-01T00:00', '2024-05-01T01:00', '2024-05-01T02:00']),\n  ('regression: in-progress long meeting',\n   ['2024-01-01T00:00', 1, 180, 20, '2024-01-01T10:30', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T09:00', '2024-01-01T10:00', '2024-01-01T11:00']),\n  ('touching end excluded',\n   ['2024-01-01T08:00', 2, 60, 10, '2024-01-01T09:00', '2024-01-01T12:00'],\n   ['2024-01-01T10:00']),\n  ('window end exclusive',\n   ['2024-01-01T08:00', 2, 30, 10, '2024-01-01T08:15', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T10:00']),\n  ('zero duration instants',\n   ['2024-01-01T00:00', 6, 0, 10, '2024-01-01T12:00', '2024-01-02T00:00'],\n   ['2024-01-01T12:00', '2024-01-01T18:00'])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"4af3a9c582327e55b8dfc3de8cb8b1f2ec911f5b8f3125af31728333096df049","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime as dt\nimport calendar\nN = 1\nobservations = []\ndef solve(dtstart, interval_hours, duration_min, count, window_start, window_end):\n    first = dt.datetime.fromisoformat(dtstart)\n    ws = dt.datetime.fromisoformat(window_start)\n    we = dt.datetime.fromisoformat(window_end)\n    dur = dt.timedelta(minutes=duration_min)\n    step = dt.timedelta(hours=interval_hours)\n    k0 = max(0, (ws - dur - first) // step)\n    out = []\n    for k in range(k0, count):\n        s = first + k * step\n        if s >= we:\n            break\n        if (s >= ws) if duration_min else s >= ws:\n            out.append(s.isoformat(timespec='minutes'))\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: in-progress long meeting',\n   ['2024-01-01T00:00', 1, 180, 20, '2024-01-01T10:30', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T09:00', '2024-01-01T10:00', '2024-01-01T11:00']),\n  ('touching end excluded',\n   ['2024-01-01T08:00', 2, 60, 10, '2024-01-01T09:00', '2024-01-01T12:00'],\n   ['2024-01-01T10:00']),\n  ('window end exclusive',\n   ['2024-01-01T08:00', 2, 30, 10, '2024-01-01T08:15', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T10:00']),\n  ('zero duration instants',\n   ['2024-01-01T00:00', 6, 0, 10, '2024-01-01T12:00', '2024-01-02T00:00'],\n   ['2024-01-01T12:00', '2024-01-01T18:00']),\n  ('late window beyond count',\n   ['2024-01-01T00:00', 24, 60, 5, '2024-01-04T00:00', '2024-01-10T00:00'],\n   ['2024-01-04T00:00', '2024-01-05T00:00']),\n  ('window before dtstart',\n   ['2024-01-05T09:00', 24, 90, 3, '2024-01-01T00:00', '2024-01-06T12:00'],\n   ['2024-01-05T09:00', '2024-01-06T09:00']),\n  ('duration longer than interval',\n   ['2024-02-01T00:00', 2, 300, 12, '2024-02-01T09:00', '2024-02-01T10:00'],\n   ['2024-02-01T06:00', '2024-02-01T08:00'])],\n [('window end exclusive',\n   ['2024-01-01T08:00', 2, 30, 10, '2024-01-01T08:15', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T10:00']),\n  ('zero duration instants',\n   ['2024-01-01T00:00', 6, 0, 10, '2024-01-01T12:00', '2024-01-02T00:00'],\n   ['2024-01-01T12:00', '2024-01-01T18:00']),\n  ('late window beyond count',\n   ['2024-01-01T00:00', 24, 60, 5, '2024-01-04T00:00', '2024-01-10T00:00'],\n   ['2024-01-04T00:00', '2024-01-05T00:00']),\n  ('window before dtstart',\n   ['2024-01-05T09:00', 24, 90, 3, '2024-01-01T00:00', '2024-01-06T12:00'],\n   ['2024-01-05T09:00', '2024-01-06T09:00']),\n  ('duration longer than interval',\n   ['2024-02-01T00:00', 2, 300, 12, '2024-02-01T09:00', '2024-02-01T10:00'],\n   ['2024-02-01T06:00', '2024-02-01T08:00']),\n  ('window mid series',\n   ['2024-03-01T06:00', 4, 120, 30, '2024-03-02T07:00', '2024-03-02T15:00'],\n   ['2024-03-02T06:00', '2024-03-02T10:00', '2024-03-02T14:00']),\n  ('instance ends at window start',\n   ['2024-03-01T00:00', 3, 180, 8, '2024-03-01T06:00', '2024-03-01T07:00'],\n   ['2024-03-01T06:00'])],\n [('late window beyond count',\n   ['2024-01-01T00:00', 24, 60, 5, '2024-01-04T00:00', '2024-01-10T00:00'],\n   ['2024-01-04T00:00', '2024-01-05T00:00']),\n  ('window before dtstart',\n   ['2024-01-05T09:00', 24, 90, 3, '2024-01-01T00:00', '2024-01-06T12:00'],\n   ['2024-01-05T09:00', '2024-01-06T09:00']),\n  ('duration longer than interval',\n   ['2024-02-01T00:00', 2, 300, 12, '2024-02-01T09:00', '2024-02-01T10:00'],\n   ['2024-02-01T06:00', '2024-02-01T08:00']),\n  ('window mid series',\n   ['2024-03-01T06:00', 4, 120, 30, '2024-03-02T07:00', '2024-03-02T15:00'],\n   ['2024-03-02T06:00', '2024-03-02T10:00', '2024-03-02T14:00']),\n  ('instance ends at window start',\n   ['2024-03-01T00:00', 3, 180, 8, '2024-03-01T06:00', '2024-03-01T07:00'],\n   ['2024-03-01T06:00']),\n  ('count exactly reaches window',\n   ['2024-04-01T00:00', 12, 60, 4, '2024-04-02T11:30', '2024-04-03T00:00'],\n   ['2024-04-02T12:00']),\n  ('long instance from before window, short count',\n   ['2024-05-01T00:00', 1, 600, 3, '2024-05-01T05:00', '2024-05-01T06:00'],\n   ['2024-05-01T00:00', '2024-05-01T01:00', '2024-05-01T02:00'])],\n [('duration longer than interval',\n   ['2024-02-01T00:00', 2, 300, 12, '2024-02-01T09:00', '2024-02-01T10:00'],\n   ['2024-02-01T06:00', '2024-02-01T08:00']),\n  ('window mid series',\n   ['2024-03-01T06:00', 4, 120, 30, '2024-03-02T07:00', '2024-03-02T15:00'],\n   ['2024-03-02T06:00', '2024-03-02T10:00', '2024-03-02T14:00']),\n  ('instance ends at window start',\n   ['2024-03-01T00:00', 3, 180, 8, '2024-03-01T06:00', '2024-03-01T07:00'],\n   ['2024-03-01T06:00']),\n  ('count exactly reaches window',\n   ['2024-04-01T00:00', 12, 60, 4, '2024-04-02T11:30', '2024-04-03T00:00'],\n   ['2024-04-02T12:00']),\n  ('long instance from before window, short count',\n   ['2024-05-01T00:00', 1, 600, 3, '2024-05-01T05:00', '2024-05-01T06:00'],\n   ['2024-05-01T00:00', '2024-05-01T01:00', '2024-05-01T02:00']),\n  ('regression: in-progress long meeting',\n   ['2024-01-01T00:00', 1, 180, 20, '2024-01-01T10:30', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T09:00', '2024-01-01T10:00', '2024-01-01T11:00']),\n  ('touching end excluded',\n   ['2024-01-01T08:00', 2, 60, 10, '2024-01-01T09:00', '2024-01-01T12:00'],\n   ['2024-01-01T10:00'])],\n [('instance ends at window start',\n   ['2024-03-01T00:00', 3, 180, 8, '2024-03-01T06:00', '2024-03-01T07:00'],\n   ['2024-03-01T06:00']),\n  ('count exactly reaches window',\n   ['2024-04-01T00:00', 12, 60, 4, '2024-04-02T11:30', '2024-04-03T00:00'],\n   ['2024-04-02T12:00']),\n  ('long instance from before window, short count',\n   ['2024-05-01T00:00', 1, 600, 3, '2024-05-01T05:00', '2024-05-01T06:00'],\n   ['2024-05-01T00:00', '2024-05-01T01:00', '2024-05-01T02:00']),\n  ('regression: in-progress long meeting',\n   ['2024-01-01T00:00', 1, 180, 20, '2024-01-01T10:30', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T09:00', '2024-01-01T10:00', '2024-01-01T11:00']),\n  ('touching end excluded',\n   ['2024-01-01T08:00', 2, 60, 10, '2024-01-01T09:00', '2024-01-01T12:00'],\n   ['2024-01-01T10:00']),\n  ('window end exclusive',\n   ['2024-01-01T08:00', 2, 30, 10, '2024-01-01T08:15', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T10:00']),\n  ('zero duration instants',\n   ['2024-01-01T00:00', 6, 0, 10, '2024-01-01T12:00', '2024-01-02T00:00'],\n   ['2024-01-01T12:00', '2024-01-01T18:00'])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"454c3079963720abde3869812dc513f0c8f79cf006529581d9b865b2adecd77b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport datetime as dt\nimport calendar\nN = 1\nobservations = []\ndef solve(dtstart, interval_hours, duration_min, count, window_start, window_end):\n    first = dt.datetime.fromisoformat(dtstart)\n    ws = dt.datetime.fromisoformat(window_start)\n    we = dt.datetime.fromisoformat(window_end)\n    dur = dt.timedelta(minutes=duration_min)\n    step = dt.timedelta(hours=interval_hours)\n    k0 = max(0, (ws - dur - first) // step)\n    out = []\n    for k in range(k0, count):\n        s = first + k * step\n        if s >= we:\n            break\n        if (s + dur > ws) if duration_min else s >= ws:\n            out.append(s.isoformat(timespec='minutes'))\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: in-progress long meeting',\n   ['2024-01-01T00:00', 1, 180, 20, '2024-01-01T10:30', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T09:00', '2024-01-01T10:00', '2024-01-01T11:00']),\n  ('touching end excluded',\n   ['2024-01-01T08:00', 2, 60, 10, '2024-01-01T09:00', '2024-01-01T12:00'],\n   ['2024-01-01T10:00']),\n  ('window end exclusive',\n   ['2024-01-01T08:00', 2, 30, 10, '2024-01-01T08:15', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T10:00']),\n  ('zero duration instants',\n   ['2024-01-01T00:00', 6, 0, 10, '2024-01-01T12:00', '2024-01-02T00:00'],\n   ['2024-01-01T12:00', '2024-01-01T18:00']),\n  ('late window beyond count',\n   ['2024-01-01T00:00', 24, 60, 5, '2024-01-04T00:00', '2024-01-10T00:00'],\n   ['2024-01-04T00:00', '2024-01-05T00:00']),\n  ('window before dtstart',\n   ['2024-01-05T09:00', 24, 90, 3, '2024-01-01T00:00', '2024-01-06T12:00'],\n   ['2024-01-05T09:00', '2024-01-06T09:00']),\n  ('duration longer than interval',\n   ['2024-02-01T00:00', 2, 300, 12, '2024-02-01T09:00', '2024-02-01T10:00'],\n   ['2024-02-01T06:00', '2024-02-01T08:00'])],\n [('window end exclusive',\n   ['2024-01-01T08:00', 2, 30, 10, '2024-01-01T08:15', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T10:00']),\n  ('zero duration instants',\n   ['2024-01-01T00:00', 6, 0, 10, '2024-01-01T12:00', '2024-01-02T00:00'],\n   ['2024-01-01T12:00', '2024-01-01T18:00']),\n  ('late window beyond count',\n   ['2024-01-01T00:00', 24, 60, 5, '2024-01-04T00:00', '2024-01-10T00:00'],\n   ['2024-01-04T00:00', '2024-01-05T00:00']),\n  ('window before dtstart',\n   ['2024-01-05T09:00', 24, 90, 3, '2024-01-01T00:00', '2024-01-06T12:00'],\n   ['2024-01-05T09:00', '2024-01-06T09:00']),\n  ('duration longer than interval',\n   ['2024-02-01T00:00', 2, 300, 12, '2024-02-01T09:00', '2024-02-01T10:00'],\n   ['2024-02-01T06:00', '2024-02-01T08:00']),\n  ('window mid series',\n   ['2024-03-01T06:00', 4, 120, 30, '2024-03-02T07:00', '2024-03-02T15:00'],\n   ['2024-03-02T06:00', '2024-03-02T10:00', '2024-03-02T14:00']),\n  ('instance ends at window start',\n   ['2024-03-01T00:00', 3, 180, 8, '2024-03-01T06:00', '2024-03-01T07:00'],\n   ['2024-03-01T06:00'])],\n [('late window beyond count',\n   ['2024-01-01T00:00', 24, 60, 5, '2024-01-04T00:00', '2024-01-10T00:00'],\n   ['2024-01-04T00:00', '2024-01-05T00:00']),\n  ('window before dtstart',\n   ['2024-01-05T09:00', 24, 90, 3, '2024-01-01T00:00', '2024-01-06T12:00'],\n   ['2024-01-05T09:00', '2024-01-06T09:00']),\n  ('duration longer than interval',\n   ['2024-02-01T00:00', 2, 300, 12, '2024-02-01T09:00', '2024-02-01T10:00'],\n   ['2024-02-01T06:00', '2024-02-01T08:00']),\n  ('window mid series',\n   ['2024-03-01T06:00', 4, 120, 30, '2024-03-02T07:00', '2024-03-02T15:00'],\n   ['2024-03-02T06:00', '2024-03-02T10:00', '2024-03-02T14:00']),\n  ('instance ends at window start',\n   ['2024-03-01T00:00', 3, 180, 8, '2024-03-01T06:00', '2024-03-01T07:00'],\n   ['2024-03-01T06:00']),\n  ('count exactly reaches window',\n   ['2024-04-01T00:00', 12, 60, 4, '2024-04-02T11:30', '2024-04-03T00:00'],\n   ['2024-04-02T12:00']),\n  ('long instance from before window, short count',\n   ['2024-05-01T00:00', 1, 600, 3, '2024-05-01T05:00', '2024-05-01T06:00'],\n   ['2024-05-01T00:00', '2024-05-01T01:00', '2024-05-01T02:00'])],\n [('duration longer than interval',\n   ['2024-02-01T00:00', 2, 300, 12, '2024-02-01T09:00', '2024-02-01T10:00'],\n   ['2024-02-01T06:00', '2024-02-01T08:00']),\n  ('window mid series',\n   ['2024-03-01T06:00', 4, 120, 30, '2024-03-02T07:00', '2024-03-02T15:00'],\n   ['2024-03-02T06:00', '2024-03-02T10:00', '2024-03-02T14:00']),\n  ('instance ends at window start',\n   ['2024-03-01T00:00', 3, 180, 8, '2024-03-01T06:00', '2024-03-01T07:00'],\n   ['2024-03-01T06:00']),\n  ('count exactly reaches window',\n   ['2024-04-01T00:00', 12, 60, 4, '2024-04-02T11:30', '2024-04-03T00:00'],\n   ['2024-04-02T12:00']),\n  ('long instance from before window, short count',\n   ['2024-05-01T00:00', 1, 600, 3, '2024-05-01T05:00', '2024-05-01T06:00'],\n   ['2024-05-01T00:00', '2024-05-01T01:00', '2024-05-01T02:00']),\n  ('regression: in-progress long meeting',\n   ['2024-01-01T00:00', 1, 180, 20, '2024-01-01T10:30', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T09:00', '2024-01-01T10:00', '2024-01-01T11:00']),\n  ('touching end excluded',\n   ['2024-01-01T08:00', 2, 60, 10, '2024-01-01T09:00', '2024-01-01T12:00'],\n   ['2024-01-01T10:00'])],\n [('instance ends at window start',\n   ['2024-03-01T00:00', 3, 180, 8, '2024-03-01T06:00', '2024-03-01T07:00'],\n   ['2024-03-01T06:00']),\n  ('count exactly reaches window',\n   ['2024-04-01T00:00', 12, 60, 4, '2024-04-02T11:30', '2024-04-03T00:00'],\n   ['2024-04-02T12:00']),\n  ('long instance from before window, short count',\n   ['2024-05-01T00:00', 1, 600, 3, '2024-05-01T05:00', '2024-05-01T06:00'],\n   ['2024-05-01T00:00', '2024-05-01T01:00', '2024-05-01T02:00']),\n  ('regression: in-progress long meeting',\n   ['2024-01-01T00:00', 1, 180, 20, '2024-01-01T10:30', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T09:00', '2024-01-01T10:00', '2024-01-01T11:00']),\n  ('touching end excluded',\n   ['2024-01-01T08:00', 2, 60, 10, '2024-01-01T09:00', '2024-01-01T12:00'],\n   ['2024-01-01T10:00']),\n  ('window end exclusive',\n   ['2024-01-01T08:00', 2, 30, 10, '2024-01-01T08:15', '2024-01-01T12:00'],\n   ['2024-01-01T08:00', '2024-01-01T10:00']),\n  ('zero duration instants',\n   ['2024-01-01T00:00', 6, 0, 10, '2024-01-01T12:00', '2024-01-02T00:00'],\n   ['2024-01-01T12:00', '2024-01-01T18:00'])]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"Stipulated, bounded recurrence-expansion model evaluated offline on explicit fixtures; it is not a complete iCalendar implementation and makes no claim of standards conformance. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w2-calendar-recurrence-rules-window-overlap-query-overlap-test","generated_at":"2026-09-29T14:49:21.933436+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Recurring calendar series are expanded into concrete instances for display, reminders and conflict checks.","repair":"At the overlap test decision use `s + dur > ws`, leaving the other decision sites of the model unchanged.","root_cause":"Only instances that start inside the window are treated as overlapping.","sha256":"03b4c29bc8b7e683af60cce1e9e6195f952bff9f6ce2078c52493c4a50aef0d0","title":"Window query for recurring instances with duration: overlap test · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.116,"exit_code":1,"observations":[{"actual":["2024-01-01T08:00","2024-01-01T09:00","2024-01-01T10:00","2024-01-01T11:00"],"check":"regression: in-progress long meeting","expected":["2024-01-01T08:00","2024-01-01T09:00","2024-01-01T10:00","2024-01-01T11:00"],"passed":true},{"actual":["2024-01-01T08:00","2024-01-01T10:00"],"check":"touching end excluded","expected":["2024-01-01T10:00"],"passed":false},{"actual":["2024-01-01T08:00","2024-01-01T10:00"],"check":"window end exclusive","expected":["2024-01-01T08:00","2024-01-01T10:00"],"passed":true},{"actual":["2024-01-01T12:00","2024-01-01T18:00"],"check":"zero duration instants","expected":["2024-01-01T12:00","2024-01-01T18:00"],"passed":true},{"actual":["2024-01-04T00:00","2024-01-05T00:00"],"check":"late window beyond count","expected":["2024-01-04T00:00","2024-01-05T00:00"],"passed":true},{"actual":["2024-01-05T09:00","2024-01-06T09:00"],"check":"window before dtstart","expected":["2024-01-05T09:00","2024-01-06T09:00"],"passed":true},{"actual":["2024-02-01T04:00","2024-02-01T06:00","2024-02-01T08:00"],"check":"duration longer than interval","expected":["2024-02-01T06:00","2024-02-01T08:00"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: in-progress long meeting\", \"actual\": [\"2024-01-01T08:00\", \"2024-01-01T09:00\", \"2024-01-01T10:00\", \"2024-01-01T11:00\"], \"expected\": [\"2024-01-01T08:00\", \"2024-01-01T09:00\", \"2024-01-01T10:00\", \"2024-01-01T11:00\"], \"passed\": true}, {\"check\": \"touching end excluded\", \"actual\": [\"2024-01-01T08:00\", \"2024-01-01T10:00\"], \"expected\": [\"2024-01-01T10:00\"], \"passed\": false}, {\"check\": \"window end exclusive\", \"actual\": [\"2024-01-01T08:00\", \"2024-01-01T10:00\"], \"expected\": [\"2024-01-01T08:00\", \"2024-01-01T10:00\"], \"passed\": true}, {\"check\": \"zero duration instants\", \"actual\": [\"2024-01-01T12:00\", \"2024-01-01T18:00\"], \"expected\": [\"2024-01-01T12:00\", \"2024-01-01T18:00\"], \"passed\": true}, {\"check\": \"late window beyond count\", \"actual\": [\"2024-01-04T00:00\", \"2024-01-05T00:00\"], \"expected\": [\"2024-01-04T00:00\", \"2024-01-05T00:00\"], \"passed\": true}, {\"check\": \"window before dtstart\", \"actual\": [\"2024-01-05T09:00\", \"2024-01-06T09:00\"], \"expected\": [\"2024-01-05T09:00\", \"2024-01-06T09:00\"], \"passed\": true}, {\"check\": \"duration longer than interval\", \"actual\": [\"2024-02-01T04:00\", \"2024-02-01T06:00\", \"2024-02-01T08:00\"], \"expected\": [\"2024-02-01T06:00\", \"2024-02-01T08:00\"], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.255,"exit_code":1,"observations":[{"actual":["2024-01-01T11:00"],"check":"regression: in-progress long meeting","expected":["2024-01-01T08:00","2024-01-01T09:00","2024-01-01T10:00","2024-01-01T11:00"],"passed":false},{"actual":["2024-01-01T10:00"],"check":"touching end excluded","expected":["2024-01-01T10:00"],"passed":true},{"actual":["2024-01-01T10:00"],"check":"window end exclusive","expected":["2024-01-01T08:00","2024-01-01T10:00"],"passed":false},{"actual":["2024-01-01T12:00","2024-01-01T18:00"],"check":"zero duration instants","expected":["2024-01-01T12:00","2024-01-01T18:00"],"passed":true},{"actual":["2024-01-04T00:00","2024-01-05T00:00"],"check":"late window beyond count","expected":["2024-01-04T00:00","2024-01-05T00:00"],"passed":true},{"actual":["2024-01-05T09:00","2024-01-06T09:00"],"check":"window before dtstart","expected":["2024-01-05T09:00","2024-01-06T09:00"],"passed":true},{"actual":[],"check":"duration longer than interval","expected":["2024-02-01T06:00","2024-02-01T08:00"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: in-progress long meeting\", \"actual\": [\"2024-01-01T11:00\"], \"expected\": [\"2024-01-01T08:00\", \"2024-01-01T09:00\", \"2024-01-01T10:00\", \"2024-01-01T11:00\"], \"passed\": false}, {\"check\": \"touching end excluded\", \"actual\": [\"2024-01-01T10:00\"], \"expected\": [\"2024-01-01T10:00\"], \"passed\": true}, {\"check\": \"window end exclusive\", \"actual\": [\"2024-01-01T10:00\"], \"expected\": [\"2024-01-01T08:00\", \"2024-01-01T10:00\"], \"passed\": false}, {\"check\": \"zero duration instants\", \"actual\": [\"2024-01-01T12:00\", \"2024-01-01T18:00\"], \"expected\": [\"2024-01-01T12:00\", \"2024-01-01T18:00\"], \"passed\": true}, {\"check\": \"late window beyond count\", \"actual\": [\"2024-01-04T00:00\", \"2024-01-05T00:00\"], \"expected\": [\"2024-01-04T00:00\", \"2024-01-05T00:00\"], \"passed\": true}, {\"check\": \"window before dtstart\", \"actual\": [\"2024-01-05T09:00\", \"2024-01-06T09:00\"], \"expected\": [\"2024-01-05T09:00\", \"2024-01-06T09:00\"], \"passed\": true}, {\"check\": \"duration longer than interval\", \"actual\": [], \"expected\": [\"2024-02-01T06:00\", \"2024-02-01T08:00\"], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.278,"exit_code":0,"observations":[{"actual":["2024-01-01T08:00","2024-01-01T09:00","2024-01-01T10:00","2024-01-01T11:00"],"check":"regression: in-progress long meeting","expected":["2024-01-01T08:00","2024-01-01T09:00","2024-01-01T10:00","2024-01-01T11:00"],"passed":true},{"actual":["2024-01-01T10:00"],"check":"touching end excluded","expected":["2024-01-01T10:00"],"passed":true},{"actual":["2024-01-01T08:00","2024-01-01T10:00"],"check":"window end exclusive","expected":["2024-01-01T08:00","2024-01-01T10:00"],"passed":true},{"actual":["2024-01-01T12:00","2024-01-01T18:00"],"check":"zero duration instants","expected":["2024-01-01T12:00","2024-01-01T18:00"],"passed":true},{"actual":["2024-01-04T00:00","2024-01-05T00:00"],"check":"late window beyond count","expected":["2024-01-04T00:00","2024-01-05T00:00"],"passed":true},{"actual":["2024-01-05T09:00","2024-01-06T09:00"],"check":"window before dtstart","expected":["2024-01-05T09:00","2024-01-06T09:00"],"passed":true},{"actual":["2024-02-01T06:00","2024-02-01T08:00"],"check":"duration longer than interval","expected":["2024-02-01T06:00","2024-02-01T08:00"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: in-progress long meeting\", \"actual\": [\"2024-01-01T08:00\", \"2024-01-01T09:00\", \"2024-01-01T10:00\", \"2024-01-01T11:00\"], \"expected\": [\"2024-01-01T08:00\", \"2024-01-01T09:00\", \"2024-01-01T10:00\", \"2024-01-01T11:00\"], \"passed\": true}, {\"check\": \"touching end excluded\", \"actual\": [\"2024-01-01T10:00\"], \"expected\": [\"2024-01-01T10:00\"], \"passed\": true}, {\"check\": \"window end exclusive\", \"actual\": [\"2024-01-01T08:00\", \"2024-01-01T10:00\"], \"expected\": [\"2024-01-01T08:00\", \"2024-01-01T10:00\"], \"passed\": true}, {\"check\": \"zero duration instants\", \"actual\": [\"2024-01-01T12:00\", \"2024-01-01T18:00\"], \"expected\": [\"2024-01-01T12:00\", \"2024-01-01T18:00\"], \"passed\": true}, {\"check\": \"late window beyond count\", \"actual\": [\"2024-01-04T00:00\", \"2024-01-05T00:00\"], \"expected\": [\"2024-01-04T00:00\", \"2024-01-05T00:00\"], \"passed\": true}, {\"check\": \"window before dtstart\", \"actual\": [\"2024-01-05T09:00\", \"2024-01-06T09:00\"], \"expected\": [\"2024-01-05T09:00\", \"2024-01-06T09:00\"], \"passed\": true}, {\"check\": \"duration longer than interval\", \"actual\": [\"2024-02-01T06:00\", \"2024-02-01T08:00\"], \"expected\": [\"2024-02-01T06:00\", \"2024-02-01T08:00\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}