{"abstract":"The bounded binomial payload bubble certificate reports an incorrect structural nodes.","category":"Heap invariants","checks":7,"contract":"A binomial decrease-key bubble supplies the node-id path from leaf toward root, payloads [handle,key] at those nodes, and a decreased key for the first payload. While smaller than parent, exchange complete payloads. Structural nodes remain fixed; return final payload sequence, handle locations, swaps, decreased handle location, untouched structural path, and final minimum on this path.","evaluation_group":"s3-heap-model-binomial-payload-bubble","failed_approach":"The local patch uses [nodes[k] for k in range(len(nodes)) if k!=i] and still violates the stated relation.","family":"s3-heap-binomial-payload-bubble-structural_nodes","id":"FA-40671","implementations":{"attempt":{"sha256":"9d365b5c387fb98abc6ff9789d6012a13e6638aa4a57315d2a6bc8fd8349058b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    nodes=d['nodes']; original=d['payloads']; p=[list(x) for x in original]; p[0][1]=d['new_key']; swaps=[]; i=0\n    while i+1<len(p) and p[i][1]<p[i+1][1]:\n        p[i],p[i+1]=p[i+1],p[i]; swaps.append([nodes[i],nodes[i+1]]); i+=1\n    return {'payloads': p,\n    'locations': {x[0]:nodes[k] for k,x in enumerate(p)},\n    'swaps': swaps,\n    'changed_location': nodes[i],\n    'structural_nodes': [nodes[k] for k in range(len(nodes)) if k!=i],\n    'minimum': min(x[1] for x in p)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'nodes': [10], 'payloads': [['a', 5]], 'new_key': 4}, {'payloads': [['a', 4]], 'locations': {'a': 10}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10], 'minimum': 4}), ({'nodes': [10, 11], 'payloads': [['a', 8], ['b', 3]], 'new_key': 1}, {'payloads': [['b', 3], ['a', 1]], 'locations': {'b': 10, 'a': 11}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11], 'minimum': 1}), ({'nodes': [10, 11, 12], 'payloads': [['a', 9], ['b', 6], ['c', 2]], 'new_key': 4}, {'payloads': [['b', 6], ['a', 4], ['c', 2]], 'locations': {'b': 10, 'a': 11, 'c': 12}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12], 'payloads': [['a', 7], ['b', 5], ['c', 1]], 'new_key': 0}, {'payloads': [['b', 5], ['c', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'a': 12}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12], 'minimum': 0}), ({'nodes': [10, 11, 12], 'payloads': [['a', 8], ['b', 5], ['c', 2]], 'new_key': 5}, {'payloads': [['a', 5], ['b', 5], ['c', 2]], 'locations': {'a': 10, 'b': 11, 'c': 12}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 3}, {'payloads': [['b', 7], ['c', 5], ['a', 3], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 2}, {'payloads': [['b', 7], ['c', 5], ['a', 2], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1})], [({'nodes': [10], 'payloads': [['a', 5]], 'new_key': 4}, {'payloads': [['a', 4]], 'locations': {'a': 10}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10], 'minimum': 4}), ({'nodes': [10, 11], 'payloads': [['a', 8], ['b', 3]], 'new_key': 1}, {'payloads': [['b', 3], ['a', 1]], 'locations': {'b': 10, 'a': 11}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11], 'minimum': 1}), ({'nodes': [10, 11, 12], 'payloads': [['a', 9], ['b', 6], ['c', 2]], 'new_key': 4}, {'payloads': [['b', 6], ['a', 4], ['c', 2]], 'locations': {'b': 10, 'a': 11, 'c': 12}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12], 'payloads': [['a', 7], ['b', 5], ['c', 1]], 'new_key': 0}, {'payloads': [['b', 5], ['c', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'a': 12}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12], 'minimum': 0}), ({'nodes': [10, 11, 12], 'payloads': [['a', 8], ['b', 5], ['c', 2]], 'new_key': 5}, {'payloads': [['a', 5], ['b', 5], ['c', 2]], 'locations': {'a': 10, 'b': 11, 'c': 12}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 3}, {'payloads': [['b', 7], ['c', 5], ['a', 3], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 1}, {'payloads': [['b', 7], ['c', 5], ['a', 1], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1})], [({'nodes': [10], 'payloads': [['a', 5]], 'new_key': 4}, {'payloads': [['a', 4]], 'locations': {'a': 10}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10], 'minimum': 4}), ({'nodes': [10, 11], 'payloads': [['a', 8], ['b', 3]], 'new_key': 1}, {'payloads': [['b', 3], ['a', 1]], 'locations': {'b': 10, 'a': 11}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11], 'minimum': 1}), ({'nodes': [10, 11, 12], 'payloads': [['a', 9], ['b', 6], ['c', 2]], 'new_key': 4}, {'payloads': [['b', 6], ['a', 4], ['c', 2]], 'locations': {'b': 10, 'a': 11, 'c': 12}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12], 'payloads': [['a', 7], ['b', 5], ['c', 1]], 'new_key': 0}, {'payloads': [['b', 5], ['c', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'a': 12}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12], 'minimum': 0}), ({'nodes': [10, 11, 12], 'payloads': [['a', 8], ['b', 5], ['c', 2]], 'new_key': 5}, {'payloads': [['a', 5], ['b', 5], ['c', 2]], 'locations': {'a': 10, 'b': 11, 'c': 12}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 3}, {'payloads': [['b', 7], ['c', 5], ['a', 3], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 0}, {'payloads': [['b', 7], ['c', 5], ['d', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'd': 12, 'a': 13}, 'swaps': [[10, 11], [11, 12], [12, 13]], 'changed_location': 13, 'structural_nodes': [10, 11, 12, 13], 'minimum': 0})], [({'nodes': [10], 'payloads': [['a', 5]], 'new_key': 4}, {'payloads': [['a', 4]], 'locations': {'a': 10}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10], 'minimum': 4}), ({'nodes': [10, 11], 'payloads': [['a', 8], ['b', 3]], 'new_key': 1}, {'payloads': [['b', 3], ['a', 1]], 'locations': {'b': 10, 'a': 11}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11], 'minimum': 1}), ({'nodes': [10, 11, 12], 'payloads': [['a', 9], ['b', 6], ['c', 2]], 'new_key': 4}, {'payloads': [['b', 6], ['a', 4], ['c', 2]], 'locations': {'b': 10, 'a': 11, 'c': 12}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12], 'payloads': [['a', 7], ['b', 5], ['c', 1]], 'new_key': 0}, {'payloads': [['b', 5], ['c', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'a': 12}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12], 'minimum': 0}), ({'nodes': [10, 11, 12], 'payloads': [['a', 8], ['b', 5], ['c', 2]], 'new_key': 5}, {'payloads': [['a', 5], ['b', 5], ['c', 2]], 'locations': {'a': 10, 'b': 11, 'c': 12}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 3}, {'payloads': [['b', 7], ['c', 5], ['a', 3], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': -1}, {'payloads': [['b', 7], ['c', 5], ['d', 1], ['a', -1]], 'locations': {'b': 10, 'c': 11, 'd': 12, 'a': 13}, 'swaps': [[10, 11], [11, 12], [12, 13]], 'changed_location': 13, 'structural_nodes': [10, 11, 12, 13], 'minimum': -1})], [({'nodes': [10], 'payloads': [['a', 5]], 'new_key': 4}, {'payloads': [['a', 4]], 'locations': {'a': 10}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10], 'minimum': 4}), ({'nodes': [10, 11], 'payloads': [['a', 8], ['b', 3]], 'new_key': 1}, {'payloads': [['b', 3], ['a', 1]], 'locations': {'b': 10, 'a': 11}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11], 'minimum': 1}), ({'nodes': [10, 11, 12], 'payloads': [['a', 9], ['b', 6], ['c', 2]], 'new_key': 4}, {'payloads': [['b', 6], ['a', 4], ['c', 2]], 'locations': {'b': 10, 'a': 11, 'c': 12}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12], 'payloads': [['a', 7], ['b', 5], ['c', 1]], 'new_key': 0}, {'payloads': [['b', 5], ['c', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'a': 12}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12], 'minimum': 0}), ({'nodes': [10, 11, 12], 'payloads': [['a', 8], ['b', 5], ['c', 2]], 'new_key': 5}, {'payloads': [['a', 5], ['b', 5], ['c', 2]], 'locations': {'a': 10, 'b': 11, 'c': 12}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 3}, {'payloads': [['b', 7], ['c', 5], ['a', 3], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': -2}, {'payloads': [['b', 7], ['c', 5], ['d', 1], ['a', -2]], 'locations': {'b': 10, 'c': 11, 'd': 12, 'a': 13}, 'swaps': [[10, 11], [11, 12], [12, 13]], 'changed_location': 13, 'structural_nodes': [10, 11, 12, 13], 'minimum': -2})]][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":"b497196107b1aba3687f18e03b17dc85d70c405c49fdd87d6d928edde73591e9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    nodes=d['nodes']; original=d['payloads']; p=[list(x) for x in original]; p[0][1]=d['new_key']; swaps=[]; i=0\n    while i+1<len(p) and p[i][1]<p[i+1][1]:\n        p[i],p[i+1]=p[i+1],p[i]; swaps.append([nodes[i],nodes[i+1]]); i+=1\n    return {'payloads': p,\n    'locations': {x[0]:nodes[k] for k,x in enumerate(p)},\n    'swaps': swaps,\n    'changed_location': nodes[i],\n    'structural_nodes': list(reversed(nodes)),\n    'minimum': min(x[1] for x in p)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'nodes': [10], 'payloads': [['a', 5]], 'new_key': 4}, {'payloads': [['a', 4]], 'locations': {'a': 10}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10], 'minimum': 4}), ({'nodes': [10, 11], 'payloads': [['a', 8], ['b', 3]], 'new_key': 1}, {'payloads': [['b', 3], ['a', 1]], 'locations': {'b': 10, 'a': 11}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11], 'minimum': 1}), ({'nodes': [10, 11, 12], 'payloads': [['a', 9], ['b', 6], ['c', 2]], 'new_key': 4}, {'payloads': [['b', 6], ['a', 4], ['c', 2]], 'locations': {'b': 10, 'a': 11, 'c': 12}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12], 'payloads': [['a', 7], ['b', 5], ['c', 1]], 'new_key': 0}, {'payloads': [['b', 5], ['c', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'a': 12}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12], 'minimum': 0}), ({'nodes': [10, 11, 12], 'payloads': [['a', 8], ['b', 5], ['c', 2]], 'new_key': 5}, {'payloads': [['a', 5], ['b', 5], ['c', 2]], 'locations': {'a': 10, 'b': 11, 'c': 12}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 3}, {'payloads': [['b', 7], ['c', 5], ['a', 3], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 2}, {'payloads': [['b', 7], ['c', 5], ['a', 2], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1})], [({'nodes': [10], 'payloads': [['a', 5]], 'new_key': 4}, {'payloads': [['a', 4]], 'locations': {'a': 10}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10], 'minimum': 4}), ({'nodes': [10, 11], 'payloads': [['a', 8], ['b', 3]], 'new_key': 1}, {'payloads': [['b', 3], ['a', 1]], 'locations': {'b': 10, 'a': 11}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11], 'minimum': 1}), ({'nodes': [10, 11, 12], 'payloads': [['a', 9], ['b', 6], ['c', 2]], 'new_key': 4}, {'payloads': [['b', 6], ['a', 4], ['c', 2]], 'locations': {'b': 10, 'a': 11, 'c': 12}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12], 'payloads': [['a', 7], ['b', 5], ['c', 1]], 'new_key': 0}, {'payloads': [['b', 5], ['c', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'a': 12}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12], 'minimum': 0}), ({'nodes': [10, 11, 12], 'payloads': [['a', 8], ['b', 5], ['c', 2]], 'new_key': 5}, {'payloads': [['a', 5], ['b', 5], ['c', 2]], 'locations': {'a': 10, 'b': 11, 'c': 12}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 3}, {'payloads': [['b', 7], ['c', 5], ['a', 3], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 1}, {'payloads': [['b', 7], ['c', 5], ['a', 1], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1})], [({'nodes': [10], 'payloads': [['a', 5]], 'new_key': 4}, {'payloads': [['a', 4]], 'locations': {'a': 10}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10], 'minimum': 4}), ({'nodes': [10, 11], 'payloads': [['a', 8], ['b', 3]], 'new_key': 1}, {'payloads': [['b', 3], ['a', 1]], 'locations': {'b': 10, 'a': 11}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11], 'minimum': 1}), ({'nodes': [10, 11, 12], 'payloads': [['a', 9], ['b', 6], ['c', 2]], 'new_key': 4}, {'payloads': [['b', 6], ['a', 4], ['c', 2]], 'locations': {'b': 10, 'a': 11, 'c': 12}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12], 'payloads': [['a', 7], ['b', 5], ['c', 1]], 'new_key': 0}, {'payloads': [['b', 5], ['c', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'a': 12}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12], 'minimum': 0}), ({'nodes': [10, 11, 12], 'payloads': [['a', 8], ['b', 5], ['c', 2]], 'new_key': 5}, {'payloads': [['a', 5], ['b', 5], ['c', 2]], 'locations': {'a': 10, 'b': 11, 'c': 12}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 3}, {'payloads': [['b', 7], ['c', 5], ['a', 3], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 0}, {'payloads': [['b', 7], ['c', 5], ['d', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'd': 12, 'a': 13}, 'swaps': [[10, 11], [11, 12], [12, 13]], 'changed_location': 13, 'structural_nodes': [10, 11, 12, 13], 'minimum': 0})], [({'nodes': [10], 'payloads': [['a', 5]], 'new_key': 4}, {'payloads': [['a', 4]], 'locations': {'a': 10}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10], 'minimum': 4}), ({'nodes': [10, 11], 'payloads': [['a', 8], ['b', 3]], 'new_key': 1}, {'payloads': [['b', 3], ['a', 1]], 'locations': {'b': 10, 'a': 11}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11], 'minimum': 1}), ({'nodes': [10, 11, 12], 'payloads': [['a', 9], ['b', 6], ['c', 2]], 'new_key': 4}, {'payloads': [['b', 6], ['a', 4], ['c', 2]], 'locations': {'b': 10, 'a': 11, 'c': 12}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12], 'payloads': [['a', 7], ['b', 5], ['c', 1]], 'new_key': 0}, {'payloads': [['b', 5], ['c', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'a': 12}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12], 'minimum': 0}), ({'nodes': [10, 11, 12], 'payloads': [['a', 8], ['b', 5], ['c', 2]], 'new_key': 5}, {'payloads': [['a', 5], ['b', 5], ['c', 2]], 'locations': {'a': 10, 'b': 11, 'c': 12}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 3}, {'payloads': [['b', 7], ['c', 5], ['a', 3], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': -1}, {'payloads': [['b', 7], ['c', 5], ['d', 1], ['a', -1]], 'locations': {'b': 10, 'c': 11, 'd': 12, 'a': 13}, 'swaps': [[10, 11], [11, 12], [12, 13]], 'changed_location': 13, 'structural_nodes': [10, 11, 12, 13], 'minimum': -1})], [({'nodes': [10], 'payloads': [['a', 5]], 'new_key': 4}, {'payloads': [['a', 4]], 'locations': {'a': 10}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10], 'minimum': 4}), ({'nodes': [10, 11], 'payloads': [['a', 8], ['b', 3]], 'new_key': 1}, {'payloads': [['b', 3], ['a', 1]], 'locations': {'b': 10, 'a': 11}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11], 'minimum': 1}), ({'nodes': [10, 11, 12], 'payloads': [['a', 9], ['b', 6], ['c', 2]], 'new_key': 4}, {'payloads': [['b', 6], ['a', 4], ['c', 2]], 'locations': {'b': 10, 'a': 11, 'c': 12}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12], 'payloads': [['a', 7], ['b', 5], ['c', 1]], 'new_key': 0}, {'payloads': [['b', 5], ['c', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'a': 12}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12], 'minimum': 0}), ({'nodes': [10, 11, 12], 'payloads': [['a', 8], ['b', 5], ['c', 2]], 'new_key': 5}, {'payloads': [['a', 5], ['b', 5], ['c', 2]], 'locations': {'a': 10, 'b': 11, 'c': 12}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 3}, {'payloads': [['b', 7], ['c', 5], ['a', 3], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': -2}, {'payloads': [['b', 7], ['c', 5], ['d', 1], ['a', -2]], 'locations': {'b': 10, 'c': 11, 'd': 12, 'a': 13}, 'swaps': [[10, 11], [11, 12], [12, 13]], 'changed_location': 13, 'structural_nodes': [10, 11, 12, 13], 'minimum': -2})]][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":"31002f4e7810a53139e9451e4f751f2cc7f7831013d36917d2ee3496c9fa6085","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    nodes=d['nodes']; original=d['payloads']; p=[list(x) for x in original]; p[0][1]=d['new_key']; swaps=[]; i=0\n    while i+1<len(p) and p[i][1]<p[i+1][1]:\n        p[i],p[i+1]=p[i+1],p[i]; swaps.append([nodes[i],nodes[i+1]]); i+=1\n    return {'payloads': p,\n    'locations': {x[0]:nodes[k] for k,x in enumerate(p)},\n    'swaps': swaps,\n    'changed_location': nodes[i],\n    'structural_nodes': nodes,\n    'minimum': min(x[1] for x in p)}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'nodes': [10], 'payloads': [['a', 5]], 'new_key': 4}, {'payloads': [['a', 4]], 'locations': {'a': 10}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10], 'minimum': 4}), ({'nodes': [10, 11], 'payloads': [['a', 8], ['b', 3]], 'new_key': 1}, {'payloads': [['b', 3], ['a', 1]], 'locations': {'b': 10, 'a': 11}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11], 'minimum': 1}), ({'nodes': [10, 11, 12], 'payloads': [['a', 9], ['b', 6], ['c', 2]], 'new_key': 4}, {'payloads': [['b', 6], ['a', 4], ['c', 2]], 'locations': {'b': 10, 'a': 11, 'c': 12}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12], 'payloads': [['a', 7], ['b', 5], ['c', 1]], 'new_key': 0}, {'payloads': [['b', 5], ['c', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'a': 12}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12], 'minimum': 0}), ({'nodes': [10, 11, 12], 'payloads': [['a', 8], ['b', 5], ['c', 2]], 'new_key': 5}, {'payloads': [['a', 5], ['b', 5], ['c', 2]], 'locations': {'a': 10, 'b': 11, 'c': 12}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 3}, {'payloads': [['b', 7], ['c', 5], ['a', 3], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 2}, {'payloads': [['b', 7], ['c', 5], ['a', 2], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1})], [({'nodes': [10], 'payloads': [['a', 5]], 'new_key': 4}, {'payloads': [['a', 4]], 'locations': {'a': 10}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10], 'minimum': 4}), ({'nodes': [10, 11], 'payloads': [['a', 8], ['b', 3]], 'new_key': 1}, {'payloads': [['b', 3], ['a', 1]], 'locations': {'b': 10, 'a': 11}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11], 'minimum': 1}), ({'nodes': [10, 11, 12], 'payloads': [['a', 9], ['b', 6], ['c', 2]], 'new_key': 4}, {'payloads': [['b', 6], ['a', 4], ['c', 2]], 'locations': {'b': 10, 'a': 11, 'c': 12}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12], 'payloads': [['a', 7], ['b', 5], ['c', 1]], 'new_key': 0}, {'payloads': [['b', 5], ['c', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'a': 12}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12], 'minimum': 0}), ({'nodes': [10, 11, 12], 'payloads': [['a', 8], ['b', 5], ['c', 2]], 'new_key': 5}, {'payloads': [['a', 5], ['b', 5], ['c', 2]], 'locations': {'a': 10, 'b': 11, 'c': 12}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 3}, {'payloads': [['b', 7], ['c', 5], ['a', 3], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 1}, {'payloads': [['b', 7], ['c', 5], ['a', 1], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1})], [({'nodes': [10], 'payloads': [['a', 5]], 'new_key': 4}, {'payloads': [['a', 4]], 'locations': {'a': 10}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10], 'minimum': 4}), ({'nodes': [10, 11], 'payloads': [['a', 8], ['b', 3]], 'new_key': 1}, {'payloads': [['b', 3], ['a', 1]], 'locations': {'b': 10, 'a': 11}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11], 'minimum': 1}), ({'nodes': [10, 11, 12], 'payloads': [['a', 9], ['b', 6], ['c', 2]], 'new_key': 4}, {'payloads': [['b', 6], ['a', 4], ['c', 2]], 'locations': {'b': 10, 'a': 11, 'c': 12}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12], 'payloads': [['a', 7], ['b', 5], ['c', 1]], 'new_key': 0}, {'payloads': [['b', 5], ['c', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'a': 12}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12], 'minimum': 0}), ({'nodes': [10, 11, 12], 'payloads': [['a', 8], ['b', 5], ['c', 2]], 'new_key': 5}, {'payloads': [['a', 5], ['b', 5], ['c', 2]], 'locations': {'a': 10, 'b': 11, 'c': 12}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 3}, {'payloads': [['b', 7], ['c', 5], ['a', 3], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 0}, {'payloads': [['b', 7], ['c', 5], ['d', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'd': 12, 'a': 13}, 'swaps': [[10, 11], [11, 12], [12, 13]], 'changed_location': 13, 'structural_nodes': [10, 11, 12, 13], 'minimum': 0})], [({'nodes': [10], 'payloads': [['a', 5]], 'new_key': 4}, {'payloads': [['a', 4]], 'locations': {'a': 10}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10], 'minimum': 4}), ({'nodes': [10, 11], 'payloads': [['a', 8], ['b', 3]], 'new_key': 1}, {'payloads': [['b', 3], ['a', 1]], 'locations': {'b': 10, 'a': 11}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11], 'minimum': 1}), ({'nodes': [10, 11, 12], 'payloads': [['a', 9], ['b', 6], ['c', 2]], 'new_key': 4}, {'payloads': [['b', 6], ['a', 4], ['c', 2]], 'locations': {'b': 10, 'a': 11, 'c': 12}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12], 'payloads': [['a', 7], ['b', 5], ['c', 1]], 'new_key': 0}, {'payloads': [['b', 5], ['c', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'a': 12}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12], 'minimum': 0}), ({'nodes': [10, 11, 12], 'payloads': [['a', 8], ['b', 5], ['c', 2]], 'new_key': 5}, {'payloads': [['a', 5], ['b', 5], ['c', 2]], 'locations': {'a': 10, 'b': 11, 'c': 12}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 3}, {'payloads': [['b', 7], ['c', 5], ['a', 3], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': -1}, {'payloads': [['b', 7], ['c', 5], ['d', 1], ['a', -1]], 'locations': {'b': 10, 'c': 11, 'd': 12, 'a': 13}, 'swaps': [[10, 11], [11, 12], [12, 13]], 'changed_location': 13, 'structural_nodes': [10, 11, 12, 13], 'minimum': -1})], [({'nodes': [10], 'payloads': [['a', 5]], 'new_key': 4}, {'payloads': [['a', 4]], 'locations': {'a': 10}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10], 'minimum': 4}), ({'nodes': [10, 11], 'payloads': [['a', 8], ['b', 3]], 'new_key': 1}, {'payloads': [['b', 3], ['a', 1]], 'locations': {'b': 10, 'a': 11}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11], 'minimum': 1}), ({'nodes': [10, 11, 12], 'payloads': [['a', 9], ['b', 6], ['c', 2]], 'new_key': 4}, {'payloads': [['b', 6], ['a', 4], ['c', 2]], 'locations': {'b': 10, 'a': 11, 'c': 12}, 'swaps': [[10, 11]], 'changed_location': 11, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12], 'payloads': [['a', 7], ['b', 5], ['c', 1]], 'new_key': 0}, {'payloads': [['b', 5], ['c', 1], ['a', 0]], 'locations': {'b': 10, 'c': 11, 'a': 12}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12], 'minimum': 0}), ({'nodes': [10, 11, 12], 'payloads': [['a', 8], ['b', 5], ['c', 2]], 'new_key': 5}, {'payloads': [['a', 5], ['b', 5], ['c', 2]], 'locations': {'a': 10, 'b': 11, 'c': 12}, 'swaps': [], 'changed_location': 10, 'structural_nodes': [10, 11, 12], 'minimum': 2}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': 3}, {'payloads': [['b', 7], ['c', 5], ['a', 3], ['d', 1]], 'locations': {'b': 10, 'c': 11, 'a': 12, 'd': 13}, 'swaps': [[10, 11], [11, 12]], 'changed_location': 12, 'structural_nodes': [10, 11, 12, 13], 'minimum': 1}), ({'nodes': [10, 11, 12, 13], 'payloads': [['a', 9], ['b', 7], ['c', 5], ['d', 1]], 'new_key': -2}, {'payloads': [['b', 7], ['c', 5], ['d', 1], ['a', -2]], 'locations': {'b': 10, 'c': 11, 'd': 12, 'a': 13}, 'swaps': [[10, 11], [11, 12], [12, 13]], 'changed_location': 13, 'structural_nodes': [10, 11, 12, 13], 'minimum': -2})]][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-binomial-payload-bubble-structural_nodes","generated_at":"2026-09-29T14:43:33.427410+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 structural nodes using nodes under the stated bounded certificate contract.","root_cause":"Binomial payload bubbling keeps the structural parent chain intact.","sha256":"8bb6ac2519f93b83f34422f298157605fe281b9d24739ea7d868563a80707777","title":"Binomial payload bubbling keeps the structural parent chain intact · 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":41.939,"exit_code":1,"observations":[{"actual":{"changed_location":10,"locations":{"a":10},"minimum":4,"payloads":[["a",4]],"structural_nodes":[],"swaps":[]},"check":"regression certificate 1","expected":{"changed_location":10,"locations":{"a":10},"minimum":4,"payloads":[["a",4]],"structural_nodes":[10],"swaps":[]},"passed":false},{"actual":{"changed_location":11,"locations":{"a":11,"b":10},"minimum":1,"payloads":[["b",3],["a",1]],"structural_nodes":[10],"swaps":[[10,11]]},"check":"regression certificate 2","expected":{"changed_location":11,"locations":{"a":11,"b":10},"minimum":1,"payloads":[["b",3],["a",1]],"structural_nodes":[10,11],"swaps":[[10,11]]},"passed":false},{"actual":{"changed_location":11,"locations":{"a":11,"b":10,"c":12},"minimum":2,"payloads":[["b",6],["a",4],["c",2]],"structural_nodes":[10,12],"swaps":[[10,11]]},"check":"regression certificate 3","expected":{"changed_location":11,"locations":{"a":11,"b":10,"c":12},"minimum":2,"payloads":[["b",6],["a",4],["c",2]],"structural_nodes":[10,11,12],"swaps":[[10,11]]},"passed":false},{"actual":{"changed_location":12,"locations":{"a":12,"b":10,"c":11},"minimum":0,"payloads":[["b",5],["c",1],["a",0]],"structural_nodes":[10,11],"swaps":[[10,11],[11,12]]},"check":"regression certificate 4","expected":{"changed_location":12,"locations":{"a":12,"b":10,"c":11},"minimum":0,"payloads":[["b",5],["c",1],["a",0]],"structural_nodes":[10,11,12],"swaps":[[10,11],[11,12]]},"passed":false},{"actual":{"changed_location":10,"locations":{"a":10,"b":11,"c":12},"minimum":2,"payloads":[["a",5],["b",5],["c",2]],"structural_nodes":[11,12],"swaps":[]},"check":"regression certificate 5","expected":{"changed_location":10,"locations":{"a":10,"b":11,"c":12},"minimum":2,"payloads":[["a",5],["b",5],["c",2]],"structural_nodes":[10,11,12],"swaps":[]},"passed":false},{"actual":{"changed_location":12,"locations":{"a":12,"b":10,"c":11,"d":13},"minimum":1,"payloads":[["b",7],["c",5],["a",3],["d",1]],"structural_nodes":[10,11,13],"swaps":[[10,11],[11,12]]},"check":"regression certificate 6","expected":{"changed_location":12,"locations":{"a":12,"b":10,"c":11,"d":13},"minimum":1,"payloads":[["b",7],["c",5],["a",3],["d",1]],"structural_nodes":[10,11,12,13],"swaps":[[10,11],[11,12]]},"passed":false},{"actual":{"changed_location":12,"locations":{"a":12,"b":10,"c":11,"d":13},"minimum":1,"payloads":[["b",7],["c",5],["a",2],["d",1]],"structural_nodes":[10,11,13],"swaps":[[10,11],[11,12]]},"check":"variant-dependent certificate","expected":{"changed_location":12,"locations":{"a":12,"b":10,"c":11,"d":13},"minimum":1,"payloads":[["b",7],["c",5],["a",2],["d",1]],"structural_nodes":[10,11,12,13],"swaps":[[10,11],[11,12]]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"payloads\": [[\"a\", 4]], \"locations\": {\"a\": 10}, \"swaps\": [], \"changed_location\": 10, \"structural_nodes\": [], \"minimum\": 4}, \"expected\": {\"payloads\": [[\"a\", 4]], \"locations\": {\"a\": 10}, \"swaps\": [], \"changed_location\": 10, \"structural_nodes\": [10], \"minimum\": 4}, \"passed\": false}, {\"check\": \"regression certificate 2\", \"actual\": {\"payloads\": [[\"b\", 3], [\"a\", 1]], \"locations\": {\"b\": 10, \"a\": 11}, \"swaps\": [[10, 11]], \"changed_location\": 11, \"structural_nodes\": [10], \"minimum\": 1}, \"expected\": {\"payloads\": [[\"b\", 3], [\"a\", 1]], \"locations\": {\"b\": 10, \"a\": 11}, \"swaps\": [[10, 11]], \"changed_location\": 11, \"structural_nodes\": [10, 11], \"minimum\": 1}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"payloads\": [[\"b\", 6], [\"a\", 4], [\"c\", 2]], \"locations\": {\"b\": 10, \"a\": 11, \"c\": 12}, \"swaps\": [[10, 11]], \"changed_location\": 11, \"structural_nodes\": [10, 12], \"minimum\": 2}, \"expected\": {\"payloads\": [[\"b\", 6], [\"a\", 4], [\"c\", 2]], \"locations\": {\"b\": 10, \"a\": 11, \"c\": 12}, \"swaps\": [[10, 11]], \"changed_location\": 11, \"structural_nodes\": [10, 11, 12], \"minimum\": 2}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"payloads\": [[\"b\", 5], [\"c\", 1], [\"a\", 0]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [10, 11], \"minimum\": 0}, \"expected\": {\"payloads\": [[\"b\", 5], [\"c\", 1], [\"a\", 0]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [10, 11, 12], \"minimum\": 0}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"payloads\": [[\"a\", 5], [\"b\", 5], [\"c\", 2]], \"locations\": {\"a\": 10, \"b\": 11, \"c\": 12}, \"swaps\": [], \"changed_location\": 10, \"structural_nodes\": [11, 12], \"minimum\": 2}, \"expected\": {\"payloads\": [[\"a\", 5], [\"b\", 5], [\"c\", 2]], \"locations\": {\"a\": 10, \"b\": 11, \"c\": 12}, \"swaps\": [], \"changed_location\": 10, \"structural_nodes\": [10, 11, 12], \"minimum\": 2}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"payloads\": [[\"b\", 7], [\"c\", 5], [\"a\", 3], [\"d\", 1]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12, \"d\": 13}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [10, 11, 13], \"minimum\": 1}, \"expected\": {\"payloads\": [[\"b\", 7], [\"c\", 5], [\"a\", 3], [\"d\", 1]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12, \"d\": 13}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [10, 11, 12, 13], \"minimum\": 1}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"payloads\": [[\"b\", 7], [\"c\", 5], [\"a\", 2], [\"d\", 1]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12, \"d\": 13}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [10, 11, 13], \"minimum\": 1}, \"expected\": {\"payloads\": [[\"b\", 7], [\"c\", 5], [\"a\", 2], [\"d\", 1]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12, \"d\": 13}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [10, 11, 12, 13], \"minimum\": 1}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.998,"exit_code":1,"observations":[{"actual":{"changed_location":10,"locations":{"a":10},"minimum":4,"payloads":[["a",4]],"structural_nodes":[10],"swaps":[]},"check":"regression certificate 1","expected":{"changed_location":10,"locations":{"a":10},"minimum":4,"payloads":[["a",4]],"structural_nodes":[10],"swaps":[]},"passed":true},{"actual":{"changed_location":11,"locations":{"a":11,"b":10},"minimum":1,"payloads":[["b",3],["a",1]],"structural_nodes":[11,10],"swaps":[[10,11]]},"check":"regression certificate 2","expected":{"changed_location":11,"locations":{"a":11,"b":10},"minimum":1,"payloads":[["b",3],["a",1]],"structural_nodes":[10,11],"swaps":[[10,11]]},"passed":false},{"actual":{"changed_location":11,"locations":{"a":11,"b":10,"c":12},"minimum":2,"payloads":[["b",6],["a",4],["c",2]],"structural_nodes":[12,11,10],"swaps":[[10,11]]},"check":"regression certificate 3","expected":{"changed_location":11,"locations":{"a":11,"b":10,"c":12},"minimum":2,"payloads":[["b",6],["a",4],["c",2]],"structural_nodes":[10,11,12],"swaps":[[10,11]]},"passed":false},{"actual":{"changed_location":12,"locations":{"a":12,"b":10,"c":11},"minimum":0,"payloads":[["b",5],["c",1],["a",0]],"structural_nodes":[12,11,10],"swaps":[[10,11],[11,12]]},"check":"regression certificate 4","expected":{"changed_location":12,"locations":{"a":12,"b":10,"c":11},"minimum":0,"payloads":[["b",5],["c",1],["a",0]],"structural_nodes":[10,11,12],"swaps":[[10,11],[11,12]]},"passed":false},{"actual":{"changed_location":10,"locations":{"a":10,"b":11,"c":12},"minimum":2,"payloads":[["a",5],["b",5],["c",2]],"structural_nodes":[12,11,10],"swaps":[]},"check":"regression certificate 5","expected":{"changed_location":10,"locations":{"a":10,"b":11,"c":12},"minimum":2,"payloads":[["a",5],["b",5],["c",2]],"structural_nodes":[10,11,12],"swaps":[]},"passed":false},{"actual":{"changed_location":12,"locations":{"a":12,"b":10,"c":11,"d":13},"minimum":1,"payloads":[["b",7],["c",5],["a",3],["d",1]],"structural_nodes":[13,12,11,10],"swaps":[[10,11],[11,12]]},"check":"regression certificate 6","expected":{"changed_location":12,"locations":{"a":12,"b":10,"c":11,"d":13},"minimum":1,"payloads":[["b",7],["c",5],["a",3],["d",1]],"structural_nodes":[10,11,12,13],"swaps":[[10,11],[11,12]]},"passed":false},{"actual":{"changed_location":12,"locations":{"a":12,"b":10,"c":11,"d":13},"minimum":1,"payloads":[["b",7],["c",5],["a",2],["d",1]],"structural_nodes":[13,12,11,10],"swaps":[[10,11],[11,12]]},"check":"variant-dependent certificate","expected":{"changed_location":12,"locations":{"a":12,"b":10,"c":11,"d":13},"minimum":1,"payloads":[["b",7],["c",5],["a",2],["d",1]],"structural_nodes":[10,11,12,13],"swaps":[[10,11],[11,12]]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"payloads\": [[\"a\", 4]], \"locations\": {\"a\": 10}, \"swaps\": [], \"changed_location\": 10, \"structural_nodes\": [10], \"minimum\": 4}, \"expected\": {\"payloads\": [[\"a\", 4]], \"locations\": {\"a\": 10}, \"swaps\": [], \"changed_location\": 10, \"structural_nodes\": [10], \"minimum\": 4}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"payloads\": [[\"b\", 3], [\"a\", 1]], \"locations\": {\"b\": 10, \"a\": 11}, \"swaps\": [[10, 11]], \"changed_location\": 11, \"structural_nodes\": [11, 10], \"minimum\": 1}, \"expected\": {\"payloads\": [[\"b\", 3], [\"a\", 1]], \"locations\": {\"b\": 10, \"a\": 11}, \"swaps\": [[10, 11]], \"changed_location\": 11, \"structural_nodes\": [10, 11], \"minimum\": 1}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"payloads\": [[\"b\", 6], [\"a\", 4], [\"c\", 2]], \"locations\": {\"b\": 10, \"a\": 11, \"c\": 12}, \"swaps\": [[10, 11]], \"changed_location\": 11, \"structural_nodes\": [12, 11, 10], \"minimum\": 2}, \"expected\": {\"payloads\": [[\"b\", 6], [\"a\", 4], [\"c\", 2]], \"locations\": {\"b\": 10, \"a\": 11, \"c\": 12}, \"swaps\": [[10, 11]], \"changed_location\": 11, \"structural_nodes\": [10, 11, 12], \"minimum\": 2}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"payloads\": [[\"b\", 5], [\"c\", 1], [\"a\", 0]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [12, 11, 10], \"minimum\": 0}, \"expected\": {\"payloads\": [[\"b\", 5], [\"c\", 1], [\"a\", 0]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [10, 11, 12], \"minimum\": 0}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"payloads\": [[\"a\", 5], [\"b\", 5], [\"c\", 2]], \"locations\": {\"a\": 10, \"b\": 11, \"c\": 12}, \"swaps\": [], \"changed_location\": 10, \"structural_nodes\": [12, 11, 10], \"minimum\": 2}, \"expected\": {\"payloads\": [[\"a\", 5], [\"b\", 5], [\"c\", 2]], \"locations\": {\"a\": 10, \"b\": 11, \"c\": 12}, \"swaps\": [], \"changed_location\": 10, \"structural_nodes\": [10, 11, 12], \"minimum\": 2}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"payloads\": [[\"b\", 7], [\"c\", 5], [\"a\", 3], [\"d\", 1]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12, \"d\": 13}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [13, 12, 11, 10], \"minimum\": 1}, \"expected\": {\"payloads\": [[\"b\", 7], [\"c\", 5], [\"a\", 3], [\"d\", 1]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12, \"d\": 13}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [10, 11, 12, 13], \"minimum\": 1}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"payloads\": [[\"b\", 7], [\"c\", 5], [\"a\", 2], [\"d\", 1]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12, \"d\": 13}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [13, 12, 11, 10], \"minimum\": 1}, \"expected\": {\"payloads\": [[\"b\", 7], [\"c\", 5], [\"a\", 2], [\"d\", 1]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12, \"d\": 13}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [10, 11, 12, 13], \"minimum\": 1}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.845,"exit_code":0,"observations":[{"actual":{"changed_location":10,"locations":{"a":10},"minimum":4,"payloads":[["a",4]],"structural_nodes":[10],"swaps":[]},"check":"regression certificate 1","expected":{"changed_location":10,"locations":{"a":10},"minimum":4,"payloads":[["a",4]],"structural_nodes":[10],"swaps":[]},"passed":true},{"actual":{"changed_location":11,"locations":{"a":11,"b":10},"minimum":1,"payloads":[["b",3],["a",1]],"structural_nodes":[10,11],"swaps":[[10,11]]},"check":"regression certificate 2","expected":{"changed_location":11,"locations":{"a":11,"b":10},"minimum":1,"payloads":[["b",3],["a",1]],"structural_nodes":[10,11],"swaps":[[10,11]]},"passed":true},{"actual":{"changed_location":11,"locations":{"a":11,"b":10,"c":12},"minimum":2,"payloads":[["b",6],["a",4],["c",2]],"structural_nodes":[10,11,12],"swaps":[[10,11]]},"check":"regression certificate 3","expected":{"changed_location":11,"locations":{"a":11,"b":10,"c":12},"minimum":2,"payloads":[["b",6],["a",4],["c",2]],"structural_nodes":[10,11,12],"swaps":[[10,11]]},"passed":true},{"actual":{"changed_location":12,"locations":{"a":12,"b":10,"c":11},"minimum":0,"payloads":[["b",5],["c",1],["a",0]],"structural_nodes":[10,11,12],"swaps":[[10,11],[11,12]]},"check":"regression certificate 4","expected":{"changed_location":12,"locations":{"a":12,"b":10,"c":11},"minimum":0,"payloads":[["b",5],["c",1],["a",0]],"structural_nodes":[10,11,12],"swaps":[[10,11],[11,12]]},"passed":true},{"actual":{"changed_location":10,"locations":{"a":10,"b":11,"c":12},"minimum":2,"payloads":[["a",5],["b",5],["c",2]],"structural_nodes":[10,11,12],"swaps":[]},"check":"regression certificate 5","expected":{"changed_location":10,"locations":{"a":10,"b":11,"c":12},"minimum":2,"payloads":[["a",5],["b",5],["c",2]],"structural_nodes":[10,11,12],"swaps":[]},"passed":true},{"actual":{"changed_location":12,"locations":{"a":12,"b":10,"c":11,"d":13},"minimum":1,"payloads":[["b",7],["c",5],["a",3],["d",1]],"structural_nodes":[10,11,12,13],"swaps":[[10,11],[11,12]]},"check":"regression certificate 6","expected":{"changed_location":12,"locations":{"a":12,"b":10,"c":11,"d":13},"minimum":1,"payloads":[["b",7],["c",5],["a",3],["d",1]],"structural_nodes":[10,11,12,13],"swaps":[[10,11],[11,12]]},"passed":true},{"actual":{"changed_location":12,"locations":{"a":12,"b":10,"c":11,"d":13},"minimum":1,"payloads":[["b",7],["c",5],["a",2],["d",1]],"structural_nodes":[10,11,12,13],"swaps":[[10,11],[11,12]]},"check":"variant-dependent certificate","expected":{"changed_location":12,"locations":{"a":12,"b":10,"c":11,"d":13},"minimum":1,"payloads":[["b",7],["c",5],["a",2],["d",1]],"structural_nodes":[10,11,12,13],"swaps":[[10,11],[11,12]]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"payloads\": [[\"a\", 4]], \"locations\": {\"a\": 10}, \"swaps\": [], \"changed_location\": 10, \"structural_nodes\": [10], \"minimum\": 4}, \"expected\": {\"payloads\": [[\"a\", 4]], \"locations\": {\"a\": 10}, \"swaps\": [], \"changed_location\": 10, \"structural_nodes\": [10], \"minimum\": 4}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"payloads\": [[\"b\", 3], [\"a\", 1]], \"locations\": {\"b\": 10, \"a\": 11}, \"swaps\": [[10, 11]], \"changed_location\": 11, \"structural_nodes\": [10, 11], \"minimum\": 1}, \"expected\": {\"payloads\": [[\"b\", 3], [\"a\", 1]], \"locations\": {\"b\": 10, \"a\": 11}, \"swaps\": [[10, 11]], \"changed_location\": 11, \"structural_nodes\": [10, 11], \"minimum\": 1}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"payloads\": [[\"b\", 6], [\"a\", 4], [\"c\", 2]], \"locations\": {\"b\": 10, \"a\": 11, \"c\": 12}, \"swaps\": [[10, 11]], \"changed_location\": 11, \"structural_nodes\": [10, 11, 12], \"minimum\": 2}, \"expected\": {\"payloads\": [[\"b\", 6], [\"a\", 4], [\"c\", 2]], \"locations\": {\"b\": 10, \"a\": 11, \"c\": 12}, \"swaps\": [[10, 11]], \"changed_location\": 11, \"structural_nodes\": [10, 11, 12], \"minimum\": 2}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"payloads\": [[\"b\", 5], [\"c\", 1], [\"a\", 0]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [10, 11, 12], \"minimum\": 0}, \"expected\": {\"payloads\": [[\"b\", 5], [\"c\", 1], [\"a\", 0]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [10, 11, 12], \"minimum\": 0}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"payloads\": [[\"a\", 5], [\"b\", 5], [\"c\", 2]], \"locations\": {\"a\": 10, \"b\": 11, \"c\": 12}, \"swaps\": [], \"changed_location\": 10, \"structural_nodes\": [10, 11, 12], \"minimum\": 2}, \"expected\": {\"payloads\": [[\"a\", 5], [\"b\", 5], [\"c\", 2]], \"locations\": {\"a\": 10, \"b\": 11, \"c\": 12}, \"swaps\": [], \"changed_location\": 10, \"structural_nodes\": [10, 11, 12], \"minimum\": 2}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"payloads\": [[\"b\", 7], [\"c\", 5], [\"a\", 3], [\"d\", 1]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12, \"d\": 13}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [10, 11, 12, 13], \"minimum\": 1}, \"expected\": {\"payloads\": [[\"b\", 7], [\"c\", 5], [\"a\", 3], [\"d\", 1]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12, \"d\": 13}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [10, 11, 12, 13], \"minimum\": 1}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"payloads\": [[\"b\", 7], [\"c\", 5], [\"a\", 2], [\"d\", 1]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12, \"d\": 13}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [10, 11, 12, 13], \"minimum\": 1}, \"expected\": {\"payloads\": [[\"b\", 7], [\"c\", 5], [\"a\", 2], [\"d\", 1]], \"locations\": {\"b\": 10, \"c\": 11, \"a\": 12, \"d\": 13}, \"swaps\": [[10, 11], [11, 12]], \"changed_location\": 12, \"structural_nodes\": [10, 11, 12, 13], \"minimum\": 1}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}