{"abstract":"Nested observer pause is stored as a boolean; 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['pauses']+int(s['pause'])-int(s['resume']); a retained regression distinguishes it from the full transition.","family":"s3-listener-pause-resume-depth","id":"FA-41841","implementations":{"attempt":{"sha256":"0cc9112cdc31fbd6f09ea136226f7f87e95562797a5e5c83a7db63c9a70fbfe2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'depth': 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"},"broken":{"sha256":"55e23a2edad30d4ff7912b8d0d1d2eaa609d007f1a6c67613c1e164dd5d52b12","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'depth': int(s['pause']),\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"},"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-depth","generated_at":"2026-09-29T14:43:45.442313+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 depth decision from the complete contract: max(0,s['pauses']+int(s['pause'])-int(s['resume'])).","root_cause":"The depth decision in the pause-resume listener model is computed as int(s['pause']), losing a required lifecycle condition.","sha256":"d6ffa6926706195ee55ca84f832653d096094a776f2b80ae445e0bc213db6eff","title":"Nested observer pause is stored as a boolean · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.268,"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":["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":-1,"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":false},{"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\": [\"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\": -1, \"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\": false}, {\"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":48.547,"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":0,"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":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":0,"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":false},{"actual":{"clear":true,"deliver":false,"depth":1,"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":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":1,"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":false}],"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\": 0, \"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\": 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\": 0, \"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\": false}, {\"check\": \"transition 5\", \"actual\": {\"depth\": 1, \"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\": 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\": 1, \"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\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":47.796,"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"}