{"abstract":"Unmount buffer discard.","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 unmount-buffer-discard has the six explicit input/output oracles below.","evaluation_group":"s3-client-state-subscription-registry","failed_approach":"The partial repair `[]` still violates the explicit fixture contract.","family":"s3-client-state-subscription-registry-unmount-buffer-discard","id":"FA-23931","implementations":{"attempt":{"sha256":"99c7deb027f3ea300b38ed7e3dc0239b50b40f0c1ed18ee8f620a4ec7ac9650b","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 []\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"},"broken":{"sha256":"a7def92d6d95e4673a818ec0f6cb3d887f0bce09700a3ab695b9baf0649985bc","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\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"},"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-unmount-buffer-discard","generated_at":"2026-09-29T14:40:52.411651+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 unmount-buffer-discard rule: `buffered if mounted else []`.","root_cause":"The unmount-buffer-discard client decision evaluates `buffered` instead of `buffered if mounted else []`.","sha256":"1822e40b35918fa3e881991b0ae43b31a7d2e802ab8b9a5bb670ba2917022e0f","title":"Component subscription registration: Unmount buffer discard · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.272,"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":[],"check":"unmount-buffer-discard scenario 1","expected":["old1"],"passed":false},{"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":[],"check":"unmount-buffer-discard scenario 5","expected":["a","b"],"passed":false},{"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":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\": [], \"expected\": [\"old1\"], \"passed\": false}, {\"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\": [], \"expected\": [\"a\", \"b\"], \"passed\": false}, {\"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\": false}\n"},"broken":{"elapsed_ms":41.204,"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":["old"],"check":"unmount-buffer-discard scenario 3","expected":[],"passed":false},{"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":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\": [\"old\"], \"expected\": [], \"passed\": false}, {\"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\": false}\n"},"fixed":{"elapsed_ms":42.676,"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"}