{"abstract":"Displayed date span includes both endpoint days without masking reversal is violated by the widget projection.","category":"Filter interfaces","checks":10,"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: Displayed date span includes both endpoint days without masking reversal.","evaluation_group":"s3-filter-interfaces-date-window-editor","failed_approach":"The attempted correction `0 if d['end'] is None else abs(d['end']-d['start'])+1` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-date-window-editor-display-span","id":"FA-25286","implementations":{"attempt":{"sha256":"b78a2aa9404aca09ecc90922d0e6a7b3ad6a7fe91b35e0b74584c71a145b9d0c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    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':(0 if d['end'] is None else abs(d['end']-d['start'])+1)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'end': 0, 'start': 0, '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': 1}), ({'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': 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': 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': 0, 'start': 0, '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': 1}), ({'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': 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': 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': 0, 'start': 0, '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': 1}), ({'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})]}\nfor index, (data, expected) in enumerate(fixtures[N]):\n    check(\"contract fixture \" + str(index), solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"be1ba40a3f3d18266c2a1203629316c372c015213db90a67fb19f2bf9a5b3d63","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    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'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'end': 0, 'start': 0, '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': 1}), ({'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': 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': 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': 0, 'start': 0, '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': 1}), ({'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': 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': 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': 0, 'start': 0, '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': 1}), ({'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})]}\nfor index, (data, expected) in enumerate(fixtures[N]):\n    check(\"contract fixture \" + str(index), solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"b16bf682ae44fb4db65cce377598c997c3d162271fb3b1013e2f137a7cfb5f28","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    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)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'end': 0, 'start': 0, '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': 1}), ({'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': 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': 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': 0, 'start': 0, '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': 1}), ({'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': 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': 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': 0, 'start': 0, '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': 1}), ({'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})]}\nfor index, (data, expected) in enumerate(fixtures[N]):\n    check(\"contract fixture \" + str(index), solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"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.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-filter-interfaces-date-window-editor-display-span","generated_at":"2026-09-29T14:41:05.233774+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Filter-widget state and serialization must preserve user constraints while the view changes.","repair":"Implement the declared display-span projection: `None if d['end'] is None else d['end']-d['start']+1`.","root_cause":"The display-span decision uses `None if d['end'] is None else d['end']-d['start']` instead of the stipulated date-window-editor projection.","sha256":"f3fc2e57d5041b7c2f2de841886bc8e4fcb4dd8e1d10a0a4499f1fffcf67d1f4","title":"Displayed date span includes both endpoint days without masking reversal · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.822,"exit_code":1,"observations":[{"actual":{"custom-reset":1,"display-span":1,"exclusive-end":1,"future-warning":false,"rolling-end":9,"rolling-start":8},"check":"contract fixture 0","expected":{"custom-reset":1,"display-span":1,"exclusive-end":1,"future-warning":false,"rolling-end":9,"rolling-start":8},"passed":true},{"actual":{"custom-reset":null,"display-span":0,"exclusive-end":null,"future-warning":false,"rolling-end":11,"rolling-start":10},"check":"contract fixture 1","expected":{"custom-reset":null,"display-span":null,"exclusive-end":null,"future-warning":false,"rolling-end":11,"rolling-start":10},"passed":false},{"actual":{"custom-reset":null,"display-span":0,"exclusive-end":null,"future-warning":false,"rolling-end":11,"rolling-start":4},"check":"contract fixture 2","expected":{"custom-reset":null,"display-span":null,"exclusive-end":null,"future-warning":false,"rolling-end":11,"rolling-start":4},"passed":false},{"actual":{"custom-reset":7,"display-span":0,"exclusive-end":null,"future-warning":false,"rolling-end":9,"rolling-start":2},"check":"contract fixture 3","expected":{"custom-reset":7,"display-span":null,"exclusive-end":null,"future-warning":false,"rolling-end":9,"rolling-start":2},"passed":false},{"actual":{"custom-reset":null,"display-span":1,"exclusive-end":1,"future-warning":false,"rolling-end":9,"rolling-start":8},"check":"contract fixture 4","expected":{"custom-reset":null,"display-span":1,"exclusive-end":1,"future-warning":false,"rolling-end":9,"rolling-start":8},"passed":true},{"actual":{"custom-reset":7,"display-span":1,"exclusive-end":1,"future-warning":false,"rolling-end":11,"rolling-start":4},"check":"contract fixture 5","expected":{"custom-reset":7,"display-span":1,"exclusive-end":1,"future-warning":false,"rolling-end":11,"rolling-start":4},"passed":true},{"actual":{"custom-reset":null,"display-span":11,"exclusive-end":1,"future-warning":false,"rolling-end":11,"rolling-start":10},"check":"contract fixture 6","expected":{"custom-reset":null,"display-span":-9,"exclusive-end":1,"future-warning":false,"rolling-end":11,"rolling-start":10},"passed":false},{"actual":{"custom-reset":1,"display-span":11,"exclusive-end":11,"future-warning":false,"rolling-end":9,"rolling-start":8},"check":"contract fixture 7","expected":{"custom-reset":1,"display-span":11,"exclusive-end":11,"future-warning":false,"rolling-end":9,"rolling-start":8},"passed":true},{"actual":{"custom-reset":null,"display-span":11,"exclusive-end":11,"future-warning":false,"rolling-end":9,"rolling-start":2},"check":"contract fixture 8","expected":{"custom-reset":null,"display-span":11,"exclusive-end":11,"future-warning":false,"rolling-end":9,"rolling-start":2},"passed":true},{"actual":{"custom-reset":1,"display-span":1,"exclusive-end":11,"future-warning":false,"rolling-end":11,"rolling-start":10},"check":"contract fixture 9","expected":{"custom-reset":1,"display-span":1,"exclusive-end":11,"future-warning":false,"rolling-end":11,"rolling-start":10},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"exclusive-end\": 1, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 1}, \"expected\": {\"exclusive-end\": 1, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 1}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"exclusive-end\": null, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": 0}, \"expected\": {\"exclusive-end\": null, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": null}, \"passed\": false}, {\"check\": \"contract fixture 2\", \"actual\": {\"exclusive-end\": null, \"rolling-start\": 4, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": 0}, \"expected\": {\"exclusive-end\": null, \"rolling-start\": 4, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": null}, \"passed\": false}, {\"check\": \"contract fixture 3\", \"actual\": {\"exclusive-end\": null, \"rolling-start\": 2, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 7, \"display-span\": 0}, \"expected\": {\"exclusive-end\": null, \"rolling-start\": 2, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 7, \"display-span\": null}, \"passed\": false}, {\"check\": \"contract fixture 4\", \"actual\": {\"exclusive-end\": 1, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": null, \"display-span\": 1}, \"expected\": {\"exclusive-end\": 1, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": null, \"display-span\": 1}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"exclusive-end\": 1, \"rolling-start\": 4, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": 7, \"display-span\": 1}, \"expected\": {\"exclusive-end\": 1, \"rolling-start\": 4, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": 7, \"display-span\": 1}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"exclusive-end\": 1, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": 11}, \"expected\": {\"exclusive-end\": 1, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": -9}, \"passed\": false}, {\"check\": \"contract fixture 7\", \"actual\": {\"exclusive-end\": 11, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 11}, \"expected\": {\"exclusive-end\": 11, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 11}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"exclusive-end\": 11, \"rolling-start\": 2, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": null, \"display-span\": 11}, \"expected\": {\"exclusive-end\": 11, \"rolling-start\": 2, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": null, \"display-span\": 11}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"exclusive-end\": 11, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 1}, \"expected\": {\"exclusive-end\": 11, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 1}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.406,"exit_code":1,"observations":[{"actual":{"custom-reset":1,"display-span":0,"exclusive-end":1,"future-warning":false,"rolling-end":9,"rolling-start":8},"check":"contract fixture 0","expected":{"custom-reset":1,"display-span":1,"exclusive-end":1,"future-warning":false,"rolling-end":9,"rolling-start":8},"passed":false},{"actual":{"custom-reset":null,"display-span":null,"exclusive-end":null,"future-warning":false,"rolling-end":11,"rolling-start":10},"check":"contract fixture 1","expected":{"custom-reset":null,"display-span":null,"exclusive-end":null,"future-warning":false,"rolling-end":11,"rolling-start":10},"passed":true},{"actual":{"custom-reset":null,"display-span":null,"exclusive-end":null,"future-warning":false,"rolling-end":11,"rolling-start":4},"check":"contract fixture 2","expected":{"custom-reset":null,"display-span":null,"exclusive-end":null,"future-warning":false,"rolling-end":11,"rolling-start":4},"passed":true},{"actual":{"custom-reset":7,"display-span":null,"exclusive-end":null,"future-warning":false,"rolling-end":9,"rolling-start":2},"check":"contract fixture 3","expected":{"custom-reset":7,"display-span":null,"exclusive-end":null,"future-warning":false,"rolling-end":9,"rolling-start":2},"passed":true},{"actual":{"custom-reset":null,"display-span":0,"exclusive-end":1,"future-warning":false,"rolling-end":9,"rolling-start":8},"check":"contract fixture 4","expected":{"custom-reset":null,"display-span":1,"exclusive-end":1,"future-warning":false,"rolling-end":9,"rolling-start":8},"passed":false},{"actual":{"custom-reset":7,"display-span":0,"exclusive-end":1,"future-warning":false,"rolling-end":11,"rolling-start":4},"check":"contract fixture 5","expected":{"custom-reset":7,"display-span":1,"exclusive-end":1,"future-warning":false,"rolling-end":11,"rolling-start":4},"passed":false},{"actual":{"custom-reset":null,"display-span":-10,"exclusive-end":1,"future-warning":false,"rolling-end":11,"rolling-start":10},"check":"contract fixture 6","expected":{"custom-reset":null,"display-span":-9,"exclusive-end":1,"future-warning":false,"rolling-end":11,"rolling-start":10},"passed":false},{"actual":{"custom-reset":1,"display-span":10,"exclusive-end":11,"future-warning":false,"rolling-end":9,"rolling-start":8},"check":"contract fixture 7","expected":{"custom-reset":1,"display-span":11,"exclusive-end":11,"future-warning":false,"rolling-end":9,"rolling-start":8},"passed":false},{"actual":{"custom-reset":null,"display-span":10,"exclusive-end":11,"future-warning":false,"rolling-end":9,"rolling-start":2},"check":"contract fixture 8","expected":{"custom-reset":null,"display-span":11,"exclusive-end":11,"future-warning":false,"rolling-end":9,"rolling-start":2},"passed":false},{"actual":{"custom-reset":1,"display-span":0,"exclusive-end":11,"future-warning":false,"rolling-end":11,"rolling-start":10},"check":"contract fixture 9","expected":{"custom-reset":1,"display-span":1,"exclusive-end":11,"future-warning":false,"rolling-end":11,"rolling-start":10},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"exclusive-end\": 1, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 0}, \"expected\": {\"exclusive-end\": 1, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 1}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"exclusive-end\": null, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": null}, \"expected\": {\"exclusive-end\": null, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": null}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"exclusive-end\": null, \"rolling-start\": 4, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": null}, \"expected\": {\"exclusive-end\": null, \"rolling-start\": 4, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": null}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"exclusive-end\": null, \"rolling-start\": 2, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 7, \"display-span\": null}, \"expected\": {\"exclusive-end\": null, \"rolling-start\": 2, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 7, \"display-span\": null}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"exclusive-end\": 1, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": null, \"display-span\": 0}, \"expected\": {\"exclusive-end\": 1, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": null, \"display-span\": 1}, \"passed\": false}, {\"check\": \"contract fixture 5\", \"actual\": {\"exclusive-end\": 1, \"rolling-start\": 4, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": 7, \"display-span\": 0}, \"expected\": {\"exclusive-end\": 1, \"rolling-start\": 4, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": 7, \"display-span\": 1}, \"passed\": false}, {\"check\": \"contract fixture 6\", \"actual\": {\"exclusive-end\": 1, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": -10}, \"expected\": {\"exclusive-end\": 1, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": -9}, \"passed\": false}, {\"check\": \"contract fixture 7\", \"actual\": {\"exclusive-end\": 11, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 10}, \"expected\": {\"exclusive-end\": 11, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 11}, \"passed\": false}, {\"check\": \"contract fixture 8\", \"actual\": {\"exclusive-end\": 11, \"rolling-start\": 2, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": null, \"display-span\": 10}, \"expected\": {\"exclusive-end\": 11, \"rolling-start\": 2, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": null, \"display-span\": 11}, \"passed\": false}, {\"check\": \"contract fixture 9\", \"actual\": {\"exclusive-end\": 11, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 0}, \"expected\": {\"exclusive-end\": 11, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 1}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.017,"exit_code":0,"observations":[{"actual":{"custom-reset":1,"display-span":1,"exclusive-end":1,"future-warning":false,"rolling-end":9,"rolling-start":8},"check":"contract fixture 0","expected":{"custom-reset":1,"display-span":1,"exclusive-end":1,"future-warning":false,"rolling-end":9,"rolling-start":8},"passed":true},{"actual":{"custom-reset":null,"display-span":null,"exclusive-end":null,"future-warning":false,"rolling-end":11,"rolling-start":10},"check":"contract fixture 1","expected":{"custom-reset":null,"display-span":null,"exclusive-end":null,"future-warning":false,"rolling-end":11,"rolling-start":10},"passed":true},{"actual":{"custom-reset":null,"display-span":null,"exclusive-end":null,"future-warning":false,"rolling-end":11,"rolling-start":4},"check":"contract fixture 2","expected":{"custom-reset":null,"display-span":null,"exclusive-end":null,"future-warning":false,"rolling-end":11,"rolling-start":4},"passed":true},{"actual":{"custom-reset":7,"display-span":null,"exclusive-end":null,"future-warning":false,"rolling-end":9,"rolling-start":2},"check":"contract fixture 3","expected":{"custom-reset":7,"display-span":null,"exclusive-end":null,"future-warning":false,"rolling-end":9,"rolling-start":2},"passed":true},{"actual":{"custom-reset":null,"display-span":1,"exclusive-end":1,"future-warning":false,"rolling-end":9,"rolling-start":8},"check":"contract fixture 4","expected":{"custom-reset":null,"display-span":1,"exclusive-end":1,"future-warning":false,"rolling-end":9,"rolling-start":8},"passed":true},{"actual":{"custom-reset":7,"display-span":1,"exclusive-end":1,"future-warning":false,"rolling-end":11,"rolling-start":4},"check":"contract fixture 5","expected":{"custom-reset":7,"display-span":1,"exclusive-end":1,"future-warning":false,"rolling-end":11,"rolling-start":4},"passed":true},{"actual":{"custom-reset":null,"display-span":-9,"exclusive-end":1,"future-warning":false,"rolling-end":11,"rolling-start":10},"check":"contract fixture 6","expected":{"custom-reset":null,"display-span":-9,"exclusive-end":1,"future-warning":false,"rolling-end":11,"rolling-start":10},"passed":true},{"actual":{"custom-reset":1,"display-span":11,"exclusive-end":11,"future-warning":false,"rolling-end":9,"rolling-start":8},"check":"contract fixture 7","expected":{"custom-reset":1,"display-span":11,"exclusive-end":11,"future-warning":false,"rolling-end":9,"rolling-start":8},"passed":true},{"actual":{"custom-reset":null,"display-span":11,"exclusive-end":11,"future-warning":false,"rolling-end":9,"rolling-start":2},"check":"contract fixture 8","expected":{"custom-reset":null,"display-span":11,"exclusive-end":11,"future-warning":false,"rolling-end":9,"rolling-start":2},"passed":true},{"actual":{"custom-reset":1,"display-span":1,"exclusive-end":11,"future-warning":false,"rolling-end":11,"rolling-start":10},"check":"contract fixture 9","expected":{"custom-reset":1,"display-span":1,"exclusive-end":11,"future-warning":false,"rolling-end":11,"rolling-start":10},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"exclusive-end\": 1, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 1}, \"expected\": {\"exclusive-end\": 1, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 1}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"exclusive-end\": null, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": null}, \"expected\": {\"exclusive-end\": null, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": null}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"exclusive-end\": null, \"rolling-start\": 4, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": null}, \"expected\": {\"exclusive-end\": null, \"rolling-start\": 4, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": null}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"exclusive-end\": null, \"rolling-start\": 2, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 7, \"display-span\": null}, \"expected\": {\"exclusive-end\": null, \"rolling-start\": 2, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 7, \"display-span\": null}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"exclusive-end\": 1, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": null, \"display-span\": 1}, \"expected\": {\"exclusive-end\": 1, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": null, \"display-span\": 1}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"exclusive-end\": 1, \"rolling-start\": 4, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": 7, \"display-span\": 1}, \"expected\": {\"exclusive-end\": 1, \"rolling-start\": 4, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": 7, \"display-span\": 1}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"exclusive-end\": 1, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": -9}, \"expected\": {\"exclusive-end\": 1, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": null, \"display-span\": -9}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"exclusive-end\": 11, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 11}, \"expected\": {\"exclusive-end\": 11, \"rolling-start\": 8, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 11}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"exclusive-end\": 11, \"rolling-start\": 2, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": null, \"display-span\": 11}, \"expected\": {\"exclusive-end\": 11, \"rolling-start\": 2, \"rolling-end\": 9, \"future-warning\": false, \"custom-reset\": null, \"display-span\": 11}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"exclusive-end\": 11, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 1}, \"expected\": {\"exclusive-end\": 11, \"rolling-start\": 10, \"rolling-end\": 11, \"future-warning\": false, \"custom-reset\": 1, \"display-span\": 1}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}