FA-24876 / Filter interfaces / Open access

Unknown facet counts are distinct from zero · case 01

Unknown facet counts are distinct from zero is violated by the widget projection.

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

ROOT CAUSE

The unknown-badge decision uses `str(d['count'] or 0)` instead of the stipulated facet-availability projection.

VERIFIED REPAIR

Implement the declared unknown-badge projection: `'?' if d['count'] is None else str(d['count'])`.

Unsuccessful approach: The attempted correction `str(d['count']) if d['count'] else '?'` still violates the explicit contract fixtures.

Case contract

Facet choices remain removable when selected even at zero matches; counts distinguish unknown loading state from a known empty result. This example checks: Unknown facet counts are distinct from zero.

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 {'zero-selected':(d['selected'] or d['count'] is None or d['count']>0), 'unknown-badge':(str(d['count'] or 0)), 'hide-empty':(not d['hide'] or d['selected'] or d['count']!=0), 'busy-marker':(d['loading'] and d['count'] is None), 'empty-message':(d['count']==0 and not d['loading']), 'stale-count':(d['loading'] and d['count'] is not None)}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'selected': False, 'count': None, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': 0, 'hide': True, 'loading': True}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': False, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 1, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 1, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 7, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 7, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': None, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': None, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 0, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 0, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True})], 2: [({'selected': False, 'count': None, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 0, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': True, 'stale-count': False}), ({'selected': False, 'count': 7, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': None, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': None, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 0, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': True, 'stale-count': False}), ({'selected': True, 'count': 1, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 1, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 7, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 7, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False})], 3: [({'selected': False, 'count': None, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': 0, 'hide': False, 'loading': True}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 0, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 0, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 1, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 1, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 7, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 7, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': None, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': None, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False})], 4: [({'selected': False, 'count': None, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 0, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': True, 'stale-count': False}), ({'selected': True, 'count': 7, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 7, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': None, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': None, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': 0, 'hide': False, 'loading': False}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': True, 'stale-count': False}), ({'selected': False, 'count': 0, 'hide': True, 'loading': False}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': False, 'busy-marker': False, 'empty-message': True, 'stale-count': False}), ({'selected': False, 'count': 1, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': 1, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False})], 5: [({'selected': True, 'count': None, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 0, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': None, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': 0, 'hide': False, 'loading': True}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 0, 'hide': True, 'loading': True}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': False, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 1, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 1, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 7, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 7, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': None, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': 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 fixture	Actual	Expected	Outcome
contract fixture 0	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '0', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '?', 'zero-selected': True}`	Failed
contract fixture 1	`{'busy-marker': False, 'empty-message': False, 'hide-empty': False, 'stale-count': True, 'unknown-badge': '0', 'zero-selected': False}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': False, 'stale-count': True, 'unknown-badge': '0', 'zero-selected': False}`	Passed
contract fixture 2	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '1', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '1', 'zero-selected': True}`	Passed
contract fixture 3	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '1', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '1', 'zero-selected': True}`	Passed
contract fixture 4	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '7', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '7', 'zero-selected': True}`	Passed
contract fixture 5	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '7', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '7', 'zero-selected': True}`	Passed
contract fixture 6	`{'busy-marker': True, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '0', 'zero-selected': True}`	`{'busy-marker': True, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '?', 'zero-selected': True}`	Failed
contract fixture 7	`{'busy-marker': True, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '0', 'zero-selected': True}`	`{'busy-marker': True, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '?', 'zero-selected': True}`	Failed
contract fixture 8	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '0', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '0', 'zero-selected': True}`	Passed
contract fixture 9	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '0', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '0', 'zero-selected': True}`	Passed

SHA-256 / 86459b1bce138aa69f92d54d122180a69cebdccffa0b859d0069e11cd95f6557

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(d):
    return {'zero-selected':(d['selected'] or d['count'] is None or d['count']>0), 'unknown-badge':(str(d['count']) if d['count'] else '?'), 'hide-empty':(not d['hide'] or d['selected'] or d['count']!=0), 'busy-marker':(d['loading'] and d['count'] is None), 'empty-message':(d['count']==0 and not d['loading']), 'stale-count':(d['loading'] and d['count'] is not None)}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'selected': False, 'count': None, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': 0, 'hide': True, 'loading': True}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': False, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 1, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 1, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 7, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 7, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': None, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': None, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 0, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 0, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True})], 2: [({'selected': False, 'count': None, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 0, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': True, 'stale-count': False}), ({'selected': False, 'count': 7, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': None, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': None, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 0, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': True, 'stale-count': False}), ({'selected': True, 'count': 1, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 1, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 7, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 7, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False})], 3: [({'selected': False, 'count': None, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': 0, 'hide': False, 'loading': True}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 0, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 0, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 1, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 1, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 7, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 7, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': None, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': None, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False})], 4: [({'selected': False, 'count': None, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 0, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': True, 'stale-count': False}), ({'selected': True, 'count': 7, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 7, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': None, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': None, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': 0, 'hide': False, 'loading': False}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': True, 'stale-count': False}), ({'selected': False, 'count': 0, 'hide': True, 'loading': False}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': False, 'busy-marker': False, 'empty-message': True, 'stale-count': False}), ({'selected': False, 'count': 1, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': 1, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False})], 5: [({'selected': True, 'count': None, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 0, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': None, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': 0, 'hide': False, 'loading': True}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 0, 'hide': True, 'loading': True}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': False, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 1, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 1, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 7, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 7, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': None, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': 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 fixture	Actual	Expected	Outcome
contract fixture 0	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '?', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '?', 'zero-selected': True}`	Passed
contract fixture 1	`{'busy-marker': False, 'empty-message': False, 'hide-empty': False, 'stale-count': True, 'unknown-badge': '?', 'zero-selected': False}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': False, 'stale-count': True, 'unknown-badge': '0', 'zero-selected': False}`	Failed
contract fixture 2	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '1', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '1', 'zero-selected': True}`	Passed
contract fixture 3	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '1', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '1', 'zero-selected': True}`	Passed
contract fixture 4	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '7', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '7', 'zero-selected': True}`	Passed
contract fixture 5	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '7', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '7', 'zero-selected': True}`	Passed
contract fixture 6	`{'busy-marker': True, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '?', 'zero-selected': True}`	`{'busy-marker': True, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '?', 'zero-selected': True}`	Passed
contract fixture 7	`{'busy-marker': True, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '?', 'zero-selected': True}`	`{'busy-marker': True, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '?', 'zero-selected': True}`	Passed
contract fixture 8	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '?', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '0', 'zero-selected': True}`	Failed
contract fixture 9	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '?', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '0', 'zero-selected': True}`	Failed

SHA-256 / 44d133735e8aa25b9440513c383b9b6d073c5e431b355f766185c4471b7412e8

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(d):
    return {'zero-selected':(d['selected'] or d['count'] is None or d['count']>0), 'unknown-badge':('?' if d['count'] is None else str(d['count'])), 'hide-empty':(not d['hide'] or d['selected'] or d['count']!=0), 'busy-marker':(d['loading'] and d['count'] is None), 'empty-message':(d['count']==0 and not d['loading']), 'stale-count':(d['loading'] and d['count'] is not None)}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'selected': False, 'count': None, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': 0, 'hide': True, 'loading': True}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': False, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 1, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 1, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 7, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 7, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': None, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': None, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 0, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 0, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True})], 2: [({'selected': False, 'count': None, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 0, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': True, 'stale-count': False}), ({'selected': False, 'count': 7, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': None, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': None, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 0, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': True, 'stale-count': False}), ({'selected': True, 'count': 1, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 1, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 7, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 7, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False})], 3: [({'selected': False, 'count': None, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': 0, 'hide': False, 'loading': True}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 0, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 0, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 1, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 1, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 7, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': 7, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': None, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': None, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False})], 4: [({'selected': False, 'count': None, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 0, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': True, 'stale-count': False}), ({'selected': True, 'count': 7, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 7, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': None, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': None, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': 0, 'hide': False, 'loading': False}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': True, 'stale-count': False}), ({'selected': False, 'count': 0, 'hide': True, 'loading': False}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': False, 'busy-marker': False, 'empty-message': True, 'stale-count': False}), ({'selected': False, 'count': 1, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': 1, 'hide': True, 'loading': False}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False})], 5: [({'selected': True, 'count': None, 'hide': False, 'loading': False}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': False}), ({'selected': True, 'count': 0, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': None, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': False}), ({'selected': False, 'count': 0, 'hide': False, 'loading': True}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 0, 'hide': True, 'loading': True}, {'zero-selected': False, 'unknown-badge': '0', 'hide-empty': False, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 1, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 1, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '1', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 7, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': False, 'count': 7, 'hide': True, 'loading': True}, {'zero-selected': True, 'unknown-badge': '7', 'hide-empty': True, 'busy-marker': False, 'empty-message': False, 'stale-count': True}), ({'selected': True, 'count': None, 'hide': False, 'loading': True}, {'zero-selected': True, 'unknown-badge': '?', 'hide-empty': True, 'busy-marker': True, 'empty-message': False, 'stale-count': 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 fixture	Actual	Expected	Outcome
contract fixture 0	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '?', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '?', 'zero-selected': True}`	Passed
contract fixture 1	`{'busy-marker': False, 'empty-message': False, 'hide-empty': False, 'stale-count': True, 'unknown-badge': '0', 'zero-selected': False}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': False, 'stale-count': True, 'unknown-badge': '0', 'zero-selected': False}`	Passed
contract fixture 2	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '1', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '1', 'zero-selected': True}`	Passed
contract fixture 3	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '1', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '1', 'zero-selected': True}`	Passed
contract fixture 4	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '7', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '7', 'zero-selected': True}`	Passed
contract fixture 5	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '7', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '7', 'zero-selected': True}`	Passed
contract fixture 6	`{'busy-marker': True, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '?', 'zero-selected': True}`	`{'busy-marker': True, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '?', 'zero-selected': True}`	Passed
contract fixture 7	`{'busy-marker': True, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '?', 'zero-selected': True}`	`{'busy-marker': True, 'empty-message': False, 'hide-empty': True, 'stale-count': False, 'unknown-badge': '?', 'zero-selected': True}`	Passed
contract fixture 8	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '0', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '0', 'zero-selected': True}`	Passed
contract fixture 9	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '0', 'zero-selected': True}`	`{'busy-marker': False, 'empty-message': False, 'hide-empty': True, 'stale-count': True, 'unknown-badge': '0', 'zero-selected': True}`	Passed

SHA-256 / bfe97b950b596892a4a25ec02d36ce078bd6de897a13c7fa8e55276fc6901667

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

Case digest / 8e19168edc6739e30406ad17008fa0bff7ec659333c3eb002bba1db0c49097af