{"abstract":"The bounded handle generation certificate reports an incorrect recycle.","category":"Heap invariants","checks":7,"contract":"A heap handle is [slot,generation,owner]. A slot table stores [live,generation,payload]. A handle resolves only for matching owner, in-range slot, live slot, and exact generation. Inspect each supplied handle; return per-handle ownership, bounds, liveness, generation match, resolution, and next generation after recycling each slot. Missing resolution is None.","evaluation_group":"s3-heap-model-handle-generation","failed_approach":"The local patch uses [1 for x in slots] and still violates the stated relation.","family":"s3-heap-handle-generation-recycle","id":"FA-40316","implementations":{"attempt":{"sha256":"b2c1ca30dda85344c8d23267dfa987ad09543596512de47eb245958d7901a865","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    owner=d['owner']; slots=d['slots']; hs=d['handles']\n    def bounds(h): return 0<=h[0]<len(slots)\n    def live(h): return bounds(h) and slots[h[0]][0]\n    def gen(h): return bounds(h) and slots[h[0]][1]==h[1]\n    return {'owners': [h[2]==owner for h in hs],\n    'bounds': [bounds(h) for h in hs],\n    'live': [live(h) for h in hs],\n    'generation': [gen(h) for h in hs],\n    'resolved': [slots[h[0]][2] if h[2]==owner and live(h) and gen(h) else None for h in hs],\n    'recycle': [1 for x in slots]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'owner': 2, 'slots': [], 'handles': [[0, 0, 2], [-1, 0, 2]]}, {'owners': [True, True], 'bounds': [False, False], 'live': [False, False], 'generation': [False, False], 'resolved': [None, None], 'recycle': []}), ({'owner': 2, 'slots': [[True, 0, 0]], 'handles': [[0, 0, 2], [0, 0, 1]]}, {'owners': [True, False], 'bounds': [True, True], 'live': [True, True], 'generation': [True, True], 'resolved': [0, None], 'recycle': [1]}), ({'owner': 2, 'slots': [[False, 3, 'x']], 'handles': [[0, 3, 2], [0, 2, 2]]}, {'owners': [True, True], 'bounds': [True, True], 'live': [False, False], 'generation': [True, False], 'resolved': [None, None], 'recycle': [4]}), ({'owner': 2, 'slots': [[True, 4, 'a'], [True, 8, 'b']], 'handles': [[0, 3, 2], [1, 8, 2], [1, 8, 3]]}, {'owners': [True, True, False], 'bounds': [True, True, True], 'live': [True, True, True], 'generation': [False, True, True], 'resolved': [None, 'b', None], 'recycle': [5, 9]}), ({'owner': 2, 'slots': [[True, 1, ''], [False, 2, 5]], 'handles': [[0, 1, 2], [1, 2, 2], [-1, 2, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, False, False], 'generation': [True, True, False], 'resolved': ['', None, None], 'recycle': [2, 3]}), ({'owner': 2, 'slots': [[True, 9, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, True, False], 'resolved': [None, 'z', None], 'recycle': [10]}), ({'owner': 2, 'slots': [[True, 10, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [True, False, False], 'resolved': ['z', None, None], 'recycle': [11]})], [({'owner': 2, 'slots': [], 'handles': [[0, 0, 2], [-1, 0, 2]]}, {'owners': [True, True], 'bounds': [False, False], 'live': [False, False], 'generation': [False, False], 'resolved': [None, None], 'recycle': []}), ({'owner': 2, 'slots': [[True, 0, 0]], 'handles': [[0, 0, 2], [0, 0, 1]]}, {'owners': [True, False], 'bounds': [True, True], 'live': [True, True], 'generation': [True, True], 'resolved': [0, None], 'recycle': [1]}), ({'owner': 2, 'slots': [[False, 3, 'x']], 'handles': [[0, 3, 2], [0, 2, 2]]}, {'owners': [True, True], 'bounds': [True, True], 'live': [False, False], 'generation': [True, False], 'resolved': [None, None], 'recycle': [4]}), ({'owner': 2, 'slots': [[True, 4, 'a'], [True, 8, 'b']], 'handles': [[0, 3, 2], [1, 8, 2], [1, 8, 3]]}, {'owners': [True, True, False], 'bounds': [True, True, True], 'live': [True, True, True], 'generation': [False, True, True], 'resolved': [None, 'b', None], 'recycle': [5, 9]}), ({'owner': 2, 'slots': [[True, 1, ''], [False, 2, 5]], 'handles': [[0, 1, 2], [1, 2, 2], [-1, 2, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, False, False], 'generation': [True, True, False], 'resolved': ['', None, None], 'recycle': [2, 3]}), ({'owner': 2, 'slots': [[True, 9, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, True, False], 'resolved': [None, 'z', None], 'recycle': [10]}), ({'owner': 2, 'slots': [[True, 11, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, False, False], 'resolved': [None, None, None], 'recycle': [12]})], [({'owner': 2, 'slots': [], 'handles': [[0, 0, 2], [-1, 0, 2]]}, {'owners': [True, True], 'bounds': [False, False], 'live': [False, False], 'generation': [False, False], 'resolved': [None, None], 'recycle': []}), ({'owner': 2, 'slots': [[True, 0, 0]], 'handles': [[0, 0, 2], [0, 0, 1]]}, {'owners': [True, False], 'bounds': [True, True], 'live': [True, True], 'generation': [True, True], 'resolved': [0, None], 'recycle': [1]}), ({'owner': 2, 'slots': [[False, 3, 'x']], 'handles': [[0, 3, 2], [0, 2, 2]]}, {'owners': [True, True], 'bounds': [True, True], 'live': [False, False], 'generation': [True, False], 'resolved': [None, None], 'recycle': [4]}), ({'owner': 2, 'slots': [[True, 4, 'a'], [True, 8, 'b']], 'handles': [[0, 3, 2], [1, 8, 2], [1, 8, 3]]}, {'owners': [True, True, False], 'bounds': [True, True, True], 'live': [True, True, True], 'generation': [False, True, True], 'resolved': [None, 'b', None], 'recycle': [5, 9]}), ({'owner': 2, 'slots': [[True, 1, ''], [False, 2, 5]], 'handles': [[0, 1, 2], [1, 2, 2], [-1, 2, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, False, False], 'generation': [True, True, False], 'resolved': ['', None, None], 'recycle': [2, 3]}), ({'owner': 2, 'slots': [[True, 9, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, True, False], 'resolved': [None, 'z', None], 'recycle': [10]}), ({'owner': 2, 'slots': [[True, 12, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, False, False], 'resolved': [None, None, None], 'recycle': [13]})], [({'owner': 2, 'slots': [], 'handles': [[0, 0, 2], [-1, 0, 2]]}, {'owners': [True, True], 'bounds': [False, False], 'live': [False, False], 'generation': [False, False], 'resolved': [None, None], 'recycle': []}), ({'owner': 2, 'slots': [[True, 0, 0]], 'handles': [[0, 0, 2], [0, 0, 1]]}, {'owners': [True, False], 'bounds': [True, True], 'live': [True, True], 'generation': [True, True], 'resolved': [0, None], 'recycle': [1]}), ({'owner': 2, 'slots': [[False, 3, 'x']], 'handles': [[0, 3, 2], [0, 2, 2]]}, {'owners': [True, True], 'bounds': [True, True], 'live': [False, False], 'generation': [True, False], 'resolved': [None, None], 'recycle': [4]}), ({'owner': 2, 'slots': [[True, 4, 'a'], [True, 8, 'b']], 'handles': [[0, 3, 2], [1, 8, 2], [1, 8, 3]]}, {'owners': [True, True, False], 'bounds': [True, True, True], 'live': [True, True, True], 'generation': [False, True, True], 'resolved': [None, 'b', None], 'recycle': [5, 9]}), ({'owner': 2, 'slots': [[True, 1, ''], [False, 2, 5]], 'handles': [[0, 1, 2], [1, 2, 2], [-1, 2, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, False, False], 'generation': [True, True, False], 'resolved': ['', None, None], 'recycle': [2, 3]}), ({'owner': 2, 'slots': [[True, 9, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, True, False], 'resolved': [None, 'z', None], 'recycle': [10]}), ({'owner': 2, 'slots': [[True, 13, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, False, False], 'resolved': [None, None, None], 'recycle': [14]})], [({'owner': 2, 'slots': [], 'handles': [[0, 0, 2], [-1, 0, 2]]}, {'owners': [True, True], 'bounds': [False, False], 'live': [False, False], 'generation': [False, False], 'resolved': [None, None], 'recycle': []}), ({'owner': 2, 'slots': [[True, 0, 0]], 'handles': [[0, 0, 2], [0, 0, 1]]}, {'owners': [True, False], 'bounds': [True, True], 'live': [True, True], 'generation': [True, True], 'resolved': [0, None], 'recycle': [1]}), ({'owner': 2, 'slots': [[False, 3, 'x']], 'handles': [[0, 3, 2], [0, 2, 2]]}, {'owners': [True, True], 'bounds': [True, True], 'live': [False, False], 'generation': [True, False], 'resolved': [None, None], 'recycle': [4]}), ({'owner': 2, 'slots': [[True, 4, 'a'], [True, 8, 'b']], 'handles': [[0, 3, 2], [1, 8, 2], [1, 8, 3]]}, {'owners': [True, True, False], 'bounds': [True, True, True], 'live': [True, True, True], 'generation': [False, True, True], 'resolved': [None, 'b', None], 'recycle': [5, 9]}), ({'owner': 2, 'slots': [[True, 1, ''], [False, 2, 5]], 'handles': [[0, 1, 2], [1, 2, 2], [-1, 2, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, False, False], 'generation': [True, True, False], 'resolved': ['', None, None], 'recycle': [2, 3]}), ({'owner': 2, 'slots': [[True, 9, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, True, False], 'resolved': [None, 'z', None], 'recycle': [10]}), ({'owner': 2, 'slots': [[True, 14, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, False, False], 'resolved': [None, None, None], 'recycle': [15]})]][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":"7caf98b4430e54dc020a416433f6076219d442210433da6245dc0e32045c1aa5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    owner=d['owner']; slots=d['slots']; hs=d['handles']\n    def bounds(h): return 0<=h[0]<len(slots)\n    def live(h): return bounds(h) and slots[h[0]][0]\n    def gen(h): return bounds(h) and slots[h[0]][1]==h[1]\n    return {'owners': [h[2]==owner for h in hs],\n    'bounds': [bounds(h) for h in hs],\n    'live': [live(h) for h in hs],\n    'generation': [gen(h) for h in hs],\n    'resolved': [slots[h[0]][2] if h[2]==owner and live(h) and gen(h) else None for h in hs],\n    'recycle': [x[1] for x in slots]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'owner': 2, 'slots': [], 'handles': [[0, 0, 2], [-1, 0, 2]]}, {'owners': [True, True], 'bounds': [False, False], 'live': [False, False], 'generation': [False, False], 'resolved': [None, None], 'recycle': []}), ({'owner': 2, 'slots': [[True, 0, 0]], 'handles': [[0, 0, 2], [0, 0, 1]]}, {'owners': [True, False], 'bounds': [True, True], 'live': [True, True], 'generation': [True, True], 'resolved': [0, None], 'recycle': [1]}), ({'owner': 2, 'slots': [[False, 3, 'x']], 'handles': [[0, 3, 2], [0, 2, 2]]}, {'owners': [True, True], 'bounds': [True, True], 'live': [False, False], 'generation': [True, False], 'resolved': [None, None], 'recycle': [4]}), ({'owner': 2, 'slots': [[True, 4, 'a'], [True, 8, 'b']], 'handles': [[0, 3, 2], [1, 8, 2], [1, 8, 3]]}, {'owners': [True, True, False], 'bounds': [True, True, True], 'live': [True, True, True], 'generation': [False, True, True], 'resolved': [None, 'b', None], 'recycle': [5, 9]}), ({'owner': 2, 'slots': [[True, 1, ''], [False, 2, 5]], 'handles': [[0, 1, 2], [1, 2, 2], [-1, 2, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, False, False], 'generation': [True, True, False], 'resolved': ['', None, None], 'recycle': [2, 3]}), ({'owner': 2, 'slots': [[True, 9, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, True, False], 'resolved': [None, 'z', None], 'recycle': [10]}), ({'owner': 2, 'slots': [[True, 10, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [True, False, False], 'resolved': ['z', None, None], 'recycle': [11]})], [({'owner': 2, 'slots': [], 'handles': [[0, 0, 2], [-1, 0, 2]]}, {'owners': [True, True], 'bounds': [False, False], 'live': [False, False], 'generation': [False, False], 'resolved': [None, None], 'recycle': []}), ({'owner': 2, 'slots': [[True, 0, 0]], 'handles': [[0, 0, 2], [0, 0, 1]]}, {'owners': [True, False], 'bounds': [True, True], 'live': [True, True], 'generation': [True, True], 'resolved': [0, None], 'recycle': [1]}), ({'owner': 2, 'slots': [[False, 3, 'x']], 'handles': [[0, 3, 2], [0, 2, 2]]}, {'owners': [True, True], 'bounds': [True, True], 'live': [False, False], 'generation': [True, False], 'resolved': [None, None], 'recycle': [4]}), ({'owner': 2, 'slots': [[True, 4, 'a'], [True, 8, 'b']], 'handles': [[0, 3, 2], [1, 8, 2], [1, 8, 3]]}, {'owners': [True, True, False], 'bounds': [True, True, True], 'live': [True, True, True], 'generation': [False, True, True], 'resolved': [None, 'b', None], 'recycle': [5, 9]}), ({'owner': 2, 'slots': [[True, 1, ''], [False, 2, 5]], 'handles': [[0, 1, 2], [1, 2, 2], [-1, 2, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, False, False], 'generation': [True, True, False], 'resolved': ['', None, None], 'recycle': [2, 3]}), ({'owner': 2, 'slots': [[True, 9, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, True, False], 'resolved': [None, 'z', None], 'recycle': [10]}), ({'owner': 2, 'slots': [[True, 11, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, False, False], 'resolved': [None, None, None], 'recycle': [12]})], [({'owner': 2, 'slots': [], 'handles': [[0, 0, 2], [-1, 0, 2]]}, {'owners': [True, True], 'bounds': [False, False], 'live': [False, False], 'generation': [False, False], 'resolved': [None, None], 'recycle': []}), ({'owner': 2, 'slots': [[True, 0, 0]], 'handles': [[0, 0, 2], [0, 0, 1]]}, {'owners': [True, False], 'bounds': [True, True], 'live': [True, True], 'generation': [True, True], 'resolved': [0, None], 'recycle': [1]}), ({'owner': 2, 'slots': [[False, 3, 'x']], 'handles': [[0, 3, 2], [0, 2, 2]]}, {'owners': [True, True], 'bounds': [True, True], 'live': [False, False], 'generation': [True, False], 'resolved': [None, None], 'recycle': [4]}), ({'owner': 2, 'slots': [[True, 4, 'a'], [True, 8, 'b']], 'handles': [[0, 3, 2], [1, 8, 2], [1, 8, 3]]}, {'owners': [True, True, False], 'bounds': [True, True, True], 'live': [True, True, True], 'generation': [False, True, True], 'resolved': [None, 'b', None], 'recycle': [5, 9]}), ({'owner': 2, 'slots': [[True, 1, ''], [False, 2, 5]], 'handles': [[0, 1, 2], [1, 2, 2], [-1, 2, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, False, False], 'generation': [True, True, False], 'resolved': ['', None, None], 'recycle': [2, 3]}), ({'owner': 2, 'slots': [[True, 9, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, True, False], 'resolved': [None, 'z', None], 'recycle': [10]}), ({'owner': 2, 'slots': [[True, 12, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, False, False], 'resolved': [None, None, None], 'recycle': [13]})], [({'owner': 2, 'slots': [], 'handles': [[0, 0, 2], [-1, 0, 2]]}, {'owners': [True, True], 'bounds': [False, False], 'live': [False, False], 'generation': [False, False], 'resolved': [None, None], 'recycle': []}), ({'owner': 2, 'slots': [[True, 0, 0]], 'handles': [[0, 0, 2], [0, 0, 1]]}, {'owners': [True, False], 'bounds': [True, True], 'live': [True, True], 'generation': [True, True], 'resolved': [0, None], 'recycle': [1]}), ({'owner': 2, 'slots': [[False, 3, 'x']], 'handles': [[0, 3, 2], [0, 2, 2]]}, {'owners': [True, True], 'bounds': [True, True], 'live': [False, False], 'generation': [True, False], 'resolved': [None, None], 'recycle': [4]}), ({'owner': 2, 'slots': [[True, 4, 'a'], [True, 8, 'b']], 'handles': [[0, 3, 2], [1, 8, 2], [1, 8, 3]]}, {'owners': [True, True, False], 'bounds': [True, True, True], 'live': [True, True, True], 'generation': [False, True, True], 'resolved': [None, 'b', None], 'recycle': [5, 9]}), ({'owner': 2, 'slots': [[True, 1, ''], [False, 2, 5]], 'handles': [[0, 1, 2], [1, 2, 2], [-1, 2, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, False, False], 'generation': [True, True, False], 'resolved': ['', None, None], 'recycle': [2, 3]}), ({'owner': 2, 'slots': [[True, 9, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, True, False], 'resolved': [None, 'z', None], 'recycle': [10]}), ({'owner': 2, 'slots': [[True, 13, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, False, False], 'resolved': [None, None, None], 'recycle': [14]})], [({'owner': 2, 'slots': [], 'handles': [[0, 0, 2], [-1, 0, 2]]}, {'owners': [True, True], 'bounds': [False, False], 'live': [False, False], 'generation': [False, False], 'resolved': [None, None], 'recycle': []}), ({'owner': 2, 'slots': [[True, 0, 0]], 'handles': [[0, 0, 2], [0, 0, 1]]}, {'owners': [True, False], 'bounds': [True, True], 'live': [True, True], 'generation': [True, True], 'resolved': [0, None], 'recycle': [1]}), ({'owner': 2, 'slots': [[False, 3, 'x']], 'handles': [[0, 3, 2], [0, 2, 2]]}, {'owners': [True, True], 'bounds': [True, True], 'live': [False, False], 'generation': [True, False], 'resolved': [None, None], 'recycle': [4]}), ({'owner': 2, 'slots': [[True, 4, 'a'], [True, 8, 'b']], 'handles': [[0, 3, 2], [1, 8, 2], [1, 8, 3]]}, {'owners': [True, True, False], 'bounds': [True, True, True], 'live': [True, True, True], 'generation': [False, True, True], 'resolved': [None, 'b', None], 'recycle': [5, 9]}), ({'owner': 2, 'slots': [[True, 1, ''], [False, 2, 5]], 'handles': [[0, 1, 2], [1, 2, 2], [-1, 2, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, False, False], 'generation': [True, True, False], 'resolved': ['', None, None], 'recycle': [2, 3]}), ({'owner': 2, 'slots': [[True, 9, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, True, False], 'resolved': [None, 'z', None], 'recycle': [10]}), ({'owner': 2, 'slots': [[True, 14, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, False, False], 'resolved': [None, None, None], 'recycle': [15]})]][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":"39ac14f3ffef6da6f47c3b627ecb03771420814dff20551fd301461ffc5d8c62","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    owner=d['owner']; slots=d['slots']; hs=d['handles']\n    def bounds(h): return 0<=h[0]<len(slots)\n    def live(h): return bounds(h) and slots[h[0]][0]\n    def gen(h): return bounds(h) and slots[h[0]][1]==h[1]\n    return {'owners': [h[2]==owner for h in hs],\n    'bounds': [bounds(h) for h in hs],\n    'live': [live(h) for h in hs],\n    'generation': [gen(h) for h in hs],\n    'resolved': [slots[h[0]][2] if h[2]==owner and live(h) and gen(h) else None for h in hs],\n    'recycle': [x[1]+1 for x in slots]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'owner': 2, 'slots': [], 'handles': [[0, 0, 2], [-1, 0, 2]]}, {'owners': [True, True], 'bounds': [False, False], 'live': [False, False], 'generation': [False, False], 'resolved': [None, None], 'recycle': []}), ({'owner': 2, 'slots': [[True, 0, 0]], 'handles': [[0, 0, 2], [0, 0, 1]]}, {'owners': [True, False], 'bounds': [True, True], 'live': [True, True], 'generation': [True, True], 'resolved': [0, None], 'recycle': [1]}), ({'owner': 2, 'slots': [[False, 3, 'x']], 'handles': [[0, 3, 2], [0, 2, 2]]}, {'owners': [True, True], 'bounds': [True, True], 'live': [False, False], 'generation': [True, False], 'resolved': [None, None], 'recycle': [4]}), ({'owner': 2, 'slots': [[True, 4, 'a'], [True, 8, 'b']], 'handles': [[0, 3, 2], [1, 8, 2], [1, 8, 3]]}, {'owners': [True, True, False], 'bounds': [True, True, True], 'live': [True, True, True], 'generation': [False, True, True], 'resolved': [None, 'b', None], 'recycle': [5, 9]}), ({'owner': 2, 'slots': [[True, 1, ''], [False, 2, 5]], 'handles': [[0, 1, 2], [1, 2, 2], [-1, 2, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, False, False], 'generation': [True, True, False], 'resolved': ['', None, None], 'recycle': [2, 3]}), ({'owner': 2, 'slots': [[True, 9, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, True, False], 'resolved': [None, 'z', None], 'recycle': [10]}), ({'owner': 2, 'slots': [[True, 10, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [True, False, False], 'resolved': ['z', None, None], 'recycle': [11]})], [({'owner': 2, 'slots': [], 'handles': [[0, 0, 2], [-1, 0, 2]]}, {'owners': [True, True], 'bounds': [False, False], 'live': [False, False], 'generation': [False, False], 'resolved': [None, None], 'recycle': []}), ({'owner': 2, 'slots': [[True, 0, 0]], 'handles': [[0, 0, 2], [0, 0, 1]]}, {'owners': [True, False], 'bounds': [True, True], 'live': [True, True], 'generation': [True, True], 'resolved': [0, None], 'recycle': [1]}), ({'owner': 2, 'slots': [[False, 3, 'x']], 'handles': [[0, 3, 2], [0, 2, 2]]}, {'owners': [True, True], 'bounds': [True, True], 'live': [False, False], 'generation': [True, False], 'resolved': [None, None], 'recycle': [4]}), ({'owner': 2, 'slots': [[True, 4, 'a'], [True, 8, 'b']], 'handles': [[0, 3, 2], [1, 8, 2], [1, 8, 3]]}, {'owners': [True, True, False], 'bounds': [True, True, True], 'live': [True, True, True], 'generation': [False, True, True], 'resolved': [None, 'b', None], 'recycle': [5, 9]}), ({'owner': 2, 'slots': [[True, 1, ''], [False, 2, 5]], 'handles': [[0, 1, 2], [1, 2, 2], [-1, 2, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, False, False], 'generation': [True, True, False], 'resolved': ['', None, None], 'recycle': [2, 3]}), ({'owner': 2, 'slots': [[True, 9, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, True, False], 'resolved': [None, 'z', None], 'recycle': [10]}), ({'owner': 2, 'slots': [[True, 11, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, False, False], 'resolved': [None, None, None], 'recycle': [12]})], [({'owner': 2, 'slots': [], 'handles': [[0, 0, 2], [-1, 0, 2]]}, {'owners': [True, True], 'bounds': [False, False], 'live': [False, False], 'generation': [False, False], 'resolved': [None, None], 'recycle': []}), ({'owner': 2, 'slots': [[True, 0, 0]], 'handles': [[0, 0, 2], [0, 0, 1]]}, {'owners': [True, False], 'bounds': [True, True], 'live': [True, True], 'generation': [True, True], 'resolved': [0, None], 'recycle': [1]}), ({'owner': 2, 'slots': [[False, 3, 'x']], 'handles': [[0, 3, 2], [0, 2, 2]]}, {'owners': [True, True], 'bounds': [True, True], 'live': [False, False], 'generation': [True, False], 'resolved': [None, None], 'recycle': [4]}), ({'owner': 2, 'slots': [[True, 4, 'a'], [True, 8, 'b']], 'handles': [[0, 3, 2], [1, 8, 2], [1, 8, 3]]}, {'owners': [True, True, False], 'bounds': [True, True, True], 'live': [True, True, True], 'generation': [False, True, True], 'resolved': [None, 'b', None], 'recycle': [5, 9]}), ({'owner': 2, 'slots': [[True, 1, ''], [False, 2, 5]], 'handles': [[0, 1, 2], [1, 2, 2], [-1, 2, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, False, False], 'generation': [True, True, False], 'resolved': ['', None, None], 'recycle': [2, 3]}), ({'owner': 2, 'slots': [[True, 9, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, True, False], 'resolved': [None, 'z', None], 'recycle': [10]}), ({'owner': 2, 'slots': [[True, 12, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, False, False], 'resolved': [None, None, None], 'recycle': [13]})], [({'owner': 2, 'slots': [], 'handles': [[0, 0, 2], [-1, 0, 2]]}, {'owners': [True, True], 'bounds': [False, False], 'live': [False, False], 'generation': [False, False], 'resolved': [None, None], 'recycle': []}), ({'owner': 2, 'slots': [[True, 0, 0]], 'handles': [[0, 0, 2], [0, 0, 1]]}, {'owners': [True, False], 'bounds': [True, True], 'live': [True, True], 'generation': [True, True], 'resolved': [0, None], 'recycle': [1]}), ({'owner': 2, 'slots': [[False, 3, 'x']], 'handles': [[0, 3, 2], [0, 2, 2]]}, {'owners': [True, True], 'bounds': [True, True], 'live': [False, False], 'generation': [True, False], 'resolved': [None, None], 'recycle': [4]}), ({'owner': 2, 'slots': [[True, 4, 'a'], [True, 8, 'b']], 'handles': [[0, 3, 2], [1, 8, 2], [1, 8, 3]]}, {'owners': [True, True, False], 'bounds': [True, True, True], 'live': [True, True, True], 'generation': [False, True, True], 'resolved': [None, 'b', None], 'recycle': [5, 9]}), ({'owner': 2, 'slots': [[True, 1, ''], [False, 2, 5]], 'handles': [[0, 1, 2], [1, 2, 2], [-1, 2, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, False, False], 'generation': [True, True, False], 'resolved': ['', None, None], 'recycle': [2, 3]}), ({'owner': 2, 'slots': [[True, 9, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, True, False], 'resolved': [None, 'z', None], 'recycle': [10]}), ({'owner': 2, 'slots': [[True, 13, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, False, False], 'resolved': [None, None, None], 'recycle': [14]})], [({'owner': 2, 'slots': [], 'handles': [[0, 0, 2], [-1, 0, 2]]}, {'owners': [True, True], 'bounds': [False, False], 'live': [False, False], 'generation': [False, False], 'resolved': [None, None], 'recycle': []}), ({'owner': 2, 'slots': [[True, 0, 0]], 'handles': [[0, 0, 2], [0, 0, 1]]}, {'owners': [True, False], 'bounds': [True, True], 'live': [True, True], 'generation': [True, True], 'resolved': [0, None], 'recycle': [1]}), ({'owner': 2, 'slots': [[False, 3, 'x']], 'handles': [[0, 3, 2], [0, 2, 2]]}, {'owners': [True, True], 'bounds': [True, True], 'live': [False, False], 'generation': [True, False], 'resolved': [None, None], 'recycle': [4]}), ({'owner': 2, 'slots': [[True, 4, 'a'], [True, 8, 'b']], 'handles': [[0, 3, 2], [1, 8, 2], [1, 8, 3]]}, {'owners': [True, True, False], 'bounds': [True, True, True], 'live': [True, True, True], 'generation': [False, True, True], 'resolved': [None, 'b', None], 'recycle': [5, 9]}), ({'owner': 2, 'slots': [[True, 1, ''], [False, 2, 5]], 'handles': [[0, 1, 2], [1, 2, 2], [-1, 2, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, False, False], 'generation': [True, True, False], 'resolved': ['', None, None], 'recycle': [2, 3]}), ({'owner': 2, 'slots': [[True, 9, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, True, False], 'resolved': [None, 'z', None], 'recycle': [10]}), ({'owner': 2, 'slots': [[True, 14, 'z']], 'handles': [[0, 10, 2], [0, 9, 2], [1, 9, 2]]}, {'owners': [True, True, True], 'bounds': [True, True, False], 'live': [True, True, False], 'generation': [False, False, False], 'resolved': [None, None, None], 'recycle': [15]})]][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-handle-generation-recycle","generated_at":"2026-09-29T14:43:29.942491+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 recycle using [x[1]+1 for x in slots] under the stated bounded certificate contract.","root_cause":"Heap slot recycling increments the existing generation rather than resetting it.","sha256":"834ab3593fa75934fc91fff81497b9449b814cce580bb9ad519c73411304a733","title":"Heap slot recycling increments the existing generation rather than resetting it · 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":44.678,"exit_code":1,"observations":[{"actual":{"bounds":[false,false],"generation":[false,false],"live":[false,false],"owners":[true,true],"recycle":[],"resolved":[null,null]},"check":"regression certificate 1","expected":{"bounds":[false,false],"generation":[false,false],"live":[false,false],"owners":[true,true],"recycle":[],"resolved":[null,null]},"passed":true},{"actual":{"bounds":[true,true],"generation":[true,true],"live":[true,true],"owners":[true,false],"recycle":[1],"resolved":[0,null]},"check":"regression certificate 2","expected":{"bounds":[true,true],"generation":[true,true],"live":[true,true],"owners":[true,false],"recycle":[1],"resolved":[0,null]},"passed":true},{"actual":{"bounds":[true,true],"generation":[true,false],"live":[false,false],"owners":[true,true],"recycle":[1],"resolved":[null,null]},"check":"regression certificate 3","expected":{"bounds":[true,true],"generation":[true,false],"live":[false,false],"owners":[true,true],"recycle":[4],"resolved":[null,null]},"passed":false},{"actual":{"bounds":[true,true,true],"generation":[false,true,true],"live":[true,true,true],"owners":[true,true,false],"recycle":[1,1],"resolved":[null,"b",null]},"check":"regression certificate 4","expected":{"bounds":[true,true,true],"generation":[false,true,true],"live":[true,true,true],"owners":[true,true,false],"recycle":[5,9],"resolved":[null,"b",null]},"passed":false},{"actual":{"bounds":[true,true,false],"generation":[true,true,false],"live":[true,false,false],"owners":[true,true,true],"recycle":[1,1],"resolved":["",null,null]},"check":"regression certificate 5","expected":{"bounds":[true,true,false],"generation":[true,true,false],"live":[true,false,false],"owners":[true,true,true],"recycle":[2,3],"resolved":["",null,null]},"passed":false},{"actual":{"bounds":[true,true,false],"generation":[false,true,false],"live":[true,true,false],"owners":[true,true,true],"recycle":[1],"resolved":[null,"z",null]},"check":"regression certificate 6","expected":{"bounds":[true,true,false],"generation":[false,true,false],"live":[true,true,false],"owners":[true,true,true],"recycle":[10],"resolved":[null,"z",null]},"passed":false},{"actual":{"bounds":[true,true,false],"generation":[true,false,false],"live":[true,true,false],"owners":[true,true,true],"recycle":[1],"resolved":["z",null,null]},"check":"variant-dependent certificate","expected":{"bounds":[true,true,false],"generation":[true,false,false],"live":[true,true,false],"owners":[true,true,true],"recycle":[11],"resolved":["z",null,null]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"owners\": [true, true], \"bounds\": [false, false], \"live\": [false, false], \"generation\": [false, false], \"resolved\": [null, null], \"recycle\": []}, \"expected\": {\"owners\": [true, true], \"bounds\": [false, false], \"live\": [false, false], \"generation\": [false, false], \"resolved\": [null, null], \"recycle\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"owners\": [true, false], \"bounds\": [true, true], \"live\": [true, true], \"generation\": [true, true], \"resolved\": [0, null], \"recycle\": [1]}, \"expected\": {\"owners\": [true, false], \"bounds\": [true, true], \"live\": [true, true], \"generation\": [true, true], \"resolved\": [0, null], \"recycle\": [1]}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"owners\": [true, true], \"bounds\": [true, true], \"live\": [false, false], \"generation\": [true, false], \"resolved\": [null, null], \"recycle\": [1]}, \"expected\": {\"owners\": [true, true], \"bounds\": [true, true], \"live\": [false, false], \"generation\": [true, false], \"resolved\": [null, null], \"recycle\": [4]}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"owners\": [true, true, false], \"bounds\": [true, true, true], \"live\": [true, true, true], \"generation\": [false, true, true], \"resolved\": [null, \"b\", null], \"recycle\": [1, 1]}, \"expected\": {\"owners\": [true, true, false], \"bounds\": [true, true, true], \"live\": [true, true, true], \"generation\": [false, true, true], \"resolved\": [null, \"b\", null], \"recycle\": [5, 9]}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, false, false], \"generation\": [true, true, false], \"resolved\": [\"\", null, null], \"recycle\": [1, 1]}, \"expected\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, false, false], \"generation\": [true, true, false], \"resolved\": [\"\", null, null], \"recycle\": [2, 3]}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, true, false], \"generation\": [false, true, false], \"resolved\": [null, \"z\", null], \"recycle\": [1]}, \"expected\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, true, false], \"generation\": [false, true, false], \"resolved\": [null, \"z\", null], \"recycle\": [10]}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, true, false], \"generation\": [true, false, false], \"resolved\": [\"z\", null, null], \"recycle\": [1]}, \"expected\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, true, false], \"generation\": [true, false, false], \"resolved\": [\"z\", null, null], \"recycle\": [11]}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.505,"exit_code":1,"observations":[{"actual":{"bounds":[false,false],"generation":[false,false],"live":[false,false],"owners":[true,true],"recycle":[],"resolved":[null,null]},"check":"regression certificate 1","expected":{"bounds":[false,false],"generation":[false,false],"live":[false,false],"owners":[true,true],"recycle":[],"resolved":[null,null]},"passed":true},{"actual":{"bounds":[true,true],"generation":[true,true],"live":[true,true],"owners":[true,false],"recycle":[0],"resolved":[0,null]},"check":"regression certificate 2","expected":{"bounds":[true,true],"generation":[true,true],"live":[true,true],"owners":[true,false],"recycle":[1],"resolved":[0,null]},"passed":false},{"actual":{"bounds":[true,true],"generation":[true,false],"live":[false,false],"owners":[true,true],"recycle":[3],"resolved":[null,null]},"check":"regression certificate 3","expected":{"bounds":[true,true],"generation":[true,false],"live":[false,false],"owners":[true,true],"recycle":[4],"resolved":[null,null]},"passed":false},{"actual":{"bounds":[true,true,true],"generation":[false,true,true],"live":[true,true,true],"owners":[true,true,false],"recycle":[4,8],"resolved":[null,"b",null]},"check":"regression certificate 4","expected":{"bounds":[true,true,true],"generation":[false,true,true],"live":[true,true,true],"owners":[true,true,false],"recycle":[5,9],"resolved":[null,"b",null]},"passed":false},{"actual":{"bounds":[true,true,false],"generation":[true,true,false],"live":[true,false,false],"owners":[true,true,true],"recycle":[1,2],"resolved":["",null,null]},"check":"regression certificate 5","expected":{"bounds":[true,true,false],"generation":[true,true,false],"live":[true,false,false],"owners":[true,true,true],"recycle":[2,3],"resolved":["",null,null]},"passed":false},{"actual":{"bounds":[true,true,false],"generation":[false,true,false],"live":[true,true,false],"owners":[true,true,true],"recycle":[9],"resolved":[null,"z",null]},"check":"regression certificate 6","expected":{"bounds":[true,true,false],"generation":[false,true,false],"live":[true,true,false],"owners":[true,true,true],"recycle":[10],"resolved":[null,"z",null]},"passed":false},{"actual":{"bounds":[true,true,false],"generation":[true,false,false],"live":[true,true,false],"owners":[true,true,true],"recycle":[10],"resolved":["z",null,null]},"check":"variant-dependent certificate","expected":{"bounds":[true,true,false],"generation":[true,false,false],"live":[true,true,false],"owners":[true,true,true],"recycle":[11],"resolved":["z",null,null]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"owners\": [true, true], \"bounds\": [false, false], \"live\": [false, false], \"generation\": [false, false], \"resolved\": [null, null], \"recycle\": []}, \"expected\": {\"owners\": [true, true], \"bounds\": [false, false], \"live\": [false, false], \"generation\": [false, false], \"resolved\": [null, null], \"recycle\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"owners\": [true, false], \"bounds\": [true, true], \"live\": [true, true], \"generation\": [true, true], \"resolved\": [0, null], \"recycle\": [0]}, \"expected\": {\"owners\": [true, false], \"bounds\": [true, true], \"live\": [true, true], \"generation\": [true, true], \"resolved\": [0, null], \"recycle\": [1]}, \"passed\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"owners\": [true, true], \"bounds\": [true, true], \"live\": [false, false], \"generation\": [true, false], \"resolved\": [null, null], \"recycle\": [3]}, \"expected\": {\"owners\": [true, true], \"bounds\": [true, true], \"live\": [false, false], \"generation\": [true, false], \"resolved\": [null, null], \"recycle\": [4]}, \"passed\": false}, {\"check\": \"regression certificate 4\", \"actual\": {\"owners\": [true, true, false], \"bounds\": [true, true, true], \"live\": [true, true, true], \"generation\": [false, true, true], \"resolved\": [null, \"b\", null], \"recycle\": [4, 8]}, \"expected\": {\"owners\": [true, true, false], \"bounds\": [true, true, true], \"live\": [true, true, true], \"generation\": [false, true, true], \"resolved\": [null, \"b\", null], \"recycle\": [5, 9]}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, false, false], \"generation\": [true, true, false], \"resolved\": [\"\", null, null], \"recycle\": [1, 2]}, \"expected\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, false, false], \"generation\": [true, true, false], \"resolved\": [\"\", null, null], \"recycle\": [2, 3]}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, true, false], \"generation\": [false, true, false], \"resolved\": [null, \"z\", null], \"recycle\": [9]}, \"expected\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, true, false], \"generation\": [false, true, false], \"resolved\": [null, \"z\", null], \"recycle\": [10]}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, true, false], \"generation\": [true, false, false], \"resolved\": [\"z\", null, null], \"recycle\": [10]}, \"expected\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, true, false], \"generation\": [true, false, false], \"resolved\": [\"z\", null, null], \"recycle\": [11]}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.206,"exit_code":0,"observations":[{"actual":{"bounds":[false,false],"generation":[false,false],"live":[false,false],"owners":[true,true],"recycle":[],"resolved":[null,null]},"check":"regression certificate 1","expected":{"bounds":[false,false],"generation":[false,false],"live":[false,false],"owners":[true,true],"recycle":[],"resolved":[null,null]},"passed":true},{"actual":{"bounds":[true,true],"generation":[true,true],"live":[true,true],"owners":[true,false],"recycle":[1],"resolved":[0,null]},"check":"regression certificate 2","expected":{"bounds":[true,true],"generation":[true,true],"live":[true,true],"owners":[true,false],"recycle":[1],"resolved":[0,null]},"passed":true},{"actual":{"bounds":[true,true],"generation":[true,false],"live":[false,false],"owners":[true,true],"recycle":[4],"resolved":[null,null]},"check":"regression certificate 3","expected":{"bounds":[true,true],"generation":[true,false],"live":[false,false],"owners":[true,true],"recycle":[4],"resolved":[null,null]},"passed":true},{"actual":{"bounds":[true,true,true],"generation":[false,true,true],"live":[true,true,true],"owners":[true,true,false],"recycle":[5,9],"resolved":[null,"b",null]},"check":"regression certificate 4","expected":{"bounds":[true,true,true],"generation":[false,true,true],"live":[true,true,true],"owners":[true,true,false],"recycle":[5,9],"resolved":[null,"b",null]},"passed":true},{"actual":{"bounds":[true,true,false],"generation":[true,true,false],"live":[true,false,false],"owners":[true,true,true],"recycle":[2,3],"resolved":["",null,null]},"check":"regression certificate 5","expected":{"bounds":[true,true,false],"generation":[true,true,false],"live":[true,false,false],"owners":[true,true,true],"recycle":[2,3],"resolved":["",null,null]},"passed":true},{"actual":{"bounds":[true,true,false],"generation":[false,true,false],"live":[true,true,false],"owners":[true,true,true],"recycle":[10],"resolved":[null,"z",null]},"check":"regression certificate 6","expected":{"bounds":[true,true,false],"generation":[false,true,false],"live":[true,true,false],"owners":[true,true,true],"recycle":[10],"resolved":[null,"z",null]},"passed":true},{"actual":{"bounds":[true,true,false],"generation":[true,false,false],"live":[true,true,false],"owners":[true,true,true],"recycle":[11],"resolved":["z",null,null]},"check":"variant-dependent certificate","expected":{"bounds":[true,true,false],"generation":[true,false,false],"live":[true,true,false],"owners":[true,true,true],"recycle":[11],"resolved":["z",null,null]},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"owners\": [true, true], \"bounds\": [false, false], \"live\": [false, false], \"generation\": [false, false], \"resolved\": [null, null], \"recycle\": []}, \"expected\": {\"owners\": [true, true], \"bounds\": [false, false], \"live\": [false, false], \"generation\": [false, false], \"resolved\": [null, null], \"recycle\": []}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"owners\": [true, false], \"bounds\": [true, true], \"live\": [true, true], \"generation\": [true, true], \"resolved\": [0, null], \"recycle\": [1]}, \"expected\": {\"owners\": [true, false], \"bounds\": [true, true], \"live\": [true, true], \"generation\": [true, true], \"resolved\": [0, null], \"recycle\": [1]}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"owners\": [true, true], \"bounds\": [true, true], \"live\": [false, false], \"generation\": [true, false], \"resolved\": [null, null], \"recycle\": [4]}, \"expected\": {\"owners\": [true, true], \"bounds\": [true, true], \"live\": [false, false], \"generation\": [true, false], \"resolved\": [null, null], \"recycle\": [4]}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"owners\": [true, true, false], \"bounds\": [true, true, true], \"live\": [true, true, true], \"generation\": [false, true, true], \"resolved\": [null, \"b\", null], \"recycle\": [5, 9]}, \"expected\": {\"owners\": [true, true, false], \"bounds\": [true, true, true], \"live\": [true, true, true], \"generation\": [false, true, true], \"resolved\": [null, \"b\", null], \"recycle\": [5, 9]}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, false, false], \"generation\": [true, true, false], \"resolved\": [\"\", null, null], \"recycle\": [2, 3]}, \"expected\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, false, false], \"generation\": [true, true, false], \"resolved\": [\"\", null, null], \"recycle\": [2, 3]}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, true, false], \"generation\": [false, true, false], \"resolved\": [null, \"z\", null], \"recycle\": [10]}, \"expected\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, true, false], \"generation\": [false, true, false], \"resolved\": [null, \"z\", null], \"recycle\": [10]}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, true, false], \"generation\": [true, false, false], \"resolved\": [\"z\", null, null], \"recycle\": [11]}, \"expected\": {\"owners\": [true, true, true], \"bounds\": [true, true, false], \"live\": [true, true, false], \"generation\": [true, false, false], \"resolved\": [\"z\", null, null], \"recycle\": [11]}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}