broken_source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    parents=d['parents']; dest=d['dest']; src=d['src']
    def find(x):
        while parents[x]!=x: x=parents[x]
        return x
    rd=find(dest); rs=find(src); out=dict(parents)
    if rs!=rd: out[rs]=rd
    return {'representatives': [rd,rs],
    'union': out,
    'source_size': 0,
    'destination_size': d["dest_size"] if rs==rd else d["dest_size"]+d["source_size"],
    'accepted': [x for x in d["handles"] if find(x) in (rd,rs)],
    'noop': rd==rs}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[({'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]
check('regression certificate 1', solve(cases[0][0]), cases[0][1])
check('regression certificate 2', solve(cases[1][0]), cases[1][1])
check('regression certificate 3', solve(cases[2][0]), cases[2][1])
check('regression certificate 4', solve(cases[3][0]), cases[3][1])
check('regression certificate 5', solve(cases[4][0]), cases[4][1])
check('regression certificate 6', solve(cases[5][0]), cases[5][1])
check('variant-dependent certificate', solve(cases[6][0]), cases[6][1])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    parents=d['parents']; dest=d['dest']; src=d['src']
    def find(x):
        while parents[x]!=x: x=parents[x]
        return x
    rd=find(dest); rs=find(src); out=dict(parents)
    if rs!=rd: out[rs]=rd
    return {'representatives': [rd,rs],
    'union': out,
    'source_size': d["source_size"],
    'destination_size': d["dest_size"] if rs==rd else d["dest_size"]+d["source_size"],
    'accepted': [x for x in d["handles"] if find(x) in (rd,rs)],
    'noop': rd==rs}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[({'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]
check('regression certificate 1', solve(cases[0][0]), cases[0][1])
check('regression certificate 2', solve(cases[1][0]), cases[1][1])
check('regression certificate 3', solve(cases[2][0]), cases[2][1])
check('regression certificate 4', solve(cases[3][0]), cases[3][1])
check('regression certificate 5', solve(cases[4][0]), cases[4][1])
check('regression certificate 6', solve(cases[5][0]), cases[5][1])
check('variant-dependent certificate', solve(cases[6][0]), cases[6][1])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

prompt:
The bounded meld ownership certificate reports an incorrect source size.

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.

split: open-access


broken_source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    parents=d['parents']; dest=d['dest']; src=d['src']
    def find(x):
        while parents[x]!=x: x=parents[x]
        return x
    rd=find(dest); rs=find(src); out=dict(parents)
    if rs!=rd: out[rs]=rd
    return {'representatives': [rd,rs],
    'union': out,
    'source_size': d["source_size"] if rs==rd else 0,
    'destination_size': d["dest_size"]+d["source_size"],
    'accepted': [x for x in d["handles"] if find(x) in (rd,rs)],
    'noop': rd==rs}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[({'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]
check('regression certificate 1', solve(cases[0][0]), cases[0][1])
check('regression certificate 2', solve(cases[1][0]), cases[1][1])
check('regression certificate 3', solve(cases[2][0]), cases[2][1])
check('regression certificate 4', solve(cases[3][0]), cases[3][1])
check('regression certificate 5', solve(cases[4][0]), cases[4][1])
check('regression certificate 6', solve(cases[5][0]), cases[5][1])
check('variant-dependent certificate', solve(cases[6][0]), cases[6][1])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

meaning: Fixture-count band, not measured model difficulty

deps: stdlib

source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    parents=d['parents']; dest=d['dest']; src=d['src']
    def find(x):
        while parents[x]!=x: x=parents[x]
        return x
    rd=find(dest); rs=find(src); out=dict(parents)
    if rs!=rd: out[rs]=rd
    return {'representatives': [rd,rs],
    'union': out,
    'source_size': d["source_size"] if rs==rd else 0,
    'destination_size': d["dest_size"],
    'accepted': [x for x in d["handles"] if find(x) in (rd,rs)],
    'noop': rd==rs}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[({'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]
check('regression certificate 1', solve(cases[0][0]), cases[0][1])
check('regression certificate 2', solve(cases[1][0]), cases[1][1])
check('regression certificate 3', solve(cases[2][0]), cases[2][1])
check('regression certificate 4', solve(cases[3][0]), cases[3][1])
check('regression certificate 5', solve(cases[4][0]), cases[4][1])
check('regression certificate 6', solve(cases[5][0]), cases[5][1])
check('variant-dependent certificate', solve(cases[6][0]), cases[6][1])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

prompt:
The bounded meld ownership certificate reports an incorrect destination size.

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.

split: open-access


broken_source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    parents=d['parents']; dest=d['dest']; src=d['src']
    def find(x):
        while parents[x]!=x: x=parents[x]
        return x
    rd=find(dest); rs=find(src); out=dict(parents)
    if rs!=rd: out[rs]=rd
    return {'representatives': [rd,rs],
    'union': out,
    'source_size': d["source_size"] if rs==rd else 0,
    'destination_size': d["dest_size"] if rs==rd else d["dest_size"]+d["source_size"],
    'accepted': [x for x in d["handles"] if x in (dest,src)],
    'noop': rd==rs}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[({'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]
check('regression certificate 1', solve(cases[0][0]), cases[0][1])
check('regression certificate 2', solve(cases[1][0]), cases[1][1])
check('regression certificate 3', solve(cases[2][0]), cases[2][1])
check('regression certificate 4', solve(cases[3][0]), cases[3][1])
check('regression certificate 5', solve(cases[4][0]), cases[4][1])
check('regression certificate 6', solve(cases[5][0]), cases[5][1])
check('variant-dependent certificate', solve(cases[6][0]), cases[6][1])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    parents=d['parents']; dest=d['dest']; src=d['src']
    def find(x):
        while parents[x]!=x: x=parents[x]
        return x
    rd=find(dest); rs=find(src); out=dict(parents)
    if rs!=rd: out[rs]=rd
    return {'representatives': [rd,rs],
    'union': out,
    'source_size': d["source_size"] if rs==rd else 0,
    'destination_size': d["dest_size"] if rs==rd else d["dest_size"]+d["source_size"],
    'accepted': [x for x in d["handles"] if find(x)==rd],
    'noop': rd==rs}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[({'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]
check('regression certificate 1', solve(cases[0][0]), cases[0][1])
check('regression certificate 2', solve(cases[1][0]), cases[1][1])
check('regression certificate 3', solve(cases[2][0]), cases[2][1])
check('regression certificate 4', solve(cases[3][0]), cases[3][1])
check('regression certificate 5', solve(cases[4][0]), cases[4][1])
check('regression certificate 6', solve(cases[5][0]), cases[5][1])
check('variant-dependent certificate', solve(cases[6][0]), cases[6][1])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

prompt:
The bounded meld ownership certificate reports an incorrect accepted.

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.

split: open-access


broken_source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    parents=d['parents']; dest=d['dest']; src=d['src']
    def find(x):
        while parents[x]!=x: x=parents[x]
        return x
    rd=find(dest); rs=find(src); out=dict(parents)
    if rs!=rd: out[rs]=rd
    return {'representatives': [rd,rs],
    'union': out,
    'source_size': d["source_size"] if rs==rd else 0,
    'destination_size': d["dest_size"] if rs==rd else d["dest_size"]+d["source_size"],
    'accepted': [x for x in d["handles"] if find(x) in (rd,rs)],
    'noop': dest==src}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[({'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]
check('regression certificate 1', solve(cases[0][0]), cases[0][1])
check('regression certificate 2', solve(cases[1][0]), cases[1][1])
check('regression certificate 3', solve(cases[2][0]), cases[2][1])
check('regression certificate 4', solve(cases[3][0]), cases[3][1])
check('regression certificate 5', solve(cases[4][0]), cases[4][1])
check('regression certificate 6', solve(cases[5][0]), cases[5][1])
check('variant-dependent certificate', solve(cases[6][0]), cases[6][1])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

source:
"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(d):
    parents=d['parents']; dest=d['dest']; src=d['src']
    def find(x):
        while parents[x]!=x: x=parents[x]
        return x
    rd=find(dest); rs=find(src); out=dict(parents)
    if rs!=rd: out[rs]=rd
    return {'representatives': [rd,rs],
    'union': out,
    'source_size': d["source_size"] if rs==rd else 0,
    'destination_size': d["dest_size"] if rs==rd else d["dest_size"]+d["source_size"],
    'accepted': [x for x in d["handles"] if find(x) in (rd,rs)],
    'noop': False}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
cases = [[({'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]
check('regression certificate 1', solve(cases[0][0]), cases[0][1])
check('regression certificate 2', solve(cases[1][0]), cases[1][1])
check('regression certificate 3', solve(cases[2][0]), cases[2][1])
check('regression certificate 4', solve(cases[3][0]), cases[3][1])
check('regression certificate 5', solve(cases[4][0]), cases[4][1])
check('regression certificate 6', solve(cases[5][0]), cases[5][1])
check('variant-dependent certificate', solve(cases[6][0]), cases[6][1])
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

prompt:
The bounded meld ownership certificate reports an incorrect noop.

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.

split: open-access