FAILURE MAP
← Case archive

FA-25266 / Filter interfaces / Open access

Rolling date presets include the anchor day and honor live mode · case 01

Rolling date presets include the anchor day and honor live mode is violated by the widget projection.

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

ROOT CAUSE

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

VERIFIED REPAIR

Implement the declared rolling-start projection: `(d['now'] if d['live'] else d['snapshot'])-d['days']+1`.

Unsuccessful approach: The attempted correction `d['snapshot']-d['days']+1` 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 date presets include the anchor day and honor live mode.

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']-d['days']), 'rolling-end':((d['now'] if d['live'] else d['snapshot'])+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': 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}), ({'end': 10, 'start': 10, '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': 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': 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}), ({'end': 11, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': False}, {'exclusive-end': 12, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': True, 'custom-reset': 7, 'display-span': 12})], 3: [({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': False}, {'exclusive-end': None, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 1, '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': 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': 1, 'live': True, 'custom': True}, {'exclusive-end': None, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'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': 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': 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': 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': 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': 9, 'rolling-start': 9}{'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': 3}{'custom-reset': None, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 4}Failed
contract fixture 2{'custom-reset': 7, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 3}{'custom-reset': 7, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 2}Failed
contract fixture 3{'custom-reset': None, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 9}{'custom-reset': None, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}Failed
contract fixture 4{'custom-reset': 7, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 3}{'custom-reset': 7, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 4}Failed
contract fixture 5{'custom-reset': None, 'display-span': -9, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 9}{'custom-reset': None, 'display-span': -9, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 10}Failed
contract fixture 6{'custom-reset': 1, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 9}{'custom-reset': 1, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}Failed
contract fixture 7{'custom-reset': None, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 3}{'custom-reset': None, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 2}Failed
contract fixture 8{'custom-reset': 1, 'display-span': 1, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 9}{'custom-reset': 1, 'display-span': 1, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 10}Failed
contract fixture 9{'custom-reset': None, 'display-span': 1, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 3}{'custom-reset': None, 'display-span': 1, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 4}Failed

SHA-256 / c044ae7df3cb85b7aa6fd539994004b35ed51dd29c30fd0ec0dda630b854c7c6

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['snapshot']-d['days']+1), 'rolling-end':((d['now'] if d['live'] else d['snapshot'])+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': 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}), ({'end': 10, 'start': 10, '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': 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': 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}), ({'end': 11, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': False}, {'exclusive-end': 12, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': True, 'custom-reset': 7, 'display-span': 12})], 3: [({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': False}, {'exclusive-end': None, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 1, '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': 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': 1, 'live': True, 'custom': True}, {'exclusive-end': None, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'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': 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': 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': 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': 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': 9, 'rolling-start': 8}{'custom-reset': 1, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}Passed
contract fixture 1{'custom-reset': None, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 2}{'custom-reset': None, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 4}Failed
contract fixture 2{'custom-reset': 7, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 2}{'custom-reset': 7, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 2}Passed
contract fixture 3{'custom-reset': None, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}{'custom-reset': None, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}Passed
contract fixture 4{'custom-reset': 7, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 2}{'custom-reset': 7, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 4}Failed
contract fixture 5{'custom-reset': None, 'display-span': -9, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 8}{'custom-reset': None, 'display-span': -9, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 10}Failed
contract fixture 6{'custom-reset': 1, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}{'custom-reset': 1, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}Passed
contract fixture 7{'custom-reset': None, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 2}{'custom-reset': None, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 2}Passed
contract fixture 8{'custom-reset': 1, 'display-span': 1, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 8}{'custom-reset': 1, 'display-span': 1, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 10}Failed
contract fixture 9{'custom-reset': None, 'display-span': 1, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 2}{'custom-reset': None, 'display-span': 1, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 4}Failed

SHA-256 / 3f1899593c1ffc1e7f56e68146d0bd9615f4d58832660c749583733b35ea02b1

3 / The verified repair

Exit 0
"""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'])+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': 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}), ({'end': 10, 'start': 10, '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': 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': 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}), ({'end': 11, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 7, 'live': True, 'custom': False}, {'exclusive-end': 12, 'rolling-start': 4, 'rolling-end': 11, 'future-warning': True, 'custom-reset': 7, 'display-span': 12})], 3: [({'end': None, 'start': 0, 'now': 10, 'snapshot': 8, 'days': 1, 'live': True, 'custom': False}, {'exclusive-end': None, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': 1, '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': 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': 1, 'live': True, 'custom': True}, {'exclusive-end': None, 'rolling-start': 10, 'rolling-end': 11, 'future-warning': False, 'custom-reset': None, 'display-span': None}), ({'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': 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': 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': 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': 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': 9, 'rolling-start': 8}{'custom-reset': 1, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}Passed
contract fixture 1{'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 2{'custom-reset': 7, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 2}{'custom-reset': 7, 'display-span': None, 'exclusive-end': None, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 2}Passed
contract fixture 3{'custom-reset': None, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}{'custom-reset': None, 'display-span': 1, 'exclusive-end': 1, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}Passed
contract fixture 4{'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 5{'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 6{'custom-reset': 1, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}{'custom-reset': 1, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 8}Passed
contract fixture 7{'custom-reset': None, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 2}{'custom-reset': None, 'display-span': 11, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 9, 'rolling-start': 2}Passed
contract fixture 8{'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
contract fixture 9{'custom-reset': None, 'display-span': 1, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 4}{'custom-reset': None, 'display-span': 1, 'exclusive-end': 11, 'future-warning': False, 'rolling-end': 11, 'rolling-start': 4}Passed

SHA-256 / e46b7391d2d2a465a130c52ba44e4554029f5b5be02dfb444bdef65a2dbf9140

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

Case digest / 78b4f9b84ef433b4fb708c70e7e6b60a3207ce2934c680bbaf3146897268f19b