{"abstract":"In a city ahead of UTC the first hours of the holiday are priced normally.","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":"Accepting either day index also marks the evening before as holiday.","family":"w2-ride-hailing-fare-surge-rate-card-local-time-holiday-calendar-day","id":"FA-85516","implementations":{"attempt":{"sha256":"9215c7773490a3d288ce103db065739c9270a348f75fc59b6e8b17e09b53ec38","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 or ts_utc // 86400 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: holiday calendar day',\n   [1729182230, 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    [20013]],\n   'standard'),\n  ('partial repair probe: holiday calendar day',\n   [1728864000, -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    [20010]],\n   'standard'),\n  ('second regression',\n   [1728345540, 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    [20003]],\n   'rush'),\n  ('normal control 1',\n   [1728604860, 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    [20009]],\n   'standard'),\n  ('normal control 2',\n   [1728424800, 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  ('normal control 3',\n   [1728543600, 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    [20013]],\n   'rush'),\n  ('normal control 4',\n   [1728295200, 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    [20006]],\n   'standard')],\n [('regression: holiday calendar day',\n   [1728252000, 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    [20002]],\n   'rush'),\n  ('partial repair probe: holiday calendar day',\n   [1728432000, -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    [20005]],\n   'standard'),\n  ('second regression',\n   [1728172800, -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    [20001]],\n   'holiday'),\n  ('normal control 1',\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    [20004]],\n   'late_night'),\n  ('normal control 2',\n   [1728687600, -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    [20009]],\n   'standard'),\n  ('normal control 3',\n   [1728090000, 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   'late_night'),\n  ('normal control 4',\n   [1728802800, 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    [20001]],\n   'standard')],\n [('regression: holiday calendar day',\n   [1728950340, 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: holiday calendar day',\n   [1728777600, -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    [20009]],\n   'standard'),\n  ('second regression',\n   [1728086400, -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    [20001]],\n   'standard'),\n  ('normal control 1',\n   [1728856800, 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    [20006]],\n   'standard'),\n  ('normal control 2',\n   [1728537326, 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    [20011]],\n   'standard'),\n  ('normal control 3',\n   [1728172800, 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    [20003]],\n   'standard'),\n  ('normal control 4',\n   [1728194400, 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    [20012]],\n   'standard')],\n [('regression: holiday calendar day',\n   [1728604740, 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    [20007]],\n   'holiday'),\n  ('partial repair probe: holiday calendar day',\n   [1728079200, 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   'standard'),\n  ('second regression',\n   [1728777660, -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    [20008]],\n   'holiday'),\n  ('normal control 1',\n   [1728604860, 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    [20000]],\n   'standard'),\n  ('normal control 2',\n   [1728604740, 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    [20011]],\n   'rush'),\n  ('normal control 3',\n   [1728208800, 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   'standard'),\n  ('normal control 4',\n   [1728252000, -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    [20001]],\n   'standard')],\n [('regression: holiday calendar day',\n   [1728860400, 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   'holiday'),\n  ('partial repair probe: holiday calendar day',\n   [1728777660, -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'),\n  ('second regression',\n   [1728855612, 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   'holiday'),\n  ('normal control 1',\n   [1729036740, 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   'standard'),\n  ('normal control 2',\n   [1729058400, -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    [20004]],\n   'standard'),\n  ('normal control 3',\n   [1728946800, 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    [20009]],\n   'standard'),\n  ('normal control 4',\n   [1728950460, -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    [20000]],\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":"372b285f57993e92b060bd298ce2a2ad2a857eb967baef509ddf4962072edd55","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 = ts_utc // 86400 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: holiday calendar day',\n   [1729182230, 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    [20013]],\n   'standard'),\n  ('partial repair probe: holiday calendar day',\n   [1728864000, -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    [20010]],\n   'standard'),\n  ('second regression',\n   [1728345540, 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    [20003]],\n   'rush'),\n  ('normal control 1',\n   [1728604860, 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    [20009]],\n   'standard'),\n  ('normal control 2',\n   [1728424800, 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  ('normal control 3',\n   [1728543600, 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    [20013]],\n   'rush'),\n  ('normal control 4',\n   [1728295200, 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    [20006]],\n   'standard')],\n [('regression: holiday calendar day',\n   [1728252000, 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    [20002]],\n   'rush'),\n  ('partial repair probe: holiday calendar day',\n   [1728432000, -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    [20005]],\n   'standard'),\n  ('second regression',\n   [1728172800, -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    [20001]],\n   'holiday'),\n  ('normal control 1',\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    [20004]],\n   'late_night'),\n  ('normal control 2',\n   [1728687600, -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    [20009]],\n   'standard'),\n  ('normal control 3',\n   [1728090000, 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   'late_night'),\n  ('normal control 4',\n   [1728802800, 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    [20001]],\n   'standard')],\n [('regression: holiday calendar day',\n   [1728950340, 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: holiday calendar day',\n   [1728777600, -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    [20009]],\n   'standard'),\n  ('second regression',\n   [1728086400, -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    [20001]],\n   'standard'),\n  ('normal control 1',\n   [1728856800, 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    [20006]],\n   'standard'),\n  ('normal control 2',\n   [1728537326, 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    [20011]],\n   'standard'),\n  ('normal control 3',\n   [1728172800, 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    [20003]],\n   'standard'),\n  ('normal control 4',\n   [1728194400, 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    [20012]],\n   'standard')],\n [('regression: holiday calendar day',\n   [1728604740, 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    [20007]],\n   'holiday'),\n  ('partial repair probe: holiday calendar day',\n   [1728079200, 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   'standard'),\n  ('second regression',\n   [1728777660, -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    [20008]],\n   'holiday'),\n  ('normal control 1',\n   [1728604860, 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    [20000]],\n   'standard'),\n  ('normal control 2',\n   [1728604740, 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    [20011]],\n   'rush'),\n  ('normal control 3',\n   [1728208800, 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   'standard'),\n  ('normal control 4',\n   [1728252000, -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    [20001]],\n   'standard')],\n [('regression: holiday calendar day',\n   [1728860400, 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   'holiday'),\n  ('partial repair probe: holiday calendar day',\n   [1728777660, -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'),\n  ('second regression',\n   [1728855612, 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   'holiday'),\n  ('normal control 1',\n   [1729036740, 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   'standard'),\n  ('normal control 2',\n   [1729058400, -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    [20004]],\n   'standard'),\n  ('normal control 3',\n   [1728946800, 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    [20009]],\n   'standard'),\n  ('normal control 4',\n   [1728950460, -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    [20000]],\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-holiday-calendar-day","generated_at":"2026-09-29T14:50:41.141370+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":"Holiday lookup uses the UTC day index instead of the local day.","sha256":"319d43c906352f41e0da52fa27cd846165e844d447fc8e7a0ecd2e55c32bc84d","title":"Holiday matched on the UTC date · 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":42.469,"exit_code":1,"observations":[{"actual":"holiday","check":"regression: holiday calendar day","expected":"standard","passed":false},{"actual":"holiday","check":"partial repair probe: holiday calendar day","expected":"standard","passed":false},{"actual":"holiday","check":"second regression","expected":"rush","passed":false},{"actual":"standard","check":"normal control 1","expected":"standard","passed":true},{"actual":"standard","check":"normal control 2","expected":"standard","passed":true},{"actual":"rush","check":"normal control 3","expected":"rush","passed":true},{"actual":"standard","check":"normal control 4","expected":"standard","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: holiday calendar day\", \"actual\": \"holiday\", \"expected\": \"standard\", \"passed\": false}, {\"check\": \"partial repair probe: holiday calendar day\", \"actual\": \"holiday\", \"expected\": \"standard\", \"passed\": false}, {\"check\": \"second regression\", \"actual\": \"holiday\", \"expected\": \"rush\", \"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\": \"rush\", \"expected\": \"rush\", \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": \"standard\", \"expected\": \"standard\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.288,"exit_code":1,"observations":[{"actual":"holiday","check":"regression: holiday calendar day","expected":"standard","passed":false},{"actual":"holiday","check":"partial repair probe: holiday calendar day","expected":"standard","passed":false},{"actual":"holiday","check":"second regression","expected":"rush","passed":false},{"actual":"standard","check":"normal control 1","expected":"standard","passed":true},{"actual":"standard","check":"normal control 2","expected":"standard","passed":true},{"actual":"rush","check":"normal control 3","expected":"rush","passed":true},{"actual":"standard","check":"normal control 4","expected":"standard","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: holiday calendar day\", \"actual\": \"holiday\", \"expected\": \"standard\", \"passed\": false}, {\"check\": \"partial repair probe: holiday calendar day\", \"actual\": \"holiday\", \"expected\": \"standard\", \"passed\": false}, {\"check\": \"second regression\", \"actual\": \"holiday\", \"expected\": \"rush\", \"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\": \"rush\", \"expected\": \"rush\", \"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."}}