{"abstract":"Brush upper bounds clamp to the domain after drag normalization 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: Brush upper bounds clamp to the domain after drag normalization.","evaluation_group":"s3-filter-interfaces-histogram-brush-filter","failed_approach":"The attempted correction `min(d['maximum'],d['end'])` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-histogram-brush-filter-brush-domain-end","id":"FA-26271","implementations":{"attempt":{"sha256":"3908984a3d6f68fb11977803b4da74b12e73966eaa8bbffd7580cdf3896780fa","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'],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': 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': 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': -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': 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': 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': 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': 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': 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': 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': 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': 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': 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': 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}), ({'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': 0, 'brush-domain-end': 2, 'brush-publish': True})], 4: [({'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': 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': 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': -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})], 5: [({'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': 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': 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': 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})]}\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":"5f2bbfeb79ca4efed7c5fadcdef0168b9bdb34be5267af97dd3d0bc3d1f6b611","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':(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': 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': 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': -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': 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': 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': 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': 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': 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': 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': 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': 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': 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': 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}), ({'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': 0, 'brush-domain-end': 2, 'brush-publish': True})], 4: [({'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': 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': 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': -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})], 5: [({'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': 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': 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': 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})]}\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":"3d5496848c8a9a56c42a31844fb4427be142fd3fc60cd15a47b7189e820bc337","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': 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': 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': -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': 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': 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': 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': 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': 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': 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': 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': 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': 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': 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}), ({'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': 0, 'brush-domain-end': 2, 'brush-publish': True})], 4: [({'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': 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': 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': -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})], 5: [({'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': 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': 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': 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})]}\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-domain-end","generated_at":"2026-09-29T14:41:14.414321+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-domain-end projection: `min(d['maximum'],max(d['start'],d['end']))`.","root_cause":"The brush-domain-end decision uses `max(d['start'],d['end'])` instead of the stipulated histogram-brush-filter projection.","sha256":"bd3d7781eb61653ded53b041413b85b04c7878449be2fb9099f42c18818637db","title":"Brush upper bounds clamp to the domain after drag normalization · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.653,"exit_code":1,"observations":[{"actual":{"brush-domain-end":0,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[0,6]},"check":"contract fixture 0","expected":{"brush-domain-end":5,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[0,6]},"passed":false},{"actual":{"brush-domain-end":0,"brush-domain-start":0,"brush-publish":true,"bucket-intersection":[0,1],"click-no-range":false,"normalize-drag":[0,3]},"check":"contract fixture 1","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":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":0,"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":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 6","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":1,"brush-publish":false,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[1,5]},"check":"contract fixture 7","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":2,"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":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\": [0, 6], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 0, \"brush-publish\": false}, \"expected\": {\"normalize-drag\": [0, 6], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 5, \"brush-publish\": false}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"normalize-drag\": [0, 3], \"bucket-intersection\": [0, 1], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 0, \"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\": 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\": 0, \"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\": false}, {\"check\": \"contract fixture 6\", \"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 7\", \"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 8\", \"actual\": {\"normalize-drag\": [2, 3], \"bucket-intersection\": [1], \"click-no-range\": false, \"brush-domain-start\": 2, \"brush-domain-end\": 2, \"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\": 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"},"broken":{"elapsed_ms":41.281,"exit_code":1,"observations":[{"actual":{"brush-domain-end":6,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[0,6]},"check":"contract fixture 0","expected":{"brush-domain-end":5,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[0,6]},"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 1","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":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":1,"brush-domain-start":1,"brush-publish":false,"bucket-intersection":[],"click-no-range":true,"normalize-drag":[1,1]},"check":"contract fixture 6","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":1,"brush-publish":false,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[1,5]},"check":"contract fixture 7","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":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\": [0, 6], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 6, \"brush-publish\": false}, \"expected\": {\"normalize-drag\": [0, 6], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 5, \"brush-publish\": false}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"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 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, 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 7\", \"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 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"},"fixed":{"elapsed_ms":40.452,"exit_code":0,"observations":[{"actual":{"brush-domain-end":5,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[0,6]},"check":"contract fixture 0","expected":{"brush-domain-end":5,"brush-domain-start":0,"brush-publish":false,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[0,6]},"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 1","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":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":1,"brush-domain-start":1,"brush-publish":false,"bucket-intersection":[],"click-no-range":true,"normalize-drag":[1,1]},"check":"contract fixture 6","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":1,"brush-publish":false,"bucket-intersection":[0,1,2],"click-no-range":false,"normalize-drag":[1,5]},"check":"contract fixture 7","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":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\": [0, 6], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 5, \"brush-publish\": false}, \"expected\": {\"normalize-drag\": [0, 6], \"bucket-intersection\": [0, 1, 2], \"click-no-range\": false, \"brush-domain-start\": 0, \"brush-domain-end\": 5, \"brush-publish\": false}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"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 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, 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 7\", \"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 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"}