{"abstract":"The bounded calendar placement certificate reports an incorrect lower bounds.","category":"Heap invariants","checks":7,"contract":"A calendar priority queue uses integer tick origin O, positive bucket width W, and B buckets. Events [id,tick] map to virtual bucket floor((tick-O)/W), then physical index modulo B, with absolute interval boundaries retained. Report virtual and physical placements, lower and upper bounds, same-cycle eligibility relative to cursor virtual bucket, and exact-boundary events.","evaluation_group":"s3-heap-model-calendar-placement","failed_approach":"The local patch uses [o+(v%b)*w for v in virtual] and still violates the stated relation.","family":"s3-heap-calendar-placement-lower_bounds","id":"FA-40901","implementations":{"attempt":{"sha256":"45319fc8603425ab7106ec8393b8ab84d0c191ea07ae29087c99f7377894d305","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']; w=d['width']; b=d['buckets']; cursor=d['cursor']; virtual=[(x[1]-o)//w for x in a]\n    return {'virtual': virtual,\n    'physical': [v%b for v in virtual],\n    'lower_bounds': [o+(v%b)*w for v in virtual],\n    'upper_bounds': [o+(v+1)*w for v in virtual],\n    'cycle_eligible': [x[0] for x,v in zip(a,virtual) if cursor<=v<cursor+b],\n    'boundaries': [x[0] for x in a if (x[1]-o)%w==0]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'origin': 0, 'width': 2, 'buckets': 4, 'cursor': 0, 'events': []}, {'virtual': [], 'physical': [], 'lower_bounds': [], 'upper_bounds': [], 'cycle_eligible': [], 'boundaries': []}), ({'origin': 3, 'width': 4, 'buckets': 4, 'cursor': 0, 'events': [['0', 3], ['1', 6], ['2', 7], ['3', 19]]}, {'virtual': [0, 0, 1, 4], 'physical': [0, 0, 1, 0], 'lower_bounds': [3, 3, 7, 19], 'upper_bounds': [7, 7, 11, 23], 'cycle_eligible': ['0', '1', '2'], 'boundaries': ['0', '2', '3']}), ({'origin': 7, 'width': 3, 'buckets': 4, 'cursor': -1, 'events': [['0', 2], ['1', 4], ['2', 6], ['3', 7], ['4', 10], ['5', 19]]}, {'virtual': [-2, -1, -1, 0, 1, 4], 'physical': [2, 3, 3, 0, 1, 0], 'lower_bounds': [1, 4, 4, 7, 10, 19], 'upper_bounds': [4, 7, 7, 10, 13, 22], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '4', '5']}), ({'origin': 2, 'width': 5, 'buckets': 3, 'cursor': 2, 'events': [['0', 11], ['1', 12], ['2', 16], ['3', 17], ['4', 26], ['5', 27]]}, {'virtual': [1, 2, 2, 3, 4, 5], 'physical': [1, 2, 2, 0, 1, 2], 'lower_bounds': [7, 12, 12, 17, 22, 27], 'upper_bounds': [12, 17, 17, 22, 27, 32], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 1, 'width': 2, 'buckets': 2, 'cursor': 0, 'events': [['0', -2], ['1', -1], ['2', 0], ['3', 1], ['4', 2], ['5', 5]]}, {'virtual': [-2, -1, -1, 0, 0, 2], 'physical': [0, 1, 1, 0, 0, 0], 'lower_bounds': [-3, -1, -1, 1, 1, 5], 'upper_bounds': [-1, 1, 1, 3, 3, 7], 'cycle_eligible': ['3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 4, 'width': 3, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 3, 3, 6, 8], 'physical': [2, 3, 3, 1, 3], 'lower_bounds': [10, 13, 13, 22, 28], 'upper_bounds': [13, 16, 16, 25, 31], 'cycle_eligible': ['1', '2', '3'], 'boundaries': ['1', '3', '4']}), ({'origin': 4, 'width': 4, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 2, 2, 4, 6], 'physical': [2, 2, 2, 4, 1], 'lower_bounds': [12, 12, 12, 20, 28], 'upper_bounds': [16, 16, 16, 24, 32], 'cycle_eligible': ['3', '4'], 'boundaries': ['0', '4']})], [({'origin': 0, 'width': 2, 'buckets': 4, 'cursor': 0, 'events': []}, {'virtual': [], 'physical': [], 'lower_bounds': [], 'upper_bounds': [], 'cycle_eligible': [], 'boundaries': []}), ({'origin': 3, 'width': 4, 'buckets': 4, 'cursor': 0, 'events': [['0', 3], ['1', 6], ['2', 7], ['3', 19]]}, {'virtual': [0, 0, 1, 4], 'physical': [0, 0, 1, 0], 'lower_bounds': [3, 3, 7, 19], 'upper_bounds': [7, 7, 11, 23], 'cycle_eligible': ['0', '1', '2'], 'boundaries': ['0', '2', '3']}), ({'origin': 7, 'width': 3, 'buckets': 4, 'cursor': -1, 'events': [['0', 2], ['1', 4], ['2', 6], ['3', 7], ['4', 10], ['5', 19]]}, {'virtual': [-2, -1, -1, 0, 1, 4], 'physical': [2, 3, 3, 0, 1, 0], 'lower_bounds': [1, 4, 4, 7, 10, 19], 'upper_bounds': [4, 7, 7, 10, 13, 22], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '4', '5']}), ({'origin': 2, 'width': 5, 'buckets': 3, 'cursor': 2, 'events': [['0', 11], ['1', 12], ['2', 16], ['3', 17], ['4', 26], ['5', 27]]}, {'virtual': [1, 2, 2, 3, 4, 5], 'physical': [1, 2, 2, 0, 1, 2], 'lower_bounds': [7, 12, 12, 17, 22, 27], 'upper_bounds': [12, 17, 17, 22, 27, 32], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 1, 'width': 2, 'buckets': 2, 'cursor': 0, 'events': [['0', -2], ['1', -1], ['2', 0], ['3', 1], ['4', 2], ['5', 5]]}, {'virtual': [-2, -1, -1, 0, 0, 2], 'physical': [0, 1, 1, 0, 0, 0], 'lower_bounds': [-3, -1, -1, 1, 1, 5], 'upper_bounds': [-1, 1, 1, 3, 3, 7], 'cycle_eligible': ['3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 4, 'width': 3, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 3, 3, 6, 8], 'physical': [2, 3, 3, 1, 3], 'lower_bounds': [10, 13, 13, 22, 28], 'upper_bounds': [13, 16, 16, 25, 31], 'cycle_eligible': ['1', '2', '3'], 'boundaries': ['1', '3', '4']}), ({'origin': 4, 'width': 5, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [1, 1, 2, 3, 4], 'physical': [1, 1, 2, 3, 4], 'lower_bounds': [9, 9, 14, 19, 24], 'upper_bounds': [14, 14, 19, 24, 29], 'cycle_eligible': ['3', '4'], 'boundaries': ['2']})], [({'origin': 0, 'width': 2, 'buckets': 4, 'cursor': 0, 'events': []}, {'virtual': [], 'physical': [], 'lower_bounds': [], 'upper_bounds': [], 'cycle_eligible': [], 'boundaries': []}), ({'origin': 3, 'width': 4, 'buckets': 4, 'cursor': 0, 'events': [['0', 3], ['1', 6], ['2', 7], ['3', 19]]}, {'virtual': [0, 0, 1, 4], 'physical': [0, 0, 1, 0], 'lower_bounds': [3, 3, 7, 19], 'upper_bounds': [7, 7, 11, 23], 'cycle_eligible': ['0', '1', '2'], 'boundaries': ['0', '2', '3']}), ({'origin': 7, 'width': 3, 'buckets': 4, 'cursor': -1, 'events': [['0', 2], ['1', 4], ['2', 6], ['3', 7], ['4', 10], ['5', 19]]}, {'virtual': [-2, -1, -1, 0, 1, 4], 'physical': [2, 3, 3, 0, 1, 0], 'lower_bounds': [1, 4, 4, 7, 10, 19], 'upper_bounds': [4, 7, 7, 10, 13, 22], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '4', '5']}), ({'origin': 2, 'width': 5, 'buckets': 3, 'cursor': 2, 'events': [['0', 11], ['1', 12], ['2', 16], ['3', 17], ['4', 26], ['5', 27]]}, {'virtual': [1, 2, 2, 3, 4, 5], 'physical': [1, 2, 2, 0, 1, 2], 'lower_bounds': [7, 12, 12, 17, 22, 27], 'upper_bounds': [12, 17, 17, 22, 27, 32], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 1, 'width': 2, 'buckets': 2, 'cursor': 0, 'events': [['0', -2], ['1', -1], ['2', 0], ['3', 1], ['4', 2], ['5', 5]]}, {'virtual': [-2, -1, -1, 0, 0, 2], 'physical': [0, 1, 1, 0, 0, 0], 'lower_bounds': [-3, -1, -1, 1, 1, 5], 'upper_bounds': [-1, 1, 1, 3, 3, 7], 'cycle_eligible': ['3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 4, 'width': 3, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 3, 3, 6, 8], 'physical': [2, 3, 3, 1, 3], 'lower_bounds': [10, 13, 13, 22, 28], 'upper_bounds': [13, 16, 16, 25, 31], 'cycle_eligible': ['1', '2', '3'], 'boundaries': ['1', '3', '4']}), ({'origin': 4, 'width': 6, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [1, 1, 1, 3, 4], 'physical': [1, 1, 1, 3, 4], 'lower_bounds': [10, 10, 10, 22, 28], 'upper_bounds': [16, 16, 16, 28, 34], 'cycle_eligible': ['3', '4'], 'boundaries': ['3', '4']})], [({'origin': 0, 'width': 2, 'buckets': 4, 'cursor': 0, 'events': []}, {'virtual': [], 'physical': [], 'lower_bounds': [], 'upper_bounds': [], 'cycle_eligible': [], 'boundaries': []}), ({'origin': 3, 'width': 4, 'buckets': 4, 'cursor': 0, 'events': [['0', 3], ['1', 6], ['2', 7], ['3', 19]]}, {'virtual': [0, 0, 1, 4], 'physical': [0, 0, 1, 0], 'lower_bounds': [3, 3, 7, 19], 'upper_bounds': [7, 7, 11, 23], 'cycle_eligible': ['0', '1', '2'], 'boundaries': ['0', '2', '3']}), ({'origin': 7, 'width': 3, 'buckets': 4, 'cursor': -1, 'events': [['0', 2], ['1', 4], ['2', 6], ['3', 7], ['4', 10], ['5', 19]]}, {'virtual': [-2, -1, -1, 0, 1, 4], 'physical': [2, 3, 3, 0, 1, 0], 'lower_bounds': [1, 4, 4, 7, 10, 19], 'upper_bounds': [4, 7, 7, 10, 13, 22], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '4', '5']}), ({'origin': 2, 'width': 5, 'buckets': 3, 'cursor': 2, 'events': [['0', 11], ['1', 12], ['2', 16], ['3', 17], ['4', 26], ['5', 27]]}, {'virtual': [1, 2, 2, 3, 4, 5], 'physical': [1, 2, 2, 0, 1, 2], 'lower_bounds': [7, 12, 12, 17, 22, 27], 'upper_bounds': [12, 17, 17, 22, 27, 32], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 1, 'width': 2, 'buckets': 2, 'cursor': 0, 'events': [['0', -2], ['1', -1], ['2', 0], ['3', 1], ['4', 2], ['5', 5]]}, {'virtual': [-2, -1, -1, 0, 0, 2], 'physical': [0, 1, 1, 0, 0, 0], 'lower_bounds': [-3, -1, -1, 1, 1, 5], 'upper_bounds': [-1, 1, 1, 3, 3, 7], 'cycle_eligible': ['3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 4, 'width': 3, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 3, 3, 6, 8], 'physical': [2, 3, 3, 1, 3], 'lower_bounds': [10, 13, 13, 22, 28], 'upper_bounds': [13, 16, 16, 25, 31], 'cycle_eligible': ['1', '2', '3'], 'boundaries': ['1', '3', '4']}), ({'origin': 4, 'width': 7, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [1, 1, 1, 2, 3], 'physical': [1, 1, 1, 2, 3], 'lower_bounds': [11, 11, 11, 18, 25], 'upper_bounds': [18, 18, 18, 25, 32], 'cycle_eligible': ['4'], 'boundaries': []})], [({'origin': 0, 'width': 2, 'buckets': 4, 'cursor': 0, 'events': []}, {'virtual': [], 'physical': [], 'lower_bounds': [], 'upper_bounds': [], 'cycle_eligible': [], 'boundaries': []}), ({'origin': 3, 'width': 4, 'buckets': 4, 'cursor': 0, 'events': [['0', 3], ['1', 6], ['2', 7], ['3', 19]]}, {'virtual': [0, 0, 1, 4], 'physical': [0, 0, 1, 0], 'lower_bounds': [3, 3, 7, 19], 'upper_bounds': [7, 7, 11, 23], 'cycle_eligible': ['0', '1', '2'], 'boundaries': ['0', '2', '3']}), ({'origin': 7, 'width': 3, 'buckets': 4, 'cursor': -1, 'events': [['0', 2], ['1', 4], ['2', 6], ['3', 7], ['4', 10], ['5', 19]]}, {'virtual': [-2, -1, -1, 0, 1, 4], 'physical': [2, 3, 3, 0, 1, 0], 'lower_bounds': [1, 4, 4, 7, 10, 19], 'upper_bounds': [4, 7, 7, 10, 13, 22], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '4', '5']}), ({'origin': 2, 'width': 5, 'buckets': 3, 'cursor': 2, 'events': [['0', 11], ['1', 12], ['2', 16], ['3', 17], ['4', 26], ['5', 27]]}, {'virtual': [1, 2, 2, 3, 4, 5], 'physical': [1, 2, 2, 0, 1, 2], 'lower_bounds': [7, 12, 12, 17, 22, 27], 'upper_bounds': [12, 17, 17, 22, 27, 32], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 1, 'width': 2, 'buckets': 2, 'cursor': 0, 'events': [['0', -2], ['1', -1], ['2', 0], ['3', 1], ['4', 2], ['5', 5]]}, {'virtual': [-2, -1, -1, 0, 0, 2], 'physical': [0, 1, 1, 0, 0, 0], 'lower_bounds': [-3, -1, -1, 1, 1, 5], 'upper_bounds': [-1, 1, 1, 3, 3, 7], 'cycle_eligible': ['3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 4, 'width': 3, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 3, 3, 6, 8], 'physical': [2, 3, 3, 1, 3], 'lower_bounds': [10, 13, 13, 22, 28], 'upper_bounds': [13, 16, 16, 25, 31], 'cycle_eligible': ['1', '2', '3'], 'boundaries': ['1', '3', '4']}), ({'origin': 4, 'width': 8, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [1, 1, 1, 2, 3], 'physical': [1, 1, 1, 2, 3], 'lower_bounds': [12, 12, 12, 20, 28], 'upper_bounds': [20, 20, 20, 28, 36], 'cycle_eligible': ['4'], 'boundaries': ['0', '4']})]][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":"ebcddb2a0caf545e506384d24a42e84652d1d53d94df669775ed0466b0bf24ac","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']; w=d['width']; b=d['buckets']; cursor=d['cursor']; virtual=[(x[1]-o)//w for x in a]\n    return {'virtual': virtual,\n    'physical': [v%b for v in virtual],\n    'lower_bounds': [v*w for v in virtual],\n    'upper_bounds': [o+(v+1)*w for v in virtual],\n    'cycle_eligible': [x[0] for x,v in zip(a,virtual) if cursor<=v<cursor+b],\n    'boundaries': [x[0] for x in a if (x[1]-o)%w==0]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'origin': 0, 'width': 2, 'buckets': 4, 'cursor': 0, 'events': []}, {'virtual': [], 'physical': [], 'lower_bounds': [], 'upper_bounds': [], 'cycle_eligible': [], 'boundaries': []}), ({'origin': 3, 'width': 4, 'buckets': 4, 'cursor': 0, 'events': [['0', 3], ['1', 6], ['2', 7], ['3', 19]]}, {'virtual': [0, 0, 1, 4], 'physical': [0, 0, 1, 0], 'lower_bounds': [3, 3, 7, 19], 'upper_bounds': [7, 7, 11, 23], 'cycle_eligible': ['0', '1', '2'], 'boundaries': ['0', '2', '3']}), ({'origin': 7, 'width': 3, 'buckets': 4, 'cursor': -1, 'events': [['0', 2], ['1', 4], ['2', 6], ['3', 7], ['4', 10], ['5', 19]]}, {'virtual': [-2, -1, -1, 0, 1, 4], 'physical': [2, 3, 3, 0, 1, 0], 'lower_bounds': [1, 4, 4, 7, 10, 19], 'upper_bounds': [4, 7, 7, 10, 13, 22], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '4', '5']}), ({'origin': 2, 'width': 5, 'buckets': 3, 'cursor': 2, 'events': [['0', 11], ['1', 12], ['2', 16], ['3', 17], ['4', 26], ['5', 27]]}, {'virtual': [1, 2, 2, 3, 4, 5], 'physical': [1, 2, 2, 0, 1, 2], 'lower_bounds': [7, 12, 12, 17, 22, 27], 'upper_bounds': [12, 17, 17, 22, 27, 32], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 1, 'width': 2, 'buckets': 2, 'cursor': 0, 'events': [['0', -2], ['1', -1], ['2', 0], ['3', 1], ['4', 2], ['5', 5]]}, {'virtual': [-2, -1, -1, 0, 0, 2], 'physical': [0, 1, 1, 0, 0, 0], 'lower_bounds': [-3, -1, -1, 1, 1, 5], 'upper_bounds': [-1, 1, 1, 3, 3, 7], 'cycle_eligible': ['3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 4, 'width': 3, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 3, 3, 6, 8], 'physical': [2, 3, 3, 1, 3], 'lower_bounds': [10, 13, 13, 22, 28], 'upper_bounds': [13, 16, 16, 25, 31], 'cycle_eligible': ['1', '2', '3'], 'boundaries': ['1', '3', '4']}), ({'origin': 4, 'width': 4, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 2, 2, 4, 6], 'physical': [2, 2, 2, 4, 1], 'lower_bounds': [12, 12, 12, 20, 28], 'upper_bounds': [16, 16, 16, 24, 32], 'cycle_eligible': ['3', '4'], 'boundaries': ['0', '4']})], [({'origin': 0, 'width': 2, 'buckets': 4, 'cursor': 0, 'events': []}, {'virtual': [], 'physical': [], 'lower_bounds': [], 'upper_bounds': [], 'cycle_eligible': [], 'boundaries': []}), ({'origin': 3, 'width': 4, 'buckets': 4, 'cursor': 0, 'events': [['0', 3], ['1', 6], ['2', 7], ['3', 19]]}, {'virtual': [0, 0, 1, 4], 'physical': [0, 0, 1, 0], 'lower_bounds': [3, 3, 7, 19], 'upper_bounds': [7, 7, 11, 23], 'cycle_eligible': ['0', '1', '2'], 'boundaries': ['0', '2', '3']}), ({'origin': 7, 'width': 3, 'buckets': 4, 'cursor': -1, 'events': [['0', 2], ['1', 4], ['2', 6], ['3', 7], ['4', 10], ['5', 19]]}, {'virtual': [-2, -1, -1, 0, 1, 4], 'physical': [2, 3, 3, 0, 1, 0], 'lower_bounds': [1, 4, 4, 7, 10, 19], 'upper_bounds': [4, 7, 7, 10, 13, 22], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '4', '5']}), ({'origin': 2, 'width': 5, 'buckets': 3, 'cursor': 2, 'events': [['0', 11], ['1', 12], ['2', 16], ['3', 17], ['4', 26], ['5', 27]]}, {'virtual': [1, 2, 2, 3, 4, 5], 'physical': [1, 2, 2, 0, 1, 2], 'lower_bounds': [7, 12, 12, 17, 22, 27], 'upper_bounds': [12, 17, 17, 22, 27, 32], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 1, 'width': 2, 'buckets': 2, 'cursor': 0, 'events': [['0', -2], ['1', -1], ['2', 0], ['3', 1], ['4', 2], ['5', 5]]}, {'virtual': [-2, -1, -1, 0, 0, 2], 'physical': [0, 1, 1, 0, 0, 0], 'lower_bounds': [-3, -1, -1, 1, 1, 5], 'upper_bounds': [-1, 1, 1, 3, 3, 7], 'cycle_eligible': ['3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 4, 'width': 3, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 3, 3, 6, 8], 'physical': [2, 3, 3, 1, 3], 'lower_bounds': [10, 13, 13, 22, 28], 'upper_bounds': [13, 16, 16, 25, 31], 'cycle_eligible': ['1', '2', '3'], 'boundaries': ['1', '3', '4']}), ({'origin': 4, 'width': 5, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [1, 1, 2, 3, 4], 'physical': [1, 1, 2, 3, 4], 'lower_bounds': [9, 9, 14, 19, 24], 'upper_bounds': [14, 14, 19, 24, 29], 'cycle_eligible': ['3', '4'], 'boundaries': ['2']})], [({'origin': 0, 'width': 2, 'buckets': 4, 'cursor': 0, 'events': []}, {'virtual': [], 'physical': [], 'lower_bounds': [], 'upper_bounds': [], 'cycle_eligible': [], 'boundaries': []}), ({'origin': 3, 'width': 4, 'buckets': 4, 'cursor': 0, 'events': [['0', 3], ['1', 6], ['2', 7], ['3', 19]]}, {'virtual': [0, 0, 1, 4], 'physical': [0, 0, 1, 0], 'lower_bounds': [3, 3, 7, 19], 'upper_bounds': [7, 7, 11, 23], 'cycle_eligible': ['0', '1', '2'], 'boundaries': ['0', '2', '3']}), ({'origin': 7, 'width': 3, 'buckets': 4, 'cursor': -1, 'events': [['0', 2], ['1', 4], ['2', 6], ['3', 7], ['4', 10], ['5', 19]]}, {'virtual': [-2, -1, -1, 0, 1, 4], 'physical': [2, 3, 3, 0, 1, 0], 'lower_bounds': [1, 4, 4, 7, 10, 19], 'upper_bounds': [4, 7, 7, 10, 13, 22], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '4', '5']}), ({'origin': 2, 'width': 5, 'buckets': 3, 'cursor': 2, 'events': [['0', 11], ['1', 12], ['2', 16], ['3', 17], ['4', 26], ['5', 27]]}, {'virtual': [1, 2, 2, 3, 4, 5], 'physical': [1, 2, 2, 0, 1, 2], 'lower_bounds': [7, 12, 12, 17, 22, 27], 'upper_bounds': [12, 17, 17, 22, 27, 32], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 1, 'width': 2, 'buckets': 2, 'cursor': 0, 'events': [['0', -2], ['1', -1], ['2', 0], ['3', 1], ['4', 2], ['5', 5]]}, {'virtual': [-2, -1, -1, 0, 0, 2], 'physical': [0, 1, 1, 0, 0, 0], 'lower_bounds': [-3, -1, -1, 1, 1, 5], 'upper_bounds': [-1, 1, 1, 3, 3, 7], 'cycle_eligible': ['3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 4, 'width': 3, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 3, 3, 6, 8], 'physical': [2, 3, 3, 1, 3], 'lower_bounds': [10, 13, 13, 22, 28], 'upper_bounds': [13, 16, 16, 25, 31], 'cycle_eligible': ['1', '2', '3'], 'boundaries': ['1', '3', '4']}), ({'origin': 4, 'width': 6, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [1, 1, 1, 3, 4], 'physical': [1, 1, 1, 3, 4], 'lower_bounds': [10, 10, 10, 22, 28], 'upper_bounds': [16, 16, 16, 28, 34], 'cycle_eligible': ['3', '4'], 'boundaries': ['3', '4']})], [({'origin': 0, 'width': 2, 'buckets': 4, 'cursor': 0, 'events': []}, {'virtual': [], 'physical': [], 'lower_bounds': [], 'upper_bounds': [], 'cycle_eligible': [], 'boundaries': []}), ({'origin': 3, 'width': 4, 'buckets': 4, 'cursor': 0, 'events': [['0', 3], ['1', 6], ['2', 7], ['3', 19]]}, {'virtual': [0, 0, 1, 4], 'physical': [0, 0, 1, 0], 'lower_bounds': [3, 3, 7, 19], 'upper_bounds': [7, 7, 11, 23], 'cycle_eligible': ['0', '1', '2'], 'boundaries': ['0', '2', '3']}), ({'origin': 7, 'width': 3, 'buckets': 4, 'cursor': -1, 'events': [['0', 2], ['1', 4], ['2', 6], ['3', 7], ['4', 10], ['5', 19]]}, {'virtual': [-2, -1, -1, 0, 1, 4], 'physical': [2, 3, 3, 0, 1, 0], 'lower_bounds': [1, 4, 4, 7, 10, 19], 'upper_bounds': [4, 7, 7, 10, 13, 22], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '4', '5']}), ({'origin': 2, 'width': 5, 'buckets': 3, 'cursor': 2, 'events': [['0', 11], ['1', 12], ['2', 16], ['3', 17], ['4', 26], ['5', 27]]}, {'virtual': [1, 2, 2, 3, 4, 5], 'physical': [1, 2, 2, 0, 1, 2], 'lower_bounds': [7, 12, 12, 17, 22, 27], 'upper_bounds': [12, 17, 17, 22, 27, 32], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 1, 'width': 2, 'buckets': 2, 'cursor': 0, 'events': [['0', -2], ['1', -1], ['2', 0], ['3', 1], ['4', 2], ['5', 5]]}, {'virtual': [-2, -1, -1, 0, 0, 2], 'physical': [0, 1, 1, 0, 0, 0], 'lower_bounds': [-3, -1, -1, 1, 1, 5], 'upper_bounds': [-1, 1, 1, 3, 3, 7], 'cycle_eligible': ['3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 4, 'width': 3, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 3, 3, 6, 8], 'physical': [2, 3, 3, 1, 3], 'lower_bounds': [10, 13, 13, 22, 28], 'upper_bounds': [13, 16, 16, 25, 31], 'cycle_eligible': ['1', '2', '3'], 'boundaries': ['1', '3', '4']}), ({'origin': 4, 'width': 7, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [1, 1, 1, 2, 3], 'physical': [1, 1, 1, 2, 3], 'lower_bounds': [11, 11, 11, 18, 25], 'upper_bounds': [18, 18, 18, 25, 32], 'cycle_eligible': ['4'], 'boundaries': []})], [({'origin': 0, 'width': 2, 'buckets': 4, 'cursor': 0, 'events': []}, {'virtual': [], 'physical': [], 'lower_bounds': [], 'upper_bounds': [], 'cycle_eligible': [], 'boundaries': []}), ({'origin': 3, 'width': 4, 'buckets': 4, 'cursor': 0, 'events': [['0', 3], ['1', 6], ['2', 7], ['3', 19]]}, {'virtual': [0, 0, 1, 4], 'physical': [0, 0, 1, 0], 'lower_bounds': [3, 3, 7, 19], 'upper_bounds': [7, 7, 11, 23], 'cycle_eligible': ['0', '1', '2'], 'boundaries': ['0', '2', '3']}), ({'origin': 7, 'width': 3, 'buckets': 4, 'cursor': -1, 'events': [['0', 2], ['1', 4], ['2', 6], ['3', 7], ['4', 10], ['5', 19]]}, {'virtual': [-2, -1, -1, 0, 1, 4], 'physical': [2, 3, 3, 0, 1, 0], 'lower_bounds': [1, 4, 4, 7, 10, 19], 'upper_bounds': [4, 7, 7, 10, 13, 22], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '4', '5']}), ({'origin': 2, 'width': 5, 'buckets': 3, 'cursor': 2, 'events': [['0', 11], ['1', 12], ['2', 16], ['3', 17], ['4', 26], ['5', 27]]}, {'virtual': [1, 2, 2, 3, 4, 5], 'physical': [1, 2, 2, 0, 1, 2], 'lower_bounds': [7, 12, 12, 17, 22, 27], 'upper_bounds': [12, 17, 17, 22, 27, 32], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 1, 'width': 2, 'buckets': 2, 'cursor': 0, 'events': [['0', -2], ['1', -1], ['2', 0], ['3', 1], ['4', 2], ['5', 5]]}, {'virtual': [-2, -1, -1, 0, 0, 2], 'physical': [0, 1, 1, 0, 0, 0], 'lower_bounds': [-3, -1, -1, 1, 1, 5], 'upper_bounds': [-1, 1, 1, 3, 3, 7], 'cycle_eligible': ['3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 4, 'width': 3, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 3, 3, 6, 8], 'physical': [2, 3, 3, 1, 3], 'lower_bounds': [10, 13, 13, 22, 28], 'upper_bounds': [13, 16, 16, 25, 31], 'cycle_eligible': ['1', '2', '3'], 'boundaries': ['1', '3', '4']}), ({'origin': 4, 'width': 8, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [1, 1, 1, 2, 3], 'physical': [1, 1, 1, 2, 3], 'lower_bounds': [12, 12, 12, 20, 28], 'upper_bounds': [20, 20, 20, 28, 36], 'cycle_eligible': ['4'], 'boundaries': ['0', '4']})]][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":"9aa638854a6d93de418090410ab0087869a58608d9f0fac24fd3e0914ce51e4d","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']; w=d['width']; b=d['buckets']; cursor=d['cursor']; virtual=[(x[1]-o)//w for x in a]\n    return {'virtual': virtual,\n    'physical': [v%b for v in virtual],\n    'lower_bounds': [o+v*w for v in virtual],\n    'upper_bounds': [o+(v+1)*w for v in virtual],\n    'cycle_eligible': [x[0] for x,v in zip(a,virtual) if cursor<=v<cursor+b],\n    'boundaries': [x[0] for x in a if (x[1]-o)%w==0]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'origin': 0, 'width': 2, 'buckets': 4, 'cursor': 0, 'events': []}, {'virtual': [], 'physical': [], 'lower_bounds': [], 'upper_bounds': [], 'cycle_eligible': [], 'boundaries': []}), ({'origin': 3, 'width': 4, 'buckets': 4, 'cursor': 0, 'events': [['0', 3], ['1', 6], ['2', 7], ['3', 19]]}, {'virtual': [0, 0, 1, 4], 'physical': [0, 0, 1, 0], 'lower_bounds': [3, 3, 7, 19], 'upper_bounds': [7, 7, 11, 23], 'cycle_eligible': ['0', '1', '2'], 'boundaries': ['0', '2', '3']}), ({'origin': 7, 'width': 3, 'buckets': 4, 'cursor': -1, 'events': [['0', 2], ['1', 4], ['2', 6], ['3', 7], ['4', 10], ['5', 19]]}, {'virtual': [-2, -1, -1, 0, 1, 4], 'physical': [2, 3, 3, 0, 1, 0], 'lower_bounds': [1, 4, 4, 7, 10, 19], 'upper_bounds': [4, 7, 7, 10, 13, 22], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '4', '5']}), ({'origin': 2, 'width': 5, 'buckets': 3, 'cursor': 2, 'events': [['0', 11], ['1', 12], ['2', 16], ['3', 17], ['4', 26], ['5', 27]]}, {'virtual': [1, 2, 2, 3, 4, 5], 'physical': [1, 2, 2, 0, 1, 2], 'lower_bounds': [7, 12, 12, 17, 22, 27], 'upper_bounds': [12, 17, 17, 22, 27, 32], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 1, 'width': 2, 'buckets': 2, 'cursor': 0, 'events': [['0', -2], ['1', -1], ['2', 0], ['3', 1], ['4', 2], ['5', 5]]}, {'virtual': [-2, -1, -1, 0, 0, 2], 'physical': [0, 1, 1, 0, 0, 0], 'lower_bounds': [-3, -1, -1, 1, 1, 5], 'upper_bounds': [-1, 1, 1, 3, 3, 7], 'cycle_eligible': ['3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 4, 'width': 3, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 3, 3, 6, 8], 'physical': [2, 3, 3, 1, 3], 'lower_bounds': [10, 13, 13, 22, 28], 'upper_bounds': [13, 16, 16, 25, 31], 'cycle_eligible': ['1', '2', '3'], 'boundaries': ['1', '3', '4']}), ({'origin': 4, 'width': 4, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 2, 2, 4, 6], 'physical': [2, 2, 2, 4, 1], 'lower_bounds': [12, 12, 12, 20, 28], 'upper_bounds': [16, 16, 16, 24, 32], 'cycle_eligible': ['3', '4'], 'boundaries': ['0', '4']})], [({'origin': 0, 'width': 2, 'buckets': 4, 'cursor': 0, 'events': []}, {'virtual': [], 'physical': [], 'lower_bounds': [], 'upper_bounds': [], 'cycle_eligible': [], 'boundaries': []}), ({'origin': 3, 'width': 4, 'buckets': 4, 'cursor': 0, 'events': [['0', 3], ['1', 6], ['2', 7], ['3', 19]]}, {'virtual': [0, 0, 1, 4], 'physical': [0, 0, 1, 0], 'lower_bounds': [3, 3, 7, 19], 'upper_bounds': [7, 7, 11, 23], 'cycle_eligible': ['0', '1', '2'], 'boundaries': ['0', '2', '3']}), ({'origin': 7, 'width': 3, 'buckets': 4, 'cursor': -1, 'events': [['0', 2], ['1', 4], ['2', 6], ['3', 7], ['4', 10], ['5', 19]]}, {'virtual': [-2, -1, -1, 0, 1, 4], 'physical': [2, 3, 3, 0, 1, 0], 'lower_bounds': [1, 4, 4, 7, 10, 19], 'upper_bounds': [4, 7, 7, 10, 13, 22], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '4', '5']}), ({'origin': 2, 'width': 5, 'buckets': 3, 'cursor': 2, 'events': [['0', 11], ['1', 12], ['2', 16], ['3', 17], ['4', 26], ['5', 27]]}, {'virtual': [1, 2, 2, 3, 4, 5], 'physical': [1, 2, 2, 0, 1, 2], 'lower_bounds': [7, 12, 12, 17, 22, 27], 'upper_bounds': [12, 17, 17, 22, 27, 32], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 1, 'width': 2, 'buckets': 2, 'cursor': 0, 'events': [['0', -2], ['1', -1], ['2', 0], ['3', 1], ['4', 2], ['5', 5]]}, {'virtual': [-2, -1, -1, 0, 0, 2], 'physical': [0, 1, 1, 0, 0, 0], 'lower_bounds': [-3, -1, -1, 1, 1, 5], 'upper_bounds': [-1, 1, 1, 3, 3, 7], 'cycle_eligible': ['3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 4, 'width': 3, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 3, 3, 6, 8], 'physical': [2, 3, 3, 1, 3], 'lower_bounds': [10, 13, 13, 22, 28], 'upper_bounds': [13, 16, 16, 25, 31], 'cycle_eligible': ['1', '2', '3'], 'boundaries': ['1', '3', '4']}), ({'origin': 4, 'width': 5, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [1, 1, 2, 3, 4], 'physical': [1, 1, 2, 3, 4], 'lower_bounds': [9, 9, 14, 19, 24], 'upper_bounds': [14, 14, 19, 24, 29], 'cycle_eligible': ['3', '4'], 'boundaries': ['2']})], [({'origin': 0, 'width': 2, 'buckets': 4, 'cursor': 0, 'events': []}, {'virtual': [], 'physical': [], 'lower_bounds': [], 'upper_bounds': [], 'cycle_eligible': [], 'boundaries': []}), ({'origin': 3, 'width': 4, 'buckets': 4, 'cursor': 0, 'events': [['0', 3], ['1', 6], ['2', 7], ['3', 19]]}, {'virtual': [0, 0, 1, 4], 'physical': [0, 0, 1, 0], 'lower_bounds': [3, 3, 7, 19], 'upper_bounds': [7, 7, 11, 23], 'cycle_eligible': ['0', '1', '2'], 'boundaries': ['0', '2', '3']}), ({'origin': 7, 'width': 3, 'buckets': 4, 'cursor': -1, 'events': [['0', 2], ['1', 4], ['2', 6], ['3', 7], ['4', 10], ['5', 19]]}, {'virtual': [-2, -1, -1, 0, 1, 4], 'physical': [2, 3, 3, 0, 1, 0], 'lower_bounds': [1, 4, 4, 7, 10, 19], 'upper_bounds': [4, 7, 7, 10, 13, 22], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '4', '5']}), ({'origin': 2, 'width': 5, 'buckets': 3, 'cursor': 2, 'events': [['0', 11], ['1', 12], ['2', 16], ['3', 17], ['4', 26], ['5', 27]]}, {'virtual': [1, 2, 2, 3, 4, 5], 'physical': [1, 2, 2, 0, 1, 2], 'lower_bounds': [7, 12, 12, 17, 22, 27], 'upper_bounds': [12, 17, 17, 22, 27, 32], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 1, 'width': 2, 'buckets': 2, 'cursor': 0, 'events': [['0', -2], ['1', -1], ['2', 0], ['3', 1], ['4', 2], ['5', 5]]}, {'virtual': [-2, -1, -1, 0, 0, 2], 'physical': [0, 1, 1, 0, 0, 0], 'lower_bounds': [-3, -1, -1, 1, 1, 5], 'upper_bounds': [-1, 1, 1, 3, 3, 7], 'cycle_eligible': ['3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 4, 'width': 3, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 3, 3, 6, 8], 'physical': [2, 3, 3, 1, 3], 'lower_bounds': [10, 13, 13, 22, 28], 'upper_bounds': [13, 16, 16, 25, 31], 'cycle_eligible': ['1', '2', '3'], 'boundaries': ['1', '3', '4']}), ({'origin': 4, 'width': 6, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [1, 1, 1, 3, 4], 'physical': [1, 1, 1, 3, 4], 'lower_bounds': [10, 10, 10, 22, 28], 'upper_bounds': [16, 16, 16, 28, 34], 'cycle_eligible': ['3', '4'], 'boundaries': ['3', '4']})], [({'origin': 0, 'width': 2, 'buckets': 4, 'cursor': 0, 'events': []}, {'virtual': [], 'physical': [], 'lower_bounds': [], 'upper_bounds': [], 'cycle_eligible': [], 'boundaries': []}), ({'origin': 3, 'width': 4, 'buckets': 4, 'cursor': 0, 'events': [['0', 3], ['1', 6], ['2', 7], ['3', 19]]}, {'virtual': [0, 0, 1, 4], 'physical': [0, 0, 1, 0], 'lower_bounds': [3, 3, 7, 19], 'upper_bounds': [7, 7, 11, 23], 'cycle_eligible': ['0', '1', '2'], 'boundaries': ['0', '2', '3']}), ({'origin': 7, 'width': 3, 'buckets': 4, 'cursor': -1, 'events': [['0', 2], ['1', 4], ['2', 6], ['3', 7], ['4', 10], ['5', 19]]}, {'virtual': [-2, -1, -1, 0, 1, 4], 'physical': [2, 3, 3, 0, 1, 0], 'lower_bounds': [1, 4, 4, 7, 10, 19], 'upper_bounds': [4, 7, 7, 10, 13, 22], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '4', '5']}), ({'origin': 2, 'width': 5, 'buckets': 3, 'cursor': 2, 'events': [['0', 11], ['1', 12], ['2', 16], ['3', 17], ['4', 26], ['5', 27]]}, {'virtual': [1, 2, 2, 3, 4, 5], 'physical': [1, 2, 2, 0, 1, 2], 'lower_bounds': [7, 12, 12, 17, 22, 27], 'upper_bounds': [12, 17, 17, 22, 27, 32], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 1, 'width': 2, 'buckets': 2, 'cursor': 0, 'events': [['0', -2], ['1', -1], ['2', 0], ['3', 1], ['4', 2], ['5', 5]]}, {'virtual': [-2, -1, -1, 0, 0, 2], 'physical': [0, 1, 1, 0, 0, 0], 'lower_bounds': [-3, -1, -1, 1, 1, 5], 'upper_bounds': [-1, 1, 1, 3, 3, 7], 'cycle_eligible': ['3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 4, 'width': 3, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 3, 3, 6, 8], 'physical': [2, 3, 3, 1, 3], 'lower_bounds': [10, 13, 13, 22, 28], 'upper_bounds': [13, 16, 16, 25, 31], 'cycle_eligible': ['1', '2', '3'], 'boundaries': ['1', '3', '4']}), ({'origin': 4, 'width': 7, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [1, 1, 1, 2, 3], 'physical': [1, 1, 1, 2, 3], 'lower_bounds': [11, 11, 11, 18, 25], 'upper_bounds': [18, 18, 18, 25, 32], 'cycle_eligible': ['4'], 'boundaries': []})], [({'origin': 0, 'width': 2, 'buckets': 4, 'cursor': 0, 'events': []}, {'virtual': [], 'physical': [], 'lower_bounds': [], 'upper_bounds': [], 'cycle_eligible': [], 'boundaries': []}), ({'origin': 3, 'width': 4, 'buckets': 4, 'cursor': 0, 'events': [['0', 3], ['1', 6], ['2', 7], ['3', 19]]}, {'virtual': [0, 0, 1, 4], 'physical': [0, 0, 1, 0], 'lower_bounds': [3, 3, 7, 19], 'upper_bounds': [7, 7, 11, 23], 'cycle_eligible': ['0', '1', '2'], 'boundaries': ['0', '2', '3']}), ({'origin': 7, 'width': 3, 'buckets': 4, 'cursor': -1, 'events': [['0', 2], ['1', 4], ['2', 6], ['3', 7], ['4', 10], ['5', 19]]}, {'virtual': [-2, -1, -1, 0, 1, 4], 'physical': [2, 3, 3, 0, 1, 0], 'lower_bounds': [1, 4, 4, 7, 10, 19], 'upper_bounds': [4, 7, 7, 10, 13, 22], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '4', '5']}), ({'origin': 2, 'width': 5, 'buckets': 3, 'cursor': 2, 'events': [['0', 11], ['1', 12], ['2', 16], ['3', 17], ['4', 26], ['5', 27]]}, {'virtual': [1, 2, 2, 3, 4, 5], 'physical': [1, 2, 2, 0, 1, 2], 'lower_bounds': [7, 12, 12, 17, 22, 27], 'upper_bounds': [12, 17, 17, 22, 27, 32], 'cycle_eligible': ['1', '2', '3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 1, 'width': 2, 'buckets': 2, 'cursor': 0, 'events': [['0', -2], ['1', -1], ['2', 0], ['3', 1], ['4', 2], ['5', 5]]}, {'virtual': [-2, -1, -1, 0, 0, 2], 'physical': [0, 1, 1, 0, 0, 0], 'lower_bounds': [-3, -1, -1, 1, 1, 5], 'upper_bounds': [-1, 1, 1, 3, 3, 7], 'cycle_eligible': ['3', '4'], 'boundaries': ['1', '3', '5']}), ({'origin': 4, 'width': 3, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [2, 3, 3, 6, 8], 'physical': [2, 3, 3, 1, 3], 'lower_bounds': [10, 13, 13, 22, 28], 'upper_bounds': [13, 16, 16, 25, 31], 'cycle_eligible': ['1', '2', '3'], 'boundaries': ['1', '3', '4']}), ({'origin': 4, 'width': 8, 'buckets': 5, 'cursor': 3, 'events': [['0', 12], ['1', 13], ['2', 14], ['3', 22], ['4', 28]]}, {'virtual': [1, 1, 1, 2, 3], 'physical': [1, 1, 1, 2, 3], 'lower_bounds': [12, 12, 12, 20, 28], 'upper_bounds': [20, 20, 20, 28, 36], 'cycle_eligible': ['4'], 'boundaries': ['0', '4']})]][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-placement-lower_bounds","generated_at":"2026-09-29T14:43:35.529212+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 lower bounds using [o+v*w for v in virtual] under the stated bounded certificate contract.","root_cause":"Calendar queue interval lower bounds retain origin and virtual revolution.","sha256":"8b9e7a1de2cd0f666701e30dc6dcf62c7088fabc705bc56139e9a6602454c6a5","title":"Calendar queue interval lower bounds retain origin and virtual revolution · 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":44.673,"exit_code":1,"observations":[{"actual":{"boundaries":[],"cycle_eligible":[],"lower_bounds":[],"physical":[],"upper_bounds":[],"virtual":[]},"check":"regression certificate 1","expected":{"boundaries":[],"cycle_eligible":[],"lower_bounds":[],"physical":[],"upper_bounds":[],"virtual":[]},"passed":true},{"actual":{"boundaries":["0","2","3"],"cycle_eligible":["0","1","2"],"lower_bounds":[3,3,7,3],"physical":[0,0,1,0],"upper_bounds":[7,7,11,23],"virtual":[0,0,1,4]},"check":"regression certificate 2","expected":{"boundaries":["0","2","3"],"cycle_eligible":["0","1","2"],"lower_bounds":[3,3,7,19],"physical":[0,0,1,0],"upper_bounds":[7,7,11,23],"virtual":[0,0,1,4]},"passed":false},{"actual":{"boundaries":["1","3","4","5"],"cycle_eligible":["1","2","3","4"],"lower_bounds":[13,16,16,7,10,7],"physical":[2,3,3,0,1,0],"upper_bounds":[4,7,7,10,13,22],"virtual":[-2,-1,-1,0,1,4]},"check":"regression certificate 3","expected":{"boundaries":["1","3","4","5"],"cycle_eligible":["1","2","3","4"],"lower_bounds":[1,4,4,7,10,19],"physical":[2,3,3,0,1,0],"upper_bounds":[4,7,7,10,13,22],"virtual":[-2,-1,-1,0,1,4]},"passed":false},{"actual":{"boundaries":["1","3","5"],"cycle_eligible":["1","2","3","4"],"lower_bounds":[7,12,12,2,7,12],"physical":[1,2,2,0,1,2],"upper_bounds":[12,17,17,22,27,32],"virtual":[1,2,2,3,4,5]},"check":"regression certificate 4","expected":{"boundaries":["1","3","5"],"cycle_eligible":["1","2","3","4"],"lower_bounds":[7,12,12,17,22,27],"physical":[1,2,2,0,1,2],"upper_bounds":[12,17,17,22,27,32],"virtual":[1,2,2,3,4,5]},"passed":false},{"actual":{"boundaries":["1","3","5"],"cycle_eligible":["3","4"],"lower_bounds":[1,3,3,1,1,1],"physical":[0,1,1,0,0,0],"upper_bounds":[-1,1,1,3,3,7],"virtual":[-2,-1,-1,0,0,2]},"check":"regression certificate 5","expected":{"boundaries":["1","3","5"],"cycle_eligible":["3","4"],"lower_bounds":[-3,-1,-1,1,1,5],"physical":[0,1,1,0,0,0],"upper_bounds":[-1,1,1,3,3,7],"virtual":[-2,-1,-1,0,0,2]},"passed":false},{"actual":{"boundaries":["1","3","4"],"cycle_eligible":["1","2","3"],"lower_bounds":[10,13,13,7,13],"physical":[2,3,3,1,3],"upper_bounds":[13,16,16,25,31],"virtual":[2,3,3,6,8]},"check":"regression certificate 6","expected":{"boundaries":["1","3","4"],"cycle_eligible":["1","2","3"],"lower_bounds":[10,13,13,22,28],"physical":[2,3,3,1,3],"upper_bounds":[13,16,16,25,31],"virtual":[2,3,3,6,8]},"passed":false},{"actual":{"boundaries":["0","4"],"cycle_eligible":["3","4"],"lower_bounds":[12,12,12,20,8],"physical":[2,2,2,4,1],"upper_bounds":[16,16,16,24,32],"virtual":[2,2,2,4,6]},"check":"variant-dependent certificate","expected":{"boundaries":["0","4"],"cycle_eligible":["3","4"],"lower_bounds":[12,12,12,20,28],"physical":[2,2,2,4,1],"upper_bounds":[16,16,16,24,32],"virtual":[2,2,2,4,6]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"virtual\": [], \"physical\": [], \"lower_bounds\": [], \"upper_bounds\": [], \"cycle_eligible\": [], \"boundaries\": []}, \"expected\": {\"virtual\": [], \"physical\": [], \"lower_bounds\": [], \"upper_bounds\": [], \"cycle_eligible\": [], \"boundaries\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"virtual\": [0, 0, 1, 4], \"physical\": [0, 0, 1, 0], \"lower_bounds\": [3, 3, 7, 3], \"upper_bounds\": [7, 7, 11, 23], \"cycle_eligible\": [\"0\", \"1\", \"2\"], \"boundaries\": [\"0\", \"2\", \"3\"]}, \"expected\": {\"virtual\": [0, 0, 1, 4], \"physical\": [0, 0, 1, 0], \"lower_bounds\": [3, 3, 7, 19], \"upper_bounds\": [7, 7, 11, 23], \"cycle_eligible\": [\"0\", \"1\", \"2\"], \"boundaries\": [\"0\", \"2\", \"3\"]}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"virtual\": [-2, -1, -1, 0, 1, 4], \"physical\": [2, 3, 3, 0, 1, 0], \"lower_bounds\": [13, 16, 16, 7, 10, 7], \"upper_bounds\": [4, 7, 7, 10, 13, 22], \"cycle_eligible\": [\"1\", \"2\", \"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"4\", \"5\"]}, \"expected\": {\"virtual\": [-2, -1, -1, 0, 1, 4], \"physical\": [2, 3, 3, 0, 1, 0], \"lower_bounds\": [1, 4, 4, 7, 10, 19], \"upper_bounds\": [4, 7, 7, 10, 13, 22], \"cycle_eligible\": [\"1\", \"2\", \"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"4\", \"5\"]}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"virtual\": [1, 2, 2, 3, 4, 5], \"physical\": [1, 2, 2, 0, 1, 2], \"lower_bounds\": [7, 12, 12, 2, 7, 12], \"upper_bounds\": [12, 17, 17, 22, 27, 32], \"cycle_eligible\": [\"1\", \"2\", \"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"5\"]}, \"expected\": {\"virtual\": [1, 2, 2, 3, 4, 5], \"physical\": [1, 2, 2, 0, 1, 2], \"lower_bounds\": [7, 12, 12, 17, 22, 27], \"upper_bounds\": [12, 17, 17, 22, 27, 32], \"cycle_eligible\": [\"1\", \"2\", \"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"5\"]}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"virtual\": [-2, -1, -1, 0, 0, 2], \"physical\": [0, 1, 1, 0, 0, 0], \"lower_bounds\": [1, 3, 3, 1, 1, 1], \"upper_bounds\": [-1, 1, 1, 3, 3, 7], \"cycle_eligible\": [\"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"5\"]}, \"expected\": {\"virtual\": [-2, -1, -1, 0, 0, 2], \"physical\": [0, 1, 1, 0, 0, 0], \"lower_bounds\": [-3, -1, -1, 1, 1, 5], \"upper_bounds\": [-1, 1, 1, 3, 3, 7], \"cycle_eligible\": [\"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"5\"]}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"virtual\": [2, 3, 3, 6, 8], \"physical\": [2, 3, 3, 1, 3], \"lower_bounds\": [10, 13, 13, 7, 13], \"upper_bounds\": [13, 16, 16, 25, 31], \"cycle_eligible\": [\"1\", \"2\", \"3\"], \"boundaries\": [\"1\", \"3\", \"4\"]}, \"expected\": {\"virtual\": [2, 3, 3, 6, 8], \"physical\": [2, 3, 3, 1, 3], \"lower_bounds\": [10, 13, 13, 22, 28], \"upper_bounds\": [13, 16, 16, 25, 31], \"cycle_eligible\": [\"1\", \"2\", \"3\"], \"boundaries\": [\"1\", \"3\", \"4\"]}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"virtual\": [2, 2, 2, 4, 6], \"physical\": [2, 2, 2, 4, 1], \"lower_bounds\": [12, 12, 12, 20, 8], \"upper_bounds\": [16, 16, 16, 24, 32], \"cycle_eligible\": [\"3\", \"4\"], \"boundaries\": [\"0\", \"4\"]}, \"expected\": {\"virtual\": [2, 2, 2, 4, 6], \"physical\": [2, 2, 2, 4, 1], \"lower_bounds\": [12, 12, 12, 20, 28], \"upper_bounds\": [16, 16, 16, 24, 32], \"cycle_eligible\": [\"3\", \"4\"], \"boundaries\": [\"0\", \"4\"]}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.151,"exit_code":1,"observations":[{"actual":{"boundaries":[],"cycle_eligible":[],"lower_bounds":[],"physical":[],"upper_bounds":[],"virtual":[]},"check":"regression certificate 1","expected":{"boundaries":[],"cycle_eligible":[],"lower_bounds":[],"physical":[],"upper_bounds":[],"virtual":[]},"passed":true},{"actual":{"boundaries":["0","2","3"],"cycle_eligible":["0","1","2"],"lower_bounds":[0,0,4,16],"physical":[0,0,1,0],"upper_bounds":[7,7,11,23],"virtual":[0,0,1,4]},"check":"regression certificate 2","expected":{"boundaries":["0","2","3"],"cycle_eligible":["0","1","2"],"lower_bounds":[3,3,7,19],"physical":[0,0,1,0],"upper_bounds":[7,7,11,23],"virtual":[0,0,1,4]},"passed":false},{"actual":{"boundaries":["1","3","4","5"],"cycle_eligible":["1","2","3","4"],"lower_bounds":[-6,-3,-3,0,3,12],"physical":[2,3,3,0,1,0],"upper_bounds":[4,7,7,10,13,22],"virtual":[-2,-1,-1,0,1,4]},"check":"regression certificate 3","expected":{"boundaries":["1","3","4","5"],"cycle_eligible":["1","2","3","4"],"lower_bounds":[1,4,4,7,10,19],"physical":[2,3,3,0,1,0],"upper_bounds":[4,7,7,10,13,22],"virtual":[-2,-1,-1,0,1,4]},"passed":false},{"actual":{"boundaries":["1","3","5"],"cycle_eligible":["1","2","3","4"],"lower_bounds":[5,10,10,15,20,25],"physical":[1,2,2,0,1,2],"upper_bounds":[12,17,17,22,27,32],"virtual":[1,2,2,3,4,5]},"check":"regression certificate 4","expected":{"boundaries":["1","3","5"],"cycle_eligible":["1","2","3","4"],"lower_bounds":[7,12,12,17,22,27],"physical":[1,2,2,0,1,2],"upper_bounds":[12,17,17,22,27,32],"virtual":[1,2,2,3,4,5]},"passed":false},{"actual":{"boundaries":["1","3","5"],"cycle_eligible":["3","4"],"lower_bounds":[-4,-2,-2,0,0,4],"physical":[0,1,1,0,0,0],"upper_bounds":[-1,1,1,3,3,7],"virtual":[-2,-1,-1,0,0,2]},"check":"regression certificate 5","expected":{"boundaries":["1","3","5"],"cycle_eligible":["3","4"],"lower_bounds":[-3,-1,-1,1,1,5],"physical":[0,1,1,0,0,0],"upper_bounds":[-1,1,1,3,3,7],"virtual":[-2,-1,-1,0,0,2]},"passed":false},{"actual":{"boundaries":["1","3","4"],"cycle_eligible":["1","2","3"],"lower_bounds":[6,9,9,18,24],"physical":[2,3,3,1,3],"upper_bounds":[13,16,16,25,31],"virtual":[2,3,3,6,8]},"check":"regression certificate 6","expected":{"boundaries":["1","3","4"],"cycle_eligible":["1","2","3"],"lower_bounds":[10,13,13,22,28],"physical":[2,3,3,1,3],"upper_bounds":[13,16,16,25,31],"virtual":[2,3,3,6,8]},"passed":false},{"actual":{"boundaries":["0","4"],"cycle_eligible":["3","4"],"lower_bounds":[8,8,8,16,24],"physical":[2,2,2,4,1],"upper_bounds":[16,16,16,24,32],"virtual":[2,2,2,4,6]},"check":"variant-dependent certificate","expected":{"boundaries":["0","4"],"cycle_eligible":["3","4"],"lower_bounds":[12,12,12,20,28],"physical":[2,2,2,4,1],"upper_bounds":[16,16,16,24,32],"virtual":[2,2,2,4,6]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"virtual\": [], \"physical\": [], \"lower_bounds\": [], \"upper_bounds\": [], \"cycle_eligible\": [], \"boundaries\": []}, \"expected\": {\"virtual\": [], \"physical\": [], \"lower_bounds\": [], \"upper_bounds\": [], \"cycle_eligible\": [], \"boundaries\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"virtual\": [0, 0, 1, 4], \"physical\": [0, 0, 1, 0], \"lower_bounds\": [0, 0, 4, 16], \"upper_bounds\": [7, 7, 11, 23], \"cycle_eligible\": [\"0\", \"1\", \"2\"], \"boundaries\": [\"0\", \"2\", \"3\"]}, \"expected\": {\"virtual\": [0, 0, 1, 4], \"physical\": [0, 0, 1, 0], \"lower_bounds\": [3, 3, 7, 19], \"upper_bounds\": [7, 7, 11, 23], \"cycle_eligible\": [\"0\", \"1\", \"2\"], \"boundaries\": [\"0\", \"2\", \"3\"]}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"virtual\": [-2, -1, -1, 0, 1, 4], \"physical\": [2, 3, 3, 0, 1, 0], \"lower_bounds\": [-6, -3, -3, 0, 3, 12], \"upper_bounds\": [4, 7, 7, 10, 13, 22], \"cycle_eligible\": [\"1\", \"2\", \"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"4\", \"5\"]}, \"expected\": {\"virtual\": [-2, -1, -1, 0, 1, 4], \"physical\": [2, 3, 3, 0, 1, 0], \"lower_bounds\": [1, 4, 4, 7, 10, 19], \"upper_bounds\": [4, 7, 7, 10, 13, 22], \"cycle_eligible\": [\"1\", \"2\", \"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"4\", \"5\"]}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"virtual\": [1, 2, 2, 3, 4, 5], \"physical\": [1, 2, 2, 0, 1, 2], \"lower_bounds\": [5, 10, 10, 15, 20, 25], \"upper_bounds\": [12, 17, 17, 22, 27, 32], \"cycle_eligible\": [\"1\", \"2\", \"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"5\"]}, \"expected\": {\"virtual\": [1, 2, 2, 3, 4, 5], \"physical\": [1, 2, 2, 0, 1, 2], \"lower_bounds\": [7, 12, 12, 17, 22, 27], \"upper_bounds\": [12, 17, 17, 22, 27, 32], \"cycle_eligible\": [\"1\", \"2\", \"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"5\"]}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"virtual\": [-2, -1, -1, 0, 0, 2], \"physical\": [0, 1, 1, 0, 0, 0], \"lower_bounds\": [-4, -2, -2, 0, 0, 4], \"upper_bounds\": [-1, 1, 1, 3, 3, 7], \"cycle_eligible\": [\"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"5\"]}, \"expected\": {\"virtual\": [-2, -1, -1, 0, 0, 2], \"physical\": [0, 1, 1, 0, 0, 0], \"lower_bounds\": [-3, -1, -1, 1, 1, 5], \"upper_bounds\": [-1, 1, 1, 3, 3, 7], \"cycle_eligible\": [\"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"5\"]}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"virtual\": [2, 3, 3, 6, 8], \"physical\": [2, 3, 3, 1, 3], \"lower_bounds\": [6, 9, 9, 18, 24], \"upper_bounds\": [13, 16, 16, 25, 31], \"cycle_eligible\": [\"1\", \"2\", \"3\"], \"boundaries\": [\"1\", \"3\", \"4\"]}, \"expected\": {\"virtual\": [2, 3, 3, 6, 8], \"physical\": [2, 3, 3, 1, 3], \"lower_bounds\": [10, 13, 13, 22, 28], \"upper_bounds\": [13, 16, 16, 25, 31], \"cycle_eligible\": [\"1\", \"2\", \"3\"], \"boundaries\": [\"1\", \"3\", \"4\"]}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"virtual\": [2, 2, 2, 4, 6], \"physical\": [2, 2, 2, 4, 1], \"lower_bounds\": [8, 8, 8, 16, 24], \"upper_bounds\": [16, 16, 16, 24, 32], \"cycle_eligible\": [\"3\", \"4\"], \"boundaries\": [\"0\", \"4\"]}, \"expected\": {\"virtual\": [2, 2, 2, 4, 6], \"physical\": [2, 2, 2, 4, 1], \"lower_bounds\": [12, 12, 12, 20, 28], \"upper_bounds\": [16, 16, 16, 24, 32], \"cycle_eligible\": [\"3\", \"4\"], \"boundaries\": [\"0\", \"4\"]}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.802,"exit_code":0,"observations":[{"actual":{"boundaries":[],"cycle_eligible":[],"lower_bounds":[],"physical":[],"upper_bounds":[],"virtual":[]},"check":"regression certificate 1","expected":{"boundaries":[],"cycle_eligible":[],"lower_bounds":[],"physical":[],"upper_bounds":[],"virtual":[]},"passed":true},{"actual":{"boundaries":["0","2","3"],"cycle_eligible":["0","1","2"],"lower_bounds":[3,3,7,19],"physical":[0,0,1,0],"upper_bounds":[7,7,11,23],"virtual":[0,0,1,4]},"check":"regression certificate 2","expected":{"boundaries":["0","2","3"],"cycle_eligible":["0","1","2"],"lower_bounds":[3,3,7,19],"physical":[0,0,1,0],"upper_bounds":[7,7,11,23],"virtual":[0,0,1,4]},"passed":true},{"actual":{"boundaries":["1","3","4","5"],"cycle_eligible":["1","2","3","4"],"lower_bounds":[1,4,4,7,10,19],"physical":[2,3,3,0,1,0],"upper_bounds":[4,7,7,10,13,22],"virtual":[-2,-1,-1,0,1,4]},"check":"regression certificate 3","expected":{"boundaries":["1","3","4","5"],"cycle_eligible":["1","2","3","4"],"lower_bounds":[1,4,4,7,10,19],"physical":[2,3,3,0,1,0],"upper_bounds":[4,7,7,10,13,22],"virtual":[-2,-1,-1,0,1,4]},"passed":true},{"actual":{"boundaries":["1","3","5"],"cycle_eligible":["1","2","3","4"],"lower_bounds":[7,12,12,17,22,27],"physical":[1,2,2,0,1,2],"upper_bounds":[12,17,17,22,27,32],"virtual":[1,2,2,3,4,5]},"check":"regression certificate 4","expected":{"boundaries":["1","3","5"],"cycle_eligible":["1","2","3","4"],"lower_bounds":[7,12,12,17,22,27],"physical":[1,2,2,0,1,2],"upper_bounds":[12,17,17,22,27,32],"virtual":[1,2,2,3,4,5]},"passed":true},{"actual":{"boundaries":["1","3","5"],"cycle_eligible":["3","4"],"lower_bounds":[-3,-1,-1,1,1,5],"physical":[0,1,1,0,0,0],"upper_bounds":[-1,1,1,3,3,7],"virtual":[-2,-1,-1,0,0,2]},"check":"regression certificate 5","expected":{"boundaries":["1","3","5"],"cycle_eligible":["3","4"],"lower_bounds":[-3,-1,-1,1,1,5],"physical":[0,1,1,0,0,0],"upper_bounds":[-1,1,1,3,3,7],"virtual":[-2,-1,-1,0,0,2]},"passed":true},{"actual":{"boundaries":["1","3","4"],"cycle_eligible":["1","2","3"],"lower_bounds":[10,13,13,22,28],"physical":[2,3,3,1,3],"upper_bounds":[13,16,16,25,31],"virtual":[2,3,3,6,8]},"check":"regression certificate 6","expected":{"boundaries":["1","3","4"],"cycle_eligible":["1","2","3"],"lower_bounds":[10,13,13,22,28],"physical":[2,3,3,1,3],"upper_bounds":[13,16,16,25,31],"virtual":[2,3,3,6,8]},"passed":true},{"actual":{"boundaries":["0","4"],"cycle_eligible":["3","4"],"lower_bounds":[12,12,12,20,28],"physical":[2,2,2,4,1],"upper_bounds":[16,16,16,24,32],"virtual":[2,2,2,4,6]},"check":"variant-dependent certificate","expected":{"boundaries":["0","4"],"cycle_eligible":["3","4"],"lower_bounds":[12,12,12,20,28],"physical":[2,2,2,4,1],"upper_bounds":[16,16,16,24,32],"virtual":[2,2,2,4,6]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"virtual\": [], \"physical\": [], \"lower_bounds\": [], \"upper_bounds\": [], \"cycle_eligible\": [], \"boundaries\": []}, \"expected\": {\"virtual\": [], \"physical\": [], \"lower_bounds\": [], \"upper_bounds\": [], \"cycle_eligible\": [], \"boundaries\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"virtual\": [0, 0, 1, 4], \"physical\": [0, 0, 1, 0], \"lower_bounds\": [3, 3, 7, 19], \"upper_bounds\": [7, 7, 11, 23], \"cycle_eligible\": [\"0\", \"1\", \"2\"], \"boundaries\": [\"0\", \"2\", \"3\"]}, \"expected\": {\"virtual\": [0, 0, 1, 4], \"physical\": [0, 0, 1, 0], \"lower_bounds\": [3, 3, 7, 19], \"upper_bounds\": [7, 7, 11, 23], \"cycle_eligible\": [\"0\", \"1\", \"2\"], \"boundaries\": [\"0\", \"2\", \"3\"]}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"virtual\": [-2, -1, -1, 0, 1, 4], \"physical\": [2, 3, 3, 0, 1, 0], \"lower_bounds\": [1, 4, 4, 7, 10, 19], \"upper_bounds\": [4, 7, 7, 10, 13, 22], \"cycle_eligible\": [\"1\", \"2\", \"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"4\", \"5\"]}, \"expected\": {\"virtual\": [-2, -1, -1, 0, 1, 4], \"physical\": [2, 3, 3, 0, 1, 0], \"lower_bounds\": [1, 4, 4, 7, 10, 19], \"upper_bounds\": [4, 7, 7, 10, 13, 22], \"cycle_eligible\": [\"1\", \"2\", \"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"4\", \"5\"]}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"virtual\": [1, 2, 2, 3, 4, 5], \"physical\": [1, 2, 2, 0, 1, 2], \"lower_bounds\": [7, 12, 12, 17, 22, 27], \"upper_bounds\": [12, 17, 17, 22, 27, 32], \"cycle_eligible\": [\"1\", \"2\", \"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"5\"]}, \"expected\": {\"virtual\": [1, 2, 2, 3, 4, 5], \"physical\": [1, 2, 2, 0, 1, 2], \"lower_bounds\": [7, 12, 12, 17, 22, 27], \"upper_bounds\": [12, 17, 17, 22, 27, 32], \"cycle_eligible\": [\"1\", \"2\", \"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"5\"]}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"virtual\": [-2, -1, -1, 0, 0, 2], \"physical\": [0, 1, 1, 0, 0, 0], \"lower_bounds\": [-3, -1, -1, 1, 1, 5], \"upper_bounds\": [-1, 1, 1, 3, 3, 7], \"cycle_eligible\": [\"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"5\"]}, \"expected\": {\"virtual\": [-2, -1, -1, 0, 0, 2], \"physical\": [0, 1, 1, 0, 0, 0], \"lower_bounds\": [-3, -1, -1, 1, 1, 5], \"upper_bounds\": [-1, 1, 1, 3, 3, 7], \"cycle_eligible\": [\"3\", \"4\"], \"boundaries\": [\"1\", \"3\", \"5\"]}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"virtual\": [2, 3, 3, 6, 8], \"physical\": [2, 3, 3, 1, 3], \"lower_bounds\": [10, 13, 13, 22, 28], \"upper_bounds\": [13, 16, 16, 25, 31], \"cycle_eligible\": [\"1\", \"2\", \"3\"], \"boundaries\": [\"1\", \"3\", \"4\"]}, \"expected\": {\"virtual\": [2, 3, 3, 6, 8], \"physical\": [2, 3, 3, 1, 3], \"lower_bounds\": [10, 13, 13, 22, 28], \"upper_bounds\": [13, 16, 16, 25, 31], \"cycle_eligible\": [\"1\", \"2\", \"3\"], \"boundaries\": [\"1\", \"3\", \"4\"]}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"virtual\": [2, 2, 2, 4, 6], \"physical\": [2, 2, 2, 4, 1], \"lower_bounds\": [12, 12, 12, 20, 28], \"upper_bounds\": [16, 16, 16, 24, 32], \"cycle_eligible\": [\"3\", \"4\"], \"boundaries\": [\"0\", \"4\"]}, \"expected\": {\"virtual\": [2, 2, 2, 4, 6], \"physical\": [2, 2, 2, 4, 1], \"lower_bounds\": [12, 12, 12, 20, 28], \"upper_bounds\": [16, 16, 16, 24, 32], \"cycle_eligible\": [\"3\", \"4\"], \"boundaries\": [\"0\", \"4\"]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}