FA-38781 / Tree accessibility / Open access

Hierarchical filter projection: Match ancestor is falsely tagged context-only · case 01

Match ancestor is falsely tagged context-only produces the wrong hierarchical widget state in a regression fixture.

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

ROOT CAUSE

The tree-filter-projection contract is violated at `[x for x in projected if x not in matched]` by replacing it with `[x for x in projected if x in matched]`.

THE FAILURE

The tree-filter-projection contract is violated at `[x for x in projected if x not in matched]` by replacing it with `[x for x in projected if x in matched]`.

Unsuccessful approach: The partial repair `sorted(context)` still violates a boundary or preservation case.

Case contract

Matching rows retain all ancestors as context. Context-only branches auto-open without changing saved expansion. Selection remains by ID across filtering; focus hidden by the filter returns to nearest projected ancestor. Sibling positions are recomputed among projected children.

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):
    matched=set(d['matches'])&set(d['rows'])
    context={a for x in matched for a in d['ancestors'].get(x,[])}
    projected=[x for x in d['rows'] if x in matched|context]
    opened=sorted(set(d['saved_open'])|context)
    selected=d['selected']
    focus=d['focus'] if d['focus'] in projected else next((a for a in reversed(d['ancestors'].get(d['focus'],[])) if a in projected),(projected[0] if projected else None))
    positions={x:1+sum(d['parents'].get(y)==d['parents'].get(x) for y in projected[:i]) for i,x in enumerate(projected)}
    sizes={x:sum(d['parents'].get(y)==d['parents'].get(x) for y in projected) for x in projected}
    context_only=[x for x in projected if x in matched]
    empty=not projected
    return [projected,opened,selected,focus,positions,sizes,context_only,empty]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = {1: [('deep match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False]), ('missing match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0'], 'matches': ['b', 'gone'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z', 'a'], False]), ('ancestor match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0'], 'matches': ['a', 'b'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z'], False]), ('no matches', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0'], 'matches': [], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [[], ['q'], ['c', 'q'], None, {}, {}, [], True]), ('root match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0'], 'matches': ['q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['q'], ['q'], ['c', 'q'], 'q', {'q': 1}, {'q': 1}, [], False]), ('focused match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'b'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'b', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False])], 2: [('deep match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False]), ('missing match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1'], 'matches': ['b', 'gone'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z', 'a'], False]), ('ancestor match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1'], 'matches': ['a', 'b'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z'], False]), ('no matches', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1'], 'matches': [], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [[], ['q'], ['c', 'q'], None, {}, {}, [], True]), ('root match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1'], 'matches': ['q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['q'], ['q'], ['c', 'q'], 'q', {'q': 1}, {'q': 1}, [], False]), ('focused match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'b'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'b', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False])], 3: [('deep match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False]), ('missing match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2'], 'matches': ['b', 'gone'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z', 'a'], False]), ('ancestor match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2'], 'matches': ['a', 'b'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z'], False]), ('no matches', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2'], 'matches': [], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [[], ['q'], ['c', 'q'], None, {}, {}, [], True]), ('root match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2'], 'matches': ['q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['q'], ['q'], ['c', 'q'], 'q', {'q': 1}, {'q': 1}, [], False]), ('focused match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'b'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'b', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False])], 4: [('deep match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False]), ('missing match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3'], 'matches': ['b', 'gone'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z', 'a'], False]), ('ancestor match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3'], 'matches': ['a', 'b'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z'], False]), ('no matches', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3'], 'matches': [], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [[], ['q'], ['c', 'q'], None, {}, {}, [], True]), ('root match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3'], 'matches': ['q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['q'], ['q'], ['c', 'q'], 'q', {'q': 1}, {'q': 1}, [], False]), ('focused match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'b'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'b', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False])], 5: [('deep match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3', 'v4'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False]), ('missing match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3', 'v4'], 'matches': ['b', 'gone'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z', 'a'], False]), ('ancestor match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3', 'v4'], 'matches': ['a', 'b'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z'], False]), ('no matches', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3', 'v4'], 'matches': [], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [[], ['q'], ['c', 'q'], None, {}, {}, [], True]), ('root match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3', 'v4'], 'matches': ['q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['q'], ['q'], ['c', 'q'], 'q', {'q': 1}, {'q': 1}, [], False]), ('focused match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3', 'v4'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'b'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'b', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False])]}
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 fixture	Actual	Expected	Outcome
deep match	`[['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'a': 1, 'b': 1, 'q': 2, 'z': 1}, {'a': 1, 'b': 1, 'q': 2, 'z': 2}, ['b', 'q'], False]`	`[['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'a': 1, 'b': 1, 'q': 2, 'z': 1}, {'a': 1, 'b': 1, 'q': 2, 'z': 2}, ['z', 'a'], False]`	Failed
missing match	`[['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'a': 1, 'b': 1, 'z': 1}, {'a': 1, 'b': 1, 'z': 1}, ['b'], False]`	`[['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'a': 1, 'b': 1, 'z': 1}, {'a': 1, 'b': 1, 'z': 1}, ['z', 'a'], False]`	Failed
ancestor match	`[['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'a': 1, 'b': 1, 'z': 1}, {'a': 1, 'b': 1, 'z': 1}, ['a', 'b'], False]`	`[['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'a': 1, 'b': 1, 'z': 1}, {'a': 1, 'b': 1, 'z': 1}, ['z'], False]`	Failed
no matches	`[[], ['q'], ['c', 'q'], None, {}, {}, [], True]`	`[[], ['q'], ['c', 'q'], None, {}, {}, [], True]`	Passed
root match	`[['q'], ['q'], ['c', 'q'], 'q', {'q': 1}, {'q': 1}, ['q'], False]`	`[['q'], ['q'], ['c', 'q'], 'q', {'q': 1}, {'q': 1}, [], False]`	Failed
focused match	`[['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'b', {'a': 1, 'b': 1, 'q': 2, 'z': 1}, {'a': 1, 'b': 1, 'q': 2, 'z': 2}, ['b', 'q'], False]`	`[['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'b', {'a': 1, 'b': 1, 'q': 2, 'z': 1}, {'a': 1, 'b': 1, 'q': 2, 'z': 2}, ['z', 'a'], False]`	Failed

SHA-256 / a1552f40d0286909e3006456f0f4f26157f3daf46bcb954b836d930070a6f5ef

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(d):
    matched=set(d['matches'])&set(d['rows'])
    context={a for x in matched for a in d['ancestors'].get(x,[])}
    projected=[x for x in d['rows'] if x in matched|context]
    opened=sorted(set(d['saved_open'])|context)
    selected=d['selected']
    focus=d['focus'] if d['focus'] in projected else next((a for a in reversed(d['ancestors'].get(d['focus'],[])) if a in projected),(projected[0] if projected else None))
    positions={x:1+sum(d['parents'].get(y)==d['parents'].get(x) for y in projected[:i]) for i,x in enumerate(projected)}
    sizes={x:sum(d['parents'].get(y)==d['parents'].get(x) for y in projected) for x in projected}
    context_only=sorted(context)
    empty=not projected
    return [projected,opened,selected,focus,positions,sizes,context_only,empty]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = {1: [('deep match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False]), ('missing match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0'], 'matches': ['b', 'gone'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z', 'a'], False]), ('ancestor match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0'], 'matches': ['a', 'b'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z'], False]), ('no matches', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0'], 'matches': [], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [[], ['q'], ['c', 'q'], None, {}, {}, [], True]), ('root match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0'], 'matches': ['q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['q'], ['q'], ['c', 'q'], 'q', {'q': 1}, {'q': 1}, [], False]), ('focused match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'b'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'b', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False])], 2: [('deep match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False]), ('missing match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1'], 'matches': ['b', 'gone'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z', 'a'], False]), ('ancestor match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1'], 'matches': ['a', 'b'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z'], False]), ('no matches', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1'], 'matches': [], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [[], ['q'], ['c', 'q'], None, {}, {}, [], True]), ('root match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1'], 'matches': ['q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['q'], ['q'], ['c', 'q'], 'q', {'q': 1}, {'q': 1}, [], False]), ('focused match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'b'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'b', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False])], 3: [('deep match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False]), ('missing match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2'], 'matches': ['b', 'gone'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z', 'a'], False]), ('ancestor match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2'], 'matches': ['a', 'b'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z'], False]), ('no matches', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2'], 'matches': [], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [[], ['q'], ['c', 'q'], None, {}, {}, [], True]), ('root match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2'], 'matches': ['q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['q'], ['q'], ['c', 'q'], 'q', {'q': 1}, {'q': 1}, [], False]), ('focused match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'b'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'b', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False])], 4: [('deep match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False]), ('missing match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3'], 'matches': ['b', 'gone'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z', 'a'], False]), ('ancestor match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3'], 'matches': ['a', 'b'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z'], False]), ('no matches', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3'], 'matches': [], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [[], ['q'], ['c', 'q'], None, {}, {}, [], True]), ('root match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3'], 'matches': ['q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['q'], ['q'], ['c', 'q'], 'q', {'q': 1}, {'q': 1}, [], False]), ('focused match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'b'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'b', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False])], 5: [('deep match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3', 'v4'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False]), ('missing match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3', 'v4'], 'matches': ['b', 'gone'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z', 'a'], False]), ('ancestor match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3', 'v4'], 'matches': ['a', 'b'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'z': 1, 'a': 1, 'b': 1}, {'z': 1, 'a': 1, 'b': 1}, ['z'], False]), ('no matches', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3', 'v4'], 'matches': [], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [[], ['q'], ['c', 'q'], None, {}, {}, [], True]), ('root match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3', 'v4'], 'matches': ['q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'c'}, [['q'], ['q'], ['c', 'q'], 'q', {'q': 1}, {'q': 1}, [], False]), ('focused match', {'rows': ['z', 'a', 'b', 'c', 'q', 'v0', 'v1', 'v2', 'v3', 'v4'], 'matches': ['b', 'q'], 'ancestors': {'z': [], 'a': ['z'], 'b': ['z', 'a'], 'c': ['z', 'a'], 'q': [], 'gone': ['ghost']}, 'parents': {'z': None, 'a': 'z', 'b': 'a', 'c': 'a', 'q': None}, 'saved_open': ['q'], 'selected': ['c', 'q'], 'focus': 'b'}, [['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'b', {'z': 1, 'a': 1, 'b': 1, 'q': 2}, {'z': 2, 'a': 1, 'b': 1, 'q': 2}, ['z', 'a'], False])]}
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 fixture	Actual	Expected	Outcome
deep match	`[['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'a': 1, 'b': 1, 'q': 2, 'z': 1}, {'a': 1, 'b': 1, 'q': 2, 'z': 2}, ['a', 'z'], False]`	`[['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'a': 1, 'b': 1, 'q': 2, 'z': 1}, {'a': 1, 'b': 1, 'q': 2, 'z': 2}, ['z', 'a'], False]`	Failed
missing match	`[['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'a': 1, 'b': 1, 'z': 1}, {'a': 1, 'b': 1, 'z': 1}, ['a', 'z'], False]`	`[['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'a': 1, 'b': 1, 'z': 1}, {'a': 1, 'b': 1, 'z': 1}, ['z', 'a'], False]`	Failed
ancestor match	`[['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'a': 1, 'b': 1, 'z': 1}, {'a': 1, 'b': 1, 'z': 1}, ['a', 'z'], False]`	`[['z', 'a', 'b'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'a': 1, 'b': 1, 'z': 1}, {'a': 1, 'b': 1, 'z': 1}, ['z'], False]`	Failed
no matches	`[[], ['q'], ['c', 'q'], None, {}, {}, [], True]`	`[[], ['q'], ['c', 'q'], None, {}, {}, [], True]`	Passed
root match	`[['q'], ['q'], ['c', 'q'], 'q', {'q': 1}, {'q': 1}, [], False]`	`[['q'], ['q'], ['c', 'q'], 'q', {'q': 1}, {'q': 1}, [], False]`	Passed
focused match	`[['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'b', {'a': 1, 'b': 1, 'q': 2, 'z': 1}, {'a': 1, 'b': 1, 'q': 2, 'z': 2}, ['a', 'z'], False]`	`[['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'b', {'a': 1, 'b': 1, 'q': 2, 'z': 1}, {'a': 1, 'b': 1, 'q': 2, 'z': 2}, ['z', 'a'], False]`	Failed

SHA-256 / 620d6d37241cb401be4a9fa68ac9d8d5bcdfc9a1b20c93b8d56220b27c47a74f

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 6 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

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:14.707551+00:00.

Case digest / a8e44d03836f3a8a8602c1e80a1d150006c0a7d925ae45e6a82d329c0d5c2069