{"abstract":"Tree event propagation is stopped without consuming command produces the wrong hierarchical widget state in a regression fixture.","category":"Tree accessibility","checks":9,"contract":"A nested tree handles row events only for its nearest owning tree. Composed event paths may contain row editors and embedded widgets. Editing-origin keys remain with the editor; handled child-tree events do not bubble into ancestor tree commands. Disabled rows suppress activation but still permit context inspection.","evaluation_group":"s3-tree-nested-tree-boundary","failed_approach":"The partial repair `stop=False` still violates a boundary or preservation case.","family":"s3-tree_accessibility-nested-tree-boundary-09","id":"FA-39331","implementations":{"attempt":{"sha256":"4c4e77a5e5e967ded813b29f700e04d0a79b9f41aacf364f36854955969dab76","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    nearest=next((x[1] for x in d['path'] if x[0]=='tree'),None)\n    owned=nearest==d['tree']\n    row=next((x[1] for x in d['path'] if x[0]=='row'),None)\n    editor=any(x[0]=='editor' for x in d['path'][:next((i for i,x in enumerate(d['path']) if x[0]=='row'),len(d['path']))])\n    already=d['handled']\n    command=owned and row in d['rows'] and not already and not editor\n    activate=command and d['event']=='activate' and row not in d['disabled']\n    inspect=command and d['event']=='inspect'\n    stop=False\n    focus=row if activate else d['focus']\n    return [owned,row,editor,activate,inspect,stop,focus]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('inner activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('outer listener', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'outer', 'rows': ['outerrow'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [False, 'b', False, False, False, False, 'a']), ('editor origin', {'path': [['editor', 'e'], ['row', 'b'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', True, False, False, False, 'a']), ('editor outside row', {'path': [['row', 'b'], ['editor', 'outer'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('handled child', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': True, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'activate', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled inspect', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'inspect', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, True, True, 'a']), ('unregistered row', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('other event', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'hover', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a'])], 2: [('inner activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('outer listener', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'outer', 'rows': ['outerrow'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [False, 'b', False, False, False, False, 'a']), ('editor origin', {'path': [['editor', 'e'], ['row', 'b'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', True, False, False, False, 'a']), ('editor outside row', {'path': [['row', 'b'], ['editor', 'outer'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('handled child', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': True, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'activate', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled inspect', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'inspect', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, True, True, 'a']), ('unregistered row', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('other event', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'hover', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a'])], 3: [('inner activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('outer listener', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'outer', 'rows': ['outerrow'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [False, 'b', False, False, False, False, 'a']), ('editor origin', {'path': [['editor', 'e'], ['row', 'b'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', True, False, False, False, 'a']), ('editor outside row', {'path': [['row', 'b'], ['editor', 'outer'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('handled child', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': True, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'activate', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled inspect', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'inspect', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, True, True, 'a']), ('unregistered row', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('other event', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'hover', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a'])], 4: [('inner activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('outer listener', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'outer', 'rows': ['outerrow'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [False, 'b', False, False, False, False, 'a']), ('editor origin', {'path': [['editor', 'e'], ['row', 'b'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', True, False, False, False, 'a']), ('editor outside row', {'path': [['row', 'b'], ['editor', 'outer'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('handled child', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': True, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'activate', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled inspect', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'inspect', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, True, True, 'a']), ('unregistered row', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('other event', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'hover', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a'])], 5: [('inner activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('outer listener', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'outer', 'rows': ['outerrow'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [False, 'b', False, False, False, False, 'a']), ('editor origin', {'path': [['editor', 'e'], ['row', 'b'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', True, False, False, False, 'a']), ('editor outside row', {'path': [['row', 'b'], ['editor', 'outer'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('handled child', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': True, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'activate', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled inspect', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'inspect', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, True, True, 'a']), ('unregistered row', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('other event', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'hover', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a'])]}\nfor label, data, expected in cases[N]:\n    check(label, solve(data), 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":"dad19755d24d9d4d833c6912c36c394f8ae48ca6e89626b541ae11509c314af4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    nearest=next((x[1] for x in d['path'] if x[0]=='tree'),None)\n    owned=nearest==d['tree']\n    row=next((x[1] for x in d['path'] if x[0]=='row'),None)\n    editor=any(x[0]=='editor' for x in d['path'][:next((i for i,x in enumerate(d['path']) if x[0]=='row'),len(d['path']))])\n    already=d['handled']\n    command=owned and row in d['rows'] and not already and not editor\n    activate=command and d['event']=='activate' and row not in d['disabled']\n    inspect=command and d['event']=='inspect'\n    stop=owned\n    focus=row if activate else d['focus']\n    return [owned,row,editor,activate,inspect,stop,focus]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('inner activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('outer listener', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'outer', 'rows': ['outerrow'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [False, 'b', False, False, False, False, 'a']), ('editor origin', {'path': [['editor', 'e'], ['row', 'b'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', True, False, False, False, 'a']), ('editor outside row', {'path': [['row', 'b'], ['editor', 'outer'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('handled child', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': True, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'activate', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled inspect', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'inspect', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, True, True, 'a']), ('unregistered row', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('other event', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'hover', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a'])], 2: [('inner activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('outer listener', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'outer', 'rows': ['outerrow'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [False, 'b', False, False, False, False, 'a']), ('editor origin', {'path': [['editor', 'e'], ['row', 'b'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', True, False, False, False, 'a']), ('editor outside row', {'path': [['row', 'b'], ['editor', 'outer'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('handled child', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': True, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'activate', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled inspect', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'inspect', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, True, True, 'a']), ('unregistered row', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('other event', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'hover', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a'])], 3: [('inner activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('outer listener', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'outer', 'rows': ['outerrow'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [False, 'b', False, False, False, False, 'a']), ('editor origin', {'path': [['editor', 'e'], ['row', 'b'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', True, False, False, False, 'a']), ('editor outside row', {'path': [['row', 'b'], ['editor', 'outer'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('handled child', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': True, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'activate', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled inspect', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'inspect', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, True, True, 'a']), ('unregistered row', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('other event', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'hover', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a'])], 4: [('inner activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('outer listener', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'outer', 'rows': ['outerrow'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [False, 'b', False, False, False, False, 'a']), ('editor origin', {'path': [['editor', 'e'], ['row', 'b'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', True, False, False, False, 'a']), ('editor outside row', {'path': [['row', 'b'], ['editor', 'outer'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('handled child', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': True, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'activate', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled inspect', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'inspect', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, True, True, 'a']), ('unregistered row', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('other event', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'hover', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a'])], 5: [('inner activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('outer listener', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'outer', 'rows': ['outerrow'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [False, 'b', False, False, False, False, 'a']), ('editor origin', {'path': [['editor', 'e'], ['row', 'b'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', True, False, False, False, 'a']), ('editor outside row', {'path': [['row', 'b'], ['editor', 'outer'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('handled child', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': True, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'activate', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled inspect', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'inspect', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, True, True, 'a']), ('unregistered row', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('other event', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'hover', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a'])]}\nfor label, data, expected in cases[N]:\n    check(label, solve(data), 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":"a90fed347b1b044763a9d370ae0b503d4aa998b1e872213b45be68647eb573bc","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    nearest=next((x[1] for x in d['path'] if x[0]=='tree'),None)\n    owned=nearest==d['tree']\n    row=next((x[1] for x in d['path'] if x[0]=='row'),None)\n    editor=any(x[0]=='editor' for x in d['path'][:next((i for i,x in enumerate(d['path']) if x[0]=='row'),len(d['path']))])\n    already=d['handled']\n    command=owned and row in d['rows'] and not already and not editor\n    activate=command and d['event']=='activate' and row not in d['disabled']\n    inspect=command and d['event']=='inspect'\n    stop=command and (activate or inspect)\n    focus=row if activate else d['focus']\n    return [owned,row,editor,activate,inspect,stop,focus]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('inner activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('outer listener', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'outer', 'rows': ['outerrow'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [False, 'b', False, False, False, False, 'a']), ('editor origin', {'path': [['editor', 'e'], ['row', 'b'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', True, False, False, False, 'a']), ('editor outside row', {'path': [['row', 'b'], ['editor', 'outer'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('handled child', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': True, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'activate', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled inspect', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'inspect', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, True, True, 'a']), ('unregistered row', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('other event', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0'], 'handled': False, 'event': 'hover', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a'])], 2: [('inner activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('outer listener', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'outer', 'rows': ['outerrow'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [False, 'b', False, False, False, False, 'a']), ('editor origin', {'path': [['editor', 'e'], ['row', 'b'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', True, False, False, False, 'a']), ('editor outside row', {'path': [['row', 'b'], ['editor', 'outer'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('handled child', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': True, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'activate', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled inspect', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'inspect', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, True, True, 'a']), ('unregistered row', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('other event', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1'], 'handled': False, 'event': 'hover', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a'])], 3: [('inner activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('outer listener', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'outer', 'rows': ['outerrow'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [False, 'b', False, False, False, False, 'a']), ('editor origin', {'path': [['editor', 'e'], ['row', 'b'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', True, False, False, False, 'a']), ('editor outside row', {'path': [['row', 'b'], ['editor', 'outer'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('handled child', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': True, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'activate', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled inspect', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'inspect', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, True, True, 'a']), ('unregistered row', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('other event', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2'], 'handled': False, 'event': 'hover', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a'])], 4: [('inner activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('outer listener', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'outer', 'rows': ['outerrow'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [False, 'b', False, False, False, False, 'a']), ('editor origin', {'path': [['editor', 'e'], ['row', 'b'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', True, False, False, False, 'a']), ('editor outside row', {'path': [['row', 'b'], ['editor', 'outer'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('handled child', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': True, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'activate', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled inspect', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'inspect', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, True, True, 'a']), ('unregistered row', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('other event', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3'], 'handled': False, 'event': 'hover', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a'])], 5: [('inner activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('outer listener', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'outer', 'rows': ['outerrow'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [False, 'b', False, False, False, False, 'a']), ('editor origin', {'path': [['editor', 'e'], ['row', 'b'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', True, False, False, False, 'a']), ('editor outside row', {'path': [['row', 'b'], ['editor', 'outer'], ['tree', 'inner']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, True, False, True, 'b']), ('handled child', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': True, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled activation', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'activate', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('disabled inspect', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'inspect', 'disabled': ['b'], 'focus': 'a'}, [True, 'b', False, False, True, True, 'a']), ('unregistered row', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a'], 'handled': False, 'event': 'activate', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a']), ('other event', {'path': [['row', 'b'], ['tree', 'inner'], ['row', 'outerrow'], ['tree', 'outer']], 'tree': 'inner', 'rows': ['a', 'b', 'v0', 'v1', 'v2', 'v3', 'v4'], 'handled': False, 'event': 'hover', 'disabled': [], 'focus': 'a'}, [True, 'b', False, False, False, False, 'a'])]}\nfor label, data, expected in cases[N]:\n    check(label, solve(data), 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":"Synthetic deterministic hierarchical-widget data contract; not an implementation of a browser accessibility tree. 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-tree_accessibility-nested-tree-boundary-09","generated_at":"2026-09-29T14:43:20.136000+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Offline executable model of a hierarchical accessibility interaction; inputs are bounded and valid as stipulated. No browser, assistive technology, or normative ARIA conformance is claimed.","repair":"Restore `stop=command and (activate or inspect)` at this fault site while retaining the other tree state decisions.","root_cause":"The nested-tree-boundary contract is violated at `stop=command and (activate or inspect)` by replacing it with `stop=owned`.","sha256":"6fdb7f5cdf7c249a8f92287e4861e32158a17384bb909ba4fe806eadf8172472","title":"Nested tree event ownership: Tree event propagation is stopped without consuming command · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.914,"exit_code":1,"observations":[{"actual":[true,"b",false,true,false,false,"b"],"check":"inner activation","expected":[true,"b",false,true,false,true,"b"],"passed":false},{"actual":[false,"b",false,false,false,false,"a"],"check":"outer listener","expected":[false,"b",false,false,false,false,"a"],"passed":true},{"actual":[true,"b",true,false,false,false,"a"],"check":"editor origin","expected":[true,"b",true,false,false,false,"a"],"passed":true},{"actual":[true,"b",false,true,false,false,"b"],"check":"editor outside row","expected":[true,"b",false,true,false,true,"b"],"passed":false},{"actual":[true,"b",false,false,false,false,"a"],"check":"handled child","expected":[true,"b",false,false,false,false,"a"],"passed":true},{"actual":[true,"b",false,false,false,false,"a"],"check":"disabled activation","expected":[true,"b",false,false,false,false,"a"],"passed":true},{"actual":[true,"b",false,false,true,false,"a"],"check":"disabled inspect","expected":[true,"b",false,false,true,true,"a"],"passed":false},{"actual":[true,"b",false,false,false,false,"a"],"check":"unregistered row","expected":[true,"b",false,false,false,false,"a"],"passed":true},{"actual":[true,"b",false,false,false,false,"a"],"check":"other event","expected":[true,"b",false,false,false,false,"a"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"inner activation\", \"actual\": [true, \"b\", false, true, false, false, \"b\"], \"expected\": [true, \"b\", false, true, false, true, \"b\"], \"passed\": false}, {\"check\": \"outer listener\", \"actual\": [false, \"b\", false, false, false, false, \"a\"], \"expected\": [false, \"b\", false, false, false, false, \"a\"], \"passed\": true}, {\"check\": \"editor origin\", \"actual\": [true, \"b\", true, false, false, false, \"a\"], \"expected\": [true, \"b\", true, false, false, false, \"a\"], \"passed\": true}, {\"check\": \"editor outside row\", \"actual\": [true, \"b\", false, true, false, false, \"b\"], \"expected\": [true, \"b\", false, true, false, true, \"b\"], \"passed\": false}, {\"check\": \"handled child\", \"actual\": [true, \"b\", false, false, false, false, \"a\"], \"expected\": [true, \"b\", false, false, false, false, \"a\"], \"passed\": true}, {\"check\": \"disabled activation\", \"actual\": [true, \"b\", false, false, false, false, \"a\"], \"expected\": [true, \"b\", false, false, false, false, \"a\"], \"passed\": true}, {\"check\": \"disabled inspect\", \"actual\": [true, \"b\", false, false, true, false, \"a\"], \"expected\": [true, \"b\", false, false, true, true, \"a\"], \"passed\": false}, {\"check\": \"unregistered row\", \"actual\": [true, \"b\", false, false, false, false, \"a\"], \"expected\": [true, \"b\", false, false, false, false, \"a\"], \"passed\": true}, {\"check\": \"other event\", \"actual\": [true, \"b\", false, false, false, false, \"a\"], \"expected\": [true, \"b\", false, false, false, false, \"a\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.192,"exit_code":1,"observations":[{"actual":[true,"b",false,true,false,true,"b"],"check":"inner activation","expected":[true,"b",false,true,false,true,"b"],"passed":true},{"actual":[false,"b",false,false,false,false,"a"],"check":"outer listener","expected":[false,"b",false,false,false,false,"a"],"passed":true},{"actual":[true,"b",true,false,false,true,"a"],"check":"editor origin","expected":[true,"b",true,false,false,false,"a"],"passed":false},{"actual":[true,"b",false,true,false,true,"b"],"check":"editor outside row","expected":[true,"b",false,true,false,true,"b"],"passed":true},{"actual":[true,"b",false,false,false,true,"a"],"check":"handled child","expected":[true,"b",false,false,false,false,"a"],"passed":false},{"actual":[true,"b",false,false,false,true,"a"],"check":"disabled activation","expected":[true,"b",false,false,false,false,"a"],"passed":false},{"actual":[true,"b",false,false,true,true,"a"],"check":"disabled inspect","expected":[true,"b",false,false,true,true,"a"],"passed":true},{"actual":[true,"b",false,false,false,true,"a"],"check":"unregistered row","expected":[true,"b",false,false,false,false,"a"],"passed":false},{"actual":[true,"b",false,false,false,true,"a"],"check":"other event","expected":[true,"b",false,false,false,false,"a"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"inner activation\", \"actual\": [true, \"b\", false, true, false, true, \"b\"], \"expected\": [true, \"b\", false, true, false, true, \"b\"], \"passed\": true}, {\"check\": \"outer listener\", \"actual\": [false, \"b\", false, false, false, false, \"a\"], \"expected\": [false, \"b\", false, false, false, false, \"a\"], \"passed\": true}, {\"check\": \"editor origin\", \"actual\": [true, \"b\", true, false, false, true, \"a\"], \"expected\": [true, \"b\", true, false, false, false, \"a\"], \"passed\": false}, {\"check\": \"editor outside row\", \"actual\": [true, \"b\", false, true, false, true, \"b\"], \"expected\": [true, \"b\", false, true, false, true, \"b\"], \"passed\": true}, {\"check\": \"handled child\", \"actual\": [true, \"b\", false, false, false, true, \"a\"], \"expected\": [true, \"b\", false, false, false, false, \"a\"], \"passed\": false}, {\"check\": \"disabled activation\", \"actual\": [true, \"b\", false, false, false, true, \"a\"], \"expected\": [true, \"b\", false, false, false, false, \"a\"], \"passed\": false}, {\"check\": \"disabled inspect\", \"actual\": [true, \"b\", false, false, true, true, \"a\"], \"expected\": [true, \"b\", false, false, true, true, \"a\"], \"passed\": true}, {\"check\": \"unregistered row\", \"actual\": [true, \"b\", false, false, false, true, \"a\"], \"expected\": [true, \"b\", false, false, false, false, \"a\"], \"passed\": false}, {\"check\": \"other event\", \"actual\": [true, \"b\", false, false, false, true, \"a\"], \"expected\": [true, \"b\", false, false, false, false, \"a\"], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.91,"exit_code":0,"observations":[{"actual":[true,"b",false,true,false,true,"b"],"check":"inner activation","expected":[true,"b",false,true,false,true,"b"],"passed":true},{"actual":[false,"b",false,false,false,false,"a"],"check":"outer listener","expected":[false,"b",false,false,false,false,"a"],"passed":true},{"actual":[true,"b",true,false,false,false,"a"],"check":"editor origin","expected":[true,"b",true,false,false,false,"a"],"passed":true},{"actual":[true,"b",false,true,false,true,"b"],"check":"editor outside row","expected":[true,"b",false,true,false,true,"b"],"passed":true},{"actual":[true,"b",false,false,false,false,"a"],"check":"handled child","expected":[true,"b",false,false,false,false,"a"],"passed":true},{"actual":[true,"b",false,false,false,false,"a"],"check":"disabled activation","expected":[true,"b",false,false,false,false,"a"],"passed":true},{"actual":[true,"b",false,false,true,true,"a"],"check":"disabled inspect","expected":[true,"b",false,false,true,true,"a"],"passed":true},{"actual":[true,"b",false,false,false,false,"a"],"check":"unregistered row","expected":[true,"b",false,false,false,false,"a"],"passed":true},{"actual":[true,"b",false,false,false,false,"a"],"check":"other event","expected":[true,"b",false,false,false,false,"a"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"inner activation\", \"actual\": [true, \"b\", false, true, false, true, \"b\"], \"expected\": [true, \"b\", false, true, false, true, \"b\"], \"passed\": true}, {\"check\": \"outer listener\", \"actual\": [false, \"b\", false, false, false, false, \"a\"], \"expected\": [false, \"b\", false, false, false, false, \"a\"], \"passed\": true}, {\"check\": \"editor origin\", \"actual\": [true, \"b\", true, false, false, false, \"a\"], \"expected\": [true, \"b\", true, false, false, false, \"a\"], \"passed\": true}, {\"check\": \"editor outside row\", \"actual\": [true, \"b\", false, true, false, true, \"b\"], \"expected\": [true, \"b\", false, true, false, true, \"b\"], \"passed\": true}, {\"check\": \"handled child\", \"actual\": [true, \"b\", false, false, false, false, \"a\"], \"expected\": [true, \"b\", false, false, false, false, \"a\"], \"passed\": true}, {\"check\": \"disabled activation\", \"actual\": [true, \"b\", false, false, false, false, \"a\"], \"expected\": [true, \"b\", false, false, false, false, \"a\"], \"passed\": true}, {\"check\": \"disabled inspect\", \"actual\": [true, \"b\", false, false, true, true, \"a\"], \"expected\": [true, \"b\", false, false, true, true, \"a\"], \"passed\": true}, {\"check\": \"unregistered row\", \"actual\": [true, \"b\", false, false, false, false, \"a\"], \"expected\": [true, \"b\", false, false, false, false, \"a\"], \"passed\": true}, {\"check\": \"other event\", \"actual\": [true, \"b\", false, false, false, false, \"a\"], \"expected\": [true, \"b\", false, false, false, false, \"a\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}