{"abstract":"Trailing throttle delivery repeats the already delivered leading sequence; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Plan a fixed-window throttled observer: a window is [start,start+width); first event may emit on leading policy, latest suppressed event may emit on trailing policy at expiry. A new window starts at the arriving event time, not at the previous window start. Leading emission consumes the leading slot; a trailing-only window must keep its first event. A completed trailing flush resets its marker. A pending trailing payload is new only when its sequence is strictly later than the sequence already delivered on the leading edge. 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: expired = s['now']>=s['start']+s['width']; start = s['now'] if not s['open'] or s['now']>=s['start']+s['width'] else s['start']; leading_emit = s['leading'] and not s['used'] and s['incoming'] is not None; trailing_payload = s['incoming'] if s['trailing'] and s['incoming'] is not None else s['pending']; flush = s['trailing'] and s['pending'] is not None and s['open'] and s['now']>=s['start']+s['width']; used = s['used'] or (s['leading'] and s['incoming'] is not None); first_trailing = s['trailing'] and not s['leading'] and not s['open'] and s['incoming'] is not None; remaining = max(0,s['start']+s['width']-s['now']); reset_pending = s['pending'] if s['pending_sequence']>s['leading_sequence'] else None; drop = s['incoming'] is not None and s['used'] and not s['trailing']","evaluation_group":"s3-listener-throttle-window","failed_approach":"The partial repair uses s['pending'] if s['pending_sequence']>=s['leading_sequence'] else None; a retained regression distinguishes it from the full transition.","family":"s3-listener-throttle-window-reset_pending","id":"FA-42131","implementations":{"attempt":{"sha256":"00e6450c4f525c2a278f33edff8aa86ceab91013906b38f8fa86855c79f71152","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'expired': s['now']>=s['start']+s['width'],\n        'start': s['now'] if not s['open'] or s['now']>=s['start']+s['width'] else s['start'],\n        'leading_emit': s['leading'] and not s['used'] and s['incoming'] is not None,\n        'trailing_payload': s['incoming'] if s['trailing'] and s['incoming'] is not None else s['pending'],\n        'flush': s['trailing'] and s['pending'] is not None and s['open'] and s['now']>=s['start']+s['width'],\n        'used': s['used'] or (s['leading'] and s['incoming'] is not None),\n        'first_trailing': s['trailing'] and not s['leading'] and not s['open'] and s['incoming'] is not None,\n        'remaining': max(0,s['start']+s['width']-s['now']),\n        'reset_pending': s['pending'] if s['pending_sequence']>=s['leading_sequence'] else None,\n        'drop': s['incoming'] is not None and s['used'] and not s['trailing'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'now': 6, 'start': 0, 'width': 2, 'open': False, 'leading': False, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 2, 'leading_sequence': 2}, {'expired': True, 'start': 6, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': True, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 6, 'start': 2, 'width': 5, 'open': True, 'leading': False, 'trailing': False, 'used': False, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 4, 'leading_sequence': 0}, {'expired': False, 'start': 2, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 1, 'reset_pending': 'old', 'drop': False}), ({'now': 2, 'start': 2, 'width': 0, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 0, 'leading_sequence': 2}, {'expired': True, 'start': 2, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': True, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 2, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 0, 'reset_pending': 'old', 'drop': False}), ({'now': 2, 'start': 6, 'width': 2, 'open': True, 'leading': True, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 4}, {'expired': False, 'start': 6, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 6, 'reset_pending': None, 'drop': False}), ({'now': 6, 'start': 6, 'width': 0, 'open': True, 'leading': False, 'trailing': True, 'used': False, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 2}, {'expired': True, 'start': 6, 'leading_emit': False, 'trailing_payload': 'old', 'flush': True, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 6, 'start': 6, 'width': 5, 'open': True, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 4, 'leading_sequence': 4}, {'expired': False, 'start': 6, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 5, 'reset_pending': None, 'drop': False})], 2: [({'now': 12, 'start': 4, 'width': 4, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 8, 'leading_sequence': 8}, {'expired': True, 'start': 12, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 12, 'start': 12, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': 'new', 'pending': None, 'flushed': False, 'pending_sequence': 4, 'leading_sequence': 8}, {'expired': True, 'start': 12, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 4, 'start': 0, 'width': 10, 'open': True, 'leading': True, 'trailing': False, 'used': True, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 4}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 6, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 12, 'width': 4, 'open': False, 'leading': False, 'trailing': True, 'used': False, 'incoming': 'new', 'pending': None, 'flushed': False, 'pending_sequence': 8, 'leading_sequence': 8}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': False, 'first_trailing': True, 'remaining': 16, 'reset_pending': None, 'drop': False}), ({'now': 4, 'start': 12, 'width': 0, 'open': False, 'leading': True, 'trailing': True, 'used': False, 'incoming': None, 'pending': 'old', 'flushed': True, 'pending_sequence': 0, 'leading_sequence': 4}, {'expired': False, 'start': 4, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 8, 'reset_pending': None, 'drop': False}), ({'now': 4, 'start': 12, 'width': 10, 'open': False, 'leading': True, 'trailing': False, 'used': False, 'incoming': 'new', 'pending': None, 'flushed': True, 'pending_sequence': 4, 'leading_sequence': 4}, {'expired': False, 'start': 4, 'leading_emit': True, 'trailing_payload': None, 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 18, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 12, 'start': 12, 'width': 10, 'open': True, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 8, 'leading_sequence': 8}, {'expired': False, 'start': 12, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 10, 'reset_pending': None, 'drop': False})], 3: [({'now': 18, 'start': 0, 'width': 6, 'open': False, 'leading': False, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 18, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': True, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 6, 'leading_sequence': 12}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 6, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 6, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 18, 'width': 6, 'open': True, 'leading': False, 'trailing': False, 'used': True, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 12, 'leading_sequence': 6}, {'expired': False, 'start': 18, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 24, 'reset_pending': 'old', 'drop': False}), ({'now': 0, 'start': 18, 'width': 0, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 0, 'leading_sequence': 12}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 18, 'reset_pending': None, 'drop': False}), ({'now': 6, 'start': 6, 'width': 0, 'open': True, 'leading': False, 'trailing': True, 'used': False, 'incoming': 'new', 'pending': None, 'flushed': False, 'pending_sequence': 12, 'leading_sequence': 6}, {'expired': True, 'start': 6, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 18, 'start': 18, 'width': 15, 'open': True, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 12, 'leading_sequence': 12}, {'expired': False, 'start': 18, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 15, 'reset_pending': None, 'drop': False})], 4: [({'now': 24, 'start': 0, 'width': 8, 'open': False, 'leading': False, 'trailing': True, 'used': False, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 24, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': False, 'first_trailing': True, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 8, 'start': 0, 'width': 20, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': None, 'flushed': True, 'pending_sequence': 16, 'leading_sequence': 0}, {'expired': False, 'start': 8, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 12, 'reset_pending': None, 'drop': False}), ({'now': 8, 'start': 8, 'width': 0, 'open': True, 'leading': False, 'trailing': False, 'used': True, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 16, 'leading_sequence': 0}, {'expired': True, 'start': 8, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 0, 'reset_pending': 'old', 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 8, 'leading_sequence': 8}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 8, 'start': 8, 'width': 8, 'open': True, 'leading': True, 'trailing': False, 'used': False, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 16, 'leading_sequence': 16}, {'expired': False, 'start': 8, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 8, 'reset_pending': None, 'drop': False}), ({'now': 8, 'start': 0, 'width': 20, 'open': True, 'leading': True, 'trailing': True, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 8, 'leading_sequence': 16}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 12, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 24, 'start': 24, 'width': 20, 'open': True, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 16, 'leading_sequence': 16}, {'expired': False, 'start': 24, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 20, 'reset_pending': None, 'drop': False})], 5: [({'now': 30, 'start': 10, 'width': 10, 'open': False, 'leading': False, 'trailing': True, 'used': False, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 20, 'leading_sequence': 20}, {'expired': True, 'start': 30, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': False, 'first_trailing': True, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 30, 'start': 30, 'width': 0, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 10}, {'expired': True, 'start': 30, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 10, 'start': 0, 'width': 25, 'open': True, 'leading': False, 'trailing': False, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 20}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 15, 'reset_pending': None, 'drop': True}), ({'now': 0, 'start': 10, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': True, 'incoming': None, 'pending': None, 'flushed': True, 'pending_sequence': 10, 'leading_sequence': 20}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 10, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 30, 'width': 0, 'open': True, 'leading': False, 'trailing': True, 'used': True, 'incoming': None, 'pending': 'old', 'flushed': True, 'pending_sequence': 20, 'leading_sequence': 0}, {'expired': False, 'start': 30, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 30, 'reset_pending': 'old', 'drop': False}), ({'now': 0, 'start': 10, 'width': 25, 'open': False, 'leading': False, 'trailing': True, 'used': False, 'incoming': None, 'pending': 'old', 'flushed': True, 'pending_sequence': 20, 'leading_sequence': 20}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 35, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 30, 'start': 30, 'width': 25, 'open': True, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 20, 'leading_sequence': 20}, {'expired': False, 'start': 30, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 25, 'reset_pending': None, 'drop': 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":"89faf6be97fea482ec46e76cd570c1a6b95ae97852b76ed264fe66d3a8937dd6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'expired': s['now']>=s['start']+s['width'],\n        'start': s['now'] if not s['open'] or s['now']>=s['start']+s['width'] else s['start'],\n        'leading_emit': s['leading'] and not s['used'] and s['incoming'] is not None,\n        'trailing_payload': s['incoming'] if s['trailing'] and s['incoming'] is not None else s['pending'],\n        'flush': s['trailing'] and s['pending'] is not None and s['open'] and s['now']>=s['start']+s['width'],\n        'used': s['used'] or (s['leading'] and s['incoming'] is not None),\n        'first_trailing': s['trailing'] and not s['leading'] and not s['open'] and s['incoming'] is not None,\n        'remaining': max(0,s['start']+s['width']-s['now']),\n        'reset_pending': s['pending'],\n        'drop': s['incoming'] is not None and s['used'] and not s['trailing'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'now': 6, 'start': 0, 'width': 2, 'open': False, 'leading': False, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 2, 'leading_sequence': 2}, {'expired': True, 'start': 6, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': True, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 6, 'start': 2, 'width': 5, 'open': True, 'leading': False, 'trailing': False, 'used': False, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 4, 'leading_sequence': 0}, {'expired': False, 'start': 2, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 1, 'reset_pending': 'old', 'drop': False}), ({'now': 2, 'start': 2, 'width': 0, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 0, 'leading_sequence': 2}, {'expired': True, 'start': 2, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': True, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 2, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 0, 'reset_pending': 'old', 'drop': False}), ({'now': 2, 'start': 6, 'width': 2, 'open': True, 'leading': True, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 4}, {'expired': False, 'start': 6, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 6, 'reset_pending': None, 'drop': False}), ({'now': 6, 'start': 6, 'width': 0, 'open': True, 'leading': False, 'trailing': True, 'used': False, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 2}, {'expired': True, 'start': 6, 'leading_emit': False, 'trailing_payload': 'old', 'flush': True, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 6, 'start': 6, 'width': 5, 'open': True, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 4, 'leading_sequence': 4}, {'expired': False, 'start': 6, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 5, 'reset_pending': None, 'drop': False})], 2: [({'now': 12, 'start': 4, 'width': 4, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 8, 'leading_sequence': 8}, {'expired': True, 'start': 12, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 12, 'start': 12, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': 'new', 'pending': None, 'flushed': False, 'pending_sequence': 4, 'leading_sequence': 8}, {'expired': True, 'start': 12, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 4, 'start': 0, 'width': 10, 'open': True, 'leading': True, 'trailing': False, 'used': True, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 4}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 6, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 12, 'width': 4, 'open': False, 'leading': False, 'trailing': True, 'used': False, 'incoming': 'new', 'pending': None, 'flushed': False, 'pending_sequence': 8, 'leading_sequence': 8}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': False, 'first_trailing': True, 'remaining': 16, 'reset_pending': None, 'drop': False}), ({'now': 4, 'start': 12, 'width': 0, 'open': False, 'leading': True, 'trailing': True, 'used': False, 'incoming': None, 'pending': 'old', 'flushed': True, 'pending_sequence': 0, 'leading_sequence': 4}, {'expired': False, 'start': 4, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 8, 'reset_pending': None, 'drop': False}), ({'now': 4, 'start': 12, 'width': 10, 'open': False, 'leading': True, 'trailing': False, 'used': False, 'incoming': 'new', 'pending': None, 'flushed': True, 'pending_sequence': 4, 'leading_sequence': 4}, {'expired': False, 'start': 4, 'leading_emit': True, 'trailing_payload': None, 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 18, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 12, 'start': 12, 'width': 10, 'open': True, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 8, 'leading_sequence': 8}, {'expired': False, 'start': 12, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 10, 'reset_pending': None, 'drop': False})], 3: [({'now': 18, 'start': 0, 'width': 6, 'open': False, 'leading': False, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 18, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': True, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 6, 'leading_sequence': 12}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 6, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 6, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 18, 'width': 6, 'open': True, 'leading': False, 'trailing': False, 'used': True, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 12, 'leading_sequence': 6}, {'expired': False, 'start': 18, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 24, 'reset_pending': 'old', 'drop': False}), ({'now': 0, 'start': 18, 'width': 0, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 0, 'leading_sequence': 12}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 18, 'reset_pending': None, 'drop': False}), ({'now': 6, 'start': 6, 'width': 0, 'open': True, 'leading': False, 'trailing': True, 'used': False, 'incoming': 'new', 'pending': None, 'flushed': False, 'pending_sequence': 12, 'leading_sequence': 6}, {'expired': True, 'start': 6, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 18, 'start': 18, 'width': 15, 'open': True, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 12, 'leading_sequence': 12}, {'expired': False, 'start': 18, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 15, 'reset_pending': None, 'drop': False})], 4: [({'now': 24, 'start': 0, 'width': 8, 'open': False, 'leading': False, 'trailing': True, 'used': False, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 24, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': False, 'first_trailing': True, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 8, 'start': 0, 'width': 20, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': None, 'flushed': True, 'pending_sequence': 16, 'leading_sequence': 0}, {'expired': False, 'start': 8, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 12, 'reset_pending': None, 'drop': False}), ({'now': 8, 'start': 8, 'width': 0, 'open': True, 'leading': False, 'trailing': False, 'used': True, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 16, 'leading_sequence': 0}, {'expired': True, 'start': 8, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 0, 'reset_pending': 'old', 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 8, 'leading_sequence': 8}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 8, 'start': 8, 'width': 8, 'open': True, 'leading': True, 'trailing': False, 'used': False, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 16, 'leading_sequence': 16}, {'expired': False, 'start': 8, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 8, 'reset_pending': None, 'drop': False}), ({'now': 8, 'start': 0, 'width': 20, 'open': True, 'leading': True, 'trailing': True, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 8, 'leading_sequence': 16}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 12, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 24, 'start': 24, 'width': 20, 'open': True, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 16, 'leading_sequence': 16}, {'expired': False, 'start': 24, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 20, 'reset_pending': None, 'drop': False})], 5: [({'now': 30, 'start': 10, 'width': 10, 'open': False, 'leading': False, 'trailing': True, 'used': False, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 20, 'leading_sequence': 20}, {'expired': True, 'start': 30, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': False, 'first_trailing': True, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 30, 'start': 30, 'width': 0, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 10}, {'expired': True, 'start': 30, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 10, 'start': 0, 'width': 25, 'open': True, 'leading': False, 'trailing': False, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 20}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 15, 'reset_pending': None, 'drop': True}), ({'now': 0, 'start': 10, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': True, 'incoming': None, 'pending': None, 'flushed': True, 'pending_sequence': 10, 'leading_sequence': 20}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 10, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 30, 'width': 0, 'open': True, 'leading': False, 'trailing': True, 'used': True, 'incoming': None, 'pending': 'old', 'flushed': True, 'pending_sequence': 20, 'leading_sequence': 0}, {'expired': False, 'start': 30, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 30, 'reset_pending': 'old', 'drop': False}), ({'now': 0, 'start': 10, 'width': 25, 'open': False, 'leading': False, 'trailing': True, 'used': False, 'incoming': None, 'pending': 'old', 'flushed': True, 'pending_sequence': 20, 'leading_sequence': 20}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 35, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 30, 'start': 30, 'width': 25, 'open': True, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 20, 'leading_sequence': 20}, {'expired': False, 'start': 30, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 25, 'reset_pending': None, 'drop': 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":"e49e0eacb028d3cc6b3c5e94faf3d80c6b9663d77a90010254dfa0018f24e104","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'expired': s['now']>=s['start']+s['width'],\n        'start': s['now'] if not s['open'] or s['now']>=s['start']+s['width'] else s['start'],\n        'leading_emit': s['leading'] and not s['used'] and s['incoming'] is not None,\n        'trailing_payload': s['incoming'] if s['trailing'] and s['incoming'] is not None else s['pending'],\n        'flush': s['trailing'] and s['pending'] is not None and s['open'] and s['now']>=s['start']+s['width'],\n        'used': s['used'] or (s['leading'] and s['incoming'] is not None),\n        'first_trailing': s['trailing'] and not s['leading'] and not s['open'] and s['incoming'] is not None,\n        'remaining': max(0,s['start']+s['width']-s['now']),\n        'reset_pending': s['pending'] if s['pending_sequence']>s['leading_sequence'] else None,\n        'drop': s['incoming'] is not None and s['used'] and not s['trailing'],\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'now': 6, 'start': 0, 'width': 2, 'open': False, 'leading': False, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 2, 'leading_sequence': 2}, {'expired': True, 'start': 6, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': True, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 6, 'start': 2, 'width': 5, 'open': True, 'leading': False, 'trailing': False, 'used': False, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 4, 'leading_sequence': 0}, {'expired': False, 'start': 2, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 1, 'reset_pending': 'old', 'drop': False}), ({'now': 2, 'start': 2, 'width': 0, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 0, 'leading_sequence': 2}, {'expired': True, 'start': 2, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': True, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 2, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 0, 'reset_pending': 'old', 'drop': False}), ({'now': 2, 'start': 6, 'width': 2, 'open': True, 'leading': True, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 4}, {'expired': False, 'start': 6, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 6, 'reset_pending': None, 'drop': False}), ({'now': 6, 'start': 6, 'width': 0, 'open': True, 'leading': False, 'trailing': True, 'used': False, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 2}, {'expired': True, 'start': 6, 'leading_emit': False, 'trailing_payload': 'old', 'flush': True, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 6, 'start': 6, 'width': 5, 'open': True, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 4, 'leading_sequence': 4}, {'expired': False, 'start': 6, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 5, 'reset_pending': None, 'drop': False})], 2: [({'now': 12, 'start': 4, 'width': 4, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 8, 'leading_sequence': 8}, {'expired': True, 'start': 12, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 12, 'start': 12, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': 'new', 'pending': None, 'flushed': False, 'pending_sequence': 4, 'leading_sequence': 8}, {'expired': True, 'start': 12, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 4, 'start': 0, 'width': 10, 'open': True, 'leading': True, 'trailing': False, 'used': True, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 4}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 6, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 12, 'width': 4, 'open': False, 'leading': False, 'trailing': True, 'used': False, 'incoming': 'new', 'pending': None, 'flushed': False, 'pending_sequence': 8, 'leading_sequence': 8}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': False, 'first_trailing': True, 'remaining': 16, 'reset_pending': None, 'drop': False}), ({'now': 4, 'start': 12, 'width': 0, 'open': False, 'leading': True, 'trailing': True, 'used': False, 'incoming': None, 'pending': 'old', 'flushed': True, 'pending_sequence': 0, 'leading_sequence': 4}, {'expired': False, 'start': 4, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 8, 'reset_pending': None, 'drop': False}), ({'now': 4, 'start': 12, 'width': 10, 'open': False, 'leading': True, 'trailing': False, 'used': False, 'incoming': 'new', 'pending': None, 'flushed': True, 'pending_sequence': 4, 'leading_sequence': 4}, {'expired': False, 'start': 4, 'leading_emit': True, 'trailing_payload': None, 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 18, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 12, 'start': 12, 'width': 10, 'open': True, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 8, 'leading_sequence': 8}, {'expired': False, 'start': 12, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 10, 'reset_pending': None, 'drop': False})], 3: [({'now': 18, 'start': 0, 'width': 6, 'open': False, 'leading': False, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 18, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': True, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 6, 'leading_sequence': 12}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 6, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 6, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 18, 'width': 6, 'open': True, 'leading': False, 'trailing': False, 'used': True, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 12, 'leading_sequence': 6}, {'expired': False, 'start': 18, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 24, 'reset_pending': 'old', 'drop': False}), ({'now': 0, 'start': 18, 'width': 0, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 0, 'leading_sequence': 12}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 18, 'reset_pending': None, 'drop': False}), ({'now': 6, 'start': 6, 'width': 0, 'open': True, 'leading': False, 'trailing': True, 'used': False, 'incoming': 'new', 'pending': None, 'flushed': False, 'pending_sequence': 12, 'leading_sequence': 6}, {'expired': True, 'start': 6, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 18, 'start': 18, 'width': 15, 'open': True, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 12, 'leading_sequence': 12}, {'expired': False, 'start': 18, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 15, 'reset_pending': None, 'drop': False})], 4: [({'now': 24, 'start': 0, 'width': 8, 'open': False, 'leading': False, 'trailing': True, 'used': False, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 24, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': False, 'first_trailing': True, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 8, 'start': 0, 'width': 20, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': None, 'flushed': True, 'pending_sequence': 16, 'leading_sequence': 0}, {'expired': False, 'start': 8, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 12, 'reset_pending': None, 'drop': False}), ({'now': 8, 'start': 8, 'width': 0, 'open': True, 'leading': False, 'trailing': False, 'used': True, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 16, 'leading_sequence': 0}, {'expired': True, 'start': 8, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 0, 'reset_pending': 'old', 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 8, 'leading_sequence': 8}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 8, 'start': 8, 'width': 8, 'open': True, 'leading': True, 'trailing': False, 'used': False, 'incoming': None, 'pending': 'old', 'flushed': False, 'pending_sequence': 16, 'leading_sequence': 16}, {'expired': False, 'start': 8, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 8, 'reset_pending': None, 'drop': False}), ({'now': 8, 'start': 0, 'width': 20, 'open': True, 'leading': True, 'trailing': True, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 8, 'leading_sequence': 16}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 12, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 24, 'start': 24, 'width': 20, 'open': True, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 16, 'leading_sequence': 16}, {'expired': False, 'start': 24, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 20, 'reset_pending': None, 'drop': False})], 5: [({'now': 30, 'start': 10, 'width': 10, 'open': False, 'leading': False, 'trailing': True, 'used': False, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 20, 'leading_sequence': 20}, {'expired': True, 'start': 30, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': False, 'first_trailing': True, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 30, 'start': 30, 'width': 0, 'open': False, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 10}, {'expired': True, 'start': 30, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 10, 'start': 0, 'width': 25, 'open': True, 'leading': False, 'trailing': False, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 20}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 15, 'reset_pending': None, 'drop': True}), ({'now': 0, 'start': 10, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': True, 'incoming': None, 'pending': None, 'flushed': True, 'pending_sequence': 10, 'leading_sequence': 20}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 10, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 30, 'width': 0, 'open': True, 'leading': False, 'trailing': True, 'used': True, 'incoming': None, 'pending': 'old', 'flushed': True, 'pending_sequence': 20, 'leading_sequence': 0}, {'expired': False, 'start': 30, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 30, 'reset_pending': 'old', 'drop': False}), ({'now': 0, 'start': 10, 'width': 25, 'open': False, 'leading': False, 'trailing': True, 'used': False, 'incoming': None, 'pending': 'old', 'flushed': True, 'pending_sequence': 20, 'leading_sequence': 20}, {'expired': False, 'start': 0, 'leading_emit': False, 'trailing_payload': 'old', 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 35, 'reset_pending': None, 'drop': False}), ({'now': 0, 'start': 0, 'width': 0, 'open': False, 'leading': False, 'trailing': False, 'used': False, 'incoming': None, 'pending': None, 'flushed': False, 'pending_sequence': 0, 'leading_sequence': 0}, {'expired': True, 'start': 0, 'leading_emit': False, 'trailing_payload': None, 'flush': False, 'used': False, 'first_trailing': False, 'remaining': 0, 'reset_pending': None, 'drop': False}), ({'now': 30, 'start': 30, 'width': 25, 'open': True, 'leading': True, 'trailing': True, 'used': True, 'incoming': 'new', 'pending': 'old', 'flushed': True, 'pending_sequence': 20, 'leading_sequence': 20}, {'expired': False, 'start': 30, 'leading_emit': False, 'trailing_payload': 'new', 'flush': False, 'used': True, 'first_trailing': False, 'remaining': 25, 'reset_pending': None, 'drop': 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-throttle-window-reset_pending","generated_at":"2026-09-29T14:43:48.583463+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 reset_pending decision from the complete contract: s['pending'] if s['pending_sequence']>s['leading_sequence'] else None.","root_cause":"The reset_pending decision in the throttle-window listener model is computed as s['pending'], losing a required lifecycle condition.","sha256":"679310b4ff50fd7beda281d52060ef160aa8c4d25acd56a666e9ec64bab35c2f","title":"Trailing throttle delivery repeats the already delivered leading sequence · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":55.731,"exit_code":1,"observations":[{"actual":{"drop":false,"expired":true,"first_trailing":true,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":"old","start":6,"trailing_payload":"new","used":true},"check":"transition 0","expected":{"drop":false,"expired":true,"first_trailing":true,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":null,"start":6,"trailing_payload":"new","used":true},"passed":false},{"actual":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":1,"reset_pending":"old","start":2,"trailing_payload":"old","used":false},"check":"transition 1","expected":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":1,"reset_pending":"old","start":2,"trailing_payload":"old","used":false},"passed":true},{"actual":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":null,"start":2,"trailing_payload":"new","used":true},"check":"transition 2","expected":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":null,"start":2,"trailing_payload":"new","used":true},"passed":true},{"actual":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":"old","start":0,"trailing_payload":"old","used":true},"check":"transition 3","expected":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":"old","start":0,"trailing_payload":"old","used":true},"passed":true},{"actual":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":6,"reset_pending":null,"start":6,"trailing_payload":null,"used":false},"check":"transition 4","expected":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":6,"reset_pending":null,"start":6,"trailing_payload":null,"used":false},"passed":true},{"actual":{"drop":false,"expired":true,"first_trailing":false,"flush":true,"leading_emit":false,"remaining":0,"reset_pending":null,"start":6,"trailing_payload":"old","used":false},"check":"transition 5","expected":{"drop":false,"expired":true,"first_trailing":false,"flush":true,"leading_emit":false,"remaining":0,"reset_pending":null,"start":6,"trailing_payload":"old","used":false},"passed":true},{"actual":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":null,"start":0,"trailing_payload":null,"used":false},"check":"transition 6","expected":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":null,"start":0,"trailing_payload":null,"used":false},"passed":true},{"actual":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":5,"reset_pending":"old","start":6,"trailing_payload":"new","used":true},"check":"transition 7","expected":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":5,"reset_pending":null,"start":6,"trailing_payload":"new","used":true},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"expired\": true, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": true, \"remaining\": 0, \"reset_pending\": \"old\", \"drop\": false}, \"expected\": {\"expired\": true, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": true, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"expired\": false, \"start\": 2, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 1, \"reset_pending\": \"old\", \"drop\": false}, \"expected\": {\"expired\": false, \"start\": 2, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 1, \"reset_pending\": \"old\", \"drop\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"expired\": true, \"start\": 2, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"expected\": {\"expired\": true, \"start\": 2, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"expired\": true, \"start\": 0, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": \"old\", \"drop\": false}, \"expected\": {\"expired\": true, \"start\": 0, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": \"old\", \"drop\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"expired\": false, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": null, \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 6, \"reset_pending\": null, \"drop\": false}, \"expected\": {\"expired\": false, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": null, \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 6, \"reset_pending\": null, \"drop\": false}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"expired\": true, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": true, \"used\": false, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"expected\": {\"expired\": true, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": true, \"used\": false, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"expired\": true, \"start\": 0, \"leading_emit\": false, \"trailing_payload\": null, \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"expected\": {\"expired\": true, \"start\": 0, \"leading_emit\": false, \"trailing_payload\": null, \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"expired\": false, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 5, \"reset_pending\": \"old\", \"drop\": false}, \"expected\": {\"expired\": false, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 5, \"reset_pending\": null, \"drop\": false}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.192,"exit_code":1,"observations":[{"actual":{"drop":false,"expired":true,"first_trailing":true,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":"old","start":6,"trailing_payload":"new","used":true},"check":"transition 0","expected":{"drop":false,"expired":true,"first_trailing":true,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":null,"start":6,"trailing_payload":"new","used":true},"passed":false},{"actual":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":1,"reset_pending":"old","start":2,"trailing_payload":"old","used":false},"check":"transition 1","expected":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":1,"reset_pending":"old","start":2,"trailing_payload":"old","used":false},"passed":true},{"actual":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":"old","start":2,"trailing_payload":"new","used":true},"check":"transition 2","expected":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":null,"start":2,"trailing_payload":"new","used":true},"passed":false},{"actual":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":"old","start":0,"trailing_payload":"old","used":true},"check":"transition 3","expected":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":"old","start":0,"trailing_payload":"old","used":true},"passed":true},{"actual":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":6,"reset_pending":null,"start":6,"trailing_payload":null,"used":false},"check":"transition 4","expected":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":6,"reset_pending":null,"start":6,"trailing_payload":null,"used":false},"passed":true},{"actual":{"drop":false,"expired":true,"first_trailing":false,"flush":true,"leading_emit":false,"remaining":0,"reset_pending":"old","start":6,"trailing_payload":"old","used":false},"check":"transition 5","expected":{"drop":false,"expired":true,"first_trailing":false,"flush":true,"leading_emit":false,"remaining":0,"reset_pending":null,"start":6,"trailing_payload":"old","used":false},"passed":false},{"actual":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":null,"start":0,"trailing_payload":null,"used":false},"check":"transition 6","expected":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":null,"start":0,"trailing_payload":null,"used":false},"passed":true},{"actual":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":5,"reset_pending":"old","start":6,"trailing_payload":"new","used":true},"check":"transition 7","expected":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":5,"reset_pending":null,"start":6,"trailing_payload":"new","used":true},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"expired\": true, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": true, \"remaining\": 0, \"reset_pending\": \"old\", \"drop\": false}, \"expected\": {\"expired\": true, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": true, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"expired\": false, \"start\": 2, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 1, \"reset_pending\": \"old\", \"drop\": false}, \"expected\": {\"expired\": false, \"start\": 2, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 1, \"reset_pending\": \"old\", \"drop\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"expired\": true, \"start\": 2, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": \"old\", \"drop\": false}, \"expected\": {\"expired\": true, \"start\": 2, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"passed\": false}, {\"check\": \"transition 3\", \"actual\": {\"expired\": true, \"start\": 0, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": \"old\", \"drop\": false}, \"expected\": {\"expired\": true, \"start\": 0, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": \"old\", \"drop\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"expired\": false, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": null, \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 6, \"reset_pending\": null, \"drop\": false}, \"expected\": {\"expired\": false, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": null, \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 6, \"reset_pending\": null, \"drop\": false}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"expired\": true, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": true, \"used\": false, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": \"old\", \"drop\": false}, \"expected\": {\"expired\": true, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": true, \"used\": false, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"passed\": false}, {\"check\": \"transition 6\", \"actual\": {\"expired\": true, \"start\": 0, \"leading_emit\": false, \"trailing_payload\": null, \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"expected\": {\"expired\": true, \"start\": 0, \"leading_emit\": false, \"trailing_payload\": null, \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"expired\": false, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 5, \"reset_pending\": \"old\", \"drop\": false}, \"expected\": {\"expired\": false, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 5, \"reset_pending\": null, \"drop\": false}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":55.671,"exit_code":0,"observations":[{"actual":{"drop":false,"expired":true,"first_trailing":true,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":null,"start":6,"trailing_payload":"new","used":true},"check":"transition 0","expected":{"drop":false,"expired":true,"first_trailing":true,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":null,"start":6,"trailing_payload":"new","used":true},"passed":true},{"actual":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":1,"reset_pending":"old","start":2,"trailing_payload":"old","used":false},"check":"transition 1","expected":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":1,"reset_pending":"old","start":2,"trailing_payload":"old","used":false},"passed":true},{"actual":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":null,"start":2,"trailing_payload":"new","used":true},"check":"transition 2","expected":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":null,"start":2,"trailing_payload":"new","used":true},"passed":true},{"actual":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":"old","start":0,"trailing_payload":"old","used":true},"check":"transition 3","expected":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":"old","start":0,"trailing_payload":"old","used":true},"passed":true},{"actual":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":6,"reset_pending":null,"start":6,"trailing_payload":null,"used":false},"check":"transition 4","expected":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":6,"reset_pending":null,"start":6,"trailing_payload":null,"used":false},"passed":true},{"actual":{"drop":false,"expired":true,"first_trailing":false,"flush":true,"leading_emit":false,"remaining":0,"reset_pending":null,"start":6,"trailing_payload":"old","used":false},"check":"transition 5","expected":{"drop":false,"expired":true,"first_trailing":false,"flush":true,"leading_emit":false,"remaining":0,"reset_pending":null,"start":6,"trailing_payload":"old","used":false},"passed":true},{"actual":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":null,"start":0,"trailing_payload":null,"used":false},"check":"transition 6","expected":{"drop":false,"expired":true,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":0,"reset_pending":null,"start":0,"trailing_payload":null,"used":false},"passed":true},{"actual":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":5,"reset_pending":null,"start":6,"trailing_payload":"new","used":true},"check":"transition 7","expected":{"drop":false,"expired":false,"first_trailing":false,"flush":false,"leading_emit":false,"remaining":5,"reset_pending":null,"start":6,"trailing_payload":"new","used":true},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"expired\": true, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": true, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"expected\": {\"expired\": true, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": true, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"expired\": false, \"start\": 2, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 1, \"reset_pending\": \"old\", \"drop\": false}, \"expected\": {\"expired\": false, \"start\": 2, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 1, \"reset_pending\": \"old\", \"drop\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"expired\": true, \"start\": 2, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"expected\": {\"expired\": true, \"start\": 2, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"expired\": true, \"start\": 0, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": \"old\", \"drop\": false}, \"expected\": {\"expired\": true, \"start\": 0, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": \"old\", \"drop\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"expired\": false, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": null, \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 6, \"reset_pending\": null, \"drop\": false}, \"expected\": {\"expired\": false, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": null, \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 6, \"reset_pending\": null, \"drop\": false}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"expired\": true, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": true, \"used\": false, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"expected\": {\"expired\": true, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"old\", \"flush\": true, \"used\": false, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"expired\": true, \"start\": 0, \"leading_emit\": false, \"trailing_payload\": null, \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"expected\": {\"expired\": true, \"start\": 0, \"leading_emit\": false, \"trailing_payload\": null, \"flush\": false, \"used\": false, \"first_trailing\": false, \"remaining\": 0, \"reset_pending\": null, \"drop\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"expired\": false, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 5, \"reset_pending\": null, \"drop\": false}, \"expected\": {\"expired\": false, \"start\": 6, \"leading_emit\": false, \"trailing_payload\": \"new\", \"flush\": false, \"used\": true, \"first_trailing\": false, \"remaining\": 5, \"reset_pending\": null, \"drop\": false}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}