{"abstract":"Scope shutdown retains deferred observer work; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Plan closing an observer ownership scope. Owned children close in reverse acquisition order, borrowed children remain alive. Every cleanup executes even if prior cleanup failed; aggregate the errors. Closed scopes reject adoption, preserve their terminal marker and release their parent link exactly once. Ownership edges are [parent,child]; detaching a scope removes edges targeting that scope, not siblings from the same parent. Scope lifecycle is monotonic open < closing < closed; delayed requests cannot regress it and closing is not already closed. 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: order = list(reversed([x for x in s['children'] if x not in s['borrowed']])); borrowed = [x for x in s['children'] if x in s['borrowed']]; errors = list(s['errors']); adoption = s['adopt'] and not s['closed'] and not s['closing']; parent_release = [r for r in s['ownership_edges'] if r[1]!=s['scope_id']]; closed = max((s['phase'],s['requested_phase']),key=['open','closing','closed'].index); pending = 0 if s['closing'] or s['closed'] else s['pending']; remaining = len([x for x in s['children'] if x not in s['borrowed']]); continue = len(s['children']); parent_refs = max(0,s['refs']-int(s['parent'] and not s['already_released']))","evaluation_group":"s3-listener-scope-exit","failed_approach":"The partial repair uses 0 if s['closed'] else s['pending']; a retained regression distinguishes it from the full transition.","family":"s3-listener-scope-exit-pending","id":"FA-41421","implementations":{"attempt":{"sha256":"1513cf91c00105816e6ddbc4caf9d89ec5f9609f0f53ae711ce2bedf502b159c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'order': list(reversed([x for x in s['children'] if x not in s['borrowed']])),\n        'borrowed': [x for x in s['children'] if x in s['borrowed']],\n        'errors': list(s['errors']),\n        'adoption': s['adopt'] and not s['closed'] and not s['closing'],\n        'parent_release': [r for r in s['ownership_edges'] if r[1]!=s['scope_id']],\n        'closed': max((s['phase'],s['requested_phase']),key=['open','closing','closed'].index),\n        'pending': 0 if s['closed'] else s['pending'],\n        'remaining': len([x for x in s['children'] if x not in s['borrowed']]),\n        'continue': len(s['children']),\n        'parent_refs': max(0,s['refs']-int(s['parent'] and not s['already_released'])),\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 3, 'refs': 2, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 2}), ({'children': ['a'], 'borrowed': ['b'], 'errors': ['first'], 'closed': True, 'closing': False, 'parent': True, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'closing'}, {'order': ['a'], 'borrowed': [], 'errors': ['first'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 2, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 2}), ({'children': ['a'], 'borrowed': [], 'errors': ['first', 'second'], 'closed': True, 'closing': False, 'parent': True, 'adopt': True, 'pending': 3, 'refs': 2, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'closing', 'requested_phase': 'closing'}, {'order': ['a'], 'borrowed': [], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 1}), ({'children': [], 'borrowed': ['a'], 'errors': ['first'], 'closed': False, 'closing': False, 'parent': False, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': [], 'borrowed': [], 'errors': ['first'], 'adoption': True, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': [], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'closing'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': [], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 0}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 3, 'refs': 2, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 2})], 2: [({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 6, 'refs': 4, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 4}), ({'children': [], 'borrowed': ['a'], 'errors': [], 'closed': True, 'closing': False, 'parent': True, 'adopt': True, 'pending': 6, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'q', 'phase': 'open', 'requested_phase': 'closing'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'closing', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a'], 'borrowed': [], 'errors': ['first'], 'closed': False, 'closing': False, 'parent': True, 'adopt': False, 'pending': 6, 'refs': 4, 'already_released': True, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'closed'}, {'order': ['a'], 'borrowed': [], 'errors': ['first'], 'adoption': False, 'parent_release': [], 'closed': 'closed', 'pending': 6, 'remaining': 1, 'continue': 1, 'parent_refs': 4}), ({'children': ['a'], 'borrowed': [], 'errors': ['first'], 'closed': False, 'closing': True, 'parent': False, 'adopt': False, 'pending': 6, 'refs': 4, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closing', 'requested_phase': 'open'}, {'order': ['a'], 'borrowed': [], 'errors': ['first'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 4}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': [], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 6, 'refs': 0, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': [], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': [], 'errors': [], 'closed': True, 'closing': True, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 4, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closing', 'requested_phase': 'closing'}, {'order': ['c', 'b', 'a'], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 3, 'continue': 3, 'parent_refs': 4}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 6, 'refs': 4, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 4})], 3: [({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 9, 'refs': 6, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 6}), ({'children': ['a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': False, 'parent': True, 'adopt': True, 'pending': 9, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': ['a'], 'borrowed': [], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': [], 'closed': False, 'closing': True, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'open', 'requested_phase': 'closing'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'closing', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': [], 'closed': True, 'closing': False, 'parent': True, 'adopt': False, 'pending': 0, 'refs': 6, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': [], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 5}), ({'children': ['a'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': True, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 1, 'parent_refs': 0}), ({'children': [], 'borrowed': ['b'], 'errors': [], 'closed': False, 'closing': True, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 6, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 6}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 9, 'refs': 6, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 6})], 4: [({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': True, 'adopt': False, 'pending': 12, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closing', 'requested_phase': 'closing'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 0}), ({'children': ['a'], 'borrowed': ['b'], 'errors': ['first'], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 12, 'refs': 8, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': ['a'], 'borrowed': [], 'errors': ['first'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 8}), ({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first'], 'closed': True, 'closing': False, 'parent': False, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': True, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'q', 'phase': 'closing', 'requested_phase': 'closing'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first'], 'adoption': False, 'parent_release': [], 'closed': 'closing', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 0}), ({'children': [], 'borrowed': ['a'], 'errors': ['first'], 'closed': True, 'closing': True, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closing', 'requested_phase': 'closing'}, {'order': [], 'borrowed': [], 'errors': ['first'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': [], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 8, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 8}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': True, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'q', 'phase': 'closing', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': True, 'parent_release': [], 'closed': 'closing', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 12, 'refs': 8, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 8})], 5: [({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': True, 'adopt': True, 'pending': 15, 'refs': 10, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'q', 'phase': 'open', 'requested_phase': 'closing'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 9}), ({'children': [], 'borrowed': ['b'], 'errors': [], 'closed': True, 'closing': False, 'parent': False, 'adopt': True, 'pending': 15, 'refs': 10, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closing', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 10}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 15, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a'], 'borrowed': ['a'], 'errors': [], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 0, 'refs': 10, 'already_released': True, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': [], 'borrowed': ['a'], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 1, 'parent_refs': 10}), ({'children': ['a'], 'borrowed': [], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': True, 'adopt': False, 'pending': 15, 'refs': 10, 'already_released': False, 'ownership_edges': [], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'open'}, {'order': ['a'], 'borrowed': [], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [], 'closed': 'closed', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 9}), ({'children': [], 'borrowed': [], 'errors': ['first', 'second'], 'closed': True, 'closing': False, 'parent': False, 'adopt': False, 'pending': 15, 'refs': 10, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': [], 'borrowed': [], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 10}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 15, 'refs': 10, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 10})]}\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":"8b2a066877ccab34e2723510e7b5c10969b96ac45ee747634a0cf292012d5ea7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'order': list(reversed([x for x in s['children'] if x not in s['borrowed']])),\n        'borrowed': [x for x in s['children'] if x in s['borrowed']],\n        'errors': list(s['errors']),\n        'adoption': s['adopt'] and not s['closed'] and not s['closing'],\n        'parent_release': [r for r in s['ownership_edges'] if r[1]!=s['scope_id']],\n        'closed': max((s['phase'],s['requested_phase']),key=['open','closing','closed'].index),\n        'pending': s['pending'],\n        'remaining': len([x for x in s['children'] if x not in s['borrowed']]),\n        'continue': len(s['children']),\n        'parent_refs': max(0,s['refs']-int(s['parent'] and not s['already_released'])),\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 3, 'refs': 2, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 2}), ({'children': ['a'], 'borrowed': ['b'], 'errors': ['first'], 'closed': True, 'closing': False, 'parent': True, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'closing'}, {'order': ['a'], 'borrowed': [], 'errors': ['first'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 2, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 2}), ({'children': ['a'], 'borrowed': [], 'errors': ['first', 'second'], 'closed': True, 'closing': False, 'parent': True, 'adopt': True, 'pending': 3, 'refs': 2, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'closing', 'requested_phase': 'closing'}, {'order': ['a'], 'borrowed': [], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 1}), ({'children': [], 'borrowed': ['a'], 'errors': ['first'], 'closed': False, 'closing': False, 'parent': False, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': [], 'borrowed': [], 'errors': ['first'], 'adoption': True, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': [], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'closing'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': [], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 0}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 3, 'refs': 2, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 2})], 2: [({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 6, 'refs': 4, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 4}), ({'children': [], 'borrowed': ['a'], 'errors': [], 'closed': True, 'closing': False, 'parent': True, 'adopt': True, 'pending': 6, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'q', 'phase': 'open', 'requested_phase': 'closing'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'closing', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a'], 'borrowed': [], 'errors': ['first'], 'closed': False, 'closing': False, 'parent': True, 'adopt': False, 'pending': 6, 'refs': 4, 'already_released': True, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'closed'}, {'order': ['a'], 'borrowed': [], 'errors': ['first'], 'adoption': False, 'parent_release': [], 'closed': 'closed', 'pending': 6, 'remaining': 1, 'continue': 1, 'parent_refs': 4}), ({'children': ['a'], 'borrowed': [], 'errors': ['first'], 'closed': False, 'closing': True, 'parent': False, 'adopt': False, 'pending': 6, 'refs': 4, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closing', 'requested_phase': 'open'}, {'order': ['a'], 'borrowed': [], 'errors': ['first'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 4}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': [], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 6, 'refs': 0, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': [], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': [], 'errors': [], 'closed': True, 'closing': True, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 4, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closing', 'requested_phase': 'closing'}, {'order': ['c', 'b', 'a'], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 3, 'continue': 3, 'parent_refs': 4}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 6, 'refs': 4, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 4})], 3: [({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 9, 'refs': 6, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 6}), ({'children': ['a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': False, 'parent': True, 'adopt': True, 'pending': 9, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': ['a'], 'borrowed': [], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': [], 'closed': False, 'closing': True, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'open', 'requested_phase': 'closing'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'closing', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': [], 'closed': True, 'closing': False, 'parent': True, 'adopt': False, 'pending': 0, 'refs': 6, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': [], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 5}), ({'children': ['a'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': True, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 1, 'parent_refs': 0}), ({'children': [], 'borrowed': ['b'], 'errors': [], 'closed': False, 'closing': True, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 6, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 6}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 9, 'refs': 6, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 6})], 4: [({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': True, 'adopt': False, 'pending': 12, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closing', 'requested_phase': 'closing'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 0}), ({'children': ['a'], 'borrowed': ['b'], 'errors': ['first'], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 12, 'refs': 8, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': ['a'], 'borrowed': [], 'errors': ['first'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 8}), ({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first'], 'closed': True, 'closing': False, 'parent': False, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': True, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'q', 'phase': 'closing', 'requested_phase': 'closing'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first'], 'adoption': False, 'parent_release': [], 'closed': 'closing', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 0}), ({'children': [], 'borrowed': ['a'], 'errors': ['first'], 'closed': True, 'closing': True, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closing', 'requested_phase': 'closing'}, {'order': [], 'borrowed': [], 'errors': ['first'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': [], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 8, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 8}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': True, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'q', 'phase': 'closing', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': True, 'parent_release': [], 'closed': 'closing', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 12, 'refs': 8, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 8})], 5: [({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': True, 'adopt': True, 'pending': 15, 'refs': 10, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'q', 'phase': 'open', 'requested_phase': 'closing'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 9}), ({'children': [], 'borrowed': ['b'], 'errors': [], 'closed': True, 'closing': False, 'parent': False, 'adopt': True, 'pending': 15, 'refs': 10, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closing', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 10}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 15, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a'], 'borrowed': ['a'], 'errors': [], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 0, 'refs': 10, 'already_released': True, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': [], 'borrowed': ['a'], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 1, 'parent_refs': 10}), ({'children': ['a'], 'borrowed': [], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': True, 'adopt': False, 'pending': 15, 'refs': 10, 'already_released': False, 'ownership_edges': [], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'open'}, {'order': ['a'], 'borrowed': [], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [], 'closed': 'closed', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 9}), ({'children': [], 'borrowed': [], 'errors': ['first', 'second'], 'closed': True, 'closing': False, 'parent': False, 'adopt': False, 'pending': 15, 'refs': 10, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': [], 'borrowed': [], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 10}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 15, 'refs': 10, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 10})]}\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":"31b4db81ddde23c0fa8b96687b305f6582bea9f457226a27d782d30956d8a7bb","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'order': list(reversed([x for x in s['children'] if x not in s['borrowed']])),\n        'borrowed': [x for x in s['children'] if x in s['borrowed']],\n        'errors': list(s['errors']),\n        'adoption': s['adopt'] and not s['closed'] and not s['closing'],\n        'parent_release': [r for r in s['ownership_edges'] if r[1]!=s['scope_id']],\n        'closed': max((s['phase'],s['requested_phase']),key=['open','closing','closed'].index),\n        'pending': 0 if s['closing'] or s['closed'] else s['pending'],\n        'remaining': len([x for x in s['children'] if x not in s['borrowed']]),\n        'continue': len(s['children']),\n        'parent_refs': max(0,s['refs']-int(s['parent'] and not s['already_released'])),\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 3, 'refs': 2, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 2}), ({'children': ['a'], 'borrowed': ['b'], 'errors': ['first'], 'closed': True, 'closing': False, 'parent': True, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'closing'}, {'order': ['a'], 'borrowed': [], 'errors': ['first'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 2, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 2}), ({'children': ['a'], 'borrowed': [], 'errors': ['first', 'second'], 'closed': True, 'closing': False, 'parent': True, 'adopt': True, 'pending': 3, 'refs': 2, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'closing', 'requested_phase': 'closing'}, {'order': ['a'], 'borrowed': [], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 1}), ({'children': [], 'borrowed': ['a'], 'errors': ['first'], 'closed': False, 'closing': False, 'parent': False, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': [], 'borrowed': [], 'errors': ['first'], 'adoption': True, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': [], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'closing'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': [], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 0}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 3, 'refs': 2, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 2})], 2: [({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 6, 'refs': 4, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 4}), ({'children': [], 'borrowed': ['a'], 'errors': [], 'closed': True, 'closing': False, 'parent': True, 'adopt': True, 'pending': 6, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'q', 'phase': 'open', 'requested_phase': 'closing'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'closing', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a'], 'borrowed': [], 'errors': ['first'], 'closed': False, 'closing': False, 'parent': True, 'adopt': False, 'pending': 6, 'refs': 4, 'already_released': True, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'closed'}, {'order': ['a'], 'borrowed': [], 'errors': ['first'], 'adoption': False, 'parent_release': [], 'closed': 'closed', 'pending': 6, 'remaining': 1, 'continue': 1, 'parent_refs': 4}), ({'children': ['a'], 'borrowed': [], 'errors': ['first'], 'closed': False, 'closing': True, 'parent': False, 'adopt': False, 'pending': 6, 'refs': 4, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closing', 'requested_phase': 'open'}, {'order': ['a'], 'borrowed': [], 'errors': ['first'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 4}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': [], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 6, 'refs': 0, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': [], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': [], 'errors': [], 'closed': True, 'closing': True, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 4, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closing', 'requested_phase': 'closing'}, {'order': ['c', 'b', 'a'], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 3, 'continue': 3, 'parent_refs': 4}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 6, 'refs': 4, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 4})], 3: [({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 9, 'refs': 6, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 6}), ({'children': ['a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': False, 'parent': True, 'adopt': True, 'pending': 9, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': ['a'], 'borrowed': [], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': [], 'closed': False, 'closing': True, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'open', 'requested_phase': 'closing'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'closing', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': [], 'closed': True, 'closing': False, 'parent': True, 'adopt': False, 'pending': 0, 'refs': 6, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': [], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 5}), ({'children': ['a'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': True, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 1, 'parent_refs': 0}), ({'children': [], 'borrowed': ['b'], 'errors': [], 'closed': False, 'closing': True, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 6, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 6}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 9, 'refs': 6, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 6})], 4: [({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': True, 'adopt': False, 'pending': 12, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closing', 'requested_phase': 'closing'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 0}), ({'children': ['a'], 'borrowed': ['b'], 'errors': ['first'], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 12, 'refs': 8, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': ['a'], 'borrowed': [], 'errors': ['first'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 8}), ({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first'], 'closed': True, 'closing': False, 'parent': False, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': True, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'q', 'phase': 'closing', 'requested_phase': 'closing'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first'], 'adoption': False, 'parent_release': [], 'closed': 'closing', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 0}), ({'children': [], 'borrowed': ['a'], 'errors': ['first'], 'closed': True, 'closing': True, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closing', 'requested_phase': 'closing'}, {'order': [], 'borrowed': [], 'errors': ['first'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': [], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 8, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 8}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': True, 'pending': 0, 'refs': 0, 'already_released': True, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'q', 'phase': 'closing', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': True, 'parent_release': [], 'closed': 'closing', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 12, 'refs': 8, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 8})], 5: [({'children': ['a', 'b', 'c'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': True, 'adopt': True, 'pending': 15, 'refs': 10, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'self', 'parent_id': 'q', 'phase': 'open', 'requested_phase': 'closing'}, {'order': ['c', 'b'], 'borrowed': ['a'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 9}), ({'children': [], 'borrowed': ['b'], 'errors': [], 'closed': True, 'closing': False, 'parent': False, 'adopt': True, 'pending': 15, 'refs': 10, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closing', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closing', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 10}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 15, 'refs': 0, 'already_released': False, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a'], 'borrowed': ['a'], 'errors': [], 'closed': False, 'closing': True, 'parent': False, 'adopt': True, 'pending': 0, 'refs': 10, 'already_released': True, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closing'}, {'order': [], 'borrowed': ['a'], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 1, 'parent_refs': 10}), ({'children': ['a'], 'borrowed': [], 'errors': ['first', 'second'], 'closed': False, 'closing': True, 'parent': True, 'adopt': False, 'pending': 15, 'refs': 10, 'already_released': False, 'ownership_edges': [], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'open'}, {'order': ['a'], 'borrowed': [], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [], 'closed': 'closed', 'pending': 0, 'remaining': 1, 'continue': 1, 'parent_refs': 9}), ({'children': [], 'borrowed': [], 'errors': ['first', 'second'], 'closed': True, 'closing': False, 'parent': False, 'adopt': False, 'pending': 15, 'refs': 10, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'p', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': [], 'borrowed': [], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 10}), ({'children': [], 'borrowed': [], 'errors': [], 'closed': False, 'closing': False, 'parent': False, 'adopt': False, 'pending': 0, 'refs': 0, 'already_released': False, 'ownership_edges': [], 'scope_id': 'self', 'parent_id': 'p', 'phase': 'open', 'requested_phase': 'open'}, {'order': [], 'borrowed': [], 'errors': [], 'adoption': False, 'parent_release': [], 'closed': 'open', 'pending': 0, 'remaining': 0, 'continue': 0, 'parent_refs': 0}), ({'children': ['a', 'b', 'c'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'closed': True, 'closing': True, 'parent': True, 'adopt': True, 'pending': 15, 'refs': 10, 'already_released': True, 'ownership_edges': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'scope_id': 'missing', 'parent_id': 'q', 'phase': 'closed', 'requested_phase': 'closed'}, {'order': ['c', 'a'], 'borrowed': ['b'], 'errors': ['first', 'second'], 'adoption': False, 'parent_release': [['p', 'self'], ['p', 'sibling'], ['q', 'other']], 'closed': 'closed', 'pending': 0, 'remaining': 2, 'continue': 3, 'parent_refs': 10})]}\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-scope-exit-pending","generated_at":"2026-09-29T14:43:40.867336+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 pending decision from the complete contract: 0 if s['closing'] or s['closed'] else s['pending'].","root_cause":"The pending decision in the scope-exit listener model is computed as s['pending'], losing a required lifecycle condition.","sha256":"2faf9a2ecbac3ef97e542af2f3aedbed6709167493c3ae94e7d5b5728a89459a","title":"Scope shutdown retains deferred observer work · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":49.84,"exit_code":1,"observations":[{"actual":{"adoption":false,"borrowed":["a"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","b"],"parent_refs":2,"parent_release":[["p","sibling"],["q","other"]],"pending":3,"remaining":2},"check":"transition 0","expected":{"adoption":false,"borrowed":["a"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","b"],"parent_refs":2,"parent_release":[["p","sibling"],["q","other"]],"pending":0,"remaining":2},"passed":false},{"actual":{"adoption":false,"borrowed":[],"closed":"closing","continue":1,"errors":["first"],"order":["a"],"parent_refs":0,"parent_release":[["p","sibling"],["q","other"]],"pending":0,"remaining":1},"check":"transition 1","expected":{"adoption":false,"borrowed":[],"closed":"closing","continue":1,"errors":["first"],"order":["a"],"parent_refs":0,"parent_release":[["p","sibling"],["q","other"]],"pending":0,"remaining":1},"passed":true},{"actual":{"adoption":false,"borrowed":["a"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","b"],"parent_refs":2,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":2},"check":"transition 2","expected":{"adoption":false,"borrowed":["a"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","b"],"parent_refs":2,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":2},"passed":true},{"actual":{"adoption":false,"borrowed":[],"closed":"closing","continue":1,"errors":["first","second"],"order":["a"],"parent_refs":1,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":1},"check":"transition 3","expected":{"adoption":false,"borrowed":[],"closed":"closing","continue":1,"errors":["first","second"],"order":["a"],"parent_refs":1,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":1},"passed":true},{"actual":{"adoption":true,"borrowed":[],"closed":"closed","continue":0,"errors":["first"],"order":[],"parent_refs":0,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":0},"check":"transition 4","expected":{"adoption":true,"borrowed":[],"closed":"closed","continue":0,"errors":["first"],"order":[],"parent_refs":0,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":0},"passed":true},{"actual":{"adoption":false,"borrowed":["b"],"closed":"closing","continue":3,"errors":[],"order":["c","a"],"parent_refs":0,"parent_release":[["p","sibling"],["q","other"]],"pending":0,"remaining":2},"check":"transition 5","expected":{"adoption":false,"borrowed":["b"],"closed":"closing","continue":3,"errors":[],"order":["c","a"],"parent_refs":0,"parent_release":[["p","sibling"],["q","other"]],"pending":0,"remaining":2},"passed":true},{"actual":{"adoption":false,"borrowed":[],"closed":"open","continue":0,"errors":[],"order":[],"parent_refs":0,"parent_release":[],"pending":0,"remaining":0},"check":"transition 6","expected":{"adoption":false,"borrowed":[],"closed":"open","continue":0,"errors":[],"order":[],"parent_refs":0,"parent_release":[],"pending":0,"remaining":0},"passed":true},{"actual":{"adoption":false,"borrowed":["b"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","a"],"parent_refs":2,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":2},"check":"transition 7","expected":{"adoption":false,"borrowed":["b"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","a"],"parent_refs":2,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":2},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"order\": [\"c\", \"b\"], \"borrowed\": [\"a\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 3, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"expected\": {\"order\": [\"c\", \"b\"], \"borrowed\": [\"a\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"order\": [\"a\"], \"borrowed\": [], \"errors\": [\"first\"], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 1, \"continue\": 1, \"parent_refs\": 0}, \"expected\": {\"order\": [\"a\"], \"borrowed\": [], \"errors\": [\"first\"], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 1, \"continue\": 1, \"parent_refs\": 0}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"order\": [\"c\", \"b\"], \"borrowed\": [\"a\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"expected\": {\"order\": [\"c\", \"b\"], \"borrowed\": [\"a\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"order\": [\"a\"], \"borrowed\": [], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 1, \"continue\": 1, \"parent_refs\": 1}, \"expected\": {\"order\": [\"a\"], \"borrowed\": [], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 1, \"continue\": 1, \"parent_refs\": 1}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"order\": [], \"borrowed\": [], \"errors\": [\"first\"], \"adoption\": true, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 0, \"continue\": 0, \"parent_refs\": 0}, \"expected\": {\"order\": [], \"borrowed\": [], \"errors\": [\"first\"], \"adoption\": true, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 0, \"continue\": 0, \"parent_refs\": 0}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"order\": [\"c\", \"a\"], \"borrowed\": [\"b\"], \"errors\": [], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 0}, \"expected\": {\"order\": [\"c\", \"a\"], \"borrowed\": [\"b\"], \"errors\": [], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 0}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"order\": [], \"borrowed\": [], \"errors\": [], \"adoption\": false, \"parent_release\": [], \"closed\": \"open\", \"pending\": 0, \"remaining\": 0, \"continue\": 0, \"parent_refs\": 0}, \"expected\": {\"order\": [], \"borrowed\": [], \"errors\": [], \"adoption\": false, \"parent_release\": [], \"closed\": \"open\", \"pending\": 0, \"remaining\": 0, \"continue\": 0, \"parent_refs\": 0}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"order\": [\"c\", \"a\"], \"borrowed\": [\"b\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"expected\": {\"order\": [\"c\", \"a\"], \"borrowed\": [\"b\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":49.186,"exit_code":1,"observations":[{"actual":{"adoption":false,"borrowed":["a"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","b"],"parent_refs":2,"parent_release":[["p","sibling"],["q","other"]],"pending":3,"remaining":2},"check":"transition 0","expected":{"adoption":false,"borrowed":["a"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","b"],"parent_refs":2,"parent_release":[["p","sibling"],["q","other"]],"pending":0,"remaining":2},"passed":false},{"actual":{"adoption":false,"borrowed":[],"closed":"closing","continue":1,"errors":["first"],"order":["a"],"parent_refs":0,"parent_release":[["p","sibling"],["q","other"]],"pending":0,"remaining":1},"check":"transition 1","expected":{"adoption":false,"borrowed":[],"closed":"closing","continue":1,"errors":["first"],"order":["a"],"parent_refs":0,"parent_release":[["p","sibling"],["q","other"]],"pending":0,"remaining":1},"passed":true},{"actual":{"adoption":false,"borrowed":["a"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","b"],"parent_refs":2,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":2},"check":"transition 2","expected":{"adoption":false,"borrowed":["a"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","b"],"parent_refs":2,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":2},"passed":true},{"actual":{"adoption":false,"borrowed":[],"closed":"closing","continue":1,"errors":["first","second"],"order":["a"],"parent_refs":1,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":3,"remaining":1},"check":"transition 3","expected":{"adoption":false,"borrowed":[],"closed":"closing","continue":1,"errors":["first","second"],"order":["a"],"parent_refs":1,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":1},"passed":false},{"actual":{"adoption":true,"borrowed":[],"closed":"closed","continue":0,"errors":["first"],"order":[],"parent_refs":0,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":0},"check":"transition 4","expected":{"adoption":true,"borrowed":[],"closed":"closed","continue":0,"errors":["first"],"order":[],"parent_refs":0,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":0},"passed":true},{"actual":{"adoption":false,"borrowed":["b"],"closed":"closing","continue":3,"errors":[],"order":["c","a"],"parent_refs":0,"parent_release":[["p","sibling"],["q","other"]],"pending":0,"remaining":2},"check":"transition 5","expected":{"adoption":false,"borrowed":["b"],"closed":"closing","continue":3,"errors":[],"order":["c","a"],"parent_refs":0,"parent_release":[["p","sibling"],["q","other"]],"pending":0,"remaining":2},"passed":true},{"actual":{"adoption":false,"borrowed":[],"closed":"open","continue":0,"errors":[],"order":[],"parent_refs":0,"parent_release":[],"pending":0,"remaining":0},"check":"transition 6","expected":{"adoption":false,"borrowed":[],"closed":"open","continue":0,"errors":[],"order":[],"parent_refs":0,"parent_release":[],"pending":0,"remaining":0},"passed":true},{"actual":{"adoption":false,"borrowed":["b"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","a"],"parent_refs":2,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":3,"remaining":2},"check":"transition 7","expected":{"adoption":false,"borrowed":["b"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","a"],"parent_refs":2,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":2},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"order\": [\"c\", \"b\"], \"borrowed\": [\"a\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 3, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"expected\": {\"order\": [\"c\", \"b\"], \"borrowed\": [\"a\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"order\": [\"a\"], \"borrowed\": [], \"errors\": [\"first\"], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 1, \"continue\": 1, \"parent_refs\": 0}, \"expected\": {\"order\": [\"a\"], \"borrowed\": [], \"errors\": [\"first\"], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 1, \"continue\": 1, \"parent_refs\": 0}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"order\": [\"c\", \"b\"], \"borrowed\": [\"a\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"expected\": {\"order\": [\"c\", \"b\"], \"borrowed\": [\"a\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"order\": [\"a\"], \"borrowed\": [], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 3, \"remaining\": 1, \"continue\": 1, \"parent_refs\": 1}, \"expected\": {\"order\": [\"a\"], \"borrowed\": [], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 1, \"continue\": 1, \"parent_refs\": 1}, \"passed\": false}, {\"check\": \"transition 4\", \"actual\": {\"order\": [], \"borrowed\": [], \"errors\": [\"first\"], \"adoption\": true, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 0, \"continue\": 0, \"parent_refs\": 0}, \"expected\": {\"order\": [], \"borrowed\": [], \"errors\": [\"first\"], \"adoption\": true, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 0, \"continue\": 0, \"parent_refs\": 0}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"order\": [\"c\", \"a\"], \"borrowed\": [\"b\"], \"errors\": [], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 0}, \"expected\": {\"order\": [\"c\", \"a\"], \"borrowed\": [\"b\"], \"errors\": [], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 0}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"order\": [], \"borrowed\": [], \"errors\": [], \"adoption\": false, \"parent_release\": [], \"closed\": \"open\", \"pending\": 0, \"remaining\": 0, \"continue\": 0, \"parent_refs\": 0}, \"expected\": {\"order\": [], \"borrowed\": [], \"errors\": [], \"adoption\": false, \"parent_release\": [], \"closed\": \"open\", \"pending\": 0, \"remaining\": 0, \"continue\": 0, \"parent_refs\": 0}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"order\": [\"c\", \"a\"], \"borrowed\": [\"b\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 3, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"expected\": {\"order\": [\"c\", \"a\"], \"borrowed\": [\"b\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":49.904,"exit_code":0,"observations":[{"actual":{"adoption":false,"borrowed":["a"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","b"],"parent_refs":2,"parent_release":[["p","sibling"],["q","other"]],"pending":0,"remaining":2},"check":"transition 0","expected":{"adoption":false,"borrowed":["a"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","b"],"parent_refs":2,"parent_release":[["p","sibling"],["q","other"]],"pending":0,"remaining":2},"passed":true},{"actual":{"adoption":false,"borrowed":[],"closed":"closing","continue":1,"errors":["first"],"order":["a"],"parent_refs":0,"parent_release":[["p","sibling"],["q","other"]],"pending":0,"remaining":1},"check":"transition 1","expected":{"adoption":false,"borrowed":[],"closed":"closing","continue":1,"errors":["first"],"order":["a"],"parent_refs":0,"parent_release":[["p","sibling"],["q","other"]],"pending":0,"remaining":1},"passed":true},{"actual":{"adoption":false,"borrowed":["a"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","b"],"parent_refs":2,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":2},"check":"transition 2","expected":{"adoption":false,"borrowed":["a"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","b"],"parent_refs":2,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":2},"passed":true},{"actual":{"adoption":false,"borrowed":[],"closed":"closing","continue":1,"errors":["first","second"],"order":["a"],"parent_refs":1,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":1},"check":"transition 3","expected":{"adoption":false,"borrowed":[],"closed":"closing","continue":1,"errors":["first","second"],"order":["a"],"parent_refs":1,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":1},"passed":true},{"actual":{"adoption":true,"borrowed":[],"closed":"closed","continue":0,"errors":["first"],"order":[],"parent_refs":0,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":0},"check":"transition 4","expected":{"adoption":true,"borrowed":[],"closed":"closed","continue":0,"errors":["first"],"order":[],"parent_refs":0,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":0},"passed":true},{"actual":{"adoption":false,"borrowed":["b"],"closed":"closing","continue":3,"errors":[],"order":["c","a"],"parent_refs":0,"parent_release":[["p","sibling"],["q","other"]],"pending":0,"remaining":2},"check":"transition 5","expected":{"adoption":false,"borrowed":["b"],"closed":"closing","continue":3,"errors":[],"order":["c","a"],"parent_refs":0,"parent_release":[["p","sibling"],["q","other"]],"pending":0,"remaining":2},"passed":true},{"actual":{"adoption":false,"borrowed":[],"closed":"open","continue":0,"errors":[],"order":[],"parent_refs":0,"parent_release":[],"pending":0,"remaining":0},"check":"transition 6","expected":{"adoption":false,"borrowed":[],"closed":"open","continue":0,"errors":[],"order":[],"parent_refs":0,"parent_release":[],"pending":0,"remaining":0},"passed":true},{"actual":{"adoption":false,"borrowed":["b"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","a"],"parent_refs":2,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":2},"check":"transition 7","expected":{"adoption":false,"borrowed":["b"],"closed":"closed","continue":3,"errors":["first","second"],"order":["c","a"],"parent_refs":2,"parent_release":[["p","self"],["p","sibling"],["q","other"]],"pending":0,"remaining":2},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"order\": [\"c\", \"b\"], \"borrowed\": [\"a\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"expected\": {\"order\": [\"c\", \"b\"], \"borrowed\": [\"a\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"order\": [\"a\"], \"borrowed\": [], \"errors\": [\"first\"], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 1, \"continue\": 1, \"parent_refs\": 0}, \"expected\": {\"order\": [\"a\"], \"borrowed\": [], \"errors\": [\"first\"], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 1, \"continue\": 1, \"parent_refs\": 0}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"order\": [\"c\", \"b\"], \"borrowed\": [\"a\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"expected\": {\"order\": [\"c\", \"b\"], \"borrowed\": [\"a\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"order\": [\"a\"], \"borrowed\": [], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 1, \"continue\": 1, \"parent_refs\": 1}, \"expected\": {\"order\": [\"a\"], \"borrowed\": [], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 1, \"continue\": 1, \"parent_refs\": 1}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"order\": [], \"borrowed\": [], \"errors\": [\"first\"], \"adoption\": true, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 0, \"continue\": 0, \"parent_refs\": 0}, \"expected\": {\"order\": [], \"borrowed\": [], \"errors\": [\"first\"], \"adoption\": true, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 0, \"continue\": 0, \"parent_refs\": 0}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"order\": [\"c\", \"a\"], \"borrowed\": [\"b\"], \"errors\": [], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 0}, \"expected\": {\"order\": [\"c\", \"a\"], \"borrowed\": [\"b\"], \"errors\": [], \"adoption\": false, \"parent_release\": [[\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closing\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 0}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"order\": [], \"borrowed\": [], \"errors\": [], \"adoption\": false, \"parent_release\": [], \"closed\": \"open\", \"pending\": 0, \"remaining\": 0, \"continue\": 0, \"parent_refs\": 0}, \"expected\": {\"order\": [], \"borrowed\": [], \"errors\": [], \"adoption\": false, \"parent_release\": [], \"closed\": \"open\", \"pending\": 0, \"remaining\": 0, \"continue\": 0, \"parent_refs\": 0}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"order\": [\"c\", \"a\"], \"borrowed\": [\"b\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"expected\": {\"order\": [\"c\", \"a\"], \"borrowed\": [\"b\"], \"errors\": [\"first\", \"second\"], \"adoption\": false, \"parent_release\": [[\"p\", \"self\"], [\"p\", \"sibling\"], [\"q\", \"other\"]], \"closed\": \"closed\", \"pending\": 0, \"remaining\": 2, \"continue\": 3, \"parent_refs\": 2}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}