FAILURE MAP
← Case archive

FA-25421 / Filter interfaces / Open access

Only exact zero disables an unselected choice · case 01

Only exact zero disables an unselected choice is violated by the widget projection.

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

ROOT CAUSE

The zero-disable decision uses `d['count']==0 and not d['selected']` instead of the stipulated facet-count-policy projection.

VERIFIED REPAIR

Implement the declared zero-disable projection: `d['mode']=='exact' and d['count']==0 and not d['selected']`.

Unsuccessful approach: The attempted correction `d['mode']=='exact' and d['count']==0` still violates the explicit contract fixtures.

Case contract

Facet count presentations use exact, lower-bound or unknown modes; selected zero-count values remain represented and total counts are never inferred by adding overlapping facet buckets. This example checks: Only exact zero disables an unselected choice.

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 {'count-prefix':('≥' if d['mode']=='lower' else ('?' if d['mode']=='unknown' else '')), 'count-text':('?' if d['mode']=='unknown' else str(d['count'])), 'zero-disable':(d['count']==0 and not d['selected']), 'total-source':(d['total']), 'approximate-badge':(d['mode']=='lower'), 'count-sort-ready':(d['mode']=='exact' and not d['loading'])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False})], 2: [({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True}), ({'mode': 'exact', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True}), ({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False})], 3: [({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 0, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '', 'count-text': '0', 'zero-disable': True, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False})], 4: [({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True}), ({'mode': 'lower', 'count': 4, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '', 'count-text': '0', 'zero-disable': True, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True}), ({'mode': 'exact', 'count': 4, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True}), ({'mode': 'exact', 'count': 4, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True})], 5: [({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '0', 'zero-disable': True, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
contract fixture 0{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': True}{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}Failed
contract fixture 1{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 2{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 3{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 4{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': True}{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}Failed
contract fixture 5{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 6{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 7{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 8{'approximate-badge': False, 'count-prefix': '?', 'count-sort-ready': False, 'count-text': '?', 'total-source': 5, 'zero-disable': True}{'approximate-badge': False, 'count-prefix': '?', 'count-sort-ready': False, 'count-text': '?', 'total-source': 5, 'zero-disable': False}Failed
contract fixture 9{'approximate-badge': False, 'count-prefix': '?', 'count-sort-ready': False, 'count-text': '?', 'total-source': 5, 'zero-disable': False}{'approximate-badge': False, 'count-prefix': '?', 'count-sort-ready': False, 'count-text': '?', 'total-source': 5, 'zero-disable': False}Passed

SHA-256 / 671f0202d563813f121eafd03fab6d6f9410f550588188f9b87f4c34489d3c67

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'count-prefix':('≥' if d['mode']=='lower' else ('?' if d['mode']=='unknown' else '')), 'count-text':('?' if d['mode']=='unknown' else str(d['count'])), 'zero-disable':(d['mode']=='exact' and d['count']==0), 'total-source':(d['total']), 'approximate-badge':(d['mode']=='lower'), 'count-sort-ready':(d['mode']=='exact' and not d['loading'])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False})], 2: [({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True}), ({'mode': 'exact', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True}), ({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False})], 3: [({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 0, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '', 'count-text': '0', 'zero-disable': True, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False})], 4: [({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True}), ({'mode': 'lower', 'count': 4, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '', 'count-text': '0', 'zero-disable': True, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True}), ({'mode': 'exact', 'count': 4, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True}), ({'mode': 'exact', 'count': 4, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True})], 5: [({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '0', 'zero-disable': True, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
contract fixture 0{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 1{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': True}{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}Failed
contract fixture 2{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 3{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 4{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 5{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 6{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 7{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 8{'approximate-badge': False, 'count-prefix': '?', 'count-sort-ready': False, 'count-text': '?', 'total-source': 5, 'zero-disable': False}{'approximate-badge': False, 'count-prefix': '?', 'count-sort-ready': False, 'count-text': '?', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 9{'approximate-badge': False, 'count-prefix': '?', 'count-sort-ready': False, 'count-text': '?', 'total-source': 5, 'zero-disable': False}{'approximate-badge': False, 'count-prefix': '?', 'count-sort-ready': False, 'count-text': '?', 'total-source': 5, 'zero-disable': False}Passed

SHA-256 / 4cb1083fdbafd35b1ed7f35c3a76526bad155060c951b0285a8e7c15a2d1e2ba

3 / The verified repair

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

N = 1
observations = []
def solve(d):
    return {'count-prefix':('≥' if d['mode']=='lower' else ('?' if d['mode']=='unknown' else '')), 'count-text':('?' if d['mode']=='unknown' else str(d['count'])), 'zero-disable':(d['mode']=='exact' and d['count']==0 and not d['selected']), 'total-source':(d['total']), 'approximate-badge':(d['mode']=='lower'), 'count-sort-ready':(d['mode']=='exact' and not d['loading'])}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False})], 2: [({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True}), ({'mode': 'exact', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True}), ({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False})], 3: [({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': False}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 0, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 4, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': True}, {'count-prefix': '', 'count-text': '0', 'zero-disable': True, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False})], 4: [({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True}), ({'mode': 'lower', 'count': 4, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '≥', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '', 'count-text': '0', 'zero-disable': True, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True}), ({'mode': 'exact', 'count': 4, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True}), ({'mode': 'exact', 'count': 4, 'selected': True, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': True})], 5: [({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [3, 4], 'loading': False}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 0, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'unknown', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '?', 'count-text': '?', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '0', 'zero-disable': True, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 4, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'exact', 'count': 4, 'selected': True, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '', 'count-text': '4', 'zero-disable': False, 'total-source': 5, 'approximate-badge': False, 'count-sort-ready': False}), ({'mode': 'lower', 'count': 0, 'selected': False, 'total': 5, 'buckets': [1], 'loading': True}, {'count-prefix': '≥', 'count-text': '0', 'zero-disable': False, 'total-source': 5, 'approximate-badge': True, 'count-sort-ready': False})]}
for index, (data, expected) in enumerate(fixtures[N]):
    check("contract fixture " + str(index), solve(data), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)
Boundary fixtureActualExpectedOutcome
contract fixture 0{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 1{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 2{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 3{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}{'approximate-badge': False, 'count-prefix': '', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 4{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 5{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '0', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 6{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 7{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}{'approximate-badge': True, 'count-prefix': '≥', 'count-sort-ready': False, 'count-text': '4', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 8{'approximate-badge': False, 'count-prefix': '?', 'count-sort-ready': False, 'count-text': '?', 'total-source': 5, 'zero-disable': False}{'approximate-badge': False, 'count-prefix': '?', 'count-sort-ready': False, 'count-text': '?', 'total-source': 5, 'zero-disable': False}Passed
contract fixture 9{'approximate-badge': False, 'count-prefix': '?', 'count-sort-ready': False, 'count-text': '?', 'total-source': 5, 'zero-disable': False}{'approximate-badge': False, 'count-prefix': '?', 'count-sort-ready': False, 'count-text': '?', 'total-source': 5, 'zero-disable': False}Passed

SHA-256 / a98a80494f095780bdf6dc4072af4c05ed0b1a2f1852b1b309be8a82d7947916

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

Case digest / 50ef74c5614e94abcc26147172ccc06369a810d99e8176d2482634475f28f924