FAILURE MAP
← Case archive

FA-25561 / Filter interfaces / Open access

Disabled visible choices are excluded from bulk targets · case 01

Disabled visible choices are excluded from bulk targets is violated by the widget projection.

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

ROOT CAUSE

The eligible decision uses `list(d['visible'])` instead of the stipulated bulk-facet-selection projection.

VERIFIED REPAIR

Implement the declared eligible projection: `[x for x in d['visible'] if x not in d['disabled']]`.

Unsuccessful approach: The attempted correction `[x for x in d['visible'] if x not in d['selected']]` still violates the explicit contract fixtures.

Case contract

Bulk selection acts on eligible visible choices, preserves hidden selections and reports mixed state over the eligible visible subset only. This example checks: Disabled visible choices are excluded from bulk targets.

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 {'eligible':(list(d['visible'])), 'select-union':(list(dict.fromkeys(d['selected']+[x for x in d['visible'] if x not in d['disabled']]))), 'clear-subset':([x for x in d['selected'] if x not in d['visible'] or x in d['disabled']]), 'all-visible':(bool([x for x in d['visible'] if x not in d['disabled']]) and all(x in d['selected'] for x in d['visible'] if x not in d['disabled'])), 'mixed-visible':(0<sum(x in d['selected'] for x in d['visible'] if x not in d['disabled'])<sum(x not in d['disabled'] for x in d['visible'])), 'bulk-added-count':(sum(x not in d['selected'] and x not in d['disabled'] for x in d['visible']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'visible': ['a', 'b'], 'selected': [], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 1}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'z'], 'disabled': ['b']}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': []}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a', 'z'], 'clear-subset': ['z'], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0})], 2: [({'visible': ['a', 'b'], 'selected': [], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a', 'z'], 'clear-subset': ['z'], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'z', 'b'], 'clear-subset': ['z'], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a', 'b'], 'clear-subset': ['b'], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': [], 'disabled': []}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': [], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a'], 'disabled': ['b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'z'], 'disabled': []}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0})], 3: [({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a', 'b'], 'clear-subset': ['b'], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': [], 'disabled': ['b']}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a'], 'disabled': []}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'z'], 'disabled': ['b']}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': []}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0})], 4: [({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1}), ({'visible': [], 'selected': ['a'], 'disabled': ['b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'z'], 'disabled': []}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'z'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': ['b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': [], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 2}), ({'visible': ['a', 'b'], 'selected': [], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'z', 'b'], 'clear-subset': ['z'], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1})], 5: [({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a', 'z'], 'clear-subset': ['z'], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'z', 'b'], 'clear-subset': ['z'], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': [], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 1}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': [], 'disabled': ['b']}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a'], 'disabled': []}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0})]}
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{'all-visible': False, 'bulk-added-count': 1, 'clear-subset': [], 'eligible': ['a', 'b'], 'mixed-visible': False, 'select-union': ['a']}{'all-visible': False, 'bulk-added-count': 1, 'clear-subset': [], 'eligible': ['a'], 'mixed-visible': False, 'select-union': ['a']}Failed
contract fixture 1{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': [], 'eligible': ['a', 'b'], 'mixed-visible': False, 'select-union': ['a']}{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': [], 'eligible': ['a'], 'mixed-visible': False, 'select-union': ['a']}Failed
contract fixture 2{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'z'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'z']}{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'z'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'z']}Passed
contract fixture 3{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}Passed
contract fixture 4{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}Passed
contract fixture 5{'all-visible': False, 'bulk-added-count': 1, 'clear-subset': [], 'eligible': ['a', 'b'], 'mixed-visible': True, 'select-union': ['a', 'b']}{'all-visible': False, 'bulk-added-count': 1, 'clear-subset': [], 'eligible': ['a', 'b'], 'mixed-visible': True, 'select-union': ['a', 'b']}Passed
contract fixture 6{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a'], 'eligible': ['a', 'b'], 'mixed-visible': False, 'select-union': ['a']}{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a']}Failed
contract fixture 7{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': ['z'], 'eligible': ['a', 'b'], 'mixed-visible': False, 'select-union': ['a', 'z']}{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': ['z'], 'eligible': ['a'], 'mixed-visible': False, 'select-union': ['a', 'z']}Failed
contract fixture 8{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': [], 'eligible': ['a', 'b'], 'mixed-visible': False, 'select-union': ['a', 'b']}{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': [], 'eligible': ['a', 'b'], 'mixed-visible': False, 'select-union': ['a', 'b']}Passed
contract fixture 9{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': ['a', 'b'], 'mixed-visible': False, 'select-union': ['a', 'b']}{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}Failed

SHA-256 / 9a9a55092ae11768344d2dd3051fb032caca3373cc0482a91a07480ccd154efc

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'eligible':([x for x in d['visible'] if x not in d['selected']]), 'select-union':(list(dict.fromkeys(d['selected']+[x for x in d['visible'] if x not in d['disabled']]))), 'clear-subset':([x for x in d['selected'] if x not in d['visible'] or x in d['disabled']]), 'all-visible':(bool([x for x in d['visible'] if x not in d['disabled']]) and all(x in d['selected'] for x in d['visible'] if x not in d['disabled'])), 'mixed-visible':(0<sum(x in d['selected'] for x in d['visible'] if x not in d['disabled'])<sum(x not in d['disabled'] for x in d['visible'])), 'bulk-added-count':(sum(x not in d['selected'] and x not in d['disabled'] for x in d['visible']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'visible': ['a', 'b'], 'selected': [], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 1}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'z'], 'disabled': ['b']}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': []}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a', 'z'], 'clear-subset': ['z'], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0})], 2: [({'visible': ['a', 'b'], 'selected': [], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a', 'z'], 'clear-subset': ['z'], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'z', 'b'], 'clear-subset': ['z'], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a', 'b'], 'clear-subset': ['b'], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': [], 'disabled': []}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': [], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a'], 'disabled': ['b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'z'], 'disabled': []}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0})], 3: [({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a', 'b'], 'clear-subset': ['b'], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': [], 'disabled': ['b']}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a'], 'disabled': []}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'z'], 'disabled': ['b']}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': []}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0})], 4: [({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1}), ({'visible': [], 'selected': ['a'], 'disabled': ['b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'z'], 'disabled': []}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'z'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': ['b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': [], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 2}), ({'visible': ['a', 'b'], 'selected': [], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'z', 'b'], 'clear-subset': ['z'], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1})], 5: [({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a', 'z'], 'clear-subset': ['z'], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'z', 'b'], 'clear-subset': ['z'], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': [], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 1}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': [], 'disabled': ['b']}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a'], 'disabled': []}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0})]}
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{'all-visible': False, 'bulk-added-count': 1, 'clear-subset': [], 'eligible': ['a', 'b'], 'mixed-visible': False, 'select-union': ['a']}{'all-visible': False, 'bulk-added-count': 1, 'clear-subset': [], 'eligible': ['a'], 'mixed-visible': False, 'select-union': ['a']}Failed
contract fixture 1{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': [], 'eligible': ['b'], 'mixed-visible': False, 'select-union': ['a']}{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': [], 'eligible': ['a'], 'mixed-visible': False, 'select-union': ['a']}Failed
contract fixture 2{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'z'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'z']}{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'z'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'z']}Passed
contract fixture 3{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}Passed
contract fixture 4{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}Passed
contract fixture 5{'all-visible': False, 'bulk-added-count': 1, 'clear-subset': [], 'eligible': ['b'], 'mixed-visible': True, 'select-union': ['a', 'b']}{'all-visible': False, 'bulk-added-count': 1, 'clear-subset': [], 'eligible': ['a', 'b'], 'mixed-visible': True, 'select-union': ['a', 'b']}Failed
contract fixture 6{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a'], 'eligible': ['b'], 'mixed-visible': False, 'select-union': ['a']}{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a']}Failed
contract fixture 7{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': ['z'], 'eligible': ['b'], 'mixed-visible': False, 'select-union': ['a', 'z']}{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': ['z'], 'eligible': ['a'], 'mixed-visible': False, 'select-union': ['a', 'z']}Failed
contract fixture 8{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': [], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': [], 'eligible': ['a', 'b'], 'mixed-visible': False, 'select-union': ['a', 'b']}Failed
contract fixture 9{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}Passed

SHA-256 / cb145ae1f7b6baa318c4d32fc39480262bfb179372547d3856e0df5b0e5a7b74

3 / The verified repair

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

N = 1
observations = []
def solve(d):
    return {'eligible':([x for x in d['visible'] if x not in d['disabled']]), 'select-union':(list(dict.fromkeys(d['selected']+[x for x in d['visible'] if x not in d['disabled']]))), 'clear-subset':([x for x in d['selected'] if x not in d['visible'] or x in d['disabled']]), 'all-visible':(bool([x for x in d['visible'] if x not in d['disabled']]) and all(x in d['selected'] for x in d['visible'] if x not in d['disabled'])), 'mixed-visible':(0<sum(x in d['selected'] for x in d['visible'] if x not in d['disabled'])<sum(x not in d['disabled'] for x in d['visible'])), 'bulk-added-count':(sum(x not in d['selected'] and x not in d['disabled'] for x in d['visible']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'visible': ['a', 'b'], 'selected': [], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 1}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'z'], 'disabled': ['b']}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': []}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a', 'z'], 'clear-subset': ['z'], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0})], 2: [({'visible': ['a', 'b'], 'selected': [], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a', 'z'], 'clear-subset': ['z'], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'z', 'b'], 'clear-subset': ['z'], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a', 'b'], 'clear-subset': ['b'], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': [], 'disabled': []}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': [], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a'], 'disabled': ['b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'z'], 'disabled': []}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0})], 3: [({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a', 'b'], 'clear-subset': ['b'], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': [], 'disabled': ['b']}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a'], 'disabled': []}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'z'], 'disabled': ['b']}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': []}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0})], 4: [({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1}), ({'visible': [], 'selected': ['a'], 'disabled': ['b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'z'], 'disabled': []}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'z'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'z'], 'clear-subset': ['a', 'z'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': ['b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': [], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 2}), ({'visible': ['a', 'b'], 'selected': [], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'z', 'b'], 'clear-subset': ['z'], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1})], 5: [({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a', 'z'], 'clear-subset': ['z'], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'z'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'z', 'b'], 'clear-subset': ['z'], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1}), ({'visible': [], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': [], 'disabled': ['b']}, {'eligible': ['a'], 'select-union': ['a'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 1}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': False, 'mixed-visible': True, 'bulk-added-count': 1}), ({'visible': ['a', 'b'], 'selected': ['a'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': []}, {'eligible': ['a', 'b'], 'select-union': ['a', 'b'], 'clear-subset': [], 'all-visible': True, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': ['a', 'b'], 'selected': ['a', 'b'], 'disabled': ['a', 'b']}, {'eligible': [], 'select-union': ['a', 'b'], 'clear-subset': ['a', 'b'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': [], 'disabled': ['b']}, {'eligible': [], 'select-union': [], 'clear-subset': [], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0}), ({'visible': [], 'selected': ['a'], 'disabled': []}, {'eligible': [], 'select-union': ['a'], 'clear-subset': ['a'], 'all-visible': False, 'mixed-visible': False, 'bulk-added-count': 0})]}
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{'all-visible': False, 'bulk-added-count': 1, 'clear-subset': [], 'eligible': ['a'], 'mixed-visible': False, 'select-union': ['a']}{'all-visible': False, 'bulk-added-count': 1, 'clear-subset': [], 'eligible': ['a'], 'mixed-visible': False, 'select-union': ['a']}Passed
contract fixture 1{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': [], 'eligible': ['a'], 'mixed-visible': False, 'select-union': ['a']}{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': [], 'eligible': ['a'], 'mixed-visible': False, 'select-union': ['a']}Passed
contract fixture 2{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'z'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'z']}{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'z'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'z']}Passed
contract fixture 3{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}Passed
contract fixture 4{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}Passed
contract fixture 5{'all-visible': False, 'bulk-added-count': 1, 'clear-subset': [], 'eligible': ['a', 'b'], 'mixed-visible': True, 'select-union': ['a', 'b']}{'all-visible': False, 'bulk-added-count': 1, 'clear-subset': [], 'eligible': ['a', 'b'], 'mixed-visible': True, 'select-union': ['a', 'b']}Passed
contract fixture 6{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a']}{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a']}Passed
contract fixture 7{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': ['z'], 'eligible': ['a'], 'mixed-visible': False, 'select-union': ['a', 'z']}{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': ['z'], 'eligible': ['a'], 'mixed-visible': False, 'select-union': ['a', 'z']}Passed
contract fixture 8{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': [], 'eligible': ['a', 'b'], 'mixed-visible': False, 'select-union': ['a', 'b']}{'all-visible': True, 'bulk-added-count': 0, 'clear-subset': [], 'eligible': ['a', 'b'], 'mixed-visible': False, 'select-union': ['a', 'b']}Passed
contract fixture 9{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}{'all-visible': False, 'bulk-added-count': 0, 'clear-subset': ['a', 'b'], 'eligible': [], 'mixed-visible': False, 'select-union': ['a', 'b']}Passed

SHA-256 / d4f5f4380685c4a5084b7f4e40991ec9b2cb52579201b47df0a60e47fefa63ba

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

Case digest / aa1bd8f4f4536adb86902c290b57d7a73fb7b140617e90f9068db62b40f14492