{"abstract":"Retired selected enums remain visible for inspection is violated by the widget projection.","category":"Filter interfaces","checks":10,"contract":"An enum filter may retain a retired selected value but cannot add it again. Captions come from current labels with a stable-ID fallback. This example checks: Retired selected enums remain visible for inspection.","evaluation_group":"s3-filter-interfaces-retired-enumeration","failed_approach":"The attempted correction `d['selected']` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-retired-enumeration-retired-visible","id":"FA-25531","implementations":{"attempt":{"sha256":"2d29e6203dda26a6c049942e67a58c1d172ab9f04094739668d78b820bc819f4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'retired-visible':(d['selected']), 'add-permission':(d['current'] and not d['blocked']), 'remove-permission':(d['selected'] and not d['locked']), 'label-fallback':(d['label'] if d['label'] is not None else d['id']), 'retired-badge':(d['selected'] and not d['current']), 'serialize-identity':(d['id'] if d['selected'] else None)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'current': False, 'selected': True, 'blocked': False, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': True, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': True, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': True, 'blocked': True, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': '', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': True, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': True, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': True, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': 'stable-id'})], 2: [({'current': False, 'selected': True, 'blocked': False, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': '', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': True, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': True, 'blocked': False, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'Caption', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': True, 'blocked': True, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': True, 'blocked': True, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': False, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': True, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': True, 'blocked': False, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': True, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': 'stable-id'})], 3: [({'current': False, 'selected': True, 'blocked': False, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'Caption', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': True, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': True, 'blocked': True, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': False, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': False, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': True, 'blocked': False, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': True, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': False, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': False, 'blocked': False, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': False, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None})], 4: [({'current': False, 'selected': True, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': False, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': False, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': True, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': True, 'blocked': False, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': True, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': False, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': False, 'blocked': False, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': False, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': True, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None})], 5: [({'current': False, 'selected': True, 'blocked': False, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': True, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': False, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': True, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': True, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'})]}\nfor index, (data, expected) in enumerate(fixtures[N]):\n    check(\"contract fixture \" + str(index), solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"b9bf19592572f9ed521387293ae44b0e4d7311a8fb2b7b5705c68b479bb689e5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'retired-visible':(d['current']), 'add-permission':(d['current'] and not d['blocked']), 'remove-permission':(d['selected'] and not d['locked']), 'label-fallback':(d['label'] if d['label'] is not None else d['id']), 'retired-badge':(d['selected'] and not d['current']), 'serialize-identity':(d['id'] if d['selected'] else None)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'current': False, 'selected': True, 'blocked': False, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': True, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': True, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': True, 'blocked': True, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': '', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': True, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': True, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': True, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': 'stable-id'})], 2: [({'current': False, 'selected': True, 'blocked': False, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': '', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': True, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': True, 'blocked': False, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'Caption', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': True, 'blocked': True, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': True, 'blocked': True, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': False, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': True, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': True, 'blocked': False, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': True, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': 'stable-id'})], 3: [({'current': False, 'selected': True, 'blocked': False, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'Caption', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': True, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': True, 'blocked': True, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': False, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': False, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': True, 'blocked': False, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': True, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': False, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': False, 'blocked': False, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': False, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None})], 4: [({'current': False, 'selected': True, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': False, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': False, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': True, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': True, 'blocked': False, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': True, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': False, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': False, 'blocked': False, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': False, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': True, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None})], 5: [({'current': False, 'selected': True, 'blocked': False, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': True, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': False, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': True, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': True, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'})]}\nfor index, (data, expected) in enumerate(fixtures[N]):\n    check(\"contract fixture \" + str(index), solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"089da0fd618b4ff75d48b62b6fd2b236104efe6eb5bfc1e0ae0c1410aa17f39c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'retired-visible':(d['current'] or d['selected']), 'add-permission':(d['current'] and not d['blocked']), 'remove-permission':(d['selected'] and not d['locked']), 'label-fallback':(d['label'] if d['label'] is not None else d['id']), 'retired-badge':(d['selected'] and not d['current']), 'serialize-identity':(d['id'] if d['selected'] else None)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'current': False, 'selected': True, 'blocked': False, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': True, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': True, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': True, 'blocked': True, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': '', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': True, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': True, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': True, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': 'stable-id'})], 2: [({'current': False, 'selected': True, 'blocked': False, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': '', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': True, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': True, 'blocked': False, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'Caption', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': True, 'blocked': True, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': True, 'blocked': True, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': False, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': True, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': True, 'blocked': False, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': True, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': 'stable-id'})], 3: [({'current': False, 'selected': True, 'blocked': False, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'Caption', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': True, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': True, 'blocked': True, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': False, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': False, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': True, 'blocked': False, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': True, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': False, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': False, 'blocked': False, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': False, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None})], 4: [({'current': False, 'selected': True, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': False, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': False, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': True, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': True, 'blocked': False, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': True, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': False, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': False, 'blocked': False, 'locked': False, 'label': None, 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': False, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': True, 'locked': False, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None})], 5: [({'current': False, 'selected': True, 'blocked': False, 'locked': True, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': True, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': False, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': False, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': True, 'selected': True, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': True, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': True, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': True, 'selected': True, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': 'stable-id'}), ({'current': False, 'selected': False, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': True, 'locked': False, 'label': '', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': '', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': False, 'blocked': True, 'locked': True, 'label': 'Caption', 'id': 'stable-id'}, {'retired-visible': False, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'Caption', 'retired-badge': False, 'serialize-identity': None}), ({'current': False, 'selected': True, 'blocked': False, 'locked': True, 'label': None, 'id': 'stable-id'}, {'retired-visible': True, 'add-permission': False, 'remove-permission': False, 'label-fallback': 'stable-id', 'retired-badge': True, 'serialize-identity': 'stable-id'})]}\nfor index, (data, expected) in enumerate(fixtures[N]):\n    check(\"contract fixture \" + str(index), solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-filter-interfaces-retired-enumeration-retired-visible","generated_at":"2026-09-29T14:41:07.588392+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Filter-widget state and serialization must preserve user constraints while the view changes.","repair":"Implement the declared retired-visible projection: `d['current'] or d['selected']`.","root_cause":"The retired-visible decision uses `d['current']` instead of the stipulated retired-enumeration projection.","sha256":"c021a77d4365852aafdc5d0fbc2948b90a2c2969c18ce2f49ef395950ebb3d43","title":"Retired selected enums remain visible for inspection · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":38.593,"exit_code":1,"observations":[{"actual":{"add-permission":false,"label-fallback":"stable-id","remove-permission":true,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"check":"contract fixture 0","expected":{"add-permission":false,"label-fallback":"stable-id","remove-permission":true,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"passed":true},{"actual":{"add-permission":true,"label-fallback":"stable-id","remove-permission":false,"retired-badge":false,"retired-visible":false,"serialize-identity":null},"check":"contract fixture 1","expected":{"add-permission":true,"label-fallback":"stable-id","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":null},"passed":false},{"actual":{"add-permission":false,"label-fallback":"","remove-permission":false,"retired-badge":false,"retired-visible":false,"serialize-identity":null},"check":"contract fixture 2","expected":{"add-permission":false,"label-fallback":"","remove-permission":false,"retired-badge":false,"retired-visible":false,"serialize-identity":null},"passed":true},{"actual":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":false,"retired-visible":false,"serialize-identity":null},"check":"contract fixture 3","expected":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":false,"retired-visible":false,"serialize-identity":null},"passed":true},{"actual":{"add-permission":false,"label-fallback":"stable-id","remove-permission":false,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"check":"contract fixture 4","expected":{"add-permission":false,"label-fallback":"stable-id","remove-permission":false,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"passed":true},{"actual":{"add-permission":false,"label-fallback":"","remove-permission":true,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"check":"contract fixture 5","expected":{"add-permission":false,"label-fallback":"","remove-permission":true,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"passed":true},{"actual":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"check":"contract fixture 6","expected":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"passed":true},{"actual":{"add-permission":false,"label-fallback":"","remove-permission":false,"retired-badge":false,"retired-visible":false,"serialize-identity":null},"check":"contract fixture 7","expected":{"add-permission":false,"label-fallback":"","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":null},"passed":false},{"actual":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":false,"retired-visible":false,"serialize-identity":null},"check":"contract fixture 8","expected":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":null},"passed":false},{"actual":{"add-permission":true,"label-fallback":"stable-id","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":"stable-id"},"check":"contract fixture 9","expected":{"add-permission":true,"label-fallback":"stable-id","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":"stable-id"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": true, \"label-fallback\": \"stable-id\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": true, \"label-fallback\": \"stable-id\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"retired-visible\": false, \"add-permission\": true, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": false, \"serialize-identity\": null}, \"expected\": {\"retired-visible\": true, \"add-permission\": true, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": false, \"serialize-identity\": null}, \"passed\": false}, {\"check\": \"contract fixture 2\", \"actual\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"\", \"retired-badge\": false, \"serialize-identity\": null}, \"expected\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"\", \"retired-badge\": false, \"serialize-identity\": null}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": false, \"serialize-identity\": null}, \"expected\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": false, \"serialize-identity\": null}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": true, \"label-fallback\": \"\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": true, \"label-fallback\": \"\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"\", \"retired-badge\": false, \"serialize-identity\": null}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"\", \"retired-badge\": false, \"serialize-identity\": null}, \"passed\": false}, {\"check\": \"contract fixture 8\", \"actual\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": false, \"serialize-identity\": null}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": false, \"serialize-identity\": null}, \"passed\": false}, {\"check\": \"contract fixture 9\", \"actual\": {\"retired-visible\": true, \"add-permission\": true, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": false, \"serialize-identity\": \"stable-id\"}, \"expected\": {\"retired-visible\": true, \"add-permission\": true, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": false, \"serialize-identity\": \"stable-id\"}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.573,"exit_code":1,"observations":[{"actual":{"add-permission":false,"label-fallback":"stable-id","remove-permission":true,"retired-badge":true,"retired-visible":false,"serialize-identity":"stable-id"},"check":"contract fixture 0","expected":{"add-permission":false,"label-fallback":"stable-id","remove-permission":true,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"passed":false},{"actual":{"add-permission":true,"label-fallback":"stable-id","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":null},"check":"contract fixture 1","expected":{"add-permission":true,"label-fallback":"stable-id","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":null},"passed":true},{"actual":{"add-permission":false,"label-fallback":"","remove-permission":false,"retired-badge":false,"retired-visible":false,"serialize-identity":null},"check":"contract fixture 2","expected":{"add-permission":false,"label-fallback":"","remove-permission":false,"retired-badge":false,"retired-visible":false,"serialize-identity":null},"passed":true},{"actual":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":false,"retired-visible":false,"serialize-identity":null},"check":"contract fixture 3","expected":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":false,"retired-visible":false,"serialize-identity":null},"passed":true},{"actual":{"add-permission":false,"label-fallback":"stable-id","remove-permission":false,"retired-badge":true,"retired-visible":false,"serialize-identity":"stable-id"},"check":"contract fixture 4","expected":{"add-permission":false,"label-fallback":"stable-id","remove-permission":false,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"passed":false},{"actual":{"add-permission":false,"label-fallback":"","remove-permission":true,"retired-badge":true,"retired-visible":false,"serialize-identity":"stable-id"},"check":"contract fixture 5","expected":{"add-permission":false,"label-fallback":"","remove-permission":true,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"passed":false},{"actual":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":true,"retired-visible":false,"serialize-identity":"stable-id"},"check":"contract fixture 6","expected":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"passed":false},{"actual":{"add-permission":false,"label-fallback":"","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":null},"check":"contract fixture 7","expected":{"add-permission":false,"label-fallback":"","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":null},"passed":true},{"actual":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":null},"check":"contract fixture 8","expected":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":null},"passed":true},{"actual":{"add-permission":true,"label-fallback":"stable-id","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":"stable-id"},"check":"contract fixture 9","expected":{"add-permission":true,"label-fallback":"stable-id","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":"stable-id"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": true, \"label-fallback\": \"stable-id\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": true, \"label-fallback\": \"stable-id\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"retired-visible\": true, \"add-permission\": true, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": false, \"serialize-identity\": null}, \"expected\": {\"retired-visible\": true, \"add-permission\": true, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": false, \"serialize-identity\": null}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"\", \"retired-badge\": false, \"serialize-identity\": null}, \"expected\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"\", \"retired-badge\": false, \"serialize-identity\": null}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": false, \"serialize-identity\": null}, \"expected\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": false, \"serialize-identity\": null}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"passed\": false}, {\"check\": \"contract fixture 5\", \"actual\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": true, \"label-fallback\": \"\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": true, \"label-fallback\": \"\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"passed\": false}, {\"check\": \"contract fixture 6\", \"actual\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"passed\": false}, {\"check\": \"contract fixture 7\", \"actual\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"\", \"retired-badge\": false, \"serialize-identity\": null}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"\", \"retired-badge\": false, \"serialize-identity\": null}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": false, \"serialize-identity\": null}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": false, \"serialize-identity\": null}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"retired-visible\": true, \"add-permission\": true, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": false, \"serialize-identity\": \"stable-id\"}, \"expected\": {\"retired-visible\": true, \"add-permission\": true, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": false, \"serialize-identity\": \"stable-id\"}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.605,"exit_code":0,"observations":[{"actual":{"add-permission":false,"label-fallback":"stable-id","remove-permission":true,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"check":"contract fixture 0","expected":{"add-permission":false,"label-fallback":"stable-id","remove-permission":true,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"passed":true},{"actual":{"add-permission":true,"label-fallback":"stable-id","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":null},"check":"contract fixture 1","expected":{"add-permission":true,"label-fallback":"stable-id","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":null},"passed":true},{"actual":{"add-permission":false,"label-fallback":"","remove-permission":false,"retired-badge":false,"retired-visible":false,"serialize-identity":null},"check":"contract fixture 2","expected":{"add-permission":false,"label-fallback":"","remove-permission":false,"retired-badge":false,"retired-visible":false,"serialize-identity":null},"passed":true},{"actual":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":false,"retired-visible":false,"serialize-identity":null},"check":"contract fixture 3","expected":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":false,"retired-visible":false,"serialize-identity":null},"passed":true},{"actual":{"add-permission":false,"label-fallback":"stable-id","remove-permission":false,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"check":"contract fixture 4","expected":{"add-permission":false,"label-fallback":"stable-id","remove-permission":false,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"passed":true},{"actual":{"add-permission":false,"label-fallback":"","remove-permission":true,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"check":"contract fixture 5","expected":{"add-permission":false,"label-fallback":"","remove-permission":true,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"passed":true},{"actual":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"check":"contract fixture 6","expected":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":true,"retired-visible":true,"serialize-identity":"stable-id"},"passed":true},{"actual":{"add-permission":false,"label-fallback":"","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":null},"check":"contract fixture 7","expected":{"add-permission":false,"label-fallback":"","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":null},"passed":true},{"actual":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":null},"check":"contract fixture 8","expected":{"add-permission":false,"label-fallback":"Caption","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":null},"passed":true},{"actual":{"add-permission":true,"label-fallback":"stable-id","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":"stable-id"},"check":"contract fixture 9","expected":{"add-permission":true,"label-fallback":"stable-id","remove-permission":false,"retired-badge":false,"retired-visible":true,"serialize-identity":"stable-id"},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": true, \"label-fallback\": \"stable-id\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": true, \"label-fallback\": \"stable-id\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"retired-visible\": true, \"add-permission\": true, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": false, \"serialize-identity\": null}, \"expected\": {\"retired-visible\": true, \"add-permission\": true, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": false, \"serialize-identity\": null}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"\", \"retired-badge\": false, \"serialize-identity\": null}, \"expected\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"\", \"retired-badge\": false, \"serialize-identity\": null}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": false, \"serialize-identity\": null}, \"expected\": {\"retired-visible\": false, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": false, \"serialize-identity\": null}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": true, \"label-fallback\": \"\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": true, \"label-fallback\": \"\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": true, \"serialize-identity\": \"stable-id\"}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"\", \"retired-badge\": false, \"serialize-identity\": null}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"\", \"retired-badge\": false, \"serialize-identity\": null}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": false, \"serialize-identity\": null}, \"expected\": {\"retired-visible\": true, \"add-permission\": false, \"remove-permission\": false, \"label-fallback\": \"Caption\", \"retired-badge\": false, \"serialize-identity\": null}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"retired-visible\": true, \"add-permission\": true, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": false, \"serialize-identity\": \"stable-id\"}, \"expected\": {\"retired-visible\": true, \"add-permission\": true, \"remove-permission\": false, \"label-fallback\": \"stable-id\", \"retired-badge\": false, \"serialize-identity\": \"stable-id\"}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}