{"abstract":"The bounded meld ownership certificate reports an incorrect union.","category":"Heap invariants","checks":7,"contract":"A destructive heap meld uses owner union representatives. Parent mapping owner->owner is acyclic and includes every referenced owner. Merge source representative into destination representative; source wrapper becomes empty but live handles from either representative remain resolvable through the union. Report representatives before meld, parent mapping after meld, source size, destination size, accepted handle owners, and whether self-component meld is a no-op.","evaluation_group":"s3-heap-model-meld-ownership","failed_approach":"The local patch uses {**parents,rd:rs} and still violates the stated relation.","family":"s3-heap-meld-ownership-union","id":"FA-41016","implementations":{"attempt":{"sha256":"3f0dda474b1a3966e1b848cc5546c3af0d6ee44b5d8d55261c5d34416b630957","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    parents=d['parents']; dest=d['dest']; src=d['src']\n    def find(x):\n        while parents[x]!=x: x=parents[x]\n        return x\n    rd=find(dest); rs=find(src); out=dict(parents)\n    if rs!=rd: out[rs]=rd\n    return {'representatives': [rd,rs],\n    'union': {**parents,rd:rs},\n    'source_size': d[\"source_size\"] if rs==rd else 0,\n    'destination_size': d[\"dest_size\"] if rs==rd else d[\"dest_size\"]+d[\"source_size\"],\n    'accepted': [x for x in d[\"handles\"] if find(x) in (rd,rs)],\n    'noop': rd==rs}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'parents': {'a': 'a', 'b': 'b'}, 'dest': 'a', 'src': 'b', 'dest_size': 2, 'source_size': 3, 'handles': ['a', 'b']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a'}, 'dest': 'a', 'src': 'a', 'dest_size': 4, 'source_size': 4, 'handles': ['a']}, {'representatives': ['a', 'a'], 'union': {'a': 'a'}, 'source_size': 4, 'destination_size': 4, 'accepted': ['a'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'd'}, 'dest': 'c', 'src': 'd', 'dest_size': 3, 'source_size': 2, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'd'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'c'}, 'dest': 'a', 'src': 'b', 'dest_size': 5, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['a', 'a'], 'union': {'a': 'a', 'b': 'a', 'c': 'c'}, 'source_size': 5, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'b', 'd': 'c'}, 'dest': 'a', 'src': 'd', 'dest_size': 1, 'source_size': 4, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 2, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 2, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 3, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 3, 'accepted': ['a', 'b'], 'noop': False})], [({'parents': {'a': 'a', 'b': 'b'}, 'dest': 'a', 'src': 'b', 'dest_size': 2, 'source_size': 3, 'handles': ['a', 'b']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a'}, 'dest': 'a', 'src': 'a', 'dest_size': 4, 'source_size': 4, 'handles': ['a']}, {'representatives': ['a', 'a'], 'union': {'a': 'a'}, 'source_size': 4, 'destination_size': 4, 'accepted': ['a'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'd'}, 'dest': 'c', 'src': 'd', 'dest_size': 3, 'source_size': 2, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'd'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'c'}, 'dest': 'a', 'src': 'b', 'dest_size': 5, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['a', 'a'], 'union': {'a': 'a', 'b': 'a', 'c': 'c'}, 'source_size': 5, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'b', 'd': 'c'}, 'dest': 'a', 'src': 'd', 'dest_size': 1, 'source_size': 4, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 2, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 2, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 4, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 4, 'accepted': ['a', 'b'], 'noop': False})], [({'parents': {'a': 'a', 'b': 'b'}, 'dest': 'a', 'src': 'b', 'dest_size': 2, 'source_size': 3, 'handles': ['a', 'b']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a'}, 'dest': 'a', 'src': 'a', 'dest_size': 4, 'source_size': 4, 'handles': ['a']}, {'representatives': ['a', 'a'], 'union': {'a': 'a'}, 'source_size': 4, 'destination_size': 4, 'accepted': ['a'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'd'}, 'dest': 'c', 'src': 'd', 'dest_size': 3, 'source_size': 2, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'd'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'c'}, 'dest': 'a', 'src': 'b', 'dest_size': 5, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['a', 'a'], 'union': {'a': 'a', 'b': 'a', 'c': 'c'}, 'source_size': 5, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'b', 'd': 'c'}, 'dest': 'a', 'src': 'd', 'dest_size': 1, 'source_size': 4, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 2, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 2, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False})], [({'parents': {'a': 'a', 'b': 'b'}, 'dest': 'a', 'src': 'b', 'dest_size': 2, 'source_size': 3, 'handles': ['a', 'b']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a'}, 'dest': 'a', 'src': 'a', 'dest_size': 4, 'source_size': 4, 'handles': ['a']}, {'representatives': ['a', 'a'], 'union': {'a': 'a'}, 'source_size': 4, 'destination_size': 4, 'accepted': ['a'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'd'}, 'dest': 'c', 'src': 'd', 'dest_size': 3, 'source_size': 2, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'd'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'c'}, 'dest': 'a', 'src': 'b', 'dest_size': 5, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['a', 'a'], 'union': {'a': 'a', 'b': 'a', 'c': 'c'}, 'source_size': 5, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'b', 'd': 'c'}, 'dest': 'a', 'src': 'd', 'dest_size': 1, 'source_size': 4, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 2, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 2, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 6, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 6, 'accepted': ['a', 'b'], 'noop': False})], [({'parents': {'a': 'a', 'b': 'b'}, 'dest': 'a', 'src': 'b', 'dest_size': 2, 'source_size': 3, 'handles': ['a', 'b']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a'}, 'dest': 'a', 'src': 'a', 'dest_size': 4, 'source_size': 4, 'handles': ['a']}, {'representatives': ['a', 'a'], 'union': {'a': 'a'}, 'source_size': 4, 'destination_size': 4, 'accepted': ['a'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'd'}, 'dest': 'c', 'src': 'd', 'dest_size': 3, 'source_size': 2, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'd'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'c'}, 'dest': 'a', 'src': 'b', 'dest_size': 5, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['a', 'a'], 'union': {'a': 'a', 'b': 'a', 'c': 'c'}, 'source_size': 5, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'b', 'd': 'c'}, 'dest': 'a', 'src': 'd', 'dest_size': 1, 'source_size': 4, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 2, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 2, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 7, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 7, 'accepted': ['a', 'b'], 'noop': False})]][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":"3064626c6f10f7b9a3d0f0aae260477b313003f4cf8164581a5874733180e441","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    parents=d['parents']; dest=d['dest']; src=d['src']\n    def find(x):\n        while parents[x]!=x: x=parents[x]\n        return x\n    rd=find(dest); rs=find(src); out=dict(parents)\n    if rs!=rd: out[rs]=rd\n    return {'representatives': [rd,rs],\n    'union': {**parents,src:dest},\n    'source_size': d[\"source_size\"] if rs==rd else 0,\n    'destination_size': d[\"dest_size\"] if rs==rd else d[\"dest_size\"]+d[\"source_size\"],\n    'accepted': [x for x in d[\"handles\"] if find(x) in (rd,rs)],\n    'noop': rd==rs}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'parents': {'a': 'a', 'b': 'b'}, 'dest': 'a', 'src': 'b', 'dest_size': 2, 'source_size': 3, 'handles': ['a', 'b']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a'}, 'dest': 'a', 'src': 'a', 'dest_size': 4, 'source_size': 4, 'handles': ['a']}, {'representatives': ['a', 'a'], 'union': {'a': 'a'}, 'source_size': 4, 'destination_size': 4, 'accepted': ['a'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'd'}, 'dest': 'c', 'src': 'd', 'dest_size': 3, 'source_size': 2, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'd'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'c'}, 'dest': 'a', 'src': 'b', 'dest_size': 5, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['a', 'a'], 'union': {'a': 'a', 'b': 'a', 'c': 'c'}, 'source_size': 5, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'b', 'd': 'c'}, 'dest': 'a', 'src': 'd', 'dest_size': 1, 'source_size': 4, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 2, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 2, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 3, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 3, 'accepted': ['a', 'b'], 'noop': False})], [({'parents': {'a': 'a', 'b': 'b'}, 'dest': 'a', 'src': 'b', 'dest_size': 2, 'source_size': 3, 'handles': ['a', 'b']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a'}, 'dest': 'a', 'src': 'a', 'dest_size': 4, 'source_size': 4, 'handles': ['a']}, {'representatives': ['a', 'a'], 'union': {'a': 'a'}, 'source_size': 4, 'destination_size': 4, 'accepted': ['a'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'd'}, 'dest': 'c', 'src': 'd', 'dest_size': 3, 'source_size': 2, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'd'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'c'}, 'dest': 'a', 'src': 'b', 'dest_size': 5, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['a', 'a'], 'union': {'a': 'a', 'b': 'a', 'c': 'c'}, 'source_size': 5, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'b', 'd': 'c'}, 'dest': 'a', 'src': 'd', 'dest_size': 1, 'source_size': 4, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 2, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 2, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 4, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 4, 'accepted': ['a', 'b'], 'noop': False})], [({'parents': {'a': 'a', 'b': 'b'}, 'dest': 'a', 'src': 'b', 'dest_size': 2, 'source_size': 3, 'handles': ['a', 'b']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a'}, 'dest': 'a', 'src': 'a', 'dest_size': 4, 'source_size': 4, 'handles': ['a']}, {'representatives': ['a', 'a'], 'union': {'a': 'a'}, 'source_size': 4, 'destination_size': 4, 'accepted': ['a'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'd'}, 'dest': 'c', 'src': 'd', 'dest_size': 3, 'source_size': 2, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'd'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'c'}, 'dest': 'a', 'src': 'b', 'dest_size': 5, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['a', 'a'], 'union': {'a': 'a', 'b': 'a', 'c': 'c'}, 'source_size': 5, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'b', 'd': 'c'}, 'dest': 'a', 'src': 'd', 'dest_size': 1, 'source_size': 4, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 2, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 2, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False})], [({'parents': {'a': 'a', 'b': 'b'}, 'dest': 'a', 'src': 'b', 'dest_size': 2, 'source_size': 3, 'handles': ['a', 'b']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a'}, 'dest': 'a', 'src': 'a', 'dest_size': 4, 'source_size': 4, 'handles': ['a']}, {'representatives': ['a', 'a'], 'union': {'a': 'a'}, 'source_size': 4, 'destination_size': 4, 'accepted': ['a'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'd'}, 'dest': 'c', 'src': 'd', 'dest_size': 3, 'source_size': 2, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'd'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'c'}, 'dest': 'a', 'src': 'b', 'dest_size': 5, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['a', 'a'], 'union': {'a': 'a', 'b': 'a', 'c': 'c'}, 'source_size': 5, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'b', 'd': 'c'}, 'dest': 'a', 'src': 'd', 'dest_size': 1, 'source_size': 4, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 2, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 2, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 6, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 6, 'accepted': ['a', 'b'], 'noop': False})], [({'parents': {'a': 'a', 'b': 'b'}, 'dest': 'a', 'src': 'b', 'dest_size': 2, 'source_size': 3, 'handles': ['a', 'b']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a'}, 'dest': 'a', 'src': 'a', 'dest_size': 4, 'source_size': 4, 'handles': ['a']}, {'representatives': ['a', 'a'], 'union': {'a': 'a'}, 'source_size': 4, 'destination_size': 4, 'accepted': ['a'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'd'}, 'dest': 'c', 'src': 'd', 'dest_size': 3, 'source_size': 2, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'd'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'c'}, 'dest': 'a', 'src': 'b', 'dest_size': 5, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['a', 'a'], 'union': {'a': 'a', 'b': 'a', 'c': 'c'}, 'source_size': 5, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'b', 'd': 'c'}, 'dest': 'a', 'src': 'd', 'dest_size': 1, 'source_size': 4, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 2, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 2, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 7, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 7, 'accepted': ['a', 'b'], 'noop': False})]][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":"00ff04466186ba174f9669ab46bd4c97fbee4e7ec5ace64be6326bf0f08fb4af","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    parents=d['parents']; dest=d['dest']; src=d['src']\n    def find(x):\n        while parents[x]!=x: x=parents[x]\n        return x\n    rd=find(dest); rs=find(src); out=dict(parents)\n    if rs!=rd: out[rs]=rd\n    return {'representatives': [rd,rs],\n    'union': out,\n    'source_size': d[\"source_size\"] if rs==rd else 0,\n    'destination_size': d[\"dest_size\"] if rs==rd else d[\"dest_size\"]+d[\"source_size\"],\n    'accepted': [x for x in d[\"handles\"] if find(x) in (rd,rs)],\n    'noop': rd==rs}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'parents': {'a': 'a', 'b': 'b'}, 'dest': 'a', 'src': 'b', 'dest_size': 2, 'source_size': 3, 'handles': ['a', 'b']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a'}, 'dest': 'a', 'src': 'a', 'dest_size': 4, 'source_size': 4, 'handles': ['a']}, {'representatives': ['a', 'a'], 'union': {'a': 'a'}, 'source_size': 4, 'destination_size': 4, 'accepted': ['a'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'd'}, 'dest': 'c', 'src': 'd', 'dest_size': 3, 'source_size': 2, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'd'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'c'}, 'dest': 'a', 'src': 'b', 'dest_size': 5, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['a', 'a'], 'union': {'a': 'a', 'b': 'a', 'c': 'c'}, 'source_size': 5, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'b', 'd': 'c'}, 'dest': 'a', 'src': 'd', 'dest_size': 1, 'source_size': 4, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 2, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 2, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 3, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 3, 'accepted': ['a', 'b'], 'noop': False})], [({'parents': {'a': 'a', 'b': 'b'}, 'dest': 'a', 'src': 'b', 'dest_size': 2, 'source_size': 3, 'handles': ['a', 'b']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a'}, 'dest': 'a', 'src': 'a', 'dest_size': 4, 'source_size': 4, 'handles': ['a']}, {'representatives': ['a', 'a'], 'union': {'a': 'a'}, 'source_size': 4, 'destination_size': 4, 'accepted': ['a'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'd'}, 'dest': 'c', 'src': 'd', 'dest_size': 3, 'source_size': 2, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'd'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'c'}, 'dest': 'a', 'src': 'b', 'dest_size': 5, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['a', 'a'], 'union': {'a': 'a', 'b': 'a', 'c': 'c'}, 'source_size': 5, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'b', 'd': 'c'}, 'dest': 'a', 'src': 'd', 'dest_size': 1, 'source_size': 4, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 2, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 2, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 4, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 4, 'accepted': ['a', 'b'], 'noop': False})], [({'parents': {'a': 'a', 'b': 'b'}, 'dest': 'a', 'src': 'b', 'dest_size': 2, 'source_size': 3, 'handles': ['a', 'b']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a'}, 'dest': 'a', 'src': 'a', 'dest_size': 4, 'source_size': 4, 'handles': ['a']}, {'representatives': ['a', 'a'], 'union': {'a': 'a'}, 'source_size': 4, 'destination_size': 4, 'accepted': ['a'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'd'}, 'dest': 'c', 'src': 'd', 'dest_size': 3, 'source_size': 2, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'd'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'c'}, 'dest': 'a', 'src': 'b', 'dest_size': 5, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['a', 'a'], 'union': {'a': 'a', 'b': 'a', 'c': 'c'}, 'source_size': 5, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'b', 'd': 'c'}, 'dest': 'a', 'src': 'd', 'dest_size': 1, 'source_size': 4, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 2, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 2, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False})], [({'parents': {'a': 'a', 'b': 'b'}, 'dest': 'a', 'src': 'b', 'dest_size': 2, 'source_size': 3, 'handles': ['a', 'b']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a'}, 'dest': 'a', 'src': 'a', 'dest_size': 4, 'source_size': 4, 'handles': ['a']}, {'representatives': ['a', 'a'], 'union': {'a': 'a'}, 'source_size': 4, 'destination_size': 4, 'accepted': ['a'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'd'}, 'dest': 'c', 'src': 'd', 'dest_size': 3, 'source_size': 2, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'd'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'c'}, 'dest': 'a', 'src': 'b', 'dest_size': 5, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['a', 'a'], 'union': {'a': 'a', 'b': 'a', 'c': 'c'}, 'source_size': 5, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'b', 'd': 'c'}, 'dest': 'a', 'src': 'd', 'dest_size': 1, 'source_size': 4, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 2, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 2, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 6, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 6, 'accepted': ['a', 'b'], 'noop': False})], [({'parents': {'a': 'a', 'b': 'b'}, 'dest': 'a', 'src': 'b', 'dest_size': 2, 'source_size': 3, 'handles': ['a', 'b']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a'}, 'dest': 'a', 'src': 'a', 'dest_size': 4, 'source_size': 4, 'handles': ['a']}, {'representatives': ['a', 'a'], 'union': {'a': 'a'}, 'source_size': 4, 'destination_size': 4, 'accepted': ['a'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'd'}, 'dest': 'c', 'src': 'd', 'dest_size': 3, 'source_size': 2, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'd'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'a'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'a', 'c': 'c'}, 'dest': 'a', 'src': 'b', 'dest_size': 5, 'source_size': 5, 'handles': ['a', 'b', 'c']}, {'representatives': ['a', 'a'], 'union': {'a': 'a', 'b': 'a', 'c': 'c'}, 'source_size': 5, 'destination_size': 5, 'accepted': ['a', 'b'], 'noop': True}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'b', 'd': 'c'}, 'dest': 'a', 'src': 'd', 'dest_size': 1, 'source_size': 4, 'handles': ['a', 'b', 'c', 'd']}, {'representatives': ['a', 'b'], 'union': {'a': 'a', 'b': 'a', 'c': 'b', 'd': 'c'}, 'source_size': 0, 'destination_size': 5, 'accepted': ['a', 'b', 'c', 'd'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 2, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 2, 'accepted': ['a', 'b'], 'noop': False}), ({'parents': {'a': 'a', 'b': 'b', 'c': 'c'}, 'dest': 'b', 'src': 'a', 'dest_size': 0, 'source_size': 7, 'handles': ['a', 'b', 'c']}, {'representatives': ['b', 'a'], 'union': {'a': 'b', 'b': 'b', 'c': 'c'}, 'source_size': 0, 'destination_size': 7, 'accepted': ['a', 'b'], 'noop': False})]][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-meld-ownership-union","generated_at":"2026-09-29T14:43:36.767304+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 union using out under the stated bounded certificate contract.","root_cause":"Heap meld attaches the source representative to the destination representative.","sha256":"dfaf14bd1100aa47bc39ec33fa81dbeebab966787ede8a1b58f9ba8fd85bc7da","title":"Heap meld attaches the source representative to the destination representative · case 01","variant":1,"variant_policy":"Six explicit regression certificates are retained; a seventh changes structural size, position, priority, or bounds with N.","verification":{"attempt":{"elapsed_ms":41.492,"exit_code":1,"observations":[{"actual":{"accepted":["a","b"],"destination_size":5,"noop":false,"representatives":["a","b"],"source_size":0,"union":{"a":"b","b":"b"}},"check":"regression certificate 1","expected":{"accepted":["a","b"],"destination_size":5,"noop":false,"representatives":["a","b"],"source_size":0,"union":{"a":"a","b":"a"}},"passed":false},{"actual":{"accepted":["a"],"destination_size":4,"noop":true,"representatives":["a","a"],"source_size":4,"union":{"a":"a"}},"check":"regression certificate 2","expected":{"accepted":["a"],"destination_size":4,"noop":true,"representatives":["a","a"],"source_size":4,"union":{"a":"a"}},"passed":true},{"actual":{"accepted":["a","b","c","d"],"destination_size":5,"noop":false,"representatives":["a","d"],"source_size":0,"union":{"a":"d","b":"a","c":"b","d":"d"}},"check":"regression certificate 3","expected":{"accepted":["a","b","c","d"],"destination_size":5,"noop":false,"representatives":["a","d"],"source_size":0,"union":{"a":"a","b":"a","c":"b","d":"a"}},"passed":false},{"actual":{"accepted":["a","b"],"destination_size":5,"noop":true,"representatives":["a","a"],"source_size":5,"union":{"a":"a","b":"a","c":"c"}},"check":"regression certificate 4","expected":{"accepted":["a","b"],"destination_size":5,"noop":true,"representatives":["a","a"],"source_size":5,"union":{"a":"a","b":"a","c":"c"}},"passed":true},{"actual":{"accepted":["a","b","c","d"],"destination_size":5,"noop":false,"representatives":["a","b"],"source_size":0,"union":{"a":"b","b":"b","c":"b","d":"c"}},"check":"regression certificate 5","expected":{"accepted":["a","b","c","d"],"destination_size":5,"noop":false,"representatives":["a","b"],"source_size":0,"union":{"a":"a","b":"a","c":"b","d":"c"}},"passed":false},{"actual":{"accepted":["a","b"],"destination_size":2,"noop":false,"representatives":["b","a"],"source_size":0,"union":{"a":"a","b":"a","c":"c"}},"check":"regression certificate 6","expected":{"accepted":["a","b"],"destination_size":2,"noop":false,"representatives":["b","a"],"source_size":0,"union":{"a":"b","b":"b","c":"c"}},"passed":false},{"actual":{"accepted":["a","b"],"destination_size":3,"noop":false,"representatives":["b","a"],"source_size":0,"union":{"a":"a","b":"a","c":"c"}},"check":"variant-dependent certificate","expected":{"accepted":["a","b"],"destination_size":3,"noop":false,"representatives":["b","a"],"source_size":0,"union":{"a":"b","b":"b","c":"c"}},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"representatives\": [\"a\", \"b\"], \"union\": {\"a\": \"b\", \"b\": \"b\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"expected\": {\"representatives\": [\"a\", \"b\"], \"union\": {\"a\": \"a\", \"b\": \"a\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"passed\": false}, {\"check\": \"regression certificate 2\", \"actual\": {\"representatives\": [\"a\", \"a\"], \"union\": {\"a\": \"a\"}, \"source_size\": 4, \"destination_size\": 4, \"accepted\": [\"a\"], \"noop\": true}, \"expected\": {\"representatives\": [\"a\", \"a\"], \"union\": {\"a\": \"a\"}, \"source_size\": 4, \"destination_size\": 4, \"accepted\": [\"a\"], \"noop\": true}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"representatives\": [\"a\", \"d\"], \"union\": {\"a\": \"d\", \"b\": \"a\", \"c\": \"b\", \"d\": \"d\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\", \"c\", \"d\"], \"noop\": false}, \"expected\": {\"representatives\": [\"a\", \"d\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"b\", \"d\": \"a\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\", \"c\", \"d\"], \"noop\": false}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"representatives\": [\"a\", \"a\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"c\"}, \"source_size\": 5, \"destination_size\": 5, \"accepted\": [\"a\", \"b\"], \"noop\": true}, \"expected\": {\"representatives\": [\"a\", \"a\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"c\"}, \"source_size\": 5, \"destination_size\": 5, \"accepted\": [\"a\", \"b\"], \"noop\": true}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"representatives\": [\"a\", \"b\"], \"union\": {\"a\": \"b\", \"b\": \"b\", \"c\": \"b\", \"d\": \"c\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\", \"c\", \"d\"], \"noop\": false}, \"expected\": {\"representatives\": [\"a\", \"b\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"b\", \"d\": \"c\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\", \"c\", \"d\"], \"noop\": false}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"representatives\": [\"b\", \"a\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"c\"}, \"source_size\": 0, \"destination_size\": 2, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"expected\": {\"representatives\": [\"b\", \"a\"], \"union\": {\"a\": \"b\", \"b\": \"b\", \"c\": \"c\"}, \"source_size\": 0, \"destination_size\": 2, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"representatives\": [\"b\", \"a\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"c\"}, \"source_size\": 0, \"destination_size\": 3, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"expected\": {\"representatives\": [\"b\", \"a\"], \"union\": {\"a\": \"b\", \"b\": \"b\", \"c\": \"c\"}, \"source_size\": 0, \"destination_size\": 3, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.219,"exit_code":1,"observations":[{"actual":{"accepted":["a","b"],"destination_size":5,"noop":false,"representatives":["a","b"],"source_size":0,"union":{"a":"a","b":"a"}},"check":"regression certificate 1","expected":{"accepted":["a","b"],"destination_size":5,"noop":false,"representatives":["a","b"],"source_size":0,"union":{"a":"a","b":"a"}},"passed":true},{"actual":{"accepted":["a"],"destination_size":4,"noop":true,"representatives":["a","a"],"source_size":4,"union":{"a":"a"}},"check":"regression certificate 2","expected":{"accepted":["a"],"destination_size":4,"noop":true,"representatives":["a","a"],"source_size":4,"union":{"a":"a"}},"passed":true},{"actual":{"accepted":["a","b","c","d"],"destination_size":5,"noop":false,"representatives":["a","d"],"source_size":0,"union":{"a":"a","b":"a","c":"b","d":"c"}},"check":"regression certificate 3","expected":{"accepted":["a","b","c","d"],"destination_size":5,"noop":false,"representatives":["a","d"],"source_size":0,"union":{"a":"a","b":"a","c":"b","d":"a"}},"passed":false},{"actual":{"accepted":["a","b"],"destination_size":5,"noop":true,"representatives":["a","a"],"source_size":5,"union":{"a":"a","b":"a","c":"c"}},"check":"regression certificate 4","expected":{"accepted":["a","b"],"destination_size":5,"noop":true,"representatives":["a","a"],"source_size":5,"union":{"a":"a","b":"a","c":"c"}},"passed":true},{"actual":{"accepted":["a","b","c","d"],"destination_size":5,"noop":false,"representatives":["a","b"],"source_size":0,"union":{"a":"a","b":"b","c":"b","d":"a"}},"check":"regression certificate 5","expected":{"accepted":["a","b","c","d"],"destination_size":5,"noop":false,"representatives":["a","b"],"source_size":0,"union":{"a":"a","b":"a","c":"b","d":"c"}},"passed":false},{"actual":{"accepted":["a","b"],"destination_size":2,"noop":false,"representatives":["b","a"],"source_size":0,"union":{"a":"b","b":"b","c":"c"}},"check":"regression certificate 6","expected":{"accepted":["a","b"],"destination_size":2,"noop":false,"representatives":["b","a"],"source_size":0,"union":{"a":"b","b":"b","c":"c"}},"passed":true},{"actual":{"accepted":["a","b"],"destination_size":3,"noop":false,"representatives":["b","a"],"source_size":0,"union":{"a":"b","b":"b","c":"c"}},"check":"variant-dependent certificate","expected":{"accepted":["a","b"],"destination_size":3,"noop":false,"representatives":["b","a"],"source_size":0,"union":{"a":"b","b":"b","c":"c"}},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"representatives\": [\"a\", \"b\"], \"union\": {\"a\": \"a\", \"b\": \"a\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"expected\": {\"representatives\": [\"a\", \"b\"], \"union\": {\"a\": \"a\", \"b\": \"a\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"representatives\": [\"a\", \"a\"], \"union\": {\"a\": \"a\"}, \"source_size\": 4, \"destination_size\": 4, \"accepted\": [\"a\"], \"noop\": true}, \"expected\": {\"representatives\": [\"a\", \"a\"], \"union\": {\"a\": \"a\"}, \"source_size\": 4, \"destination_size\": 4, \"accepted\": [\"a\"], \"noop\": true}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"representatives\": [\"a\", \"d\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"b\", \"d\": \"c\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\", \"c\", \"d\"], \"noop\": false}, \"expected\": {\"representatives\": [\"a\", \"d\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"b\", \"d\": \"a\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\", \"c\", \"d\"], \"noop\": false}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"representatives\": [\"a\", \"a\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"c\"}, \"source_size\": 5, \"destination_size\": 5, \"accepted\": [\"a\", \"b\"], \"noop\": true}, \"expected\": {\"representatives\": [\"a\", \"a\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"c\"}, \"source_size\": 5, \"destination_size\": 5, \"accepted\": [\"a\", \"b\"], \"noop\": true}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"representatives\": [\"a\", \"b\"], \"union\": {\"a\": \"a\", \"b\": \"b\", \"c\": \"b\", \"d\": \"a\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\", \"c\", \"d\"], \"noop\": false}, \"expected\": {\"representatives\": [\"a\", \"b\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"b\", \"d\": \"c\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\", \"c\", \"d\"], \"noop\": false}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"representatives\": [\"b\", \"a\"], \"union\": {\"a\": \"b\", \"b\": \"b\", \"c\": \"c\"}, \"source_size\": 0, \"destination_size\": 2, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"expected\": {\"representatives\": [\"b\", \"a\"], \"union\": {\"a\": \"b\", \"b\": \"b\", \"c\": \"c\"}, \"source_size\": 0, \"destination_size\": 2, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"representatives\": [\"b\", \"a\"], \"union\": {\"a\": \"b\", \"b\": \"b\", \"c\": \"c\"}, \"source_size\": 0, \"destination_size\": 3, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"expected\": {\"representatives\": [\"b\", \"a\"], \"union\": {\"a\": \"b\", \"b\": \"b\", \"c\": \"c\"}, \"source_size\": 0, \"destination_size\": 3, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.098,"exit_code":0,"observations":[{"actual":{"accepted":["a","b"],"destination_size":5,"noop":false,"representatives":["a","b"],"source_size":0,"union":{"a":"a","b":"a"}},"check":"regression certificate 1","expected":{"accepted":["a","b"],"destination_size":5,"noop":false,"representatives":["a","b"],"source_size":0,"union":{"a":"a","b":"a"}},"passed":true},{"actual":{"accepted":["a"],"destination_size":4,"noop":true,"representatives":["a","a"],"source_size":4,"union":{"a":"a"}},"check":"regression certificate 2","expected":{"accepted":["a"],"destination_size":4,"noop":true,"representatives":["a","a"],"source_size":4,"union":{"a":"a"}},"passed":true},{"actual":{"accepted":["a","b","c","d"],"destination_size":5,"noop":false,"representatives":["a","d"],"source_size":0,"union":{"a":"a","b":"a","c":"b","d":"a"}},"check":"regression certificate 3","expected":{"accepted":["a","b","c","d"],"destination_size":5,"noop":false,"representatives":["a","d"],"source_size":0,"union":{"a":"a","b":"a","c":"b","d":"a"}},"passed":true},{"actual":{"accepted":["a","b"],"destination_size":5,"noop":true,"representatives":["a","a"],"source_size":5,"union":{"a":"a","b":"a","c":"c"}},"check":"regression certificate 4","expected":{"accepted":["a","b"],"destination_size":5,"noop":true,"representatives":["a","a"],"source_size":5,"union":{"a":"a","b":"a","c":"c"}},"passed":true},{"actual":{"accepted":["a","b","c","d"],"destination_size":5,"noop":false,"representatives":["a","b"],"source_size":0,"union":{"a":"a","b":"a","c":"b","d":"c"}},"check":"regression certificate 5","expected":{"accepted":["a","b","c","d"],"destination_size":5,"noop":false,"representatives":["a","b"],"source_size":0,"union":{"a":"a","b":"a","c":"b","d":"c"}},"passed":true},{"actual":{"accepted":["a","b"],"destination_size":2,"noop":false,"representatives":["b","a"],"source_size":0,"union":{"a":"b","b":"b","c":"c"}},"check":"regression certificate 6","expected":{"accepted":["a","b"],"destination_size":2,"noop":false,"representatives":["b","a"],"source_size":0,"union":{"a":"b","b":"b","c":"c"}},"passed":true},{"actual":{"accepted":["a","b"],"destination_size":3,"noop":false,"representatives":["b","a"],"source_size":0,"union":{"a":"b","b":"b","c":"c"}},"check":"variant-dependent certificate","expected":{"accepted":["a","b"],"destination_size":3,"noop":false,"representatives":["b","a"],"source_size":0,"union":{"a":"b","b":"b","c":"c"}},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"representatives\": [\"a\", \"b\"], \"union\": {\"a\": \"a\", \"b\": \"a\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"expected\": {\"representatives\": [\"a\", \"b\"], \"union\": {\"a\": \"a\", \"b\": \"a\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"representatives\": [\"a\", \"a\"], \"union\": {\"a\": \"a\"}, \"source_size\": 4, \"destination_size\": 4, \"accepted\": [\"a\"], \"noop\": true}, \"expected\": {\"representatives\": [\"a\", \"a\"], \"union\": {\"a\": \"a\"}, \"source_size\": 4, \"destination_size\": 4, \"accepted\": [\"a\"], \"noop\": true}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"representatives\": [\"a\", \"d\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"b\", \"d\": \"a\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\", \"c\", \"d\"], \"noop\": false}, \"expected\": {\"representatives\": [\"a\", \"d\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"b\", \"d\": \"a\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\", \"c\", \"d\"], \"noop\": false}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"representatives\": [\"a\", \"a\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"c\"}, \"source_size\": 5, \"destination_size\": 5, \"accepted\": [\"a\", \"b\"], \"noop\": true}, \"expected\": {\"representatives\": [\"a\", \"a\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"c\"}, \"source_size\": 5, \"destination_size\": 5, \"accepted\": [\"a\", \"b\"], \"noop\": true}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"representatives\": [\"a\", \"b\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"b\", \"d\": \"c\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\", \"c\", \"d\"], \"noop\": false}, \"expected\": {\"representatives\": [\"a\", \"b\"], \"union\": {\"a\": \"a\", \"b\": \"a\", \"c\": \"b\", \"d\": \"c\"}, \"source_size\": 0, \"destination_size\": 5, \"accepted\": [\"a\", \"b\", \"c\", \"d\"], \"noop\": false}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"representatives\": [\"b\", \"a\"], \"union\": {\"a\": \"b\", \"b\": \"b\", \"c\": \"c\"}, \"source_size\": 0, \"destination_size\": 2, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"expected\": {\"representatives\": [\"b\", \"a\"], \"union\": {\"a\": \"b\", \"b\": \"b\", \"c\": \"c\"}, \"source_size\": 0, \"destination_size\": 2, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"representatives\": [\"b\", \"a\"], \"union\": {\"a\": \"b\", \"b\": \"b\", \"c\": \"c\"}, \"source_size\": 0, \"destination_size\": 3, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"expected\": {\"representatives\": [\"b\", \"a\"], \"union\": {\"a\": \"b\", \"b\": \"b\", \"c\": \"c\"}, \"source_size\": 0, \"destination_size\": 3, \"accepted\": [\"a\", \"b\"], \"noop\": false}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}