{"abstract":"The bounded binomial carry certificate reports an incorrect suffix.","category":"Heap invariants","checks":7,"contract":"A consolidation cursor sees ordered ranks and index i. Report whether to link now, current rank, carry rank, suffix retained after a link, triple-collision deferral, and link partner. In three equal consecutive ranks defer the first pair so a carry is not consolidated twice out of order. Empty cursor is allowed.","evaluation_group":"s3-heap-model-binomial-carry","failed_approach":"The local patch uses r[i+3:] if link else r[i:] and still violates the stated relation.","family":"s3-heap-binomial-carry-suffix","id":"FA-40036","implementations":{"attempt":{"sha256":"8cb352fb66ba036a0800ae10230723a406487a83fbd49cee1192089eacf56889","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    r=d['ranks']; i=d['i']; exists=i<len(r); pair=i+1<len(r) and r[i]==r[i+1]; triple=i+2<len(r) and r[i]==r[i+1]==r[i+2]\n    link=pair and not triple\n    return {'link_now': link,\n    'current': r[i] if exists else None,\n    'carry_rank': r[i]+1 if link else None,\n    'suffix': r[i+3:] if link else r[i:],\n    'defer': triple,\n    'partner': i+1 if link else None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'ranks': [], 'i': 0}, {'link_now': False, 'current': None, 'carry_rank': None, 'suffix': [], 'defer': False, 'partner': None}), ({'ranks': [0, 0], 'i': 0}, {'link_now': True, 'current': 0, 'carry_rank': 1, 'suffix': [], 'defer': False, 'partner': 1}), ({'ranks': [0, 0, 0, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 0, 0, 2], 'defer': True, 'partner': None}), ({'ranks': [0, 1, 1, 3], 'i': 1}, {'link_now': True, 'current': 1, 'carry_rank': 2, 'suffix': [3], 'defer': False, 'partner': 2}), ({'ranks': [1, 2, 2, 4, 5], 'i': 1}, {'link_now': True, 'current': 2, 'carry_rank': 3, 'suffix': [4, 5], 'defer': False, 'partner': 2}), ({'ranks': [0, 1, 1, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 1, 1, 2], 'defer': False, 'partner': None}), ({'ranks': [1, 2, 2, 3], 'i': 0}, {'link_now': False, 'current': 1, 'carry_rank': None, 'suffix': [1, 2, 2, 3], 'defer': False, 'partner': None})], [({'ranks': [], 'i': 0}, {'link_now': False, 'current': None, 'carry_rank': None, 'suffix': [], 'defer': False, 'partner': None}), ({'ranks': [0, 0], 'i': 0}, {'link_now': True, 'current': 0, 'carry_rank': 1, 'suffix': [], 'defer': False, 'partner': 1}), ({'ranks': [0, 0, 0, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 0, 0, 2], 'defer': True, 'partner': None}), ({'ranks': [0, 1, 1, 3], 'i': 1}, {'link_now': True, 'current': 1, 'carry_rank': 2, 'suffix': [3], 'defer': False, 'partner': 2}), ({'ranks': [1, 2, 2, 4, 5], 'i': 1}, {'link_now': True, 'current': 2, 'carry_rank': 3, 'suffix': [4, 5], 'defer': False, 'partner': 2}), ({'ranks': [0, 1, 1, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 1, 1, 2], 'defer': False, 'partner': None}), ({'ranks': [2, 3, 3, 4], 'i': 0}, {'link_now': False, 'current': 2, 'carry_rank': None, 'suffix': [2, 3, 3, 4], 'defer': False, 'partner': None})], [({'ranks': [], 'i': 0}, {'link_now': False, 'current': None, 'carry_rank': None, 'suffix': [], 'defer': False, 'partner': None}), ({'ranks': [0, 0], 'i': 0}, {'link_now': True, 'current': 0, 'carry_rank': 1, 'suffix': [], 'defer': False, 'partner': 1}), ({'ranks': [0, 0, 0, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 0, 0, 2], 'defer': True, 'partner': None}), ({'ranks': [0, 1, 1, 3], 'i': 1}, {'link_now': True, 'current': 1, 'carry_rank': 2, 'suffix': [3], 'defer': False, 'partner': 2}), ({'ranks': [1, 2, 2, 4, 5], 'i': 1}, {'link_now': True, 'current': 2, 'carry_rank': 3, 'suffix': [4, 5], 'defer': False, 'partner': 2}), ({'ranks': [0, 1, 1, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 1, 1, 2], 'defer': False, 'partner': None}), ({'ranks': [3, 4, 4, 5], 'i': 0}, {'link_now': False, 'current': 3, 'carry_rank': None, 'suffix': [3, 4, 4, 5], 'defer': False, 'partner': None})], [({'ranks': [], 'i': 0}, {'link_now': False, 'current': None, 'carry_rank': None, 'suffix': [], 'defer': False, 'partner': None}), ({'ranks': [0, 0], 'i': 0}, {'link_now': True, 'current': 0, 'carry_rank': 1, 'suffix': [], 'defer': False, 'partner': 1}), ({'ranks': [0, 0, 0, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 0, 0, 2], 'defer': True, 'partner': None}), ({'ranks': [0, 1, 1, 3], 'i': 1}, {'link_now': True, 'current': 1, 'carry_rank': 2, 'suffix': [3], 'defer': False, 'partner': 2}), ({'ranks': [1, 2, 2, 4, 5], 'i': 1}, {'link_now': True, 'current': 2, 'carry_rank': 3, 'suffix': [4, 5], 'defer': False, 'partner': 2}), ({'ranks': [0, 1, 1, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 1, 1, 2], 'defer': False, 'partner': None}), ({'ranks': [4, 5, 5, 6], 'i': 0}, {'link_now': False, 'current': 4, 'carry_rank': None, 'suffix': [4, 5, 5, 6], 'defer': False, 'partner': None})], [({'ranks': [], 'i': 0}, {'link_now': False, 'current': None, 'carry_rank': None, 'suffix': [], 'defer': False, 'partner': None}), ({'ranks': [0, 0], 'i': 0}, {'link_now': True, 'current': 0, 'carry_rank': 1, 'suffix': [], 'defer': False, 'partner': 1}), ({'ranks': [0, 0, 0, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 0, 0, 2], 'defer': True, 'partner': None}), ({'ranks': [0, 1, 1, 3], 'i': 1}, {'link_now': True, 'current': 1, 'carry_rank': 2, 'suffix': [3], 'defer': False, 'partner': 2}), ({'ranks': [1, 2, 2, 4, 5], 'i': 1}, {'link_now': True, 'current': 2, 'carry_rank': 3, 'suffix': [4, 5], 'defer': False, 'partner': 2}), ({'ranks': [0, 1, 1, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 1, 1, 2], 'defer': False, 'partner': None}), ({'ranks': [5, 6, 6, 7], 'i': 0}, {'link_now': False, 'current': 5, 'carry_rank': None, 'suffix': [5, 6, 6, 7], 'defer': False, 'partner': None})]][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":"2bfdbf0a7781331e32272e1c01c20f91ec843fed40c1e40e4e6d8fd81112d1d3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    r=d['ranks']; i=d['i']; exists=i<len(r); pair=i+1<len(r) and r[i]==r[i+1]; triple=i+2<len(r) and r[i]==r[i+1]==r[i+2]\n    link=pair and not triple\n    return {'link_now': link,\n    'current': r[i] if exists else None,\n    'carry_rank': r[i]+1 if link else None,\n    'suffix': r[i+1:] if link else r[i:],\n    'defer': triple,\n    'partner': i+1 if link else None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'ranks': [], 'i': 0}, {'link_now': False, 'current': None, 'carry_rank': None, 'suffix': [], 'defer': False, 'partner': None}), ({'ranks': [0, 0], 'i': 0}, {'link_now': True, 'current': 0, 'carry_rank': 1, 'suffix': [], 'defer': False, 'partner': 1}), ({'ranks': [0, 0, 0, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 0, 0, 2], 'defer': True, 'partner': None}), ({'ranks': [0, 1, 1, 3], 'i': 1}, {'link_now': True, 'current': 1, 'carry_rank': 2, 'suffix': [3], 'defer': False, 'partner': 2}), ({'ranks': [1, 2, 2, 4, 5], 'i': 1}, {'link_now': True, 'current': 2, 'carry_rank': 3, 'suffix': [4, 5], 'defer': False, 'partner': 2}), ({'ranks': [0, 1, 1, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 1, 1, 2], 'defer': False, 'partner': None}), ({'ranks': [1, 2, 2, 3], 'i': 0}, {'link_now': False, 'current': 1, 'carry_rank': None, 'suffix': [1, 2, 2, 3], 'defer': False, 'partner': None})], [({'ranks': [], 'i': 0}, {'link_now': False, 'current': None, 'carry_rank': None, 'suffix': [], 'defer': False, 'partner': None}), ({'ranks': [0, 0], 'i': 0}, {'link_now': True, 'current': 0, 'carry_rank': 1, 'suffix': [], 'defer': False, 'partner': 1}), ({'ranks': [0, 0, 0, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 0, 0, 2], 'defer': True, 'partner': None}), ({'ranks': [0, 1, 1, 3], 'i': 1}, {'link_now': True, 'current': 1, 'carry_rank': 2, 'suffix': [3], 'defer': False, 'partner': 2}), ({'ranks': [1, 2, 2, 4, 5], 'i': 1}, {'link_now': True, 'current': 2, 'carry_rank': 3, 'suffix': [4, 5], 'defer': False, 'partner': 2}), ({'ranks': [0, 1, 1, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 1, 1, 2], 'defer': False, 'partner': None}), ({'ranks': [2, 3, 3, 4], 'i': 0}, {'link_now': False, 'current': 2, 'carry_rank': None, 'suffix': [2, 3, 3, 4], 'defer': False, 'partner': None})], [({'ranks': [], 'i': 0}, {'link_now': False, 'current': None, 'carry_rank': None, 'suffix': [], 'defer': False, 'partner': None}), ({'ranks': [0, 0], 'i': 0}, {'link_now': True, 'current': 0, 'carry_rank': 1, 'suffix': [], 'defer': False, 'partner': 1}), ({'ranks': [0, 0, 0, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 0, 0, 2], 'defer': True, 'partner': None}), ({'ranks': [0, 1, 1, 3], 'i': 1}, {'link_now': True, 'current': 1, 'carry_rank': 2, 'suffix': [3], 'defer': False, 'partner': 2}), ({'ranks': [1, 2, 2, 4, 5], 'i': 1}, {'link_now': True, 'current': 2, 'carry_rank': 3, 'suffix': [4, 5], 'defer': False, 'partner': 2}), ({'ranks': [0, 1, 1, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 1, 1, 2], 'defer': False, 'partner': None}), ({'ranks': [3, 4, 4, 5], 'i': 0}, {'link_now': False, 'current': 3, 'carry_rank': None, 'suffix': [3, 4, 4, 5], 'defer': False, 'partner': None})], [({'ranks': [], 'i': 0}, {'link_now': False, 'current': None, 'carry_rank': None, 'suffix': [], 'defer': False, 'partner': None}), ({'ranks': [0, 0], 'i': 0}, {'link_now': True, 'current': 0, 'carry_rank': 1, 'suffix': [], 'defer': False, 'partner': 1}), ({'ranks': [0, 0, 0, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 0, 0, 2], 'defer': True, 'partner': None}), ({'ranks': [0, 1, 1, 3], 'i': 1}, {'link_now': True, 'current': 1, 'carry_rank': 2, 'suffix': [3], 'defer': False, 'partner': 2}), ({'ranks': [1, 2, 2, 4, 5], 'i': 1}, {'link_now': True, 'current': 2, 'carry_rank': 3, 'suffix': [4, 5], 'defer': False, 'partner': 2}), ({'ranks': [0, 1, 1, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 1, 1, 2], 'defer': False, 'partner': None}), ({'ranks': [4, 5, 5, 6], 'i': 0}, {'link_now': False, 'current': 4, 'carry_rank': None, 'suffix': [4, 5, 5, 6], 'defer': False, 'partner': None})], [({'ranks': [], 'i': 0}, {'link_now': False, 'current': None, 'carry_rank': None, 'suffix': [], 'defer': False, 'partner': None}), ({'ranks': [0, 0], 'i': 0}, {'link_now': True, 'current': 0, 'carry_rank': 1, 'suffix': [], 'defer': False, 'partner': 1}), ({'ranks': [0, 0, 0, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 0, 0, 2], 'defer': True, 'partner': None}), ({'ranks': [0, 1, 1, 3], 'i': 1}, {'link_now': True, 'current': 1, 'carry_rank': 2, 'suffix': [3], 'defer': False, 'partner': 2}), ({'ranks': [1, 2, 2, 4, 5], 'i': 1}, {'link_now': True, 'current': 2, 'carry_rank': 3, 'suffix': [4, 5], 'defer': False, 'partner': 2}), ({'ranks': [0, 1, 1, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 1, 1, 2], 'defer': False, 'partner': None}), ({'ranks': [5, 6, 6, 7], 'i': 0}, {'link_now': False, 'current': 5, 'carry_rank': None, 'suffix': [5, 6, 6, 7], 'defer': False, 'partner': None})]][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":"845f4c069904d01e9ff3c652eca4efa3cf98e1acdcc917325c926aaf891f7bfd","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    r=d['ranks']; i=d['i']; exists=i<len(r); pair=i+1<len(r) and r[i]==r[i+1]; triple=i+2<len(r) and r[i]==r[i+1]==r[i+2]\n    link=pair and not triple\n    return {'link_now': link,\n    'current': r[i] if exists else None,\n    'carry_rank': r[i]+1 if link else None,\n    'suffix': r[i+2:] if link else r[i:],\n    'defer': triple,\n    'partner': i+1 if link else None}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'ranks': [], 'i': 0}, {'link_now': False, 'current': None, 'carry_rank': None, 'suffix': [], 'defer': False, 'partner': None}), ({'ranks': [0, 0], 'i': 0}, {'link_now': True, 'current': 0, 'carry_rank': 1, 'suffix': [], 'defer': False, 'partner': 1}), ({'ranks': [0, 0, 0, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 0, 0, 2], 'defer': True, 'partner': None}), ({'ranks': [0, 1, 1, 3], 'i': 1}, {'link_now': True, 'current': 1, 'carry_rank': 2, 'suffix': [3], 'defer': False, 'partner': 2}), ({'ranks': [1, 2, 2, 4, 5], 'i': 1}, {'link_now': True, 'current': 2, 'carry_rank': 3, 'suffix': [4, 5], 'defer': False, 'partner': 2}), ({'ranks': [0, 1, 1, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 1, 1, 2], 'defer': False, 'partner': None}), ({'ranks': [1, 2, 2, 3], 'i': 0}, {'link_now': False, 'current': 1, 'carry_rank': None, 'suffix': [1, 2, 2, 3], 'defer': False, 'partner': None})], [({'ranks': [], 'i': 0}, {'link_now': False, 'current': None, 'carry_rank': None, 'suffix': [], 'defer': False, 'partner': None}), ({'ranks': [0, 0], 'i': 0}, {'link_now': True, 'current': 0, 'carry_rank': 1, 'suffix': [], 'defer': False, 'partner': 1}), ({'ranks': [0, 0, 0, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 0, 0, 2], 'defer': True, 'partner': None}), ({'ranks': [0, 1, 1, 3], 'i': 1}, {'link_now': True, 'current': 1, 'carry_rank': 2, 'suffix': [3], 'defer': False, 'partner': 2}), ({'ranks': [1, 2, 2, 4, 5], 'i': 1}, {'link_now': True, 'current': 2, 'carry_rank': 3, 'suffix': [4, 5], 'defer': False, 'partner': 2}), ({'ranks': [0, 1, 1, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 1, 1, 2], 'defer': False, 'partner': None}), ({'ranks': [2, 3, 3, 4], 'i': 0}, {'link_now': False, 'current': 2, 'carry_rank': None, 'suffix': [2, 3, 3, 4], 'defer': False, 'partner': None})], [({'ranks': [], 'i': 0}, {'link_now': False, 'current': None, 'carry_rank': None, 'suffix': [], 'defer': False, 'partner': None}), ({'ranks': [0, 0], 'i': 0}, {'link_now': True, 'current': 0, 'carry_rank': 1, 'suffix': [], 'defer': False, 'partner': 1}), ({'ranks': [0, 0, 0, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 0, 0, 2], 'defer': True, 'partner': None}), ({'ranks': [0, 1, 1, 3], 'i': 1}, {'link_now': True, 'current': 1, 'carry_rank': 2, 'suffix': [3], 'defer': False, 'partner': 2}), ({'ranks': [1, 2, 2, 4, 5], 'i': 1}, {'link_now': True, 'current': 2, 'carry_rank': 3, 'suffix': [4, 5], 'defer': False, 'partner': 2}), ({'ranks': [0, 1, 1, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 1, 1, 2], 'defer': False, 'partner': None}), ({'ranks': [3, 4, 4, 5], 'i': 0}, {'link_now': False, 'current': 3, 'carry_rank': None, 'suffix': [3, 4, 4, 5], 'defer': False, 'partner': None})], [({'ranks': [], 'i': 0}, {'link_now': False, 'current': None, 'carry_rank': None, 'suffix': [], 'defer': False, 'partner': None}), ({'ranks': [0, 0], 'i': 0}, {'link_now': True, 'current': 0, 'carry_rank': 1, 'suffix': [], 'defer': False, 'partner': 1}), ({'ranks': [0, 0, 0, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 0, 0, 2], 'defer': True, 'partner': None}), ({'ranks': [0, 1, 1, 3], 'i': 1}, {'link_now': True, 'current': 1, 'carry_rank': 2, 'suffix': [3], 'defer': False, 'partner': 2}), ({'ranks': [1, 2, 2, 4, 5], 'i': 1}, {'link_now': True, 'current': 2, 'carry_rank': 3, 'suffix': [4, 5], 'defer': False, 'partner': 2}), ({'ranks': [0, 1, 1, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 1, 1, 2], 'defer': False, 'partner': None}), ({'ranks': [4, 5, 5, 6], 'i': 0}, {'link_now': False, 'current': 4, 'carry_rank': None, 'suffix': [4, 5, 5, 6], 'defer': False, 'partner': None})], [({'ranks': [], 'i': 0}, {'link_now': False, 'current': None, 'carry_rank': None, 'suffix': [], 'defer': False, 'partner': None}), ({'ranks': [0, 0], 'i': 0}, {'link_now': True, 'current': 0, 'carry_rank': 1, 'suffix': [], 'defer': False, 'partner': 1}), ({'ranks': [0, 0, 0, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 0, 0, 2], 'defer': True, 'partner': None}), ({'ranks': [0, 1, 1, 3], 'i': 1}, {'link_now': True, 'current': 1, 'carry_rank': 2, 'suffix': [3], 'defer': False, 'partner': 2}), ({'ranks': [1, 2, 2, 4, 5], 'i': 1}, {'link_now': True, 'current': 2, 'carry_rank': 3, 'suffix': [4, 5], 'defer': False, 'partner': 2}), ({'ranks': [0, 1, 1, 2], 'i': 0}, {'link_now': False, 'current': 0, 'carry_rank': None, 'suffix': [0, 1, 1, 2], 'defer': False, 'partner': None}), ({'ranks': [5, 6, 6, 7], 'i': 0}, {'link_now': False, 'current': 5, 'carry_rank': None, 'suffix': [5, 6, 6, 7], 'defer': False, 'partner': None})]][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-carry-suffix","generated_at":"2026-09-29T14:43:27.168544+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 suffix using r[i+2:] if link else r[i:] under the stated bounded certificate contract.","root_cause":"Binomial carry consumes precisely the linked pair.","sha256":"049da8430813e56bc7f8100ff9da54f5b00dc0b4fc0685dadf3bcf91d3f1e0ee","title":"Binomial carry consumes precisely the linked pair · case 01","variant":1,"variant_policy":"Six explicit regression certificates are retained; a seventh changes structural size, position, priority, or bounds with N.","verification":{"attempt":{"elapsed_ms":40.221,"exit_code":1,"observations":[{"actual":{"carry_rank":null,"current":null,"defer":false,"link_now":false,"partner":null,"suffix":[]},"check":"regression certificate 1","expected":{"carry_rank":null,"current":null,"defer":false,"link_now":false,"partner":null,"suffix":[]},"passed":true},{"actual":{"carry_rank":1,"current":0,"defer":false,"link_now":true,"partner":1,"suffix":[]},"check":"regression certificate 2","expected":{"carry_rank":1,"current":0,"defer":false,"link_now":true,"partner":1,"suffix":[]},"passed":true},{"actual":{"carry_rank":null,"current":0,"defer":true,"link_now":false,"partner":null,"suffix":[0,0,0,2]},"check":"regression certificate 3","expected":{"carry_rank":null,"current":0,"defer":true,"link_now":false,"partner":null,"suffix":[0,0,0,2]},"passed":true},{"actual":{"carry_rank":2,"current":1,"defer":false,"link_now":true,"partner":2,"suffix":[]},"check":"regression certificate 4","expected":{"carry_rank":2,"current":1,"defer":false,"link_now":true,"partner":2,"suffix":[3]},"passed":false},{"actual":{"carry_rank":3,"current":2,"defer":false,"link_now":true,"partner":2,"suffix":[5]},"check":"regression certificate 5","expected":{"carry_rank":3,"current":2,"defer":false,"link_now":true,"partner":2,"suffix":[4,5]},"passed":false},{"actual":{"carry_rank":null,"current":0,"defer":false,"link_now":false,"partner":null,"suffix":[0,1,1,2]},"check":"regression certificate 6","expected":{"carry_rank":null,"current":0,"defer":false,"link_now":false,"partner":null,"suffix":[0,1,1,2]},"passed":true},{"actual":{"carry_rank":null,"current":1,"defer":false,"link_now":false,"partner":null,"suffix":[1,2,2,3]},"check":"variant-dependent certificate","expected":{"carry_rank":null,"current":1,"defer":false,"link_now":false,"partner":null,"suffix":[1,2,2,3]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"link_now\": false, \"current\": null, \"carry_rank\": null, \"suffix\": [], \"defer\": false, \"partner\": null}, \"expected\": {\"link_now\": false, \"current\": null, \"carry_rank\": null, \"suffix\": [], \"defer\": false, \"partner\": null}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"link_now\": true, \"current\": 0, \"carry_rank\": 1, \"suffix\": [], \"defer\": false, \"partner\": 1}, \"expected\": {\"link_now\": true, \"current\": 0, \"carry_rank\": 1, \"suffix\": [], \"defer\": false, \"partner\": 1}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"link_now\": false, \"current\": 0, \"carry_rank\": null, \"suffix\": [0, 0, 0, 2], \"defer\": true, \"partner\": null}, \"expected\": {\"link_now\": false, \"current\": 0, \"carry_rank\": null, \"suffix\": [0, 0, 0, 2], \"defer\": true, \"partner\": null}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"link_now\": true, \"current\": 1, \"carry_rank\": 2, \"suffix\": [], \"defer\": false, \"partner\": 2}, \"expected\": {\"link_now\": true, \"current\": 1, \"carry_rank\": 2, \"suffix\": [3], \"defer\": false, \"partner\": 2}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"link_now\": true, \"current\": 2, \"carry_rank\": 3, \"suffix\": [5], \"defer\": false, \"partner\": 2}, \"expected\": {\"link_now\": true, \"current\": 2, \"carry_rank\": 3, \"suffix\": [4, 5], \"defer\": false, \"partner\": 2}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"link_now\": false, \"current\": 0, \"carry_rank\": null, \"suffix\": [0, 1, 1, 2], \"defer\": false, \"partner\": null}, \"expected\": {\"link_now\": false, \"current\": 0, \"carry_rank\": null, \"suffix\": [0, 1, 1, 2], \"defer\": false, \"partner\": null}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"link_now\": false, \"current\": 1, \"carry_rank\": null, \"suffix\": [1, 2, 2, 3], \"defer\": false, \"partner\": null}, \"expected\": {\"link_now\": false, \"current\": 1, \"carry_rank\": null, \"suffix\": [1, 2, 2, 3], \"defer\": false, \"partner\": null}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.209,"exit_code":1,"observations":[{"actual":{"carry_rank":null,"current":null,"defer":false,"link_now":false,"partner":null,"suffix":[]},"check":"regression certificate 1","expected":{"carry_rank":null,"current":null,"defer":false,"link_now":false,"partner":null,"suffix":[]},"passed":true},{"actual":{"carry_rank":1,"current":0,"defer":false,"link_now":true,"partner":1,"suffix":[0]},"check":"regression certificate 2","expected":{"carry_rank":1,"current":0,"defer":false,"link_now":true,"partner":1,"suffix":[]},"passed":false},{"actual":{"carry_rank":null,"current":0,"defer":true,"link_now":false,"partner":null,"suffix":[0,0,0,2]},"check":"regression certificate 3","expected":{"carry_rank":null,"current":0,"defer":true,"link_now":false,"partner":null,"suffix":[0,0,0,2]},"passed":true},{"actual":{"carry_rank":2,"current":1,"defer":false,"link_now":true,"partner":2,"suffix":[1,3]},"check":"regression certificate 4","expected":{"carry_rank":2,"current":1,"defer":false,"link_now":true,"partner":2,"suffix":[3]},"passed":false},{"actual":{"carry_rank":3,"current":2,"defer":false,"link_now":true,"partner":2,"suffix":[2,4,5]},"check":"regression certificate 5","expected":{"carry_rank":3,"current":2,"defer":false,"link_now":true,"partner":2,"suffix":[4,5]},"passed":false},{"actual":{"carry_rank":null,"current":0,"defer":false,"link_now":false,"partner":null,"suffix":[0,1,1,2]},"check":"regression certificate 6","expected":{"carry_rank":null,"current":0,"defer":false,"link_now":false,"partner":null,"suffix":[0,1,1,2]},"passed":true},{"actual":{"carry_rank":null,"current":1,"defer":false,"link_now":false,"partner":null,"suffix":[1,2,2,3]},"check":"variant-dependent certificate","expected":{"carry_rank":null,"current":1,"defer":false,"link_now":false,"partner":null,"suffix":[1,2,2,3]},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"link_now\": false, \"current\": null, \"carry_rank\": null, \"suffix\": [], \"defer\": false, \"partner\": null}, \"expected\": {\"link_now\": false, \"current\": null, \"carry_rank\": null, \"suffix\": [], \"defer\": false, \"partner\": null}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"link_now\": true, \"current\": 0, \"carry_rank\": 1, \"suffix\": [0], \"defer\": false, \"partner\": 1}, \"expected\": {\"link_now\": true, \"current\": 0, \"carry_rank\": 1, \"suffix\": [], \"defer\": false, \"partner\": 1}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"link_now\": false, \"current\": 0, \"carry_rank\": null, \"suffix\": [0, 0, 0, 2], \"defer\": true, \"partner\": null}, \"expected\": {\"link_now\": false, \"current\": 0, \"carry_rank\": null, \"suffix\": [0, 0, 0, 2], \"defer\": true, \"partner\": null}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"link_now\": true, \"current\": 1, \"carry_rank\": 2, \"suffix\": [1, 3], \"defer\": false, \"partner\": 2}, \"expected\": {\"link_now\": true, \"current\": 1, \"carry_rank\": 2, \"suffix\": [3], \"defer\": false, \"partner\": 2}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"link_now\": true, \"current\": 2, \"carry_rank\": 3, \"suffix\": [2, 4, 5], \"defer\": false, \"partner\": 2}, \"expected\": {\"link_now\": true, \"current\": 2, \"carry_rank\": 3, \"suffix\": [4, 5], \"defer\": false, \"partner\": 2}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"link_now\": false, \"current\": 0, \"carry_rank\": null, \"suffix\": [0, 1, 1, 2], \"defer\": false, \"partner\": null}, \"expected\": {\"link_now\": false, \"current\": 0, \"carry_rank\": null, \"suffix\": [0, 1, 1, 2], \"defer\": false, \"partner\": null}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"link_now\": false, \"current\": 1, \"carry_rank\": null, \"suffix\": [1, 2, 2, 3], \"defer\": false, \"partner\": null}, \"expected\": {\"link_now\": false, \"current\": 1, \"carry_rank\": null, \"suffix\": [1, 2, 2, 3], \"defer\": false, \"partner\": null}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.539,"exit_code":0,"observations":[{"actual":{"carry_rank":null,"current":null,"defer":false,"link_now":false,"partner":null,"suffix":[]},"check":"regression certificate 1","expected":{"carry_rank":null,"current":null,"defer":false,"link_now":false,"partner":null,"suffix":[]},"passed":true},{"actual":{"carry_rank":1,"current":0,"defer":false,"link_now":true,"partner":1,"suffix":[]},"check":"regression certificate 2","expected":{"carry_rank":1,"current":0,"defer":false,"link_now":true,"partner":1,"suffix":[]},"passed":true},{"actual":{"carry_rank":null,"current":0,"defer":true,"link_now":false,"partner":null,"suffix":[0,0,0,2]},"check":"regression certificate 3","expected":{"carry_rank":null,"current":0,"defer":true,"link_now":false,"partner":null,"suffix":[0,0,0,2]},"passed":true},{"actual":{"carry_rank":2,"current":1,"defer":false,"link_now":true,"partner":2,"suffix":[3]},"check":"regression certificate 4","expected":{"carry_rank":2,"current":1,"defer":false,"link_now":true,"partner":2,"suffix":[3]},"passed":true},{"actual":{"carry_rank":3,"current":2,"defer":false,"link_now":true,"partner":2,"suffix":[4,5]},"check":"regression certificate 5","expected":{"carry_rank":3,"current":2,"defer":false,"link_now":true,"partner":2,"suffix":[4,5]},"passed":true},{"actual":{"carry_rank":null,"current":0,"defer":false,"link_now":false,"partner":null,"suffix":[0,1,1,2]},"check":"regression certificate 6","expected":{"carry_rank":null,"current":0,"defer":false,"link_now":false,"partner":null,"suffix":[0,1,1,2]},"passed":true},{"actual":{"carry_rank":null,"current":1,"defer":false,"link_now":false,"partner":null,"suffix":[1,2,2,3]},"check":"variant-dependent certificate","expected":{"carry_rank":null,"current":1,"defer":false,"link_now":false,"partner":null,"suffix":[1,2,2,3]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"link_now\": false, \"current\": null, \"carry_rank\": null, \"suffix\": [], \"defer\": false, \"partner\": null}, \"expected\": {\"link_now\": false, \"current\": null, \"carry_rank\": null, \"suffix\": [], \"defer\": false, \"partner\": null}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"link_now\": true, \"current\": 0, \"carry_rank\": 1, \"suffix\": [], \"defer\": false, \"partner\": 1}, \"expected\": {\"link_now\": true, \"current\": 0, \"carry_rank\": 1, \"suffix\": [], \"defer\": false, \"partner\": 1}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"link_now\": false, \"current\": 0, \"carry_rank\": null, \"suffix\": [0, 0, 0, 2], \"defer\": true, \"partner\": null}, \"expected\": {\"link_now\": false, \"current\": 0, \"carry_rank\": null, \"suffix\": [0, 0, 0, 2], \"defer\": true, \"partner\": null}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"link_now\": true, \"current\": 1, \"carry_rank\": 2, \"suffix\": [3], \"defer\": false, \"partner\": 2}, \"expected\": {\"link_now\": true, \"current\": 1, \"carry_rank\": 2, \"suffix\": [3], \"defer\": false, \"partner\": 2}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"link_now\": true, \"current\": 2, \"carry_rank\": 3, \"suffix\": [4, 5], \"defer\": false, \"partner\": 2}, \"expected\": {\"link_now\": true, \"current\": 2, \"carry_rank\": 3, \"suffix\": [4, 5], \"defer\": false, \"partner\": 2}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"link_now\": false, \"current\": 0, \"carry_rank\": null, \"suffix\": [0, 1, 1, 2], \"defer\": false, \"partner\": null}, \"expected\": {\"link_now\": false, \"current\": 0, \"carry_rank\": null, \"suffix\": [0, 1, 1, 2], \"defer\": false, \"partner\": null}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"link_now\": false, \"current\": 1, \"carry_rank\": null, \"suffix\": [1, 2, 2, 3], \"defer\": false, \"partner\": null}, \"expected\": {\"link_now\": false, \"current\": 1, \"carry_rank\": null, \"suffix\": [1, 2, 2, 3], \"defer\": false, \"partner\": null}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}