{"abstract":"The bounded calendar rehash certificate reports an incorrect occupancy.","category":"Heap invariants","checks":7,"contract":"Calendar queue resize receives events [id,tick], origin, old width/count and new width/count. Reinsert every event using new floor-divided virtual position; preserve arrival order within each destination. Report new bucket contents, moved ids, old aliases split by resize, occupancy, new interval span, and member count.","evaluation_group":"s3-heap-model-calendar-rehash","failed_approach":"The local patch uses [old.count(j) for j in range(nb)] and still violates the stated relation.","family":"s3-heap-calendar-rehash-occupancy","id":"FA-40936","implementations":{"attempt":{"sha256":"4ffe1b1745d1936e54177a2d60dcb5aa52b7ddb1b6f9c33fa3ed4f9f4c65d518","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['events']; o=d['origin']; ow=d['old_width']; ob=d['old_count']; nw=d['new_width']; nb=d['new_count']; old=[((x[1]-o)//ow)%ob for x in a]; new=[((x[1]-o)//nw)%nb for x in a]\n    return {'buckets': [[x[0] for x,k in zip(a,new) if k==j] for j in range(nb)],\n    'moved': [x[0] for x,k,l in zip(a,old,new) if k!=l],\n    'split_aliases': [[a[i][0],a[j][0]] for i in range(len(a)) for j in range(i+1,len(a)) if old[i]==old[j] and new[i]!=new[j]],\n    'occupancy': [old.count(j) for j in range(nb)],\n    'cycle_span': nw*nb,\n    'members': len(a)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'origin': 0, 'old_width': 2, 'old_count': 4, 'new_width': 3, 'new_count': 3, 'events': []}, {'buckets': [[], [], []], 'moved': [], 'split_aliases': [], 'occupancy': [0, 0, 0], 'cycle_span': 9, 'members': 0}), ({'origin': 1, 'old_width': 2, 'old_count': 2, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 2], ['2', 5], ['3', 9], ['4', 13]]}, {'buckets': [['0', '1', '4'], ['2'], ['3'], []], 'moved': ['2', '3'], 'split_aliases': [['0', '2'], ['0', '3'], ['1', '2'], ['1', '3'], ['2', '3'], ['2', '4'], ['3', '4']], 'occupancy': [3, 1, 1, 0], 'cycle_span': 12, 'members': 5}), ({'origin': 3, 'old_width': 3, 'old_count': 4, 'new_width': 1, 'new_count': 3, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 8], ['4', 15]]}, {'buckets': [['1', '4'], ['2'], ['0', '3']], 'moved': ['0', '2', '3'], 'split_aliases': [['1', '2'], ['2', '4']], 'occupancy': [2, 1, 2], 'cycle_span': 3, 'members': 5}), ({'origin': 0, 'old_width': 1, 'old_count': 3, 'new_width': 2, 'new_count': 2, 'events': [['0', 0], ['1', 3], ['2', 6], ['3', 9], ['4', 12]]}, {'buckets': [['0', '3', '4'], ['1', '2']], 'moved': ['1', '2'], 'split_aliases': [['0', '1'], ['0', '2'], ['1', '3'], ['1', '4'], ['2', '3'], ['2', '4']], 'occupancy': [3, 2], 'cycle_span': 4, 'members': 5}), ({'origin': 2, 'old_width': 4, 'old_count': 2, 'new_width': 2, 'new_count': 5, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 9], ['4', 17]]}, {'buckets': [['0', '1'], ['2'], ['4'], ['3'], []], 'moved': ['2', '3', '4'], 'split_aliases': [['0', '2'], ['1', '2'], ['3', '4']], 'occupancy': [2, 1, 1, 1, 0], 'cycle_span': 10, 'members': 5}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 2, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], ['0', '4']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 2], 'cycle_span': 6, 'members': 6}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 3, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '4', '5'], [], ['0']], 'moved': ['0', '3', '5'], 'split_aliases': [], 'occupancy': [5, 0, 1], 'cycle_span': 9, 'members': 6})], [({'origin': 0, 'old_width': 2, 'old_count': 4, 'new_width': 3, 'new_count': 3, 'events': []}, {'buckets': [[], [], []], 'moved': [], 'split_aliases': [], 'occupancy': [0, 0, 0], 'cycle_span': 9, 'members': 0}), ({'origin': 1, 'old_width': 2, 'old_count': 2, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 2], ['2', 5], ['3', 9], ['4', 13]]}, {'buckets': [['0', '1', '4'], ['2'], ['3'], []], 'moved': ['2', '3'], 'split_aliases': [['0', '2'], ['0', '3'], ['1', '2'], ['1', '3'], ['2', '3'], ['2', '4'], ['3', '4']], 'occupancy': [3, 1, 1, 0], 'cycle_span': 12, 'members': 5}), ({'origin': 3, 'old_width': 3, 'old_count': 4, 'new_width': 1, 'new_count': 3, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 8], ['4', 15]]}, {'buckets': [['1', '4'], ['2'], ['0', '3']], 'moved': ['0', '2', '3'], 'split_aliases': [['1', '2'], ['2', '4']], 'occupancy': [2, 1, 2], 'cycle_span': 3, 'members': 5}), ({'origin': 0, 'old_width': 1, 'old_count': 3, 'new_width': 2, 'new_count': 2, 'events': [['0', 0], ['1', 3], ['2', 6], ['3', 9], ['4', 12]]}, {'buckets': [['0', '3', '4'], ['1', '2']], 'moved': ['1', '2'], 'split_aliases': [['0', '1'], ['0', '2'], ['1', '3'], ['1', '4'], ['2', '3'], ['2', '4']], 'occupancy': [3, 2], 'cycle_span': 4, 'members': 5}), ({'origin': 2, 'old_width': 4, 'old_count': 2, 'new_width': 2, 'new_count': 5, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 9], ['4', 17]]}, {'buckets': [['0', '1'], ['2'], ['4'], ['3'], []], 'moved': ['2', '3', '4'], 'split_aliases': [['0', '2'], ['1', '2'], ['3', '4']], 'occupancy': [2, 1, 1, 1, 0], 'cycle_span': 10, 'members': 5}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 2, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], ['0', '4']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 2], 'cycle_span': 6, 'members': 6}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3'], [], ['5'], ['0', '4']], 'moved': ['3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [3, 0, 1, 2], 'cycle_span': 12, 'members': 6})], [({'origin': 0, 'old_width': 2, 'old_count': 4, 'new_width': 3, 'new_count': 3, 'events': []}, {'buckets': [[], [], []], 'moved': [], 'split_aliases': [], 'occupancy': [0, 0, 0], 'cycle_span': 9, 'members': 0}), ({'origin': 1, 'old_width': 2, 'old_count': 2, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 2], ['2', 5], ['3', 9], ['4', 13]]}, {'buckets': [['0', '1', '4'], ['2'], ['3'], []], 'moved': ['2', '3'], 'split_aliases': [['0', '2'], ['0', '3'], ['1', '2'], ['1', '3'], ['2', '3'], ['2', '4'], ['3', '4']], 'occupancy': [3, 1, 1, 0], 'cycle_span': 12, 'members': 5}), ({'origin': 3, 'old_width': 3, 'old_count': 4, 'new_width': 1, 'new_count': 3, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 8], ['4', 15]]}, {'buckets': [['1', '4'], ['2'], ['0', '3']], 'moved': ['0', '2', '3'], 'split_aliases': [['1', '2'], ['2', '4']], 'occupancy': [2, 1, 2], 'cycle_span': 3, 'members': 5}), ({'origin': 0, 'old_width': 1, 'old_count': 3, 'new_width': 2, 'new_count': 2, 'events': [['0', 0], ['1', 3], ['2', 6], ['3', 9], ['4', 12]]}, {'buckets': [['0', '3', '4'], ['1', '2']], 'moved': ['1', '2'], 'split_aliases': [['0', '1'], ['0', '2'], ['1', '3'], ['1', '4'], ['2', '3'], ['2', '4']], 'occupancy': [3, 2], 'cycle_span': 4, 'members': 5}), ({'origin': 2, 'old_width': 4, 'old_count': 2, 'new_width': 2, 'new_count': 5, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 9], ['4', 17]]}, {'buckets': [['0', '1'], ['2'], ['4'], ['3'], []], 'moved': ['2', '3', '4'], 'split_aliases': [['0', '2'], ['1', '2'], ['3', '4']], 'occupancy': [2, 1, 1, 1, 0], 'cycle_span': 10, 'members': 5}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 2, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], ['0', '4']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 2], 'cycle_span': 6, 'members': 6}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 5, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3'], ['5'], [], ['4'], ['0']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [3, 1, 0, 1, 1], 'cycle_span': 15, 'members': 6})], [({'origin': 0, 'old_width': 2, 'old_count': 4, 'new_width': 3, 'new_count': 3, 'events': []}, {'buckets': [[], [], []], 'moved': [], 'split_aliases': [], 'occupancy': [0, 0, 0], 'cycle_span': 9, 'members': 0}), ({'origin': 1, 'old_width': 2, 'old_count': 2, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 2], ['2', 5], ['3', 9], ['4', 13]]}, {'buckets': [['0', '1', '4'], ['2'], ['3'], []], 'moved': ['2', '3'], 'split_aliases': [['0', '2'], ['0', '3'], ['1', '2'], ['1', '3'], ['2', '3'], ['2', '4'], ['3', '4']], 'occupancy': [3, 1, 1, 0], 'cycle_span': 12, 'members': 5}), ({'origin': 3, 'old_width': 3, 'old_count': 4, 'new_width': 1, 'new_count': 3, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 8], ['4', 15]]}, {'buckets': [['1', '4'], ['2'], ['0', '3']], 'moved': ['0', '2', '3'], 'split_aliases': [['1', '2'], ['2', '4']], 'occupancy': [2, 1, 2], 'cycle_span': 3, 'members': 5}), ({'origin': 0, 'old_width': 1, 'old_count': 3, 'new_width': 2, 'new_count': 2, 'events': [['0', 0], ['1', 3], ['2', 6], ['3', 9], ['4', 12]]}, {'buckets': [['0', '3', '4'], ['1', '2']], 'moved': ['1', '2'], 'split_aliases': [['0', '1'], ['0', '2'], ['1', '3'], ['1', '4'], ['2', '3'], ['2', '4']], 'occupancy': [3, 2], 'cycle_span': 4, 'members': 5}), ({'origin': 2, 'old_width': 4, 'old_count': 2, 'new_width': 2, 'new_count': 5, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 9], ['4', 17]]}, {'buckets': [['0', '1'], ['2'], ['4'], ['3'], []], 'moved': ['2', '3', '4'], 'split_aliases': [['0', '2'], ['1', '2'], ['3', '4']], 'occupancy': [2, 1, 1, 1, 0], 'cycle_span': 10, 'members': 5}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 2, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], ['0', '4']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 2], 'cycle_span': 6, 'members': 6}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 6, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], [], [], ['4'], [], ['0']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 0, 0, 1, 0, 1], 'cycle_span': 18, 'members': 6})], [({'origin': 0, 'old_width': 2, 'old_count': 4, 'new_width': 3, 'new_count': 3, 'events': []}, {'buckets': [[], [], []], 'moved': [], 'split_aliases': [], 'occupancy': [0, 0, 0], 'cycle_span': 9, 'members': 0}), ({'origin': 1, 'old_width': 2, 'old_count': 2, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 2], ['2', 5], ['3', 9], ['4', 13]]}, {'buckets': [['0', '1', '4'], ['2'], ['3'], []], 'moved': ['2', '3'], 'split_aliases': [['0', '2'], ['0', '3'], ['1', '2'], ['1', '3'], ['2', '3'], ['2', '4'], ['3', '4']], 'occupancy': [3, 1, 1, 0], 'cycle_span': 12, 'members': 5}), ({'origin': 3, 'old_width': 3, 'old_count': 4, 'new_width': 1, 'new_count': 3, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 8], ['4', 15]]}, {'buckets': [['1', '4'], ['2'], ['0', '3']], 'moved': ['0', '2', '3'], 'split_aliases': [['1', '2'], ['2', '4']], 'occupancy': [2, 1, 2], 'cycle_span': 3, 'members': 5}), ({'origin': 0, 'old_width': 1, 'old_count': 3, 'new_width': 2, 'new_count': 2, 'events': [['0', 0], ['1', 3], ['2', 6], ['3', 9], ['4', 12]]}, {'buckets': [['0', '3', '4'], ['1', '2']], 'moved': ['1', '2'], 'split_aliases': [['0', '1'], ['0', '2'], ['1', '3'], ['1', '4'], ['2', '3'], ['2', '4']], 'occupancy': [3, 2], 'cycle_span': 4, 'members': 5}), ({'origin': 2, 'old_width': 4, 'old_count': 2, 'new_width': 2, 'new_count': 5, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 9], ['4', 17]]}, {'buckets': [['0', '1'], ['2'], ['4'], ['3'], []], 'moved': ['2', '3', '4'], 'split_aliases': [['0', '2'], ['1', '2'], ['3', '4']], 'occupancy': [2, 1, 1, 1, 0], 'cycle_span': 10, 'members': 5}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 2, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], ['0', '4']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 2], 'cycle_span': 6, 'members': 6}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 7, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3'], [], [], ['4'], [], [], ['0', '5']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [3, 0, 0, 1, 0, 0, 2], 'cycle_span': 21, 'members': 6})]][N-1]\ncheck('regression certificate 1', solve(cases[0][0]), cases[0][1])\ncheck('regression certificate 2', solve(cases[1][0]), cases[1][1])\ncheck('regression certificate 3', solve(cases[2][0]), cases[2][1])\ncheck('regression certificate 4', solve(cases[3][0]), cases[3][1])\ncheck('regression certificate 5', solve(cases[4][0]), cases[4][1])\ncheck('regression certificate 6', solve(cases[5][0]), cases[5][1])\ncheck('variant-dependent certificate', solve(cases[6][0]), cases[6][1])\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":"38580952167e68fd984e64ef3236eb4a3da70d6049c1a46c92f1446cf1239b26","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['events']; o=d['origin']; ow=d['old_width']; ob=d['old_count']; nw=d['new_width']; nb=d['new_count']; old=[((x[1]-o)//ow)%ob for x in a]; new=[((x[1]-o)//nw)%nb for x in a]\n    return {'buckets': [[x[0] for x,k in zip(a,new) if k==j] for j in range(nb)],\n    'moved': [x[0] for x,k,l in zip(a,old,new) if k!=l],\n    'split_aliases': [[a[i][0],a[j][0]] for i in range(len(a)) for j in range(i+1,len(a)) if old[i]==old[j] and new[i]!=new[j]],\n    'occupancy': [int(j in new) for j in range(nb)],\n    'cycle_span': nw*nb,\n    'members': len(a)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'origin': 0, 'old_width': 2, 'old_count': 4, 'new_width': 3, 'new_count': 3, 'events': []}, {'buckets': [[], [], []], 'moved': [], 'split_aliases': [], 'occupancy': [0, 0, 0], 'cycle_span': 9, 'members': 0}), ({'origin': 1, 'old_width': 2, 'old_count': 2, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 2], ['2', 5], ['3', 9], ['4', 13]]}, {'buckets': [['0', '1', '4'], ['2'], ['3'], []], 'moved': ['2', '3'], 'split_aliases': [['0', '2'], ['0', '3'], ['1', '2'], ['1', '3'], ['2', '3'], ['2', '4'], ['3', '4']], 'occupancy': [3, 1, 1, 0], 'cycle_span': 12, 'members': 5}), ({'origin': 3, 'old_width': 3, 'old_count': 4, 'new_width': 1, 'new_count': 3, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 8], ['4', 15]]}, {'buckets': [['1', '4'], ['2'], ['0', '3']], 'moved': ['0', '2', '3'], 'split_aliases': [['1', '2'], ['2', '4']], 'occupancy': [2, 1, 2], 'cycle_span': 3, 'members': 5}), ({'origin': 0, 'old_width': 1, 'old_count': 3, 'new_width': 2, 'new_count': 2, 'events': [['0', 0], ['1', 3], ['2', 6], ['3', 9], ['4', 12]]}, {'buckets': [['0', '3', '4'], ['1', '2']], 'moved': ['1', '2'], 'split_aliases': [['0', '1'], ['0', '2'], ['1', '3'], ['1', '4'], ['2', '3'], ['2', '4']], 'occupancy': [3, 2], 'cycle_span': 4, 'members': 5}), ({'origin': 2, 'old_width': 4, 'old_count': 2, 'new_width': 2, 'new_count': 5, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 9], ['4', 17]]}, {'buckets': [['0', '1'], ['2'], ['4'], ['3'], []], 'moved': ['2', '3', '4'], 'split_aliases': [['0', '2'], ['1', '2'], ['3', '4']], 'occupancy': [2, 1, 1, 1, 0], 'cycle_span': 10, 'members': 5}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 2, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], ['0', '4']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 2], 'cycle_span': 6, 'members': 6}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 3, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '4', '5'], [], ['0']], 'moved': ['0', '3', '5'], 'split_aliases': [], 'occupancy': [5, 0, 1], 'cycle_span': 9, 'members': 6})], [({'origin': 0, 'old_width': 2, 'old_count': 4, 'new_width': 3, 'new_count': 3, 'events': []}, {'buckets': [[], [], []], 'moved': [], 'split_aliases': [], 'occupancy': [0, 0, 0], 'cycle_span': 9, 'members': 0}), ({'origin': 1, 'old_width': 2, 'old_count': 2, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 2], ['2', 5], ['3', 9], ['4', 13]]}, {'buckets': [['0', '1', '4'], ['2'], ['3'], []], 'moved': ['2', '3'], 'split_aliases': [['0', '2'], ['0', '3'], ['1', '2'], ['1', '3'], ['2', '3'], ['2', '4'], ['3', '4']], 'occupancy': [3, 1, 1, 0], 'cycle_span': 12, 'members': 5}), ({'origin': 3, 'old_width': 3, 'old_count': 4, 'new_width': 1, 'new_count': 3, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 8], ['4', 15]]}, {'buckets': [['1', '4'], ['2'], ['0', '3']], 'moved': ['0', '2', '3'], 'split_aliases': [['1', '2'], ['2', '4']], 'occupancy': [2, 1, 2], 'cycle_span': 3, 'members': 5}), ({'origin': 0, 'old_width': 1, 'old_count': 3, 'new_width': 2, 'new_count': 2, 'events': [['0', 0], ['1', 3], ['2', 6], ['3', 9], ['4', 12]]}, {'buckets': [['0', '3', '4'], ['1', '2']], 'moved': ['1', '2'], 'split_aliases': [['0', '1'], ['0', '2'], ['1', '3'], ['1', '4'], ['2', '3'], ['2', '4']], 'occupancy': [3, 2], 'cycle_span': 4, 'members': 5}), ({'origin': 2, 'old_width': 4, 'old_count': 2, 'new_width': 2, 'new_count': 5, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 9], ['4', 17]]}, {'buckets': [['0', '1'], ['2'], ['4'], ['3'], []], 'moved': ['2', '3', '4'], 'split_aliases': [['0', '2'], ['1', '2'], ['3', '4']], 'occupancy': [2, 1, 1, 1, 0], 'cycle_span': 10, 'members': 5}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 2, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], ['0', '4']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 2], 'cycle_span': 6, 'members': 6}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3'], [], ['5'], ['0', '4']], 'moved': ['3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [3, 0, 1, 2], 'cycle_span': 12, 'members': 6})], [({'origin': 0, 'old_width': 2, 'old_count': 4, 'new_width': 3, 'new_count': 3, 'events': []}, {'buckets': [[], [], []], 'moved': [], 'split_aliases': [], 'occupancy': [0, 0, 0], 'cycle_span': 9, 'members': 0}), ({'origin': 1, 'old_width': 2, 'old_count': 2, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 2], ['2', 5], ['3', 9], ['4', 13]]}, {'buckets': [['0', '1', '4'], ['2'], ['3'], []], 'moved': ['2', '3'], 'split_aliases': [['0', '2'], ['0', '3'], ['1', '2'], ['1', '3'], ['2', '3'], ['2', '4'], ['3', '4']], 'occupancy': [3, 1, 1, 0], 'cycle_span': 12, 'members': 5}), ({'origin': 3, 'old_width': 3, 'old_count': 4, 'new_width': 1, 'new_count': 3, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 8], ['4', 15]]}, {'buckets': [['1', '4'], ['2'], ['0', '3']], 'moved': ['0', '2', '3'], 'split_aliases': [['1', '2'], ['2', '4']], 'occupancy': [2, 1, 2], 'cycle_span': 3, 'members': 5}), ({'origin': 0, 'old_width': 1, 'old_count': 3, 'new_width': 2, 'new_count': 2, 'events': [['0', 0], ['1', 3], ['2', 6], ['3', 9], ['4', 12]]}, {'buckets': [['0', '3', '4'], ['1', '2']], 'moved': ['1', '2'], 'split_aliases': [['0', '1'], ['0', '2'], ['1', '3'], ['1', '4'], ['2', '3'], ['2', '4']], 'occupancy': [3, 2], 'cycle_span': 4, 'members': 5}), ({'origin': 2, 'old_width': 4, 'old_count': 2, 'new_width': 2, 'new_count': 5, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 9], ['4', 17]]}, {'buckets': [['0', '1'], ['2'], ['4'], ['3'], []], 'moved': ['2', '3', '4'], 'split_aliases': [['0', '2'], ['1', '2'], ['3', '4']], 'occupancy': [2, 1, 1, 1, 0], 'cycle_span': 10, 'members': 5}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 2, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], ['0', '4']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 2], 'cycle_span': 6, 'members': 6}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 5, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3'], ['5'], [], ['4'], ['0']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [3, 1, 0, 1, 1], 'cycle_span': 15, 'members': 6})], [({'origin': 0, 'old_width': 2, 'old_count': 4, 'new_width': 3, 'new_count': 3, 'events': []}, {'buckets': [[], [], []], 'moved': [], 'split_aliases': [], 'occupancy': [0, 0, 0], 'cycle_span': 9, 'members': 0}), ({'origin': 1, 'old_width': 2, 'old_count': 2, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 2], ['2', 5], ['3', 9], ['4', 13]]}, {'buckets': [['0', '1', '4'], ['2'], ['3'], []], 'moved': ['2', '3'], 'split_aliases': [['0', '2'], ['0', '3'], ['1', '2'], ['1', '3'], ['2', '3'], ['2', '4'], ['3', '4']], 'occupancy': [3, 1, 1, 0], 'cycle_span': 12, 'members': 5}), ({'origin': 3, 'old_width': 3, 'old_count': 4, 'new_width': 1, 'new_count': 3, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 8], ['4', 15]]}, {'buckets': [['1', '4'], ['2'], ['0', '3']], 'moved': ['0', '2', '3'], 'split_aliases': [['1', '2'], ['2', '4']], 'occupancy': [2, 1, 2], 'cycle_span': 3, 'members': 5}), ({'origin': 0, 'old_width': 1, 'old_count': 3, 'new_width': 2, 'new_count': 2, 'events': [['0', 0], ['1', 3], ['2', 6], ['3', 9], ['4', 12]]}, {'buckets': [['0', '3', '4'], ['1', '2']], 'moved': ['1', '2'], 'split_aliases': [['0', '1'], ['0', '2'], ['1', '3'], ['1', '4'], ['2', '3'], ['2', '4']], 'occupancy': [3, 2], 'cycle_span': 4, 'members': 5}), ({'origin': 2, 'old_width': 4, 'old_count': 2, 'new_width': 2, 'new_count': 5, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 9], ['4', 17]]}, {'buckets': [['0', '1'], ['2'], ['4'], ['3'], []], 'moved': ['2', '3', '4'], 'split_aliases': [['0', '2'], ['1', '2'], ['3', '4']], 'occupancy': [2, 1, 1, 1, 0], 'cycle_span': 10, 'members': 5}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 2, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], ['0', '4']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 2], 'cycle_span': 6, 'members': 6}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 6, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], [], [], ['4'], [], ['0']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 0, 0, 1, 0, 1], 'cycle_span': 18, 'members': 6})], [({'origin': 0, 'old_width': 2, 'old_count': 4, 'new_width': 3, 'new_count': 3, 'events': []}, {'buckets': [[], [], []], 'moved': [], 'split_aliases': [], 'occupancy': [0, 0, 0], 'cycle_span': 9, 'members': 0}), ({'origin': 1, 'old_width': 2, 'old_count': 2, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 2], ['2', 5], ['3', 9], ['4', 13]]}, {'buckets': [['0', '1', '4'], ['2'], ['3'], []], 'moved': ['2', '3'], 'split_aliases': [['0', '2'], ['0', '3'], ['1', '2'], ['1', '3'], ['2', '3'], ['2', '4'], ['3', '4']], 'occupancy': [3, 1, 1, 0], 'cycle_span': 12, 'members': 5}), ({'origin': 3, 'old_width': 3, 'old_count': 4, 'new_width': 1, 'new_count': 3, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 8], ['4', 15]]}, {'buckets': [['1', '4'], ['2'], ['0', '3']], 'moved': ['0', '2', '3'], 'split_aliases': [['1', '2'], ['2', '4']], 'occupancy': [2, 1, 2], 'cycle_span': 3, 'members': 5}), ({'origin': 0, 'old_width': 1, 'old_count': 3, 'new_width': 2, 'new_count': 2, 'events': [['0', 0], ['1', 3], ['2', 6], ['3', 9], ['4', 12]]}, {'buckets': [['0', '3', '4'], ['1', '2']], 'moved': ['1', '2'], 'split_aliases': [['0', '1'], ['0', '2'], ['1', '3'], ['1', '4'], ['2', '3'], ['2', '4']], 'occupancy': [3, 2], 'cycle_span': 4, 'members': 5}), ({'origin': 2, 'old_width': 4, 'old_count': 2, 'new_width': 2, 'new_count': 5, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 9], ['4', 17]]}, {'buckets': [['0', '1'], ['2'], ['4'], ['3'], []], 'moved': ['2', '3', '4'], 'split_aliases': [['0', '2'], ['1', '2'], ['3', '4']], 'occupancy': [2, 1, 1, 1, 0], 'cycle_span': 10, 'members': 5}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 2, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], ['0', '4']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 2], 'cycle_span': 6, 'members': 6}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 7, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3'], [], [], ['4'], [], [], ['0', '5']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [3, 0, 0, 1, 0, 0, 2], 'cycle_span': 21, 'members': 6})]][N-1]\ncheck('regression certificate 1', solve(cases[0][0]), cases[0][1])\ncheck('regression certificate 2', solve(cases[1][0]), cases[1][1])\ncheck('regression certificate 3', solve(cases[2][0]), cases[2][1])\ncheck('regression certificate 4', solve(cases[3][0]), cases[3][1])\ncheck('regression certificate 5', solve(cases[4][0]), cases[4][1])\ncheck('regression certificate 6', solve(cases[5][0]), cases[5][1])\ncheck('variant-dependent certificate', solve(cases[6][0]), cases[6][1])\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":"6a73a65b166a400615359262f74f472dc4c49c3f55cee18b6d36a393561417e1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['events']; o=d['origin']; ow=d['old_width']; ob=d['old_count']; nw=d['new_width']; nb=d['new_count']; old=[((x[1]-o)//ow)%ob for x in a]; new=[((x[1]-o)//nw)%nb for x in a]\n    return {'buckets': [[x[0] for x,k in zip(a,new) if k==j] for j in range(nb)],\n    'moved': [x[0] for x,k,l in zip(a,old,new) if k!=l],\n    'split_aliases': [[a[i][0],a[j][0]] for i in range(len(a)) for j in range(i+1,len(a)) if old[i]==old[j] and new[i]!=new[j]],\n    'occupancy': [new.count(j) for j in range(nb)],\n    'cycle_span': nw*nb,\n    'members': len(a)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'origin': 0, 'old_width': 2, 'old_count': 4, 'new_width': 3, 'new_count': 3, 'events': []}, {'buckets': [[], [], []], 'moved': [], 'split_aliases': [], 'occupancy': [0, 0, 0], 'cycle_span': 9, 'members': 0}), ({'origin': 1, 'old_width': 2, 'old_count': 2, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 2], ['2', 5], ['3', 9], ['4', 13]]}, {'buckets': [['0', '1', '4'], ['2'], ['3'], []], 'moved': ['2', '3'], 'split_aliases': [['0', '2'], ['0', '3'], ['1', '2'], ['1', '3'], ['2', '3'], ['2', '4'], ['3', '4']], 'occupancy': [3, 1, 1, 0], 'cycle_span': 12, 'members': 5}), ({'origin': 3, 'old_width': 3, 'old_count': 4, 'new_width': 1, 'new_count': 3, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 8], ['4', 15]]}, {'buckets': [['1', '4'], ['2'], ['0', '3']], 'moved': ['0', '2', '3'], 'split_aliases': [['1', '2'], ['2', '4']], 'occupancy': [2, 1, 2], 'cycle_span': 3, 'members': 5}), ({'origin': 0, 'old_width': 1, 'old_count': 3, 'new_width': 2, 'new_count': 2, 'events': [['0', 0], ['1', 3], ['2', 6], ['3', 9], ['4', 12]]}, {'buckets': [['0', '3', '4'], ['1', '2']], 'moved': ['1', '2'], 'split_aliases': [['0', '1'], ['0', '2'], ['1', '3'], ['1', '4'], ['2', '3'], ['2', '4']], 'occupancy': [3, 2], 'cycle_span': 4, 'members': 5}), ({'origin': 2, 'old_width': 4, 'old_count': 2, 'new_width': 2, 'new_count': 5, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 9], ['4', 17]]}, {'buckets': [['0', '1'], ['2'], ['4'], ['3'], []], 'moved': ['2', '3', '4'], 'split_aliases': [['0', '2'], ['1', '2'], ['3', '4']], 'occupancy': [2, 1, 1, 1, 0], 'cycle_span': 10, 'members': 5}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 2, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], ['0', '4']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 2], 'cycle_span': 6, 'members': 6}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 3, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '4', '5'], [], ['0']], 'moved': ['0', '3', '5'], 'split_aliases': [], 'occupancy': [5, 0, 1], 'cycle_span': 9, 'members': 6})], [({'origin': 0, 'old_width': 2, 'old_count': 4, 'new_width': 3, 'new_count': 3, 'events': []}, {'buckets': [[], [], []], 'moved': [], 'split_aliases': [], 'occupancy': [0, 0, 0], 'cycle_span': 9, 'members': 0}), ({'origin': 1, 'old_width': 2, 'old_count': 2, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 2], ['2', 5], ['3', 9], ['4', 13]]}, {'buckets': [['0', '1', '4'], ['2'], ['3'], []], 'moved': ['2', '3'], 'split_aliases': [['0', '2'], ['0', '3'], ['1', '2'], ['1', '3'], ['2', '3'], ['2', '4'], ['3', '4']], 'occupancy': [3, 1, 1, 0], 'cycle_span': 12, 'members': 5}), ({'origin': 3, 'old_width': 3, 'old_count': 4, 'new_width': 1, 'new_count': 3, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 8], ['4', 15]]}, {'buckets': [['1', '4'], ['2'], ['0', '3']], 'moved': ['0', '2', '3'], 'split_aliases': [['1', '2'], ['2', '4']], 'occupancy': [2, 1, 2], 'cycle_span': 3, 'members': 5}), ({'origin': 0, 'old_width': 1, 'old_count': 3, 'new_width': 2, 'new_count': 2, 'events': [['0', 0], ['1', 3], ['2', 6], ['3', 9], ['4', 12]]}, {'buckets': [['0', '3', '4'], ['1', '2']], 'moved': ['1', '2'], 'split_aliases': [['0', '1'], ['0', '2'], ['1', '3'], ['1', '4'], ['2', '3'], ['2', '4']], 'occupancy': [3, 2], 'cycle_span': 4, 'members': 5}), ({'origin': 2, 'old_width': 4, 'old_count': 2, 'new_width': 2, 'new_count': 5, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 9], ['4', 17]]}, {'buckets': [['0', '1'], ['2'], ['4'], ['3'], []], 'moved': ['2', '3', '4'], 'split_aliases': [['0', '2'], ['1', '2'], ['3', '4']], 'occupancy': [2, 1, 1, 1, 0], 'cycle_span': 10, 'members': 5}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 2, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], ['0', '4']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 2], 'cycle_span': 6, 'members': 6}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3'], [], ['5'], ['0', '4']], 'moved': ['3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [3, 0, 1, 2], 'cycle_span': 12, 'members': 6})], [({'origin': 0, 'old_width': 2, 'old_count': 4, 'new_width': 3, 'new_count': 3, 'events': []}, {'buckets': [[], [], []], 'moved': [], 'split_aliases': [], 'occupancy': [0, 0, 0], 'cycle_span': 9, 'members': 0}), ({'origin': 1, 'old_width': 2, 'old_count': 2, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 2], ['2', 5], ['3', 9], ['4', 13]]}, {'buckets': [['0', '1', '4'], ['2'], ['3'], []], 'moved': ['2', '3'], 'split_aliases': [['0', '2'], ['0', '3'], ['1', '2'], ['1', '3'], ['2', '3'], ['2', '4'], ['3', '4']], 'occupancy': [3, 1, 1, 0], 'cycle_span': 12, 'members': 5}), ({'origin': 3, 'old_width': 3, 'old_count': 4, 'new_width': 1, 'new_count': 3, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 8], ['4', 15]]}, {'buckets': [['1', '4'], ['2'], ['0', '3']], 'moved': ['0', '2', '3'], 'split_aliases': [['1', '2'], ['2', '4']], 'occupancy': [2, 1, 2], 'cycle_span': 3, 'members': 5}), ({'origin': 0, 'old_width': 1, 'old_count': 3, 'new_width': 2, 'new_count': 2, 'events': [['0', 0], ['1', 3], ['2', 6], ['3', 9], ['4', 12]]}, {'buckets': [['0', '3', '4'], ['1', '2']], 'moved': ['1', '2'], 'split_aliases': [['0', '1'], ['0', '2'], ['1', '3'], ['1', '4'], ['2', '3'], ['2', '4']], 'occupancy': [3, 2], 'cycle_span': 4, 'members': 5}), ({'origin': 2, 'old_width': 4, 'old_count': 2, 'new_width': 2, 'new_count': 5, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 9], ['4', 17]]}, {'buckets': [['0', '1'], ['2'], ['4'], ['3'], []], 'moved': ['2', '3', '4'], 'split_aliases': [['0', '2'], ['1', '2'], ['3', '4']], 'occupancy': [2, 1, 1, 1, 0], 'cycle_span': 10, 'members': 5}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 2, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], ['0', '4']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 2], 'cycle_span': 6, 'members': 6}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 5, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3'], ['5'], [], ['4'], ['0']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [3, 1, 0, 1, 1], 'cycle_span': 15, 'members': 6})], [({'origin': 0, 'old_width': 2, 'old_count': 4, 'new_width': 3, 'new_count': 3, 'events': []}, {'buckets': [[], [], []], 'moved': [], 'split_aliases': [], 'occupancy': [0, 0, 0], 'cycle_span': 9, 'members': 0}), ({'origin': 1, 'old_width': 2, 'old_count': 2, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 2], ['2', 5], ['3', 9], ['4', 13]]}, {'buckets': [['0', '1', '4'], ['2'], ['3'], []], 'moved': ['2', '3'], 'split_aliases': [['0', '2'], ['0', '3'], ['1', '2'], ['1', '3'], ['2', '3'], ['2', '4'], ['3', '4']], 'occupancy': [3, 1, 1, 0], 'cycle_span': 12, 'members': 5}), ({'origin': 3, 'old_width': 3, 'old_count': 4, 'new_width': 1, 'new_count': 3, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 8], ['4', 15]]}, {'buckets': [['1', '4'], ['2'], ['0', '3']], 'moved': ['0', '2', '3'], 'split_aliases': [['1', '2'], ['2', '4']], 'occupancy': [2, 1, 2], 'cycle_span': 3, 'members': 5}), ({'origin': 0, 'old_width': 1, 'old_count': 3, 'new_width': 2, 'new_count': 2, 'events': [['0', 0], ['1', 3], ['2', 6], ['3', 9], ['4', 12]]}, {'buckets': [['0', '3', '4'], ['1', '2']], 'moved': ['1', '2'], 'split_aliases': [['0', '1'], ['0', '2'], ['1', '3'], ['1', '4'], ['2', '3'], ['2', '4']], 'occupancy': [3, 2], 'cycle_span': 4, 'members': 5}), ({'origin': 2, 'old_width': 4, 'old_count': 2, 'new_width': 2, 'new_count': 5, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 9], ['4', 17]]}, {'buckets': [['0', '1'], ['2'], ['4'], ['3'], []], 'moved': ['2', '3', '4'], 'split_aliases': [['0', '2'], ['1', '2'], ['3', '4']], 'occupancy': [2, 1, 1, 1, 0], 'cycle_span': 10, 'members': 5}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 2, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], ['0', '4']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 2], 'cycle_span': 6, 'members': 6}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 6, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], [], [], ['4'], [], ['0']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 0, 0, 1, 0, 1], 'cycle_span': 18, 'members': 6})], [({'origin': 0, 'old_width': 2, 'old_count': 4, 'new_width': 3, 'new_count': 3, 'events': []}, {'buckets': [[], [], []], 'moved': [], 'split_aliases': [], 'occupancy': [0, 0, 0], 'cycle_span': 9, 'members': 0}), ({'origin': 1, 'old_width': 2, 'old_count': 2, 'new_width': 3, 'new_count': 4, 'events': [['0', 1], ['1', 2], ['2', 5], ['3', 9], ['4', 13]]}, {'buckets': [['0', '1', '4'], ['2'], ['3'], []], 'moved': ['2', '3'], 'split_aliases': [['0', '2'], ['0', '3'], ['1', '2'], ['1', '3'], ['2', '3'], ['2', '4'], ['3', '4']], 'occupancy': [3, 1, 1, 0], 'cycle_span': 12, 'members': 5}), ({'origin': 3, 'old_width': 3, 'old_count': 4, 'new_width': 1, 'new_count': 3, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 8], ['4', 15]]}, {'buckets': [['1', '4'], ['2'], ['0', '3']], 'moved': ['0', '2', '3'], 'split_aliases': [['1', '2'], ['2', '4']], 'occupancy': [2, 1, 2], 'cycle_span': 3, 'members': 5}), ({'origin': 0, 'old_width': 1, 'old_count': 3, 'new_width': 2, 'new_count': 2, 'events': [['0', 0], ['1', 3], ['2', 6], ['3', 9], ['4', 12]]}, {'buckets': [['0', '3', '4'], ['1', '2']], 'moved': ['1', '2'], 'split_aliases': [['0', '1'], ['0', '2'], ['1', '3'], ['1', '4'], ['2', '3'], ['2', '4']], 'occupancy': [3, 2], 'cycle_span': 4, 'members': 5}), ({'origin': 2, 'old_width': 4, 'old_count': 2, 'new_width': 2, 'new_count': 5, 'events': [['0', 2], ['1', 3], ['2', 4], ['3', 9], ['4', 17]]}, {'buckets': [['0', '1'], ['2'], ['4'], ['3'], []], 'moved': ['2', '3', '4'], 'split_aliases': [['0', '2'], ['1', '2'], ['3', '4']], 'occupancy': [2, 1, 1, 1, 0], 'cycle_span': 10, 'members': 5}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 2, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3', '5'], ['0', '4']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [4, 2], 'cycle_span': 6, 'members': 6}), ({'origin': 4, 'old_width': 2, 'old_count': 5, 'new_width': 3, 'new_count': 7, 'events': [['0', 1], ['1', 4], ['2', 5], ['3', 6], ['4', 15], ['5', 22]]}, {'buckets': [['1', '2', '3'], [], [], ['4'], [], [], ['0', '5']], 'moved': ['0', '3', '4', '5'], 'split_aliases': [['1', '4'], ['2', '4']], 'occupancy': [3, 0, 0, 1, 0, 0, 2], 'cycle_span': 21, 'members': 6})]][N-1]\ncheck('regression certificate 1', solve(cases[0][0]), cases[0][1])\ncheck('regression certificate 2', solve(cases[1][0]), cases[1][1])\ncheck('regression certificate 3', solve(cases[2][0]), cases[2][1])\ncheck('regression certificate 4', solve(cases[3][0]), cases[3][1])\ncheck('regression certificate 5', solve(cases[4][0]), cases[4][1])\ncheck('regression certificate 6', solve(cases[5][0]), cases[5][1])\ncheck('variant-dependent certificate', solve(cases[6][0]), cases[6][1])\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":"A stipulated offline diagnostic model; it does not implement a production allocator, concurrency protocol, or complete heap library. 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-heap-calendar-rehash-occupancy","generated_at":"2026-09-29T14:43:35.920945+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"This isolates an internal heap representation or priority-structure invariant using deterministic finite records.","repair":"Derive occupancy using [new.count(j) for j in range(nb)] under the stated bounded certificate contract.","root_cause":"Calendar resize occupancy counts all events after redistribution.","sha256":"fa65b7f0fef8168e6ba5ba8e0bcca00e6cbac782a8d422eb5125cdf9a5d0a507","title":"Calendar resize occupancy counts all events after redistribution · case 01","variant":1,"variant_policy":"Six explicit regression certificates are retained; a seventh changes structural size, position, priority, or bounds with N.","verification":{"attempt":{"elapsed_ms":47.63,"exit_code":1,"observations":[{"actual":{"buckets":[[],[],[]],"cycle_span":9,"members":0,"moved":[],"occupancy":[0,0,0],"split_aliases":[]},"check":"regression certificate 1","expected":{"buckets":[[],[],[]],"cycle_span":9,"members":0,"moved":[],"occupancy":[0,0,0],"split_aliases":[]},"passed":true},{"actual":{"buckets":[["0","1","4"],["2"],["3"],[]],"cycle_span":12,"members":5,"moved":["2","3"],"occupancy":[5,0,0,0],"split_aliases":[["0","2"],["0","3"],["1","2"],["1","3"],["2","3"],["2","4"],["3","4"]]},"check":"regression certificate 2","expected":{"buckets":[["0","1","4"],["2"],["3"],[]],"cycle_span":12,"members":5,"moved":["2","3"],"occupancy":[3,1,1,0],"split_aliases":[["0","2"],["0","3"],["1","2"],["1","3"],["2","3"],["2","4"],["3","4"]]},"passed":false},{"actual":{"buckets":[["1","4"],["2"],["0","3"]],"cycle_span":3,"members":5,"moved":["0","2","3"],"occupancy":[3,1,0],"split_aliases":[["1","2"],["2","4"]]},"check":"regression certificate 3","expected":{"buckets":[["1","4"],["2"],["0","3"]],"cycle_span":3,"members":5,"moved":["0","2","3"],"occupancy":[2,1,2],"split_aliases":[["1","2"],["2","4"]]},"passed":false},{"actual":{"buckets":[["0","3","4"],["1","2"]],"cycle_span":4,"members":5,"moved":["1","2"],"occupancy":[5,0],"split_aliases":[["0","1"],["0","2"],["1","3"],["1","4"],["2","3"],["2","4"]]},"check":"regression certificate 4","expected":{"buckets":[["0","3","4"],["1","2"]],"cycle_span":4,"members":5,"moved":["1","2"],"occupancy":[3,2],"split_aliases":[["0","1"],["0","2"],["1","3"],["1","4"],["2","3"],["2","4"]]},"passed":false},{"actual":{"buckets":[["0","1"],["2"],["4"],["3"],[]],"cycle_span":10,"members":5,"moved":["2","3","4"],"occupancy":[3,2,0,0,0],"split_aliases":[["0","2"],["1","2"],["3","4"]]},"check":"regression certificate 5","expected":{"buckets":[["0","1"],["2"],["4"],["3"],[]],"cycle_span":10,"members":5,"moved":["2","3","4"],"occupancy":[2,1,1,1,0],"split_aliases":[["0","2"],["1","2"],["3","4"]]},"passed":false},{"actual":{"buckets":[["1","2","3","5"],["0","4"]],"cycle_span":6,"members":6,"moved":["0","3","4","5"],"occupancy":[3,1],"split_aliases":[["1","4"],["2","4"]]},"check":"regression certificate 6","expected":{"buckets":[["1","2","3","5"],["0","4"]],"cycle_span":6,"members":6,"moved":["0","3","4","5"],"occupancy":[4,2],"split_aliases":[["1","4"],["2","4"]]},"passed":false},{"actual":{"buckets":[["1","2","3","4","5"],[],["0"]],"cycle_span":9,"members":6,"moved":["0","3","5"],"occupancy":[3,1,0],"split_aliases":[]},"check":"variant-dependent certificate","expected":{"buckets":[["1","2","3","4","5"],[],["0"]],"cycle_span":9,"members":6,"moved":["0","3","5"],"occupancy":[5,0,1],"split_aliases":[]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"buckets\": [[], [], []], \"moved\": [], \"split_aliases\": [], \"occupancy\": [0, 0, 0], \"cycle_span\": 9, \"members\": 0}, \"expected\": {\"buckets\": [[], [], []], \"moved\": [], \"split_aliases\": [], \"occupancy\": [0, 0, 0], \"cycle_span\": 9, \"members\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"buckets\": [[\"0\", \"1\", \"4\"], [\"2\"], [\"3\"], []], \"moved\": [\"2\", \"3\"], \"split_aliases\": [[\"0\", \"2\"], [\"0\", \"3\"], [\"1\", \"2\"], [\"1\", \"3\"], [\"2\", \"3\"], [\"2\", \"4\"], [\"3\", \"4\"]], \"occupancy\": [5, 0, 0, 0], \"cycle_span\": 12, \"members\": 5}, \"expected\": {\"buckets\": [[\"0\", \"1\", \"4\"], [\"2\"], [\"3\"], []], \"moved\": [\"2\", \"3\"], \"split_aliases\": [[\"0\", \"2\"], [\"0\", \"3\"], [\"1\", \"2\"], [\"1\", \"3\"], [\"2\", \"3\"], [\"2\", \"4\"], [\"3\", \"4\"]], \"occupancy\": [3, 1, 1, 0], \"cycle_span\": 12, \"members\": 5}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"buckets\": [[\"1\", \"4\"], [\"2\"], [\"0\", \"3\"]], \"moved\": [\"0\", \"2\", \"3\"], \"split_aliases\": [[\"1\", \"2\"], [\"2\", \"4\"]], \"occupancy\": [3, 1, 0], \"cycle_span\": 3, \"members\": 5}, \"expected\": {\"buckets\": [[\"1\", \"4\"], [\"2\"], [\"0\", \"3\"]], \"moved\": [\"0\", \"2\", \"3\"], \"split_aliases\": [[\"1\", \"2\"], [\"2\", \"4\"]], \"occupancy\": [2, 1, 2], \"cycle_span\": 3, \"members\": 5}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"buckets\": [[\"0\", \"3\", \"4\"], [\"1\", \"2\"]], \"moved\": [\"1\", \"2\"], \"split_aliases\": [[\"0\", \"1\"], [\"0\", \"2\"], [\"1\", \"3\"], [\"1\", \"4\"], [\"2\", \"3\"], [\"2\", \"4\"]], \"occupancy\": [5, 0], \"cycle_span\": 4, \"members\": 5}, \"expected\": {\"buckets\": [[\"0\", \"3\", \"4\"], [\"1\", \"2\"]], \"moved\": [\"1\", \"2\"], \"split_aliases\": [[\"0\", \"1\"], [\"0\", \"2\"], [\"1\", \"3\"], [\"1\", \"4\"], [\"2\", \"3\"], [\"2\", \"4\"]], \"occupancy\": [3, 2], \"cycle_span\": 4, \"members\": 5}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"buckets\": [[\"0\", \"1\"], [\"2\"], [\"4\"], [\"3\"], []], \"moved\": [\"2\", \"3\", \"4\"], \"split_aliases\": [[\"0\", \"2\"], [\"1\", \"2\"], [\"3\", \"4\"]], \"occupancy\": [3, 2, 0, 0, 0], \"cycle_span\": 10, \"members\": 5}, \"expected\": {\"buckets\": [[\"0\", \"1\"], [\"2\"], [\"4\"], [\"3\"], []], \"moved\": [\"2\", \"3\", \"4\"], \"split_aliases\": [[\"0\", \"2\"], [\"1\", \"2\"], [\"3\", \"4\"]], \"occupancy\": [2, 1, 1, 1, 0], \"cycle_span\": 10, \"members\": 5}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"buckets\": [[\"1\", \"2\", \"3\", \"5\"], [\"0\", \"4\"]], \"moved\": [\"0\", \"3\", \"4\", \"5\"], \"split_aliases\": [[\"1\", \"4\"], [\"2\", \"4\"]], \"occupancy\": [3, 1], \"cycle_span\": 6, \"members\": 6}, \"expected\": {\"buckets\": [[\"1\", \"2\", \"3\", \"5\"], [\"0\", \"4\"]], \"moved\": [\"0\", \"3\", \"4\", \"5\"], \"split_aliases\": [[\"1\", \"4\"], [\"2\", \"4\"]], \"occupancy\": [4, 2], \"cycle_span\": 6, \"members\": 6}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"buckets\": [[\"1\", \"2\", \"3\", \"4\", \"5\"], [], [\"0\"]], \"moved\": [\"0\", \"3\", \"5\"], \"split_aliases\": [], \"occupancy\": [3, 1, 0], \"cycle_span\": 9, \"members\": 6}, \"expected\": {\"buckets\": [[\"1\", \"2\", \"3\", \"4\", \"5\"], [], [\"0\"]], \"moved\": [\"0\", \"3\", \"5\"], \"split_aliases\": [], \"occupancy\": [5, 0, 1], \"cycle_span\": 9, \"members\": 6}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.018,"exit_code":1,"observations":[{"actual":{"buckets":[[],[],[]],"cycle_span":9,"members":0,"moved":[],"occupancy":[0,0,0],"split_aliases":[]},"check":"regression certificate 1","expected":{"buckets":[[],[],[]],"cycle_span":9,"members":0,"moved":[],"occupancy":[0,0,0],"split_aliases":[]},"passed":true},{"actual":{"buckets":[["0","1","4"],["2"],["3"],[]],"cycle_span":12,"members":5,"moved":["2","3"],"occupancy":[1,1,1,0],"split_aliases":[["0","2"],["0","3"],["1","2"],["1","3"],["2","3"],["2","4"],["3","4"]]},"check":"regression certificate 2","expected":{"buckets":[["0","1","4"],["2"],["3"],[]],"cycle_span":12,"members":5,"moved":["2","3"],"occupancy":[3,1,1,0],"split_aliases":[["0","2"],["0","3"],["1","2"],["1","3"],["2","3"],["2","4"],["3","4"]]},"passed":false},{"actual":{"buckets":[["1","4"],["2"],["0","3"]],"cycle_span":3,"members":5,"moved":["0","2","3"],"occupancy":[1,1,1],"split_aliases":[["1","2"],["2","4"]]},"check":"regression certificate 3","expected":{"buckets":[["1","4"],["2"],["0","3"]],"cycle_span":3,"members":5,"moved":["0","2","3"],"occupancy":[2,1,2],"split_aliases":[["1","2"],["2","4"]]},"passed":false},{"actual":{"buckets":[["0","3","4"],["1","2"]],"cycle_span":4,"members":5,"moved":["1","2"],"occupancy":[1,1],"split_aliases":[["0","1"],["0","2"],["1","3"],["1","4"],["2","3"],["2","4"]]},"check":"regression certificate 4","expected":{"buckets":[["0","3","4"],["1","2"]],"cycle_span":4,"members":5,"moved":["1","2"],"occupancy":[3,2],"split_aliases":[["0","1"],["0","2"],["1","3"],["1","4"],["2","3"],["2","4"]]},"passed":false},{"actual":{"buckets":[["0","1"],["2"],["4"],["3"],[]],"cycle_span":10,"members":5,"moved":["2","3","4"],"occupancy":[1,1,1,1,0],"split_aliases":[["0","2"],["1","2"],["3","4"]]},"check":"regression certificate 5","expected":{"buckets":[["0","1"],["2"],["4"],["3"],[]],"cycle_span":10,"members":5,"moved":["2","3","4"],"occupancy":[2,1,1,1,0],"split_aliases":[["0","2"],["1","2"],["3","4"]]},"passed":false},{"actual":{"buckets":[["1","2","3","5"],["0","4"]],"cycle_span":6,"members":6,"moved":["0","3","4","5"],"occupancy":[1,1],"split_aliases":[["1","4"],["2","4"]]},"check":"regression certificate 6","expected":{"buckets":[["1","2","3","5"],["0","4"]],"cycle_span":6,"members":6,"moved":["0","3","4","5"],"occupancy":[4,2],"split_aliases":[["1","4"],["2","4"]]},"passed":false},{"actual":{"buckets":[["1","2","3","4","5"],[],["0"]],"cycle_span":9,"members":6,"moved":["0","3","5"],"occupancy":[1,0,1],"split_aliases":[]},"check":"variant-dependent certificate","expected":{"buckets":[["1","2","3","4","5"],[],["0"]],"cycle_span":9,"members":6,"moved":["0","3","5"],"occupancy":[5,0,1],"split_aliases":[]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"buckets\": [[], [], []], \"moved\": [], \"split_aliases\": [], \"occupancy\": [0, 0, 0], \"cycle_span\": 9, \"members\": 0}, \"expected\": {\"buckets\": [[], [], []], \"moved\": [], \"split_aliases\": [], \"occupancy\": [0, 0, 0], \"cycle_span\": 9, \"members\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"buckets\": [[\"0\", \"1\", \"4\"], [\"2\"], [\"3\"], []], \"moved\": [\"2\", \"3\"], \"split_aliases\": [[\"0\", \"2\"], [\"0\", \"3\"], [\"1\", \"2\"], [\"1\", \"3\"], [\"2\", \"3\"], [\"2\", \"4\"], [\"3\", \"4\"]], \"occupancy\": [1, 1, 1, 0], \"cycle_span\": 12, \"members\": 5}, \"expected\": {\"buckets\": [[\"0\", \"1\", \"4\"], [\"2\"], [\"3\"], []], \"moved\": [\"2\", \"3\"], \"split_aliases\": [[\"0\", \"2\"], [\"0\", \"3\"], [\"1\", \"2\"], [\"1\", \"3\"], [\"2\", \"3\"], [\"2\", \"4\"], [\"3\", \"4\"]], \"occupancy\": [3, 1, 1, 0], \"cycle_span\": 12, \"members\": 5}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"buckets\": [[\"1\", \"4\"], [\"2\"], [\"0\", \"3\"]], \"moved\": [\"0\", \"2\", \"3\"], \"split_aliases\": [[\"1\", \"2\"], [\"2\", \"4\"]], \"occupancy\": [1, 1, 1], \"cycle_span\": 3, \"members\": 5}, \"expected\": {\"buckets\": [[\"1\", \"4\"], [\"2\"], [\"0\", \"3\"]], \"moved\": [\"0\", \"2\", \"3\"], \"split_aliases\": [[\"1\", \"2\"], [\"2\", \"4\"]], \"occupancy\": [2, 1, 2], \"cycle_span\": 3, \"members\": 5}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"buckets\": [[\"0\", \"3\", \"4\"], [\"1\", \"2\"]], \"moved\": [\"1\", \"2\"], \"split_aliases\": [[\"0\", \"1\"], [\"0\", \"2\"], [\"1\", \"3\"], [\"1\", \"4\"], [\"2\", \"3\"], [\"2\", \"4\"]], \"occupancy\": [1, 1], \"cycle_span\": 4, \"members\": 5}, \"expected\": {\"buckets\": [[\"0\", \"3\", \"4\"], [\"1\", \"2\"]], \"moved\": [\"1\", \"2\"], \"split_aliases\": [[\"0\", \"1\"], [\"0\", \"2\"], [\"1\", \"3\"], [\"1\", \"4\"], [\"2\", \"3\"], [\"2\", \"4\"]], \"occupancy\": [3, 2], \"cycle_span\": 4, \"members\": 5}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"buckets\": [[\"0\", \"1\"], [\"2\"], [\"4\"], [\"3\"], []], \"moved\": [\"2\", \"3\", \"4\"], \"split_aliases\": [[\"0\", \"2\"], [\"1\", \"2\"], [\"3\", \"4\"]], \"occupancy\": [1, 1, 1, 1, 0], \"cycle_span\": 10, \"members\": 5}, \"expected\": {\"buckets\": [[\"0\", \"1\"], [\"2\"], [\"4\"], [\"3\"], []], \"moved\": [\"2\", \"3\", \"4\"], \"split_aliases\": [[\"0\", \"2\"], [\"1\", \"2\"], [\"3\", \"4\"]], \"occupancy\": [2, 1, 1, 1, 0], \"cycle_span\": 10, \"members\": 5}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"buckets\": [[\"1\", \"2\", \"3\", \"5\"], [\"0\", \"4\"]], \"moved\": [\"0\", \"3\", \"4\", \"5\"], \"split_aliases\": [[\"1\", \"4\"], [\"2\", \"4\"]], \"occupancy\": [1, 1], \"cycle_span\": 6, \"members\": 6}, \"expected\": {\"buckets\": [[\"1\", \"2\", \"3\", \"5\"], [\"0\", \"4\"]], \"moved\": [\"0\", \"3\", \"4\", \"5\"], \"split_aliases\": [[\"1\", \"4\"], [\"2\", \"4\"]], \"occupancy\": [4, 2], \"cycle_span\": 6, \"members\": 6}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"buckets\": [[\"1\", \"2\", \"3\", \"4\", \"5\"], [], [\"0\"]], \"moved\": [\"0\", \"3\", \"5\"], \"split_aliases\": [], \"occupancy\": [1, 0, 1], \"cycle_span\": 9, \"members\": 6}, \"expected\": {\"buckets\": [[\"1\", \"2\", \"3\", \"4\", \"5\"], [], [\"0\"]], \"moved\": [\"0\", \"3\", \"5\"], \"split_aliases\": [], \"occupancy\": [5, 0, 1], \"cycle_span\": 9, \"members\": 6}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.38,"exit_code":0,"observations":[{"actual":{"buckets":[[],[],[]],"cycle_span":9,"members":0,"moved":[],"occupancy":[0,0,0],"split_aliases":[]},"check":"regression certificate 1","expected":{"buckets":[[],[],[]],"cycle_span":9,"members":0,"moved":[],"occupancy":[0,0,0],"split_aliases":[]},"passed":true},{"actual":{"buckets":[["0","1","4"],["2"],["3"],[]],"cycle_span":12,"members":5,"moved":["2","3"],"occupancy":[3,1,1,0],"split_aliases":[["0","2"],["0","3"],["1","2"],["1","3"],["2","3"],["2","4"],["3","4"]]},"check":"regression certificate 2","expected":{"buckets":[["0","1","4"],["2"],["3"],[]],"cycle_span":12,"members":5,"moved":["2","3"],"occupancy":[3,1,1,0],"split_aliases":[["0","2"],["0","3"],["1","2"],["1","3"],["2","3"],["2","4"],["3","4"]]},"passed":true},{"actual":{"buckets":[["1","4"],["2"],["0","3"]],"cycle_span":3,"members":5,"moved":["0","2","3"],"occupancy":[2,1,2],"split_aliases":[["1","2"],["2","4"]]},"check":"regression certificate 3","expected":{"buckets":[["1","4"],["2"],["0","3"]],"cycle_span":3,"members":5,"moved":["0","2","3"],"occupancy":[2,1,2],"split_aliases":[["1","2"],["2","4"]]},"passed":true},{"actual":{"buckets":[["0","3","4"],["1","2"]],"cycle_span":4,"members":5,"moved":["1","2"],"occupancy":[3,2],"split_aliases":[["0","1"],["0","2"],["1","3"],["1","4"],["2","3"],["2","4"]]},"check":"regression certificate 4","expected":{"buckets":[["0","3","4"],["1","2"]],"cycle_span":4,"members":5,"moved":["1","2"],"occupancy":[3,2],"split_aliases":[["0","1"],["0","2"],["1","3"],["1","4"],["2","3"],["2","4"]]},"passed":true},{"actual":{"buckets":[["0","1"],["2"],["4"],["3"],[]],"cycle_span":10,"members":5,"moved":["2","3","4"],"occupancy":[2,1,1,1,0],"split_aliases":[["0","2"],["1","2"],["3","4"]]},"check":"regression certificate 5","expected":{"buckets":[["0","1"],["2"],["4"],["3"],[]],"cycle_span":10,"members":5,"moved":["2","3","4"],"occupancy":[2,1,1,1,0],"split_aliases":[["0","2"],["1","2"],["3","4"]]},"passed":true},{"actual":{"buckets":[["1","2","3","5"],["0","4"]],"cycle_span":6,"members":6,"moved":["0","3","4","5"],"occupancy":[4,2],"split_aliases":[["1","4"],["2","4"]]},"check":"regression certificate 6","expected":{"buckets":[["1","2","3","5"],["0","4"]],"cycle_span":6,"members":6,"moved":["0","3","4","5"],"occupancy":[4,2],"split_aliases":[["1","4"],["2","4"]]},"passed":true},{"actual":{"buckets":[["1","2","3","4","5"],[],["0"]],"cycle_span":9,"members":6,"moved":["0","3","5"],"occupancy":[5,0,1],"split_aliases":[]},"check":"variant-dependent certificate","expected":{"buckets":[["1","2","3","4","5"],[],["0"]],"cycle_span":9,"members":6,"moved":["0","3","5"],"occupancy":[5,0,1],"split_aliases":[]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"buckets\": [[], [], []], \"moved\": [], \"split_aliases\": [], \"occupancy\": [0, 0, 0], \"cycle_span\": 9, \"members\": 0}, \"expected\": {\"buckets\": [[], [], []], \"moved\": [], \"split_aliases\": [], \"occupancy\": [0, 0, 0], \"cycle_span\": 9, \"members\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"buckets\": [[\"0\", \"1\", \"4\"], [\"2\"], [\"3\"], []], \"moved\": [\"2\", \"3\"], \"split_aliases\": [[\"0\", \"2\"], [\"0\", \"3\"], [\"1\", \"2\"], [\"1\", \"3\"], [\"2\", \"3\"], [\"2\", \"4\"], [\"3\", \"4\"]], \"occupancy\": [3, 1, 1, 0], \"cycle_span\": 12, \"members\": 5}, \"expected\": {\"buckets\": [[\"0\", \"1\", \"4\"], [\"2\"], [\"3\"], []], \"moved\": [\"2\", \"3\"], \"split_aliases\": [[\"0\", \"2\"], [\"0\", \"3\"], [\"1\", \"2\"], [\"1\", \"3\"], [\"2\", \"3\"], [\"2\", \"4\"], [\"3\", \"4\"]], \"occupancy\": [3, 1, 1, 0], \"cycle_span\": 12, \"members\": 5}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"buckets\": [[\"1\", \"4\"], [\"2\"], [\"0\", \"3\"]], \"moved\": [\"0\", \"2\", \"3\"], \"split_aliases\": [[\"1\", \"2\"], [\"2\", \"4\"]], \"occupancy\": [2, 1, 2], \"cycle_span\": 3, \"members\": 5}, \"expected\": {\"buckets\": [[\"1\", \"4\"], [\"2\"], [\"0\", \"3\"]], \"moved\": [\"0\", \"2\", \"3\"], \"split_aliases\": [[\"1\", \"2\"], [\"2\", \"4\"]], \"occupancy\": [2, 1, 2], \"cycle_span\": 3, \"members\": 5}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"buckets\": [[\"0\", \"3\", \"4\"], [\"1\", \"2\"]], \"moved\": [\"1\", \"2\"], \"split_aliases\": [[\"0\", \"1\"], [\"0\", \"2\"], [\"1\", \"3\"], [\"1\", \"4\"], [\"2\", \"3\"], [\"2\", \"4\"]], \"occupancy\": [3, 2], \"cycle_span\": 4, \"members\": 5}, \"expected\": {\"buckets\": [[\"0\", \"3\", \"4\"], [\"1\", \"2\"]], \"moved\": [\"1\", \"2\"], \"split_aliases\": [[\"0\", \"1\"], [\"0\", \"2\"], [\"1\", \"3\"], [\"1\", \"4\"], [\"2\", \"3\"], [\"2\", \"4\"]], \"occupancy\": [3, 2], \"cycle_span\": 4, \"members\": 5}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"buckets\": [[\"0\", \"1\"], [\"2\"], [\"4\"], [\"3\"], []], \"moved\": [\"2\", \"3\", \"4\"], \"split_aliases\": [[\"0\", \"2\"], [\"1\", \"2\"], [\"3\", \"4\"]], \"occupancy\": [2, 1, 1, 1, 0], \"cycle_span\": 10, \"members\": 5}, \"expected\": {\"buckets\": [[\"0\", \"1\"], [\"2\"], [\"4\"], [\"3\"], []], \"moved\": [\"2\", \"3\", \"4\"], \"split_aliases\": [[\"0\", \"2\"], [\"1\", \"2\"], [\"3\", \"4\"]], \"occupancy\": [2, 1, 1, 1, 0], \"cycle_span\": 10, \"members\": 5}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"buckets\": [[\"1\", \"2\", \"3\", \"5\"], [\"0\", \"4\"]], \"moved\": [\"0\", \"3\", \"4\", \"5\"], \"split_aliases\": [[\"1\", \"4\"], [\"2\", \"4\"]], \"occupancy\": [4, 2], \"cycle_span\": 6, \"members\": 6}, \"expected\": {\"buckets\": [[\"1\", \"2\", \"3\", \"5\"], [\"0\", \"4\"]], \"moved\": [\"0\", \"3\", \"4\", \"5\"], \"split_aliases\": [[\"1\", \"4\"], [\"2\", \"4\"]], \"occupancy\": [4, 2], \"cycle_span\": 6, \"members\": 6}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"buckets\": [[\"1\", \"2\", \"3\", \"4\", \"5\"], [], [\"0\"]], \"moved\": [\"0\", \"3\", \"5\"], \"split_aliases\": [], \"occupancy\": [5, 0, 1], \"cycle_span\": 9, \"members\": 6}, \"expected\": {\"buckets\": [[\"1\", \"2\", \"3\", \"4\", \"5\"], [], [\"0\"]], \"moved\": [\"0\", \"3\", \"5\"], \"split_aliases\": [], \"occupancy\": [5, 0, 1], \"cycle_span\": 9, \"members\": 6}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}