FAILURE MAP
← Case archive

FA-25196 / Filter interfaces / Open access

Removed-child notices wait for the parent option load to settle · case 01

Removed-child notices wait for the parent option load to settle is violated by the widget projection.

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

ROOT CAUSE

The invalid-child-notice decision uses `[x for x in d['selected'] if x not in d['allowed']]` instead of the stipulated dependent-facet projection.

VERIFIED REPAIR

Implement the declared invalid-child-notice projection: `[x for x in d['selected'] if x not in d['allowed']] if not d['loading'] else []`.

Unsuccessful approach: The attempted correction `[]` still violates the explicit contract fixtures.

Case contract

A child facet is meaningful only inside its selected parent scope. Parent changes invalidate incompatible child selections but retain compatible identities. This example checks: Removed-child notices wait for the parent option load to settle.

Why this case matters

Filter-widget state and serialization must preserve user constraints while the view changes.

1 / The failure

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

N = 1
observations = []
def solve(d):
    return {'compatible-child':([x for x in d['selected'] if x in d['allowed']]), 'child-editor-enabled':(d['parent'] is not None and not d['loading']), 'request-parent':({'parent':d['parent']} if d['parent'] is not None else None), 'parent-reset-child':([] if d['parent'] is None else list(d['selected'])), 'pending-validation':(d['parent'] is not None and d['loading'] and bool(d['selected'])), 'invalid-child-notice':([x for x in d['selected'] if x not in d['allowed']])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'parent': None, 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': None, 'loading': True, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['a', 'z']}), ({'parent': '', 'loading': True, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['a', 'z']})], 2: [({'parent': None, 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': '', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': '', 'loading': False, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['z']}), ({'parent': '', 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': '', 'loading': True, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['z']}), ({'parent': 'p', 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': True, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': ['a']})], 3: [({'parent': None, 'loading': True, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': '', 'loading': True, 'selected': ['a'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': [], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': ['a'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': True, 'selected': [], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': True, 'selected': ['a'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': [], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': ['a'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': True, 'selected': [], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []})], 4: [({'parent': '', 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': 'p', 'loading': False, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['a', 'z']}), ({'parent': 'p', 'loading': True, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': ['a', 'z']}), ({'parent': None, 'loading': True, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []})], 5: [({'parent': '', 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': 'p', 'loading': True, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': None, 'loading': False, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': ['z']}), ({'parent': None, 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': True, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': '', 'loading': False, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['z']}), ({'parent': '', 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), 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
contract fixture 0{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': ['a'], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}Failed
contract fixture 1{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': ['a'], 'parent-reset-child': ['a'], 'pending-validation': False, 'request-parent': {'parent': ''}}{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': ['a'], 'parent-reset-child': ['a'], 'pending-validation': False, 'request-parent': {'parent': ''}}Passed
contract fixture 2{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}Passed
contract fixture 3{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': ['a', 'z'], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}Failed
contract fixture 4{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': ''}}{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': ''}}Passed
contract fixture 5{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': ['a', 'z'], 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'request-parent': {'parent': ''}}{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': ['a', 'z'], 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'request-parent': {'parent': ''}}Passed
contract fixture 6{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': ''}}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': ''}}Passed
contract fixture 7{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': ['a', 'z'], 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'request-parent': {'parent': ''}}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'request-parent': {'parent': ''}}Failed
contract fixture 8{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': 'p'}}{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': 'p'}}Passed
contract fixture 9{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': ['a', 'z'], 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'request-parent': {'parent': 'p'}}{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': ['a', 'z'], 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'request-parent': {'parent': 'p'}}Passed

SHA-256 / 096cae71b1fcd589ff0a077a56f0d4c51a431689bd0a6b3589939f03b4a21c44

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'compatible-child':([x for x in d['selected'] if x in d['allowed']]), 'child-editor-enabled':(d['parent'] is not None and not d['loading']), 'request-parent':({'parent':d['parent']} if d['parent'] is not None else None), 'parent-reset-child':([] if d['parent'] is None else list(d['selected'])), 'pending-validation':(d['parent'] is not None and d['loading'] and bool(d['selected'])), 'invalid-child-notice':([])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'parent': None, 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': None, 'loading': True, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['a', 'z']}), ({'parent': '', 'loading': True, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['a', 'z']})], 2: [({'parent': None, 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': '', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': '', 'loading': False, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['z']}), ({'parent': '', 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': '', 'loading': True, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['z']}), ({'parent': 'p', 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': True, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': ['a']})], 3: [({'parent': None, 'loading': True, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': '', 'loading': True, 'selected': ['a'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': [], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': ['a'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': True, 'selected': [], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': True, 'selected': ['a'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': [], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': ['a'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': True, 'selected': [], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []})], 4: [({'parent': '', 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': 'p', 'loading': False, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['a', 'z']}), ({'parent': 'p', 'loading': True, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': ['a', 'z']}), ({'parent': None, 'loading': True, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []})], 5: [({'parent': '', 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': 'p', 'loading': True, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': None, 'loading': False, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': ['z']}), ({'parent': None, 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': True, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': '', 'loading': False, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['z']}), ({'parent': '', 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), 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
contract fixture 0{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}Passed
contract fixture 1{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': ['a'], 'pending-validation': False, 'request-parent': {'parent': ''}}{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': ['a'], 'parent-reset-child': ['a'], 'pending-validation': False, 'request-parent': {'parent': ''}}Failed
contract fixture 2{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}Passed
contract fixture 3{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}Passed
contract fixture 4{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': ''}}{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': ''}}Passed
contract fixture 5{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'request-parent': {'parent': ''}}{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': ['a', 'z'], 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'request-parent': {'parent': ''}}Failed
contract fixture 6{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': ''}}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': ''}}Passed
contract fixture 7{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'request-parent': {'parent': ''}}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'request-parent': {'parent': ''}}Passed
contract fixture 8{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': 'p'}}{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': 'p'}}Passed
contract fixture 9{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'request-parent': {'parent': 'p'}}{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': ['a', 'z'], 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'request-parent': {'parent': 'p'}}Failed

SHA-256 / 710f10b6e6af10011f7358fbd3abc334a1d27689d126127a334695a58c74cdf8

3 / The verified repair

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

N = 1
observations = []
def solve(d):
    return {'compatible-child':([x for x in d['selected'] if x in d['allowed']]), 'child-editor-enabled':(d['parent'] is not None and not d['loading']), 'request-parent':({'parent':d['parent']} if d['parent'] is not None else None), 'parent-reset-child':([] if d['parent'] is None else list(d['selected'])), 'pending-validation':(d['parent'] is not None and d['loading'] and bool(d['selected'])), 'invalid-child-notice':([x for x in d['selected'] if x not in d['allowed']] if not d['loading'] else [])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'parent': None, 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': None, 'loading': True, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['a', 'z']}), ({'parent': '', 'loading': True, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['a', 'z']})], 2: [({'parent': None, 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': '', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': '', 'loading': False, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['z']}), ({'parent': '', 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': '', 'loading': True, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['z']}), ({'parent': 'p', 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': True, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': ['a']})], 3: [({'parent': None, 'loading': True, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': '', 'loading': True, 'selected': ['a'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': [], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': ['a'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': True, 'selected': [], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': True, 'selected': ['a'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': [], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': ['a'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': True, 'selected': [], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []})], 4: [({'parent': '', 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': 'p', 'loading': False, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['a', 'z']}), ({'parent': 'p', 'loading': True, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': ['a', 'z']}), ({'parent': None, 'loading': True, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []})], 5: [({'parent': '', 'loading': True, 'selected': ['a', 'z'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': 'p', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': 'p', 'loading': True, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': {'parent': 'p'}, 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'invalid-child-notice': []}), ({'parent': None, 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': None, 'loading': False, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': ['z']}), ({'parent': None, 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': None, 'loading': True, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': False, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': ['a']}), ({'parent': '', 'loading': False, 'selected': ['a', 'z'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'invalid-child-notice': ['z']}), ({'parent': '', 'loading': True, 'selected': ['a'], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': True, 'invalid-child-notice': []})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), 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
contract fixture 0{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}Passed
contract fixture 1{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': ['a'], 'parent-reset-child': ['a'], 'pending-validation': False, 'request-parent': {'parent': ''}}{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': ['a'], 'parent-reset-child': ['a'], 'pending-validation': False, 'request-parent': {'parent': ''}}Passed
contract fixture 2{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}Passed
contract fixture 3{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}Passed
contract fixture 4{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': ''}}{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': ''}}Passed
contract fixture 5{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': ['a', 'z'], 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'request-parent': {'parent': ''}}{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': ['a', 'z'], 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'request-parent': {'parent': ''}}Passed
contract fixture 6{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': ''}}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': ''}}Passed
contract fixture 7{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'request-parent': {'parent': ''}}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'request-parent': {'parent': ''}}Passed
contract fixture 8{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': 'p'}}{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': 'p'}}Passed
contract fixture 9{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': ['a', 'z'], 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'request-parent': {'parent': 'p'}}{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': ['a', 'z'], 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'request-parent': {'parent': 'p'}}Passed

SHA-256 / 09a9e57864d33237d785f5d3c6fff9ca70f709d215468bc9f9834b893066153e

Verification & scope

Deterministic bounded UI-state model only; no browser, query engine, network, or production-standard conformance is claimed. 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:41:04.464794+00:00.

Case digest / 4002a09c8173125ee1b41a28802eb917c182f9c325d2f58952f757186c0fba7e