{"abstract":"The bounded tournament path certificate reports an incorrect root.","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 and still violates the stated relation.","family":"s3-heap-tournament-path-root","id":"FA-40481","implementations":{"attempt":{"sha256":"d1e178841ca2f265e65c68ffe7c124f3e996e2ae2325619262768ef1260df0b4","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': c,\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"},"broken":{"sha256":"2e768d8c07e44848c520858260992d70ee126bbc3d9794e4025e02a91f207a38","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': 0,\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"},"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-root","generated_at":"2026-09-29T14:43:31.498573+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 root using 1 under the stated bounded certificate contract.","root_cause":"Winner tournament uses its internal root rather than a leaf or zero sentinel.","sha256":"63d7d67823cf01972538693beea9ea35328a7bb12d47c8560d9469797e3fcd9c","title":"Winner tournament uses its internal root rather than a leaf or zero sentinel · case 01","variant":1,"variant_policy":"Six explicit regression certificates are retained; a seventh changes structural size, position, priority, or bounds with N.","verification":{"attempt":{"elapsed_ms":41.395,"exit_code":1,"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":2,"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":4,"replay":[2,1],"root":4,"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":7,"replay":[3,1],"root":4,"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":13,"replay":[6,3,1],"root":8,"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":26,"replay":[13,6,3,1],"root":16,"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":17,"replay":[8,4,2,1],"root":16,"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\": 1, \"untouched\": []}, \"expected\": {\"replay\": [], \"siblings\": [], \"root\": 1, \"comparisons\": 0, \"leaf\": 1, \"untouched\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"replay\": [1], \"siblings\": [2], \"root\": 2, \"comparisons\": 1, \"leaf\": 3, \"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\": 4, \"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\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"replay\": [3, 1], \"siblings\": [6, 2], \"root\": 4, \"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\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"replay\": [6, 3, 1], \"siblings\": [12, 7, 2], \"root\": 8, \"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\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"replay\": [13, 6, 3, 1], \"siblings\": [27, 12, 7, 2], \"root\": 16, \"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\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"replay\": [8, 4, 2, 1], \"siblings\": [16, 9, 5, 3], \"root\": 16, \"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\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.688,"exit_code":1,"observations":[{"actual":{"comparisons":0,"leaf":1,"replay":[],"root":0,"siblings":[],"untouched":[]},"check":"regression certificate 1","expected":{"comparisons":0,"leaf":1,"replay":[],"root":1,"siblings":[],"untouched":[]},"passed":false},{"actual":{"comparisons":1,"leaf":3,"replay":[1],"root":0,"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":4,"replay":[2,1],"root":0,"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":7,"replay":[3,1],"root":0,"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":13,"replay":[6,3,1],"root":0,"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":26,"replay":[13,6,3,1],"root":0,"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":17,"replay":[8,4,2,1],"root":0,"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\": 0, \"comparisons\": 0, \"leaf\": 1, \"untouched\": []}, \"expected\": {\"replay\": [], \"siblings\": [], \"root\": 1, \"comparisons\": 0, \"leaf\": 1, \"untouched\": []}, \"passed\": false}, {\"check\": \"regression certificate 2\", \"actual\": {\"replay\": [1], \"siblings\": [2], \"root\": 0, \"comparisons\": 1, \"leaf\": 3, \"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\": 0, \"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\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"replay\": [3, 1], \"siblings\": [6, 2], \"root\": 0, \"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\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"replay\": [6, 3, 1], \"siblings\": [12, 7, 2], \"root\": 0, \"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\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"replay\": [13, 6, 3, 1], \"siblings\": [27, 12, 7, 2], \"root\": 0, \"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\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"replay\": [8, 4, 2, 1], \"siblings\": [16, 9, 5, 3], \"root\": 0, \"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\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.794,"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"}