{"abstract":"Histogram filters commit only on release of a nonempty brush is violated by the widget projection.","category":"Filter interfaces","checks":10,"contract":"A histogram brush selects intersecting bucket identities over a half-open horizontal interval; clicks without width do not create a range and the final brush converts to domain edges. This example checks: Histogram filters commit only on release of a nonempty brush.","evaluation_group":"s3-filter-interfaces-histogram-brush-filter","failed_approach":"The attempted correction `d['released']` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-histogram-brush-filter-brush-publish","id":"FA-26276","implementations":{"attempt":{"sha256":"81383087db9edfe5d27e59810566f5caba2645b76fe5c14caf0c5e42a268b03c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'normalize-drag':([min(d['start'],d['end']),max(d['start'],d['end'])]), 'bucket-intersection':([i for i,(a,b) in enumerate(d['bins']) if a<max(d['start'],d['end']) and b>min(d['start'],d['end'])] if d['start']!=d['end'] else []), 'click-no-range':(d['start']==d['end']), 'brush-domain-start':(max(d['minimum'],min(d['start'],d['end']))), 'brush-domain-end':(min(d['maximum'],max(d['start'],d['end']))), 'brush-publish':(d['released'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'start': -1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 0], 'bucket-intersection': [], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 0, 'brush-publish': False}), ({'start': 1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 1], 'bucket-intersection': [], 'click-no-range': True, 'brush-domain-start': 1, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': -1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [-1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 0, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 0, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 2, 'brush-publish': True}), ({'start': 1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 3, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 3], 'bucket-intersection': [0, 1], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 3, 'brush-publish': True}), ({'start': 3, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [2, 3], 'bucket-intersection': [1], 'click-no-range': False, 'brush-domain-start': 2, 'brush-domain-end': 3, 'brush-publish': False}), ({'start': 3, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [3, 5], 'bucket-intersection': [1, 2], 'click-no-range': False, 'brush-domain-start': 3, 'brush-domain-end': 5, 'brush-publish': True})], 2: [({'start': -1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 0, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 0], 'bucket-intersection': [], 'click-no-range': True, 'brush-domain-start': 0, 'brush-domain-end': 0, 'brush-publish': False}), ({'start': 0, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': True}), ({'start': 1, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [1, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 2, 'brush-publish': False}), ({'start': 1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 3, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [1, 3], 'bucket-intersection': [0, 1], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 3, 'brush-publish': False}), ({'start': 3, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [2, 3], 'bucket-intersection': [1], 'click-no-range': False, 'brush-domain-start': 2, 'brush-domain-end': 3, 'brush-publish': True}), ({'start': 6, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 6], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 6, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 6], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': True})], 3: [({'start': -1, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 2, 'brush-publish': False}), ({'start': 1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 1], 'bucket-intersection': [], 'click-no-range': True, 'brush-domain-start': 1, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 1, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 2, 'brush-publish': True}), ({'start': 3, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 3], 'bucket-intersection': [0, 1], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 3, 'brush-publish': False}), ({'start': 3, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 3], 'bucket-intersection': [0, 1], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 3, 'brush-publish': True}), ({'start': 3, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [3, 5], 'bucket-intersection': [1, 2], 'click-no-range': False, 'brush-domain-start': 3, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 6, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 6], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 6, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [2, 6], 'bucket-intersection': [1, 2], 'click-no-range': False, 'brush-domain-start': 2, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 6, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [5, 6], 'bucket-intersection': [2], 'click-no-range': False, 'brush-domain-start': 5, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': -1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False})], 4: [({'start': -1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 0, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 0], 'bucket-intersection': [], 'click-no-range': True, 'brush-domain-start': 0, 'brush-domain-end': 0, 'brush-publish': False}), ({'start': 3, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [2, 3], 'bucket-intersection': [1], 'click-no-range': False, 'brush-domain-start': 2, 'brush-domain-end': 3, 'brush-publish': False}), ({'start': 3, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [3, 5], 'bucket-intersection': [1, 2], 'click-no-range': False, 'brush-domain-start': 3, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 6, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [1, 6], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 6, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [2, 6], 'bucket-intersection': [1, 2], 'click-no-range': False, 'brush-domain-start': 2, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': -1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 0], 'bucket-intersection': [], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 0, 'brush-publish': False}), ({'start': -1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [-1, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': True}), ({'start': 0, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 2, 'brush-publish': False}), ({'start': 0, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': True})], 5: [({'start': 0, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 1], 'bucket-intersection': [], 'click-no-range': True, 'brush-domain-start': 1, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 6, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 6], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 6, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [5, 6], 'bucket-intersection': [2], 'click-no-range': False, 'brush-domain-start': 5, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': -1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [-1, 0], 'bucket-intersection': [], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 0, 'brush-publish': True}), ({'start': -1, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 2, 'brush-publish': False}), ({'start': -1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [-1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 0, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 2, 'brush-publish': True}), ({'start': 1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': False})]}\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":"86a60de25218a2d88e1a766e06ca0fe1e1b22fbd86b23ba08e0ef1a10df300f9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'normalize-drag':([min(d['start'],d['end']),max(d['start'],d['end'])]), 'bucket-intersection':([i for i,(a,b) in enumerate(d['bins']) if a<max(d['start'],d['end']) and b>min(d['start'],d['end'])] if d['start']!=d['end'] else []), 'click-no-range':(d['start']==d['end']), 'brush-domain-start':(max(d['minimum'],min(d['start'],d['end']))), 'brush-domain-end':(min(d['maximum'],max(d['start'],d['end']))), 'brush-publish':(d['start']!=d['end'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'start': -1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 0], 'bucket-intersection': [], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 0, 'brush-publish': False}), ({'start': 1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 1], 'bucket-intersection': [], 'click-no-range': True, 'brush-domain-start': 1, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': -1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [-1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 0, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 0, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 2, 'brush-publish': True}), ({'start': 1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 3, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 3], 'bucket-intersection': [0, 1], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 3, 'brush-publish': True}), ({'start': 3, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [2, 3], 'bucket-intersection': [1], 'click-no-range': False, 'brush-domain-start': 2, 'brush-domain-end': 3, 'brush-publish': False}), ({'start': 3, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [3, 5], 'bucket-intersection': [1, 2], 'click-no-range': False, 'brush-domain-start': 3, 'brush-domain-end': 5, 'brush-publish': True})], 2: [({'start': -1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 0, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 0], 'bucket-intersection': [], 'click-no-range': True, 'brush-domain-start': 0, 'brush-domain-end': 0, 'brush-publish': False}), ({'start': 0, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': True}), ({'start': 1, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [1, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 2, 'brush-publish': False}), ({'start': 1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 3, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [1, 3], 'bucket-intersection': [0, 1], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 3, 'brush-publish': False}), ({'start': 3, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [2, 3], 'bucket-intersection': [1], 'click-no-range': False, 'brush-domain-start': 2, 'brush-domain-end': 3, 'brush-publish': True}), ({'start': 6, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 6], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 6, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 6], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': True})], 3: [({'start': -1, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 2, 'brush-publish': False}), ({'start': 1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 1], 'bucket-intersection': [], 'click-no-range': True, 'brush-domain-start': 1, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 1, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 2, 'brush-publish': True}), ({'start': 3, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 3], 'bucket-intersection': [0, 1], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 3, 'brush-publish': False}), ({'start': 3, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 3], 'bucket-intersection': [0, 1], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 3, 'brush-publish': True}), ({'start': 3, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [3, 5], 'bucket-intersection': [1, 2], 'click-no-range': False, 'brush-domain-start': 3, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 6, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 6], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 6, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [2, 6], 'bucket-intersection': [1, 2], 'click-no-range': False, 'brush-domain-start': 2, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 6, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [5, 6], 'bucket-intersection': [2], 'click-no-range': False, 'brush-domain-start': 5, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': -1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False})], 4: [({'start': -1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 0, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 0], 'bucket-intersection': [], 'click-no-range': True, 'brush-domain-start': 0, 'brush-domain-end': 0, 'brush-publish': False}), ({'start': 3, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [2, 3], 'bucket-intersection': [1], 'click-no-range': False, 'brush-domain-start': 2, 'brush-domain-end': 3, 'brush-publish': False}), ({'start': 3, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [3, 5], 'bucket-intersection': [1, 2], 'click-no-range': False, 'brush-domain-start': 3, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 6, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [1, 6], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 6, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [2, 6], 'bucket-intersection': [1, 2], 'click-no-range': False, 'brush-domain-start': 2, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': -1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 0], 'bucket-intersection': [], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 0, 'brush-publish': False}), ({'start': -1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [-1, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': True}), ({'start': 0, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 2, 'brush-publish': False}), ({'start': 0, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': True})], 5: [({'start': 0, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 1], 'bucket-intersection': [], 'click-no-range': True, 'brush-domain-start': 1, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 6, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 6], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 6, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [5, 6], 'bucket-intersection': [2], 'click-no-range': False, 'brush-domain-start': 5, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': -1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [-1, 0], 'bucket-intersection': [], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 0, 'brush-publish': True}), ({'start': -1, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 2, 'brush-publish': False}), ({'start': -1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [-1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 0, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 2, 'brush-publish': True}), ({'start': 1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': False})]}\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":"5f29e07255ea4a2938668457689b1e25920f32fd48c241dcb2969b77ed211399","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'normalize-drag':([min(d['start'],d['end']),max(d['start'],d['end'])]), 'bucket-intersection':([i for i,(a,b) in enumerate(d['bins']) if a<max(d['start'],d['end']) and b>min(d['start'],d['end'])] if d['start']!=d['end'] else []), 'click-no-range':(d['start']==d['end']), 'brush-domain-start':(max(d['minimum'],min(d['start'],d['end']))), 'brush-domain-end':(min(d['maximum'],max(d['start'],d['end']))), 'brush-publish':(d['released'] and d['start']!=d['end'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'start': -1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 0], 'bucket-intersection': [], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 0, 'brush-publish': False}), ({'start': 1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 1], 'bucket-intersection': [], 'click-no-range': True, 'brush-domain-start': 1, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': -1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [-1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 0, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 0, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 2, 'brush-publish': True}), ({'start': 1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 3, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 3], 'bucket-intersection': [0, 1], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 3, 'brush-publish': True}), ({'start': 3, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [2, 3], 'bucket-intersection': [1], 'click-no-range': False, 'brush-domain-start': 2, 'brush-domain-end': 3, 'brush-publish': False}), ({'start': 3, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [3, 5], 'bucket-intersection': [1, 2], 'click-no-range': False, 'brush-domain-start': 3, 'brush-domain-end': 5, 'brush-publish': True})], 2: [({'start': -1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 0, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 0], 'bucket-intersection': [], 'click-no-range': True, 'brush-domain-start': 0, 'brush-domain-end': 0, 'brush-publish': False}), ({'start': 0, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': True}), ({'start': 1, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [1, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 2, 'brush-publish': False}), ({'start': 1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 3, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [1, 3], 'bucket-intersection': [0, 1], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 3, 'brush-publish': False}), ({'start': 3, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [2, 3], 'bucket-intersection': [1], 'click-no-range': False, 'brush-domain-start': 2, 'brush-domain-end': 3, 'brush-publish': True}), ({'start': 6, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 6], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 6, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 6], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': True})], 3: [({'start': -1, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 2, 'brush-publish': False}), ({'start': 1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 1], 'bucket-intersection': [], 'click-no-range': True, 'brush-domain-start': 1, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 1, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 2, 'brush-publish': True}), ({'start': 3, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 3], 'bucket-intersection': [0, 1], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 3, 'brush-publish': False}), ({'start': 3, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 3], 'bucket-intersection': [0, 1], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 3, 'brush-publish': True}), ({'start': 3, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [3, 5], 'bucket-intersection': [1, 2], 'click-no-range': False, 'brush-domain-start': 3, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 6, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 6], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 6, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [2, 6], 'bucket-intersection': [1, 2], 'click-no-range': False, 'brush-domain-start': 2, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 6, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [5, 6], 'bucket-intersection': [2], 'click-no-range': False, 'brush-domain-start': 5, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': -1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False})], 4: [({'start': -1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 0, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 0], 'bucket-intersection': [], 'click-no-range': True, 'brush-domain-start': 0, 'brush-domain-end': 0, 'brush-publish': False}), ({'start': 3, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [2, 3], 'bucket-intersection': [1], 'click-no-range': False, 'brush-domain-start': 2, 'brush-domain-end': 3, 'brush-publish': False}), ({'start': 3, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [3, 5], 'bucket-intersection': [1, 2], 'click-no-range': False, 'brush-domain-start': 3, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 6, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [1, 6], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': 6, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [2, 6], 'bucket-intersection': [1, 2], 'click-no-range': False, 'brush-domain-start': 2, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': -1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 0], 'bucket-intersection': [], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 0, 'brush-publish': False}), ({'start': -1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [-1, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': True}), ({'start': 0, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 2, 'brush-publish': False}), ({'start': 0, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': True})], 5: [({'start': 0, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 1, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 1], 'bucket-intersection': [], 'click-no-range': True, 'brush-domain-start': 1, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 6, 'end': 1, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [1, 6], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 6, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [5, 6], 'bucket-intersection': [2], 'click-no-range': False, 'brush-domain-start': 5, 'brush-domain-end': 5, 'brush-publish': False}), ({'start': -1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [-1, 0], 'bucket-intersection': [], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 0, 'brush-publish': True}), ({'start': -1, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [-1, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 2, 'brush-publish': False}), ({'start': -1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [-1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 5, 'brush-publish': True}), ({'start': 0, 'end': 2, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': True}, {'normalize-drag': [0, 2], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 2, 'brush-publish': True}), ({'start': 1, 'end': 0, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [0, 1], 'bucket-intersection': [0], 'click-no-range': False, 'brush-domain-start': 0, 'brush-domain-end': 1, 'brush-publish': False}), ({'start': 1, 'end': 5, 'bins': [[0, 2], [2, 4], [4, 6]], 'minimum': 0, 'maximum': 5, 'released': False}, {'normalize-drag': [1, 5], 'bucket-intersection': [0, 1, 2], 'click-no-range': False, 'brush-domain-start': 1, 'brush-domain-end': 5, 'brush-publish': False})]}\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-histogram-brush-filter-brush-publish","generated_at":"2026-09-29T14:41:14.509806+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 brush-publish projection: `d['released'] and d['start']!=d['end']`.","root_cause":"The brush-publish decision uses `d['start']!=d['end']` instead of the stipulated histogram-brush-filter projection.","sha256":"337a0e36c345dcd658b11c3ec741d8807d60ecf76dfd0f141db32cb1096ced71","title":"Histogram filters commit only on release of a nonempty brush · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.388,"exit_code":1,"observations":[{"actual":{"brush-domain-end":0,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[],"click-no-range":false,"normalize-drag":[-1,0]},"check":"contract fixture 0","expected":{"brush-domain-end":0,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[],"click-no-range":false,"normalize-drag":[-1,0]},"passed":true},{"actual":{"brush-domain-end":1,"brush-domain-start":1,"brush-publish":true,"bucket-intersection":[],"click-no-range":true,"normalize-drag":[1,1]},"check":"contract fixture 1","expected":{"brush-domain-end":1,"brush-domain-start":1,"brush-publish":false,"bucket-intersection":[],"click-no-range":true,"normalize-drag":[1,1]},"passed":false},{"actual":{"brush-domain-end":5,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[-1,5]},"check":"contract fixture 2","expected":{"brush-domain-end":5,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[-1,5]},"passed":true},{"actual":{"brush-domain-end":1,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,1]},"check":"contract fixture 3","expected":{"brush-domain-end":1,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,1]},"passed":true},{"actual":{"brush-domain-end":2,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,2]},"check":"contract fixture 4","expected":{"brush-domain-end":2,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,2]},"passed":true},{"actual":{"brush-domain-end":1,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,1]},"check":"contract fixture 5","expected":{"brush-domain-end":1,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,1]},"passed":true},{"actual":{"brush-domain-end":5,"brush-domain-start":1,"brush-publish":false,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[1,5]},"check":"contract fixture 6","expected":{"brush-domain-end":5,"brush-domain-start":1,"brush-publish":false,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[1,5]},"passed":true},{"actual":{"brush-domain-end":3,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0,1],"click-no-range":false,"normalize-drag":[0,3]},"check":"contract fixture 7","expected":{"brush-domain-end":3,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0,1],"click-no-range":false,"normalize-drag":[0,3]},"passed":true},{"actual":{"brush-domain-end":3,"brush-domain-start":2,"brush-publish":false,"bucket-intersection":[1],"click-no-range":false,"normalize-drag":[2,3]},"check":"contract fixture 8","expected":{"brush-domain-end":3,"brush-domain-start":2,"brush-publish":false,"bucket-intersection":[1],"click-no-range":false,"normalize-drag":[2,3]},"passed":true},{"actual":{"brush-domain-end":5,"brush-domain-start":3,"brush-publish":true,"bucket-intersection":[1,2],"click-no-range":false,"normalize-drag":[3,5]},"check":"contract fixture 9","expected":{"brush-domain-end":5,"brush-domain-start":3,"brush-publish":true,"bucket-intersection":[1,2],"click-no-range":false,"normalize-drag":[3,5]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"normalize-drag\": [-1, 0], \"bucket-intersection\": [], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 0, \"brush-publish\": false}, \"expected\": {\"normalize-drag\": [-1, 0], \"bucket-intersection\": [], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 0, \"brush-publish\": false}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"normalize-drag\": [1, 1], \"bucket-intersection\": [], \"click-no-range\": true, \"brush-domain-start\": 1, \"brush-domain-end\": 1, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [1, 1], \"bucket-intersection\": [], \"click-no-range\": true, \"brush-domain-start\": 1, \"brush-domain-end\": 1, \"brush-publish\": false}, \"passed\": false}, {\"check\": \"contract fixture 2\", \"actual\": {\"normalize-drag\": [-1, 5], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 5, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [-1, 5], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 5, \"brush-publish\": true}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"normalize-drag\": [0, 1], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 1, \"brush-publish\": false}, \"expected\": {\"normalize-drag\": [0, 1], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 1, \"brush-publish\": false}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"normalize-drag\": [0, 2], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 2, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [0, 2], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 2, \"brush-publish\": true}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"normalize-drag\": [0, 1], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 1, \"brush-publish\": false}, \"expected\": {\"normalize-drag\": [0, 1], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 1, \"brush-publish\": false}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"normalize-drag\": [1, 5], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 1, \"brush-domain-end\": 5, \"brush-publish\": false}, \"expected\": {\"normalize-drag\": [1, 5], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 1, \"brush-domain-end\": 5, \"brush-publish\": false}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"normalize-drag\": [0, 3], \"bucket-intersection\": [0, 1], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 3, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [0, 3], \"bucket-intersection\": [0, 1], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 3, \"brush-publish\": true}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"normalize-drag\": [2, 3], \"bucket-intersection\": [1], \"click-no-range\": false, \"brush-domain-start\": 2, \"brush-domain-end\": 3, \"brush-publish\": false}, \"expected\": {\"normalize-drag\": [2, 3], \"bucket-intersection\": [1], \"click-no-range\": false, \"brush-domain-start\": 2, \"brush-domain-end\": 3, \"brush-publish\": false}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"normalize-drag\": [3, 5], \"bucket-intersection\": [1, 2], \"click-no-range\": false, \"brush-domain-start\": 3, \"brush-domain-end\": 5, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [3, 5], \"bucket-intersection\": [1, 2], \"click-no-range\": false, \"brush-domain-start\": 3, \"brush-domain-end\": 5, \"brush-publish\": true}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.69,"exit_code":1,"observations":[{"actual":{"brush-domain-end":0,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[],"click-no-range":false,"normalize-drag":[-1,0]},"check":"contract fixture 0","expected":{"brush-domain-end":0,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[],"click-no-range":false,"normalize-drag":[-1,0]},"passed":false},{"actual":{"brush-domain-end":1,"brush-domain-start":1,"brush-publish":false,"bucket-intersection":[],"click-no-range":true,"normalize-drag":[1,1]},"check":"contract fixture 1","expected":{"brush-domain-end":1,"brush-domain-start":1,"brush-publish":false,"bucket-intersection":[],"click-no-range":true,"normalize-drag":[1,1]},"passed":true},{"actual":{"brush-domain-end":5,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[-1,5]},"check":"contract fixture 2","expected":{"brush-domain-end":5,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[-1,5]},"passed":true},{"actual":{"brush-domain-end":1,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,1]},"check":"contract fixture 3","expected":{"brush-domain-end":1,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,1]},"passed":false},{"actual":{"brush-domain-end":2,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,2]},"check":"contract fixture 4","expected":{"brush-domain-end":2,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,2]},"passed":true},{"actual":{"brush-domain-end":1,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,1]},"check":"contract fixture 5","expected":{"brush-domain-end":1,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,1]},"passed":false},{"actual":{"brush-domain-end":5,"brush-domain-start":1,"brush-publish":true,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[1,5]},"check":"contract fixture 6","expected":{"brush-domain-end":5,"brush-domain-start":1,"brush-publish":false,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[1,5]},"passed":false},{"actual":{"brush-domain-end":3,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0,1],"click-no-range":false,"normalize-drag":[0,3]},"check":"contract fixture 7","expected":{"brush-domain-end":3,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0,1],"click-no-range":false,"normalize-drag":[0,3]},"passed":true},{"actual":{"brush-domain-end":3,"brush-domain-start":2,"brush-publish":true,"bucket-intersection":[1],"click-no-range":false,"normalize-drag":[2,3]},"check":"contract fixture 8","expected":{"brush-domain-end":3,"brush-domain-start":2,"brush-publish":false,"bucket-intersection":[1],"click-no-range":false,"normalize-drag":[2,3]},"passed":false},{"actual":{"brush-domain-end":5,"brush-domain-start":3,"brush-publish":true,"bucket-intersection":[1,2],"click-no-range":false,"normalize-drag":[3,5]},"check":"contract fixture 9","expected":{"brush-domain-end":5,"brush-domain-start":3,"brush-publish":true,"bucket-intersection":[1,2],"click-no-range":false,"normalize-drag":[3,5]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"normalize-drag\": [-1, 0], \"bucket-intersection\": [], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 0, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [-1, 0], \"bucket-intersection\": [], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 0, \"brush-publish\": false}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"normalize-drag\": [1, 1], \"bucket-intersection\": [], \"click-no-range\": true, \"brush-domain-start\": 1, \"brush-domain-end\": 1, \"brush-publish\": false}, \"expected\": {\"normalize-drag\": [1, 1], \"bucket-intersection\": [], \"click-no-range\": true, \"brush-domain-start\": 1, \"brush-domain-end\": 1, \"brush-publish\": false}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"normalize-drag\": [-1, 5], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 5, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [-1, 5], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 5, \"brush-publish\": true}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"normalize-drag\": [0, 1], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 1, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [0, 1], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 1, \"brush-publish\": false}, \"passed\": false}, {\"check\": \"contract fixture 4\", \"actual\": {\"normalize-drag\": [0, 2], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 2, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [0, 2], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 2, \"brush-publish\": true}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"normalize-drag\": [0, 1], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 1, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [0, 1], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 1, \"brush-publish\": false}, \"passed\": false}, {\"check\": \"contract fixture 6\", \"actual\": {\"normalize-drag\": [1, 5], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 1, \"brush-domain-end\": 5, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [1, 5], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 1, \"brush-domain-end\": 5, \"brush-publish\": false}, \"passed\": false}, {\"check\": \"contract fixture 7\", \"actual\": {\"normalize-drag\": [0, 3], \"bucket-intersection\": [0, 1], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 3, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [0, 3], \"bucket-intersection\": [0, 1], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 3, \"brush-publish\": true}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"normalize-drag\": [2, 3], \"bucket-intersection\": [1], \"click-no-range\": false, \"brush-domain-start\": 2, \"brush-domain-end\": 3, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [2, 3], \"bucket-intersection\": [1], \"click-no-range\": false, \"brush-domain-start\": 2, \"brush-domain-end\": 3, \"brush-publish\": false}, \"passed\": false}, {\"check\": \"contract fixture 9\", \"actual\": {\"normalize-drag\": [3, 5], \"bucket-intersection\": [1, 2], \"click-no-range\": false, \"brush-domain-start\": 3, \"brush-domain-end\": 5, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [3, 5], \"bucket-intersection\": [1, 2], \"click-no-range\": false, \"brush-domain-start\": 3, \"brush-domain-end\": 5, \"brush-publish\": true}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.422,"exit_code":0,"observations":[{"actual":{"brush-domain-end":0,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[],"click-no-range":false,"normalize-drag":[-1,0]},"check":"contract fixture 0","expected":{"brush-domain-end":0,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[],"click-no-range":false,"normalize-drag":[-1,0]},"passed":true},{"actual":{"brush-domain-end":1,"brush-domain-start":1,"brush-publish":false,"bucket-intersection":[],"click-no-range":true,"normalize-drag":[1,1]},"check":"contract fixture 1","expected":{"brush-domain-end":1,"brush-domain-start":1,"brush-publish":false,"bucket-intersection":[],"click-no-range":true,"normalize-drag":[1,1]},"passed":true},{"actual":{"brush-domain-end":5,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[-1,5]},"check":"contract fixture 2","expected":{"brush-domain-end":5,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[-1,5]},"passed":true},{"actual":{"brush-domain-end":1,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,1]},"check":"contract fixture 3","expected":{"brush-domain-end":1,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,1]},"passed":true},{"actual":{"brush-domain-end":2,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,2]},"check":"contract fixture 4","expected":{"brush-domain-end":2,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,2]},"passed":true},{"actual":{"brush-domain-end":1,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,1]},"check":"contract fixture 5","expected":{"brush-domain-end":1,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[0],"click-no-range":false,"normalize-drag":[0,1]},"passed":true},{"actual":{"brush-domain-end":5,"brush-domain-start":1,"brush-publish":false,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[1,5]},"check":"contract fixture 6","expected":{"brush-domain-end":5,"brush-domain-start":1,"brush-publish":false,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[1,5]},"passed":true},{"actual":{"brush-domain-end":3,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0,1],"click-no-range":false,"normalize-drag":[0,3]},"check":"contract fixture 7","expected":{"brush-domain-end":3,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0,1],"click-no-range":false,"normalize-drag":[0,3]},"passed":true},{"actual":{"brush-domain-end":3,"brush-domain-start":2,"brush-publish":false,"bucket-intersection":[1],"click-no-range":false,"normalize-drag":[2,3]},"check":"contract fixture 8","expected":{"brush-domain-end":3,"brush-domain-start":2,"brush-publish":false,"bucket-intersection":[1],"click-no-range":false,"normalize-drag":[2,3]},"passed":true},{"actual":{"brush-domain-end":5,"brush-domain-start":3,"brush-publish":true,"bucket-intersection":[1,2],"click-no-range":false,"normalize-drag":[3,5]},"check":"contract fixture 9","expected":{"brush-domain-end":5,"brush-domain-start":3,"brush-publish":true,"bucket-intersection":[1,2],"click-no-range":false,"normalize-drag":[3,5]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"normalize-drag\": [-1, 0], \"bucket-intersection\": [], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 0, \"brush-publish\": false}, \"expected\": {\"normalize-drag\": [-1, 0], \"bucket-intersection\": [], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 0, \"brush-publish\": false}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"normalize-drag\": [1, 1], \"bucket-intersection\": [], \"click-no-range\": true, \"brush-domain-start\": 1, \"brush-domain-end\": 1, \"brush-publish\": false}, \"expected\": {\"normalize-drag\": [1, 1], \"bucket-intersection\": [], \"click-no-range\": true, \"brush-domain-start\": 1, \"brush-domain-end\": 1, \"brush-publish\": false}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"normalize-drag\": [-1, 5], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 5, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [-1, 5], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 5, \"brush-publish\": true}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"normalize-drag\": [0, 1], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 1, \"brush-publish\": false}, \"expected\": {\"normalize-drag\": [0, 1], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 1, \"brush-publish\": false}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"normalize-drag\": [0, 2], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 2, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [0, 2], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 2, \"brush-publish\": true}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"normalize-drag\": [0, 1], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 1, \"brush-publish\": false}, \"expected\": {\"normalize-drag\": [0, 1], \"bucket-intersection\": [0], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 1, \"brush-publish\": false}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"normalize-drag\": [1, 5], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 1, \"brush-domain-end\": 5, \"brush-publish\": false}, \"expected\": {\"normalize-drag\": [1, 5], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 1, \"brush-domain-end\": 5, \"brush-publish\": false}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"normalize-drag\": [0, 3], \"bucket-intersection\": [0, 1], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 3, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [0, 3], \"bucket-intersection\": [0, 1], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 3, \"brush-publish\": true}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"normalize-drag\": [2, 3], \"bucket-intersection\": [1], \"click-no-range\": false, \"brush-domain-start\": 2, \"brush-domain-end\": 3, \"brush-publish\": false}, \"expected\": {\"normalize-drag\": [2, 3], \"bucket-intersection\": [1], \"click-no-range\": false, \"brush-domain-start\": 2, \"brush-domain-end\": 3, \"brush-publish\": false}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"normalize-drag\": [3, 5], \"bucket-intersection\": [1, 2], \"click-no-range\": false, \"brush-domain-start\": 3, \"brush-domain-end\": 5, \"brush-publish\": true}, \"expected\": {\"normalize-drag\": [3, 5], \"bucket-intersection\": [1, 2], \"click-no-range\": false, \"brush-domain-start\": 3, \"brush-domain-end\": 5, \"brush-publish\": true}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}