{"abstract":"A zero-capacity pause buffer retains every queued event; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Plan pausing/resuming a subscription. A nested pause counter never underflows. While paused, buffer only if buffering was requested; otherwise count the dropped events. Resume drains in arrival order only when the last pause ends. A closed subscription neither buffers nor resumes. Overflow retains the newest bounded suffix. 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: depth = max(0,s['pauses']+int(s['pause'])-int(s['resume'])); hold = s['pauses']>0 and s['buffer'] and not s['closed'] and s['incoming'] is not None; resume = s['resume'] and s['pauses']==1 and not s['closed']; drain = list(s['queued']) if s['resume'] and s['pauses']==1 and not s['closed'] and not s['drained'] else []; drops = s['drops']+int(s['pauses']>0 and not s['buffer'] and s['incoming'] is not None); retain = s['queued'][-s['capacity']:] if s['capacity']>0 and not s['closed'] else []; deliver = s['pauses']==0 and not s['closed'] and s['incoming'] is not None; clear = s['closed'] or (s['resume'] and s['pauses']==1 and not s['drained']); overflow = max(0,len(s['queued'])+int(s['incoming'] is not None)-s['capacity']); redundant_resume = s['resume'] and s['pauses']==0","evaluation_group":"s3-listener-pause-resume","failed_approach":"The partial repair uses s['queued'][:s['capacity']] if not s['closed'] else []; a retained regression distinguishes it from the full transition.","family":"s3-listener-pause-resume-retain","id":"FA-41866","implementations":{"attempt":{"sha256":"1e3612105e023664ce0560436f0a819f8328f4d18dec436d2eb51c92e432ea6e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'depth': max(0,s['pauses']+int(s['pause'])-int(s['resume'])),\n        'hold': s['pauses']>0 and s['buffer'] and not s['closed'] and s['incoming'] is not None,\n        'resume': s['resume'] and s['pauses']==1 and not s['closed'],\n        'drain': list(s['queued']) if s['resume'] and s['pauses']==1 and not s['closed'] and not s['drained'] else [],\n        'drops': s['drops']+int(s['pauses']>0 and not s['buffer'] and s['incoming'] is not None),\n        'retain': s['queued'][:s['capacity']] if not s['closed'] else [],\n        'deliver': s['pauses']==0 and not s['closed'] and s['incoming'] is not None,\n        'clear': s['closed'] or (s['resume'] and s['pauses']==1 and not s['drained']),\n        'overflow': max(0,len(s['queued'])+int(s['incoming'] is not None)-s['capacity']),\n        'redundant_resume': s['resume'] and s['pauses']==0,\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'pauses': 1, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 3, 'drops': 2, 'drained': False}, {'depth': 1, 'hold': False, 'resume': False, 'drain': [], 'drops': 2, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': False}), ({'pauses': 3, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': False}, {'depth': 2, 'hold': False, 'resume': False, 'drain': [], 'drops': 1, 'retain': ['c'], 'deliver': False, 'clear': False, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a'], 'incoming': 'new', 'capacity': 1, 'drops': 2, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 2, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': True}), ({'pauses': 1, 'pause': False, 'resume': True, 'closed': False, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 0, 'drops': 2, 'drained': False}, {'depth': 0, 'hold': False, 'resume': True, 'drain': ['a', 'b', 'c'], 'drops': 2, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 3, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 0, 'drops': 2, 'drained': False}, {'depth': 3, 'hold': False, 'resume': False, 'drain': [], 'drops': 2, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 0, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a'], 'incoming': None, 'capacity': 3, 'drops': 2, 'drained': True}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 2, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': True}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 3, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 3, 'drops': 2, 'drained': True}, {'depth': 3, 'hold': False, 'resume': False, 'drain': [], 'drops': 2, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': False})], 2: [({'pauses': 1, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': True}, {'depth': 0, 'hold': False, 'resume': True, 'drain': [], 'drops': 1, 'retain': ['c'], 'deliver': False, 'clear': False, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 6, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a'], 'incoming': None, 'capacity': 0, 'drops': 4, 'drained': True}, {'depth': 6, 'hold': False, 'resume': False, 'drain': [], 'drops': 4, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 4, 'drained': True}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 4, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 3, 'redundant_resume': True}), ({'pauses': 1, 'pause': True, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 6, 'drops': 4, 'drained': False}, {'depth': 1, 'hold': False, 'resume': True, 'drain': ['a', 'b', 'c'], 'drops': 4, 'retain': ['a', 'b', 'c'], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 1, 'pause': False, 'resume': True, 'closed': True, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 1, 'drops': 4, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 4, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 6, 'pause': False, 'resume': False, 'closed': False, 'buffer': True, 'queued': ['a'], 'incoming': None, 'capacity': 1, 'drops': 0, 'drained': True}, {'depth': 6, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': ['a'], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 6, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 6, 'drops': 4, 'drained': True}, {'depth': 6, 'hold': False, 'resume': False, 'drain': [], 'drops': 4, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False})], 3: [({'pauses': 1, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a'], 'incoming': None, 'capacity': 0, 'drops': 6, 'drained': True}, {'depth': 1, 'hold': False, 'resume': False, 'drain': [], 'drops': 6, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': False}), ({'pauses': 9, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': True}, {'depth': 8, 'hold': False, 'resume': False, 'drain': [], 'drops': 1, 'retain': ['c'], 'deliver': False, 'clear': False, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': True, 'closed': True, 'buffer': True, 'queued': [], 'incoming': 'new', 'capacity': 9, 'drops': 6, 'drained': True}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 6, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': True}), ({'pauses': 1, 'pause': True, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 1, 'drops': 6, 'drained': False}, {'depth': 1, 'hold': False, 'resume': True, 'drain': ['a', 'b', 'c'], 'drops': 6, 'retain': ['c'], 'deliver': False, 'clear': True, 'overflow': 2, 'redundant_resume': False}), ({'pauses': 9, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': [], 'incoming': 'new', 'capacity': 0, 'drops': 6, 'drained': False}, {'depth': 9, 'hold': False, 'resume': False, 'drain': [], 'drops': 6, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': True, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': True}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 9, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 9, 'drops': 6, 'drained': True}, {'depth': 9, 'hold': False, 'resume': False, 'drain': [], 'drops': 6, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False})], 4: [({'pauses': 1, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': True}, {'depth': 1, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 12, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': False}, {'depth': 11, 'hold': False, 'resume': False, 'drain': [], 'drops': 1, 'retain': ['c'], 'deliver': False, 'clear': False, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 8, 'drained': True}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 8, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 3, 'redundant_resume': True}), ({'pauses': 1, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a'], 'incoming': None, 'capacity': 1, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': True, 'drain': ['a'], 'drops': 0, 'retain': ['a'], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 1, 'pause': True, 'resume': True, 'closed': False, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 12, 'drops': 0, 'drained': False}, {'depth': 1, 'hold': False, 'resume': True, 'drain': ['a', 'b', 'c'], 'drops': 0, 'retain': ['a', 'b', 'c'], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 1, 'pause': True, 'resume': False, 'closed': True, 'buffer': True, 'queued': ['a'], 'incoming': 'new', 'capacity': 0, 'drops': 8, 'drained': False}, {'depth': 2, 'hold': False, 'resume': False, 'drain': [], 'drops': 8, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 2, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 12, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 12, 'drops': 8, 'drained': True}, {'depth': 12, 'hold': False, 'resume': False, 'drain': [], 'drops': 8, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False})], 5: [({'pauses': 1, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a'], 'incoming': 'new', 'capacity': 0, 'drops': 0, 'drained': True}, {'depth': 0, 'hold': False, 'resume': True, 'drain': [], 'drops': 1, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 2, 'redundant_resume': False}), ({'pauses': 15, 'pause': False, 'resume': True, 'closed': False, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 1, 'drops': 10, 'drained': False}, {'depth': 14, 'hold': False, 'resume': False, 'drain': [], 'drops': 10, 'retain': ['c'], 'deliver': False, 'clear': False, 'overflow': 2, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': True, 'closed': True, 'buffer': False, 'queued': [], 'incoming': 'new', 'capacity': 0, 'drops': 10, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 10, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': True}), ({'pauses': 1, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': [], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': True, 'drain': [], 'drops': 1, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 1, 'pause': True, 'resume': True, 'closed': True, 'buffer': False, 'queued': ['a'], 'incoming': 'new', 'capacity': 0, 'drops': 10, 'drained': True}, {'depth': 1, 'hold': False, 'resume': False, 'drain': [], 'drops': 11, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 2, 'redundant_resume': False}), ({'pauses': 1, 'pause': True, 'resume': False, 'closed': True, 'buffer': True, 'queued': [], 'incoming': 'new', 'capacity': 15, 'drops': 10, 'drained': True}, {'depth': 2, 'hold': False, 'resume': False, 'drain': [], 'drops': 10, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 15, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 15, 'drops': 10, 'drained': True}, {'depth': 15, 'hold': False, 'resume': False, 'drain': [], 'drops': 10, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': 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":"08ea92e041b9a11463deddf12a18c0b205cf4e27ce6906cc83b1c2c03372fc09","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'depth': max(0,s['pauses']+int(s['pause'])-int(s['resume'])),\n        'hold': s['pauses']>0 and s['buffer'] and not s['closed'] and s['incoming'] is not None,\n        'resume': s['resume'] and s['pauses']==1 and not s['closed'],\n        'drain': list(s['queued']) if s['resume'] and s['pauses']==1 and not s['closed'] and not s['drained'] else [],\n        'drops': s['drops']+int(s['pauses']>0 and not s['buffer'] and s['incoming'] is not None),\n        'retain': s['queued'][-s['capacity']:],\n        'deliver': s['pauses']==0 and not s['closed'] and s['incoming'] is not None,\n        'clear': s['closed'] or (s['resume'] and s['pauses']==1 and not s['drained']),\n        'overflow': max(0,len(s['queued'])+int(s['incoming'] is not None)-s['capacity']),\n        'redundant_resume': s['resume'] and s['pauses']==0,\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'pauses': 1, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 3, 'drops': 2, 'drained': False}, {'depth': 1, 'hold': False, 'resume': False, 'drain': [], 'drops': 2, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': False}), ({'pauses': 3, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': False}, {'depth': 2, 'hold': False, 'resume': False, 'drain': [], 'drops': 1, 'retain': ['c'], 'deliver': False, 'clear': False, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a'], 'incoming': 'new', 'capacity': 1, 'drops': 2, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 2, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': True}), ({'pauses': 1, 'pause': False, 'resume': True, 'closed': False, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 0, 'drops': 2, 'drained': False}, {'depth': 0, 'hold': False, 'resume': True, 'drain': ['a', 'b', 'c'], 'drops': 2, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 3, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 0, 'drops': 2, 'drained': False}, {'depth': 3, 'hold': False, 'resume': False, 'drain': [], 'drops': 2, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 0, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a'], 'incoming': None, 'capacity': 3, 'drops': 2, 'drained': True}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 2, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': True}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 3, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 3, 'drops': 2, 'drained': True}, {'depth': 3, 'hold': False, 'resume': False, 'drain': [], 'drops': 2, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': False})], 2: [({'pauses': 1, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': True}, {'depth': 0, 'hold': False, 'resume': True, 'drain': [], 'drops': 1, 'retain': ['c'], 'deliver': False, 'clear': False, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 6, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a'], 'incoming': None, 'capacity': 0, 'drops': 4, 'drained': True}, {'depth': 6, 'hold': False, 'resume': False, 'drain': [], 'drops': 4, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 4, 'drained': True}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 4, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 3, 'redundant_resume': True}), ({'pauses': 1, 'pause': True, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 6, 'drops': 4, 'drained': False}, {'depth': 1, 'hold': False, 'resume': True, 'drain': ['a', 'b', 'c'], 'drops': 4, 'retain': ['a', 'b', 'c'], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 1, 'pause': False, 'resume': True, 'closed': True, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 1, 'drops': 4, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 4, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 6, 'pause': False, 'resume': False, 'closed': False, 'buffer': True, 'queued': ['a'], 'incoming': None, 'capacity': 1, 'drops': 0, 'drained': True}, {'depth': 6, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': ['a'], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 6, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 6, 'drops': 4, 'drained': True}, {'depth': 6, 'hold': False, 'resume': False, 'drain': [], 'drops': 4, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False})], 3: [({'pauses': 1, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a'], 'incoming': None, 'capacity': 0, 'drops': 6, 'drained': True}, {'depth': 1, 'hold': False, 'resume': False, 'drain': [], 'drops': 6, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': False}), ({'pauses': 9, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': True}, {'depth': 8, 'hold': False, 'resume': False, 'drain': [], 'drops': 1, 'retain': ['c'], 'deliver': False, 'clear': False, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': True, 'closed': True, 'buffer': True, 'queued': [], 'incoming': 'new', 'capacity': 9, 'drops': 6, 'drained': True}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 6, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': True}), ({'pauses': 1, 'pause': True, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 1, 'drops': 6, 'drained': False}, {'depth': 1, 'hold': False, 'resume': True, 'drain': ['a', 'b', 'c'], 'drops': 6, 'retain': ['c'], 'deliver': False, 'clear': True, 'overflow': 2, 'redundant_resume': False}), ({'pauses': 9, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': [], 'incoming': 'new', 'capacity': 0, 'drops': 6, 'drained': False}, {'depth': 9, 'hold': False, 'resume': False, 'drain': [], 'drops': 6, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': True, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': True}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 9, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 9, 'drops': 6, 'drained': True}, {'depth': 9, 'hold': False, 'resume': False, 'drain': [], 'drops': 6, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False})], 4: [({'pauses': 1, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': True}, {'depth': 1, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 12, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': False}, {'depth': 11, 'hold': False, 'resume': False, 'drain': [], 'drops': 1, 'retain': ['c'], 'deliver': False, 'clear': False, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 8, 'drained': True}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 8, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 3, 'redundant_resume': True}), ({'pauses': 1, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a'], 'incoming': None, 'capacity': 1, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': True, 'drain': ['a'], 'drops': 0, 'retain': ['a'], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 1, 'pause': True, 'resume': True, 'closed': False, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 12, 'drops': 0, 'drained': False}, {'depth': 1, 'hold': False, 'resume': True, 'drain': ['a', 'b', 'c'], 'drops': 0, 'retain': ['a', 'b', 'c'], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 1, 'pause': True, 'resume': False, 'closed': True, 'buffer': True, 'queued': ['a'], 'incoming': 'new', 'capacity': 0, 'drops': 8, 'drained': False}, {'depth': 2, 'hold': False, 'resume': False, 'drain': [], 'drops': 8, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 2, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 12, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 12, 'drops': 8, 'drained': True}, {'depth': 12, 'hold': False, 'resume': False, 'drain': [], 'drops': 8, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False})], 5: [({'pauses': 1, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a'], 'incoming': 'new', 'capacity': 0, 'drops': 0, 'drained': True}, {'depth': 0, 'hold': False, 'resume': True, 'drain': [], 'drops': 1, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 2, 'redundant_resume': False}), ({'pauses': 15, 'pause': False, 'resume': True, 'closed': False, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 1, 'drops': 10, 'drained': False}, {'depth': 14, 'hold': False, 'resume': False, 'drain': [], 'drops': 10, 'retain': ['c'], 'deliver': False, 'clear': False, 'overflow': 2, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': True, 'closed': True, 'buffer': False, 'queued': [], 'incoming': 'new', 'capacity': 0, 'drops': 10, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 10, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': True}), ({'pauses': 1, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': [], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': True, 'drain': [], 'drops': 1, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 1, 'pause': True, 'resume': True, 'closed': True, 'buffer': False, 'queued': ['a'], 'incoming': 'new', 'capacity': 0, 'drops': 10, 'drained': True}, {'depth': 1, 'hold': False, 'resume': False, 'drain': [], 'drops': 11, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 2, 'redundant_resume': False}), ({'pauses': 1, 'pause': True, 'resume': False, 'closed': True, 'buffer': True, 'queued': [], 'incoming': 'new', 'capacity': 15, 'drops': 10, 'drained': True}, {'depth': 2, 'hold': False, 'resume': False, 'drain': [], 'drops': 10, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 15, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 15, 'drops': 10, 'drained': True}, {'depth': 15, 'hold': False, 'resume': False, 'drain': [], 'drops': 10, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': 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":"8c1af85750611a38d4d0af45b726ecd59242915a976d4445640b8a4baeb80be2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'depth': max(0,s['pauses']+int(s['pause'])-int(s['resume'])),\n        'hold': s['pauses']>0 and s['buffer'] and not s['closed'] and s['incoming'] is not None,\n        'resume': s['resume'] and s['pauses']==1 and not s['closed'],\n        'drain': list(s['queued']) if s['resume'] and s['pauses']==1 and not s['closed'] and not s['drained'] else [],\n        'drops': s['drops']+int(s['pauses']>0 and not s['buffer'] and s['incoming'] is not None),\n        'retain': s['queued'][-s['capacity']:] if s['capacity']>0 and not s['closed'] else [],\n        'deliver': s['pauses']==0 and not s['closed'] and s['incoming'] is not None,\n        'clear': s['closed'] or (s['resume'] and s['pauses']==1 and not s['drained']),\n        'overflow': max(0,len(s['queued'])+int(s['incoming'] is not None)-s['capacity']),\n        'redundant_resume': s['resume'] and s['pauses']==0,\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'pauses': 1, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 3, 'drops': 2, 'drained': False}, {'depth': 1, 'hold': False, 'resume': False, 'drain': [], 'drops': 2, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': False}), ({'pauses': 3, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': False}, {'depth': 2, 'hold': False, 'resume': False, 'drain': [], 'drops': 1, 'retain': ['c'], 'deliver': False, 'clear': False, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a'], 'incoming': 'new', 'capacity': 1, 'drops': 2, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 2, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': True}), ({'pauses': 1, 'pause': False, 'resume': True, 'closed': False, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 0, 'drops': 2, 'drained': False}, {'depth': 0, 'hold': False, 'resume': True, 'drain': ['a', 'b', 'c'], 'drops': 2, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 3, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 0, 'drops': 2, 'drained': False}, {'depth': 3, 'hold': False, 'resume': False, 'drain': [], 'drops': 2, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 0, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a'], 'incoming': None, 'capacity': 3, 'drops': 2, 'drained': True}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 2, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': True}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 3, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 3, 'drops': 2, 'drained': True}, {'depth': 3, 'hold': False, 'resume': False, 'drain': [], 'drops': 2, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': False})], 2: [({'pauses': 1, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': True}, {'depth': 0, 'hold': False, 'resume': True, 'drain': [], 'drops': 1, 'retain': ['c'], 'deliver': False, 'clear': False, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 6, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a'], 'incoming': None, 'capacity': 0, 'drops': 4, 'drained': True}, {'depth': 6, 'hold': False, 'resume': False, 'drain': [], 'drops': 4, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 4, 'drained': True}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 4, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 3, 'redundant_resume': True}), ({'pauses': 1, 'pause': True, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 6, 'drops': 4, 'drained': False}, {'depth': 1, 'hold': False, 'resume': True, 'drain': ['a', 'b', 'c'], 'drops': 4, 'retain': ['a', 'b', 'c'], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 1, 'pause': False, 'resume': True, 'closed': True, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 1, 'drops': 4, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 4, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 6, 'pause': False, 'resume': False, 'closed': False, 'buffer': True, 'queued': ['a'], 'incoming': None, 'capacity': 1, 'drops': 0, 'drained': True}, {'depth': 6, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': ['a'], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 6, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 6, 'drops': 4, 'drained': True}, {'depth': 6, 'hold': False, 'resume': False, 'drain': [], 'drops': 4, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False})], 3: [({'pauses': 1, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a'], 'incoming': None, 'capacity': 0, 'drops': 6, 'drained': True}, {'depth': 1, 'hold': False, 'resume': False, 'drain': [], 'drops': 6, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': False}), ({'pauses': 9, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': True}, {'depth': 8, 'hold': False, 'resume': False, 'drain': [], 'drops': 1, 'retain': ['c'], 'deliver': False, 'clear': False, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': True, 'closed': True, 'buffer': True, 'queued': [], 'incoming': 'new', 'capacity': 9, 'drops': 6, 'drained': True}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 6, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': True}), ({'pauses': 1, 'pause': True, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 1, 'drops': 6, 'drained': False}, {'depth': 1, 'hold': False, 'resume': True, 'drain': ['a', 'b', 'c'], 'drops': 6, 'retain': ['c'], 'deliver': False, 'clear': True, 'overflow': 2, 'redundant_resume': False}), ({'pauses': 9, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': [], 'incoming': 'new', 'capacity': 0, 'drops': 6, 'drained': False}, {'depth': 9, 'hold': False, 'resume': False, 'drain': [], 'drops': 6, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': True, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': True}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 9, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 9, 'drops': 6, 'drained': True}, {'depth': 9, 'hold': False, 'resume': False, 'drain': [], 'drops': 6, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False})], 4: [({'pauses': 1, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': True}, {'depth': 1, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 12, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': False}, {'depth': 11, 'hold': False, 'resume': False, 'drain': [], 'drops': 1, 'retain': ['c'], 'deliver': False, 'clear': False, 'overflow': 3, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 1, 'drops': 8, 'drained': True}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 8, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 3, 'redundant_resume': True}), ({'pauses': 1, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a'], 'incoming': None, 'capacity': 1, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': True, 'drain': ['a'], 'drops': 0, 'retain': ['a'], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 1, 'pause': True, 'resume': True, 'closed': False, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 12, 'drops': 0, 'drained': False}, {'depth': 1, 'hold': False, 'resume': True, 'drain': ['a', 'b', 'c'], 'drops': 0, 'retain': ['a', 'b', 'c'], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 1, 'pause': True, 'resume': False, 'closed': True, 'buffer': True, 'queued': ['a'], 'incoming': 'new', 'capacity': 0, 'drops': 8, 'drained': False}, {'depth': 2, 'hold': False, 'resume': False, 'drain': [], 'drops': 8, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 2, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 12, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 12, 'drops': 8, 'drained': True}, {'depth': 12, 'hold': False, 'resume': False, 'drain': [], 'drops': 8, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False})], 5: [({'pauses': 1, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': ['a'], 'incoming': 'new', 'capacity': 0, 'drops': 0, 'drained': True}, {'depth': 0, 'hold': False, 'resume': True, 'drain': [], 'drops': 1, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 2, 'redundant_resume': False}), ({'pauses': 15, 'pause': False, 'resume': True, 'closed': False, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': None, 'capacity': 1, 'drops': 10, 'drained': False}, {'depth': 14, 'hold': False, 'resume': False, 'drain': [], 'drops': 10, 'retain': ['c'], 'deliver': False, 'clear': False, 'overflow': 2, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': True, 'closed': True, 'buffer': False, 'queued': [], 'incoming': 'new', 'capacity': 0, 'drops': 10, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 10, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 1, 'redundant_resume': True}), ({'pauses': 1, 'pause': False, 'resume': True, 'closed': False, 'buffer': False, 'queued': [], 'incoming': 'new', 'capacity': 1, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': True, 'drain': [], 'drops': 1, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 1, 'pause': True, 'resume': True, 'closed': True, 'buffer': False, 'queued': ['a'], 'incoming': 'new', 'capacity': 0, 'drops': 10, 'drained': True}, {'depth': 1, 'hold': False, 'resume': False, 'drain': [], 'drops': 11, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 2, 'redundant_resume': False}), ({'pauses': 1, 'pause': True, 'resume': False, 'closed': True, 'buffer': True, 'queued': [], 'incoming': 'new', 'capacity': 15, 'drops': 10, 'drained': True}, {'depth': 2, 'hold': False, 'resume': False, 'drain': [], 'drops': 10, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 0, 'pause': False, 'resume': False, 'closed': False, 'buffer': False, 'queued': [], 'incoming': None, 'capacity': 0, 'drops': 0, 'drained': False}, {'depth': 0, 'hold': False, 'resume': False, 'drain': [], 'drops': 0, 'retain': [], 'deliver': False, 'clear': False, 'overflow': 0, 'redundant_resume': False}), ({'pauses': 15, 'pause': True, 'resume': True, 'closed': True, 'buffer': True, 'queued': ['a', 'b', 'c'], 'incoming': 'new', 'capacity': 15, 'drops': 10, 'drained': True}, {'depth': 15, 'hold': False, 'resume': False, 'drain': [], 'drops': 10, 'retain': [], 'deliver': False, 'clear': True, 'overflow': 0, 'redundant_resume': 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-pause-resume-retain","generated_at":"2026-09-29T14:43:45.707402+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 retain decision from the complete contract: s['queued'][-s['capacity']:] if s['capacity']>0 and not s['closed'] else [].","root_cause":"The retain decision in the pause-resume listener model is computed as s['queued'][-s['capacity']:], losing a required lifecycle condition.","sha256":"c922a6de8bf139cfe94782b1e107731aa7f4103f8569a0aeb7aa300a8a4a7276","title":"A zero-capacity pause buffer retains every queued event · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.596,"exit_code":1,"observations":[{"actual":{"clear":true,"deliver":false,"depth":1,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":false,"resume":false,"retain":[]},"check":"transition 0","expected":{"clear":true,"deliver":false,"depth":1,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":false,"resume":false,"retain":[]},"passed":true},{"actual":{"clear":false,"deliver":false,"depth":2,"drain":[],"drops":1,"hold":false,"overflow":3,"redundant_resume":false,"resume":false,"retain":["a"]},"check":"transition 1","expected":{"clear":false,"deliver":false,"depth":2,"drain":[],"drops":1,"hold":false,"overflow":3,"redundant_resume":false,"resume":false,"retain":["c"]},"passed":false},{"actual":{"clear":true,"deliver":false,"depth":0,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":true,"resume":false,"retain":[]},"check":"transition 2","expected":{"clear":true,"deliver":false,"depth":0,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":true,"resume":false,"retain":[]},"passed":true},{"actual":{"clear":true,"deliver":false,"depth":0,"drain":["a","b","c"],"drops":2,"hold":false,"overflow":3,"redundant_resume":false,"resume":true,"retain":[]},"check":"transition 3","expected":{"clear":true,"deliver":false,"depth":0,"drain":["a","b","c"],"drops":2,"hold":false,"overflow":3,"redundant_resume":false,"resume":true,"retain":[]},"passed":true},{"actual":{"clear":false,"deliver":false,"depth":3,"drain":[],"drops":2,"hold":false,"overflow":3,"redundant_resume":false,"resume":false,"retain":[]},"check":"transition 4","expected":{"clear":false,"deliver":false,"depth":3,"drain":[],"drops":2,"hold":false,"overflow":3,"redundant_resume":false,"resume":false,"retain":[]},"passed":true},{"actual":{"clear":true,"deliver":false,"depth":0,"drain":[],"drops":2,"hold":false,"overflow":0,"redundant_resume":true,"resume":false,"retain":[]},"check":"transition 5","expected":{"clear":true,"deliver":false,"depth":0,"drain":[],"drops":2,"hold":false,"overflow":0,"redundant_resume":true,"resume":false,"retain":[]},"passed":true},{"actual":{"clear":false,"deliver":false,"depth":0,"drain":[],"drops":0,"hold":false,"overflow":0,"redundant_resume":false,"resume":false,"retain":[]},"check":"transition 6","expected":{"clear":false,"deliver":false,"depth":0,"drain":[],"drops":0,"hold":false,"overflow":0,"redundant_resume":false,"resume":false,"retain":[]},"passed":true},{"actual":{"clear":true,"deliver":false,"depth":3,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":false,"resume":false,"retain":[]},"check":"transition 7","expected":{"clear":true,"deliver":false,"depth":3,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":false,"resume":false,"retain":[]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"depth\": 1, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": false}, \"expected\": {\"depth\": 1, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": false}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"depth\": 2, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 1, \"retain\": [\"a\"], \"deliver\": false, \"clear\": false, \"overflow\": 3, \"redundant_resume\": false}, \"expected\": {\"depth\": 2, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 1, \"retain\": [\"c\"], \"deliver\": false, \"clear\": false, \"overflow\": 3, \"redundant_resume\": false}, \"passed\": false}, {\"check\": \"transition 2\", \"actual\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": true}, \"expected\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": true}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"depth\": 0, \"hold\": false, \"resume\": true, \"drain\": [\"a\", \"b\", \"c\"], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 3, \"redundant_resume\": false}, \"expected\": {\"depth\": 0, \"hold\": false, \"resume\": true, \"drain\": [\"a\", \"b\", \"c\"], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 3, \"redundant_resume\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"depth\": 3, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": false, \"overflow\": 3, \"redundant_resume\": false}, \"expected\": {\"depth\": 3, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": false, \"overflow\": 3, \"redundant_resume\": false}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 0, \"redundant_resume\": true}, \"expected\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 0, \"redundant_resume\": true}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 0, \"retain\": [], \"deliver\": false, \"clear\": false, \"overflow\": 0, \"redundant_resume\": false}, \"expected\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 0, \"retain\": [], \"deliver\": false, \"clear\": false, \"overflow\": 0, \"redundant_resume\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"depth\": 3, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": false}, \"expected\": {\"depth\": 3, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": false}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.986,"exit_code":1,"observations":[{"actual":{"clear":true,"deliver":false,"depth":1,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":false,"resume":false,"retain":["a","b","c"]},"check":"transition 0","expected":{"clear":true,"deliver":false,"depth":1,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":false,"resume":false,"retain":[]},"passed":false},{"actual":{"clear":false,"deliver":false,"depth":2,"drain":[],"drops":1,"hold":false,"overflow":3,"redundant_resume":false,"resume":false,"retain":["c"]},"check":"transition 1","expected":{"clear":false,"deliver":false,"depth":2,"drain":[],"drops":1,"hold":false,"overflow":3,"redundant_resume":false,"resume":false,"retain":["c"]},"passed":true},{"actual":{"clear":true,"deliver":false,"depth":0,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":true,"resume":false,"retain":["a"]},"check":"transition 2","expected":{"clear":true,"deliver":false,"depth":0,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":true,"resume":false,"retain":[]},"passed":false},{"actual":{"clear":true,"deliver":false,"depth":0,"drain":["a","b","c"],"drops":2,"hold":false,"overflow":3,"redundant_resume":false,"resume":true,"retain":["a","b","c"]},"check":"transition 3","expected":{"clear":true,"deliver":false,"depth":0,"drain":["a","b","c"],"drops":2,"hold":false,"overflow":3,"redundant_resume":false,"resume":true,"retain":[]},"passed":false},{"actual":{"clear":false,"deliver":false,"depth":3,"drain":[],"drops":2,"hold":false,"overflow":3,"redundant_resume":false,"resume":false,"retain":["a","b","c"]},"check":"transition 4","expected":{"clear":false,"deliver":false,"depth":3,"drain":[],"drops":2,"hold":false,"overflow":3,"redundant_resume":false,"resume":false,"retain":[]},"passed":false},{"actual":{"clear":true,"deliver":false,"depth":0,"drain":[],"drops":2,"hold":false,"overflow":0,"redundant_resume":true,"resume":false,"retain":["a"]},"check":"transition 5","expected":{"clear":true,"deliver":false,"depth":0,"drain":[],"drops":2,"hold":false,"overflow":0,"redundant_resume":true,"resume":false,"retain":[]},"passed":false},{"actual":{"clear":false,"deliver":false,"depth":0,"drain":[],"drops":0,"hold":false,"overflow":0,"redundant_resume":false,"resume":false,"retain":[]},"check":"transition 6","expected":{"clear":false,"deliver":false,"depth":0,"drain":[],"drops":0,"hold":false,"overflow":0,"redundant_resume":false,"resume":false,"retain":[]},"passed":true},{"actual":{"clear":true,"deliver":false,"depth":3,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":false,"resume":false,"retain":["a","b","c"]},"check":"transition 7","expected":{"clear":true,"deliver":false,"depth":3,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":false,"resume":false,"retain":[]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"depth\": 1, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [\"a\", \"b\", \"c\"], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": false}, \"expected\": {\"depth\": 1, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": false}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"depth\": 2, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 1, \"retain\": [\"c\"], \"deliver\": false, \"clear\": false, \"overflow\": 3, \"redundant_resume\": false}, \"expected\": {\"depth\": 2, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 1, \"retain\": [\"c\"], \"deliver\": false, \"clear\": false, \"overflow\": 3, \"redundant_resume\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [\"a\"], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": true}, \"expected\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": true}, \"passed\": false}, {\"check\": \"transition 3\", \"actual\": {\"depth\": 0, \"hold\": false, \"resume\": true, \"drain\": [\"a\", \"b\", \"c\"], \"drops\": 2, \"retain\": [\"a\", \"b\", \"c\"], \"deliver\": false, \"clear\": true, \"overflow\": 3, \"redundant_resume\": false}, \"expected\": {\"depth\": 0, \"hold\": false, \"resume\": true, \"drain\": [\"a\", \"b\", \"c\"], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 3, \"redundant_resume\": false}, \"passed\": false}, {\"check\": \"transition 4\", \"actual\": {\"depth\": 3, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [\"a\", \"b\", \"c\"], \"deliver\": false, \"clear\": false, \"overflow\": 3, \"redundant_resume\": false}, \"expected\": {\"depth\": 3, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": false, \"overflow\": 3, \"redundant_resume\": false}, \"passed\": false}, {\"check\": \"transition 5\", \"actual\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [\"a\"], \"deliver\": false, \"clear\": true, \"overflow\": 0, \"redundant_resume\": true}, \"expected\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 0, \"redundant_resume\": true}, \"passed\": false}, {\"check\": \"transition 6\", \"actual\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 0, \"retain\": [], \"deliver\": false, \"clear\": false, \"overflow\": 0, \"redundant_resume\": false}, \"expected\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 0, \"retain\": [], \"deliver\": false, \"clear\": false, \"overflow\": 0, \"redundant_resume\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"depth\": 3, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [\"a\", \"b\", \"c\"], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": false}, \"expected\": {\"depth\": 3, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": false}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.282,"exit_code":0,"observations":[{"actual":{"clear":true,"deliver":false,"depth":1,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":false,"resume":false,"retain":[]},"check":"transition 0","expected":{"clear":true,"deliver":false,"depth":1,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":false,"resume":false,"retain":[]},"passed":true},{"actual":{"clear":false,"deliver":false,"depth":2,"drain":[],"drops":1,"hold":false,"overflow":3,"redundant_resume":false,"resume":false,"retain":["c"]},"check":"transition 1","expected":{"clear":false,"deliver":false,"depth":2,"drain":[],"drops":1,"hold":false,"overflow":3,"redundant_resume":false,"resume":false,"retain":["c"]},"passed":true},{"actual":{"clear":true,"deliver":false,"depth":0,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":true,"resume":false,"retain":[]},"check":"transition 2","expected":{"clear":true,"deliver":false,"depth":0,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":true,"resume":false,"retain":[]},"passed":true},{"actual":{"clear":true,"deliver":false,"depth":0,"drain":["a","b","c"],"drops":2,"hold":false,"overflow":3,"redundant_resume":false,"resume":true,"retain":[]},"check":"transition 3","expected":{"clear":true,"deliver":false,"depth":0,"drain":["a","b","c"],"drops":2,"hold":false,"overflow":3,"redundant_resume":false,"resume":true,"retain":[]},"passed":true},{"actual":{"clear":false,"deliver":false,"depth":3,"drain":[],"drops":2,"hold":false,"overflow":3,"redundant_resume":false,"resume":false,"retain":[]},"check":"transition 4","expected":{"clear":false,"deliver":false,"depth":3,"drain":[],"drops":2,"hold":false,"overflow":3,"redundant_resume":false,"resume":false,"retain":[]},"passed":true},{"actual":{"clear":true,"deliver":false,"depth":0,"drain":[],"drops":2,"hold":false,"overflow":0,"redundant_resume":true,"resume":false,"retain":[]},"check":"transition 5","expected":{"clear":true,"deliver":false,"depth":0,"drain":[],"drops":2,"hold":false,"overflow":0,"redundant_resume":true,"resume":false,"retain":[]},"passed":true},{"actual":{"clear":false,"deliver":false,"depth":0,"drain":[],"drops":0,"hold":false,"overflow":0,"redundant_resume":false,"resume":false,"retain":[]},"check":"transition 6","expected":{"clear":false,"deliver":false,"depth":0,"drain":[],"drops":0,"hold":false,"overflow":0,"redundant_resume":false,"resume":false,"retain":[]},"passed":true},{"actual":{"clear":true,"deliver":false,"depth":3,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":false,"resume":false,"retain":[]},"check":"transition 7","expected":{"clear":true,"deliver":false,"depth":3,"drain":[],"drops":2,"hold":false,"overflow":1,"redundant_resume":false,"resume":false,"retain":[]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"depth\": 1, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": false}, \"expected\": {\"depth\": 1, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": false}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"depth\": 2, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 1, \"retain\": [\"c\"], \"deliver\": false, \"clear\": false, \"overflow\": 3, \"redundant_resume\": false}, \"expected\": {\"depth\": 2, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 1, \"retain\": [\"c\"], \"deliver\": false, \"clear\": false, \"overflow\": 3, \"redundant_resume\": false}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": true}, \"expected\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": true}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"depth\": 0, \"hold\": false, \"resume\": true, \"drain\": [\"a\", \"b\", \"c\"], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 3, \"redundant_resume\": false}, \"expected\": {\"depth\": 0, \"hold\": false, \"resume\": true, \"drain\": [\"a\", \"b\", \"c\"], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 3, \"redundant_resume\": false}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"depth\": 3, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": false, \"overflow\": 3, \"redundant_resume\": false}, \"expected\": {\"depth\": 3, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": false, \"overflow\": 3, \"redundant_resume\": false}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 0, \"redundant_resume\": true}, \"expected\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 0, \"redundant_resume\": true}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 0, \"retain\": [], \"deliver\": false, \"clear\": false, \"overflow\": 0, \"redundant_resume\": false}, \"expected\": {\"depth\": 0, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 0, \"retain\": [], \"deliver\": false, \"clear\": false, \"overflow\": 0, \"redundant_resume\": false}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"depth\": 3, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": false}, \"expected\": {\"depth\": 3, \"hold\": false, \"resume\": false, \"drain\": [], \"drops\": 2, \"retain\": [], \"deliver\": false, \"clear\": true, \"overflow\": 1, \"redundant_resume\": false}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}