{"abstract":"The bounded fibonacci rings certificate reports an incorrect reciprocity.","category":"Heap invariants","checks":7,"contract":"A finite Fibonacci-ring certificate stores nodes [key,parent,left,right,degree,mark,children]. All references are in range or parent=-1. Report broken circular-link reciprocity, parent-child backlinks, degree mismatch, marked roots, roots, and designated minimum validity.","evaluation_group":"s3-heap-model-fibonacci-rings","failed_approach":"The local patch uses [i for i,x in enumerate(a) if a[x[2]][3]!=i and a[x[3]][2]!=i] and still violates the stated relation.","family":"s3-heap-fibonacci-rings-reciprocity","id":"FA-39871","implementations":{"attempt":{"sha256":"a5db85d59a152527cdb3ca55cc53524a369c0d1a06d856ab2fb1b64544b5e426","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['nodes']; m=d['minimum']; n=len(a)\n    return {'reciprocity': [i for i,x in enumerate(a) if a[x[2]][3]!=i and a[x[3]][2]!=i],\n    'backlinks': [[i,j] for i,x in enumerate(a) for j in x[6] if a[j][1]!=i],\n    'degrees': [i for i,x in enumerate(a) if x[4]!=len(x[6])],\n    'root_marks': [i for i,x in enumerate(a) if x[1]==-1 and x[5]],\n    'root_ids': [i for i,x in enumerate(a) if x[1]==-1],\n    'minimum_valid': m is None if not a else (m is not None and a[m][1]==-1 and all(a[m][0]<=x[0] for x in a if x[1]==-1))}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'nodes': [], 'minimum': None}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [], 'minimum_valid': True}), ({'nodes': [[5, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[4, -1, 0, 0, 2, False, [1, 2]], [6, 0, 2, 2, 0, False, []], [8, 0, 1, 1, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[8, -1, 1, 1, 0, True, []], [2, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [0], 'root_ids': [0, 1], 'minimum_valid': False}), ({'nodes': [[7, -1, 0, 0, 1, True, [1, 2]], [1, 0, 1, 2, 0, False, []], [4, -1, 1, 2, 2, True, []]], 'minimum': 1}, {'reciprocity': [1, 2], 'backlinks': [[0, 2]], 'degrees': [0, 2], 'root_marks': [0, 2], 'root_ids': [0, 2], 'minimum_valid': False}), ({'nodes': [[9, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True}), ({'nodes': [[10, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True})], [({'nodes': [], 'minimum': None}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [], 'minimum_valid': True}), ({'nodes': [[5, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[4, -1, 0, 0, 2, False, [1, 2]], [6, 0, 2, 2, 0, False, []], [8, 0, 1, 1, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[8, -1, 1, 1, 0, True, []], [2, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [0], 'root_ids': [0, 1], 'minimum_valid': False}), ({'nodes': [[7, -1, 0, 0, 1, True, [1, 2]], [1, 0, 1, 2, 0, False, []], [4, -1, 1, 2, 2, True, []]], 'minimum': 1}, {'reciprocity': [1, 2], 'backlinks': [[0, 2]], 'degrees': [0, 2], 'root_marks': [0, 2], 'root_ids': [0, 2], 'minimum_valid': False}), ({'nodes': [[9, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True}), ({'nodes': [[11, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True})], [({'nodes': [], 'minimum': None}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [], 'minimum_valid': True}), ({'nodes': [[5, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[4, -1, 0, 0, 2, False, [1, 2]], [6, 0, 2, 2, 0, False, []], [8, 0, 1, 1, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[8, -1, 1, 1, 0, True, []], [2, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [0], 'root_ids': [0, 1], 'minimum_valid': False}), ({'nodes': [[7, -1, 0, 0, 1, True, [1, 2]], [1, 0, 1, 2, 0, False, []], [4, -1, 1, 2, 2, True, []]], 'minimum': 1}, {'reciprocity': [1, 2], 'backlinks': [[0, 2]], 'degrees': [0, 2], 'root_marks': [0, 2], 'root_ids': [0, 2], 'minimum_valid': False}), ({'nodes': [[9, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True}), ({'nodes': [[12, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True})], [({'nodes': [], 'minimum': None}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [], 'minimum_valid': True}), ({'nodes': [[5, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[4, -1, 0, 0, 2, False, [1, 2]], [6, 0, 2, 2, 0, False, []], [8, 0, 1, 1, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[8, -1, 1, 1, 0, True, []], [2, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [0], 'root_ids': [0, 1], 'minimum_valid': False}), ({'nodes': [[7, -1, 0, 0, 1, True, [1, 2]], [1, 0, 1, 2, 0, False, []], [4, -1, 1, 2, 2, True, []]], 'minimum': 1}, {'reciprocity': [1, 2], 'backlinks': [[0, 2]], 'degrees': [0, 2], 'root_marks': [0, 2], 'root_ids': [0, 2], 'minimum_valid': False}), ({'nodes': [[9, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True}), ({'nodes': [[13, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True})], [({'nodes': [], 'minimum': None}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [], 'minimum_valid': True}), ({'nodes': [[5, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[4, -1, 0, 0, 2, False, [1, 2]], [6, 0, 2, 2, 0, False, []], [8, 0, 1, 1, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[8, -1, 1, 1, 0, True, []], [2, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [0], 'root_ids': [0, 1], 'minimum_valid': False}), ({'nodes': [[7, -1, 0, 0, 1, True, [1, 2]], [1, 0, 1, 2, 0, False, []], [4, -1, 1, 2, 2, True, []]], 'minimum': 1}, {'reciprocity': [1, 2], 'backlinks': [[0, 2]], 'degrees': [0, 2], 'root_marks': [0, 2], 'root_ids': [0, 2], 'minimum_valid': False}), ({'nodes': [[9, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True}), ({'nodes': [[14, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True})]][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":"632e30a86994c652d9049c7aa9b63f7ff69df6842e940163bf2f7ae4be4f66f3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['nodes']; m=d['minimum']; n=len(a)\n    return {'reciprocity': [i for i,x in enumerate(a) if a[x[2]][3]!=i],\n    'backlinks': [[i,j] for i,x in enumerate(a) for j in x[6] if a[j][1]!=i],\n    'degrees': [i for i,x in enumerate(a) if x[4]!=len(x[6])],\n    'root_marks': [i for i,x in enumerate(a) if x[1]==-1 and x[5]],\n    'root_ids': [i for i,x in enumerate(a) if x[1]==-1],\n    'minimum_valid': m is None if not a else (m is not None and a[m][1]==-1 and all(a[m][0]<=x[0] for x in a if x[1]==-1))}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'nodes': [], 'minimum': None}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [], 'minimum_valid': True}), ({'nodes': [[5, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[4, -1, 0, 0, 2, False, [1, 2]], [6, 0, 2, 2, 0, False, []], [8, 0, 1, 1, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[8, -1, 1, 1, 0, True, []], [2, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [0], 'root_ids': [0, 1], 'minimum_valid': False}), ({'nodes': [[7, -1, 0, 0, 1, True, [1, 2]], [1, 0, 1, 2, 0, False, []], [4, -1, 1, 2, 2, True, []]], 'minimum': 1}, {'reciprocity': [1, 2], 'backlinks': [[0, 2]], 'degrees': [0, 2], 'root_marks': [0, 2], 'root_ids': [0, 2], 'minimum_valid': False}), ({'nodes': [[9, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True}), ({'nodes': [[10, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True})], [({'nodes': [], 'minimum': None}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [], 'minimum_valid': True}), ({'nodes': [[5, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[4, -1, 0, 0, 2, False, [1, 2]], [6, 0, 2, 2, 0, False, []], [8, 0, 1, 1, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[8, -1, 1, 1, 0, True, []], [2, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [0], 'root_ids': [0, 1], 'minimum_valid': False}), ({'nodes': [[7, -1, 0, 0, 1, True, [1, 2]], [1, 0, 1, 2, 0, False, []], [4, -1, 1, 2, 2, True, []]], 'minimum': 1}, {'reciprocity': [1, 2], 'backlinks': [[0, 2]], 'degrees': [0, 2], 'root_marks': [0, 2], 'root_ids': [0, 2], 'minimum_valid': False}), ({'nodes': [[9, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True}), ({'nodes': [[11, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True})], [({'nodes': [], 'minimum': None}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [], 'minimum_valid': True}), ({'nodes': [[5, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[4, -1, 0, 0, 2, False, [1, 2]], [6, 0, 2, 2, 0, False, []], [8, 0, 1, 1, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[8, -1, 1, 1, 0, True, []], [2, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [0], 'root_ids': [0, 1], 'minimum_valid': False}), ({'nodes': [[7, -1, 0, 0, 1, True, [1, 2]], [1, 0, 1, 2, 0, False, []], [4, -1, 1, 2, 2, True, []]], 'minimum': 1}, {'reciprocity': [1, 2], 'backlinks': [[0, 2]], 'degrees': [0, 2], 'root_marks': [0, 2], 'root_ids': [0, 2], 'minimum_valid': False}), ({'nodes': [[9, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True}), ({'nodes': [[12, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True})], [({'nodes': [], 'minimum': None}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [], 'minimum_valid': True}), ({'nodes': [[5, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[4, -1, 0, 0, 2, False, [1, 2]], [6, 0, 2, 2, 0, False, []], [8, 0, 1, 1, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[8, -1, 1, 1, 0, True, []], [2, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [0], 'root_ids': [0, 1], 'minimum_valid': False}), ({'nodes': [[7, -1, 0, 0, 1, True, [1, 2]], [1, 0, 1, 2, 0, False, []], [4, -1, 1, 2, 2, True, []]], 'minimum': 1}, {'reciprocity': [1, 2], 'backlinks': [[0, 2]], 'degrees': [0, 2], 'root_marks': [0, 2], 'root_ids': [0, 2], 'minimum_valid': False}), ({'nodes': [[9, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True}), ({'nodes': [[13, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True})], [({'nodes': [], 'minimum': None}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [], 'minimum_valid': True}), ({'nodes': [[5, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[4, -1, 0, 0, 2, False, [1, 2]], [6, 0, 2, 2, 0, False, []], [8, 0, 1, 1, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[8, -1, 1, 1, 0, True, []], [2, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [0], 'root_ids': [0, 1], 'minimum_valid': False}), ({'nodes': [[7, -1, 0, 0, 1, True, [1, 2]], [1, 0, 1, 2, 0, False, []], [4, -1, 1, 2, 2, True, []]], 'minimum': 1}, {'reciprocity': [1, 2], 'backlinks': [[0, 2]], 'degrees': [0, 2], 'root_marks': [0, 2], 'root_ids': [0, 2], 'minimum_valid': False}), ({'nodes': [[9, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True}), ({'nodes': [[14, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True})]][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":"98b9b085ea8e95b93b4acbd57a088b174d4d9092298dde96afeb44994d4e7b17","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['nodes']; m=d['minimum']; n=len(a)\n    return {'reciprocity': [i for i,x in enumerate(a) if a[x[2]][3]!=i or a[x[3]][2]!=i],\n    'backlinks': [[i,j] for i,x in enumerate(a) for j in x[6] if a[j][1]!=i],\n    'degrees': [i for i,x in enumerate(a) if x[4]!=len(x[6])],\n    'root_marks': [i for i,x in enumerate(a) if x[1]==-1 and x[5]],\n    'root_ids': [i for i,x in enumerate(a) if x[1]==-1],\n    'minimum_valid': m is None if not a else (m is not None and a[m][1]==-1 and all(a[m][0]<=x[0] for x in a if x[1]==-1))}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'nodes': [], 'minimum': None}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [], 'minimum_valid': True}), ({'nodes': [[5, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[4, -1, 0, 0, 2, False, [1, 2]], [6, 0, 2, 2, 0, False, []], [8, 0, 1, 1, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[8, -1, 1, 1, 0, True, []], [2, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [0], 'root_ids': [0, 1], 'minimum_valid': False}), ({'nodes': [[7, -1, 0, 0, 1, True, [1, 2]], [1, 0, 1, 2, 0, False, []], [4, -1, 1, 2, 2, True, []]], 'minimum': 1}, {'reciprocity': [1, 2], 'backlinks': [[0, 2]], 'degrees': [0, 2], 'root_marks': [0, 2], 'root_ids': [0, 2], 'minimum_valid': False}), ({'nodes': [[9, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True}), ({'nodes': [[10, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True})], [({'nodes': [], 'minimum': None}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [], 'minimum_valid': True}), ({'nodes': [[5, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[4, -1, 0, 0, 2, False, [1, 2]], [6, 0, 2, 2, 0, False, []], [8, 0, 1, 1, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[8, -1, 1, 1, 0, True, []], [2, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [0], 'root_ids': [0, 1], 'minimum_valid': False}), ({'nodes': [[7, -1, 0, 0, 1, True, [1, 2]], [1, 0, 1, 2, 0, False, []], [4, -1, 1, 2, 2, True, []]], 'minimum': 1}, {'reciprocity': [1, 2], 'backlinks': [[0, 2]], 'degrees': [0, 2], 'root_marks': [0, 2], 'root_ids': [0, 2], 'minimum_valid': False}), ({'nodes': [[9, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True}), ({'nodes': [[11, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True})], [({'nodes': [], 'minimum': None}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [], 'minimum_valid': True}), ({'nodes': [[5, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[4, -1, 0, 0, 2, False, [1, 2]], [6, 0, 2, 2, 0, False, []], [8, 0, 1, 1, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[8, -1, 1, 1, 0, True, []], [2, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [0], 'root_ids': [0, 1], 'minimum_valid': False}), ({'nodes': [[7, -1, 0, 0, 1, True, [1, 2]], [1, 0, 1, 2, 0, False, []], [4, -1, 1, 2, 2, True, []]], 'minimum': 1}, {'reciprocity': [1, 2], 'backlinks': [[0, 2]], 'degrees': [0, 2], 'root_marks': [0, 2], 'root_ids': [0, 2], 'minimum_valid': False}), ({'nodes': [[9, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True}), ({'nodes': [[12, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True})], [({'nodes': [], 'minimum': None}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [], 'minimum_valid': True}), ({'nodes': [[5, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[4, -1, 0, 0, 2, False, [1, 2]], [6, 0, 2, 2, 0, False, []], [8, 0, 1, 1, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[8, -1, 1, 1, 0, True, []], [2, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [0], 'root_ids': [0, 1], 'minimum_valid': False}), ({'nodes': [[7, -1, 0, 0, 1, True, [1, 2]], [1, 0, 1, 2, 0, False, []], [4, -1, 1, 2, 2, True, []]], 'minimum': 1}, {'reciprocity': [1, 2], 'backlinks': [[0, 2]], 'degrees': [0, 2], 'root_marks': [0, 2], 'root_ids': [0, 2], 'minimum_valid': False}), ({'nodes': [[9, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True}), ({'nodes': [[13, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True})], [({'nodes': [], 'minimum': None}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [], 'minimum_valid': True}), ({'nodes': [[5, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[4, -1, 0, 0, 2, False, [1, 2]], [6, 0, 2, 2, 0, False, []], [8, 0, 1, 1, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [], 'root_ids': [0], 'minimum_valid': True}), ({'nodes': [[8, -1, 1, 1, 0, True, []], [2, -1, 0, 0, 0, False, []]], 'minimum': 0}, {'reciprocity': [], 'backlinks': [], 'degrees': [], 'root_marks': [0], 'root_ids': [0, 1], 'minimum_valid': False}), ({'nodes': [[7, -1, 0, 0, 1, True, [1, 2]], [1, 0, 1, 2, 0, False, []], [4, -1, 1, 2, 2, True, []]], 'minimum': 1}, {'reciprocity': [1, 2], 'backlinks': [[0, 2]], 'degrees': [0, 2], 'root_marks': [0, 2], 'root_ids': [0, 2], 'minimum_valid': False}), ({'nodes': [[9, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True}), ({'nodes': [[14, -1, 2, 1, 3, False, [1]], [4, 2, 1, 2, 1, True, []], [3, -1, 0, 0, 1, True, [0]]], 'minimum': 2}, {'reciprocity': [0, 1, 2], 'backlinks': [[0, 1], [2, 0]], 'degrees': [0, 1], 'root_marks': [2], 'root_ids': [0, 2], 'minimum_valid': True})]][N-1]\ncheck('regression certificate 1', solve(cases[0][0]), cases[0][1])\ncheck('regression certificate 2', solve(cases[1][0]), cases[1][1])\ncheck('regression certificate 3', solve(cases[2][0]), cases[2][1])\ncheck('regression certificate 4', solve(cases[3][0]), cases[3][1])\ncheck('regression certificate 5', solve(cases[4][0]), cases[4][1])\ncheck('regression certificate 6', solve(cases[5][0]), cases[5][1])\ncheck('variant-dependent certificate', solve(cases[6][0]), cases[6][1])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"A stipulated offline diagnostic model; it does not implement a production allocator, concurrency protocol, or complete heap library. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-heap-fibonacci-rings-reciprocity","generated_at":"2026-09-29T14:43:25.618848+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 reciprocity using [i for i,x in enumerate(a) if a[x[2]][3]!=i or a[x[3]][2]!=i] under the stated bounded certificate contract.","root_cause":"Both neighboring ring pointers must refer back to this node.","sha256":"7285b0ec270960fcf7259034e77df9d34403e6d0543d5f9889a439b92eb44b43","title":"Fibonacci ring traversal verifies only one reciprocal link · 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":45.681,"exit_code":1,"observations":[{"actual":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[],"root_marks":[]},"check":"regression certificate 1","expected":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[],"root_marks":[]},"passed":true},{"actual":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[0],"root_marks":[]},"check":"regression certificate 2","expected":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[0],"root_marks":[]},"passed":true},{"actual":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[0],"root_marks":[]},"check":"regression certificate 3","expected":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[0],"root_marks":[]},"passed":true},{"actual":{"backlinks":[],"degrees":[],"minimum_valid":false,"reciprocity":[],"root_ids":[0,1],"root_marks":[0]},"check":"regression certificate 4","expected":{"backlinks":[],"degrees":[],"minimum_valid":false,"reciprocity":[],"root_ids":[0,1],"root_marks":[0]},"passed":true},{"actual":{"backlinks":[[0,2]],"degrees":[0,2],"minimum_valid":false,"reciprocity":[],"root_ids":[0,2],"root_marks":[0,2]},"check":"regression certificate 5","expected":{"backlinks":[[0,2]],"degrees":[0,2],"minimum_valid":false,"reciprocity":[1,2],"root_ids":[0,2],"root_marks":[0,2]},"passed":false},{"actual":{"backlinks":[[0,1],[2,0]],"degrees":[0,1],"minimum_valid":true,"reciprocity":[1],"root_ids":[0,2],"root_marks":[2]},"check":"regression certificate 6","expected":{"backlinks":[[0,1],[2,0]],"degrees":[0,1],"minimum_valid":true,"reciprocity":[0,1,2],"root_ids":[0,2],"root_marks":[2]},"passed":false},{"actual":{"backlinks":[[0,1],[2,0]],"degrees":[0,1],"minimum_valid":true,"reciprocity":[1],"root_ids":[0,2],"root_marks":[2]},"check":"variant-dependent certificate","expected":{"backlinks":[[0,1],[2,0]],"degrees":[0,1],"minimum_valid":true,"reciprocity":[0,1,2],"root_ids":[0,2],"root_marks":[2]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [], \"minimum_valid\": true}, \"expected\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [], \"minimum_valid\": true}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [0], \"minimum_valid\": true}, \"expected\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [0], \"minimum_valid\": true}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [0], \"minimum_valid\": true}, \"expected\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [0], \"minimum_valid\": true}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [0], \"root_ids\": [0, 1], \"minimum_valid\": false}, \"expected\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [0], \"root_ids\": [0, 1], \"minimum_valid\": false}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"reciprocity\": [], \"backlinks\": [[0, 2]], \"degrees\": [0, 2], \"root_marks\": [0, 2], \"root_ids\": [0, 2], \"minimum_valid\": false}, \"expected\": {\"reciprocity\": [1, 2], \"backlinks\": [[0, 2]], \"degrees\": [0, 2], \"root_marks\": [0, 2], \"root_ids\": [0, 2], \"minimum_valid\": false}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"reciprocity\": [1], \"backlinks\": [[0, 1], [2, 0]], \"degrees\": [0, 1], \"root_marks\": [2], \"root_ids\": [0, 2], \"minimum_valid\": true}, \"expected\": {\"reciprocity\": [0, 1, 2], \"backlinks\": [[0, 1], [2, 0]], \"degrees\": [0, 1], \"root_marks\": [2], \"root_ids\": [0, 2], \"minimum_valid\": true}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"reciprocity\": [1], \"backlinks\": [[0, 1], [2, 0]], \"degrees\": [0, 1], \"root_marks\": [2], \"root_ids\": [0, 2], \"minimum_valid\": true}, \"expected\": {\"reciprocity\": [0, 1, 2], \"backlinks\": [[0, 1], [2, 0]], \"degrees\": [0, 1], \"root_marks\": [2], \"root_ids\": [0, 2], \"minimum_valid\": true}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.156,"exit_code":1,"observations":[{"actual":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[],"root_marks":[]},"check":"regression certificate 1","expected":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[],"root_marks":[]},"passed":true},{"actual":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[0],"root_marks":[]},"check":"regression certificate 2","expected":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[0],"root_marks":[]},"passed":true},{"actual":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[0],"root_marks":[]},"check":"regression certificate 3","expected":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[0],"root_marks":[]},"passed":true},{"actual":{"backlinks":[],"degrees":[],"minimum_valid":false,"reciprocity":[],"root_ids":[0,1],"root_marks":[0]},"check":"regression certificate 4","expected":{"backlinks":[],"degrees":[],"minimum_valid":false,"reciprocity":[],"root_ids":[0,1],"root_marks":[0]},"passed":true},{"actual":{"backlinks":[[0,2]],"degrees":[0,2],"minimum_valid":false,"reciprocity":[1],"root_ids":[0,2],"root_marks":[0,2]},"check":"regression certificate 5","expected":{"backlinks":[[0,2]],"degrees":[0,2],"minimum_valid":false,"reciprocity":[1,2],"root_ids":[0,2],"root_marks":[0,2]},"passed":false},{"actual":{"backlinks":[[0,1],[2,0]],"degrees":[0,1],"minimum_valid":true,"reciprocity":[1,2],"root_ids":[0,2],"root_marks":[2]},"check":"regression certificate 6","expected":{"backlinks":[[0,1],[2,0]],"degrees":[0,1],"minimum_valid":true,"reciprocity":[0,1,2],"root_ids":[0,2],"root_marks":[2]},"passed":false},{"actual":{"backlinks":[[0,1],[2,0]],"degrees":[0,1],"minimum_valid":true,"reciprocity":[1,2],"root_ids":[0,2],"root_marks":[2]},"check":"variant-dependent certificate","expected":{"backlinks":[[0,1],[2,0]],"degrees":[0,1],"minimum_valid":true,"reciprocity":[0,1,2],"root_ids":[0,2],"root_marks":[2]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [], \"minimum_valid\": true}, \"expected\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [], \"minimum_valid\": true}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [0], \"minimum_valid\": true}, \"expected\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [0], \"minimum_valid\": true}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [0], \"minimum_valid\": true}, \"expected\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [0], \"minimum_valid\": true}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [0], \"root_ids\": [0, 1], \"minimum_valid\": false}, \"expected\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [0], \"root_ids\": [0, 1], \"minimum_valid\": false}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"reciprocity\": [1], \"backlinks\": [[0, 2]], \"degrees\": [0, 2], \"root_marks\": [0, 2], \"root_ids\": [0, 2], \"minimum_valid\": false}, \"expected\": {\"reciprocity\": [1, 2], \"backlinks\": [[0, 2]], \"degrees\": [0, 2], \"root_marks\": [0, 2], \"root_ids\": [0, 2], \"minimum_valid\": false}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"reciprocity\": [1, 2], \"backlinks\": [[0, 1], [2, 0]], \"degrees\": [0, 1], \"root_marks\": [2], \"root_ids\": [0, 2], \"minimum_valid\": true}, \"expected\": {\"reciprocity\": [0, 1, 2], \"backlinks\": [[0, 1], [2, 0]], \"degrees\": [0, 1], \"root_marks\": [2], \"root_ids\": [0, 2], \"minimum_valid\": true}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"reciprocity\": [1, 2], \"backlinks\": [[0, 1], [2, 0]], \"degrees\": [0, 1], \"root_marks\": [2], \"root_ids\": [0, 2], \"minimum_valid\": true}, \"expected\": {\"reciprocity\": [0, 1, 2], \"backlinks\": [[0, 1], [2, 0]], \"degrees\": [0, 1], \"root_marks\": [2], \"root_ids\": [0, 2], \"minimum_valid\": true}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.236,"exit_code":0,"observations":[{"actual":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[],"root_marks":[]},"check":"regression certificate 1","expected":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[],"root_marks":[]},"passed":true},{"actual":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[0],"root_marks":[]},"check":"regression certificate 2","expected":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[0],"root_marks":[]},"passed":true},{"actual":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[0],"root_marks":[]},"check":"regression certificate 3","expected":{"backlinks":[],"degrees":[],"minimum_valid":true,"reciprocity":[],"root_ids":[0],"root_marks":[]},"passed":true},{"actual":{"backlinks":[],"degrees":[],"minimum_valid":false,"reciprocity":[],"root_ids":[0,1],"root_marks":[0]},"check":"regression certificate 4","expected":{"backlinks":[],"degrees":[],"minimum_valid":false,"reciprocity":[],"root_ids":[0,1],"root_marks":[0]},"passed":true},{"actual":{"backlinks":[[0,2]],"degrees":[0,2],"minimum_valid":false,"reciprocity":[1,2],"root_ids":[0,2],"root_marks":[0,2]},"check":"regression certificate 5","expected":{"backlinks":[[0,2]],"degrees":[0,2],"minimum_valid":false,"reciprocity":[1,2],"root_ids":[0,2],"root_marks":[0,2]},"passed":true},{"actual":{"backlinks":[[0,1],[2,0]],"degrees":[0,1],"minimum_valid":true,"reciprocity":[0,1,2],"root_ids":[0,2],"root_marks":[2]},"check":"regression certificate 6","expected":{"backlinks":[[0,1],[2,0]],"degrees":[0,1],"minimum_valid":true,"reciprocity":[0,1,2],"root_ids":[0,2],"root_marks":[2]},"passed":true},{"actual":{"backlinks":[[0,1],[2,0]],"degrees":[0,1],"minimum_valid":true,"reciprocity":[0,1,2],"root_ids":[0,2],"root_marks":[2]},"check":"variant-dependent certificate","expected":{"backlinks":[[0,1],[2,0]],"degrees":[0,1],"minimum_valid":true,"reciprocity":[0,1,2],"root_ids":[0,2],"root_marks":[2]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [], \"minimum_valid\": true}, \"expected\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [], \"minimum_valid\": true}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [0], \"minimum_valid\": true}, \"expected\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [0], \"minimum_valid\": true}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [0], \"minimum_valid\": true}, \"expected\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [], \"root_ids\": [0], \"minimum_valid\": true}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [0], \"root_ids\": [0, 1], \"minimum_valid\": false}, \"expected\": {\"reciprocity\": [], \"backlinks\": [], \"degrees\": [], \"root_marks\": [0], \"root_ids\": [0, 1], \"minimum_valid\": false}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"reciprocity\": [1, 2], \"backlinks\": [[0, 2]], \"degrees\": [0, 2], \"root_marks\": [0, 2], \"root_ids\": [0, 2], \"minimum_valid\": false}, \"expected\": {\"reciprocity\": [1, 2], \"backlinks\": [[0, 2]], \"degrees\": [0, 2], \"root_marks\": [0, 2], \"root_ids\": [0, 2], \"minimum_valid\": false}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"reciprocity\": [0, 1, 2], \"backlinks\": [[0, 1], [2, 0]], \"degrees\": [0, 1], \"root_marks\": [2], \"root_ids\": [0, 2], \"minimum_valid\": true}, \"expected\": {\"reciprocity\": [0, 1, 2], \"backlinks\": [[0, 1], [2, 0]], \"degrees\": [0, 1], \"root_marks\": [2], \"root_ids\": [0, 2], \"minimum_valid\": true}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"reciprocity\": [0, 1, 2], \"backlinks\": [[0, 1], [2, 0]], \"degrees\": [0, 1], \"root_marks\": [2], \"root_ids\": [0, 2], \"minimum_valid\": true}, \"expected\": {\"reciprocity\": [0, 1, 2], \"backlinks\": [[0, 1], [2, 0]], \"degrees\": [0, 1], \"root_marks\": [2], \"root_ids\": [0, 2], \"minimum_valid\": true}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}