{"abstract":"The bounded fibonacci cut certificate reports an incorrect descendants.","category":"Heap invariants","checks":7,"contract":"A Fibonacci cut certificate has child c, parent p, ordered parent children, root ids, parent degree, child mark, and node keys. Cut detaches c, promotes it to the end of roots, clears its mark and parent, and decrements parent degree; it does not erase descendants.","evaluation_group":"s3-heap-model-fibonacci-cut","failed_approach":"The local patch uses d[\"descendants\"]+[p] and still violates the stated relation.","family":"s3-heap-fibonacci-cut-descendants","id":"FA-40106","implementations":{"attempt":{"sha256":"01e952e2baba1b3a8178503e7f292fbb30fef37b402656e53ac793ba3f6c3f86","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    c=d['child']; p=d['parent']; children=d['children']; roots=d['roots']; degree=d['degree']\n    return {'parent_children': [x for x in children if x!=c],\n    'root_append': roots+[c],\n    'degree': degree-1,\n    'child_parent': None,\n    'mark': False,\n    'descendants': d[\"descendants\"]+[p]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'child': 1, 'parent': 9, 'children': [1], 'roots': [9], 'degree': 1, 'mark': True, 'descendants': []}, {'parent_children': [], 'root_append': [9, 1], 'degree': 0, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 2, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 8], 'degree': 3, 'mark': True, 'descendants': [4, 5]}, {'parent_children': [1, 3], 'root_append': [9, 8, 2], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': [4, 5]}), ({'child': 1, 'parent': 9, 'children': [1, 2], 'roots': [9], 'degree': 2, 'mark': False, 'descendants': [3]}, {'parent_children': [2], 'root_append': [9, 1], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [3]}), ({'child': 3, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 7], 'degree': 3, 'mark': False, 'descendants': []}, {'parent_children': [1, 2], 'root_append': [9, 7, 3], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 4, 'parent': 9, 'children': [4, 5], 'roots': [9, 6], 'degree': 2, 'mark': True, 'descendants': [1]}, {'parent_children': [5], 'root_append': [9, 6, 4], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [1]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8, 100]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8, 100]})], [({'child': 1, 'parent': 9, 'children': [1], 'roots': [9], 'degree': 1, 'mark': True, 'descendants': []}, {'parent_children': [], 'root_append': [9, 1], 'degree': 0, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 2, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 8], 'degree': 3, 'mark': True, 'descendants': [4, 5]}, {'parent_children': [1, 3], 'root_append': [9, 8, 2], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': [4, 5]}), ({'child': 1, 'parent': 9, 'children': [1, 2], 'roots': [9], 'degree': 2, 'mark': False, 'descendants': [3]}, {'parent_children': [2], 'root_append': [9, 1], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [3]}), ({'child': 3, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 7], 'degree': 3, 'mark': False, 'descendants': []}, {'parent_children': [1, 2], 'root_append': [9, 7, 3], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 4, 'parent': 9, 'children': [4, 5], 'roots': [9, 6], 'degree': 2, 'mark': True, 'descendants': [1]}, {'parent_children': [5], 'root_append': [9, 6, 4], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [1]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8, 100, 101]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8, 100, 101]})], [({'child': 1, 'parent': 9, 'children': [1], 'roots': [9], 'degree': 1, 'mark': True, 'descendants': []}, {'parent_children': [], 'root_append': [9, 1], 'degree': 0, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 2, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 8], 'degree': 3, 'mark': True, 'descendants': [4, 5]}, {'parent_children': [1, 3], 'root_append': [9, 8, 2], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': [4, 5]}), ({'child': 1, 'parent': 9, 'children': [1, 2], 'roots': [9], 'degree': 2, 'mark': False, 'descendants': [3]}, {'parent_children': [2], 'root_append': [9, 1], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [3]}), ({'child': 3, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 7], 'degree': 3, 'mark': False, 'descendants': []}, {'parent_children': [1, 2], 'root_append': [9, 7, 3], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 4, 'parent': 9, 'children': [4, 5], 'roots': [9, 6], 'degree': 2, 'mark': True, 'descendants': [1]}, {'parent_children': [5], 'root_append': [9, 6, 4], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [1]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8, 100, 101, 102]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8, 100, 101, 102]})], [({'child': 1, 'parent': 9, 'children': [1], 'roots': [9], 'degree': 1, 'mark': True, 'descendants': []}, {'parent_children': [], 'root_append': [9, 1], 'degree': 0, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 2, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 8], 'degree': 3, 'mark': True, 'descendants': [4, 5]}, {'parent_children': [1, 3], 'root_append': [9, 8, 2], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': [4, 5]}), ({'child': 1, 'parent': 9, 'children': [1, 2], 'roots': [9], 'degree': 2, 'mark': False, 'descendants': [3]}, {'parent_children': [2], 'root_append': [9, 1], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [3]}), ({'child': 3, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 7], 'degree': 3, 'mark': False, 'descendants': []}, {'parent_children': [1, 2], 'root_append': [9, 7, 3], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 4, 'parent': 9, 'children': [4, 5], 'roots': [9, 6], 'degree': 2, 'mark': True, 'descendants': [1]}, {'parent_children': [5], 'root_append': [9, 6, 4], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [1]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8, 100, 101, 102, 103]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8, 100, 101, 102, 103]})], [({'child': 1, 'parent': 9, 'children': [1], 'roots': [9], 'degree': 1, 'mark': True, 'descendants': []}, {'parent_children': [], 'root_append': [9, 1], 'degree': 0, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 2, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 8], 'degree': 3, 'mark': True, 'descendants': [4, 5]}, {'parent_children': [1, 3], 'root_append': [9, 8, 2], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': [4, 5]}), ({'child': 1, 'parent': 9, 'children': [1, 2], 'roots': [9], 'degree': 2, 'mark': False, 'descendants': [3]}, {'parent_children': [2], 'root_append': [9, 1], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [3]}), ({'child': 3, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 7], 'degree': 3, 'mark': False, 'descendants': []}, {'parent_children': [1, 2], 'root_append': [9, 7, 3], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 4, 'parent': 9, 'children': [4, 5], 'roots': [9, 6], 'degree': 2, 'mark': True, 'descendants': [1]}, {'parent_children': [5], 'root_append': [9, 6, 4], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [1]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8, 100, 101, 102, 103, 104]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8, 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":"faa903d10781f3141559bc93cc0b0dc37651d28c0f2debd73081498b8c4bfecf","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    c=d['child']; p=d['parent']; children=d['children']; roots=d['roots']; degree=d['degree']\n    return {'parent_children': [x for x in children if x!=c],\n    'root_append': roots+[c],\n    'degree': degree-1,\n    'child_parent': None,\n    'mark': False,\n    'descendants': []}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'child': 1, 'parent': 9, 'children': [1], 'roots': [9], 'degree': 1, 'mark': True, 'descendants': []}, {'parent_children': [], 'root_append': [9, 1], 'degree': 0, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 2, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 8], 'degree': 3, 'mark': True, 'descendants': [4, 5]}, {'parent_children': [1, 3], 'root_append': [9, 8, 2], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': [4, 5]}), ({'child': 1, 'parent': 9, 'children': [1, 2], 'roots': [9], 'degree': 2, 'mark': False, 'descendants': [3]}, {'parent_children': [2], 'root_append': [9, 1], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [3]}), ({'child': 3, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 7], 'degree': 3, 'mark': False, 'descendants': []}, {'parent_children': [1, 2], 'root_append': [9, 7, 3], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 4, 'parent': 9, 'children': [4, 5], 'roots': [9, 6], 'degree': 2, 'mark': True, 'descendants': [1]}, {'parent_children': [5], 'root_append': [9, 6, 4], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [1]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8, 100]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8, 100]})], [({'child': 1, 'parent': 9, 'children': [1], 'roots': [9], 'degree': 1, 'mark': True, 'descendants': []}, {'parent_children': [], 'root_append': [9, 1], 'degree': 0, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 2, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 8], 'degree': 3, 'mark': True, 'descendants': [4, 5]}, {'parent_children': [1, 3], 'root_append': [9, 8, 2], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': [4, 5]}), ({'child': 1, 'parent': 9, 'children': [1, 2], 'roots': [9], 'degree': 2, 'mark': False, 'descendants': [3]}, {'parent_children': [2], 'root_append': [9, 1], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [3]}), ({'child': 3, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 7], 'degree': 3, 'mark': False, 'descendants': []}, {'parent_children': [1, 2], 'root_append': [9, 7, 3], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 4, 'parent': 9, 'children': [4, 5], 'roots': [9, 6], 'degree': 2, 'mark': True, 'descendants': [1]}, {'parent_children': [5], 'root_append': [9, 6, 4], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [1]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8, 100, 101]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8, 100, 101]})], [({'child': 1, 'parent': 9, 'children': [1], 'roots': [9], 'degree': 1, 'mark': True, 'descendants': []}, {'parent_children': [], 'root_append': [9, 1], 'degree': 0, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 2, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 8], 'degree': 3, 'mark': True, 'descendants': [4, 5]}, {'parent_children': [1, 3], 'root_append': [9, 8, 2], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': [4, 5]}), ({'child': 1, 'parent': 9, 'children': [1, 2], 'roots': [9], 'degree': 2, 'mark': False, 'descendants': [3]}, {'parent_children': [2], 'root_append': [9, 1], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [3]}), ({'child': 3, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 7], 'degree': 3, 'mark': False, 'descendants': []}, {'parent_children': [1, 2], 'root_append': [9, 7, 3], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 4, 'parent': 9, 'children': [4, 5], 'roots': [9, 6], 'degree': 2, 'mark': True, 'descendants': [1]}, {'parent_children': [5], 'root_append': [9, 6, 4], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [1]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8, 100, 101, 102]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8, 100, 101, 102]})], [({'child': 1, 'parent': 9, 'children': [1], 'roots': [9], 'degree': 1, 'mark': True, 'descendants': []}, {'parent_children': [], 'root_append': [9, 1], 'degree': 0, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 2, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 8], 'degree': 3, 'mark': True, 'descendants': [4, 5]}, {'parent_children': [1, 3], 'root_append': [9, 8, 2], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': [4, 5]}), ({'child': 1, 'parent': 9, 'children': [1, 2], 'roots': [9], 'degree': 2, 'mark': False, 'descendants': [3]}, {'parent_children': [2], 'root_append': [9, 1], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [3]}), ({'child': 3, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 7], 'degree': 3, 'mark': False, 'descendants': []}, {'parent_children': [1, 2], 'root_append': [9, 7, 3], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 4, 'parent': 9, 'children': [4, 5], 'roots': [9, 6], 'degree': 2, 'mark': True, 'descendants': [1]}, {'parent_children': [5], 'root_append': [9, 6, 4], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [1]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8, 100, 101, 102, 103]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8, 100, 101, 102, 103]})], [({'child': 1, 'parent': 9, 'children': [1], 'roots': [9], 'degree': 1, 'mark': True, 'descendants': []}, {'parent_children': [], 'root_append': [9, 1], 'degree': 0, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 2, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 8], 'degree': 3, 'mark': True, 'descendants': [4, 5]}, {'parent_children': [1, 3], 'root_append': [9, 8, 2], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': [4, 5]}), ({'child': 1, 'parent': 9, 'children': [1, 2], 'roots': [9], 'degree': 2, 'mark': False, 'descendants': [3]}, {'parent_children': [2], 'root_append': [9, 1], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [3]}), ({'child': 3, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 7], 'degree': 3, 'mark': False, 'descendants': []}, {'parent_children': [1, 2], 'root_append': [9, 7, 3], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 4, 'parent': 9, 'children': [4, 5], 'roots': [9, 6], 'degree': 2, 'mark': True, 'descendants': [1]}, {'parent_children': [5], 'root_append': [9, 6, 4], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [1]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8, 100, 101, 102, 103, 104]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8, 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":"5229669fcf5ae1f2808440851d470ca9be2c093c0c8f60e9935a8dde5167c3d7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    c=d['child']; p=d['parent']; children=d['children']; roots=d['roots']; degree=d['degree']\n    return {'parent_children': [x for x in children if x!=c],\n    'root_append': roots+[c],\n    'degree': degree-1,\n    'child_parent': None,\n    'mark': False,\n    'descendants': d[\"descendants\"]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'child': 1, 'parent': 9, 'children': [1], 'roots': [9], 'degree': 1, 'mark': True, 'descendants': []}, {'parent_children': [], 'root_append': [9, 1], 'degree': 0, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 2, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 8], 'degree': 3, 'mark': True, 'descendants': [4, 5]}, {'parent_children': [1, 3], 'root_append': [9, 8, 2], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': [4, 5]}), ({'child': 1, 'parent': 9, 'children': [1, 2], 'roots': [9], 'degree': 2, 'mark': False, 'descendants': [3]}, {'parent_children': [2], 'root_append': [9, 1], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [3]}), ({'child': 3, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 7], 'degree': 3, 'mark': False, 'descendants': []}, {'parent_children': [1, 2], 'root_append': [9, 7, 3], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 4, 'parent': 9, 'children': [4, 5], 'roots': [9, 6], 'degree': 2, 'mark': True, 'descendants': [1]}, {'parent_children': [5], 'root_append': [9, 6, 4], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [1]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8, 100]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8, 100]})], [({'child': 1, 'parent': 9, 'children': [1], 'roots': [9], 'degree': 1, 'mark': True, 'descendants': []}, {'parent_children': [], 'root_append': [9, 1], 'degree': 0, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 2, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 8], 'degree': 3, 'mark': True, 'descendants': [4, 5]}, {'parent_children': [1, 3], 'root_append': [9, 8, 2], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': [4, 5]}), ({'child': 1, 'parent': 9, 'children': [1, 2], 'roots': [9], 'degree': 2, 'mark': False, 'descendants': [3]}, {'parent_children': [2], 'root_append': [9, 1], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [3]}), ({'child': 3, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 7], 'degree': 3, 'mark': False, 'descendants': []}, {'parent_children': [1, 2], 'root_append': [9, 7, 3], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 4, 'parent': 9, 'children': [4, 5], 'roots': [9, 6], 'degree': 2, 'mark': True, 'descendants': [1]}, {'parent_children': [5], 'root_append': [9, 6, 4], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [1]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8, 100, 101]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8, 100, 101]})], [({'child': 1, 'parent': 9, 'children': [1], 'roots': [9], 'degree': 1, 'mark': True, 'descendants': []}, {'parent_children': [], 'root_append': [9, 1], 'degree': 0, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 2, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 8], 'degree': 3, 'mark': True, 'descendants': [4, 5]}, {'parent_children': [1, 3], 'root_append': [9, 8, 2], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': [4, 5]}), ({'child': 1, 'parent': 9, 'children': [1, 2], 'roots': [9], 'degree': 2, 'mark': False, 'descendants': [3]}, {'parent_children': [2], 'root_append': [9, 1], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [3]}), ({'child': 3, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 7], 'degree': 3, 'mark': False, 'descendants': []}, {'parent_children': [1, 2], 'root_append': [9, 7, 3], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 4, 'parent': 9, 'children': [4, 5], 'roots': [9, 6], 'degree': 2, 'mark': True, 'descendants': [1]}, {'parent_children': [5], 'root_append': [9, 6, 4], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [1]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8, 100, 101, 102]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8, 100, 101, 102]})], [({'child': 1, 'parent': 9, 'children': [1], 'roots': [9], 'degree': 1, 'mark': True, 'descendants': []}, {'parent_children': [], 'root_append': [9, 1], 'degree': 0, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 2, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 8], 'degree': 3, 'mark': True, 'descendants': [4, 5]}, {'parent_children': [1, 3], 'root_append': [9, 8, 2], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': [4, 5]}), ({'child': 1, 'parent': 9, 'children': [1, 2], 'roots': [9], 'degree': 2, 'mark': False, 'descendants': [3]}, {'parent_children': [2], 'root_append': [9, 1], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [3]}), ({'child': 3, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 7], 'degree': 3, 'mark': False, 'descendants': []}, {'parent_children': [1, 2], 'root_append': [9, 7, 3], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 4, 'parent': 9, 'children': [4, 5], 'roots': [9, 6], 'degree': 2, 'mark': True, 'descendants': [1]}, {'parent_children': [5], 'root_append': [9, 6, 4], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [1]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8, 100, 101, 102, 103]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8, 100, 101, 102, 103]})], [({'child': 1, 'parent': 9, 'children': [1], 'roots': [9], 'degree': 1, 'mark': True, 'descendants': []}, {'parent_children': [], 'root_append': [9, 1], 'degree': 0, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 2, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 8], 'degree': 3, 'mark': True, 'descendants': [4, 5]}, {'parent_children': [1, 3], 'root_append': [9, 8, 2], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': [4, 5]}), ({'child': 1, 'parent': 9, 'children': [1, 2], 'roots': [9], 'degree': 2, 'mark': False, 'descendants': [3]}, {'parent_children': [2], 'root_append': [9, 1], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [3]}), ({'child': 3, 'parent': 9, 'children': [1, 2, 3], 'roots': [9, 7], 'degree': 3, 'mark': False, 'descendants': []}, {'parent_children': [1, 2], 'root_append': [9, 7, 3], 'degree': 2, 'child_parent': None, 'mark': False, 'descendants': []}), ({'child': 4, 'parent': 9, 'children': [4, 5], 'roots': [9, 6], 'degree': 2, 'mark': True, 'descendants': [1]}, {'parent_children': [5], 'root_append': [9, 6, 4], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [1]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8]}), ({'child': 2, 'parent': 9, 'children': [3, 2], 'roots': [9], 'degree': 2, 'mark': True, 'descendants': [7, 8, 100, 101, 102, 103, 104]}, {'parent_children': [3], 'root_append': [9, 2], 'degree': 1, 'child_parent': None, 'mark': False, 'descendants': [7, 8, 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-fibonacci-cut-descendants","generated_at":"2026-09-29T14:43:27.825130+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 descendants using d[\"descendants\"] under the stated bounded certificate contract.","root_cause":"Fibonacci cut preserves the promoted subtree without absorbing its former parent.","sha256":"3e8d4947d66c273bd26eeb616446caaa0fd7ab9d99dd619f520f1aae3dbe14e4","title":"Fibonacci cut preserves the promoted subtree without absorbing its former parent · 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":40.996,"exit_code":1,"observations":[{"actual":{"child_parent":null,"degree":0,"descendants":[9],"mark":false,"parent_children":[],"root_append":[9,1]},"check":"regression certificate 1","expected":{"child_parent":null,"degree":0,"descendants":[],"mark":false,"parent_children":[],"root_append":[9,1]},"passed":false},{"actual":{"child_parent":null,"degree":2,"descendants":[4,5,9],"mark":false,"parent_children":[1,3],"root_append":[9,8,2]},"check":"regression certificate 2","expected":{"child_parent":null,"degree":2,"descendants":[4,5],"mark":false,"parent_children":[1,3],"root_append":[9,8,2]},"passed":false},{"actual":{"child_parent":null,"degree":1,"descendants":[3,9],"mark":false,"parent_children":[2],"root_append":[9,1]},"check":"regression certificate 3","expected":{"child_parent":null,"degree":1,"descendants":[3],"mark":false,"parent_children":[2],"root_append":[9,1]},"passed":false},{"actual":{"child_parent":null,"degree":2,"descendants":[9],"mark":false,"parent_children":[1,2],"root_append":[9,7,3]},"check":"regression certificate 4","expected":{"child_parent":null,"degree":2,"descendants":[],"mark":false,"parent_children":[1,2],"root_append":[9,7,3]},"passed":false},{"actual":{"child_parent":null,"degree":1,"descendants":[1,9],"mark":false,"parent_children":[5],"root_append":[9,6,4]},"check":"regression certificate 5","expected":{"child_parent":null,"degree":1,"descendants":[1],"mark":false,"parent_children":[5],"root_append":[9,6,4]},"passed":false},{"actual":{"child_parent":null,"degree":1,"descendants":[7,8,9],"mark":false,"parent_children":[3],"root_append":[9,2]},"check":"regression certificate 6","expected":{"child_parent":null,"degree":1,"descendants":[7,8],"mark":false,"parent_children":[3],"root_append":[9,2]},"passed":false},{"actual":{"child_parent":null,"degree":1,"descendants":[7,8,100,9],"mark":false,"parent_children":[3],"root_append":[9,2]},"check":"variant-dependent certificate","expected":{"child_parent":null,"degree":1,"descendants":[7,8,100],"mark":false,"parent_children":[3],"root_append":[9,2]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"parent_children\": [], \"root_append\": [9, 1], \"degree\": 0, \"child_parent\": null, \"mark\": false, \"descendants\": [9]}, \"expected\": {\"parent_children\": [], \"root_append\": [9, 1], \"degree\": 0, \"child_parent\": null, \"mark\": false, \"descendants\": []}, \"passed\": false}, {\"check\": \"regression certificate 2\", \"actual\": {\"parent_children\": [1, 3], \"root_append\": [9, 8, 2], \"degree\": 2, \"child_parent\": null, \"mark\": false, \"descendants\": [4, 5, 9]}, \"expected\": {\"parent_children\": [1, 3], \"root_append\": [9, 8, 2], \"degree\": 2, \"child_parent\": null, \"mark\": false, \"descendants\": [4, 5]}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"parent_children\": [2], \"root_append\": [9, 1], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [3, 9]}, \"expected\": {\"parent_children\": [2], \"root_append\": [9, 1], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [3]}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"parent_children\": [1, 2], \"root_append\": [9, 7, 3], \"degree\": 2, \"child_parent\": null, \"mark\": false, \"descendants\": [9]}, \"expected\": {\"parent_children\": [1, 2], \"root_append\": [9, 7, 3], \"degree\": 2, \"child_parent\": null, \"mark\": false, \"descendants\": []}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"parent_children\": [5], \"root_append\": [9, 6, 4], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [1, 9]}, \"expected\": {\"parent_children\": [5], \"root_append\": [9, 6, 4], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [1]}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"parent_children\": [3], \"root_append\": [9, 2], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [7, 8, 9]}, \"expected\": {\"parent_children\": [3], \"root_append\": [9, 2], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [7, 8]}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"parent_children\": [3], \"root_append\": [9, 2], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [7, 8, 100, 9]}, \"expected\": {\"parent_children\": [3], \"root_append\": [9, 2], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [7, 8, 100]}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.52,"exit_code":1,"observations":[{"actual":{"child_parent":null,"degree":0,"descendants":[],"mark":false,"parent_children":[],"root_append":[9,1]},"check":"regression certificate 1","expected":{"child_parent":null,"degree":0,"descendants":[],"mark":false,"parent_children":[],"root_append":[9,1]},"passed":true},{"actual":{"child_parent":null,"degree":2,"descendants":[],"mark":false,"parent_children":[1,3],"root_append":[9,8,2]},"check":"regression certificate 2","expected":{"child_parent":null,"degree":2,"descendants":[4,5],"mark":false,"parent_children":[1,3],"root_append":[9,8,2]},"passed":false},{"actual":{"child_parent":null,"degree":1,"descendants":[],"mark":false,"parent_children":[2],"root_append":[9,1]},"check":"regression certificate 3","expected":{"child_parent":null,"degree":1,"descendants":[3],"mark":false,"parent_children":[2],"root_append":[9,1]},"passed":false},{"actual":{"child_parent":null,"degree":2,"descendants":[],"mark":false,"parent_children":[1,2],"root_append":[9,7,3]},"check":"regression certificate 4","expected":{"child_parent":null,"degree":2,"descendants":[],"mark":false,"parent_children":[1,2],"root_append":[9,7,3]},"passed":true},{"actual":{"child_parent":null,"degree":1,"descendants":[],"mark":false,"parent_children":[5],"root_append":[9,6,4]},"check":"regression certificate 5","expected":{"child_parent":null,"degree":1,"descendants":[1],"mark":false,"parent_children":[5],"root_append":[9,6,4]},"passed":false},{"actual":{"child_parent":null,"degree":1,"descendants":[],"mark":false,"parent_children":[3],"root_append":[9,2]},"check":"regression certificate 6","expected":{"child_parent":null,"degree":1,"descendants":[7,8],"mark":false,"parent_children":[3],"root_append":[9,2]},"passed":false},{"actual":{"child_parent":null,"degree":1,"descendants":[],"mark":false,"parent_children":[3],"root_append":[9,2]},"check":"variant-dependent certificate","expected":{"child_parent":null,"degree":1,"descendants":[7,8,100],"mark":false,"parent_children":[3],"root_append":[9,2]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"parent_children\": [], \"root_append\": [9, 1], \"degree\": 0, \"child_parent\": null, \"mark\": false, \"descendants\": []}, \"expected\": {\"parent_children\": [], \"root_append\": [9, 1], \"degree\": 0, \"child_parent\": null, \"mark\": false, \"descendants\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"parent_children\": [1, 3], \"root_append\": [9, 8, 2], \"degree\": 2, \"child_parent\": null, \"mark\": false, \"descendants\": []}, \"expected\": {\"parent_children\": [1, 3], \"root_append\": [9, 8, 2], \"degree\": 2, \"child_parent\": null, \"mark\": false, \"descendants\": [4, 5]}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"parent_children\": [2], \"root_append\": [9, 1], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": []}, \"expected\": {\"parent_children\": [2], \"root_append\": [9, 1], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [3]}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"parent_children\": [1, 2], \"root_append\": [9, 7, 3], \"degree\": 2, \"child_parent\": null, \"mark\": false, \"descendants\": []}, \"expected\": {\"parent_children\": [1, 2], \"root_append\": [9, 7, 3], \"degree\": 2, \"child_parent\": null, \"mark\": false, \"descendants\": []}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"parent_children\": [5], \"root_append\": [9, 6, 4], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": []}, \"expected\": {\"parent_children\": [5], \"root_append\": [9, 6, 4], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [1]}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"parent_children\": [3], \"root_append\": [9, 2], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": []}, \"expected\": {\"parent_children\": [3], \"root_append\": [9, 2], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [7, 8]}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"parent_children\": [3], \"root_append\": [9, 2], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": []}, \"expected\": {\"parent_children\": [3], \"root_append\": [9, 2], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [7, 8, 100]}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.834,"exit_code":0,"observations":[{"actual":{"child_parent":null,"degree":0,"descendants":[],"mark":false,"parent_children":[],"root_append":[9,1]},"check":"regression certificate 1","expected":{"child_parent":null,"degree":0,"descendants":[],"mark":false,"parent_children":[],"root_append":[9,1]},"passed":true},{"actual":{"child_parent":null,"degree":2,"descendants":[4,5],"mark":false,"parent_children":[1,3],"root_append":[9,8,2]},"check":"regression certificate 2","expected":{"child_parent":null,"degree":2,"descendants":[4,5],"mark":false,"parent_children":[1,3],"root_append":[9,8,2]},"passed":true},{"actual":{"child_parent":null,"degree":1,"descendants":[3],"mark":false,"parent_children":[2],"root_append":[9,1]},"check":"regression certificate 3","expected":{"child_parent":null,"degree":1,"descendants":[3],"mark":false,"parent_children":[2],"root_append":[9,1]},"passed":true},{"actual":{"child_parent":null,"degree":2,"descendants":[],"mark":false,"parent_children":[1,2],"root_append":[9,7,3]},"check":"regression certificate 4","expected":{"child_parent":null,"degree":2,"descendants":[],"mark":false,"parent_children":[1,2],"root_append":[9,7,3]},"passed":true},{"actual":{"child_parent":null,"degree":1,"descendants":[1],"mark":false,"parent_children":[5],"root_append":[9,6,4]},"check":"regression certificate 5","expected":{"child_parent":null,"degree":1,"descendants":[1],"mark":false,"parent_children":[5],"root_append":[9,6,4]},"passed":true},{"actual":{"child_parent":null,"degree":1,"descendants":[7,8],"mark":false,"parent_children":[3],"root_append":[9,2]},"check":"regression certificate 6","expected":{"child_parent":null,"degree":1,"descendants":[7,8],"mark":false,"parent_children":[3],"root_append":[9,2]},"passed":true},{"actual":{"child_parent":null,"degree":1,"descendants":[7,8,100],"mark":false,"parent_children":[3],"root_append":[9,2]},"check":"variant-dependent certificate","expected":{"child_parent":null,"degree":1,"descendants":[7,8,100],"mark":false,"parent_children":[3],"root_append":[9,2]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"parent_children\": [], \"root_append\": [9, 1], \"degree\": 0, \"child_parent\": null, \"mark\": false, \"descendants\": []}, \"expected\": {\"parent_children\": [], \"root_append\": [9, 1], \"degree\": 0, \"child_parent\": null, \"mark\": false, \"descendants\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"parent_children\": [1, 3], \"root_append\": [9, 8, 2], \"degree\": 2, \"child_parent\": null, \"mark\": false, \"descendants\": [4, 5]}, \"expected\": {\"parent_children\": [1, 3], \"root_append\": [9, 8, 2], \"degree\": 2, \"child_parent\": null, \"mark\": false, \"descendants\": [4, 5]}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"parent_children\": [2], \"root_append\": [9, 1], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [3]}, \"expected\": {\"parent_children\": [2], \"root_append\": [9, 1], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [3]}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"parent_children\": [1, 2], \"root_append\": [9, 7, 3], \"degree\": 2, \"child_parent\": null, \"mark\": false, \"descendants\": []}, \"expected\": {\"parent_children\": [1, 2], \"root_append\": [9, 7, 3], \"degree\": 2, \"child_parent\": null, \"mark\": false, \"descendants\": []}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"parent_children\": [5], \"root_append\": [9, 6, 4], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [1]}, \"expected\": {\"parent_children\": [5], \"root_append\": [9, 6, 4], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [1]}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"parent_children\": [3], \"root_append\": [9, 2], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [7, 8]}, \"expected\": {\"parent_children\": [3], \"root_append\": [9, 2], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [7, 8]}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"parent_children\": [3], \"root_append\": [9, 2], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [7, 8, 100]}, \"expected\": {\"parent_children\": [3], \"root_append\": [9, 2], \"degree\": 1, \"child_parent\": null, \"mark\": false, \"descendants\": [7, 8, 100]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}