FAILURE MAP
← Case archive

FA-39616 / Tree accessibility / Open access

Tree accessibility snapshot consistency audit: Collapsed leaf expansion attribute escapes audit · case 01

Collapsed leaf expansion attribute escapes audit produces the wrong hierarchical widget state in a regression fixture.

Verified by executionVariant 1 · 14 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The tree-metadata-audit contract is violated at `not r['branch'] and r['expanded'] is not None` by replacing it with `not r['branch'] and bool(r['expanded'])`.

VERIFIED REPAIR

Restore `not r['branch'] and r['expanded'] is not None` at this fault site while retaining the other tree state decisions.

Unsuccessful approach: The partial repair `r['expanded'] is None` still violates a boundary or preservation case.

Case 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.

Why this case matters

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.

1 / The failure

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    errors=[]; rows=d['rows']; ids=[r['id'] for r in rows]; table={r['id']:r for r in rows}
    if len(ids)!=len(set(ids)): errors.append('duplicate-id')
    if any(r['level']<1 for r in rows): errors.append('invalid-level')
    if any(r['pos']<1 or (r['size']!=-1 and r['pos']>r['size']) for r in rows): errors.append('invalid-position')
    if any(r['parent'] is not None and r['parent'] not in table for r in rows): errors.append('missing-parent')
    if any(r['parent'] in table and r['level']!=table[r['parent']]['level']+1 for r in rows): errors.append('parent-level')
    if any(not r['branch'] and bool(r['expanded']) for r in rows): errors.append('leaf-expanded')
    if d['active'] is not None and d['active'] not in ids: errors.append('missing-active')
    if any(x not in table or not table[x]['selectable'] for x in d['selected']): errors.append('invalid-selection')
    if any(r['busy'] and not r['branch'] for r in rows): errors.append('busy-leaf')
    if any(r['parent'] is None and r['level']!=1 for r in rows): errors.append('root-level')
    return errors
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = {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'])]}
for label, data, expected in cases[N]:
    check(label, solve(data), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
valid[][]Passed
duplicate['duplicate-id', 'parent-level']['duplicate-id', 'parent-level']Passed
zero level['invalid-level', 'parent-level']['invalid-level', 'parent-level']Passed
zero position['invalid-position']['invalid-position']Passed
position overflow['invalid-position']['invalid-position']Passed
unknown size[][]Passed
orphan['missing-parent']['missing-parent']Passed
level jump['parent-level']['parent-level']Passed
leaf expanded false[]['leaf-expanded']Failed
missing active['missing-active']['missing-active']Passed
protected selection['invalid-selection']['invalid-selection']Passed
missing selection['invalid-selection']['invalid-selection']Passed
busy leaf['busy-leaf']['busy-leaf']Passed
indented root['root-level']['root-level']Passed

SHA-256 / e60126918ad8a20eadb2329f61ce38eec97d8cc4233d567bf51b97b1e9b794e6

2 / The unsuccessful fix

Exit 1
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    errors=[]; rows=d['rows']; ids=[r['id'] for r in rows]; table={r['id']:r for r in rows}
    if len(ids)!=len(set(ids)): errors.append('duplicate-id')
    if any(r['level']<1 for r in rows): errors.append('invalid-level')
    if any(r['pos']<1 or (r['size']!=-1 and r['pos']>r['size']) for r in rows): errors.append('invalid-position')
    if any(r['parent'] is not None and r['parent'] not in table for r in rows): errors.append('missing-parent')
    if any(r['parent'] in table and r['level']!=table[r['parent']]['level']+1 for r in rows): errors.append('parent-level')
    if any(r['expanded'] is None for r in rows): errors.append('leaf-expanded')
    if d['active'] is not None and d['active'] not in ids: errors.append('missing-active')
    if any(x not in table or not table[x]['selectable'] for x in d['selected']): errors.append('invalid-selection')
    if any(r['busy'] and not r['branch'] for r in rows): errors.append('busy-leaf')
    if any(r['parent'] is None and r['level']!=1 for r in rows): errors.append('root-level')
    return errors
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = {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'])]}
for label, data, expected in cases[N]:
    check(label, solve(data), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
valid['leaf-expanded'][]Failed
duplicate['duplicate-id', 'parent-level', 'leaf-expanded']['duplicate-id', 'parent-level']Failed
zero level['invalid-level', 'parent-level', 'leaf-expanded']['invalid-level', 'parent-level']Failed
zero position['invalid-position', 'leaf-expanded']['invalid-position']Failed
position overflow['invalid-position', 'leaf-expanded']['invalid-position']Failed
unknown size['leaf-expanded'][]Failed
orphan['missing-parent', 'leaf-expanded']['missing-parent']Failed
level jump['parent-level', 'leaf-expanded']['parent-level']Failed
leaf expanded false[]['leaf-expanded']Failed
missing active['leaf-expanded', 'missing-active']['missing-active']Failed
protected selection['leaf-expanded', 'invalid-selection']['invalid-selection']Failed
missing selection['leaf-expanded', 'invalid-selection']['invalid-selection']Failed
busy leaf['leaf-expanded', 'busy-leaf']['busy-leaf']Failed
indented root['leaf-expanded', 'root-level']['root-level']Failed

SHA-256 / 37b5f49d5a3c2b6f2e372d15b8086d2298f7c6fc8798d35ed91ad1f84bfcaf6a

3 / The verified repair

Exit 0
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    errors=[]; rows=d['rows']; ids=[r['id'] for r in rows]; table={r['id']:r for r in rows}
    if len(ids)!=len(set(ids)): errors.append('duplicate-id')
    if any(r['level']<1 for r in rows): errors.append('invalid-level')
    if any(r['pos']<1 or (r['size']!=-1 and r['pos']>r['size']) for r in rows): errors.append('invalid-position')
    if any(r['parent'] is not None and r['parent'] not in table for r in rows): errors.append('missing-parent')
    if any(r['parent'] in table and r['level']!=table[r['parent']]['level']+1 for r in rows): errors.append('parent-level')
    if any(not r['branch'] and r['expanded'] is not None for r in rows): errors.append('leaf-expanded')
    if d['active'] is not None and d['active'] not in ids: errors.append('missing-active')
    if any(x not in table or not table[x]['selectable'] for x in d['selected']): errors.append('invalid-selection')
    if any(r['busy'] and not r['branch'] for r in rows): errors.append('busy-leaf')
    if any(r['parent'] is None and r['level']!=1 for r in rows): errors.append('root-level')
    return errors
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = {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'])]}
for label, data, expected in cases[N]:
    check(label, solve(data), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
valid[][]Passed
duplicate['duplicate-id', 'parent-level']['duplicate-id', 'parent-level']Passed
zero level['invalid-level', 'parent-level']['invalid-level', 'parent-level']Passed
zero position['invalid-position']['invalid-position']Passed
position overflow['invalid-position']['invalid-position']Passed
unknown size[][]Passed
orphan['missing-parent']['missing-parent']Passed
level jump['parent-level']['parent-level']Passed
leaf expanded false['leaf-expanded']['leaf-expanded']Passed
missing active['missing-active']['missing-active']Passed
protected selection['invalid-selection']['invalid-selection']Passed
missing selection['invalid-selection']['invalid-selection']Passed
busy leaf['busy-leaf']['busy-leaf']Passed
indented root['root-level']['root-level']Passed

SHA-256 / 1f8e73329aebc21007dd8a698121bc14f819f8e309c46384700a3ace1f2e8f07

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:43:22.976904+00:00.

Case digest / a1c29715499e47158f84d5e350adacc48893d10e0298a85624a3d697a7e26b77