{"abstract":"Buffered delivery order.","category":"Client state","checks":60,"contract":"Registration handles differ from topic names. Removing a handle removes all its registrations while preserving other handles and topic reference counts; unmounted consumers receive nothing and discard buffered events. Operation buffered-delivery-order has the six explicit input/output oracles below.","evaluation_group":"s3-client-state-subscription-registry","failed_approach":"The partial repair `[event]` still violates the explicit fixture contract.","family":"s3-client-state-subscription-registry-buffered-delivery-order","id":"FA-23936","implementations":{"attempt":{"sha256":"363ff55656d09b2aa1b2c45870ae5d6d58b56b69186bb93a3c43d8bd25c25628","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    registrations, removed, event, mounted, buffered = s\n    if operation == 'unsubscribe-by-registration':\n        return [(k,t) for k,t in registrations if k!=removed]\n    if operation == 'topic-recipient-routing':\n        return [k for k,t in registrations if t==event]\n    if operation == 'unmounted-event-delivery':\n        return [k for k,t in registrations if t==event] if mounted else []\n    if operation == 'last-listener-resource-close':\n        return not any(k!=removed for k,t in registrations)\n    if operation == 'registration-topic-index':\n        return sorted({t for k,t in registrations})\n    if operation == 'unmount-buffer-discard':\n        return buffered if mounted else []\n    if operation == 'buffered-delivery-order':\n        return [event]\n    if operation == 'unknown-unsubscribe-noop':\n        return removed not in [k for k,t in registrations]\n    if operation == 'registration-removal-count':\n        return sum(k==removed for k,t in registrations)\n    if operation == 'remaining-topic-reference-count':\n        return sum(t==event and k!=removed for k,t in registrations)\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('unsubscribe-by-registration scenario 1', solve('unsubscribe-by-registration', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), [('b','x'),('c','y')])\ncheck('unsubscribe-by-registration scenario 2', solve('unsubscribe-by-registration', ([],'a','x',True,[])), [])\ncheck('unsubscribe-by-registration scenario 3', solve('unsubscribe-by-registration', ([('a','x'),('a','y')],'a','y',False,['old'])), [])\ncheck('unsubscribe-by-registration scenario 4', solve('unsubscribe-by-registration', ([('a','x')],'z','x',True,[])), [('a','x')])\ncheck('unsubscribe-by-registration scenario 5', solve('unsubscribe-by-registration', ([('a','x'),('b','y')],'b','z',True,['a','b'])), [('a','x')])\ncheck('unsubscribe-by-registration scenario 6', solve('unsubscribe-by-registration', ([('a','x'),('b','x')],'b','x',False,[])), [('a','x')])\ncheck('topic-recipient-routing scenario 1', solve('topic-recipient-routing', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), ['a','b'])\ncheck('topic-recipient-routing scenario 2', solve('topic-recipient-routing', ([],'a','x',True,[])), [])\ncheck('topic-recipient-routing scenario 3', solve('topic-recipient-routing', ([('a','x'),('a','y')],'a','y',False,['old'])), ['a'])\ncheck('topic-recipient-routing scenario 4', solve('topic-recipient-routing', ([('a','x')],'z','x',True,[])), ['a'])\ncheck('topic-recipient-routing scenario 5', solve('topic-recipient-routing', ([('a','x'),('b','y')],'b','z',True,['a','b'])), [])\ncheck('topic-recipient-routing scenario 6', solve('topic-recipient-routing', ([('a','x'),('b','x')],'b','x',False,[])), ['a','b'])\ncheck('unmounted-event-delivery scenario 1', solve('unmounted-event-delivery', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), ['a','b'])\ncheck('unmounted-event-delivery scenario 2', solve('unmounted-event-delivery', ([],'a','x',True,[])), [])\ncheck('unmounted-event-delivery scenario 3', solve('unmounted-event-delivery', ([('a','x'),('a','y')],'a','y',False,['old'])), [])\ncheck('unmounted-event-delivery scenario 4', solve('unmounted-event-delivery', ([('a','x')],'z','x',True,[])), ['a'])\ncheck('unmounted-event-delivery scenario 5', solve('unmounted-event-delivery', ([('a','x'),('b','y')],'b','z',True,['a','b'])), [])\ncheck('unmounted-event-delivery scenario 6', solve('unmounted-event-delivery', ([('a','x'),('b','x')],'b','x',False,[])), [])\ncheck('last-listener-resource-close scenario 1', solve('last-listener-resource-close', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), False)\ncheck('last-listener-resource-close scenario 2', solve('last-listener-resource-close', ([],'a','x',True,[])), True)\ncheck('last-listener-resource-close scenario 3', solve('last-listener-resource-close', ([('a','x'),('a','y')],'a','y',False,['old'])), True)\ncheck('last-listener-resource-close scenario 4', solve('last-listener-resource-close', ([('a','x')],'z','x',True,[])), False)\ncheck('last-listener-resource-close scenario 5', solve('last-listener-resource-close', ([('a','x'),('b','y')],'b','z',True,['a','b'])), False)\ncheck('last-listener-resource-close scenario 6', solve('last-listener-resource-close', ([('a','x'),('b','x')],'b','x',False,[])), False)\ncheck('registration-topic-index scenario 1', solve('registration-topic-index', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), ['x','y'])\ncheck('registration-topic-index scenario 2', solve('registration-topic-index', ([],'a','x',True,[])), [])\ncheck('registration-topic-index scenario 3', solve('registration-topic-index', ([('a','x'),('a','y')],'a','y',False,['old'])), ['x','y'])\ncheck('registration-topic-index scenario 4', solve('registration-topic-index', ([('a','x')],'z','x',True,[])), ['x'])\ncheck('registration-topic-index scenario 5', solve('registration-topic-index', ([('a','x'),('b','y')],'b','z',True,['a','b'])), ['x','y'])\ncheck('registration-topic-index scenario 6', solve('registration-topic-index', ([('a','x'),('b','x')],'b','x',False,[])), ['x'])\ncheck('unmount-buffer-discard scenario 1', solve('unmount-buffer-discard', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), ['old'+str(N)])\ncheck('unmount-buffer-discard scenario 2', solve('unmount-buffer-discard', ([],'a','x',True,[])), [])\ncheck('unmount-buffer-discard scenario 3', solve('unmount-buffer-discard', ([('a','x'),('a','y')],'a','y',False,['old'])), [])\ncheck('unmount-buffer-discard scenario 4', solve('unmount-buffer-discard', ([('a','x')],'z','x',True,[])), [])\ncheck('unmount-buffer-discard scenario 5', solve('unmount-buffer-discard', ([('a','x'),('b','y')],'b','z',True,['a','b'])), ['a','b'])\ncheck('unmount-buffer-discard scenario 6', solve('unmount-buffer-discard', ([('a','x'),('b','x')],'b','x',False,[])), [])\ncheck('buffered-delivery-order scenario 1', solve('buffered-delivery-order', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), ['old'+str(N),'x'])\ncheck('buffered-delivery-order scenario 2', solve('buffered-delivery-order', ([],'a','x',True,[])), ['x'])\ncheck('buffered-delivery-order scenario 3', solve('buffered-delivery-order', ([('a','x'),('a','y')],'a','y',False,['old'])), ['old','y'])\ncheck('buffered-delivery-order scenario 4', solve('buffered-delivery-order', ([('a','x')],'z','x',True,[])), ['x'])\ncheck('buffered-delivery-order scenario 5', solve('buffered-delivery-order', ([('a','x'),('b','y')],'b','z',True,['a','b'])), ['a','b','z'])\ncheck('buffered-delivery-order scenario 6', solve('buffered-delivery-order', ([('a','x'),('b','x')],'b','x',False,[])), ['x'])\ncheck('unknown-unsubscribe-noop scenario 1', solve('unknown-unsubscribe-noop', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), False)\ncheck('unknown-unsubscribe-noop scenario 2', solve('unknown-unsubscribe-noop', ([],'a','x',True,[])), True)\ncheck('unknown-unsubscribe-noop scenario 3', solve('unknown-unsubscribe-noop', ([('a','x'),('a','y')],'a','y',False,['old'])), False)\ncheck('unknown-unsubscribe-noop scenario 4', solve('unknown-unsubscribe-noop', ([('a','x')],'z','x',True,[])), True)\ncheck('unknown-unsubscribe-noop scenario 5', solve('unknown-unsubscribe-noop', ([('a','x'),('b','y')],'b','z',True,['a','b'])), False)\ncheck('unknown-unsubscribe-noop scenario 6', solve('unknown-unsubscribe-noop', ([('a','x'),('b','x')],'b','x',False,[])), False)\ncheck('registration-removal-count scenario 1', solve('registration-removal-count', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), 1)\ncheck('registration-removal-count scenario 2', solve('registration-removal-count', ([],'a','x',True,[])), 0)\ncheck('registration-removal-count scenario 3', solve('registration-removal-count', ([('a','x'),('a','y')],'a','y',False,['old'])), 2)\ncheck('registration-removal-count scenario 4', solve('registration-removal-count', ([('a','x')],'z','x',True,[])), 0)\ncheck('registration-removal-count scenario 5', solve('registration-removal-count', ([('a','x'),('b','y')],'b','z',True,['a','b'])), 1)\ncheck('registration-removal-count scenario 6', solve('registration-removal-count', ([('a','x'),('b','x')],'b','x',False,[])), 1)\ncheck('remaining-topic-reference-count scenario 1', solve('remaining-topic-reference-count', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), 1)\ncheck('remaining-topic-reference-count scenario 2', solve('remaining-topic-reference-count', ([],'a','x',True,[])), 0)\ncheck('remaining-topic-reference-count scenario 3', solve('remaining-topic-reference-count', ([('a','x'),('a','y')],'a','y',False,['old'])), 0)\ncheck('remaining-topic-reference-count scenario 4', solve('remaining-topic-reference-count', ([('a','x')],'z','x',True,[])), 1)\ncheck('remaining-topic-reference-count scenario 5', solve('remaining-topic-reference-count', ([('a','x'),('b','y')],'b','z',True,['a','b'])), 0)\ncheck('remaining-topic-reference-count scenario 6', solve('remaining-topic-reference-count', ([('a','x'),('b','x')],'b','x',False,[])), 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":"4beab3ee800d9f2d1e16948b5d02778a8fbcf7caff7772523c927bc6f7debe8b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    registrations, removed, event, mounted, buffered = s\n    if operation == 'unsubscribe-by-registration':\n        return [(k,t) for k,t in registrations if k!=removed]\n    if operation == 'topic-recipient-routing':\n        return [k for k,t in registrations if t==event]\n    if operation == 'unmounted-event-delivery':\n        return [k for k,t in registrations if t==event] if mounted else []\n    if operation == 'last-listener-resource-close':\n        return not any(k!=removed for k,t in registrations)\n    if operation == 'registration-topic-index':\n        return sorted({t for k,t in registrations})\n    if operation == 'unmount-buffer-discard':\n        return buffered if mounted else []\n    if operation == 'buffered-delivery-order':\n        return [event]+buffered\n    if operation == 'unknown-unsubscribe-noop':\n        return removed not in [k for k,t in registrations]\n    if operation == 'registration-removal-count':\n        return sum(k==removed for k,t in registrations)\n    if operation == 'remaining-topic-reference-count':\n        return sum(t==event and k!=removed for k,t in registrations)\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('unsubscribe-by-registration scenario 1', solve('unsubscribe-by-registration', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), [('b','x'),('c','y')])\ncheck('unsubscribe-by-registration scenario 2', solve('unsubscribe-by-registration', ([],'a','x',True,[])), [])\ncheck('unsubscribe-by-registration scenario 3', solve('unsubscribe-by-registration', ([('a','x'),('a','y')],'a','y',False,['old'])), [])\ncheck('unsubscribe-by-registration scenario 4', solve('unsubscribe-by-registration', ([('a','x')],'z','x',True,[])), [('a','x')])\ncheck('unsubscribe-by-registration scenario 5', solve('unsubscribe-by-registration', ([('a','x'),('b','y')],'b','z',True,['a','b'])), [('a','x')])\ncheck('unsubscribe-by-registration scenario 6', solve('unsubscribe-by-registration', ([('a','x'),('b','x')],'b','x',False,[])), [('a','x')])\ncheck('topic-recipient-routing scenario 1', solve('topic-recipient-routing', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), ['a','b'])\ncheck('topic-recipient-routing scenario 2', solve('topic-recipient-routing', ([],'a','x',True,[])), [])\ncheck('topic-recipient-routing scenario 3', solve('topic-recipient-routing', ([('a','x'),('a','y')],'a','y',False,['old'])), ['a'])\ncheck('topic-recipient-routing scenario 4', solve('topic-recipient-routing', ([('a','x')],'z','x',True,[])), ['a'])\ncheck('topic-recipient-routing scenario 5', solve('topic-recipient-routing', ([('a','x'),('b','y')],'b','z',True,['a','b'])), [])\ncheck('topic-recipient-routing scenario 6', solve('topic-recipient-routing', ([('a','x'),('b','x')],'b','x',False,[])), ['a','b'])\ncheck('unmounted-event-delivery scenario 1', solve('unmounted-event-delivery', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), ['a','b'])\ncheck('unmounted-event-delivery scenario 2', solve('unmounted-event-delivery', ([],'a','x',True,[])), [])\ncheck('unmounted-event-delivery scenario 3', solve('unmounted-event-delivery', ([('a','x'),('a','y')],'a','y',False,['old'])), [])\ncheck('unmounted-event-delivery scenario 4', solve('unmounted-event-delivery', ([('a','x')],'z','x',True,[])), ['a'])\ncheck('unmounted-event-delivery scenario 5', solve('unmounted-event-delivery', ([('a','x'),('b','y')],'b','z',True,['a','b'])), [])\ncheck('unmounted-event-delivery scenario 6', solve('unmounted-event-delivery', ([('a','x'),('b','x')],'b','x',False,[])), [])\ncheck('last-listener-resource-close scenario 1', solve('last-listener-resource-close', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), False)\ncheck('last-listener-resource-close scenario 2', solve('last-listener-resource-close', ([],'a','x',True,[])), True)\ncheck('last-listener-resource-close scenario 3', solve('last-listener-resource-close', ([('a','x'),('a','y')],'a','y',False,['old'])), True)\ncheck('last-listener-resource-close scenario 4', solve('last-listener-resource-close', ([('a','x')],'z','x',True,[])), False)\ncheck('last-listener-resource-close scenario 5', solve('last-listener-resource-close', ([('a','x'),('b','y')],'b','z',True,['a','b'])), False)\ncheck('last-listener-resource-close scenario 6', solve('last-listener-resource-close', ([('a','x'),('b','x')],'b','x',False,[])), False)\ncheck('registration-topic-index scenario 1', solve('registration-topic-index', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), ['x','y'])\ncheck('registration-topic-index scenario 2', solve('registration-topic-index', ([],'a','x',True,[])), [])\ncheck('registration-topic-index scenario 3', solve('registration-topic-index', ([('a','x'),('a','y')],'a','y',False,['old'])), ['x','y'])\ncheck('registration-topic-index scenario 4', solve('registration-topic-index', ([('a','x')],'z','x',True,[])), ['x'])\ncheck('registration-topic-index scenario 5', solve('registration-topic-index', ([('a','x'),('b','y')],'b','z',True,['a','b'])), ['x','y'])\ncheck('registration-topic-index scenario 6', solve('registration-topic-index', ([('a','x'),('b','x')],'b','x',False,[])), ['x'])\ncheck('unmount-buffer-discard scenario 1', solve('unmount-buffer-discard', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), ['old'+str(N)])\ncheck('unmount-buffer-discard scenario 2', solve('unmount-buffer-discard', ([],'a','x',True,[])), [])\ncheck('unmount-buffer-discard scenario 3', solve('unmount-buffer-discard', ([('a','x'),('a','y')],'a','y',False,['old'])), [])\ncheck('unmount-buffer-discard scenario 4', solve('unmount-buffer-discard', ([('a','x')],'z','x',True,[])), [])\ncheck('unmount-buffer-discard scenario 5', solve('unmount-buffer-discard', ([('a','x'),('b','y')],'b','z',True,['a','b'])), ['a','b'])\ncheck('unmount-buffer-discard scenario 6', solve('unmount-buffer-discard', ([('a','x'),('b','x')],'b','x',False,[])), [])\ncheck('buffered-delivery-order scenario 1', solve('buffered-delivery-order', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), ['old'+str(N),'x'])\ncheck('buffered-delivery-order scenario 2', solve('buffered-delivery-order', ([],'a','x',True,[])), ['x'])\ncheck('buffered-delivery-order scenario 3', solve('buffered-delivery-order', ([('a','x'),('a','y')],'a','y',False,['old'])), ['old','y'])\ncheck('buffered-delivery-order scenario 4', solve('buffered-delivery-order', ([('a','x')],'z','x',True,[])), ['x'])\ncheck('buffered-delivery-order scenario 5', solve('buffered-delivery-order', ([('a','x'),('b','y')],'b','z',True,['a','b'])), ['a','b','z'])\ncheck('buffered-delivery-order scenario 6', solve('buffered-delivery-order', ([('a','x'),('b','x')],'b','x',False,[])), ['x'])\ncheck('unknown-unsubscribe-noop scenario 1', solve('unknown-unsubscribe-noop', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), False)\ncheck('unknown-unsubscribe-noop scenario 2', solve('unknown-unsubscribe-noop', ([],'a','x',True,[])), True)\ncheck('unknown-unsubscribe-noop scenario 3', solve('unknown-unsubscribe-noop', ([('a','x'),('a','y')],'a','y',False,['old'])), False)\ncheck('unknown-unsubscribe-noop scenario 4', solve('unknown-unsubscribe-noop', ([('a','x')],'z','x',True,[])), True)\ncheck('unknown-unsubscribe-noop scenario 5', solve('unknown-unsubscribe-noop', ([('a','x'),('b','y')],'b','z',True,['a','b'])), False)\ncheck('unknown-unsubscribe-noop scenario 6', solve('unknown-unsubscribe-noop', ([('a','x'),('b','x')],'b','x',False,[])), False)\ncheck('registration-removal-count scenario 1', solve('registration-removal-count', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), 1)\ncheck('registration-removal-count scenario 2', solve('registration-removal-count', ([],'a','x',True,[])), 0)\ncheck('registration-removal-count scenario 3', solve('registration-removal-count', ([('a','x'),('a','y')],'a','y',False,['old'])), 2)\ncheck('registration-removal-count scenario 4', solve('registration-removal-count', ([('a','x')],'z','x',True,[])), 0)\ncheck('registration-removal-count scenario 5', solve('registration-removal-count', ([('a','x'),('b','y')],'b','z',True,['a','b'])), 1)\ncheck('registration-removal-count scenario 6', solve('registration-removal-count', ([('a','x'),('b','x')],'b','x',False,[])), 1)\ncheck('remaining-topic-reference-count scenario 1', solve('remaining-topic-reference-count', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), 1)\ncheck('remaining-topic-reference-count scenario 2', solve('remaining-topic-reference-count', ([],'a','x',True,[])), 0)\ncheck('remaining-topic-reference-count scenario 3', solve('remaining-topic-reference-count', ([('a','x'),('a','y')],'a','y',False,['old'])), 0)\ncheck('remaining-topic-reference-count scenario 4', solve('remaining-topic-reference-count', ([('a','x')],'z','x',True,[])), 1)\ncheck('remaining-topic-reference-count scenario 5', solve('remaining-topic-reference-count', ([('a','x'),('b','y')],'b','z',True,['a','b'])), 0)\ncheck('remaining-topic-reference-count scenario 6', solve('remaining-topic-reference-count', ([('a','x'),('b','x')],'b','x',False,[])), 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":"022e0cc47bdb2bf8d37fe3052c321be8797849fb64de9a5fb88d79d9f97f7fee","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    registrations, removed, event, mounted, buffered = s\n    if operation == 'unsubscribe-by-registration':\n        return [(k,t) for k,t in registrations if k!=removed]\n    if operation == 'topic-recipient-routing':\n        return [k for k,t in registrations if t==event]\n    if operation == 'unmounted-event-delivery':\n        return [k for k,t in registrations if t==event] if mounted else []\n    if operation == 'last-listener-resource-close':\n        return not any(k!=removed for k,t in registrations)\n    if operation == 'registration-topic-index':\n        return sorted({t for k,t in registrations})\n    if operation == 'unmount-buffer-discard':\n        return buffered if mounted else []\n    if operation == 'buffered-delivery-order':\n        return buffered+[event]\n    if operation == 'unknown-unsubscribe-noop':\n        return removed not in [k for k,t in registrations]\n    if operation == 'registration-removal-count':\n        return sum(k==removed for k,t in registrations)\n    if operation == 'remaining-topic-reference-count':\n        return sum(t==event and k!=removed for k,t in registrations)\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('unsubscribe-by-registration scenario 1', solve('unsubscribe-by-registration', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), [('b','x'),('c','y')])\ncheck('unsubscribe-by-registration scenario 2', solve('unsubscribe-by-registration', ([],'a','x',True,[])), [])\ncheck('unsubscribe-by-registration scenario 3', solve('unsubscribe-by-registration', ([('a','x'),('a','y')],'a','y',False,['old'])), [])\ncheck('unsubscribe-by-registration scenario 4', solve('unsubscribe-by-registration', ([('a','x')],'z','x',True,[])), [('a','x')])\ncheck('unsubscribe-by-registration scenario 5', solve('unsubscribe-by-registration', ([('a','x'),('b','y')],'b','z',True,['a','b'])), [('a','x')])\ncheck('unsubscribe-by-registration scenario 6', solve('unsubscribe-by-registration', ([('a','x'),('b','x')],'b','x',False,[])), [('a','x')])\ncheck('topic-recipient-routing scenario 1', solve('topic-recipient-routing', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), ['a','b'])\ncheck('topic-recipient-routing scenario 2', solve('topic-recipient-routing', ([],'a','x',True,[])), [])\ncheck('topic-recipient-routing scenario 3', solve('topic-recipient-routing', ([('a','x'),('a','y')],'a','y',False,['old'])), ['a'])\ncheck('topic-recipient-routing scenario 4', solve('topic-recipient-routing', ([('a','x')],'z','x',True,[])), ['a'])\ncheck('topic-recipient-routing scenario 5', solve('topic-recipient-routing', ([('a','x'),('b','y')],'b','z',True,['a','b'])), [])\ncheck('topic-recipient-routing scenario 6', solve('topic-recipient-routing', ([('a','x'),('b','x')],'b','x',False,[])), ['a','b'])\ncheck('unmounted-event-delivery scenario 1', solve('unmounted-event-delivery', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), ['a','b'])\ncheck('unmounted-event-delivery scenario 2', solve('unmounted-event-delivery', ([],'a','x',True,[])), [])\ncheck('unmounted-event-delivery scenario 3', solve('unmounted-event-delivery', ([('a','x'),('a','y')],'a','y',False,['old'])), [])\ncheck('unmounted-event-delivery scenario 4', solve('unmounted-event-delivery', ([('a','x')],'z','x',True,[])), ['a'])\ncheck('unmounted-event-delivery scenario 5', solve('unmounted-event-delivery', ([('a','x'),('b','y')],'b','z',True,['a','b'])), [])\ncheck('unmounted-event-delivery scenario 6', solve('unmounted-event-delivery', ([('a','x'),('b','x')],'b','x',False,[])), [])\ncheck('last-listener-resource-close scenario 1', solve('last-listener-resource-close', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), False)\ncheck('last-listener-resource-close scenario 2', solve('last-listener-resource-close', ([],'a','x',True,[])), True)\ncheck('last-listener-resource-close scenario 3', solve('last-listener-resource-close', ([('a','x'),('a','y')],'a','y',False,['old'])), True)\ncheck('last-listener-resource-close scenario 4', solve('last-listener-resource-close', ([('a','x')],'z','x',True,[])), False)\ncheck('last-listener-resource-close scenario 5', solve('last-listener-resource-close', ([('a','x'),('b','y')],'b','z',True,['a','b'])), False)\ncheck('last-listener-resource-close scenario 6', solve('last-listener-resource-close', ([('a','x'),('b','x')],'b','x',False,[])), False)\ncheck('registration-topic-index scenario 1', solve('registration-topic-index', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), ['x','y'])\ncheck('registration-topic-index scenario 2', solve('registration-topic-index', ([],'a','x',True,[])), [])\ncheck('registration-topic-index scenario 3', solve('registration-topic-index', ([('a','x'),('a','y')],'a','y',False,['old'])), ['x','y'])\ncheck('registration-topic-index scenario 4', solve('registration-topic-index', ([('a','x')],'z','x',True,[])), ['x'])\ncheck('registration-topic-index scenario 5', solve('registration-topic-index', ([('a','x'),('b','y')],'b','z',True,['a','b'])), ['x','y'])\ncheck('registration-topic-index scenario 6', solve('registration-topic-index', ([('a','x'),('b','x')],'b','x',False,[])), ['x'])\ncheck('unmount-buffer-discard scenario 1', solve('unmount-buffer-discard', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), ['old'+str(N)])\ncheck('unmount-buffer-discard scenario 2', solve('unmount-buffer-discard', ([],'a','x',True,[])), [])\ncheck('unmount-buffer-discard scenario 3', solve('unmount-buffer-discard', ([('a','x'),('a','y')],'a','y',False,['old'])), [])\ncheck('unmount-buffer-discard scenario 4', solve('unmount-buffer-discard', ([('a','x')],'z','x',True,[])), [])\ncheck('unmount-buffer-discard scenario 5', solve('unmount-buffer-discard', ([('a','x'),('b','y')],'b','z',True,['a','b'])), ['a','b'])\ncheck('unmount-buffer-discard scenario 6', solve('unmount-buffer-discard', ([('a','x'),('b','x')],'b','x',False,[])), [])\ncheck('buffered-delivery-order scenario 1', solve('buffered-delivery-order', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), ['old'+str(N),'x'])\ncheck('buffered-delivery-order scenario 2', solve('buffered-delivery-order', ([],'a','x',True,[])), ['x'])\ncheck('buffered-delivery-order scenario 3', solve('buffered-delivery-order', ([('a','x'),('a','y')],'a','y',False,['old'])), ['old','y'])\ncheck('buffered-delivery-order scenario 4', solve('buffered-delivery-order', ([('a','x')],'z','x',True,[])), ['x'])\ncheck('buffered-delivery-order scenario 5', solve('buffered-delivery-order', ([('a','x'),('b','y')],'b','z',True,['a','b'])), ['a','b','z'])\ncheck('buffered-delivery-order scenario 6', solve('buffered-delivery-order', ([('a','x'),('b','x')],'b','x',False,[])), ['x'])\ncheck('unknown-unsubscribe-noop scenario 1', solve('unknown-unsubscribe-noop', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), False)\ncheck('unknown-unsubscribe-noop scenario 2', solve('unknown-unsubscribe-noop', ([],'a','x',True,[])), True)\ncheck('unknown-unsubscribe-noop scenario 3', solve('unknown-unsubscribe-noop', ([('a','x'),('a','y')],'a','y',False,['old'])), False)\ncheck('unknown-unsubscribe-noop scenario 4', solve('unknown-unsubscribe-noop', ([('a','x')],'z','x',True,[])), True)\ncheck('unknown-unsubscribe-noop scenario 5', solve('unknown-unsubscribe-noop', ([('a','x'),('b','y')],'b','z',True,['a','b'])), False)\ncheck('unknown-unsubscribe-noop scenario 6', solve('unknown-unsubscribe-noop', ([('a','x'),('b','x')],'b','x',False,[])), False)\ncheck('registration-removal-count scenario 1', solve('registration-removal-count', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), 1)\ncheck('registration-removal-count scenario 2', solve('registration-removal-count', ([],'a','x',True,[])), 0)\ncheck('registration-removal-count scenario 3', solve('registration-removal-count', ([('a','x'),('a','y')],'a','y',False,['old'])), 2)\ncheck('registration-removal-count scenario 4', solve('registration-removal-count', ([('a','x')],'z','x',True,[])), 0)\ncheck('registration-removal-count scenario 5', solve('registration-removal-count', ([('a','x'),('b','y')],'b','z',True,['a','b'])), 1)\ncheck('registration-removal-count scenario 6', solve('registration-removal-count', ([('a','x'),('b','x')],'b','x',False,[])), 1)\ncheck('remaining-topic-reference-count scenario 1', solve('remaining-topic-reference-count', ([('a','x'),('b','x'),('c','y')],'a','x',True,['old'+str(N)])), 1)\ncheck('remaining-topic-reference-count scenario 2', solve('remaining-topic-reference-count', ([],'a','x',True,[])), 0)\ncheck('remaining-topic-reference-count scenario 3', solve('remaining-topic-reference-count', ([('a','x'),('a','y')],'a','y',False,['old'])), 0)\ncheck('remaining-topic-reference-count scenario 4', solve('remaining-topic-reference-count', ([('a','x')],'z','x',True,[])), 1)\ncheck('remaining-topic-reference-count scenario 5', solve('remaining-topic-reference-count', ([('a','x'),('b','y')],'b','z',True,['a','b'])), 0)\ncheck('remaining-topic-reference-count scenario 6', solve('remaining-topic-reference-count', ([('a','x'),('b','x')],'b','x',False,[])), 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":"Only the explicitly specified operations and finite deterministic records are modeled; no browser or framework conformance is claimed. 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-client-state-subscription-registry-buffered-delivery-order","generated_at":"2026-09-29T14:40:52.452814+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"An offline client lifecycle model that isolates a state-management defect without DOM rendering or network services.","repair":"Apply the modeled buffered-delivery-order rule: `buffered+[event]`.","root_cause":"The buffered-delivery-order client decision evaluates `[event]+buffered` instead of `buffered+[event]`.","sha256":"526189d69a50d5f6a526d5b96ffb37191944c0815186c9bb243d9185f83a8a8b","title":"Component subscription registration: Buffered delivery order · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.12,"exit_code":1,"observations":[{"actual":[["b","x"],["c","y"]],"check":"unsubscribe-by-registration scenario 1","expected":[["b","x"],["c","y"]],"passed":true},{"actual":[],"check":"unsubscribe-by-registration scenario 2","expected":[],"passed":true},{"actual":[],"check":"unsubscribe-by-registration scenario 3","expected":[],"passed":true},{"actual":[["a","x"]],"check":"unsubscribe-by-registration scenario 4","expected":[["a","x"]],"passed":true},{"actual":[["a","x"]],"check":"unsubscribe-by-registration scenario 5","expected":[["a","x"]],"passed":true},{"actual":[["a","x"]],"check":"unsubscribe-by-registration scenario 6","expected":[["a","x"]],"passed":true},{"actual":["a","b"],"check":"topic-recipient-routing scenario 1","expected":["a","b"],"passed":true},{"actual":[],"check":"topic-recipient-routing scenario 2","expected":[],"passed":true},{"actual":["a"],"check":"topic-recipient-routing scenario 3","expected":["a"],"passed":true},{"actual":["a"],"check":"topic-recipient-routing scenario 4","expected":["a"],"passed":true},{"actual":[],"check":"topic-recipient-routing scenario 5","expected":[],"passed":true},{"actual":["a","b"],"check":"topic-recipient-routing scenario 6","expected":["a","b"],"passed":true},{"actual":["a","b"],"check":"unmounted-event-delivery scenario 1","expected":["a","b"],"passed":true},{"actual":[],"check":"unmounted-event-delivery scenario 2","expected":[],"passed":true},{"actual":[],"check":"unmounted-event-delivery scenario 3","expected":[],"passed":true},{"actual":["a"],"check":"unmounted-event-delivery scenario 4","expected":["a"],"passed":true},{"actual":[],"check":"unmounted-event-delivery scenario 5","expected":[],"passed":true},{"actual":[],"check":"unmounted-event-delivery scenario 6","expected":[],"passed":true},{"actual":false,"check":"last-listener-resource-close scenario 1","expected":false,"passed":true},{"actual":true,"check":"last-listener-resource-close scenario 2","expected":true,"passed":true},{"actual":true,"check":"last-listener-resource-close scenario 3","expected":true,"passed":true},{"actual":false,"check":"last-listener-resource-close scenario 4","expected":false,"passed":true},{"actual":false,"check":"last-listener-resource-close scenario 5","expected":false,"passed":true},{"actual":false,"check":"last-listener-resource-close scenario 6","expected":false,"passed":true},{"actual":["x","y"],"check":"registration-topic-index scenario 1","expected":["x","y"],"passed":true},{"actual":[],"check":"registration-topic-index scenario 2","expected":[],"passed":true},{"actual":["x","y"],"check":"registration-topic-index scenario 3","expected":["x","y"],"passed":true},{"actual":["x"],"check":"registration-topic-index scenario 4","expected":["x"],"passed":true},{"actual":["x","y"],"check":"registration-topic-index scenario 5","expected":["x","y"],"passed":true},{"actual":["x"],"check":"registration-topic-index scenario 6","expected":["x"],"passed":true},{"actual":["old1"],"check":"unmount-buffer-discard scenario 1","expected":["old1"],"passed":true},{"actual":[],"check":"unmount-buffer-discard scenario 2","expected":[],"passed":true},{"actual":[],"check":"unmount-buffer-discard scenario 3","expected":[],"passed":true},{"actual":[],"check":"unmount-buffer-discard scenario 4","expected":[],"passed":true},{"actual":["a","b"],"check":"unmount-buffer-discard scenario 5","expected":["a","b"],"passed":true},{"actual":[],"check":"unmount-buffer-discard scenario 6","expected":[],"passed":true},{"actual":["x"],"check":"buffered-delivery-order scenario 1","expected":["old1","x"],"passed":false},{"actual":["x"],"check":"buffered-delivery-order scenario 2","expected":["x"],"passed":true},{"actual":["y"],"check":"buffered-delivery-order scenario 3","expected":["old","y"],"passed":false},{"actual":["x"],"check":"buffered-delivery-order scenario 4","expected":["x"],"passed":true},{"actual":["z"],"check":"buffered-delivery-order scenario 5","expected":["a","b","z"],"passed":false},{"actual":["x"],"check":"buffered-delivery-order scenario 6","expected":["x"],"passed":true},{"actual":false,"check":"unknown-unsubscribe-noop scenario 1","expected":false,"passed":true},{"actual":true,"check":"unknown-unsubscribe-noop scenario 2","expected":true,"passed":true},{"actual":false,"check":"unknown-unsubscribe-noop scenario 3","expected":false,"passed":true},{"actual":true,"check":"unknown-unsubscribe-noop scenario 4","expected":true,"passed":true},{"actual":false,"check":"unknown-unsubscribe-noop scenario 5","expected":false,"passed":true},{"actual":false,"check":"unknown-unsubscribe-noop scenario 6","expected":false,"passed":true},{"actual":1,"check":"registration-removal-count scenario 1","expected":1,"passed":true},{"actual":0,"check":"registration-removal-count scenario 2","expected":0,"passed":true},{"actual":2,"check":"registration-removal-count scenario 3","expected":2,"passed":true},{"actual":0,"check":"registration-removal-count scenario 4","expected":0,"passed":true},{"actual":1,"check":"registration-removal-count scenario 5","expected":1,"passed":true},{"actual":1,"check":"registration-removal-count scenario 6","expected":1,"passed":true},{"actual":1,"check":"remaining-topic-reference-count scenario 1","expected":1,"passed":true},{"actual":0,"check":"remaining-topic-reference-count scenario 2","expected":0,"passed":true},{"actual":0,"check":"remaining-topic-reference-count scenario 3","expected":0,"passed":true},{"actual":1,"check":"remaining-topic-reference-count scenario 4","expected":1,"passed":true},{"actual":0,"check":"remaining-topic-reference-count scenario 5","expected":0,"passed":true},{"actual":1,"check":"remaining-topic-reference-count scenario 6","expected":1,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"unsubscribe-by-registration scenario 1\", \"actual\": [[\"b\", \"x\"], [\"c\", \"y\"]], \"expected\": [[\"b\", \"x\"], [\"c\", \"y\"]], \"passed\": true}, {\"check\": \"unsubscribe-by-registration scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unsubscribe-by-registration scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unsubscribe-by-registration scenario 4\", \"actual\": [[\"a\", \"x\"]], \"expected\": [[\"a\", \"x\"]], \"passed\": true}, {\"check\": \"unsubscribe-by-registration scenario 5\", \"actual\": [[\"a\", \"x\"]], \"expected\": [[\"a\", \"x\"]], \"passed\": true}, {\"check\": \"unsubscribe-by-registration scenario 6\", \"actual\": [[\"a\", \"x\"]], \"expected\": [[\"a\", \"x\"]], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 1\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 3\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 4\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 6\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 1\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 4\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"registration-topic-index scenario 1\", \"actual\": [\"x\", \"y\"], \"expected\": [\"x\", \"y\"], \"passed\": true}, {\"check\": \"registration-topic-index scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"registration-topic-index scenario 3\", \"actual\": [\"x\", \"y\"], \"expected\": [\"x\", \"y\"], \"passed\": true}, {\"check\": \"registration-topic-index scenario 4\", \"actual\": [\"x\"], \"expected\": [\"x\"], \"passed\": true}, {\"check\": \"registration-topic-index scenario 5\", \"actual\": [\"x\", \"y\"], \"expected\": [\"x\", \"y\"], \"passed\": true}, {\"check\": \"registration-topic-index scenario 6\", \"actual\": [\"x\"], \"expected\": [\"x\"], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 1\", \"actual\": [\"old1\"], \"expected\": [\"old1\"], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 5\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"buffered-delivery-order scenario 1\", \"actual\": [\"x\"], \"expected\": [\"old1\", \"x\"], \"passed\": false}, {\"check\": \"buffered-delivery-order scenario 2\", \"actual\": [\"x\"], \"expected\": [\"x\"], \"passed\": true}, {\"check\": \"buffered-delivery-order scenario 3\", \"actual\": [\"y\"], \"expected\": [\"old\", \"y\"], \"passed\": false}, {\"check\": \"buffered-delivery-order scenario 4\", \"actual\": [\"x\"], \"expected\": [\"x\"], \"passed\": true}, {\"check\": \"buffered-delivery-order scenario 5\", \"actual\": [\"z\"], \"expected\": [\"a\", \"b\", \"z\"], \"passed\": false}, {\"check\": \"buffered-delivery-order scenario 6\", \"actual\": [\"x\"], \"expected\": [\"x\"], \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 4\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"registration-removal-count scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"registration-removal-count scenario 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"registration-removal-count scenario 3\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"registration-removal-count scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"registration-removal-count scenario 5\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"registration-removal-count scenario 6\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 3\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 4\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 5\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 6\", \"actual\": 1, \"expected\": 1, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.902,"exit_code":1,"observations":[{"actual":[["b","x"],["c","y"]],"check":"unsubscribe-by-registration scenario 1","expected":[["b","x"],["c","y"]],"passed":true},{"actual":[],"check":"unsubscribe-by-registration scenario 2","expected":[],"passed":true},{"actual":[],"check":"unsubscribe-by-registration scenario 3","expected":[],"passed":true},{"actual":[["a","x"]],"check":"unsubscribe-by-registration scenario 4","expected":[["a","x"]],"passed":true},{"actual":[["a","x"]],"check":"unsubscribe-by-registration scenario 5","expected":[["a","x"]],"passed":true},{"actual":[["a","x"]],"check":"unsubscribe-by-registration scenario 6","expected":[["a","x"]],"passed":true},{"actual":["a","b"],"check":"topic-recipient-routing scenario 1","expected":["a","b"],"passed":true},{"actual":[],"check":"topic-recipient-routing scenario 2","expected":[],"passed":true},{"actual":["a"],"check":"topic-recipient-routing scenario 3","expected":["a"],"passed":true},{"actual":["a"],"check":"topic-recipient-routing scenario 4","expected":["a"],"passed":true},{"actual":[],"check":"topic-recipient-routing scenario 5","expected":[],"passed":true},{"actual":["a","b"],"check":"topic-recipient-routing scenario 6","expected":["a","b"],"passed":true},{"actual":["a","b"],"check":"unmounted-event-delivery scenario 1","expected":["a","b"],"passed":true},{"actual":[],"check":"unmounted-event-delivery scenario 2","expected":[],"passed":true},{"actual":[],"check":"unmounted-event-delivery scenario 3","expected":[],"passed":true},{"actual":["a"],"check":"unmounted-event-delivery scenario 4","expected":["a"],"passed":true},{"actual":[],"check":"unmounted-event-delivery scenario 5","expected":[],"passed":true},{"actual":[],"check":"unmounted-event-delivery scenario 6","expected":[],"passed":true},{"actual":false,"check":"last-listener-resource-close scenario 1","expected":false,"passed":true},{"actual":true,"check":"last-listener-resource-close scenario 2","expected":true,"passed":true},{"actual":true,"check":"last-listener-resource-close scenario 3","expected":true,"passed":true},{"actual":false,"check":"last-listener-resource-close scenario 4","expected":false,"passed":true},{"actual":false,"check":"last-listener-resource-close scenario 5","expected":false,"passed":true},{"actual":false,"check":"last-listener-resource-close scenario 6","expected":false,"passed":true},{"actual":["x","y"],"check":"registration-topic-index scenario 1","expected":["x","y"],"passed":true},{"actual":[],"check":"registration-topic-index scenario 2","expected":[],"passed":true},{"actual":["x","y"],"check":"registration-topic-index scenario 3","expected":["x","y"],"passed":true},{"actual":["x"],"check":"registration-topic-index scenario 4","expected":["x"],"passed":true},{"actual":["x","y"],"check":"registration-topic-index scenario 5","expected":["x","y"],"passed":true},{"actual":["x"],"check":"registration-topic-index scenario 6","expected":["x"],"passed":true},{"actual":["old1"],"check":"unmount-buffer-discard scenario 1","expected":["old1"],"passed":true},{"actual":[],"check":"unmount-buffer-discard scenario 2","expected":[],"passed":true},{"actual":[],"check":"unmount-buffer-discard scenario 3","expected":[],"passed":true},{"actual":[],"check":"unmount-buffer-discard scenario 4","expected":[],"passed":true},{"actual":["a","b"],"check":"unmount-buffer-discard scenario 5","expected":["a","b"],"passed":true},{"actual":[],"check":"unmount-buffer-discard scenario 6","expected":[],"passed":true},{"actual":["x","old1"],"check":"buffered-delivery-order scenario 1","expected":["old1","x"],"passed":false},{"actual":["x"],"check":"buffered-delivery-order scenario 2","expected":["x"],"passed":true},{"actual":["y","old"],"check":"buffered-delivery-order scenario 3","expected":["old","y"],"passed":false},{"actual":["x"],"check":"buffered-delivery-order scenario 4","expected":["x"],"passed":true},{"actual":["z","a","b"],"check":"buffered-delivery-order scenario 5","expected":["a","b","z"],"passed":false},{"actual":["x"],"check":"buffered-delivery-order scenario 6","expected":["x"],"passed":true},{"actual":false,"check":"unknown-unsubscribe-noop scenario 1","expected":false,"passed":true},{"actual":true,"check":"unknown-unsubscribe-noop scenario 2","expected":true,"passed":true},{"actual":false,"check":"unknown-unsubscribe-noop scenario 3","expected":false,"passed":true},{"actual":true,"check":"unknown-unsubscribe-noop scenario 4","expected":true,"passed":true},{"actual":false,"check":"unknown-unsubscribe-noop scenario 5","expected":false,"passed":true},{"actual":false,"check":"unknown-unsubscribe-noop scenario 6","expected":false,"passed":true},{"actual":1,"check":"registration-removal-count scenario 1","expected":1,"passed":true},{"actual":0,"check":"registration-removal-count scenario 2","expected":0,"passed":true},{"actual":2,"check":"registration-removal-count scenario 3","expected":2,"passed":true},{"actual":0,"check":"registration-removal-count scenario 4","expected":0,"passed":true},{"actual":1,"check":"registration-removal-count scenario 5","expected":1,"passed":true},{"actual":1,"check":"registration-removal-count scenario 6","expected":1,"passed":true},{"actual":1,"check":"remaining-topic-reference-count scenario 1","expected":1,"passed":true},{"actual":0,"check":"remaining-topic-reference-count scenario 2","expected":0,"passed":true},{"actual":0,"check":"remaining-topic-reference-count scenario 3","expected":0,"passed":true},{"actual":1,"check":"remaining-topic-reference-count scenario 4","expected":1,"passed":true},{"actual":0,"check":"remaining-topic-reference-count scenario 5","expected":0,"passed":true},{"actual":1,"check":"remaining-topic-reference-count scenario 6","expected":1,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"unsubscribe-by-registration scenario 1\", \"actual\": [[\"b\", \"x\"], [\"c\", \"y\"]], \"expected\": [[\"b\", \"x\"], [\"c\", \"y\"]], \"passed\": true}, {\"check\": \"unsubscribe-by-registration scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unsubscribe-by-registration scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unsubscribe-by-registration scenario 4\", \"actual\": [[\"a\", \"x\"]], \"expected\": [[\"a\", \"x\"]], \"passed\": true}, {\"check\": \"unsubscribe-by-registration scenario 5\", \"actual\": [[\"a\", \"x\"]], \"expected\": [[\"a\", \"x\"]], \"passed\": true}, {\"check\": \"unsubscribe-by-registration scenario 6\", \"actual\": [[\"a\", \"x\"]], \"expected\": [[\"a\", \"x\"]], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 1\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 3\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 4\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 6\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 1\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 4\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"registration-topic-index scenario 1\", \"actual\": [\"x\", \"y\"], \"expected\": [\"x\", \"y\"], \"passed\": true}, {\"check\": \"registration-topic-index scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"registration-topic-index scenario 3\", \"actual\": [\"x\", \"y\"], \"expected\": [\"x\", \"y\"], \"passed\": true}, {\"check\": \"registration-topic-index scenario 4\", \"actual\": [\"x\"], \"expected\": [\"x\"], \"passed\": true}, {\"check\": \"registration-topic-index scenario 5\", \"actual\": [\"x\", \"y\"], \"expected\": [\"x\", \"y\"], \"passed\": true}, {\"check\": \"registration-topic-index scenario 6\", \"actual\": [\"x\"], \"expected\": [\"x\"], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 1\", \"actual\": [\"old1\"], \"expected\": [\"old1\"], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 5\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"buffered-delivery-order scenario 1\", \"actual\": [\"x\", \"old1\"], \"expected\": [\"old1\", \"x\"], \"passed\": false}, {\"check\": \"buffered-delivery-order scenario 2\", \"actual\": [\"x\"], \"expected\": [\"x\"], \"passed\": true}, {\"check\": \"buffered-delivery-order scenario 3\", \"actual\": [\"y\", \"old\"], \"expected\": [\"old\", \"y\"], \"passed\": false}, {\"check\": \"buffered-delivery-order scenario 4\", \"actual\": [\"x\"], \"expected\": [\"x\"], \"passed\": true}, {\"check\": \"buffered-delivery-order scenario 5\", \"actual\": [\"z\", \"a\", \"b\"], \"expected\": [\"a\", \"b\", \"z\"], \"passed\": false}, {\"check\": \"buffered-delivery-order scenario 6\", \"actual\": [\"x\"], \"expected\": [\"x\"], \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 4\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"registration-removal-count scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"registration-removal-count scenario 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"registration-removal-count scenario 3\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"registration-removal-count scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"registration-removal-count scenario 5\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"registration-removal-count scenario 6\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 3\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 4\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 5\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 6\", \"actual\": 1, \"expected\": 1, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.255,"exit_code":0,"observations":[{"actual":[["b","x"],["c","y"]],"check":"unsubscribe-by-registration scenario 1","expected":[["b","x"],["c","y"]],"passed":true},{"actual":[],"check":"unsubscribe-by-registration scenario 2","expected":[],"passed":true},{"actual":[],"check":"unsubscribe-by-registration scenario 3","expected":[],"passed":true},{"actual":[["a","x"]],"check":"unsubscribe-by-registration scenario 4","expected":[["a","x"]],"passed":true},{"actual":[["a","x"]],"check":"unsubscribe-by-registration scenario 5","expected":[["a","x"]],"passed":true},{"actual":[["a","x"]],"check":"unsubscribe-by-registration scenario 6","expected":[["a","x"]],"passed":true},{"actual":["a","b"],"check":"topic-recipient-routing scenario 1","expected":["a","b"],"passed":true},{"actual":[],"check":"topic-recipient-routing scenario 2","expected":[],"passed":true},{"actual":["a"],"check":"topic-recipient-routing scenario 3","expected":["a"],"passed":true},{"actual":["a"],"check":"topic-recipient-routing scenario 4","expected":["a"],"passed":true},{"actual":[],"check":"topic-recipient-routing scenario 5","expected":[],"passed":true},{"actual":["a","b"],"check":"topic-recipient-routing scenario 6","expected":["a","b"],"passed":true},{"actual":["a","b"],"check":"unmounted-event-delivery scenario 1","expected":["a","b"],"passed":true},{"actual":[],"check":"unmounted-event-delivery scenario 2","expected":[],"passed":true},{"actual":[],"check":"unmounted-event-delivery scenario 3","expected":[],"passed":true},{"actual":["a"],"check":"unmounted-event-delivery scenario 4","expected":["a"],"passed":true},{"actual":[],"check":"unmounted-event-delivery scenario 5","expected":[],"passed":true},{"actual":[],"check":"unmounted-event-delivery scenario 6","expected":[],"passed":true},{"actual":false,"check":"last-listener-resource-close scenario 1","expected":false,"passed":true},{"actual":true,"check":"last-listener-resource-close scenario 2","expected":true,"passed":true},{"actual":true,"check":"last-listener-resource-close scenario 3","expected":true,"passed":true},{"actual":false,"check":"last-listener-resource-close scenario 4","expected":false,"passed":true},{"actual":false,"check":"last-listener-resource-close scenario 5","expected":false,"passed":true},{"actual":false,"check":"last-listener-resource-close scenario 6","expected":false,"passed":true},{"actual":["x","y"],"check":"registration-topic-index scenario 1","expected":["x","y"],"passed":true},{"actual":[],"check":"registration-topic-index scenario 2","expected":[],"passed":true},{"actual":["x","y"],"check":"registration-topic-index scenario 3","expected":["x","y"],"passed":true},{"actual":["x"],"check":"registration-topic-index scenario 4","expected":["x"],"passed":true},{"actual":["x","y"],"check":"registration-topic-index scenario 5","expected":["x","y"],"passed":true},{"actual":["x"],"check":"registration-topic-index scenario 6","expected":["x"],"passed":true},{"actual":["old1"],"check":"unmount-buffer-discard scenario 1","expected":["old1"],"passed":true},{"actual":[],"check":"unmount-buffer-discard scenario 2","expected":[],"passed":true},{"actual":[],"check":"unmount-buffer-discard scenario 3","expected":[],"passed":true},{"actual":[],"check":"unmount-buffer-discard scenario 4","expected":[],"passed":true},{"actual":["a","b"],"check":"unmount-buffer-discard scenario 5","expected":["a","b"],"passed":true},{"actual":[],"check":"unmount-buffer-discard scenario 6","expected":[],"passed":true},{"actual":["old1","x"],"check":"buffered-delivery-order scenario 1","expected":["old1","x"],"passed":true},{"actual":["x"],"check":"buffered-delivery-order scenario 2","expected":["x"],"passed":true},{"actual":["old","y"],"check":"buffered-delivery-order scenario 3","expected":["old","y"],"passed":true},{"actual":["x"],"check":"buffered-delivery-order scenario 4","expected":["x"],"passed":true},{"actual":["a","b","z"],"check":"buffered-delivery-order scenario 5","expected":["a","b","z"],"passed":true},{"actual":["x"],"check":"buffered-delivery-order scenario 6","expected":["x"],"passed":true},{"actual":false,"check":"unknown-unsubscribe-noop scenario 1","expected":false,"passed":true},{"actual":true,"check":"unknown-unsubscribe-noop scenario 2","expected":true,"passed":true},{"actual":false,"check":"unknown-unsubscribe-noop scenario 3","expected":false,"passed":true},{"actual":true,"check":"unknown-unsubscribe-noop scenario 4","expected":true,"passed":true},{"actual":false,"check":"unknown-unsubscribe-noop scenario 5","expected":false,"passed":true},{"actual":false,"check":"unknown-unsubscribe-noop scenario 6","expected":false,"passed":true},{"actual":1,"check":"registration-removal-count scenario 1","expected":1,"passed":true},{"actual":0,"check":"registration-removal-count scenario 2","expected":0,"passed":true},{"actual":2,"check":"registration-removal-count scenario 3","expected":2,"passed":true},{"actual":0,"check":"registration-removal-count scenario 4","expected":0,"passed":true},{"actual":1,"check":"registration-removal-count scenario 5","expected":1,"passed":true},{"actual":1,"check":"registration-removal-count scenario 6","expected":1,"passed":true},{"actual":1,"check":"remaining-topic-reference-count scenario 1","expected":1,"passed":true},{"actual":0,"check":"remaining-topic-reference-count scenario 2","expected":0,"passed":true},{"actual":0,"check":"remaining-topic-reference-count scenario 3","expected":0,"passed":true},{"actual":1,"check":"remaining-topic-reference-count scenario 4","expected":1,"passed":true},{"actual":0,"check":"remaining-topic-reference-count scenario 5","expected":0,"passed":true},{"actual":1,"check":"remaining-topic-reference-count scenario 6","expected":1,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"unsubscribe-by-registration scenario 1\", \"actual\": [[\"b\", \"x\"], [\"c\", \"y\"]], \"expected\": [[\"b\", \"x\"], [\"c\", \"y\"]], \"passed\": true}, {\"check\": \"unsubscribe-by-registration scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unsubscribe-by-registration scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unsubscribe-by-registration scenario 4\", \"actual\": [[\"a\", \"x\"]], \"expected\": [[\"a\", \"x\"]], \"passed\": true}, {\"check\": \"unsubscribe-by-registration scenario 5\", \"actual\": [[\"a\", \"x\"]], \"expected\": [[\"a\", \"x\"]], \"passed\": true}, {\"check\": \"unsubscribe-by-registration scenario 6\", \"actual\": [[\"a\", \"x\"]], \"expected\": [[\"a\", \"x\"]], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 1\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 3\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 4\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"topic-recipient-routing scenario 6\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 1\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 4\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmounted-event-delivery scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"last-listener-resource-close scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"registration-topic-index scenario 1\", \"actual\": [\"x\", \"y\"], \"expected\": [\"x\", \"y\"], \"passed\": true}, {\"check\": \"registration-topic-index scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"registration-topic-index scenario 3\", \"actual\": [\"x\", \"y\"], \"expected\": [\"x\", \"y\"], \"passed\": true}, {\"check\": \"registration-topic-index scenario 4\", \"actual\": [\"x\"], \"expected\": [\"x\"], \"passed\": true}, {\"check\": \"registration-topic-index scenario 5\", \"actual\": [\"x\", \"y\"], \"expected\": [\"x\", \"y\"], \"passed\": true}, {\"check\": \"registration-topic-index scenario 6\", \"actual\": [\"x\"], \"expected\": [\"x\"], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 1\", \"actual\": [\"old1\"], \"expected\": [\"old1\"], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 5\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"unmount-buffer-discard scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"buffered-delivery-order scenario 1\", \"actual\": [\"old1\", \"x\"], \"expected\": [\"old1\", \"x\"], \"passed\": true}, {\"check\": \"buffered-delivery-order scenario 2\", \"actual\": [\"x\"], \"expected\": [\"x\"], \"passed\": true}, {\"check\": \"buffered-delivery-order scenario 3\", \"actual\": [\"old\", \"y\"], \"expected\": [\"old\", \"y\"], \"passed\": true}, {\"check\": \"buffered-delivery-order scenario 4\", \"actual\": [\"x\"], \"expected\": [\"x\"], \"passed\": true}, {\"check\": \"buffered-delivery-order scenario 5\", \"actual\": [\"a\", \"b\", \"z\"], \"expected\": [\"a\", \"b\", \"z\"], \"passed\": true}, {\"check\": \"buffered-delivery-order scenario 6\", \"actual\": [\"x\"], \"expected\": [\"x\"], \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 4\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unknown-unsubscribe-noop scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"registration-removal-count scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"registration-removal-count scenario 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"registration-removal-count scenario 3\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"registration-removal-count scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"registration-removal-count scenario 5\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"registration-removal-count scenario 6\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 3\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 4\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 5\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-topic-reference-count scenario 6\", \"actual\": 1, \"expected\": 1, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}