{"abstract":"The bounded persistent meld reuse certificate reports an incorrect root.","category":"Heap invariants","checks":7,"contract":"A persistent meld recursion trace lists winner nodes visited and one terminal untouched subtree id (or None), with fresh generation g. Rebuild only visited winners during unwind in reverse visitation order and share the terminal subtree. Return allocation order, shared terminal reference, reconstructed links, new root, allocation count, and original snapshot ids unchanged. This is a path-copy trace, not a complete heap algorithm.","evaluation_group":"s3-heap-model-persistent-meld-reuse","failed_approach":"The local patch uses None if not v else v[0] and still violates the stated relation.","family":"s3-heap-persistent-meld-reuse-root","id":"FA-41176","implementations":{"attempt":{"sha256":"e6682fa0cacb8d7c2438be26dc479f3c326526822248d42640ce12041eeff630","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    v=d['visited']; terminal=d['terminal']; g=d['generation']; order=list(reversed(v))\n    return {'alloc_order': order,\n    'terminal': None if terminal is None else [terminal,\"shared\"],\n    'links': [[v[i],v[i+1] if i+1<len(v) else terminal] for i in range(len(v))],\n    'root': None if not v else v[0],\n    'allocation_count': len(v),\n    'old_snapshot': d[\"old_ids\"]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100]}, {'alloc_order': [100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], 'root': 2, 'allocation_count': 5, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101]}, {'alloc_order': [101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 10]], 'root': 2, 'allocation_count': 6, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102]}, {'alloc_order': [102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 10]], 'root': 2, 'allocation_count': 7, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102, 103], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103]}, {'alloc_order': [103, 102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 103], [103, 10]], 'root': 2, 'allocation_count': 8, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102, 103, 104], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103, 104]}, {'alloc_order': [104, 103, 102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 103], [103, 104], [104, 10]], 'root': 2, 'allocation_count': 9, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103, 104]})]][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":"c76ee29b3ca29dafd75a3c41780e20ec9e46bc6d65947837f9d16fedb0a9cb85","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    v=d['visited']; terminal=d['terminal']; g=d['generation']; order=list(reversed(v))\n    return {'alloc_order': order,\n    'terminal': None if terminal is None else [terminal,\"shared\"],\n    'links': [[v[i],v[i+1] if i+1<len(v) else terminal] for i in range(len(v))],\n    'root': v[-1] if v else terminal,\n    'allocation_count': len(v),\n    'old_snapshot': d[\"old_ids\"]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100]}, {'alloc_order': [100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], 'root': 2, 'allocation_count': 5, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101]}, {'alloc_order': [101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 10]], 'root': 2, 'allocation_count': 6, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102]}, {'alloc_order': [102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 10]], 'root': 2, 'allocation_count': 7, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102, 103], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103]}, {'alloc_order': [103, 102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 103], [103, 10]], 'root': 2, 'allocation_count': 8, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102, 103, 104], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103, 104]}, {'alloc_order': [104, 103, 102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 103], [103, 104], [104, 10]], 'root': 2, 'allocation_count': 9, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103, 104]})]][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":"ac36f6c0dab80b9b4443ee195635c45ebf3c3c18806d06b418288318f0d80233","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    v=d['visited']; terminal=d['terminal']; g=d['generation']; order=list(reversed(v))\n    return {'alloc_order': order,\n    'terminal': None if terminal is None else [terminal,\"shared\"],\n    'links': [[v[i],v[i+1] if i+1<len(v) else terminal] for i in range(len(v))],\n    'root': v[0] if v else terminal,\n    'allocation_count': len(v),\n    'old_snapshot': d[\"old_ids\"]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100]}, {'alloc_order': [100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], 'root': 2, 'allocation_count': 5, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101]}, {'alloc_order': [101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 10]], 'root': 2, 'allocation_count': 6, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102]}, {'alloc_order': [102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 10]], 'root': 2, 'allocation_count': 7, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102, 103], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103]}, {'alloc_order': [103, 102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 103], [103, 10]], 'root': 2, 'allocation_count': 8, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103]})], [({'visited': [], 'terminal': None, 'generation': 7, 'old_ids': []}, {'alloc_order': [], 'terminal': None, 'links': [], 'root': None, 'allocation_count': 0, 'old_snapshot': []}), ({'visited': [], 'terminal': 3, 'generation': 7, 'old_ids': [3, 4]}, {'alloc_order': [], 'terminal': [3, 'shared'], 'links': [], 'root': 3, 'allocation_count': 0, 'old_snapshot': [3, 4]}), ({'visited': [1], 'terminal': 2, 'generation': 7, 'old_ids': [1, 2, 3]}, {'alloc_order': [1], 'terminal': [2, 'shared'], 'links': [[1, 2]], 'root': 1, 'allocation_count': 1, 'old_snapshot': [1, 2, 3]}), ({'visited': [1, 4, 7], 'terminal': 9, 'generation': 7, 'old_ids': [1, 2, 4, 7, 9]}, {'alloc_order': [7, 4, 1], 'terminal': [9, 'shared'], 'links': [[1, 4], [4, 7], [7, 9]], 'root': 1, 'allocation_count': 3, 'old_snapshot': [1, 2, 4, 7, 9]}), ({'visited': [8, 3], 'terminal': None, 'generation': 7, 'old_ids': [8, 3]}, {'alloc_order': [3, 8], 'terminal': None, 'links': [[8, 3], [3, None]], 'root': 8, 'allocation_count': 2, 'old_snapshot': [8, 3]}), ({'visited': [2, 5, 9, 6], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11]}, {'alloc_order': [6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 10]], 'root': 2, 'allocation_count': 4, 'old_snapshot': [2, 5, 9, 6, 10, 11]}), ({'visited': [2, 5, 9, 6, 100, 101, 102, 103, 104], 'terminal': 10, 'generation': 7, 'old_ids': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103, 104]}, {'alloc_order': [104, 103, 102, 101, 100, 6, 9, 5, 2], 'terminal': [10, 'shared'], 'links': [[2, 5], [5, 9], [9, 6], [6, 100], [100, 101], [101, 102], [102, 103], [103, 104], [104, 10]], 'root': 2, 'allocation_count': 9, 'old_snapshot': [2, 5, 9, 6, 10, 11, 100, 101, 102, 103, 104]})]][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-meld-reuse-root","generated_at":"2026-09-29T14:43:38.317039+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 root using v[0] if v else terminal under the stated bounded certificate contract.","root_cause":"Persistent meld empty recursion returns the shared terminal root.","sha256":"00886da99fcb8de155f73dc098371add8ef6d7eace9cb601dbefafd7668d9c59","title":"Persistent meld empty recursion returns the shared terminal root · 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":49.297,"exit_code":1,"observations":[{"actual":{"alloc_order":[],"allocation_count":0,"links":[],"old_snapshot":[],"root":null,"terminal":null},"check":"regression certificate 1","expected":{"alloc_order":[],"allocation_count":0,"links":[],"old_snapshot":[],"root":null,"terminal":null},"passed":true},{"actual":{"alloc_order":[],"allocation_count":0,"links":[],"old_snapshot":[3,4],"root":null,"terminal":[3,"shared"]},"check":"regression certificate 2","expected":{"alloc_order":[],"allocation_count":0,"links":[],"old_snapshot":[3,4],"root":3,"terminal":[3,"shared"]},"passed":false},{"actual":{"alloc_order":[1],"allocation_count":1,"links":[[1,2]],"old_snapshot":[1,2,3],"root":1,"terminal":[2,"shared"]},"check":"regression certificate 3","expected":{"alloc_order":[1],"allocation_count":1,"links":[[1,2]],"old_snapshot":[1,2,3],"root":1,"terminal":[2,"shared"]},"passed":true},{"actual":{"alloc_order":[7,4,1],"allocation_count":3,"links":[[1,4],[4,7],[7,9]],"old_snapshot":[1,2,4,7,9],"root":1,"terminal":[9,"shared"]},"check":"regression certificate 4","expected":{"alloc_order":[7,4,1],"allocation_count":3,"links":[[1,4],[4,7],[7,9]],"old_snapshot":[1,2,4,7,9],"root":1,"terminal":[9,"shared"]},"passed":true},{"actual":{"alloc_order":[3,8],"allocation_count":2,"links":[[8,3],[3,null]],"old_snapshot":[8,3],"root":8,"terminal":null},"check":"regression certificate 5","expected":{"alloc_order":[3,8],"allocation_count":2,"links":[[8,3],[3,null]],"old_snapshot":[8,3],"root":8,"terminal":null},"passed":true},{"actual":{"alloc_order":[6,9,5,2],"allocation_count":4,"links":[[2,5],[5,9],[9,6],[6,10]],"old_snapshot":[2,5,9,6,10,11],"root":2,"terminal":[10,"shared"]},"check":"regression certificate 6","expected":{"alloc_order":[6,9,5,2],"allocation_count":4,"links":[[2,5],[5,9],[9,6],[6,10]],"old_snapshot":[2,5,9,6,10,11],"root":2,"terminal":[10,"shared"]},"passed":true},{"actual":{"alloc_order":[100,6,9,5,2],"allocation_count":5,"links":[[2,5],[5,9],[9,6],[6,100],[100,10]],"old_snapshot":[2,5,9,6,10,11,100],"root":2,"terminal":[10,"shared"]},"check":"variant-dependent certificate","expected":{"alloc_order":[100,6,9,5,2],"allocation_count":5,"links":[[2,5],[5,9],[9,6],[6,100],[100,10]],"old_snapshot":[2,5,9,6,10,11,100],"root":2,"terminal":[10,"shared"]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"alloc_order\": [], \"terminal\": null, \"links\": [], \"root\": null, \"allocation_count\": 0, \"old_snapshot\": []}, \"expected\": {\"alloc_order\": [], \"terminal\": null, \"links\": [], \"root\": null, \"allocation_count\": 0, \"old_snapshot\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"alloc_order\": [], \"terminal\": [3, \"shared\"], \"links\": [], \"root\": null, \"allocation_count\": 0, \"old_snapshot\": [3, 4]}, \"expected\": {\"alloc_order\": [], \"terminal\": [3, \"shared\"], \"links\": [], \"root\": 3, \"allocation_count\": 0, \"old_snapshot\": [3, 4]}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"alloc_order\": [1], \"terminal\": [2, \"shared\"], \"links\": [[1, 2]], \"root\": 1, \"allocation_count\": 1, \"old_snapshot\": [1, 2, 3]}, \"expected\": {\"alloc_order\": [1], \"terminal\": [2, \"shared\"], \"links\": [[1, 2]], \"root\": 1, \"allocation_count\": 1, \"old_snapshot\": [1, 2, 3]}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"alloc_order\": [7, 4, 1], \"terminal\": [9, \"shared\"], \"links\": [[1, 4], [4, 7], [7, 9]], \"root\": 1, \"allocation_count\": 3, \"old_snapshot\": [1, 2, 4, 7, 9]}, \"expected\": {\"alloc_order\": [7, 4, 1], \"terminal\": [9, \"shared\"], \"links\": [[1, 4], [4, 7], [7, 9]], \"root\": 1, \"allocation_count\": 3, \"old_snapshot\": [1, 2, 4, 7, 9]}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"alloc_order\": [3, 8], \"terminal\": null, \"links\": [[8, 3], [3, null]], \"root\": 8, \"allocation_count\": 2, \"old_snapshot\": [8, 3]}, \"expected\": {\"alloc_order\": [3, 8], \"terminal\": null, \"links\": [[8, 3], [3, null]], \"root\": 8, \"allocation_count\": 2, \"old_snapshot\": [8, 3]}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"alloc_order\": [6, 9, 5, 2], \"terminal\": [10, \"shared\"], \"links\": [[2, 5], [5, 9], [9, 6], [6, 10]], \"root\": 2, \"allocation_count\": 4, \"old_snapshot\": [2, 5, 9, 6, 10, 11]}, \"expected\": {\"alloc_order\": [6, 9, 5, 2], \"terminal\": [10, \"shared\"], \"links\": [[2, 5], [5, 9], [9, 6], [6, 10]], \"root\": 2, \"allocation_count\": 4, \"old_snapshot\": [2, 5, 9, 6, 10, 11]}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"alloc_order\": [100, 6, 9, 5, 2], \"terminal\": [10, \"shared\"], \"links\": [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], \"root\": 2, \"allocation_count\": 5, \"old_snapshot\": [2, 5, 9, 6, 10, 11, 100]}, \"expected\": {\"alloc_order\": [100, 6, 9, 5, 2], \"terminal\": [10, \"shared\"], \"links\": [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], \"root\": 2, \"allocation_count\": 5, \"old_snapshot\": [2, 5, 9, 6, 10, 11, 100]}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.76,"exit_code":1,"observations":[{"actual":{"alloc_order":[],"allocation_count":0,"links":[],"old_snapshot":[],"root":null,"terminal":null},"check":"regression certificate 1","expected":{"alloc_order":[],"allocation_count":0,"links":[],"old_snapshot":[],"root":null,"terminal":null},"passed":true},{"actual":{"alloc_order":[],"allocation_count":0,"links":[],"old_snapshot":[3,4],"root":3,"terminal":[3,"shared"]},"check":"regression certificate 2","expected":{"alloc_order":[],"allocation_count":0,"links":[],"old_snapshot":[3,4],"root":3,"terminal":[3,"shared"]},"passed":true},{"actual":{"alloc_order":[1],"allocation_count":1,"links":[[1,2]],"old_snapshot":[1,2,3],"root":1,"terminal":[2,"shared"]},"check":"regression certificate 3","expected":{"alloc_order":[1],"allocation_count":1,"links":[[1,2]],"old_snapshot":[1,2,3],"root":1,"terminal":[2,"shared"]},"passed":true},{"actual":{"alloc_order":[7,4,1],"allocation_count":3,"links":[[1,4],[4,7],[7,9]],"old_snapshot":[1,2,4,7,9],"root":7,"terminal":[9,"shared"]},"check":"regression certificate 4","expected":{"alloc_order":[7,4,1],"allocation_count":3,"links":[[1,4],[4,7],[7,9]],"old_snapshot":[1,2,4,7,9],"root":1,"terminal":[9,"shared"]},"passed":false},{"actual":{"alloc_order":[3,8],"allocation_count":2,"links":[[8,3],[3,null]],"old_snapshot":[8,3],"root":3,"terminal":null},"check":"regression certificate 5","expected":{"alloc_order":[3,8],"allocation_count":2,"links":[[8,3],[3,null]],"old_snapshot":[8,3],"root":8,"terminal":null},"passed":false},{"actual":{"alloc_order":[6,9,5,2],"allocation_count":4,"links":[[2,5],[5,9],[9,6],[6,10]],"old_snapshot":[2,5,9,6,10,11],"root":6,"terminal":[10,"shared"]},"check":"regression certificate 6","expected":{"alloc_order":[6,9,5,2],"allocation_count":4,"links":[[2,5],[5,9],[9,6],[6,10]],"old_snapshot":[2,5,9,6,10,11],"root":2,"terminal":[10,"shared"]},"passed":false},{"actual":{"alloc_order":[100,6,9,5,2],"allocation_count":5,"links":[[2,5],[5,9],[9,6],[6,100],[100,10]],"old_snapshot":[2,5,9,6,10,11,100],"root":100,"terminal":[10,"shared"]},"check":"variant-dependent certificate","expected":{"alloc_order":[100,6,9,5,2],"allocation_count":5,"links":[[2,5],[5,9],[9,6],[6,100],[100,10]],"old_snapshot":[2,5,9,6,10,11,100],"root":2,"terminal":[10,"shared"]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"alloc_order\": [], \"terminal\": null, \"links\": [], \"root\": null, \"allocation_count\": 0, \"old_snapshot\": []}, \"expected\": {\"alloc_order\": [], \"terminal\": null, \"links\": [], \"root\": null, \"allocation_count\": 0, \"old_snapshot\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"alloc_order\": [], \"terminal\": [3, \"shared\"], \"links\": [], \"root\": 3, \"allocation_count\": 0, \"old_snapshot\": [3, 4]}, \"expected\": {\"alloc_order\": [], \"terminal\": [3, \"shared\"], \"links\": [], \"root\": 3, \"allocation_count\": 0, \"old_snapshot\": [3, 4]}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"alloc_order\": [1], \"terminal\": [2, \"shared\"], \"links\": [[1, 2]], \"root\": 1, \"allocation_count\": 1, \"old_snapshot\": [1, 2, 3]}, \"expected\": {\"alloc_order\": [1], \"terminal\": [2, \"shared\"], \"links\": [[1, 2]], \"root\": 1, \"allocation_count\": 1, \"old_snapshot\": [1, 2, 3]}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"alloc_order\": [7, 4, 1], \"terminal\": [9, \"shared\"], \"links\": [[1, 4], [4, 7], [7, 9]], \"root\": 7, \"allocation_count\": 3, \"old_snapshot\": [1, 2, 4, 7, 9]}, \"expected\": {\"alloc_order\": [7, 4, 1], \"terminal\": [9, \"shared\"], \"links\": [[1, 4], [4, 7], [7, 9]], \"root\": 1, \"allocation_count\": 3, \"old_snapshot\": [1, 2, 4, 7, 9]}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"alloc_order\": [3, 8], \"terminal\": null, \"links\": [[8, 3], [3, null]], \"root\": 3, \"allocation_count\": 2, \"old_snapshot\": [8, 3]}, \"expected\": {\"alloc_order\": [3, 8], \"terminal\": null, \"links\": [[8, 3], [3, null]], \"root\": 8, \"allocation_count\": 2, \"old_snapshot\": [8, 3]}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"alloc_order\": [6, 9, 5, 2], \"terminal\": [10, \"shared\"], \"links\": [[2, 5], [5, 9], [9, 6], [6, 10]], \"root\": 6, \"allocation_count\": 4, \"old_snapshot\": [2, 5, 9, 6, 10, 11]}, \"expected\": {\"alloc_order\": [6, 9, 5, 2], \"terminal\": [10, \"shared\"], \"links\": [[2, 5], [5, 9], [9, 6], [6, 10]], \"root\": 2, \"allocation_count\": 4, \"old_snapshot\": [2, 5, 9, 6, 10, 11]}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"alloc_order\": [100, 6, 9, 5, 2], \"terminal\": [10, \"shared\"], \"links\": [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], \"root\": 100, \"allocation_count\": 5, \"old_snapshot\": [2, 5, 9, 6, 10, 11, 100]}, \"expected\": {\"alloc_order\": [100, 6, 9, 5, 2], \"terminal\": [10, \"shared\"], \"links\": [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], \"root\": 2, \"allocation_count\": 5, \"old_snapshot\": [2, 5, 9, 6, 10, 11, 100]}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":50.471,"exit_code":0,"observations":[{"actual":{"alloc_order":[],"allocation_count":0,"links":[],"old_snapshot":[],"root":null,"terminal":null},"check":"regression certificate 1","expected":{"alloc_order":[],"allocation_count":0,"links":[],"old_snapshot":[],"root":null,"terminal":null},"passed":true},{"actual":{"alloc_order":[],"allocation_count":0,"links":[],"old_snapshot":[3,4],"root":3,"terminal":[3,"shared"]},"check":"regression certificate 2","expected":{"alloc_order":[],"allocation_count":0,"links":[],"old_snapshot":[3,4],"root":3,"terminal":[3,"shared"]},"passed":true},{"actual":{"alloc_order":[1],"allocation_count":1,"links":[[1,2]],"old_snapshot":[1,2,3],"root":1,"terminal":[2,"shared"]},"check":"regression certificate 3","expected":{"alloc_order":[1],"allocation_count":1,"links":[[1,2]],"old_snapshot":[1,2,3],"root":1,"terminal":[2,"shared"]},"passed":true},{"actual":{"alloc_order":[7,4,1],"allocation_count":3,"links":[[1,4],[4,7],[7,9]],"old_snapshot":[1,2,4,7,9],"root":1,"terminal":[9,"shared"]},"check":"regression certificate 4","expected":{"alloc_order":[7,4,1],"allocation_count":3,"links":[[1,4],[4,7],[7,9]],"old_snapshot":[1,2,4,7,9],"root":1,"terminal":[9,"shared"]},"passed":true},{"actual":{"alloc_order":[3,8],"allocation_count":2,"links":[[8,3],[3,null]],"old_snapshot":[8,3],"root":8,"terminal":null},"check":"regression certificate 5","expected":{"alloc_order":[3,8],"allocation_count":2,"links":[[8,3],[3,null]],"old_snapshot":[8,3],"root":8,"terminal":null},"passed":true},{"actual":{"alloc_order":[6,9,5,2],"allocation_count":4,"links":[[2,5],[5,9],[9,6],[6,10]],"old_snapshot":[2,5,9,6,10,11],"root":2,"terminal":[10,"shared"]},"check":"regression certificate 6","expected":{"alloc_order":[6,9,5,2],"allocation_count":4,"links":[[2,5],[5,9],[9,6],[6,10]],"old_snapshot":[2,5,9,6,10,11],"root":2,"terminal":[10,"shared"]},"passed":true},{"actual":{"alloc_order":[100,6,9,5,2],"allocation_count":5,"links":[[2,5],[5,9],[9,6],[6,100],[100,10]],"old_snapshot":[2,5,9,6,10,11,100],"root":2,"terminal":[10,"shared"]},"check":"variant-dependent certificate","expected":{"alloc_order":[100,6,9,5,2],"allocation_count":5,"links":[[2,5],[5,9],[9,6],[6,100],[100,10]],"old_snapshot":[2,5,9,6,10,11,100],"root":2,"terminal":[10,"shared"]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"alloc_order\": [], \"terminal\": null, \"links\": [], \"root\": null, \"allocation_count\": 0, \"old_snapshot\": []}, \"expected\": {\"alloc_order\": [], \"terminal\": null, \"links\": [], \"root\": null, \"allocation_count\": 0, \"old_snapshot\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"alloc_order\": [], \"terminal\": [3, \"shared\"], \"links\": [], \"root\": 3, \"allocation_count\": 0, \"old_snapshot\": [3, 4]}, \"expected\": {\"alloc_order\": [], \"terminal\": [3, \"shared\"], \"links\": [], \"root\": 3, \"allocation_count\": 0, \"old_snapshot\": [3, 4]}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"alloc_order\": [1], \"terminal\": [2, \"shared\"], \"links\": [[1, 2]], \"root\": 1, \"allocation_count\": 1, \"old_snapshot\": [1, 2, 3]}, \"expected\": {\"alloc_order\": [1], \"terminal\": [2, \"shared\"], \"links\": [[1, 2]], \"root\": 1, \"allocation_count\": 1, \"old_snapshot\": [1, 2, 3]}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"alloc_order\": [7, 4, 1], \"terminal\": [9, \"shared\"], \"links\": [[1, 4], [4, 7], [7, 9]], \"root\": 1, \"allocation_count\": 3, \"old_snapshot\": [1, 2, 4, 7, 9]}, \"expected\": {\"alloc_order\": [7, 4, 1], \"terminal\": [9, \"shared\"], \"links\": [[1, 4], [4, 7], [7, 9]], \"root\": 1, \"allocation_count\": 3, \"old_snapshot\": [1, 2, 4, 7, 9]}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"alloc_order\": [3, 8], \"terminal\": null, \"links\": [[8, 3], [3, null]], \"root\": 8, \"allocation_count\": 2, \"old_snapshot\": [8, 3]}, \"expected\": {\"alloc_order\": [3, 8], \"terminal\": null, \"links\": [[8, 3], [3, null]], \"root\": 8, \"allocation_count\": 2, \"old_snapshot\": [8, 3]}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"alloc_order\": [6, 9, 5, 2], \"terminal\": [10, \"shared\"], \"links\": [[2, 5], [5, 9], [9, 6], [6, 10]], \"root\": 2, \"allocation_count\": 4, \"old_snapshot\": [2, 5, 9, 6, 10, 11]}, \"expected\": {\"alloc_order\": [6, 9, 5, 2], \"terminal\": [10, \"shared\"], \"links\": [[2, 5], [5, 9], [9, 6], [6, 10]], \"root\": 2, \"allocation_count\": 4, \"old_snapshot\": [2, 5, 9, 6, 10, 11]}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"alloc_order\": [100, 6, 9, 5, 2], \"terminal\": [10, \"shared\"], \"links\": [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], \"root\": 2, \"allocation_count\": 5, \"old_snapshot\": [2, 5, 9, 6, 10, 11, 100]}, \"expected\": {\"alloc_order\": [100, 6, 9, 5, 2], \"terminal\": [10, \"shared\"], \"links\": [[2, 5], [5, 9], [9, 6], [6, 100], [100, 10]], \"root\": 2, \"allocation_count\": 5, \"old_snapshot\": [2, 5, 9, 6, 10, 11, 100]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}