{"abstract":"The bounded persistent path copy certificate reports an incorrect target.","category":"Heap invariants","checks":7,"contract":"A persistent array-backed heap update supplies a root-to-target node-id path, off-path sibling ids, old node generations, and a new generation. Allocate one copy per path node, reconnect copied edges, share every sibling, and preserve old node references. Report allocated pairs, copied edges, shared ids, old generation list, new root reference, and target reference.","evaluation_group":"s3-heap-model-persistent-path-copy","failed_approach":"The local patch uses [path[-1],old] if path else None and still violates the stated relation.","family":"s3-heap-persistent-path-copy-target","id":"FA-41006","implementations":{"attempt":{"sha256":"1bbecc370820589c672cb18264f5fec0b3dd0da2c21cb57c0f6f89a3276955d8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    path=d['path']; siblings=d['siblings']; old=d['old_generation']; new=d['new_generation']; copies=[[x,new] for x in path]\n    return {'allocations': copies,\n    'edges': [[[path[i],new],[path[i+1],new]] for i in range(len(path)-1)],\n    'shared': [[x,old] for x in siblings],\n    'old_refs': [[x,old] for x in path],\n    'root': [path[0],new] if path else None,\n    'target': [path[-1],old] if path else None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'path': [], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [], 'edges': [], 'shared': [], 'old_refs': [], 'root': None, 'target': None}), ({'path': [1], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9]], 'edges': [], 'shared': [], 'old_refs': [[1, 2]], 'root': [1, 9], 'target': [1, 9]}), ({'path': [1, 3], 'siblings': [2], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [3, 9]], 'edges': [[[1, 9], [3, 9]]], 'shared': [[2, 2]], 'old_refs': [[1, 2], [3, 2]], 'root': [1, 9], 'target': [3, 9]}), ({'path': [1, 2, 5], 'siblings': [3, 4], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [2, 9], [5, 9]], 'edges': [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], 'shared': [[3, 2], [4, 2]], 'old_refs': [[1, 2], [2, 2], [5, 2]], 'root': [1, 9], 'target': [5, 9]}), ({'path': [7, 4, 9, 2], 'siblings': [8, 5, 1], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[7, 9], [4, 9], [9, 9], [2, 9]], 'edges': [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], 'shared': [[8, 2], [5, 2], [1, 2]], 'old_refs': [[7, 2], [4, 2], [9, 2], [2, 2]], 'root': [7, 9], 'target': [2, 9]}), ({'path': [5, 3], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[5, 9], [3, 9]], 'edges': [[[5, 9], [3, 9]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2]], 'root': [5, 9], 'target': [3, 9]}), ({'path': [5, 3, 100], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 10}, {'allocations': [[5, 10], [3, 10], [100, 10]], 'edges': [[[5, 10], [3, 10]], [[3, 10], [100, 10]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2], [100, 2]], 'root': [5, 10], 'target': [100, 10]})], [({'path': [], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [], 'edges': [], 'shared': [], 'old_refs': [], 'root': None, 'target': None}), ({'path': [1], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9]], 'edges': [], 'shared': [], 'old_refs': [[1, 2]], 'root': [1, 9], 'target': [1, 9]}), ({'path': [1, 3], 'siblings': [2], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [3, 9]], 'edges': [[[1, 9], [3, 9]]], 'shared': [[2, 2]], 'old_refs': [[1, 2], [3, 2]], 'root': [1, 9], 'target': [3, 9]}), ({'path': [1, 2, 5], 'siblings': [3, 4], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [2, 9], [5, 9]], 'edges': [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], 'shared': [[3, 2], [4, 2]], 'old_refs': [[1, 2], [2, 2], [5, 2]], 'root': [1, 9], 'target': [5, 9]}), ({'path': [7, 4, 9, 2], 'siblings': [8, 5, 1], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[7, 9], [4, 9], [9, 9], [2, 9]], 'edges': [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], 'shared': [[8, 2], [5, 2], [1, 2]], 'old_refs': [[7, 2], [4, 2], [9, 2], [2, 2]], 'root': [7, 9], 'target': [2, 9]}), ({'path': [5, 3], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[5, 9], [3, 9]], 'edges': [[[5, 9], [3, 9]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2]], 'root': [5, 9], 'target': [3, 9]}), ({'path': [5, 3, 100, 101], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 11}, {'allocations': [[5, 11], [3, 11], [100, 11], [101, 11]], 'edges': [[[5, 11], [3, 11]], [[3, 11], [100, 11]], [[100, 11], [101, 11]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2], [100, 2], [101, 2]], 'root': [5, 11], 'target': [101, 11]})], [({'path': [], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [], 'edges': [], 'shared': [], 'old_refs': [], 'root': None, 'target': None}), ({'path': [1], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9]], 'edges': [], 'shared': [], 'old_refs': [[1, 2]], 'root': [1, 9], 'target': [1, 9]}), ({'path': [1, 3], 'siblings': [2], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [3, 9]], 'edges': [[[1, 9], [3, 9]]], 'shared': [[2, 2]], 'old_refs': [[1, 2], [3, 2]], 'root': [1, 9], 'target': [3, 9]}), ({'path': [1, 2, 5], 'siblings': [3, 4], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [2, 9], [5, 9]], 'edges': [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], 'shared': [[3, 2], [4, 2]], 'old_refs': [[1, 2], [2, 2], [5, 2]], 'root': [1, 9], 'target': [5, 9]}), ({'path': [7, 4, 9, 2], 'siblings': [8, 5, 1], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[7, 9], [4, 9], [9, 9], [2, 9]], 'edges': [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], 'shared': [[8, 2], [5, 2], [1, 2]], 'old_refs': [[7, 2], [4, 2], [9, 2], [2, 2]], 'root': [7, 9], 'target': [2, 9]}), ({'path': [5, 3], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[5, 9], [3, 9]], 'edges': [[[5, 9], [3, 9]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2]], 'root': [5, 9], 'target': [3, 9]}), ({'path': [5, 3, 100, 101, 102], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 12}, {'allocations': [[5, 12], [3, 12], [100, 12], [101, 12], [102, 12]], 'edges': [[[5, 12], [3, 12]], [[3, 12], [100, 12]], [[100, 12], [101, 12]], [[101, 12], [102, 12]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2], [100, 2], [101, 2], [102, 2]], 'root': [5, 12], 'target': [102, 12]})], [({'path': [], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [], 'edges': [], 'shared': [], 'old_refs': [], 'root': None, 'target': None}), ({'path': [1], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9]], 'edges': [], 'shared': [], 'old_refs': [[1, 2]], 'root': [1, 9], 'target': [1, 9]}), ({'path': [1, 3], 'siblings': [2], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [3, 9]], 'edges': [[[1, 9], [3, 9]]], 'shared': [[2, 2]], 'old_refs': [[1, 2], [3, 2]], 'root': [1, 9], 'target': [3, 9]}), ({'path': [1, 2, 5], 'siblings': [3, 4], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [2, 9], [5, 9]], 'edges': [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], 'shared': [[3, 2], [4, 2]], 'old_refs': [[1, 2], [2, 2], [5, 2]], 'root': [1, 9], 'target': [5, 9]}), ({'path': [7, 4, 9, 2], 'siblings': [8, 5, 1], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[7, 9], [4, 9], [9, 9], [2, 9]], 'edges': [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], 'shared': [[8, 2], [5, 2], [1, 2]], 'old_refs': [[7, 2], [4, 2], [9, 2], [2, 2]], 'root': [7, 9], 'target': [2, 9]}), ({'path': [5, 3], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[5, 9], [3, 9]], 'edges': [[[5, 9], [3, 9]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2]], 'root': [5, 9], 'target': [3, 9]}), ({'path': [5, 3, 100, 101, 102, 103], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 13}, {'allocations': [[5, 13], [3, 13], [100, 13], [101, 13], [102, 13], [103, 13]], 'edges': [[[5, 13], [3, 13]], [[3, 13], [100, 13]], [[100, 13], [101, 13]], [[101, 13], [102, 13]], [[102, 13], [103, 13]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2], [100, 2], [101, 2], [102, 2], [103, 2]], 'root': [5, 13], 'target': [103, 13]})], [({'path': [], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [], 'edges': [], 'shared': [], 'old_refs': [], 'root': None, 'target': None}), ({'path': [1], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9]], 'edges': [], 'shared': [], 'old_refs': [[1, 2]], 'root': [1, 9], 'target': [1, 9]}), ({'path': [1, 3], 'siblings': [2], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [3, 9]], 'edges': [[[1, 9], [3, 9]]], 'shared': [[2, 2]], 'old_refs': [[1, 2], [3, 2]], 'root': [1, 9], 'target': [3, 9]}), ({'path': [1, 2, 5], 'siblings': [3, 4], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [2, 9], [5, 9]], 'edges': [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], 'shared': [[3, 2], [4, 2]], 'old_refs': [[1, 2], [2, 2], [5, 2]], 'root': [1, 9], 'target': [5, 9]}), ({'path': [7, 4, 9, 2], 'siblings': [8, 5, 1], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[7, 9], [4, 9], [9, 9], [2, 9]], 'edges': [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], 'shared': [[8, 2], [5, 2], [1, 2]], 'old_refs': [[7, 2], [4, 2], [9, 2], [2, 2]], 'root': [7, 9], 'target': [2, 9]}), ({'path': [5, 3], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[5, 9], [3, 9]], 'edges': [[[5, 9], [3, 9]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2]], 'root': [5, 9], 'target': [3, 9]}), ({'path': [5, 3, 100, 101, 102, 103, 104], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 14}, {'allocations': [[5, 14], [3, 14], [100, 14], [101, 14], [102, 14], [103, 14], [104, 14]], 'edges': [[[5, 14], [3, 14]], [[3, 14], [100, 14]], [[100, 14], [101, 14]], [[101, 14], [102, 14]], [[102, 14], [103, 14]], [[103, 14], [104, 14]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2], [100, 2], [101, 2], [102, 2], [103, 2], [104, 2]], 'root': [5, 14], 'target': [104, 14]})]][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":"26b75d0669c4ea79a7fcf6a7001de5c1b5a560098ee462856e7f6a291a03348d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    path=d['path']; siblings=d['siblings']; old=d['old_generation']; new=d['new_generation']; copies=[[x,new] for x in path]\n    return {'allocations': copies,\n    'edges': [[[path[i],new],[path[i+1],new]] for i in range(len(path)-1)],\n    'shared': [[x,old] for x in siblings],\n    'old_refs': [[x,old] for x in path],\n    'root': [path[0],new] if path else None,\n    'target': [path[0],new] if path else None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'path': [], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [], 'edges': [], 'shared': [], 'old_refs': [], 'root': None, 'target': None}), ({'path': [1], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9]], 'edges': [], 'shared': [], 'old_refs': [[1, 2]], 'root': [1, 9], 'target': [1, 9]}), ({'path': [1, 3], 'siblings': [2], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [3, 9]], 'edges': [[[1, 9], [3, 9]]], 'shared': [[2, 2]], 'old_refs': [[1, 2], [3, 2]], 'root': [1, 9], 'target': [3, 9]}), ({'path': [1, 2, 5], 'siblings': [3, 4], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [2, 9], [5, 9]], 'edges': [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], 'shared': [[3, 2], [4, 2]], 'old_refs': [[1, 2], [2, 2], [5, 2]], 'root': [1, 9], 'target': [5, 9]}), ({'path': [7, 4, 9, 2], 'siblings': [8, 5, 1], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[7, 9], [4, 9], [9, 9], [2, 9]], 'edges': [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], 'shared': [[8, 2], [5, 2], [1, 2]], 'old_refs': [[7, 2], [4, 2], [9, 2], [2, 2]], 'root': [7, 9], 'target': [2, 9]}), ({'path': [5, 3], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[5, 9], [3, 9]], 'edges': [[[5, 9], [3, 9]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2]], 'root': [5, 9], 'target': [3, 9]}), ({'path': [5, 3, 100], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 10}, {'allocations': [[5, 10], [3, 10], [100, 10]], 'edges': [[[5, 10], [3, 10]], [[3, 10], [100, 10]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2], [100, 2]], 'root': [5, 10], 'target': [100, 10]})], [({'path': [], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [], 'edges': [], 'shared': [], 'old_refs': [], 'root': None, 'target': None}), ({'path': [1], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9]], 'edges': [], 'shared': [], 'old_refs': [[1, 2]], 'root': [1, 9], 'target': [1, 9]}), ({'path': [1, 3], 'siblings': [2], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [3, 9]], 'edges': [[[1, 9], [3, 9]]], 'shared': [[2, 2]], 'old_refs': [[1, 2], [3, 2]], 'root': [1, 9], 'target': [3, 9]}), ({'path': [1, 2, 5], 'siblings': [3, 4], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [2, 9], [5, 9]], 'edges': [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], 'shared': [[3, 2], [4, 2]], 'old_refs': [[1, 2], [2, 2], [5, 2]], 'root': [1, 9], 'target': [5, 9]}), ({'path': [7, 4, 9, 2], 'siblings': [8, 5, 1], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[7, 9], [4, 9], [9, 9], [2, 9]], 'edges': [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], 'shared': [[8, 2], [5, 2], [1, 2]], 'old_refs': [[7, 2], [4, 2], [9, 2], [2, 2]], 'root': [7, 9], 'target': [2, 9]}), ({'path': [5, 3], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[5, 9], [3, 9]], 'edges': [[[5, 9], [3, 9]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2]], 'root': [5, 9], 'target': [3, 9]}), ({'path': [5, 3, 100, 101], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 11}, {'allocations': [[5, 11], [3, 11], [100, 11], [101, 11]], 'edges': [[[5, 11], [3, 11]], [[3, 11], [100, 11]], [[100, 11], [101, 11]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2], [100, 2], [101, 2]], 'root': [5, 11], 'target': [101, 11]})], [({'path': [], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [], 'edges': [], 'shared': [], 'old_refs': [], 'root': None, 'target': None}), ({'path': [1], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9]], 'edges': [], 'shared': [], 'old_refs': [[1, 2]], 'root': [1, 9], 'target': [1, 9]}), ({'path': [1, 3], 'siblings': [2], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [3, 9]], 'edges': [[[1, 9], [3, 9]]], 'shared': [[2, 2]], 'old_refs': [[1, 2], [3, 2]], 'root': [1, 9], 'target': [3, 9]}), ({'path': [1, 2, 5], 'siblings': [3, 4], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [2, 9], [5, 9]], 'edges': [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], 'shared': [[3, 2], [4, 2]], 'old_refs': [[1, 2], [2, 2], [5, 2]], 'root': [1, 9], 'target': [5, 9]}), ({'path': [7, 4, 9, 2], 'siblings': [8, 5, 1], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[7, 9], [4, 9], [9, 9], [2, 9]], 'edges': [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], 'shared': [[8, 2], [5, 2], [1, 2]], 'old_refs': [[7, 2], [4, 2], [9, 2], [2, 2]], 'root': [7, 9], 'target': [2, 9]}), ({'path': [5, 3], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[5, 9], [3, 9]], 'edges': [[[5, 9], [3, 9]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2]], 'root': [5, 9], 'target': [3, 9]}), ({'path': [5, 3, 100, 101, 102], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 12}, {'allocations': [[5, 12], [3, 12], [100, 12], [101, 12], [102, 12]], 'edges': [[[5, 12], [3, 12]], [[3, 12], [100, 12]], [[100, 12], [101, 12]], [[101, 12], [102, 12]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2], [100, 2], [101, 2], [102, 2]], 'root': [5, 12], 'target': [102, 12]})], [({'path': [], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [], 'edges': [], 'shared': [], 'old_refs': [], 'root': None, 'target': None}), ({'path': [1], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9]], 'edges': [], 'shared': [], 'old_refs': [[1, 2]], 'root': [1, 9], 'target': [1, 9]}), ({'path': [1, 3], 'siblings': [2], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [3, 9]], 'edges': [[[1, 9], [3, 9]]], 'shared': [[2, 2]], 'old_refs': [[1, 2], [3, 2]], 'root': [1, 9], 'target': [3, 9]}), ({'path': [1, 2, 5], 'siblings': [3, 4], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [2, 9], [5, 9]], 'edges': [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], 'shared': [[3, 2], [4, 2]], 'old_refs': [[1, 2], [2, 2], [5, 2]], 'root': [1, 9], 'target': [5, 9]}), ({'path': [7, 4, 9, 2], 'siblings': [8, 5, 1], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[7, 9], [4, 9], [9, 9], [2, 9]], 'edges': [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], 'shared': [[8, 2], [5, 2], [1, 2]], 'old_refs': [[7, 2], [4, 2], [9, 2], [2, 2]], 'root': [7, 9], 'target': [2, 9]}), ({'path': [5, 3], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[5, 9], [3, 9]], 'edges': [[[5, 9], [3, 9]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2]], 'root': [5, 9], 'target': [3, 9]}), ({'path': [5, 3, 100, 101, 102, 103], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 13}, {'allocations': [[5, 13], [3, 13], [100, 13], [101, 13], [102, 13], [103, 13]], 'edges': [[[5, 13], [3, 13]], [[3, 13], [100, 13]], [[100, 13], [101, 13]], [[101, 13], [102, 13]], [[102, 13], [103, 13]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2], [100, 2], [101, 2], [102, 2], [103, 2]], 'root': [5, 13], 'target': [103, 13]})], [({'path': [], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [], 'edges': [], 'shared': [], 'old_refs': [], 'root': None, 'target': None}), ({'path': [1], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9]], 'edges': [], 'shared': [], 'old_refs': [[1, 2]], 'root': [1, 9], 'target': [1, 9]}), ({'path': [1, 3], 'siblings': [2], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [3, 9]], 'edges': [[[1, 9], [3, 9]]], 'shared': [[2, 2]], 'old_refs': [[1, 2], [3, 2]], 'root': [1, 9], 'target': [3, 9]}), ({'path': [1, 2, 5], 'siblings': [3, 4], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [2, 9], [5, 9]], 'edges': [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], 'shared': [[3, 2], [4, 2]], 'old_refs': [[1, 2], [2, 2], [5, 2]], 'root': [1, 9], 'target': [5, 9]}), ({'path': [7, 4, 9, 2], 'siblings': [8, 5, 1], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[7, 9], [4, 9], [9, 9], [2, 9]], 'edges': [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], 'shared': [[8, 2], [5, 2], [1, 2]], 'old_refs': [[7, 2], [4, 2], [9, 2], [2, 2]], 'root': [7, 9], 'target': [2, 9]}), ({'path': [5, 3], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[5, 9], [3, 9]], 'edges': [[[5, 9], [3, 9]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2]], 'root': [5, 9], 'target': [3, 9]}), ({'path': [5, 3, 100, 101, 102, 103, 104], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 14}, {'allocations': [[5, 14], [3, 14], [100, 14], [101, 14], [102, 14], [103, 14], [104, 14]], 'edges': [[[5, 14], [3, 14]], [[3, 14], [100, 14]], [[100, 14], [101, 14]], [[101, 14], [102, 14]], [[102, 14], [103, 14]], [[103, 14], [104, 14]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2], [100, 2], [101, 2], [102, 2], [103, 2], [104, 2]], 'root': [5, 14], 'target': [104, 14]})]][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":"0ee84f6e732d67db463e34e940ddc5d507082054d7d85e7a14a60771230da9a1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    path=d['path']; siblings=d['siblings']; old=d['old_generation']; new=d['new_generation']; copies=[[x,new] for x in path]\n    return {'allocations': copies,\n    'edges': [[[path[i],new],[path[i+1],new]] for i in range(len(path)-1)],\n    'shared': [[x,old] for x in siblings],\n    'old_refs': [[x,old] for x in path],\n    'root': [path[0],new] if path else None,\n    'target': [path[-1],new] if path else None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'path': [], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [], 'edges': [], 'shared': [], 'old_refs': [], 'root': None, 'target': None}), ({'path': [1], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9]], 'edges': [], 'shared': [], 'old_refs': [[1, 2]], 'root': [1, 9], 'target': [1, 9]}), ({'path': [1, 3], 'siblings': [2], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [3, 9]], 'edges': [[[1, 9], [3, 9]]], 'shared': [[2, 2]], 'old_refs': [[1, 2], [3, 2]], 'root': [1, 9], 'target': [3, 9]}), ({'path': [1, 2, 5], 'siblings': [3, 4], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [2, 9], [5, 9]], 'edges': [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], 'shared': [[3, 2], [4, 2]], 'old_refs': [[1, 2], [2, 2], [5, 2]], 'root': [1, 9], 'target': [5, 9]}), ({'path': [7, 4, 9, 2], 'siblings': [8, 5, 1], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[7, 9], [4, 9], [9, 9], [2, 9]], 'edges': [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], 'shared': [[8, 2], [5, 2], [1, 2]], 'old_refs': [[7, 2], [4, 2], [9, 2], [2, 2]], 'root': [7, 9], 'target': [2, 9]}), ({'path': [5, 3], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[5, 9], [3, 9]], 'edges': [[[5, 9], [3, 9]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2]], 'root': [5, 9], 'target': [3, 9]}), ({'path': [5, 3, 100], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 10}, {'allocations': [[5, 10], [3, 10], [100, 10]], 'edges': [[[5, 10], [3, 10]], [[3, 10], [100, 10]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2], [100, 2]], 'root': [5, 10], 'target': [100, 10]})], [({'path': [], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [], 'edges': [], 'shared': [], 'old_refs': [], 'root': None, 'target': None}), ({'path': [1], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9]], 'edges': [], 'shared': [], 'old_refs': [[1, 2]], 'root': [1, 9], 'target': [1, 9]}), ({'path': [1, 3], 'siblings': [2], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [3, 9]], 'edges': [[[1, 9], [3, 9]]], 'shared': [[2, 2]], 'old_refs': [[1, 2], [3, 2]], 'root': [1, 9], 'target': [3, 9]}), ({'path': [1, 2, 5], 'siblings': [3, 4], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [2, 9], [5, 9]], 'edges': [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], 'shared': [[3, 2], [4, 2]], 'old_refs': [[1, 2], [2, 2], [5, 2]], 'root': [1, 9], 'target': [5, 9]}), ({'path': [7, 4, 9, 2], 'siblings': [8, 5, 1], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[7, 9], [4, 9], [9, 9], [2, 9]], 'edges': [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], 'shared': [[8, 2], [5, 2], [1, 2]], 'old_refs': [[7, 2], [4, 2], [9, 2], [2, 2]], 'root': [7, 9], 'target': [2, 9]}), ({'path': [5, 3], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[5, 9], [3, 9]], 'edges': [[[5, 9], [3, 9]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2]], 'root': [5, 9], 'target': [3, 9]}), ({'path': [5, 3, 100, 101], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 11}, {'allocations': [[5, 11], [3, 11], [100, 11], [101, 11]], 'edges': [[[5, 11], [3, 11]], [[3, 11], [100, 11]], [[100, 11], [101, 11]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2], [100, 2], [101, 2]], 'root': [5, 11], 'target': [101, 11]})], [({'path': [], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [], 'edges': [], 'shared': [], 'old_refs': [], 'root': None, 'target': None}), ({'path': [1], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9]], 'edges': [], 'shared': [], 'old_refs': [[1, 2]], 'root': [1, 9], 'target': [1, 9]}), ({'path': [1, 3], 'siblings': [2], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [3, 9]], 'edges': [[[1, 9], [3, 9]]], 'shared': [[2, 2]], 'old_refs': [[1, 2], [3, 2]], 'root': [1, 9], 'target': [3, 9]}), ({'path': [1, 2, 5], 'siblings': [3, 4], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [2, 9], [5, 9]], 'edges': [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], 'shared': [[3, 2], [4, 2]], 'old_refs': [[1, 2], [2, 2], [5, 2]], 'root': [1, 9], 'target': [5, 9]}), ({'path': [7, 4, 9, 2], 'siblings': [8, 5, 1], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[7, 9], [4, 9], [9, 9], [2, 9]], 'edges': [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], 'shared': [[8, 2], [5, 2], [1, 2]], 'old_refs': [[7, 2], [4, 2], [9, 2], [2, 2]], 'root': [7, 9], 'target': [2, 9]}), ({'path': [5, 3], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[5, 9], [3, 9]], 'edges': [[[5, 9], [3, 9]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2]], 'root': [5, 9], 'target': [3, 9]}), ({'path': [5, 3, 100, 101, 102], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 12}, {'allocations': [[5, 12], [3, 12], [100, 12], [101, 12], [102, 12]], 'edges': [[[5, 12], [3, 12]], [[3, 12], [100, 12]], [[100, 12], [101, 12]], [[101, 12], [102, 12]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2], [100, 2], [101, 2], [102, 2]], 'root': [5, 12], 'target': [102, 12]})], [({'path': [], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [], 'edges': [], 'shared': [], 'old_refs': [], 'root': None, 'target': None}), ({'path': [1], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9]], 'edges': [], 'shared': [], 'old_refs': [[1, 2]], 'root': [1, 9], 'target': [1, 9]}), ({'path': [1, 3], 'siblings': [2], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [3, 9]], 'edges': [[[1, 9], [3, 9]]], 'shared': [[2, 2]], 'old_refs': [[1, 2], [3, 2]], 'root': [1, 9], 'target': [3, 9]}), ({'path': [1, 2, 5], 'siblings': [3, 4], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [2, 9], [5, 9]], 'edges': [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], 'shared': [[3, 2], [4, 2]], 'old_refs': [[1, 2], [2, 2], [5, 2]], 'root': [1, 9], 'target': [5, 9]}), ({'path': [7, 4, 9, 2], 'siblings': [8, 5, 1], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[7, 9], [4, 9], [9, 9], [2, 9]], 'edges': [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], 'shared': [[8, 2], [5, 2], [1, 2]], 'old_refs': [[7, 2], [4, 2], [9, 2], [2, 2]], 'root': [7, 9], 'target': [2, 9]}), ({'path': [5, 3], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[5, 9], [3, 9]], 'edges': [[[5, 9], [3, 9]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2]], 'root': [5, 9], 'target': [3, 9]}), ({'path': [5, 3, 100, 101, 102, 103], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 13}, {'allocations': [[5, 13], [3, 13], [100, 13], [101, 13], [102, 13], [103, 13]], 'edges': [[[5, 13], [3, 13]], [[3, 13], [100, 13]], [[100, 13], [101, 13]], [[101, 13], [102, 13]], [[102, 13], [103, 13]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2], [100, 2], [101, 2], [102, 2], [103, 2]], 'root': [5, 13], 'target': [103, 13]})], [({'path': [], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [], 'edges': [], 'shared': [], 'old_refs': [], 'root': None, 'target': None}), ({'path': [1], 'siblings': [], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9]], 'edges': [], 'shared': [], 'old_refs': [[1, 2]], 'root': [1, 9], 'target': [1, 9]}), ({'path': [1, 3], 'siblings': [2], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [3, 9]], 'edges': [[[1, 9], [3, 9]]], 'shared': [[2, 2]], 'old_refs': [[1, 2], [3, 2]], 'root': [1, 9], 'target': [3, 9]}), ({'path': [1, 2, 5], 'siblings': [3, 4], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[1, 9], [2, 9], [5, 9]], 'edges': [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], 'shared': [[3, 2], [4, 2]], 'old_refs': [[1, 2], [2, 2], [5, 2]], 'root': [1, 9], 'target': [5, 9]}), ({'path': [7, 4, 9, 2], 'siblings': [8, 5, 1], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[7, 9], [4, 9], [9, 9], [2, 9]], 'edges': [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], 'shared': [[8, 2], [5, 2], [1, 2]], 'old_refs': [[7, 2], [4, 2], [9, 2], [2, 2]], 'root': [7, 9], 'target': [2, 9]}), ({'path': [5, 3], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 9}, {'allocations': [[5, 9], [3, 9]], 'edges': [[[5, 9], [3, 9]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2]], 'root': [5, 9], 'target': [3, 9]}), ({'path': [5, 3, 100, 101, 102, 103, 104], 'siblings': [8, 2, 9], 'old_generation': 2, 'new_generation': 14}, {'allocations': [[5, 14], [3, 14], [100, 14], [101, 14], [102, 14], [103, 14], [104, 14]], 'edges': [[[5, 14], [3, 14]], [[3, 14], [100, 14]], [[100, 14], [101, 14]], [[101, 14], [102, 14]], [[102, 14], [103, 14]], [[103, 14], [104, 14]]], 'shared': [[8, 2], [2, 2], [9, 2]], 'old_refs': [[5, 2], [3, 2], [100, 2], [101, 2], [102, 2], [103, 2], [104, 2]], 'root': [5, 14], 'target': [104, 14]})]][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-persistent-path-copy-target","generated_at":"2026-09-29T14:43:36.602501+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 target using [path[-1],new] if path else None under the stated bounded certificate contract.","root_cause":"Persistent heap target handle resolves into the new version.","sha256":"5e1458a069d587f27244a314b7e889d41b0a4df9470ece6c5a2956cb092a6887","title":"Persistent heap target handle resolves into the new version · 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":43.0,"exit_code":1,"observations":[{"actual":{"allocations":[],"edges":[],"old_refs":[],"root":null,"shared":[],"target":null},"check":"regression certificate 1","expected":{"allocations":[],"edges":[],"old_refs":[],"root":null,"shared":[],"target":null},"passed":true},{"actual":{"allocations":[[1,9]],"edges":[],"old_refs":[[1,2]],"root":[1,9],"shared":[],"target":[1,2]},"check":"regression certificate 2","expected":{"allocations":[[1,9]],"edges":[],"old_refs":[[1,2]],"root":[1,9],"shared":[],"target":[1,9]},"passed":false},{"actual":{"allocations":[[1,9],[3,9]],"edges":[[[1,9],[3,9]]],"old_refs":[[1,2],[3,2]],"root":[1,9],"shared":[[2,2]],"target":[3,2]},"check":"regression certificate 3","expected":{"allocations":[[1,9],[3,9]],"edges":[[[1,9],[3,9]]],"old_refs":[[1,2],[3,2]],"root":[1,9],"shared":[[2,2]],"target":[3,9]},"passed":false},{"actual":{"allocations":[[1,9],[2,9],[5,9]],"edges":[[[1,9],[2,9]],[[2,9],[5,9]]],"old_refs":[[1,2],[2,2],[5,2]],"root":[1,9],"shared":[[3,2],[4,2]],"target":[5,2]},"check":"regression certificate 4","expected":{"allocations":[[1,9],[2,9],[5,9]],"edges":[[[1,9],[2,9]],[[2,9],[5,9]]],"old_refs":[[1,2],[2,2],[5,2]],"root":[1,9],"shared":[[3,2],[4,2]],"target":[5,9]},"passed":false},{"actual":{"allocations":[[7,9],[4,9],[9,9],[2,9]],"edges":[[[7,9],[4,9]],[[4,9],[9,9]],[[9,9],[2,9]]],"old_refs":[[7,2],[4,2],[9,2],[2,2]],"root":[7,9],"shared":[[8,2],[5,2],[1,2]],"target":[2,2]},"check":"regression certificate 5","expected":{"allocations":[[7,9],[4,9],[9,9],[2,9]],"edges":[[[7,9],[4,9]],[[4,9],[9,9]],[[9,9],[2,9]]],"old_refs":[[7,2],[4,2],[9,2],[2,2]],"root":[7,9],"shared":[[8,2],[5,2],[1,2]],"target":[2,9]},"passed":false},{"actual":{"allocations":[[5,9],[3,9]],"edges":[[[5,9],[3,9]]],"old_refs":[[5,2],[3,2]],"root":[5,9],"shared":[[8,2],[2,2],[9,2]],"target":[3,2]},"check":"regression certificate 6","expected":{"allocations":[[5,9],[3,9]],"edges":[[[5,9],[3,9]]],"old_refs":[[5,2],[3,2]],"root":[5,9],"shared":[[8,2],[2,2],[9,2]],"target":[3,9]},"passed":false},{"actual":{"allocations":[[5,10],[3,10],[100,10]],"edges":[[[5,10],[3,10]],[[3,10],[100,10]]],"old_refs":[[5,2],[3,2],[100,2]],"root":[5,10],"shared":[[8,2],[2,2],[9,2]],"target":[100,2]},"check":"variant-dependent certificate","expected":{"allocations":[[5,10],[3,10],[100,10]],"edges":[[[5,10],[3,10]],[[3,10],[100,10]]],"old_refs":[[5,2],[3,2],[100,2]],"root":[5,10],"shared":[[8,2],[2,2],[9,2]],"target":[100,10]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"allocations\": [], \"edges\": [], \"shared\": [], \"old_refs\": [], \"root\": null, \"target\": null}, \"expected\": {\"allocations\": [], \"edges\": [], \"shared\": [], \"old_refs\": [], \"root\": null, \"target\": null}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"allocations\": [[1, 9]], \"edges\": [], \"shared\": [], \"old_refs\": [[1, 2]], \"root\": [1, 9], \"target\": [1, 2]}, \"expected\": {\"allocations\": [[1, 9]], \"edges\": [], \"shared\": [], \"old_refs\": [[1, 2]], \"root\": [1, 9], \"target\": [1, 9]}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"allocations\": [[1, 9], [3, 9]], \"edges\": [[[1, 9], [3, 9]]], \"shared\": [[2, 2]], \"old_refs\": [[1, 2], [3, 2]], \"root\": [1, 9], \"target\": [3, 2]}, \"expected\": {\"allocations\": [[1, 9], [3, 9]], \"edges\": [[[1, 9], [3, 9]]], \"shared\": [[2, 2]], \"old_refs\": [[1, 2], [3, 2]], \"root\": [1, 9], \"target\": [3, 9]}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"allocations\": [[1, 9], [2, 9], [5, 9]], \"edges\": [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], \"shared\": [[3, 2], [4, 2]], \"old_refs\": [[1, 2], [2, 2], [5, 2]], \"root\": [1, 9], \"target\": [5, 2]}, \"expected\": {\"allocations\": [[1, 9], [2, 9], [5, 9]], \"edges\": [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], \"shared\": [[3, 2], [4, 2]], \"old_refs\": [[1, 2], [2, 2], [5, 2]], \"root\": [1, 9], \"target\": [5, 9]}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"allocations\": [[7, 9], [4, 9], [9, 9], [2, 9]], \"edges\": [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], \"shared\": [[8, 2], [5, 2], [1, 2]], \"old_refs\": [[7, 2], [4, 2], [9, 2], [2, 2]], \"root\": [7, 9], \"target\": [2, 2]}, \"expected\": {\"allocations\": [[7, 9], [4, 9], [9, 9], [2, 9]], \"edges\": [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], \"shared\": [[8, 2], [5, 2], [1, 2]], \"old_refs\": [[7, 2], [4, 2], [9, 2], [2, 2]], \"root\": [7, 9], \"target\": [2, 9]}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"allocations\": [[5, 9], [3, 9]], \"edges\": [[[5, 9], [3, 9]]], \"shared\": [[8, 2], [2, 2], [9, 2]], \"old_refs\": [[5, 2], [3, 2]], \"root\": [5, 9], \"target\": [3, 2]}, \"expected\": {\"allocations\": [[5, 9], [3, 9]], \"edges\": [[[5, 9], [3, 9]]], \"shared\": [[8, 2], [2, 2], [9, 2]], \"old_refs\": [[5, 2], [3, 2]], \"root\": [5, 9], \"target\": [3, 9]}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"allocations\": [[5, 10], [3, 10], [100, 10]], \"edges\": [[[5, 10], [3, 10]], [[3, 10], [100, 10]]], \"shared\": [[8, 2], [2, 2], [9, 2]], \"old_refs\": [[5, 2], [3, 2], [100, 2]], \"root\": [5, 10], \"target\": [100, 2]}, \"expected\": {\"allocations\": [[5, 10], [3, 10], [100, 10]], \"edges\": [[[5, 10], [3, 10]], [[3, 10], [100, 10]]], \"shared\": [[8, 2], [2, 2], [9, 2]], \"old_refs\": [[5, 2], [3, 2], [100, 2]], \"root\": [5, 10], \"target\": [100, 10]}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.457,"exit_code":1,"observations":[{"actual":{"allocations":[],"edges":[],"old_refs":[],"root":null,"shared":[],"target":null},"check":"regression certificate 1","expected":{"allocations":[],"edges":[],"old_refs":[],"root":null,"shared":[],"target":null},"passed":true},{"actual":{"allocations":[[1,9]],"edges":[],"old_refs":[[1,2]],"root":[1,9],"shared":[],"target":[1,9]},"check":"regression certificate 2","expected":{"allocations":[[1,9]],"edges":[],"old_refs":[[1,2]],"root":[1,9],"shared":[],"target":[1,9]},"passed":true},{"actual":{"allocations":[[1,9],[3,9]],"edges":[[[1,9],[3,9]]],"old_refs":[[1,2],[3,2]],"root":[1,9],"shared":[[2,2]],"target":[1,9]},"check":"regression certificate 3","expected":{"allocations":[[1,9],[3,9]],"edges":[[[1,9],[3,9]]],"old_refs":[[1,2],[3,2]],"root":[1,9],"shared":[[2,2]],"target":[3,9]},"passed":false},{"actual":{"allocations":[[1,9],[2,9],[5,9]],"edges":[[[1,9],[2,9]],[[2,9],[5,9]]],"old_refs":[[1,2],[2,2],[5,2]],"root":[1,9],"shared":[[3,2],[4,2]],"target":[1,9]},"check":"regression certificate 4","expected":{"allocations":[[1,9],[2,9],[5,9]],"edges":[[[1,9],[2,9]],[[2,9],[5,9]]],"old_refs":[[1,2],[2,2],[5,2]],"root":[1,9],"shared":[[3,2],[4,2]],"target":[5,9]},"passed":false},{"actual":{"allocations":[[7,9],[4,9],[9,9],[2,9]],"edges":[[[7,9],[4,9]],[[4,9],[9,9]],[[9,9],[2,9]]],"old_refs":[[7,2],[4,2],[9,2],[2,2]],"root":[7,9],"shared":[[8,2],[5,2],[1,2]],"target":[7,9]},"check":"regression certificate 5","expected":{"allocations":[[7,9],[4,9],[9,9],[2,9]],"edges":[[[7,9],[4,9]],[[4,9],[9,9]],[[9,9],[2,9]]],"old_refs":[[7,2],[4,2],[9,2],[2,2]],"root":[7,9],"shared":[[8,2],[5,2],[1,2]],"target":[2,9]},"passed":false},{"actual":{"allocations":[[5,9],[3,9]],"edges":[[[5,9],[3,9]]],"old_refs":[[5,2],[3,2]],"root":[5,9],"shared":[[8,2],[2,2],[9,2]],"target":[5,9]},"check":"regression certificate 6","expected":{"allocations":[[5,9],[3,9]],"edges":[[[5,9],[3,9]]],"old_refs":[[5,2],[3,2]],"root":[5,9],"shared":[[8,2],[2,2],[9,2]],"target":[3,9]},"passed":false},{"actual":{"allocations":[[5,10],[3,10],[100,10]],"edges":[[[5,10],[3,10]],[[3,10],[100,10]]],"old_refs":[[5,2],[3,2],[100,2]],"root":[5,10],"shared":[[8,2],[2,2],[9,2]],"target":[5,10]},"check":"variant-dependent certificate","expected":{"allocations":[[5,10],[3,10],[100,10]],"edges":[[[5,10],[3,10]],[[3,10],[100,10]]],"old_refs":[[5,2],[3,2],[100,2]],"root":[5,10],"shared":[[8,2],[2,2],[9,2]],"target":[100,10]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"allocations\": [], \"edges\": [], \"shared\": [], \"old_refs\": [], \"root\": null, \"target\": null}, \"expected\": {\"allocations\": [], \"edges\": [], \"shared\": [], \"old_refs\": [], \"root\": null, \"target\": null}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"allocations\": [[1, 9]], \"edges\": [], \"shared\": [], \"old_refs\": [[1, 2]], \"root\": [1, 9], \"target\": [1, 9]}, \"expected\": {\"allocations\": [[1, 9]], \"edges\": [], \"shared\": [], \"old_refs\": [[1, 2]], \"root\": [1, 9], \"target\": [1, 9]}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"allocations\": [[1, 9], [3, 9]], \"edges\": [[[1, 9], [3, 9]]], \"shared\": [[2, 2]], \"old_refs\": [[1, 2], [3, 2]], \"root\": [1, 9], \"target\": [1, 9]}, \"expected\": {\"allocations\": [[1, 9], [3, 9]], \"edges\": [[[1, 9], [3, 9]]], \"shared\": [[2, 2]], \"old_refs\": [[1, 2], [3, 2]], \"root\": [1, 9], \"target\": [3, 9]}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"allocations\": [[1, 9], [2, 9], [5, 9]], \"edges\": [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], \"shared\": [[3, 2], [4, 2]], \"old_refs\": [[1, 2], [2, 2], [5, 2]], \"root\": [1, 9], \"target\": [1, 9]}, \"expected\": {\"allocations\": [[1, 9], [2, 9], [5, 9]], \"edges\": [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], \"shared\": [[3, 2], [4, 2]], \"old_refs\": [[1, 2], [2, 2], [5, 2]], \"root\": [1, 9], \"target\": [5, 9]}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"allocations\": [[7, 9], [4, 9], [9, 9], [2, 9]], \"edges\": [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], \"shared\": [[8, 2], [5, 2], [1, 2]], \"old_refs\": [[7, 2], [4, 2], [9, 2], [2, 2]], \"root\": [7, 9], \"target\": [7, 9]}, \"expected\": {\"allocations\": [[7, 9], [4, 9], [9, 9], [2, 9]], \"edges\": [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], \"shared\": [[8, 2], [5, 2], [1, 2]], \"old_refs\": [[7, 2], [4, 2], [9, 2], [2, 2]], \"root\": [7, 9], \"target\": [2, 9]}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"allocations\": [[5, 9], [3, 9]], \"edges\": [[[5, 9], [3, 9]]], \"shared\": [[8, 2], [2, 2], [9, 2]], \"old_refs\": [[5, 2], [3, 2]], \"root\": [5, 9], \"target\": [5, 9]}, \"expected\": {\"allocations\": [[5, 9], [3, 9]], \"edges\": [[[5, 9], [3, 9]]], \"shared\": [[8, 2], [2, 2], [9, 2]], \"old_refs\": [[5, 2], [3, 2]], \"root\": [5, 9], \"target\": [3, 9]}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"allocations\": [[5, 10], [3, 10], [100, 10]], \"edges\": [[[5, 10], [3, 10]], [[3, 10], [100, 10]]], \"shared\": [[8, 2], [2, 2], [9, 2]], \"old_refs\": [[5, 2], [3, 2], [100, 2]], \"root\": [5, 10], \"target\": [5, 10]}, \"expected\": {\"allocations\": [[5, 10], [3, 10], [100, 10]], \"edges\": [[[5, 10], [3, 10]], [[3, 10], [100, 10]]], \"shared\": [[8, 2], [2, 2], [9, 2]], \"old_refs\": [[5, 2], [3, 2], [100, 2]], \"root\": [5, 10], \"target\": [100, 10]}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":47.678,"exit_code":0,"observations":[{"actual":{"allocations":[],"edges":[],"old_refs":[],"root":null,"shared":[],"target":null},"check":"regression certificate 1","expected":{"allocations":[],"edges":[],"old_refs":[],"root":null,"shared":[],"target":null},"passed":true},{"actual":{"allocations":[[1,9]],"edges":[],"old_refs":[[1,2]],"root":[1,9],"shared":[],"target":[1,9]},"check":"regression certificate 2","expected":{"allocations":[[1,9]],"edges":[],"old_refs":[[1,2]],"root":[1,9],"shared":[],"target":[1,9]},"passed":true},{"actual":{"allocations":[[1,9],[3,9]],"edges":[[[1,9],[3,9]]],"old_refs":[[1,2],[3,2]],"root":[1,9],"shared":[[2,2]],"target":[3,9]},"check":"regression certificate 3","expected":{"allocations":[[1,9],[3,9]],"edges":[[[1,9],[3,9]]],"old_refs":[[1,2],[3,2]],"root":[1,9],"shared":[[2,2]],"target":[3,9]},"passed":true},{"actual":{"allocations":[[1,9],[2,9],[5,9]],"edges":[[[1,9],[2,9]],[[2,9],[5,9]]],"old_refs":[[1,2],[2,2],[5,2]],"root":[1,9],"shared":[[3,2],[4,2]],"target":[5,9]},"check":"regression certificate 4","expected":{"allocations":[[1,9],[2,9],[5,9]],"edges":[[[1,9],[2,9]],[[2,9],[5,9]]],"old_refs":[[1,2],[2,2],[5,2]],"root":[1,9],"shared":[[3,2],[4,2]],"target":[5,9]},"passed":true},{"actual":{"allocations":[[7,9],[4,9],[9,9],[2,9]],"edges":[[[7,9],[4,9]],[[4,9],[9,9]],[[9,9],[2,9]]],"old_refs":[[7,2],[4,2],[9,2],[2,2]],"root":[7,9],"shared":[[8,2],[5,2],[1,2]],"target":[2,9]},"check":"regression certificate 5","expected":{"allocations":[[7,9],[4,9],[9,9],[2,9]],"edges":[[[7,9],[4,9]],[[4,9],[9,9]],[[9,9],[2,9]]],"old_refs":[[7,2],[4,2],[9,2],[2,2]],"root":[7,9],"shared":[[8,2],[5,2],[1,2]],"target":[2,9]},"passed":true},{"actual":{"allocations":[[5,9],[3,9]],"edges":[[[5,9],[3,9]]],"old_refs":[[5,2],[3,2]],"root":[5,9],"shared":[[8,2],[2,2],[9,2]],"target":[3,9]},"check":"regression certificate 6","expected":{"allocations":[[5,9],[3,9]],"edges":[[[5,9],[3,9]]],"old_refs":[[5,2],[3,2]],"root":[5,9],"shared":[[8,2],[2,2],[9,2]],"target":[3,9]},"passed":true},{"actual":{"allocations":[[5,10],[3,10],[100,10]],"edges":[[[5,10],[3,10]],[[3,10],[100,10]]],"old_refs":[[5,2],[3,2],[100,2]],"root":[5,10],"shared":[[8,2],[2,2],[9,2]],"target":[100,10]},"check":"variant-dependent certificate","expected":{"allocations":[[5,10],[3,10],[100,10]],"edges":[[[5,10],[3,10]],[[3,10],[100,10]]],"old_refs":[[5,2],[3,2],[100,2]],"root":[5,10],"shared":[[8,2],[2,2],[9,2]],"target":[100,10]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"allocations\": [], \"edges\": [], \"shared\": [], \"old_refs\": [], \"root\": null, \"target\": null}, \"expected\": {\"allocations\": [], \"edges\": [], \"shared\": [], \"old_refs\": [], \"root\": null, \"target\": null}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"allocations\": [[1, 9]], \"edges\": [], \"shared\": [], \"old_refs\": [[1, 2]], \"root\": [1, 9], \"target\": [1, 9]}, \"expected\": {\"allocations\": [[1, 9]], \"edges\": [], \"shared\": [], \"old_refs\": [[1, 2]], \"root\": [1, 9], \"target\": [1, 9]}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"allocations\": [[1, 9], [3, 9]], \"edges\": [[[1, 9], [3, 9]]], \"shared\": [[2, 2]], \"old_refs\": [[1, 2], [3, 2]], \"root\": [1, 9], \"target\": [3, 9]}, \"expected\": {\"allocations\": [[1, 9], [3, 9]], \"edges\": [[[1, 9], [3, 9]]], \"shared\": [[2, 2]], \"old_refs\": [[1, 2], [3, 2]], \"root\": [1, 9], \"target\": [3, 9]}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"allocations\": [[1, 9], [2, 9], [5, 9]], \"edges\": [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], \"shared\": [[3, 2], [4, 2]], \"old_refs\": [[1, 2], [2, 2], [5, 2]], \"root\": [1, 9], \"target\": [5, 9]}, \"expected\": {\"allocations\": [[1, 9], [2, 9], [5, 9]], \"edges\": [[[1, 9], [2, 9]], [[2, 9], [5, 9]]], \"shared\": [[3, 2], [4, 2]], \"old_refs\": [[1, 2], [2, 2], [5, 2]], \"root\": [1, 9], \"target\": [5, 9]}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"allocations\": [[7, 9], [4, 9], [9, 9], [2, 9]], \"edges\": [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], \"shared\": [[8, 2], [5, 2], [1, 2]], \"old_refs\": [[7, 2], [4, 2], [9, 2], [2, 2]], \"root\": [7, 9], \"target\": [2, 9]}, \"expected\": {\"allocations\": [[7, 9], [4, 9], [9, 9], [2, 9]], \"edges\": [[[7, 9], [4, 9]], [[4, 9], [9, 9]], [[9, 9], [2, 9]]], \"shared\": [[8, 2], [5, 2], [1, 2]], \"old_refs\": [[7, 2], [4, 2], [9, 2], [2, 2]], \"root\": [7, 9], \"target\": [2, 9]}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"allocations\": [[5, 9], [3, 9]], \"edges\": [[[5, 9], [3, 9]]], \"shared\": [[8, 2], [2, 2], [9, 2]], \"old_refs\": [[5, 2], [3, 2]], \"root\": [5, 9], \"target\": [3, 9]}, \"expected\": {\"allocations\": [[5, 9], [3, 9]], \"edges\": [[[5, 9], [3, 9]]], \"shared\": [[8, 2], [2, 2], [9, 2]], \"old_refs\": [[5, 2], [3, 2]], \"root\": [5, 9], \"target\": [3, 9]}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"allocations\": [[5, 10], [3, 10], [100, 10]], \"edges\": [[[5, 10], [3, 10]], [[3, 10], [100, 10]]], \"shared\": [[8, 2], [2, 2], [9, 2]], \"old_refs\": [[5, 2], [3, 2], [100, 2]], \"root\": [5, 10], \"target\": [100, 10]}, \"expected\": {\"allocations\": [[5, 10], [3, 10], [100, 10]], \"edges\": [[[5, 10], [3, 10]], [[3, 10], [100, 10]]], \"shared\": [[8, 2], [2, 2], [9, 2]], \"old_refs\": [[5, 2], [3, 2], [100, 2]], \"root\": [5, 10], \"target\": [100, 10]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}