FAILURE MAP
← Case archive

FA-25271 / Filter interfaces / Open access

Rolling presets serialize an exclusive end from the selected anchor · case 01

Rolling presets serialize an exclusive end from the selected anchor is violated by the widget projection.

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

ROOT CAUSE

The rolling-end decision uses `d['now']+1` instead of the stipulated date-window-editor projection.

THE FAILURE

The rolling-end decision uses `d['now']+1` instead of the stipulated date-window-editor projection.

Unsuccessful approach: The attempted correction `d['now'] if d['live'] else d['snapshot']` still violates the explicit contract fixtures.

Case contract

A stipulated day-index filter uses inclusive display dates and an exclusive serialized end, with rolling presets bound either to live now or a frozen snapshot. This example checks: Rolling presets serialize an exclusive end from the selected anchor.

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 {'exclusive-end':(None if d['end'] is None else d['end']+1), 'rolling-start':((d['now'] if d['live'] else d['snapshot'])-d['days']+1), 'rolling-end':(d['now']+1), 'future-warning':(d['end'] is not None and d['end']>d['now']), 'custom-reset':(None if d['custom'] else d['days']), 'display-span':(None if d['end'] is None else d['end']-d['start']+1)}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': False}, {'exclusive-end': None, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 1, 'display-span': None}), ({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': True}, {'exclusive-end': None, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': True}, {'exclusive-end': None, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'end': None, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': False}, {'exclusive-end': None, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 7, 'display-span': None}), ({'end': 0, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': True}, {'exclusive-end': 1, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': 1}), ({'end': 0, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': False}, {'exclusive-end': 1, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 7, 'display-span': 1}), ({'end': 0, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': True}, {'exclusive-end': 1, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': -9}), ({'end': 10, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': False}, {'exclusive-end': 11, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 1, 'display-span': 11}), ({'end': 10, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': True}, {'exclusive-end': 11, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': 11}), ({'end': 10, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': False}, {'exclusive-end': 11, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 1, 'display-span': 1})], 2: [({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': True}, {'exclusive-end': None, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': False}, {'exclusive-end': None, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 7, 'display-span': None}), ({'end': None, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': False}, {'exclusive-end': None, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 7, 'display-span': None}), ({'end': 0, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': True}, {'exclusive-end': 1, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': 1}), ({'end': 0, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': False}, {'exclusive-end': 1, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 1, 'display-span': -9}), ({'end': 0, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': True}, {'exclusive-end': 1, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': -9}), ({'end': 10, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': False}, {'exclusive-end': 11, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 1, 'display-span': 11}), ({'end': 10, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': True}, {'exclusive-end': 11, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': 11}), ({'end': 10, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': False}, {'exclusive-end': 11, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 7, 'display-span': 1}), ({'end': 11, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': True}, {'exclusive-end': 12, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': True, 'custom-reset': None, 'display-span': 12})], 3: [({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': False}, {'exclusive-end': None, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 7, 'display-span': None}), ({'end': None, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': True}, {'exclusive-end': None, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'end': 0, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': True}, {'exclusive-end': 1, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': 1}), ({'end': 0, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': False}, {'exclusive-end': 1, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 1, 'display-span': -9}), ({'end': 0, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': True}, {'exclusive-end': 1, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': -9}), ({'end': 10, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': False}, {'exclusive-end': 11, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 7, 'display-span': 11}), ({'end': 10, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': True}, {'exclusive-end': 11, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': 1}), ({'end': 10, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': False}, {'exclusive-end': 11, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 7, 'display-span': 1}), ({'end': 11, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': True}, {'exclusive-end': 12, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': True, 'custom-reset': None, 'display-span': 12}), ({'end': 11, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': False}, {'exclusive-end': 12, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': True, 'custom-reset': 1, 'display-span': 2})], 4: [({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': True}, {'exclusive-end': None, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'end': None, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': False}, {'exclusive-end': None, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 7, 'display-span': None}), ({'end': 0, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': False}, {'exclusive-end': 1, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 7, 'display-span': -9}), ({'end': 10, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': True}, {'exclusive-end': 11, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': 11}), ({'end': 10, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': False}, {'exclusive-end': 11, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 7, 'display-span': 11}), ({'end': 10, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': True}, {'exclusive-end': 11, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': 1}), ({'end': 11, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': False}, {'exclusive-end': 12, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': True, 'custom-reset': 1, 'display-span': 12}), ({'end': 11, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': True}, {'exclusive-end': 12, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': True, 'custom-reset': None, 'display-span': 12}), ({'end': 11, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': False}, {'exclusive-end': 12, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': True, 'custom-reset': 1, 'display-span': 2}), ({'end': 11, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': True}, {'exclusive-end': 12, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': True, 'custom-reset': None, 'display-span': 2})], 5: [({'end': None, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': False}, {'exclusive-end': None, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 1, 'display-span': None}), ({'end': None, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': True}, {'exclusive-end': None, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'end': 10, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': True}, {'exclusive-end': 11, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': 11}), ({'end': 10, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': False}, {'exclusive-end': 11, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 1, 'display-span': 1}), ({'end': 10, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': True}, {'exclusive-end': 11, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': 1}), ({'end': 11, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': False}, {'exclusive-end': 12, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': True, 'custom-reset': 1, 'display-span': 12}), ({'end': 11, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': True}, {'exclusive-end': 12, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': True, 'custom-reset': None, 'display-span': 12}), ({'end': 11, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': False}, {'exclusive-end': 12, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': True, 'custom-reset': 7, 'display-span': 2}), ({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': True}, {'exclusive-end': None, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': False}, {'exclusive-end': None, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 7, 'display-span': 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{'custom-reset': 1, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 8}{'custom-reset': 1, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}Failed
contract fixture 1{'custom-reset': None, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 10}{'custom-reset': None, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 10}Passed
contract fixture 2{'custom-reset': None, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 4}{'custom-reset': None, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 4}Passed
contract fixture 3{'custom-reset': 7, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 2}{'custom-reset': 7, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 2}Failed
contract fixture 4{'custom-reset': None, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 8}{'custom-reset': None, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}Failed
contract fixture 5{'custom-reset': 7, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 4}{'custom-reset': 7, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 4}Passed
contract fixture 6{'custom-reset': None, 'display-span': -9, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 10}{'custom-reset': None, 'display-span': -9, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 10}Passed
contract fixture 7{'custom-reset': 1, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 8}{'custom-reset': 1, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}Failed
contract fixture 8{'custom-reset': None, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 2}{'custom-reset': None, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 2}Failed
contract fixture 9{'custom-reset': 1, 'display-span': 1, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 10}{'custom-reset': 1, 'display-span': 1, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 10}Passed

SHA-256 / 964a4b98d5fac5d4030c813c2f4e1c4d9594b4502f645cf79effd9eaab1ee053

2 / The unsuccessful fix

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

N = 1
observations = []
def solve(d):
    return {'exclusive-end':(None if d['end'] is None else d['end']+1), 'rolling-start':((d['now'] if d['live'] else d['snapshot'])-d['days']+1), 'rolling-end':(d['now'] if d['live'] else d['snapshot']), 'future-warning':(d['end'] is not None and d['end']>d['now']), 'custom-reset':(None if d['custom'] else d['days']), 'display-span':(None if d['end'] is None else d['end']-d['start']+1)}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = {1: [({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': False}, {'exclusive-end': None, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 1, 'display-span': None}), ({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': True}, {'exclusive-end': None, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': True}, {'exclusive-end': None, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'end': None, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': False}, {'exclusive-end': None, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 7, 'display-span': None}), ({'end': 0, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': True}, {'exclusive-end': 1, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': 1}), ({'end': 0, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': False}, {'exclusive-end': 1, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 7, 'display-span': 1}), ({'end': 0, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': True}, {'exclusive-end': 1, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': -9}), ({'end': 10, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': False}, {'exclusive-end': 11, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 1, 'display-span': 11}), ({'end': 10, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': True}, {'exclusive-end': 11, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': 11}), ({'end': 10, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': False}, {'exclusive-end': 11, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 1, 'display-span': 1})], 2: [({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': True}, {'exclusive-end': None, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': False}, {'exclusive-end': None, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 7, 'display-span': None}), ({'end': None, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': False}, {'exclusive-end': None, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 7, 'display-span': None}), ({'end': 0, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': True}, {'exclusive-end': 1, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': 1}), ({'end': 0, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': False}, {'exclusive-end': 1, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 1, 'display-span': -9}), ({'end': 0, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': True}, {'exclusive-end': 1, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': -9}), ({'end': 10, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': False}, {'exclusive-end': 11, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 1, 'display-span': 11}), ({'end': 10, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': True}, {'exclusive-end': 11, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': 11}), ({'end': 10, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': False}, {'exclusive-end': 11, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 7, 'display-span': 1}), ({'end': 11, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': True}, {'exclusive-end': 12, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': True, 'custom-reset': None, 'display-span': 12})], 3: [({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': False}, {'exclusive-end': None, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 7, 'display-span': None}), ({'end': None, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': True}, {'exclusive-end': None, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'end': 0, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': True}, {'exclusive-end': 1, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': 1}), ({'end': 0, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': False}, {'exclusive-end': 1, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 1, 'display-span': -9}), ({'end': 0, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': True}, {'exclusive-end': 1, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': -9}), ({'end': 10, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': False}, {'exclusive-end': 11, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 7, 'display-span': 11}), ({'end': 10, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': True}, {'exclusive-end': 11, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': 1}), ({'end': 10, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': False}, {'exclusive-end': 11, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 7, 'display-span': 1}), ({'end': 11, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': True}, {'exclusive-end': 12, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': True, 'custom-reset': None, 'display-span': 12}), ({'end': 11, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': False}, {'exclusive-end': 12, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': True, 'custom-reset': 1, 'display-span': 2})], 4: [({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': True}, {'exclusive-end': None, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'end': None, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': False}, {'exclusive-end': None, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 7, 'display-span': None}), ({'end': 0, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': False}, {'exclusive-end': 1, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 7, 'display-span': -9}), ({'end': 10, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': True}, {'exclusive-end': 11, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': 11}), ({'end': 10, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': False}, {'exclusive-end': 11, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 7, 'display-span': 11}), ({'end': 10, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': True}, {'exclusive-end': 11, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': 1}), ({'end': 11, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': False}, {'exclusive-end': 12, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': True, 'custom-reset': 1, 'display-span': 12}), ({'end': 11, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': True}, {'exclusive-end': 12, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': True, 'custom-reset': None, 'display-span': 12}), ({'end': 11, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': False}, {'exclusive-end': 12, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': True, 'custom-reset': 1, 'display-span': 2}), ({'end': 11, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': True}, {'exclusive-end': 12, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': True, 'custom-reset': None, 'display-span': 2})], 5: [({'end': None, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': False}, {'exclusive-end': None, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 1, 'display-span': None}), ({'end': None, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': True}, {'exclusive-end': None, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'end': 10, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': True}, {'exclusive-end': 11, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': 11}), ({'end': 10, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': False}, {'exclusive-end': 11, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': 1, 'display-span': 1}), ({'end': 10, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': True}, {'exclusive-end': 11, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': 1}), ({'end': 11, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': False}, {'exclusive-end': 12, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': True, 'custom-reset': 1, 'display-span': 12}), ({'end': 11, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': True}, {'exclusive-end': 12, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': True, 'custom-reset': None, 'display-span': 12}), ({'end': 11, 'start': 10, 'now': 10, 'snapshot': 8, 'days': 7, 'live': False, 'custom': False}, {'exclusive-end': 12, 'rolling-start': 2, 'rolling-end': 9, 'future-warning': True, 'custom-reset': 7, 'display-span': 2}), ({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': False, 'custom': True}, {'exclusive-end': None, 'rolling-start': 8, 'rolling-end': 9, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': False}, {'exclusive-end': None, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 7, 'display-span': 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{'custom-reset': 1, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 8, 'rolling-start': 8}{'custom-reset': 1, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}Failed
contract fixture 1{'custom-reset': None, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 10, 'rolling-start': 10}{'custom-reset': None, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 10}Failed
contract fixture 2{'custom-reset': None, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 10, 'rolling-start': 4}{'custom-reset': None, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 4}Failed
contract fixture 3{'custom-reset': 7, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 8, 'rolling-start': 2}{'custom-reset': 7, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 2}Failed
contract fixture 4{'custom-reset': None, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 8, 'rolling-start': 8}{'custom-reset': None, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}Failed
contract fixture 5{'custom-reset': 7, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 10, 'rolling-start': 4}{'custom-reset': 7, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 4}Failed
contract fixture 6{'custom-reset': None, 'display-span': -9, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 10, 'rolling-start': 10}{'custom-reset': None, 'display-span': -9, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 10}Failed
contract fixture 7{'custom-reset': 1, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 8, 'rolling-start': 8}{'custom-reset': 1, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}Failed
contract fixture 8{'custom-reset': None, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 8, 'rolling-start': 2}{'custom-reset': None, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 2}Failed
contract fixture 9{'custom-reset': 1, 'display-span': 1, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 10, 'rolling-start': 10}{'custom-reset': 1, 'display-span': 1, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 10}Failed

SHA-256 / 38e7481fc308909df3586151fdd131b9537911616625faf0c4332ce99371fac9

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 10 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Sign in to the archive ↗

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

Case digest / c1f870907cff2beefd98d9974903bf83a733c0fa612d35e6b2b851340ec9588c