{"abstract":"The bounded handle generation certificate reports an incorrect live.","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 [bounds(h) and bool(slots[h[0]][2]) for h in hs] and still violates the stated relation.","family":"s3-heap-handle-generation-live","id":"FA-40301","implementations":{"attempt":{"sha256":"c14a53466302577fe341cc45c62ab9ca32c22dab47d84c989be52e318f05fbcc","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': [bounds(h) and bool(slots[h[0]][2]) 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"},"broken":{"sha256":"56a6d0aeaf511fb98567913219e4df9897972e903614e5245f956407910ed071","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': [bounds(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"},"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-live","generated_at":"2026-09-29T14:43:29.806282+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 live using [live(h) for h in hs] under the stated bounded certificate contract.","root_cause":"Heap handle liveness is independent of payload truthiness.","sha256":"f7adb7bdf755cfd86938ec38494bd6ebb70ebc9ca95bd783386f8a95f5af73c4","title":"Heap handle liveness is independent of payload truthiness · 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":46.036,"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":[false,false],"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":false},{"actual":{"bounds":[true,true],"generation":[true,false],"live":[true,true],"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":false},{"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":[false,true,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":false},{"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":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\": [false, false], \"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\": false}, {\"check\": \"regression certificate 3\", \"actual\": {\"owners\": [true, true], \"bounds\": [true, true], \"live\": [true, true], \"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\": 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\": [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\": [false, true, 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\": 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\": [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\": false}\n"},"broken":{"elapsed_ms":45.686,"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":[true,true],"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":false},{"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,true,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":false},{"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":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\": [true, true], \"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\": 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\": [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, true, 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\": 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\": [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\": false}\n"},"fixed":{"elapsed_ms":44.077,"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"}