{"abstract":"The bounded indexed swap certificate reports an incorrect positions.","category":"Heap invariants","checks":7,"contract":"An indexed heap swap receives unique entry ids in slots, an exact inverse position map, and two in-range positions i,j. Swap the records, update both inverse-map locations, keep cardinality and membership, and report the two moved identities. Self-swap is allowed.","evaluation_group":"s3-heap-model-indexed-swap","failed_approach":"The local patch uses {**pos,a[i]:j} and still violates the stated relation.","family":"s3-heap-indexed-swap-positions","id":"FA-40266","implementations":{"attempt":{"sha256":"91ca3f3e9e8c3e397aabecab70a5e8c79fe09146326f1622f50b828a5b08f928","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['slots']; i=d['i']; j=d['j']; after=list(a); after[i],after[j]=after[j],after[i]; pos={x:k for k,x in enumerate(a)}\n    return {'slots': after,\n    'positions': {**pos,a[i]:j},\n    'first_moved': [a[i],j],\n    'second_moved': [a[j],i],\n    'changed_handles': [] if i==j else [a[i],a[j]],\n    'bijective': len(set(after))==len(pos)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'slots': ['a'], 'i': 0, 'j': 0}, {'slots': ['a'], 'positions': {'a': 0}, 'first_moved': ['a', 0], 'second_moved': ['a', 0], 'changed_handles': [], 'bijective': True}), ({'slots': ['z', 'a'], 'i': 0, 'j': 1}, {'slots': ['a', 'z'], 'positions': {'a': 0, 'z': 1}, 'first_moved': ['z', 1], 'second_moved': ['a', 0], 'changed_handles': ['z', 'a'], 'bijective': True}), ({'slots': ['b', 'd', 'a'], 'i': 0, 'j': 2}, {'slots': ['a', 'd', 'b'], 'positions': {'a': 0, 'd': 1, 'b': 2}, 'first_moved': ['b', 2], 'second_moved': ['a', 0], 'changed_handles': ['b', 'a'], 'bijective': True}), ({'slots': ['a', 'b', 'c', 'd'], 'i': 1, 'j': 3}, {'slots': ['a', 'd', 'c', 'b'], 'positions': {'a': 0, 'd': 1, 'c': 2, 'b': 3}, 'first_moved': ['b', 3], 'second_moved': ['d', 1], 'changed_handles': ['b', 'd'], 'bijective': True}), ({'slots': ['x', 'y', 'z'], 'i': 1, 'j': 1}, {'slots': ['x', 'y', 'z'], 'positions': {'x': 0, 'y': 1, 'z': 2}, 'first_moved': ['y', 1], 'second_moved': ['y', 1], 'changed_handles': [], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 0}, {'slots': ['u', 'r', 's', 't', 'q'], 'positions': {'u': 0, 'r': 1, 's': 2, 't': 3, 'q': 4}, 'first_moved': ['u', 0], 'second_moved': ['q', 4], 'changed_handles': ['u', 'q'], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 1, 'j': 3}, {'slots': ['q', 't', 's', 'r', 'u'], 'positions': {'q': 0, 't': 1, 's': 2, 'r': 3, 'u': 4}, 'first_moved': ['r', 3], 'second_moved': ['t', 1], 'changed_handles': ['r', 't'], 'bijective': True})], [({'slots': ['a'], 'i': 0, 'j': 0}, {'slots': ['a'], 'positions': {'a': 0}, 'first_moved': ['a', 0], 'second_moved': ['a', 0], 'changed_handles': [], 'bijective': True}), ({'slots': ['z', 'a'], 'i': 0, 'j': 1}, {'slots': ['a', 'z'], 'positions': {'a': 0, 'z': 1}, 'first_moved': ['z', 1], 'second_moved': ['a', 0], 'changed_handles': ['z', 'a'], 'bijective': True}), ({'slots': ['b', 'd', 'a'], 'i': 0, 'j': 2}, {'slots': ['a', 'd', 'b'], 'positions': {'a': 0, 'd': 1, 'b': 2}, 'first_moved': ['b', 2], 'second_moved': ['a', 0], 'changed_handles': ['b', 'a'], 'bijective': True}), ({'slots': ['a', 'b', 'c', 'd'], 'i': 1, 'j': 3}, {'slots': ['a', 'd', 'c', 'b'], 'positions': {'a': 0, 'd': 1, 'c': 2, 'b': 3}, 'first_moved': ['b', 3], 'second_moved': ['d', 1], 'changed_handles': ['b', 'd'], 'bijective': True}), ({'slots': ['x', 'y', 'z'], 'i': 1, 'j': 1}, {'slots': ['x', 'y', 'z'], 'positions': {'x': 0, 'y': 1, 'z': 2}, 'first_moved': ['y', 1], 'second_moved': ['y', 1], 'changed_handles': [], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 0}, {'slots': ['u', 'r', 's', 't', 'q'], 'positions': {'u': 0, 'r': 1, 's': 2, 't': 3, 'q': 4}, 'first_moved': ['u', 0], 'second_moved': ['q', 4], 'changed_handles': ['u', 'q'], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 2, 'j': 4}, {'slots': ['q', 'r', 'u', 't', 's'], 'positions': {'q': 0, 'r': 1, 'u': 2, 't': 3, 's': 4}, 'first_moved': ['s', 4], 'second_moved': ['u', 2], 'changed_handles': ['s', 'u'], 'bijective': True})], [({'slots': ['a'], 'i': 0, 'j': 0}, {'slots': ['a'], 'positions': {'a': 0}, 'first_moved': ['a', 0], 'second_moved': ['a', 0], 'changed_handles': [], 'bijective': True}), ({'slots': ['z', 'a'], 'i': 0, 'j': 1}, {'slots': ['a', 'z'], 'positions': {'a': 0, 'z': 1}, 'first_moved': ['z', 1], 'second_moved': ['a', 0], 'changed_handles': ['z', 'a'], 'bijective': True}), ({'slots': ['b', 'd', 'a'], 'i': 0, 'j': 2}, {'slots': ['a', 'd', 'b'], 'positions': {'a': 0, 'd': 1, 'b': 2}, 'first_moved': ['b', 2], 'second_moved': ['a', 0], 'changed_handles': ['b', 'a'], 'bijective': True}), ({'slots': ['a', 'b', 'c', 'd'], 'i': 1, 'j': 3}, {'slots': ['a', 'd', 'c', 'b'], 'positions': {'a': 0, 'd': 1, 'c': 2, 'b': 3}, 'first_moved': ['b', 3], 'second_moved': ['d', 1], 'changed_handles': ['b', 'd'], 'bijective': True}), ({'slots': ['x', 'y', 'z'], 'i': 1, 'j': 1}, {'slots': ['x', 'y', 'z'], 'positions': {'x': 0, 'y': 1, 'z': 2}, 'first_moved': ['y', 1], 'second_moved': ['y', 1], 'changed_handles': [], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 0}, {'slots': ['u', 'r', 's', 't', 'q'], 'positions': {'u': 0, 'r': 1, 's': 2, 't': 3, 'q': 4}, 'first_moved': ['u', 0], 'second_moved': ['q', 4], 'changed_handles': ['u', 'q'], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 3, 'j': 0}, {'slots': ['t', 'r', 's', 'q', 'u'], 'positions': {'t': 0, 'r': 1, 's': 2, 'q': 3, 'u': 4}, 'first_moved': ['t', 0], 'second_moved': ['q', 3], 'changed_handles': ['t', 'q'], 'bijective': True})], [({'slots': ['a'], 'i': 0, 'j': 0}, {'slots': ['a'], 'positions': {'a': 0}, 'first_moved': ['a', 0], 'second_moved': ['a', 0], 'changed_handles': [], 'bijective': True}), ({'slots': ['z', 'a'], 'i': 0, 'j': 1}, {'slots': ['a', 'z'], 'positions': {'a': 0, 'z': 1}, 'first_moved': ['z', 1], 'second_moved': ['a', 0], 'changed_handles': ['z', 'a'], 'bijective': True}), ({'slots': ['b', 'd', 'a'], 'i': 0, 'j': 2}, {'slots': ['a', 'd', 'b'], 'positions': {'a': 0, 'd': 1, 'b': 2}, 'first_moved': ['b', 2], 'second_moved': ['a', 0], 'changed_handles': ['b', 'a'], 'bijective': True}), ({'slots': ['a', 'b', 'c', 'd'], 'i': 1, 'j': 3}, {'slots': ['a', 'd', 'c', 'b'], 'positions': {'a': 0, 'd': 1, 'c': 2, 'b': 3}, 'first_moved': ['b', 3], 'second_moved': ['d', 1], 'changed_handles': ['b', 'd'], 'bijective': True}), ({'slots': ['x', 'y', 'z'], 'i': 1, 'j': 1}, {'slots': ['x', 'y', 'z'], 'positions': {'x': 0, 'y': 1, 'z': 2}, 'first_moved': ['y', 1], 'second_moved': ['y', 1], 'changed_handles': [], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 0}, {'slots': ['u', 'r', 's', 't', 'q'], 'positions': {'u': 0, 'r': 1, 's': 2, 't': 3, 'q': 4}, 'first_moved': ['u', 0], 'second_moved': ['q', 4], 'changed_handles': ['u', 'q'], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 1}, {'slots': ['q', 'u', 's', 't', 'r'], 'positions': {'q': 0, 'u': 1, 's': 2, 't': 3, 'r': 4}, 'first_moved': ['u', 1], 'second_moved': ['r', 4], 'changed_handles': ['u', 'r'], 'bijective': True})], [({'slots': ['a'], 'i': 0, 'j': 0}, {'slots': ['a'], 'positions': {'a': 0}, 'first_moved': ['a', 0], 'second_moved': ['a', 0], 'changed_handles': [], 'bijective': True}), ({'slots': ['z', 'a'], 'i': 0, 'j': 1}, {'slots': ['a', 'z'], 'positions': {'a': 0, 'z': 1}, 'first_moved': ['z', 1], 'second_moved': ['a', 0], 'changed_handles': ['z', 'a'], 'bijective': True}), ({'slots': ['b', 'd', 'a'], 'i': 0, 'j': 2}, {'slots': ['a', 'd', 'b'], 'positions': {'a': 0, 'd': 1, 'b': 2}, 'first_moved': ['b', 2], 'second_moved': ['a', 0], 'changed_handles': ['b', 'a'], 'bijective': True}), ({'slots': ['a', 'b', 'c', 'd'], 'i': 1, 'j': 3}, {'slots': ['a', 'd', 'c', 'b'], 'positions': {'a': 0, 'd': 1, 'c': 2, 'b': 3}, 'first_moved': ['b', 3], 'second_moved': ['d', 1], 'changed_handles': ['b', 'd'], 'bijective': True}), ({'slots': ['x', 'y', 'z'], 'i': 1, 'j': 1}, {'slots': ['x', 'y', 'z'], 'positions': {'x': 0, 'y': 1, 'z': 2}, 'first_moved': ['y', 1], 'second_moved': ['y', 1], 'changed_handles': [], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 0}, {'slots': ['u', 'r', 's', 't', 'q'], 'positions': {'u': 0, 'r': 1, 's': 2, 't': 3, 'q': 4}, 'first_moved': ['u', 0], 'second_moved': ['q', 4], 'changed_handles': ['u', 'q'], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 0, 'j': 2}, {'slots': ['s', 'r', 'q', 't', 'u'], 'positions': {'s': 0, 'r': 1, 'q': 2, 't': 3, 'u': 4}, 'first_moved': ['q', 2], 'second_moved': ['s', 0], 'changed_handles': ['q', 's'], 'bijective': True})]][N-1]\ncheck('regression certificate 1', solve(cases[0][0]), cases[0][1])\ncheck('regression certificate 2', solve(cases[1][0]), cases[1][1])\ncheck('regression certificate 3', solve(cases[2][0]), cases[2][1])\ncheck('regression certificate 4', solve(cases[3][0]), cases[3][1])\ncheck('regression certificate 5', solve(cases[4][0]), cases[4][1])\ncheck('regression certificate 6', solve(cases[5][0]), cases[5][1])\ncheck('variant-dependent certificate', solve(cases[6][0]), cases[6][1])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"97c8b05c45f4dba6fbf0d4baa95769a93b22c607a78a84e107daee1a00da3510","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['slots']; i=d['i']; j=d['j']; after=list(a); after[i],after[j]=after[j],after[i]; pos={x:k for k,x in enumerate(a)}\n    return {'slots': after,\n    'positions': pos,\n    'first_moved': [a[i],j],\n    'second_moved': [a[j],i],\n    'changed_handles': [] if i==j else [a[i],a[j]],\n    'bijective': len(set(after))==len(pos)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'slots': ['a'], 'i': 0, 'j': 0}, {'slots': ['a'], 'positions': {'a': 0}, 'first_moved': ['a', 0], 'second_moved': ['a', 0], 'changed_handles': [], 'bijective': True}), ({'slots': ['z', 'a'], 'i': 0, 'j': 1}, {'slots': ['a', 'z'], 'positions': {'a': 0, 'z': 1}, 'first_moved': ['z', 1], 'second_moved': ['a', 0], 'changed_handles': ['z', 'a'], 'bijective': True}), ({'slots': ['b', 'd', 'a'], 'i': 0, 'j': 2}, {'slots': ['a', 'd', 'b'], 'positions': {'a': 0, 'd': 1, 'b': 2}, 'first_moved': ['b', 2], 'second_moved': ['a', 0], 'changed_handles': ['b', 'a'], 'bijective': True}), ({'slots': ['a', 'b', 'c', 'd'], 'i': 1, 'j': 3}, {'slots': ['a', 'd', 'c', 'b'], 'positions': {'a': 0, 'd': 1, 'c': 2, 'b': 3}, 'first_moved': ['b', 3], 'second_moved': ['d', 1], 'changed_handles': ['b', 'd'], 'bijective': True}), ({'slots': ['x', 'y', 'z'], 'i': 1, 'j': 1}, {'slots': ['x', 'y', 'z'], 'positions': {'x': 0, 'y': 1, 'z': 2}, 'first_moved': ['y', 1], 'second_moved': ['y', 1], 'changed_handles': [], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 0}, {'slots': ['u', 'r', 's', 't', 'q'], 'positions': {'u': 0, 'r': 1, 's': 2, 't': 3, 'q': 4}, 'first_moved': ['u', 0], 'second_moved': ['q', 4], 'changed_handles': ['u', 'q'], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 1, 'j': 3}, {'slots': ['q', 't', 's', 'r', 'u'], 'positions': {'q': 0, 't': 1, 's': 2, 'r': 3, 'u': 4}, 'first_moved': ['r', 3], 'second_moved': ['t', 1], 'changed_handles': ['r', 't'], 'bijective': True})], [({'slots': ['a'], 'i': 0, 'j': 0}, {'slots': ['a'], 'positions': {'a': 0}, 'first_moved': ['a', 0], 'second_moved': ['a', 0], 'changed_handles': [], 'bijective': True}), ({'slots': ['z', 'a'], 'i': 0, 'j': 1}, {'slots': ['a', 'z'], 'positions': {'a': 0, 'z': 1}, 'first_moved': ['z', 1], 'second_moved': ['a', 0], 'changed_handles': ['z', 'a'], 'bijective': True}), ({'slots': ['b', 'd', 'a'], 'i': 0, 'j': 2}, {'slots': ['a', 'd', 'b'], 'positions': {'a': 0, 'd': 1, 'b': 2}, 'first_moved': ['b', 2], 'second_moved': ['a', 0], 'changed_handles': ['b', 'a'], 'bijective': True}), ({'slots': ['a', 'b', 'c', 'd'], 'i': 1, 'j': 3}, {'slots': ['a', 'd', 'c', 'b'], 'positions': {'a': 0, 'd': 1, 'c': 2, 'b': 3}, 'first_moved': ['b', 3], 'second_moved': ['d', 1], 'changed_handles': ['b', 'd'], 'bijective': True}), ({'slots': ['x', 'y', 'z'], 'i': 1, 'j': 1}, {'slots': ['x', 'y', 'z'], 'positions': {'x': 0, 'y': 1, 'z': 2}, 'first_moved': ['y', 1], 'second_moved': ['y', 1], 'changed_handles': [], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 0}, {'slots': ['u', 'r', 's', 't', 'q'], 'positions': {'u': 0, 'r': 1, 's': 2, 't': 3, 'q': 4}, 'first_moved': ['u', 0], 'second_moved': ['q', 4], 'changed_handles': ['u', 'q'], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 2, 'j': 4}, {'slots': ['q', 'r', 'u', 't', 's'], 'positions': {'q': 0, 'r': 1, 'u': 2, 't': 3, 's': 4}, 'first_moved': ['s', 4], 'second_moved': ['u', 2], 'changed_handles': ['s', 'u'], 'bijective': True})], [({'slots': ['a'], 'i': 0, 'j': 0}, {'slots': ['a'], 'positions': {'a': 0}, 'first_moved': ['a', 0], 'second_moved': ['a', 0], 'changed_handles': [], 'bijective': True}), ({'slots': ['z', 'a'], 'i': 0, 'j': 1}, {'slots': ['a', 'z'], 'positions': {'a': 0, 'z': 1}, 'first_moved': ['z', 1], 'second_moved': ['a', 0], 'changed_handles': ['z', 'a'], 'bijective': True}), ({'slots': ['b', 'd', 'a'], 'i': 0, 'j': 2}, {'slots': ['a', 'd', 'b'], 'positions': {'a': 0, 'd': 1, 'b': 2}, 'first_moved': ['b', 2], 'second_moved': ['a', 0], 'changed_handles': ['b', 'a'], 'bijective': True}), ({'slots': ['a', 'b', 'c', 'd'], 'i': 1, 'j': 3}, {'slots': ['a', 'd', 'c', 'b'], 'positions': {'a': 0, 'd': 1, 'c': 2, 'b': 3}, 'first_moved': ['b', 3], 'second_moved': ['d', 1], 'changed_handles': ['b', 'd'], 'bijective': True}), ({'slots': ['x', 'y', 'z'], 'i': 1, 'j': 1}, {'slots': ['x', 'y', 'z'], 'positions': {'x': 0, 'y': 1, 'z': 2}, 'first_moved': ['y', 1], 'second_moved': ['y', 1], 'changed_handles': [], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 0}, {'slots': ['u', 'r', 's', 't', 'q'], 'positions': {'u': 0, 'r': 1, 's': 2, 't': 3, 'q': 4}, 'first_moved': ['u', 0], 'second_moved': ['q', 4], 'changed_handles': ['u', 'q'], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 3, 'j': 0}, {'slots': ['t', 'r', 's', 'q', 'u'], 'positions': {'t': 0, 'r': 1, 's': 2, 'q': 3, 'u': 4}, 'first_moved': ['t', 0], 'second_moved': ['q', 3], 'changed_handles': ['t', 'q'], 'bijective': True})], [({'slots': ['a'], 'i': 0, 'j': 0}, {'slots': ['a'], 'positions': {'a': 0}, 'first_moved': ['a', 0], 'second_moved': ['a', 0], 'changed_handles': [], 'bijective': True}), ({'slots': ['z', 'a'], 'i': 0, 'j': 1}, {'slots': ['a', 'z'], 'positions': {'a': 0, 'z': 1}, 'first_moved': ['z', 1], 'second_moved': ['a', 0], 'changed_handles': ['z', 'a'], 'bijective': True}), ({'slots': ['b', 'd', 'a'], 'i': 0, 'j': 2}, {'slots': ['a', 'd', 'b'], 'positions': {'a': 0, 'd': 1, 'b': 2}, 'first_moved': ['b', 2], 'second_moved': ['a', 0], 'changed_handles': ['b', 'a'], 'bijective': True}), ({'slots': ['a', 'b', 'c', 'd'], 'i': 1, 'j': 3}, {'slots': ['a', 'd', 'c', 'b'], 'positions': {'a': 0, 'd': 1, 'c': 2, 'b': 3}, 'first_moved': ['b', 3], 'second_moved': ['d', 1], 'changed_handles': ['b', 'd'], 'bijective': True}), ({'slots': ['x', 'y', 'z'], 'i': 1, 'j': 1}, {'slots': ['x', 'y', 'z'], 'positions': {'x': 0, 'y': 1, 'z': 2}, 'first_moved': ['y', 1], 'second_moved': ['y', 1], 'changed_handles': [], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 0}, {'slots': ['u', 'r', 's', 't', 'q'], 'positions': {'u': 0, 'r': 1, 's': 2, 't': 3, 'q': 4}, 'first_moved': ['u', 0], 'second_moved': ['q', 4], 'changed_handles': ['u', 'q'], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 1}, {'slots': ['q', 'u', 's', 't', 'r'], 'positions': {'q': 0, 'u': 1, 's': 2, 't': 3, 'r': 4}, 'first_moved': ['u', 1], 'second_moved': ['r', 4], 'changed_handles': ['u', 'r'], 'bijective': True})], [({'slots': ['a'], 'i': 0, 'j': 0}, {'slots': ['a'], 'positions': {'a': 0}, 'first_moved': ['a', 0], 'second_moved': ['a', 0], 'changed_handles': [], 'bijective': True}), ({'slots': ['z', 'a'], 'i': 0, 'j': 1}, {'slots': ['a', 'z'], 'positions': {'a': 0, 'z': 1}, 'first_moved': ['z', 1], 'second_moved': ['a', 0], 'changed_handles': ['z', 'a'], 'bijective': True}), ({'slots': ['b', 'd', 'a'], 'i': 0, 'j': 2}, {'slots': ['a', 'd', 'b'], 'positions': {'a': 0, 'd': 1, 'b': 2}, 'first_moved': ['b', 2], 'second_moved': ['a', 0], 'changed_handles': ['b', 'a'], 'bijective': True}), ({'slots': ['a', 'b', 'c', 'd'], 'i': 1, 'j': 3}, {'slots': ['a', 'd', 'c', 'b'], 'positions': {'a': 0, 'd': 1, 'c': 2, 'b': 3}, 'first_moved': ['b', 3], 'second_moved': ['d', 1], 'changed_handles': ['b', 'd'], 'bijective': True}), ({'slots': ['x', 'y', 'z'], 'i': 1, 'j': 1}, {'slots': ['x', 'y', 'z'], 'positions': {'x': 0, 'y': 1, 'z': 2}, 'first_moved': ['y', 1], 'second_moved': ['y', 1], 'changed_handles': [], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 0}, {'slots': ['u', 'r', 's', 't', 'q'], 'positions': {'u': 0, 'r': 1, 's': 2, 't': 3, 'q': 4}, 'first_moved': ['u', 0], 'second_moved': ['q', 4], 'changed_handles': ['u', 'q'], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 0, 'j': 2}, {'slots': ['s', 'r', 'q', 't', 'u'], 'positions': {'s': 0, 'r': 1, 'q': 2, 't': 3, 'u': 4}, 'first_moved': ['q', 2], 'second_moved': ['s', 0], 'changed_handles': ['q', 's'], 'bijective': True})]][N-1]\ncheck('regression certificate 1', solve(cases[0][0]), cases[0][1])\ncheck('regression certificate 2', solve(cases[1][0]), cases[1][1])\ncheck('regression certificate 3', solve(cases[2][0]), cases[2][1])\ncheck('regression certificate 4', solve(cases[3][0]), cases[3][1])\ncheck('regression certificate 5', solve(cases[4][0]), cases[4][1])\ncheck('regression certificate 6', solve(cases[5][0]), cases[5][1])\ncheck('variant-dependent certificate', solve(cases[6][0]), cases[6][1])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"11b6a541e151d74965dd2a997fb0e3bdd4c125367f19c05d25868f2de45aad1e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['slots']; i=d['i']; j=d['j']; after=list(a); after[i],after[j]=after[j],after[i]; pos={x:k for k,x in enumerate(a)}\n    return {'slots': after,\n    'positions': {x:k for k,x in enumerate(after)},\n    'first_moved': [a[i],j],\n    'second_moved': [a[j],i],\n    'changed_handles': [] if i==j else [a[i],a[j]],\n    'bijective': len(set(after))==len(pos)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'slots': ['a'], 'i': 0, 'j': 0}, {'slots': ['a'], 'positions': {'a': 0}, 'first_moved': ['a', 0], 'second_moved': ['a', 0], 'changed_handles': [], 'bijective': True}), ({'slots': ['z', 'a'], 'i': 0, 'j': 1}, {'slots': ['a', 'z'], 'positions': {'a': 0, 'z': 1}, 'first_moved': ['z', 1], 'second_moved': ['a', 0], 'changed_handles': ['z', 'a'], 'bijective': True}), ({'slots': ['b', 'd', 'a'], 'i': 0, 'j': 2}, {'slots': ['a', 'd', 'b'], 'positions': {'a': 0, 'd': 1, 'b': 2}, 'first_moved': ['b', 2], 'second_moved': ['a', 0], 'changed_handles': ['b', 'a'], 'bijective': True}), ({'slots': ['a', 'b', 'c', 'd'], 'i': 1, 'j': 3}, {'slots': ['a', 'd', 'c', 'b'], 'positions': {'a': 0, 'd': 1, 'c': 2, 'b': 3}, 'first_moved': ['b', 3], 'second_moved': ['d', 1], 'changed_handles': ['b', 'd'], 'bijective': True}), ({'slots': ['x', 'y', 'z'], 'i': 1, 'j': 1}, {'slots': ['x', 'y', 'z'], 'positions': {'x': 0, 'y': 1, 'z': 2}, 'first_moved': ['y', 1], 'second_moved': ['y', 1], 'changed_handles': [], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 0}, {'slots': ['u', 'r', 's', 't', 'q'], 'positions': {'u': 0, 'r': 1, 's': 2, 't': 3, 'q': 4}, 'first_moved': ['u', 0], 'second_moved': ['q', 4], 'changed_handles': ['u', 'q'], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 1, 'j': 3}, {'slots': ['q', 't', 's', 'r', 'u'], 'positions': {'q': 0, 't': 1, 's': 2, 'r': 3, 'u': 4}, 'first_moved': ['r', 3], 'second_moved': ['t', 1], 'changed_handles': ['r', 't'], 'bijective': True})], [({'slots': ['a'], 'i': 0, 'j': 0}, {'slots': ['a'], 'positions': {'a': 0}, 'first_moved': ['a', 0], 'second_moved': ['a', 0], 'changed_handles': [], 'bijective': True}), ({'slots': ['z', 'a'], 'i': 0, 'j': 1}, {'slots': ['a', 'z'], 'positions': {'a': 0, 'z': 1}, 'first_moved': ['z', 1], 'second_moved': ['a', 0], 'changed_handles': ['z', 'a'], 'bijective': True}), ({'slots': ['b', 'd', 'a'], 'i': 0, 'j': 2}, {'slots': ['a', 'd', 'b'], 'positions': {'a': 0, 'd': 1, 'b': 2}, 'first_moved': ['b', 2], 'second_moved': ['a', 0], 'changed_handles': ['b', 'a'], 'bijective': True}), ({'slots': ['a', 'b', 'c', 'd'], 'i': 1, 'j': 3}, {'slots': ['a', 'd', 'c', 'b'], 'positions': {'a': 0, 'd': 1, 'c': 2, 'b': 3}, 'first_moved': ['b', 3], 'second_moved': ['d', 1], 'changed_handles': ['b', 'd'], 'bijective': True}), ({'slots': ['x', 'y', 'z'], 'i': 1, 'j': 1}, {'slots': ['x', 'y', 'z'], 'positions': {'x': 0, 'y': 1, 'z': 2}, 'first_moved': ['y', 1], 'second_moved': ['y', 1], 'changed_handles': [], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 0}, {'slots': ['u', 'r', 's', 't', 'q'], 'positions': {'u': 0, 'r': 1, 's': 2, 't': 3, 'q': 4}, 'first_moved': ['u', 0], 'second_moved': ['q', 4], 'changed_handles': ['u', 'q'], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 2, 'j': 4}, {'slots': ['q', 'r', 'u', 't', 's'], 'positions': {'q': 0, 'r': 1, 'u': 2, 't': 3, 's': 4}, 'first_moved': ['s', 4], 'second_moved': ['u', 2], 'changed_handles': ['s', 'u'], 'bijective': True})], [({'slots': ['a'], 'i': 0, 'j': 0}, {'slots': ['a'], 'positions': {'a': 0}, 'first_moved': ['a', 0], 'second_moved': ['a', 0], 'changed_handles': [], 'bijective': True}), ({'slots': ['z', 'a'], 'i': 0, 'j': 1}, {'slots': ['a', 'z'], 'positions': {'a': 0, 'z': 1}, 'first_moved': ['z', 1], 'second_moved': ['a', 0], 'changed_handles': ['z', 'a'], 'bijective': True}), ({'slots': ['b', 'd', 'a'], 'i': 0, 'j': 2}, {'slots': ['a', 'd', 'b'], 'positions': {'a': 0, 'd': 1, 'b': 2}, 'first_moved': ['b', 2], 'second_moved': ['a', 0], 'changed_handles': ['b', 'a'], 'bijective': True}), ({'slots': ['a', 'b', 'c', 'd'], 'i': 1, 'j': 3}, {'slots': ['a', 'd', 'c', 'b'], 'positions': {'a': 0, 'd': 1, 'c': 2, 'b': 3}, 'first_moved': ['b', 3], 'second_moved': ['d', 1], 'changed_handles': ['b', 'd'], 'bijective': True}), ({'slots': ['x', 'y', 'z'], 'i': 1, 'j': 1}, {'slots': ['x', 'y', 'z'], 'positions': {'x': 0, 'y': 1, 'z': 2}, 'first_moved': ['y', 1], 'second_moved': ['y', 1], 'changed_handles': [], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 0}, {'slots': ['u', 'r', 's', 't', 'q'], 'positions': {'u': 0, 'r': 1, 's': 2, 't': 3, 'q': 4}, 'first_moved': ['u', 0], 'second_moved': ['q', 4], 'changed_handles': ['u', 'q'], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 3, 'j': 0}, {'slots': ['t', 'r', 's', 'q', 'u'], 'positions': {'t': 0, 'r': 1, 's': 2, 'q': 3, 'u': 4}, 'first_moved': ['t', 0], 'second_moved': ['q', 3], 'changed_handles': ['t', 'q'], 'bijective': True})], [({'slots': ['a'], 'i': 0, 'j': 0}, {'slots': ['a'], 'positions': {'a': 0}, 'first_moved': ['a', 0], 'second_moved': ['a', 0], 'changed_handles': [], 'bijective': True}), ({'slots': ['z', 'a'], 'i': 0, 'j': 1}, {'slots': ['a', 'z'], 'positions': {'a': 0, 'z': 1}, 'first_moved': ['z', 1], 'second_moved': ['a', 0], 'changed_handles': ['z', 'a'], 'bijective': True}), ({'slots': ['b', 'd', 'a'], 'i': 0, 'j': 2}, {'slots': ['a', 'd', 'b'], 'positions': {'a': 0, 'd': 1, 'b': 2}, 'first_moved': ['b', 2], 'second_moved': ['a', 0], 'changed_handles': ['b', 'a'], 'bijective': True}), ({'slots': ['a', 'b', 'c', 'd'], 'i': 1, 'j': 3}, {'slots': ['a', 'd', 'c', 'b'], 'positions': {'a': 0, 'd': 1, 'c': 2, 'b': 3}, 'first_moved': ['b', 3], 'second_moved': ['d', 1], 'changed_handles': ['b', 'd'], 'bijective': True}), ({'slots': ['x', 'y', 'z'], 'i': 1, 'j': 1}, {'slots': ['x', 'y', 'z'], 'positions': {'x': 0, 'y': 1, 'z': 2}, 'first_moved': ['y', 1], 'second_moved': ['y', 1], 'changed_handles': [], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 0}, {'slots': ['u', 'r', 's', 't', 'q'], 'positions': {'u': 0, 'r': 1, 's': 2, 't': 3, 'q': 4}, 'first_moved': ['u', 0], 'second_moved': ['q', 4], 'changed_handles': ['u', 'q'], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 1}, {'slots': ['q', 'u', 's', 't', 'r'], 'positions': {'q': 0, 'u': 1, 's': 2, 't': 3, 'r': 4}, 'first_moved': ['u', 1], 'second_moved': ['r', 4], 'changed_handles': ['u', 'r'], 'bijective': True})], [({'slots': ['a'], 'i': 0, 'j': 0}, {'slots': ['a'], 'positions': {'a': 0}, 'first_moved': ['a', 0], 'second_moved': ['a', 0], 'changed_handles': [], 'bijective': True}), ({'slots': ['z', 'a'], 'i': 0, 'j': 1}, {'slots': ['a', 'z'], 'positions': {'a': 0, 'z': 1}, 'first_moved': ['z', 1], 'second_moved': ['a', 0], 'changed_handles': ['z', 'a'], 'bijective': True}), ({'slots': ['b', 'd', 'a'], 'i': 0, 'j': 2}, {'slots': ['a', 'd', 'b'], 'positions': {'a': 0, 'd': 1, 'b': 2}, 'first_moved': ['b', 2], 'second_moved': ['a', 0], 'changed_handles': ['b', 'a'], 'bijective': True}), ({'slots': ['a', 'b', 'c', 'd'], 'i': 1, 'j': 3}, {'slots': ['a', 'd', 'c', 'b'], 'positions': {'a': 0, 'd': 1, 'c': 2, 'b': 3}, 'first_moved': ['b', 3], 'second_moved': ['d', 1], 'changed_handles': ['b', 'd'], 'bijective': True}), ({'slots': ['x', 'y', 'z'], 'i': 1, 'j': 1}, {'slots': ['x', 'y', 'z'], 'positions': {'x': 0, 'y': 1, 'z': 2}, 'first_moved': ['y', 1], 'second_moved': ['y', 1], 'changed_handles': [], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 4, 'j': 0}, {'slots': ['u', 'r', 's', 't', 'q'], 'positions': {'u': 0, 'r': 1, 's': 2, 't': 3, 'q': 4}, 'first_moved': ['u', 0], 'second_moved': ['q', 4], 'changed_handles': ['u', 'q'], 'bijective': True}), ({'slots': ['q', 'r', 's', 't', 'u'], 'i': 0, 'j': 2}, {'slots': ['s', 'r', 'q', 't', 'u'], 'positions': {'s': 0, 'r': 1, 'q': 2, 't': 3, 'u': 4}, 'first_moved': ['q', 2], 'second_moved': ['s', 0], 'changed_handles': ['q', 's'], 'bijective': True})]][N-1]\ncheck('regression certificate 1', solve(cases[0][0]), cases[0][1])\ncheck('regression certificate 2', solve(cases[1][0]), cases[1][1])\ncheck('regression certificate 3', solve(cases[2][0]), cases[2][1])\ncheck('regression certificate 4', solve(cases[3][0]), cases[3][1])\ncheck('regression certificate 5', solve(cases[4][0]), cases[4][1])\ncheck('regression certificate 6', solve(cases[5][0]), cases[5][1])\ncheck('variant-dependent certificate', solve(cases[6][0]), cases[6][1])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A stipulated offline diagnostic model; it does not implement a production allocator, concurrency protocol, or complete heap library. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-heap-indexed-swap-positions","generated_at":"2026-09-29T14:43:29.436746+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"This isolates an internal heap representation or priority-structure invariant using deterministic finite records.","repair":"Derive positions using {x:k for k,x in enumerate(after)} under the stated bounded certificate contract.","root_cause":"Indexed heap swap updates both moved handles in the inverse map.","sha256":"1596b1a043fbbe61a5458744d61655e0354a7f5eb7e20ed5f82652a7613595d7","title":"Indexed heap swap updates both moved handles in the inverse map · case 01","variant":1,"variant_policy":"Six explicit regression certificates are retained; a seventh changes structural size, position, priority, or bounds with N.","verification":{"attempt":{"elapsed_ms":42.089,"exit_code":1,"observations":[{"actual":{"bijective":true,"changed_handles":[],"first_moved":["a",0],"positions":{"a":0},"second_moved":["a",0],"slots":["a"]},"check":"regression certificate 1","expected":{"bijective":true,"changed_handles":[],"first_moved":["a",0],"positions":{"a":0},"second_moved":["a",0],"slots":["a"]},"passed":true},{"actual":{"bijective":true,"changed_handles":["z","a"],"first_moved":["z",1],"positions":{"a":1,"z":1},"second_moved":["a",0],"slots":["a","z"]},"check":"regression certificate 2","expected":{"bijective":true,"changed_handles":["z","a"],"first_moved":["z",1],"positions":{"a":0,"z":1},"second_moved":["a",0],"slots":["a","z"]},"passed":false},{"actual":{"bijective":true,"changed_handles":["b","a"],"first_moved":["b",2],"positions":{"a":2,"b":2,"d":1},"second_moved":["a",0],"slots":["a","d","b"]},"check":"regression certificate 3","expected":{"bijective":true,"changed_handles":["b","a"],"first_moved":["b",2],"positions":{"a":0,"b":2,"d":1},"second_moved":["a",0],"slots":["a","d","b"]},"passed":false},{"actual":{"bijective":true,"changed_handles":["b","d"],"first_moved":["b",3],"positions":{"a":0,"b":3,"c":2,"d":3},"second_moved":["d",1],"slots":["a","d","c","b"]},"check":"regression certificate 4","expected":{"bijective":true,"changed_handles":["b","d"],"first_moved":["b",3],"positions":{"a":0,"b":3,"c":2,"d":1},"second_moved":["d",1],"slots":["a","d","c","b"]},"passed":false},{"actual":{"bijective":true,"changed_handles":[],"first_moved":["y",1],"positions":{"x":0,"y":1,"z":2},"second_moved":["y",1],"slots":["x","y","z"]},"check":"regression certificate 5","expected":{"bijective":true,"changed_handles":[],"first_moved":["y",1],"positions":{"x":0,"y":1,"z":2},"second_moved":["y",1],"slots":["x","y","z"]},"passed":true},{"actual":{"bijective":true,"changed_handles":["u","q"],"first_moved":["u",0],"positions":{"q":0,"r":1,"s":2,"t":3,"u":0},"second_moved":["q",4],"slots":["u","r","s","t","q"]},"check":"regression certificate 6","expected":{"bijective":true,"changed_handles":["u","q"],"first_moved":["u",0],"positions":{"q":4,"r":1,"s":2,"t":3,"u":0},"second_moved":["q",4],"slots":["u","r","s","t","q"]},"passed":false},{"actual":{"bijective":true,"changed_handles":["r","t"],"first_moved":["r",3],"positions":{"q":0,"r":3,"s":2,"t":3,"u":4},"second_moved":["t",1],"slots":["q","t","s","r","u"]},"check":"variant-dependent certificate","expected":{"bijective":true,"changed_handles":["r","t"],"first_moved":["r",3],"positions":{"q":0,"r":3,"s":2,"t":1,"u":4},"second_moved":["t",1],"slots":["q","t","s","r","u"]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"slots\": [\"a\"], \"positions\": {\"a\": 0}, \"first_moved\": [\"a\", 0], \"second_moved\": [\"a\", 0], \"changed_handles\": [], \"bijective\": true}, \"expected\": {\"slots\": [\"a\"], \"positions\": {\"a\": 0}, \"first_moved\": [\"a\", 0], \"second_moved\": [\"a\", 0], \"changed_handles\": [], \"bijective\": true}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"slots\": [\"a\", \"z\"], \"positions\": {\"z\": 1, \"a\": 1}, \"first_moved\": [\"z\", 1], \"second_moved\": [\"a\", 0], \"changed_handles\": [\"z\", \"a\"], \"bijective\": true}, \"expected\": {\"slots\": [\"a\", \"z\"], \"positions\": {\"a\": 0, \"z\": 1}, \"first_moved\": [\"z\", 1], \"second_moved\": [\"a\", 0], \"changed_handles\": [\"z\", \"a\"], \"bijective\": true}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"slots\": [\"a\", \"d\", \"b\"], \"positions\": {\"b\": 2, \"d\": 1, \"a\": 2}, \"first_moved\": [\"b\", 2], \"second_moved\": [\"a\", 0], \"changed_handles\": [\"b\", \"a\"], \"bijective\": true}, \"expected\": {\"slots\": [\"a\", \"d\", \"b\"], \"positions\": {\"a\": 0, \"d\": 1, \"b\": 2}, \"first_moved\": [\"b\", 2], \"second_moved\": [\"a\", 0], \"changed_handles\": [\"b\", \"a\"], \"bijective\": true}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"slots\": [\"a\", \"d\", \"c\", \"b\"], \"positions\": {\"a\": 0, \"b\": 3, \"c\": 2, \"d\": 3}, \"first_moved\": [\"b\", 3], \"second_moved\": [\"d\", 1], \"changed_handles\": [\"b\", \"d\"], \"bijective\": true}, \"expected\": {\"slots\": [\"a\", \"d\", \"c\", \"b\"], \"positions\": {\"a\": 0, \"d\": 1, \"c\": 2, \"b\": 3}, \"first_moved\": [\"b\", 3], \"second_moved\": [\"d\", 1], \"changed_handles\": [\"b\", \"d\"], \"bijective\": true}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"slots\": [\"x\", \"y\", \"z\"], \"positions\": {\"x\": 0, \"y\": 1, \"z\": 2}, \"first_moved\": [\"y\", 1], \"second_moved\": [\"y\", 1], \"changed_handles\": [], \"bijective\": true}, \"expected\": {\"slots\": [\"x\", \"y\", \"z\"], \"positions\": {\"x\": 0, \"y\": 1, \"z\": 2}, \"first_moved\": [\"y\", 1], \"second_moved\": [\"y\", 1], \"changed_handles\": [], \"bijective\": true}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"slots\": [\"u\", \"r\", \"s\", \"t\", \"q\"], \"positions\": {\"q\": 0, \"r\": 1, \"s\": 2, \"t\": 3, \"u\": 0}, \"first_moved\": [\"u\", 0], \"second_moved\": [\"q\", 4], \"changed_handles\": [\"u\", \"q\"], \"bijective\": true}, \"expected\": {\"slots\": [\"u\", \"r\", \"s\", \"t\", \"q\"], \"positions\": {\"u\": 0, \"r\": 1, \"s\": 2, \"t\": 3, \"q\": 4}, \"first_moved\": [\"u\", 0], \"second_moved\": [\"q\", 4], \"changed_handles\": [\"u\", \"q\"], \"bijective\": true}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"slots\": [\"q\", \"t\", \"s\", \"r\", \"u\"], \"positions\": {\"q\": 0, \"r\": 3, \"s\": 2, \"t\": 3, \"u\": 4}, \"first_moved\": [\"r\", 3], \"second_moved\": [\"t\", 1], \"changed_handles\": [\"r\", \"t\"], \"bijective\": true}, \"expected\": {\"slots\": [\"q\", \"t\", \"s\", \"r\", \"u\"], \"positions\": {\"q\": 0, \"t\": 1, \"s\": 2, \"r\": 3, \"u\": 4}, \"first_moved\": [\"r\", 3], \"second_moved\": [\"t\", 1], \"changed_handles\": [\"r\", \"t\"], \"bijective\": true}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.014,"exit_code":1,"observations":[{"actual":{"bijective":true,"changed_handles":[],"first_moved":["a",0],"positions":{"a":0},"second_moved":["a",0],"slots":["a"]},"check":"regression certificate 1","expected":{"bijective":true,"changed_handles":[],"first_moved":["a",0],"positions":{"a":0},"second_moved":["a",0],"slots":["a"]},"passed":true},{"actual":{"bijective":true,"changed_handles":["z","a"],"first_moved":["z",1],"positions":{"a":1,"z":0},"second_moved":["a",0],"slots":["a","z"]},"check":"regression certificate 2","expected":{"bijective":true,"changed_handles":["z","a"],"first_moved":["z",1],"positions":{"a":0,"z":1},"second_moved":["a",0],"slots":["a","z"]},"passed":false},{"actual":{"bijective":true,"changed_handles":["b","a"],"first_moved":["b",2],"positions":{"a":2,"b":0,"d":1},"second_moved":["a",0],"slots":["a","d","b"]},"check":"regression certificate 3","expected":{"bijective":true,"changed_handles":["b","a"],"first_moved":["b",2],"positions":{"a":0,"b":2,"d":1},"second_moved":["a",0],"slots":["a","d","b"]},"passed":false},{"actual":{"bijective":true,"changed_handles":["b","d"],"first_moved":["b",3],"positions":{"a":0,"b":1,"c":2,"d":3},"second_moved":["d",1],"slots":["a","d","c","b"]},"check":"regression certificate 4","expected":{"bijective":true,"changed_handles":["b","d"],"first_moved":["b",3],"positions":{"a":0,"b":3,"c":2,"d":1},"second_moved":["d",1],"slots":["a","d","c","b"]},"passed":false},{"actual":{"bijective":true,"changed_handles":[],"first_moved":["y",1],"positions":{"x":0,"y":1,"z":2},"second_moved":["y",1],"slots":["x","y","z"]},"check":"regression certificate 5","expected":{"bijective":true,"changed_handles":[],"first_moved":["y",1],"positions":{"x":0,"y":1,"z":2},"second_moved":["y",1],"slots":["x","y","z"]},"passed":true},{"actual":{"bijective":true,"changed_handles":["u","q"],"first_moved":["u",0],"positions":{"q":0,"r":1,"s":2,"t":3,"u":4},"second_moved":["q",4],"slots":["u","r","s","t","q"]},"check":"regression certificate 6","expected":{"bijective":true,"changed_handles":["u","q"],"first_moved":["u",0],"positions":{"q":4,"r":1,"s":2,"t":3,"u":0},"second_moved":["q",4],"slots":["u","r","s","t","q"]},"passed":false},{"actual":{"bijective":true,"changed_handles":["r","t"],"first_moved":["r",3],"positions":{"q":0,"r":1,"s":2,"t":3,"u":4},"second_moved":["t",1],"slots":["q","t","s","r","u"]},"check":"variant-dependent certificate","expected":{"bijective":true,"changed_handles":["r","t"],"first_moved":["r",3],"positions":{"q":0,"r":3,"s":2,"t":1,"u":4},"second_moved":["t",1],"slots":["q","t","s","r","u"]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"slots\": [\"a\"], \"positions\": {\"a\": 0}, \"first_moved\": [\"a\", 0], \"second_moved\": [\"a\", 0], \"changed_handles\": [], \"bijective\": true}, \"expected\": {\"slots\": [\"a\"], \"positions\": {\"a\": 0}, \"first_moved\": [\"a\", 0], \"second_moved\": [\"a\", 0], \"changed_handles\": [], \"bijective\": true}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"slots\": [\"a\", \"z\"], \"positions\": {\"z\": 0, \"a\": 1}, \"first_moved\": [\"z\", 1], \"second_moved\": [\"a\", 0], \"changed_handles\": [\"z\", \"a\"], \"bijective\": true}, \"expected\": {\"slots\": [\"a\", \"z\"], \"positions\": {\"a\": 0, \"z\": 1}, \"first_moved\": [\"z\", 1], \"second_moved\": [\"a\", 0], \"changed_handles\": [\"z\", \"a\"], \"bijective\": true}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"slots\": [\"a\", \"d\", \"b\"], \"positions\": {\"b\": 0, \"d\": 1, \"a\": 2}, \"first_moved\": [\"b\", 2], \"second_moved\": [\"a\", 0], \"changed_handles\": [\"b\", \"a\"], \"bijective\": true}, \"expected\": {\"slots\": [\"a\", \"d\", \"b\"], \"positions\": {\"a\": 0, \"d\": 1, \"b\": 2}, \"first_moved\": [\"b\", 2], \"second_moved\": [\"a\", 0], \"changed_handles\": [\"b\", \"a\"], \"bijective\": true}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"slots\": [\"a\", \"d\", \"c\", \"b\"], \"positions\": {\"a\": 0, \"b\": 1, \"c\": 2, \"d\": 3}, \"first_moved\": [\"b\", 3], \"second_moved\": [\"d\", 1], \"changed_handles\": [\"b\", \"d\"], \"bijective\": true}, \"expected\": {\"slots\": [\"a\", \"d\", \"c\", \"b\"], \"positions\": {\"a\": 0, \"d\": 1, \"c\": 2, \"b\": 3}, \"first_moved\": [\"b\", 3], \"second_moved\": [\"d\", 1], \"changed_handles\": [\"b\", \"d\"], \"bijective\": true}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"slots\": [\"x\", \"y\", \"z\"], \"positions\": {\"x\": 0, \"y\": 1, \"z\": 2}, \"first_moved\": [\"y\", 1], \"second_moved\": [\"y\", 1], \"changed_handles\": [], \"bijective\": true}, \"expected\": {\"slots\": [\"x\", \"y\", \"z\"], \"positions\": {\"x\": 0, \"y\": 1, \"z\": 2}, \"first_moved\": [\"y\", 1], \"second_moved\": [\"y\", 1], \"changed_handles\": [], \"bijective\": true}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"slots\": [\"u\", \"r\", \"s\", \"t\", \"q\"], \"positions\": {\"q\": 0, \"r\": 1, \"s\": 2, \"t\": 3, \"u\": 4}, \"first_moved\": [\"u\", 0], \"second_moved\": [\"q\", 4], \"changed_handles\": [\"u\", \"q\"], \"bijective\": true}, \"expected\": {\"slots\": [\"u\", \"r\", \"s\", \"t\", \"q\"], \"positions\": {\"u\": 0, \"r\": 1, \"s\": 2, \"t\": 3, \"q\": 4}, \"first_moved\": [\"u\", 0], \"second_moved\": [\"q\", 4], \"changed_handles\": [\"u\", \"q\"], \"bijective\": true}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"slots\": [\"q\", \"t\", \"s\", \"r\", \"u\"], \"positions\": {\"q\": 0, \"r\": 1, \"s\": 2, \"t\": 3, \"u\": 4}, \"first_moved\": [\"r\", 3], \"second_moved\": [\"t\", 1], \"changed_handles\": [\"r\", \"t\"], \"bijective\": true}, \"expected\": {\"slots\": [\"q\", \"t\", \"s\", \"r\", \"u\"], \"positions\": {\"q\": 0, \"t\": 1, \"s\": 2, \"r\": 3, \"u\": 4}, \"first_moved\": [\"r\", 3], \"second_moved\": [\"t\", 1], \"changed_handles\": [\"r\", \"t\"], \"bijective\": true}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":44.478,"exit_code":0,"observations":[{"actual":{"bijective":true,"changed_handles":[],"first_moved":["a",0],"positions":{"a":0},"second_moved":["a",0],"slots":["a"]},"check":"regression certificate 1","expected":{"bijective":true,"changed_handles":[],"first_moved":["a",0],"positions":{"a":0},"second_moved":["a",0],"slots":["a"]},"passed":true},{"actual":{"bijective":true,"changed_handles":["z","a"],"first_moved":["z",1],"positions":{"a":0,"z":1},"second_moved":["a",0],"slots":["a","z"]},"check":"regression certificate 2","expected":{"bijective":true,"changed_handles":["z","a"],"first_moved":["z",1],"positions":{"a":0,"z":1},"second_moved":["a",0],"slots":["a","z"]},"passed":true},{"actual":{"bijective":true,"changed_handles":["b","a"],"first_moved":["b",2],"positions":{"a":0,"b":2,"d":1},"second_moved":["a",0],"slots":["a","d","b"]},"check":"regression certificate 3","expected":{"bijective":true,"changed_handles":["b","a"],"first_moved":["b",2],"positions":{"a":0,"b":2,"d":1},"second_moved":["a",0],"slots":["a","d","b"]},"passed":true},{"actual":{"bijective":true,"changed_handles":["b","d"],"first_moved":["b",3],"positions":{"a":0,"b":3,"c":2,"d":1},"second_moved":["d",1],"slots":["a","d","c","b"]},"check":"regression certificate 4","expected":{"bijective":true,"changed_handles":["b","d"],"first_moved":["b",3],"positions":{"a":0,"b":3,"c":2,"d":1},"second_moved":["d",1],"slots":["a","d","c","b"]},"passed":true},{"actual":{"bijective":true,"changed_handles":[],"first_moved":["y",1],"positions":{"x":0,"y":1,"z":2},"second_moved":["y",1],"slots":["x","y","z"]},"check":"regression certificate 5","expected":{"bijective":true,"changed_handles":[],"first_moved":["y",1],"positions":{"x":0,"y":1,"z":2},"second_moved":["y",1],"slots":["x","y","z"]},"passed":true},{"actual":{"bijective":true,"changed_handles":["u","q"],"first_moved":["u",0],"positions":{"q":4,"r":1,"s":2,"t":3,"u":0},"second_moved":["q",4],"slots":["u","r","s","t","q"]},"check":"regression certificate 6","expected":{"bijective":true,"changed_handles":["u","q"],"first_moved":["u",0],"positions":{"q":4,"r":1,"s":2,"t":3,"u":0},"second_moved":["q",4],"slots":["u","r","s","t","q"]},"passed":true},{"actual":{"bijective":true,"changed_handles":["r","t"],"first_moved":["r",3],"positions":{"q":0,"r":3,"s":2,"t":1,"u":4},"second_moved":["t",1],"slots":["q","t","s","r","u"]},"check":"variant-dependent certificate","expected":{"bijective":true,"changed_handles":["r","t"],"first_moved":["r",3],"positions":{"q":0,"r":3,"s":2,"t":1,"u":4},"second_moved":["t",1],"slots":["q","t","s","r","u"]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"slots\": [\"a\"], \"positions\": {\"a\": 0}, \"first_moved\": [\"a\", 0], \"second_moved\": [\"a\", 0], \"changed_handles\": [], \"bijective\": true}, \"expected\": {\"slots\": [\"a\"], \"positions\": {\"a\": 0}, \"first_moved\": [\"a\", 0], \"second_moved\": [\"a\", 0], \"changed_handles\": [], \"bijective\": true}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"slots\": [\"a\", \"z\"], \"positions\": {\"a\": 0, \"z\": 1}, \"first_moved\": [\"z\", 1], \"second_moved\": [\"a\", 0], \"changed_handles\": [\"z\", \"a\"], \"bijective\": true}, \"expected\": {\"slots\": [\"a\", \"z\"], \"positions\": {\"a\": 0, \"z\": 1}, \"first_moved\": [\"z\", 1], \"second_moved\": [\"a\", 0], \"changed_handles\": [\"z\", \"a\"], \"bijective\": true}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"slots\": [\"a\", \"d\", \"b\"], \"positions\": {\"a\": 0, \"d\": 1, \"b\": 2}, \"first_moved\": [\"b\", 2], \"second_moved\": [\"a\", 0], \"changed_handles\": [\"b\", \"a\"], \"bijective\": true}, \"expected\": {\"slots\": [\"a\", \"d\", \"b\"], \"positions\": {\"a\": 0, \"d\": 1, \"b\": 2}, \"first_moved\": [\"b\", 2], \"second_moved\": [\"a\", 0], \"changed_handles\": [\"b\", \"a\"], \"bijective\": true}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"slots\": [\"a\", \"d\", \"c\", \"b\"], \"positions\": {\"a\": 0, \"d\": 1, \"c\": 2, \"b\": 3}, \"first_moved\": [\"b\", 3], \"second_moved\": [\"d\", 1], \"changed_handles\": [\"b\", \"d\"], \"bijective\": true}, \"expected\": {\"slots\": [\"a\", \"d\", \"c\", \"b\"], \"positions\": {\"a\": 0, \"d\": 1, \"c\": 2, \"b\": 3}, \"first_moved\": [\"b\", 3], \"second_moved\": [\"d\", 1], \"changed_handles\": [\"b\", \"d\"], \"bijective\": true}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"slots\": [\"x\", \"y\", \"z\"], \"positions\": {\"x\": 0, \"y\": 1, \"z\": 2}, \"first_moved\": [\"y\", 1], \"second_moved\": [\"y\", 1], \"changed_handles\": [], \"bijective\": true}, \"expected\": {\"slots\": [\"x\", \"y\", \"z\"], \"positions\": {\"x\": 0, \"y\": 1, \"z\": 2}, \"first_moved\": [\"y\", 1], \"second_moved\": [\"y\", 1], \"changed_handles\": [], \"bijective\": true}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"slots\": [\"u\", \"r\", \"s\", \"t\", \"q\"], \"positions\": {\"u\": 0, \"r\": 1, \"s\": 2, \"t\": 3, \"q\": 4}, \"first_moved\": [\"u\", 0], \"second_moved\": [\"q\", 4], \"changed_handles\": [\"u\", \"q\"], \"bijective\": true}, \"expected\": {\"slots\": [\"u\", \"r\", \"s\", \"t\", \"q\"], \"positions\": {\"u\": 0, \"r\": 1, \"s\": 2, \"t\": 3, \"q\": 4}, \"first_moved\": [\"u\", 0], \"second_moved\": [\"q\", 4], \"changed_handles\": [\"u\", \"q\"], \"bijective\": true}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"slots\": [\"q\", \"t\", \"s\", \"r\", \"u\"], \"positions\": {\"q\": 0, \"t\": 1, \"s\": 2, \"r\": 3, \"u\": 4}, \"first_moved\": [\"r\", 3], \"second_moved\": [\"t\", 1], \"changed_handles\": [\"r\", \"t\"], \"bijective\": true}, \"expected\": {\"slots\": [\"q\", \"t\", \"s\", \"r\", \"u\"], \"positions\": {\"q\": 0, \"t\": 1, \"s\": 2, \"r\": 3, \"u\": 4}, \"first_moved\": [\"r\", 3], \"second_moved\": [\"t\", 1], \"changed_handles\": [\"r\", \"t\"], \"bijective\": true}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}