FAILURE MAP
← Case archive

FA-26096 / Filter interfaces / Open access

Applied summaries include active enforced operands but omit disabled ones · case 01

Applied summaries include active enforced operands but omit disabled ones is violated by the widget projection.

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

ROOT CAUSE

The operand-caption decision uses `' + '.join(x['label'] for x in d['rows'])` instead of the stipulated summary-folding projection.

VERIFIED REPAIR

Implement the declared operand-caption projection: `' + '.join(x['label'] for x in d['rows'] if x['enabled'])`.

Unsuccessful approach: The attempted correction `' + '.join(x['label'] for x in d['rows'] if x['enabled'] and not x['required'])` still violates the explicit contract fixtures.

Case contract

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: Applied summaries include active enforced operands but omit disabled ones.

Why this case matters

Filter-widget state and serialization must preserve user constraints while the view changes.

1 / The failure

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

N = 1
observations = []
def solve(d):
    return {'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,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']))}
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': 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': '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': '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'}), ({'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'})], 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': '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)
Boundary fixtureActualExpectedOutcome
contract fixture 0{'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a + b', 'overflow-count': 2, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': []}{'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 2, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': []}Failed
contract fixture 1{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': True, 'operand-caption': 'scope + a + b', 'overflow-count': 1, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 1, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}]}Failed
contract fixture 2{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': True, 'operand-caption': 'scope + a + b', 'overflow-count': 2, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': []}{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 2, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': []}Failed
contract fixture 3{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}], 'expander-enabled': True, 'operand-caption': 'scope + a + b', 'overflow-count': 1, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 1, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}]}Failed
contract fixture 4{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}], 'expander-enabled': False, 'operand-caption': 'scope + a + b', 'overflow-count': 0, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}], 'expander-enabled': False, 'operand-caption': 'scope + a', 'overflow-count': 0, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}]}Failed
contract fixture 5{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': False, 'operand-caption': 'scope + a + b', 'overflow-count': 0, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': False, 'operand-caption': 'scope + a', 'overflow-count': 0, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}]}Failed
contract fixture 6{'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c', 'overflow-count': 1, 'required-visible': [], 'user-budget': []}{'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c', 'overflow-count': 1, 'required-visible': [], 'user-budget': []}Passed
contract fixture 7{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': True, 'operand-caption': 'c', 'overflow-count': 1, 'required-visible': [], 'user-budget': []}{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': True, 'operand-caption': 'c', 'overflow-count': 1, 'required-visible': [], 'user-budget': []}Passed
contract fixture 8{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': False, 'operand-caption': 'c', 'overflow-count': 0, 'required-visible': [], 'user-budget': [{'enabled': True, 'label': 'c', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': False, 'operand-caption': 'c', 'overflow-count': 0, 'required-visible': [], 'user-budget': [{'enabled': True, 'label': 'c', 'required': False}]}Passed
contract fixture 9{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': False, 'operand-caption': 'c', 'overflow-count': 0, 'required-visible': [], 'user-budget': [{'enabled': True, 'label': 'c', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': False, 'operand-caption': 'c', 'overflow-count': 0, 'required-visible': [], 'user-budget': [{'enabled': True, 'label': 'c', 'required': False}]}Passed

SHA-256 / 32adf4b5c7b8f6f3acf431ea8d746f1b82ff8f8b6bd98c9911eee61692189b4c

2 / The unsuccessful fix

Exit 1
"""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,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'] and not x['required']))}
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': 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': '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': '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'}), ({'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'})], 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': '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)
Boundary fixtureActualExpectedOutcome
contract fixture 0{'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'a', 'overflow-count': 2, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': []}{'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 2, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': []}Failed
contract fixture 1{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': True, 'operand-caption': 'a', 'overflow-count': 1, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 1, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}]}Failed
contract fixture 2{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': True, 'operand-caption': 'a', 'overflow-count': 2, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': []}{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 2, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': []}Failed
contract fixture 3{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}], 'expander-enabled': True, 'operand-caption': 'a', 'overflow-count': 1, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 1, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}]}Failed
contract fixture 4{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}], 'expander-enabled': False, 'operand-caption': 'a', 'overflow-count': 0, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}], 'expander-enabled': False, 'operand-caption': 'scope + a', 'overflow-count': 0, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}]}Failed
contract fixture 5{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': False, 'operand-caption': 'a', 'overflow-count': 0, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': False, 'operand-caption': 'scope + a', 'overflow-count': 0, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}]}Failed
contract fixture 6{'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c', 'overflow-count': 1, 'required-visible': [], 'user-budget': []}{'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c', 'overflow-count': 1, 'required-visible': [], 'user-budget': []}Passed
contract fixture 7{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': True, 'operand-caption': 'c', 'overflow-count': 1, 'required-visible': [], 'user-budget': []}{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': True, 'operand-caption': 'c', 'overflow-count': 1, 'required-visible': [], 'user-budget': []}Passed
contract fixture 8{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': False, 'operand-caption': 'c', 'overflow-count': 0, 'required-visible': [], 'user-budget': [{'enabled': True, 'label': 'c', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': False, 'operand-caption': 'c', 'overflow-count': 0, 'required-visible': [], 'user-budget': [{'enabled': True, 'label': 'c', 'required': False}]}Passed
contract fixture 9{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': False, 'operand-caption': 'c', 'overflow-count': 0, 'required-visible': [], 'user-budget': [{'enabled': True, 'label': 'c', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': False, 'operand-caption': 'c', 'overflow-count': 0, 'required-visible': [], 'user-budget': [{'enabled': True, 'label': 'c', 'required': False}]}Passed

SHA-256 / 3ce387ecafb569c89e0ae9acf47aded8c58a52c6f981943b6d929dd88d8b6e0d

3 / The verified repair

Exit 0
"""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,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': 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': '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': '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'}), ({'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'})], 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': '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)
Boundary fixtureActualExpectedOutcome
contract fixture 0{'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 2, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': []}{'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 2, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': []}Passed
contract fixture 1{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 1, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 1, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}]}Passed
contract fixture 2{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 2, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': []}{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 2, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': []}Passed
contract fixture 3{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 1, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 1, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}]}Passed
contract fixture 4{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}], 'expander-enabled': False, 'operand-caption': 'scope + a', 'overflow-count': 0, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}], 'expander-enabled': False, 'operand-caption': 'scope + a', 'overflow-count': 0, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}]}Passed
contract fixture 5{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': False, 'operand-caption': 'scope + a', 'overflow-count': 0, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}], 'expander-enabled': False, 'operand-caption': 'scope + a', 'overflow-count': 0, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}], 'user-budget': [{'enabled': True, 'label': 'a', 'required': False}, {'enabled': False, 'label': 'b', 'required': False}]}Passed
contract fixture 6{'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c', 'overflow-count': 1, 'required-visible': [], 'user-budget': []}{'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'c', 'overflow-count': 1, 'required-visible': [], 'user-budget': []}Passed
contract fixture 7{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': True, 'operand-caption': 'c', 'overflow-count': 1, 'required-visible': [], 'user-budget': []}{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': True, 'operand-caption': 'c', 'overflow-count': 1, 'required-visible': [], 'user-budget': []}Passed
contract fixture 8{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': False, 'operand-caption': 'c', 'overflow-count': 0, 'required-visible': [], 'user-budget': [{'enabled': True, 'label': 'c', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': False, 'operand-caption': 'c', 'overflow-count': 0, 'required-visible': [], 'user-budget': [{'enabled': True, 'label': 'c', 'required': False}]}Passed
contract fixture 9{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': False, 'operand-caption': 'c', 'overflow-count': 0, 'required-visible': [], 'user-budget': [{'enabled': True, 'label': 'c', 'required': False}]}{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': False, 'operand-caption': 'c', 'overflow-count': 0, 'required-visible': [], 'user-budget': [{'enabled': True, 'label': 'c', 'required': False}]}Passed

SHA-256 / bc5bd3d739381536f856084f1eef8afbcf18a95bc68a2e805d9b3e0a4ec730c0

Verification & scope

Deterministic bounded UI-state model only; no browser, query engine, network, or production-standard conformance is claimed. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.

Observations recorded using Python 3.12.14 at 2026-09-29T14:41:12.814872+00:00.

Case digest / 2ae2d4d62584619bbae7a269633373e496b6f33abb2662a9b873f957c5b3396d