{"abstract":"The bounded weak join certificate reports an incorrect keys.","category":"Heap invariants","checks":7,"contract":"A weak-heap join receives keys, reverse bits, ancestor i and distinct descendant j. When keys[j]<keys[i], swap these keys and flip only reverse[j]; on equality do nothing. Return resulting keys, reversal bits, swapped status, winning key, changed reversal index, and comparison count.","evaluation_group":"s3-heap-model-weak-join","failed_approach":"The local patch uses [min(x,a[j]) if k==i else x for k,x in enumerate(a)] and still violates the stated relation.","family":"s3-heap-weak-join-keys","id":"FA-40561","implementations":{"attempt":{"sha256":"ebe7739e853ad14be15f0256b0ed69ace3cc876e5f5e1552e384691b596e175b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['keys']; r=d['reverse']; i=d['i']; j=d['j']; swap=a[j]<a[i]; out=list(a); bits=list(r)\n    if swap: out[i],out[j]=out[j],out[i]; bits[j]^=1\n    return {'keys': [min(x,a[j]) if k==i else x for k,x in enumerate(a)],\n    'bits': bits,\n    'swapped': swap,\n    'winner_key': out[i],\n    'flipped': j if swap else None,\n    'comparisons': 1}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'keys': [4, 2], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [2, 4], 'bits': [0, 1], 'swapped': True, 'winner_key': 2, 'flipped': 1, 'comparisons': 1}), ({'keys': [1, 7], 'reverse': [0, 1], 'i': 0, 'j': 1}, {'keys': [1, 7], 'bits': [0, 1], 'swapped': False, 'winner_key': 1, 'flipped': None, 'comparisons': 1}), ({'keys': [3, 3], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [3, 3], 'bits': [0, 0], 'swapped': False, 'winner_key': 3, 'flipped': None, 'comparisons': 1}), ({'keys': [0, 8, 5, 2], 'reverse': [0, 1, 0, 1], 'i': 1, 'j': 3}, {'keys': [0, 2, 5, 8], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 2, 'flipped': 3, 'comparisons': 1}), ({'keys': [9, 1, 7, 3], 'reverse': [0, 1, 1, 0], 'i': 0, 'j': 2}, {'keys': [7, 1, 9, 3], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 7, 'flipped': 2, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 5], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 5], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 4], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 4], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1})], [({'keys': [4, 2], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [2, 4], 'bits': [0, 1], 'swapped': True, 'winner_key': 2, 'flipped': 1, 'comparisons': 1}), ({'keys': [1, 7], 'reverse': [0, 1], 'i': 0, 'j': 1}, {'keys': [1, 7], 'bits': [0, 1], 'swapped': False, 'winner_key': 1, 'flipped': None, 'comparisons': 1}), ({'keys': [3, 3], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [3, 3], 'bits': [0, 0], 'swapped': False, 'winner_key': 3, 'flipped': None, 'comparisons': 1}), ({'keys': [0, 8, 5, 2], 'reverse': [0, 1, 0, 1], 'i': 1, 'j': 3}, {'keys': [0, 2, 5, 8], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 2, 'flipped': 3, 'comparisons': 1}), ({'keys': [9, 1, 7, 3], 'reverse': [0, 1, 1, 0], 'i': 0, 'j': 2}, {'keys': [7, 1, 9, 3], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 7, 'flipped': 2, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 5], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 5], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 3], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 3], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1})], [({'keys': [4, 2], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [2, 4], 'bits': [0, 1], 'swapped': True, 'winner_key': 2, 'flipped': 1, 'comparisons': 1}), ({'keys': [1, 7], 'reverse': [0, 1], 'i': 0, 'j': 1}, {'keys': [1, 7], 'bits': [0, 1], 'swapped': False, 'winner_key': 1, 'flipped': None, 'comparisons': 1}), ({'keys': [3, 3], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [3, 3], 'bits': [0, 0], 'swapped': False, 'winner_key': 3, 'flipped': None, 'comparisons': 1}), ({'keys': [0, 8, 5, 2], 'reverse': [0, 1, 0, 1], 'i': 1, 'j': 3}, {'keys': [0, 2, 5, 8], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 2, 'flipped': 3, 'comparisons': 1}), ({'keys': [9, 1, 7, 3], 'reverse': [0, 1, 1, 0], 'i': 0, 'j': 2}, {'keys': [7, 1, 9, 3], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 7, 'flipped': 2, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 5], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 5], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 2], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 2], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1})], [({'keys': [4, 2], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [2, 4], 'bits': [0, 1], 'swapped': True, 'winner_key': 2, 'flipped': 1, 'comparisons': 1}), ({'keys': [1, 7], 'reverse': [0, 1], 'i': 0, 'j': 1}, {'keys': [1, 7], 'bits': [0, 1], 'swapped': False, 'winner_key': 1, 'flipped': None, 'comparisons': 1}), ({'keys': [3, 3], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [3, 3], 'bits': [0, 0], 'swapped': False, 'winner_key': 3, 'flipped': None, 'comparisons': 1}), ({'keys': [0, 8, 5, 2], 'reverse': [0, 1, 0, 1], 'i': 1, 'j': 3}, {'keys': [0, 2, 5, 8], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 2, 'flipped': 3, 'comparisons': 1}), ({'keys': [9, 1, 7, 3], 'reverse': [0, 1, 1, 0], 'i': 0, 'j': 2}, {'keys': [7, 1, 9, 3], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 7, 'flipped': 2, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 5], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 5], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 1], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 1, 3, 4, 2], 'bits': [0, 1, 0, 1, 1], 'swapped': True, 'winner_key': 1, 'flipped': 4, 'comparisons': 1})], [({'keys': [4, 2], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [2, 4], 'bits': [0, 1], 'swapped': True, 'winner_key': 2, 'flipped': 1, 'comparisons': 1}), ({'keys': [1, 7], 'reverse': [0, 1], 'i': 0, 'j': 1}, {'keys': [1, 7], 'bits': [0, 1], 'swapped': False, 'winner_key': 1, 'flipped': None, 'comparisons': 1}), ({'keys': [3, 3], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [3, 3], 'bits': [0, 0], 'swapped': False, 'winner_key': 3, 'flipped': None, 'comparisons': 1}), ({'keys': [0, 8, 5, 2], 'reverse': [0, 1, 0, 1], 'i': 1, 'j': 3}, {'keys': [0, 2, 5, 8], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 2, 'flipped': 3, 'comparisons': 1}), ({'keys': [9, 1, 7, 3], 'reverse': [0, 1, 1, 0], 'i': 0, 'j': 2}, {'keys': [7, 1, 9, 3], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 7, 'flipped': 2, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 5], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 5], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 0], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 0, 3, 4, 2], 'bits': [0, 1, 0, 1, 1], 'swapped': True, 'winner_key': 0, 'flipped': 4, 'comparisons': 1})]][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":"bed3944a9cb2b6dcff836d89d7550906e0e80139266f9bbc81709b389e465f7d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['keys']; r=d['reverse']; i=d['i']; j=d['j']; swap=a[j]<a[i]; out=list(a); bits=list(r)\n    if swap: out[i],out[j]=out[j],out[i]; bits[j]^=1\n    return {'keys': a,\n    'bits': bits,\n    'swapped': swap,\n    'winner_key': out[i],\n    'flipped': j if swap else None,\n    'comparisons': 1}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'keys': [4, 2], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [2, 4], 'bits': [0, 1], 'swapped': True, 'winner_key': 2, 'flipped': 1, 'comparisons': 1}), ({'keys': [1, 7], 'reverse': [0, 1], 'i': 0, 'j': 1}, {'keys': [1, 7], 'bits': [0, 1], 'swapped': False, 'winner_key': 1, 'flipped': None, 'comparisons': 1}), ({'keys': [3, 3], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [3, 3], 'bits': [0, 0], 'swapped': False, 'winner_key': 3, 'flipped': None, 'comparisons': 1}), ({'keys': [0, 8, 5, 2], 'reverse': [0, 1, 0, 1], 'i': 1, 'j': 3}, {'keys': [0, 2, 5, 8], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 2, 'flipped': 3, 'comparisons': 1}), ({'keys': [9, 1, 7, 3], 'reverse': [0, 1, 1, 0], 'i': 0, 'j': 2}, {'keys': [7, 1, 9, 3], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 7, 'flipped': 2, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 5], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 5], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 4], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 4], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1})], [({'keys': [4, 2], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [2, 4], 'bits': [0, 1], 'swapped': True, 'winner_key': 2, 'flipped': 1, 'comparisons': 1}), ({'keys': [1, 7], 'reverse': [0, 1], 'i': 0, 'j': 1}, {'keys': [1, 7], 'bits': [0, 1], 'swapped': False, 'winner_key': 1, 'flipped': None, 'comparisons': 1}), ({'keys': [3, 3], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [3, 3], 'bits': [0, 0], 'swapped': False, 'winner_key': 3, 'flipped': None, 'comparisons': 1}), ({'keys': [0, 8, 5, 2], 'reverse': [0, 1, 0, 1], 'i': 1, 'j': 3}, {'keys': [0, 2, 5, 8], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 2, 'flipped': 3, 'comparisons': 1}), ({'keys': [9, 1, 7, 3], 'reverse': [0, 1, 1, 0], 'i': 0, 'j': 2}, {'keys': [7, 1, 9, 3], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 7, 'flipped': 2, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 5], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 5], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 3], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 3], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1})], [({'keys': [4, 2], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [2, 4], 'bits': [0, 1], 'swapped': True, 'winner_key': 2, 'flipped': 1, 'comparisons': 1}), ({'keys': [1, 7], 'reverse': [0, 1], 'i': 0, 'j': 1}, {'keys': [1, 7], 'bits': [0, 1], 'swapped': False, 'winner_key': 1, 'flipped': None, 'comparisons': 1}), ({'keys': [3, 3], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [3, 3], 'bits': [0, 0], 'swapped': False, 'winner_key': 3, 'flipped': None, 'comparisons': 1}), ({'keys': [0, 8, 5, 2], 'reverse': [0, 1, 0, 1], 'i': 1, 'j': 3}, {'keys': [0, 2, 5, 8], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 2, 'flipped': 3, 'comparisons': 1}), ({'keys': [9, 1, 7, 3], 'reverse': [0, 1, 1, 0], 'i': 0, 'j': 2}, {'keys': [7, 1, 9, 3], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 7, 'flipped': 2, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 5], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 5], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 2], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 2], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1})], [({'keys': [4, 2], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [2, 4], 'bits': [0, 1], 'swapped': True, 'winner_key': 2, 'flipped': 1, 'comparisons': 1}), ({'keys': [1, 7], 'reverse': [0, 1], 'i': 0, 'j': 1}, {'keys': [1, 7], 'bits': [0, 1], 'swapped': False, 'winner_key': 1, 'flipped': None, 'comparisons': 1}), ({'keys': [3, 3], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [3, 3], 'bits': [0, 0], 'swapped': False, 'winner_key': 3, 'flipped': None, 'comparisons': 1}), ({'keys': [0, 8, 5, 2], 'reverse': [0, 1, 0, 1], 'i': 1, 'j': 3}, {'keys': [0, 2, 5, 8], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 2, 'flipped': 3, 'comparisons': 1}), ({'keys': [9, 1, 7, 3], 'reverse': [0, 1, 1, 0], 'i': 0, 'j': 2}, {'keys': [7, 1, 9, 3], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 7, 'flipped': 2, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 5], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 5], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 1], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 1, 3, 4, 2], 'bits': [0, 1, 0, 1, 1], 'swapped': True, 'winner_key': 1, 'flipped': 4, 'comparisons': 1})], [({'keys': [4, 2], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [2, 4], 'bits': [0, 1], 'swapped': True, 'winner_key': 2, 'flipped': 1, 'comparisons': 1}), ({'keys': [1, 7], 'reverse': [0, 1], 'i': 0, 'j': 1}, {'keys': [1, 7], 'bits': [0, 1], 'swapped': False, 'winner_key': 1, 'flipped': None, 'comparisons': 1}), ({'keys': [3, 3], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [3, 3], 'bits': [0, 0], 'swapped': False, 'winner_key': 3, 'flipped': None, 'comparisons': 1}), ({'keys': [0, 8, 5, 2], 'reverse': [0, 1, 0, 1], 'i': 1, 'j': 3}, {'keys': [0, 2, 5, 8], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 2, 'flipped': 3, 'comparisons': 1}), ({'keys': [9, 1, 7, 3], 'reverse': [0, 1, 1, 0], 'i': 0, 'j': 2}, {'keys': [7, 1, 9, 3], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 7, 'flipped': 2, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 5], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 5], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 0], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 0, 3, 4, 2], 'bits': [0, 1, 0, 1, 1], 'swapped': True, 'winner_key': 0, 'flipped': 4, 'comparisons': 1})]][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":"04c9ad21050bb033f96234fdb75e67519d85ede7a298ff5d297cb8706a30716f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['keys']; r=d['reverse']; i=d['i']; j=d['j']; swap=a[j]<a[i]; out=list(a); bits=list(r)\n    if swap: out[i],out[j]=out[j],out[i]; bits[j]^=1\n    return {'keys': out,\n    'bits': bits,\n    'swapped': swap,\n    'winner_key': out[i],\n    'flipped': j if swap else None,\n    'comparisons': 1}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'keys': [4, 2], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [2, 4], 'bits': [0, 1], 'swapped': True, 'winner_key': 2, 'flipped': 1, 'comparisons': 1}), ({'keys': [1, 7], 'reverse': [0, 1], 'i': 0, 'j': 1}, {'keys': [1, 7], 'bits': [0, 1], 'swapped': False, 'winner_key': 1, 'flipped': None, 'comparisons': 1}), ({'keys': [3, 3], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [3, 3], 'bits': [0, 0], 'swapped': False, 'winner_key': 3, 'flipped': None, 'comparisons': 1}), ({'keys': [0, 8, 5, 2], 'reverse': [0, 1, 0, 1], 'i': 1, 'j': 3}, {'keys': [0, 2, 5, 8], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 2, 'flipped': 3, 'comparisons': 1}), ({'keys': [9, 1, 7, 3], 'reverse': [0, 1, 1, 0], 'i': 0, 'j': 2}, {'keys': [7, 1, 9, 3], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 7, 'flipped': 2, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 5], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 5], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 4], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 4], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1})], [({'keys': [4, 2], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [2, 4], 'bits': [0, 1], 'swapped': True, 'winner_key': 2, 'flipped': 1, 'comparisons': 1}), ({'keys': [1, 7], 'reverse': [0, 1], 'i': 0, 'j': 1}, {'keys': [1, 7], 'bits': [0, 1], 'swapped': False, 'winner_key': 1, 'flipped': None, 'comparisons': 1}), ({'keys': [3, 3], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [3, 3], 'bits': [0, 0], 'swapped': False, 'winner_key': 3, 'flipped': None, 'comparisons': 1}), ({'keys': [0, 8, 5, 2], 'reverse': [0, 1, 0, 1], 'i': 1, 'j': 3}, {'keys': [0, 2, 5, 8], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 2, 'flipped': 3, 'comparisons': 1}), ({'keys': [9, 1, 7, 3], 'reverse': [0, 1, 1, 0], 'i': 0, 'j': 2}, {'keys': [7, 1, 9, 3], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 7, 'flipped': 2, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 5], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 5], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 3], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 3], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1})], [({'keys': [4, 2], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [2, 4], 'bits': [0, 1], 'swapped': True, 'winner_key': 2, 'flipped': 1, 'comparisons': 1}), ({'keys': [1, 7], 'reverse': [0, 1], 'i': 0, 'j': 1}, {'keys': [1, 7], 'bits': [0, 1], 'swapped': False, 'winner_key': 1, 'flipped': None, 'comparisons': 1}), ({'keys': [3, 3], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [3, 3], 'bits': [0, 0], 'swapped': False, 'winner_key': 3, 'flipped': None, 'comparisons': 1}), ({'keys': [0, 8, 5, 2], 'reverse': [0, 1, 0, 1], 'i': 1, 'j': 3}, {'keys': [0, 2, 5, 8], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 2, 'flipped': 3, 'comparisons': 1}), ({'keys': [9, 1, 7, 3], 'reverse': [0, 1, 1, 0], 'i': 0, 'j': 2}, {'keys': [7, 1, 9, 3], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 7, 'flipped': 2, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 5], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 5], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 2], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 2], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1})], [({'keys': [4, 2], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [2, 4], 'bits': [0, 1], 'swapped': True, 'winner_key': 2, 'flipped': 1, 'comparisons': 1}), ({'keys': [1, 7], 'reverse': [0, 1], 'i': 0, 'j': 1}, {'keys': [1, 7], 'bits': [0, 1], 'swapped': False, 'winner_key': 1, 'flipped': None, 'comparisons': 1}), ({'keys': [3, 3], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [3, 3], 'bits': [0, 0], 'swapped': False, 'winner_key': 3, 'flipped': None, 'comparisons': 1}), ({'keys': [0, 8, 5, 2], 'reverse': [0, 1, 0, 1], 'i': 1, 'j': 3}, {'keys': [0, 2, 5, 8], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 2, 'flipped': 3, 'comparisons': 1}), ({'keys': [9, 1, 7, 3], 'reverse': [0, 1, 1, 0], 'i': 0, 'j': 2}, {'keys': [7, 1, 9, 3], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 7, 'flipped': 2, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 5], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 5], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 1], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 1, 3, 4, 2], 'bits': [0, 1, 0, 1, 1], 'swapped': True, 'winner_key': 1, 'flipped': 4, 'comparisons': 1})], [({'keys': [4, 2], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [2, 4], 'bits': [0, 1], 'swapped': True, 'winner_key': 2, 'flipped': 1, 'comparisons': 1}), ({'keys': [1, 7], 'reverse': [0, 1], 'i': 0, 'j': 1}, {'keys': [1, 7], 'bits': [0, 1], 'swapped': False, 'winner_key': 1, 'flipped': None, 'comparisons': 1}), ({'keys': [3, 3], 'reverse': [0, 0], 'i': 0, 'j': 1}, {'keys': [3, 3], 'bits': [0, 0], 'swapped': False, 'winner_key': 3, 'flipped': None, 'comparisons': 1}), ({'keys': [0, 8, 5, 2], 'reverse': [0, 1, 0, 1], 'i': 1, 'j': 3}, {'keys': [0, 2, 5, 8], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 2, 'flipped': 3, 'comparisons': 1}), ({'keys': [9, 1, 7, 3], 'reverse': [0, 1, 1, 0], 'i': 0, 'j': 2}, {'keys': [7, 1, 9, 3], 'bits': [0, 1, 0, 0], 'swapped': True, 'winner_key': 7, 'flipped': 2, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 5], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 2, 3, 4, 5], 'bits': [0, 1, 0, 1, 0], 'swapped': False, 'winner_key': 2, 'flipped': None, 'comparisons': 1}), ({'keys': [1, 2, 3, 4, 0], 'reverse': [0, 1, 0, 1, 0], 'i': 1, 'j': 4}, {'keys': [1, 0, 3, 4, 2], 'bits': [0, 1, 0, 1, 1], 'swapped': True, 'winner_key': 0, 'flipped': 4, 'comparisons': 1})]][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-weak-join-keys","generated_at":"2026-09-29T14:43:32.223045+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 keys using out under the stated bounded certificate contract.","root_cause":"Weak join preserves both exchanged keys instead of overwriting the ancestor.","sha256":"f772fb8cdaa6a1bbc1f4e9b30857bac8e36b665d78b041dbdc710a68e4abd3ed","title":"Weak join preserves both exchanged keys instead of overwriting the ancestor · 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.84,"exit_code":1,"observations":[{"actual":{"bits":[0,1],"comparisons":1,"flipped":1,"keys":[2,2],"swapped":true,"winner_key":2},"check":"regression certificate 1","expected":{"bits":[0,1],"comparisons":1,"flipped":1,"keys":[2,4],"swapped":true,"winner_key":2},"passed":false},{"actual":{"bits":[0,1],"comparisons":1,"flipped":null,"keys":[1,7],"swapped":false,"winner_key":1},"check":"regression certificate 2","expected":{"bits":[0,1],"comparisons":1,"flipped":null,"keys":[1,7],"swapped":false,"winner_key":1},"passed":true},{"actual":{"bits":[0,0],"comparisons":1,"flipped":null,"keys":[3,3],"swapped":false,"winner_key":3},"check":"regression certificate 3","expected":{"bits":[0,0],"comparisons":1,"flipped":null,"keys":[3,3],"swapped":false,"winner_key":3},"passed":true},{"actual":{"bits":[0,1,0,0],"comparisons":1,"flipped":3,"keys":[0,2,5,2],"swapped":true,"winner_key":2},"check":"regression certificate 4","expected":{"bits":[0,1,0,0],"comparisons":1,"flipped":3,"keys":[0,2,5,8],"swapped":true,"winner_key":2},"passed":false},{"actual":{"bits":[0,1,0,0],"comparisons":1,"flipped":2,"keys":[7,1,7,3],"swapped":true,"winner_key":7},"check":"regression certificate 5","expected":{"bits":[0,1,0,0],"comparisons":1,"flipped":2,"keys":[7,1,9,3],"swapped":true,"winner_key":7},"passed":false},{"actual":{"bits":[0,1,0,1,0],"comparisons":1,"flipped":null,"keys":[1,2,3,4,5],"swapped":false,"winner_key":2},"check":"regression certificate 6","expected":{"bits":[0,1,0,1,0],"comparisons":1,"flipped":null,"keys":[1,2,3,4,5],"swapped":false,"winner_key":2},"passed":true},{"actual":{"bits":[0,1,0,1,0],"comparisons":1,"flipped":null,"keys":[1,2,3,4,4],"swapped":false,"winner_key":2},"check":"variant-dependent certificate","expected":{"bits":[0,1,0,1,0],"comparisons":1,"flipped":null,"keys":[1,2,3,4,4],"swapped":false,"winner_key":2},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"keys\": [2, 2], \"bits\": [0, 1], \"swapped\": true, \"winner_key\": 2, \"flipped\": 1, \"comparisons\": 1}, \"expected\": {\"keys\": [2, 4], \"bits\": [0, 1], \"swapped\": true, \"winner_key\": 2, \"flipped\": 1, \"comparisons\": 1}, \"passed\": false}, {\"check\": \"regression certificate 2\", \"actual\": {\"keys\": [1, 7], \"bits\": [0, 1], \"swapped\": false, \"winner_key\": 1, \"flipped\": null, \"comparisons\": 1}, \"expected\": {\"keys\": [1, 7], \"bits\": [0, 1], \"swapped\": false, \"winner_key\": 1, \"flipped\": null, \"comparisons\": 1}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"keys\": [3, 3], \"bits\": [0, 0], \"swapped\": false, \"winner_key\": 3, \"flipped\": null, \"comparisons\": 1}, \"expected\": {\"keys\": [3, 3], \"bits\": [0, 0], \"swapped\": false, \"winner_key\": 3, \"flipped\": null, \"comparisons\": 1}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"keys\": [0, 2, 5, 2], \"bits\": [0, 1, 0, 0], \"swapped\": true, \"winner_key\": 2, \"flipped\": 3, \"comparisons\": 1}, \"expected\": {\"keys\": [0, 2, 5, 8], \"bits\": [0, 1, 0, 0], \"swapped\": true, \"winner_key\": 2, \"flipped\": 3, \"comparisons\": 1}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"keys\": [7, 1, 7, 3], \"bits\": [0, 1, 0, 0], \"swapped\": true, \"winner_key\": 7, \"flipped\": 2, \"comparisons\": 1}, \"expected\": {\"keys\": [7, 1, 9, 3], \"bits\": [0, 1, 0, 0], \"swapped\": true, \"winner_key\": 7, \"flipped\": 2, \"comparisons\": 1}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"keys\": [1, 2, 3, 4, 5], \"bits\": [0, 1, 0, 1, 0], \"swapped\": false, \"winner_key\": 2, \"flipped\": null, \"comparisons\": 1}, \"expected\": {\"keys\": [1, 2, 3, 4, 5], \"bits\": [0, 1, 0, 1, 0], \"swapped\": false, \"winner_key\": 2, \"flipped\": null, \"comparisons\": 1}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"keys\": [1, 2, 3, 4, 4], \"bits\": [0, 1, 0, 1, 0], \"swapped\": false, \"winner_key\": 2, \"flipped\": null, \"comparisons\": 1}, \"expected\": {\"keys\": [1, 2, 3, 4, 4], \"bits\": [0, 1, 0, 1, 0], \"swapped\": false, \"winner_key\": 2, \"flipped\": null, \"comparisons\": 1}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.578,"exit_code":1,"observations":[{"actual":{"bits":[0,1],"comparisons":1,"flipped":1,"keys":[4,2],"swapped":true,"winner_key":2},"check":"regression certificate 1","expected":{"bits":[0,1],"comparisons":1,"flipped":1,"keys":[2,4],"swapped":true,"winner_key":2},"passed":false},{"actual":{"bits":[0,1],"comparisons":1,"flipped":null,"keys":[1,7],"swapped":false,"winner_key":1},"check":"regression certificate 2","expected":{"bits":[0,1],"comparisons":1,"flipped":null,"keys":[1,7],"swapped":false,"winner_key":1},"passed":true},{"actual":{"bits":[0,0],"comparisons":1,"flipped":null,"keys":[3,3],"swapped":false,"winner_key":3},"check":"regression certificate 3","expected":{"bits":[0,0],"comparisons":1,"flipped":null,"keys":[3,3],"swapped":false,"winner_key":3},"passed":true},{"actual":{"bits":[0,1,0,0],"comparisons":1,"flipped":3,"keys":[0,8,5,2],"swapped":true,"winner_key":2},"check":"regression certificate 4","expected":{"bits":[0,1,0,0],"comparisons":1,"flipped":3,"keys":[0,2,5,8],"swapped":true,"winner_key":2},"passed":false},{"actual":{"bits":[0,1,0,0],"comparisons":1,"flipped":2,"keys":[9,1,7,3],"swapped":true,"winner_key":7},"check":"regression certificate 5","expected":{"bits":[0,1,0,0],"comparisons":1,"flipped":2,"keys":[7,1,9,3],"swapped":true,"winner_key":7},"passed":false},{"actual":{"bits":[0,1,0,1,0],"comparisons":1,"flipped":null,"keys":[1,2,3,4,5],"swapped":false,"winner_key":2},"check":"regression certificate 6","expected":{"bits":[0,1,0,1,0],"comparisons":1,"flipped":null,"keys":[1,2,3,4,5],"swapped":false,"winner_key":2},"passed":true},{"actual":{"bits":[0,1,0,1,0],"comparisons":1,"flipped":null,"keys":[1,2,3,4,4],"swapped":false,"winner_key":2},"check":"variant-dependent certificate","expected":{"bits":[0,1,0,1,0],"comparisons":1,"flipped":null,"keys":[1,2,3,4,4],"swapped":false,"winner_key":2},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"keys\": [4, 2], \"bits\": [0, 1], \"swapped\": true, \"winner_key\": 2, \"flipped\": 1, \"comparisons\": 1}, \"expected\": {\"keys\": [2, 4], \"bits\": [0, 1], \"swapped\": true, \"winner_key\": 2, \"flipped\": 1, \"comparisons\": 1}, \"passed\": false}, {\"check\": \"regression certificate 2\", \"actual\": {\"keys\": [1, 7], \"bits\": [0, 1], \"swapped\": false, \"winner_key\": 1, \"flipped\": null, \"comparisons\": 1}, \"expected\": {\"keys\": [1, 7], \"bits\": [0, 1], \"swapped\": false, \"winner_key\": 1, \"flipped\": null, \"comparisons\": 1}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"keys\": [3, 3], \"bits\": [0, 0], \"swapped\": false, \"winner_key\": 3, \"flipped\": null, \"comparisons\": 1}, \"expected\": {\"keys\": [3, 3], \"bits\": [0, 0], \"swapped\": false, \"winner_key\": 3, \"flipped\": null, \"comparisons\": 1}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"keys\": [0, 8, 5, 2], \"bits\": [0, 1, 0, 0], \"swapped\": true, \"winner_key\": 2, \"flipped\": 3, \"comparisons\": 1}, \"expected\": {\"keys\": [0, 2, 5, 8], \"bits\": [0, 1, 0, 0], \"swapped\": true, \"winner_key\": 2, \"flipped\": 3, \"comparisons\": 1}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"keys\": [9, 1, 7, 3], \"bits\": [0, 1, 0, 0], \"swapped\": true, \"winner_key\": 7, \"flipped\": 2, \"comparisons\": 1}, \"expected\": {\"keys\": [7, 1, 9, 3], \"bits\": [0, 1, 0, 0], \"swapped\": true, \"winner_key\": 7, \"flipped\": 2, \"comparisons\": 1}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"keys\": [1, 2, 3, 4, 5], \"bits\": [0, 1, 0, 1, 0], \"swapped\": false, \"winner_key\": 2, \"flipped\": null, \"comparisons\": 1}, \"expected\": {\"keys\": [1, 2, 3, 4, 5], \"bits\": [0, 1, 0, 1, 0], \"swapped\": false, \"winner_key\": 2, \"flipped\": null, \"comparisons\": 1}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"keys\": [1, 2, 3, 4, 4], \"bits\": [0, 1, 0, 1, 0], \"swapped\": false, \"winner_key\": 2, \"flipped\": null, \"comparisons\": 1}, \"expected\": {\"keys\": [1, 2, 3, 4, 4], \"bits\": [0, 1, 0, 1, 0], \"swapped\": false, \"winner_key\": 2, \"flipped\": null, \"comparisons\": 1}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.654,"exit_code":0,"observations":[{"actual":{"bits":[0,1],"comparisons":1,"flipped":1,"keys":[2,4],"swapped":true,"winner_key":2},"check":"regression certificate 1","expected":{"bits":[0,1],"comparisons":1,"flipped":1,"keys":[2,4],"swapped":true,"winner_key":2},"passed":true},{"actual":{"bits":[0,1],"comparisons":1,"flipped":null,"keys":[1,7],"swapped":false,"winner_key":1},"check":"regression certificate 2","expected":{"bits":[0,1],"comparisons":1,"flipped":null,"keys":[1,7],"swapped":false,"winner_key":1},"passed":true},{"actual":{"bits":[0,0],"comparisons":1,"flipped":null,"keys":[3,3],"swapped":false,"winner_key":3},"check":"regression certificate 3","expected":{"bits":[0,0],"comparisons":1,"flipped":null,"keys":[3,3],"swapped":false,"winner_key":3},"passed":true},{"actual":{"bits":[0,1,0,0],"comparisons":1,"flipped":3,"keys":[0,2,5,8],"swapped":true,"winner_key":2},"check":"regression certificate 4","expected":{"bits":[0,1,0,0],"comparisons":1,"flipped":3,"keys":[0,2,5,8],"swapped":true,"winner_key":2},"passed":true},{"actual":{"bits":[0,1,0,0],"comparisons":1,"flipped":2,"keys":[7,1,9,3],"swapped":true,"winner_key":7},"check":"regression certificate 5","expected":{"bits":[0,1,0,0],"comparisons":1,"flipped":2,"keys":[7,1,9,3],"swapped":true,"winner_key":7},"passed":true},{"actual":{"bits":[0,1,0,1,0],"comparisons":1,"flipped":null,"keys":[1,2,3,4,5],"swapped":false,"winner_key":2},"check":"regression certificate 6","expected":{"bits":[0,1,0,1,0],"comparisons":1,"flipped":null,"keys":[1,2,3,4,5],"swapped":false,"winner_key":2},"passed":true},{"actual":{"bits":[0,1,0,1,0],"comparisons":1,"flipped":null,"keys":[1,2,3,4,4],"swapped":false,"winner_key":2},"check":"variant-dependent certificate","expected":{"bits":[0,1,0,1,0],"comparisons":1,"flipped":null,"keys":[1,2,3,4,4],"swapped":false,"winner_key":2},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"keys\": [2, 4], \"bits\": [0, 1], \"swapped\": true, \"winner_key\": 2, \"flipped\": 1, \"comparisons\": 1}, \"expected\": {\"keys\": [2, 4], \"bits\": [0, 1], \"swapped\": true, \"winner_key\": 2, \"flipped\": 1, \"comparisons\": 1}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"keys\": [1, 7], \"bits\": [0, 1], \"swapped\": false, \"winner_key\": 1, \"flipped\": null, \"comparisons\": 1}, \"expected\": {\"keys\": [1, 7], \"bits\": [0, 1], \"swapped\": false, \"winner_key\": 1, \"flipped\": null, \"comparisons\": 1}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"keys\": [3, 3], \"bits\": [0, 0], \"swapped\": false, \"winner_key\": 3, \"flipped\": null, \"comparisons\": 1}, \"expected\": {\"keys\": [3, 3], \"bits\": [0, 0], \"swapped\": false, \"winner_key\": 3, \"flipped\": null, \"comparisons\": 1}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"keys\": [0, 2, 5, 8], \"bits\": [0, 1, 0, 0], \"swapped\": true, \"winner_key\": 2, \"flipped\": 3, \"comparisons\": 1}, \"expected\": {\"keys\": [0, 2, 5, 8], \"bits\": [0, 1, 0, 0], \"swapped\": true, \"winner_key\": 2, \"flipped\": 3, \"comparisons\": 1}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"keys\": [7, 1, 9, 3], \"bits\": [0, 1, 0, 0], \"swapped\": true, \"winner_key\": 7, \"flipped\": 2, \"comparisons\": 1}, \"expected\": {\"keys\": [7, 1, 9, 3], \"bits\": [0, 1, 0, 0], \"swapped\": true, \"winner_key\": 7, \"flipped\": 2, \"comparisons\": 1}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"keys\": [1, 2, 3, 4, 5], \"bits\": [0, 1, 0, 1, 0], \"swapped\": false, \"winner_key\": 2, \"flipped\": null, \"comparisons\": 1}, \"expected\": {\"keys\": [1, 2, 3, 4, 5], \"bits\": [0, 1, 0, 1, 0], \"swapped\": false, \"winner_key\": 2, \"flipped\": null, \"comparisons\": 1}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"keys\": [1, 2, 3, 4, 4], \"bits\": [0, 1, 0, 1, 0], \"swapped\": false, \"winner_key\": 2, \"flipped\": null, \"comparisons\": 1}, \"expected\": {\"keys\": [1, 2, 3, 4, 4], \"bits\": [0, 1, 0, 1, 0], \"swapped\": false, \"winner_key\": 2, \"flipped\": null, \"comparisons\": 1}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}