{"abstract":"The bounded skew heavy certificate certificate reports an incorrect light visits.","category":"Heap invariants","checks":7,"contract":"A skew-heap amortized certificate supplies nodes [id,left_size,right_size] with nonnegative subtree sizes. A right edge is heavy when right_size exceeds half the complete subtree size (1+left+right). Report heavy ids, light right ids, complete sizes, heavy potential, right-path charged light visits, and potential change between before and after certificates. Path ids refer to before nodes; this is a stipulated accounting model.","evaluation_group":"s3-heap-model-skew-heavy-certificate","failed_approach":"The local patch uses len(path) and still violates the stated relation.","family":"s3-heap-skew-heavy-certificate-light_visits","id":"FA-41331","implementations":{"attempt":{"sha256":"40882fc14dc4fca42ae83a88e09531cbea36baf89fae5add731d8be626c78183","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['before']; after=d['after']; path=d['path']; heavy=[x[0] for x in a if 2*x[2]>1+x[1]+x[2]]; newheavy=[x[0] for x in after if 2*x[2]>1+x[1]+x[2]]\n    return {'heavy': heavy,\n    'light_right': [x[0] for x in a if x[2]>0 and x[0] not in heavy],\n    'subtree_sizes': [1+x[1]+x[2] for x in a],\n    'potential': len(heavy),\n    'light_visits': len(path),\n    'potential_delta': len(newheavy)-len(heavy)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'before': [], 'after': [], 'path': []}, {'heavy': [], 'light_right': [], 'subtree_sizes': [], 'potential': 0, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 0, 0]], 'after': [['a', 0, 0]], 'path': ['a']}, {'heavy': [], 'light_right': [], 'subtree_sizes': [1], 'potential': 0, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 1], ['b', 0, 2]], 'after': [['a', 1, 0], ['b', 2, 0]], 'path': ['a', 'b']}, {'heavy': ['b'], 'light_right': ['a'], 'subtree_sizes': [2, 3], 'potential': 1, 'light_visits': 1, 'potential_delta': -1}), ({'before': [['a', 2, 4], ['b', 1, 3]], 'after': [['a', 0, 5], ['b', 1, 3]], 'path': ['a']}, {'heavy': ['a', 'b'], 'light_right': [], 'subtree_sizes': [7, 5], 'potential': 2, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 2, 3], ['b', 3, 2]], 'after': [['a', 4, 1], ['b', 0, 4]], 'path': ['b']}, {'heavy': [], 'light_right': ['a', 'b'], 'subtree_sizes': [6, 6], 'potential': 0, 'light_visits': 1, 'potential_delta': 1}), ({'before': [['a', 0, 5], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [6, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 6], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [7, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0})], [({'before': [], 'after': [], 'path': []}, {'heavy': [], 'light_right': [], 'subtree_sizes': [], 'potential': 0, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 0, 0]], 'after': [['a', 0, 0]], 'path': ['a']}, {'heavy': [], 'light_right': [], 'subtree_sizes': [1], 'potential': 0, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 1], ['b', 0, 2]], 'after': [['a', 1, 0], ['b', 2, 0]], 'path': ['a', 'b']}, {'heavy': ['b'], 'light_right': ['a'], 'subtree_sizes': [2, 3], 'potential': 1, 'light_visits': 1, 'potential_delta': -1}), ({'before': [['a', 2, 4], ['b', 1, 3]], 'after': [['a', 0, 5], ['b', 1, 3]], 'path': ['a']}, {'heavy': ['a', 'b'], 'light_right': [], 'subtree_sizes': [7, 5], 'potential': 2, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 2, 3], ['b', 3, 2]], 'after': [['a', 4, 1], ['b', 0, 4]], 'path': ['b']}, {'heavy': [], 'light_right': ['a', 'b'], 'subtree_sizes': [6, 6], 'potential': 0, 'light_visits': 1, 'potential_delta': 1}), ({'before': [['a', 0, 5], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [6, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 7], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [8, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0})], [({'before': [], 'after': [], 'path': []}, {'heavy': [], 'light_right': [], 'subtree_sizes': [], 'potential': 0, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 0, 0]], 'after': [['a', 0, 0]], 'path': ['a']}, {'heavy': [], 'light_right': [], 'subtree_sizes': [1], 'potential': 0, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 1], ['b', 0, 2]], 'after': [['a', 1, 0], ['b', 2, 0]], 'path': ['a', 'b']}, {'heavy': ['b'], 'light_right': ['a'], 'subtree_sizes': [2, 3], 'potential': 1, 'light_visits': 1, 'potential_delta': -1}), ({'before': [['a', 2, 4], ['b', 1, 3]], 'after': [['a', 0, 5], ['b', 1, 3]], 'path': ['a']}, {'heavy': ['a', 'b'], 'light_right': [], 'subtree_sizes': [7, 5], 'potential': 2, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 2, 3], ['b', 3, 2]], 'after': [['a', 4, 1], ['b', 0, 4]], 'path': ['b']}, {'heavy': [], 'light_right': ['a', 'b'], 'subtree_sizes': [6, 6], 'potential': 0, 'light_visits': 1, 'potential_delta': 1}), ({'before': [['a', 0, 5], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [6, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 8], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [9, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0})], [({'before': [], 'after': [], 'path': []}, {'heavy': [], 'light_right': [], 'subtree_sizes': [], 'potential': 0, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 0, 0]], 'after': [['a', 0, 0]], 'path': ['a']}, {'heavy': [], 'light_right': [], 'subtree_sizes': [1], 'potential': 0, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 1], ['b', 0, 2]], 'after': [['a', 1, 0], ['b', 2, 0]], 'path': ['a', 'b']}, {'heavy': ['b'], 'light_right': ['a'], 'subtree_sizes': [2, 3], 'potential': 1, 'light_visits': 1, 'potential_delta': -1}), ({'before': [['a', 2, 4], ['b', 1, 3]], 'after': [['a', 0, 5], ['b', 1, 3]], 'path': ['a']}, {'heavy': ['a', 'b'], 'light_right': [], 'subtree_sizes': [7, 5], 'potential': 2, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 2, 3], ['b', 3, 2]], 'after': [['a', 4, 1], ['b', 0, 4]], 'path': ['b']}, {'heavy': [], 'light_right': ['a', 'b'], 'subtree_sizes': [6, 6], 'potential': 0, 'light_visits': 1, 'potential_delta': 1}), ({'before': [['a', 0, 5], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [6, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 9], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [10, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0})], [({'before': [], 'after': [], 'path': []}, {'heavy': [], 'light_right': [], 'subtree_sizes': [], 'potential': 0, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 0, 0]], 'after': [['a', 0, 0]], 'path': ['a']}, {'heavy': [], 'light_right': [], 'subtree_sizes': [1], 'potential': 0, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 1], ['b', 0, 2]], 'after': [['a', 1, 0], ['b', 2, 0]], 'path': ['a', 'b']}, {'heavy': ['b'], 'light_right': ['a'], 'subtree_sizes': [2, 3], 'potential': 1, 'light_visits': 1, 'potential_delta': -1}), ({'before': [['a', 2, 4], ['b', 1, 3]], 'after': [['a', 0, 5], ['b', 1, 3]], 'path': ['a']}, {'heavy': ['a', 'b'], 'light_right': [], 'subtree_sizes': [7, 5], 'potential': 2, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 2, 3], ['b', 3, 2]], 'after': [['a', 4, 1], ['b', 0, 4]], 'path': ['b']}, {'heavy': [], 'light_right': ['a', 'b'], 'subtree_sizes': [6, 6], 'potential': 0, 'light_visits': 1, 'potential_delta': 1}), ({'before': [['a', 0, 5], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [6, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 10], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [11, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0})]][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":"009df2ed51a97a74aef81dd037350176e5970944d3b9bbe1ef6505a47f7f5244","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['before']; after=d['after']; path=d['path']; heavy=[x[0] for x in a if 2*x[2]>1+x[1]+x[2]]; newheavy=[x[0] for x in after if 2*x[2]>1+x[1]+x[2]]\n    return {'heavy': heavy,\n    'light_right': [x[0] for x in a if x[2]>0 and x[0] not in heavy],\n    'subtree_sizes': [1+x[1]+x[2] for x in a],\n    'potential': len(heavy),\n    'light_visits': sum(i in heavy for i in path),\n    'potential_delta': len(newheavy)-len(heavy)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'before': [], 'after': [], 'path': []}, {'heavy': [], 'light_right': [], 'subtree_sizes': [], 'potential': 0, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 0, 0]], 'after': [['a', 0, 0]], 'path': ['a']}, {'heavy': [], 'light_right': [], 'subtree_sizes': [1], 'potential': 0, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 1], ['b', 0, 2]], 'after': [['a', 1, 0], ['b', 2, 0]], 'path': ['a', 'b']}, {'heavy': ['b'], 'light_right': ['a'], 'subtree_sizes': [2, 3], 'potential': 1, 'light_visits': 1, 'potential_delta': -1}), ({'before': [['a', 2, 4], ['b', 1, 3]], 'after': [['a', 0, 5], ['b', 1, 3]], 'path': ['a']}, {'heavy': ['a', 'b'], 'light_right': [], 'subtree_sizes': [7, 5], 'potential': 2, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 2, 3], ['b', 3, 2]], 'after': [['a', 4, 1], ['b', 0, 4]], 'path': ['b']}, {'heavy': [], 'light_right': ['a', 'b'], 'subtree_sizes': [6, 6], 'potential': 0, 'light_visits': 1, 'potential_delta': 1}), ({'before': [['a', 0, 5], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [6, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 6], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [7, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0})], [({'before': [], 'after': [], 'path': []}, {'heavy': [], 'light_right': [], 'subtree_sizes': [], 'potential': 0, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 0, 0]], 'after': [['a', 0, 0]], 'path': ['a']}, {'heavy': [], 'light_right': [], 'subtree_sizes': [1], 'potential': 0, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 1], ['b', 0, 2]], 'after': [['a', 1, 0], ['b', 2, 0]], 'path': ['a', 'b']}, {'heavy': ['b'], 'light_right': ['a'], 'subtree_sizes': [2, 3], 'potential': 1, 'light_visits': 1, 'potential_delta': -1}), ({'before': [['a', 2, 4], ['b', 1, 3]], 'after': [['a', 0, 5], ['b', 1, 3]], 'path': ['a']}, {'heavy': ['a', 'b'], 'light_right': [], 'subtree_sizes': [7, 5], 'potential': 2, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 2, 3], ['b', 3, 2]], 'after': [['a', 4, 1], ['b', 0, 4]], 'path': ['b']}, {'heavy': [], 'light_right': ['a', 'b'], 'subtree_sizes': [6, 6], 'potential': 0, 'light_visits': 1, 'potential_delta': 1}), ({'before': [['a', 0, 5], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [6, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 7], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [8, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0})], [({'before': [], 'after': [], 'path': []}, {'heavy': [], 'light_right': [], 'subtree_sizes': [], 'potential': 0, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 0, 0]], 'after': [['a', 0, 0]], 'path': ['a']}, {'heavy': [], 'light_right': [], 'subtree_sizes': [1], 'potential': 0, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 1], ['b', 0, 2]], 'after': [['a', 1, 0], ['b', 2, 0]], 'path': ['a', 'b']}, {'heavy': ['b'], 'light_right': ['a'], 'subtree_sizes': [2, 3], 'potential': 1, 'light_visits': 1, 'potential_delta': -1}), ({'before': [['a', 2, 4], ['b', 1, 3]], 'after': [['a', 0, 5], ['b', 1, 3]], 'path': ['a']}, {'heavy': ['a', 'b'], 'light_right': [], 'subtree_sizes': [7, 5], 'potential': 2, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 2, 3], ['b', 3, 2]], 'after': [['a', 4, 1], ['b', 0, 4]], 'path': ['b']}, {'heavy': [], 'light_right': ['a', 'b'], 'subtree_sizes': [6, 6], 'potential': 0, 'light_visits': 1, 'potential_delta': 1}), ({'before': [['a', 0, 5], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [6, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 8], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [9, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0})], [({'before': [], 'after': [], 'path': []}, {'heavy': [], 'light_right': [], 'subtree_sizes': [], 'potential': 0, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 0, 0]], 'after': [['a', 0, 0]], 'path': ['a']}, {'heavy': [], 'light_right': [], 'subtree_sizes': [1], 'potential': 0, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 1], ['b', 0, 2]], 'after': [['a', 1, 0], ['b', 2, 0]], 'path': ['a', 'b']}, {'heavy': ['b'], 'light_right': ['a'], 'subtree_sizes': [2, 3], 'potential': 1, 'light_visits': 1, 'potential_delta': -1}), ({'before': [['a', 2, 4], ['b', 1, 3]], 'after': [['a', 0, 5], ['b', 1, 3]], 'path': ['a']}, {'heavy': ['a', 'b'], 'light_right': [], 'subtree_sizes': [7, 5], 'potential': 2, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 2, 3], ['b', 3, 2]], 'after': [['a', 4, 1], ['b', 0, 4]], 'path': ['b']}, {'heavy': [], 'light_right': ['a', 'b'], 'subtree_sizes': [6, 6], 'potential': 0, 'light_visits': 1, 'potential_delta': 1}), ({'before': [['a', 0, 5], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [6, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 9], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [10, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0})], [({'before': [], 'after': [], 'path': []}, {'heavy': [], 'light_right': [], 'subtree_sizes': [], 'potential': 0, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 0, 0]], 'after': [['a', 0, 0]], 'path': ['a']}, {'heavy': [], 'light_right': [], 'subtree_sizes': [1], 'potential': 0, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 1], ['b', 0, 2]], 'after': [['a', 1, 0], ['b', 2, 0]], 'path': ['a', 'b']}, {'heavy': ['b'], 'light_right': ['a'], 'subtree_sizes': [2, 3], 'potential': 1, 'light_visits': 1, 'potential_delta': -1}), ({'before': [['a', 2, 4], ['b', 1, 3]], 'after': [['a', 0, 5], ['b', 1, 3]], 'path': ['a']}, {'heavy': ['a', 'b'], 'light_right': [], 'subtree_sizes': [7, 5], 'potential': 2, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 2, 3], ['b', 3, 2]], 'after': [['a', 4, 1], ['b', 0, 4]], 'path': ['b']}, {'heavy': [], 'light_right': ['a', 'b'], 'subtree_sizes': [6, 6], 'potential': 0, 'light_visits': 1, 'potential_delta': 1}), ({'before': [['a', 0, 5], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [6, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 10], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [11, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0})]][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":"2cf71ed212839800043b621eac4cfbcffbf294217be2df0cc9129b257067f111","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['before']; after=d['after']; path=d['path']; heavy=[x[0] for x in a if 2*x[2]>1+x[1]+x[2]]; newheavy=[x[0] for x in after if 2*x[2]>1+x[1]+x[2]]\n    return {'heavy': heavy,\n    'light_right': [x[0] for x in a if x[2]>0 and x[0] not in heavy],\n    'subtree_sizes': [1+x[1]+x[2] for x in a],\n    'potential': len(heavy),\n    'light_visits': sum(i not in heavy for i in path),\n    'potential_delta': len(newheavy)-len(heavy)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'before': [], 'after': [], 'path': []}, {'heavy': [], 'light_right': [], 'subtree_sizes': [], 'potential': 0, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 0, 0]], 'after': [['a', 0, 0]], 'path': ['a']}, {'heavy': [], 'light_right': [], 'subtree_sizes': [1], 'potential': 0, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 1], ['b', 0, 2]], 'after': [['a', 1, 0], ['b', 2, 0]], 'path': ['a', 'b']}, {'heavy': ['b'], 'light_right': ['a'], 'subtree_sizes': [2, 3], 'potential': 1, 'light_visits': 1, 'potential_delta': -1}), ({'before': [['a', 2, 4], ['b', 1, 3]], 'after': [['a', 0, 5], ['b', 1, 3]], 'path': ['a']}, {'heavy': ['a', 'b'], 'light_right': [], 'subtree_sizes': [7, 5], 'potential': 2, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 2, 3], ['b', 3, 2]], 'after': [['a', 4, 1], ['b', 0, 4]], 'path': ['b']}, {'heavy': [], 'light_right': ['a', 'b'], 'subtree_sizes': [6, 6], 'potential': 0, 'light_visits': 1, 'potential_delta': 1}), ({'before': [['a', 0, 5], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [6, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 6], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [7, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0})], [({'before': [], 'after': [], 'path': []}, {'heavy': [], 'light_right': [], 'subtree_sizes': [], 'potential': 0, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 0, 0]], 'after': [['a', 0, 0]], 'path': ['a']}, {'heavy': [], 'light_right': [], 'subtree_sizes': [1], 'potential': 0, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 1], ['b', 0, 2]], 'after': [['a', 1, 0], ['b', 2, 0]], 'path': ['a', 'b']}, {'heavy': ['b'], 'light_right': ['a'], 'subtree_sizes': [2, 3], 'potential': 1, 'light_visits': 1, 'potential_delta': -1}), ({'before': [['a', 2, 4], ['b', 1, 3]], 'after': [['a', 0, 5], ['b', 1, 3]], 'path': ['a']}, {'heavy': ['a', 'b'], 'light_right': [], 'subtree_sizes': [7, 5], 'potential': 2, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 2, 3], ['b', 3, 2]], 'after': [['a', 4, 1], ['b', 0, 4]], 'path': ['b']}, {'heavy': [], 'light_right': ['a', 'b'], 'subtree_sizes': [6, 6], 'potential': 0, 'light_visits': 1, 'potential_delta': 1}), ({'before': [['a', 0, 5], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [6, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 7], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [8, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0})], [({'before': [], 'after': [], 'path': []}, {'heavy': [], 'light_right': [], 'subtree_sizes': [], 'potential': 0, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 0, 0]], 'after': [['a', 0, 0]], 'path': ['a']}, {'heavy': [], 'light_right': [], 'subtree_sizes': [1], 'potential': 0, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 1], ['b', 0, 2]], 'after': [['a', 1, 0], ['b', 2, 0]], 'path': ['a', 'b']}, {'heavy': ['b'], 'light_right': ['a'], 'subtree_sizes': [2, 3], 'potential': 1, 'light_visits': 1, 'potential_delta': -1}), ({'before': [['a', 2, 4], ['b', 1, 3]], 'after': [['a', 0, 5], ['b', 1, 3]], 'path': ['a']}, {'heavy': ['a', 'b'], 'light_right': [], 'subtree_sizes': [7, 5], 'potential': 2, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 2, 3], ['b', 3, 2]], 'after': [['a', 4, 1], ['b', 0, 4]], 'path': ['b']}, {'heavy': [], 'light_right': ['a', 'b'], 'subtree_sizes': [6, 6], 'potential': 0, 'light_visits': 1, 'potential_delta': 1}), ({'before': [['a', 0, 5], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [6, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 8], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [9, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0})], [({'before': [], 'after': [], 'path': []}, {'heavy': [], 'light_right': [], 'subtree_sizes': [], 'potential': 0, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 0, 0]], 'after': [['a', 0, 0]], 'path': ['a']}, {'heavy': [], 'light_right': [], 'subtree_sizes': [1], 'potential': 0, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 1], ['b', 0, 2]], 'after': [['a', 1, 0], ['b', 2, 0]], 'path': ['a', 'b']}, {'heavy': ['b'], 'light_right': ['a'], 'subtree_sizes': [2, 3], 'potential': 1, 'light_visits': 1, 'potential_delta': -1}), ({'before': [['a', 2, 4], ['b', 1, 3]], 'after': [['a', 0, 5], ['b', 1, 3]], 'path': ['a']}, {'heavy': ['a', 'b'], 'light_right': [], 'subtree_sizes': [7, 5], 'potential': 2, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 2, 3], ['b', 3, 2]], 'after': [['a', 4, 1], ['b', 0, 4]], 'path': ['b']}, {'heavy': [], 'light_right': ['a', 'b'], 'subtree_sizes': [6, 6], 'potential': 0, 'light_visits': 1, 'potential_delta': 1}), ({'before': [['a', 0, 5], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [6, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 9], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [10, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0})], [({'before': [], 'after': [], 'path': []}, {'heavy': [], 'light_right': [], 'subtree_sizes': [], 'potential': 0, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 0, 0]], 'after': [['a', 0, 0]], 'path': ['a']}, {'heavy': [], 'light_right': [], 'subtree_sizes': [1], 'potential': 0, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 1], ['b', 0, 2]], 'after': [['a', 1, 0], ['b', 2, 0]], 'path': ['a', 'b']}, {'heavy': ['b'], 'light_right': ['a'], 'subtree_sizes': [2, 3], 'potential': 1, 'light_visits': 1, 'potential_delta': -1}), ({'before': [['a', 2, 4], ['b', 1, 3]], 'after': [['a', 0, 5], ['b', 1, 3]], 'path': ['a']}, {'heavy': ['a', 'b'], 'light_right': [], 'subtree_sizes': [7, 5], 'potential': 2, 'light_visits': 0, 'potential_delta': 0}), ({'before': [['a', 2, 3], ['b', 3, 2]], 'after': [['a', 4, 1], ['b', 0, 4]], 'path': ['b']}, {'heavy': [], 'light_right': ['a', 'b'], 'subtree_sizes': [6, 6], 'potential': 0, 'light_visits': 1, 'potential_delta': 1}), ({'before': [['a', 0, 5], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [6, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0}), ({'before': [['a', 0, 10], ['b', 0, 0], ['c', 2, 2]], 'after': [['a', 3, 2], ['b', 0, 0], ['c', 0, 4]], 'path': ['a', 'c']}, {'heavy': ['a'], 'light_right': ['c'], 'subtree_sizes': [11, 1, 5], 'potential': 1, 'light_visits': 1, 'potential_delta': 0})]][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-skew-heavy-certificate-light_visits","generated_at":"2026-09-29T14:43:39.882710+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 light visits using sum(i not in heavy for i in path) under the stated bounded certificate contract.","root_cause":"Skew heap path charge separates light visits from potential-paid heavy visits.","sha256":"8050d0f066ef1ef5419ad31d808b4081b2f17bfd083366c163e66352b9d5c9f2","title":"Skew heap path charge separates light visits from potential-paid heavy visits · 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":44.263,"exit_code":1,"observations":[{"actual":{"heavy":[],"light_right":[],"light_visits":0,"potential":0,"potential_delta":0,"subtree_sizes":[]},"check":"regression certificate 1","expected":{"heavy":[],"light_right":[],"light_visits":0,"potential":0,"potential_delta":0,"subtree_sizes":[]},"passed":true},{"actual":{"heavy":[],"light_right":[],"light_visits":1,"potential":0,"potential_delta":0,"subtree_sizes":[1]},"check":"regression certificate 2","expected":{"heavy":[],"light_right":[],"light_visits":1,"potential":0,"potential_delta":0,"subtree_sizes":[1]},"passed":true},{"actual":{"heavy":["b"],"light_right":["a"],"light_visits":2,"potential":1,"potential_delta":-1,"subtree_sizes":[2,3]},"check":"regression certificate 3","expected":{"heavy":["b"],"light_right":["a"],"light_visits":1,"potential":1,"potential_delta":-1,"subtree_sizes":[2,3]},"passed":false},{"actual":{"heavy":["a","b"],"light_right":[],"light_visits":1,"potential":2,"potential_delta":0,"subtree_sizes":[7,5]},"check":"regression certificate 4","expected":{"heavy":["a","b"],"light_right":[],"light_visits":0,"potential":2,"potential_delta":0,"subtree_sizes":[7,5]},"passed":false},{"actual":{"heavy":[],"light_right":["a","b"],"light_visits":1,"potential":0,"potential_delta":1,"subtree_sizes":[6,6]},"check":"regression certificate 5","expected":{"heavy":[],"light_right":["a","b"],"light_visits":1,"potential":0,"potential_delta":1,"subtree_sizes":[6,6]},"passed":true},{"actual":{"heavy":["a"],"light_right":["c"],"light_visits":2,"potential":1,"potential_delta":0,"subtree_sizes":[6,1,5]},"check":"regression certificate 6","expected":{"heavy":["a"],"light_right":["c"],"light_visits":1,"potential":1,"potential_delta":0,"subtree_sizes":[6,1,5]},"passed":false},{"actual":{"heavy":["a"],"light_right":["c"],"light_visits":2,"potential":1,"potential_delta":0,"subtree_sizes":[7,1,5]},"check":"variant-dependent certificate","expected":{"heavy":["a"],"light_right":["c"],"light_visits":1,"potential":1,"potential_delta":0,"subtree_sizes":[7,1,5]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"heavy\": [], \"light_right\": [], \"subtree_sizes\": [], \"potential\": 0, \"light_visits\": 0, \"potential_delta\": 0}, \"expected\": {\"heavy\": [], \"light_right\": [], \"subtree_sizes\": [], \"potential\": 0, \"light_visits\": 0, \"potential_delta\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"heavy\": [], \"light_right\": [], \"subtree_sizes\": [1], \"potential\": 0, \"light_visits\": 1, \"potential_delta\": 0}, \"expected\": {\"heavy\": [], \"light_right\": [], \"subtree_sizes\": [1], \"potential\": 0, \"light_visits\": 1, \"potential_delta\": 0}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"heavy\": [\"b\"], \"light_right\": [\"a\"], \"subtree_sizes\": [2, 3], \"potential\": 1, \"light_visits\": 2, \"potential_delta\": -1}, \"expected\": {\"heavy\": [\"b\"], \"light_right\": [\"a\"], \"subtree_sizes\": [2, 3], \"potential\": 1, \"light_visits\": 1, \"potential_delta\": -1}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"heavy\": [\"a\", \"b\"], \"light_right\": [], \"subtree_sizes\": [7, 5], \"potential\": 2, \"light_visits\": 1, \"potential_delta\": 0}, \"expected\": {\"heavy\": [\"a\", \"b\"], \"light_right\": [], \"subtree_sizes\": [7, 5], \"potential\": 2, \"light_visits\": 0, \"potential_delta\": 0}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"heavy\": [], \"light_right\": [\"a\", \"b\"], \"subtree_sizes\": [6, 6], \"potential\": 0, \"light_visits\": 1, \"potential_delta\": 1}, \"expected\": {\"heavy\": [], \"light_right\": [\"a\", \"b\"], \"subtree_sizes\": [6, 6], \"potential\": 0, \"light_visits\": 1, \"potential_delta\": 1}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"heavy\": [\"a\"], \"light_right\": [\"c\"], \"subtree_sizes\": [6, 1, 5], \"potential\": 1, \"light_visits\": 2, \"potential_delta\": 0}, \"expected\": {\"heavy\": [\"a\"], \"light_right\": [\"c\"], \"subtree_sizes\": [6, 1, 5], \"potential\": 1, \"light_visits\": 1, \"potential_delta\": 0}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"heavy\": [\"a\"], \"light_right\": [\"c\"], \"subtree_sizes\": [7, 1, 5], \"potential\": 1, \"light_visits\": 2, \"potential_delta\": 0}, \"expected\": {\"heavy\": [\"a\"], \"light_right\": [\"c\"], \"subtree_sizes\": [7, 1, 5], \"potential\": 1, \"light_visits\": 1, \"potential_delta\": 0}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":51.223,"exit_code":1,"observations":[{"actual":{"heavy":[],"light_right":[],"light_visits":0,"potential":0,"potential_delta":0,"subtree_sizes":[]},"check":"regression certificate 1","expected":{"heavy":[],"light_right":[],"light_visits":0,"potential":0,"potential_delta":0,"subtree_sizes":[]},"passed":true},{"actual":{"heavy":[],"light_right":[],"light_visits":0,"potential":0,"potential_delta":0,"subtree_sizes":[1]},"check":"regression certificate 2","expected":{"heavy":[],"light_right":[],"light_visits":1,"potential":0,"potential_delta":0,"subtree_sizes":[1]},"passed":false},{"actual":{"heavy":["b"],"light_right":["a"],"light_visits":1,"potential":1,"potential_delta":-1,"subtree_sizes":[2,3]},"check":"regression certificate 3","expected":{"heavy":["b"],"light_right":["a"],"light_visits":1,"potential":1,"potential_delta":-1,"subtree_sizes":[2,3]},"passed":true},{"actual":{"heavy":["a","b"],"light_right":[],"light_visits":1,"potential":2,"potential_delta":0,"subtree_sizes":[7,5]},"check":"regression certificate 4","expected":{"heavy":["a","b"],"light_right":[],"light_visits":0,"potential":2,"potential_delta":0,"subtree_sizes":[7,5]},"passed":false},{"actual":{"heavy":[],"light_right":["a","b"],"light_visits":0,"potential":0,"potential_delta":1,"subtree_sizes":[6,6]},"check":"regression certificate 5","expected":{"heavy":[],"light_right":["a","b"],"light_visits":1,"potential":0,"potential_delta":1,"subtree_sizes":[6,6]},"passed":false},{"actual":{"heavy":["a"],"light_right":["c"],"light_visits":1,"potential":1,"potential_delta":0,"subtree_sizes":[6,1,5]},"check":"regression certificate 6","expected":{"heavy":["a"],"light_right":["c"],"light_visits":1,"potential":1,"potential_delta":0,"subtree_sizes":[6,1,5]},"passed":true},{"actual":{"heavy":["a"],"light_right":["c"],"light_visits":1,"potential":1,"potential_delta":0,"subtree_sizes":[7,1,5]},"check":"variant-dependent certificate","expected":{"heavy":["a"],"light_right":["c"],"light_visits":1,"potential":1,"potential_delta":0,"subtree_sizes":[7,1,5]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"heavy\": [], \"light_right\": [], \"subtree_sizes\": [], \"potential\": 0, \"light_visits\": 0, \"potential_delta\": 0}, \"expected\": {\"heavy\": [], \"light_right\": [], \"subtree_sizes\": [], \"potential\": 0, \"light_visits\": 0, \"potential_delta\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"heavy\": [], \"light_right\": [], \"subtree_sizes\": [1], \"potential\": 0, \"light_visits\": 0, \"potential_delta\": 0}, \"expected\": {\"heavy\": [], \"light_right\": [], \"subtree_sizes\": [1], \"potential\": 0, \"light_visits\": 1, \"potential_delta\": 0}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"heavy\": [\"b\"], \"light_right\": [\"a\"], \"subtree_sizes\": [2, 3], \"potential\": 1, \"light_visits\": 1, \"potential_delta\": -1}, \"expected\": {\"heavy\": [\"b\"], \"light_right\": [\"a\"], \"subtree_sizes\": [2, 3], \"potential\": 1, \"light_visits\": 1, \"potential_delta\": -1}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"heavy\": [\"a\", \"b\"], \"light_right\": [], \"subtree_sizes\": [7, 5], \"potential\": 2, \"light_visits\": 1, \"potential_delta\": 0}, \"expected\": {\"heavy\": [\"a\", \"b\"], \"light_right\": [], \"subtree_sizes\": [7, 5], \"potential\": 2, \"light_visits\": 0, \"potential_delta\": 0}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"heavy\": [], \"light_right\": [\"a\", \"b\"], \"subtree_sizes\": [6, 6], \"potential\": 0, \"light_visits\": 0, \"potential_delta\": 1}, \"expected\": {\"heavy\": [], \"light_right\": [\"a\", \"b\"], \"subtree_sizes\": [6, 6], \"potential\": 0, \"light_visits\": 1, \"potential_delta\": 1}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"heavy\": [\"a\"], \"light_right\": [\"c\"], \"subtree_sizes\": [6, 1, 5], \"potential\": 1, \"light_visits\": 1, \"potential_delta\": 0}, \"expected\": {\"heavy\": [\"a\"], \"light_right\": [\"c\"], \"subtree_sizes\": [6, 1, 5], \"potential\": 1, \"light_visits\": 1, \"potential_delta\": 0}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"heavy\": [\"a\"], \"light_right\": [\"c\"], \"subtree_sizes\": [7, 1, 5], \"potential\": 1, \"light_visits\": 1, \"potential_delta\": 0}, \"expected\": {\"heavy\": [\"a\"], \"light_right\": [\"c\"], \"subtree_sizes\": [7, 1, 5], \"potential\": 1, \"light_visits\": 1, \"potential_delta\": 0}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.306,"exit_code":0,"observations":[{"actual":{"heavy":[],"light_right":[],"light_visits":0,"potential":0,"potential_delta":0,"subtree_sizes":[]},"check":"regression certificate 1","expected":{"heavy":[],"light_right":[],"light_visits":0,"potential":0,"potential_delta":0,"subtree_sizes":[]},"passed":true},{"actual":{"heavy":[],"light_right":[],"light_visits":1,"potential":0,"potential_delta":0,"subtree_sizes":[1]},"check":"regression certificate 2","expected":{"heavy":[],"light_right":[],"light_visits":1,"potential":0,"potential_delta":0,"subtree_sizes":[1]},"passed":true},{"actual":{"heavy":["b"],"light_right":["a"],"light_visits":1,"potential":1,"potential_delta":-1,"subtree_sizes":[2,3]},"check":"regression certificate 3","expected":{"heavy":["b"],"light_right":["a"],"light_visits":1,"potential":1,"potential_delta":-1,"subtree_sizes":[2,3]},"passed":true},{"actual":{"heavy":["a","b"],"light_right":[],"light_visits":0,"potential":2,"potential_delta":0,"subtree_sizes":[7,5]},"check":"regression certificate 4","expected":{"heavy":["a","b"],"light_right":[],"light_visits":0,"potential":2,"potential_delta":0,"subtree_sizes":[7,5]},"passed":true},{"actual":{"heavy":[],"light_right":["a","b"],"light_visits":1,"potential":0,"potential_delta":1,"subtree_sizes":[6,6]},"check":"regression certificate 5","expected":{"heavy":[],"light_right":["a","b"],"light_visits":1,"potential":0,"potential_delta":1,"subtree_sizes":[6,6]},"passed":true},{"actual":{"heavy":["a"],"light_right":["c"],"light_visits":1,"potential":1,"potential_delta":0,"subtree_sizes":[6,1,5]},"check":"regression certificate 6","expected":{"heavy":["a"],"light_right":["c"],"light_visits":1,"potential":1,"potential_delta":0,"subtree_sizes":[6,1,5]},"passed":true},{"actual":{"heavy":["a"],"light_right":["c"],"light_visits":1,"potential":1,"potential_delta":0,"subtree_sizes":[7,1,5]},"check":"variant-dependent certificate","expected":{"heavy":["a"],"light_right":["c"],"light_visits":1,"potential":1,"potential_delta":0,"subtree_sizes":[7,1,5]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"heavy\": [], \"light_right\": [], \"subtree_sizes\": [], \"potential\": 0, \"light_visits\": 0, \"potential_delta\": 0}, \"expected\": {\"heavy\": [], \"light_right\": [], \"subtree_sizes\": [], \"potential\": 0, \"light_visits\": 0, \"potential_delta\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"heavy\": [], \"light_right\": [], \"subtree_sizes\": [1], \"potential\": 0, \"light_visits\": 1, \"potential_delta\": 0}, \"expected\": {\"heavy\": [], \"light_right\": [], \"subtree_sizes\": [1], \"potential\": 0, \"light_visits\": 1, \"potential_delta\": 0}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"heavy\": [\"b\"], \"light_right\": [\"a\"], \"subtree_sizes\": [2, 3], \"potential\": 1, \"light_visits\": 1, \"potential_delta\": -1}, \"expected\": {\"heavy\": [\"b\"], \"light_right\": [\"a\"], \"subtree_sizes\": [2, 3], \"potential\": 1, \"light_visits\": 1, \"potential_delta\": -1}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"heavy\": [\"a\", \"b\"], \"light_right\": [], \"subtree_sizes\": [7, 5], \"potential\": 2, \"light_visits\": 0, \"potential_delta\": 0}, \"expected\": {\"heavy\": [\"a\", \"b\"], \"light_right\": [], \"subtree_sizes\": [7, 5], \"potential\": 2, \"light_visits\": 0, \"potential_delta\": 0}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"heavy\": [], \"light_right\": [\"a\", \"b\"], \"subtree_sizes\": [6, 6], \"potential\": 0, \"light_visits\": 1, \"potential_delta\": 1}, \"expected\": {\"heavy\": [], \"light_right\": [\"a\", \"b\"], \"subtree_sizes\": [6, 6], \"potential\": 0, \"light_visits\": 1, \"potential_delta\": 1}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"heavy\": [\"a\"], \"light_right\": [\"c\"], \"subtree_sizes\": [6, 1, 5], \"potential\": 1, \"light_visits\": 1, \"potential_delta\": 0}, \"expected\": {\"heavy\": [\"a\"], \"light_right\": [\"c\"], \"subtree_sizes\": [6, 1, 5], \"potential\": 1, \"light_visits\": 1, \"potential_delta\": 0}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"heavy\": [\"a\"], \"light_right\": [\"c\"], \"subtree_sizes\": [7, 1, 5], \"potential\": 1, \"light_visits\": 1, \"potential_delta\": 0}, \"expected\": {\"heavy\": [\"a\"], \"light_right\": [\"c\"], \"subtree_sizes\": [7, 1, 5], \"potential\": 1, \"light_visits\": 1, \"potential_delta\": 0}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}