FAILURE MAP
← Case archive

FA-26076 / Filter interfaces / Open access

Mandatory filter scope remains visible when user labels collapse · case 01

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

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

ROOT CAUSE

The required-visible decision uses `d['rows'][:d['limit']]` instead of the stipulated summary-folding projection.

VERIFIED REPAIR

Implement the declared required-visible projection: `[x for x in d['rows'] if x['required']]`.

Unsuccessful approach: The attempted correction `[]` 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: Mandatory filter scope remains visible when user labels collapse.

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':(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)
Boundary fixtureActualExpectedOutcome
contract fixture 0{'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 2, 'required-visible': [], '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', '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': [], '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', '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}, {'enabled': True, 'label': 'a', 'required': False}], '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', 'overflow-count': 0, 'required-visible': [{'enabled': True, 'label': 'scope', 'required': True}, {'enabled': True, 'label': 'a', 'required': False}], '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': [{'enabled': True, 'label': 'c', 'required': False}], '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}]}Failed
contract fixture 9{'expanded-labels': [{'enabled': True, 'label': 'c', 'required': False}], 'expander-enabled': False, 'operand-caption': 'c', 'overflow-count': 0, 'required-visible': [{'enabled': True, 'label': 'c', 'required': False}], '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}]}Failed

SHA-256 / 86f2cc6b0790fc8c24eace0867ac5aded41a8dcd2e4bf35468641f05b82f310e

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':([]), '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)
Boundary fixtureActualExpectedOutcome
contract fixture 0{'expanded-labels': [], 'expander-enabled': True, 'operand-caption': 'scope + a', 'overflow-count': 2, 'required-visible': [], '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', 'overflow-count': 1, 'required-visible': [], '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', 'overflow-count': 2, 'required-visible': [], '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', 'overflow-count': 1, 'required-visible': [], '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', 'overflow-count': 0, 'required-visible': [], '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', 'overflow-count': 0, 'required-visible': [], '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 / c20ea49ecde1ff9ccbb40d72602eeb58ea94d970c0be867e055b934d41f5061d

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': 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)
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 / cdb99dfd9cc3c8537304c716de0431ae88e185fa2b121f6756c8af59e635b6e1

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

Case digest / baf21eb0ff2f3e19d2c91b25c56dc3a250d0af7a193ba149625142389f432af2