broken_source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    return {'user-budget':([x for x in d['rows'] if not x['required']][:d['limit']]), 'required-visible':(d['rows'][:d['limit']]), 'overflow-count':(max(0,sum(not x['required'] for x in d['rows'])-d['limit'])), 'expanded-labels':(d['rows'] if d['expanded'] else d['rows'][:d['limit']]), 'expander-enabled':(sum(not x['required'] for x in d['rows'])>d['limit']), 'operand-caption':(' + '.join(x['label'] for x in d['rows'] if x['enabled']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': True, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'})], 2: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 1, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 1, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''})], 3: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [], 'limit': 1, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c'})], 4: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': True, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''})], 5: [({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 1, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 1, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a'})]}
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)

source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    return {'user-budget':([x for x in d['rows'] if not x['required']][:d['limit']]), 'required-visible':([]), 'overflow-count':(max(0,sum(not x['required'] for x in d['rows'])-d['limit'])), 'expanded-labels':(d['rows'] if d['expanded'] else d['rows'][:d['limit']]), 'expander-enabled':(sum(not x['required'] for x in d['rows'])>d['limit']), 'operand-caption':(' + '.join(x['label'] for x in d['rows'] if x['enabled']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': True, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'})], 2: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 1, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 1, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''})], 3: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [], 'limit': 1, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c'})], 4: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': True, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''})], 5: [({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 1, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 1, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a'})]}
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)

prompt:
Mandatory filter scope remains visible when user labels collapse is violated by the widget projection.

A collapsed filter summary budgets visible criterion labels separately from hidden criteria, keeps mandatory labels outside the user budget, and computes omitted counts from visible identities. This example checks: Mandatory filter scope remains visible when user labels collapse.

split: open-access


broken_source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    return {'user-budget':([x for x in d['rows'] if not x['required']][:d['limit']]), 'required-visible':([x for x in d['rows'] if x['required']]), 'overflow-count':(max(0,len(d['rows'])-d['limit'])), 'expanded-labels':(d['rows'] if d['expanded'] else d['rows'][:d['limit']]), 'expander-enabled':(sum(not x['required'] for x in d['rows'])>d['limit']), 'operand-caption':(' + '.join(x['label'] for x in d['rows'] if x['enabled']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': True, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'})], 2: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 1, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 1, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''})], 3: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [], 'limit': 1, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c'})], 4: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': True, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''})], 5: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 1, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 1, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'})]}
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)

meaning: Fixture-count band, not measured model difficulty

deps: stdlib

source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    return {'user-budget':([x for x in d['rows'] if not x['required']][:d['limit']]), 'required-visible':([x for x in d['rows'] if x['required']]), 'overflow-count':(sum(not x['required'] for x in d['rows'])), 'expanded-labels':(d['rows'] if d['expanded'] else d['rows'][:d['limit']]), 'expander-enabled':(sum(not x['required'] for x in d['rows'])>d['limit']), 'operand-caption':(' + '.join(x['label'] for x in d['rows'] if x['enabled']))}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': True, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'})], 2: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 1, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 1, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''})], 3: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [], 'limit': 1, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c'})], 4: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 1, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 1, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': True, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 1, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''})], 5: [({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 2, 'expanded': False}, {'user-budget': [{'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 0, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'c', 'required': False, 'enabled': True}], 'limit': 2, 'expanded': True}, {'user-budget': [{'label': 'c', 'required': False, 'enabled': True}], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [{'label': 'c', 'required': False, 'enabled': True}], 'expander-enabled': False, 'operand-caption': 'c'}), ({'rows': [], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 1, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 1, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': False}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [], 'limit': 2, 'expanded': True}, {'user-budget': [], 'required-visible': [], 'overflow-count': 0, 'expanded-labels': [], 'expander-enabled': False, 'operand-caption': ''}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': False}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a'}), ({'rows': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'limit': 0, 'expanded': True}, {'user-budget': [], 'required-visible': [{'label': 'scope', 'required': True, 'enabled': True}], 'overflow-count': 2, 'expanded-labels': [{'label': 'scope', 'required': True, 'enabled': True}, {'label': 'a', 'required': False, 'enabled': True}, {'label': 'b', 'required': False, 'enabled': False}], 'expander-enabled': True, 'operand-caption': 'scope + a'})]}
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)

prompt:
Overflow badges count only omitted user criteria is violated by the widget projection.

A collapsed filter summary budgets visible criterion labels separately from hidden criteria, keeps mandatory labels outside the user budget, and computes omitted counts from visible identities. This example checks: Overflow badges count only omitted user criteria.

split: open-access