FAILURE MAP
← Case archive

FA-38771 / Tree accessibility / Open access

Hierarchical filter projection: Filtered sibling position uses global preorder offset · case 01

Filtered sibling position uses global preorder offset 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 `1+sum(d['parents'].get(y)==d['parents'].get(x) for y in projected[:i])` by replacing it with `i+1`.

THE FAILURE

The tree-filter-projection contract is violated at `1+sum(d['parents'].get(y)==d['parents'].get(x) for y in projected[:i])` by replacing it with `i+1`.

Unsuccessful approach: The partial repair `sum(d['parents'].get(y)==d['parents'].get(x) for y in projected[:i])` 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:i+1 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 not 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 fixtureActualExpectedOutcome
deep match[['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'a': 2, 'b': 3, 'q': 4, 'z': 1}, {'a': 1, 'b': 1, 'q': 2, 'z': 2}, ['z', 'a'], 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': 2, 'b': 3, 'z': 1}, {'a': 1, 'b': 1, 'z': 1}, ['z', 'a'], 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': 2, 'b': 3, 'z': 1}, {'a': 1, 'b': 1, 'z': 1}, ['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': 2, 'b': 3, 'q': 4, 'z': 1}, {'a': 1, 'b': 1, 'q': 2, 'z': 2}, ['z', 'a'], 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 / 822a4d159f09bccafea77247e9f2997c17a40222dfe0106d0ad4d9b29576e866

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: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 not 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 fixtureActualExpectedOutcome
deep match[['z', 'a', 'b', 'q'], ['a', 'q', 'z'], ['c', 'q'], 'a', {'a': 0, 'b': 0, 'q': 1, 'z': 0}, {'a': 1, 'b': 1, 'q': 2, 'z': 2}, ['z', 'a'], 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': 0, 'b': 0, 'z': 0}, {'a': 1, 'b': 1, 'z': 1}, ['z', 'a'], 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': 0, 'b': 0, 'z': 0}, {'a': 1, 'b': 1, 'z': 1}, ['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': 0}, {'q': 1}, [], 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': 0, 'b': 0, 'q': 1, 'z': 0}, {'a': 1, 'b': 1, 'q': 2, 'z': 2}, ['z', 'a'], 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 / 8974457749ccf04873ecdfbd352c459e319d371007fde1651a20cdd207bdee6b

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.

Sign in to the archive ↗

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 / bff4b9b731687bc9f2efa195eac6184a8196e18d263918f0af87586a65499e23