{"abstract":"The bounded tournament path certificate reports an incorrect leaf.","category":"Heap invariants","checks":7,"contract":"A complete winner tournament has power-of-two leaf capacity c and updated leaf slot s. Tree leaves occupy c+s. Report ancestors in bottom-up replay order, sibling indices along that path, root index, comparison count, leaf index, and unaffected leaf slots. Capacity at least one; slot is in range.","evaluation_group":"s3-heap-model-tournament-path","failed_approach":"The local patch uses c+s-1 and still violates the stated relation.","family":"s3-heap-tournament-path-leaf","id":"FA-40491","implementations":{"attempt":{"sha256":"53203f55848dafae5132be537eda3f7904920689171dc72cffd1057462827b48","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    c=d['capacity']; s=d['slot']; leaf=c+s; path=[]; siblings=[]; v=leaf\n    while v>1:\n        siblings.append(v^1); v//=2; path.append(v)\n    return {'replay': path,\n    'siblings': siblings,\n    'root': 1,\n    'comparisons': len(path),\n    'leaf': c+s-1,\n    'untouched': [i for i in range(c) if i!=s]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'capacity': 1, 'slot': 0}, {'replay': [], 'siblings': [], 'root': 1, 'comparisons': 0, 'leaf': 1, 'untouched': []}), ({'capacity': 2, 'slot': 1}, {'replay': [1], 'siblings': [2], 'root': 1, 'comparisons': 1, 'leaf': 3, 'untouched': [0]}), ({'capacity': 4, 'slot': 0}, {'replay': [2, 1], 'siblings': [5, 3], 'root': 1, 'comparisons': 2, 'leaf': 4, 'untouched': [1, 2, 3]}), ({'capacity': 4, 'slot': 3}, {'replay': [3, 1], 'siblings': [6, 2], 'root': 1, 'comparisons': 2, 'leaf': 7, 'untouched': [0, 1, 2]}), ({'capacity': 8, 'slot': 5}, {'replay': [6, 3, 1], 'siblings': [12, 7, 2], 'root': 1, 'comparisons': 3, 'leaf': 13, 'untouched': [0, 1, 2, 3, 4, 6, 7]}), ({'capacity': 16, 'slot': 10}, {'replay': [13, 6, 3, 1], 'siblings': [27, 12, 7, 2], 'root': 1, 'comparisons': 4, 'leaf': 26, 'untouched': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}), ({'capacity': 16, 'slot': 1}, {'replay': [8, 4, 2, 1], 'siblings': [16, 9, 5, 3], 'root': 1, 'comparisons': 4, 'leaf': 17, 'untouched': [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]})], [({'capacity': 1, 'slot': 0}, {'replay': [], 'siblings': [], 'root': 1, 'comparisons': 0, 'leaf': 1, 'untouched': []}), ({'capacity': 2, 'slot': 1}, {'replay': [1], 'siblings': [2], 'root': 1, 'comparisons': 1, 'leaf': 3, 'untouched': [0]}), ({'capacity': 4, 'slot': 0}, {'replay': [2, 1], 'siblings': [5, 3], 'root': 1, 'comparisons': 2, 'leaf': 4, 'untouched': [1, 2, 3]}), ({'capacity': 4, 'slot': 3}, {'replay': [3, 1], 'siblings': [6, 2], 'root': 1, 'comparisons': 2, 'leaf': 7, 'untouched': [0, 1, 2]}), ({'capacity': 8, 'slot': 5}, {'replay': [6, 3, 1], 'siblings': [12, 7, 2], 'root': 1, 'comparisons': 3, 'leaf': 13, 'untouched': [0, 1, 2, 3, 4, 6, 7]}), ({'capacity': 16, 'slot': 10}, {'replay': [13, 6, 3, 1], 'siblings': [27, 12, 7, 2], 'root': 1, 'comparisons': 4, 'leaf': 26, 'untouched': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}), ({'capacity': 16, 'slot': 2}, {'replay': [9, 4, 2, 1], 'siblings': [19, 8, 5, 3], 'root': 1, 'comparisons': 4, 'leaf': 18, 'untouched': [0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]})], [({'capacity': 1, 'slot': 0}, {'replay': [], 'siblings': [], 'root': 1, 'comparisons': 0, 'leaf': 1, 'untouched': []}), ({'capacity': 2, 'slot': 1}, {'replay': [1], 'siblings': [2], 'root': 1, 'comparisons': 1, 'leaf': 3, 'untouched': [0]}), ({'capacity': 4, 'slot': 0}, {'replay': [2, 1], 'siblings': [5, 3], 'root': 1, 'comparisons': 2, 'leaf': 4, 'untouched': [1, 2, 3]}), ({'capacity': 4, 'slot': 3}, {'replay': [3, 1], 'siblings': [6, 2], 'root': 1, 'comparisons': 2, 'leaf': 7, 'untouched': [0, 1, 2]}), ({'capacity': 8, 'slot': 5}, {'replay': [6, 3, 1], 'siblings': [12, 7, 2], 'root': 1, 'comparisons': 3, 'leaf': 13, 'untouched': [0, 1, 2, 3, 4, 6, 7]}), ({'capacity': 16, 'slot': 10}, {'replay': [13, 6, 3, 1], 'siblings': [27, 12, 7, 2], 'root': 1, 'comparisons': 4, 'leaf': 26, 'untouched': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}), ({'capacity': 16, 'slot': 3}, {'replay': [9, 4, 2, 1], 'siblings': [18, 8, 5, 3], 'root': 1, 'comparisons': 4, 'leaf': 19, 'untouched': [0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]})], [({'capacity': 1, 'slot': 0}, {'replay': [], 'siblings': [], 'root': 1, 'comparisons': 0, 'leaf': 1, 'untouched': []}), ({'capacity': 2, 'slot': 1}, {'replay': [1], 'siblings': [2], 'root': 1, 'comparisons': 1, 'leaf': 3, 'untouched': [0]}), ({'capacity': 4, 'slot': 0}, {'replay': [2, 1], 'siblings': [5, 3], 'root': 1, 'comparisons': 2, 'leaf': 4, 'untouched': [1, 2, 3]}), ({'capacity': 4, 'slot': 3}, {'replay': [3, 1], 'siblings': [6, 2], 'root': 1, 'comparisons': 2, 'leaf': 7, 'untouched': [0, 1, 2]}), ({'capacity': 8, 'slot': 5}, {'replay': [6, 3, 1], 'siblings': [12, 7, 2], 'root': 1, 'comparisons': 3, 'leaf': 13, 'untouched': [0, 1, 2, 3, 4, 6, 7]}), ({'capacity': 16, 'slot': 10}, {'replay': [13, 6, 3, 1], 'siblings': [27, 12, 7, 2], 'root': 1, 'comparisons': 4, 'leaf': 26, 'untouched': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}), ({'capacity': 16, 'slot': 4}, {'replay': [10, 5, 2, 1], 'siblings': [21, 11, 4, 3], 'root': 1, 'comparisons': 4, 'leaf': 20, 'untouched': [0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]})], [({'capacity': 1, 'slot': 0}, {'replay': [], 'siblings': [], 'root': 1, 'comparisons': 0, 'leaf': 1, 'untouched': []}), ({'capacity': 2, 'slot': 1}, {'replay': [1], 'siblings': [2], 'root': 1, 'comparisons': 1, 'leaf': 3, 'untouched': [0]}), ({'capacity': 4, 'slot': 0}, {'replay': [2, 1], 'siblings': [5, 3], 'root': 1, 'comparisons': 2, 'leaf': 4, 'untouched': [1, 2, 3]}), ({'capacity': 4, 'slot': 3}, {'replay': [3, 1], 'siblings': [6, 2], 'root': 1, 'comparisons': 2, 'leaf': 7, 'untouched': [0, 1, 2]}), ({'capacity': 8, 'slot': 5}, {'replay': [6, 3, 1], 'siblings': [12, 7, 2], 'root': 1, 'comparisons': 3, 'leaf': 13, 'untouched': [0, 1, 2, 3, 4, 6, 7]}), ({'capacity': 16, 'slot': 10}, {'replay': [13, 6, 3, 1], 'siblings': [27, 12, 7, 2], 'root': 1, 'comparisons': 4, 'leaf': 26, 'untouched': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}), ({'capacity': 16, 'slot': 5}, {'replay': [10, 5, 2, 1], 'siblings': [20, 11, 4, 3], 'root': 1, 'comparisons': 4, 'leaf': 21, 'untouched': [0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]})]][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":"4d1bcad9cbab5edeca6828cadaa088d18c8096e6f53b146f6645996351221d9f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    c=d['capacity']; s=d['slot']; leaf=c+s; path=[]; siblings=[]; v=leaf\n    while v>1:\n        siblings.append(v^1); v//=2; path.append(v)\n    return {'replay': path,\n    'siblings': siblings,\n    'root': 1,\n    'comparisons': len(path),\n    'leaf': s,\n    'untouched': [i for i in range(c) if i!=s]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'capacity': 1, 'slot': 0}, {'replay': [], 'siblings': [], 'root': 1, 'comparisons': 0, 'leaf': 1, 'untouched': []}), ({'capacity': 2, 'slot': 1}, {'replay': [1], 'siblings': [2], 'root': 1, 'comparisons': 1, 'leaf': 3, 'untouched': [0]}), ({'capacity': 4, 'slot': 0}, {'replay': [2, 1], 'siblings': [5, 3], 'root': 1, 'comparisons': 2, 'leaf': 4, 'untouched': [1, 2, 3]}), ({'capacity': 4, 'slot': 3}, {'replay': [3, 1], 'siblings': [6, 2], 'root': 1, 'comparisons': 2, 'leaf': 7, 'untouched': [0, 1, 2]}), ({'capacity': 8, 'slot': 5}, {'replay': [6, 3, 1], 'siblings': [12, 7, 2], 'root': 1, 'comparisons': 3, 'leaf': 13, 'untouched': [0, 1, 2, 3, 4, 6, 7]}), ({'capacity': 16, 'slot': 10}, {'replay': [13, 6, 3, 1], 'siblings': [27, 12, 7, 2], 'root': 1, 'comparisons': 4, 'leaf': 26, 'untouched': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}), ({'capacity': 16, 'slot': 1}, {'replay': [8, 4, 2, 1], 'siblings': [16, 9, 5, 3], 'root': 1, 'comparisons': 4, 'leaf': 17, 'untouched': [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]})], [({'capacity': 1, 'slot': 0}, {'replay': [], 'siblings': [], 'root': 1, 'comparisons': 0, 'leaf': 1, 'untouched': []}), ({'capacity': 2, 'slot': 1}, {'replay': [1], 'siblings': [2], 'root': 1, 'comparisons': 1, 'leaf': 3, 'untouched': [0]}), ({'capacity': 4, 'slot': 0}, {'replay': [2, 1], 'siblings': [5, 3], 'root': 1, 'comparisons': 2, 'leaf': 4, 'untouched': [1, 2, 3]}), ({'capacity': 4, 'slot': 3}, {'replay': [3, 1], 'siblings': [6, 2], 'root': 1, 'comparisons': 2, 'leaf': 7, 'untouched': [0, 1, 2]}), ({'capacity': 8, 'slot': 5}, {'replay': [6, 3, 1], 'siblings': [12, 7, 2], 'root': 1, 'comparisons': 3, 'leaf': 13, 'untouched': [0, 1, 2, 3, 4, 6, 7]}), ({'capacity': 16, 'slot': 10}, {'replay': [13, 6, 3, 1], 'siblings': [27, 12, 7, 2], 'root': 1, 'comparisons': 4, 'leaf': 26, 'untouched': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}), ({'capacity': 16, 'slot': 2}, {'replay': [9, 4, 2, 1], 'siblings': [19, 8, 5, 3], 'root': 1, 'comparisons': 4, 'leaf': 18, 'untouched': [0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]})], [({'capacity': 1, 'slot': 0}, {'replay': [], 'siblings': [], 'root': 1, 'comparisons': 0, 'leaf': 1, 'untouched': []}), ({'capacity': 2, 'slot': 1}, {'replay': [1], 'siblings': [2], 'root': 1, 'comparisons': 1, 'leaf': 3, 'untouched': [0]}), ({'capacity': 4, 'slot': 0}, {'replay': [2, 1], 'siblings': [5, 3], 'root': 1, 'comparisons': 2, 'leaf': 4, 'untouched': [1, 2, 3]}), ({'capacity': 4, 'slot': 3}, {'replay': [3, 1], 'siblings': [6, 2], 'root': 1, 'comparisons': 2, 'leaf': 7, 'untouched': [0, 1, 2]}), ({'capacity': 8, 'slot': 5}, {'replay': [6, 3, 1], 'siblings': [12, 7, 2], 'root': 1, 'comparisons': 3, 'leaf': 13, 'untouched': [0, 1, 2, 3, 4, 6, 7]}), ({'capacity': 16, 'slot': 10}, {'replay': [13, 6, 3, 1], 'siblings': [27, 12, 7, 2], 'root': 1, 'comparisons': 4, 'leaf': 26, 'untouched': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}), ({'capacity': 16, 'slot': 3}, {'replay': [9, 4, 2, 1], 'siblings': [18, 8, 5, 3], 'root': 1, 'comparisons': 4, 'leaf': 19, 'untouched': [0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]})], [({'capacity': 1, 'slot': 0}, {'replay': [], 'siblings': [], 'root': 1, 'comparisons': 0, 'leaf': 1, 'untouched': []}), ({'capacity': 2, 'slot': 1}, {'replay': [1], 'siblings': [2], 'root': 1, 'comparisons': 1, 'leaf': 3, 'untouched': [0]}), ({'capacity': 4, 'slot': 0}, {'replay': [2, 1], 'siblings': [5, 3], 'root': 1, 'comparisons': 2, 'leaf': 4, 'untouched': [1, 2, 3]}), ({'capacity': 4, 'slot': 3}, {'replay': [3, 1], 'siblings': [6, 2], 'root': 1, 'comparisons': 2, 'leaf': 7, 'untouched': [0, 1, 2]}), ({'capacity': 8, 'slot': 5}, {'replay': [6, 3, 1], 'siblings': [12, 7, 2], 'root': 1, 'comparisons': 3, 'leaf': 13, 'untouched': [0, 1, 2, 3, 4, 6, 7]}), ({'capacity': 16, 'slot': 10}, {'replay': [13, 6, 3, 1], 'siblings': [27, 12, 7, 2], 'root': 1, 'comparisons': 4, 'leaf': 26, 'untouched': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}), ({'capacity': 16, 'slot': 4}, {'replay': [10, 5, 2, 1], 'siblings': [21, 11, 4, 3], 'root': 1, 'comparisons': 4, 'leaf': 20, 'untouched': [0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]})], [({'capacity': 1, 'slot': 0}, {'replay': [], 'siblings': [], 'root': 1, 'comparisons': 0, 'leaf': 1, 'untouched': []}), ({'capacity': 2, 'slot': 1}, {'replay': [1], 'siblings': [2], 'root': 1, 'comparisons': 1, 'leaf': 3, 'untouched': [0]}), ({'capacity': 4, 'slot': 0}, {'replay': [2, 1], 'siblings': [5, 3], 'root': 1, 'comparisons': 2, 'leaf': 4, 'untouched': [1, 2, 3]}), ({'capacity': 4, 'slot': 3}, {'replay': [3, 1], 'siblings': [6, 2], 'root': 1, 'comparisons': 2, 'leaf': 7, 'untouched': [0, 1, 2]}), ({'capacity': 8, 'slot': 5}, {'replay': [6, 3, 1], 'siblings': [12, 7, 2], 'root': 1, 'comparisons': 3, 'leaf': 13, 'untouched': [0, 1, 2, 3, 4, 6, 7]}), ({'capacity': 16, 'slot': 10}, {'replay': [13, 6, 3, 1], 'siblings': [27, 12, 7, 2], 'root': 1, 'comparisons': 4, 'leaf': 26, 'untouched': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}), ({'capacity': 16, 'slot': 5}, {'replay': [10, 5, 2, 1], 'siblings': [20, 11, 4, 3], 'root': 1, 'comparisons': 4, 'leaf': 21, 'untouched': [0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]})]][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":"83dc30358577aec25ac5b289cc4d0e6a2646988f56c9a8004756f4444acc5438","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    c=d['capacity']; s=d['slot']; leaf=c+s; path=[]; siblings=[]; v=leaf\n    while v>1:\n        siblings.append(v^1); v//=2; path.append(v)\n    return {'replay': path,\n    'siblings': siblings,\n    'root': 1,\n    'comparisons': len(path),\n    'leaf': leaf,\n    'untouched': [i for i in range(c) if i!=s]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'capacity': 1, 'slot': 0}, {'replay': [], 'siblings': [], 'root': 1, 'comparisons': 0, 'leaf': 1, 'untouched': []}), ({'capacity': 2, 'slot': 1}, {'replay': [1], 'siblings': [2], 'root': 1, 'comparisons': 1, 'leaf': 3, 'untouched': [0]}), ({'capacity': 4, 'slot': 0}, {'replay': [2, 1], 'siblings': [5, 3], 'root': 1, 'comparisons': 2, 'leaf': 4, 'untouched': [1, 2, 3]}), ({'capacity': 4, 'slot': 3}, {'replay': [3, 1], 'siblings': [6, 2], 'root': 1, 'comparisons': 2, 'leaf': 7, 'untouched': [0, 1, 2]}), ({'capacity': 8, 'slot': 5}, {'replay': [6, 3, 1], 'siblings': [12, 7, 2], 'root': 1, 'comparisons': 3, 'leaf': 13, 'untouched': [0, 1, 2, 3, 4, 6, 7]}), ({'capacity': 16, 'slot': 10}, {'replay': [13, 6, 3, 1], 'siblings': [27, 12, 7, 2], 'root': 1, 'comparisons': 4, 'leaf': 26, 'untouched': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}), ({'capacity': 16, 'slot': 1}, {'replay': [8, 4, 2, 1], 'siblings': [16, 9, 5, 3], 'root': 1, 'comparisons': 4, 'leaf': 17, 'untouched': [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]})], [({'capacity': 1, 'slot': 0}, {'replay': [], 'siblings': [], 'root': 1, 'comparisons': 0, 'leaf': 1, 'untouched': []}), ({'capacity': 2, 'slot': 1}, {'replay': [1], 'siblings': [2], 'root': 1, 'comparisons': 1, 'leaf': 3, 'untouched': [0]}), ({'capacity': 4, 'slot': 0}, {'replay': [2, 1], 'siblings': [5, 3], 'root': 1, 'comparisons': 2, 'leaf': 4, 'untouched': [1, 2, 3]}), ({'capacity': 4, 'slot': 3}, {'replay': [3, 1], 'siblings': [6, 2], 'root': 1, 'comparisons': 2, 'leaf': 7, 'untouched': [0, 1, 2]}), ({'capacity': 8, 'slot': 5}, {'replay': [6, 3, 1], 'siblings': [12, 7, 2], 'root': 1, 'comparisons': 3, 'leaf': 13, 'untouched': [0, 1, 2, 3, 4, 6, 7]}), ({'capacity': 16, 'slot': 10}, {'replay': [13, 6, 3, 1], 'siblings': [27, 12, 7, 2], 'root': 1, 'comparisons': 4, 'leaf': 26, 'untouched': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}), ({'capacity': 16, 'slot': 2}, {'replay': [9, 4, 2, 1], 'siblings': [19, 8, 5, 3], 'root': 1, 'comparisons': 4, 'leaf': 18, 'untouched': [0, 1, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]})], [({'capacity': 1, 'slot': 0}, {'replay': [], 'siblings': [], 'root': 1, 'comparisons': 0, 'leaf': 1, 'untouched': []}), ({'capacity': 2, 'slot': 1}, {'replay': [1], 'siblings': [2], 'root': 1, 'comparisons': 1, 'leaf': 3, 'untouched': [0]}), ({'capacity': 4, 'slot': 0}, {'replay': [2, 1], 'siblings': [5, 3], 'root': 1, 'comparisons': 2, 'leaf': 4, 'untouched': [1, 2, 3]}), ({'capacity': 4, 'slot': 3}, {'replay': [3, 1], 'siblings': [6, 2], 'root': 1, 'comparisons': 2, 'leaf': 7, 'untouched': [0, 1, 2]}), ({'capacity': 8, 'slot': 5}, {'replay': [6, 3, 1], 'siblings': [12, 7, 2], 'root': 1, 'comparisons': 3, 'leaf': 13, 'untouched': [0, 1, 2, 3, 4, 6, 7]}), ({'capacity': 16, 'slot': 10}, {'replay': [13, 6, 3, 1], 'siblings': [27, 12, 7, 2], 'root': 1, 'comparisons': 4, 'leaf': 26, 'untouched': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}), ({'capacity': 16, 'slot': 3}, {'replay': [9, 4, 2, 1], 'siblings': [18, 8, 5, 3], 'root': 1, 'comparisons': 4, 'leaf': 19, 'untouched': [0, 1, 2, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]})], [({'capacity': 1, 'slot': 0}, {'replay': [], 'siblings': [], 'root': 1, 'comparisons': 0, 'leaf': 1, 'untouched': []}), ({'capacity': 2, 'slot': 1}, {'replay': [1], 'siblings': [2], 'root': 1, 'comparisons': 1, 'leaf': 3, 'untouched': [0]}), ({'capacity': 4, 'slot': 0}, {'replay': [2, 1], 'siblings': [5, 3], 'root': 1, 'comparisons': 2, 'leaf': 4, 'untouched': [1, 2, 3]}), ({'capacity': 4, 'slot': 3}, {'replay': [3, 1], 'siblings': [6, 2], 'root': 1, 'comparisons': 2, 'leaf': 7, 'untouched': [0, 1, 2]}), ({'capacity': 8, 'slot': 5}, {'replay': [6, 3, 1], 'siblings': [12, 7, 2], 'root': 1, 'comparisons': 3, 'leaf': 13, 'untouched': [0, 1, 2, 3, 4, 6, 7]}), ({'capacity': 16, 'slot': 10}, {'replay': [13, 6, 3, 1], 'siblings': [27, 12, 7, 2], 'root': 1, 'comparisons': 4, 'leaf': 26, 'untouched': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}), ({'capacity': 16, 'slot': 4}, {'replay': [10, 5, 2, 1], 'siblings': [21, 11, 4, 3], 'root': 1, 'comparisons': 4, 'leaf': 20, 'untouched': [0, 1, 2, 3, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]})], [({'capacity': 1, 'slot': 0}, {'replay': [], 'siblings': [], 'root': 1, 'comparisons': 0, 'leaf': 1, 'untouched': []}), ({'capacity': 2, 'slot': 1}, {'replay': [1], 'siblings': [2], 'root': 1, 'comparisons': 1, 'leaf': 3, 'untouched': [0]}), ({'capacity': 4, 'slot': 0}, {'replay': [2, 1], 'siblings': [5, 3], 'root': 1, 'comparisons': 2, 'leaf': 4, 'untouched': [1, 2, 3]}), ({'capacity': 4, 'slot': 3}, {'replay': [3, 1], 'siblings': [6, 2], 'root': 1, 'comparisons': 2, 'leaf': 7, 'untouched': [0, 1, 2]}), ({'capacity': 8, 'slot': 5}, {'replay': [6, 3, 1], 'siblings': [12, 7, 2], 'root': 1, 'comparisons': 3, 'leaf': 13, 'untouched': [0, 1, 2, 3, 4, 6, 7]}), ({'capacity': 16, 'slot': 10}, {'replay': [13, 6, 3, 1], 'siblings': [27, 12, 7, 2], 'root': 1, 'comparisons': 4, 'leaf': 26, 'untouched': [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}), ({'capacity': 16, 'slot': 5}, {'replay': [10, 5, 2, 1], 'siblings': [20, 11, 4, 3], 'root': 1, 'comparisons': 4, 'leaf': 21, 'untouched': [0, 1, 2, 3, 4, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]})]][N-1]\ncheck('regression certificate 1', solve(cases[0][0]), cases[0][1])\ncheck('regression certificate 2', solve(cases[1][0]), cases[1][1])\ncheck('regression certificate 3', solve(cases[2][0]), cases[2][1])\ncheck('regression certificate 4', solve(cases[3][0]), cases[3][1])\ncheck('regression certificate 5', solve(cases[4][0]), cases[4][1])\ncheck('regression certificate 6', solve(cases[5][0]), cases[5][1])\ncheck('variant-dependent certificate', solve(cases[6][0]), cases[6][1])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A stipulated offline diagnostic model; it does not implement a production allocator, concurrency protocol, or complete heap library. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-heap-tournament-path-leaf","generated_at":"2026-09-29T14:43:31.588986+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 leaf using leaf under the stated bounded certificate contract.","root_cause":"Winner tournament leaf update offsets the external slot by leaf capacity.","sha256":"cc0a7c6b9a416e0dae036cbd0317edb3b2fbb323c74bbba5acefaa2011038014","title":"Winner tournament leaf update offsets the external slot by leaf capacity · 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":40.528,"exit_code":1,"observations":[{"actual":{"comparisons":0,"leaf":0,"replay":[],"root":1,"siblings":[],"untouched":[]},"check":"regression certificate 1","expected":{"comparisons":0,"leaf":1,"replay":[],"root":1,"siblings":[],"untouched":[]},"passed":false},{"actual":{"comparisons":1,"leaf":2,"replay":[1],"root":1,"siblings":[2],"untouched":[0]},"check":"regression certificate 2","expected":{"comparisons":1,"leaf":3,"replay":[1],"root":1,"siblings":[2],"untouched":[0]},"passed":false},{"actual":{"comparisons":2,"leaf":3,"replay":[2,1],"root":1,"siblings":[5,3],"untouched":[1,2,3]},"check":"regression certificate 3","expected":{"comparisons":2,"leaf":4,"replay":[2,1],"root":1,"siblings":[5,3],"untouched":[1,2,3]},"passed":false},{"actual":{"comparisons":2,"leaf":6,"replay":[3,1],"root":1,"siblings":[6,2],"untouched":[0,1,2]},"check":"regression certificate 4","expected":{"comparisons":2,"leaf":7,"replay":[3,1],"root":1,"siblings":[6,2],"untouched":[0,1,2]},"passed":false},{"actual":{"comparisons":3,"leaf":12,"replay":[6,3,1],"root":1,"siblings":[12,7,2],"untouched":[0,1,2,3,4,6,7]},"check":"regression certificate 5","expected":{"comparisons":3,"leaf":13,"replay":[6,3,1],"root":1,"siblings":[12,7,2],"untouched":[0,1,2,3,4,6,7]},"passed":false},{"actual":{"comparisons":4,"leaf":25,"replay":[13,6,3,1],"root":1,"siblings":[27,12,7,2],"untouched":[0,1,2,3,4,5,6,7,8,9,11,12,13,14,15]},"check":"regression certificate 6","expected":{"comparisons":4,"leaf":26,"replay":[13,6,3,1],"root":1,"siblings":[27,12,7,2],"untouched":[0,1,2,3,4,5,6,7,8,9,11,12,13,14,15]},"passed":false},{"actual":{"comparisons":4,"leaf":16,"replay":[8,4,2,1],"root":1,"siblings":[16,9,5,3],"untouched":[0,2,3,4,5,6,7,8,9,10,11,12,13,14,15]},"check":"variant-dependent certificate","expected":{"comparisons":4,"leaf":17,"replay":[8,4,2,1],"root":1,"siblings":[16,9,5,3],"untouched":[0,2,3,4,5,6,7,8,9,10,11,12,13,14,15]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"replay\": [], \"siblings\": [], \"root\": 1, \"comparisons\": 0, \"leaf\": 0, \"untouched\": []}, \"expected\": {\"replay\": [], \"siblings\": [], \"root\": 1, \"comparisons\": 0, \"leaf\": 1, \"untouched\": []}, \"passed\": false}, {\"check\": \"regression certificate 2\", \"actual\": {\"replay\": [1], \"siblings\": [2], \"root\": 1, \"comparisons\": 1, \"leaf\": 2, \"untouched\": [0]}, \"expected\": {\"replay\": [1], \"siblings\": [2], \"root\": 1, \"comparisons\": 1, \"leaf\": 3, \"untouched\": [0]}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"replay\": [2, 1], \"siblings\": [5, 3], \"root\": 1, \"comparisons\": 2, \"leaf\": 3, \"untouched\": [1, 2, 3]}, \"expected\": {\"replay\": [2, 1], \"siblings\": [5, 3], \"root\": 1, \"comparisons\": 2, \"leaf\": 4, \"untouched\": [1, 2, 3]}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"replay\": [3, 1], \"siblings\": [6, 2], \"root\": 1, \"comparisons\": 2, \"leaf\": 6, \"untouched\": [0, 1, 2]}, \"expected\": {\"replay\": [3, 1], \"siblings\": [6, 2], \"root\": 1, \"comparisons\": 2, \"leaf\": 7, \"untouched\": [0, 1, 2]}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"replay\": [6, 3, 1], \"siblings\": [12, 7, 2], \"root\": 1, \"comparisons\": 3, \"leaf\": 12, \"untouched\": [0, 1, 2, 3, 4, 6, 7]}, \"expected\": {\"replay\": [6, 3, 1], \"siblings\": [12, 7, 2], \"root\": 1, \"comparisons\": 3, \"leaf\": 13, \"untouched\": [0, 1, 2, 3, 4, 6, 7]}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"replay\": [13, 6, 3, 1], \"siblings\": [27, 12, 7, 2], \"root\": 1, \"comparisons\": 4, \"leaf\": 25, \"untouched\": [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}, \"expected\": {\"replay\": [13, 6, 3, 1], \"siblings\": [27, 12, 7, 2], \"root\": 1, \"comparisons\": 4, \"leaf\": 26, \"untouched\": [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"replay\": [8, 4, 2, 1], \"siblings\": [16, 9, 5, 3], \"root\": 1, \"comparisons\": 4, \"leaf\": 16, \"untouched\": [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]}, \"expected\": {\"replay\": [8, 4, 2, 1], \"siblings\": [16, 9, 5, 3], \"root\": 1, \"comparisons\": 4, \"leaf\": 17, \"untouched\": [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.705,"exit_code":1,"observations":[{"actual":{"comparisons":0,"leaf":0,"replay":[],"root":1,"siblings":[],"untouched":[]},"check":"regression certificate 1","expected":{"comparisons":0,"leaf":1,"replay":[],"root":1,"siblings":[],"untouched":[]},"passed":false},{"actual":{"comparisons":1,"leaf":1,"replay":[1],"root":1,"siblings":[2],"untouched":[0]},"check":"regression certificate 2","expected":{"comparisons":1,"leaf":3,"replay":[1],"root":1,"siblings":[2],"untouched":[0]},"passed":false},{"actual":{"comparisons":2,"leaf":0,"replay":[2,1],"root":1,"siblings":[5,3],"untouched":[1,2,3]},"check":"regression certificate 3","expected":{"comparisons":2,"leaf":4,"replay":[2,1],"root":1,"siblings":[5,3],"untouched":[1,2,3]},"passed":false},{"actual":{"comparisons":2,"leaf":3,"replay":[3,1],"root":1,"siblings":[6,2],"untouched":[0,1,2]},"check":"regression certificate 4","expected":{"comparisons":2,"leaf":7,"replay":[3,1],"root":1,"siblings":[6,2],"untouched":[0,1,2]},"passed":false},{"actual":{"comparisons":3,"leaf":5,"replay":[6,3,1],"root":1,"siblings":[12,7,2],"untouched":[0,1,2,3,4,6,7]},"check":"regression certificate 5","expected":{"comparisons":3,"leaf":13,"replay":[6,3,1],"root":1,"siblings":[12,7,2],"untouched":[0,1,2,3,4,6,7]},"passed":false},{"actual":{"comparisons":4,"leaf":10,"replay":[13,6,3,1],"root":1,"siblings":[27,12,7,2],"untouched":[0,1,2,3,4,5,6,7,8,9,11,12,13,14,15]},"check":"regression certificate 6","expected":{"comparisons":4,"leaf":26,"replay":[13,6,3,1],"root":1,"siblings":[27,12,7,2],"untouched":[0,1,2,3,4,5,6,7,8,9,11,12,13,14,15]},"passed":false},{"actual":{"comparisons":4,"leaf":1,"replay":[8,4,2,1],"root":1,"siblings":[16,9,5,3],"untouched":[0,2,3,4,5,6,7,8,9,10,11,12,13,14,15]},"check":"variant-dependent certificate","expected":{"comparisons":4,"leaf":17,"replay":[8,4,2,1],"root":1,"siblings":[16,9,5,3],"untouched":[0,2,3,4,5,6,7,8,9,10,11,12,13,14,15]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"replay\": [], \"siblings\": [], \"root\": 1, \"comparisons\": 0, \"leaf\": 0, \"untouched\": []}, \"expected\": {\"replay\": [], \"siblings\": [], \"root\": 1, \"comparisons\": 0, \"leaf\": 1, \"untouched\": []}, \"passed\": false}, {\"check\": \"regression certificate 2\", \"actual\": {\"replay\": [1], \"siblings\": [2], \"root\": 1, \"comparisons\": 1, \"leaf\": 1, \"untouched\": [0]}, \"expected\": {\"replay\": [1], \"siblings\": [2], \"root\": 1, \"comparisons\": 1, \"leaf\": 3, \"untouched\": [0]}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"replay\": [2, 1], \"siblings\": [5, 3], \"root\": 1, \"comparisons\": 2, \"leaf\": 0, \"untouched\": [1, 2, 3]}, \"expected\": {\"replay\": [2, 1], \"siblings\": [5, 3], \"root\": 1, \"comparisons\": 2, \"leaf\": 4, \"untouched\": [1, 2, 3]}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"replay\": [3, 1], \"siblings\": [6, 2], \"root\": 1, \"comparisons\": 2, \"leaf\": 3, \"untouched\": [0, 1, 2]}, \"expected\": {\"replay\": [3, 1], \"siblings\": [6, 2], \"root\": 1, \"comparisons\": 2, \"leaf\": 7, \"untouched\": [0, 1, 2]}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"replay\": [6, 3, 1], \"siblings\": [12, 7, 2], \"root\": 1, \"comparisons\": 3, \"leaf\": 5, \"untouched\": [0, 1, 2, 3, 4, 6, 7]}, \"expected\": {\"replay\": [6, 3, 1], \"siblings\": [12, 7, 2], \"root\": 1, \"comparisons\": 3, \"leaf\": 13, \"untouched\": [0, 1, 2, 3, 4, 6, 7]}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"replay\": [13, 6, 3, 1], \"siblings\": [27, 12, 7, 2], \"root\": 1, \"comparisons\": 4, \"leaf\": 10, \"untouched\": [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}, \"expected\": {\"replay\": [13, 6, 3, 1], \"siblings\": [27, 12, 7, 2], \"root\": 1, \"comparisons\": 4, \"leaf\": 26, \"untouched\": [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"replay\": [8, 4, 2, 1], \"siblings\": [16, 9, 5, 3], \"root\": 1, \"comparisons\": 4, \"leaf\": 1, \"untouched\": [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]}, \"expected\": {\"replay\": [8, 4, 2, 1], \"siblings\": [16, 9, 5, 3], \"root\": 1, \"comparisons\": 4, \"leaf\": 17, \"untouched\": [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.659,"exit_code":0,"observations":[{"actual":{"comparisons":0,"leaf":1,"replay":[],"root":1,"siblings":[],"untouched":[]},"check":"regression certificate 1","expected":{"comparisons":0,"leaf":1,"replay":[],"root":1,"siblings":[],"untouched":[]},"passed":true},{"actual":{"comparisons":1,"leaf":3,"replay":[1],"root":1,"siblings":[2],"untouched":[0]},"check":"regression certificate 2","expected":{"comparisons":1,"leaf":3,"replay":[1],"root":1,"siblings":[2],"untouched":[0]},"passed":true},{"actual":{"comparisons":2,"leaf":4,"replay":[2,1],"root":1,"siblings":[5,3],"untouched":[1,2,3]},"check":"regression certificate 3","expected":{"comparisons":2,"leaf":4,"replay":[2,1],"root":1,"siblings":[5,3],"untouched":[1,2,3]},"passed":true},{"actual":{"comparisons":2,"leaf":7,"replay":[3,1],"root":1,"siblings":[6,2],"untouched":[0,1,2]},"check":"regression certificate 4","expected":{"comparisons":2,"leaf":7,"replay":[3,1],"root":1,"siblings":[6,2],"untouched":[0,1,2]},"passed":true},{"actual":{"comparisons":3,"leaf":13,"replay":[6,3,1],"root":1,"siblings":[12,7,2],"untouched":[0,1,2,3,4,6,7]},"check":"regression certificate 5","expected":{"comparisons":3,"leaf":13,"replay":[6,3,1],"root":1,"siblings":[12,7,2],"untouched":[0,1,2,3,4,6,7]},"passed":true},{"actual":{"comparisons":4,"leaf":26,"replay":[13,6,3,1],"root":1,"siblings":[27,12,7,2],"untouched":[0,1,2,3,4,5,6,7,8,9,11,12,13,14,15]},"check":"regression certificate 6","expected":{"comparisons":4,"leaf":26,"replay":[13,6,3,1],"root":1,"siblings":[27,12,7,2],"untouched":[0,1,2,3,4,5,6,7,8,9,11,12,13,14,15]},"passed":true},{"actual":{"comparisons":4,"leaf":17,"replay":[8,4,2,1],"root":1,"siblings":[16,9,5,3],"untouched":[0,2,3,4,5,6,7,8,9,10,11,12,13,14,15]},"check":"variant-dependent certificate","expected":{"comparisons":4,"leaf":17,"replay":[8,4,2,1],"root":1,"siblings":[16,9,5,3],"untouched":[0,2,3,4,5,6,7,8,9,10,11,12,13,14,15]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"replay\": [], \"siblings\": [], \"root\": 1, \"comparisons\": 0, \"leaf\": 1, \"untouched\": []}, \"expected\": {\"replay\": [], \"siblings\": [], \"root\": 1, \"comparisons\": 0, \"leaf\": 1, \"untouched\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"replay\": [1], \"siblings\": [2], \"root\": 1, \"comparisons\": 1, \"leaf\": 3, \"untouched\": [0]}, \"expected\": {\"replay\": [1], \"siblings\": [2], \"root\": 1, \"comparisons\": 1, \"leaf\": 3, \"untouched\": [0]}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"replay\": [2, 1], \"siblings\": [5, 3], \"root\": 1, \"comparisons\": 2, \"leaf\": 4, \"untouched\": [1, 2, 3]}, \"expected\": {\"replay\": [2, 1], \"siblings\": [5, 3], \"root\": 1, \"comparisons\": 2, \"leaf\": 4, \"untouched\": [1, 2, 3]}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"replay\": [3, 1], \"siblings\": [6, 2], \"root\": 1, \"comparisons\": 2, \"leaf\": 7, \"untouched\": [0, 1, 2]}, \"expected\": {\"replay\": [3, 1], \"siblings\": [6, 2], \"root\": 1, \"comparisons\": 2, \"leaf\": 7, \"untouched\": [0, 1, 2]}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"replay\": [6, 3, 1], \"siblings\": [12, 7, 2], \"root\": 1, \"comparisons\": 3, \"leaf\": 13, \"untouched\": [0, 1, 2, 3, 4, 6, 7]}, \"expected\": {\"replay\": [6, 3, 1], \"siblings\": [12, 7, 2], \"root\": 1, \"comparisons\": 3, \"leaf\": 13, \"untouched\": [0, 1, 2, 3, 4, 6, 7]}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"replay\": [13, 6, 3, 1], \"siblings\": [27, 12, 7, 2], \"root\": 1, \"comparisons\": 4, \"leaf\": 26, \"untouched\": [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}, \"expected\": {\"replay\": [13, 6, 3, 1], \"siblings\": [27, 12, 7, 2], \"root\": 1, \"comparisons\": 4, \"leaf\": 26, \"untouched\": [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 14, 15]}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"replay\": [8, 4, 2, 1], \"siblings\": [16, 9, 5, 3], \"root\": 1, \"comparisons\": 4, \"leaf\": 17, \"untouched\": [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]}, \"expected\": {\"replay\": [8, 4, 2, 1], \"siblings\": [16, 9, 5, 3], \"root\": 1, \"comparisons\": 4, \"leaf\": 17, \"untouched\": [0, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}