FAILURE MAP
← Case archive

FA-25246 / Filter interfaces / Open access

Lower inclusion selects the correct serialized comparison operator · case 01

Lower inclusion selects the correct serialized comparison operator is violated by the widget projection.

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

ROOT CAUSE

The lower-operator decision uses `'gte' if d['li'] else 'gt'` instead of the stipulated range-inclusivity projection.

VERIFIED REPAIR

Implement the declared lower-operator projection: `None if d['lo'] is None else ('gte' if d['li'] else 'gt')`.

Unsuccessful approach: The attempted correction `None if d['lo'] is None else ('gt' if d['li'] else 'gte')` 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: Lower inclusion selects the correct serialized comparison operator.

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['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':('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': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'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': 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}), ({'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})], 2: [({'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': 0, 'hi': 0, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': True, 'lower-operator': 'gte', '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': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lt', '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})], 3: [({'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': 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': 0, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lt', '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': 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': 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': 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': False, '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': 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})], 5: [({'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': 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': 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': 'gt', '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': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}Passed
contract fixture 2{'lower-bracket': '(', 'lower-operator': 'gte', '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'}Failed
contract fixture 3{'lower-bracket': '(', 'lower-operator': 'gte', '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 4{'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 5{'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 6{'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 7{'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 8{'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 9{'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

SHA-256 / c871b513f8bfe2945e8cd9ba7e99b68464f70eb47da56c489184f192fc92016b

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 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 ('gt' if d['li'] else 'gte')), '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': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'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': 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}), ({'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})], 2: [({'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': 0, 'hi': 0, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': True, 'lower-operator': 'gte', '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': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lt', '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})], 3: [({'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': 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': 0, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lt', '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': 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': 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': 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': False, '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': 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})], 5: [({'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': 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': 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': 'gt', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}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': 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 4{'lower-bracket': '(', 'lower-operator': 'gte', '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 5{'lower-bracket': '(', 'lower-operator': 'gte', '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 6{'lower-bracket': '[', 'lower-operator': 'gt', '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'}Failed
contract fixture 7{'lower-bracket': '[', 'lower-operator': 'gt', '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 8{'lower-bracket': '(', 'lower-operator': 'gte', '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 9{'lower-bracket': '(', 'lower-operator': 'gte', '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

SHA-256 / 66d5b410f281552488a2a2c2c3826861c6ade968abd5ae2e3b0f4154a171141a

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': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': None, 'upper-operator': None, 'point-short-label': None}), ({'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': 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}), ({'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})], 2: [({'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': 0, 'hi': 0, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': True, 'lower-operator': 'gte', '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': False, 'ui': False}, {'lower-bracket': '(', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gt', 'upper-operator': 'lt', '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})], 3: [({'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': 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': 0, 'li': True, 'ui': False}, {'lower-bracket': '[', 'upper-bracket': ')', 'point-empty': False, 'lower-operator': 'gte', 'upper-operator': 'lt', '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': 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': 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': 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': False, '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': 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})], 5: [({'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': 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': 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': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}{'lower-bracket': '[', 'lower-operator': 'gte', 'point-empty': False, 'point-short-label': None, 'upper-bracket': ')', 'upper-operator': None}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': 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 4{'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 5{'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 6{'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 7{'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 8{'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 9{'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

SHA-256 / fa5689a4b7ecfe5e9559211983361bd2e3ec9ef0a932249a9f73c2afdd9a2e95

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

Case digest / a76333f288b55d7fdb06360216fa1f532dc34ec863ae11a2c2b1ed81694775b7