{"abstract":"Friday late-night pricing shows up on Saturdays.","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":"Treating day 0 as Monday shifts every weekday by three.","family":"w2-ride-hailing-fare-surge-rate-card-local-time-epoch-weekday","id":"FA-85501","implementations":{"attempt":{"sha256":"08f1247f5089e009a401b344e12a2c42d7139b533a4f2fb802764058c4ed05f0","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 % 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: epoch weekday',\n   [1728770400, 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   'late_night'),\n  ('partial repair probe: epoch weekday',\n   [1729029600, 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    [20006]],\n   'rush'),\n  ('second regression',\n   [1729058400, 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    [20007]],\n   'rush'),\n  ('normal control 1',\n   [1729165389, 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    [20005]],\n   'standard'),\n  ('normal control 2',\n   [1728518400, -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    [20006]],\n   'standard'),\n  ('normal control 3',\n   [1728349200, -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    [20011]],\n   'standard'),\n  ('normal control 4',\n   [1728381600, 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   'standard')],\n [('regression: epoch weekday',\n   [1728165600, 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   'late_night'),\n  ('partial repair probe: epoch 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    [20005]],\n   'late_night'),\n  ('second regression',\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    [20001]],\n   'standard'),\n  ('normal control 1',\n   [1729123200, -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 2',\n   [1728432060, 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 3',\n   [1728802800, -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 4',\n   [1728111600, 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    [20006]],\n   'standard')],\n [('regression: epoch weekday',\n   [1728194400, -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  ('partial repair probe: epoch weekday',\n   [1728367200, -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    [20011]],\n   'standard'),\n  ('second regression',\n   [1728342000, 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    [20005]],\n   'rush'),\n  ('normal control 1',\n   [1729126800, 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 2',\n   [1728457200, 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    [20002]],\n   'standard'),\n  ('normal control 3',\n   [1728604860, -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   'standard'),\n  ('normal control 4',\n   [1728086340, 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    [20005]],\n   'standard')],\n [('regression: epoch weekday',\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    [20005]],\n   'standard'),\n  ('partial repair probe: epoch weekday',\n   [1728950400, 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    [20003]],\n   'standard'),\n  ('second regression',\n   [1728626400, -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   'standard'),\n  ('normal control 1',\n   [1728086340, 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   [1728000060, -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    [20012]],\n   'standard'),\n  ('normal control 3',\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    [20007]],\n   'standard'),\n  ('normal control 4',\n   [1729036740, -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    [20008]],\n   'standard')],\n [('regression: epoch weekday',\n   [1728198000, 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    [20008]],\n   'standard'),\n  ('partial repair probe: epoch weekday',\n   [1728802800, -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   'late_night'),\n  ('second regression',\n   [1728597600, 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    [20006]],\n   'rush'),\n  ('normal control 1',\n   [1728774000, 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    [20011]],\n   'standard'),\n  ('normal control 2',\n   [1728338400, -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    [20012]],\n   'standard'),\n  ('normal control 3',\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    [20003]],\n   'standard'),\n  ('normal control 4',\n   [1728608400, -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   '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":"3672e7255b1619ef36a0cc2b7ebc46067ff2b75bd4e58bc66c511a5ac6d1c4a5","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 + 4) % 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: epoch weekday',\n   [1728770400, 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   'late_night'),\n  ('partial repair probe: epoch weekday',\n   [1729029600, 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    [20006]],\n   'rush'),\n  ('second regression',\n   [1729058400, 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    [20007]],\n   'rush'),\n  ('normal control 1',\n   [1729165389, 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    [20005]],\n   'standard'),\n  ('normal control 2',\n   [1728518400, -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    [20006]],\n   'standard'),\n  ('normal control 3',\n   [1728349200, -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    [20011]],\n   'standard'),\n  ('normal control 4',\n   [1728381600, 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   'standard')],\n [('regression: epoch weekday',\n   [1728165600, 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   'late_night'),\n  ('partial repair probe: epoch 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    [20005]],\n   'late_night'),\n  ('second regression',\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    [20001]],\n   'standard'),\n  ('normal control 1',\n   [1729123200, -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 2',\n   [1728432060, 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 3',\n   [1728802800, -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 4',\n   [1728111600, 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    [20006]],\n   'standard')],\n [('regression: epoch weekday',\n   [1728194400, -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  ('partial repair probe: epoch weekday',\n   [1728367200, -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    [20011]],\n   'standard'),\n  ('second regression',\n   [1728342000, 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    [20005]],\n   'rush'),\n  ('normal control 1',\n   [1729126800, 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 2',\n   [1728457200, 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    [20002]],\n   'standard'),\n  ('normal control 3',\n   [1728604860, -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   'standard'),\n  ('normal control 4',\n   [1728086340, 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    [20005]],\n   'standard')],\n [('regression: epoch weekday',\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    [20005]],\n   'standard'),\n  ('partial repair probe: epoch weekday',\n   [1728950400, 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    [20003]],\n   'standard'),\n  ('second regression',\n   [1728626400, -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   'standard'),\n  ('normal control 1',\n   [1728086340, 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   [1728000060, -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    [20012]],\n   'standard'),\n  ('normal control 3',\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    [20007]],\n   'standard'),\n  ('normal control 4',\n   [1729036740, -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    [20008]],\n   'standard')],\n [('regression: epoch weekday',\n   [1728198000, 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    [20008]],\n   'standard'),\n  ('partial repair probe: epoch weekday',\n   [1728802800, -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   'late_night'),\n  ('second regression',\n   [1728597600, 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    [20006]],\n   'rush'),\n  ('normal control 1',\n   [1728774000, 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    [20011]],\n   'standard'),\n  ('normal control 2',\n   [1728338400, -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    [20012]],\n   'standard'),\n  ('normal control 3',\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    [20003]],\n   'standard'),\n  ('normal control 4',\n   [1728608400, -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   '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-epoch-weekday","generated_at":"2026-09-29T14:50:40.983436+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 epoch weekday offset uses Sunday=0 while the cards use Monday=0.","sha256":"caf37364bfa0e362211bcb99aedb6fb18c6df735c28035c7200e680d56e852c9","title":"Weekday computed with a Sunday-first convention · 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":40.323,"exit_code":1,"observations":[{"actual":"standard","check":"regression: epoch weekday","expected":"late_night","passed":false},{"actual":"standard","check":"partial repair probe: epoch weekday","expected":"rush","passed":false},{"actual":"standard","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":"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: epoch weekday\", \"actual\": \"standard\", \"expected\": \"late_night\", \"passed\": false}, {\"check\": \"partial repair probe: epoch weekday\", \"actual\": \"standard\", \"expected\": \"rush\", \"passed\": false}, {\"check\": \"second regression\", \"actual\": \"standard\", \"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\": \"standard\", \"expected\": \"standard\", \"passed\": true}, {\"check\": \"normal control 4\", \"actual\": \"standard\", \"expected\": \"standard\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.778,"exit_code":1,"observations":[{"actual":"standard","check":"regression: epoch weekday","expected":"late_night","passed":false},{"actual":"rush","check":"partial repair probe: epoch weekday","expected":"rush","passed":true},{"actual":"rush","check":"second regression","expected":"rush","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: epoch weekday\", \"actual\": \"standard\", \"expected\": \"late_night\", \"passed\": false}, {\"check\": \"partial repair probe: epoch weekday\", \"actual\": \"rush\", \"expected\": \"rush\", \"passed\": true}, {\"check\": \"second regression\", \"actual\": \"rush\", \"expected\": \"rush\", \"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."}}