{"abstract":"The bounded binomial extract certificate reports an incorrect promoted.","category":"Heap invariants","checks":7,"contract":"Extracted binomial root children are [id,rank,key] in descending rank. Remaining roots are [id,rank,key]. Return promoted root order, parent resets, cardinality delta, remaining minimum, merge rank sequence, and removed handle. Reversal restores ascending rank order before union.","evaluation_group":"s3-heap-model-binomial-extract","failed_approach":"The local patch uses [x[0] for x in sorted(c,key=lambda x:x[2])] and still violates the stated relation.","family":"s3-heap-binomial-extract-promoted","id":"FA-40051","implementations":{"attempt":{"sha256":"c513b73ea86fdab4bcce590f3852c1d705734bf5ae8b336a25c8a2d90842b345","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    c=d['children']; r=d['remaining']; removed=d['removed']; merged=r+list(reversed(c))\n    return {'promoted': [x[0] for x in sorted(c,key=lambda x:x[2])],\n    'parents': [[x[0],None] for x in c],\n    'size_delta': -1,\n    'minimum': min(merged,key=lambda x:x[2])[0] if merged else None,\n    'merge_ranks': sorted(x[1] for x in merged),\n    'live_handles': sorted(x[0] for x in merged)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'children': [], 'remaining': [], 'removed': 9}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': None, 'merge_ranks': [], 'live_handles': []}), ({'children': [[3, 0, 7]], 'remaining': [], 'removed': 1}, {'promoted': [3], 'parents': [[3, None]], 'size_delta': -1, 'minimum': 3, 'merge_ranks': [0], 'live_handles': [3]}), ({'children': [[4, 2, 6], [3, 1, 5], [2, 0, 8]], 'remaining': [[7, 0, 4], [8, 3, 9]], 'removed': 1}, {'promoted': [2, 3, 4], 'parents': [[4, None], [3, None], [2, None]], 'size_delta': -1, 'minimum': 7, 'merge_ranks': [0, 0, 1, 2, 3], 'live_handles': [2, 3, 4, 7, 8]}), ({'children': [[6, 1, 3], [5, 0, 2]], 'remaining': [[8, 2, 7]], 'removed': 4}, {'promoted': [5, 6], 'parents': [[6, None], [5, None]], 'size_delta': -1, 'minimum': 5, 'merge_ranks': [0, 1, 2], 'live_handles': [5, 6, 8]}), ({'children': [], 'remaining': [[5, 0, 8], [2, 1, 1]], 'removed': 7}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': 2, 'merge_ranks': [0, 1], 'live_handles': [2, 5]}), ({'children': [[7, 1, 4], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]}), ({'children': [[7, 1, 5], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]})], [({'children': [], 'remaining': [], 'removed': 9}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': None, 'merge_ranks': [], 'live_handles': []}), ({'children': [[3, 0, 7]], 'remaining': [], 'removed': 1}, {'promoted': [3], 'parents': [[3, None]], 'size_delta': -1, 'minimum': 3, 'merge_ranks': [0], 'live_handles': [3]}), ({'children': [[4, 2, 6], [3, 1, 5], [2, 0, 8]], 'remaining': [[7, 0, 4], [8, 3, 9]], 'removed': 1}, {'promoted': [2, 3, 4], 'parents': [[4, None], [3, None], [2, None]], 'size_delta': -1, 'minimum': 7, 'merge_ranks': [0, 0, 1, 2, 3], 'live_handles': [2, 3, 4, 7, 8]}), ({'children': [[6, 1, 3], [5, 0, 2]], 'remaining': [[8, 2, 7]], 'removed': 4}, {'promoted': [5, 6], 'parents': [[6, None], [5, None]], 'size_delta': -1, 'minimum': 5, 'merge_ranks': [0, 1, 2], 'live_handles': [5, 6, 8]}), ({'children': [], 'remaining': [[5, 0, 8], [2, 1, 1]], 'removed': 7}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': 2, 'merge_ranks': [0, 1], 'live_handles': [2, 5]}), ({'children': [[7, 1, 4], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]}), ({'children': [[7, 1, 6], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]})], [({'children': [], 'remaining': [], 'removed': 9}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': None, 'merge_ranks': [], 'live_handles': []}), ({'children': [[3, 0, 7]], 'remaining': [], 'removed': 1}, {'promoted': [3], 'parents': [[3, None]], 'size_delta': -1, 'minimum': 3, 'merge_ranks': [0], 'live_handles': [3]}), ({'children': [[4, 2, 6], [3, 1, 5], [2, 0, 8]], 'remaining': [[7, 0, 4], [8, 3, 9]], 'removed': 1}, {'promoted': [2, 3, 4], 'parents': [[4, None], [3, None], [2, None]], 'size_delta': -1, 'minimum': 7, 'merge_ranks': [0, 0, 1, 2, 3], 'live_handles': [2, 3, 4, 7, 8]}), ({'children': [[6, 1, 3], [5, 0, 2]], 'remaining': [[8, 2, 7]], 'removed': 4}, {'promoted': [5, 6], 'parents': [[6, None], [5, None]], 'size_delta': -1, 'minimum': 5, 'merge_ranks': [0, 1, 2], 'live_handles': [5, 6, 8]}), ({'children': [], 'remaining': [[5, 0, 8], [2, 1, 1]], 'removed': 7}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': 2, 'merge_ranks': [0, 1], 'live_handles': [2, 5]}), ({'children': [[7, 1, 4], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]}), ({'children': [[7, 1, 7], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]})], [({'children': [], 'remaining': [], 'removed': 9}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': None, 'merge_ranks': [], 'live_handles': []}), ({'children': [[3, 0, 7]], 'remaining': [], 'removed': 1}, {'promoted': [3], 'parents': [[3, None]], 'size_delta': -1, 'minimum': 3, 'merge_ranks': [0], 'live_handles': [3]}), ({'children': [[4, 2, 6], [3, 1, 5], [2, 0, 8]], 'remaining': [[7, 0, 4], [8, 3, 9]], 'removed': 1}, {'promoted': [2, 3, 4], 'parents': [[4, None], [3, None], [2, None]], 'size_delta': -1, 'minimum': 7, 'merge_ranks': [0, 0, 1, 2, 3], 'live_handles': [2, 3, 4, 7, 8]}), ({'children': [[6, 1, 3], [5, 0, 2]], 'remaining': [[8, 2, 7]], 'removed': 4}, {'promoted': [5, 6], 'parents': [[6, None], [5, None]], 'size_delta': -1, 'minimum': 5, 'merge_ranks': [0, 1, 2], 'live_handles': [5, 6, 8]}), ({'children': [], 'remaining': [[5, 0, 8], [2, 1, 1]], 'removed': 7}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': 2, 'merge_ranks': [0, 1], 'live_handles': [2, 5]}), ({'children': [[7, 1, 4], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]}), ({'children': [[7, 1, 8], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]})], [({'children': [], 'remaining': [], 'removed': 9}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': None, 'merge_ranks': [], 'live_handles': []}), ({'children': [[3, 0, 7]], 'remaining': [], 'removed': 1}, {'promoted': [3], 'parents': [[3, None]], 'size_delta': -1, 'minimum': 3, 'merge_ranks': [0], 'live_handles': [3]}), ({'children': [[4, 2, 6], [3, 1, 5], [2, 0, 8]], 'remaining': [[7, 0, 4], [8, 3, 9]], 'removed': 1}, {'promoted': [2, 3, 4], 'parents': [[4, None], [3, None], [2, None]], 'size_delta': -1, 'minimum': 7, 'merge_ranks': [0, 0, 1, 2, 3], 'live_handles': [2, 3, 4, 7, 8]}), ({'children': [[6, 1, 3], [5, 0, 2]], 'remaining': [[8, 2, 7]], 'removed': 4}, {'promoted': [5, 6], 'parents': [[6, None], [5, None]], 'size_delta': -1, 'minimum': 5, 'merge_ranks': [0, 1, 2], 'live_handles': [5, 6, 8]}), ({'children': [], 'remaining': [[5, 0, 8], [2, 1, 1]], 'removed': 7}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': 2, 'merge_ranks': [0, 1], 'live_handles': [2, 5]}), ({'children': [[7, 1, 4], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]}), ({'children': [[7, 1, 9], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]})]][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":"cd6c073a52b758dbf875c0f4aacd260360562b330c5fc7af7f9ecef988ed2edf","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    c=d['children']; r=d['remaining']; removed=d['removed']; merged=r+list(reversed(c))\n    return {'promoted': [x[0] for x in c],\n    'parents': [[x[0],None] for x in c],\n    'size_delta': -1,\n    'minimum': min(merged,key=lambda x:x[2])[0] if merged else None,\n    'merge_ranks': sorted(x[1] for x in merged),\n    'live_handles': sorted(x[0] for x in merged)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'children': [], 'remaining': [], 'removed': 9}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': None, 'merge_ranks': [], 'live_handles': []}), ({'children': [[3, 0, 7]], 'remaining': [], 'removed': 1}, {'promoted': [3], 'parents': [[3, None]], 'size_delta': -1, 'minimum': 3, 'merge_ranks': [0], 'live_handles': [3]}), ({'children': [[4, 2, 6], [3, 1, 5], [2, 0, 8]], 'remaining': [[7, 0, 4], [8, 3, 9]], 'removed': 1}, {'promoted': [2, 3, 4], 'parents': [[4, None], [3, None], [2, None]], 'size_delta': -1, 'minimum': 7, 'merge_ranks': [0, 0, 1, 2, 3], 'live_handles': [2, 3, 4, 7, 8]}), ({'children': [[6, 1, 3], [5, 0, 2]], 'remaining': [[8, 2, 7]], 'removed': 4}, {'promoted': [5, 6], 'parents': [[6, None], [5, None]], 'size_delta': -1, 'minimum': 5, 'merge_ranks': [0, 1, 2], 'live_handles': [5, 6, 8]}), ({'children': [], 'remaining': [[5, 0, 8], [2, 1, 1]], 'removed': 7}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': 2, 'merge_ranks': [0, 1], 'live_handles': [2, 5]}), ({'children': [[7, 1, 4], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]}), ({'children': [[7, 1, 5], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]})], [({'children': [], 'remaining': [], 'removed': 9}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': None, 'merge_ranks': [], 'live_handles': []}), ({'children': [[3, 0, 7]], 'remaining': [], 'removed': 1}, {'promoted': [3], 'parents': [[3, None]], 'size_delta': -1, 'minimum': 3, 'merge_ranks': [0], 'live_handles': [3]}), ({'children': [[4, 2, 6], [3, 1, 5], [2, 0, 8]], 'remaining': [[7, 0, 4], [8, 3, 9]], 'removed': 1}, {'promoted': [2, 3, 4], 'parents': [[4, None], [3, None], [2, None]], 'size_delta': -1, 'minimum': 7, 'merge_ranks': [0, 0, 1, 2, 3], 'live_handles': [2, 3, 4, 7, 8]}), ({'children': [[6, 1, 3], [5, 0, 2]], 'remaining': [[8, 2, 7]], 'removed': 4}, {'promoted': [5, 6], 'parents': [[6, None], [5, None]], 'size_delta': -1, 'minimum': 5, 'merge_ranks': [0, 1, 2], 'live_handles': [5, 6, 8]}), ({'children': [], 'remaining': [[5, 0, 8], [2, 1, 1]], 'removed': 7}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': 2, 'merge_ranks': [0, 1], 'live_handles': [2, 5]}), ({'children': [[7, 1, 4], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]}), ({'children': [[7, 1, 6], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]})], [({'children': [], 'remaining': [], 'removed': 9}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': None, 'merge_ranks': [], 'live_handles': []}), ({'children': [[3, 0, 7]], 'remaining': [], 'removed': 1}, {'promoted': [3], 'parents': [[3, None]], 'size_delta': -1, 'minimum': 3, 'merge_ranks': [0], 'live_handles': [3]}), ({'children': [[4, 2, 6], [3, 1, 5], [2, 0, 8]], 'remaining': [[7, 0, 4], [8, 3, 9]], 'removed': 1}, {'promoted': [2, 3, 4], 'parents': [[4, None], [3, None], [2, None]], 'size_delta': -1, 'minimum': 7, 'merge_ranks': [0, 0, 1, 2, 3], 'live_handles': [2, 3, 4, 7, 8]}), ({'children': [[6, 1, 3], [5, 0, 2]], 'remaining': [[8, 2, 7]], 'removed': 4}, {'promoted': [5, 6], 'parents': [[6, None], [5, None]], 'size_delta': -1, 'minimum': 5, 'merge_ranks': [0, 1, 2], 'live_handles': [5, 6, 8]}), ({'children': [], 'remaining': [[5, 0, 8], [2, 1, 1]], 'removed': 7}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': 2, 'merge_ranks': [0, 1], 'live_handles': [2, 5]}), ({'children': [[7, 1, 4], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]}), ({'children': [[7, 1, 7], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]})], [({'children': [], 'remaining': [], 'removed': 9}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': None, 'merge_ranks': [], 'live_handles': []}), ({'children': [[3, 0, 7]], 'remaining': [], 'removed': 1}, {'promoted': [3], 'parents': [[3, None]], 'size_delta': -1, 'minimum': 3, 'merge_ranks': [0], 'live_handles': [3]}), ({'children': [[4, 2, 6], [3, 1, 5], [2, 0, 8]], 'remaining': [[7, 0, 4], [8, 3, 9]], 'removed': 1}, {'promoted': [2, 3, 4], 'parents': [[4, None], [3, None], [2, None]], 'size_delta': -1, 'minimum': 7, 'merge_ranks': [0, 0, 1, 2, 3], 'live_handles': [2, 3, 4, 7, 8]}), ({'children': [[6, 1, 3], [5, 0, 2]], 'remaining': [[8, 2, 7]], 'removed': 4}, {'promoted': [5, 6], 'parents': [[6, None], [5, None]], 'size_delta': -1, 'minimum': 5, 'merge_ranks': [0, 1, 2], 'live_handles': [5, 6, 8]}), ({'children': [], 'remaining': [[5, 0, 8], [2, 1, 1]], 'removed': 7}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': 2, 'merge_ranks': [0, 1], 'live_handles': [2, 5]}), ({'children': [[7, 1, 4], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]}), ({'children': [[7, 1, 8], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]})], [({'children': [], 'remaining': [], 'removed': 9}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': None, 'merge_ranks': [], 'live_handles': []}), ({'children': [[3, 0, 7]], 'remaining': [], 'removed': 1}, {'promoted': [3], 'parents': [[3, None]], 'size_delta': -1, 'minimum': 3, 'merge_ranks': [0], 'live_handles': [3]}), ({'children': [[4, 2, 6], [3, 1, 5], [2, 0, 8]], 'remaining': [[7, 0, 4], [8, 3, 9]], 'removed': 1}, {'promoted': [2, 3, 4], 'parents': [[4, None], [3, None], [2, None]], 'size_delta': -1, 'minimum': 7, 'merge_ranks': [0, 0, 1, 2, 3], 'live_handles': [2, 3, 4, 7, 8]}), ({'children': [[6, 1, 3], [5, 0, 2]], 'remaining': [[8, 2, 7]], 'removed': 4}, {'promoted': [5, 6], 'parents': [[6, None], [5, None]], 'size_delta': -1, 'minimum': 5, 'merge_ranks': [0, 1, 2], 'live_handles': [5, 6, 8]}), ({'children': [], 'remaining': [[5, 0, 8], [2, 1, 1]], 'removed': 7}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': 2, 'merge_ranks': [0, 1], 'live_handles': [2, 5]}), ({'children': [[7, 1, 4], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]}), ({'children': [[7, 1, 9], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]})]][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":"b9ae4173995e980a74ed977a46666c63eadc7ef2f3faa230eaadad82fdf2346d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    c=d['children']; r=d['remaining']; removed=d['removed']; merged=r+list(reversed(c))\n    return {'promoted': [x[0] for x in reversed(c)],\n    'parents': [[x[0],None] for x in c],\n    'size_delta': -1,\n    'minimum': min(merged,key=lambda x:x[2])[0] if merged else None,\n    'merge_ranks': sorted(x[1] for x in merged),\n    'live_handles': sorted(x[0] for x in merged)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'children': [], 'remaining': [], 'removed': 9}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': None, 'merge_ranks': [], 'live_handles': []}), ({'children': [[3, 0, 7]], 'remaining': [], 'removed': 1}, {'promoted': [3], 'parents': [[3, None]], 'size_delta': -1, 'minimum': 3, 'merge_ranks': [0], 'live_handles': [3]}), ({'children': [[4, 2, 6], [3, 1, 5], [2, 0, 8]], 'remaining': [[7, 0, 4], [8, 3, 9]], 'removed': 1}, {'promoted': [2, 3, 4], 'parents': [[4, None], [3, None], [2, None]], 'size_delta': -1, 'minimum': 7, 'merge_ranks': [0, 0, 1, 2, 3], 'live_handles': [2, 3, 4, 7, 8]}), ({'children': [[6, 1, 3], [5, 0, 2]], 'remaining': [[8, 2, 7]], 'removed': 4}, {'promoted': [5, 6], 'parents': [[6, None], [5, None]], 'size_delta': -1, 'minimum': 5, 'merge_ranks': [0, 1, 2], 'live_handles': [5, 6, 8]}), ({'children': [], 'remaining': [[5, 0, 8], [2, 1, 1]], 'removed': 7}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': 2, 'merge_ranks': [0, 1], 'live_handles': [2, 5]}), ({'children': [[7, 1, 4], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]}), ({'children': [[7, 1, 5], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]})], [({'children': [], 'remaining': [], 'removed': 9}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': None, 'merge_ranks': [], 'live_handles': []}), ({'children': [[3, 0, 7]], 'remaining': [], 'removed': 1}, {'promoted': [3], 'parents': [[3, None]], 'size_delta': -1, 'minimum': 3, 'merge_ranks': [0], 'live_handles': [3]}), ({'children': [[4, 2, 6], [3, 1, 5], [2, 0, 8]], 'remaining': [[7, 0, 4], [8, 3, 9]], 'removed': 1}, {'promoted': [2, 3, 4], 'parents': [[4, None], [3, None], [2, None]], 'size_delta': -1, 'minimum': 7, 'merge_ranks': [0, 0, 1, 2, 3], 'live_handles': [2, 3, 4, 7, 8]}), ({'children': [[6, 1, 3], [5, 0, 2]], 'remaining': [[8, 2, 7]], 'removed': 4}, {'promoted': [5, 6], 'parents': [[6, None], [5, None]], 'size_delta': -1, 'minimum': 5, 'merge_ranks': [0, 1, 2], 'live_handles': [5, 6, 8]}), ({'children': [], 'remaining': [[5, 0, 8], [2, 1, 1]], 'removed': 7}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': 2, 'merge_ranks': [0, 1], 'live_handles': [2, 5]}), ({'children': [[7, 1, 4], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]}), ({'children': [[7, 1, 6], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]})], [({'children': [], 'remaining': [], 'removed': 9}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': None, 'merge_ranks': [], 'live_handles': []}), ({'children': [[3, 0, 7]], 'remaining': [], 'removed': 1}, {'promoted': [3], 'parents': [[3, None]], 'size_delta': -1, 'minimum': 3, 'merge_ranks': [0], 'live_handles': [3]}), ({'children': [[4, 2, 6], [3, 1, 5], [2, 0, 8]], 'remaining': [[7, 0, 4], [8, 3, 9]], 'removed': 1}, {'promoted': [2, 3, 4], 'parents': [[4, None], [3, None], [2, None]], 'size_delta': -1, 'minimum': 7, 'merge_ranks': [0, 0, 1, 2, 3], 'live_handles': [2, 3, 4, 7, 8]}), ({'children': [[6, 1, 3], [5, 0, 2]], 'remaining': [[8, 2, 7]], 'removed': 4}, {'promoted': [5, 6], 'parents': [[6, None], [5, None]], 'size_delta': -1, 'minimum': 5, 'merge_ranks': [0, 1, 2], 'live_handles': [5, 6, 8]}), ({'children': [], 'remaining': [[5, 0, 8], [2, 1, 1]], 'removed': 7}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': 2, 'merge_ranks': [0, 1], 'live_handles': [2, 5]}), ({'children': [[7, 1, 4], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]}), ({'children': [[7, 1, 7], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]})], [({'children': [], 'remaining': [], 'removed': 9}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': None, 'merge_ranks': [], 'live_handles': []}), ({'children': [[3, 0, 7]], 'remaining': [], 'removed': 1}, {'promoted': [3], 'parents': [[3, None]], 'size_delta': -1, 'minimum': 3, 'merge_ranks': [0], 'live_handles': [3]}), ({'children': [[4, 2, 6], [3, 1, 5], [2, 0, 8]], 'remaining': [[7, 0, 4], [8, 3, 9]], 'removed': 1}, {'promoted': [2, 3, 4], 'parents': [[4, None], [3, None], [2, None]], 'size_delta': -1, 'minimum': 7, 'merge_ranks': [0, 0, 1, 2, 3], 'live_handles': [2, 3, 4, 7, 8]}), ({'children': [[6, 1, 3], [5, 0, 2]], 'remaining': [[8, 2, 7]], 'removed': 4}, {'promoted': [5, 6], 'parents': [[6, None], [5, None]], 'size_delta': -1, 'minimum': 5, 'merge_ranks': [0, 1, 2], 'live_handles': [5, 6, 8]}), ({'children': [], 'remaining': [[5, 0, 8], [2, 1, 1]], 'removed': 7}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': 2, 'merge_ranks': [0, 1], 'live_handles': [2, 5]}), ({'children': [[7, 1, 4], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]}), ({'children': [[7, 1, 8], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]})], [({'children': [], 'remaining': [], 'removed': 9}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': None, 'merge_ranks': [], 'live_handles': []}), ({'children': [[3, 0, 7]], 'remaining': [], 'removed': 1}, {'promoted': [3], 'parents': [[3, None]], 'size_delta': -1, 'minimum': 3, 'merge_ranks': [0], 'live_handles': [3]}), ({'children': [[4, 2, 6], [3, 1, 5], [2, 0, 8]], 'remaining': [[7, 0, 4], [8, 3, 9]], 'removed': 1}, {'promoted': [2, 3, 4], 'parents': [[4, None], [3, None], [2, None]], 'size_delta': -1, 'minimum': 7, 'merge_ranks': [0, 0, 1, 2, 3], 'live_handles': [2, 3, 4, 7, 8]}), ({'children': [[6, 1, 3], [5, 0, 2]], 'remaining': [[8, 2, 7]], 'removed': 4}, {'promoted': [5, 6], 'parents': [[6, None], [5, None]], 'size_delta': -1, 'minimum': 5, 'merge_ranks': [0, 1, 2], 'live_handles': [5, 6, 8]}), ({'children': [], 'remaining': [[5, 0, 8], [2, 1, 1]], 'removed': 7}, {'promoted': [], 'parents': [], 'size_delta': -1, 'minimum': 2, 'merge_ranks': [0, 1], 'live_handles': [2, 5]}), ({'children': [[7, 1, 4], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]}), ({'children': [[7, 1, 9], [3, 0, 3]], 'remaining': [[6, 0, 3]], 'removed': 9}, {'promoted': [3, 7], 'parents': [[7, None], [3, None]], 'size_delta': -1, 'minimum': 6, 'merge_ranks': [0, 0, 1], 'live_handles': [3, 6, 7]})]][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-binomial-extract-promoted","generated_at":"2026-09-29T14:43:27.283962+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 promoted using [x[0] for x in reversed(c)] under the stated bounded certificate contract.","root_cause":"Binomial extraction reverses child rank order rather than sorting by priority.","sha256":"08c8cf04b2b8f395a7c8748a3f30ac86e5c1d60d2d31293360a979b0e3162004","title":"Binomial extraction reverses child rank order rather than sorting by priority · 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":44.704,"exit_code":1,"observations":[{"actual":{"live_handles":[],"merge_ranks":[],"minimum":null,"parents":[],"promoted":[],"size_delta":-1},"check":"regression certificate 1","expected":{"live_handles":[],"merge_ranks":[],"minimum":null,"parents":[],"promoted":[],"size_delta":-1},"passed":true},{"actual":{"live_handles":[3],"merge_ranks":[0],"minimum":3,"parents":[[3,null]],"promoted":[3],"size_delta":-1},"check":"regression certificate 2","expected":{"live_handles":[3],"merge_ranks":[0],"minimum":3,"parents":[[3,null]],"promoted":[3],"size_delta":-1},"passed":true},{"actual":{"live_handles":[2,3,4,7,8],"merge_ranks":[0,0,1,2,3],"minimum":7,"parents":[[4,null],[3,null],[2,null]],"promoted":[3,4,2],"size_delta":-1},"check":"regression certificate 3","expected":{"live_handles":[2,3,4,7,8],"merge_ranks":[0,0,1,2,3],"minimum":7,"parents":[[4,null],[3,null],[2,null]],"promoted":[2,3,4],"size_delta":-1},"passed":false},{"actual":{"live_handles":[5,6,8],"merge_ranks":[0,1,2],"minimum":5,"parents":[[6,null],[5,null]],"promoted":[5,6],"size_delta":-1},"check":"regression certificate 4","expected":{"live_handles":[5,6,8],"merge_ranks":[0,1,2],"minimum":5,"parents":[[6,null],[5,null]],"promoted":[5,6],"size_delta":-1},"passed":true},{"actual":{"live_handles":[2,5],"merge_ranks":[0,1],"minimum":2,"parents":[],"promoted":[],"size_delta":-1},"check":"regression certificate 5","expected":{"live_handles":[2,5],"merge_ranks":[0,1],"minimum":2,"parents":[],"promoted":[],"size_delta":-1},"passed":true},{"actual":{"live_handles":[3,6,7],"merge_ranks":[0,0,1],"minimum":6,"parents":[[7,null],[3,null]],"promoted":[3,7],"size_delta":-1},"check":"regression certificate 6","expected":{"live_handles":[3,6,7],"merge_ranks":[0,0,1],"minimum":6,"parents":[[7,null],[3,null]],"promoted":[3,7],"size_delta":-1},"passed":true},{"actual":{"live_handles":[3,6,7],"merge_ranks":[0,0,1],"minimum":6,"parents":[[7,null],[3,null]],"promoted":[3,7],"size_delta":-1},"check":"variant-dependent certificate","expected":{"live_handles":[3,6,7],"merge_ranks":[0,0,1],"minimum":6,"parents":[[7,null],[3,null]],"promoted":[3,7],"size_delta":-1},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"promoted\": [], \"parents\": [], \"size_delta\": -1, \"minimum\": null, \"merge_ranks\": [], \"live_handles\": []}, \"expected\": {\"promoted\": [], \"parents\": [], \"size_delta\": -1, \"minimum\": null, \"merge_ranks\": [], \"live_handles\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"promoted\": [3], \"parents\": [[3, null]], \"size_delta\": -1, \"minimum\": 3, \"merge_ranks\": [0], \"live_handles\": [3]}, \"expected\": {\"promoted\": [3], \"parents\": [[3, null]], \"size_delta\": -1, \"minimum\": 3, \"merge_ranks\": [0], \"live_handles\": [3]}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"promoted\": [3, 4, 2], \"parents\": [[4, null], [3, null], [2, null]], \"size_delta\": -1, \"minimum\": 7, \"merge_ranks\": [0, 0, 1, 2, 3], \"live_handles\": [2, 3, 4, 7, 8]}, \"expected\": {\"promoted\": [2, 3, 4], \"parents\": [[4, null], [3, null], [2, null]], \"size_delta\": -1, \"minimum\": 7, \"merge_ranks\": [0, 0, 1, 2, 3], \"live_handles\": [2, 3, 4, 7, 8]}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"promoted\": [5, 6], \"parents\": [[6, null], [5, null]], \"size_delta\": -1, \"minimum\": 5, \"merge_ranks\": [0, 1, 2], \"live_handles\": [5, 6, 8]}, \"expected\": {\"promoted\": [5, 6], \"parents\": [[6, null], [5, null]], \"size_delta\": -1, \"minimum\": 5, \"merge_ranks\": [0, 1, 2], \"live_handles\": [5, 6, 8]}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"promoted\": [], \"parents\": [], \"size_delta\": -1, \"minimum\": 2, \"merge_ranks\": [0, 1], \"live_handles\": [2, 5]}, \"expected\": {\"promoted\": [], \"parents\": [], \"size_delta\": -1, \"minimum\": 2, \"merge_ranks\": [0, 1], \"live_handles\": [2, 5]}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"promoted\": [3, 7], \"parents\": [[7, null], [3, null]], \"size_delta\": -1, \"minimum\": 6, \"merge_ranks\": [0, 0, 1], \"live_handles\": [3, 6, 7]}, \"expected\": {\"promoted\": [3, 7], \"parents\": [[7, null], [3, null]], \"size_delta\": -1, \"minimum\": 6, \"merge_ranks\": [0, 0, 1], \"live_handles\": [3, 6, 7]}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"promoted\": [3, 7], \"parents\": [[7, null], [3, null]], \"size_delta\": -1, \"minimum\": 6, \"merge_ranks\": [0, 0, 1], \"live_handles\": [3, 6, 7]}, \"expected\": {\"promoted\": [3, 7], \"parents\": [[7, null], [3, null]], \"size_delta\": -1, \"minimum\": 6, \"merge_ranks\": [0, 0, 1], \"live_handles\": [3, 6, 7]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.258,"exit_code":1,"observations":[{"actual":{"live_handles":[],"merge_ranks":[],"minimum":null,"parents":[],"promoted":[],"size_delta":-1},"check":"regression certificate 1","expected":{"live_handles":[],"merge_ranks":[],"minimum":null,"parents":[],"promoted":[],"size_delta":-1},"passed":true},{"actual":{"live_handles":[3],"merge_ranks":[0],"minimum":3,"parents":[[3,null]],"promoted":[3],"size_delta":-1},"check":"regression certificate 2","expected":{"live_handles":[3],"merge_ranks":[0],"minimum":3,"parents":[[3,null]],"promoted":[3],"size_delta":-1},"passed":true},{"actual":{"live_handles":[2,3,4,7,8],"merge_ranks":[0,0,1,2,3],"minimum":7,"parents":[[4,null],[3,null],[2,null]],"promoted":[4,3,2],"size_delta":-1},"check":"regression certificate 3","expected":{"live_handles":[2,3,4,7,8],"merge_ranks":[0,0,1,2,3],"minimum":7,"parents":[[4,null],[3,null],[2,null]],"promoted":[2,3,4],"size_delta":-1},"passed":false},{"actual":{"live_handles":[5,6,8],"merge_ranks":[0,1,2],"minimum":5,"parents":[[6,null],[5,null]],"promoted":[6,5],"size_delta":-1},"check":"regression certificate 4","expected":{"live_handles":[5,6,8],"merge_ranks":[0,1,2],"minimum":5,"parents":[[6,null],[5,null]],"promoted":[5,6],"size_delta":-1},"passed":false},{"actual":{"live_handles":[2,5],"merge_ranks":[0,1],"minimum":2,"parents":[],"promoted":[],"size_delta":-1},"check":"regression certificate 5","expected":{"live_handles":[2,5],"merge_ranks":[0,1],"minimum":2,"parents":[],"promoted":[],"size_delta":-1},"passed":true},{"actual":{"live_handles":[3,6,7],"merge_ranks":[0,0,1],"minimum":6,"parents":[[7,null],[3,null]],"promoted":[7,3],"size_delta":-1},"check":"regression certificate 6","expected":{"live_handles":[3,6,7],"merge_ranks":[0,0,1],"minimum":6,"parents":[[7,null],[3,null]],"promoted":[3,7],"size_delta":-1},"passed":false},{"actual":{"live_handles":[3,6,7],"merge_ranks":[0,0,1],"minimum":6,"parents":[[7,null],[3,null]],"promoted":[7,3],"size_delta":-1},"check":"variant-dependent certificate","expected":{"live_handles":[3,6,7],"merge_ranks":[0,0,1],"minimum":6,"parents":[[7,null],[3,null]],"promoted":[3,7],"size_delta":-1},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"promoted\": [], \"parents\": [], \"size_delta\": -1, \"minimum\": null, \"merge_ranks\": [], \"live_handles\": []}, \"expected\": {\"promoted\": [], \"parents\": [], \"size_delta\": -1, \"minimum\": null, \"merge_ranks\": [], \"live_handles\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"promoted\": [3], \"parents\": [[3, null]], \"size_delta\": -1, \"minimum\": 3, \"merge_ranks\": [0], \"live_handles\": [3]}, \"expected\": {\"promoted\": [3], \"parents\": [[3, null]], \"size_delta\": -1, \"minimum\": 3, \"merge_ranks\": [0], \"live_handles\": [3]}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"promoted\": [4, 3, 2], \"parents\": [[4, null], [3, null], [2, null]], \"size_delta\": -1, \"minimum\": 7, \"merge_ranks\": [0, 0, 1, 2, 3], \"live_handles\": [2, 3, 4, 7, 8]}, \"expected\": {\"promoted\": [2, 3, 4], \"parents\": [[4, null], [3, null], [2, null]], \"size_delta\": -1, \"minimum\": 7, \"merge_ranks\": [0, 0, 1, 2, 3], \"live_handles\": [2, 3, 4, 7, 8]}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"promoted\": [6, 5], \"parents\": [[6, null], [5, null]], \"size_delta\": -1, \"minimum\": 5, \"merge_ranks\": [0, 1, 2], \"live_handles\": [5, 6, 8]}, \"expected\": {\"promoted\": [5, 6], \"parents\": [[6, null], [5, null]], \"size_delta\": -1, \"minimum\": 5, \"merge_ranks\": [0, 1, 2], \"live_handles\": [5, 6, 8]}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"promoted\": [], \"parents\": [], \"size_delta\": -1, \"minimum\": 2, \"merge_ranks\": [0, 1], \"live_handles\": [2, 5]}, \"expected\": {\"promoted\": [], \"parents\": [], \"size_delta\": -1, \"minimum\": 2, \"merge_ranks\": [0, 1], \"live_handles\": [2, 5]}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"promoted\": [7, 3], \"parents\": [[7, null], [3, null]], \"size_delta\": -1, \"minimum\": 6, \"merge_ranks\": [0, 0, 1], \"live_handles\": [3, 6, 7]}, \"expected\": {\"promoted\": [3, 7], \"parents\": [[7, null], [3, null]], \"size_delta\": -1, \"minimum\": 6, \"merge_ranks\": [0, 0, 1], \"live_handles\": [3, 6, 7]}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"promoted\": [7, 3], \"parents\": [[7, null], [3, null]], \"size_delta\": -1, \"minimum\": 6, \"merge_ranks\": [0, 0, 1], \"live_handles\": [3, 6, 7]}, \"expected\": {\"promoted\": [3, 7], \"parents\": [[7, null], [3, null]], \"size_delta\": -1, \"minimum\": 6, \"merge_ranks\": [0, 0, 1], \"live_handles\": [3, 6, 7]}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.682,"exit_code":0,"observations":[{"actual":{"live_handles":[],"merge_ranks":[],"minimum":null,"parents":[],"promoted":[],"size_delta":-1},"check":"regression certificate 1","expected":{"live_handles":[],"merge_ranks":[],"minimum":null,"parents":[],"promoted":[],"size_delta":-1},"passed":true},{"actual":{"live_handles":[3],"merge_ranks":[0],"minimum":3,"parents":[[3,null]],"promoted":[3],"size_delta":-1},"check":"regression certificate 2","expected":{"live_handles":[3],"merge_ranks":[0],"minimum":3,"parents":[[3,null]],"promoted":[3],"size_delta":-1},"passed":true},{"actual":{"live_handles":[2,3,4,7,8],"merge_ranks":[0,0,1,2,3],"minimum":7,"parents":[[4,null],[3,null],[2,null]],"promoted":[2,3,4],"size_delta":-1},"check":"regression certificate 3","expected":{"live_handles":[2,3,4,7,8],"merge_ranks":[0,0,1,2,3],"minimum":7,"parents":[[4,null],[3,null],[2,null]],"promoted":[2,3,4],"size_delta":-1},"passed":true},{"actual":{"live_handles":[5,6,8],"merge_ranks":[0,1,2],"minimum":5,"parents":[[6,null],[5,null]],"promoted":[5,6],"size_delta":-1},"check":"regression certificate 4","expected":{"live_handles":[5,6,8],"merge_ranks":[0,1,2],"minimum":5,"parents":[[6,null],[5,null]],"promoted":[5,6],"size_delta":-1},"passed":true},{"actual":{"live_handles":[2,5],"merge_ranks":[0,1],"minimum":2,"parents":[],"promoted":[],"size_delta":-1},"check":"regression certificate 5","expected":{"live_handles":[2,5],"merge_ranks":[0,1],"minimum":2,"parents":[],"promoted":[],"size_delta":-1},"passed":true},{"actual":{"live_handles":[3,6,7],"merge_ranks":[0,0,1],"minimum":6,"parents":[[7,null],[3,null]],"promoted":[3,7],"size_delta":-1},"check":"regression certificate 6","expected":{"live_handles":[3,6,7],"merge_ranks":[0,0,1],"minimum":6,"parents":[[7,null],[3,null]],"promoted":[3,7],"size_delta":-1},"passed":true},{"actual":{"live_handles":[3,6,7],"merge_ranks":[0,0,1],"minimum":6,"parents":[[7,null],[3,null]],"promoted":[3,7],"size_delta":-1},"check":"variant-dependent certificate","expected":{"live_handles":[3,6,7],"merge_ranks":[0,0,1],"minimum":6,"parents":[[7,null],[3,null]],"promoted":[3,7],"size_delta":-1},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"promoted\": [], \"parents\": [], \"size_delta\": -1, \"minimum\": null, \"merge_ranks\": [], \"live_handles\": []}, \"expected\": {\"promoted\": [], \"parents\": [], \"size_delta\": -1, \"minimum\": null, \"merge_ranks\": [], \"live_handles\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"promoted\": [3], \"parents\": [[3, null]], \"size_delta\": -1, \"minimum\": 3, \"merge_ranks\": [0], \"live_handles\": [3]}, \"expected\": {\"promoted\": [3], \"parents\": [[3, null]], \"size_delta\": -1, \"minimum\": 3, \"merge_ranks\": [0], \"live_handles\": [3]}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"promoted\": [2, 3, 4], \"parents\": [[4, null], [3, null], [2, null]], \"size_delta\": -1, \"minimum\": 7, \"merge_ranks\": [0, 0, 1, 2, 3], \"live_handles\": [2, 3, 4, 7, 8]}, \"expected\": {\"promoted\": [2, 3, 4], \"parents\": [[4, null], [3, null], [2, null]], \"size_delta\": -1, \"minimum\": 7, \"merge_ranks\": [0, 0, 1, 2, 3], \"live_handles\": [2, 3, 4, 7, 8]}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"promoted\": [5, 6], \"parents\": [[6, null], [5, null]], \"size_delta\": -1, \"minimum\": 5, \"merge_ranks\": [0, 1, 2], \"live_handles\": [5, 6, 8]}, \"expected\": {\"promoted\": [5, 6], \"parents\": [[6, null], [5, null]], \"size_delta\": -1, \"minimum\": 5, \"merge_ranks\": [0, 1, 2], \"live_handles\": [5, 6, 8]}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"promoted\": [], \"parents\": [], \"size_delta\": -1, \"minimum\": 2, \"merge_ranks\": [0, 1], \"live_handles\": [2, 5]}, \"expected\": {\"promoted\": [], \"parents\": [], \"size_delta\": -1, \"minimum\": 2, \"merge_ranks\": [0, 1], \"live_handles\": [2, 5]}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"promoted\": [3, 7], \"parents\": [[7, null], [3, null]], \"size_delta\": -1, \"minimum\": 6, \"merge_ranks\": [0, 0, 1], \"live_handles\": [3, 6, 7]}, \"expected\": {\"promoted\": [3, 7], \"parents\": [[7, null], [3, null]], \"size_delta\": -1, \"minimum\": 6, \"merge_ranks\": [0, 0, 1], \"live_handles\": [3, 6, 7]}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"promoted\": [3, 7], \"parents\": [[7, null], [3, null]], \"size_delta\": -1, \"minimum\": 6, \"merge_ranks\": [0, 0, 1], \"live_handles\": [3, 6, 7]}, \"expected\": {\"promoted\": [3, 7], \"parents\": [[7, null], [3, null]], \"size_delta\": -1, \"minimum\": 6, \"merge_ranks\": [0, 0, 1], \"live_handles\": [3, 6, 7]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}