{"abstract":"The bounded weak join certificate reports an incorrect comparisons.","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 abs(j-i) and still violates the stated relation.","family":"s3-heap-weak-join-comparisons","id":"FA-40586","implementations":{"attempt":{"sha256":"97f615e0a0e33a26a9c23aa14a4ebc91220ddfc840418dfd06be6156757ce47c","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': abs(j-i)}\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":"e6409c87eef6ef70147868efde00f83cf6ee02547a08607cd936600687379eeb","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': int(swap)}\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-comparisons","generated_at":"2026-09-29T14:43:32.484968+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"This isolates an internal heap representation or priority-structure invariant using deterministic finite records.","repair":"Derive comparisons using 1 under the stated bounded certificate contract.","root_cause":"Weak join makes one comparison independently of distance and swap outcome.","sha256":"c1672f54927f63dea94cd14d2de4eb5067c7c713a3f10eddc4b27d43356e4189","title":"Weak join makes one comparison independently of distance and swap outcome · 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":45.018,"exit_code":1,"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":2,"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":false},{"actual":{"bits":[0,1,0,0],"comparisons":2,"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":false},{"actual":{"bits":[0,1,0,1,0],"comparisons":3,"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":false},{"actual":{"bits":[0,1,0,1,0],"comparisons":3,"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":false}],"passed":false,"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\": 2}, \"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, 9, 3], \"bits\": [0, 1, 0, 0], \"swapped\": true, \"winner_key\": 7, \"flipped\": 2, \"comparisons\": 2}, \"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\": 3}, \"expected\": {\"keys\": [1, 2, 3, 4, 5], \"bits\": [0, 1, 0, 1, 0], \"swapped\": false, \"winner_key\": 2, \"flipped\": null, \"comparisons\": 1}, \"passed\": false}, {\"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\": 3}, \"expected\": {\"keys\": [1, 2, 3, 4, 4], \"bits\": [0, 1, 0, 1, 0], \"swapped\": false, \"winner_key\": 2, \"flipped\": null, \"comparisons\": 1}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.207,"exit_code":1,"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":0,"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":false},{"actual":{"bits":[0,0],"comparisons":0,"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":false},{"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":0,"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":false},{"actual":{"bits":[0,1,0,1,0],"comparisons":0,"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":false}],"passed":false,"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\": 0}, \"expected\": {\"keys\": [1, 7], \"bits\": [0, 1], \"swapped\": false, \"winner_key\": 1, \"flipped\": null, \"comparisons\": 1}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"keys\": [3, 3], \"bits\": [0, 0], \"swapped\": false, \"winner_key\": 3, \"flipped\": null, \"comparisons\": 0}, \"expected\": {\"keys\": [3, 3], \"bits\": [0, 0], \"swapped\": false, \"winner_key\": 3, \"flipped\": null, \"comparisons\": 1}, \"passed\": false}, {\"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\": 0}, \"expected\": {\"keys\": [1, 2, 3, 4, 5], \"bits\": [0, 1, 0, 1, 0], \"swapped\": false, \"winner_key\": 2, \"flipped\": null, \"comparisons\": 1}, \"passed\": false}, {\"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\": 0}, \"expected\": {\"keys\": [1, 2, 3, 4, 4], \"bits\": [0, 1, 0, 1, 0], \"swapped\": false, \"winner_key\": 2, \"flipped\": null, \"comparisons\": 1}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.053,"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"}