FAILURE MAP
← Case archive

FA-25181 / Filter interfaces / Open access

Empty-string parent identities still scope dependent option requests · case 01

Empty-string parent identities still scope dependent option requests is violated by the widget projection.

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

ROOT CAUSE

The request-parent decision uses `{'parent':d['parent']}` instead of the stipulated dependent-facet projection.

THE FAILURE

The request-parent decision uses `{'parent':d['parent']}` instead of the stipulated dependent-facet projection.

Unsuccessful approach: The attempted correction `{'parent':d['parent']} if d['parent'] else None` 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: Empty-string parent identities still scope dependent option requests.

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']}), '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': False, 'selected': [], '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': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': []}), ({'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': False, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': True, 'selected': [], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, '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': []}), ({'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'], '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': 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': []})], 3: [({'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': []}), ({'parent': None, 'loading': True, 'selected': ['a'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []})], 4: [({'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': '', 'loading': False, 'selected': [], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, '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']}), ({'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': 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': '', 'loading': False, 'selected': ['a'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': False, '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']}), ({'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': {'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': ['a'], 'invalid-child-notice': [], 'parent-reset-child': ['a'], 'pending-validation': False, 'request-parent': {'parent': ''}}{'child-editor-enabled': True, 'compatible-child': ['a'], 'invalid-child-notice': [], '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': {'parent': None}}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': None}Failed
contract fixture 3{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'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': [], '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 / 001ef009c66a16d847728709a3b653813adf486e148b8a1336d40a656d311268

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'] 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': False, 'selected': [], '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': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': False, 'invalid-child-notice': []}), ({'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': False, 'selected': [], 'allowed': ['a']}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []}), ({'parent': '', 'loading': True, 'selected': [], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': False, 'request-parent': {'parent': ''}, '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': []}), ({'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'], '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': 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': []})], 3: [({'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': []}), ({'parent': None, 'loading': True, 'selected': ['a'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': False, 'request-parent': None, 'parent-reset-child': [], 'pending-validation': False, 'invalid-child-notice': []})], 4: [({'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': '', 'loading': False, 'selected': [], 'allowed': []}, {'compatible-child': [], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, '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']}), ({'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': 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': '', 'loading': False, 'selected': ['a'], 'allowed': ['a']}, {'compatible-child': ['a'], 'child-editor-enabled': True, 'request-parent': {'parent': ''}, 'parent-reset-child': ['a'], 'pending-validation': False, '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']}), ({'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': ['a'], 'invalid-child-notice': [], 'parent-reset-child': ['a'], 'pending-validation': False, 'request-parent': None}{'child-editor-enabled': True, 'compatible-child': ['a'], 'invalid-child-notice': [], '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': None}{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': ''}}Failed
contract fixture 5{'child-editor-enabled': True, 'compatible-child': [], 'invalid-child-notice': ['a', 'z'], 'parent-reset-child': ['a', 'z'], 'pending-validation': False, 'request-parent': None}{'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': None}{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': [], 'pending-validation': False, 'request-parent': {'parent': ''}}Failed
contract fixture 7{'child-editor-enabled': False, 'compatible-child': [], 'invalid-child-notice': [], 'parent-reset-child': ['a', 'z'], 'pending-validation': True, 'request-parent': None}{'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 / 29b65210ada1bdd0b91dc98423b1f509ad5e6a24ec6fd68e855b99ffc264f0a4

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 10 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Sign in to the archive ↗

Verification & scope

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

Case digest / 381d5abc9aca5372438a02ff07185c72cbf97840fe458d14d9d68432a889449c