{"abstract":"The bounded skew meld step certificate reports an incorrect preorder children.","category":"Heap invariants","checks":7,"contract":"A skew meld unwind chooses the smaller root, recursively melds its old right subtree with the other heap, and unconditionally swaps children. Record supplies winner, old_left, recursive_result and sizes. Missing subtrees are None. No rank-based swap condition is part of this model.","contract_signature":"d","evaluation_group":"s3-heap-model-skew-meld-step","failed_approach":"The local patch uses sorted(x for x in (result,old) if x is not None) and still violates the stated relation.","family":"s3-heap-skew-meld-step-preorder_children","id":"FA-40221","implementations":{"attempt":{"sha256":"73a5cec091862d9d28a51c0306a8ddbeabc23053e52c23e2f43f350d16f67692","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    old=d['old_left']; result=d['result']; sizes=d['sizes']\n    return {'new_left': result,\n    'new_right': old,\n    'size': 1+sum(sizes),\n    'rewrites': [[x,d[\"winner\"]] for x in (result,old) if x is not None],\n    'preorder_children': sorted(x for x in (result,old) if x is not None),\n    'leaf': old is None and result is None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'winner': 9, 'old_left': None, 'result': None, 'sizes': [0, 0]}, {'new_left': None, 'new_right': None, 'size': 1, 'rewrites': [], 'preorder_children': [], 'leaf': True}), ({'winner': 9, 'old_left': 1, 'result': None, 'sizes': [2, 0]}, {'new_left': None, 'new_right': 1, 'size': 3, 'rewrites': [[1, 9]], 'preorder_children': [1], 'leaf': False}), ({'winner': 9, 'old_left': None, 'result': 3, 'sizes': [0, 4]}, {'new_left': 3, 'new_right': None, 'size': 5, 'rewrites': [[3, 9]], 'preorder_children': [3], 'leaf': False}), ({'winner': 9, 'old_left': 1, 'result': 2, 'sizes': [5, 3]}, {'new_left': 2, 'new_right': 1, 'size': 9, 'rewrites': [[2, 9], [1, 9]], 'preorder_children': [2, 1], 'leaf': False}), ({'winner': 9, 'old_left': 7, 'result': 2, 'sizes': [1, 2]}, {'new_left': 2, 'new_right': 7, 'size': 4, 'rewrites': [[2, 9], [7, 9]], 'preorder_children': [2, 7], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [7, 9]}, {'new_left': 8, 'new_right': 4, 'size': 17, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [8, 10]}, {'new_left': 8, 'new_right': 4, 'size': 19, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False})], [({'winner': 9, 'old_left': None, 'result': None, 'sizes': [0, 0]}, {'new_left': None, 'new_right': None, 'size': 1, 'rewrites': [], 'preorder_children': [], 'leaf': True}), ({'winner': 9, 'old_left': 1, 'result': None, 'sizes': [2, 0]}, {'new_left': None, 'new_right': 1, 'size': 3, 'rewrites': [[1, 9]], 'preorder_children': [1], 'leaf': False}), ({'winner': 9, 'old_left': None, 'result': 3, 'sizes': [0, 4]}, {'new_left': 3, 'new_right': None, 'size': 5, 'rewrites': [[3, 9]], 'preorder_children': [3], 'leaf': False}), ({'winner': 9, 'old_left': 1, 'result': 2, 'sizes': [5, 3]}, {'new_left': 2, 'new_right': 1, 'size': 9, 'rewrites': [[2, 9], [1, 9]], 'preorder_children': [2, 1], 'leaf': False}), ({'winner': 9, 'old_left': 7, 'result': 2, 'sizes': [1, 2]}, {'new_left': 2, 'new_right': 7, 'size': 4, 'rewrites': [[2, 9], [7, 9]], 'preorder_children': [2, 7], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [7, 9]}, {'new_left': 8, 'new_right': 4, 'size': 17, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [9, 11]}, {'new_left': 8, 'new_right': 4, 'size': 21, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False})], [({'winner': 9, 'old_left': None, 'result': None, 'sizes': [0, 0]}, {'new_left': None, 'new_right': None, 'size': 1, 'rewrites': [], 'preorder_children': [], 'leaf': True}), ({'winner': 9, 'old_left': 1, 'result': None, 'sizes': [2, 0]}, {'new_left': None, 'new_right': 1, 'size': 3, 'rewrites': [[1, 9]], 'preorder_children': [1], 'leaf': False}), ({'winner': 9, 'old_left': None, 'result': 3, 'sizes': [0, 4]}, {'new_left': 3, 'new_right': None, 'size': 5, 'rewrites': [[3, 9]], 'preorder_children': [3], 'leaf': False}), ({'winner': 9, 'old_left': 1, 'result': 2, 'sizes': [5, 3]}, {'new_left': 2, 'new_right': 1, 'size': 9, 'rewrites': [[2, 9], [1, 9]], 'preorder_children': [2, 1], 'leaf': False}), ({'winner': 9, 'old_left': 7, 'result': 2, 'sizes': [1, 2]}, {'new_left': 2, 'new_right': 7, 'size': 4, 'rewrites': [[2, 9], [7, 9]], 'preorder_children': [2, 7], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [7, 9]}, {'new_left': 8, 'new_right': 4, 'size': 17, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [10, 12]}, {'new_left': 8, 'new_right': 4, 'size': 23, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False})], [({'winner': 9, 'old_left': None, 'result': None, 'sizes': [0, 0]}, {'new_left': None, 'new_right': None, 'size': 1, 'rewrites': [], 'preorder_children': [], 'leaf': True}), ({'winner': 9, 'old_left': 1, 'result': None, 'sizes': [2, 0]}, {'new_left': None, 'new_right': 1, 'size': 3, 'rewrites': [[1, 9]], 'preorder_children': [1], 'leaf': False}), ({'winner': 9, 'old_left': None, 'result': 3, 'sizes': [0, 4]}, {'new_left': 3, 'new_right': None, 'size': 5, 'rewrites': [[3, 9]], 'preorder_children': [3], 'leaf': False}), ({'winner': 9, 'old_left': 1, 'result': 2, 'sizes': [5, 3]}, {'new_left': 2, 'new_right': 1, 'size': 9, 'rewrites': [[2, 9], [1, 9]], 'preorder_children': [2, 1], 'leaf': False}), ({'winner': 9, 'old_left': 7, 'result': 2, 'sizes': [1, 2]}, {'new_left': 2, 'new_right': 7, 'size': 4, 'rewrites': [[2, 9], [7, 9]], 'preorder_children': [2, 7], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [7, 9]}, {'new_left': 8, 'new_right': 4, 'size': 17, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [11, 13]}, {'new_left': 8, 'new_right': 4, 'size': 25, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False})], [({'winner': 9, 'old_left': None, 'result': None, 'sizes': [0, 0]}, {'new_left': None, 'new_right': None, 'size': 1, 'rewrites': [], 'preorder_children': [], 'leaf': True}), ({'winner': 9, 'old_left': 1, 'result': None, 'sizes': [2, 0]}, {'new_left': None, 'new_right': 1, 'size': 3, 'rewrites': [[1, 9]], 'preorder_children': [1], 'leaf': False}), ({'winner': 9, 'old_left': None, 'result': 3, 'sizes': [0, 4]}, {'new_left': 3, 'new_right': None, 'size': 5, 'rewrites': [[3, 9]], 'preorder_children': [3], 'leaf': False}), ({'winner': 9, 'old_left': 1, 'result': 2, 'sizes': [5, 3]}, {'new_left': 2, 'new_right': 1, 'size': 9, 'rewrites': [[2, 9], [1, 9]], 'preorder_children': [2, 1], 'leaf': False}), ({'winner': 9, 'old_left': 7, 'result': 2, 'sizes': [1, 2]}, {'new_left': 2, 'new_right': 7, 'size': 4, 'rewrites': [[2, 9], [7, 9]], 'preorder_children': [2, 7], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [7, 9]}, {'new_left': 8, 'new_right': 4, 'size': 17, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [12, 14]}, {'new_left': 8, 'new_right': 4, 'size': 27, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False})]][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":"28a26ab716c68a0d6978a549d630e42016f1fc21c2e1078167ba0b605553e383","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    old=d['old_left']; result=d['result']; sizes=d['sizes']\n    return {'new_left': result,\n    'new_right': old,\n    'size': 1+sum(sizes),\n    'rewrites': [[x,d[\"winner\"]] for x in (result,old) if x is not None],\n    'preorder_children': [x for x in (old,result) if x is not None],\n    'leaf': old is None and result is None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'winner': 9, 'old_left': None, 'result': None, 'sizes': [0, 0]}, {'new_left': None, 'new_right': None, 'size': 1, 'rewrites': [], 'preorder_children': [], 'leaf': True}), ({'winner': 9, 'old_left': 1, 'result': None, 'sizes': [2, 0]}, {'new_left': None, 'new_right': 1, 'size': 3, 'rewrites': [[1, 9]], 'preorder_children': [1], 'leaf': False}), ({'winner': 9, 'old_left': None, 'result': 3, 'sizes': [0, 4]}, {'new_left': 3, 'new_right': None, 'size': 5, 'rewrites': [[3, 9]], 'preorder_children': [3], 'leaf': False}), ({'winner': 9, 'old_left': 1, 'result': 2, 'sizes': [5, 3]}, {'new_left': 2, 'new_right': 1, 'size': 9, 'rewrites': [[2, 9], [1, 9]], 'preorder_children': [2, 1], 'leaf': False}), ({'winner': 9, 'old_left': 7, 'result': 2, 'sizes': [1, 2]}, {'new_left': 2, 'new_right': 7, 'size': 4, 'rewrites': [[2, 9], [7, 9]], 'preorder_children': [2, 7], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [7, 9]}, {'new_left': 8, 'new_right': 4, 'size': 17, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [8, 10]}, {'new_left': 8, 'new_right': 4, 'size': 19, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False})], [({'winner': 9, 'old_left': None, 'result': None, 'sizes': [0, 0]}, {'new_left': None, 'new_right': None, 'size': 1, 'rewrites': [], 'preorder_children': [], 'leaf': True}), ({'winner': 9, 'old_left': 1, 'result': None, 'sizes': [2, 0]}, {'new_left': None, 'new_right': 1, 'size': 3, 'rewrites': [[1, 9]], 'preorder_children': [1], 'leaf': False}), ({'winner': 9, 'old_left': None, 'result': 3, 'sizes': [0, 4]}, {'new_left': 3, 'new_right': None, 'size': 5, 'rewrites': [[3, 9]], 'preorder_children': [3], 'leaf': False}), ({'winner': 9, 'old_left': 1, 'result': 2, 'sizes': [5, 3]}, {'new_left': 2, 'new_right': 1, 'size': 9, 'rewrites': [[2, 9], [1, 9]], 'preorder_children': [2, 1], 'leaf': False}), ({'winner': 9, 'old_left': 7, 'result': 2, 'sizes': [1, 2]}, {'new_left': 2, 'new_right': 7, 'size': 4, 'rewrites': [[2, 9], [7, 9]], 'preorder_children': [2, 7], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [7, 9]}, {'new_left': 8, 'new_right': 4, 'size': 17, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [9, 11]}, {'new_left': 8, 'new_right': 4, 'size': 21, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False})], [({'winner': 9, 'old_left': None, 'result': None, 'sizes': [0, 0]}, {'new_left': None, 'new_right': None, 'size': 1, 'rewrites': [], 'preorder_children': [], 'leaf': True}), ({'winner': 9, 'old_left': 1, 'result': None, 'sizes': [2, 0]}, {'new_left': None, 'new_right': 1, 'size': 3, 'rewrites': [[1, 9]], 'preorder_children': [1], 'leaf': False}), ({'winner': 9, 'old_left': None, 'result': 3, 'sizes': [0, 4]}, {'new_left': 3, 'new_right': None, 'size': 5, 'rewrites': [[3, 9]], 'preorder_children': [3], 'leaf': False}), ({'winner': 9, 'old_left': 1, 'result': 2, 'sizes': [5, 3]}, {'new_left': 2, 'new_right': 1, 'size': 9, 'rewrites': [[2, 9], [1, 9]], 'preorder_children': [2, 1], 'leaf': False}), ({'winner': 9, 'old_left': 7, 'result': 2, 'sizes': [1, 2]}, {'new_left': 2, 'new_right': 7, 'size': 4, 'rewrites': [[2, 9], [7, 9]], 'preorder_children': [2, 7], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [7, 9]}, {'new_left': 8, 'new_right': 4, 'size': 17, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [10, 12]}, {'new_left': 8, 'new_right': 4, 'size': 23, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False})], [({'winner': 9, 'old_left': None, 'result': None, 'sizes': [0, 0]}, {'new_left': None, 'new_right': None, 'size': 1, 'rewrites': [], 'preorder_children': [], 'leaf': True}), ({'winner': 9, 'old_left': 1, 'result': None, 'sizes': [2, 0]}, {'new_left': None, 'new_right': 1, 'size': 3, 'rewrites': [[1, 9]], 'preorder_children': [1], 'leaf': False}), ({'winner': 9, 'old_left': None, 'result': 3, 'sizes': [0, 4]}, {'new_left': 3, 'new_right': None, 'size': 5, 'rewrites': [[3, 9]], 'preorder_children': [3], 'leaf': False}), ({'winner': 9, 'old_left': 1, 'result': 2, 'sizes': [5, 3]}, {'new_left': 2, 'new_right': 1, 'size': 9, 'rewrites': [[2, 9], [1, 9]], 'preorder_children': [2, 1], 'leaf': False}), ({'winner': 9, 'old_left': 7, 'result': 2, 'sizes': [1, 2]}, {'new_left': 2, 'new_right': 7, 'size': 4, 'rewrites': [[2, 9], [7, 9]], 'preorder_children': [2, 7], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [7, 9]}, {'new_left': 8, 'new_right': 4, 'size': 17, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [11, 13]}, {'new_left': 8, 'new_right': 4, 'size': 25, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False})], [({'winner': 9, 'old_left': None, 'result': None, 'sizes': [0, 0]}, {'new_left': None, 'new_right': None, 'size': 1, 'rewrites': [], 'preorder_children': [], 'leaf': True}), ({'winner': 9, 'old_left': 1, 'result': None, 'sizes': [2, 0]}, {'new_left': None, 'new_right': 1, 'size': 3, 'rewrites': [[1, 9]], 'preorder_children': [1], 'leaf': False}), ({'winner': 9, 'old_left': None, 'result': 3, 'sizes': [0, 4]}, {'new_left': 3, 'new_right': None, 'size': 5, 'rewrites': [[3, 9]], 'preorder_children': [3], 'leaf': False}), ({'winner': 9, 'old_left': 1, 'result': 2, 'sizes': [5, 3]}, {'new_left': 2, 'new_right': 1, 'size': 9, 'rewrites': [[2, 9], [1, 9]], 'preorder_children': [2, 1], 'leaf': False}), ({'winner': 9, 'old_left': 7, 'result': 2, 'sizes': [1, 2]}, {'new_left': 2, 'new_right': 7, 'size': 4, 'rewrites': [[2, 9], [7, 9]], 'preorder_children': [2, 7], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [7, 9]}, {'new_left': 8, 'new_right': 4, 'size': 17, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False}), ({'winner': 9, 'old_left': 4, 'result': 8, 'sizes': [12, 14]}, {'new_left': 8, 'new_right': 4, 'size': 27, 'rewrites': [[8, 9], [4, 9]], 'preorder_children': [8, 4], 'leaf': False})]][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-meld-step-preorder_children","generated_at":"2026-09-29T14:43:29.054501+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.","root_cause":"Skew meld traversal follows swapped structure rather than identifier ordering.","sha256":"d55fc3b5ac1c8eb66347190c70311536ec7c2b2475394a6c5f92e7350a772b1d","title":"Skew meld traversal follows swapped structure rather than identifier ordering · case 01","variant":1,"variant_policy":"Six explicit regression certificates are retained; a seventh changes structural size, position, priority, or bounds with N.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":51.823,"exit_code":1,"observations":[{"actual":{"leaf":true,"new_left":null,"new_right":null,"preorder_children":[],"rewrites":[],"size":1},"check":"regression certificate 1","expected":{"leaf":true,"new_left":null,"new_right":null,"preorder_children":[],"rewrites":[],"size":1},"passed":true},{"actual":{"leaf":false,"new_left":null,"new_right":1,"preorder_children":[1],"rewrites":[[1,9]],"size":3},"check":"regression certificate 2","expected":{"leaf":false,"new_left":null,"new_right":1,"preorder_children":[1],"rewrites":[[1,9]],"size":3},"passed":true},{"actual":{"leaf":false,"new_left":3,"new_right":null,"preorder_children":[3],"rewrites":[[3,9]],"size":5},"check":"regression certificate 3","expected":{"leaf":false,"new_left":3,"new_right":null,"preorder_children":[3],"rewrites":[[3,9]],"size":5},"passed":true},{"actual":{"leaf":false,"new_left":2,"new_right":1,"preorder_children":[1,2],"rewrites":[[2,9],[1,9]],"size":9},"check":"regression certificate 4","expected":{"leaf":false,"new_left":2,"new_right":1,"preorder_children":[2,1],"rewrites":[[2,9],[1,9]],"size":9},"passed":false},{"actual":{"leaf":false,"new_left":2,"new_right":7,"preorder_children":[2,7],"rewrites":[[2,9],[7,9]],"size":4},"check":"regression certificate 5","expected":{"leaf":false,"new_left":2,"new_right":7,"preorder_children":[2,7],"rewrites":[[2,9],[7,9]],"size":4},"passed":true},{"actual":{"leaf":false,"new_left":8,"new_right":4,"preorder_children":[4,8],"rewrites":[[8,9],[4,9]],"size":17},"check":"regression certificate 6","expected":{"leaf":false,"new_left":8,"new_right":4,"preorder_children":[8,4],"rewrites":[[8,9],[4,9]],"size":17},"passed":false},{"actual":{"leaf":false,"new_left":8,"new_right":4,"preorder_children":[4,8],"rewrites":[[8,9],[4,9]],"size":19},"check":"variant-dependent certificate","expected":{"leaf":false,"new_left":8,"new_right":4,"preorder_children":[8,4],"rewrites":[[8,9],[4,9]],"size":19},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"new_left\": null, \"new_right\": null, \"size\": 1, \"rewrites\": [], \"preorder_children\": [], \"leaf\": true}, \"expected\": {\"new_left\": null, \"new_right\": null, \"size\": 1, \"rewrites\": [], \"preorder_children\": [], \"leaf\": true}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"new_left\": null, \"new_right\": 1, \"size\": 3, \"rewrites\": [[1, 9]], \"preorder_children\": [1], \"leaf\": false}, \"expected\": {\"new_left\": null, \"new_right\": 1, \"size\": 3, \"rewrites\": [[1, 9]], \"preorder_children\": [1], \"leaf\": false}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"new_left\": 3, \"new_right\": null, \"size\": 5, \"rewrites\": [[3, 9]], \"preorder_children\": [3], \"leaf\": false}, \"expected\": {\"new_left\": 3, \"new_right\": null, \"size\": 5, \"rewrites\": [[3, 9]], \"preorder_children\": [3], \"leaf\": false}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"new_left\": 2, \"new_right\": 1, \"size\": 9, \"rewrites\": [[2, 9], [1, 9]], \"preorder_children\": [1, 2], \"leaf\": false}, \"expected\": {\"new_left\": 2, \"new_right\": 1, \"size\": 9, \"rewrites\": [[2, 9], [1, 9]], \"preorder_children\": [2, 1], \"leaf\": false}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"new_left\": 2, \"new_right\": 7, \"size\": 4, \"rewrites\": [[2, 9], [7, 9]], \"preorder_children\": [2, 7], \"leaf\": false}, \"expected\": {\"new_left\": 2, \"new_right\": 7, \"size\": 4, \"rewrites\": [[2, 9], [7, 9]], \"preorder_children\": [2, 7], \"leaf\": false}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"new_left\": 8, \"new_right\": 4, \"size\": 17, \"rewrites\": [[8, 9], [4, 9]], \"preorder_children\": [4, 8], \"leaf\": false}, \"expected\": {\"new_left\": 8, \"new_right\": 4, \"size\": 17, \"rewrites\": [[8, 9], [4, 9]], \"preorder_children\": [8, 4], \"leaf\": false}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"new_left\": 8, \"new_right\": 4, \"size\": 19, \"rewrites\": [[8, 9], [4, 9]], \"preorder_children\": [4, 8], \"leaf\": false}, \"expected\": {\"new_left\": 8, \"new_right\": 4, \"size\": 19, \"rewrites\": [[8, 9], [4, 9]], \"preorder_children\": [8, 4], \"leaf\": false}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.713,"exit_code":1,"observations":[{"actual":{"leaf":true,"new_left":null,"new_right":null,"preorder_children":[],"rewrites":[],"size":1},"check":"regression certificate 1","expected":{"leaf":true,"new_left":null,"new_right":null,"preorder_children":[],"rewrites":[],"size":1},"passed":true},{"actual":{"leaf":false,"new_left":null,"new_right":1,"preorder_children":[1],"rewrites":[[1,9]],"size":3},"check":"regression certificate 2","expected":{"leaf":false,"new_left":null,"new_right":1,"preorder_children":[1],"rewrites":[[1,9]],"size":3},"passed":true},{"actual":{"leaf":false,"new_left":3,"new_right":null,"preorder_children":[3],"rewrites":[[3,9]],"size":5},"check":"regression certificate 3","expected":{"leaf":false,"new_left":3,"new_right":null,"preorder_children":[3],"rewrites":[[3,9]],"size":5},"passed":true},{"actual":{"leaf":false,"new_left":2,"new_right":1,"preorder_children":[1,2],"rewrites":[[2,9],[1,9]],"size":9},"check":"regression certificate 4","expected":{"leaf":false,"new_left":2,"new_right":1,"preorder_children":[2,1],"rewrites":[[2,9],[1,9]],"size":9},"passed":false},{"actual":{"leaf":false,"new_left":2,"new_right":7,"preorder_children":[7,2],"rewrites":[[2,9],[7,9]],"size":4},"check":"regression certificate 5","expected":{"leaf":false,"new_left":2,"new_right":7,"preorder_children":[2,7],"rewrites":[[2,9],[7,9]],"size":4},"passed":false},{"actual":{"leaf":false,"new_left":8,"new_right":4,"preorder_children":[4,8],"rewrites":[[8,9],[4,9]],"size":17},"check":"regression certificate 6","expected":{"leaf":false,"new_left":8,"new_right":4,"preorder_children":[8,4],"rewrites":[[8,9],[4,9]],"size":17},"passed":false},{"actual":{"leaf":false,"new_left":8,"new_right":4,"preorder_children":[4,8],"rewrites":[[8,9],[4,9]],"size":19},"check":"variant-dependent certificate","expected":{"leaf":false,"new_left":8,"new_right":4,"preorder_children":[8,4],"rewrites":[[8,9],[4,9]],"size":19},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"new_left\": null, \"new_right\": null, \"size\": 1, \"rewrites\": [], \"preorder_children\": [], \"leaf\": true}, \"expected\": {\"new_left\": null, \"new_right\": null, \"size\": 1, \"rewrites\": [], \"preorder_children\": [], \"leaf\": true}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"new_left\": null, \"new_right\": 1, \"size\": 3, \"rewrites\": [[1, 9]], \"preorder_children\": [1], \"leaf\": false}, \"expected\": {\"new_left\": null, \"new_right\": 1, \"size\": 3, \"rewrites\": [[1, 9]], \"preorder_children\": [1], \"leaf\": false}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"new_left\": 3, \"new_right\": null, \"size\": 5, \"rewrites\": [[3, 9]], \"preorder_children\": [3], \"leaf\": false}, \"expected\": {\"new_left\": 3, \"new_right\": null, \"size\": 5, \"rewrites\": [[3, 9]], \"preorder_children\": [3], \"leaf\": false}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"new_left\": 2, \"new_right\": 1, \"size\": 9, \"rewrites\": [[2, 9], [1, 9]], \"preorder_children\": [1, 2], \"leaf\": false}, \"expected\": {\"new_left\": 2, \"new_right\": 1, \"size\": 9, \"rewrites\": [[2, 9], [1, 9]], \"preorder_children\": [2, 1], \"leaf\": false}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"new_left\": 2, \"new_right\": 7, \"size\": 4, \"rewrites\": [[2, 9], [7, 9]], \"preorder_children\": [7, 2], \"leaf\": false}, \"expected\": {\"new_left\": 2, \"new_right\": 7, \"size\": 4, \"rewrites\": [[2, 9], [7, 9]], \"preorder_children\": [2, 7], \"leaf\": false}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"new_left\": 8, \"new_right\": 4, \"size\": 17, \"rewrites\": [[8, 9], [4, 9]], \"preorder_children\": [4, 8], \"leaf\": false}, \"expected\": {\"new_left\": 8, \"new_right\": 4, \"size\": 17, \"rewrites\": [[8, 9], [4, 9]], \"preorder_children\": [8, 4], \"leaf\": false}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"new_left\": 8, \"new_right\": 4, \"size\": 19, \"rewrites\": [[8, 9], [4, 9]], \"preorder_children\": [4, 8], \"leaf\": false}, \"expected\": {\"new_left\": 8, \"new_right\": 4, \"size\": 19, \"rewrites\": [[8, 9], [4, 9]], \"preorder_children\": [8, 4], \"leaf\": false}, \"passed\": false}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}