{"abstract":"Debounce listener extends from the previous timer deadline; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Plan a trailing debounce listener. Every accepted event replaces pending payload and restarts a timer at now+delay. A stale timer token cannot flush a newer payload. Completion flushes pending data only under flush policy; cancellation never flushes. At equality a current timer is due. Pause preserves payload while withholding timer delivery. For the maximum-wait projection, use the earlier of the quiet deadline now+delay and the fixed burst deadline burst_start+max_wait. Pause spans are disjoint half-open suspension intervals. Remaining debounce delay counts elapsed active time only, clipping spans to [timer_start,now]. Inputs are finite state snapshots, including transitional and stale states; output fields are the exact independent actions/metadata defined by the corrected expression table. Numeric fixture capacities and counts vary with N.\nField definitions, each independently computed from the input snapshot: deadline = s['now']+s['delay'] if s['incoming'] is not None else s['due']; pending = s['incoming'] if s['incoming'] is not None else s['pending']; token = s['token']+int(s['incoming'] is not None); current_timer = s['fired']==s['token']; due = max(0,s['delay']-max(0,s['now']-s['timer_start']-sum(max(0,min(b,s['now'])-max(a,s['timer_start'])) for a,b in s['pause_spans']))); timer_flush = s['pending'] is not None and s['fired']==s['token'] and s['now']>=s['due'] and not s['cancel'] and not s['paused']; complete_flush = s['complete'] and s['flush'] and s['pending'] is not None and not s['cancel']; cancel_timer = s['cancel'] or s['complete']; cancel_payload = min(s['now']+s['delay'],s['burst_start']+s['max_wait']); schedule = s['incoming'] is not None and not s['cancel'] and not s['complete']","evaluation_group":"s3-listener-debounce-subscription","failed_approach":"The partial repair uses s['now']+s['delay']; a retained regression distinguishes it from the full transition.","family":"s3-listener-debounce-subscription-deadline","id":"FA-42041","implementations":{"attempt":{"sha256":"21161b4201b3c9f014673a13912c92cfd7df2787f55459be2d6fc8f2f26e558a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'deadline': s['now']+s['delay'],\n        'pending': s['incoming'] if s['incoming'] is not None else s['pending'],\n        'token': s['token']+int(s['incoming'] is not None),\n        'current_timer': s['fired']==s['token'],\n        'due': max(0,s['delay']-max(0,s['now']-s['timer_start']-sum(max(0,min(b,s['now'])-max(a,s['timer_start'])) for a,b in s['pause_spans']))),\n        'timer_flush': s['pending'] is not None and s['fired']==s['token'] and s['now']>=s['due'] and not s['cancel'] and not s['paused'],\n        'complete_flush': s['complete'] and s['flush'] and s['pending'] is not None and not s['cancel'],\n        'cancel_timer': s['cancel'] or s['complete'],\n        'cancel_payload': min(s['now']+s['delay'],s['burst_start']+s['max_wait']),\n        'schedule': s['incoming'] is not None and not s['cancel'] and not s['complete'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'now': 3, 'delay': 2, 'due': 0, 'token': 3, 'fired': 0, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 4, 'max_wait': 0, 'timer_start': 1, 'pause_spans': [[1, 2], [4, 8]]}, {'deadline': 0, 'pending': 'old', 'token': 3, 'current_timer': False, 'due': 1, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 4, 'schedule': False}), ({'now': 3, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 4, 'max_wait': 2, 'timer_start': 0, 'pause_spans': []}, {'deadline': 3, 'pending': 'new', 'token': 1, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 3, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 3, 'fired': 3, 'incoming': None, 'pending': 'old', 'complete': False, 'flush': True, 'cancel': True, 'paused': False, 'burst_start': 4, 'max_wait': 5, 'timer_start': 1, 'pause_spans': [[0, 2]]}, {'deadline': 0, 'pending': 'old', 'token': 3, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 8, 'delay': 0, 'due': 3, 'token': 0, 'fired': 3, 'incoming': None, 'pending': None, 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 1, 'max_wait': 2, 'timer_start': 4, 'pause_spans': [[0, 2]]}, {'deadline': 3, 'pending': None, 'token': 0, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 3, 'schedule': False}), ({'now': 8, 'delay': 2, 'due': 0, 'token': 1, 'fired': 0, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 1, 'max_wait': 2, 'timer_start': 4, 'pause_spans': [[1, 2], [4, 8]]}, {'deadline': 0, 'pending': 'old', 'token': 1, 'current_timer': False, 'due': 2, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 3, 'schedule': False}), ({'now': 3, 'delay': 0, 'due': 3, 'token': 0, 'fired': 3, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': False, 'paused': False, 'burst_start': 1, 'max_wait': 2, 'timer_start': 4, 'pause_spans': [[1, 2], [4, 8]]}, {'deadline': 3, 'pending': 'old', 'token': 0, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': True, 'cancel_timer': True, 'cancel_payload': 3, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 0, 'pause_spans': []}, {'deadline': 0, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 0, 'schedule': False}), ({'now': 8, 'delay': 2, 'due': 8, 'token': 3, 'fired': 3, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 4, 'max_wait': 5, 'timer_start': 4, 'pause_spans': [[1, 2], [4, 8]]}, {'deadline': 10, 'pending': 'new', 'token': 4, 'current_timer': True, 'due': 2, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 9, 'schedule': False})], 2: [({'now': 6, 'delay': 4, 'due': 0, 'token': 6, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 1, 'max_wait': 4, 'timer_start': 0, 'pause_spans': [[1, 4], [8, 16]]}, {'deadline': 10, 'pending': 'new', 'token': 7, 'current_timer': False, 'due': 1, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 5, 'schedule': False}), ({'now': 16, 'delay': 0, 'due': 6, 'token': 0, 'fired': 0, 'incoming': None, 'pending': 'old', 'complete': False, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 0, 'max_wait': 0, 'timer_start': 1, 'pause_spans': [[0, 4]]}, {'deadline': 6, 'pending': 'old', 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 6, 'delay': 0, 'due': 0, 'token': 1, 'fired': 6, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 10, 'timer_start': 1, 'pause_spans': [[1, 4], [8, 16]]}, {'deadline': 6, 'pending': 'new', 'token': 2, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 6, 'schedule': False}), ({'now': 16, 'delay': 4, 'due': 6, 'token': 0, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 1, 'max_wait': 0, 'timer_start': 0, 'pause_spans': [[0, 4]]}, {'deadline': 20, 'pending': 'new', 'token': 1, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 1, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 6, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': True, 'cancel': True, 'paused': False, 'burst_start': 8, 'max_wait': 10, 'timer_start': 0, 'pause_spans': [[1, 4], [8, 16]]}, {'deadline': 6, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 6, 'delay': 4, 'due': 6, 'token': 6, 'fired': 1, 'incoming': 'new', 'pending': None, 'complete': False, 'flush': True, 'cancel': False, 'paused': False, 'burst_start': 1, 'max_wait': 4, 'timer_start': 0, 'pause_spans': []}, {'deadline': 10, 'pending': 'new', 'token': 7, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 5, 'schedule': True}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 0, 'pause_spans': []}, {'deadline': 0, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 0, 'schedule': False}), ({'now': 16, 'delay': 4, 'due': 16, 'token': 6, 'fired': 6, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 8, 'max_wait': 10, 'timer_start': 8, 'pause_spans': [[1, 4], [8, 16]]}, {'deadline': 20, 'pending': 'new', 'token': 7, 'current_timer': True, 'due': 4, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 18, 'schedule': False})], 3: [({'now': 9, 'delay': 6, 'due': 9, 'token': 9, 'fired': 1, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 1, 'max_wait': 0, 'timer_start': 0, 'pause_spans': [[1, 6], [12, 24]]}, {'deadline': 15, 'pending': 'new', 'token': 10, 'current_timer': False, 'due': 2, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 1, 'schedule': False}), ({'now': 24, 'delay': 6, 'due': 0, 'token': 9, 'fired': 1, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 6, 'timer_start': 1, 'pause_spans': [[1, 6], [12, 24]]}, {'deadline': 0, 'pending': 'old', 'token': 9, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 7, 'schedule': False}), ({'now': 24, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 0, 'max_wait': 15, 'timer_start': 1, 'pause_spans': [[0, 6]]}, {'deadline': 24, 'pending': 'new', 'token': 1, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 15, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 24, 'token': 1, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': False, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 6, 'timer_start': 1, 'pause_spans': []}, {'deadline': 0, 'pending': 'new', 'token': 2, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 9, 'delay': 0, 'due': 24, 'token': 0, 'fired': 0, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 12, 'max_wait': 6, 'timer_start': 12, 'pause_spans': [[0, 6]]}, {'deadline': 24, 'pending': 'old', 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 9, 'schedule': False}), ({'now': 24, 'delay': 0, 'due': 9, 'token': 0, 'fired': 1, 'incoming': 'new', 'pending': None, 'complete': True, 'flush': False, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 0, 'timer_start': 0, 'pause_spans': [[0, 6]]}, {'deadline': 24, 'pending': 'new', 'token': 1, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 1, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 0, 'pause_spans': []}, {'deadline': 0, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 0, 'schedule': False}), ({'now': 24, 'delay': 6, 'due': 24, 'token': 9, 'fired': 9, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 12, 'max_wait': 15, 'timer_start': 12, 'pause_spans': [[1, 6], [12, 24]]}, {'deadline': 30, 'pending': 'new', 'token': 10, 'current_timer': True, 'due': 6, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 27, 'schedule': False})], 4: [({'now': 12, 'delay': 8, 'due': 0, 'token': 12, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 1, 'pause_spans': [[0, 8]]}, {'deadline': 20, 'pending': 'new', 'token': 13, 'current_timer': False, 'due': 4, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 32, 'delay': 0, 'due': 0, 'token': 12, 'fired': 12, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': False, 'paused': True, 'burst_start': 16, 'max_wait': 8, 'timer_start': 0, 'pause_spans': [[1, 8], [16, 32]]}, {'deadline': 0, 'pending': 'old', 'token': 12, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': True, 'cancel_timer': True, 'cancel_payload': 24, 'schedule': False}), ({'now': 0, 'delay': 8, 'due': 12, 'token': 1, 'fired': 12, 'incoming': 'new', 'pending': 'old', 'complete': False, 'flush': False, 'cancel': True, 'paused': False, 'burst_start': 0, 'max_wait': 20, 'timer_start': 1, 'pause_spans': []}, {'deadline': 8, 'pending': 'new', 'token': 2, 'current_timer': False, 'due': 8, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 8, 'schedule': False}), ({'now': 12, 'delay': 0, 'due': 32, 'token': 1, 'fired': 12, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': False, 'paused': False, 'burst_start': 16, 'max_wait': 20, 'timer_start': 0, 'pause_spans': [[0, 8]]}, {'deadline': 12, 'pending': 'new', 'token': 2, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': True, 'cancel_timer': True, 'cancel_payload': 12, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 12, 'fired': 1, 'incoming': 'new', 'pending': None, 'complete': False, 'flush': False, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 0, 'timer_start': 16, 'pause_spans': [[0, 8]]}, {'deadline': 0, 'pending': 'new', 'token': 13, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 12, 'delay': 0, 'due': 0, 'token': 0, 'fired': 12, 'incoming': None, 'pending': 'old', 'complete': False, 'flush': False, 'cancel': True, 'paused': False, 'burst_start': 1, 'max_wait': 0, 'timer_start': 0, 'pause_spans': [[0, 8]]}, {'deadline': 0, 'pending': 'old', 'token': 0, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 1, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 0, 'pause_spans': []}, {'deadline': 0, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 0, 'schedule': False}), ({'now': 32, 'delay': 8, 'due': 32, 'token': 12, 'fired': 12, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 16, 'max_wait': 20, 'timer_start': 16, 'pause_spans': [[1, 8], [16, 32]]}, {'deadline': 40, 'pending': 'new', 'token': 13, 'current_timer': True, 'due': 8, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 36, 'schedule': False})], 5: [({'now': 15, 'delay': 10, 'due': 0, 'token': 1, 'fired': 1, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 1, 'max_wait': 0, 'timer_start': 0, 'pause_spans': [[1, 10], [20, 40]]}, {'deadline': 25, 'pending': 'new', 'token': 2, 'current_timer': True, 'due': 4, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 1, 'schedule': False}), ({'now': 15, 'delay': 0, 'due': 0, 'token': 15, 'fired': 1, 'incoming': None, 'pending': 'old', 'complete': False, 'flush': True, 'cancel': True, 'paused': False, 'burst_start': 20, 'max_wait': 0, 'timer_start': 20, 'pause_spans': [[0, 10]]}, {'deadline': 0, 'pending': 'old', 'token': 15, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 15, 'schedule': False}), ({'now': 15, 'delay': 0, 'due': 40, 'token': 15, 'fired': 15, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 20, 'max_wait': 25, 'timer_start': 0, 'pause_spans': []}, {'deadline': 40, 'pending': 'old', 'token': 15, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 15, 'schedule': False}), ({'now': 15, 'delay': 10, 'due': 15, 'token': 15, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 25, 'timer_start': 1, 'pause_spans': []}, {'deadline': 15, 'pending': None, 'token': 15, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 25, 'schedule': False}), ({'now': 15, 'delay': 10, 'due': 40, 'token': 1, 'fired': 0, 'incoming': None, 'pending': None, 'complete': True, 'flush': True, 'cancel': False, 'paused': False, 'burst_start': 1, 'max_wait': 10, 'timer_start': 1, 'pause_spans': [[0, 10]]}, {'deadline': 40, 'pending': None, 'token': 1, 'current_timer': False, 'due': 5, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 11, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 15, 'token': 1, 'fired': 0, 'incoming': 'new', 'pending': None, 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 25, 'timer_start': 20, 'pause_spans': []}, {'deadline': 0, 'pending': 'new', 'token': 2, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 0, 'pause_spans': []}, {'deadline': 0, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 0, 'schedule': False}), ({'now': 40, 'delay': 10, 'due': 40, 'token': 15, 'fired': 15, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 20, 'max_wait': 25, 'timer_start': 20, 'pause_spans': [[1, 10], [20, 40]]}, {'deadline': 50, 'pending': 'new', 'token': 16, 'current_timer': True, 'due': 10, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 45, 'schedule': False})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), 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":"1bf0d1933a26fe479f9e3da29dabd20e8e1615fe571c1ed4a3868ffb9ea3cb42","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'deadline': s['due']+s['delay'],\n        'pending': s['incoming'] if s['incoming'] is not None else s['pending'],\n        'token': s['token']+int(s['incoming'] is not None),\n        'current_timer': s['fired']==s['token'],\n        'due': max(0,s['delay']-max(0,s['now']-s['timer_start']-sum(max(0,min(b,s['now'])-max(a,s['timer_start'])) for a,b in s['pause_spans']))),\n        'timer_flush': s['pending'] is not None and s['fired']==s['token'] and s['now']>=s['due'] and not s['cancel'] and not s['paused'],\n        'complete_flush': s['complete'] and s['flush'] and s['pending'] is not None and not s['cancel'],\n        'cancel_timer': s['cancel'] or s['complete'],\n        'cancel_payload': min(s['now']+s['delay'],s['burst_start']+s['max_wait']),\n        'schedule': s['incoming'] is not None and not s['cancel'] and not s['complete'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'now': 3, 'delay': 2, 'due': 0, 'token': 3, 'fired': 0, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 4, 'max_wait': 0, 'timer_start': 1, 'pause_spans': [[1, 2], [4, 8]]}, {'deadline': 0, 'pending': 'old', 'token': 3, 'current_timer': False, 'due': 1, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 4, 'schedule': False}), ({'now': 3, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 4, 'max_wait': 2, 'timer_start': 0, 'pause_spans': []}, {'deadline': 3, 'pending': 'new', 'token': 1, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 3, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 3, 'fired': 3, 'incoming': None, 'pending': 'old', 'complete': False, 'flush': True, 'cancel': True, 'paused': False, 'burst_start': 4, 'max_wait': 5, 'timer_start': 1, 'pause_spans': [[0, 2]]}, {'deadline': 0, 'pending': 'old', 'token': 3, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 8, 'delay': 0, 'due': 3, 'token': 0, 'fired': 3, 'incoming': None, 'pending': None, 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 1, 'max_wait': 2, 'timer_start': 4, 'pause_spans': [[0, 2]]}, {'deadline': 3, 'pending': None, 'token': 0, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 3, 'schedule': False}), ({'now': 8, 'delay': 2, 'due': 0, 'token': 1, 'fired': 0, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 1, 'max_wait': 2, 'timer_start': 4, 'pause_spans': [[1, 2], [4, 8]]}, {'deadline': 0, 'pending': 'old', 'token': 1, 'current_timer': False, 'due': 2, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 3, 'schedule': False}), ({'now': 3, 'delay': 0, 'due': 3, 'token': 0, 'fired': 3, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': False, 'paused': False, 'burst_start': 1, 'max_wait': 2, 'timer_start': 4, 'pause_spans': [[1, 2], [4, 8]]}, {'deadline': 3, 'pending': 'old', 'token': 0, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': True, 'cancel_timer': True, 'cancel_payload': 3, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 0, 'pause_spans': []}, {'deadline': 0, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 0, 'schedule': False}), ({'now': 8, 'delay': 2, 'due': 8, 'token': 3, 'fired': 3, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 4, 'max_wait': 5, 'timer_start': 4, 'pause_spans': [[1, 2], [4, 8]]}, {'deadline': 10, 'pending': 'new', 'token': 4, 'current_timer': True, 'due': 2, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 9, 'schedule': False})], 2: [({'now': 6, 'delay': 4, 'due': 0, 'token': 6, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 1, 'max_wait': 4, 'timer_start': 0, 'pause_spans': [[1, 4], [8, 16]]}, {'deadline': 10, 'pending': 'new', 'token': 7, 'current_timer': False, 'due': 1, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 5, 'schedule': False}), ({'now': 16, 'delay': 0, 'due': 6, 'token': 0, 'fired': 0, 'incoming': None, 'pending': 'old', 'complete': False, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 0, 'max_wait': 0, 'timer_start': 1, 'pause_spans': [[0, 4]]}, {'deadline': 6, 'pending': 'old', 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 6, 'delay': 0, 'due': 0, 'token': 1, 'fired': 6, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 10, 'timer_start': 1, 'pause_spans': [[1, 4], [8, 16]]}, {'deadline': 6, 'pending': 'new', 'token': 2, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 6, 'schedule': False}), ({'now': 16, 'delay': 4, 'due': 6, 'token': 0, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 1, 'max_wait': 0, 'timer_start': 0, 'pause_spans': [[0, 4]]}, {'deadline': 20, 'pending': 'new', 'token': 1, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 1, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 6, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': True, 'cancel': True, 'paused': False, 'burst_start': 8, 'max_wait': 10, 'timer_start': 0, 'pause_spans': [[1, 4], [8, 16]]}, {'deadline': 6, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 6, 'delay': 4, 'due': 6, 'token': 6, 'fired': 1, 'incoming': 'new', 'pending': None, 'complete': False, 'flush': True, 'cancel': False, 'paused': False, 'burst_start': 1, 'max_wait': 4, 'timer_start': 0, 'pause_spans': []}, {'deadline': 10, 'pending': 'new', 'token': 7, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 5, 'schedule': True}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 0, 'pause_spans': []}, {'deadline': 0, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 0, 'schedule': False}), ({'now': 16, 'delay': 4, 'due': 16, 'token': 6, 'fired': 6, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 8, 'max_wait': 10, 'timer_start': 8, 'pause_spans': [[1, 4], [8, 16]]}, {'deadline': 20, 'pending': 'new', 'token': 7, 'current_timer': True, 'due': 4, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 18, 'schedule': False})], 3: [({'now': 9, 'delay': 6, 'due': 9, 'token': 9, 'fired': 1, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 1, 'max_wait': 0, 'timer_start': 0, 'pause_spans': [[1, 6], [12, 24]]}, {'deadline': 15, 'pending': 'new', 'token': 10, 'current_timer': False, 'due': 2, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 1, 'schedule': False}), ({'now': 24, 'delay': 6, 'due': 0, 'token': 9, 'fired': 1, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 6, 'timer_start': 1, 'pause_spans': [[1, 6], [12, 24]]}, {'deadline': 0, 'pending': 'old', 'token': 9, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 7, 'schedule': False}), ({'now': 24, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 0, 'max_wait': 15, 'timer_start': 1, 'pause_spans': [[0, 6]]}, {'deadline': 24, 'pending': 'new', 'token': 1, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 15, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 24, 'token': 1, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': False, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 6, 'timer_start': 1, 'pause_spans': []}, {'deadline': 0, 'pending': 'new', 'token': 2, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 9, 'delay': 0, 'due': 24, 'token': 0, 'fired': 0, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 12, 'max_wait': 6, 'timer_start': 12, 'pause_spans': [[0, 6]]}, {'deadline': 24, 'pending': 'old', 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 9, 'schedule': False}), ({'now': 24, 'delay': 0, 'due': 9, 'token': 0, 'fired': 1, 'incoming': 'new', 'pending': None, 'complete': True, 'flush': False, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 0, 'timer_start': 0, 'pause_spans': [[0, 6]]}, {'deadline': 24, 'pending': 'new', 'token': 1, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 1, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 0, 'pause_spans': []}, {'deadline': 0, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 0, 'schedule': False}), ({'now': 24, 'delay': 6, 'due': 24, 'token': 9, 'fired': 9, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 12, 'max_wait': 15, 'timer_start': 12, 'pause_spans': [[1, 6], [12, 24]]}, {'deadline': 30, 'pending': 'new', 'token': 10, 'current_timer': True, 'due': 6, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 27, 'schedule': False})], 4: [({'now': 12, 'delay': 8, 'due': 0, 'token': 12, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 1, 'pause_spans': [[0, 8]]}, {'deadline': 20, 'pending': 'new', 'token': 13, 'current_timer': False, 'due': 4, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 32, 'delay': 0, 'due': 0, 'token': 12, 'fired': 12, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': False, 'paused': True, 'burst_start': 16, 'max_wait': 8, 'timer_start': 0, 'pause_spans': [[1, 8], [16, 32]]}, {'deadline': 0, 'pending': 'old', 'token': 12, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': True, 'cancel_timer': True, 'cancel_payload': 24, 'schedule': False}), ({'now': 0, 'delay': 8, 'due': 12, 'token': 1, 'fired': 12, 'incoming': 'new', 'pending': 'old', 'complete': False, 'flush': False, 'cancel': True, 'paused': False, 'burst_start': 0, 'max_wait': 20, 'timer_start': 1, 'pause_spans': []}, {'deadline': 8, 'pending': 'new', 'token': 2, 'current_timer': False, 'due': 8, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 8, 'schedule': False}), ({'now': 12, 'delay': 0, 'due': 32, 'token': 1, 'fired': 12, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': False, 'paused': False, 'burst_start': 16, 'max_wait': 20, 'timer_start': 0, 'pause_spans': [[0, 8]]}, {'deadline': 12, 'pending': 'new', 'token': 2, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': True, 'cancel_timer': True, 'cancel_payload': 12, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 12, 'fired': 1, 'incoming': 'new', 'pending': None, 'complete': False, 'flush': False, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 0, 'timer_start': 16, 'pause_spans': [[0, 8]]}, {'deadline': 0, 'pending': 'new', 'token': 13, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 12, 'delay': 0, 'due': 0, 'token': 0, 'fired': 12, 'incoming': None, 'pending': 'old', 'complete': False, 'flush': False, 'cancel': True, 'paused': False, 'burst_start': 1, 'max_wait': 0, 'timer_start': 0, 'pause_spans': [[0, 8]]}, {'deadline': 0, 'pending': 'old', 'token': 0, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 1, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 0, 'pause_spans': []}, {'deadline': 0, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 0, 'schedule': False}), ({'now': 32, 'delay': 8, 'due': 32, 'token': 12, 'fired': 12, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 16, 'max_wait': 20, 'timer_start': 16, 'pause_spans': [[1, 8], [16, 32]]}, {'deadline': 40, 'pending': 'new', 'token': 13, 'current_timer': True, 'due': 8, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 36, 'schedule': False})], 5: [({'now': 15, 'delay': 10, 'due': 0, 'token': 1, 'fired': 1, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 1, 'max_wait': 0, 'timer_start': 0, 'pause_spans': [[1, 10], [20, 40]]}, {'deadline': 25, 'pending': 'new', 'token': 2, 'current_timer': True, 'due': 4, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 1, 'schedule': False}), ({'now': 15, 'delay': 0, 'due': 0, 'token': 15, 'fired': 1, 'incoming': None, 'pending': 'old', 'complete': False, 'flush': True, 'cancel': True, 'paused': False, 'burst_start': 20, 'max_wait': 0, 'timer_start': 20, 'pause_spans': [[0, 10]]}, {'deadline': 0, 'pending': 'old', 'token': 15, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 15, 'schedule': False}), ({'now': 15, 'delay': 0, 'due': 40, 'token': 15, 'fired': 15, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 20, 'max_wait': 25, 'timer_start': 0, 'pause_spans': []}, {'deadline': 40, 'pending': 'old', 'token': 15, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 15, 'schedule': False}), ({'now': 15, 'delay': 10, 'due': 15, 'token': 15, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 25, 'timer_start': 1, 'pause_spans': []}, {'deadline': 15, 'pending': None, 'token': 15, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 25, 'schedule': False}), ({'now': 15, 'delay': 10, 'due': 40, 'token': 1, 'fired': 0, 'incoming': None, 'pending': None, 'complete': True, 'flush': True, 'cancel': False, 'paused': False, 'burst_start': 1, 'max_wait': 10, 'timer_start': 1, 'pause_spans': [[0, 10]]}, {'deadline': 40, 'pending': None, 'token': 1, 'current_timer': False, 'due': 5, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 11, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 15, 'token': 1, 'fired': 0, 'incoming': 'new', 'pending': None, 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 25, 'timer_start': 20, 'pause_spans': []}, {'deadline': 0, 'pending': 'new', 'token': 2, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 0, 'pause_spans': []}, {'deadline': 0, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 0, 'schedule': False}), ({'now': 40, 'delay': 10, 'due': 40, 'token': 15, 'fired': 15, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 20, 'max_wait': 25, 'timer_start': 20, 'pause_spans': [[1, 10], [20, 40]]}, {'deadline': 50, 'pending': 'new', 'token': 16, 'current_timer': True, 'due': 10, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 45, 'schedule': False})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), 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":"770116ba634d8167bd3634aeb41ecb8dc8dfc04cc73d05755de58ede0143eba1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'deadline': s['now']+s['delay'] if s['incoming'] is not None else s['due'],\n        'pending': s['incoming'] if s['incoming'] is not None else s['pending'],\n        'token': s['token']+int(s['incoming'] is not None),\n        'current_timer': s['fired']==s['token'],\n        'due': max(0,s['delay']-max(0,s['now']-s['timer_start']-sum(max(0,min(b,s['now'])-max(a,s['timer_start'])) for a,b in s['pause_spans']))),\n        'timer_flush': s['pending'] is not None and s['fired']==s['token'] and s['now']>=s['due'] and not s['cancel'] and not s['paused'],\n        'complete_flush': s['complete'] and s['flush'] and s['pending'] is not None and not s['cancel'],\n        'cancel_timer': s['cancel'] or s['complete'],\n        'cancel_payload': min(s['now']+s['delay'],s['burst_start']+s['max_wait']),\n        'schedule': s['incoming'] is not None and not s['cancel'] and not s['complete'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'now': 3, 'delay': 2, 'due': 0, 'token': 3, 'fired': 0, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 4, 'max_wait': 0, 'timer_start': 1, 'pause_spans': [[1, 2], [4, 8]]}, {'deadline': 0, 'pending': 'old', 'token': 3, 'current_timer': False, 'due': 1, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 4, 'schedule': False}), ({'now': 3, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 4, 'max_wait': 2, 'timer_start': 0, 'pause_spans': []}, {'deadline': 3, 'pending': 'new', 'token': 1, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 3, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 3, 'fired': 3, 'incoming': None, 'pending': 'old', 'complete': False, 'flush': True, 'cancel': True, 'paused': False, 'burst_start': 4, 'max_wait': 5, 'timer_start': 1, 'pause_spans': [[0, 2]]}, {'deadline': 0, 'pending': 'old', 'token': 3, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 8, 'delay': 0, 'due': 3, 'token': 0, 'fired': 3, 'incoming': None, 'pending': None, 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 1, 'max_wait': 2, 'timer_start': 4, 'pause_spans': [[0, 2]]}, {'deadline': 3, 'pending': None, 'token': 0, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 3, 'schedule': False}), ({'now': 8, 'delay': 2, 'due': 0, 'token': 1, 'fired': 0, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 1, 'max_wait': 2, 'timer_start': 4, 'pause_spans': [[1, 2], [4, 8]]}, {'deadline': 0, 'pending': 'old', 'token': 1, 'current_timer': False, 'due': 2, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 3, 'schedule': False}), ({'now': 3, 'delay': 0, 'due': 3, 'token': 0, 'fired': 3, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': False, 'paused': False, 'burst_start': 1, 'max_wait': 2, 'timer_start': 4, 'pause_spans': [[1, 2], [4, 8]]}, {'deadline': 3, 'pending': 'old', 'token': 0, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': True, 'cancel_timer': True, 'cancel_payload': 3, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 0, 'pause_spans': []}, {'deadline': 0, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 0, 'schedule': False}), ({'now': 8, 'delay': 2, 'due': 8, 'token': 3, 'fired': 3, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 4, 'max_wait': 5, 'timer_start': 4, 'pause_spans': [[1, 2], [4, 8]]}, {'deadline': 10, 'pending': 'new', 'token': 4, 'current_timer': True, 'due': 2, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 9, 'schedule': False})], 2: [({'now': 6, 'delay': 4, 'due': 0, 'token': 6, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 1, 'max_wait': 4, 'timer_start': 0, 'pause_spans': [[1, 4], [8, 16]]}, {'deadline': 10, 'pending': 'new', 'token': 7, 'current_timer': False, 'due': 1, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 5, 'schedule': False}), ({'now': 16, 'delay': 0, 'due': 6, 'token': 0, 'fired': 0, 'incoming': None, 'pending': 'old', 'complete': False, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 0, 'max_wait': 0, 'timer_start': 1, 'pause_spans': [[0, 4]]}, {'deadline': 6, 'pending': 'old', 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 6, 'delay': 0, 'due': 0, 'token': 1, 'fired': 6, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 10, 'timer_start': 1, 'pause_spans': [[1, 4], [8, 16]]}, {'deadline': 6, 'pending': 'new', 'token': 2, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 6, 'schedule': False}), ({'now': 16, 'delay': 4, 'due': 6, 'token': 0, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 1, 'max_wait': 0, 'timer_start': 0, 'pause_spans': [[0, 4]]}, {'deadline': 20, 'pending': 'new', 'token': 1, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 1, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 6, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': True, 'cancel': True, 'paused': False, 'burst_start': 8, 'max_wait': 10, 'timer_start': 0, 'pause_spans': [[1, 4], [8, 16]]}, {'deadline': 6, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 6, 'delay': 4, 'due': 6, 'token': 6, 'fired': 1, 'incoming': 'new', 'pending': None, 'complete': False, 'flush': True, 'cancel': False, 'paused': False, 'burst_start': 1, 'max_wait': 4, 'timer_start': 0, 'pause_spans': []}, {'deadline': 10, 'pending': 'new', 'token': 7, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 5, 'schedule': True}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 0, 'pause_spans': []}, {'deadline': 0, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 0, 'schedule': False}), ({'now': 16, 'delay': 4, 'due': 16, 'token': 6, 'fired': 6, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 8, 'max_wait': 10, 'timer_start': 8, 'pause_spans': [[1, 4], [8, 16]]}, {'deadline': 20, 'pending': 'new', 'token': 7, 'current_timer': True, 'due': 4, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 18, 'schedule': False})], 3: [({'now': 9, 'delay': 6, 'due': 9, 'token': 9, 'fired': 1, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 1, 'max_wait': 0, 'timer_start': 0, 'pause_spans': [[1, 6], [12, 24]]}, {'deadline': 15, 'pending': 'new', 'token': 10, 'current_timer': False, 'due': 2, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 1, 'schedule': False}), ({'now': 24, 'delay': 6, 'due': 0, 'token': 9, 'fired': 1, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 6, 'timer_start': 1, 'pause_spans': [[1, 6], [12, 24]]}, {'deadline': 0, 'pending': 'old', 'token': 9, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 7, 'schedule': False}), ({'now': 24, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 0, 'max_wait': 15, 'timer_start': 1, 'pause_spans': [[0, 6]]}, {'deadline': 24, 'pending': 'new', 'token': 1, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 15, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 24, 'token': 1, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': False, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 6, 'timer_start': 1, 'pause_spans': []}, {'deadline': 0, 'pending': 'new', 'token': 2, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 9, 'delay': 0, 'due': 24, 'token': 0, 'fired': 0, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 12, 'max_wait': 6, 'timer_start': 12, 'pause_spans': [[0, 6]]}, {'deadline': 24, 'pending': 'old', 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 9, 'schedule': False}), ({'now': 24, 'delay': 0, 'due': 9, 'token': 0, 'fired': 1, 'incoming': 'new', 'pending': None, 'complete': True, 'flush': False, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 0, 'timer_start': 0, 'pause_spans': [[0, 6]]}, {'deadline': 24, 'pending': 'new', 'token': 1, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 1, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 0, 'pause_spans': []}, {'deadline': 0, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 0, 'schedule': False}), ({'now': 24, 'delay': 6, 'due': 24, 'token': 9, 'fired': 9, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 12, 'max_wait': 15, 'timer_start': 12, 'pause_spans': [[1, 6], [12, 24]]}, {'deadline': 30, 'pending': 'new', 'token': 10, 'current_timer': True, 'due': 6, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 27, 'schedule': False})], 4: [({'now': 12, 'delay': 8, 'due': 0, 'token': 12, 'fired': 0, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 1, 'pause_spans': [[0, 8]]}, {'deadline': 20, 'pending': 'new', 'token': 13, 'current_timer': False, 'due': 4, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 32, 'delay': 0, 'due': 0, 'token': 12, 'fired': 12, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': False, 'paused': True, 'burst_start': 16, 'max_wait': 8, 'timer_start': 0, 'pause_spans': [[1, 8], [16, 32]]}, {'deadline': 0, 'pending': 'old', 'token': 12, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': True, 'cancel_timer': True, 'cancel_payload': 24, 'schedule': False}), ({'now': 0, 'delay': 8, 'due': 12, 'token': 1, 'fired': 12, 'incoming': 'new', 'pending': 'old', 'complete': False, 'flush': False, 'cancel': True, 'paused': False, 'burst_start': 0, 'max_wait': 20, 'timer_start': 1, 'pause_spans': []}, {'deadline': 8, 'pending': 'new', 'token': 2, 'current_timer': False, 'due': 8, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 8, 'schedule': False}), ({'now': 12, 'delay': 0, 'due': 32, 'token': 1, 'fired': 12, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': False, 'paused': False, 'burst_start': 16, 'max_wait': 20, 'timer_start': 0, 'pause_spans': [[0, 8]]}, {'deadline': 12, 'pending': 'new', 'token': 2, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': True, 'cancel_timer': True, 'cancel_payload': 12, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 12, 'fired': 1, 'incoming': 'new', 'pending': None, 'complete': False, 'flush': False, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 0, 'timer_start': 16, 'pause_spans': [[0, 8]]}, {'deadline': 0, 'pending': 'new', 'token': 13, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 12, 'delay': 0, 'due': 0, 'token': 0, 'fired': 12, 'incoming': None, 'pending': 'old', 'complete': False, 'flush': False, 'cancel': True, 'paused': False, 'burst_start': 1, 'max_wait': 0, 'timer_start': 0, 'pause_spans': [[0, 8]]}, {'deadline': 0, 'pending': 'old', 'token': 0, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 1, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 0, 'pause_spans': []}, {'deadline': 0, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 0, 'schedule': False}), ({'now': 32, 'delay': 8, 'due': 32, 'token': 12, 'fired': 12, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 16, 'max_wait': 20, 'timer_start': 16, 'pause_spans': [[1, 8], [16, 32]]}, {'deadline': 40, 'pending': 'new', 'token': 13, 'current_timer': True, 'due': 8, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 36, 'schedule': False})], 5: [({'now': 15, 'delay': 10, 'due': 0, 'token': 1, 'fired': 1, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': False, 'cancel': False, 'paused': True, 'burst_start': 1, 'max_wait': 0, 'timer_start': 0, 'pause_spans': [[1, 10], [20, 40]]}, {'deadline': 25, 'pending': 'new', 'token': 2, 'current_timer': True, 'due': 4, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 1, 'schedule': False}), ({'now': 15, 'delay': 0, 'due': 0, 'token': 15, 'fired': 1, 'incoming': None, 'pending': 'old', 'complete': False, 'flush': True, 'cancel': True, 'paused': False, 'burst_start': 20, 'max_wait': 0, 'timer_start': 20, 'pause_spans': [[0, 10]]}, {'deadline': 0, 'pending': 'old', 'token': 15, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 15, 'schedule': False}), ({'now': 15, 'delay': 0, 'due': 40, 'token': 15, 'fired': 15, 'incoming': None, 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 20, 'max_wait': 25, 'timer_start': 0, 'pause_spans': []}, {'deadline': 40, 'pending': 'old', 'token': 15, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 15, 'schedule': False}), ({'now': 15, 'delay': 10, 'due': 15, 'token': 15, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 25, 'timer_start': 1, 'pause_spans': []}, {'deadline': 15, 'pending': None, 'token': 15, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 25, 'schedule': False}), ({'now': 15, 'delay': 10, 'due': 40, 'token': 1, 'fired': 0, 'incoming': None, 'pending': None, 'complete': True, 'flush': True, 'cancel': False, 'paused': False, 'burst_start': 1, 'max_wait': 10, 'timer_start': 1, 'pause_spans': [[0, 10]]}, {'deadline': 40, 'pending': None, 'token': 1, 'current_timer': False, 'due': 5, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 11, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 15, 'token': 1, 'fired': 0, 'incoming': 'new', 'pending': None, 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 1, 'max_wait': 25, 'timer_start': 20, 'pause_spans': []}, {'deadline': 0, 'pending': 'new', 'token': 2, 'current_timer': False, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 0, 'schedule': False}), ({'now': 0, 'delay': 0, 'due': 0, 'token': 0, 'fired': 0, 'incoming': None, 'pending': None, 'complete': False, 'flush': False, 'cancel': False, 'paused': False, 'burst_start': 0, 'max_wait': 0, 'timer_start': 0, 'pause_spans': []}, {'deadline': 0, 'pending': None, 'token': 0, 'current_timer': True, 'due': 0, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': False, 'cancel_payload': 0, 'schedule': False}), ({'now': 40, 'delay': 10, 'due': 40, 'token': 15, 'fired': 15, 'incoming': 'new', 'pending': 'old', 'complete': True, 'flush': True, 'cancel': True, 'paused': True, 'burst_start': 20, 'max_wait': 25, 'timer_start': 20, 'pause_spans': [[1, 10], [20, 40]]}, {'deadline': 50, 'pending': 'new', 'token': 16, 'current_timer': True, 'due': 10, 'timer_flush': False, 'complete_flush': False, 'cancel_timer': True, 'cancel_payload': 45, 'schedule': False})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), 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, single-threaded transition planner. Returned plans model state changes; they do not implement a production event framework. 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":"s3-listener-debounce-subscription-deadline","generated_at":"2026-09-29T14:43:47.497403+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Observer implementations need to preserve this state while subscriptions enter, execute, and leave their lifecycle.","repair":"Compute the deadline decision from the complete contract: s['now']+s['delay'] if s['incoming'] is not None else s['due'].","root_cause":"The deadline decision in the debounce-subscription listener model is computed as s['due']+s['delay'], losing a required lifecycle condition.","sha256":"7ad15bdc4c61fb16637dfe07982502dc243249125d5055a07ab854039703b6a5","title":"Debounce listener extends from the previous timer deadline · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.761,"exit_code":1,"observations":[{"actual":{"cancel_payload":4,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":5,"due":1,"pending":"old","schedule":false,"timer_flush":false,"token":3},"check":"transition 0","expected":{"cancel_payload":4,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":0,"due":1,"pending":"old","schedule":false,"timer_flush":false,"token":3},"passed":false},{"actual":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":3,"due":0,"pending":"new","schedule":false,"timer_flush":false,"token":1},"check":"transition 1","expected":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":3,"due":0,"pending":"new","schedule":false,"timer_flush":false,"token":1},"passed":true},{"actual":{"cancel_payload":0,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":0,"due":0,"pending":"old","schedule":false,"timer_flush":false,"token":3},"check":"transition 2","expected":{"cancel_payload":0,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":0,"due":0,"pending":"old","schedule":false,"timer_flush":false,"token":3},"passed":true},{"actual":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":8,"due":0,"pending":null,"schedule":false,"timer_flush":false,"token":0},"check":"transition 3","expected":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":3,"due":0,"pending":null,"schedule":false,"timer_flush":false,"token":0},"passed":false},{"actual":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":10,"due":2,"pending":"old","schedule":false,"timer_flush":false,"token":1},"check":"transition 4","expected":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":0,"due":2,"pending":"old","schedule":false,"timer_flush":false,"token":1},"passed":false},{"actual":{"cancel_payload":3,"cancel_timer":true,"complete_flush":true,"current_timer":false,"deadline":3,"due":0,"pending":"old","schedule":false,"timer_flush":false,"token":0},"check":"transition 5","expected":{"cancel_payload":3,"cancel_timer":true,"complete_flush":true,"current_timer":false,"deadline":3,"due":0,"pending":"old","schedule":false,"timer_flush":false,"token":0},"passed":true},{"actual":{"cancel_payload":0,"cancel_timer":false,"complete_flush":false,"current_timer":true,"deadline":0,"due":0,"pending":null,"schedule":false,"timer_flush":false,"token":0},"check":"transition 6","expected":{"cancel_payload":0,"cancel_timer":false,"complete_flush":false,"current_timer":true,"deadline":0,"due":0,"pending":null,"schedule":false,"timer_flush":false,"token":0},"passed":true},{"actual":{"cancel_payload":9,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":10,"due":2,"pending":"new","schedule":false,"timer_flush":false,"token":4},"check":"transition 7","expected":{"cancel_payload":9,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":10,"due":2,"pending":"new","schedule":false,"timer_flush":false,"token":4},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"deadline\": 5, \"pending\": \"old\", \"token\": 3, \"current_timer\": false, \"due\": 1, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 4, \"schedule\": false}, \"expected\": {\"deadline\": 0, \"pending\": \"old\", \"token\": 3, \"current_timer\": false, \"due\": 1, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 4, \"schedule\": false}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"deadline\": 3, \"pending\": \"new\", \"token\": 1, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"expected\": {\"deadline\": 3, \"pending\": \"new\", \"token\": 1, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"deadline\": 0, \"pending\": \"old\", \"token\": 3, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 0, \"schedule\": false}, \"expected\": {\"deadline\": 0, \"pending\": \"old\", \"token\": 3, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 0, \"schedule\": false}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"deadline\": 8, \"pending\": null, \"token\": 0, \"current_timer\": false, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"expected\": {\"deadline\": 3, \"pending\": null, \"token\": 0, \"current_timer\": false, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"passed\": false}, {\"check\": \"transition 4\", \"actual\": {\"deadline\": 10, \"pending\": \"old\", \"token\": 1, \"current_timer\": false, \"due\": 2, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"expected\": {\"deadline\": 0, \"pending\": \"old\", \"token\": 1, \"current_timer\": false, \"due\": 2, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"passed\": false}, {\"check\": \"transition 5\", \"actual\": {\"deadline\": 3, \"pending\": \"old\", \"token\": 0, \"current_timer\": false, \"due\": 0, \"timer_flush\": false, \"complete_flush\": true, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"expected\": {\"deadline\": 3, \"pending\": \"old\", \"token\": 0, \"current_timer\": false, \"due\": 0, \"timer_flush\": false, \"complete_flush\": true, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"deadline\": 0, \"pending\": null, \"token\": 0, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": false, \"cancel_payload\": 0, \"schedule\": false}, \"expected\": {\"deadline\": 0, \"pending\": null, \"token\": 0, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": false, \"cancel_payload\": 0, \"schedule\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"deadline\": 10, \"pending\": \"new\", \"token\": 4, \"current_timer\": true, \"due\": 2, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 9, \"schedule\": false}, \"expected\": {\"deadline\": 10, \"pending\": \"new\", \"token\": 4, \"current_timer\": true, \"due\": 2, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 9, \"schedule\": false}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.158,"exit_code":1,"observations":[{"actual":{"cancel_payload":4,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":2,"due":1,"pending":"old","schedule":false,"timer_flush":false,"token":3},"check":"transition 0","expected":{"cancel_payload":4,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":0,"due":1,"pending":"old","schedule":false,"timer_flush":false,"token":3},"passed":false},{"actual":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":0,"due":0,"pending":"new","schedule":false,"timer_flush":false,"token":1},"check":"transition 1","expected":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":3,"due":0,"pending":"new","schedule":false,"timer_flush":false,"token":1},"passed":false},{"actual":{"cancel_payload":0,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":0,"due":0,"pending":"old","schedule":false,"timer_flush":false,"token":3},"check":"transition 2","expected":{"cancel_payload":0,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":0,"due":0,"pending":"old","schedule":false,"timer_flush":false,"token":3},"passed":true},{"actual":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":3,"due":0,"pending":null,"schedule":false,"timer_flush":false,"token":0},"check":"transition 3","expected":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":3,"due":0,"pending":null,"schedule":false,"timer_flush":false,"token":0},"passed":true},{"actual":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":2,"due":2,"pending":"old","schedule":false,"timer_flush":false,"token":1},"check":"transition 4","expected":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":0,"due":2,"pending":"old","schedule":false,"timer_flush":false,"token":1},"passed":false},{"actual":{"cancel_payload":3,"cancel_timer":true,"complete_flush":true,"current_timer":false,"deadline":3,"due":0,"pending":"old","schedule":false,"timer_flush":false,"token":0},"check":"transition 5","expected":{"cancel_payload":3,"cancel_timer":true,"complete_flush":true,"current_timer":false,"deadline":3,"due":0,"pending":"old","schedule":false,"timer_flush":false,"token":0},"passed":true},{"actual":{"cancel_payload":0,"cancel_timer":false,"complete_flush":false,"current_timer":true,"deadline":0,"due":0,"pending":null,"schedule":false,"timer_flush":false,"token":0},"check":"transition 6","expected":{"cancel_payload":0,"cancel_timer":false,"complete_flush":false,"current_timer":true,"deadline":0,"due":0,"pending":null,"schedule":false,"timer_flush":false,"token":0},"passed":true},{"actual":{"cancel_payload":9,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":10,"due":2,"pending":"new","schedule":false,"timer_flush":false,"token":4},"check":"transition 7","expected":{"cancel_payload":9,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":10,"due":2,"pending":"new","schedule":false,"timer_flush":false,"token":4},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"deadline\": 2, \"pending\": \"old\", \"token\": 3, \"current_timer\": false, \"due\": 1, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 4, \"schedule\": false}, \"expected\": {\"deadline\": 0, \"pending\": \"old\", \"token\": 3, \"current_timer\": false, \"due\": 1, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 4, \"schedule\": false}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"deadline\": 0, \"pending\": \"new\", \"token\": 1, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"expected\": {\"deadline\": 3, \"pending\": \"new\", \"token\": 1, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"passed\": false}, {\"check\": \"transition 2\", \"actual\": {\"deadline\": 0, \"pending\": \"old\", \"token\": 3, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 0, \"schedule\": false}, \"expected\": {\"deadline\": 0, \"pending\": \"old\", \"token\": 3, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 0, \"schedule\": false}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"deadline\": 3, \"pending\": null, \"token\": 0, \"current_timer\": false, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"expected\": {\"deadline\": 3, \"pending\": null, \"token\": 0, \"current_timer\": false, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"deadline\": 2, \"pending\": \"old\", \"token\": 1, \"current_timer\": false, \"due\": 2, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"expected\": {\"deadline\": 0, \"pending\": \"old\", \"token\": 1, \"current_timer\": false, \"due\": 2, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"passed\": false}, {\"check\": \"transition 5\", \"actual\": {\"deadline\": 3, \"pending\": \"old\", \"token\": 0, \"current_timer\": false, \"due\": 0, \"timer_flush\": false, \"complete_flush\": true, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"expected\": {\"deadline\": 3, \"pending\": \"old\", \"token\": 0, \"current_timer\": false, \"due\": 0, \"timer_flush\": false, \"complete_flush\": true, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"deadline\": 0, \"pending\": null, \"token\": 0, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": false, \"cancel_payload\": 0, \"schedule\": false}, \"expected\": {\"deadline\": 0, \"pending\": null, \"token\": 0, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": false, \"cancel_payload\": 0, \"schedule\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"deadline\": 10, \"pending\": \"new\", \"token\": 4, \"current_timer\": true, \"due\": 2, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 9, \"schedule\": false}, \"expected\": {\"deadline\": 10, \"pending\": \"new\", \"token\": 4, \"current_timer\": true, \"due\": 2, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 9, \"schedule\": false}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":57.218,"exit_code":0,"observations":[{"actual":{"cancel_payload":4,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":0,"due":1,"pending":"old","schedule":false,"timer_flush":false,"token":3},"check":"transition 0","expected":{"cancel_payload":4,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":0,"due":1,"pending":"old","schedule":false,"timer_flush":false,"token":3},"passed":true},{"actual":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":3,"due":0,"pending":"new","schedule":false,"timer_flush":false,"token":1},"check":"transition 1","expected":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":3,"due":0,"pending":"new","schedule":false,"timer_flush":false,"token":1},"passed":true},{"actual":{"cancel_payload":0,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":0,"due":0,"pending":"old","schedule":false,"timer_flush":false,"token":3},"check":"transition 2","expected":{"cancel_payload":0,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":0,"due":0,"pending":"old","schedule":false,"timer_flush":false,"token":3},"passed":true},{"actual":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":3,"due":0,"pending":null,"schedule":false,"timer_flush":false,"token":0},"check":"transition 3","expected":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":3,"due":0,"pending":null,"schedule":false,"timer_flush":false,"token":0},"passed":true},{"actual":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":0,"due":2,"pending":"old","schedule":false,"timer_flush":false,"token":1},"check":"transition 4","expected":{"cancel_payload":3,"cancel_timer":true,"complete_flush":false,"current_timer":false,"deadline":0,"due":2,"pending":"old","schedule":false,"timer_flush":false,"token":1},"passed":true},{"actual":{"cancel_payload":3,"cancel_timer":true,"complete_flush":true,"current_timer":false,"deadline":3,"due":0,"pending":"old","schedule":false,"timer_flush":false,"token":0},"check":"transition 5","expected":{"cancel_payload":3,"cancel_timer":true,"complete_flush":true,"current_timer":false,"deadline":3,"due":0,"pending":"old","schedule":false,"timer_flush":false,"token":0},"passed":true},{"actual":{"cancel_payload":0,"cancel_timer":false,"complete_flush":false,"current_timer":true,"deadline":0,"due":0,"pending":null,"schedule":false,"timer_flush":false,"token":0},"check":"transition 6","expected":{"cancel_payload":0,"cancel_timer":false,"complete_flush":false,"current_timer":true,"deadline":0,"due":0,"pending":null,"schedule":false,"timer_flush":false,"token":0},"passed":true},{"actual":{"cancel_payload":9,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":10,"due":2,"pending":"new","schedule":false,"timer_flush":false,"token":4},"check":"transition 7","expected":{"cancel_payload":9,"cancel_timer":true,"complete_flush":false,"current_timer":true,"deadline":10,"due":2,"pending":"new","schedule":false,"timer_flush":false,"token":4},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"deadline\": 0, \"pending\": \"old\", \"token\": 3, \"current_timer\": false, \"due\": 1, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 4, \"schedule\": false}, \"expected\": {\"deadline\": 0, \"pending\": \"old\", \"token\": 3, \"current_timer\": false, \"due\": 1, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 4, \"schedule\": false}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"deadline\": 3, \"pending\": \"new\", \"token\": 1, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"expected\": {\"deadline\": 3, \"pending\": \"new\", \"token\": 1, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"deadline\": 0, \"pending\": \"old\", \"token\": 3, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 0, \"schedule\": false}, \"expected\": {\"deadline\": 0, \"pending\": \"old\", \"token\": 3, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 0, \"schedule\": false}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"deadline\": 3, \"pending\": null, \"token\": 0, \"current_timer\": false, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"expected\": {\"deadline\": 3, \"pending\": null, \"token\": 0, \"current_timer\": false, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"deadline\": 0, \"pending\": \"old\", \"token\": 1, \"current_timer\": false, \"due\": 2, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"expected\": {\"deadline\": 0, \"pending\": \"old\", \"token\": 1, \"current_timer\": false, \"due\": 2, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"deadline\": 3, \"pending\": \"old\", \"token\": 0, \"current_timer\": false, \"due\": 0, \"timer_flush\": false, \"complete_flush\": true, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"expected\": {\"deadline\": 3, \"pending\": \"old\", \"token\": 0, \"current_timer\": false, \"due\": 0, \"timer_flush\": false, \"complete_flush\": true, \"cancel_timer\": true, \"cancel_payload\": 3, \"schedule\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"deadline\": 0, \"pending\": null, \"token\": 0, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": false, \"cancel_payload\": 0, \"schedule\": false}, \"expected\": {\"deadline\": 0, \"pending\": null, \"token\": 0, \"current_timer\": true, \"due\": 0, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": false, \"cancel_payload\": 0, \"schedule\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"deadline\": 10, \"pending\": \"new\", \"token\": 4, \"current_timer\": true, \"due\": 2, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 9, \"schedule\": false}, \"expected\": {\"deadline\": 10, \"pending\": \"new\", \"token\": 4, \"current_timer\": true, \"due\": 2, \"timer_flush\": false, \"complete_flush\": false, \"cancel_timer\": true, \"cancel_payload\": 9, \"schedule\": false}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}