FAILURE MAP
← Case archive

FA-25236 / Filter interfaces / Open access

Open upper endpoints never display a closed bracket · case 01

Open upper endpoints never display a closed bracket is violated by the widget projection.

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

ROOT CAUSE

The upper-bracket decision uses `']' if d['ui'] else ')'` instead of the stipulated range-inclusivity projection.

VERIFIED REPAIR

Implement the declared upper-bracket projection: `')' if d['hi'] is None or not d['ui'] else ']'`.

Unsuccessful approach: The attempted correction `']' if d['hi'] is not None else ')'` still violates the explicit contract fixtures.

Case contract

A range editor stores separate lower and upper inclusivity, suppresses brackets for open endpoints, and identifies empty point intervals. This example checks: Open upper endpoints never display a closed bracket.

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 {'lower-bracket':('(' if d['lo'] is None or not d['li'] else '['), 'upper-bracket':(']' if d['ui'] else ')'), 'point-empty':(d['lo'] is not None and d['lo']==d['hi'] and not (d['li'] and d['ui'])), 'lower-operator':(None if d['lo'] is None else ('gte' if d['li'] else 'gt')), 'upper-operator':(None if d['hi'] is None else ('lte' if d['ui'] else 'lt')), 'point-short-label':(d['lo'] if d['lo'] is not None and d['lo']==d['hi'] and d['li'] and d['ui'] else None)}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'lo': None, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': None, 'hi': 0, 'li': True, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 0, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': 0, 'hi': 0, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 0, 'hi': 0, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': 0}), ({'lo': 0, 'hi': 2, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': None})], 2: [({'lo': None, 'hi': None, 'li': True, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': 0, 'hi': 2, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 0, 'hi': None, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': None, 'point-short-label': None}), ({'lo': 0, 'hi': 0, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 0, 'hi': 2, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 2, 'hi': None, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': None, 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 2, 'hi': 2, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': 2, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': 2}), ({'lo': None, 'hi': None, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None})], 3: [({'lo': 0, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 0, 'hi': 2, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 2, 'hi': None, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': 2, 'hi': None, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': None, 'point-short-label': None}), ({'lo': 2, 'hi': 2, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': None, 'hi': None, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': None, 'li': True, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 0, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lte', 'point-short-label': None})], 4: [({'lo': 0, 'hi': None, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 0, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 2, 'hi': 2, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': True, 'lower-operator': 'gte', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': None, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 0, 'li': True, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 0, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': 0, 'hi': 0, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None})], 5: [({'lo': 2, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': 2, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': 2}), ({'lo': None, 'hi': None, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 0, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': True, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 0, 'hi': None, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': None, 'point-short-label': None}), ({'lo': 0, 'hi': 0, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 0, 'hi': 2, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None})]}
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{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': None}{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}Failed
contract fixture 1{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}Passed
contract fixture 2{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': 'lte'}{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': 'lte'}Passed
contract fixture 3{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': None}{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}Failed
contract fixture 4{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': True, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': True, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}Passed
contract fixture 5{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': 0, 'upper-bracket': ']', 'upper-operator': 'lte'}{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': 0, 'upper-bracket': ']', 'upper-operator': 'lte'}Passed
contract fixture 6{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}Passed
contract fixture 7{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': None}{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}Failed
contract fixture 8{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}Passed
contract fixture 9{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': 'lte'}{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': 'lte'}Passed

SHA-256 / c709ae9a6b2b43f2dda8d990686c1c0015a251a66fd98f6800866592c944c948

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'lower-bracket':('(' if d['lo'] is None or not d['li'] else '['), 'upper-bracket':(']' if d['hi'] is not None else ')'), 'point-empty':(d['lo'] is not None and d['lo']==d['hi'] and not (d['li'] and d['ui'])), 'lower-operator':(None if d['lo'] is None else ('gte' if d['li'] else 'gt')), 'upper-operator':(None if d['hi'] is None else ('lte' if d['ui'] else 'lt')), 'point-short-label':(d['lo'] if d['lo'] is not None and d['lo']==d['hi'] and d['li'] and d['ui'] else None)}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'lo': None, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': None, 'hi': 0, 'li': True, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 0, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': 0, 'hi': 0, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 0, 'hi': 0, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': 0}), ({'lo': 0, 'hi': 2, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': None})], 2: [({'lo': None, 'hi': None, 'li': True, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': 0, 'hi': 2, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 0, 'hi': None, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': None, 'point-short-label': None}), ({'lo': 0, 'hi': 0, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 0, 'hi': 2, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 2, 'hi': None, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': None, 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 2, 'hi': 2, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': 2, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': 2}), ({'lo': None, 'hi': None, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None})], 3: [({'lo': 0, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 0, 'hi': 2, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 2, 'hi': None, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': 2, 'hi': None, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': None, 'point-short-label': None}), ({'lo': 2, 'hi': 2, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': None, 'hi': None, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': None, 'li': True, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 0, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lte', 'point-short-label': None})], 4: [({'lo': 0, 'hi': None, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 0, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 2, 'hi': 2, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': True, 'lower-operator': 'gte', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': None, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 0, 'li': True, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 0, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': 0, 'hi': 0, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None})], 5: [({'lo': 2, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': 2, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': 2}), ({'lo': None, 'hi': None, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 0, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': True, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 0, 'hi': None, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': None, 'point-short-label': None}), ({'lo': 0, 'hi': 0, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 0, 'hi': 2, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None})]}
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{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}Passed
contract fixture 1{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': 'lt'}{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}Failed
contract fixture 2{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': 'lte'}{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': 'lte'}Passed
contract fixture 3{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}Passed
contract fixture 4{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': True, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': 'lt'}{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': True, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}Failed
contract fixture 5{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': 0, 'upper-bracket': ']', 'upper-operator': 'lte'}{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': 0, 'upper-bracket': ']', 'upper-operator': 'lte'}Passed
contract fixture 6{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': 'lt'}{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}Failed
contract fixture 7{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}Passed
contract fixture 8{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': 'lt'}{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}Failed
contract fixture 9{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': 'lte'}{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': 'lte'}Passed

SHA-256 / 6536a47e2a1971c906f5bf337f39082247dde5b711cb890d9ef443d682ec9ec2

3 / The verified repair

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

N = 1
observations = []
def solve(d):
    return {'lower-bracket':('(' if d['lo'] is None or not d['li'] else '['), 'upper-bracket':(')' if d['hi'] is None or not d['ui'] else ']'), 'point-empty':(d['lo'] is not None and d['lo']==d['hi'] and not (d['li'] and d['ui'])), 'lower-operator':(None if d['lo'] is None else ('gte' if d['li'] else 'gt')), 'upper-operator':(None if d['hi'] is None else ('lte' if d['ui'] else 'lt')), 'point-short-label':(d['lo'] if d['lo'] is not None and d['lo']==d['hi'] and d['li'] and d['ui'] else None)}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'lo': None, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': None, 'hi': 0, 'li': True, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 0, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': 0, 'hi': 0, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 0, 'hi': 0, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': 0}), ({'lo': 0, 'hi': 2, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': None})], 2: [({'lo': None, 'hi': None, 'li': True, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': 0, 'hi': 2, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 0, 'hi': None, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': None, 'point-short-label': None}), ({'lo': 0, 'hi': 0, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 0, 'hi': 2, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 2, 'hi': None, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': None, 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 2, 'hi': 2, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': 2, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': 2}), ({'lo': None, 'hi': None, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None})], 3: [({'lo': 0, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 0, 'hi': 2, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 2, 'hi': None, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': 2, 'hi': None, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': None, 'point-short-label': None}), ({'lo': 2, 'hi': 2, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': None, 'hi': None, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': None, 'li': True, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 0, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lte', 'point-short-label': None})], 4: [({'lo': 0, 'hi': None, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 0, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': 0, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 2, 'hi': 2, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': True, 'lower-operator': 'gte', 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': None, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 0, 'li': True, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 0, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': 0, 'hi': 0, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None})], 5: [({'lo': 2, 'hi': None, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': 2, 'hi': 2, 'li': True, 'ui': True}, {'lower-bracket': '[', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lte', 'point-short-label': 2}), ({'lo': None, 'hi': None, 'li': True, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'lo': None, 'hi': 0, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lt', 'point-short-label': None}), ({'lo': None, 'hi': 2, 'li': True, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': False, 'lower-operator': None, 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 0, 'hi': None, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': None, 'point-short-label': None}), ({'lo': 0, 'hi': 0, 'li': False, 'ui': True}, {'lower-bracket': '(', 'upper-bracket': ']', 'point-empty': True, 'lower-operator': 'gt', 'upper-operator': 'lte', 'point-short-label': None}), ({'lo': 0, 'hi': 2, 'li': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lt', 'point-short-label': None})]}
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{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}Passed
contract fixture 1{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}Passed
contract fixture 2{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': 'lte'}{'lower-bracket': '(', 'lower-operator': None, 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': 'lte'}Passed
contract fixture 3{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}Passed
contract fixture 4{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': True, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': True, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}Passed
contract fixture 5{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': 0, 'upper-bracket': ']', 'upper-operator': 'lte'}{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': 0, 'upper-bracket': ']', 'upper-operator': 'lte'}Passed
contract fixture 6{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}Passed
contract fixture 7{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}Passed
contract fixture 8{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}{'lower-bracket': '(', 'lower-operator': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': 'lt'}Passed
contract fixture 9{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': 'lte'}{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ']', 'upper-operator': 'lte'}Passed

SHA-256 / ce12e126279a851ee4be133790830070172365fac363aefe5c86c12c62690a85

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

Case digest / 9fc8d93e62254f0305d9b492af606601088672f7ba10e2c975f4e3eee67b969d