{"abstract":"The bounded lazy compaction certificate reports an incorrect missing.","category":"Heap invariants","checks":7,"contract":"A lazy heap compaction receives arbitrary physical records [priority,serial,id,version] and live map id->version. Preserve only records whose id and version match, retain duplicate physical records for diagnostic detection, heapify by (priority,serial), and report stale count, duplicate-current ids, live-id coverage, storage ratio numerator, and triggering condition physical>2*live+slack.","evaluation_group":"s3-heap-model-lazy-compaction","failed_approach":"The local patch uses sorted({x[2] for x in q}-set(live)) and still violates the stated relation.","family":"s3-heap-lazy-compaction-missing","id":"FA-40366","implementations":{"attempt":{"sha256":"27a786e09ae40061b781376b67a5bb89aba9d7c28428aab1a70dfea72cd2abcf","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    q=d['records']; live=d['live']; kept=[x for x in q if x[2] in live and x[3]==live[x[2]]]\n    return {'kept': sorted(kept,key=lambda x:(x[0],x[1])),\n    'stale': len(q)-len(kept),\n    'duplicate_current': sorted({x[2] for x in kept if sum(y[2]==x[2] for y in kept)>1}),\n    'missing': sorted({x[2] for x in q}-set(live)),\n    'post_size': len(kept),\n    'trigger': len(q)>2*len(live)+d[\"slack\"]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'records': [], 'live': {}, 'slack': 0}, {'kept': [], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 0, 'trigger': False}), ({'records': [[1, 0, 'a', 0]], 'live': {'a': 0}, 'slack': 0}, {'kept': [[1, 0, 'a', 0]], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 1, 'trigger': False}), ({'records': [[5, 0, 'a', 0], [3, 1, 'a', 1], [2, 2, 'b', 0]], 'live': {'a': 1, 'b': 0}, 'slack': 0}, {'kept': [[2, 2, 'b', 0], [3, 1, 'a', 1]], 'stale': 1, 'duplicate_current': [], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[1, 0, 'a', 0], [2, 1, 'a', 1]], 'live': {'a': 2}, 'slack': 0}, {'kept': [], 'stale': 2, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False}), ({'records': [[2, 0, 'a', 1], [1, 1, 'a', 1], [3, 2, 'x', 0], [4, 3, 'y', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [[1, 1, 'a', 1], [2, 0, 'a', 1]], 'stale': 2, 'duplicate_current': ['a'], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 1}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': True}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False})], [({'records': [], 'live': {}, 'slack': 0}, {'kept': [], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 0, 'trigger': False}), ({'records': [[1, 0, 'a', 0]], 'live': {'a': 0}, 'slack': 0}, {'kept': [[1, 0, 'a', 0]], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 1, 'trigger': False}), ({'records': [[5, 0, 'a', 0], [3, 1, 'a', 1], [2, 2, 'b', 0]], 'live': {'a': 1, 'b': 0}, 'slack': 0}, {'kept': [[2, 2, 'b', 0], [3, 1, 'a', 1]], 'stale': 1, 'duplicate_current': [], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[1, 0, 'a', 0], [2, 1, 'a', 1]], 'live': {'a': 2}, 'slack': 0}, {'kept': [], 'stale': 2, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False}), ({'records': [[2, 0, 'a', 1], [1, 1, 'a', 1], [3, 2, 'x', 0], [4, 3, 'y', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [[1, 1, 'a', 1], [2, 0, 'a', 1]], 'stale': 2, 'duplicate_current': ['a'], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 1}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': True}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 3}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False})], [({'records': [], 'live': {}, 'slack': 0}, {'kept': [], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 0, 'trigger': False}), ({'records': [[1, 0, 'a', 0]], 'live': {'a': 0}, 'slack': 0}, {'kept': [[1, 0, 'a', 0]], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 1, 'trigger': False}), ({'records': [[5, 0, 'a', 0], [3, 1, 'a', 1], [2, 2, 'b', 0]], 'live': {'a': 1, 'b': 0}, 'slack': 0}, {'kept': [[2, 2, 'b', 0], [3, 1, 'a', 1]], 'stale': 1, 'duplicate_current': [], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[1, 0, 'a', 0], [2, 1, 'a', 1]], 'live': {'a': 2}, 'slack': 0}, {'kept': [], 'stale': 2, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False}), ({'records': [[2, 0, 'a', 1], [1, 1, 'a', 1], [3, 2, 'x', 0], [4, 3, 'y', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [[1, 1, 'a', 1], [2, 0, 'a', 1]], 'stale': 2, 'duplicate_current': ['a'], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 1}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': True}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 4}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False})], [({'records': [], 'live': {}, 'slack': 0}, {'kept': [], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 0, 'trigger': False}), ({'records': [[1, 0, 'a', 0]], 'live': {'a': 0}, 'slack': 0}, {'kept': [[1, 0, 'a', 0]], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 1, 'trigger': False}), ({'records': [[5, 0, 'a', 0], [3, 1, 'a', 1], [2, 2, 'b', 0]], 'live': {'a': 1, 'b': 0}, 'slack': 0}, {'kept': [[2, 2, 'b', 0], [3, 1, 'a', 1]], 'stale': 1, 'duplicate_current': [], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[1, 0, 'a', 0], [2, 1, 'a', 1]], 'live': {'a': 2}, 'slack': 0}, {'kept': [], 'stale': 2, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False}), ({'records': [[2, 0, 'a', 1], [1, 1, 'a', 1], [3, 2, 'x', 0], [4, 3, 'y', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [[1, 1, 'a', 1], [2, 0, 'a', 1]], 'stale': 2, 'duplicate_current': ['a'], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 1}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': True}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 5}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False})], [({'records': [], 'live': {}, 'slack': 0}, {'kept': [], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 0, 'trigger': False}), ({'records': [[1, 0, 'a', 0]], 'live': {'a': 0}, 'slack': 0}, {'kept': [[1, 0, 'a', 0]], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 1, 'trigger': False}), ({'records': [[5, 0, 'a', 0], [3, 1, 'a', 1], [2, 2, 'b', 0]], 'live': {'a': 1, 'b': 0}, 'slack': 0}, {'kept': [[2, 2, 'b', 0], [3, 1, 'a', 1]], 'stale': 1, 'duplicate_current': [], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[1, 0, 'a', 0], [2, 1, 'a', 1]], 'live': {'a': 2}, 'slack': 0}, {'kept': [], 'stale': 2, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False}), ({'records': [[2, 0, 'a', 1], [1, 1, 'a', 1], [3, 2, 'x', 0], [4, 3, 'y', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [[1, 1, 'a', 1], [2, 0, 'a', 1]], 'stale': 2, 'duplicate_current': ['a'], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 1}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': True}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 6}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False})]][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":"0bff4ccb168ec68090457eb30cbdb8b353a6893efe17ce26bf5e73477d2f6b8e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    q=d['records']; live=d['live']; kept=[x for x in q if x[2] in live and x[3]==live[x[2]]]\n    return {'kept': sorted(kept,key=lambda x:(x[0],x[1])),\n    'stale': len(q)-len(kept),\n    'duplicate_current': sorted({x[2] for x in kept if sum(y[2]==x[2] for y in kept)>1}),\n    'missing': sorted(set(live)-{x[2] for x in q}),\n    'post_size': len(kept),\n    'trigger': len(q)>2*len(live)+d[\"slack\"]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'records': [], 'live': {}, 'slack': 0}, {'kept': [], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 0, 'trigger': False}), ({'records': [[1, 0, 'a', 0]], 'live': {'a': 0}, 'slack': 0}, {'kept': [[1, 0, 'a', 0]], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 1, 'trigger': False}), ({'records': [[5, 0, 'a', 0], [3, 1, 'a', 1], [2, 2, 'b', 0]], 'live': {'a': 1, 'b': 0}, 'slack': 0}, {'kept': [[2, 2, 'b', 0], [3, 1, 'a', 1]], 'stale': 1, 'duplicate_current': [], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[1, 0, 'a', 0], [2, 1, 'a', 1]], 'live': {'a': 2}, 'slack': 0}, {'kept': [], 'stale': 2, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False}), ({'records': [[2, 0, 'a', 1], [1, 1, 'a', 1], [3, 2, 'x', 0], [4, 3, 'y', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [[1, 1, 'a', 1], [2, 0, 'a', 1]], 'stale': 2, 'duplicate_current': ['a'], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 1}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': True}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False})], [({'records': [], 'live': {}, 'slack': 0}, {'kept': [], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 0, 'trigger': False}), ({'records': [[1, 0, 'a', 0]], 'live': {'a': 0}, 'slack': 0}, {'kept': [[1, 0, 'a', 0]], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 1, 'trigger': False}), ({'records': [[5, 0, 'a', 0], [3, 1, 'a', 1], [2, 2, 'b', 0]], 'live': {'a': 1, 'b': 0}, 'slack': 0}, {'kept': [[2, 2, 'b', 0], [3, 1, 'a', 1]], 'stale': 1, 'duplicate_current': [], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[1, 0, 'a', 0], [2, 1, 'a', 1]], 'live': {'a': 2}, 'slack': 0}, {'kept': [], 'stale': 2, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False}), ({'records': [[2, 0, 'a', 1], [1, 1, 'a', 1], [3, 2, 'x', 0], [4, 3, 'y', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [[1, 1, 'a', 1], [2, 0, 'a', 1]], 'stale': 2, 'duplicate_current': ['a'], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 1}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': True}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 3}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False})], [({'records': [], 'live': {}, 'slack': 0}, {'kept': [], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 0, 'trigger': False}), ({'records': [[1, 0, 'a', 0]], 'live': {'a': 0}, 'slack': 0}, {'kept': [[1, 0, 'a', 0]], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 1, 'trigger': False}), ({'records': [[5, 0, 'a', 0], [3, 1, 'a', 1], [2, 2, 'b', 0]], 'live': {'a': 1, 'b': 0}, 'slack': 0}, {'kept': [[2, 2, 'b', 0], [3, 1, 'a', 1]], 'stale': 1, 'duplicate_current': [], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[1, 0, 'a', 0], [2, 1, 'a', 1]], 'live': {'a': 2}, 'slack': 0}, {'kept': [], 'stale': 2, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False}), ({'records': [[2, 0, 'a', 1], [1, 1, 'a', 1], [3, 2, 'x', 0], [4, 3, 'y', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [[1, 1, 'a', 1], [2, 0, 'a', 1]], 'stale': 2, 'duplicate_current': ['a'], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 1}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': True}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 4}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False})], [({'records': [], 'live': {}, 'slack': 0}, {'kept': [], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 0, 'trigger': False}), ({'records': [[1, 0, 'a', 0]], 'live': {'a': 0}, 'slack': 0}, {'kept': [[1, 0, 'a', 0]], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 1, 'trigger': False}), ({'records': [[5, 0, 'a', 0], [3, 1, 'a', 1], [2, 2, 'b', 0]], 'live': {'a': 1, 'b': 0}, 'slack': 0}, {'kept': [[2, 2, 'b', 0], [3, 1, 'a', 1]], 'stale': 1, 'duplicate_current': [], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[1, 0, 'a', 0], [2, 1, 'a', 1]], 'live': {'a': 2}, 'slack': 0}, {'kept': [], 'stale': 2, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False}), ({'records': [[2, 0, 'a', 1], [1, 1, 'a', 1], [3, 2, 'x', 0], [4, 3, 'y', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [[1, 1, 'a', 1], [2, 0, 'a', 1]], 'stale': 2, 'duplicate_current': ['a'], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 1}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': True}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 5}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False})], [({'records': [], 'live': {}, 'slack': 0}, {'kept': [], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 0, 'trigger': False}), ({'records': [[1, 0, 'a', 0]], 'live': {'a': 0}, 'slack': 0}, {'kept': [[1, 0, 'a', 0]], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 1, 'trigger': False}), ({'records': [[5, 0, 'a', 0], [3, 1, 'a', 1], [2, 2, 'b', 0]], 'live': {'a': 1, 'b': 0}, 'slack': 0}, {'kept': [[2, 2, 'b', 0], [3, 1, 'a', 1]], 'stale': 1, 'duplicate_current': [], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[1, 0, 'a', 0], [2, 1, 'a', 1]], 'live': {'a': 2}, 'slack': 0}, {'kept': [], 'stale': 2, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False}), ({'records': [[2, 0, 'a', 1], [1, 1, 'a', 1], [3, 2, 'x', 0], [4, 3, 'y', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [[1, 1, 'a', 1], [2, 0, 'a', 1]], 'stale': 2, 'duplicate_current': ['a'], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 1}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': True}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 6}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False})]][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":"7d0b43342615d2d856c4dff8e29b56df0dc0a051a4afcd54967e9264c7a96ea2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    q=d['records']; live=d['live']; kept=[x for x in q if x[2] in live and x[3]==live[x[2]]]\n    return {'kept': sorted(kept,key=lambda x:(x[0],x[1])),\n    'stale': len(q)-len(kept),\n    'duplicate_current': sorted({x[2] for x in kept if sum(y[2]==x[2] for y in kept)>1}),\n    'missing': sorted(set(live)-{x[2] for x in kept}),\n    'post_size': len(kept),\n    'trigger': len(q)>2*len(live)+d[\"slack\"]}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncases = [[({'records': [], 'live': {}, 'slack': 0}, {'kept': [], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 0, 'trigger': False}), ({'records': [[1, 0, 'a', 0]], 'live': {'a': 0}, 'slack': 0}, {'kept': [[1, 0, 'a', 0]], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 1, 'trigger': False}), ({'records': [[5, 0, 'a', 0], [3, 1, 'a', 1], [2, 2, 'b', 0]], 'live': {'a': 1, 'b': 0}, 'slack': 0}, {'kept': [[2, 2, 'b', 0], [3, 1, 'a', 1]], 'stale': 1, 'duplicate_current': [], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[1, 0, 'a', 0], [2, 1, 'a', 1]], 'live': {'a': 2}, 'slack': 0}, {'kept': [], 'stale': 2, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False}), ({'records': [[2, 0, 'a', 1], [1, 1, 'a', 1], [3, 2, 'x', 0], [4, 3, 'y', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [[1, 1, 'a', 1], [2, 0, 'a', 1]], 'stale': 2, 'duplicate_current': ['a'], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 1}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': True}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False})], [({'records': [], 'live': {}, 'slack': 0}, {'kept': [], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 0, 'trigger': False}), ({'records': [[1, 0, 'a', 0]], 'live': {'a': 0}, 'slack': 0}, {'kept': [[1, 0, 'a', 0]], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 1, 'trigger': False}), ({'records': [[5, 0, 'a', 0], [3, 1, 'a', 1], [2, 2, 'b', 0]], 'live': {'a': 1, 'b': 0}, 'slack': 0}, {'kept': [[2, 2, 'b', 0], [3, 1, 'a', 1]], 'stale': 1, 'duplicate_current': [], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[1, 0, 'a', 0], [2, 1, 'a', 1]], 'live': {'a': 2}, 'slack': 0}, {'kept': [], 'stale': 2, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False}), ({'records': [[2, 0, 'a', 1], [1, 1, 'a', 1], [3, 2, 'x', 0], [4, 3, 'y', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [[1, 1, 'a', 1], [2, 0, 'a', 1]], 'stale': 2, 'duplicate_current': ['a'], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 1}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': True}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 3}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False})], [({'records': [], 'live': {}, 'slack': 0}, {'kept': [], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 0, 'trigger': False}), ({'records': [[1, 0, 'a', 0]], 'live': {'a': 0}, 'slack': 0}, {'kept': [[1, 0, 'a', 0]], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 1, 'trigger': False}), ({'records': [[5, 0, 'a', 0], [3, 1, 'a', 1], [2, 2, 'b', 0]], 'live': {'a': 1, 'b': 0}, 'slack': 0}, {'kept': [[2, 2, 'b', 0], [3, 1, 'a', 1]], 'stale': 1, 'duplicate_current': [], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[1, 0, 'a', 0], [2, 1, 'a', 1]], 'live': {'a': 2}, 'slack': 0}, {'kept': [], 'stale': 2, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False}), ({'records': [[2, 0, 'a', 1], [1, 1, 'a', 1], [3, 2, 'x', 0], [4, 3, 'y', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [[1, 1, 'a', 1], [2, 0, 'a', 1]], 'stale': 2, 'duplicate_current': ['a'], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 1}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': True}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 4}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False})], [({'records': [], 'live': {}, 'slack': 0}, {'kept': [], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 0, 'trigger': False}), ({'records': [[1, 0, 'a', 0]], 'live': {'a': 0}, 'slack': 0}, {'kept': [[1, 0, 'a', 0]], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 1, 'trigger': False}), ({'records': [[5, 0, 'a', 0], [3, 1, 'a', 1], [2, 2, 'b', 0]], 'live': {'a': 1, 'b': 0}, 'slack': 0}, {'kept': [[2, 2, 'b', 0], [3, 1, 'a', 1]], 'stale': 1, 'duplicate_current': [], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[1, 0, 'a', 0], [2, 1, 'a', 1]], 'live': {'a': 2}, 'slack': 0}, {'kept': [], 'stale': 2, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False}), ({'records': [[2, 0, 'a', 1], [1, 1, 'a', 1], [3, 2, 'x', 0], [4, 3, 'y', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [[1, 1, 'a', 1], [2, 0, 'a', 1]], 'stale': 2, 'duplicate_current': ['a'], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 1}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': True}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 5}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False})], [({'records': [], 'live': {}, 'slack': 0}, {'kept': [], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 0, 'trigger': False}), ({'records': [[1, 0, 'a', 0]], 'live': {'a': 0}, 'slack': 0}, {'kept': [[1, 0, 'a', 0]], 'stale': 0, 'duplicate_current': [], 'missing': [], 'post_size': 1, 'trigger': False}), ({'records': [[5, 0, 'a', 0], [3, 1, 'a', 1], [2, 2, 'b', 0]], 'live': {'a': 1, 'b': 0}, 'slack': 0}, {'kept': [[2, 2, 'b', 0], [3, 1, 'a', 1]], 'stale': 1, 'duplicate_current': [], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[1, 0, 'a', 0], [2, 1, 'a', 1]], 'live': {'a': 2}, 'slack': 0}, {'kept': [], 'stale': 2, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False}), ({'records': [[2, 0, 'a', 1], [1, 1, 'a', 1], [3, 2, 'x', 0], [4, 3, 'y', 0]], 'live': {'a': 1}, 'slack': 2}, {'kept': [[1, 1, 'a', 1], [2, 0, 'a', 1]], 'stale': 2, 'duplicate_current': ['a'], 'missing': [], 'post_size': 2, 'trigger': False}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 1}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': True}), ({'records': [[0, 0, 'x', 0], [1, 1, 'x', 0], [2, 2, 'x', 0], [3, 3, 'x', 0]], 'live': {'a': 1}, 'slack': 6}, {'kept': [], 'stale': 4, 'duplicate_current': [], 'missing': ['a'], 'post_size': 0, 'trigger': False})]][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-lazy-compaction-missing","generated_at":"2026-09-29T14:43:30.472971+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 missing using sorted(set(live)-{x[2] for x in kept}) under the stated bounded certificate contract.","root_cause":"Lazy compaction coverage requires a current physical representative.","sha256":"468fd4cd2d993d55af7c0d8f03ec2c82f063ec8a97f3119c07817e86c39d24cc","title":"Lazy compaction coverage requires a current physical representative · 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.302,"exit_code":1,"observations":[{"actual":{"duplicate_current":[],"kept":[],"missing":[],"post_size":0,"stale":0,"trigger":false},"check":"regression certificate 1","expected":{"duplicate_current":[],"kept":[],"missing":[],"post_size":0,"stale":0,"trigger":false},"passed":true},{"actual":{"duplicate_current":[],"kept":[[1,0,"a",0]],"missing":[],"post_size":1,"stale":0,"trigger":false},"check":"regression certificate 2","expected":{"duplicate_current":[],"kept":[[1,0,"a",0]],"missing":[],"post_size":1,"stale":0,"trigger":false},"passed":true},{"actual":{"duplicate_current":[],"kept":[[2,2,"b",0],[3,1,"a",1]],"missing":[],"post_size":2,"stale":1,"trigger":false},"check":"regression certificate 3","expected":{"duplicate_current":[],"kept":[[2,2,"b",0],[3,1,"a",1]],"missing":[],"post_size":2,"stale":1,"trigger":false},"passed":true},{"actual":{"duplicate_current":[],"kept":[],"missing":[],"post_size":0,"stale":2,"trigger":false},"check":"regression certificate 4","expected":{"duplicate_current":[],"kept":[],"missing":["a"],"post_size":0,"stale":2,"trigger":false},"passed":false},{"actual":{"duplicate_current":["a"],"kept":[[1,1,"a",1],[2,0,"a",1]],"missing":["x","y"],"post_size":2,"stale":2,"trigger":false},"check":"regression certificate 5","expected":{"duplicate_current":["a"],"kept":[[1,1,"a",1],[2,0,"a",1]],"missing":[],"post_size":2,"stale":2,"trigger":false},"passed":false},{"actual":{"duplicate_current":[],"kept":[],"missing":["x"],"post_size":0,"stale":4,"trigger":true},"check":"regression certificate 6","expected":{"duplicate_current":[],"kept":[],"missing":["a"],"post_size":0,"stale":4,"trigger":true},"passed":false},{"actual":{"duplicate_current":[],"kept":[],"missing":["x"],"post_size":0,"stale":4,"trigger":false},"check":"variant-dependent certificate","expected":{"duplicate_current":[],"kept":[],"missing":["a"],"post_size":0,"stale":4,"trigger":false},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"kept\": [], \"stale\": 0, \"duplicate_current\": [], \"missing\": [], \"post_size\": 0, \"trigger\": false}, \"expected\": {\"kept\": [], \"stale\": 0, \"duplicate_current\": [], \"missing\": [], \"post_size\": 0, \"trigger\": false}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"kept\": [[1, 0, \"a\", 0]], \"stale\": 0, \"duplicate_current\": [], \"missing\": [], \"post_size\": 1, \"trigger\": false}, \"expected\": {\"kept\": [[1, 0, \"a\", 0]], \"stale\": 0, \"duplicate_current\": [], \"missing\": [], \"post_size\": 1, \"trigger\": false}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"kept\": [[2, 2, \"b\", 0], [3, 1, \"a\", 1]], \"stale\": 1, \"duplicate_current\": [], \"missing\": [], \"post_size\": 2, \"trigger\": false}, \"expected\": {\"kept\": [[2, 2, \"b\", 0], [3, 1, \"a\", 1]], \"stale\": 1, \"duplicate_current\": [], \"missing\": [], \"post_size\": 2, \"trigger\": false}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"kept\": [], \"stale\": 2, \"duplicate_current\": [], \"missing\": [], \"post_size\": 0, \"trigger\": false}, \"expected\": {\"kept\": [], \"stale\": 2, \"duplicate_current\": [], \"missing\": [\"a\"], \"post_size\": 0, \"trigger\": false}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"kept\": [[1, 1, \"a\", 1], [2, 0, \"a\", 1]], \"stale\": 2, \"duplicate_current\": [\"a\"], \"missing\": [\"x\", \"y\"], \"post_size\": 2, \"trigger\": false}, \"expected\": {\"kept\": [[1, 1, \"a\", 1], [2, 0, \"a\", 1]], \"stale\": 2, \"duplicate_current\": [\"a\"], \"missing\": [], \"post_size\": 2, \"trigger\": false}, \"passed\": false}, {\"check\": \"regression certificate 6\", \"actual\": {\"kept\": [], \"stale\": 4, \"duplicate_current\": [], \"missing\": [\"x\"], \"post_size\": 0, \"trigger\": true}, \"expected\": {\"kept\": [], \"stale\": 4, \"duplicate_current\": [], \"missing\": [\"a\"], \"post_size\": 0, \"trigger\": true}, \"passed\": false}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"kept\": [], \"stale\": 4, \"duplicate_current\": [], \"missing\": [\"x\"], \"post_size\": 0, \"trigger\": false}, \"expected\": {\"kept\": [], \"stale\": 4, \"duplicate_current\": [], \"missing\": [\"a\"], \"post_size\": 0, \"trigger\": false}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.423,"exit_code":1,"observations":[{"actual":{"duplicate_current":[],"kept":[],"missing":[],"post_size":0,"stale":0,"trigger":false},"check":"regression certificate 1","expected":{"duplicate_current":[],"kept":[],"missing":[],"post_size":0,"stale":0,"trigger":false},"passed":true},{"actual":{"duplicate_current":[],"kept":[[1,0,"a",0]],"missing":[],"post_size":1,"stale":0,"trigger":false},"check":"regression certificate 2","expected":{"duplicate_current":[],"kept":[[1,0,"a",0]],"missing":[],"post_size":1,"stale":0,"trigger":false},"passed":true},{"actual":{"duplicate_current":[],"kept":[[2,2,"b",0],[3,1,"a",1]],"missing":[],"post_size":2,"stale":1,"trigger":false},"check":"regression certificate 3","expected":{"duplicate_current":[],"kept":[[2,2,"b",0],[3,1,"a",1]],"missing":[],"post_size":2,"stale":1,"trigger":false},"passed":true},{"actual":{"duplicate_current":[],"kept":[],"missing":[],"post_size":0,"stale":2,"trigger":false},"check":"regression certificate 4","expected":{"duplicate_current":[],"kept":[],"missing":["a"],"post_size":0,"stale":2,"trigger":false},"passed":false},{"actual":{"duplicate_current":["a"],"kept":[[1,1,"a",1],[2,0,"a",1]],"missing":[],"post_size":2,"stale":2,"trigger":false},"check":"regression certificate 5","expected":{"duplicate_current":["a"],"kept":[[1,1,"a",1],[2,0,"a",1]],"missing":[],"post_size":2,"stale":2,"trigger":false},"passed":true},{"actual":{"duplicate_current":[],"kept":[],"missing":["a"],"post_size":0,"stale":4,"trigger":true},"check":"regression certificate 6","expected":{"duplicate_current":[],"kept":[],"missing":["a"],"post_size":0,"stale":4,"trigger":true},"passed":true},{"actual":{"duplicate_current":[],"kept":[],"missing":["a"],"post_size":0,"stale":4,"trigger":false},"check":"variant-dependent certificate","expected":{"duplicate_current":[],"kept":[],"missing":["a"],"post_size":0,"stale":4,"trigger":false},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"kept\": [], \"stale\": 0, \"duplicate_current\": [], \"missing\": [], \"post_size\": 0, \"trigger\": false}, \"expected\": {\"kept\": [], \"stale\": 0, \"duplicate_current\": [], \"missing\": [], \"post_size\": 0, \"trigger\": false}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"kept\": [[1, 0, \"a\", 0]], \"stale\": 0, \"duplicate_current\": [], \"missing\": [], \"post_size\": 1, \"trigger\": false}, \"expected\": {\"kept\": [[1, 0, \"a\", 0]], \"stale\": 0, \"duplicate_current\": [], \"missing\": [], \"post_size\": 1, \"trigger\": false}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"kept\": [[2, 2, \"b\", 0], [3, 1, \"a\", 1]], \"stale\": 1, \"duplicate_current\": [], \"missing\": [], \"post_size\": 2, \"trigger\": false}, \"expected\": {\"kept\": [[2, 2, \"b\", 0], [3, 1, \"a\", 1]], \"stale\": 1, \"duplicate_current\": [], \"missing\": [], \"post_size\": 2, \"trigger\": false}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"kept\": [], \"stale\": 2, \"duplicate_current\": [], \"missing\": [], \"post_size\": 0, \"trigger\": false}, \"expected\": {\"kept\": [], \"stale\": 2, \"duplicate_current\": [], \"missing\": [\"a\"], \"post_size\": 0, \"trigger\": false}, \"passed\": false}, {\"check\": \"regression certificate 5\", \"actual\": {\"kept\": [[1, 1, \"a\", 1], [2, 0, \"a\", 1]], \"stale\": 2, \"duplicate_current\": [\"a\"], \"missing\": [], \"post_size\": 2, \"trigger\": false}, \"expected\": {\"kept\": [[1, 1, \"a\", 1], [2, 0, \"a\", 1]], \"stale\": 2, \"duplicate_current\": [\"a\"], \"missing\": [], \"post_size\": 2, \"trigger\": false}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"kept\": [], \"stale\": 4, \"duplicate_current\": [], \"missing\": [\"a\"], \"post_size\": 0, \"trigger\": true}, \"expected\": {\"kept\": [], \"stale\": 4, \"duplicate_current\": [], \"missing\": [\"a\"], \"post_size\": 0, \"trigger\": true}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"kept\": [], \"stale\": 4, \"duplicate_current\": [], \"missing\": [\"a\"], \"post_size\": 0, \"trigger\": false}, \"expected\": {\"kept\": [], \"stale\": 4, \"duplicate_current\": [], \"missing\": [\"a\"], \"post_size\": 0, \"trigger\": false}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.42,"exit_code":0,"observations":[{"actual":{"duplicate_current":[],"kept":[],"missing":[],"post_size":0,"stale":0,"trigger":false},"check":"regression certificate 1","expected":{"duplicate_current":[],"kept":[],"missing":[],"post_size":0,"stale":0,"trigger":false},"passed":true},{"actual":{"duplicate_current":[],"kept":[[1,0,"a",0]],"missing":[],"post_size":1,"stale":0,"trigger":false},"check":"regression certificate 2","expected":{"duplicate_current":[],"kept":[[1,0,"a",0]],"missing":[],"post_size":1,"stale":0,"trigger":false},"passed":true},{"actual":{"duplicate_current":[],"kept":[[2,2,"b",0],[3,1,"a",1]],"missing":[],"post_size":2,"stale":1,"trigger":false},"check":"regression certificate 3","expected":{"duplicate_current":[],"kept":[[2,2,"b",0],[3,1,"a",1]],"missing":[],"post_size":2,"stale":1,"trigger":false},"passed":true},{"actual":{"duplicate_current":[],"kept":[],"missing":["a"],"post_size":0,"stale":2,"trigger":false},"check":"regression certificate 4","expected":{"duplicate_current":[],"kept":[],"missing":["a"],"post_size":0,"stale":2,"trigger":false},"passed":true},{"actual":{"duplicate_current":["a"],"kept":[[1,1,"a",1],[2,0,"a",1]],"missing":[],"post_size":2,"stale":2,"trigger":false},"check":"regression certificate 5","expected":{"duplicate_current":["a"],"kept":[[1,1,"a",1],[2,0,"a",1]],"missing":[],"post_size":2,"stale":2,"trigger":false},"passed":true},{"actual":{"duplicate_current":[],"kept":[],"missing":["a"],"post_size":0,"stale":4,"trigger":true},"check":"regression certificate 6","expected":{"duplicate_current":[],"kept":[],"missing":["a"],"post_size":0,"stale":4,"trigger":true},"passed":true},{"actual":{"duplicate_current":[],"kept":[],"missing":["a"],"post_size":0,"stale":4,"trigger":false},"check":"variant-dependent certificate","expected":{"duplicate_current":[],"kept":[],"missing":["a"],"post_size":0,"stale":4,"trigger":false},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression certificate 1\", \"actual\": {\"kept\": [], \"stale\": 0, \"duplicate_current\": [], \"missing\": [], \"post_size\": 0, \"trigger\": false}, \"expected\": {\"kept\": [], \"stale\": 0, \"duplicate_current\": [], \"missing\": [], \"post_size\": 0, \"trigger\": false}, \"passed\": true}, {\"check\": \"regression certificate 2\", \"actual\": {\"kept\": [[1, 0, \"a\", 0]], \"stale\": 0, \"duplicate_current\": [], \"missing\": [], \"post_size\": 1, \"trigger\": false}, \"expected\": {\"kept\": [[1, 0, \"a\", 0]], \"stale\": 0, \"duplicate_current\": [], \"missing\": [], \"post_size\": 1, \"trigger\": false}, \"passed\": true}, {\"check\": \"regression certificate 3\", \"actual\": {\"kept\": [[2, 2, \"b\", 0], [3, 1, \"a\", 1]], \"stale\": 1, \"duplicate_current\": [], \"missing\": [], \"post_size\": 2, \"trigger\": false}, \"expected\": {\"kept\": [[2, 2, \"b\", 0], [3, 1, \"a\", 1]], \"stale\": 1, \"duplicate_current\": [], \"missing\": [], \"post_size\": 2, \"trigger\": false}, \"passed\": true}, {\"check\": \"regression certificate 4\", \"actual\": {\"kept\": [], \"stale\": 2, \"duplicate_current\": [], \"missing\": [\"a\"], \"post_size\": 0, \"trigger\": false}, \"expected\": {\"kept\": [], \"stale\": 2, \"duplicate_current\": [], \"missing\": [\"a\"], \"post_size\": 0, \"trigger\": false}, \"passed\": true}, {\"check\": \"regression certificate 5\", \"actual\": {\"kept\": [[1, 1, \"a\", 1], [2, 0, \"a\", 1]], \"stale\": 2, \"duplicate_current\": [\"a\"], \"missing\": [], \"post_size\": 2, \"trigger\": false}, \"expected\": {\"kept\": [[1, 1, \"a\", 1], [2, 0, \"a\", 1]], \"stale\": 2, \"duplicate_current\": [\"a\"], \"missing\": [], \"post_size\": 2, \"trigger\": false}, \"passed\": true}, {\"check\": \"regression certificate 6\", \"actual\": {\"kept\": [], \"stale\": 4, \"duplicate_current\": [], \"missing\": [\"a\"], \"post_size\": 0, \"trigger\": true}, \"expected\": {\"kept\": [], \"stale\": 4, \"duplicate_current\": [], \"missing\": [\"a\"], \"post_size\": 0, \"trigger\": true}, \"passed\": true}, {\"check\": \"variant-dependent certificate\", \"actual\": {\"kept\": [], \"stale\": 4, \"duplicate_current\": [], \"missing\": [\"a\"], \"post_size\": 0, \"trigger\": false}, \"expected\": {\"kept\": [], \"stale\": 4, \"duplicate_current\": [], \"missing\": [\"a\"], \"post_size\": 0, \"trigger\": false}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}