{"abstract":"The bounded tournament padding certificate reports an incorrect rounds.","category":"Heap invariants","checks":7,"contract":"A tournament is built from m real leaves [id,key]. Round leaf capacity to the next power of two (empty capacity one) and append inactive None pads. Inactive pads always lose without numeric sentinel assumptions. Report capacity, padded leaves, champion id with arrival-order ties, match rounds, active-leaf indices, and key-comparison count m-1 for m>0.","evaluation_group":"s3-heap-model-tournament-padding","failed_approach":"The local patch uses max(0,m-1) and still violates the stated relation.","family":"s3-heap-tournament-padding-rounds","id":"FA-41266","implementations":{"attempt":{"sha256":"d486f03853df81f31c3022414abc24a5be4d8bea6785f61cd01b59b7068f3195","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['leaves']; m=len(a); c=1\n    while c<m: c*=2\n    padded=a+[None]*(c-m); champion=min(range(m),key=lambda i:a[i][1]) if m else None\n    return {'capacity': c,\n    'leaves': padded,\n    'champion': None if champion is None else a[champion][0],\n    'rounds': max(0,m-1),\n    'active_indices': list(range(m)),\n    'key_comparisons': max(0,m-1)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'leaves': []}, {'capacity': 1, 'leaves': [None], 'champion': None, 'rounds': 0, 'active_indices': [], 'key_comparisons': 0}), ({'leaves': [['x', 50]]}, {'capacity': 1, 'leaves': [['x', 50]], 'champion': 'x', 'rounds': 0, 'active_indices': [0], 'key_comparisons': 0}), ({'leaves': [['z', 3], ['a', 3]]}, {'capacity': 2, 'leaves': [['z', 3], ['a', 3]], 'champion': 'z', 'rounds': 1, 'active_indices': [0, 1], 'key_comparisons': 1}), ({'leaves': [['a', 8], ['b', 2], ['c', 5]]}, {'capacity': 4, 'leaves': [['a', 8], ['b', 2], ['c', 5], None], 'champion': 'b', 'rounds': 2, 'active_indices': [0, 1, 2], 'key_comparisons': 2}), ({'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]]}, {'capacity': 4, 'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]], 'champion': 'a', 'rounds': 2, 'active_indices': [0, 1, 2, 3], 'key_comparisons': 3}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], None, None, None], 'champion': 'a', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4], 'key_comparisons': 4}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], None, None], 'champion': '100', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4, 5], 'key_comparisons': 5})], [({'leaves': []}, {'capacity': 1, 'leaves': [None], 'champion': None, 'rounds': 0, 'active_indices': [], 'key_comparisons': 0}), ({'leaves': [['x', 50]]}, {'capacity': 1, 'leaves': [['x', 50]], 'champion': 'x', 'rounds': 0, 'active_indices': [0], 'key_comparisons': 0}), ({'leaves': [['z', 3], ['a', 3]]}, {'capacity': 2, 'leaves': [['z', 3], ['a', 3]], 'champion': 'z', 'rounds': 1, 'active_indices': [0, 1], 'key_comparisons': 1}), ({'leaves': [['a', 8], ['b', 2], ['c', 5]]}, {'capacity': 4, 'leaves': [['a', 8], ['b', 2], ['c', 5], None], 'champion': 'b', 'rounds': 2, 'active_indices': [0, 1, 2], 'key_comparisons': 2}), ({'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]]}, {'capacity': 4, 'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]], 'champion': 'a', 'rounds': 2, 'active_indices': [0, 1, 2, 3], 'key_comparisons': 3}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], None, None, None], 'champion': 'a', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4], 'key_comparisons': 4}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], None], 'champion': '100', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4, 5, 6], 'key_comparisons': 6})], [({'leaves': []}, {'capacity': 1, 'leaves': [None], 'champion': None, 'rounds': 0, 'active_indices': [], 'key_comparisons': 0}), ({'leaves': [['x', 50]]}, {'capacity': 1, 'leaves': [['x', 50]], 'champion': 'x', 'rounds': 0, 'active_indices': [0], 'key_comparisons': 0}), ({'leaves': [['z', 3], ['a', 3]]}, {'capacity': 2, 'leaves': [['z', 3], ['a', 3]], 'champion': 'z', 'rounds': 1, 'active_indices': [0, 1], 'key_comparisons': 1}), ({'leaves': [['a', 8], ['b', 2], ['c', 5]]}, {'capacity': 4, 'leaves': [['a', 8], ['b', 2], ['c', 5], None], 'champion': 'b', 'rounds': 2, 'active_indices': [0, 1, 2], 'key_comparisons': 2}), ({'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]]}, {'capacity': 4, 'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]], 'champion': 'a', 'rounds': 2, 'active_indices': [0, 1, 2, 3], 'key_comparisons': 3}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], None, None, None], 'champion': 'a', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4], 'key_comparisons': 4}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2]], 'champion': '100', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4, 5, 6, 7], 'key_comparisons': 7})], [({'leaves': []}, {'capacity': 1, 'leaves': [None], 'champion': None, 'rounds': 0, 'active_indices': [], 'key_comparisons': 0}), ({'leaves': [['x', 50]]}, {'capacity': 1, 'leaves': [['x', 50]], 'champion': 'x', 'rounds': 0, 'active_indices': [0], 'key_comparisons': 0}), ({'leaves': [['z', 3], ['a', 3]]}, {'capacity': 2, 'leaves': [['z', 3], ['a', 3]], 'champion': 'z', 'rounds': 1, 'active_indices': [0, 1], 'key_comparisons': 1}), ({'leaves': [['a', 8], ['b', 2], ['c', 5]]}, {'capacity': 4, 'leaves': [['a', 8], ['b', 2], ['c', 5], None], 'champion': 'b', 'rounds': 2, 'active_indices': [0, 1, 2], 'key_comparisons': 2}), ({'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]]}, {'capacity': 4, 'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]], 'champion': 'a', 'rounds': 2, 'active_indices': [0, 1, 2, 3], 'key_comparisons': 3}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], None, None, None], 'champion': 'a', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4], 'key_comparisons': 4}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2], ['103', 3]]}, {'capacity': 16, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2], ['103', 3], None, None, None, None, None, None, None], 'champion': '100', 'rounds': 4, 'active_indices': [0, 1, 2, 3, 4, 5, 6, 7, 8], 'key_comparisons': 8})], [({'leaves': []}, {'capacity': 1, 'leaves': [None], 'champion': None, 'rounds': 0, 'active_indices': [], 'key_comparisons': 0}), ({'leaves': [['x', 50]]}, {'capacity': 1, 'leaves': [['x', 50]], 'champion': 'x', 'rounds': 0, 'active_indices': [0], 'key_comparisons': 0}), ({'leaves': [['z', 3], ['a', 3]]}, {'capacity': 2, 'leaves': [['z', 3], ['a', 3]], 'champion': 'z', 'rounds': 1, 'active_indices': [0, 1], 'key_comparisons': 1}), ({'leaves': [['a', 8], ['b', 2], ['c', 5]]}, {'capacity': 4, 'leaves': [['a', 8], ['b', 2], ['c', 5], None], 'champion': 'b', 'rounds': 2, 'active_indices': [0, 1, 2], 'key_comparisons': 2}), ({'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]]}, {'capacity': 4, 'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]], 'champion': 'a', 'rounds': 2, 'active_indices': [0, 1, 2, 3], 'key_comparisons': 3}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], None, None, None], 'champion': 'a', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4], 'key_comparisons': 4}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2], ['103', 3], ['104', 4]]}, {'capacity': 16, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2], ['103', 3], ['104', 4], None, None, None, None, None, None], 'champion': '100', 'rounds': 4, 'active_indices': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 'key_comparisons': 9})]][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":"5dcc0825ce9bd7d347d01d8846552a8d63b8215c1ea94b92c09cfa6c8a9ad7e5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['leaves']; m=len(a); c=1\n    while c<m: c*=2\n    padded=a+[None]*(c-m); champion=min(range(m),key=lambda i:a[i][1]) if m else None\n    return {'capacity': c,\n    'leaves': padded,\n    'champion': None if champion is None else a[champion][0],\n    'rounds': c.bit_length(),\n    'active_indices': list(range(m)),\n    'key_comparisons': max(0,m-1)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'leaves': []}, {'capacity': 1, 'leaves': [None], 'champion': None, 'rounds': 0, 'active_indices': [], 'key_comparisons': 0}), ({'leaves': [['x', 50]]}, {'capacity': 1, 'leaves': [['x', 50]], 'champion': 'x', 'rounds': 0, 'active_indices': [0], 'key_comparisons': 0}), ({'leaves': [['z', 3], ['a', 3]]}, {'capacity': 2, 'leaves': [['z', 3], ['a', 3]], 'champion': 'z', 'rounds': 1, 'active_indices': [0, 1], 'key_comparisons': 1}), ({'leaves': [['a', 8], ['b', 2], ['c', 5]]}, {'capacity': 4, 'leaves': [['a', 8], ['b', 2], ['c', 5], None], 'champion': 'b', 'rounds': 2, 'active_indices': [0, 1, 2], 'key_comparisons': 2}), ({'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]]}, {'capacity': 4, 'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]], 'champion': 'a', 'rounds': 2, 'active_indices': [0, 1, 2, 3], 'key_comparisons': 3}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], None, None, None], 'champion': 'a', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4], 'key_comparisons': 4}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], None, None], 'champion': '100', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4, 5], 'key_comparisons': 5})], [({'leaves': []}, {'capacity': 1, 'leaves': [None], 'champion': None, 'rounds': 0, 'active_indices': [], 'key_comparisons': 0}), ({'leaves': [['x', 50]]}, {'capacity': 1, 'leaves': [['x', 50]], 'champion': 'x', 'rounds': 0, 'active_indices': [0], 'key_comparisons': 0}), ({'leaves': [['z', 3], ['a', 3]]}, {'capacity': 2, 'leaves': [['z', 3], ['a', 3]], 'champion': 'z', 'rounds': 1, 'active_indices': [0, 1], 'key_comparisons': 1}), ({'leaves': [['a', 8], ['b', 2], ['c', 5]]}, {'capacity': 4, 'leaves': [['a', 8], ['b', 2], ['c', 5], None], 'champion': 'b', 'rounds': 2, 'active_indices': [0, 1, 2], 'key_comparisons': 2}), ({'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]]}, {'capacity': 4, 'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]], 'champion': 'a', 'rounds': 2, 'active_indices': [0, 1, 2, 3], 'key_comparisons': 3}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], None, None, None], 'champion': 'a', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4], 'key_comparisons': 4}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], None], 'champion': '100', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4, 5, 6], 'key_comparisons': 6})], [({'leaves': []}, {'capacity': 1, 'leaves': [None], 'champion': None, 'rounds': 0, 'active_indices': [], 'key_comparisons': 0}), ({'leaves': [['x', 50]]}, {'capacity': 1, 'leaves': [['x', 50]], 'champion': 'x', 'rounds': 0, 'active_indices': [0], 'key_comparisons': 0}), ({'leaves': [['z', 3], ['a', 3]]}, {'capacity': 2, 'leaves': [['z', 3], ['a', 3]], 'champion': 'z', 'rounds': 1, 'active_indices': [0, 1], 'key_comparisons': 1}), ({'leaves': [['a', 8], ['b', 2], ['c', 5]]}, {'capacity': 4, 'leaves': [['a', 8], ['b', 2], ['c', 5], None], 'champion': 'b', 'rounds': 2, 'active_indices': [0, 1, 2], 'key_comparisons': 2}), ({'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]]}, {'capacity': 4, 'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]], 'champion': 'a', 'rounds': 2, 'active_indices': [0, 1, 2, 3], 'key_comparisons': 3}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], None, None, None], 'champion': 'a', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4], 'key_comparisons': 4}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2]], 'champion': '100', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4, 5, 6, 7], 'key_comparisons': 7})], [({'leaves': []}, {'capacity': 1, 'leaves': [None], 'champion': None, 'rounds': 0, 'active_indices': [], 'key_comparisons': 0}), ({'leaves': [['x', 50]]}, {'capacity': 1, 'leaves': [['x', 50]], 'champion': 'x', 'rounds': 0, 'active_indices': [0], 'key_comparisons': 0}), ({'leaves': [['z', 3], ['a', 3]]}, {'capacity': 2, 'leaves': [['z', 3], ['a', 3]], 'champion': 'z', 'rounds': 1, 'active_indices': [0, 1], 'key_comparisons': 1}), ({'leaves': [['a', 8], ['b', 2], ['c', 5]]}, {'capacity': 4, 'leaves': [['a', 8], ['b', 2], ['c', 5], None], 'champion': 'b', 'rounds': 2, 'active_indices': [0, 1, 2], 'key_comparisons': 2}), ({'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]]}, {'capacity': 4, 'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]], 'champion': 'a', 'rounds': 2, 'active_indices': [0, 1, 2, 3], 'key_comparisons': 3}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], None, None, None], 'champion': 'a', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4], 'key_comparisons': 4}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2], ['103', 3]]}, {'capacity': 16, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2], ['103', 3], None, None, None, None, None, None, None], 'champion': '100', 'rounds': 4, 'active_indices': [0, 1, 2, 3, 4, 5, 6, 7, 8], 'key_comparisons': 8})], [({'leaves': []}, {'capacity': 1, 'leaves': [None], 'champion': None, 'rounds': 0, 'active_indices': [], 'key_comparisons': 0}), ({'leaves': [['x', 50]]}, {'capacity': 1, 'leaves': [['x', 50]], 'champion': 'x', 'rounds': 0, 'active_indices': [0], 'key_comparisons': 0}), ({'leaves': [['z', 3], ['a', 3]]}, {'capacity': 2, 'leaves': [['z', 3], ['a', 3]], 'champion': 'z', 'rounds': 1, 'active_indices': [0, 1], 'key_comparisons': 1}), ({'leaves': [['a', 8], ['b', 2], ['c', 5]]}, {'capacity': 4, 'leaves': [['a', 8], ['b', 2], ['c', 5], None], 'champion': 'b', 'rounds': 2, 'active_indices': [0, 1, 2], 'key_comparisons': 2}), ({'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]]}, {'capacity': 4, 'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]], 'champion': 'a', 'rounds': 2, 'active_indices': [0, 1, 2, 3], 'key_comparisons': 3}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], None, None, None], 'champion': 'a', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4], 'key_comparisons': 4}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2], ['103', 3], ['104', 4]]}, {'capacity': 16, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2], ['103', 3], ['104', 4], None, None, None, None, None, None], 'champion': '100', 'rounds': 4, 'active_indices': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 'key_comparisons': 9})]][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":"32147abfda0ff11c9090177e2e25e22e0c7cceaba3c6fb8ce2ae71d0ec3f1cbd","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['leaves']; m=len(a); c=1\n    while c<m: c*=2\n    padded=a+[None]*(c-m); champion=min(range(m),key=lambda i:a[i][1]) if m else None\n    return {'capacity': c,\n    'leaves': padded,\n    'champion': None if champion is None else a[champion][0],\n    'rounds': c.bit_length()-1,\n    'active_indices': list(range(m)),\n    'key_comparisons': max(0,m-1)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'leaves': []}, {'capacity': 1, 'leaves': [None], 'champion': None, 'rounds': 0, 'active_indices': [], 'key_comparisons': 0}), ({'leaves': [['x', 50]]}, {'capacity': 1, 'leaves': [['x', 50]], 'champion': 'x', 'rounds': 0, 'active_indices': [0], 'key_comparisons': 0}), ({'leaves': [['z', 3], ['a', 3]]}, {'capacity': 2, 'leaves': [['z', 3], ['a', 3]], 'champion': 'z', 'rounds': 1, 'active_indices': [0, 1], 'key_comparisons': 1}), ({'leaves': [['a', 8], ['b', 2], ['c', 5]]}, {'capacity': 4, 'leaves': [['a', 8], ['b', 2], ['c', 5], None], 'champion': 'b', 'rounds': 2, 'active_indices': [0, 1, 2], 'key_comparisons': 2}), ({'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]]}, {'capacity': 4, 'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]], 'champion': 'a', 'rounds': 2, 'active_indices': [0, 1, 2, 3], 'key_comparisons': 3}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], None, None, None], 'champion': 'a', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4], 'key_comparisons': 4}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], None, None], 'champion': '100', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4, 5], 'key_comparisons': 5})], [({'leaves': []}, {'capacity': 1, 'leaves': [None], 'champion': None, 'rounds': 0, 'active_indices': [], 'key_comparisons': 0}), ({'leaves': [['x', 50]]}, {'capacity': 1, 'leaves': [['x', 50]], 'champion': 'x', 'rounds': 0, 'active_indices': [0], 'key_comparisons': 0}), ({'leaves': [['z', 3], ['a', 3]]}, {'capacity': 2, 'leaves': [['z', 3], ['a', 3]], 'champion': 'z', 'rounds': 1, 'active_indices': [0, 1], 'key_comparisons': 1}), ({'leaves': [['a', 8], ['b', 2], ['c', 5]]}, {'capacity': 4, 'leaves': [['a', 8], ['b', 2], ['c', 5], None], 'champion': 'b', 'rounds': 2, 'active_indices': [0, 1, 2], 'key_comparisons': 2}), ({'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]]}, {'capacity': 4, 'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]], 'champion': 'a', 'rounds': 2, 'active_indices': [0, 1, 2, 3], 'key_comparisons': 3}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], None, None, None], 'champion': 'a', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4], 'key_comparisons': 4}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], None], 'champion': '100', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4, 5, 6], 'key_comparisons': 6})], [({'leaves': []}, {'capacity': 1, 'leaves': [None], 'champion': None, 'rounds': 0, 'active_indices': [], 'key_comparisons': 0}), ({'leaves': [['x', 50]]}, {'capacity': 1, 'leaves': [['x', 50]], 'champion': 'x', 'rounds': 0, 'active_indices': [0], 'key_comparisons': 0}), ({'leaves': [['z', 3], ['a', 3]]}, {'capacity': 2, 'leaves': [['z', 3], ['a', 3]], 'champion': 'z', 'rounds': 1, 'active_indices': [0, 1], 'key_comparisons': 1}), ({'leaves': [['a', 8], ['b', 2], ['c', 5]]}, {'capacity': 4, 'leaves': [['a', 8], ['b', 2], ['c', 5], None], 'champion': 'b', 'rounds': 2, 'active_indices': [0, 1, 2], 'key_comparisons': 2}), ({'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]]}, {'capacity': 4, 'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]], 'champion': 'a', 'rounds': 2, 'active_indices': [0, 1, 2, 3], 'key_comparisons': 3}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], None, None, None], 'champion': 'a', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4], 'key_comparisons': 4}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2]], 'champion': '100', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4, 5, 6, 7], 'key_comparisons': 7})], [({'leaves': []}, {'capacity': 1, 'leaves': [None], 'champion': None, 'rounds': 0, 'active_indices': [], 'key_comparisons': 0}), ({'leaves': [['x', 50]]}, {'capacity': 1, 'leaves': [['x', 50]], 'champion': 'x', 'rounds': 0, 'active_indices': [0], 'key_comparisons': 0}), ({'leaves': [['z', 3], ['a', 3]]}, {'capacity': 2, 'leaves': [['z', 3], ['a', 3]], 'champion': 'z', 'rounds': 1, 'active_indices': [0, 1], 'key_comparisons': 1}), ({'leaves': [['a', 8], ['b', 2], ['c', 5]]}, {'capacity': 4, 'leaves': [['a', 8], ['b', 2], ['c', 5], None], 'champion': 'b', 'rounds': 2, 'active_indices': [0, 1, 2], 'key_comparisons': 2}), ({'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]]}, {'capacity': 4, 'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]], 'champion': 'a', 'rounds': 2, 'active_indices': [0, 1, 2, 3], 'key_comparisons': 3}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], None, None, None], 'champion': 'a', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4], 'key_comparisons': 4}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2], ['103', 3]]}, {'capacity': 16, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2], ['103', 3], None, None, None, None, None, None, None], 'champion': '100', 'rounds': 4, 'active_indices': [0, 1, 2, 3, 4, 5, 6, 7, 8], 'key_comparisons': 8})], [({'leaves': []}, {'capacity': 1, 'leaves': [None], 'champion': None, 'rounds': 0, 'active_indices': [], 'key_comparisons': 0}), ({'leaves': [['x', 50]]}, {'capacity': 1, 'leaves': [['x', 50]], 'champion': 'x', 'rounds': 0, 'active_indices': [0], 'key_comparisons': 0}), ({'leaves': [['z', 3], ['a', 3]]}, {'capacity': 2, 'leaves': [['z', 3], ['a', 3]], 'champion': 'z', 'rounds': 1, 'active_indices': [0, 1], 'key_comparisons': 1}), ({'leaves': [['a', 8], ['b', 2], ['c', 5]]}, {'capacity': 4, 'leaves': [['a', 8], ['b', 2], ['c', 5], None], 'champion': 'b', 'rounds': 2, 'active_indices': [0, 1, 2], 'key_comparisons': 2}), ({'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]]}, {'capacity': 4, 'leaves': [['a', -2], ['b', 0], ['c', 4], ['d', 1]], 'champion': 'a', 'rounds': 2, 'active_indices': [0, 1, 2, 3], 'key_comparisons': 3}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1]]}, {'capacity': 8, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], None, None, None], 'champion': 'a', 'rounds': 3, 'active_indices': [0, 1, 2, 3, 4], 'key_comparisons': 4}), ({'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2], ['103', 3], ['104', 4]]}, {'capacity': 16, 'leaves': [['e', 9], ['d', 7], ['c', 5], ['b', 3], ['a', 1], ['100', 0], ['101', 1], ['102', 2], ['103', 3], ['104', 4], None, None, None, None, None, None], 'champion': '100', 'rounds': 4, 'active_indices': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9], 'key_comparisons': 9})]][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-tournament-padding-rounds","generated_at":"2026-09-29T14:43:39.168002+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 rounds using c.bit_length()-1 under the stated bounded certificate contract.","root_cause":"Tournament depth counts tree levels rather than total matches.","sha256":"49fe76d9bb3718d2416699133ba150e31b4018f83aff840f13837c9f1c16b020","title":"Tournament depth counts tree levels rather than total matches · 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":48.246,"exit_code":1,"observations":[{"actual":{"active_indices":[],"capacity":1,"champion":null,"key_comparisons":0,"leaves":[null],"rounds":0},"check":"regression certificate 1","expected":{"active_indices":[],"capacity":1,"champion":null,"key_comparisons":0,"leaves":[null],"rounds":0},"passed":true},{"actual":{"active_indices":[0],"capacity":1,"champion":"x","key_comparisons":0,"leaves":[["x",50]],"rounds":0},"check":"regression certificate 2","expected":{"active_indices":[0],"capacity":1,"champion":"x","key_comparisons":0,"leaves":[["x",50]],"rounds":0},"passed":true},{"actual":{"active_indices":[0,1],"capacity":2,"champion":"z","key_comparisons":1,"leaves":[["z",3],["a",3]],"rounds":1},"check":"regression certificate 3","expected":{"active_indices":[0,1],"capacity":2,"champion":"z","key_comparisons":1,"leaves":[["z",3],["a",3]],"rounds":1},"passed":true},{"actual":{"active_indices":[0,1,2],"capacity":4,"champion":"b","key_comparisons":2,"leaves":[["a",8],["b",2],["c",5],null],"rounds":2},"check":"regression certificate 4","expected":{"active_indices":[0,1,2],"capacity":4,"champion":"b","key_comparisons":2,"leaves":[["a",8],["b",2],["c",5],null],"rounds":2},"passed":true},{"actual":{"active_indices":[0,1,2,3],"capacity":4,"champion":"a","key_comparisons":3,"leaves":[["a",-2],["b",0],["c",4],["d",1]],"rounds":3},"check":"regression certificate 5","expected":{"active_indices":[0,1,2,3],"capacity":4,"champion":"a","key_comparisons":3,"leaves":[["a",-2],["b",0],["c",4],["d",1]],"rounds":2},"passed":false},{"actual":{"active_indices":[0,1,2,3,4],"capacity":8,"champion":"a","key_comparisons":4,"leaves":[["e",9],["d",7],["c",5],["b",3],["a",1],null,null,null],"rounds":4},"check":"regression certificate 6","expected":{"active_indices":[0,1,2,3,4],"capacity":8,"champion":"a","key_comparisons":4,"leaves":[["e",9],["d",7],["c",5],["b",3],["a",1],null,null,null],"rounds":3},"passed":false},{"actual":{"active_indices":[0,1,2,3,4,5],"capacity":8,"champion":"100","key_comparisons":5,"leaves":[["e",9],["d",7],["c",5],["b",3],["a",1],["100",0],null,null],"rounds":5},"check":"variant-dependent certificate","expected":{"active_indices":[0,1,2,3,4,5],"capacity":8,"champion":"100","key_comparisons":5,"leaves":[["e",9],["d",7],["c",5],["b",3],["a",1],["100",0],null,null],"rounds":3},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"capacity\": 1, \"leaves\": [null], \"champion\": null, \"rounds\": 0, \"active_indices\": [], \"key_comparisons\": 0}, \"expected\": {\"capacity\": 1, \"leaves\": [null], \"champion\": null, \"rounds\": 0, \"active_indices\": [], \"key_comparisons\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"capacity\": 1, \"leaves\": [[\"x\", 50]], \"champion\": \"x\", \"rounds\": 0, \"active_indices\": [0], \"key_comparisons\": 0}, \"expected\": {\"capacity\": 1, \"leaves\": [[\"x\", 50]], \"champion\": \"x\", \"rounds\": 0, \"active_indices\": [0], \"key_comparisons\": 0}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"capacity\": 2, \"leaves\": [[\"z\", 3], [\"a\", 3]], \"champion\": \"z\", \"rounds\": 1, \"active_indices\": [0, 1], \"key_comparisons\": 1}, \"expected\": {\"capacity\": 2, \"leaves\": [[\"z\", 3], [\"a\", 3]], \"champion\": \"z\", \"rounds\": 1, \"active_indices\": [0, 1], \"key_comparisons\": 1}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"capacity\": 4, \"leaves\": [[\"a\", 8], [\"b\", 2], [\"c\", 5], null], \"champion\": \"b\", \"rounds\": 2, \"active_indices\": [0, 1, 2], \"key_comparisons\": 2}, \"expected\": {\"capacity\": 4, \"leaves\": [[\"a\", 8], [\"b\", 2], [\"c\", 5], null], \"champion\": \"b\", \"rounds\": 2, \"active_indices\": [0, 1, 2], \"key_comparisons\": 2}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"capacity\": 4, \"leaves\": [[\"a\", -2], [\"b\", 0], [\"c\", 4], [\"d\", 1]], \"champion\": \"a\", \"rounds\": 3, \"active_indices\": [0, 1, 2, 3], \"key_comparisons\": 3}, \"expected\": {\"capacity\": 4, \"leaves\": [[\"a\", -2], [\"b\", 0], [\"c\", 4], [\"d\", 1]], \"champion\": \"a\", \"rounds\": 2, \"active_indices\": [0, 1, 2, 3], \"key_comparisons\": 3}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"capacity\": 8, \"leaves\": [[\"e\", 9], [\"d\", 7], [\"c\", 5], [\"b\", 3], [\"a\", 1], null, null, null], \"champion\": \"a\", \"rounds\": 4, \"active_indices\": [0, 1, 2, 3, 4], \"key_comparisons\": 4}, \"expected\": {\"capacity\": 8, \"leaves\": [[\"e\", 9], [\"d\", 7], [\"c\", 5], [\"b\", 3], [\"a\", 1], null, null, null], \"champion\": \"a\", \"rounds\": 3, \"active_indices\": [0, 1, 2, 3, 4], \"key_comparisons\": 4}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"capacity\": 8, \"leaves\": [[\"e\", 9], [\"d\", 7], [\"c\", 5], [\"b\", 3], [\"a\", 1], [\"100\", 0], null, null], \"champion\": \"100\", \"rounds\": 5, \"active_indices\": [0, 1, 2, 3, 4, 5], \"key_comparisons\": 5}, \"expected\": {\"capacity\": 8, \"leaves\": [[\"e\", 9], [\"d\", 7], [\"c\", 5], [\"b\", 3], [\"a\", 1], [\"100\", 0], null, null], \"champion\": \"100\", \"rounds\": 3, \"active_indices\": [0, 1, 2, 3, 4, 5], \"key_comparisons\": 5}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.666,"exit_code":1,"observations":[{"actual":{"active_indices":[],"capacity":1,"champion":null,"key_comparisons":0,"leaves":[null],"rounds":1},"check":"regression certificate 1","expected":{"active_indices":[],"capacity":1,"champion":null,"key_comparisons":0,"leaves":[null],"rounds":0},"passed":false},{"actual":{"active_indices":[0],"capacity":1,"champion":"x","key_comparisons":0,"leaves":[["x",50]],"rounds":1},"check":"regression certificate 2","expected":{"active_indices":[0],"capacity":1,"champion":"x","key_comparisons":0,"leaves":[["x",50]],"rounds":0},"passed":false},{"actual":{"active_indices":[0,1],"capacity":2,"champion":"z","key_comparisons":1,"leaves":[["z",3],["a",3]],"rounds":2},"check":"regression certificate 3","expected":{"active_indices":[0,1],"capacity":2,"champion":"z","key_comparisons":1,"leaves":[["z",3],["a",3]],"rounds":1},"passed":false},{"actual":{"active_indices":[0,1,2],"capacity":4,"champion":"b","key_comparisons":2,"leaves":[["a",8],["b",2],["c",5],null],"rounds":3},"check":"regression certificate 4","expected":{"active_indices":[0,1,2],"capacity":4,"champion":"b","key_comparisons":2,"leaves":[["a",8],["b",2],["c",5],null],"rounds":2},"passed":false},{"actual":{"active_indices":[0,1,2,3],"capacity":4,"champion":"a","key_comparisons":3,"leaves":[["a",-2],["b",0],["c",4],["d",1]],"rounds":3},"check":"regression certificate 5","expected":{"active_indices":[0,1,2,3],"capacity":4,"champion":"a","key_comparisons":3,"leaves":[["a",-2],["b",0],["c",4],["d",1]],"rounds":2},"passed":false},{"actual":{"active_indices":[0,1,2,3,4],"capacity":8,"champion":"a","key_comparisons":4,"leaves":[["e",9],["d",7],["c",5],["b",3],["a",1],null,null,null],"rounds":4},"check":"regression certificate 6","expected":{"active_indices":[0,1,2,3,4],"capacity":8,"champion":"a","key_comparisons":4,"leaves":[["e",9],["d",7],["c",5],["b",3],["a",1],null,null,null],"rounds":3},"passed":false},{"actual":{"active_indices":[0,1,2,3,4,5],"capacity":8,"champion":"100","key_comparisons":5,"leaves":[["e",9],["d",7],["c",5],["b",3],["a",1],["100",0],null,null],"rounds":4},"check":"variant-dependent certificate","expected":{"active_indices":[0,1,2,3,4,5],"capacity":8,"champion":"100","key_comparisons":5,"leaves":[["e",9],["d",7],["c",5],["b",3],["a",1],["100",0],null,null],"rounds":3},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"capacity\": 1, \"leaves\": [null], \"champion\": null, \"rounds\": 1, \"active_indices\": [], \"key_comparisons\": 0}, \"expected\": {\"capacity\": 1, \"leaves\": [null], \"champion\": null, \"rounds\": 0, \"active_indices\": [], \"key_comparisons\": 0}, \"passed\": false}, {\"check\": \"regression certificate 2\", \"actual\": {\"capacity\": 1, \"leaves\": [[\"x\", 50]], \"champion\": \"x\", \"rounds\": 1, \"active_indices\": [0], \"key_comparisons\": 0}, \"expected\": {\"capacity\": 1, \"leaves\": [[\"x\", 50]], \"champion\": \"x\", \"rounds\": 0, \"active_indices\": [0], \"key_comparisons\": 0}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"capacity\": 2, \"leaves\": [[\"z\", 3], [\"a\", 3]], \"champion\": \"z\", \"rounds\": 2, \"active_indices\": [0, 1], \"key_comparisons\": 1}, \"expected\": {\"capacity\": 2, \"leaves\": [[\"z\", 3], [\"a\", 3]], \"champion\": \"z\", \"rounds\": 1, \"active_indices\": [0, 1], \"key_comparisons\": 1}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"capacity\": 4, \"leaves\": [[\"a\", 8], [\"b\", 2], [\"c\", 5], null], \"champion\": \"b\", \"rounds\": 3, \"active_indices\": [0, 1, 2], \"key_comparisons\": 2}, \"expected\": {\"capacity\": 4, \"leaves\": [[\"a\", 8], [\"b\", 2], [\"c\", 5], null], \"champion\": \"b\", \"rounds\": 2, \"active_indices\": [0, 1, 2], \"key_comparisons\": 2}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"capacity\": 4, \"leaves\": [[\"a\", -2], [\"b\", 0], [\"c\", 4], [\"d\", 1]], \"champion\": \"a\", \"rounds\": 3, \"active_indices\": [0, 1, 2, 3], \"key_comparisons\": 3}, \"expected\": {\"capacity\": 4, \"leaves\": [[\"a\", -2], [\"b\", 0], [\"c\", 4], [\"d\", 1]], \"champion\": \"a\", \"rounds\": 2, \"active_indices\": [0, 1, 2, 3], \"key_comparisons\": 3}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"capacity\": 8, \"leaves\": [[\"e\", 9], [\"d\", 7], [\"c\", 5], [\"b\", 3], [\"a\", 1], null, null, null], \"champion\": \"a\", \"rounds\": 4, \"active_indices\": [0, 1, 2, 3, 4], \"key_comparisons\": 4}, \"expected\": {\"capacity\": 8, \"leaves\": [[\"e\", 9], [\"d\", 7], [\"c\", 5], [\"b\", 3], [\"a\", 1], null, null, null], \"champion\": \"a\", \"rounds\": 3, \"active_indices\": [0, 1, 2, 3, 4], \"key_comparisons\": 4}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"capacity\": 8, \"leaves\": [[\"e\", 9], [\"d\", 7], [\"c\", 5], [\"b\", 3], [\"a\", 1], [\"100\", 0], null, null], \"champion\": \"100\", \"rounds\": 4, \"active_indices\": [0, 1, 2, 3, 4, 5], \"key_comparisons\": 5}, \"expected\": {\"capacity\": 8, \"leaves\": [[\"e\", 9], [\"d\", 7], [\"c\", 5], [\"b\", 3], [\"a\", 1], [\"100\", 0], null, null], \"champion\": \"100\", \"rounds\": 3, \"active_indices\": [0, 1, 2, 3, 4, 5], \"key_comparisons\": 5}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.636,"exit_code":0,"observations":[{"actual":{"active_indices":[],"capacity":1,"champion":null,"key_comparisons":0,"leaves":[null],"rounds":0},"check":"regression certificate 1","expected":{"active_indices":[],"capacity":1,"champion":null,"key_comparisons":0,"leaves":[null],"rounds":0},"passed":true},{"actual":{"active_indices":[0],"capacity":1,"champion":"x","key_comparisons":0,"leaves":[["x",50]],"rounds":0},"check":"regression certificate 2","expected":{"active_indices":[0],"capacity":1,"champion":"x","key_comparisons":0,"leaves":[["x",50]],"rounds":0},"passed":true},{"actual":{"active_indices":[0,1],"capacity":2,"champion":"z","key_comparisons":1,"leaves":[["z",3],["a",3]],"rounds":1},"check":"regression certificate 3","expected":{"active_indices":[0,1],"capacity":2,"champion":"z","key_comparisons":1,"leaves":[["z",3],["a",3]],"rounds":1},"passed":true},{"actual":{"active_indices":[0,1,2],"capacity":4,"champion":"b","key_comparisons":2,"leaves":[["a",8],["b",2],["c",5],null],"rounds":2},"check":"regression certificate 4","expected":{"active_indices":[0,1,2],"capacity":4,"champion":"b","key_comparisons":2,"leaves":[["a",8],["b",2],["c",5],null],"rounds":2},"passed":true},{"actual":{"active_indices":[0,1,2,3],"capacity":4,"champion":"a","key_comparisons":3,"leaves":[["a",-2],["b",0],["c",4],["d",1]],"rounds":2},"check":"regression certificate 5","expected":{"active_indices":[0,1,2,3],"capacity":4,"champion":"a","key_comparisons":3,"leaves":[["a",-2],["b",0],["c",4],["d",1]],"rounds":2},"passed":true},{"actual":{"active_indices":[0,1,2,3,4],"capacity":8,"champion":"a","key_comparisons":4,"leaves":[["e",9],["d",7],["c",5],["b",3],["a",1],null,null,null],"rounds":3},"check":"regression certificate 6","expected":{"active_indices":[0,1,2,3,4],"capacity":8,"champion":"a","key_comparisons":4,"leaves":[["e",9],["d",7],["c",5],["b",3],["a",1],null,null,null],"rounds":3},"passed":true},{"actual":{"active_indices":[0,1,2,3,4,5],"capacity":8,"champion":"100","key_comparisons":5,"leaves":[["e",9],["d",7],["c",5],["b",3],["a",1],["100",0],null,null],"rounds":3},"check":"variant-dependent certificate","expected":{"active_indices":[0,1,2,3,4,5],"capacity":8,"champion":"100","key_comparisons":5,"leaves":[["e",9],["d",7],["c",5],["b",3],["a",1],["100",0],null,null],"rounds":3},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"capacity\": 1, \"leaves\": [null], \"champion\": null, \"rounds\": 0, \"active_indices\": [], \"key_comparisons\": 0}, \"expected\": {\"capacity\": 1, \"leaves\": [null], \"champion\": null, \"rounds\": 0, \"active_indices\": [], \"key_comparisons\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"capacity\": 1, \"leaves\": [[\"x\", 50]], \"champion\": \"x\", \"rounds\": 0, \"active_indices\": [0], \"key_comparisons\": 0}, \"expected\": {\"capacity\": 1, \"leaves\": [[\"x\", 50]], \"champion\": \"x\", \"rounds\": 0, \"active_indices\": [0], \"key_comparisons\": 0}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"capacity\": 2, \"leaves\": [[\"z\", 3], [\"a\", 3]], \"champion\": \"z\", \"rounds\": 1, \"active_indices\": [0, 1], \"key_comparisons\": 1}, \"expected\": {\"capacity\": 2, \"leaves\": [[\"z\", 3], [\"a\", 3]], \"champion\": \"z\", \"rounds\": 1, \"active_indices\": [0, 1], \"key_comparisons\": 1}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"capacity\": 4, \"leaves\": [[\"a\", 8], [\"b\", 2], [\"c\", 5], null], \"champion\": \"b\", \"rounds\": 2, \"active_indices\": [0, 1, 2], \"key_comparisons\": 2}, \"expected\": {\"capacity\": 4, \"leaves\": [[\"a\", 8], [\"b\", 2], [\"c\", 5], null], \"champion\": \"b\", \"rounds\": 2, \"active_indices\": [0, 1, 2], \"key_comparisons\": 2}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"capacity\": 4, \"leaves\": [[\"a\", -2], [\"b\", 0], [\"c\", 4], [\"d\", 1]], \"champion\": \"a\", \"rounds\": 2, \"active_indices\": [0, 1, 2, 3], \"key_comparisons\": 3}, \"expected\": {\"capacity\": 4, \"leaves\": [[\"a\", -2], [\"b\", 0], [\"c\", 4], [\"d\", 1]], \"champion\": \"a\", \"rounds\": 2, \"active_indices\": [0, 1, 2, 3], \"key_comparisons\": 3}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"capacity\": 8, \"leaves\": [[\"e\", 9], [\"d\", 7], [\"c\", 5], [\"b\", 3], [\"a\", 1], null, null, null], \"champion\": \"a\", \"rounds\": 3, \"active_indices\": [0, 1, 2, 3, 4], \"key_comparisons\": 4}, \"expected\": {\"capacity\": 8, \"leaves\": [[\"e\", 9], [\"d\", 7], [\"c\", 5], [\"b\", 3], [\"a\", 1], null, null, null], \"champion\": \"a\", \"rounds\": 3, \"active_indices\": [0, 1, 2, 3, 4], \"key_comparisons\": 4}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"capacity\": 8, \"leaves\": [[\"e\", 9], [\"d\", 7], [\"c\", 5], [\"b\", 3], [\"a\", 1], [\"100\", 0], null, null], \"champion\": \"100\", \"rounds\": 3, \"active_indices\": [0, 1, 2, 3, 4, 5], \"key_comparisons\": 5}, \"expected\": {\"capacity\": 8, \"leaves\": [[\"e\", 9], [\"d\", 7], [\"c\", 5], [\"b\", 3], [\"a\", 1], [\"100\", 0], null, null], \"champion\": \"100\", \"rounds\": 3, \"active_indices\": [0, 1, 2, 3, 4, 5], \"key_comparisons\": 5}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}