{"abstract":"The bounded dial window certificate reports an incorrect buckets.","category":"Heap invariants","checks":7,"contract":"A cyclic integer bucket queue with ring size C stores entries [id,absolute_key]. Cursor is last extracted absolute key. Only keys in [cursor,cursor+C) are in the active window. Report physical bucket indices, expired ids, future-window ids, next active key, rotation distance, and active ids in absolute-key order. Same-slot values from later revolutions must not be delivered.","evaluation_group":"s3-heap-model-dial-window","failed_approach":"The local patch uses [[x[0],x[1]//c] for x in a] and still violates the stated relation.","family":"s3-heap-dial-window-buckets","id":"FA-40861","implementations":{"attempt":{"sha256":"8b1412459cf1d944dc58cb512fcb4efd85ee136924f327e580278b69afb370d5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['entries']; c=d['capacity']; cursor=d['cursor']; active=[x for x in a if cursor<=x[1]<cursor+c]; nxt=min((x[1] for x in active),default=None)\n    return {'buckets': [[x[0],x[1]//c] for x in a],\n    'expired': [x[0] for x in a if x[1]<cursor],\n    'future': [x[0] for x in a if x[1]>=cursor+c],\n    'next': nxt,\n    'advance': None if nxt is None else nxt-cursor,\n    'active_order': [x[0] for x in sorted(active,key=lambda x:x[1])]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'capacity': 4, 'cursor': 0, 'entries': []}, {'buckets': [], 'expired': [], 'future': [], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 4, 'cursor': 3, 'entries': [['a', 4], ['b', 5], ['c', 7]]}, {'buckets': [['a', 0], ['b', 1], ['c', 3]], 'expired': [], 'future': ['c'], 'next': 4, 'advance': 1, 'active_order': ['a', 'b']}), ({'capacity': 5, 'cursor': 8, 'entries': [['a', 12], ['b', 9], ['c', 7], ['d', 13]]}, {'buckets': [['a', 2], ['b', 4], ['c', 2], ['d', 3]], 'expired': ['c'], 'future': ['d'], 'next': 9, 'advance': 1, 'active_order': ['b', 'a']}), ({'capacity': 3, 'cursor': 4, 'entries': [['a', 6], ['b', 5], ['c', 4]]}, {'buckets': [['a', 0], ['b', 2], ['c', 1]], 'expired': [], 'future': [], 'next': 4, 'advance': 0, 'active_order': ['c', 'b', 'a']}), ({'capacity': 4, 'cursor': 6, 'entries': [['a', 10], ['b', 2]]}, {'buckets': [['a', 2], ['b', 2]], 'expired': ['b'], 'future': ['a'], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 8, 'cursor': 7, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': [], 'future': [], 'next': 7, 'advance': 0, 'active_order': ['c', 'b', 'a', 'd']}), ({'capacity': 8, 'cursor': 8, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': ['c'], 'future': [], 'next': 8, 'advance': 0, 'active_order': ['b', 'a', 'd']})], [({'capacity': 4, 'cursor': 0, 'entries': []}, {'buckets': [], 'expired': [], 'future': [], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 4, 'cursor': 3, 'entries': [['a', 4], ['b', 5], ['c', 7]]}, {'buckets': [['a', 0], ['b', 1], ['c', 3]], 'expired': [], 'future': ['c'], 'next': 4, 'advance': 1, 'active_order': ['a', 'b']}), ({'capacity': 5, 'cursor': 8, 'entries': [['a', 12], ['b', 9], ['c', 7], ['d', 13]]}, {'buckets': [['a', 2], ['b', 4], ['c', 2], ['d', 3]], 'expired': ['c'], 'future': ['d'], 'next': 9, 'advance': 1, 'active_order': ['b', 'a']}), ({'capacity': 3, 'cursor': 4, 'entries': [['a', 6], ['b', 5], ['c', 4]]}, {'buckets': [['a', 0], ['b', 2], ['c', 1]], 'expired': [], 'future': [], 'next': 4, 'advance': 0, 'active_order': ['c', 'b', 'a']}), ({'capacity': 4, 'cursor': 6, 'entries': [['a', 10], ['b', 2]]}, {'buckets': [['a', 2], ['b', 2]], 'expired': ['b'], 'future': ['a'], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 8, 'cursor': 7, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': [], 'future': [], 'next': 7, 'advance': 0, 'active_order': ['c', 'b', 'a', 'd']}), ({'capacity': 8, 'cursor': 9, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': ['b', 'c'], 'future': [], 'next': 9, 'advance': 0, 'active_order': ['a', 'd']})], [({'capacity': 4, 'cursor': 0, 'entries': []}, {'buckets': [], 'expired': [], 'future': [], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 4, 'cursor': 3, 'entries': [['a', 4], ['b', 5], ['c', 7]]}, {'buckets': [['a', 0], ['b', 1], ['c', 3]], 'expired': [], 'future': ['c'], 'next': 4, 'advance': 1, 'active_order': ['a', 'b']}), ({'capacity': 5, 'cursor': 8, 'entries': [['a', 12], ['b', 9], ['c', 7], ['d', 13]]}, {'buckets': [['a', 2], ['b', 4], ['c', 2], ['d', 3]], 'expired': ['c'], 'future': ['d'], 'next': 9, 'advance': 1, 'active_order': ['b', 'a']}), ({'capacity': 3, 'cursor': 4, 'entries': [['a', 6], ['b', 5], ['c', 4]]}, {'buckets': [['a', 0], ['b', 2], ['c', 1]], 'expired': [], 'future': [], 'next': 4, 'advance': 0, 'active_order': ['c', 'b', 'a']}), ({'capacity': 4, 'cursor': 6, 'entries': [['a', 10], ['b', 2]]}, {'buckets': [['a', 2], ['b', 2]], 'expired': ['b'], 'future': ['a'], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 8, 'cursor': 7, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': [], 'future': [], 'next': 7, 'advance': 0, 'active_order': ['c', 'b', 'a', 'd']}), ({'capacity': 8, 'cursor': 10, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': ['a', 'b', 'c'], 'future': [], 'next': 14, 'advance': 4, 'active_order': ['d']})], [({'capacity': 4, 'cursor': 0, 'entries': []}, {'buckets': [], 'expired': [], 'future': [], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 4, 'cursor': 3, 'entries': [['a', 4], ['b', 5], ['c', 7]]}, {'buckets': [['a', 0], ['b', 1], ['c', 3]], 'expired': [], 'future': ['c'], 'next': 4, 'advance': 1, 'active_order': ['a', 'b']}), ({'capacity': 5, 'cursor': 8, 'entries': [['a', 12], ['b', 9], ['c', 7], ['d', 13]]}, {'buckets': [['a', 2], ['b', 4], ['c', 2], ['d', 3]], 'expired': ['c'], 'future': ['d'], 'next': 9, 'advance': 1, 'active_order': ['b', 'a']}), ({'capacity': 3, 'cursor': 4, 'entries': [['a', 6], ['b', 5], ['c', 4]]}, {'buckets': [['a', 0], ['b', 2], ['c', 1]], 'expired': [], 'future': [], 'next': 4, 'advance': 0, 'active_order': ['c', 'b', 'a']}), ({'capacity': 4, 'cursor': 6, 'entries': [['a', 10], ['b', 2]]}, {'buckets': [['a', 2], ['b', 2]], 'expired': ['b'], 'future': ['a'], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 8, 'cursor': 7, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': [], 'future': [], 'next': 7, 'advance': 0, 'active_order': ['c', 'b', 'a', 'd']}), ({'capacity': 8, 'cursor': 11, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': ['a', 'b', 'c'], 'future': [], 'next': 14, 'advance': 3, 'active_order': ['d']})], [({'capacity': 4, 'cursor': 0, 'entries': []}, {'buckets': [], 'expired': [], 'future': [], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 4, 'cursor': 3, 'entries': [['a', 4], ['b', 5], ['c', 7]]}, {'buckets': [['a', 0], ['b', 1], ['c', 3]], 'expired': [], 'future': ['c'], 'next': 4, 'advance': 1, 'active_order': ['a', 'b']}), ({'capacity': 5, 'cursor': 8, 'entries': [['a', 12], ['b', 9], ['c', 7], ['d', 13]]}, {'buckets': [['a', 2], ['b', 4], ['c', 2], ['d', 3]], 'expired': ['c'], 'future': ['d'], 'next': 9, 'advance': 1, 'active_order': ['b', 'a']}), ({'capacity': 3, 'cursor': 4, 'entries': [['a', 6], ['b', 5], ['c', 4]]}, {'buckets': [['a', 0], ['b', 2], ['c', 1]], 'expired': [], 'future': [], 'next': 4, 'advance': 0, 'active_order': ['c', 'b', 'a']}), ({'capacity': 4, 'cursor': 6, 'entries': [['a', 10], ['b', 2]]}, {'buckets': [['a', 2], ['b', 2]], 'expired': ['b'], 'future': ['a'], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 8, 'cursor': 7, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': [], 'future': [], 'next': 7, 'advance': 0, 'active_order': ['c', 'b', 'a', 'd']}), ({'capacity': 8, 'cursor': 12, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': ['a', 'b', 'c'], 'future': [], 'next': 14, 'advance': 2, 'active_order': ['d']})]][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":"16aeeb00d32773c167a26723979ccb4cc634ccc2e10a2a54218d3163b32f9f5f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['entries']; c=d['capacity']; cursor=d['cursor']; active=[x for x in a if cursor<=x[1]<cursor+c]; nxt=min((x[1] for x in active),default=None)\n    return {'buckets': [[x[0],(x[1]-cursor)%c] for x in a],\n    'expired': [x[0] for x in a if x[1]<cursor],\n    'future': [x[0] for x in a if x[1]>=cursor+c],\n    'next': nxt,\n    'advance': None if nxt is None else nxt-cursor,\n    'active_order': [x[0] for x in sorted(active,key=lambda x:x[1])]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'capacity': 4, 'cursor': 0, 'entries': []}, {'buckets': [], 'expired': [], 'future': [], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 4, 'cursor': 3, 'entries': [['a', 4], ['b', 5], ['c', 7]]}, {'buckets': [['a', 0], ['b', 1], ['c', 3]], 'expired': [], 'future': ['c'], 'next': 4, 'advance': 1, 'active_order': ['a', 'b']}), ({'capacity': 5, 'cursor': 8, 'entries': [['a', 12], ['b', 9], ['c', 7], ['d', 13]]}, {'buckets': [['a', 2], ['b', 4], ['c', 2], ['d', 3]], 'expired': ['c'], 'future': ['d'], 'next': 9, 'advance': 1, 'active_order': ['b', 'a']}), ({'capacity': 3, 'cursor': 4, 'entries': [['a', 6], ['b', 5], ['c', 4]]}, {'buckets': [['a', 0], ['b', 2], ['c', 1]], 'expired': [], 'future': [], 'next': 4, 'advance': 0, 'active_order': ['c', 'b', 'a']}), ({'capacity': 4, 'cursor': 6, 'entries': [['a', 10], ['b', 2]]}, {'buckets': [['a', 2], ['b', 2]], 'expired': ['b'], 'future': ['a'], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 8, 'cursor': 7, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': [], 'future': [], 'next': 7, 'advance': 0, 'active_order': ['c', 'b', 'a', 'd']}), ({'capacity': 8, 'cursor': 8, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': ['c'], 'future': [], 'next': 8, 'advance': 0, 'active_order': ['b', 'a', 'd']})], [({'capacity': 4, 'cursor': 0, 'entries': []}, {'buckets': [], 'expired': [], 'future': [], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 4, 'cursor': 3, 'entries': [['a', 4], ['b', 5], ['c', 7]]}, {'buckets': [['a', 0], ['b', 1], ['c', 3]], 'expired': [], 'future': ['c'], 'next': 4, 'advance': 1, 'active_order': ['a', 'b']}), ({'capacity': 5, 'cursor': 8, 'entries': [['a', 12], ['b', 9], ['c', 7], ['d', 13]]}, {'buckets': [['a', 2], ['b', 4], ['c', 2], ['d', 3]], 'expired': ['c'], 'future': ['d'], 'next': 9, 'advance': 1, 'active_order': ['b', 'a']}), ({'capacity': 3, 'cursor': 4, 'entries': [['a', 6], ['b', 5], ['c', 4]]}, {'buckets': [['a', 0], ['b', 2], ['c', 1]], 'expired': [], 'future': [], 'next': 4, 'advance': 0, 'active_order': ['c', 'b', 'a']}), ({'capacity': 4, 'cursor': 6, 'entries': [['a', 10], ['b', 2]]}, {'buckets': [['a', 2], ['b', 2]], 'expired': ['b'], 'future': ['a'], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 8, 'cursor': 7, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': [], 'future': [], 'next': 7, 'advance': 0, 'active_order': ['c', 'b', 'a', 'd']}), ({'capacity': 8, 'cursor': 9, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': ['b', 'c'], 'future': [], 'next': 9, 'advance': 0, 'active_order': ['a', 'd']})], [({'capacity': 4, 'cursor': 0, 'entries': []}, {'buckets': [], 'expired': [], 'future': [], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 4, 'cursor': 3, 'entries': [['a', 4], ['b', 5], ['c', 7]]}, {'buckets': [['a', 0], ['b', 1], ['c', 3]], 'expired': [], 'future': ['c'], 'next': 4, 'advance': 1, 'active_order': ['a', 'b']}), ({'capacity': 5, 'cursor': 8, 'entries': [['a', 12], ['b', 9], ['c', 7], ['d', 13]]}, {'buckets': [['a', 2], ['b', 4], ['c', 2], ['d', 3]], 'expired': ['c'], 'future': ['d'], 'next': 9, 'advance': 1, 'active_order': ['b', 'a']}), ({'capacity': 3, 'cursor': 4, 'entries': [['a', 6], ['b', 5], ['c', 4]]}, {'buckets': [['a', 0], ['b', 2], ['c', 1]], 'expired': [], 'future': [], 'next': 4, 'advance': 0, 'active_order': ['c', 'b', 'a']}), ({'capacity': 4, 'cursor': 6, 'entries': [['a', 10], ['b', 2]]}, {'buckets': [['a', 2], ['b', 2]], 'expired': ['b'], 'future': ['a'], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 8, 'cursor': 7, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': [], 'future': [], 'next': 7, 'advance': 0, 'active_order': ['c', 'b', 'a', 'd']}), ({'capacity': 8, 'cursor': 10, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': ['a', 'b', 'c'], 'future': [], 'next': 14, 'advance': 4, 'active_order': ['d']})], [({'capacity': 4, 'cursor': 0, 'entries': []}, {'buckets': [], 'expired': [], 'future': [], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 4, 'cursor': 3, 'entries': [['a', 4], ['b', 5], ['c', 7]]}, {'buckets': [['a', 0], ['b', 1], ['c', 3]], 'expired': [], 'future': ['c'], 'next': 4, 'advance': 1, 'active_order': ['a', 'b']}), ({'capacity': 5, 'cursor': 8, 'entries': [['a', 12], ['b', 9], ['c', 7], ['d', 13]]}, {'buckets': [['a', 2], ['b', 4], ['c', 2], ['d', 3]], 'expired': ['c'], 'future': ['d'], 'next': 9, 'advance': 1, 'active_order': ['b', 'a']}), ({'capacity': 3, 'cursor': 4, 'entries': [['a', 6], ['b', 5], ['c', 4]]}, {'buckets': [['a', 0], ['b', 2], ['c', 1]], 'expired': [], 'future': [], 'next': 4, 'advance': 0, 'active_order': ['c', 'b', 'a']}), ({'capacity': 4, 'cursor': 6, 'entries': [['a', 10], ['b', 2]]}, {'buckets': [['a', 2], ['b', 2]], 'expired': ['b'], 'future': ['a'], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 8, 'cursor': 7, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': [], 'future': [], 'next': 7, 'advance': 0, 'active_order': ['c', 'b', 'a', 'd']}), ({'capacity': 8, 'cursor': 11, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': ['a', 'b', 'c'], 'future': [], 'next': 14, 'advance': 3, 'active_order': ['d']})], [({'capacity': 4, 'cursor': 0, 'entries': []}, {'buckets': [], 'expired': [], 'future': [], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 4, 'cursor': 3, 'entries': [['a', 4], ['b', 5], ['c', 7]]}, {'buckets': [['a', 0], ['b', 1], ['c', 3]], 'expired': [], 'future': ['c'], 'next': 4, 'advance': 1, 'active_order': ['a', 'b']}), ({'capacity': 5, 'cursor': 8, 'entries': [['a', 12], ['b', 9], ['c', 7], ['d', 13]]}, {'buckets': [['a', 2], ['b', 4], ['c', 2], ['d', 3]], 'expired': ['c'], 'future': ['d'], 'next': 9, 'advance': 1, 'active_order': ['b', 'a']}), ({'capacity': 3, 'cursor': 4, 'entries': [['a', 6], ['b', 5], ['c', 4]]}, {'buckets': [['a', 0], ['b', 2], ['c', 1]], 'expired': [], 'future': [], 'next': 4, 'advance': 0, 'active_order': ['c', 'b', 'a']}), ({'capacity': 4, 'cursor': 6, 'entries': [['a', 10], ['b', 2]]}, {'buckets': [['a', 2], ['b', 2]], 'expired': ['b'], 'future': ['a'], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 8, 'cursor': 7, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': [], 'future': [], 'next': 7, 'advance': 0, 'active_order': ['c', 'b', 'a', 'd']}), ({'capacity': 8, 'cursor': 12, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': ['a', 'b', 'c'], 'future': [], 'next': 14, 'advance': 2, 'active_order': ['d']})]][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":"3acbaca2024968c4790b45889d17305c0c8ee2a4ec85d17eb6fcc74607a2521b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    a=d['entries']; c=d['capacity']; cursor=d['cursor']; active=[x for x in a if cursor<=x[1]<cursor+c]; nxt=min((x[1] for x in active),default=None)\n    return {'buckets': [[x[0],x[1]%c] for x in a],\n    'expired': [x[0] for x in a if x[1]<cursor],\n    'future': [x[0] for x in a if x[1]>=cursor+c],\n    'next': nxt,\n    'advance': None if nxt is None else nxt-cursor,\n    'active_order': [x[0] for x in sorted(active,key=lambda x:x[1])]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'capacity': 4, 'cursor': 0, 'entries': []}, {'buckets': [], 'expired': [], 'future': [], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 4, 'cursor': 3, 'entries': [['a', 4], ['b', 5], ['c', 7]]}, {'buckets': [['a', 0], ['b', 1], ['c', 3]], 'expired': [], 'future': ['c'], 'next': 4, 'advance': 1, 'active_order': ['a', 'b']}), ({'capacity': 5, 'cursor': 8, 'entries': [['a', 12], ['b', 9], ['c', 7], ['d', 13]]}, {'buckets': [['a', 2], ['b', 4], ['c', 2], ['d', 3]], 'expired': ['c'], 'future': ['d'], 'next': 9, 'advance': 1, 'active_order': ['b', 'a']}), ({'capacity': 3, 'cursor': 4, 'entries': [['a', 6], ['b', 5], ['c', 4]]}, {'buckets': [['a', 0], ['b', 2], ['c', 1]], 'expired': [], 'future': [], 'next': 4, 'advance': 0, 'active_order': ['c', 'b', 'a']}), ({'capacity': 4, 'cursor': 6, 'entries': [['a', 10], ['b', 2]]}, {'buckets': [['a', 2], ['b', 2]], 'expired': ['b'], 'future': ['a'], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 8, 'cursor': 7, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': [], 'future': [], 'next': 7, 'advance': 0, 'active_order': ['c', 'b', 'a', 'd']}), ({'capacity': 8, 'cursor': 8, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': ['c'], 'future': [], 'next': 8, 'advance': 0, 'active_order': ['b', 'a', 'd']})], [({'capacity': 4, 'cursor': 0, 'entries': []}, {'buckets': [], 'expired': [], 'future': [], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 4, 'cursor': 3, 'entries': [['a', 4], ['b', 5], ['c', 7]]}, {'buckets': [['a', 0], ['b', 1], ['c', 3]], 'expired': [], 'future': ['c'], 'next': 4, 'advance': 1, 'active_order': ['a', 'b']}), ({'capacity': 5, 'cursor': 8, 'entries': [['a', 12], ['b', 9], ['c', 7], ['d', 13]]}, {'buckets': [['a', 2], ['b', 4], ['c', 2], ['d', 3]], 'expired': ['c'], 'future': ['d'], 'next': 9, 'advance': 1, 'active_order': ['b', 'a']}), ({'capacity': 3, 'cursor': 4, 'entries': [['a', 6], ['b', 5], ['c', 4]]}, {'buckets': [['a', 0], ['b', 2], ['c', 1]], 'expired': [], 'future': [], 'next': 4, 'advance': 0, 'active_order': ['c', 'b', 'a']}), ({'capacity': 4, 'cursor': 6, 'entries': [['a', 10], ['b', 2]]}, {'buckets': [['a', 2], ['b', 2]], 'expired': ['b'], 'future': ['a'], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 8, 'cursor': 7, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': [], 'future': [], 'next': 7, 'advance': 0, 'active_order': ['c', 'b', 'a', 'd']}), ({'capacity': 8, 'cursor': 9, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': ['b', 'c'], 'future': [], 'next': 9, 'advance': 0, 'active_order': ['a', 'd']})], [({'capacity': 4, 'cursor': 0, 'entries': []}, {'buckets': [], 'expired': [], 'future': [], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 4, 'cursor': 3, 'entries': [['a', 4], ['b', 5], ['c', 7]]}, {'buckets': [['a', 0], ['b', 1], ['c', 3]], 'expired': [], 'future': ['c'], 'next': 4, 'advance': 1, 'active_order': ['a', 'b']}), ({'capacity': 5, 'cursor': 8, 'entries': [['a', 12], ['b', 9], ['c', 7], ['d', 13]]}, {'buckets': [['a', 2], ['b', 4], ['c', 2], ['d', 3]], 'expired': ['c'], 'future': ['d'], 'next': 9, 'advance': 1, 'active_order': ['b', 'a']}), ({'capacity': 3, 'cursor': 4, 'entries': [['a', 6], ['b', 5], ['c', 4]]}, {'buckets': [['a', 0], ['b', 2], ['c', 1]], 'expired': [], 'future': [], 'next': 4, 'advance': 0, 'active_order': ['c', 'b', 'a']}), ({'capacity': 4, 'cursor': 6, 'entries': [['a', 10], ['b', 2]]}, {'buckets': [['a', 2], ['b', 2]], 'expired': ['b'], 'future': ['a'], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 8, 'cursor': 7, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': [], 'future': [], 'next': 7, 'advance': 0, 'active_order': ['c', 'b', 'a', 'd']}), ({'capacity': 8, 'cursor': 10, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': ['a', 'b', 'c'], 'future': [], 'next': 14, 'advance': 4, 'active_order': ['d']})], [({'capacity': 4, 'cursor': 0, 'entries': []}, {'buckets': [], 'expired': [], 'future': [], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 4, 'cursor': 3, 'entries': [['a', 4], ['b', 5], ['c', 7]]}, {'buckets': [['a', 0], ['b', 1], ['c', 3]], 'expired': [], 'future': ['c'], 'next': 4, 'advance': 1, 'active_order': ['a', 'b']}), ({'capacity': 5, 'cursor': 8, 'entries': [['a', 12], ['b', 9], ['c', 7], ['d', 13]]}, {'buckets': [['a', 2], ['b', 4], ['c', 2], ['d', 3]], 'expired': ['c'], 'future': ['d'], 'next': 9, 'advance': 1, 'active_order': ['b', 'a']}), ({'capacity': 3, 'cursor': 4, 'entries': [['a', 6], ['b', 5], ['c', 4]]}, {'buckets': [['a', 0], ['b', 2], ['c', 1]], 'expired': [], 'future': [], 'next': 4, 'advance': 0, 'active_order': ['c', 'b', 'a']}), ({'capacity': 4, 'cursor': 6, 'entries': [['a', 10], ['b', 2]]}, {'buckets': [['a', 2], ['b', 2]], 'expired': ['b'], 'future': ['a'], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 8, 'cursor': 7, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': [], 'future': [], 'next': 7, 'advance': 0, 'active_order': ['c', 'b', 'a', 'd']}), ({'capacity': 8, 'cursor': 11, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': ['a', 'b', 'c'], 'future': [], 'next': 14, 'advance': 3, 'active_order': ['d']})], [({'capacity': 4, 'cursor': 0, 'entries': []}, {'buckets': [], 'expired': [], 'future': [], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 4, 'cursor': 3, 'entries': [['a', 4], ['b', 5], ['c', 7]]}, {'buckets': [['a', 0], ['b', 1], ['c', 3]], 'expired': [], 'future': ['c'], 'next': 4, 'advance': 1, 'active_order': ['a', 'b']}), ({'capacity': 5, 'cursor': 8, 'entries': [['a', 12], ['b', 9], ['c', 7], ['d', 13]]}, {'buckets': [['a', 2], ['b', 4], ['c', 2], ['d', 3]], 'expired': ['c'], 'future': ['d'], 'next': 9, 'advance': 1, 'active_order': ['b', 'a']}), ({'capacity': 3, 'cursor': 4, 'entries': [['a', 6], ['b', 5], ['c', 4]]}, {'buckets': [['a', 0], ['b', 2], ['c', 1]], 'expired': [], 'future': [], 'next': 4, 'advance': 0, 'active_order': ['c', 'b', 'a']}), ({'capacity': 4, 'cursor': 6, 'entries': [['a', 10], ['b', 2]]}, {'buckets': [['a', 2], ['b', 2]], 'expired': ['b'], 'future': ['a'], 'next': None, 'advance': None, 'active_order': []}), ({'capacity': 8, 'cursor': 7, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': [], 'future': [], 'next': 7, 'advance': 0, 'active_order': ['c', 'b', 'a', 'd']}), ({'capacity': 8, 'cursor': 12, 'entries': [['a', 9], ['b', 8], ['c', 7], ['d', 14]]}, {'buckets': [['a', 1], ['b', 0], ['c', 7], ['d', 6]], 'expired': ['a', 'b', 'c'], 'future': [], 'next': 14, 'advance': 2, 'active_order': ['d']})]][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-dial-window-buckets","generated_at":"2026-09-29T14:43:35.150290+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 buckets using [[x[0],x[1]%c] for x in a] under the stated bounded certificate contract.","root_cause":"Cyclic priority buckets use absolute-key residue independent of the current cursor.","sha256":"eaf983ed605eb375eb44915812c7201366841a37d911774b67fcdca8796743cf","title":"Cyclic priority buckets use absolute-key residue independent of the current cursor · 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":42.707,"exit_code":1,"observations":[{"actual":{"active_order":[],"advance":null,"buckets":[],"expired":[],"future":[],"next":null},"check":"regression certificate 1","expected":{"active_order":[],"advance":null,"buckets":[],"expired":[],"future":[],"next":null},"passed":true},{"actual":{"active_order":["a","b"],"advance":1,"buckets":[["a",1],["b",1],["c",1]],"expired":[],"future":["c"],"next":4},"check":"regression certificate 2","expected":{"active_order":["a","b"],"advance":1,"buckets":[["a",0],["b",1],["c",3]],"expired":[],"future":["c"],"next":4},"passed":false},{"actual":{"active_order":["b","a"],"advance":1,"buckets":[["a",2],["b",1],["c",1],["d",2]],"expired":["c"],"future":["d"],"next":9},"check":"regression certificate 3","expected":{"active_order":["b","a"],"advance":1,"buckets":[["a",2],["b",4],["c",2],["d",3]],"expired":["c"],"future":["d"],"next":9},"passed":false},{"actual":{"active_order":["c","b","a"],"advance":0,"buckets":[["a",2],["b",1],["c",1]],"expired":[],"future":[],"next":4},"check":"regression certificate 4","expected":{"active_order":["c","b","a"],"advance":0,"buckets":[["a",0],["b",2],["c",1]],"expired":[],"future":[],"next":4},"passed":false},{"actual":{"active_order":[],"advance":null,"buckets":[["a",2],["b",0]],"expired":["b"],"future":["a"],"next":null},"check":"regression certificate 5","expected":{"active_order":[],"advance":null,"buckets":[["a",2],["b",2]],"expired":["b"],"future":["a"],"next":null},"passed":false},{"actual":{"active_order":["c","b","a","d"],"advance":0,"buckets":[["a",1],["b",1],["c",0],["d",1]],"expired":[],"future":[],"next":7},"check":"regression certificate 6","expected":{"active_order":["c","b","a","d"],"advance":0,"buckets":[["a",1],["b",0],["c",7],["d",6]],"expired":[],"future":[],"next":7},"passed":false},{"actual":{"active_order":["b","a","d"],"advance":0,"buckets":[["a",1],["b",1],["c",0],["d",1]],"expired":["c"],"future":[],"next":8},"check":"variant-dependent certificate","expected":{"active_order":["b","a","d"],"advance":0,"buckets":[["a",1],["b",0],["c",7],["d",6]],"expired":["c"],"future":[],"next":8},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"buckets\": [], \"expired\": [], \"future\": [], \"next\": null, \"advance\": null, \"active_order\": []}, \"expected\": {\"buckets\": [], \"expired\": [], \"future\": [], \"next\": null, \"advance\": null, \"active_order\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"buckets\": [[\"a\", 1], [\"b\", 1], [\"c\", 1]], \"expired\": [], \"future\": [\"c\"], \"next\": 4, \"advance\": 1, \"active_order\": [\"a\", \"b\"]}, \"expected\": {\"buckets\": [[\"a\", 0], [\"b\", 1], [\"c\", 3]], \"expired\": [], \"future\": [\"c\"], \"next\": 4, \"advance\": 1, \"active_order\": [\"a\", \"b\"]}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"buckets\": [[\"a\", 2], [\"b\", 1], [\"c\", 1], [\"d\", 2]], \"expired\": [\"c\"], \"future\": [\"d\"], \"next\": 9, \"advance\": 1, \"active_order\": [\"b\", \"a\"]}, \"expected\": {\"buckets\": [[\"a\", 2], [\"b\", 4], [\"c\", 2], [\"d\", 3]], \"expired\": [\"c\"], \"future\": [\"d\"], \"next\": 9, \"advance\": 1, \"active_order\": [\"b\", \"a\"]}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"buckets\": [[\"a\", 2], [\"b\", 1], [\"c\", 1]], \"expired\": [], \"future\": [], \"next\": 4, \"advance\": 0, \"active_order\": [\"c\", \"b\", \"a\"]}, \"expected\": {\"buckets\": [[\"a\", 0], [\"b\", 2], [\"c\", 1]], \"expired\": [], \"future\": [], \"next\": 4, \"advance\": 0, \"active_order\": [\"c\", \"b\", \"a\"]}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"buckets\": [[\"a\", 2], [\"b\", 0]], \"expired\": [\"b\"], \"future\": [\"a\"], \"next\": null, \"advance\": null, \"active_order\": []}, \"expected\": {\"buckets\": [[\"a\", 2], [\"b\", 2]], \"expired\": [\"b\"], \"future\": [\"a\"], \"next\": null, \"advance\": null, \"active_order\": []}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"buckets\": [[\"a\", 1], [\"b\", 1], [\"c\", 0], [\"d\", 1]], \"expired\": [], \"future\": [], \"next\": 7, \"advance\": 0, \"active_order\": [\"c\", \"b\", \"a\", \"d\"]}, \"expected\": {\"buckets\": [[\"a\", 1], [\"b\", 0], [\"c\", 7], [\"d\", 6]], \"expired\": [], \"future\": [], \"next\": 7, \"advance\": 0, \"active_order\": [\"c\", \"b\", \"a\", \"d\"]}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"buckets\": [[\"a\", 1], [\"b\", 1], [\"c\", 0], [\"d\", 1]], \"expired\": [\"c\"], \"future\": [], \"next\": 8, \"advance\": 0, \"active_order\": [\"b\", \"a\", \"d\"]}, \"expected\": {\"buckets\": [[\"a\", 1], [\"b\", 0], [\"c\", 7], [\"d\", 6]], \"expired\": [\"c\"], \"future\": [], \"next\": 8, \"advance\": 0, \"active_order\": [\"b\", \"a\", \"d\"]}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.472,"exit_code":1,"observations":[{"actual":{"active_order":[],"advance":null,"buckets":[],"expired":[],"future":[],"next":null},"check":"regression certificate 1","expected":{"active_order":[],"advance":null,"buckets":[],"expired":[],"future":[],"next":null},"passed":true},{"actual":{"active_order":["a","b"],"advance":1,"buckets":[["a",1],["b",2],["c",0]],"expired":[],"future":["c"],"next":4},"check":"regression certificate 2","expected":{"active_order":["a","b"],"advance":1,"buckets":[["a",0],["b",1],["c",3]],"expired":[],"future":["c"],"next":4},"passed":false},{"actual":{"active_order":["b","a"],"advance":1,"buckets":[["a",4],["b",1],["c",4],["d",0]],"expired":["c"],"future":["d"],"next":9},"check":"regression certificate 3","expected":{"active_order":["b","a"],"advance":1,"buckets":[["a",2],["b",4],["c",2],["d",3]],"expired":["c"],"future":["d"],"next":9},"passed":false},{"actual":{"active_order":["c","b","a"],"advance":0,"buckets":[["a",2],["b",1],["c",0]],"expired":[],"future":[],"next":4},"check":"regression certificate 4","expected":{"active_order":["c","b","a"],"advance":0,"buckets":[["a",0],["b",2],["c",1]],"expired":[],"future":[],"next":4},"passed":false},{"actual":{"active_order":[],"advance":null,"buckets":[["a",0],["b",0]],"expired":["b"],"future":["a"],"next":null},"check":"regression certificate 5","expected":{"active_order":[],"advance":null,"buckets":[["a",2],["b",2]],"expired":["b"],"future":["a"],"next":null},"passed":false},{"actual":{"active_order":["c","b","a","d"],"advance":0,"buckets":[["a",2],["b",1],["c",0],["d",7]],"expired":[],"future":[],"next":7},"check":"regression certificate 6","expected":{"active_order":["c","b","a","d"],"advance":0,"buckets":[["a",1],["b",0],["c",7],["d",6]],"expired":[],"future":[],"next":7},"passed":false},{"actual":{"active_order":["b","a","d"],"advance":0,"buckets":[["a",1],["b",0],["c",7],["d",6]],"expired":["c"],"future":[],"next":8},"check":"variant-dependent certificate","expected":{"active_order":["b","a","d"],"advance":0,"buckets":[["a",1],["b",0],["c",7],["d",6]],"expired":["c"],"future":[],"next":8},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"buckets\": [], \"expired\": [], \"future\": [], \"next\": null, \"advance\": null, \"active_order\": []}, \"expected\": {\"buckets\": [], \"expired\": [], \"future\": [], \"next\": null, \"advance\": null, \"active_order\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"buckets\": [[\"a\", 1], [\"b\", 2], [\"c\", 0]], \"expired\": [], \"future\": [\"c\"], \"next\": 4, \"advance\": 1, \"active_order\": [\"a\", \"b\"]}, \"expected\": {\"buckets\": [[\"a\", 0], [\"b\", 1], [\"c\", 3]], \"expired\": [], \"future\": [\"c\"], \"next\": 4, \"advance\": 1, \"active_order\": [\"a\", \"b\"]}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"buckets\": [[\"a\", 4], [\"b\", 1], [\"c\", 4], [\"d\", 0]], \"expired\": [\"c\"], \"future\": [\"d\"], \"next\": 9, \"advance\": 1, \"active_order\": [\"b\", \"a\"]}, \"expected\": {\"buckets\": [[\"a\", 2], [\"b\", 4], [\"c\", 2], [\"d\", 3]], \"expired\": [\"c\"], \"future\": [\"d\"], \"next\": 9, \"advance\": 1, \"active_order\": [\"b\", \"a\"]}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"buckets\": [[\"a\", 2], [\"b\", 1], [\"c\", 0]], \"expired\": [], \"future\": [], \"next\": 4, \"advance\": 0, \"active_order\": [\"c\", \"b\", \"a\"]}, \"expected\": {\"buckets\": [[\"a\", 0], [\"b\", 2], [\"c\", 1]], \"expired\": [], \"future\": [], \"next\": 4, \"advance\": 0, \"active_order\": [\"c\", \"b\", \"a\"]}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"buckets\": [[\"a\", 0], [\"b\", 0]], \"expired\": [\"b\"], \"future\": [\"a\"], \"next\": null, \"advance\": null, \"active_order\": []}, \"expected\": {\"buckets\": [[\"a\", 2], [\"b\", 2]], \"expired\": [\"b\"], \"future\": [\"a\"], \"next\": null, \"advance\": null, \"active_order\": []}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"buckets\": [[\"a\", 2], [\"b\", 1], [\"c\", 0], [\"d\", 7]], \"expired\": [], \"future\": [], \"next\": 7, \"advance\": 0, \"active_order\": [\"c\", \"b\", \"a\", \"d\"]}, \"expected\": {\"buckets\": [[\"a\", 1], [\"b\", 0], [\"c\", 7], [\"d\", 6]], \"expired\": [], \"future\": [], \"next\": 7, \"advance\": 0, \"active_order\": [\"c\", \"b\", \"a\", \"d\"]}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"buckets\": [[\"a\", 1], [\"b\", 0], [\"c\", 7], [\"d\", 6]], \"expired\": [\"c\"], \"future\": [], \"next\": 8, \"advance\": 0, \"active_order\": [\"b\", \"a\", \"d\"]}, \"expected\": {\"buckets\": [[\"a\", 1], [\"b\", 0], [\"c\", 7], [\"d\", 6]], \"expired\": [\"c\"], \"future\": [], \"next\": 8, \"advance\": 0, \"active_order\": [\"b\", \"a\", \"d\"]}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.337,"exit_code":0,"observations":[{"actual":{"active_order":[],"advance":null,"buckets":[],"expired":[],"future":[],"next":null},"check":"regression certificate 1","expected":{"active_order":[],"advance":null,"buckets":[],"expired":[],"future":[],"next":null},"passed":true},{"actual":{"active_order":["a","b"],"advance":1,"buckets":[["a",0],["b",1],["c",3]],"expired":[],"future":["c"],"next":4},"check":"regression certificate 2","expected":{"active_order":["a","b"],"advance":1,"buckets":[["a",0],["b",1],["c",3]],"expired":[],"future":["c"],"next":4},"passed":true},{"actual":{"active_order":["b","a"],"advance":1,"buckets":[["a",2],["b",4],["c",2],["d",3]],"expired":["c"],"future":["d"],"next":9},"check":"regression certificate 3","expected":{"active_order":["b","a"],"advance":1,"buckets":[["a",2],["b",4],["c",2],["d",3]],"expired":["c"],"future":["d"],"next":9},"passed":true},{"actual":{"active_order":["c","b","a"],"advance":0,"buckets":[["a",0],["b",2],["c",1]],"expired":[],"future":[],"next":4},"check":"regression certificate 4","expected":{"active_order":["c","b","a"],"advance":0,"buckets":[["a",0],["b",2],["c",1]],"expired":[],"future":[],"next":4},"passed":true},{"actual":{"active_order":[],"advance":null,"buckets":[["a",2],["b",2]],"expired":["b"],"future":["a"],"next":null},"check":"regression certificate 5","expected":{"active_order":[],"advance":null,"buckets":[["a",2],["b",2]],"expired":["b"],"future":["a"],"next":null},"passed":true},{"actual":{"active_order":["c","b","a","d"],"advance":0,"buckets":[["a",1],["b",0],["c",7],["d",6]],"expired":[],"future":[],"next":7},"check":"regression certificate 6","expected":{"active_order":["c","b","a","d"],"advance":0,"buckets":[["a",1],["b",0],["c",7],["d",6]],"expired":[],"future":[],"next":7},"passed":true},{"actual":{"active_order":["b","a","d"],"advance":0,"buckets":[["a",1],["b",0],["c",7],["d",6]],"expired":["c"],"future":[],"next":8},"check":"variant-dependent certificate","expected":{"active_order":["b","a","d"],"advance":0,"buckets":[["a",1],["b",0],["c",7],["d",6]],"expired":["c"],"future":[],"next":8},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"buckets\": [], \"expired\": [], \"future\": [], \"next\": null, \"advance\": null, \"active_order\": []}, \"expected\": {\"buckets\": [], \"expired\": [], \"future\": [], \"next\": null, \"advance\": null, \"active_order\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"buckets\": [[\"a\", 0], [\"b\", 1], [\"c\", 3]], \"expired\": [], \"future\": [\"c\"], \"next\": 4, \"advance\": 1, \"active_order\": [\"a\", \"b\"]}, \"expected\": {\"buckets\": [[\"a\", 0], [\"b\", 1], [\"c\", 3]], \"expired\": [], \"future\": [\"c\"], \"next\": 4, \"advance\": 1, \"active_order\": [\"a\", \"b\"]}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"buckets\": [[\"a\", 2], [\"b\", 4], [\"c\", 2], [\"d\", 3]], \"expired\": [\"c\"], \"future\": [\"d\"], \"next\": 9, \"advance\": 1, \"active_order\": [\"b\", \"a\"]}, \"expected\": {\"buckets\": [[\"a\", 2], [\"b\", 4], [\"c\", 2], [\"d\", 3]], \"expired\": [\"c\"], \"future\": [\"d\"], \"next\": 9, \"advance\": 1, \"active_order\": [\"b\", \"a\"]}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"buckets\": [[\"a\", 0], [\"b\", 2], [\"c\", 1]], \"expired\": [], \"future\": [], \"next\": 4, \"advance\": 0, \"active_order\": [\"c\", \"b\", \"a\"]}, \"expected\": {\"buckets\": [[\"a\", 0], [\"b\", 2], [\"c\", 1]], \"expired\": [], \"future\": [], \"next\": 4, \"advance\": 0, \"active_order\": [\"c\", \"b\", \"a\"]}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"buckets\": [[\"a\", 2], [\"b\", 2]], \"expired\": [\"b\"], \"future\": [\"a\"], \"next\": null, \"advance\": null, \"active_order\": []}, \"expected\": {\"buckets\": [[\"a\", 2], [\"b\", 2]], \"expired\": [\"b\"], \"future\": [\"a\"], \"next\": null, \"advance\": null, \"active_order\": []}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"buckets\": [[\"a\", 1], [\"b\", 0], [\"c\", 7], [\"d\", 6]], \"expired\": [], \"future\": [], \"next\": 7, \"advance\": 0, \"active_order\": [\"c\", \"b\", \"a\", \"d\"]}, \"expected\": {\"buckets\": [[\"a\", 1], [\"b\", 0], [\"c\", 7], [\"d\", 6]], \"expired\": [], \"future\": [], \"next\": 7, \"advance\": 0, \"active_order\": [\"c\", \"b\", \"a\", \"d\"]}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"buckets\": [[\"a\", 1], [\"b\", 0], [\"c\", 7], [\"d\", 6]], \"expired\": [\"c\"], \"future\": [], \"next\": 8, \"advance\": 0, \"active_order\": [\"b\", \"a\", \"d\"]}, \"expected\": {\"buckets\": [[\"a\", 1], [\"b\", 0], [\"c\", 7], [\"d\", 6]], \"expired\": [\"c\"], \"future\": [], \"next\": 8, \"advance\": 0, \"active_order\": [\"b\", \"a\", \"d\"]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}