{"abstract":"Sibling partition restriction leaks into valid nesting produces the wrong hierarchical widget state in a regression fixture.","category":"Tree accessibility","checks":10,"contract":"A drag advertises one legal drop location at a time. Inside requires a writable branch; before/after require a parent and same sibling partition. Self and descendant targets are forbidden. Copy needs copy permission. Descriptor includes announced hierarchy level and one-based insertion position.","evaluation_group":"s3-tree-drag-descriptor","failed_approach":"The partial repair `d['source_partition']==d['target_partition']` still violates a boundary or preservation case.","family":"s3-tree_accessibility-drag-descriptor-05","id":"FA-38711","implementations":{"attempt":{"sha256":"a1db7789efa3ecc8ddc26f3c6971bd21e076f95ac57722c921a7bb017d5b22ee","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    selfdrop=d['target'] in d['closure']\n    inside=d['placement']=='inside'\n    parent=d['target'] if inside else d['parent']\n    structural=(d['branch'] if inside else parent is not None)\n    partition=d['source_partition']==d['target_partition']\n    permission=d['writable'] and (d['copy_allowed'] if d['effect']=='copy' else d['move_allowed'])\n    allowed=not selfdrop and structural and partition and permission\n    position=d['child_count']+1 if inside else d['target_index']+1+(d['placement']=='after')\n    level=d['target_level']+1 if inside else d['target_level']\n    effect=d['effect'] if allowed else 'none'\n    return [allowed,parent,position,level,effect]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('copy inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [True, 't', 5, 3, 'copy']), ('after sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [True, 'p', 3, 2, 'copy']), ('before sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [True, 'p', 2, 2, 'copy']), ('descendant', {'target': 'c', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, 'c', 5, 3, 'none']), ('leaf inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, 't', 5, 3, 'none']), ('leaf sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [True, 'p', 3, 2, 'copy']), ('root sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': None, 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, None, 2, 2, 'none']), ('forbidden copy', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': False, 'move_allowed': True, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, 't', 5, 3, 'none']), ('move denied', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'move', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, 't', 5, 3, 'none']), ('partition mismatch', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, 'p', 3, 2, 'none'])], 2: [('copy inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [True, 't', 6, 4, 'copy']), ('after sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [True, 'p', 4, 3, 'copy']), ('before sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [True, 'p', 3, 3, 'copy']), ('descendant', {'target': 'c', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, 'c', 6, 4, 'none']), ('leaf inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, 't', 6, 4, 'none']), ('leaf sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [True, 'p', 4, 3, 'copy']), ('root sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': None, 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, None, 3, 3, 'none']), ('forbidden copy', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': False, 'move_allowed': True, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, 't', 6, 4, 'none']), ('move denied', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'move', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, 't', 6, 4, 'none']), ('partition mismatch', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, 'p', 4, 3, 'none'])], 3: [('copy inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [True, 't', 7, 5, 'copy']), ('after sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [True, 'p', 5, 4, 'copy']), ('before sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [True, 'p', 4, 4, 'copy']), ('descendant', {'target': 'c', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, 'c', 7, 5, 'none']), ('leaf inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, 't', 7, 5, 'none']), ('leaf sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [True, 'p', 5, 4, 'copy']), ('root sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': None, 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, None, 4, 4, 'none']), ('forbidden copy', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': False, 'move_allowed': True, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, 't', 7, 5, 'none']), ('move denied', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'move', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, 't', 7, 5, 'none']), ('partition mismatch', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, 'p', 5, 4, 'none'])], 4: [('copy inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [True, 't', 8, 6, 'copy']), ('after sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [True, 'p', 6, 5, 'copy']), ('before sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [True, 'p', 5, 5, 'copy']), ('descendant', {'target': 'c', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, 'c', 8, 6, 'none']), ('leaf inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, 't', 8, 6, 'none']), ('leaf sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [True, 'p', 6, 5, 'copy']), ('root sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': None, 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, None, 5, 5, 'none']), ('forbidden copy', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': False, 'move_allowed': True, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, 't', 8, 6, 'none']), ('move denied', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'move', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, 't', 8, 6, 'none']), ('partition mismatch', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, 'p', 6, 5, 'none'])], 5: [('copy inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [True, 't', 9, 7, 'copy']), ('after sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [True, 'p', 7, 6, 'copy']), ('before sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [True, 'p', 6, 6, 'copy']), ('descendant', {'target': 'c', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, 'c', 9, 7, 'none']), ('leaf inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, 't', 9, 7, 'none']), ('leaf sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [True, 'p', 7, 6, 'copy']), ('root sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': None, 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, None, 6, 6, 'none']), ('forbidden copy', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': False, 'move_allowed': True, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, 't', 9, 7, 'none']), ('move denied', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'move', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, 't', 9, 7, 'none']), ('partition mismatch', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, 'p', 7, 6, 'none'])]}\nfor label, data, expected in cases[N]:\n    check(label, solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"1139752b722599198f15341e455c4e37e3ded68fb1a4048fdbe186994b269ab1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    selfdrop=d['target'] in d['closure']\n    inside=d['placement']=='inside'\n    parent=d['target'] if inside else d['parent']\n    structural=(d['branch'] if inside else parent is not None)\n    partition=True\n    permission=d['writable'] and (d['copy_allowed'] if d['effect']=='copy' else d['move_allowed'])\n    allowed=not selfdrop and structural and partition and permission\n    position=d['child_count']+1 if inside else d['target_index']+1+(d['placement']=='after')\n    level=d['target_level']+1 if inside else d['target_level']\n    effect=d['effect'] if allowed else 'none'\n    return [allowed,parent,position,level,effect]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('copy inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [True, 't', 5, 3, 'copy']), ('after sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [True, 'p', 3, 2, 'copy']), ('before sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [True, 'p', 2, 2, 'copy']), ('descendant', {'target': 'c', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, 'c', 5, 3, 'none']), ('leaf inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, 't', 5, 3, 'none']), ('leaf sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [True, 'p', 3, 2, 'copy']), ('root sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': None, 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, None, 2, 2, 'none']), ('forbidden copy', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': False, 'move_allowed': True, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, 't', 5, 3, 'none']), ('move denied', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'move', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, 't', 5, 3, 'none']), ('partition mismatch', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, 'p', 3, 2, 'none'])], 2: [('copy inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [True, 't', 6, 4, 'copy']), ('after sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [True, 'p', 4, 3, 'copy']), ('before sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [True, 'p', 3, 3, 'copy']), ('descendant', {'target': 'c', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, 'c', 6, 4, 'none']), ('leaf inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, 't', 6, 4, 'none']), ('leaf sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [True, 'p', 4, 3, 'copy']), ('root sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': None, 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, None, 3, 3, 'none']), ('forbidden copy', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': False, 'move_allowed': True, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, 't', 6, 4, 'none']), ('move denied', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'move', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, 't', 6, 4, 'none']), ('partition mismatch', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, 'p', 4, 3, 'none'])], 3: [('copy inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [True, 't', 7, 5, 'copy']), ('after sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [True, 'p', 5, 4, 'copy']), ('before sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [True, 'p', 4, 4, 'copy']), ('descendant', {'target': 'c', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, 'c', 7, 5, 'none']), ('leaf inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, 't', 7, 5, 'none']), ('leaf sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [True, 'p', 5, 4, 'copy']), ('root sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': None, 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, None, 4, 4, 'none']), ('forbidden copy', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': False, 'move_allowed': True, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, 't', 7, 5, 'none']), ('move denied', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'move', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, 't', 7, 5, 'none']), ('partition mismatch', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, 'p', 5, 4, 'none'])], 4: [('copy inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [True, 't', 8, 6, 'copy']), ('after sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [True, 'p', 6, 5, 'copy']), ('before sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [True, 'p', 5, 5, 'copy']), ('descendant', {'target': 'c', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, 'c', 8, 6, 'none']), ('leaf inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, 't', 8, 6, 'none']), ('leaf sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [True, 'p', 6, 5, 'copy']), ('root sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': None, 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, None, 5, 5, 'none']), ('forbidden copy', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': False, 'move_allowed': True, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, 't', 8, 6, 'none']), ('move denied', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'move', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, 't', 8, 6, 'none']), ('partition mismatch', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, 'p', 6, 5, 'none'])], 5: [('copy inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [True, 't', 9, 7, 'copy']), ('after sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [True, 'p', 7, 6, 'copy']), ('before sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [True, 'p', 6, 6, 'copy']), ('descendant', {'target': 'c', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, 'c', 9, 7, 'none']), ('leaf inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, 't', 9, 7, 'none']), ('leaf sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [True, 'p', 7, 6, 'copy']), ('root sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': None, 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, None, 6, 6, 'none']), ('forbidden copy', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': False, 'move_allowed': True, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, 't', 9, 7, 'none']), ('move denied', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'move', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, 't', 9, 7, 'none']), ('partition mismatch', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, 'p', 7, 6, 'none'])]}\nfor label, data, expected in cases[N]:\n    check(label, solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"b07a02a62b71a2ac266ff21b9609ded74e36bf98711829ce4be61f1150192353","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    selfdrop=d['target'] in d['closure']\n    inside=d['placement']=='inside'\n    parent=d['target'] if inside else d['parent']\n    structural=(d['branch'] if inside else parent is not None)\n    partition=inside or d['source_partition']==d['target_partition']\n    permission=d['writable'] and (d['copy_allowed'] if d['effect']=='copy' else d['move_allowed'])\n    allowed=not selfdrop and structural and partition and permission\n    position=d['child_count']+1 if inside else d['target_index']+1+(d['placement']=='after')\n    level=d['target_level']+1 if inside else d['target_level']\n    effect=d['effect'] if allowed else 'none'\n    return [allowed,parent,position,level,effect]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = {1: [('copy inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [True, 't', 5, 3, 'copy']), ('after sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [True, 'p', 3, 2, 'copy']), ('before sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [True, 'p', 2, 2, 'copy']), ('descendant', {'target': 'c', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, 'c', 5, 3, 'none']), ('leaf inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, 't', 5, 3, 'none']), ('leaf sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [True, 'p', 3, 2, 'copy']), ('root sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': None, 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, None, 2, 2, 'none']), ('forbidden copy', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': False, 'move_allowed': True, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, 't', 5, 3, 'none']), ('move denied', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'move', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, 't', 5, 3, 'none']), ('partition mismatch', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 4, 'target_index': 1, 'target_level': 2}, [False, 'p', 3, 2, 'none'])], 2: [('copy inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [True, 't', 6, 4, 'copy']), ('after sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [True, 'p', 4, 3, 'copy']), ('before sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [True, 'p', 3, 3, 'copy']), ('descendant', {'target': 'c', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, 'c', 6, 4, 'none']), ('leaf inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, 't', 6, 4, 'none']), ('leaf sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [True, 'p', 4, 3, 'copy']), ('root sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': None, 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, None, 3, 3, 'none']), ('forbidden copy', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': False, 'move_allowed': True, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, 't', 6, 4, 'none']), ('move denied', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'move', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, 't', 6, 4, 'none']), ('partition mismatch', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 5, 'target_index': 2, 'target_level': 3}, [False, 'p', 4, 3, 'none'])], 3: [('copy inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [True, 't', 7, 5, 'copy']), ('after sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [True, 'p', 5, 4, 'copy']), ('before sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [True, 'p', 4, 4, 'copy']), ('descendant', {'target': 'c', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, 'c', 7, 5, 'none']), ('leaf inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, 't', 7, 5, 'none']), ('leaf sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [True, 'p', 5, 4, 'copy']), ('root sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': None, 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, None, 4, 4, 'none']), ('forbidden copy', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': False, 'move_allowed': True, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, 't', 7, 5, 'none']), ('move denied', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'move', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, 't', 7, 5, 'none']), ('partition mismatch', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 6, 'target_index': 3, 'target_level': 4}, [False, 'p', 5, 4, 'none'])], 4: [('copy inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [True, 't', 8, 6, 'copy']), ('after sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [True, 'p', 6, 5, 'copy']), ('before sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [True, 'p', 5, 5, 'copy']), ('descendant', {'target': 'c', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, 'c', 8, 6, 'none']), ('leaf inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, 't', 8, 6, 'none']), ('leaf sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [True, 'p', 6, 5, 'copy']), ('root sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': None, 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, None, 5, 5, 'none']), ('forbidden copy', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': False, 'move_allowed': True, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, 't', 8, 6, 'none']), ('move denied', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'move', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, 't', 8, 6, 'none']), ('partition mismatch', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 7, 'target_index': 4, 'target_level': 5}, [False, 'p', 6, 5, 'none'])], 5: [('copy inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [True, 't', 9, 7, 'copy']), ('after sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [True, 'p', 7, 6, 'copy']), ('before sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [True, 'p', 6, 6, 'copy']), ('descendant', {'target': 'c', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, 'c', 9, 7, 'none']), ('leaf inside', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, 't', 9, 7, 'none']), ('leaf sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': False, 'source_partition': 'A', 'target_partition': 'A', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [True, 'p', 7, 6, 'copy']), ('root sibling', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'before', 'parent': None, 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, None, 6, 6, 'none']), ('forbidden copy', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': False, 'move_allowed': True, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, 't', 9, 7, 'none']), ('move denied', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'inside', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'move', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, 't', 9, 7, 'none']), ('partition mismatch', {'target': 't', 'source': 's', 'closure': ['s', 'c'], 'placement': 'after', 'parent': 'p', 'branch': True, 'source_partition': 'A', 'target_partition': 'B', 'writable': True, 'copy_allowed': True, 'move_allowed': False, 'effect': 'copy', 'child_count': 8, 'target_index': 5, 'target_level': 6}, [False, 'p', 7, 6, 'none'])]}\nfor label, data, expected in cases[N]:\n    check(label, solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"Synthetic deterministic hierarchical-widget data contract; not an implementation of a browser accessibility tree. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-tree_accessibility-drag-descriptor-05","generated_at":"2026-09-29T14:43:13.940297+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Offline executable model of a hierarchical accessibility interaction; inputs are bounded and valid as stipulated. No browser, assistive technology, or normative ARIA conformance is claimed.","repair":"Restore `inside or d['source_partition']==d['target_partition']` at this fault site while retaining the other tree state decisions.","root_cause":"The drag-descriptor contract is violated at `inside or d['source_partition']==d['target_partition']` by replacing it with `True`.","sha256":"a1ec046df74141f9a92a7270cac491a59f2a8b22b8b99ee5656ba4f15a7b6279","title":"Tree drop accessibility descriptor: Sibling partition restriction leaks into valid nesting · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.997,"exit_code":1,"observations":[{"actual":[false,"t",5,3,"none"],"check":"copy inside","expected":[true,"t",5,3,"copy"],"passed":false},{"actual":[true,"p",3,2,"copy"],"check":"after sibling","expected":[true,"p",3,2,"copy"],"passed":true},{"actual":[true,"p",2,2,"copy"],"check":"before sibling","expected":[true,"p",2,2,"copy"],"passed":true},{"actual":[false,"c",5,3,"none"],"check":"descendant","expected":[false,"c",5,3,"none"],"passed":true},{"actual":[false,"t",5,3,"none"],"check":"leaf inside","expected":[false,"t",5,3,"none"],"passed":true},{"actual":[true,"p",3,2,"copy"],"check":"leaf sibling","expected":[true,"p",3,2,"copy"],"passed":true},{"actual":[false,null,2,2,"none"],"check":"root sibling","expected":[false,null,2,2,"none"],"passed":true},{"actual":[false,"t",5,3,"none"],"check":"forbidden copy","expected":[false,"t",5,3,"none"],"passed":true},{"actual":[false,"t",5,3,"none"],"check":"move denied","expected":[false,"t",5,3,"none"],"passed":true},{"actual":[false,"p",3,2,"none"],"check":"partition mismatch","expected":[false,"p",3,2,"none"],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"copy inside\", \"actual\": [false, \"t\", 5, 3, \"none\"], \"expected\": [true, \"t\", 5, 3, \"copy\"], \"passed\": false}, {\"check\": \"after sibling\", \"actual\": [true, \"p\", 3, 2, \"copy\"], \"expected\": [true, \"p\", 3, 2, \"copy\"], \"passed\": true}, {\"check\": \"before sibling\", \"actual\": [true, \"p\", 2, 2, \"copy\"], \"expected\": [true, \"p\", 2, 2, \"copy\"], \"passed\": true}, {\"check\": \"descendant\", \"actual\": [false, \"c\", 5, 3, \"none\"], \"expected\": [false, \"c\", 5, 3, \"none\"], \"passed\": true}, {\"check\": \"leaf inside\", \"actual\": [false, \"t\", 5, 3, \"none\"], \"expected\": [false, \"t\", 5, 3, \"none\"], \"passed\": true}, {\"check\": \"leaf sibling\", \"actual\": [true, \"p\", 3, 2, \"copy\"], \"expected\": [true, \"p\", 3, 2, \"copy\"], \"passed\": true}, {\"check\": \"root sibling\", \"actual\": [false, null, 2, 2, \"none\"], \"expected\": [false, null, 2, 2, \"none\"], \"passed\": true}, {\"check\": \"forbidden copy\", \"actual\": [false, \"t\", 5, 3, \"none\"], \"expected\": [false, \"t\", 5, 3, \"none\"], \"passed\": true}, {\"check\": \"move denied\", \"actual\": [false, \"t\", 5, 3, \"none\"], \"expected\": [false, \"t\", 5, 3, \"none\"], \"passed\": true}, {\"check\": \"partition mismatch\", \"actual\": [false, \"p\", 3, 2, \"none\"], \"expected\": [false, \"p\", 3, 2, \"none\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.99,"exit_code":1,"observations":[{"actual":[true,"t",5,3,"copy"],"check":"copy inside","expected":[true,"t",5,3,"copy"],"passed":true},{"actual":[true,"p",3,2,"copy"],"check":"after sibling","expected":[true,"p",3,2,"copy"],"passed":true},{"actual":[true,"p",2,2,"copy"],"check":"before sibling","expected":[true,"p",2,2,"copy"],"passed":true},{"actual":[false,"c",5,3,"none"],"check":"descendant","expected":[false,"c",5,3,"none"],"passed":true},{"actual":[false,"t",5,3,"none"],"check":"leaf inside","expected":[false,"t",5,3,"none"],"passed":true},{"actual":[true,"p",3,2,"copy"],"check":"leaf sibling","expected":[true,"p",3,2,"copy"],"passed":true},{"actual":[false,null,2,2,"none"],"check":"root sibling","expected":[false,null,2,2,"none"],"passed":true},{"actual":[false,"t",5,3,"none"],"check":"forbidden copy","expected":[false,"t",5,3,"none"],"passed":true},{"actual":[false,"t",5,3,"none"],"check":"move denied","expected":[false,"t",5,3,"none"],"passed":true},{"actual":[true,"p",3,2,"copy"],"check":"partition mismatch","expected":[false,"p",3,2,"none"],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"copy inside\", \"actual\": [true, \"t\", 5, 3, \"copy\"], \"expected\": [true, \"t\", 5, 3, \"copy\"], \"passed\": true}, {\"check\": \"after sibling\", \"actual\": [true, \"p\", 3, 2, \"copy\"], \"expected\": [true, \"p\", 3, 2, \"copy\"], \"passed\": true}, {\"check\": \"before sibling\", \"actual\": [true, \"p\", 2, 2, \"copy\"], \"expected\": [true, \"p\", 2, 2, \"copy\"], \"passed\": true}, {\"check\": \"descendant\", \"actual\": [false, \"c\", 5, 3, \"none\"], \"expected\": [false, \"c\", 5, 3, \"none\"], \"passed\": true}, {\"check\": \"leaf inside\", \"actual\": [false, \"t\", 5, 3, \"none\"], \"expected\": [false, \"t\", 5, 3, \"none\"], \"passed\": true}, {\"check\": \"leaf sibling\", \"actual\": [true, \"p\", 3, 2, \"copy\"], \"expected\": [true, \"p\", 3, 2, \"copy\"], \"passed\": true}, {\"check\": \"root sibling\", \"actual\": [false, null, 2, 2, \"none\"], \"expected\": [false, null, 2, 2, \"none\"], \"passed\": true}, {\"check\": \"forbidden copy\", \"actual\": [false, \"t\", 5, 3, \"none\"], \"expected\": [false, \"t\", 5, 3, \"none\"], \"passed\": true}, {\"check\": \"move denied\", \"actual\": [false, \"t\", 5, 3, \"none\"], \"expected\": [false, \"t\", 5, 3, \"none\"], \"passed\": true}, {\"check\": \"partition mismatch\", \"actual\": [true, \"p\", 3, 2, \"copy\"], \"expected\": [false, \"p\", 3, 2, \"none\"], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.121,"exit_code":0,"observations":[{"actual":[true,"t",5,3,"copy"],"check":"copy inside","expected":[true,"t",5,3,"copy"],"passed":true},{"actual":[true,"p",3,2,"copy"],"check":"after sibling","expected":[true,"p",3,2,"copy"],"passed":true},{"actual":[true,"p",2,2,"copy"],"check":"before sibling","expected":[true,"p",2,2,"copy"],"passed":true},{"actual":[false,"c",5,3,"none"],"check":"descendant","expected":[false,"c",5,3,"none"],"passed":true},{"actual":[false,"t",5,3,"none"],"check":"leaf inside","expected":[false,"t",5,3,"none"],"passed":true},{"actual":[true,"p",3,2,"copy"],"check":"leaf sibling","expected":[true,"p",3,2,"copy"],"passed":true},{"actual":[false,null,2,2,"none"],"check":"root sibling","expected":[false,null,2,2,"none"],"passed":true},{"actual":[false,"t",5,3,"none"],"check":"forbidden copy","expected":[false,"t",5,3,"none"],"passed":true},{"actual":[false,"t",5,3,"none"],"check":"move denied","expected":[false,"t",5,3,"none"],"passed":true},{"actual":[false,"p",3,2,"none"],"check":"partition mismatch","expected":[false,"p",3,2,"none"],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"copy inside\", \"actual\": [true, \"t\", 5, 3, \"copy\"], \"expected\": [true, \"t\", 5, 3, \"copy\"], \"passed\": true}, {\"check\": \"after sibling\", \"actual\": [true, \"p\", 3, 2, \"copy\"], \"expected\": [true, \"p\", 3, 2, \"copy\"], \"passed\": true}, {\"check\": \"before sibling\", \"actual\": [true, \"p\", 2, 2, \"copy\"], \"expected\": [true, \"p\", 2, 2, \"copy\"], \"passed\": true}, {\"check\": \"descendant\", \"actual\": [false, \"c\", 5, 3, \"none\"], \"expected\": [false, \"c\", 5, 3, \"none\"], \"passed\": true}, {\"check\": \"leaf inside\", \"actual\": [false, \"t\", 5, 3, \"none\"], \"expected\": [false, \"t\", 5, 3, \"none\"], \"passed\": true}, {\"check\": \"leaf sibling\", \"actual\": [true, \"p\", 3, 2, \"copy\"], \"expected\": [true, \"p\", 3, 2, \"copy\"], \"passed\": true}, {\"check\": \"root sibling\", \"actual\": [false, null, 2, 2, \"none\"], \"expected\": [false, null, 2, 2, \"none\"], \"passed\": true}, {\"check\": \"forbidden copy\", \"actual\": [false, \"t\", 5, 3, \"none\"], \"expected\": [false, \"t\", 5, 3, \"none\"], \"passed\": true}, {\"check\": \"move denied\", \"actual\": [false, \"t\", 5, 3, \"none\"], \"expected\": [false, \"t\", 5, 3, \"none\"], \"passed\": true}, {\"check\": \"partition mismatch\", \"actual\": [false, \"p\", 3, 2, \"none\"], \"expected\": [false, \"p\", 3, 2, \"none\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}