FAILURE MAP
← Case archive

FA-25666 / Filter interfaces / Open access

Reset-to-default replaces rather than merges user operands · case 01

Reset-to-default replaces rather than merges user operands is violated by the widget projection.

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

ROOT CAUSE

The reset-to-default decision uses `list(d['user'])` instead of the stipulated default-provenance projection.

VERIFIED REPAIR

Implement the declared reset-to-default projection: `list(d['new_default'])`.

Unsuccessful approach: The attempted correction `list(dict.fromkeys(d['user']+d['new_default']))` still violates the explicit contract fixtures.

Case contract

Default filters are applied only before user intent exists; an explicit cleared state differs from absence, and changes to defaults do not overwrite user-owned settings. This example checks: Reset-to-default replaces rather than merges user operands.

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 {'initial-default':(d['user'] if d['present'] else d['default']), 'default-update':(d['new_default'] if d['origin']=='default' else d['user']), 'clear-origin':('user'), 'reset-to-default':(list(d['user'])), 'default-badge':(d['origin']=='default'), 'persist-empty':(d['present'] and d['user']==[])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['b'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['b'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': [], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': True}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': [], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': True}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False})], 2: [({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['b'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': [], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': True}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': [], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': True}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False})], 3: [({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': [], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': True}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['b'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['b'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': [], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': True}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False})], 4: [({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': [], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': True}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['b'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['b'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False})], 5: [({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['b'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': [], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': True}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': [], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': True}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False})]}
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{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': []}{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Failed
contract fixture 1{'clear-origin': 'user', 'default-badge': False, 'default-update': ['a'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['a']}{'clear-origin': 'user', 'default-badge': False, 'default-update': ['a'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Failed
contract fixture 2{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['b']}{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Failed
contract fixture 3{'clear-origin': 'user', 'default-badge': False, 'default-update': ['b'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['b']}{'clear-origin': 'user', 'default-badge': False, 'default-update': ['b'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Failed
contract fixture 4{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['b'], 'persist-empty': False, 'reset-to-default': ['b']}{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['b'], 'persist-empty': False, 'reset-to-default': ['c']}Failed
contract fixture 5{'clear-origin': 'user', 'default-badge': False, 'default-update': ['b'], 'initial-default': ['b'], 'persist-empty': False, 'reset-to-default': ['b']}{'clear-origin': 'user', 'default-badge': False, 'default-update': ['b'], 'initial-default': ['b'], 'persist-empty': False, 'reset-to-default': ['c']}Failed
contract fixture 6{'clear-origin': 'user', 'default-badge': False, 'default-update': [], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': []}{'clear-origin': 'user', 'default-badge': False, 'default-update': [], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Failed
contract fixture 7{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': [], 'persist-empty': True, 'reset-to-default': []}{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': [], 'persist-empty': True, 'reset-to-default': ['c']}Failed
contract fixture 8{'clear-origin': 'user', 'default-badge': False, 'default-update': [], 'initial-default': [], 'persist-empty': True, 'reset-to-default': []}{'clear-origin': 'user', 'default-badge': False, 'default-update': [], 'initial-default': [], 'persist-empty': True, 'reset-to-default': ['c']}Failed
contract fixture 9{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['a']}{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Failed

SHA-256 / 6cfb9724005c55c31acc96fd3ae25f86b4365fd0cefd72716be9819cbcadfa9e

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'initial-default':(d['user'] if d['present'] else d['default']), 'default-update':(d['new_default'] if d['origin']=='default' else d['user']), 'clear-origin':('user'), 'reset-to-default':(list(dict.fromkeys(d['user']+d['new_default']))), 'default-badge':(d['origin']=='default'), 'persist-empty':(d['present'] and d['user']==[])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['b'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['b'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': [], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': True}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': [], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': True}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False})], 2: [({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['b'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': [], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': True}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': [], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': True}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False})], 3: [({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': [], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': True}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['b'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['b'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': [], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': True}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False})], 4: [({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': [], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': True}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['b'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['b'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False})], 5: [({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['b'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': [], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': True}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': [], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': True}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False})]}
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{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Passed
contract fixture 1{'clear-origin': 'user', 'default-badge': False, 'default-update': ['a'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['a', 'c']}{'clear-origin': 'user', 'default-badge': False, 'default-update': ['a'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Failed
contract fixture 2{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['b', 'c']}{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Failed
contract fixture 3{'clear-origin': 'user', 'default-badge': False, 'default-update': ['b'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['b', 'c']}{'clear-origin': 'user', 'default-badge': False, 'default-update': ['b'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Failed
contract fixture 4{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['b'], 'persist-empty': False, 'reset-to-default': ['b', 'c']}{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['b'], 'persist-empty': False, 'reset-to-default': ['c']}Failed
contract fixture 5{'clear-origin': 'user', 'default-badge': False, 'default-update': ['b'], 'initial-default': ['b'], 'persist-empty': False, 'reset-to-default': ['b', 'c']}{'clear-origin': 'user', 'default-badge': False, 'default-update': ['b'], 'initial-default': ['b'], 'persist-empty': False, 'reset-to-default': ['c']}Failed
contract fixture 6{'clear-origin': 'user', 'default-badge': False, 'default-update': [], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}{'clear-origin': 'user', 'default-badge': False, 'default-update': [], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Passed
contract fixture 7{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': [], 'persist-empty': True, 'reset-to-default': ['c']}{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': [], 'persist-empty': True, 'reset-to-default': ['c']}Passed
contract fixture 8{'clear-origin': 'user', 'default-badge': False, 'default-update': [], 'initial-default': [], 'persist-empty': True, 'reset-to-default': ['c']}{'clear-origin': 'user', 'default-badge': False, 'default-update': [], 'initial-default': [], 'persist-empty': True, 'reset-to-default': ['c']}Passed
contract fixture 9{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['a', 'c']}{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Failed

SHA-256 / 5b3963f666fdc905630f4a98840b33c308ffc858c64c42dc5207c9f128a9794e

3 / The verified repair

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

N = 1
observations = []
def solve(d):
    return {'initial-default':(d['user'] if d['present'] else d['default']), 'default-update':(d['new_default'] if d['origin']=='default' else d['user']), 'clear-origin':('user'), 'reset-to-default':(list(d['new_default'])), 'default-badge':(d['origin']=='default'), 'persist-empty':(d['present'] and d['user']==[])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['b'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['b'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': [], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': True}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': [], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': True}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False})], 2: [({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['b'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': [], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': True}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': [], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': True}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False})], 3: [({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': [], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': True}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['b'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['b'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': [], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': True}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False})], 4: [({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': [], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': True}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['b'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['b'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False})], 5: [({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['b'], 'default-update': ['b'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': [], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': True}), ({'user': [], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': [], 'default-update': [], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': True}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False}), ({'user': ['a'], 'default': ['a'], 'new_default': ['c'], 'present': True, 'origin': 'user'}, {'initial-default': ['a'], 'default-update': ['a'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': False, 'persist-empty': False}), ({'user': ['b'], 'default': ['a'], 'new_default': ['c'], 'present': False, 'origin': 'default'}, {'initial-default': ['a'], 'default-update': ['c'], 'clear-origin': 'user', 'reset-to-default': ['c'], 'default-badge': True, 'persist-empty': False})]}
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{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Passed
contract fixture 1{'clear-origin': 'user', 'default-badge': False, 'default-update': ['a'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}{'clear-origin': 'user', 'default-badge': False, 'default-update': ['a'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Passed
contract fixture 2{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Passed
contract fixture 3{'clear-origin': 'user', 'default-badge': False, 'default-update': ['b'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}{'clear-origin': 'user', 'default-badge': False, 'default-update': ['b'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Passed
contract fixture 4{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['b'], 'persist-empty': False, 'reset-to-default': ['c']}{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['b'], 'persist-empty': False, 'reset-to-default': ['c']}Passed
contract fixture 5{'clear-origin': 'user', 'default-badge': False, 'default-update': ['b'], 'initial-default': ['b'], 'persist-empty': False, 'reset-to-default': ['c']}{'clear-origin': 'user', 'default-badge': False, 'default-update': ['b'], 'initial-default': ['b'], 'persist-empty': False, 'reset-to-default': ['c']}Passed
contract fixture 6{'clear-origin': 'user', 'default-badge': False, 'default-update': [], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}{'clear-origin': 'user', 'default-badge': False, 'default-update': [], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Passed
contract fixture 7{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': [], 'persist-empty': True, 'reset-to-default': ['c']}{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': [], 'persist-empty': True, 'reset-to-default': ['c']}Passed
contract fixture 8{'clear-origin': 'user', 'default-badge': False, 'default-update': [], 'initial-default': [], 'persist-empty': True, 'reset-to-default': ['c']}{'clear-origin': 'user', 'default-badge': False, 'default-update': [], 'initial-default': [], 'persist-empty': True, 'reset-to-default': ['c']}Passed
contract fixture 9{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}{'clear-origin': 'user', 'default-badge': True, 'default-update': ['c'], 'initial-default': ['a'], 'persist-empty': False, 'reset-to-default': ['c']}Passed

SHA-256 / 7d2766ebfb9fdd7222394d42e6cc1c4bff706d365e4ee97a1446a507c53f07d9

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

Case digest / 14bcc5e7b133f5712dcc3458836cb057e903a8ffed7b1d1f40c1c32f840a3a88