{"abstract":"Railroad preemption entry timing returns a wrong result when the FDW remainder is measured from vehicle green.","category":"Traffic signal timing plans","checks":8,"contract":"Input {state: green|yellow|red (red = all-red clearance), elapsed, min_green, preempt_min_green, yellow, red, fdw, ped: none|walk|fdw, ped_elapsed, ped_truncate, track_current}. If the track clearance phase is already green the answer is [0, 0]. In all-red the remaining red is timed; in yellow the remaining yellow and full red are timed. In green the hold is the larger of the remaining preempt minimum green (not the normal minimum) and the pedestrian time: walk is abandoned and FDW is timed in full, or skipped when ped_truncate; an active FDW completes its remainder unless truncated. Return [seconds until track clearance green, green hold].","evaluation_group":"w2-traffic_signal_timing_plans-preempt-entry","failed_approach":"Subtracting green elapsed instead of FDW elapsed mixes two different timers.","family":"w2-traffic_signal_timing_plans-preempt-entry-fdw-remainder","id":"FA-68176","implementations":{"attempt":{"sha256":"b4a16b76b59fa4a4e4578cfe2bd5c8993d6b5e03ba8a02021ee28fc4c248a31d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    st, el = x['state'], x['elapsed']\n    y, r, f = x['yellow'], x['red'], x['fdw']\n    if st == 'green' and x['track_current']:\n        return [0, 0]\n    if st == 'red':\n        return [max(0, r - el), 0]\n    if st == 'yellow':\n        return [max(0, y - el) + r, 0]\n    ped = 0\n    if x['ped'] == 'walk':\n        ped = 0 if x['ped_truncate'] else f\n    elif x['ped'] == 'fdw':\n        ped = 0 if x['ped_truncate'] else max(0, f - el)\n    hold = max(ped, max(0, x['preempt_min_green'] - el))\n    return [hold + y + r, hold]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'state': 'green', 'elapsed': 4, 'min_green': 10, 'preempt_min_green': 5, 'yellow': 3, 'red': 1, 'fdw': 14, 'ped': 'none', 'ped_elapsed': 12, 'ped_truncate': False, 'track_current': False}, [5, 1]), ({'state': 'green', 'elapsed': 1, 'min_green': 11, 'preempt_min_green': 4, 'yellow': 4, 'red': 3, 'fdw': 15, 'ped': 'none', 'ped_elapsed': 10, 'ped_truncate': False, 'track_current': False}, [10, 3]), ({'state': 'yellow', 'elapsed': 4, 'min_green': 15, 'preempt_min_green': 10, 'yellow': 3, 'red': 1, 'fdw': 18, 'ped': 'none', 'ped_elapsed': 7, 'ped_truncate': True, 'track_current': True}, [1, 0]), ({'state': 'green', 'elapsed': 12, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 3, 'red': 2, 'fdw': 24, 'ped': 'fdw', 'ped_elapsed': 5, 'ped_truncate': False, 'track_current': False}, [24, 19]), ({'state': 'yellow', 'elapsed': 2, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [4, 0]), ({'state': 'green', 'elapsed': 9, 'min_green': 18, 'preempt_min_green': 3, 'yellow': 6, 'red': 2, 'fdw': 19, 'ped': 'fdw', 'ped_elapsed': 19, 'ped_truncate': True, 'track_current': False}, [8, 0]), ({'state': 'green', 'elapsed': 1, 'min_green': 9, 'preempt_min_green': 9, 'yellow': 4, 'red': 3, 'fdw': 13, 'ped': 'fdw', 'ped_elapsed': 12, 'ped_truncate': False, 'track_current': False}, [15, 8]), ({'state': 'green', 'elapsed': 1, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [14, 8])], [({'state': 'green', 'elapsed': 20, 'min_green': 8, 'preempt_min_green': 4, 'yellow': 5, 'red': 1, 'fdw': 24, 'ped': 'fdw', 'ped_elapsed': 15, 'ped_truncate': True, 'track_current': False}, [6, 0]), ({'state': 'green', 'elapsed': 6, 'min_green': 10, 'preempt_min_green': 9, 'yellow': 6, 'red': 3, 'fdw': 22, 'ped': 'fdw', 'ped_elapsed': 3, 'ped_truncate': False, 'track_current': False}, [28, 19]), ({'state': 'green', 'elapsed': 1, 'min_green': 11, 'preempt_min_green': 2, 'yellow': 3, 'red': 1, 'fdw': 24, 'ped': 'walk', 'ped_elapsed': 18, 'ped_truncate': True, 'track_current': False}, [5, 1]), ({'state': 'green', 'elapsed': 1, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [14, 8]), ({'state': 'green', 'elapsed': 4, 'min_green': 11, 'preempt_min_green': 4, 'yellow': 4, 'red': 3, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 7, 'ped_truncate': False, 'track_current': False}, [12, 5]), ({'state': 'green', 'elapsed': 12, 'min_green': 8, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 18, 'ped': 'fdw', 'ped_elapsed': 15, 'ped_truncate': True, 'track_current': False}, [6, 0]), ({'state': 'green', 'elapsed': 15, 'min_green': 19, 'preempt_min_green': 10, 'yellow': 6, 'red': 3, 'fdw': 21, 'ped': 'walk', 'ped_elapsed': 19, 'ped_truncate': False, 'track_current': False}, [30, 21]), ({'state': 'yellow', 'elapsed': 2, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [4, 0])], [({'state': 'yellow', 'elapsed': 7, 'min_green': 16, 'preempt_min_green': 7, 'yellow': 6, 'red': 2, 'fdw': 21, 'ped': 'none', 'ped_elapsed': 12, 'ped_truncate': False, 'track_current': False}, [2, 0]), ({'state': 'red', 'elapsed': 6, 'min_green': 18, 'preempt_min_green': 9, 'yellow': 5, 'red': 1, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 5, 'ped_truncate': True, 'track_current': False}, [0, 0]), ({'state': 'yellow', 'elapsed': 2, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [4, 0]), ({'state': 'green', 'elapsed': 1, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [14, 8]), ({'state': 'green', 'elapsed': 11, 'min_green': 20, 'preempt_min_green': 6, 'yellow': 4, 'red': 3, 'fdw': 8, 'ped': 'none', 'ped_elapsed': 18, 'ped_truncate': True, 'track_current': False}, [7, 0]), ({'state': 'green', 'elapsed': 12, 'min_green': 19, 'preempt_min_green': 2, 'yellow': 5, 'red': 1, 'fdw': 22, 'ped': 'fdw', 'ped_elapsed': 8, 'ped_truncate': False, 'track_current': False}, [20, 14]), ({'state': 'red', 'elapsed': 6, 'min_green': 16, 'preempt_min_green': 8, 'yellow': 4, 'red': 3, 'fdw': 23, 'ped': 'none', 'ped_elapsed': 7, 'ped_truncate': True, 'track_current': False}, [0, 0]), ({'state': 'green', 'elapsed': 9, 'min_green': 16, 'preempt_min_green': 5, 'yellow': 3, 'red': 3, 'fdw': 24, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [26, 20])], [({'state': 'green', 'elapsed': 9, 'min_green': 20, 'preempt_min_green': 2, 'yellow': 5, 'red': 3, 'fdw': 14, 'ped': 'fdw', 'ped_elapsed': 3, 'ped_truncate': False, 'track_current': False}, [19, 11]), ({'state': 'yellow', 'elapsed': 2, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [4, 0]), ({'state': 'green', 'elapsed': 7, 'min_green': 12, 'preempt_min_green': 8, 'yellow': 5, 'red': 1, 'fdw': 25, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': False}, [7, 1]), ({'state': 'green', 'elapsed': 13, 'min_green': 15, 'preempt_min_green': 3, 'yellow': 3, 'red': 3, 'fdw': 8, 'ped': 'fdw', 'ped_elapsed': 5, 'ped_truncate': False, 'track_current': False}, [9, 3]), ({'state': 'green', 'elapsed': 11, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 3, 'red': 2, 'fdw': 22, 'ped': 'walk', 'ped_elapsed': 20, 'ped_truncate': False, 'track_current': False}, [27, 22]), ({'state': 'green', 'elapsed': 1, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [14, 8]), ({'state': 'green', 'elapsed': 5, 'min_green': 9, 'preempt_min_green': 6, 'yellow': 3, 'red': 3, 'fdw': 25, 'ped': 'fdw', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': False}, [31, 25]), ({'state': 'yellow', 'elapsed': 18, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 6, 'red': 2, 'fdw': 18, 'ped': 'none', 'ped_elapsed': 10, 'ped_truncate': False, 'track_current': True}, [2, 0])], [({'state': 'green', 'elapsed': 3, 'min_green': 19, 'preempt_min_green': 7, 'yellow': 4, 'red': 1, 'fdw': 24, 'ped': 'fdw', 'ped_elapsed': 13, 'ped_truncate': True, 'track_current': False}, [9, 4]), ({'state': 'yellow', 'elapsed': 2, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [4, 0]), ({'state': 'green', 'elapsed': 0, 'min_green': 12, 'preempt_min_green': 7, 'yellow': 4, 'red': 3, 'fdw': 23, 'ped': 'fdw', 'ped_elapsed': 20, 'ped_truncate': False, 'track_current': False}, [14, 7]), ({'state': 'green', 'elapsed': 1, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [14, 8]), ({'state': 'green', 'elapsed': 17, 'min_green': 16, 'preempt_min_green': 5, 'yellow': 5, 'red': 1, 'fdw': 21, 'ped': 'walk', 'ped_elapsed': 6, 'ped_truncate': False, 'track_current': True}, [0, 0]), ({'state': 'green', 'elapsed': 12, 'min_green': 18, 'preempt_min_green': 8, 'yellow': 4, 'red': 1, 'fdw': 15, 'ped': 'fdw', 'ped_elapsed': 2, 'ped_truncate': False, 'track_current': False}, [18, 13]), ({'state': 'yellow', 'elapsed': 6, 'min_green': 13, 'preempt_min_green': 4, 'yellow': 6, 'red': 3, 'fdw': 14, 'ped': 'none', 'ped_elapsed': 15, 'ped_truncate': True, 'track_current': False}, [3, 0]), ({'state': 'green', 'elapsed': 10, 'min_green': 10, 'preempt_min_green': 6, 'yellow': 6, 'red': 2, 'fdw': 25, 'ped': 'walk', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [0, 0])]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check('timing oracle' + ' %d' % i, 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":"3c2bc39a577ac30b1c70c3989c5b3988628656b20fdc368e1706b67f64102585","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    st, el = x['state'], x['elapsed']\n    y, r, f = x['yellow'], x['red'], x['fdw']\n    if st == 'green' and x['track_current']:\n        return [0, 0]\n    if st == 'red':\n        return [max(0, r - el), 0]\n    if st == 'yellow':\n        return [max(0, y - el) + r, 0]\n    ped = 0\n    if x['ped'] == 'walk':\n        ped = 0 if x['ped_truncate'] else f\n    elif x['ped'] == 'fdw':\n        ped = 0 if x['ped_truncate'] else f\n    hold = max(ped, max(0, x['preempt_min_green'] - el))\n    return [hold + y + r, hold]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'state': 'green', 'elapsed': 4, 'min_green': 10, 'preempt_min_green': 5, 'yellow': 3, 'red': 1, 'fdw': 14, 'ped': 'none', 'ped_elapsed': 12, 'ped_truncate': False, 'track_current': False}, [5, 1]), ({'state': 'green', 'elapsed': 1, 'min_green': 11, 'preempt_min_green': 4, 'yellow': 4, 'red': 3, 'fdw': 15, 'ped': 'none', 'ped_elapsed': 10, 'ped_truncate': False, 'track_current': False}, [10, 3]), ({'state': 'yellow', 'elapsed': 4, 'min_green': 15, 'preempt_min_green': 10, 'yellow': 3, 'red': 1, 'fdw': 18, 'ped': 'none', 'ped_elapsed': 7, 'ped_truncate': True, 'track_current': True}, [1, 0]), ({'state': 'green', 'elapsed': 12, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 3, 'red': 2, 'fdw': 24, 'ped': 'fdw', 'ped_elapsed': 5, 'ped_truncate': False, 'track_current': False}, [24, 19]), ({'state': 'yellow', 'elapsed': 2, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [4, 0]), ({'state': 'green', 'elapsed': 9, 'min_green': 18, 'preempt_min_green': 3, 'yellow': 6, 'red': 2, 'fdw': 19, 'ped': 'fdw', 'ped_elapsed': 19, 'ped_truncate': True, 'track_current': False}, [8, 0]), ({'state': 'green', 'elapsed': 1, 'min_green': 9, 'preempt_min_green': 9, 'yellow': 4, 'red': 3, 'fdw': 13, 'ped': 'fdw', 'ped_elapsed': 12, 'ped_truncate': False, 'track_current': False}, [15, 8]), ({'state': 'green', 'elapsed': 1, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [14, 8])], [({'state': 'green', 'elapsed': 20, 'min_green': 8, 'preempt_min_green': 4, 'yellow': 5, 'red': 1, 'fdw': 24, 'ped': 'fdw', 'ped_elapsed': 15, 'ped_truncate': True, 'track_current': False}, [6, 0]), ({'state': 'green', 'elapsed': 6, 'min_green': 10, 'preempt_min_green': 9, 'yellow': 6, 'red': 3, 'fdw': 22, 'ped': 'fdw', 'ped_elapsed': 3, 'ped_truncate': False, 'track_current': False}, [28, 19]), ({'state': 'green', 'elapsed': 1, 'min_green': 11, 'preempt_min_green': 2, 'yellow': 3, 'red': 1, 'fdw': 24, 'ped': 'walk', 'ped_elapsed': 18, 'ped_truncate': True, 'track_current': False}, [5, 1]), ({'state': 'green', 'elapsed': 1, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [14, 8]), ({'state': 'green', 'elapsed': 4, 'min_green': 11, 'preempt_min_green': 4, 'yellow': 4, 'red': 3, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 7, 'ped_truncate': False, 'track_current': False}, [12, 5]), ({'state': 'green', 'elapsed': 12, 'min_green': 8, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 18, 'ped': 'fdw', 'ped_elapsed': 15, 'ped_truncate': True, 'track_current': False}, [6, 0]), ({'state': 'green', 'elapsed': 15, 'min_green': 19, 'preempt_min_green': 10, 'yellow': 6, 'red': 3, 'fdw': 21, 'ped': 'walk', 'ped_elapsed': 19, 'ped_truncate': False, 'track_current': False}, [30, 21]), ({'state': 'yellow', 'elapsed': 2, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [4, 0])], [({'state': 'yellow', 'elapsed': 7, 'min_green': 16, 'preempt_min_green': 7, 'yellow': 6, 'red': 2, 'fdw': 21, 'ped': 'none', 'ped_elapsed': 12, 'ped_truncate': False, 'track_current': False}, [2, 0]), ({'state': 'red', 'elapsed': 6, 'min_green': 18, 'preempt_min_green': 9, 'yellow': 5, 'red': 1, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 5, 'ped_truncate': True, 'track_current': False}, [0, 0]), ({'state': 'yellow', 'elapsed': 2, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [4, 0]), ({'state': 'green', 'elapsed': 1, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [14, 8]), ({'state': 'green', 'elapsed': 11, 'min_green': 20, 'preempt_min_green': 6, 'yellow': 4, 'red': 3, 'fdw': 8, 'ped': 'none', 'ped_elapsed': 18, 'ped_truncate': True, 'track_current': False}, [7, 0]), ({'state': 'green', 'elapsed': 12, 'min_green': 19, 'preempt_min_green': 2, 'yellow': 5, 'red': 1, 'fdw': 22, 'ped': 'fdw', 'ped_elapsed': 8, 'ped_truncate': False, 'track_current': False}, [20, 14]), ({'state': 'red', 'elapsed': 6, 'min_green': 16, 'preempt_min_green': 8, 'yellow': 4, 'red': 3, 'fdw': 23, 'ped': 'none', 'ped_elapsed': 7, 'ped_truncate': True, 'track_current': False}, [0, 0]), ({'state': 'green', 'elapsed': 9, 'min_green': 16, 'preempt_min_green': 5, 'yellow': 3, 'red': 3, 'fdw': 24, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [26, 20])], [({'state': 'green', 'elapsed': 9, 'min_green': 20, 'preempt_min_green': 2, 'yellow': 5, 'red': 3, 'fdw': 14, 'ped': 'fdw', 'ped_elapsed': 3, 'ped_truncate': False, 'track_current': False}, [19, 11]), ({'state': 'yellow', 'elapsed': 2, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [4, 0]), ({'state': 'green', 'elapsed': 7, 'min_green': 12, 'preempt_min_green': 8, 'yellow': 5, 'red': 1, 'fdw': 25, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': False}, [7, 1]), ({'state': 'green', 'elapsed': 13, 'min_green': 15, 'preempt_min_green': 3, 'yellow': 3, 'red': 3, 'fdw': 8, 'ped': 'fdw', 'ped_elapsed': 5, 'ped_truncate': False, 'track_current': False}, [9, 3]), ({'state': 'green', 'elapsed': 11, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 3, 'red': 2, 'fdw': 22, 'ped': 'walk', 'ped_elapsed': 20, 'ped_truncate': False, 'track_current': False}, [27, 22]), ({'state': 'green', 'elapsed': 1, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [14, 8]), ({'state': 'green', 'elapsed': 5, 'min_green': 9, 'preempt_min_green': 6, 'yellow': 3, 'red': 3, 'fdw': 25, 'ped': 'fdw', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': False}, [31, 25]), ({'state': 'yellow', 'elapsed': 18, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 6, 'red': 2, 'fdw': 18, 'ped': 'none', 'ped_elapsed': 10, 'ped_truncate': False, 'track_current': True}, [2, 0])], [({'state': 'green', 'elapsed': 3, 'min_green': 19, 'preempt_min_green': 7, 'yellow': 4, 'red': 1, 'fdw': 24, 'ped': 'fdw', 'ped_elapsed': 13, 'ped_truncate': True, 'track_current': False}, [9, 4]), ({'state': 'yellow', 'elapsed': 2, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [4, 0]), ({'state': 'green', 'elapsed': 0, 'min_green': 12, 'preempt_min_green': 7, 'yellow': 4, 'red': 3, 'fdw': 23, 'ped': 'fdw', 'ped_elapsed': 20, 'ped_truncate': False, 'track_current': False}, [14, 7]), ({'state': 'green', 'elapsed': 1, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [14, 8]), ({'state': 'green', 'elapsed': 17, 'min_green': 16, 'preempt_min_green': 5, 'yellow': 5, 'red': 1, 'fdw': 21, 'ped': 'walk', 'ped_elapsed': 6, 'ped_truncate': False, 'track_current': True}, [0, 0]), ({'state': 'green', 'elapsed': 12, 'min_green': 18, 'preempt_min_green': 8, 'yellow': 4, 'red': 1, 'fdw': 15, 'ped': 'fdw', 'ped_elapsed': 2, 'ped_truncate': False, 'track_current': False}, [18, 13]), ({'state': 'yellow', 'elapsed': 6, 'min_green': 13, 'preempt_min_green': 4, 'yellow': 6, 'red': 3, 'fdw': 14, 'ped': 'none', 'ped_elapsed': 15, 'ped_truncate': True, 'track_current': False}, [3, 0]), ({'state': 'green', 'elapsed': 10, 'min_green': 10, 'preempt_min_green': 6, 'yellow': 6, 'red': 2, 'fdw': 25, 'ped': 'walk', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [0, 0])]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check('timing oracle' + ' %d' % i, 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":"20d1ef6bfcbc096631d2ec3c6a4c927893f0238b101fa18100ca5a9a325bee9a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    st, el = x['state'], x['elapsed']\n    y, r, f = x['yellow'], x['red'], x['fdw']\n    if st == 'green' and x['track_current']:\n        return [0, 0]\n    if st == 'red':\n        return [max(0, r - el), 0]\n    if st == 'yellow':\n        return [max(0, y - el) + r, 0]\n    ped = 0\n    if x['ped'] == 'walk':\n        ped = 0 if x['ped_truncate'] else f\n    elif x['ped'] == 'fdw':\n        ped = 0 if x['ped_truncate'] else max(0, f - x['ped_elapsed'])\n    hold = max(ped, max(0, x['preempt_min_green'] - el))\n    return [hold + y + r, hold]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[({'state': 'green', 'elapsed': 4, 'min_green': 10, 'preempt_min_green': 5, 'yellow': 3, 'red': 1, 'fdw': 14, 'ped': 'none', 'ped_elapsed': 12, 'ped_truncate': False, 'track_current': False}, [5, 1]), ({'state': 'green', 'elapsed': 1, 'min_green': 11, 'preempt_min_green': 4, 'yellow': 4, 'red': 3, 'fdw': 15, 'ped': 'none', 'ped_elapsed': 10, 'ped_truncate': False, 'track_current': False}, [10, 3]), ({'state': 'yellow', 'elapsed': 4, 'min_green': 15, 'preempt_min_green': 10, 'yellow': 3, 'red': 1, 'fdw': 18, 'ped': 'none', 'ped_elapsed': 7, 'ped_truncate': True, 'track_current': True}, [1, 0]), ({'state': 'green', 'elapsed': 12, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 3, 'red': 2, 'fdw': 24, 'ped': 'fdw', 'ped_elapsed': 5, 'ped_truncate': False, 'track_current': False}, [24, 19]), ({'state': 'yellow', 'elapsed': 2, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [4, 0]), ({'state': 'green', 'elapsed': 9, 'min_green': 18, 'preempt_min_green': 3, 'yellow': 6, 'red': 2, 'fdw': 19, 'ped': 'fdw', 'ped_elapsed': 19, 'ped_truncate': True, 'track_current': False}, [8, 0]), ({'state': 'green', 'elapsed': 1, 'min_green': 9, 'preempt_min_green': 9, 'yellow': 4, 'red': 3, 'fdw': 13, 'ped': 'fdw', 'ped_elapsed': 12, 'ped_truncate': False, 'track_current': False}, [15, 8]), ({'state': 'green', 'elapsed': 1, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [14, 8])], [({'state': 'green', 'elapsed': 20, 'min_green': 8, 'preempt_min_green': 4, 'yellow': 5, 'red': 1, 'fdw': 24, 'ped': 'fdw', 'ped_elapsed': 15, 'ped_truncate': True, 'track_current': False}, [6, 0]), ({'state': 'green', 'elapsed': 6, 'min_green': 10, 'preempt_min_green': 9, 'yellow': 6, 'red': 3, 'fdw': 22, 'ped': 'fdw', 'ped_elapsed': 3, 'ped_truncate': False, 'track_current': False}, [28, 19]), ({'state': 'green', 'elapsed': 1, 'min_green': 11, 'preempt_min_green': 2, 'yellow': 3, 'red': 1, 'fdw': 24, 'ped': 'walk', 'ped_elapsed': 18, 'ped_truncate': True, 'track_current': False}, [5, 1]), ({'state': 'green', 'elapsed': 1, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [14, 8]), ({'state': 'green', 'elapsed': 4, 'min_green': 11, 'preempt_min_green': 4, 'yellow': 4, 'red': 3, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 7, 'ped_truncate': False, 'track_current': False}, [12, 5]), ({'state': 'green', 'elapsed': 12, 'min_green': 8, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 18, 'ped': 'fdw', 'ped_elapsed': 15, 'ped_truncate': True, 'track_current': False}, [6, 0]), ({'state': 'green', 'elapsed': 15, 'min_green': 19, 'preempt_min_green': 10, 'yellow': 6, 'red': 3, 'fdw': 21, 'ped': 'walk', 'ped_elapsed': 19, 'ped_truncate': False, 'track_current': False}, [30, 21]), ({'state': 'yellow', 'elapsed': 2, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [4, 0])], [({'state': 'yellow', 'elapsed': 7, 'min_green': 16, 'preempt_min_green': 7, 'yellow': 6, 'red': 2, 'fdw': 21, 'ped': 'none', 'ped_elapsed': 12, 'ped_truncate': False, 'track_current': False}, [2, 0]), ({'state': 'red', 'elapsed': 6, 'min_green': 18, 'preempt_min_green': 9, 'yellow': 5, 'red': 1, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 5, 'ped_truncate': True, 'track_current': False}, [0, 0]), ({'state': 'yellow', 'elapsed': 2, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [4, 0]), ({'state': 'green', 'elapsed': 1, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [14, 8]), ({'state': 'green', 'elapsed': 11, 'min_green': 20, 'preempt_min_green': 6, 'yellow': 4, 'red': 3, 'fdw': 8, 'ped': 'none', 'ped_elapsed': 18, 'ped_truncate': True, 'track_current': False}, [7, 0]), ({'state': 'green', 'elapsed': 12, 'min_green': 19, 'preempt_min_green': 2, 'yellow': 5, 'red': 1, 'fdw': 22, 'ped': 'fdw', 'ped_elapsed': 8, 'ped_truncate': False, 'track_current': False}, [20, 14]), ({'state': 'red', 'elapsed': 6, 'min_green': 16, 'preempt_min_green': 8, 'yellow': 4, 'red': 3, 'fdw': 23, 'ped': 'none', 'ped_elapsed': 7, 'ped_truncate': True, 'track_current': False}, [0, 0]), ({'state': 'green', 'elapsed': 9, 'min_green': 16, 'preempt_min_green': 5, 'yellow': 3, 'red': 3, 'fdw': 24, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [26, 20])], [({'state': 'green', 'elapsed': 9, 'min_green': 20, 'preempt_min_green': 2, 'yellow': 5, 'red': 3, 'fdw': 14, 'ped': 'fdw', 'ped_elapsed': 3, 'ped_truncate': False, 'track_current': False}, [19, 11]), ({'state': 'yellow', 'elapsed': 2, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [4, 0]), ({'state': 'green', 'elapsed': 7, 'min_green': 12, 'preempt_min_green': 8, 'yellow': 5, 'red': 1, 'fdw': 25, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': False}, [7, 1]), ({'state': 'green', 'elapsed': 13, 'min_green': 15, 'preempt_min_green': 3, 'yellow': 3, 'red': 3, 'fdw': 8, 'ped': 'fdw', 'ped_elapsed': 5, 'ped_truncate': False, 'track_current': False}, [9, 3]), ({'state': 'green', 'elapsed': 11, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 3, 'red': 2, 'fdw': 22, 'ped': 'walk', 'ped_elapsed': 20, 'ped_truncate': False, 'track_current': False}, [27, 22]), ({'state': 'green', 'elapsed': 1, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [14, 8]), ({'state': 'green', 'elapsed': 5, 'min_green': 9, 'preempt_min_green': 6, 'yellow': 3, 'red': 3, 'fdw': 25, 'ped': 'fdw', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': False}, [31, 25]), ({'state': 'yellow', 'elapsed': 18, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 6, 'red': 2, 'fdw': 18, 'ped': 'none', 'ped_elapsed': 10, 'ped_truncate': False, 'track_current': True}, [2, 0])], [({'state': 'green', 'elapsed': 3, 'min_green': 19, 'preempt_min_green': 7, 'yellow': 4, 'red': 1, 'fdw': 24, 'ped': 'fdw', 'ped_elapsed': 13, 'ped_truncate': True, 'track_current': False}, [9, 4]), ({'state': 'yellow', 'elapsed': 2, 'min_green': 10, 'preempt_min_green': 4, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'none', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [4, 0]), ({'state': 'green', 'elapsed': 0, 'min_green': 12, 'preempt_min_green': 7, 'yellow': 4, 'red': 3, 'fdw': 23, 'ped': 'fdw', 'ped_elapsed': 20, 'ped_truncate': False, 'track_current': False}, [14, 7]), ({'state': 'green', 'elapsed': 1, 'min_green': 15, 'preempt_min_green': 5, 'yellow': 4, 'red': 2, 'fdw': 12, 'ped': 'fdw', 'ped_elapsed': 4, 'ped_truncate': False, 'track_current': False}, [14, 8]), ({'state': 'green', 'elapsed': 17, 'min_green': 16, 'preempt_min_green': 5, 'yellow': 5, 'red': 1, 'fdw': 21, 'ped': 'walk', 'ped_elapsed': 6, 'ped_truncate': False, 'track_current': True}, [0, 0]), ({'state': 'green', 'elapsed': 12, 'min_green': 18, 'preempt_min_green': 8, 'yellow': 4, 'red': 1, 'fdw': 15, 'ped': 'fdw', 'ped_elapsed': 2, 'ped_truncate': False, 'track_current': False}, [18, 13]), ({'state': 'yellow', 'elapsed': 6, 'min_green': 13, 'preempt_min_green': 4, 'yellow': 6, 'red': 3, 'fdw': 14, 'ped': 'none', 'ped_elapsed': 15, 'ped_truncate': True, 'track_current': False}, [3, 0]), ({'state': 'green', 'elapsed': 10, 'min_green': 10, 'preempt_min_green': 6, 'yellow': 6, 'red': 2, 'fdw': 25, 'ped': 'walk', 'ped_elapsed': 0, 'ped_truncate': False, 'track_current': True}, [0, 0])]]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check('timing oracle' + ' %d' % i, 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, bounded toy model with a stipulated contract; it makes no claim of conformance to any agency manual or standard. 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-traffic_signal_timing_plans-preempt-entry-fdw-remainder","generated_at":"2026-09-29T14:47:59.761050+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Signal timing arithmetic is exact and integer or rational; a wrong rule silently produces unsafe or inefficient timing plans.","repair":"Restore the FDW remainder rule so that the step reads `max(0, f - x['ped_elapsed'])`.","root_cause":"An FDW already in progress restarts from its full length.","sha256":"7a8ec370737b88e888d52a7f603a6795b71fdf86f6f2d3c3450fd419dcaa1d58","title":"Railroad preemption entry timing: the FDW remainder is measured from vehicle green · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.392,"exit_code":1,"observations":[{"actual":[5,1],"check":"timing oracle 0","expected":[5,1],"passed":true},{"actual":[10,3],"check":"timing oracle 1","expected":[10,3],"passed":true},{"actual":[1,0],"check":"timing oracle 2","expected":[1,0],"passed":true},{"actual":[17,12],"check":"timing oracle 3","expected":[24,19],"passed":false},{"actual":[4,0],"check":"timing oracle 4","expected":[4,0],"passed":true},{"actual":[8,0],"check":"timing oracle 5","expected":[8,0],"passed":true},{"actual":[19,12],"check":"timing oracle 6","expected":[15,8],"passed":false},{"actual":[17,11],"check":"timing oracle 7","expected":[14,8],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"timing oracle 0\", \"actual\": [5, 1], \"expected\": [5, 1], \"passed\": true}, {\"check\": \"timing oracle 1\", \"actual\": [10, 3], \"expected\": [10, 3], \"passed\": true}, {\"check\": \"timing oracle 2\", \"actual\": [1, 0], \"expected\": [1, 0], \"passed\": true}, {\"check\": \"timing oracle 3\", \"actual\": [17, 12], \"expected\": [24, 19], \"passed\": false}, {\"check\": \"timing oracle 4\", \"actual\": [4, 0], \"expected\": [4, 0], \"passed\": true}, {\"check\": \"timing oracle 5\", \"actual\": [8, 0], \"expected\": [8, 0], \"passed\": true}, {\"check\": \"timing oracle 6\", \"actual\": [19, 12], \"expected\": [15, 8], \"passed\": false}, {\"check\": \"timing oracle 7\", \"actual\": [17, 11], \"expected\": [14, 8], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.198,"exit_code":1,"observations":[{"actual":[5,1],"check":"timing oracle 0","expected":[5,1],"passed":true},{"actual":[10,3],"check":"timing oracle 1","expected":[10,3],"passed":true},{"actual":[1,0],"check":"timing oracle 2","expected":[1,0],"passed":true},{"actual":[29,24],"check":"timing oracle 3","expected":[24,19],"passed":false},{"actual":[4,0],"check":"timing oracle 4","expected":[4,0],"passed":true},{"actual":[8,0],"check":"timing oracle 5","expected":[8,0],"passed":true},{"actual":[20,13],"check":"timing oracle 6","expected":[15,8],"passed":false},{"actual":[18,12],"check":"timing oracle 7","expected":[14,8],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"timing oracle 0\", \"actual\": [5, 1], \"expected\": [5, 1], \"passed\": true}, {\"check\": \"timing oracle 1\", \"actual\": [10, 3], \"expected\": [10, 3], \"passed\": true}, {\"check\": \"timing oracle 2\", \"actual\": [1, 0], \"expected\": [1, 0], \"passed\": true}, {\"check\": \"timing oracle 3\", \"actual\": [29, 24], \"expected\": [24, 19], \"passed\": false}, {\"check\": \"timing oracle 4\", \"actual\": [4, 0], \"expected\": [4, 0], \"passed\": true}, {\"check\": \"timing oracle 5\", \"actual\": [8, 0], \"expected\": [8, 0], \"passed\": true}, {\"check\": \"timing oracle 6\", \"actual\": [20, 13], \"expected\": [15, 8], \"passed\": false}, {\"check\": \"timing oracle 7\", \"actual\": [18, 12], \"expected\": [14, 8], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.826,"exit_code":0,"observations":[{"actual":[5,1],"check":"timing oracle 0","expected":[5,1],"passed":true},{"actual":[10,3],"check":"timing oracle 1","expected":[10,3],"passed":true},{"actual":[1,0],"check":"timing oracle 2","expected":[1,0],"passed":true},{"actual":[24,19],"check":"timing oracle 3","expected":[24,19],"passed":true},{"actual":[4,0],"check":"timing oracle 4","expected":[4,0],"passed":true},{"actual":[8,0],"check":"timing oracle 5","expected":[8,0],"passed":true},{"actual":[15,8],"check":"timing oracle 6","expected":[15,8],"passed":true},{"actual":[14,8],"check":"timing oracle 7","expected":[14,8],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"timing oracle 0\", \"actual\": [5, 1], \"expected\": [5, 1], \"passed\": true}, {\"check\": \"timing oracle 1\", \"actual\": [10, 3], \"expected\": [10, 3], \"passed\": true}, {\"check\": \"timing oracle 2\", \"actual\": [1, 0], \"expected\": [1, 0], \"passed\": true}, {\"check\": \"timing oracle 3\", \"actual\": [24, 19], \"expected\": [24, 19], \"passed\": true}, {\"check\": \"timing oracle 4\", \"actual\": [4, 0], \"expected\": [4, 0], \"passed\": true}, {\"check\": \"timing oracle 5\", \"actual\": [8, 0], \"expected\": [8, 0], \"passed\": true}, {\"check\": \"timing oracle 6\", \"actual\": [15, 8], \"expected\": [15, 8], \"passed\": true}, {\"check\": \"timing oracle 7\", \"actual\": [14, 8], \"expected\": [14, 8], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}