FAILURE MAP
← Case archive

FA-39211 / Tree accessibility / Open access

Lazy subtree inherited check intent: Inherited check lookup ignores completed ancestor intents · case 01

Inherited check lookup ignores completed ancestor intents produces the wrong hierarchical widget state in a regression fixture.

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

ROOT CAUSE

The inherited-check-intent contract is violated at `if a in intent` by replacing it with `if a==d['branch']`.

VERIFIED REPAIR

Restore `if a in intent` at this fault site while retaining the other tree state decisions.

Unsuccessful approach: The partial repair `if a in d['unknown'] and a in intent` still violates a boundary or preservation case.

Case contract

Checking an incompletely loaded branch stores inherited intent. Loaded writable descendants receive nearest ancestor intent unless they have an explicit override. Disabled descendants keep stored state. A fully loaded empty branch removes obsolete intent; pending intent remains for unknown descendants.

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):
    intent=dict(d['intent'])
    if d['toggle'] is not None: intent[d['branch']]=d['toggle']
    if d['complete'] and not d['descendants']: intent.pop(d['branch'],None)
    result={}
    for x in d['descendants']:
        nearest=next((a for a in reversed(d['ancestors'][x]) if a==d['branch']),None)
        inherited=intent[nearest] if nearest is not None else d['stored'].get(x,False)
        value=d['overrides'].get(x,inherited)
        result[x]=d['stored'].get(x,False) if x in d['disabled'] else value
    pending={x:v for x,v in intent.items() if x in d['unknown']}
    checked=[x for x in d['descendants'] if result[x]]
    return [intent,result,pending,checked]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = {1: [('inherit', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0']]), ('no toggle', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': None, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('uncheck', {'intent': {'r': True, 'b': True, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('empty unknown', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {}, {'b': True, 'q': True}, []]), ('empty complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'q': True}, {}, {'q': True}, []]), ('loaded complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0']]), ('disabled uncheck', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False}, {'b': False, 'q': True}, ['c', 'd', 'e']])], 2: [('inherit', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1']]), ('no toggle', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': None, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('uncheck', {'intent': {'r': True, 'b': True, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('empty unknown', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {}, {'b': True, 'q': True}, []]), ('empty complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'q': True}, {}, {'q': True}, []]), ('loaded complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1']]), ('disabled uncheck', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False}, {'b': False, 'q': True}, ['c', 'd', 'e']])], 3: [('inherit', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2']]), ('no toggle', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': None, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('uncheck', {'intent': {'r': True, 'b': True, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('empty unknown', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {}, {'b': True, 'q': True}, []]), ('empty complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'q': True}, {}, {'q': True}, []]), ('loaded complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2']]), ('disabled uncheck', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False}, {'b': False, 'q': True}, ['c', 'd', 'e']])], 4: [('inherit', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True, 'v3': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3']]), ('no toggle', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': None, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('uncheck', {'intent': {'r': True, 'b': True, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('empty unknown', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {}, {'b': True, 'q': True}, []]), ('empty complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'q': True}, {}, {'q': True}, []]), ('loaded complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True, 'v3': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3']]), ('disabled uncheck', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False}, {'b': False, 'q': True}, ['c', 'd', 'e']])], 5: [('inherit', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True, 'v3': True, 'v4': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4']]), ('no toggle', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': None, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False, 'v4': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('uncheck', {'intent': {'r': True, 'b': True, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False, 'v4': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('empty unknown', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {}, {'b': True, 'q': True}, []]), ('empty complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'q': True}, {}, {'q': True}, []]), ('loaded complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True, 'v3': True, 'v4': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4']]), ('disabled uncheck', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False, 'v4': False}, {'b': False, 'q': True}, ['c', 'd', 'e']])]}
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
inherit[{'b': True, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': False, 'v0': True, 'z': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'v0']][{'b': True, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'z': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0']]Failed
no toggle[{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': False, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd']][{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]Failed
uncheck[{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': False, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd']][{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]Failed
empty unknown[{'b': True, 'q': True, 'r': True}, {}, {'b': True, 'q': True}, []][{'b': True, 'q': True, 'r': True}, {}, {'b': True, 'q': True}, []]Passed
empty complete[{'q': True, 'r': True}, {}, {'q': True}, []][{'q': True, 'r': True}, {}, {'q': True}, []]Passed
loaded complete[{'b': True, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': False, 'v0': True, 'z': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'v0']][{'b': True, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'z': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0']]Failed
disabled uncheck[{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': False, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd']][{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]Failed

SHA-256 / 0b691f723f65ba9185493d7519838ed634ec085fc312a4baaad4062c5e9920b0

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    intent=dict(d['intent'])
    if d['toggle'] is not None: intent[d['branch']]=d['toggle']
    if d['complete'] and not d['descendants']: intent.pop(d['branch'],None)
    result={}
    for x in d['descendants']:
        nearest=next((a for a in reversed(d['ancestors'][x]) if a in d['unknown'] and a in intent),None)
        inherited=intent[nearest] if nearest is not None else d['stored'].get(x,False)
        value=d['overrides'].get(x,inherited)
        result[x]=d['stored'].get(x,False) if x in d['disabled'] else value
    pending={x:v for x,v in intent.items() if x in d['unknown']}
    checked=[x for x in d['descendants'] if result[x]]
    return [intent,result,pending,checked]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = {1: [('inherit', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0']]), ('no toggle', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': None, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('uncheck', {'intent': {'r': True, 'b': True, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('empty unknown', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {}, {'b': True, 'q': True}, []]), ('empty complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'q': True}, {}, {'q': True}, []]), ('loaded complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0']]), ('disabled uncheck', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False}, {'b': False, 'q': True}, ['c', 'd', 'e']])], 2: [('inherit', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1']]), ('no toggle', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': None, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('uncheck', {'intent': {'r': True, 'b': True, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('empty unknown', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {}, {'b': True, 'q': True}, []]), ('empty complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'q': True}, {}, {'q': True}, []]), ('loaded complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1']]), ('disabled uncheck', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False}, {'b': False, 'q': True}, ['c', 'd', 'e']])], 3: [('inherit', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2']]), ('no toggle', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': None, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('uncheck', {'intent': {'r': True, 'b': True, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('empty unknown', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {}, {'b': True, 'q': True}, []]), ('empty complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'q': True}, {}, {'q': True}, []]), ('loaded complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2']]), ('disabled uncheck', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False}, {'b': False, 'q': True}, ['c', 'd', 'e']])], 4: [('inherit', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True, 'v3': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3']]), ('no toggle', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': None, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('uncheck', {'intent': {'r': True, 'b': True, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('empty unknown', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {}, {'b': True, 'q': True}, []]), ('empty complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'q': True}, {}, {'q': True}, []]), ('loaded complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True, 'v3': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3']]), ('disabled uncheck', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False}, {'b': False, 'q': True}, ['c', 'd', 'e']])], 5: [('inherit', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True, 'v3': True, 'v4': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4']]), ('no toggle', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': None, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False, 'v4': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('uncheck', {'intent': {'r': True, 'b': True, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False, 'v4': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('empty unknown', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {}, {'b': True, 'q': True}, []]), ('empty complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'q': True}, {}, {'q': True}, []]), ('loaded complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True, 'v3': True, 'v4': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4']]), ('disabled uncheck', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False, 'v4': False}, {'b': False, 'q': True}, ['c', 'd', 'e']])]}
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
inherit[{'b': True, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': False, 'v0': True, 'z': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'v0']][{'b': True, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'z': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0']]Failed
no toggle[{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': False, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd']][{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]Failed
uncheck[{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': False, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd']][{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]Failed
empty unknown[{'b': True, 'q': True, 'r': True}, {}, {'b': True, 'q': True}, []][{'b': True, 'q': True, 'r': True}, {}, {'b': True, 'q': True}, []]Passed
empty complete[{'q': True, 'r': True}, {}, {'q': True}, []][{'q': True, 'r': True}, {}, {'q': True}, []]Passed
loaded complete[{'b': True, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': False, 'v0': True, 'z': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'v0']][{'b': True, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'z': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0']]Failed
disabled uncheck[{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': False, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd']][{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]Failed

SHA-256 / 58f08ea18452a4c6350bf0199683bbad7d4810570d6b452de07bcad24cb358af

3 / The verified repair

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

N = 1
observations = []
def solve(d):
    intent=dict(d['intent'])
    if d['toggle'] is not None: intent[d['branch']]=d['toggle']
    if d['complete'] and not d['descendants']: intent.pop(d['branch'],None)
    result={}
    for x in d['descendants']:
        nearest=next((a for a in reversed(d['ancestors'][x]) if a in intent),None)
        inherited=intent[nearest] if nearest is not None else d['stored'].get(x,False)
        value=d['overrides'].get(x,inherited)
        result[x]=d['stored'].get(x,False) if x in d['disabled'] else value
    pending={x:v for x,v in intent.items() if x in d['unknown']}
    checked=[x for x in d['descendants'] if result[x]]
    return [intent,result,pending,checked]
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = {1: [('inherit', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0']]), ('no toggle', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': None, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('uncheck', {'intent': {'r': True, 'b': True, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('empty unknown', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {}, {'b': True, 'q': True}, []]), ('empty complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'q': True}, {}, {'q': True}, []]), ('loaded complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0']]), ('disabled uncheck', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False}, {'b': False, 'q': True}, ['c', 'd', 'e']])], 2: [('inherit', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1']]), ('no toggle', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': None, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('uncheck', {'intent': {'r': True, 'b': True, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('empty unknown', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {}, {'b': True, 'q': True}, []]), ('empty complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'q': True}, {}, {'q': True}, []]), ('loaded complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1']]), ('disabled uncheck', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False}, {'b': False, 'q': True}, ['c', 'd', 'e']])], 3: [('inherit', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2']]), ('no toggle', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': None, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('uncheck', {'intent': {'r': True, 'b': True, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('empty unknown', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {}, {'b': True, 'q': True}, []]), ('empty complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'q': True}, {}, {'q': True}, []]), ('loaded complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2']]), ('disabled uncheck', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False}, {'b': False, 'q': True}, ['c', 'd', 'e']])], 4: [('inherit', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True, 'v3': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3']]), ('no toggle', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': None, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('uncheck', {'intent': {'r': True, 'b': True, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('empty unknown', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {}, {'b': True, 'q': True}, []]), ('empty complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'q': True}, {}, {'q': True}, []]), ('loaded complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True, 'v3': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3']]), ('disabled uncheck', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False}, {'b': False, 'q': True}, ['c', 'd', 'e']])], 5: [('inherit', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True, 'v3': True, 'v4': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4']]), ('no toggle', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': None, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False, 'v4': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('uncheck', {'intent': {'r': True, 'b': True, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False, 'v4': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]), ('empty unknown', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': False, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {}, {'b': True, 'q': True}, []]), ('empty complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': [], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'q': True}, {}, {'q': True}, []]), ('loaded complete', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': True, 'branch': 'b', 'complete': True, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': True, 'q': True}, {'z': True, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'v1': True, 'v2': True, 'v3': True, 'v4': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4']]), ('disabled uncheck', {'intent': {'r': True, 'b': False, 'q': True}, 'toggle': False, 'branch': 'b', 'complete': False, 'descendants': ['z', 'a', 'c', 'd', 'e', 'v0', 'v1', 'v2', 'v3', 'v4'], 'ancestors': {'z': ['r', 'b'], 'a': ['r', 'b'], 'c': ['r', 'b'], 'd': [], 'e': ['r'], 'v0': ['r', 'b'], 'v1': ['r', 'b'], 'v2': ['r', 'b'], 'v3': ['r', 'b'], 'v4': ['r', 'b']}, 'stored': {'c': True, 'd': True}, 'overrides': {'a': False}, 'disabled': ['c'], 'unknown': ['b', 'q']}, [{'r': True, 'b': False, 'q': True}, {'z': False, 'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'v1': False, 'v2': False, 'v3': False, 'v4': False}, {'b': False, 'q': True}, ['c', 'd', 'e']])]}
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
inherit[{'b': True, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'z': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0']][{'b': True, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'z': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0']]Passed
no toggle[{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd', 'e']][{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]Passed
uncheck[{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd', 'e']][{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]Passed
empty unknown[{'b': True, 'q': True, 'r': True}, {}, {'b': True, 'q': True}, []][{'b': True, 'q': True, 'r': True}, {}, {'b': True, 'q': True}, []]Passed
empty complete[{'q': True, 'r': True}, {}, {'q': True}, []][{'q': True, 'r': True}, {}, {'q': True}, []]Passed
loaded complete[{'b': True, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'z': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0']][{'b': True, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': True, 'z': True}, {'b': True, 'q': True}, ['z', 'c', 'd', 'e', 'v0']]Passed
disabled uncheck[{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd', 'e']][{'b': False, 'q': True, 'r': True}, {'a': False, 'c': True, 'd': True, 'e': True, 'v0': False, 'z': False}, {'b': False, 'q': True}, ['c', 'd', 'e']]Passed

SHA-256 / 12e9c063d39eb4c5280a810374f14b4a6d3657aee760a9fbfb85a64cdf94565f

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

Case digest / 8d949375e26994a94707998937a9964e8d2c93a52bbfc7af76e04a657b7e2248