{"abstract":"Friday 1 a.m. gets Thursday-night pricing and Sunday 1 a.m. gets none.","category":"Ride-hailing fare and surge pricing","checks":7,"contract":"Pick the rate card for a pickup at ts_utc seconds (Unix epoch; day 0 was a Thursday) in a city at offset_min minutes from UTC. Local day index and minute-of-day come from the local time; weekday is Monday=0. Cards are checked in order, windows are half-open [start, end) minutes; a window with start > end wraps midnight and its after-midnight part belongs to the previous weekday. Holiday cards match local day indexes in holidays. Default \"standard\".","contract_signature":"ts_utc, offset_min, cards, holidays","evaluation_group":"w2-ride-hailing-fare-surge-rate-card-local-time","failed_approach":"Checking the next weekday moves the window the wrong way.","family":"w2-ride-hailing-fare-surge-rate-card-local-time-wrapped-window-weekday","id":"FA-85506","implementations":{"attempt":{"sha256":"be3b64ae81346a0225a0ac4c053661467b36a9e8122448791b642a10bd60ad19","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(ts_utc, offset_min, cards, holidays):\n    local = ts_utc + offset_min * 60\n    day = local // 86400\n    minute = local % 86400 // 60\n    wd = (day + 3) % 7\n    is_hol = day in holidays\n    for c in cards:\n        if c['days'] == 'holiday':\n            if is_hol and c['start'] <= minute < c['end']:\n                return c['card']\n            continue\n        if c['start'] < c['end']:\n            if wd in c['days'] and c['start'] <= minute < c['end']:\n                return c['card']\n        else:\n            if wd in c['days'] and minute >= c['start']:\n                return c['card']\n            if (wd + 1) % 7 in c['days'] and minute < c['end']:\n                return c['card']\n    return 'standard'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: wrapped window weekday',\n   [1728604740, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20010]],\n   'standard'),\n  ('partial repair probe: wrapped window weekday',\n   [1729123200, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20005]],\n   'standard'),\n  ('second regression',\n   [1728700972, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20001]],\n   'late_night'),\n  ('normal control 1',\n   [1728431940, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20011]],\n   'standard'),\n  ('normal control 2',\n   [1728950340, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20002]],\n   'standard'),\n  ('normal control 3',\n   [1728021600, -480,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20005]],\n   'standard'),\n  ('normal control 4',\n   [1729033200, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20002]],\n   'standard')],\n [('regression: wrapped window weekday',\n   [1728604800, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20004]],\n   'standard'),\n  ('partial repair probe: wrapped window weekday',\n   [1728727200, -480,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20007]],\n   'late_night'),\n  ('second regression',\n   [1728687600, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20002]],\n   'late_night'),\n  ('normal control 1',\n   [1728367200, 330,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20013]],\n   'standard'),\n  ('normal control 2',\n   [1728194400, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20008]],\n   'standard'),\n  ('normal control 3',\n   [1728518460, -300,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20003]],\n   'standard'),\n  ('normal control 4',\n   [1728554400, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20010]],\n   'standard')],\n [('regression: wrapped window weekday',\n   [1728165600, 330,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20003]],\n   'late_night'),\n  ('partial repair probe: wrapped window weekday',\n   [1729116000, 330,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20006]],\n   'standard'),\n  ('second regression',\n   [1728774000, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20011]],\n   'late_night'),\n  ('normal control 1',\n   [1728889200, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20005]],\n   'rush'),\n  ('normal control 2',\n   [1728856800, -300,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20010]],\n   'standard'),\n  ('normal control 3',\n   [1729159200, 600,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20007]],\n   'standard'),\n  ('normal control 4',\n   [1728716400, 330,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20010]],\n   'standard')],\n [('regression: wrapped window weekday',\n   [1728608400, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20010]],\n   'standard'),\n  ('partial repair probe: wrapped window weekday',\n   [1728663396, 600,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20000]],\n   'late_night'),\n  ('second regression',\n   [1728777660, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20007]],\n   'late_night'),\n  ('normal control 1',\n   [1728799200, 600,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20012]],\n   'standard'),\n  ('normal control 2',\n   [1729119600, 330,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20009]],\n   'standard'),\n  ('normal control 3',\n   [1728338400, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20012]],\n   'standard'),\n  ('normal control 4',\n   [1728597600, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20004]],\n   'standard')],\n [('regression: wrapped window weekday',\n   [1729209540, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20000]],\n   'standard'),\n  ('partial repair probe: wrapped window weekday',\n   [1728082800, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20003]],\n   'late_night'),\n  ('second regression',\n   [1728169200, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20012]],\n   'late_night'),\n  ('normal control 1',\n   [1728021600, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20007]],\n   'standard'),\n  ('normal control 2',\n   [1728025200, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20002]],\n   'rush'),\n  ('normal control 3',\n   [1728036000, -300,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20013]],\n   'standard'),\n  ('normal control 4',\n   [1728172740, -480,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20009]],\n   'standard')]]\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":"da1f5fadff37ef694ed82aa7f3330c8220db5047dbf3897779dfa7d418f7baf5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(ts_utc, offset_min, cards, holidays):\n    local = ts_utc + offset_min * 60\n    day = local // 86400\n    minute = local % 86400 // 60\n    wd = (day + 3) % 7\n    is_hol = day in holidays\n    for c in cards:\n        if c['days'] == 'holiday':\n            if is_hol and c['start'] <= minute < c['end']:\n                return c['card']\n            continue\n        if c['start'] < c['end']:\n            if wd in c['days'] and c['start'] <= minute < c['end']:\n                return c['card']\n        else:\n            if wd in c['days'] and minute >= c['start']:\n                return c['card']\n            if wd in c['days'] and minute < c['end']:\n                return c['card']\n    return 'standard'\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: wrapped window weekday',\n   [1728604740, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20010]],\n   'standard'),\n  ('partial repair probe: wrapped window weekday',\n   [1729123200, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20005]],\n   'standard'),\n  ('second regression',\n   [1728700972, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20001]],\n   'late_night'),\n  ('normal control 1',\n   [1728431940, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20011]],\n   'standard'),\n  ('normal control 2',\n   [1728950340, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20002]],\n   'standard'),\n  ('normal control 3',\n   [1728021600, -480,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20005]],\n   'standard'),\n  ('normal control 4',\n   [1729033200, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20002]],\n   'standard')],\n [('regression: wrapped window weekday',\n   [1728604800, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20004]],\n   'standard'),\n  ('partial repair probe: wrapped window weekday',\n   [1728727200, -480,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20007]],\n   'late_night'),\n  ('second regression',\n   [1728687600, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20002]],\n   'late_night'),\n  ('normal control 1',\n   [1728367200, 330,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20013]],\n   'standard'),\n  ('normal control 2',\n   [1728194400, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20008]],\n   'standard'),\n  ('normal control 3',\n   [1728518460, -300,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20003]],\n   'standard'),\n  ('normal control 4',\n   [1728554400, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20010]],\n   'standard')],\n [('regression: wrapped window weekday',\n   [1728165600, 330,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20003]],\n   'late_night'),\n  ('partial repair probe: wrapped window weekday',\n   [1729116000, 330,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20006]],\n   'standard'),\n  ('second regression',\n   [1728774000, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20011]],\n   'late_night'),\n  ('normal control 1',\n   [1728889200, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20005]],\n   'rush'),\n  ('normal control 2',\n   [1728856800, -300,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20010]],\n   'standard'),\n  ('normal control 3',\n   [1729159200, 600,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20007]],\n   'standard'),\n  ('normal control 4',\n   [1728716400, 330,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20010]],\n   'standard')],\n [('regression: wrapped window weekday',\n   [1728608400, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20010]],\n   'standard'),\n  ('partial repair probe: wrapped window weekday',\n   [1728663396, 600,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20000]],\n   'late_night'),\n  ('second regression',\n   [1728777660, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20007]],\n   'late_night'),\n  ('normal control 1',\n   [1728799200, 600,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20012]],\n   'standard'),\n  ('normal control 2',\n   [1729119600, 330,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20009]],\n   'standard'),\n  ('normal control 3',\n   [1728338400, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20012]],\n   'standard'),\n  ('normal control 4',\n   [1728597600, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20004]],\n   'standard')],\n [('regression: wrapped window weekday',\n   [1729209540, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20000]],\n   'standard'),\n  ('partial repair probe: wrapped window weekday',\n   [1728082800, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20003]],\n   'late_night'),\n  ('second regression',\n   [1728169200, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20012]],\n   'late_night'),\n  ('normal control 1',\n   [1728021600, 0,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20007]],\n   'standard'),\n  ('normal control 2',\n   [1728025200, 60,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20002]],\n   'rush'),\n  ('normal control 3',\n   [1728036000, -300,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20013]],\n   'standard'),\n  ('normal control 4',\n   [1728172740, -480,\n    [{'card': 'holiday', 'days': 'holiday', 'end': 1440, 'start': 0},\n     {'card': 'late_night', 'days': [4, 5], 'end': 240, 'start': 1320},\n     {'card': 'rush', 'days': [0, 1, 2, 3, 4], 'end': 600, 'start': 420}],\n    [20009]],\n   'standard')]]\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":"A deterministic toy pricing contract stipulated for this example; it does not reproduce the pricing of any real ride-hailing operator or regulator. 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-ride-hailing-fare-surge-rate-card-local-time-wrapped-window-weekday","generated_at":"2026-09-29T14:50:40.994898+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Ride-hailing prices are computed per trip at scale; ordering, unit and boundary slips become systematic over- or under-charging.","root_cause":"The post-midnight half of a wrapping window checks the current weekday.","sha256":"3e646cda6059bdf038da9a5581768b25c78cd350eca79f9c182b5b648c431800","title":"After-midnight part of a late-night window keyed to the new day · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":41.06,"exit_code":1,"observations":[{"actual":"late_night","check":"regression: wrapped window weekday","expected":"standard","passed":false},{"actual":"late_night","check":"partial repair probe: wrapped window weekday","expected":"standard","passed":false},{"actual":"standard","check":"second regression","expected":"late_night","passed":false},{"actual":"standard","check":"normal control 1","expected":"standard","passed":true},{"actual":"standard","check":"normal control 2","expected":"standard","passed":true},{"actual":"standard","check":"normal control 3","expected":"standard","passed":true},{"actual":"standard","check":"normal control 4","expected":"standard","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: wrapped window weekday\", \"actual\": \"late_night\", \"expected\": \"standard\", \"passed\": false}, {\"check\": \"partial repair probe: wrapped window weekday\", \"actual\": \"late_night\", \"expected\": \"standard\", \"passed\": false}, {\"check\": \"second regression\", \"actual\": \"standard\", \"expected\": \"late_night\", \"passed\": false}, {\"check\": \"normal control 1\", \"actual\": \"standard\", \"expected\": \"standard\", \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": \"standard\", \"expected\": \"standard\", \"passed\": true}, {\"check\": \"normal control 3\", \"actual\": \"standard\", \"expected\": \"standard\", \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": \"standard\", \"expected\": \"standard\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.595,"exit_code":1,"observations":[{"actual":"late_night","check":"regression: wrapped window weekday","expected":"standard","passed":false},{"actual":"standard","check":"partial repair probe: wrapped window weekday","expected":"standard","passed":true},{"actual":"late_night","check":"second regression","expected":"late_night","passed":true},{"actual":"standard","check":"normal control 1","expected":"standard","passed":true},{"actual":"standard","check":"normal control 2","expected":"standard","passed":true},{"actual":"standard","check":"normal control 3","expected":"standard","passed":true},{"actual":"standard","check":"normal control 4","expected":"standard","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: wrapped window weekday\", \"actual\": \"late_night\", \"expected\": \"standard\", \"passed\": false}, {\"check\": \"partial repair probe: wrapped window weekday\", \"actual\": \"standard\", \"expected\": \"standard\", \"passed\": true}, {\"check\": \"second regression\", \"actual\": \"late_night\", \"expected\": \"late_night\", \"passed\": true}, {\"check\": \"normal control 1\", \"actual\": \"standard\", \"expected\": \"standard\", \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": \"standard\", \"expected\": \"standard\", \"passed\": true}, {\"check\": \"normal control 3\", \"actual\": \"standard\", \"expected\": \"standard\", \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": \"standard\", \"expected\": \"standard\", \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}