{"abstract":"Repeated invalidation produces duplicate observer field callbacks; the returned lifecycle plan violates the stated transition contract.","category":"Listener lifecycle","checks":8,"contract":"Plan a listener invalidation accumulator. Dirty field names form an insertion-ordered set; repeated invalidation keeps first order. Exactly one microtask is requested while dirty and unscheduled. A flush atomically detaches the current fields, so dirt arriving during callbacks becomes a later batch. Full invalidation supersedes field names. Disposed observers drop both batches. Inputs are finite state snapshots, including transitional and stale states; output fields are the exact independent actions/metadata defined by the corrected expression table. Numeric fixture capacities and counts vary with N.\nField definitions, each independently computed from the input snapshot: fields = list(dict.fromkeys(s['dirty']+([s['incoming']] if s['incoming'] is not None else []))); schedule = bool(s['dirty'] or s['incoming'] is not None or s['full']) and not s['scheduled'] and not s['disposed']; flush_fields = list(dict.fromkeys(s['dirty'])) if s['flush'] and not s['disposed'] and not s['full'] else []; next_batch = list(dict.fromkeys(s['during'])) if s['flush'] and not s['disposed'] else []; full = s['full'] and s['flush'] and not s['disposed']; version = s['version']+int(s['flush'] and bool(s['dirty'] or s['full']) and not s['disposed']); scheduled_after = bool(s['during']) if s['flush'] else s['scheduled']; stale = s['delivered']<s['version']; reentrant = s['flush'] and s['running']; retained = [] if s['disposed'] else list(dict.fromkeys(s['dirty']))","evaluation_group":"s3-listener-coalesced-invalidation","failed_approach":"The partial repair uses sorted(set(s['dirty']+([s['incoming']] if s['incoming'] is not None else []))); a retained regression distinguishes it from the full transition.","family":"s3-listener-coalesced-invalidation-fields","id":"FA-42141","implementations":{"attempt":{"sha256":"9ae663fb7b53739e5f1c222ef977f848da8fe1f0c093fbfd8a6d603507c4ed16","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'fields': sorted(set(s['dirty']+([s['incoming']] if s['incoming'] is not None else []))),\n        'schedule': bool(s['dirty'] or s['incoming'] is not None or s['full']) and not s['scheduled'] and not s['disposed'],\n        'flush_fields': list(dict.fromkeys(s['dirty'])) if s['flush'] and not s['disposed'] and not s['full'] else [],\n        'next_batch': list(dict.fromkeys(s['during'])) if s['flush'] and not s['disposed'] else [],\n        'full': s['full'] and s['flush'] and not s['disposed'],\n        'version': s['version']+int(s['flush'] and bool(s['dirty'] or s['full']) and not s['disposed']),\n        'scheduled_after': bool(s['during']) if s['flush'] else s['scheduled'],\n        'stale': s['delivered']<s['version'],\n        'reentrant': s['flush'] and s['running'],\n        'retained': [] if s['disposed'] else list(dict.fromkeys(s['dirty'])),\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 2, 'delivered': 0, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 2, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []}), ({'dirty': ['a'], 'incoming': None, 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': False, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['a'], 'schedule': False, 'flush_fields': [], 'next_batch': ['late'], 'full': True, 'version': 1, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': ['a']}), ({'dirty': ['a', 'b', 'a'], 'incoming': 'a', 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': True, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'a', 'scheduled': False, 'flush': False, 'during': ['late'], 'full': True, 'disposed': True, 'version': 2, 'delivered': 1, 'running': False}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 2, 'scheduled_after': False, 'stale': True, 'reentrant': False, 'retained': []}), ({'dirty': ['a', 'b', 'a'], 'incoming': 'c', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': False, 'disposed': False, 'version': 2, 'delivered': 0, 'running': False}, {'fields': ['a', 'b', 'c'], 'schedule': True, 'flush_fields': ['a', 'b'], 'next_batch': ['late'], 'full': False, 'version': 3, 'scheduled_after': True, 'stale': True, 'reentrant': False, 'retained': ['a', 'b']}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': [], 'full': True, 'disposed': True, 'version': 2, 'delivered': 0, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 2, 'scheduled_after': False, 'stale': True, 'reentrant': True, 'retained': []}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 2, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 2, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []})], 2: [({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 4, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 4, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': ['late'], 'full': True, 'version': 1, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': ['c', 'a']}), ({'dirty': ['a', 'b', 'a'], 'incoming': 'a', 'scheduled': True, 'flush': False, 'during': [], 'full': True, 'disposed': True, 'version': 4, 'delivered': 1, 'running': True}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 4, 'scheduled_after': True, 'stale': True, 'reentrant': False, 'retained': []}), ({'dirty': ['a', 'b', 'a'], 'incoming': None, 'scheduled': True, 'flush': True, 'during': ['late'], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': ['a', 'b'], 'next_batch': ['late'], 'full': False, 'version': 1, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': ['a', 'b']}), ({'dirty': ['c', 'a'], 'incoming': None, 'scheduled': False, 'flush': False, 'during': ['late'], 'full': False, 'disposed': True, 'version': 0, 'delivered': 0, 'running': False}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['a'], 'incoming': 'c', 'scheduled': True, 'flush': False, 'during': ['late'], 'full': True, 'disposed': True, 'version': 4, 'delivered': 1, 'running': False}, {'fields': ['a', 'c'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 4, 'scheduled_after': True, 'stale': True, 'reentrant': False, 'retained': []}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 4, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 4, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []})], 3: [({'dirty': ['c', 'a'], 'incoming': 'a', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': []}), ({'dirty': ['a'], 'incoming': 'a', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': False, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['a'], 'schedule': False, 'flush_fields': [], 'next_batch': ['late'], 'full': True, 'version': 1, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': ['a']}), ({'dirty': ['c', 'a'], 'incoming': 'a', 'scheduled': True, 'flush': False, 'during': ['late'], 'full': True, 'disposed': True, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['a'], 'incoming': 'c', 'scheduled': True, 'flush': False, 'during': ['late'], 'full': True, 'disposed': False, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['a', 'c'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': ['a']}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': True, 'during': [], 'full': False, 'disposed': False, 'version': 6, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 6, 'scheduled_after': False, 'stale': True, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': None, 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 6, 'delivered': 0, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 6, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 6, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 6, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []})], 4: [({'dirty': ['c', 'a'], 'incoming': 'a', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': ['late'], 'full': True, 'version': 1, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': ['c', 'a']}), ({'dirty': ['a', 'b', 'a'], 'incoming': None, 'scheduled': True, 'flush': False, 'during': ['late'], 'full': False, 'disposed': True, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['a', 'b', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': [], 'full': False, 'disposed': True, 'version': 0, 'delivered': 0, 'running': False}, {'fields': ['a', 'b', 'c'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': False, 'flush': True, 'during': [], 'full': False, 'disposed': True, 'version': 8, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 8, 'scheduled_after': False, 'stale': True, 'reentrant': True, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': False, 'during': ['late'], 'full': True, 'disposed': False, 'version': 8, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 8, 'scheduled_after': True, 'stale': True, 'reentrant': False, 'retained': ['c', 'a']}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 8, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 8, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []})], 5: [({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': None, 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': False, 'version': 10, 'delivered': 0, 'running': False}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': ['late'], 'full': True, 'version': 11, 'scheduled_after': True, 'stale': True, 'reentrant': False, 'retained': ['c', 'a']}), ({'dirty': ['a', 'b', 'a'], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': True, 'disposed': True, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['a', 'b', 'a'], 'incoming': None, 'scheduled': True, 'flush': False, 'during': [], 'full': False, 'disposed': True, 'version': 0, 'delivered': 0, 'running': False}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': [], 'incoming': 'c', 'scheduled': True, 'flush': False, 'during': ['late'], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['c'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['a', 'b', 'a'], 'incoming': None, 'scheduled': True, 'flush': True, 'during': [], 'full': False, 'disposed': False, 'version': 10, 'delivered': 1, 'running': False}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': ['a', 'b'], 'next_batch': [], 'full': False, 'version': 11, 'scheduled_after': False, 'stale': True, 'reentrant': False, 'retained': ['a', 'b']}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 10, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 10, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), expected)\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":"b76ec9486b23ef3e2f1523cc85bcce771280ed4a16f622cb3a89864641bb1ef3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'fields': s['dirty']+([s['incoming']] if s['incoming'] is not None else []),\n        'schedule': bool(s['dirty'] or s['incoming'] is not None or s['full']) and not s['scheduled'] and not s['disposed'],\n        'flush_fields': list(dict.fromkeys(s['dirty'])) if s['flush'] and not s['disposed'] and not s['full'] else [],\n        'next_batch': list(dict.fromkeys(s['during'])) if s['flush'] and not s['disposed'] else [],\n        'full': s['full'] and s['flush'] and not s['disposed'],\n        'version': s['version']+int(s['flush'] and bool(s['dirty'] or s['full']) and not s['disposed']),\n        'scheduled_after': bool(s['during']) if s['flush'] else s['scheduled'],\n        'stale': s['delivered']<s['version'],\n        'reentrant': s['flush'] and s['running'],\n        'retained': [] if s['disposed'] else list(dict.fromkeys(s['dirty'])),\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 2, 'delivered': 0, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 2, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []}), ({'dirty': ['a'], 'incoming': None, 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': False, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['a'], 'schedule': False, 'flush_fields': [], 'next_batch': ['late'], 'full': True, 'version': 1, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': ['a']}), ({'dirty': ['a', 'b', 'a'], 'incoming': 'a', 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': True, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'a', 'scheduled': False, 'flush': False, 'during': ['late'], 'full': True, 'disposed': True, 'version': 2, 'delivered': 1, 'running': False}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 2, 'scheduled_after': False, 'stale': True, 'reentrant': False, 'retained': []}), ({'dirty': ['a', 'b', 'a'], 'incoming': 'c', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': False, 'disposed': False, 'version': 2, 'delivered': 0, 'running': False}, {'fields': ['a', 'b', 'c'], 'schedule': True, 'flush_fields': ['a', 'b'], 'next_batch': ['late'], 'full': False, 'version': 3, 'scheduled_after': True, 'stale': True, 'reentrant': False, 'retained': ['a', 'b']}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': [], 'full': True, 'disposed': True, 'version': 2, 'delivered': 0, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 2, 'scheduled_after': False, 'stale': True, 'reentrant': True, 'retained': []}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 2, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 2, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []})], 2: [({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 4, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 4, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': ['late'], 'full': True, 'version': 1, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': ['c', 'a']}), ({'dirty': ['a', 'b', 'a'], 'incoming': 'a', 'scheduled': True, 'flush': False, 'during': [], 'full': True, 'disposed': True, 'version': 4, 'delivered': 1, 'running': True}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 4, 'scheduled_after': True, 'stale': True, 'reentrant': False, 'retained': []}), ({'dirty': ['a', 'b', 'a'], 'incoming': None, 'scheduled': True, 'flush': True, 'during': ['late'], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': ['a', 'b'], 'next_batch': ['late'], 'full': False, 'version': 1, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': ['a', 'b']}), ({'dirty': ['c', 'a'], 'incoming': None, 'scheduled': False, 'flush': False, 'during': ['late'], 'full': False, 'disposed': True, 'version': 0, 'delivered': 0, 'running': False}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['a'], 'incoming': 'c', 'scheduled': True, 'flush': False, 'during': ['late'], 'full': True, 'disposed': True, 'version': 4, 'delivered': 1, 'running': False}, {'fields': ['a', 'c'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 4, 'scheduled_after': True, 'stale': True, 'reentrant': False, 'retained': []}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 4, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 4, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []})], 3: [({'dirty': ['c', 'a'], 'incoming': 'a', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': []}), ({'dirty': ['a'], 'incoming': 'a', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': False, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['a'], 'schedule': False, 'flush_fields': [], 'next_batch': ['late'], 'full': True, 'version': 1, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': ['a']}), ({'dirty': ['c', 'a'], 'incoming': 'a', 'scheduled': True, 'flush': False, 'during': ['late'], 'full': True, 'disposed': True, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['a'], 'incoming': 'c', 'scheduled': True, 'flush': False, 'during': ['late'], 'full': True, 'disposed': False, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['a', 'c'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': ['a']}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': True, 'during': [], 'full': False, 'disposed': False, 'version': 6, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 6, 'scheduled_after': False, 'stale': True, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': None, 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 6, 'delivered': 0, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 6, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 6, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 6, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []})], 4: [({'dirty': ['c', 'a'], 'incoming': 'a', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': ['late'], 'full': True, 'version': 1, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': ['c', 'a']}), ({'dirty': ['a', 'b', 'a'], 'incoming': None, 'scheduled': True, 'flush': False, 'during': ['late'], 'full': False, 'disposed': True, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['a', 'b', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': [], 'full': False, 'disposed': True, 'version': 0, 'delivered': 0, 'running': False}, {'fields': ['a', 'b', 'c'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': False, 'flush': True, 'during': [], 'full': False, 'disposed': True, 'version': 8, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 8, 'scheduled_after': False, 'stale': True, 'reentrant': True, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': False, 'during': ['late'], 'full': True, 'disposed': False, 'version': 8, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 8, 'scheduled_after': True, 'stale': True, 'reentrant': False, 'retained': ['c', 'a']}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 8, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 8, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []})], 5: [({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': None, 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': False, 'version': 10, 'delivered': 0, 'running': False}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': ['late'], 'full': True, 'version': 11, 'scheduled_after': True, 'stale': True, 'reentrant': False, 'retained': ['c', 'a']}), ({'dirty': ['a', 'b', 'a'], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': True, 'disposed': True, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['a', 'b', 'a'], 'incoming': None, 'scheduled': True, 'flush': False, 'during': [], 'full': False, 'disposed': True, 'version': 0, 'delivered': 0, 'running': False}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': [], 'incoming': 'c', 'scheduled': True, 'flush': False, 'during': ['late'], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['c'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['a', 'b', 'a'], 'incoming': None, 'scheduled': True, 'flush': True, 'during': [], 'full': False, 'disposed': False, 'version': 10, 'delivered': 1, 'running': False}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': ['a', 'b'], 'next_batch': [], 'full': False, 'version': 11, 'scheduled_after': False, 'stale': True, 'reentrant': False, 'retained': ['a', 'b']}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 10, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 10, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), expected)\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":"d6f1b5edfc592ce6b1ac494ec937b3c82550054a170563ef5bf084c24e67e060","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(s):\n    return {\n        'fields': list(dict.fromkeys(s['dirty']+([s['incoming']] if s['incoming'] is not None else []))),\n        'schedule': bool(s['dirty'] or s['incoming'] is not None or s['full']) and not s['scheduled'] and not s['disposed'],\n        'flush_fields': list(dict.fromkeys(s['dirty'])) if s['flush'] and not s['disposed'] and not s['full'] else [],\n        'next_batch': list(dict.fromkeys(s['during'])) if s['flush'] and not s['disposed'] else [],\n        'full': s['full'] and s['flush'] and not s['disposed'],\n        'version': s['version']+int(s['flush'] and bool(s['dirty'] or s['full']) and not s['disposed']),\n        'scheduled_after': bool(s['during']) if s['flush'] else s['scheduled'],\n        'stale': s['delivered']<s['version'],\n        'reentrant': s['flush'] and s['running'],\n        'retained': [] if s['disposed'] else list(dict.fromkeys(s['dirty'])),\n    }\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 2, 'delivered': 0, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 2, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []}), ({'dirty': ['a'], 'incoming': None, 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': False, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['a'], 'schedule': False, 'flush_fields': [], 'next_batch': ['late'], 'full': True, 'version': 1, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': ['a']}), ({'dirty': ['a', 'b', 'a'], 'incoming': 'a', 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': True, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'a', 'scheduled': False, 'flush': False, 'during': ['late'], 'full': True, 'disposed': True, 'version': 2, 'delivered': 1, 'running': False}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 2, 'scheduled_after': False, 'stale': True, 'reentrant': False, 'retained': []}), ({'dirty': ['a', 'b', 'a'], 'incoming': 'c', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': False, 'disposed': False, 'version': 2, 'delivered': 0, 'running': False}, {'fields': ['a', 'b', 'c'], 'schedule': True, 'flush_fields': ['a', 'b'], 'next_batch': ['late'], 'full': False, 'version': 3, 'scheduled_after': True, 'stale': True, 'reentrant': False, 'retained': ['a', 'b']}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': [], 'full': True, 'disposed': True, 'version': 2, 'delivered': 0, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 2, 'scheduled_after': False, 'stale': True, 'reentrant': True, 'retained': []}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 2, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 2, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []})], 2: [({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 4, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 4, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': ['late'], 'full': True, 'version': 1, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': ['c', 'a']}), ({'dirty': ['a', 'b', 'a'], 'incoming': 'a', 'scheduled': True, 'flush': False, 'during': [], 'full': True, 'disposed': True, 'version': 4, 'delivered': 1, 'running': True}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 4, 'scheduled_after': True, 'stale': True, 'reentrant': False, 'retained': []}), ({'dirty': ['a', 'b', 'a'], 'incoming': None, 'scheduled': True, 'flush': True, 'during': ['late'], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': ['a', 'b'], 'next_batch': ['late'], 'full': False, 'version': 1, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': ['a', 'b']}), ({'dirty': ['c', 'a'], 'incoming': None, 'scheduled': False, 'flush': False, 'during': ['late'], 'full': False, 'disposed': True, 'version': 0, 'delivered': 0, 'running': False}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['a'], 'incoming': 'c', 'scheduled': True, 'flush': False, 'during': ['late'], 'full': True, 'disposed': True, 'version': 4, 'delivered': 1, 'running': False}, {'fields': ['a', 'c'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 4, 'scheduled_after': True, 'stale': True, 'reentrant': False, 'retained': []}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 4, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 4, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []})], 3: [({'dirty': ['c', 'a'], 'incoming': 'a', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': []}), ({'dirty': ['a'], 'incoming': 'a', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': False, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['a'], 'schedule': False, 'flush_fields': [], 'next_batch': ['late'], 'full': True, 'version': 1, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': ['a']}), ({'dirty': ['c', 'a'], 'incoming': 'a', 'scheduled': True, 'flush': False, 'during': ['late'], 'full': True, 'disposed': True, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['a'], 'incoming': 'c', 'scheduled': True, 'flush': False, 'during': ['late'], 'full': True, 'disposed': False, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['a', 'c'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': ['a']}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': True, 'during': [], 'full': False, 'disposed': False, 'version': 6, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 6, 'scheduled_after': False, 'stale': True, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': None, 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 6, 'delivered': 0, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 6, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 6, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 6, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []})], 4: [({'dirty': ['c', 'a'], 'incoming': 'a', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': ['late'], 'full': True, 'version': 1, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': ['c', 'a']}), ({'dirty': ['a', 'b', 'a'], 'incoming': None, 'scheduled': True, 'flush': False, 'during': ['late'], 'full': False, 'disposed': True, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['a', 'b', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': [], 'full': False, 'disposed': True, 'version': 0, 'delivered': 0, 'running': False}, {'fields': ['a', 'b', 'c'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': False, 'flush': True, 'during': [], 'full': False, 'disposed': True, 'version': 8, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 8, 'scheduled_after': False, 'stale': True, 'reentrant': True, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': False, 'during': ['late'], 'full': True, 'disposed': False, 'version': 8, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 8, 'scheduled_after': True, 'stale': True, 'reentrant': False, 'retained': ['c', 'a']}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 8, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 8, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []})], 5: [({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': False, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': True, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': None, 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': False, 'version': 10, 'delivered': 0, 'running': False}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': ['late'], 'full': True, 'version': 11, 'scheduled_after': True, 'stale': True, 'reentrant': False, 'retained': ['c', 'a']}), ({'dirty': ['a', 'b', 'a'], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': True, 'disposed': True, 'version': 0, 'delivered': 1, 'running': True}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['a', 'b', 'a'], 'incoming': None, 'scheduled': True, 'flush': False, 'during': [], 'full': False, 'disposed': True, 'version': 0, 'delivered': 0, 'running': False}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': [], 'incoming': 'c', 'scheduled': True, 'flush': False, 'during': ['late'], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': True}, {'fields': ['c'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': True, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['a', 'b', 'a'], 'incoming': None, 'scheduled': True, 'flush': True, 'during': [], 'full': False, 'disposed': False, 'version': 10, 'delivered': 1, 'running': False}, {'fields': ['a', 'b'], 'schedule': False, 'flush_fields': ['a', 'b'], 'next_batch': [], 'full': False, 'version': 11, 'scheduled_after': False, 'stale': True, 'reentrant': False, 'retained': ['a', 'b']}), ({'dirty': [], 'incoming': None, 'scheduled': False, 'flush': False, 'during': [], 'full': False, 'disposed': False, 'version': 0, 'delivered': 0, 'running': False}, {'fields': [], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 0, 'scheduled_after': False, 'stale': False, 'reentrant': False, 'retained': []}), ({'dirty': ['c', 'a'], 'incoming': 'c', 'scheduled': True, 'flush': True, 'during': ['late'], 'full': True, 'disposed': True, 'version': 10, 'delivered': 1, 'running': True}, {'fields': ['c', 'a'], 'schedule': False, 'flush_fields': [], 'next_batch': [], 'full': False, 'version': 10, 'scheduled_after': True, 'stale': True, 'reentrant': True, 'retained': []})]}\nfor i,(state,expected) in enumerate(fixtures[N]):\n    check(\"transition \"+str(i), solve(state), expected)\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 deterministic, bounded, single-threaded transition planner. Returned plans model state changes; they do not implement a production event framework. 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-listener-coalesced-invalidation-fields","generated_at":"2026-09-29T14:43:48.600411+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Observer implementations need to preserve this state while subscriptions enter, execute, and leave their lifecycle.","repair":"Compute the fields decision from the complete contract: list(dict.fromkeys(s['dirty']+([s['incoming']] if s['incoming'] is not None else []))).","root_cause":"The fields decision in the coalesced-invalidation listener model is computed as s['dirty']+([s['incoming']] if s['incoming'] is not None else []), losing a required lifecycle condition.","sha256":"9b6cffb312c1e962fde2b4847ade5482b628ab2439000183e4fb662b6fbcb061","title":"Repeated invalidation produces duplicate observer field callbacks · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":50.097,"exit_code":1,"observations":[{"actual":{"fields":["a","c"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":true,"stale":true,"version":2},"check":"transition 0","expected":{"fields":["c","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":true,"stale":true,"version":2},"passed":false},{"actual":{"fields":["a"],"flush_fields":[],"full":true,"next_batch":["late"],"reentrant":true,"retained":["a"],"schedule":false,"scheduled_after":true,"stale":false,"version":1},"check":"transition 1","expected":{"fields":["a"],"flush_fields":[],"full":true,"next_batch":["late"],"reentrant":true,"retained":["a"],"schedule":false,"scheduled_after":true,"stale":false,"version":1},"passed":true},{"actual":{"fields":["a","b"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":false,"version":0},"check":"transition 2","expected":{"fields":["a","b"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":false,"version":0},"passed":true},{"actual":{"fields":["a","c"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":true,"version":2},"check":"transition 3","expected":{"fields":["c","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":true,"version":2},"passed":false},{"actual":{"fields":["a","b","c"],"flush_fields":["a","b"],"full":false,"next_batch":["late"],"reentrant":false,"retained":["a","b"],"schedule":true,"scheduled_after":true,"stale":true,"version":3},"check":"transition 4","expected":{"fields":["a","b","c"],"flush_fields":["a","b"],"full":false,"next_batch":["late"],"reentrant":false,"retained":["a","b"],"schedule":true,"scheduled_after":true,"stale":true,"version":3},"passed":true},{"actual":{"fields":["a","c"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":false,"stale":true,"version":2},"check":"transition 5","expected":{"fields":["c","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":false,"stale":true,"version":2},"passed":false},{"actual":{"fields":[],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":false,"version":0},"check":"transition 6","expected":{"fields":[],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":false,"version":0},"passed":true},{"actual":{"fields":["a","c"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":true,"stale":true,"version":2},"check":"transition 7","expected":{"fields":["c","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":true,"stale":true,"version":2},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"fields\": [\"a\", \"c\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": true, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"expected\": {\"fields\": [\"c\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": true, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"fields\": [\"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [\"late\"], \"full\": true, \"version\": 1, \"scheduled_after\": true, \"stale\": false, \"reentrant\": true, \"retained\": [\"a\"]}, \"expected\": {\"fields\": [\"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [\"late\"], \"full\": true, \"version\": 1, \"scheduled_after\": true, \"stale\": false, \"reentrant\": true, \"retained\": [\"a\"]}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"fields\": [\"a\", \"b\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 0, \"scheduled_after\": false, \"stale\": false, \"reentrant\": false, \"retained\": []}, \"expected\": {\"fields\": [\"a\", \"b\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 0, \"scheduled_after\": false, \"stale\": false, \"reentrant\": false, \"retained\": []}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"fields\": [\"a\", \"c\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": false, \"stale\": true, \"reentrant\": false, \"retained\": []}, \"expected\": {\"fields\": [\"c\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": false, \"stale\": true, \"reentrant\": false, \"retained\": []}, \"passed\": false}, {\"check\": \"transition 4\", \"actual\": {\"fields\": [\"a\", \"b\", \"c\"], \"schedule\": true, \"flush_fields\": [\"a\", \"b\"], \"next_batch\": [\"late\"], \"full\": false, \"version\": 3, \"scheduled_after\": true, \"stale\": true, \"reentrant\": false, \"retained\": [\"a\", \"b\"]}, \"expected\": {\"fields\": [\"a\", \"b\", \"c\"], \"schedule\": true, \"flush_fields\": [\"a\", \"b\"], \"next_batch\": [\"late\"], \"full\": false, \"version\": 3, \"scheduled_after\": true, \"stale\": true, \"reentrant\": false, \"retained\": [\"a\", \"b\"]}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"fields\": [\"a\", \"c\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": false, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"expected\": {\"fields\": [\"c\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": false, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"passed\": false}, {\"check\": \"transition 6\", \"actual\": {\"fields\": [], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 0, \"scheduled_after\": false, \"stale\": false, \"reentrant\": false, \"retained\": []}, \"expected\": {\"fields\": [], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 0, \"scheduled_after\": false, \"stale\": false, \"reentrant\": false, \"retained\": []}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"fields\": [\"a\", \"c\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": true, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"expected\": {\"fields\": [\"c\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": true, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":56.101,"exit_code":1,"observations":[{"actual":{"fields":["c","a","c"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":true,"stale":true,"version":2},"check":"transition 0","expected":{"fields":["c","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":true,"stale":true,"version":2},"passed":false},{"actual":{"fields":["a"],"flush_fields":[],"full":true,"next_batch":["late"],"reentrant":true,"retained":["a"],"schedule":false,"scheduled_after":true,"stale":false,"version":1},"check":"transition 1","expected":{"fields":["a"],"flush_fields":[],"full":true,"next_batch":["late"],"reentrant":true,"retained":["a"],"schedule":false,"scheduled_after":true,"stale":false,"version":1},"passed":true},{"actual":{"fields":["a","b","a","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":false,"version":0},"check":"transition 2","expected":{"fields":["a","b"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":false,"version":0},"passed":false},{"actual":{"fields":["c","a","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":true,"version":2},"check":"transition 3","expected":{"fields":["c","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":true,"version":2},"passed":false},{"actual":{"fields":["a","b","a","c"],"flush_fields":["a","b"],"full":false,"next_batch":["late"],"reentrant":false,"retained":["a","b"],"schedule":true,"scheduled_after":true,"stale":true,"version":3},"check":"transition 4","expected":{"fields":["a","b","c"],"flush_fields":["a","b"],"full":false,"next_batch":["late"],"reentrant":false,"retained":["a","b"],"schedule":true,"scheduled_after":true,"stale":true,"version":3},"passed":false},{"actual":{"fields":["c","a","c"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":false,"stale":true,"version":2},"check":"transition 5","expected":{"fields":["c","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":false,"stale":true,"version":2},"passed":false},{"actual":{"fields":[],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":false,"version":0},"check":"transition 6","expected":{"fields":[],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":false,"version":0},"passed":true},{"actual":{"fields":["c","a","c"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":true,"stale":true,"version":2},"check":"transition 7","expected":{"fields":["c","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":true,"stale":true,"version":2},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"fields\": [\"c\", \"a\", \"c\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": true, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"expected\": {\"fields\": [\"c\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": true, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"passed\": false}, {\"check\": \"transition 1\", \"actual\": {\"fields\": [\"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [\"late\"], \"full\": true, \"version\": 1, \"scheduled_after\": true, \"stale\": false, \"reentrant\": true, \"retained\": [\"a\"]}, \"expected\": {\"fields\": [\"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [\"late\"], \"full\": true, \"version\": 1, \"scheduled_after\": true, \"stale\": false, \"reentrant\": true, \"retained\": [\"a\"]}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"fields\": [\"a\", \"b\", \"a\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 0, \"scheduled_after\": false, \"stale\": false, \"reentrant\": false, \"retained\": []}, \"expected\": {\"fields\": [\"a\", \"b\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 0, \"scheduled_after\": false, \"stale\": false, \"reentrant\": false, \"retained\": []}, \"passed\": false}, {\"check\": \"transition 3\", \"actual\": {\"fields\": [\"c\", \"a\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": false, \"stale\": true, \"reentrant\": false, \"retained\": []}, \"expected\": {\"fields\": [\"c\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": false, \"stale\": true, \"reentrant\": false, \"retained\": []}, \"passed\": false}, {\"check\": \"transition 4\", \"actual\": {\"fields\": [\"a\", \"b\", \"a\", \"c\"], \"schedule\": true, \"flush_fields\": [\"a\", \"b\"], \"next_batch\": [\"late\"], \"full\": false, \"version\": 3, \"scheduled_after\": true, \"stale\": true, \"reentrant\": false, \"retained\": [\"a\", \"b\"]}, \"expected\": {\"fields\": [\"a\", \"b\", \"c\"], \"schedule\": true, \"flush_fields\": [\"a\", \"b\"], \"next_batch\": [\"late\"], \"full\": false, \"version\": 3, \"scheduled_after\": true, \"stale\": true, \"reentrant\": false, \"retained\": [\"a\", \"b\"]}, \"passed\": false}, {\"check\": \"transition 5\", \"actual\": {\"fields\": [\"c\", \"a\", \"c\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": false, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"expected\": {\"fields\": [\"c\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": false, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"passed\": false}, {\"check\": \"transition 6\", \"actual\": {\"fields\": [], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 0, \"scheduled_after\": false, \"stale\": false, \"reentrant\": false, \"retained\": []}, \"expected\": {\"fields\": [], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 0, \"scheduled_after\": false, \"stale\": false, \"reentrant\": false, \"retained\": []}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"fields\": [\"c\", \"a\", \"c\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": true, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"expected\": {\"fields\": [\"c\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": true, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":46.336,"exit_code":0,"observations":[{"actual":{"fields":["c","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":true,"stale":true,"version":2},"check":"transition 0","expected":{"fields":["c","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":true,"stale":true,"version":2},"passed":true},{"actual":{"fields":["a"],"flush_fields":[],"full":true,"next_batch":["late"],"reentrant":true,"retained":["a"],"schedule":false,"scheduled_after":true,"stale":false,"version":1},"check":"transition 1","expected":{"fields":["a"],"flush_fields":[],"full":true,"next_batch":["late"],"reentrant":true,"retained":["a"],"schedule":false,"scheduled_after":true,"stale":false,"version":1},"passed":true},{"actual":{"fields":["a","b"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":false,"version":0},"check":"transition 2","expected":{"fields":["a","b"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":false,"version":0},"passed":true},{"actual":{"fields":["c","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":true,"version":2},"check":"transition 3","expected":{"fields":["c","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":true,"version":2},"passed":true},{"actual":{"fields":["a","b","c"],"flush_fields":["a","b"],"full":false,"next_batch":["late"],"reentrant":false,"retained":["a","b"],"schedule":true,"scheduled_after":true,"stale":true,"version":3},"check":"transition 4","expected":{"fields":["a","b","c"],"flush_fields":["a","b"],"full":false,"next_batch":["late"],"reentrant":false,"retained":["a","b"],"schedule":true,"scheduled_after":true,"stale":true,"version":3},"passed":true},{"actual":{"fields":["c","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":false,"stale":true,"version":2},"check":"transition 5","expected":{"fields":["c","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":false,"stale":true,"version":2},"passed":true},{"actual":{"fields":[],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":false,"version":0},"check":"transition 6","expected":{"fields":[],"flush_fields":[],"full":false,"next_batch":[],"reentrant":false,"retained":[],"schedule":false,"scheduled_after":false,"stale":false,"version":0},"passed":true},{"actual":{"fields":["c","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":true,"stale":true,"version":2},"check":"transition 7","expected":{"fields":["c","a"],"flush_fields":[],"full":false,"next_batch":[],"reentrant":true,"retained":[],"schedule":false,"scheduled_after":true,"stale":true,"version":2},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"transition 0\", \"actual\": {\"fields\": [\"c\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": true, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"expected\": {\"fields\": [\"c\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": true, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"passed\": true}, {\"check\": \"transition 1\", \"actual\": {\"fields\": [\"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [\"late\"], \"full\": true, \"version\": 1, \"scheduled_after\": true, \"stale\": false, \"reentrant\": true, \"retained\": [\"a\"]}, \"expected\": {\"fields\": [\"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [\"late\"], \"full\": true, \"version\": 1, \"scheduled_after\": true, \"stale\": false, \"reentrant\": true, \"retained\": [\"a\"]}, \"passed\": true}, {\"check\": \"transition 2\", \"actual\": {\"fields\": [\"a\", \"b\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 0, \"scheduled_after\": false, \"stale\": false, \"reentrant\": false, \"retained\": []}, \"expected\": {\"fields\": [\"a\", \"b\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 0, \"scheduled_after\": false, \"stale\": false, \"reentrant\": false, \"retained\": []}, \"passed\": true}, {\"check\": \"transition 3\", \"actual\": {\"fields\": [\"c\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": false, \"stale\": true, \"reentrant\": false, \"retained\": []}, \"expected\": {\"fields\": [\"c\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": false, \"stale\": true, \"reentrant\": false, \"retained\": []}, \"passed\": true}, {\"check\": \"transition 4\", \"actual\": {\"fields\": [\"a\", \"b\", \"c\"], \"schedule\": true, \"flush_fields\": [\"a\", \"b\"], \"next_batch\": [\"late\"], \"full\": false, \"version\": 3, \"scheduled_after\": true, \"stale\": true, \"reentrant\": false, \"retained\": [\"a\", \"b\"]}, \"expected\": {\"fields\": [\"a\", \"b\", \"c\"], \"schedule\": true, \"flush_fields\": [\"a\", \"b\"], \"next_batch\": [\"late\"], \"full\": false, \"version\": 3, \"scheduled_after\": true, \"stale\": true, \"reentrant\": false, \"retained\": [\"a\", \"b\"]}, \"passed\": true}, {\"check\": \"transition 5\", \"actual\": {\"fields\": [\"c\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": false, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"expected\": {\"fields\": [\"c\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": false, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"passed\": true}, {\"check\": \"transition 6\", \"actual\": {\"fields\": [], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 0, \"scheduled_after\": false, \"stale\": false, \"reentrant\": false, \"retained\": []}, \"expected\": {\"fields\": [], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 0, \"scheduled_after\": false, \"stale\": false, \"reentrant\": false, \"retained\": []}, \"passed\": true}, {\"check\": \"transition 7\", \"actual\": {\"fields\": [\"c\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": true, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"expected\": {\"fields\": [\"c\", \"a\"], \"schedule\": false, \"flush_fields\": [], \"next_batch\": [], \"full\": false, \"version\": 2, \"scheduled_after\": true, \"stale\": true, \"reentrant\": true, \"retained\": []}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}