{"abstract":"Parent-child level jump is not validated produces the wrong hierarchical widget state in a regression fixture.","category":"Tree accessibility","checks":14,"contract":"Validate a bounded already-resolved widget snapshot. IDs are unique; each row has positive level, positive position no greater than a known set size, a live parent at prior level, leaves omit expansion, and the single active ID must be exposed. Selected IDs must be selectable; busy leaf rows are invalid. Return ordered error codes.","evaluation_group":"s3-tree-tree-metadata-audit","failed_approach":"The partial repair `r['level']r['size']) for r in rows): errors.append('invalid-position')\n if any(r['parent'] is not None and r['parent'] not in table for r in rows): errors.append('missing-parent')\n if any(r['parent'] in table and r['level']r['size']) for r in rows): errors.append('invalid-position')\n if any(r['parent'] is not None and r['parent'] not in table for r in rows): errors.append('missing-parent')\n if any(r['parent'] in table and r['level']!=table[r['parent']]['level'] for r in rows): errors.append('parent-level')\n if any(not r['branch'] and r['expanded'] is not None for r in rows): errors.append('leaf-expanded')\n if d['active'] is not None and d['active'] not in ids: errors.append('missing-active')\n if any(x not in table or not table[x]['selectable'] for x in d['selected']): errors.append('invalid-selection')\n if any(r['busy'] and not r['branch'] for r in rows): errors.append('busy-leaf')\n if any(r['parent'] is None and r['level']!=1 for r in rows): errors.append('root-level')\n return errors\ndef check(label, actual, expected):\n observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('valid', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'a', 'selected': ['a']}, []), ('duplicate', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'r', 'level': 2, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'r', 'selected': []}, ['duplicate-id', 'parent-level']), ('zero level', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 0, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-level', 'parent-level']), ('zero position', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 0, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('position overflow', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('unknown size', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': -1, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, []), ('orphan', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': 3, 'parent': 'missing', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['missing-parent']), ('level jump', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 4, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['parent-level']), ('leaf expanded false', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': False, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['leaf-expanded']), ('missing active', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'gone', 'selected': []}, ['missing-active']), ('protected selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': False, 'busy': False}], 'active': None, 'selected': ['a']}, ['invalid-selection']), ('missing selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': ['gone']}, ['invalid-selection']), ('busy leaf', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': True}], 'active': None, 'selected': []}, ['busy-leaf']), ('indented root', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': 3, 'parent': None, 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['root-level'])], 2: [('valid', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'a', 'selected': ['a']}, []), ('duplicate', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'r', 'level': 2, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'r', 'selected': []}, ['duplicate-id', 'parent-level']), ('zero level', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 0, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-level', 'parent-level']), ('zero position', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 0, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('position overflow', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 6, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('unknown size', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': -1, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, []), ('orphan', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': 4, 'parent': 'missing', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['missing-parent']), ('level jump', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 4, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['parent-level']), ('leaf expanded false', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': False, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['leaf-expanded']), ('missing active', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'gone', 'selected': []}, ['missing-active']), ('protected selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': False, 'busy': False}], 'active': None, 'selected': ['a']}, ['invalid-selection']), ('missing selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': ['gone']}, ['invalid-selection']), ('busy leaf', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': True}], 'active': None, 'selected': []}, ['busy-leaf']), ('indented root', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': 4, 'parent': None, 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['root-level'])], 3: [('valid', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'a', 'selected': ['a']}, []), ('duplicate', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'r', 'level': 2, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'r', 'selected': []}, ['duplicate-id', 'parent-level']), ('zero level', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 0, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-level', 'parent-level']), ('zero position', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 0, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('position overflow', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 7, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('unknown size', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': -1, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, []), ('orphan', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': 5, 'parent': 'missing', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['missing-parent']), ('level jump', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 4, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['parent-level']), ('leaf expanded false', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': False, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['leaf-expanded']), ('missing active', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'gone', 'selected': []}, ['missing-active']), ('protected selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': False, 'busy': False}], 'active': None, 'selected': ['a']}, ['invalid-selection']), ('missing selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': ['gone']}, ['invalid-selection']), ('busy leaf', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': True}], 'active': None, 'selected': []}, ['busy-leaf']), ('indented root', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': 5, 'parent': None, 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['root-level'])], 4: [('valid', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'a', 'selected': ['a']}, []), ('duplicate', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'r', 'level': 2, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'r', 'selected': []}, ['duplicate-id', 'parent-level']), ('zero level', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 0, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-level', 'parent-level']), ('zero position', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 0, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('position overflow', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 8, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('unknown size', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': -1, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, []), ('orphan', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': 6, 'parent': 'missing', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['missing-parent']), ('level jump', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 4, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['parent-level']), ('leaf expanded false', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': False, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['leaf-expanded']), ('missing active', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'gone', 'selected': []}, ['missing-active']), ('protected selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': False, 'busy': False}], 'active': None, 'selected': ['a']}, ['invalid-selection']), ('missing selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': ['gone']}, ['invalid-selection']), ('busy leaf', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': True}], 'active': None, 'selected': []}, ['busy-leaf']), ('indented root', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': 6, 'parent': None, 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['root-level'])], 5: [('valid', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'a', 'selected': ['a']}, []), ('duplicate', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'r', 'level': 2, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'r', 'selected': []}, ['duplicate-id', 'parent-level']), ('zero level', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 0, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-level', 'parent-level']), ('zero position', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 0, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('position overflow', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 9, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('unknown size', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': -1, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, []), ('orphan', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 7, 'parent': 'missing', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['missing-parent']), ('level jump', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 4, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['parent-level']), ('leaf expanded false', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': False, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['leaf-expanded']), ('missing active', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'gone', 'selected': []}, ['missing-active']), ('protected selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': False, 'busy': False}], 'active': None, 'selected': ['a']}, ['invalid-selection']), ('missing selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': ['gone']}, ['invalid-selection']), ('busy leaf', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': True}], 'active': None, 'selected': []}, ['busy-leaf']), ('indented root', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 7, 'parent': None, 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['root-level'])]}\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":"1f8e73329aebc21007dd8a698121bc14f819f8e309c46384700a3ace1f2e8f07","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n errors=[]; rows=d['rows']; ids=[r['id'] for r in rows]; table={r['id']:r for r in rows}\n if len(ids)!=len(set(ids)): errors.append('duplicate-id')\n if any(r['level']<1 for r in rows): errors.append('invalid-level')\n if any(r['pos']<1 or (r['size']!=-1 and r['pos']>r['size']) for r in rows): errors.append('invalid-position')\n if any(r['parent'] is not None and r['parent'] not in table for r in rows): errors.append('missing-parent')\n if any(r['parent'] in table and r['level']!=table[r['parent']]['level']+1 for r in rows): errors.append('parent-level')\n if any(not r['branch'] and r['expanded'] is not None for r in rows): errors.append('leaf-expanded')\n if d['active'] is not None and d['active'] not in ids: errors.append('missing-active')\n if any(x not in table or not table[x]['selectable'] for x in d['selected']): errors.append('invalid-selection')\n if any(r['busy'] and not r['branch'] for r in rows): errors.append('busy-leaf')\n if any(r['parent'] is None and r['level']!=1 for r in rows): errors.append('root-level')\n return errors\ndef check(label, actual, expected):\n observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('valid', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'a', 'selected': ['a']}, []), ('duplicate', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'r', 'level': 2, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'r', 'selected': []}, ['duplicate-id', 'parent-level']), ('zero level', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 0, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-level', 'parent-level']), ('zero position', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 0, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('position overflow', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('unknown size', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': -1, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, []), ('orphan', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': 3, 'parent': 'missing', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['missing-parent']), ('level jump', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 4, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['parent-level']), ('leaf expanded false', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': False, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['leaf-expanded']), ('missing active', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'gone', 'selected': []}, ['missing-active']), ('protected selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': False, 'busy': False}], 'active': None, 'selected': ['a']}, ['invalid-selection']), ('missing selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': ['gone']}, ['invalid-selection']), ('busy leaf', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': 3, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': True}], 'active': None, 'selected': []}, ['busy-leaf']), ('indented root', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 1, 'size': 3, 'parent': None, 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['root-level'])], 2: [('valid', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'a', 'selected': ['a']}, []), ('duplicate', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'r', 'level': 2, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'r', 'selected': []}, ['duplicate-id', 'parent-level']), ('zero level', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 0, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-level', 'parent-level']), ('zero position', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 0, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('position overflow', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 6, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('unknown size', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': -1, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, []), ('orphan', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': 4, 'parent': 'missing', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['missing-parent']), ('level jump', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 4, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['parent-level']), ('leaf expanded false', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': False, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['leaf-expanded']), ('missing active', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'gone', 'selected': []}, ['missing-active']), ('protected selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': False, 'busy': False}], 'active': None, 'selected': ['a']}, ['invalid-selection']), ('missing selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': ['gone']}, ['invalid-selection']), ('busy leaf', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': 4, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': True}], 'active': None, 'selected': []}, ['busy-leaf']), ('indented root', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 2, 'size': 4, 'parent': None, 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['root-level'])], 3: [('valid', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'a', 'selected': ['a']}, []), ('duplicate', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'r', 'level': 2, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'r', 'selected': []}, ['duplicate-id', 'parent-level']), ('zero level', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 0, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-level', 'parent-level']), ('zero position', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 0, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('position overflow', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 7, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('unknown size', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': -1, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, []), ('orphan', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': 5, 'parent': 'missing', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['missing-parent']), ('level jump', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 4, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['parent-level']), ('leaf expanded false', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': False, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['leaf-expanded']), ('missing active', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'gone', 'selected': []}, ['missing-active']), ('protected selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': False, 'busy': False}], 'active': None, 'selected': ['a']}, ['invalid-selection']), ('missing selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': ['gone']}, ['invalid-selection']), ('busy leaf', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': 5, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': True}], 'active': None, 'selected': []}, ['busy-leaf']), ('indented root', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 3, 'size': 5, 'parent': None, 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['root-level'])], 4: [('valid', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'a', 'selected': ['a']}, []), ('duplicate', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'r', 'level': 2, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'r', 'selected': []}, ['duplicate-id', 'parent-level']), ('zero level', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 0, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-level', 'parent-level']), ('zero position', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 0, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('position overflow', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 8, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('unknown size', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': -1, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, []), ('orphan', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': 6, 'parent': 'missing', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['missing-parent']), ('level jump', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 4, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['parent-level']), ('leaf expanded false', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': False, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['leaf-expanded']), ('missing active', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'gone', 'selected': []}, ['missing-active']), ('protected selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': False, 'busy': False}], 'active': None, 'selected': ['a']}, ['invalid-selection']), ('missing selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': ['gone']}, ['invalid-selection']), ('busy leaf', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': 6, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': True}], 'active': None, 'selected': []}, ['busy-leaf']), ('indented root', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 4, 'size': 6, 'parent': None, 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['root-level'])], 5: [('valid', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'a', 'selected': ['a']}, []), ('duplicate', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'r', 'level': 2, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'r', 'selected': []}, ['duplicate-id', 'parent-level']), ('zero level', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 0, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-level', 'parent-level']), ('zero position', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 0, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('position overflow', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 9, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['invalid-position']), ('unknown size', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': -1, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, []), ('orphan', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 7, 'parent': 'missing', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['missing-parent']), ('level jump', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 4, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['parent-level']), ('leaf expanded false', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': False, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['leaf-expanded']), ('missing active', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': 'gone', 'selected': []}, ['missing-active']), ('protected selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': False, 'busy': False}], 'active': None, 'selected': ['a']}, ['invalid-selection']), ('missing selection', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': ['gone']}, ['invalid-selection']), ('busy leaf', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 7, 'parent': 'r', 'branch': False, 'expanded': None, 'selectable': True, 'busy': True}], 'active': None, 'selected': []}, ['busy-leaf']), ('indented root', {'rows': [{'id': 'r', 'level': 1, 'pos': 1, 'size': 1, 'parent': None, 'branch': True, 'expanded': True, 'selectable': True, 'busy': True}, {'id': 'a', 'level': 2, 'pos': 5, 'size': 7, 'parent': None, 'branch': False, 'expanded': None, 'selectable': True, 'busy': False}], 'active': None, 'selected': []}, ['root-level'])]}\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-tree-metadata-audit-05","generated_at":"2026-09-29T14:43:22.860337+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 `r['level']!=table[r['parent']]['level']+1` at this fault site while retaining the other tree state decisions.","root_cause":"The tree-metadata-audit contract is violated at `r['level']!=table[r['parent']]['level']+1` by replacing it with `r['level']!=table[r['parent']]['level']`.","sha256":"4be2b3990ef8784d9c227d969fbe20f36aa6587696333f71a0c8efaf1ee98f38","title":"Tree accessibility snapshot consistency audit: Parent-child level jump is not validated ยท case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.18,"exit_code":1,"observations":[{"actual":[],"check":"valid","expected":[],"passed":true},{"actual":["duplicate-id"],"check":"duplicate","expected":["duplicate-id","parent-level"],"passed":false},{"actual":["invalid-level","parent-level"],"check":"zero level","expected":["invalid-level","parent-level"],"passed":true},{"actual":["invalid-position"],"check":"zero position","expected":["invalid-position"],"passed":true},{"actual":["invalid-position"],"check":"position overflow","expected":["invalid-position"],"passed":true},{"actual":[],"check":"unknown size","expected":[],"passed":true},{"actual":["missing-parent"],"check":"orphan","expected":["missing-parent"],"passed":true},{"actual":[],"check":"level jump","expected":["parent-level"],"passed":false},{"actual":["leaf-expanded"],"check":"leaf expanded false","expected":["leaf-expanded"],"passed":true},{"actual":["missing-active"],"check":"missing active","expected":["missing-active"],"passed":true},{"actual":["invalid-selection"],"check":"protected selection","expected":["invalid-selection"],"passed":true},{"actual":["invalid-selection"],"check":"missing selection","expected":["invalid-selection"],"passed":true},{"actual":["busy-leaf"],"check":"busy leaf","expected":["busy-leaf"],"passed":true},{"actual":["root-level"],"check":"indented root","expected":["root-level"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"valid\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"duplicate\", \"actual\": [\"duplicate-id\"], \"expected\": [\"duplicate-id\", \"parent-level\"], \"passed\": false}, {\"check\": \"zero level\", \"actual\": [\"invalid-level\", \"parent-level\"], \"expected\": [\"invalid-level\", \"parent-level\"], \"passed\": true}, {\"check\": \"zero position\", \"actual\": [\"invalid-position\"], \"expected\": [\"invalid-position\"], \"passed\": true}, {\"check\": \"position overflow\", \"actual\": [\"invalid-position\"], \"expected\": [\"invalid-position\"], \"passed\": true}, {\"check\": \"unknown size\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"orphan\", \"actual\": [\"missing-parent\"], \"expected\": [\"missing-parent\"], \"passed\": true}, {\"check\": \"level jump\", \"actual\": [], \"expected\": [\"parent-level\"], \"passed\": false}, {\"check\": \"leaf expanded false\", \"actual\": [\"leaf-expanded\"], \"expected\": [\"leaf-expanded\"], \"passed\": true}, {\"check\": \"missing active\", \"actual\": [\"missing-active\"], \"expected\": [\"missing-active\"], \"passed\": true}, {\"check\": \"protected selection\", \"actual\": [\"invalid-selection\"], \"expected\": [\"invalid-selection\"], \"passed\": true}, {\"check\": \"missing selection\", \"actual\": [\"invalid-selection\"], \"expected\": [\"invalid-selection\"], \"passed\": true}, {\"check\": \"busy leaf\", \"actual\": [\"busy-leaf\"], \"expected\": [\"busy-leaf\"], \"passed\": true}, {\"check\": \"indented root\", \"actual\": [\"root-level\"], \"expected\": [\"root-level\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.882,"exit_code":1,"observations":[{"actual":["parent-level"],"check":"valid","expected":[],"passed":false},{"actual":["duplicate-id"],"check":"duplicate","expected":["duplicate-id","parent-level"],"passed":false},{"actual":["invalid-level","parent-level"],"check":"zero level","expected":["invalid-level","parent-level"],"passed":true},{"actual":["invalid-position","parent-level"],"check":"zero position","expected":["invalid-position"],"passed":false},{"actual":["invalid-position","parent-level"],"check":"position overflow","expected":["invalid-position"],"passed":false},{"actual":["parent-level"],"check":"unknown size","expected":[],"passed":false},{"actual":["missing-parent"],"check":"orphan","expected":["missing-parent"],"passed":true},{"actual":["parent-level"],"check":"level jump","expected":["parent-level"],"passed":true},{"actual":["parent-level","leaf-expanded"],"check":"leaf expanded false","expected":["leaf-expanded"],"passed":false},{"actual":["parent-level","missing-active"],"check":"missing active","expected":["missing-active"],"passed":false},{"actual":["parent-level","invalid-selection"],"check":"protected selection","expected":["invalid-selection"],"passed":false},{"actual":["parent-level","invalid-selection"],"check":"missing selection","expected":["invalid-selection"],"passed":false},{"actual":["parent-level","busy-leaf"],"check":"busy leaf","expected":["busy-leaf"],"passed":false},{"actual":["root-level"],"check":"indented root","expected":["root-level"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"valid\", \"actual\": [\"parent-level\"], \"expected\": [], \"passed\": false}, {\"check\": \"duplicate\", \"actual\": [\"duplicate-id\"], \"expected\": [\"duplicate-id\", \"parent-level\"], \"passed\": false}, {\"check\": \"zero level\", \"actual\": [\"invalid-level\", \"parent-level\"], \"expected\": [\"invalid-level\", \"parent-level\"], \"passed\": true}, {\"check\": \"zero position\", \"actual\": [\"invalid-position\", \"parent-level\"], \"expected\": [\"invalid-position\"], \"passed\": false}, {\"check\": \"position overflow\", \"actual\": [\"invalid-position\", \"parent-level\"], \"expected\": [\"invalid-position\"], \"passed\": false}, {\"check\": \"unknown size\", \"actual\": [\"parent-level\"], \"expected\": [], \"passed\": false}, {\"check\": \"orphan\", \"actual\": [\"missing-parent\"], \"expected\": [\"missing-parent\"], \"passed\": true}, {\"check\": \"level jump\", \"actual\": [\"parent-level\"], \"expected\": [\"parent-level\"], \"passed\": true}, {\"check\": \"leaf expanded false\", \"actual\": [\"parent-level\", \"leaf-expanded\"], \"expected\": [\"leaf-expanded\"], \"passed\": false}, {\"check\": \"missing active\", \"actual\": [\"parent-level\", \"missing-active\"], \"expected\": [\"missing-active\"], \"passed\": false}, {\"check\": \"protected selection\", \"actual\": [\"parent-level\", \"invalid-selection\"], \"expected\": [\"invalid-selection\"], \"passed\": false}, {\"check\": \"missing selection\", \"actual\": [\"parent-level\", \"invalid-selection\"], \"expected\": [\"invalid-selection\"], \"passed\": false}, {\"check\": \"busy leaf\", \"actual\": [\"parent-level\", \"busy-leaf\"], \"expected\": [\"busy-leaf\"], \"passed\": false}, {\"check\": \"indented root\", \"actual\": [\"root-level\"], \"expected\": [\"root-level\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.9,"exit_code":0,"observations":[{"actual":[],"check":"valid","expected":[],"passed":true},{"actual":["duplicate-id","parent-level"],"check":"duplicate","expected":["duplicate-id","parent-level"],"passed":true},{"actual":["invalid-level","parent-level"],"check":"zero level","expected":["invalid-level","parent-level"],"passed":true},{"actual":["invalid-position"],"check":"zero position","expected":["invalid-position"],"passed":true},{"actual":["invalid-position"],"check":"position overflow","expected":["invalid-position"],"passed":true},{"actual":[],"check":"unknown size","expected":[],"passed":true},{"actual":["missing-parent"],"check":"orphan","expected":["missing-parent"],"passed":true},{"actual":["parent-level"],"check":"level jump","expected":["parent-level"],"passed":true},{"actual":["leaf-expanded"],"check":"leaf expanded false","expected":["leaf-expanded"],"passed":true},{"actual":["missing-active"],"check":"missing active","expected":["missing-active"],"passed":true},{"actual":["invalid-selection"],"check":"protected selection","expected":["invalid-selection"],"passed":true},{"actual":["invalid-selection"],"check":"missing selection","expected":["invalid-selection"],"passed":true},{"actual":["busy-leaf"],"check":"busy leaf","expected":["busy-leaf"],"passed":true},{"actual":["root-level"],"check":"indented root","expected":["root-level"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"valid\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"duplicate\", \"actual\": [\"duplicate-id\", \"parent-level\"], \"expected\": [\"duplicate-id\", \"parent-level\"], \"passed\": true}, {\"check\": \"zero level\", \"actual\": [\"invalid-level\", \"parent-level\"], \"expected\": [\"invalid-level\", \"parent-level\"], \"passed\": true}, {\"check\": \"zero position\", \"actual\": [\"invalid-position\"], \"expected\": [\"invalid-position\"], \"passed\": true}, {\"check\": \"position overflow\", \"actual\": [\"invalid-position\"], \"expected\": [\"invalid-position\"], \"passed\": true}, {\"check\": \"unknown size\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"orphan\", \"actual\": [\"missing-parent\"], \"expected\": [\"missing-parent\"], \"passed\": true}, {\"check\": \"level jump\", \"actual\": [\"parent-level\"], \"expected\": [\"parent-level\"], \"passed\": true}, {\"check\": \"leaf expanded false\", \"actual\": [\"leaf-expanded\"], \"expected\": [\"leaf-expanded\"], \"passed\": true}, {\"check\": \"missing active\", \"actual\": [\"missing-active\"], \"expected\": [\"missing-active\"], \"passed\": true}, {\"check\": \"protected selection\", \"actual\": [\"invalid-selection\"], \"expected\": [\"invalid-selection\"], \"passed\": true}, {\"check\": \"missing selection\", \"actual\": [\"invalid-selection\"], \"expected\": [\"invalid-selection\"], \"passed\": true}, {\"check\": \"busy leaf\", \"actual\": [\"busy-leaf\"], \"expected\": [\"busy-leaf\"], \"passed\": true}, {\"check\": \"indented root\", \"actual\": [\"root-level\"], \"expected\": [\"root-level\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}