{"abstract":"The bounded hole descent certificate reports an incorrect comparisons.","category":"Heap invariants","checks":7,"contract":"A binary heap hole descent receives array keys and starting internal or leaf index. Repeatedly choose smaller existing child (left on ties), move that child into the hole, and stop at a leaf; the displaced root value is returned separately for later upward placement. Return path, moved keys, leaf slot, displaced value, remaining untouched slots, and comparison count between sibling pairs.","evaluation_group":"s3-heap-model-hole-descent","failed_approach":"The local patch uses max(0,len(path)-2) and still violates the stated relation.","family":"s3-heap-hole-descent-comparisons","id":"FA-40646","implementations":{"attempt":{"sha256":"53bcbe2167ef16fcc1df0ee65fc6e6752403d6f49901adc49696b023185ff8d3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['keys']; start=d['start']; path=[start]; moved=[]; compares=0; i=start\n    while 2*i+1<len(a):\n        l=2*i+1; r=l+1; j=l\n        if r<len(a):\n            compares+=1\n            if a[r]<a[l]: j=r\n        moved.append(a[j]); path.append(j); i=j\n    return {'path': path,\n    'moved_keys': moved,\n    'leaf_slot': i,\n    'displaced': a[start],\n    'untouched': [j for j in range(len(a)) if j not in path],\n    'comparisons': max(0,len(path)-2)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'keys': [5], 'start': 0}, {'path': [0], 'moved_keys': [], 'leaf_slot': 0, 'displaced': 5, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 2], 'start': 0}, {'path': [0, 1], 'moved_keys': [2], 'leaf_slot': 1, 'displaced': 9, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 5, 8, 2, 7, 6, 4], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [5, 2], 'leaf_slot': 3, 'displaced': 9, 'untouched': [2, 4, 5, 6], 'comparisons': 2}), ({'keys': [8, 2, 2, 5, 6, 7], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [2, 5], 'leaf_slot': 3, 'displaced': 8, 'untouched': [2, 4, 5], 'comparisons': 2}), ({'keys': [0, 9, 3, 4, 2, 8, 6, 7, 8, 5], 'start': 1}, {'path': [1, 4, 9], 'moved_keys': [2, 5], 'leaf_slot': 9, 'displaced': 9, 'untouched': [0, 2, 3, 5, 6, 7, 8], 'comparisons': 1}), ({'keys': [1, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1}), ({'keys': [2, 4, 2, 5, 6, 7, 8], 'start': 1}, {'path': [1, 3], 'moved_keys': [5], 'leaf_slot': 3, 'displaced': 4, 'untouched': [0, 2, 4, 5, 6], 'comparisons': 1})], [({'keys': [5], 'start': 0}, {'path': [0], 'moved_keys': [], 'leaf_slot': 0, 'displaced': 5, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 2], 'start': 0}, {'path': [0, 1], 'moved_keys': [2], 'leaf_slot': 1, 'displaced': 9, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 5, 8, 2, 7, 6, 4], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [5, 2], 'leaf_slot': 3, 'displaced': 9, 'untouched': [2, 4, 5, 6], 'comparisons': 2}), ({'keys': [8, 2, 2, 5, 6, 7], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [2, 5], 'leaf_slot': 3, 'displaced': 8, 'untouched': [2, 4, 5], 'comparisons': 2}), ({'keys': [0, 9, 3, 4, 2, 8, 6, 7, 8, 5], 'start': 1}, {'path': [1, 4, 9], 'moved_keys': [2, 5], 'leaf_slot': 9, 'displaced': 9, 'untouched': [0, 2, 3, 5, 6, 7, 8], 'comparisons': 1}), ({'keys': [1, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1}), ({'keys': [3, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1})], [({'keys': [5], 'start': 0}, {'path': [0], 'moved_keys': [], 'leaf_slot': 0, 'displaced': 5, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 2], 'start': 0}, {'path': [0, 1], 'moved_keys': [2], 'leaf_slot': 1, 'displaced': 9, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 5, 8, 2, 7, 6, 4], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [5, 2], 'leaf_slot': 3, 'displaced': 9, 'untouched': [2, 4, 5, 6], 'comparisons': 2}), ({'keys': [8, 2, 2, 5, 6, 7], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [2, 5], 'leaf_slot': 3, 'displaced': 8, 'untouched': [2, 4, 5], 'comparisons': 2}), ({'keys': [0, 9, 3, 4, 2, 8, 6, 7, 8, 5], 'start': 1}, {'path': [1, 4, 9], 'moved_keys': [2, 5], 'leaf_slot': 9, 'displaced': 9, 'untouched': [0, 2, 3, 5, 6, 7, 8], 'comparisons': 1}), ({'keys': [1, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1}), ({'keys': [4, 4, 2, 5, 6, 7, 8], 'start': 3}, {'path': [3], 'moved_keys': [], 'leaf_slot': 3, 'displaced': 5, 'untouched': [0, 1, 2, 4, 5, 6], 'comparisons': 0})], [({'keys': [5], 'start': 0}, {'path': [0], 'moved_keys': [], 'leaf_slot': 0, 'displaced': 5, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 2], 'start': 0}, {'path': [0, 1], 'moved_keys': [2], 'leaf_slot': 1, 'displaced': 9, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 5, 8, 2, 7, 6, 4], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [5, 2], 'leaf_slot': 3, 'displaced': 9, 'untouched': [2, 4, 5, 6], 'comparisons': 2}), ({'keys': [8, 2, 2, 5, 6, 7], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [2, 5], 'leaf_slot': 3, 'displaced': 8, 'untouched': [2, 4, 5], 'comparisons': 2}), ({'keys': [0, 9, 3, 4, 2, 8, 6, 7, 8, 5], 'start': 1}, {'path': [1, 4, 9], 'moved_keys': [2, 5], 'leaf_slot': 9, 'displaced': 9, 'untouched': [0, 2, 3, 5, 6, 7, 8], 'comparisons': 1}), ({'keys': [1, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1}), ({'keys': [5, 4, 2, 5, 6, 7, 8], 'start': 4}, {'path': [4], 'moved_keys': [], 'leaf_slot': 4, 'displaced': 6, 'untouched': [0, 1, 2, 3, 5, 6], 'comparisons': 0})], [({'keys': [5], 'start': 0}, {'path': [0], 'moved_keys': [], 'leaf_slot': 0, 'displaced': 5, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 2], 'start': 0}, {'path': [0, 1], 'moved_keys': [2], 'leaf_slot': 1, 'displaced': 9, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 5, 8, 2, 7, 6, 4], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [5, 2], 'leaf_slot': 3, 'displaced': 9, 'untouched': [2, 4, 5, 6], 'comparisons': 2}), ({'keys': [8, 2, 2, 5, 6, 7], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [2, 5], 'leaf_slot': 3, 'displaced': 8, 'untouched': [2, 4, 5], 'comparisons': 2}), ({'keys': [0, 9, 3, 4, 2, 8, 6, 7, 8, 5], 'start': 1}, {'path': [1, 4, 9], 'moved_keys': [2, 5], 'leaf_slot': 9, 'displaced': 9, 'untouched': [0, 2, 3, 5, 6, 7, 8], 'comparisons': 1}), ({'keys': [1, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1}), ({'keys': [6, 4, 2, 5, 6, 7, 8], 'start': 5}, {'path': [5], 'moved_keys': [], 'leaf_slot': 5, 'displaced': 7, 'untouched': [0, 1, 2, 3, 4, 6], 'comparisons': 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":"99dfac52c1e6a0e864908268b92c8b66c86f60a696fa9349a503e5a4469d3710","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['keys']; start=d['start']; path=[start]; moved=[]; compares=0; i=start\n    while 2*i+1<len(a):\n        l=2*i+1; r=l+1; j=l\n        if r<len(a):\n            compares+=1\n            if a[r]<a[l]: j=r\n        moved.append(a[j]); path.append(j); i=j\n    return {'path': path,\n    'moved_keys': moved,\n    'leaf_slot': i,\n    'displaced': a[start],\n    'untouched': [j for j in range(len(a)) if j not in path],\n    'comparisons': len(path)-1}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'keys': [5], 'start': 0}, {'path': [0], 'moved_keys': [], 'leaf_slot': 0, 'displaced': 5, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 2], 'start': 0}, {'path': [0, 1], 'moved_keys': [2], 'leaf_slot': 1, 'displaced': 9, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 5, 8, 2, 7, 6, 4], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [5, 2], 'leaf_slot': 3, 'displaced': 9, 'untouched': [2, 4, 5, 6], 'comparisons': 2}), ({'keys': [8, 2, 2, 5, 6, 7], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [2, 5], 'leaf_slot': 3, 'displaced': 8, 'untouched': [2, 4, 5], 'comparisons': 2}), ({'keys': [0, 9, 3, 4, 2, 8, 6, 7, 8, 5], 'start': 1}, {'path': [1, 4, 9], 'moved_keys': [2, 5], 'leaf_slot': 9, 'displaced': 9, 'untouched': [0, 2, 3, 5, 6, 7, 8], 'comparisons': 1}), ({'keys': [1, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1}), ({'keys': [2, 4, 2, 5, 6, 7, 8], 'start': 1}, {'path': [1, 3], 'moved_keys': [5], 'leaf_slot': 3, 'displaced': 4, 'untouched': [0, 2, 4, 5, 6], 'comparisons': 1})], [({'keys': [5], 'start': 0}, {'path': [0], 'moved_keys': [], 'leaf_slot': 0, 'displaced': 5, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 2], 'start': 0}, {'path': [0, 1], 'moved_keys': [2], 'leaf_slot': 1, 'displaced': 9, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 5, 8, 2, 7, 6, 4], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [5, 2], 'leaf_slot': 3, 'displaced': 9, 'untouched': [2, 4, 5, 6], 'comparisons': 2}), ({'keys': [8, 2, 2, 5, 6, 7], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [2, 5], 'leaf_slot': 3, 'displaced': 8, 'untouched': [2, 4, 5], 'comparisons': 2}), ({'keys': [0, 9, 3, 4, 2, 8, 6, 7, 8, 5], 'start': 1}, {'path': [1, 4, 9], 'moved_keys': [2, 5], 'leaf_slot': 9, 'displaced': 9, 'untouched': [0, 2, 3, 5, 6, 7, 8], 'comparisons': 1}), ({'keys': [1, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1}), ({'keys': [3, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1})], [({'keys': [5], 'start': 0}, {'path': [0], 'moved_keys': [], 'leaf_slot': 0, 'displaced': 5, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 2], 'start': 0}, {'path': [0, 1], 'moved_keys': [2], 'leaf_slot': 1, 'displaced': 9, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 5, 8, 2, 7, 6, 4], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [5, 2], 'leaf_slot': 3, 'displaced': 9, 'untouched': [2, 4, 5, 6], 'comparisons': 2}), ({'keys': [8, 2, 2, 5, 6, 7], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [2, 5], 'leaf_slot': 3, 'displaced': 8, 'untouched': [2, 4, 5], 'comparisons': 2}), ({'keys': [0, 9, 3, 4, 2, 8, 6, 7, 8, 5], 'start': 1}, {'path': [1, 4, 9], 'moved_keys': [2, 5], 'leaf_slot': 9, 'displaced': 9, 'untouched': [0, 2, 3, 5, 6, 7, 8], 'comparisons': 1}), ({'keys': [1, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1}), ({'keys': [4, 4, 2, 5, 6, 7, 8], 'start': 3}, {'path': [3], 'moved_keys': [], 'leaf_slot': 3, 'displaced': 5, 'untouched': [0, 1, 2, 4, 5, 6], 'comparisons': 0})], [({'keys': [5], 'start': 0}, {'path': [0], 'moved_keys': [], 'leaf_slot': 0, 'displaced': 5, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 2], 'start': 0}, {'path': [0, 1], 'moved_keys': [2], 'leaf_slot': 1, 'displaced': 9, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 5, 8, 2, 7, 6, 4], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [5, 2], 'leaf_slot': 3, 'displaced': 9, 'untouched': [2, 4, 5, 6], 'comparisons': 2}), ({'keys': [8, 2, 2, 5, 6, 7], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [2, 5], 'leaf_slot': 3, 'displaced': 8, 'untouched': [2, 4, 5], 'comparisons': 2}), ({'keys': [0, 9, 3, 4, 2, 8, 6, 7, 8, 5], 'start': 1}, {'path': [1, 4, 9], 'moved_keys': [2, 5], 'leaf_slot': 9, 'displaced': 9, 'untouched': [0, 2, 3, 5, 6, 7, 8], 'comparisons': 1}), ({'keys': [1, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1}), ({'keys': [5, 4, 2, 5, 6, 7, 8], 'start': 4}, {'path': [4], 'moved_keys': [], 'leaf_slot': 4, 'displaced': 6, 'untouched': [0, 1, 2, 3, 5, 6], 'comparisons': 0})], [({'keys': [5], 'start': 0}, {'path': [0], 'moved_keys': [], 'leaf_slot': 0, 'displaced': 5, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 2], 'start': 0}, {'path': [0, 1], 'moved_keys': [2], 'leaf_slot': 1, 'displaced': 9, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 5, 8, 2, 7, 6, 4], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [5, 2], 'leaf_slot': 3, 'displaced': 9, 'untouched': [2, 4, 5, 6], 'comparisons': 2}), ({'keys': [8, 2, 2, 5, 6, 7], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [2, 5], 'leaf_slot': 3, 'displaced': 8, 'untouched': [2, 4, 5], 'comparisons': 2}), ({'keys': [0, 9, 3, 4, 2, 8, 6, 7, 8, 5], 'start': 1}, {'path': [1, 4, 9], 'moved_keys': [2, 5], 'leaf_slot': 9, 'displaced': 9, 'untouched': [0, 2, 3, 5, 6, 7, 8], 'comparisons': 1}), ({'keys': [1, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1}), ({'keys': [6, 4, 2, 5, 6, 7, 8], 'start': 5}, {'path': [5], 'moved_keys': [], 'leaf_slot': 5, 'displaced': 7, 'untouched': [0, 1, 2, 3, 4, 6], 'comparisons': 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":"0eab72fa811cc0ce0028c8c894106f68b1cbc22e6f2ced6fdbcab456cd3a6069","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['keys']; start=d['start']; path=[start]; moved=[]; compares=0; i=start\n    while 2*i+1<len(a):\n        l=2*i+1; r=l+1; j=l\n        if r<len(a):\n            compares+=1\n            if a[r]<a[l]: j=r\n        moved.append(a[j]); path.append(j); i=j\n    return {'path': path,\n    'moved_keys': moved,\n    'leaf_slot': i,\n    'displaced': a[start],\n    'untouched': [j for j in range(len(a)) if j not in path],\n    'comparisons': compares}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'keys': [5], 'start': 0}, {'path': [0], 'moved_keys': [], 'leaf_slot': 0, 'displaced': 5, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 2], 'start': 0}, {'path': [0, 1], 'moved_keys': [2], 'leaf_slot': 1, 'displaced': 9, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 5, 8, 2, 7, 6, 4], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [5, 2], 'leaf_slot': 3, 'displaced': 9, 'untouched': [2, 4, 5, 6], 'comparisons': 2}), ({'keys': [8, 2, 2, 5, 6, 7], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [2, 5], 'leaf_slot': 3, 'displaced': 8, 'untouched': [2, 4, 5], 'comparisons': 2}), ({'keys': [0, 9, 3, 4, 2, 8, 6, 7, 8, 5], 'start': 1}, {'path': [1, 4, 9], 'moved_keys': [2, 5], 'leaf_slot': 9, 'displaced': 9, 'untouched': [0, 2, 3, 5, 6, 7, 8], 'comparisons': 1}), ({'keys': [1, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1}), ({'keys': [2, 4, 2, 5, 6, 7, 8], 'start': 1}, {'path': [1, 3], 'moved_keys': [5], 'leaf_slot': 3, 'displaced': 4, 'untouched': [0, 2, 4, 5, 6], 'comparisons': 1})], [({'keys': [5], 'start': 0}, {'path': [0], 'moved_keys': [], 'leaf_slot': 0, 'displaced': 5, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 2], 'start': 0}, {'path': [0, 1], 'moved_keys': [2], 'leaf_slot': 1, 'displaced': 9, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 5, 8, 2, 7, 6, 4], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [5, 2], 'leaf_slot': 3, 'displaced': 9, 'untouched': [2, 4, 5, 6], 'comparisons': 2}), ({'keys': [8, 2, 2, 5, 6, 7], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [2, 5], 'leaf_slot': 3, 'displaced': 8, 'untouched': [2, 4, 5], 'comparisons': 2}), ({'keys': [0, 9, 3, 4, 2, 8, 6, 7, 8, 5], 'start': 1}, {'path': [1, 4, 9], 'moved_keys': [2, 5], 'leaf_slot': 9, 'displaced': 9, 'untouched': [0, 2, 3, 5, 6, 7, 8], 'comparisons': 1}), ({'keys': [1, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1}), ({'keys': [3, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1})], [({'keys': [5], 'start': 0}, {'path': [0], 'moved_keys': [], 'leaf_slot': 0, 'displaced': 5, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 2], 'start': 0}, {'path': [0, 1], 'moved_keys': [2], 'leaf_slot': 1, 'displaced': 9, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 5, 8, 2, 7, 6, 4], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [5, 2], 'leaf_slot': 3, 'displaced': 9, 'untouched': [2, 4, 5, 6], 'comparisons': 2}), ({'keys': [8, 2, 2, 5, 6, 7], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [2, 5], 'leaf_slot': 3, 'displaced': 8, 'untouched': [2, 4, 5], 'comparisons': 2}), ({'keys': [0, 9, 3, 4, 2, 8, 6, 7, 8, 5], 'start': 1}, {'path': [1, 4, 9], 'moved_keys': [2, 5], 'leaf_slot': 9, 'displaced': 9, 'untouched': [0, 2, 3, 5, 6, 7, 8], 'comparisons': 1}), ({'keys': [1, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1}), ({'keys': [4, 4, 2, 5, 6, 7, 8], 'start': 3}, {'path': [3], 'moved_keys': [], 'leaf_slot': 3, 'displaced': 5, 'untouched': [0, 1, 2, 4, 5, 6], 'comparisons': 0})], [({'keys': [5], 'start': 0}, {'path': [0], 'moved_keys': [], 'leaf_slot': 0, 'displaced': 5, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 2], 'start': 0}, {'path': [0, 1], 'moved_keys': [2], 'leaf_slot': 1, 'displaced': 9, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 5, 8, 2, 7, 6, 4], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [5, 2], 'leaf_slot': 3, 'displaced': 9, 'untouched': [2, 4, 5, 6], 'comparisons': 2}), ({'keys': [8, 2, 2, 5, 6, 7], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [2, 5], 'leaf_slot': 3, 'displaced': 8, 'untouched': [2, 4, 5], 'comparisons': 2}), ({'keys': [0, 9, 3, 4, 2, 8, 6, 7, 8, 5], 'start': 1}, {'path': [1, 4, 9], 'moved_keys': [2, 5], 'leaf_slot': 9, 'displaced': 9, 'untouched': [0, 2, 3, 5, 6, 7, 8], 'comparisons': 1}), ({'keys': [1, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1}), ({'keys': [5, 4, 2, 5, 6, 7, 8], 'start': 4}, {'path': [4], 'moved_keys': [], 'leaf_slot': 4, 'displaced': 6, 'untouched': [0, 1, 2, 3, 5, 6], 'comparisons': 0})], [({'keys': [5], 'start': 0}, {'path': [0], 'moved_keys': [], 'leaf_slot': 0, 'displaced': 5, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 2], 'start': 0}, {'path': [0, 1], 'moved_keys': [2], 'leaf_slot': 1, 'displaced': 9, 'untouched': [], 'comparisons': 0}), ({'keys': [9, 5, 8, 2, 7, 6, 4], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [5, 2], 'leaf_slot': 3, 'displaced': 9, 'untouched': [2, 4, 5, 6], 'comparisons': 2}), ({'keys': [8, 2, 2, 5, 6, 7], 'start': 0}, {'path': [0, 1, 3], 'moved_keys': [2, 5], 'leaf_slot': 3, 'displaced': 8, 'untouched': [2, 4, 5], 'comparisons': 2}), ({'keys': [0, 9, 3, 4, 2, 8, 6, 7, 8, 5], 'start': 1}, {'path': [1, 4, 9], 'moved_keys': [2, 5], 'leaf_slot': 9, 'displaced': 9, 'untouched': [0, 2, 3, 5, 6, 7, 8], 'comparisons': 1}), ({'keys': [1, 4, 2, 5, 6, 7, 8], 'start': 2}, {'path': [2, 5], 'moved_keys': [7], 'leaf_slot': 5, 'displaced': 2, 'untouched': [0, 1, 3, 4, 6], 'comparisons': 1}), ({'keys': [6, 4, 2, 5, 6, 7, 8], 'start': 5}, {'path': [5], 'moved_keys': [], 'leaf_slot': 5, 'displaced': 7, 'untouched': [0, 1, 2, 3, 4, 6], 'comparisons': 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-hole-descent-comparisons","generated_at":"2026-09-29T14:43:33.126465+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 comparisons using compares under the stated bounded certificate contract.","root_cause":"Heap hole avoids a sibling comparison when only the left child exists.","sha256":"86819cbc23449307076d4a53d7c9acd3b634959653452546feae93f2321b048a","title":"Heap hole avoids a sibling comparison when only the left child exists · case 01","variant":1,"variant_policy":"Six explicit regression certificates are retained; a seventh changes structural size, position, priority, or bounds with N.","verification":{"attempt":{"elapsed_ms":47.641,"exit_code":1,"observations":[{"actual":{"comparisons":0,"displaced":5,"leaf_slot":0,"moved_keys":[],"path":[0],"untouched":[]},"check":"regression certificate 1","expected":{"comparisons":0,"displaced":5,"leaf_slot":0,"moved_keys":[],"path":[0],"untouched":[]},"passed":true},{"actual":{"comparisons":0,"displaced":9,"leaf_slot":1,"moved_keys":[2],"path":[0,1],"untouched":[]},"check":"regression certificate 2","expected":{"comparisons":0,"displaced":9,"leaf_slot":1,"moved_keys":[2],"path":[0,1],"untouched":[]},"passed":true},{"actual":{"comparisons":1,"displaced":9,"leaf_slot":3,"moved_keys":[5,2],"path":[0,1,3],"untouched":[2,4,5,6]},"check":"regression certificate 3","expected":{"comparisons":2,"displaced":9,"leaf_slot":3,"moved_keys":[5,2],"path":[0,1,3],"untouched":[2,4,5,6]},"passed":false},{"actual":{"comparisons":1,"displaced":8,"leaf_slot":3,"moved_keys":[2,5],"path":[0,1,3],"untouched":[2,4,5]},"check":"regression certificate 4","expected":{"comparisons":2,"displaced":8,"leaf_slot":3,"moved_keys":[2,5],"path":[0,1,3],"untouched":[2,4,5]},"passed":false},{"actual":{"comparisons":1,"displaced":9,"leaf_slot":9,"moved_keys":[2,5],"path":[1,4,9],"untouched":[0,2,3,5,6,7,8]},"check":"regression certificate 5","expected":{"comparisons":1,"displaced":9,"leaf_slot":9,"moved_keys":[2,5],"path":[1,4,9],"untouched":[0,2,3,5,6,7,8]},"passed":true},{"actual":{"comparisons":0,"displaced":2,"leaf_slot":5,"moved_keys":[7],"path":[2,5],"untouched":[0,1,3,4,6]},"check":"regression certificate 6","expected":{"comparisons":1,"displaced":2,"leaf_slot":5,"moved_keys":[7],"path":[2,5],"untouched":[0,1,3,4,6]},"passed":false},{"actual":{"comparisons":0,"displaced":4,"leaf_slot":3,"moved_keys":[5],"path":[1,3],"untouched":[0,2,4,5,6]},"check":"variant-dependent certificate","expected":{"comparisons":1,"displaced":4,"leaf_slot":3,"moved_keys":[5],"path":[1,3],"untouched":[0,2,4,5,6]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"path\": [0], \"moved_keys\": [], \"leaf_slot\": 0, \"displaced\": 5, \"untouched\": [], \"comparisons\": 0}, \"expected\": {\"path\": [0], \"moved_keys\": [], \"leaf_slot\": 0, \"displaced\": 5, \"untouched\": [], \"comparisons\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"path\": [0, 1], \"moved_keys\": [2], \"leaf_slot\": 1, \"displaced\": 9, \"untouched\": [], \"comparisons\": 0}, \"expected\": {\"path\": [0, 1], \"moved_keys\": [2], \"leaf_slot\": 1, \"displaced\": 9, \"untouched\": [], \"comparisons\": 0}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"path\": [0, 1, 3], \"moved_keys\": [5, 2], \"leaf_slot\": 3, \"displaced\": 9, \"untouched\": [2, 4, 5, 6], \"comparisons\": 1}, \"expected\": {\"path\": [0, 1, 3], \"moved_keys\": [5, 2], \"leaf_slot\": 3, \"displaced\": 9, \"untouched\": [2, 4, 5, 6], \"comparisons\": 2}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"path\": [0, 1, 3], \"moved_keys\": [2, 5], \"leaf_slot\": 3, \"displaced\": 8, \"untouched\": [2, 4, 5], \"comparisons\": 1}, \"expected\": {\"path\": [0, 1, 3], \"moved_keys\": [2, 5], \"leaf_slot\": 3, \"displaced\": 8, \"untouched\": [2, 4, 5], \"comparisons\": 2}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"path\": [1, 4, 9], \"moved_keys\": [2, 5], \"leaf_slot\": 9, \"displaced\": 9, \"untouched\": [0, 2, 3, 5, 6, 7, 8], \"comparisons\": 1}, \"expected\": {\"path\": [1, 4, 9], \"moved_keys\": [2, 5], \"leaf_slot\": 9, \"displaced\": 9, \"untouched\": [0, 2, 3, 5, 6, 7, 8], \"comparisons\": 1}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"path\": [2, 5], \"moved_keys\": [7], \"leaf_slot\": 5, \"displaced\": 2, \"untouched\": [0, 1, 3, 4, 6], \"comparisons\": 0}, \"expected\": {\"path\": [2, 5], \"moved_keys\": [7], \"leaf_slot\": 5, \"displaced\": 2, \"untouched\": [0, 1, 3, 4, 6], \"comparisons\": 1}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"path\": [1, 3], \"moved_keys\": [5], \"leaf_slot\": 3, \"displaced\": 4, \"untouched\": [0, 2, 4, 5, 6], \"comparisons\": 0}, \"expected\": {\"path\": [1, 3], \"moved_keys\": [5], \"leaf_slot\": 3, \"displaced\": 4, \"untouched\": [0, 2, 4, 5, 6], \"comparisons\": 1}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":47.545,"exit_code":1,"observations":[{"actual":{"comparisons":0,"displaced":5,"leaf_slot":0,"moved_keys":[],"path":[0],"untouched":[]},"check":"regression certificate 1","expected":{"comparisons":0,"displaced":5,"leaf_slot":0,"moved_keys":[],"path":[0],"untouched":[]},"passed":true},{"actual":{"comparisons":1,"displaced":9,"leaf_slot":1,"moved_keys":[2],"path":[0,1],"untouched":[]},"check":"regression certificate 2","expected":{"comparisons":0,"displaced":9,"leaf_slot":1,"moved_keys":[2],"path":[0,1],"untouched":[]},"passed":false},{"actual":{"comparisons":2,"displaced":9,"leaf_slot":3,"moved_keys":[5,2],"path":[0,1,3],"untouched":[2,4,5,6]},"check":"regression certificate 3","expected":{"comparisons":2,"displaced":9,"leaf_slot":3,"moved_keys":[5,2],"path":[0,1,3],"untouched":[2,4,5,6]},"passed":true},{"actual":{"comparisons":2,"displaced":8,"leaf_slot":3,"moved_keys":[2,5],"path":[0,1,3],"untouched":[2,4,5]},"check":"regression certificate 4","expected":{"comparisons":2,"displaced":8,"leaf_slot":3,"moved_keys":[2,5],"path":[0,1,3],"untouched":[2,4,5]},"passed":true},{"actual":{"comparisons":2,"displaced":9,"leaf_slot":9,"moved_keys":[2,5],"path":[1,4,9],"untouched":[0,2,3,5,6,7,8]},"check":"regression certificate 5","expected":{"comparisons":1,"displaced":9,"leaf_slot":9,"moved_keys":[2,5],"path":[1,4,9],"untouched":[0,2,3,5,6,7,8]},"passed":false},{"actual":{"comparisons":1,"displaced":2,"leaf_slot":5,"moved_keys":[7],"path":[2,5],"untouched":[0,1,3,4,6]},"check":"regression certificate 6","expected":{"comparisons":1,"displaced":2,"leaf_slot":5,"moved_keys":[7],"path":[2,5],"untouched":[0,1,3,4,6]},"passed":true},{"actual":{"comparisons":1,"displaced":4,"leaf_slot":3,"moved_keys":[5],"path":[1,3],"untouched":[0,2,4,5,6]},"check":"variant-dependent certificate","expected":{"comparisons":1,"displaced":4,"leaf_slot":3,"moved_keys":[5],"path":[1,3],"untouched":[0,2,4,5,6]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"path\": [0], \"moved_keys\": [], \"leaf_slot\": 0, \"displaced\": 5, \"untouched\": [], \"comparisons\": 0}, \"expected\": {\"path\": [0], \"moved_keys\": [], \"leaf_slot\": 0, \"displaced\": 5, \"untouched\": [], \"comparisons\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"path\": [0, 1], \"moved_keys\": [2], \"leaf_slot\": 1, \"displaced\": 9, \"untouched\": [], \"comparisons\": 1}, \"expected\": {\"path\": [0, 1], \"moved_keys\": [2], \"leaf_slot\": 1, \"displaced\": 9, \"untouched\": [], \"comparisons\": 0}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"path\": [0, 1, 3], \"moved_keys\": [5, 2], \"leaf_slot\": 3, \"displaced\": 9, \"untouched\": [2, 4, 5, 6], \"comparisons\": 2}, \"expected\": {\"path\": [0, 1, 3], \"moved_keys\": [5, 2], \"leaf_slot\": 3, \"displaced\": 9, \"untouched\": [2, 4, 5, 6], \"comparisons\": 2}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"path\": [0, 1, 3], \"moved_keys\": [2, 5], \"leaf_slot\": 3, \"displaced\": 8, \"untouched\": [2, 4, 5], \"comparisons\": 2}, \"expected\": {\"path\": [0, 1, 3], \"moved_keys\": [2, 5], \"leaf_slot\": 3, \"displaced\": 8, \"untouched\": [2, 4, 5], \"comparisons\": 2}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"path\": [1, 4, 9], \"moved_keys\": [2, 5], \"leaf_slot\": 9, \"displaced\": 9, \"untouched\": [0, 2, 3, 5, 6, 7, 8], \"comparisons\": 2}, \"expected\": {\"path\": [1, 4, 9], \"moved_keys\": [2, 5], \"leaf_slot\": 9, \"displaced\": 9, \"untouched\": [0, 2, 3, 5, 6, 7, 8], \"comparisons\": 1}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"path\": [2, 5], \"moved_keys\": [7], \"leaf_slot\": 5, \"displaced\": 2, \"untouched\": [0, 1, 3, 4, 6], \"comparisons\": 1}, \"expected\": {\"path\": [2, 5], \"moved_keys\": [7], \"leaf_slot\": 5, \"displaced\": 2, \"untouched\": [0, 1, 3, 4, 6], \"comparisons\": 1}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"path\": [1, 3], \"moved_keys\": [5], \"leaf_slot\": 3, \"displaced\": 4, \"untouched\": [0, 2, 4, 5, 6], \"comparisons\": 1}, \"expected\": {\"path\": [1, 3], \"moved_keys\": [5], \"leaf_slot\": 3, \"displaced\": 4, \"untouched\": [0, 2, 4, 5, 6], \"comparisons\": 1}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.821,"exit_code":0,"observations":[{"actual":{"comparisons":0,"displaced":5,"leaf_slot":0,"moved_keys":[],"path":[0],"untouched":[]},"check":"regression certificate 1","expected":{"comparisons":0,"displaced":5,"leaf_slot":0,"moved_keys":[],"path":[0],"untouched":[]},"passed":true},{"actual":{"comparisons":0,"displaced":9,"leaf_slot":1,"moved_keys":[2],"path":[0,1],"untouched":[]},"check":"regression certificate 2","expected":{"comparisons":0,"displaced":9,"leaf_slot":1,"moved_keys":[2],"path":[0,1],"untouched":[]},"passed":true},{"actual":{"comparisons":2,"displaced":9,"leaf_slot":3,"moved_keys":[5,2],"path":[0,1,3],"untouched":[2,4,5,6]},"check":"regression certificate 3","expected":{"comparisons":2,"displaced":9,"leaf_slot":3,"moved_keys":[5,2],"path":[0,1,3],"untouched":[2,4,5,6]},"passed":true},{"actual":{"comparisons":2,"displaced":8,"leaf_slot":3,"moved_keys":[2,5],"path":[0,1,3],"untouched":[2,4,5]},"check":"regression certificate 4","expected":{"comparisons":2,"displaced":8,"leaf_slot":3,"moved_keys":[2,5],"path":[0,1,3],"untouched":[2,4,5]},"passed":true},{"actual":{"comparisons":1,"displaced":9,"leaf_slot":9,"moved_keys":[2,5],"path":[1,4,9],"untouched":[0,2,3,5,6,7,8]},"check":"regression certificate 5","expected":{"comparisons":1,"displaced":9,"leaf_slot":9,"moved_keys":[2,5],"path":[1,4,9],"untouched":[0,2,3,5,6,7,8]},"passed":true},{"actual":{"comparisons":1,"displaced":2,"leaf_slot":5,"moved_keys":[7],"path":[2,5],"untouched":[0,1,3,4,6]},"check":"regression certificate 6","expected":{"comparisons":1,"displaced":2,"leaf_slot":5,"moved_keys":[7],"path":[2,5],"untouched":[0,1,3,4,6]},"passed":true},{"actual":{"comparisons":1,"displaced":4,"leaf_slot":3,"moved_keys":[5],"path":[1,3],"untouched":[0,2,4,5,6]},"check":"variant-dependent certificate","expected":{"comparisons":1,"displaced":4,"leaf_slot":3,"moved_keys":[5],"path":[1,3],"untouched":[0,2,4,5,6]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"path\": [0], \"moved_keys\": [], \"leaf_slot\": 0, \"displaced\": 5, \"untouched\": [], \"comparisons\": 0}, \"expected\": {\"path\": [0], \"moved_keys\": [], \"leaf_slot\": 0, \"displaced\": 5, \"untouched\": [], \"comparisons\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"path\": [0, 1], \"moved_keys\": [2], \"leaf_slot\": 1, \"displaced\": 9, \"untouched\": [], \"comparisons\": 0}, \"expected\": {\"path\": [0, 1], \"moved_keys\": [2], \"leaf_slot\": 1, \"displaced\": 9, \"untouched\": [], \"comparisons\": 0}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"path\": [0, 1, 3], \"moved_keys\": [5, 2], \"leaf_slot\": 3, \"displaced\": 9, \"untouched\": [2, 4, 5, 6], \"comparisons\": 2}, \"expected\": {\"path\": [0, 1, 3], \"moved_keys\": [5, 2], \"leaf_slot\": 3, \"displaced\": 9, \"untouched\": [2, 4, 5, 6], \"comparisons\": 2}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"path\": [0, 1, 3], \"moved_keys\": [2, 5], \"leaf_slot\": 3, \"displaced\": 8, \"untouched\": [2, 4, 5], \"comparisons\": 2}, \"expected\": {\"path\": [0, 1, 3], \"moved_keys\": [2, 5], \"leaf_slot\": 3, \"displaced\": 8, \"untouched\": [2, 4, 5], \"comparisons\": 2}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"path\": [1, 4, 9], \"moved_keys\": [2, 5], \"leaf_slot\": 9, \"displaced\": 9, \"untouched\": [0, 2, 3, 5, 6, 7, 8], \"comparisons\": 1}, \"expected\": {\"path\": [1, 4, 9], \"moved_keys\": [2, 5], \"leaf_slot\": 9, \"displaced\": 9, \"untouched\": [0, 2, 3, 5, 6, 7, 8], \"comparisons\": 1}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"path\": [2, 5], \"moved_keys\": [7], \"leaf_slot\": 5, \"displaced\": 2, \"untouched\": [0, 1, 3, 4, 6], \"comparisons\": 1}, \"expected\": {\"path\": [2, 5], \"moved_keys\": [7], \"leaf_slot\": 5, \"displaced\": 2, \"untouched\": [0, 1, 3, 4, 6], \"comparisons\": 1}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"path\": [1, 3], \"moved_keys\": [5], \"leaf_slot\": 3, \"displaced\": 4, \"untouched\": [0, 2, 4, 5, 6], \"comparisons\": 1}, \"expected\": {\"path\": [1, 3], \"moved_keys\": [5], \"leaf_slot\": 3, \"displaced\": 4, \"untouched\": [0, 2, 4, 5, 6], \"comparisons\": 1}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}