FAILURE MAP
← Case archive

FA-39276 / Tree accessibility / Open access

Tree branch refresh reconciliation: Refresh incorrectly closes a surviving editor · case 01

Refresh incorrectly closes a surviving editor produces the wrong hierarchical widget state in a regression fixture.

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

ROOT CAUSE

The branch-refresh contract is violated at `None if d['edit'] in removed else d['edit']` by replacing it with `None`.

THE FAILURE

The branch-refresh contract is violated at `None if d['edit'] in removed else d['edit']` by replacing it with `None`.

Unsuccessful approach: The partial repair `d['edit']` still violates a boundary or preservation case.

Case contract

A refresh replaces one branch child list while preserving child identity state for survivors. Removed child closures lose selection, expansion, cached data and edit sessions; descendants of surviving children remain. Fresh child order wins. Focus removed by refresh recovers to the parent; unrelated focus remains.

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):
    new=list(dict.fromkeys(d['incoming']))
    removed_roots=set(d['old'])-set(new)
    removed={x for x in d['rows'] if x in removed_roots or any(a in removed_roots for a in d['ancestors'].get(x,[]))}
    selected=[x for x in d['selected'] if x not in removed]
    expanded=[x for x in d['expanded'] if x not in removed]
    cache={x:v for x,v in d['cache'].items() if x not in removed}
    focus=d['parent'] if d['focus'] in removed else d['focus']
    edit=None
    added=[x for x in new if x not in d['old']]
    versions={x:(d['revision'] if x==d['parent'] else v) for x,v in d['versions'].items()}
    return [new,sorted(removed),selected,expanded,cache,focus,edit,added,versions]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = {1: [('removed child', {'incoming': ['z', 'a', 'z', 'v0'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 6}, [['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'r', None, ['z', 'v0'], {'r': 6, 'outside': 2}]), ('surviving focus', {'incoming': ['z', 'a', 'z', 'v0'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'aa', 'edit': 'aa', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 6}, [['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'aa', 'aa', ['z', 'v0'], {'r': 6, 'outside': 2}]), ('outside focus', {'incoming': ['z', 'a', 'z', 'v0'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'outside', 'edit': None, 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 6}, [['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'outside', None, ['z', 'v0'], {'r': 6, 'outside': 2}]), ('empty refresh', {'incoming': [], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 6}, [[], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, [], {'r': 6, 'outside': 2}]), ('same children', {'incoming': ['b', 'a'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 6}, [['b', 'a'], [], ['aa', 'bb', 'outside'], ['a', 'b', 'bb'], {'aa': 1, 'bb': 2, 'outside': 3}, 'bb', 'bb', [], {'r': 6, 'outside': 2}]), ('only new children', {'incoming': ['z'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 6}, [['z'], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, ['z'], {'r': 6, 'outside': 2}])], 2: [('removed child', {'incoming': ['z', 'a', 'z', 'v0', 'v1'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 7}, [['z', 'a', 'v0', 'v1'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'r', None, ['z', 'v0', 'v1'], {'r': 7, 'outside': 2}]), ('surviving focus', {'incoming': ['z', 'a', 'z', 'v0', 'v1'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'aa', 'edit': 'aa', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 7}, [['z', 'a', 'v0', 'v1'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'aa', 'aa', ['z', 'v0', 'v1'], {'r': 7, 'outside': 2}]), ('outside focus', {'incoming': ['z', 'a', 'z', 'v0', 'v1'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'outside', 'edit': None, 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 7}, [['z', 'a', 'v0', 'v1'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'outside', None, ['z', 'v0', 'v1'], {'r': 7, 'outside': 2}]), ('empty refresh', {'incoming': [], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 7}, [[], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, [], {'r': 7, 'outside': 2}]), ('same children', {'incoming': ['b', 'a'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 7}, [['b', 'a'], [], ['aa', 'bb', 'outside'], ['a', 'b', 'bb'], {'aa': 1, 'bb': 2, 'outside': 3}, 'bb', 'bb', [], {'r': 7, 'outside': 2}]), ('only new children', {'incoming': ['z'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 7}, [['z'], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, ['z'], {'r': 7, 'outside': 2}])], 3: [('removed child', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 8}, [['z', 'a', 'v0', 'v1', 'v2'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'r', None, ['z', 'v0', 'v1', 'v2'], {'r': 8, 'outside': 2}]), ('surviving focus', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'aa', 'edit': 'aa', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 8}, [['z', 'a', 'v0', 'v1', 'v2'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'aa', 'aa', ['z', 'v0', 'v1', 'v2'], {'r': 8, 'outside': 2}]), ('outside focus', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'outside', 'edit': None, 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 8}, [['z', 'a', 'v0', 'v1', 'v2'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'outside', None, ['z', 'v0', 'v1', 'v2'], {'r': 8, 'outside': 2}]), ('empty refresh', {'incoming': [], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 8}, [[], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, [], {'r': 8, 'outside': 2}]), ('same children', {'incoming': ['b', 'a'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 8}, [['b', 'a'], [], ['aa', 'bb', 'outside'], ['a', 'b', 'bb'], {'aa': 1, 'bb': 2, 'outside': 3}, 'bb', 'bb', [], {'r': 8, 'outside': 2}]), ('only new children', {'incoming': ['z'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 8}, [['z'], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, ['z'], {'r': 8, 'outside': 2}])], 4: [('removed child', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2', 'v3'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 9}, [['z', 'a', 'v0', 'v1', 'v2', 'v3'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'r', None, ['z', 'v0', 'v1', 'v2', 'v3'], {'r': 9, 'outside': 2}]), ('surviving focus', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2', 'v3'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'aa', 'edit': 'aa', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 9}, [['z', 'a', 'v0', 'v1', 'v2', 'v3'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'aa', 'aa', ['z', 'v0', 'v1', 'v2', 'v3'], {'r': 9, 'outside': 2}]), ('outside focus', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2', 'v3'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'outside', 'edit': None, 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 9}, [['z', 'a', 'v0', 'v1', 'v2', 'v3'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'outside', None, ['z', 'v0', 'v1', 'v2', 'v3'], {'r': 9, 'outside': 2}]), ('empty refresh', {'incoming': [], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 9}, [[], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, [], {'r': 9, 'outside': 2}]), ('same children', {'incoming': ['b', 'a'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 9}, [['b', 'a'], [], ['aa', 'bb', 'outside'], ['a', 'b', 'bb'], {'aa': 1, 'bb': 2, 'outside': 3}, 'bb', 'bb', [], {'r': 9, 'outside': 2}]), ('only new children', {'incoming': ['z'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 9}, [['z'], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, ['z'], {'r': 9, 'outside': 2}])], 5: [('removed child', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2', 'v3', 'v4'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 10}, [['z', 'a', 'v0', 'v1', 'v2', 'v3', 'v4'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'r', None, ['z', 'v0', 'v1', 'v2', 'v3', 'v4'], {'r': 10, 'outside': 2}]), ('surviving focus', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2', 'v3', 'v4'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'aa', 'edit': 'aa', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 10}, [['z', 'a', 'v0', 'v1', 'v2', 'v3', 'v4'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'aa', 'aa', ['z', 'v0', 'v1', 'v2', 'v3', 'v4'], {'r': 10, 'outside': 2}]), ('outside focus', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2', 'v3', 'v4'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'outside', 'edit': None, 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 10}, [['z', 'a', 'v0', 'v1', 'v2', 'v3', 'v4'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'outside', None, ['z', 'v0', 'v1', 'v2', 'v3', 'v4'], {'r': 10, 'outside': 2}]), ('empty refresh', {'incoming': [], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 10}, [[], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, [], {'r': 10, 'outside': 2}]), ('same children', {'incoming': ['b', 'a'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 10}, [['b', 'a'], [], ['aa', 'bb', 'outside'], ['a', 'b', 'bb'], {'aa': 1, 'bb': 2, 'outside': 3}, 'bb', 'bb', [], {'r': 10, 'outside': 2}]), ('only new children', {'incoming': ['z'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 10}, [['z'], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, ['z'], {'r': 10, 'outside': 2}])]}
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
removed child[['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'r', None, ['z', 'v0'], {'outside': 2, 'r': 6}][['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'r', None, ['z', 'v0'], {'outside': 2, 'r': 6}]Passed
surviving focus[['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'aa', None, ['z', 'v0'], {'outside': 2, 'r': 6}][['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'aa', 'aa', ['z', 'v0'], {'outside': 2, 'r': 6}]Failed
outside focus[['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'outside', None, ['z', 'v0'], {'outside': 2, 'r': 6}][['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'outside', None, ['z', 'v0'], {'outside': 2, 'r': 6}]Passed
empty refresh[[], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, [], {'outside': 2, 'r': 6}][[], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, [], {'outside': 2, 'r': 6}]Passed
same children[['b', 'a'], [], ['aa', 'bb', 'outside'], ['a', 'b', 'bb'], {'aa': 1, 'bb': 2, 'outside': 3}, 'bb', None, [], {'outside': 2, 'r': 6}][['b', 'a'], [], ['aa', 'bb', 'outside'], ['a', 'b', 'bb'], {'aa': 1, 'bb': 2, 'outside': 3}, 'bb', 'bb', [], {'outside': 2, 'r': 6}]Failed
only new children[['z'], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, ['z'], {'outside': 2, 'r': 6}][['z'], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, ['z'], {'outside': 2, 'r': 6}]Passed

SHA-256 / 91bd0cbc8c11b1c9aaea8c9f5d124c54ee0f2e11f5cb7c134276cf999a547e5d

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    new=list(dict.fromkeys(d['incoming']))
    removed_roots=set(d['old'])-set(new)
    removed={x for x in d['rows'] if x in removed_roots or any(a in removed_roots for a in d['ancestors'].get(x,[]))}
    selected=[x for x in d['selected'] if x not in removed]
    expanded=[x for x in d['expanded'] if x not in removed]
    cache={x:v for x,v in d['cache'].items() if x not in removed}
    focus=d['parent'] if d['focus'] in removed else d['focus']
    edit=d['edit']
    added=[x for x in new if x not in d['old']]
    versions={x:(d['revision'] if x==d['parent'] else v) for x,v in d['versions'].items()}
    return [new,sorted(removed),selected,expanded,cache,focus,edit,added,versions]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = {1: [('removed child', {'incoming': ['z', 'a', 'z', 'v0'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 6}, [['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'r', None, ['z', 'v0'], {'r': 6, 'outside': 2}]), ('surviving focus', {'incoming': ['z', 'a', 'z', 'v0'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'aa', 'edit': 'aa', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 6}, [['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'aa', 'aa', ['z', 'v0'], {'r': 6, 'outside': 2}]), ('outside focus', {'incoming': ['z', 'a', 'z', 'v0'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'outside', 'edit': None, 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 6}, [['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'outside', None, ['z', 'v0'], {'r': 6, 'outside': 2}]), ('empty refresh', {'incoming': [], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 6}, [[], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, [], {'r': 6, 'outside': 2}]), ('same children', {'incoming': ['b', 'a'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 6}, [['b', 'a'], [], ['aa', 'bb', 'outside'], ['a', 'b', 'bb'], {'aa': 1, 'bb': 2, 'outside': 3}, 'bb', 'bb', [], {'r': 6, 'outside': 2}]), ('only new children', {'incoming': ['z'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 6}, [['z'], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, ['z'], {'r': 6, 'outside': 2}])], 2: [('removed child', {'incoming': ['z', 'a', 'z', 'v0', 'v1'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 7}, [['z', 'a', 'v0', 'v1'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'r', None, ['z', 'v0', 'v1'], {'r': 7, 'outside': 2}]), ('surviving focus', {'incoming': ['z', 'a', 'z', 'v0', 'v1'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'aa', 'edit': 'aa', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 7}, [['z', 'a', 'v0', 'v1'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'aa', 'aa', ['z', 'v0', 'v1'], {'r': 7, 'outside': 2}]), ('outside focus', {'incoming': ['z', 'a', 'z', 'v0', 'v1'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'outside', 'edit': None, 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 7}, [['z', 'a', 'v0', 'v1'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'outside', None, ['z', 'v0', 'v1'], {'r': 7, 'outside': 2}]), ('empty refresh', {'incoming': [], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 7}, [[], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, [], {'r': 7, 'outside': 2}]), ('same children', {'incoming': ['b', 'a'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 7}, [['b', 'a'], [], ['aa', 'bb', 'outside'], ['a', 'b', 'bb'], {'aa': 1, 'bb': 2, 'outside': 3}, 'bb', 'bb', [], {'r': 7, 'outside': 2}]), ('only new children', {'incoming': ['z'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 7}, [['z'], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, ['z'], {'r': 7, 'outside': 2}])], 3: [('removed child', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 8}, [['z', 'a', 'v0', 'v1', 'v2'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'r', None, ['z', 'v0', 'v1', 'v2'], {'r': 8, 'outside': 2}]), ('surviving focus', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'aa', 'edit': 'aa', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 8}, [['z', 'a', 'v0', 'v1', 'v2'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'aa', 'aa', ['z', 'v0', 'v1', 'v2'], {'r': 8, 'outside': 2}]), ('outside focus', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'outside', 'edit': None, 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 8}, [['z', 'a', 'v0', 'v1', 'v2'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'outside', None, ['z', 'v0', 'v1', 'v2'], {'r': 8, 'outside': 2}]), ('empty refresh', {'incoming': [], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 8}, [[], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, [], {'r': 8, 'outside': 2}]), ('same children', {'incoming': ['b', 'a'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 8}, [['b', 'a'], [], ['aa', 'bb', 'outside'], ['a', 'b', 'bb'], {'aa': 1, 'bb': 2, 'outside': 3}, 'bb', 'bb', [], {'r': 8, 'outside': 2}]), ('only new children', {'incoming': ['z'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 8}, [['z'], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, ['z'], {'r': 8, 'outside': 2}])], 4: [('removed child', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2', 'v3'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 9}, [['z', 'a', 'v0', 'v1', 'v2', 'v3'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'r', None, ['z', 'v0', 'v1', 'v2', 'v3'], {'r': 9, 'outside': 2}]), ('surviving focus', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2', 'v3'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'aa', 'edit': 'aa', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 9}, [['z', 'a', 'v0', 'v1', 'v2', 'v3'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'aa', 'aa', ['z', 'v0', 'v1', 'v2', 'v3'], {'r': 9, 'outside': 2}]), ('outside focus', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2', 'v3'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'outside', 'edit': None, 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 9}, [['z', 'a', 'v0', 'v1', 'v2', 'v3'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'outside', None, ['z', 'v0', 'v1', 'v2', 'v3'], {'r': 9, 'outside': 2}]), ('empty refresh', {'incoming': [], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 9}, [[], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, [], {'r': 9, 'outside': 2}]), ('same children', {'incoming': ['b', 'a'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 9}, [['b', 'a'], [], ['aa', 'bb', 'outside'], ['a', 'b', 'bb'], {'aa': 1, 'bb': 2, 'outside': 3}, 'bb', 'bb', [], {'r': 9, 'outside': 2}]), ('only new children', {'incoming': ['z'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 9}, [['z'], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, ['z'], {'r': 9, 'outside': 2}])], 5: [('removed child', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2', 'v3', 'v4'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 10}, [['z', 'a', 'v0', 'v1', 'v2', 'v3', 'v4'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'r', None, ['z', 'v0', 'v1', 'v2', 'v3', 'v4'], {'r': 10, 'outside': 2}]), ('surviving focus', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2', 'v3', 'v4'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'aa', 'edit': 'aa', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 10}, [['z', 'a', 'v0', 'v1', 'v2', 'v3', 'v4'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'aa', 'aa', ['z', 'v0', 'v1', 'v2', 'v3', 'v4'], {'r': 10, 'outside': 2}]), ('outside focus', {'incoming': ['z', 'a', 'z', 'v0', 'v1', 'v2', 'v3', 'v4'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'outside', 'edit': None, 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 10}, [['z', 'a', 'v0', 'v1', 'v2', 'v3', 'v4'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'outside', None, ['z', 'v0', 'v1', 'v2', 'v3', 'v4'], {'r': 10, 'outside': 2}]), ('empty refresh', {'incoming': [], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 10}, [[], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, [], {'r': 10, 'outside': 2}]), ('same children', {'incoming': ['b', 'a'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 10}, [['b', 'a'], [], ['aa', 'bb', 'outside'], ['a', 'b', 'bb'], {'aa': 1, 'bb': 2, 'outside': 3}, 'bb', 'bb', [], {'r': 10, 'outside': 2}]), ('only new children', {'incoming': ['z'], 'old': ['a', 'b'], 'rows': ['r', 'a', 'aa', 'b', 'bb', 'outside'], 'ancestors': {'a': ['r'], 'aa': ['r', 'a'], 'b': ['r'], 'bb': ['r', 'b']}, 'selected': ['aa', 'bb', 'outside'], 'expanded': ['a', 'b', 'bb'], 'cache': {'aa': 1, 'bb': 2, 'outside': 3}, 'focus': 'bb', 'edit': 'bb', 'parent': 'r', 'versions': {'r': 1, 'outside': 2}, 'revision': 10}, [['z'], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, ['z'], {'r': 10, 'outside': 2}])]}
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
removed child[['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'r', 'bb', ['z', 'v0'], {'outside': 2, 'r': 6}][['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'r', None, ['z', 'v0'], {'outside': 2, 'r': 6}]Failed
surviving focus[['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'aa', 'aa', ['z', 'v0'], {'outside': 2, 'r': 6}][['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'aa', 'aa', ['z', 'v0'], {'outside': 2, 'r': 6}]Passed
outside focus[['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'outside', None, ['z', 'v0'], {'outside': 2, 'r': 6}][['z', 'a', 'v0'], ['b', 'bb'], ['aa', 'outside'], ['a'], {'aa': 1, 'outside': 3}, 'outside', None, ['z', 'v0'], {'outside': 2, 'r': 6}]Passed
empty refresh[[], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', 'bb', [], {'outside': 2, 'r': 6}][[], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, [], {'outside': 2, 'r': 6}]Failed
same children[['b', 'a'], [], ['aa', 'bb', 'outside'], ['a', 'b', 'bb'], {'aa': 1, 'bb': 2, 'outside': 3}, 'bb', 'bb', [], {'outside': 2, 'r': 6}][['b', 'a'], [], ['aa', 'bb', 'outside'], ['a', 'b', 'bb'], {'aa': 1, 'bb': 2, 'outside': 3}, 'bb', 'bb', [], {'outside': 2, 'r': 6}]Passed
only new children[['z'], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', 'bb', ['z'], {'outside': 2, 'r': 6}][['z'], ['a', 'aa', 'b', 'bb'], ['outside'], [], {'outside': 3}, 'r', None, ['z'], {'outside': 2, 'r': 6}]Failed

SHA-256 / 11b10d35a5da277c8f802da1668392f896742e8ac5a3d5c29d7be6824469f539

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

Case digest / d381462144075ec6b0e3a3358631939a780409e9ea59c76c6ca1415ce54184c8