{"abstract":"The bounded fibonacci degree table certificate reports an incorrect final degree.","category":"Heap invariants","checks":7,"contract":"A Fibonacci consolidation trace gives occupied degree slots table degree->root id, incoming degree, and incoming root. Pop consecutive occupied degrees starting at incoming degree, collecting collision roots, then place incoming representative in first vacant slot. Report collisions, final degree, emptied slots, resulting occupied degree keys, required array capacity, and carry-step count. This is the degree-routing portion; key comparisons are outside this bounded model.","evaluation_group":"s3-heap-model-fibonacci-degree-table","failed_approach":"The local patch uses start and still violates the stated relation.","family":"s3-heap-fibonacci-degree-table-final_degree","id":"FA-40686","implementations":{"attempt":{"sha256":"312e374dd09b03ac794ae06209e37b1fc16181ab8a54b152fa0a5adf1e24ffa4","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    table={int(k):v for k,v in d['table'].items()}; start=d['degree']; degree=start; collisions=[]\n    while degree in table:\n        collisions.append(table[degree]); degree+=1\n    out={k:v for k,v in table.items() if not start<=k<degree}; out[degree]=d['root']\n    return {'collisions': collisions,\n    'final_degree': start,\n    'cleared': list(range(start,degree)),\n    'occupied': sorted(out),\n    'capacity': max(out,default=-1)+1,\n    'carry_steps': len(collisions)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'table': {}, 'degree': 0, 'root': 'x'}, {'collisions': [], 'final_degree': 0, 'cleared': [], 'occupied': [0], 'capacity': 1, 'carry_steps': 0}), ({'table': {'0': 'a'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a'], 'final_degree': 1, 'cleared': [0], 'occupied': [1], 'capacity': 2, 'carry_steps': 1}), ({'table': {'0': 'a', '1': 'b', '3': 'c'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a', 'b'], 'final_degree': 2, 'cleared': [0, 1], 'occupied': [2, 3], 'capacity': 4, 'carry_steps': 2}), ({'table': {'0': 'a', '2': 'b', '3': 'c'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [0, 4], 'capacity': 5, 'carry_steps': 2}), ({'table': {'4': 'a'}, 'degree': 1, 'root': 'x'}, {'collisions': [], 'final_degree': 1, 'cleared': [], 'occupied': [1, 4], 'capacity': 5, 'carry_steps': 0}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3})], [({'table': {}, 'degree': 0, 'root': 'x'}, {'collisions': [], 'final_degree': 0, 'cleared': [], 'occupied': [0], 'capacity': 1, 'carry_steps': 0}), ({'table': {'0': 'a'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a'], 'final_degree': 1, 'cleared': [0], 'occupied': [1], 'capacity': 2, 'carry_steps': 1}), ({'table': {'0': 'a', '1': 'b', '3': 'c'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a', 'b'], 'final_degree': 2, 'cleared': [0, 1], 'occupied': [2, 3], 'capacity': 4, 'carry_steps': 2}), ({'table': {'0': 'a', '2': 'b', '3': 'c'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [0, 4], 'capacity': 5, 'carry_steps': 2}), ({'table': {'4': 'a'}, 'degree': 1, 'root': 'x'}, {'collisions': [], 'final_degree': 1, 'cleared': [], 'occupied': [1, 4], 'capacity': 5, 'carry_steps': 0}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [1, 4, 6], 'capacity': 7, 'carry_steps': 2})], [({'table': {}, 'degree': 0, 'root': 'x'}, {'collisions': [], 'final_degree': 0, 'cleared': [], 'occupied': [0], 'capacity': 1, 'carry_steps': 0}), ({'table': {'0': 'a'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a'], 'final_degree': 1, 'cleared': [0], 'occupied': [1], 'capacity': 2, 'carry_steps': 1}), ({'table': {'0': 'a', '1': 'b', '3': 'c'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a', 'b'], 'final_degree': 2, 'cleared': [0, 1], 'occupied': [2, 3], 'capacity': 4, 'carry_steps': 2}), ({'table': {'0': 'a', '2': 'b', '3': 'c'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [0, 4], 'capacity': 5, 'carry_steps': 2}), ({'table': {'4': 'a'}, 'degree': 1, 'root': 'x'}, {'collisions': [], 'final_degree': 1, 'cleared': [], 'occupied': [1, 4], 'capacity': 5, 'carry_steps': 0}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 3, 'root': 'x'}, {'collisions': ['c'], 'final_degree': 4, 'cleared': [3], 'occupied': [1, 2, 4, 6], 'capacity': 7, 'carry_steps': 1})], [({'table': {}, 'degree': 0, 'root': 'x'}, {'collisions': [], 'final_degree': 0, 'cleared': [], 'occupied': [0], 'capacity': 1, 'carry_steps': 0}), ({'table': {'0': 'a'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a'], 'final_degree': 1, 'cleared': [0], 'occupied': [1], 'capacity': 2, 'carry_steps': 1}), ({'table': {'0': 'a', '1': 'b', '3': 'c'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a', 'b'], 'final_degree': 2, 'cleared': [0, 1], 'occupied': [2, 3], 'capacity': 4, 'carry_steps': 2}), ({'table': {'0': 'a', '2': 'b', '3': 'c'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [0, 4], 'capacity': 5, 'carry_steps': 2}), ({'table': {'4': 'a'}, 'degree': 1, 'root': 'x'}, {'collisions': [], 'final_degree': 1, 'cleared': [], 'occupied': [1, 4], 'capacity': 5, 'carry_steps': 0}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 4, 'root': 'x'}, {'collisions': [], 'final_degree': 4, 'cleared': [], 'occupied': [1, 2, 3, 4, 6], 'capacity': 7, 'carry_steps': 0})], [({'table': {}, 'degree': 0, 'root': 'x'}, {'collisions': [], 'final_degree': 0, 'cleared': [], 'occupied': [0], 'capacity': 1, 'carry_steps': 0}), ({'table': {'0': 'a'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a'], 'final_degree': 1, 'cleared': [0], 'occupied': [1], 'capacity': 2, 'carry_steps': 1}), ({'table': {'0': 'a', '1': 'b', '3': 'c'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a', 'b'], 'final_degree': 2, 'cleared': [0, 1], 'occupied': [2, 3], 'capacity': 4, 'carry_steps': 2}), ({'table': {'0': 'a', '2': 'b', '3': 'c'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [0, 4], 'capacity': 5, 'carry_steps': 2}), ({'table': {'4': 'a'}, 'degree': 1, 'root': 'x'}, {'collisions': [], 'final_degree': 1, 'cleared': [], 'occupied': [1, 4], 'capacity': 5, 'carry_steps': 0}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 5, 'root': 'x'}, {'collisions': [], 'final_degree': 5, 'cleared': [], 'occupied': [1, 2, 3, 5, 6], 'capacity': 7, 'carry_steps': 0})]][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":"e08ad9b31e5d212aa8c2b7d18b76aff981aef6b7b514f4548fca7ab126ca7291","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    table={int(k):v for k,v in d['table'].items()}; start=d['degree']; degree=start; collisions=[]\n    while degree in table:\n        collisions.append(table[degree]); degree+=1\n    out={k:v for k,v in table.items() if not start<=k<degree}; out[degree]=d['root']\n    return {'collisions': collisions,\n    'final_degree': start+len(table),\n    'cleared': list(range(start,degree)),\n    'occupied': sorted(out),\n    'capacity': max(out,default=-1)+1,\n    'carry_steps': len(collisions)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'table': {}, 'degree': 0, 'root': 'x'}, {'collisions': [], 'final_degree': 0, 'cleared': [], 'occupied': [0], 'capacity': 1, 'carry_steps': 0}), ({'table': {'0': 'a'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a'], 'final_degree': 1, 'cleared': [0], 'occupied': [1], 'capacity': 2, 'carry_steps': 1}), ({'table': {'0': 'a', '1': 'b', '3': 'c'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a', 'b'], 'final_degree': 2, 'cleared': [0, 1], 'occupied': [2, 3], 'capacity': 4, 'carry_steps': 2}), ({'table': {'0': 'a', '2': 'b', '3': 'c'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [0, 4], 'capacity': 5, 'carry_steps': 2}), ({'table': {'4': 'a'}, 'degree': 1, 'root': 'x'}, {'collisions': [], 'final_degree': 1, 'cleared': [], 'occupied': [1, 4], 'capacity': 5, 'carry_steps': 0}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3})], [({'table': {}, 'degree': 0, 'root': 'x'}, {'collisions': [], 'final_degree': 0, 'cleared': [], 'occupied': [0], 'capacity': 1, 'carry_steps': 0}), ({'table': {'0': 'a'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a'], 'final_degree': 1, 'cleared': [0], 'occupied': [1], 'capacity': 2, 'carry_steps': 1}), ({'table': {'0': 'a', '1': 'b', '3': 'c'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a', 'b'], 'final_degree': 2, 'cleared': [0, 1], 'occupied': [2, 3], 'capacity': 4, 'carry_steps': 2}), ({'table': {'0': 'a', '2': 'b', '3': 'c'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [0, 4], 'capacity': 5, 'carry_steps': 2}), ({'table': {'4': 'a'}, 'degree': 1, 'root': 'x'}, {'collisions': [], 'final_degree': 1, 'cleared': [], 'occupied': [1, 4], 'capacity': 5, 'carry_steps': 0}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [1, 4, 6], 'capacity': 7, 'carry_steps': 2})], [({'table': {}, 'degree': 0, 'root': 'x'}, {'collisions': [], 'final_degree': 0, 'cleared': [], 'occupied': [0], 'capacity': 1, 'carry_steps': 0}), ({'table': {'0': 'a'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a'], 'final_degree': 1, 'cleared': [0], 'occupied': [1], 'capacity': 2, 'carry_steps': 1}), ({'table': {'0': 'a', '1': 'b', '3': 'c'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a', 'b'], 'final_degree': 2, 'cleared': [0, 1], 'occupied': [2, 3], 'capacity': 4, 'carry_steps': 2}), ({'table': {'0': 'a', '2': 'b', '3': 'c'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [0, 4], 'capacity': 5, 'carry_steps': 2}), ({'table': {'4': 'a'}, 'degree': 1, 'root': 'x'}, {'collisions': [], 'final_degree': 1, 'cleared': [], 'occupied': [1, 4], 'capacity': 5, 'carry_steps': 0}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 3, 'root': 'x'}, {'collisions': ['c'], 'final_degree': 4, 'cleared': [3], 'occupied': [1, 2, 4, 6], 'capacity': 7, 'carry_steps': 1})], [({'table': {}, 'degree': 0, 'root': 'x'}, {'collisions': [], 'final_degree': 0, 'cleared': [], 'occupied': [0], 'capacity': 1, 'carry_steps': 0}), ({'table': {'0': 'a'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a'], 'final_degree': 1, 'cleared': [0], 'occupied': [1], 'capacity': 2, 'carry_steps': 1}), ({'table': {'0': 'a', '1': 'b', '3': 'c'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a', 'b'], 'final_degree': 2, 'cleared': [0, 1], 'occupied': [2, 3], 'capacity': 4, 'carry_steps': 2}), ({'table': {'0': 'a', '2': 'b', '3': 'c'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [0, 4], 'capacity': 5, 'carry_steps': 2}), ({'table': {'4': 'a'}, 'degree': 1, 'root': 'x'}, {'collisions': [], 'final_degree': 1, 'cleared': [], 'occupied': [1, 4], 'capacity': 5, 'carry_steps': 0}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 4, 'root': 'x'}, {'collisions': [], 'final_degree': 4, 'cleared': [], 'occupied': [1, 2, 3, 4, 6], 'capacity': 7, 'carry_steps': 0})], [({'table': {}, 'degree': 0, 'root': 'x'}, {'collisions': [], 'final_degree': 0, 'cleared': [], 'occupied': [0], 'capacity': 1, 'carry_steps': 0}), ({'table': {'0': 'a'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a'], 'final_degree': 1, 'cleared': [0], 'occupied': [1], 'capacity': 2, 'carry_steps': 1}), ({'table': {'0': 'a', '1': 'b', '3': 'c'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a', 'b'], 'final_degree': 2, 'cleared': [0, 1], 'occupied': [2, 3], 'capacity': 4, 'carry_steps': 2}), ({'table': {'0': 'a', '2': 'b', '3': 'c'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [0, 4], 'capacity': 5, 'carry_steps': 2}), ({'table': {'4': 'a'}, 'degree': 1, 'root': 'x'}, {'collisions': [], 'final_degree': 1, 'cleared': [], 'occupied': [1, 4], 'capacity': 5, 'carry_steps': 0}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 5, 'root': 'x'}, {'collisions': [], 'final_degree': 5, 'cleared': [], 'occupied': [1, 2, 3, 5, 6], 'capacity': 7, 'carry_steps': 0})]][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":"6db4689d06a437fdd7c0d94776240fc67dff8397903fbc9194c264f649bfbde9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    table={int(k):v for k,v in d['table'].items()}; start=d['degree']; degree=start; collisions=[]\n    while degree in table:\n        collisions.append(table[degree]); degree+=1\n    out={k:v for k,v in table.items() if not start<=k<degree}; out[degree]=d['root']\n    return {'collisions': collisions,\n    'final_degree': degree,\n    'cleared': list(range(start,degree)),\n    'occupied': sorted(out),\n    'capacity': max(out,default=-1)+1,\n    'carry_steps': len(collisions)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'table': {}, 'degree': 0, 'root': 'x'}, {'collisions': [], 'final_degree': 0, 'cleared': [], 'occupied': [0], 'capacity': 1, 'carry_steps': 0}), ({'table': {'0': 'a'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a'], 'final_degree': 1, 'cleared': [0], 'occupied': [1], 'capacity': 2, 'carry_steps': 1}), ({'table': {'0': 'a', '1': 'b', '3': 'c'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a', 'b'], 'final_degree': 2, 'cleared': [0, 1], 'occupied': [2, 3], 'capacity': 4, 'carry_steps': 2}), ({'table': {'0': 'a', '2': 'b', '3': 'c'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [0, 4], 'capacity': 5, 'carry_steps': 2}), ({'table': {'4': 'a'}, 'degree': 1, 'root': 'x'}, {'collisions': [], 'final_degree': 1, 'cleared': [], 'occupied': [1, 4], 'capacity': 5, 'carry_steps': 0}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3})], [({'table': {}, 'degree': 0, 'root': 'x'}, {'collisions': [], 'final_degree': 0, 'cleared': [], 'occupied': [0], 'capacity': 1, 'carry_steps': 0}), ({'table': {'0': 'a'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a'], 'final_degree': 1, 'cleared': [0], 'occupied': [1], 'capacity': 2, 'carry_steps': 1}), ({'table': {'0': 'a', '1': 'b', '3': 'c'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a', 'b'], 'final_degree': 2, 'cleared': [0, 1], 'occupied': [2, 3], 'capacity': 4, 'carry_steps': 2}), ({'table': {'0': 'a', '2': 'b', '3': 'c'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [0, 4], 'capacity': 5, 'carry_steps': 2}), ({'table': {'4': 'a'}, 'degree': 1, 'root': 'x'}, {'collisions': [], 'final_degree': 1, 'cleared': [], 'occupied': [1, 4], 'capacity': 5, 'carry_steps': 0}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [1, 4, 6], 'capacity': 7, 'carry_steps': 2})], [({'table': {}, 'degree': 0, 'root': 'x'}, {'collisions': [], 'final_degree': 0, 'cleared': [], 'occupied': [0], 'capacity': 1, 'carry_steps': 0}), ({'table': {'0': 'a'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a'], 'final_degree': 1, 'cleared': [0], 'occupied': [1], 'capacity': 2, 'carry_steps': 1}), ({'table': {'0': 'a', '1': 'b', '3': 'c'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a', 'b'], 'final_degree': 2, 'cleared': [0, 1], 'occupied': [2, 3], 'capacity': 4, 'carry_steps': 2}), ({'table': {'0': 'a', '2': 'b', '3': 'c'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [0, 4], 'capacity': 5, 'carry_steps': 2}), ({'table': {'4': 'a'}, 'degree': 1, 'root': 'x'}, {'collisions': [], 'final_degree': 1, 'cleared': [], 'occupied': [1, 4], 'capacity': 5, 'carry_steps': 0}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 3, 'root': 'x'}, {'collisions': ['c'], 'final_degree': 4, 'cleared': [3], 'occupied': [1, 2, 4, 6], 'capacity': 7, 'carry_steps': 1})], [({'table': {}, 'degree': 0, 'root': 'x'}, {'collisions': [], 'final_degree': 0, 'cleared': [], 'occupied': [0], 'capacity': 1, 'carry_steps': 0}), ({'table': {'0': 'a'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a'], 'final_degree': 1, 'cleared': [0], 'occupied': [1], 'capacity': 2, 'carry_steps': 1}), ({'table': {'0': 'a', '1': 'b', '3': 'c'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a', 'b'], 'final_degree': 2, 'cleared': [0, 1], 'occupied': [2, 3], 'capacity': 4, 'carry_steps': 2}), ({'table': {'0': 'a', '2': 'b', '3': 'c'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [0, 4], 'capacity': 5, 'carry_steps': 2}), ({'table': {'4': 'a'}, 'degree': 1, 'root': 'x'}, {'collisions': [], 'final_degree': 1, 'cleared': [], 'occupied': [1, 4], 'capacity': 5, 'carry_steps': 0}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 4, 'root': 'x'}, {'collisions': [], 'final_degree': 4, 'cleared': [], 'occupied': [1, 2, 3, 4, 6], 'capacity': 7, 'carry_steps': 0})], [({'table': {}, 'degree': 0, 'root': 'x'}, {'collisions': [], 'final_degree': 0, 'cleared': [], 'occupied': [0], 'capacity': 1, 'carry_steps': 0}), ({'table': {'0': 'a'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a'], 'final_degree': 1, 'cleared': [0], 'occupied': [1], 'capacity': 2, 'carry_steps': 1}), ({'table': {'0': 'a', '1': 'b', '3': 'c'}, 'degree': 0, 'root': 'x'}, {'collisions': ['a', 'b'], 'final_degree': 2, 'cleared': [0, 1], 'occupied': [2, 3], 'capacity': 4, 'carry_steps': 2}), ({'table': {'0': 'a', '2': 'b', '3': 'c'}, 'degree': 2, 'root': 'x'}, {'collisions': ['b', 'c'], 'final_degree': 4, 'cleared': [2, 3], 'occupied': [0, 4], 'capacity': 5, 'carry_steps': 2}), ({'table': {'4': 'a'}, 'degree': 1, 'root': 'x'}, {'collisions': [], 'final_degree': 1, 'cleared': [], 'occupied': [1, 4], 'capacity': 5, 'carry_steps': 0}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 1, 'root': 'x'}, {'collisions': ['a', 'b', 'c'], 'final_degree': 4, 'cleared': [1, 2, 3], 'occupied': [4, 6], 'capacity': 7, 'carry_steps': 3}), ({'table': {'1': 'a', '2': 'b', '3': 'c', '6': 'd'}, 'degree': 5, 'root': 'x'}, {'collisions': [], 'final_degree': 5, 'cleared': [], 'occupied': [1, 2, 3, 5, 6], 'capacity': 7, 'carry_steps': 0})]][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-fibonacci-degree-table-final_degree","generated_at":"2026-09-29T14:43:33.491223+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 final degree using degree under the stated bounded certificate contract.","root_cause":"Fibonacci consolidation increases degree once per actual collision.","sha256":"d3f31f6ff82ac918c09c62da86f4cf9b9abf3fd3422fb7556bc5302ab7ec40d7","title":"Fibonacci consolidation increases degree once per actual collision · 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":41.311,"exit_code":1,"observations":[{"actual":{"capacity":1,"carry_steps":0,"cleared":[],"collisions":[],"final_degree":0,"occupied":[0]},"check":"regression certificate 1","expected":{"capacity":1,"carry_steps":0,"cleared":[],"collisions":[],"final_degree":0,"occupied":[0]},"passed":true},{"actual":{"capacity":2,"carry_steps":1,"cleared":[0],"collisions":["a"],"final_degree":0,"occupied":[1]},"check":"regression certificate 2","expected":{"capacity":2,"carry_steps":1,"cleared":[0],"collisions":["a"],"final_degree":1,"occupied":[1]},"passed":false},{"actual":{"capacity":4,"carry_steps":2,"cleared":[0,1],"collisions":["a","b"],"final_degree":0,"occupied":[2,3]},"check":"regression certificate 3","expected":{"capacity":4,"carry_steps":2,"cleared":[0,1],"collisions":["a","b"],"final_degree":2,"occupied":[2,3]},"passed":false},{"actual":{"capacity":5,"carry_steps":2,"cleared":[2,3],"collisions":["b","c"],"final_degree":2,"occupied":[0,4]},"check":"regression certificate 4","expected":{"capacity":5,"carry_steps":2,"cleared":[2,3],"collisions":["b","c"],"final_degree":4,"occupied":[0,4]},"passed":false},{"actual":{"capacity":5,"carry_steps":0,"cleared":[],"collisions":[],"final_degree":1,"occupied":[1,4]},"check":"regression certificate 5","expected":{"capacity":5,"carry_steps":0,"cleared":[],"collisions":[],"final_degree":1,"occupied":[1,4]},"passed":true},{"actual":{"capacity":7,"carry_steps":3,"cleared":[1,2,3],"collisions":["a","b","c"],"final_degree":1,"occupied":[4,6]},"check":"regression certificate 6","expected":{"capacity":7,"carry_steps":3,"cleared":[1,2,3],"collisions":["a","b","c"],"final_degree":4,"occupied":[4,6]},"passed":false},{"actual":{"capacity":7,"carry_steps":3,"cleared":[1,2,3],"collisions":["a","b","c"],"final_degree":1,"occupied":[4,6]},"check":"variant-dependent certificate","expected":{"capacity":7,"carry_steps":3,"cleared":[1,2,3],"collisions":["a","b","c"],"final_degree":4,"occupied":[4,6]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"collisions\": [], \"final_degree\": 0, \"cleared\": [], \"occupied\": [0], \"capacity\": 1, \"carry_steps\": 0}, \"expected\": {\"collisions\": [], \"final_degree\": 0, \"cleared\": [], \"occupied\": [0], \"capacity\": 1, \"carry_steps\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"collisions\": [\"a\"], \"final_degree\": 0, \"cleared\": [0], \"occupied\": [1], \"capacity\": 2, \"carry_steps\": 1}, \"expected\": {\"collisions\": [\"a\"], \"final_degree\": 1, \"cleared\": [0], \"occupied\": [1], \"capacity\": 2, \"carry_steps\": 1}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"collisions\": [\"a\", \"b\"], \"final_degree\": 0, \"cleared\": [0, 1], \"occupied\": [2, 3], \"capacity\": 4, \"carry_steps\": 2}, \"expected\": {\"collisions\": [\"a\", \"b\"], \"final_degree\": 2, \"cleared\": [0, 1], \"occupied\": [2, 3], \"capacity\": 4, \"carry_steps\": 2}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"collisions\": [\"b\", \"c\"], \"final_degree\": 2, \"cleared\": [2, 3], \"occupied\": [0, 4], \"capacity\": 5, \"carry_steps\": 2}, \"expected\": {\"collisions\": [\"b\", \"c\"], \"final_degree\": 4, \"cleared\": [2, 3], \"occupied\": [0, 4], \"capacity\": 5, \"carry_steps\": 2}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"collisions\": [], \"final_degree\": 1, \"cleared\": [], \"occupied\": [1, 4], \"capacity\": 5, \"carry_steps\": 0}, \"expected\": {\"collisions\": [], \"final_degree\": 1, \"cleared\": [], \"occupied\": [1, 4], \"capacity\": 5, \"carry_steps\": 0}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"collisions\": [\"a\", \"b\", \"c\"], \"final_degree\": 1, \"cleared\": [1, 2, 3], \"occupied\": [4, 6], \"capacity\": 7, \"carry_steps\": 3}, \"expected\": {\"collisions\": [\"a\", \"b\", \"c\"], \"final_degree\": 4, \"cleared\": [1, 2, 3], \"occupied\": [4, 6], \"capacity\": 7, \"carry_steps\": 3}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"collisions\": [\"a\", \"b\", \"c\"], \"final_degree\": 1, \"cleared\": [1, 2, 3], \"occupied\": [4, 6], \"capacity\": 7, \"carry_steps\": 3}, \"expected\": {\"collisions\": [\"a\", \"b\", \"c\"], \"final_degree\": 4, \"cleared\": [1, 2, 3], \"occupied\": [4, 6], \"capacity\": 7, \"carry_steps\": 3}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.626,"exit_code":1,"observations":[{"actual":{"capacity":1,"carry_steps":0,"cleared":[],"collisions":[],"final_degree":0,"occupied":[0]},"check":"regression certificate 1","expected":{"capacity":1,"carry_steps":0,"cleared":[],"collisions":[],"final_degree":0,"occupied":[0]},"passed":true},{"actual":{"capacity":2,"carry_steps":1,"cleared":[0],"collisions":["a"],"final_degree":1,"occupied":[1]},"check":"regression certificate 2","expected":{"capacity":2,"carry_steps":1,"cleared":[0],"collisions":["a"],"final_degree":1,"occupied":[1]},"passed":true},{"actual":{"capacity":4,"carry_steps":2,"cleared":[0,1],"collisions":["a","b"],"final_degree":3,"occupied":[2,3]},"check":"regression certificate 3","expected":{"capacity":4,"carry_steps":2,"cleared":[0,1],"collisions":["a","b"],"final_degree":2,"occupied":[2,3]},"passed":false},{"actual":{"capacity":5,"carry_steps":2,"cleared":[2,3],"collisions":["b","c"],"final_degree":5,"occupied":[0,4]},"check":"regression certificate 4","expected":{"capacity":5,"carry_steps":2,"cleared":[2,3],"collisions":["b","c"],"final_degree":4,"occupied":[0,4]},"passed":false},{"actual":{"capacity":5,"carry_steps":0,"cleared":[],"collisions":[],"final_degree":2,"occupied":[1,4]},"check":"regression certificate 5","expected":{"capacity":5,"carry_steps":0,"cleared":[],"collisions":[],"final_degree":1,"occupied":[1,4]},"passed":false},{"actual":{"capacity":7,"carry_steps":3,"cleared":[1,2,3],"collisions":["a","b","c"],"final_degree":5,"occupied":[4,6]},"check":"regression certificate 6","expected":{"capacity":7,"carry_steps":3,"cleared":[1,2,3],"collisions":["a","b","c"],"final_degree":4,"occupied":[4,6]},"passed":false},{"actual":{"capacity":7,"carry_steps":3,"cleared":[1,2,3],"collisions":["a","b","c"],"final_degree":5,"occupied":[4,6]},"check":"variant-dependent certificate","expected":{"capacity":7,"carry_steps":3,"cleared":[1,2,3],"collisions":["a","b","c"],"final_degree":4,"occupied":[4,6]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"collisions\": [], \"final_degree\": 0, \"cleared\": [], \"occupied\": [0], \"capacity\": 1, \"carry_steps\": 0}, \"expected\": {\"collisions\": [], \"final_degree\": 0, \"cleared\": [], \"occupied\": [0], \"capacity\": 1, \"carry_steps\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"collisions\": [\"a\"], \"final_degree\": 1, \"cleared\": [0], \"occupied\": [1], \"capacity\": 2, \"carry_steps\": 1}, \"expected\": {\"collisions\": [\"a\"], \"final_degree\": 1, \"cleared\": [0], \"occupied\": [1], \"capacity\": 2, \"carry_steps\": 1}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"collisions\": [\"a\", \"b\"], \"final_degree\": 3, \"cleared\": [0, 1], \"occupied\": [2, 3], \"capacity\": 4, \"carry_steps\": 2}, \"expected\": {\"collisions\": [\"a\", \"b\"], \"final_degree\": 2, \"cleared\": [0, 1], \"occupied\": [2, 3], \"capacity\": 4, \"carry_steps\": 2}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"collisions\": [\"b\", \"c\"], \"final_degree\": 5, \"cleared\": [2, 3], \"occupied\": [0, 4], \"capacity\": 5, \"carry_steps\": 2}, \"expected\": {\"collisions\": [\"b\", \"c\"], \"final_degree\": 4, \"cleared\": [2, 3], \"occupied\": [0, 4], \"capacity\": 5, \"carry_steps\": 2}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"collisions\": [], \"final_degree\": 2, \"cleared\": [], \"occupied\": [1, 4], \"capacity\": 5, \"carry_steps\": 0}, \"expected\": {\"collisions\": [], \"final_degree\": 1, \"cleared\": [], \"occupied\": [1, 4], \"capacity\": 5, \"carry_steps\": 0}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"collisions\": [\"a\", \"b\", \"c\"], \"final_degree\": 5, \"cleared\": [1, 2, 3], \"occupied\": [4, 6], \"capacity\": 7, \"carry_steps\": 3}, \"expected\": {\"collisions\": [\"a\", \"b\", \"c\"], \"final_degree\": 4, \"cleared\": [1, 2, 3], \"occupied\": [4, 6], \"capacity\": 7, \"carry_steps\": 3}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"collisions\": [\"a\", \"b\", \"c\"], \"final_degree\": 5, \"cleared\": [1, 2, 3], \"occupied\": [4, 6], \"capacity\": 7, \"carry_steps\": 3}, \"expected\": {\"collisions\": [\"a\", \"b\", \"c\"], \"final_degree\": 4, \"cleared\": [1, 2, 3], \"occupied\": [4, 6], \"capacity\": 7, \"carry_steps\": 3}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.076,"exit_code":0,"observations":[{"actual":{"capacity":1,"carry_steps":0,"cleared":[],"collisions":[],"final_degree":0,"occupied":[0]},"check":"regression certificate 1","expected":{"capacity":1,"carry_steps":0,"cleared":[],"collisions":[],"final_degree":0,"occupied":[0]},"passed":true},{"actual":{"capacity":2,"carry_steps":1,"cleared":[0],"collisions":["a"],"final_degree":1,"occupied":[1]},"check":"regression certificate 2","expected":{"capacity":2,"carry_steps":1,"cleared":[0],"collisions":["a"],"final_degree":1,"occupied":[1]},"passed":true},{"actual":{"capacity":4,"carry_steps":2,"cleared":[0,1],"collisions":["a","b"],"final_degree":2,"occupied":[2,3]},"check":"regression certificate 3","expected":{"capacity":4,"carry_steps":2,"cleared":[0,1],"collisions":["a","b"],"final_degree":2,"occupied":[2,3]},"passed":true},{"actual":{"capacity":5,"carry_steps":2,"cleared":[2,3],"collisions":["b","c"],"final_degree":4,"occupied":[0,4]},"check":"regression certificate 4","expected":{"capacity":5,"carry_steps":2,"cleared":[2,3],"collisions":["b","c"],"final_degree":4,"occupied":[0,4]},"passed":true},{"actual":{"capacity":5,"carry_steps":0,"cleared":[],"collisions":[],"final_degree":1,"occupied":[1,4]},"check":"regression certificate 5","expected":{"capacity":5,"carry_steps":0,"cleared":[],"collisions":[],"final_degree":1,"occupied":[1,4]},"passed":true},{"actual":{"capacity":7,"carry_steps":3,"cleared":[1,2,3],"collisions":["a","b","c"],"final_degree":4,"occupied":[4,6]},"check":"regression certificate 6","expected":{"capacity":7,"carry_steps":3,"cleared":[1,2,3],"collisions":["a","b","c"],"final_degree":4,"occupied":[4,6]},"passed":true},{"actual":{"capacity":7,"carry_steps":3,"cleared":[1,2,3],"collisions":["a","b","c"],"final_degree":4,"occupied":[4,6]},"check":"variant-dependent certificate","expected":{"capacity":7,"carry_steps":3,"cleared":[1,2,3],"collisions":["a","b","c"],"final_degree":4,"occupied":[4,6]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"collisions\": [], \"final_degree\": 0, \"cleared\": [], \"occupied\": [0], \"capacity\": 1, \"carry_steps\": 0}, \"expected\": {\"collisions\": [], \"final_degree\": 0, \"cleared\": [], \"occupied\": [0], \"capacity\": 1, \"carry_steps\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"collisions\": [\"a\"], \"final_degree\": 1, \"cleared\": [0], \"occupied\": [1], \"capacity\": 2, \"carry_steps\": 1}, \"expected\": {\"collisions\": [\"a\"], \"final_degree\": 1, \"cleared\": [0], \"occupied\": [1], \"capacity\": 2, \"carry_steps\": 1}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"collisions\": [\"a\", \"b\"], \"final_degree\": 2, \"cleared\": [0, 1], \"occupied\": [2, 3], \"capacity\": 4, \"carry_steps\": 2}, \"expected\": {\"collisions\": [\"a\", \"b\"], \"final_degree\": 2, \"cleared\": [0, 1], \"occupied\": [2, 3], \"capacity\": 4, \"carry_steps\": 2}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"collisions\": [\"b\", \"c\"], \"final_degree\": 4, \"cleared\": [2, 3], \"occupied\": [0, 4], \"capacity\": 5, \"carry_steps\": 2}, \"expected\": {\"collisions\": [\"b\", \"c\"], \"final_degree\": 4, \"cleared\": [2, 3], \"occupied\": [0, 4], \"capacity\": 5, \"carry_steps\": 2}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"collisions\": [], \"final_degree\": 1, \"cleared\": [], \"occupied\": [1, 4], \"capacity\": 5, \"carry_steps\": 0}, \"expected\": {\"collisions\": [], \"final_degree\": 1, \"cleared\": [], \"occupied\": [1, 4], \"capacity\": 5, \"carry_steps\": 0}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"collisions\": [\"a\", \"b\", \"c\"], \"final_degree\": 4, \"cleared\": [1, 2, 3], \"occupied\": [4, 6], \"capacity\": 7, \"carry_steps\": 3}, \"expected\": {\"collisions\": [\"a\", \"b\", \"c\"], \"final_degree\": 4, \"cleared\": [1, 2, 3], \"occupied\": [4, 6], \"capacity\": 7, \"carry_steps\": 3}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"collisions\": [\"a\", \"b\", \"c\"], \"final_degree\": 4, \"cleared\": [1, 2, 3], \"occupied\": [4, 6], \"capacity\": 7, \"carry_steps\": 3}, \"expected\": {\"collisions\": [\"a\", \"b\", \"c\"], \"final_degree\": 4, \"cleared\": [1, 2, 3], \"occupied\": [4, 6], \"capacity\": 7, \"carry_steps\": 3}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}