{"abstract":"The bounded fibonacci degree table certificate reports an incorrect capacity.","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 max(out,default=0) and still violates the stated relation.","family":"s3-heap-fibonacci-degree-table-capacity","id":"FA-40701","implementations":{"attempt":{"sha256":"f67f766c4fd5736aafb8f1c08587c339008de8eb53b19dcc6e157251ef89302f","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=0),\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":"75549d4f27b7ee08e2305b6cd9aac290962ca575b7e6ce7af9a27244f038c262","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': len(out),\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-capacity","generated_at":"2026-09-29T14:43:33.604167+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 capacity using max(out,default=-1)+1 under the stated bounded certificate contract.","root_cause":"Fibonacci degree table capacity covers the largest degree index rather than occupied count.","sha256":"398bc9a5ef2dab1191532cf9d67b7219a949707d632d3d415d7c10c92aee8ea0","title":"Fibonacci degree table capacity covers the largest degree index rather than occupied count · 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":43.632,"exit_code":1,"observations":[{"actual":{"capacity":0,"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":false},{"actual":{"capacity":1,"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":false},{"actual":{"capacity":3,"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":false},{"actual":{"capacity":4,"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":false},{"actual":{"capacity":4,"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":false},{"actual":{"capacity":6,"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":false},{"actual":{"capacity":6,"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":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"collisions\": [], \"final_degree\": 0, \"cleared\": [], \"occupied\": [0], \"capacity\": 0, \"carry_steps\": 0}, \"expected\": {\"collisions\": [], \"final_degree\": 0, \"cleared\": [], \"occupied\": [0], \"capacity\": 1, \"carry_steps\": 0}, \"passed\": false}, {\"check\": \"regression certificate 2\", \"actual\": {\"collisions\": [\"a\"], \"final_degree\": 1, \"cleared\": [0], \"occupied\": [1], \"capacity\": 1, \"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\": 2, \"cleared\": [0, 1], \"occupied\": [2, 3], \"capacity\": 3, \"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\": 4, \"cleared\": [2, 3], \"occupied\": [0, 4], \"capacity\": 4, \"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\": 4, \"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\": 4, \"cleared\": [1, 2, 3], \"occupied\": [4, 6], \"capacity\": 6, \"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\": 4, \"cleared\": [1, 2, 3], \"occupied\": [4, 6], \"capacity\": 6, \"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":40.657,"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":1,"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":false},{"actual":{"capacity":2,"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":false},{"actual":{"capacity":2,"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":false},{"actual":{"capacity":2,"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":false},{"actual":{"capacity":2,"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":false},{"actual":{"capacity":2,"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":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\": 1, \"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\": 2, \"cleared\": [0, 1], \"occupied\": [2, 3], \"capacity\": 2, \"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\": 4, \"cleared\": [2, 3], \"occupied\": [0, 4], \"capacity\": 2, \"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\": 2, \"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\": 4, \"cleared\": [1, 2, 3], \"occupied\": [4, 6], \"capacity\": 2, \"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\": 4, \"cleared\": [1, 2, 3], \"occupied\": [4, 6], \"capacity\": 2, \"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":42.54,"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"}