{"abstract":"The bounded radix redistribute certificate reports an incorrect source after.","category":"Heap invariants","checks":7,"contract":"Redistribute one nonempty radix bucket with entries [id,key], all keys at least old_last. Set new_last to bucket minimum and move every entry to bit_length(key XOR new_last); preserve entry order within each destination bucket. Report threshold, assignments, bucket-zero ids, moved count, old-bucket clearing, and maximum destination.","contract_signature":"d","evaluation_group":"s3-heap-model-radix-redistribute","failed_approach":"The local patch uses [x[0] for x in a if x[1]!=new] and still violates the stated relation.","family":"s3-heap-radix-redistribute-source_after","id":"FA-40251","implementations":{"attempt":{"sha256":"92d7c3f5c91a55d1faac1ff94fce1dc59c44fbe181ebfec4d203c192defbe827","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['entries']; old=d['old_last']; new=min(x[1] for x in a); dest=[(x[0],(x[1]^new).bit_length()) for x in a]\n    return {'threshold': new,\n    'destinations': [[i,b] for i,b in dest],\n    'zero_ids': [x[0] for x in a if x[1]==new],\n    'moved': len(a),\n    'source_after': [x[0] for x in a if x[1]!=new],\n    'largest_destination': max(b for i,b in dest)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'old_last': 0, 'entries': [[1, 8]]}, {'threshold': 8, 'destinations': [[1, 0]], 'zero_ids': [1], 'moved': 1, 'source_after': [], 'largest_destination': 0}), ({'old_last': 3, 'entries': [[1, 7], [2, 4], [3, 6]]}, {'threshold': 4, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 7, 'entries': [[1, 15], [2, 8], [3, 8], [4, 12]]}, {'threshold': 8, 'destinations': [[1, 3], [2, 0], [3, 0], [4, 3]], 'zero_ids': [2, 3], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 1, 'entries': [[1, 3], [2, 2]]}, {'threshold': 2, 'destinations': [[1, 1], [2, 0]], 'zero_ids': [2], 'moved': 2, 'source_after': [], 'largest_destination': 1}), ({'old_last': 4, 'entries': [[1, 7], [2, 5], [3, 6]]}, {'threshold': 5, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2]], 'zero_ids': [2], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10], [101, 9]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2], [101, 0]], 'zero_ids': [2, 101], 'moved': 5, 'source_after': [], 'largest_destination': 3})], [({'old_last': 0, 'entries': [[1, 8]]}, {'threshold': 8, 'destinations': [[1, 0]], 'zero_ids': [1], 'moved': 1, 'source_after': [], 'largest_destination': 0}), ({'old_last': 3, 'entries': [[1, 7], [2, 4], [3, 6]]}, {'threshold': 4, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 7, 'entries': [[1, 15], [2, 8], [3, 8], [4, 12]]}, {'threshold': 8, 'destinations': [[1, 3], [2, 0], [3, 0], [4, 3]], 'zero_ids': [2, 3], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 1, 'entries': [[1, 3], [2, 2]]}, {'threshold': 2, 'destinations': [[1, 1], [2, 0]], 'zero_ids': [2], 'moved': 2, 'source_after': [], 'largest_destination': 1}), ({'old_last': 4, 'entries': [[1, 7], [2, 5], [3, 6]]}, {'threshold': 5, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2]], 'zero_ids': [2], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10], [102, 10]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2], [102, 2]], 'zero_ids': [2], 'moved': 5, 'source_after': [], 'largest_destination': 3})], [({'old_last': 0, 'entries': [[1, 8]]}, {'threshold': 8, 'destinations': [[1, 0]], 'zero_ids': [1], 'moved': 1, 'source_after': [], 'largest_destination': 0}), ({'old_last': 3, 'entries': [[1, 7], [2, 4], [3, 6]]}, {'threshold': 4, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 7, 'entries': [[1, 15], [2, 8], [3, 8], [4, 12]]}, {'threshold': 8, 'destinations': [[1, 3], [2, 0], [3, 0], [4, 3]], 'zero_ids': [2, 3], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 1, 'entries': [[1, 3], [2, 2]]}, {'threshold': 2, 'destinations': [[1, 1], [2, 0]], 'zero_ids': [2], 'moved': 2, 'source_after': [], 'largest_destination': 1}), ({'old_last': 4, 'entries': [[1, 7], [2, 5], [3, 6]]}, {'threshold': 5, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2]], 'zero_ids': [2], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10], [103, 11]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2], [103, 2]], 'zero_ids': [2], 'moved': 5, 'source_after': [], 'largest_destination': 3})], [({'old_last': 0, 'entries': [[1, 8]]}, {'threshold': 8, 'destinations': [[1, 0]], 'zero_ids': [1], 'moved': 1, 'source_after': [], 'largest_destination': 0}), ({'old_last': 3, 'entries': [[1, 7], [2, 4], [3, 6]]}, {'threshold': 4, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 7, 'entries': [[1, 15], [2, 8], [3, 8], [4, 12]]}, {'threshold': 8, 'destinations': [[1, 3], [2, 0], [3, 0], [4, 3]], 'zero_ids': [2, 3], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 1, 'entries': [[1, 3], [2, 2]]}, {'threshold': 2, 'destinations': [[1, 1], [2, 0]], 'zero_ids': [2], 'moved': 2, 'source_after': [], 'largest_destination': 1}), ({'old_last': 4, 'entries': [[1, 7], [2, 5], [3, 6]]}, {'threshold': 5, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2]], 'zero_ids': [2], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10], [104, 12]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2], [104, 3]], 'zero_ids': [2], 'moved': 5, 'source_after': [], 'largest_destination': 3})], [({'old_last': 0, 'entries': [[1, 8]]}, {'threshold': 8, 'destinations': [[1, 0]], 'zero_ids': [1], 'moved': 1, 'source_after': [], 'largest_destination': 0}), ({'old_last': 3, 'entries': [[1, 7], [2, 4], [3, 6]]}, {'threshold': 4, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 7, 'entries': [[1, 15], [2, 8], [3, 8], [4, 12]]}, {'threshold': 8, 'destinations': [[1, 3], [2, 0], [3, 0], [4, 3]], 'zero_ids': [2, 3], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 1, 'entries': [[1, 3], [2, 2]]}, {'threshold': 2, 'destinations': [[1, 1], [2, 0]], 'zero_ids': [2], 'moved': 2, 'source_after': [], 'largest_destination': 1}), ({'old_last': 4, 'entries': [[1, 7], [2, 5], [3, 6]]}, {'threshold': 5, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2]], 'zero_ids': [2], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10], [105, 13]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2], [105, 3]], 'zero_ids': [2], 'moved': 5, 'source_after': [], 'largest_destination': 3})]][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":"266f07bd06da5fd53e7f13f3ebb9e6190949209d9de6d4420de08780257fc52b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['entries']; old=d['old_last']; new=min(x[1] for x in a); dest=[(x[0],(x[1]^new).bit_length()) for x in a]\n    return {'threshold': new,\n    'destinations': [[i,b] for i,b in dest],\n    'zero_ids': [x[0] for x in a if x[1]==new],\n    'moved': len(a),\n    'source_after': [x[0] for x in a],\n    'largest_destination': max(b for i,b in dest)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'old_last': 0, 'entries': [[1, 8]]}, {'threshold': 8, 'destinations': [[1, 0]], 'zero_ids': [1], 'moved': 1, 'source_after': [], 'largest_destination': 0}), ({'old_last': 3, 'entries': [[1, 7], [2, 4], [3, 6]]}, {'threshold': 4, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 7, 'entries': [[1, 15], [2, 8], [3, 8], [4, 12]]}, {'threshold': 8, 'destinations': [[1, 3], [2, 0], [3, 0], [4, 3]], 'zero_ids': [2, 3], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 1, 'entries': [[1, 3], [2, 2]]}, {'threshold': 2, 'destinations': [[1, 1], [2, 0]], 'zero_ids': [2], 'moved': 2, 'source_after': [], 'largest_destination': 1}), ({'old_last': 4, 'entries': [[1, 7], [2, 5], [3, 6]]}, {'threshold': 5, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2]], 'zero_ids': [2], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10], [101, 9]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2], [101, 0]], 'zero_ids': [2, 101], 'moved': 5, 'source_after': [], 'largest_destination': 3})], [({'old_last': 0, 'entries': [[1, 8]]}, {'threshold': 8, 'destinations': [[1, 0]], 'zero_ids': [1], 'moved': 1, 'source_after': [], 'largest_destination': 0}), ({'old_last': 3, 'entries': [[1, 7], [2, 4], [3, 6]]}, {'threshold': 4, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 7, 'entries': [[1, 15], [2, 8], [3, 8], [4, 12]]}, {'threshold': 8, 'destinations': [[1, 3], [2, 0], [3, 0], [4, 3]], 'zero_ids': [2, 3], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 1, 'entries': [[1, 3], [2, 2]]}, {'threshold': 2, 'destinations': [[1, 1], [2, 0]], 'zero_ids': [2], 'moved': 2, 'source_after': [], 'largest_destination': 1}), ({'old_last': 4, 'entries': [[1, 7], [2, 5], [3, 6]]}, {'threshold': 5, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2]], 'zero_ids': [2], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10], [102, 10]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2], [102, 2]], 'zero_ids': [2], 'moved': 5, 'source_after': [], 'largest_destination': 3})], [({'old_last': 0, 'entries': [[1, 8]]}, {'threshold': 8, 'destinations': [[1, 0]], 'zero_ids': [1], 'moved': 1, 'source_after': [], 'largest_destination': 0}), ({'old_last': 3, 'entries': [[1, 7], [2, 4], [3, 6]]}, {'threshold': 4, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 7, 'entries': [[1, 15], [2, 8], [3, 8], [4, 12]]}, {'threshold': 8, 'destinations': [[1, 3], [2, 0], [3, 0], [4, 3]], 'zero_ids': [2, 3], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 1, 'entries': [[1, 3], [2, 2]]}, {'threshold': 2, 'destinations': [[1, 1], [2, 0]], 'zero_ids': [2], 'moved': 2, 'source_after': [], 'largest_destination': 1}), ({'old_last': 4, 'entries': [[1, 7], [2, 5], [3, 6]]}, {'threshold': 5, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2]], 'zero_ids': [2], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10], [103, 11]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2], [103, 2]], 'zero_ids': [2], 'moved': 5, 'source_after': [], 'largest_destination': 3})], [({'old_last': 0, 'entries': [[1, 8]]}, {'threshold': 8, 'destinations': [[1, 0]], 'zero_ids': [1], 'moved': 1, 'source_after': [], 'largest_destination': 0}), ({'old_last': 3, 'entries': [[1, 7], [2, 4], [3, 6]]}, {'threshold': 4, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 7, 'entries': [[1, 15], [2, 8], [3, 8], [4, 12]]}, {'threshold': 8, 'destinations': [[1, 3], [2, 0], [3, 0], [4, 3]], 'zero_ids': [2, 3], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 1, 'entries': [[1, 3], [2, 2]]}, {'threshold': 2, 'destinations': [[1, 1], [2, 0]], 'zero_ids': [2], 'moved': 2, 'source_after': [], 'largest_destination': 1}), ({'old_last': 4, 'entries': [[1, 7], [2, 5], [3, 6]]}, {'threshold': 5, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2]], 'zero_ids': [2], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10], [104, 12]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2], [104, 3]], 'zero_ids': [2], 'moved': 5, 'source_after': [], 'largest_destination': 3})], [({'old_last': 0, 'entries': [[1, 8]]}, {'threshold': 8, 'destinations': [[1, 0]], 'zero_ids': [1], 'moved': 1, 'source_after': [], 'largest_destination': 0}), ({'old_last': 3, 'entries': [[1, 7], [2, 4], [3, 6]]}, {'threshold': 4, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 7, 'entries': [[1, 15], [2, 8], [3, 8], [4, 12]]}, {'threshold': 8, 'destinations': [[1, 3], [2, 0], [3, 0], [4, 3]], 'zero_ids': [2, 3], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 1, 'entries': [[1, 3], [2, 2]]}, {'threshold': 2, 'destinations': [[1, 1], [2, 0]], 'zero_ids': [2], 'moved': 2, 'source_after': [], 'largest_destination': 1}), ({'old_last': 4, 'entries': [[1, 7], [2, 5], [3, 6]]}, {'threshold': 5, 'destinations': [[1, 2], [2, 0], [3, 2]], 'zero_ids': [2], 'moved': 3, 'source_after': [], 'largest_destination': 2}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2]], 'zero_ids': [2], 'moved': 4, 'source_after': [], 'largest_destination': 3}), ({'old_last': 8, 'entries': [[1, 15], [2, 9], [3, 11], [4, 10], [105, 13]]}, {'threshold': 9, 'destinations': [[1, 3], [2, 0], [3, 2], [4, 2], [105, 3]], 'zero_ids': [2], 'moved': 5, 'source_after': [], 'largest_destination': 3})]][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-radix-redistribute-source_after","generated_at":"2026-09-29T14:43:29.390472+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":"Radix redistribution empties the whole source bucket after repartition.","sha256":"21460526e29ced681776e42dfe98c9b9da052656be2530963837989afab63706","title":"Radix redistribution empties the whole source bucket after repartition · 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":42.786,"exit_code":1,"observations":[{"actual":{"destinations":[[1,0]],"largest_destination":0,"moved":1,"source_after":[],"threshold":8,"zero_ids":[1]},"check":"regression certificate 1","expected":{"destinations":[[1,0]],"largest_destination":0,"moved":1,"source_after":[],"threshold":8,"zero_ids":[1]},"passed":true},{"actual":{"destinations":[[1,2],[2,0],[3,2]],"largest_destination":2,"moved":3,"source_after":[1,3],"threshold":4,"zero_ids":[2]},"check":"regression certificate 2","expected":{"destinations":[[1,2],[2,0],[3,2]],"largest_destination":2,"moved":3,"source_after":[],"threshold":4,"zero_ids":[2]},"passed":false},{"actual":{"destinations":[[1,3],[2,0],[3,0],[4,3]],"largest_destination":3,"moved":4,"source_after":[1,4],"threshold":8,"zero_ids":[2,3]},"check":"regression certificate 3","expected":{"destinations":[[1,3],[2,0],[3,0],[4,3]],"largest_destination":3,"moved":4,"source_after":[],"threshold":8,"zero_ids":[2,3]},"passed":false},{"actual":{"destinations":[[1,1],[2,0]],"largest_destination":1,"moved":2,"source_after":[1],"threshold":2,"zero_ids":[2]},"check":"regression certificate 4","expected":{"destinations":[[1,1],[2,0]],"largest_destination":1,"moved":2,"source_after":[],"threshold":2,"zero_ids":[2]},"passed":false},{"actual":{"destinations":[[1,2],[2,0],[3,2]],"largest_destination":2,"moved":3,"source_after":[1,3],"threshold":5,"zero_ids":[2]},"check":"regression certificate 5","expected":{"destinations":[[1,2],[2,0],[3,2]],"largest_destination":2,"moved":3,"source_after":[],"threshold":5,"zero_ids":[2]},"passed":false},{"actual":{"destinations":[[1,3],[2,0],[3,2],[4,2]],"largest_destination":3,"moved":4,"source_after":[1,3,4],"threshold":9,"zero_ids":[2]},"check":"regression certificate 6","expected":{"destinations":[[1,3],[2,0],[3,2],[4,2]],"largest_destination":3,"moved":4,"source_after":[],"threshold":9,"zero_ids":[2]},"passed":false},{"actual":{"destinations":[[1,3],[2,0],[3,2],[4,2],[101,0]],"largest_destination":3,"moved":5,"source_after":[1,3,4],"threshold":9,"zero_ids":[2,101]},"check":"variant-dependent certificate","expected":{"destinations":[[1,3],[2,0],[3,2],[4,2],[101,0]],"largest_destination":3,"moved":5,"source_after":[],"threshold":9,"zero_ids":[2,101]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"threshold\": 8, \"destinations\": [[1, 0]], \"zero_ids\": [1], \"moved\": 1, \"source_after\": [], \"largest_destination\": 0}, \"expected\": {\"threshold\": 8, \"destinations\": [[1, 0]], \"zero_ids\": [1], \"moved\": 1, \"source_after\": [], \"largest_destination\": 0}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"threshold\": 4, \"destinations\": [[1, 2], [2, 0], [3, 2]], \"zero_ids\": [2], \"moved\": 3, \"source_after\": [1, 3], \"largest_destination\": 2}, \"expected\": {\"threshold\": 4, \"destinations\": [[1, 2], [2, 0], [3, 2]], \"zero_ids\": [2], \"moved\": 3, \"source_after\": [], \"largest_destination\": 2}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"threshold\": 8, \"destinations\": [[1, 3], [2, 0], [3, 0], [4, 3]], \"zero_ids\": [2, 3], \"moved\": 4, \"source_after\": [1, 4], \"largest_destination\": 3}, \"expected\": {\"threshold\": 8, \"destinations\": [[1, 3], [2, 0], [3, 0], [4, 3]], \"zero_ids\": [2, 3], \"moved\": 4, \"source_after\": [], \"largest_destination\": 3}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"threshold\": 2, \"destinations\": [[1, 1], [2, 0]], \"zero_ids\": [2], \"moved\": 2, \"source_after\": [1], \"largest_destination\": 1}, \"expected\": {\"threshold\": 2, \"destinations\": [[1, 1], [2, 0]], \"zero_ids\": [2], \"moved\": 2, \"source_after\": [], \"largest_destination\": 1}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"threshold\": 5, \"destinations\": [[1, 2], [2, 0], [3, 2]], \"zero_ids\": [2], \"moved\": 3, \"source_after\": [1, 3], \"largest_destination\": 2}, \"expected\": {\"threshold\": 5, \"destinations\": [[1, 2], [2, 0], [3, 2]], \"zero_ids\": [2], \"moved\": 3, \"source_after\": [], \"largest_destination\": 2}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"threshold\": 9, \"destinations\": [[1, 3], [2, 0], [3, 2], [4, 2]], \"zero_ids\": [2], \"moved\": 4, \"source_after\": [1, 3, 4], \"largest_destination\": 3}, \"expected\": {\"threshold\": 9, \"destinations\": [[1, 3], [2, 0], [3, 2], [4, 2]], \"zero_ids\": [2], \"moved\": 4, \"source_after\": [], \"largest_destination\": 3}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"threshold\": 9, \"destinations\": [[1, 3], [2, 0], [3, 2], [4, 2], [101, 0]], \"zero_ids\": [2, 101], \"moved\": 5, \"source_after\": [1, 3, 4], \"largest_destination\": 3}, \"expected\": {\"threshold\": 9, \"destinations\": [[1, 3], [2, 0], [3, 2], [4, 2], [101, 0]], \"zero_ids\": [2, 101], \"moved\": 5, \"source_after\": [], \"largest_destination\": 3}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":48.935,"exit_code":1,"observations":[{"actual":{"destinations":[[1,0]],"largest_destination":0,"moved":1,"source_after":[1],"threshold":8,"zero_ids":[1]},"check":"regression certificate 1","expected":{"destinations":[[1,0]],"largest_destination":0,"moved":1,"source_after":[],"threshold":8,"zero_ids":[1]},"passed":false},{"actual":{"destinations":[[1,2],[2,0],[3,2]],"largest_destination":2,"moved":3,"source_after":[1,2,3],"threshold":4,"zero_ids":[2]},"check":"regression certificate 2","expected":{"destinations":[[1,2],[2,0],[3,2]],"largest_destination":2,"moved":3,"source_after":[],"threshold":4,"zero_ids":[2]},"passed":false},{"actual":{"destinations":[[1,3],[2,0],[3,0],[4,3]],"largest_destination":3,"moved":4,"source_after":[1,2,3,4],"threshold":8,"zero_ids":[2,3]},"check":"regression certificate 3","expected":{"destinations":[[1,3],[2,0],[3,0],[4,3]],"largest_destination":3,"moved":4,"source_after":[],"threshold":8,"zero_ids":[2,3]},"passed":false},{"actual":{"destinations":[[1,1],[2,0]],"largest_destination":1,"moved":2,"source_after":[1,2],"threshold":2,"zero_ids":[2]},"check":"regression certificate 4","expected":{"destinations":[[1,1],[2,0]],"largest_destination":1,"moved":2,"source_after":[],"threshold":2,"zero_ids":[2]},"passed":false},{"actual":{"destinations":[[1,2],[2,0],[3,2]],"largest_destination":2,"moved":3,"source_after":[1,2,3],"threshold":5,"zero_ids":[2]},"check":"regression certificate 5","expected":{"destinations":[[1,2],[2,0],[3,2]],"largest_destination":2,"moved":3,"source_after":[],"threshold":5,"zero_ids":[2]},"passed":false},{"actual":{"destinations":[[1,3],[2,0],[3,2],[4,2]],"largest_destination":3,"moved":4,"source_after":[1,2,3,4],"threshold":9,"zero_ids":[2]},"check":"regression certificate 6","expected":{"destinations":[[1,3],[2,0],[3,2],[4,2]],"largest_destination":3,"moved":4,"source_after":[],"threshold":9,"zero_ids":[2]},"passed":false},{"actual":{"destinations":[[1,3],[2,0],[3,2],[4,2],[101,0]],"largest_destination":3,"moved":5,"source_after":[1,2,3,4,101],"threshold":9,"zero_ids":[2,101]},"check":"variant-dependent certificate","expected":{"destinations":[[1,3],[2,0],[3,2],[4,2],[101,0]],"largest_destination":3,"moved":5,"source_after":[],"threshold":9,"zero_ids":[2,101]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"threshold\": 8, \"destinations\": [[1, 0]], \"zero_ids\": [1], \"moved\": 1, \"source_after\": [1], \"largest_destination\": 0}, \"expected\": {\"threshold\": 8, \"destinations\": [[1, 0]], \"zero_ids\": [1], \"moved\": 1, \"source_after\": [], \"largest_destination\": 0}, \"passed\": false}, {\"check\": \"regression certificate 2\", \"actual\": {\"threshold\": 4, \"destinations\": [[1, 2], [2, 0], [3, 2]], \"zero_ids\": [2], \"moved\": 3, \"source_after\": [1, 2, 3], \"largest_destination\": 2}, \"expected\": {\"threshold\": 4, \"destinations\": [[1, 2], [2, 0], [3, 2]], \"zero_ids\": [2], \"moved\": 3, \"source_after\": [], \"largest_destination\": 2}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"threshold\": 8, \"destinations\": [[1, 3], [2, 0], [3, 0], [4, 3]], \"zero_ids\": [2, 3], \"moved\": 4, \"source_after\": [1, 2, 3, 4], \"largest_destination\": 3}, \"expected\": {\"threshold\": 8, \"destinations\": [[1, 3], [2, 0], [3, 0], [4, 3]], \"zero_ids\": [2, 3], \"moved\": 4, \"source_after\": [], \"largest_destination\": 3}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"threshold\": 2, \"destinations\": [[1, 1], [2, 0]], \"zero_ids\": [2], \"moved\": 2, \"source_after\": [1, 2], \"largest_destination\": 1}, \"expected\": {\"threshold\": 2, \"destinations\": [[1, 1], [2, 0]], \"zero_ids\": [2], \"moved\": 2, \"source_after\": [], \"largest_destination\": 1}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"threshold\": 5, \"destinations\": [[1, 2], [2, 0], [3, 2]], \"zero_ids\": [2], \"moved\": 3, \"source_after\": [1, 2, 3], \"largest_destination\": 2}, \"expected\": {\"threshold\": 5, \"destinations\": [[1, 2], [2, 0], [3, 2]], \"zero_ids\": [2], \"moved\": 3, \"source_after\": [], \"largest_destination\": 2}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"threshold\": 9, \"destinations\": [[1, 3], [2, 0], [3, 2], [4, 2]], \"zero_ids\": [2], \"moved\": 4, \"source_after\": [1, 2, 3, 4], \"largest_destination\": 3}, \"expected\": {\"threshold\": 9, \"destinations\": [[1, 3], [2, 0], [3, 2], [4, 2]], \"zero_ids\": [2], \"moved\": 4, \"source_after\": [], \"largest_destination\": 3}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"threshold\": 9, \"destinations\": [[1, 3], [2, 0], [3, 2], [4, 2], [101, 0]], \"zero_ids\": [2, 101], \"moved\": 5, \"source_after\": [1, 2, 3, 4, 101], \"largest_destination\": 3}, \"expected\": {\"threshold\": 9, \"destinations\": [[1, 3], [2, 0], [3, 2], [4, 2], [101, 0]], \"zero_ids\": [2, 101], \"moved\": 5, \"source_after\": [], \"largest_destination\": 3}, \"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."}}