{"abstract":"Cancelled job pruning.","category":"Client state","checks":60,"contract":"A UI worker client binds replies to both a pending job ID and worker instance. Transfer detaches only listed buffers from the main thread, unknown replies settle nothing, and unmount rejects every still-pending job. Operation cancelled-job-pruning has the six explicit input/output oracles below.","evaluation_group":"s3-client-state-worker-task","failed_approach":"The partial repair `[(k,v) for k,v in jobs if k!=result_id]` still violates the explicit fixture contract.","family":"s3-client-state-worker-task-cancelled-job-pruning","id":"FA-24606","implementations":{"attempt":{"sha256":"4809225bfb7c988e64d98c6ca604b32e9e99e7736ca99b001272180df21f945b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    jobs, result_id, worker, source_worker, cancelled, buffers, transferred, mounted = s\n    if operation == 'result-matches-pending-job':\n        return result_id in dict(jobs) and result_id not in cancelled\n    if operation == 'worker-instance-result-owner':\n        return worker==source_worker and mounted\n    if operation == 'result-removes-exact-job':\n        return [(k,v) for k,v in jobs if k!=result_id]\n    if operation == 'transferred-buffer-detachment':\n        return [b for b in buffers if b not in transferred]\n    if operation == 'unknown-result-no-settlement':\n        return None if result_id not in dict(jobs) else dict(jobs)[result_id]\n    if operation == 'cancelled-job-pruning':\n        return [(k,v) for k,v in jobs if k!=result_id]\n    if operation == 'termination-rejects-pending':\n        return [k for k,v in jobs] if not mounted else []\n    if operation == 'transfer-list-valid-intersection':\n        return [b for b in buffers if b in transferred]\n    if operation == 'remaining-worker-load':\n        return len(jobs)-int(result_id in dict(jobs))\n    if operation == 'main-thread-readable-buffer-count':\n        return len([b for b in buffers if b not in transferred])\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('result-matches-pending-job scenario 1', solve('result-matches-pending-job', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), True)\ncheck('result-matches-pending-job scenario 2', solve('result-matches-pending-job', ([], 'a','w1','w1',[],[],[],True)), False)\ncheck('result-matches-pending-job scenario 3', solve('result-matches-pending-job', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), True)\ncheck('result-matches-pending-job scenario 4', solve('result-matches-pending-job', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), False)\ncheck('result-matches-pending-job scenario 5', solve('result-matches-pending-job', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), True)\ncheck('result-matches-pending-job scenario 6', solve('result-matches-pending-job', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), False)\ncheck('worker-instance-result-owner scenario 1', solve('worker-instance-result-owner', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), True)\ncheck('worker-instance-result-owner scenario 2', solve('worker-instance-result-owner', ([], 'a','w1','w1',[],[],[],True)), True)\ncheck('worker-instance-result-owner scenario 3', solve('worker-instance-result-owner', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), False)\ncheck('worker-instance-result-owner scenario 4', solve('worker-instance-result-owner', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), True)\ncheck('worker-instance-result-owner scenario 5', solve('worker-instance-result-owner', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), False)\ncheck('worker-instance-result-owner scenario 6', solve('worker-instance-result-owner', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), True)\ncheck('result-removes-exact-job scenario 1', solve('result-removes-exact-job', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), [('a',N)])\ncheck('result-removes-exact-job scenario 2', solve('result-removes-exact-job', ([], 'a','w1','w1',[],[],[],True)), [])\ncheck('result-removes-exact-job scenario 3', solve('result-removes-exact-job', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), [])\ncheck('result-removes-exact-job scenario 4', solve('result-removes-exact-job', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), [('b',3)])\ncheck('result-removes-exact-job scenario 5', solve('result-removes-exact-job', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), [])\ncheck('result-removes-exact-job scenario 6', solve('result-removes-exact-job', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), [('a',2),('b',3)])\ncheck('transferred-buffer-detachment scenario 1', solve('transferred-buffer-detachment', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), ['buf2'])\ncheck('transferred-buffer-detachment scenario 2', solve('transferred-buffer-detachment', ([], 'a','w1','w1',[],[],[],True)), [])\ncheck('transferred-buffer-detachment scenario 3', solve('transferred-buffer-detachment', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), ['buf1'])\ncheck('transferred-buffer-detachment scenario 4', solve('transferred-buffer-detachment', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), [])\ncheck('transferred-buffer-detachment scenario 5', solve('transferred-buffer-detachment', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), ['buf1'])\ncheck('transferred-buffer-detachment scenario 6', solve('transferred-buffer-detachment', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), ['buf1'])\ncheck('unknown-result-no-settlement scenario 1', solve('unknown-result-no-settlement', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), 2)\ncheck('unknown-result-no-settlement scenario 2', solve('unknown-result-no-settlement', ([], 'a','w1','w1',[],[],[],True)), None)\ncheck('unknown-result-no-settlement scenario 3', solve('unknown-result-no-settlement', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), 0)\ncheck('unknown-result-no-settlement scenario 4', solve('unknown-result-no-settlement', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), 2)\ncheck('unknown-result-no-settlement scenario 5', solve('unknown-result-no-settlement', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), N)\ncheck('unknown-result-no-settlement scenario 6', solve('unknown-result-no-settlement', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), None)\ncheck('cancelled-job-pruning scenario 1', solve('cancelled-job-pruning', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), [('a',N),('b',2)])\ncheck('cancelled-job-pruning scenario 2', solve('cancelled-job-pruning', ([], 'a','w1','w1',[],[],[],True)), [])\ncheck('cancelled-job-pruning scenario 3', solve('cancelled-job-pruning', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), [('a',0)])\ncheck('cancelled-job-pruning scenario 4', solve('cancelled-job-pruning', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), [('b',3)])\ncheck('cancelled-job-pruning scenario 5', solve('cancelled-job-pruning', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), [('a',N)])\ncheck('cancelled-job-pruning scenario 6', solve('cancelled-job-pruning', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), [('a',2),('b',3)])\ncheck('termination-rejects-pending scenario 1', solve('termination-rejects-pending', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), [])\ncheck('termination-rejects-pending scenario 2', solve('termination-rejects-pending', ([], 'a','w1','w1',[],[],[],True)), [])\ncheck('termination-rejects-pending scenario 3', solve('termination-rejects-pending', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), [])\ncheck('termination-rejects-pending scenario 4', solve('termination-rejects-pending', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), [])\ncheck('termination-rejects-pending scenario 5', solve('termination-rejects-pending', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), ['a'])\ncheck('termination-rejects-pending scenario 6', solve('termination-rejects-pending', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), [])\ncheck('transfer-list-valid-intersection scenario 1', solve('transfer-list-valid-intersection', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), ['buf1'])\ncheck('transfer-list-valid-intersection scenario 2', solve('transfer-list-valid-intersection', ([], 'a','w1','w1',[],[],[],True)), [])\ncheck('transfer-list-valid-intersection scenario 3', solve('transfer-list-valid-intersection', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), [])\ncheck('transfer-list-valid-intersection scenario 4', solve('transfer-list-valid-intersection', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), ['buf1'])\ncheck('transfer-list-valid-intersection scenario 5', solve('transfer-list-valid-intersection', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), [])\ncheck('transfer-list-valid-intersection scenario 6', solve('transfer-list-valid-intersection', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), ['buf2'])\ncheck('remaining-worker-load scenario 1', solve('remaining-worker-load', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), 1)\ncheck('remaining-worker-load scenario 2', solve('remaining-worker-load', ([], 'a','w1','w1',[],[],[],True)), 0)\ncheck('remaining-worker-load scenario 3', solve('remaining-worker-load', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), 0)\ncheck('remaining-worker-load scenario 4', solve('remaining-worker-load', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), 1)\ncheck('remaining-worker-load scenario 5', solve('remaining-worker-load', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), 0)\ncheck('remaining-worker-load scenario 6', solve('remaining-worker-load', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), 2)\ncheck('main-thread-readable-buffer-count scenario 1', solve('main-thread-readable-buffer-count', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), 1)\ncheck('main-thread-readable-buffer-count scenario 2', solve('main-thread-readable-buffer-count', ([], 'a','w1','w1',[],[],[],True)), 0)\ncheck('main-thread-readable-buffer-count scenario 3', solve('main-thread-readable-buffer-count', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), 1)\ncheck('main-thread-readable-buffer-count scenario 4', solve('main-thread-readable-buffer-count', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), 0)\ncheck('main-thread-readable-buffer-count scenario 5', solve('main-thread-readable-buffer-count', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), 1)\ncheck('main-thread-readable-buffer-count scenario 6', solve('main-thread-readable-buffer-count', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), 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":"eb46fb6e484477ac6f9cfa40ecdf43a2ff8304842e328bf6076222053e671a67","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    jobs, result_id, worker, source_worker, cancelled, buffers, transferred, mounted = s\n    if operation == 'result-matches-pending-job':\n        return result_id in dict(jobs) and result_id not in cancelled\n    if operation == 'worker-instance-result-owner':\n        return worker==source_worker and mounted\n    if operation == 'result-removes-exact-job':\n        return [(k,v) for k,v in jobs if k!=result_id]\n    if operation == 'transferred-buffer-detachment':\n        return [b for b in buffers if b not in transferred]\n    if operation == 'unknown-result-no-settlement':\n        return None if result_id not in dict(jobs) else dict(jobs)[result_id]\n    if operation == 'cancelled-job-pruning':\n        return jobs\n    if operation == 'termination-rejects-pending':\n        return [k for k,v in jobs] if not mounted else []\n    if operation == 'transfer-list-valid-intersection':\n        return [b for b in buffers if b in transferred]\n    if operation == 'remaining-worker-load':\n        return len(jobs)-int(result_id in dict(jobs))\n    if operation == 'main-thread-readable-buffer-count':\n        return len([b for b in buffers if b not in transferred])\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('result-matches-pending-job scenario 1', solve('result-matches-pending-job', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), True)\ncheck('result-matches-pending-job scenario 2', solve('result-matches-pending-job', ([], 'a','w1','w1',[],[],[],True)), False)\ncheck('result-matches-pending-job scenario 3', solve('result-matches-pending-job', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), True)\ncheck('result-matches-pending-job scenario 4', solve('result-matches-pending-job', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), False)\ncheck('result-matches-pending-job scenario 5', solve('result-matches-pending-job', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), True)\ncheck('result-matches-pending-job scenario 6', solve('result-matches-pending-job', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), False)\ncheck('worker-instance-result-owner scenario 1', solve('worker-instance-result-owner', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), True)\ncheck('worker-instance-result-owner scenario 2', solve('worker-instance-result-owner', ([], 'a','w1','w1',[],[],[],True)), True)\ncheck('worker-instance-result-owner scenario 3', solve('worker-instance-result-owner', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), False)\ncheck('worker-instance-result-owner scenario 4', solve('worker-instance-result-owner', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), True)\ncheck('worker-instance-result-owner scenario 5', solve('worker-instance-result-owner', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), False)\ncheck('worker-instance-result-owner scenario 6', solve('worker-instance-result-owner', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), True)\ncheck('result-removes-exact-job scenario 1', solve('result-removes-exact-job', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), [('a',N)])\ncheck('result-removes-exact-job scenario 2', solve('result-removes-exact-job', ([], 'a','w1','w1',[],[],[],True)), [])\ncheck('result-removes-exact-job scenario 3', solve('result-removes-exact-job', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), [])\ncheck('result-removes-exact-job scenario 4', solve('result-removes-exact-job', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), [('b',3)])\ncheck('result-removes-exact-job scenario 5', solve('result-removes-exact-job', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), [])\ncheck('result-removes-exact-job scenario 6', solve('result-removes-exact-job', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), [('a',2),('b',3)])\ncheck('transferred-buffer-detachment scenario 1', solve('transferred-buffer-detachment', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), ['buf2'])\ncheck('transferred-buffer-detachment scenario 2', solve('transferred-buffer-detachment', ([], 'a','w1','w1',[],[],[],True)), [])\ncheck('transferred-buffer-detachment scenario 3', solve('transferred-buffer-detachment', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), ['buf1'])\ncheck('transferred-buffer-detachment scenario 4', solve('transferred-buffer-detachment', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), [])\ncheck('transferred-buffer-detachment scenario 5', solve('transferred-buffer-detachment', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), ['buf1'])\ncheck('transferred-buffer-detachment scenario 6', solve('transferred-buffer-detachment', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), ['buf1'])\ncheck('unknown-result-no-settlement scenario 1', solve('unknown-result-no-settlement', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), 2)\ncheck('unknown-result-no-settlement scenario 2', solve('unknown-result-no-settlement', ([], 'a','w1','w1',[],[],[],True)), None)\ncheck('unknown-result-no-settlement scenario 3', solve('unknown-result-no-settlement', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), 0)\ncheck('unknown-result-no-settlement scenario 4', solve('unknown-result-no-settlement', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), 2)\ncheck('unknown-result-no-settlement scenario 5', solve('unknown-result-no-settlement', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), N)\ncheck('unknown-result-no-settlement scenario 6', solve('unknown-result-no-settlement', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), None)\ncheck('cancelled-job-pruning scenario 1', solve('cancelled-job-pruning', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), [('a',N),('b',2)])\ncheck('cancelled-job-pruning scenario 2', solve('cancelled-job-pruning', ([], 'a','w1','w1',[],[],[],True)), [])\ncheck('cancelled-job-pruning scenario 3', solve('cancelled-job-pruning', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), [('a',0)])\ncheck('cancelled-job-pruning scenario 4', solve('cancelled-job-pruning', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), [('b',3)])\ncheck('cancelled-job-pruning scenario 5', solve('cancelled-job-pruning', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), [('a',N)])\ncheck('cancelled-job-pruning scenario 6', solve('cancelled-job-pruning', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), [('a',2),('b',3)])\ncheck('termination-rejects-pending scenario 1', solve('termination-rejects-pending', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), [])\ncheck('termination-rejects-pending scenario 2', solve('termination-rejects-pending', ([], 'a','w1','w1',[],[],[],True)), [])\ncheck('termination-rejects-pending scenario 3', solve('termination-rejects-pending', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), [])\ncheck('termination-rejects-pending scenario 4', solve('termination-rejects-pending', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), [])\ncheck('termination-rejects-pending scenario 5', solve('termination-rejects-pending', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), ['a'])\ncheck('termination-rejects-pending scenario 6', solve('termination-rejects-pending', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), [])\ncheck('transfer-list-valid-intersection scenario 1', solve('transfer-list-valid-intersection', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), ['buf1'])\ncheck('transfer-list-valid-intersection scenario 2', solve('transfer-list-valid-intersection', ([], 'a','w1','w1',[],[],[],True)), [])\ncheck('transfer-list-valid-intersection scenario 3', solve('transfer-list-valid-intersection', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), [])\ncheck('transfer-list-valid-intersection scenario 4', solve('transfer-list-valid-intersection', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), ['buf1'])\ncheck('transfer-list-valid-intersection scenario 5', solve('transfer-list-valid-intersection', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), [])\ncheck('transfer-list-valid-intersection scenario 6', solve('transfer-list-valid-intersection', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), ['buf2'])\ncheck('remaining-worker-load scenario 1', solve('remaining-worker-load', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), 1)\ncheck('remaining-worker-load scenario 2', solve('remaining-worker-load', ([], 'a','w1','w1',[],[],[],True)), 0)\ncheck('remaining-worker-load scenario 3', solve('remaining-worker-load', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), 0)\ncheck('remaining-worker-load scenario 4', solve('remaining-worker-load', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), 1)\ncheck('remaining-worker-load scenario 5', solve('remaining-worker-load', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), 0)\ncheck('remaining-worker-load scenario 6', solve('remaining-worker-load', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), 2)\ncheck('main-thread-readable-buffer-count scenario 1', solve('main-thread-readable-buffer-count', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), 1)\ncheck('main-thread-readable-buffer-count scenario 2', solve('main-thread-readable-buffer-count', ([], 'a','w1','w1',[],[],[],True)), 0)\ncheck('main-thread-readable-buffer-count scenario 3', solve('main-thread-readable-buffer-count', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), 1)\ncheck('main-thread-readable-buffer-count scenario 4', solve('main-thread-readable-buffer-count', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), 0)\ncheck('main-thread-readable-buffer-count scenario 5', solve('main-thread-readable-buffer-count', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), 1)\ncheck('main-thread-readable-buffer-count scenario 6', solve('main-thread-readable-buffer-count', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), 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":"08ab37c7046103aba1c5ed0c93b5ba1d90d4060aeab206bd211c08d020ae4a24","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    jobs, result_id, worker, source_worker, cancelled, buffers, transferred, mounted = s\n    if operation == 'result-matches-pending-job':\n        return result_id in dict(jobs) and result_id not in cancelled\n    if operation == 'worker-instance-result-owner':\n        return worker==source_worker and mounted\n    if operation == 'result-removes-exact-job':\n        return [(k,v) for k,v in jobs if k!=result_id]\n    if operation == 'transferred-buffer-detachment':\n        return [b for b in buffers if b not in transferred]\n    if operation == 'unknown-result-no-settlement':\n        return None if result_id not in dict(jobs) else dict(jobs)[result_id]\n    if operation == 'cancelled-job-pruning':\n        return [(k,v) for k,v in jobs if k not in cancelled]\n    if operation == 'termination-rejects-pending':\n        return [k for k,v in jobs] if not mounted else []\n    if operation == 'transfer-list-valid-intersection':\n        return [b for b in buffers if b in transferred]\n    if operation == 'remaining-worker-load':\n        return len(jobs)-int(result_id in dict(jobs))\n    if operation == 'main-thread-readable-buffer-count':\n        return len([b for b in buffers if b not in transferred])\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('result-matches-pending-job scenario 1', solve('result-matches-pending-job', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), True)\ncheck('result-matches-pending-job scenario 2', solve('result-matches-pending-job', ([], 'a','w1','w1',[],[],[],True)), False)\ncheck('result-matches-pending-job scenario 3', solve('result-matches-pending-job', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), True)\ncheck('result-matches-pending-job scenario 4', solve('result-matches-pending-job', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), False)\ncheck('result-matches-pending-job scenario 5', solve('result-matches-pending-job', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), True)\ncheck('result-matches-pending-job scenario 6', solve('result-matches-pending-job', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), False)\ncheck('worker-instance-result-owner scenario 1', solve('worker-instance-result-owner', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), True)\ncheck('worker-instance-result-owner scenario 2', solve('worker-instance-result-owner', ([], 'a','w1','w1',[],[],[],True)), True)\ncheck('worker-instance-result-owner scenario 3', solve('worker-instance-result-owner', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), False)\ncheck('worker-instance-result-owner scenario 4', solve('worker-instance-result-owner', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), True)\ncheck('worker-instance-result-owner scenario 5', solve('worker-instance-result-owner', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), False)\ncheck('worker-instance-result-owner scenario 6', solve('worker-instance-result-owner', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), True)\ncheck('result-removes-exact-job scenario 1', solve('result-removes-exact-job', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), [('a',N)])\ncheck('result-removes-exact-job scenario 2', solve('result-removes-exact-job', ([], 'a','w1','w1',[],[],[],True)), [])\ncheck('result-removes-exact-job scenario 3', solve('result-removes-exact-job', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), [])\ncheck('result-removes-exact-job scenario 4', solve('result-removes-exact-job', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), [('b',3)])\ncheck('result-removes-exact-job scenario 5', solve('result-removes-exact-job', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), [])\ncheck('result-removes-exact-job scenario 6', solve('result-removes-exact-job', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), [('a',2),('b',3)])\ncheck('transferred-buffer-detachment scenario 1', solve('transferred-buffer-detachment', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), ['buf2'])\ncheck('transferred-buffer-detachment scenario 2', solve('transferred-buffer-detachment', ([], 'a','w1','w1',[],[],[],True)), [])\ncheck('transferred-buffer-detachment scenario 3', solve('transferred-buffer-detachment', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), ['buf1'])\ncheck('transferred-buffer-detachment scenario 4', solve('transferred-buffer-detachment', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), [])\ncheck('transferred-buffer-detachment scenario 5', solve('transferred-buffer-detachment', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), ['buf1'])\ncheck('transferred-buffer-detachment scenario 6', solve('transferred-buffer-detachment', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), ['buf1'])\ncheck('unknown-result-no-settlement scenario 1', solve('unknown-result-no-settlement', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), 2)\ncheck('unknown-result-no-settlement scenario 2', solve('unknown-result-no-settlement', ([], 'a','w1','w1',[],[],[],True)), None)\ncheck('unknown-result-no-settlement scenario 3', solve('unknown-result-no-settlement', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), 0)\ncheck('unknown-result-no-settlement scenario 4', solve('unknown-result-no-settlement', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), 2)\ncheck('unknown-result-no-settlement scenario 5', solve('unknown-result-no-settlement', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), N)\ncheck('unknown-result-no-settlement scenario 6', solve('unknown-result-no-settlement', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), None)\ncheck('cancelled-job-pruning scenario 1', solve('cancelled-job-pruning', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), [('a',N),('b',2)])\ncheck('cancelled-job-pruning scenario 2', solve('cancelled-job-pruning', ([], 'a','w1','w1',[],[],[],True)), [])\ncheck('cancelled-job-pruning scenario 3', solve('cancelled-job-pruning', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), [('a',0)])\ncheck('cancelled-job-pruning scenario 4', solve('cancelled-job-pruning', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), [('b',3)])\ncheck('cancelled-job-pruning scenario 5', solve('cancelled-job-pruning', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), [('a',N)])\ncheck('cancelled-job-pruning scenario 6', solve('cancelled-job-pruning', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), [('a',2),('b',3)])\ncheck('termination-rejects-pending scenario 1', solve('termination-rejects-pending', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), [])\ncheck('termination-rejects-pending scenario 2', solve('termination-rejects-pending', ([], 'a','w1','w1',[],[],[],True)), [])\ncheck('termination-rejects-pending scenario 3', solve('termination-rejects-pending', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), [])\ncheck('termination-rejects-pending scenario 4', solve('termination-rejects-pending', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), [])\ncheck('termination-rejects-pending scenario 5', solve('termination-rejects-pending', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), ['a'])\ncheck('termination-rejects-pending scenario 6', solve('termination-rejects-pending', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), [])\ncheck('transfer-list-valid-intersection scenario 1', solve('transfer-list-valid-intersection', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), ['buf1'])\ncheck('transfer-list-valid-intersection scenario 2', solve('transfer-list-valid-intersection', ([], 'a','w1','w1',[],[],[],True)), [])\ncheck('transfer-list-valid-intersection scenario 3', solve('transfer-list-valid-intersection', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), [])\ncheck('transfer-list-valid-intersection scenario 4', solve('transfer-list-valid-intersection', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), ['buf1'])\ncheck('transfer-list-valid-intersection scenario 5', solve('transfer-list-valid-intersection', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), [])\ncheck('transfer-list-valid-intersection scenario 6', solve('transfer-list-valid-intersection', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), ['buf2'])\ncheck('remaining-worker-load scenario 1', solve('remaining-worker-load', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), 1)\ncheck('remaining-worker-load scenario 2', solve('remaining-worker-load', ([], 'a','w1','w1',[],[],[],True)), 0)\ncheck('remaining-worker-load scenario 3', solve('remaining-worker-load', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), 0)\ncheck('remaining-worker-load scenario 4', solve('remaining-worker-load', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), 1)\ncheck('remaining-worker-load scenario 5', solve('remaining-worker-load', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), 0)\ncheck('remaining-worker-load scenario 6', solve('remaining-worker-load', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), 2)\ncheck('main-thread-readable-buffer-count scenario 1', solve('main-thread-readable-buffer-count', ([('a',N),('b',2)],'b','w1','w1',[],['buf1','buf2'],['buf1'],True)), 1)\ncheck('main-thread-readable-buffer-count scenario 2', solve('main-thread-readable-buffer-count', ([], 'a','w1','w1',[],[],[],True)), 0)\ncheck('main-thread-readable-buffer-count scenario 3', solve('main-thread-readable-buffer-count', ([('a',0)],'a','w2','w1',[],['buf1'],[],True)), 1)\ncheck('main-thread-readable-buffer-count scenario 4', solve('main-thread-readable-buffer-count', ([('a',2),('b',3)],'a','w1','w1',['a'],['buf1'],['buf1'],True)), 0)\ncheck('main-thread-readable-buffer-count scenario 5', solve('main-thread-readable-buffer-count', ([('a',N)],'a','w1','w1',[],['buf1'],[],False)), 1)\ncheck('main-thread-readable-buffer-count scenario 6', solve('main-thread-readable-buffer-count', ([('a',2),('b',3)],'x','w1','w1',[],['buf1','buf2'],['buf2'],True)), 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-worker-task-cancelled-job-pruning","generated_at":"2026-09-29T14:40:59.026635+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 cancelled-job-pruning rule: `[(k,v) for k,v in jobs if k not in cancelled]`.","root_cause":"The cancelled-job-pruning client decision evaluates `jobs` instead of `[(k,v) for k,v in jobs if k not in cancelled]`.","sha256":"0e21cf590c8449c55301ff934280e6a45af03991becc252ce564fb63ac68a735","title":"Client worker task handoff: Cancelled job pruning · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.109,"exit_code":1,"observations":[{"actual":true,"check":"result-matches-pending-job scenario 1","expected":true,"passed":true},{"actual":false,"check":"result-matches-pending-job scenario 2","expected":false,"passed":true},{"actual":true,"check":"result-matches-pending-job scenario 3","expected":true,"passed":true},{"actual":false,"check":"result-matches-pending-job scenario 4","expected":false,"passed":true},{"actual":true,"check":"result-matches-pending-job scenario 5","expected":true,"passed":true},{"actual":false,"check":"result-matches-pending-job scenario 6","expected":false,"passed":true},{"actual":true,"check":"worker-instance-result-owner scenario 1","expected":true,"passed":true},{"actual":true,"check":"worker-instance-result-owner scenario 2","expected":true,"passed":true},{"actual":false,"check":"worker-instance-result-owner scenario 3","expected":false,"passed":true},{"actual":true,"check":"worker-instance-result-owner scenario 4","expected":true,"passed":true},{"actual":false,"check":"worker-instance-result-owner scenario 5","expected":false,"passed":true},{"actual":true,"check":"worker-instance-result-owner scenario 6","expected":true,"passed":true},{"actual":[["a",1]],"check":"result-removes-exact-job scenario 1","expected":[["a",1]],"passed":true},{"actual":[],"check":"result-removes-exact-job scenario 2","expected":[],"passed":true},{"actual":[],"check":"result-removes-exact-job scenario 3","expected":[],"passed":true},{"actual":[["b",3]],"check":"result-removes-exact-job scenario 4","expected":[["b",3]],"passed":true},{"actual":[],"check":"result-removes-exact-job scenario 5","expected":[],"passed":true},{"actual":[["a",2],["b",3]],"check":"result-removes-exact-job scenario 6","expected":[["a",2],["b",3]],"passed":true},{"actual":["buf2"],"check":"transferred-buffer-detachment scenario 1","expected":["buf2"],"passed":true},{"actual":[],"check":"transferred-buffer-detachment scenario 2","expected":[],"passed":true},{"actual":["buf1"],"check":"transferred-buffer-detachment scenario 3","expected":["buf1"],"passed":true},{"actual":[],"check":"transferred-buffer-detachment scenario 4","expected":[],"passed":true},{"actual":["buf1"],"check":"transferred-buffer-detachment scenario 5","expected":["buf1"],"passed":true},{"actual":["buf1"],"check":"transferred-buffer-detachment scenario 6","expected":["buf1"],"passed":true},{"actual":2,"check":"unknown-result-no-settlement scenario 1","expected":2,"passed":true},{"actual":null,"check":"unknown-result-no-settlement scenario 2","expected":null,"passed":true},{"actual":0,"check":"unknown-result-no-settlement scenario 3","expected":0,"passed":true},{"actual":2,"check":"unknown-result-no-settlement scenario 4","expected":2,"passed":true},{"actual":1,"check":"unknown-result-no-settlement scenario 5","expected":1,"passed":true},{"actual":null,"check":"unknown-result-no-settlement scenario 6","expected":null,"passed":true},{"actual":[["a",1]],"check":"cancelled-job-pruning scenario 1","expected":[["a",1],["b",2]],"passed":false},{"actual":[],"check":"cancelled-job-pruning scenario 2","expected":[],"passed":true},{"actual":[],"check":"cancelled-job-pruning scenario 3","expected":[["a",0]],"passed":false},{"actual":[["b",3]],"check":"cancelled-job-pruning scenario 4","expected":[["b",3]],"passed":true},{"actual":[],"check":"cancelled-job-pruning scenario 5","expected":[["a",1]],"passed":false},{"actual":[["a",2],["b",3]],"check":"cancelled-job-pruning scenario 6","expected":[["a",2],["b",3]],"passed":true},{"actual":[],"check":"termination-rejects-pending scenario 1","expected":[],"passed":true},{"actual":[],"check":"termination-rejects-pending scenario 2","expected":[],"passed":true},{"actual":[],"check":"termination-rejects-pending scenario 3","expected":[],"passed":true},{"actual":[],"check":"termination-rejects-pending scenario 4","expected":[],"passed":true},{"actual":["a"],"check":"termination-rejects-pending scenario 5","expected":["a"],"passed":true},{"actual":[],"check":"termination-rejects-pending scenario 6","expected":[],"passed":true},{"actual":["buf1"],"check":"transfer-list-valid-intersection scenario 1","expected":["buf1"],"passed":true},{"actual":[],"check":"transfer-list-valid-intersection scenario 2","expected":[],"passed":true},{"actual":[],"check":"transfer-list-valid-intersection scenario 3","expected":[],"passed":true},{"actual":["buf1"],"check":"transfer-list-valid-intersection scenario 4","expected":["buf1"],"passed":true},{"actual":[],"check":"transfer-list-valid-intersection scenario 5","expected":[],"passed":true},{"actual":["buf2"],"check":"transfer-list-valid-intersection scenario 6","expected":["buf2"],"passed":true},{"actual":1,"check":"remaining-worker-load scenario 1","expected":1,"passed":true},{"actual":0,"check":"remaining-worker-load scenario 2","expected":0,"passed":true},{"actual":0,"check":"remaining-worker-load scenario 3","expected":0,"passed":true},{"actual":1,"check":"remaining-worker-load scenario 4","expected":1,"passed":true},{"actual":0,"check":"remaining-worker-load scenario 5","expected":0,"passed":true},{"actual":2,"check":"remaining-worker-load scenario 6","expected":2,"passed":true},{"actual":1,"check":"main-thread-readable-buffer-count scenario 1","expected":1,"passed":true},{"actual":0,"check":"main-thread-readable-buffer-count scenario 2","expected":0,"passed":true},{"actual":1,"check":"main-thread-readable-buffer-count scenario 3","expected":1,"passed":true},{"actual":0,"check":"main-thread-readable-buffer-count scenario 4","expected":0,"passed":true},{"actual":1,"check":"main-thread-readable-buffer-count scenario 5","expected":1,"passed":true},{"actual":1,"check":"main-thread-readable-buffer-count scenario 6","expected":1,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"result-matches-pending-job scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"result-matches-pending-job scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"result-matches-pending-job scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"result-matches-pending-job scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"result-matches-pending-job scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"result-matches-pending-job scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 4\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 6\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 1\", \"actual\": [[\"a\", 1]], \"expected\": [[\"a\", 1]], \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 4\", \"actual\": [[\"b\", 3]], \"expected\": [[\"b\", 3]], \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 6\", \"actual\": [[\"a\", 2], [\"b\", 3]], \"expected\": [[\"a\", 2], [\"b\", 3]], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 1\", \"actual\": [\"buf2\"], \"expected\": [\"buf2\"], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 3\", \"actual\": [\"buf1\"], \"expected\": [\"buf1\"], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 5\", \"actual\": [\"buf1\"], \"expected\": [\"buf1\"], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 6\", \"actual\": [\"buf1\"], \"expected\": [\"buf1\"], \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 1\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 2\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 3\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 4\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 5\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"cancelled-job-pruning scenario 1\", \"actual\": [[\"a\", 1]], \"expected\": [[\"a\", 1], [\"b\", 2]], \"passed\": false}, {\"check\": \"cancelled-job-pruning scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"cancelled-job-pruning scenario 3\", \"actual\": [], \"expected\": [[\"a\", 0]], \"passed\": false}, {\"check\": \"cancelled-job-pruning scenario 4\", \"actual\": [[\"b\", 3]], \"expected\": [[\"b\", 3]], \"passed\": true}, {\"check\": \"cancelled-job-pruning scenario 5\", \"actual\": [], \"expected\": [[\"a\", 1]], \"passed\": false}, {\"check\": \"cancelled-job-pruning scenario 6\", \"actual\": [[\"a\", 2], [\"b\", 3]], \"expected\": [[\"a\", 2], [\"b\", 3]], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 5\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 1\", \"actual\": [\"buf1\"], \"expected\": [\"buf1\"], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 4\", \"actual\": [\"buf1\"], \"expected\": [\"buf1\"], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 6\", \"actual\": [\"buf2\"], \"expected\": [\"buf2\"], \"passed\": true}, {\"check\": \"remaining-worker-load scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"remaining-worker-load scenario 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-worker-load scenario 3\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-worker-load scenario 4\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"remaining-worker-load scenario 5\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-worker-load scenario 6\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 3\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 5\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 6\", \"actual\": 1, \"expected\": 1, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.867,"exit_code":1,"observations":[{"actual":true,"check":"result-matches-pending-job scenario 1","expected":true,"passed":true},{"actual":false,"check":"result-matches-pending-job scenario 2","expected":false,"passed":true},{"actual":true,"check":"result-matches-pending-job scenario 3","expected":true,"passed":true},{"actual":false,"check":"result-matches-pending-job scenario 4","expected":false,"passed":true},{"actual":true,"check":"result-matches-pending-job scenario 5","expected":true,"passed":true},{"actual":false,"check":"result-matches-pending-job scenario 6","expected":false,"passed":true},{"actual":true,"check":"worker-instance-result-owner scenario 1","expected":true,"passed":true},{"actual":true,"check":"worker-instance-result-owner scenario 2","expected":true,"passed":true},{"actual":false,"check":"worker-instance-result-owner scenario 3","expected":false,"passed":true},{"actual":true,"check":"worker-instance-result-owner scenario 4","expected":true,"passed":true},{"actual":false,"check":"worker-instance-result-owner scenario 5","expected":false,"passed":true},{"actual":true,"check":"worker-instance-result-owner scenario 6","expected":true,"passed":true},{"actual":[["a",1]],"check":"result-removes-exact-job scenario 1","expected":[["a",1]],"passed":true},{"actual":[],"check":"result-removes-exact-job scenario 2","expected":[],"passed":true},{"actual":[],"check":"result-removes-exact-job scenario 3","expected":[],"passed":true},{"actual":[["b",3]],"check":"result-removes-exact-job scenario 4","expected":[["b",3]],"passed":true},{"actual":[],"check":"result-removes-exact-job scenario 5","expected":[],"passed":true},{"actual":[["a",2],["b",3]],"check":"result-removes-exact-job scenario 6","expected":[["a",2],["b",3]],"passed":true},{"actual":["buf2"],"check":"transferred-buffer-detachment scenario 1","expected":["buf2"],"passed":true},{"actual":[],"check":"transferred-buffer-detachment scenario 2","expected":[],"passed":true},{"actual":["buf1"],"check":"transferred-buffer-detachment scenario 3","expected":["buf1"],"passed":true},{"actual":[],"check":"transferred-buffer-detachment scenario 4","expected":[],"passed":true},{"actual":["buf1"],"check":"transferred-buffer-detachment scenario 5","expected":["buf1"],"passed":true},{"actual":["buf1"],"check":"transferred-buffer-detachment scenario 6","expected":["buf1"],"passed":true},{"actual":2,"check":"unknown-result-no-settlement scenario 1","expected":2,"passed":true},{"actual":null,"check":"unknown-result-no-settlement scenario 2","expected":null,"passed":true},{"actual":0,"check":"unknown-result-no-settlement scenario 3","expected":0,"passed":true},{"actual":2,"check":"unknown-result-no-settlement scenario 4","expected":2,"passed":true},{"actual":1,"check":"unknown-result-no-settlement scenario 5","expected":1,"passed":true},{"actual":null,"check":"unknown-result-no-settlement scenario 6","expected":null,"passed":true},{"actual":[["a",1],["b",2]],"check":"cancelled-job-pruning scenario 1","expected":[["a",1],["b",2]],"passed":true},{"actual":[],"check":"cancelled-job-pruning scenario 2","expected":[],"passed":true},{"actual":[["a",0]],"check":"cancelled-job-pruning scenario 3","expected":[["a",0]],"passed":true},{"actual":[["a",2],["b",3]],"check":"cancelled-job-pruning scenario 4","expected":[["b",3]],"passed":false},{"actual":[["a",1]],"check":"cancelled-job-pruning scenario 5","expected":[["a",1]],"passed":true},{"actual":[["a",2],["b",3]],"check":"cancelled-job-pruning scenario 6","expected":[["a",2],["b",3]],"passed":true},{"actual":[],"check":"termination-rejects-pending scenario 1","expected":[],"passed":true},{"actual":[],"check":"termination-rejects-pending scenario 2","expected":[],"passed":true},{"actual":[],"check":"termination-rejects-pending scenario 3","expected":[],"passed":true},{"actual":[],"check":"termination-rejects-pending scenario 4","expected":[],"passed":true},{"actual":["a"],"check":"termination-rejects-pending scenario 5","expected":["a"],"passed":true},{"actual":[],"check":"termination-rejects-pending scenario 6","expected":[],"passed":true},{"actual":["buf1"],"check":"transfer-list-valid-intersection scenario 1","expected":["buf1"],"passed":true},{"actual":[],"check":"transfer-list-valid-intersection scenario 2","expected":[],"passed":true},{"actual":[],"check":"transfer-list-valid-intersection scenario 3","expected":[],"passed":true},{"actual":["buf1"],"check":"transfer-list-valid-intersection scenario 4","expected":["buf1"],"passed":true},{"actual":[],"check":"transfer-list-valid-intersection scenario 5","expected":[],"passed":true},{"actual":["buf2"],"check":"transfer-list-valid-intersection scenario 6","expected":["buf2"],"passed":true},{"actual":1,"check":"remaining-worker-load scenario 1","expected":1,"passed":true},{"actual":0,"check":"remaining-worker-load scenario 2","expected":0,"passed":true},{"actual":0,"check":"remaining-worker-load scenario 3","expected":0,"passed":true},{"actual":1,"check":"remaining-worker-load scenario 4","expected":1,"passed":true},{"actual":0,"check":"remaining-worker-load scenario 5","expected":0,"passed":true},{"actual":2,"check":"remaining-worker-load scenario 6","expected":2,"passed":true},{"actual":1,"check":"main-thread-readable-buffer-count scenario 1","expected":1,"passed":true},{"actual":0,"check":"main-thread-readable-buffer-count scenario 2","expected":0,"passed":true},{"actual":1,"check":"main-thread-readable-buffer-count scenario 3","expected":1,"passed":true},{"actual":0,"check":"main-thread-readable-buffer-count scenario 4","expected":0,"passed":true},{"actual":1,"check":"main-thread-readable-buffer-count scenario 5","expected":1,"passed":true},{"actual":1,"check":"main-thread-readable-buffer-count scenario 6","expected":1,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"result-matches-pending-job scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"result-matches-pending-job scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"result-matches-pending-job scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"result-matches-pending-job scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"result-matches-pending-job scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"result-matches-pending-job scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 4\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 6\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 1\", \"actual\": [[\"a\", 1]], \"expected\": [[\"a\", 1]], \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 4\", \"actual\": [[\"b\", 3]], \"expected\": [[\"b\", 3]], \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 6\", \"actual\": [[\"a\", 2], [\"b\", 3]], \"expected\": [[\"a\", 2], [\"b\", 3]], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 1\", \"actual\": [\"buf2\"], \"expected\": [\"buf2\"], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 3\", \"actual\": [\"buf1\"], \"expected\": [\"buf1\"], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 5\", \"actual\": [\"buf1\"], \"expected\": [\"buf1\"], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 6\", \"actual\": [\"buf1\"], \"expected\": [\"buf1\"], \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 1\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 2\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 3\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 4\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 5\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"cancelled-job-pruning scenario 1\", \"actual\": [[\"a\", 1], [\"b\", 2]], \"expected\": [[\"a\", 1], [\"b\", 2]], \"passed\": true}, {\"check\": \"cancelled-job-pruning scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"cancelled-job-pruning scenario 3\", \"actual\": [[\"a\", 0]], \"expected\": [[\"a\", 0]], \"passed\": true}, {\"check\": \"cancelled-job-pruning scenario 4\", \"actual\": [[\"a\", 2], [\"b\", 3]], \"expected\": [[\"b\", 3]], \"passed\": false}, {\"check\": \"cancelled-job-pruning scenario 5\", \"actual\": [[\"a\", 1]], \"expected\": [[\"a\", 1]], \"passed\": true}, {\"check\": \"cancelled-job-pruning scenario 6\", \"actual\": [[\"a\", 2], [\"b\", 3]], \"expected\": [[\"a\", 2], [\"b\", 3]], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 5\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 1\", \"actual\": [\"buf1\"], \"expected\": [\"buf1\"], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 4\", \"actual\": [\"buf1\"], \"expected\": [\"buf1\"], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 6\", \"actual\": [\"buf2\"], \"expected\": [\"buf2\"], \"passed\": true}, {\"check\": \"remaining-worker-load scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"remaining-worker-load scenario 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-worker-load scenario 3\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-worker-load scenario 4\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"remaining-worker-load scenario 5\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-worker-load scenario 6\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 3\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 5\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 6\", \"actual\": 1, \"expected\": 1, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.289,"exit_code":0,"observations":[{"actual":true,"check":"result-matches-pending-job scenario 1","expected":true,"passed":true},{"actual":false,"check":"result-matches-pending-job scenario 2","expected":false,"passed":true},{"actual":true,"check":"result-matches-pending-job scenario 3","expected":true,"passed":true},{"actual":false,"check":"result-matches-pending-job scenario 4","expected":false,"passed":true},{"actual":true,"check":"result-matches-pending-job scenario 5","expected":true,"passed":true},{"actual":false,"check":"result-matches-pending-job scenario 6","expected":false,"passed":true},{"actual":true,"check":"worker-instance-result-owner scenario 1","expected":true,"passed":true},{"actual":true,"check":"worker-instance-result-owner scenario 2","expected":true,"passed":true},{"actual":false,"check":"worker-instance-result-owner scenario 3","expected":false,"passed":true},{"actual":true,"check":"worker-instance-result-owner scenario 4","expected":true,"passed":true},{"actual":false,"check":"worker-instance-result-owner scenario 5","expected":false,"passed":true},{"actual":true,"check":"worker-instance-result-owner scenario 6","expected":true,"passed":true},{"actual":[["a",1]],"check":"result-removes-exact-job scenario 1","expected":[["a",1]],"passed":true},{"actual":[],"check":"result-removes-exact-job scenario 2","expected":[],"passed":true},{"actual":[],"check":"result-removes-exact-job scenario 3","expected":[],"passed":true},{"actual":[["b",3]],"check":"result-removes-exact-job scenario 4","expected":[["b",3]],"passed":true},{"actual":[],"check":"result-removes-exact-job scenario 5","expected":[],"passed":true},{"actual":[["a",2],["b",3]],"check":"result-removes-exact-job scenario 6","expected":[["a",2],["b",3]],"passed":true},{"actual":["buf2"],"check":"transferred-buffer-detachment scenario 1","expected":["buf2"],"passed":true},{"actual":[],"check":"transferred-buffer-detachment scenario 2","expected":[],"passed":true},{"actual":["buf1"],"check":"transferred-buffer-detachment scenario 3","expected":["buf1"],"passed":true},{"actual":[],"check":"transferred-buffer-detachment scenario 4","expected":[],"passed":true},{"actual":["buf1"],"check":"transferred-buffer-detachment scenario 5","expected":["buf1"],"passed":true},{"actual":["buf1"],"check":"transferred-buffer-detachment scenario 6","expected":["buf1"],"passed":true},{"actual":2,"check":"unknown-result-no-settlement scenario 1","expected":2,"passed":true},{"actual":null,"check":"unknown-result-no-settlement scenario 2","expected":null,"passed":true},{"actual":0,"check":"unknown-result-no-settlement scenario 3","expected":0,"passed":true},{"actual":2,"check":"unknown-result-no-settlement scenario 4","expected":2,"passed":true},{"actual":1,"check":"unknown-result-no-settlement scenario 5","expected":1,"passed":true},{"actual":null,"check":"unknown-result-no-settlement scenario 6","expected":null,"passed":true},{"actual":[["a",1],["b",2]],"check":"cancelled-job-pruning scenario 1","expected":[["a",1],["b",2]],"passed":true},{"actual":[],"check":"cancelled-job-pruning scenario 2","expected":[],"passed":true},{"actual":[["a",0]],"check":"cancelled-job-pruning scenario 3","expected":[["a",0]],"passed":true},{"actual":[["b",3]],"check":"cancelled-job-pruning scenario 4","expected":[["b",3]],"passed":true},{"actual":[["a",1]],"check":"cancelled-job-pruning scenario 5","expected":[["a",1]],"passed":true},{"actual":[["a",2],["b",3]],"check":"cancelled-job-pruning scenario 6","expected":[["a",2],["b",3]],"passed":true},{"actual":[],"check":"termination-rejects-pending scenario 1","expected":[],"passed":true},{"actual":[],"check":"termination-rejects-pending scenario 2","expected":[],"passed":true},{"actual":[],"check":"termination-rejects-pending scenario 3","expected":[],"passed":true},{"actual":[],"check":"termination-rejects-pending scenario 4","expected":[],"passed":true},{"actual":["a"],"check":"termination-rejects-pending scenario 5","expected":["a"],"passed":true},{"actual":[],"check":"termination-rejects-pending scenario 6","expected":[],"passed":true},{"actual":["buf1"],"check":"transfer-list-valid-intersection scenario 1","expected":["buf1"],"passed":true},{"actual":[],"check":"transfer-list-valid-intersection scenario 2","expected":[],"passed":true},{"actual":[],"check":"transfer-list-valid-intersection scenario 3","expected":[],"passed":true},{"actual":["buf1"],"check":"transfer-list-valid-intersection scenario 4","expected":["buf1"],"passed":true},{"actual":[],"check":"transfer-list-valid-intersection scenario 5","expected":[],"passed":true},{"actual":["buf2"],"check":"transfer-list-valid-intersection scenario 6","expected":["buf2"],"passed":true},{"actual":1,"check":"remaining-worker-load scenario 1","expected":1,"passed":true},{"actual":0,"check":"remaining-worker-load scenario 2","expected":0,"passed":true},{"actual":0,"check":"remaining-worker-load scenario 3","expected":0,"passed":true},{"actual":1,"check":"remaining-worker-load scenario 4","expected":1,"passed":true},{"actual":0,"check":"remaining-worker-load scenario 5","expected":0,"passed":true},{"actual":2,"check":"remaining-worker-load scenario 6","expected":2,"passed":true},{"actual":1,"check":"main-thread-readable-buffer-count scenario 1","expected":1,"passed":true},{"actual":0,"check":"main-thread-readable-buffer-count scenario 2","expected":0,"passed":true},{"actual":1,"check":"main-thread-readable-buffer-count scenario 3","expected":1,"passed":true},{"actual":0,"check":"main-thread-readable-buffer-count scenario 4","expected":0,"passed":true},{"actual":1,"check":"main-thread-readable-buffer-count scenario 5","expected":1,"passed":true},{"actual":1,"check":"main-thread-readable-buffer-count scenario 6","expected":1,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"result-matches-pending-job scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"result-matches-pending-job scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"result-matches-pending-job scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"result-matches-pending-job scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"result-matches-pending-job scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"result-matches-pending-job scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 4\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"worker-instance-result-owner scenario 6\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 1\", \"actual\": [[\"a\", 1]], \"expected\": [[\"a\", 1]], \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 4\", \"actual\": [[\"b\", 3]], \"expected\": [[\"b\", 3]], \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"result-removes-exact-job scenario 6\", \"actual\": [[\"a\", 2], [\"b\", 3]], \"expected\": [[\"a\", 2], [\"b\", 3]], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 1\", \"actual\": [\"buf2\"], \"expected\": [\"buf2\"], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 3\", \"actual\": [\"buf1\"], \"expected\": [\"buf1\"], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 5\", \"actual\": [\"buf1\"], \"expected\": [\"buf1\"], \"passed\": true}, {\"check\": \"transferred-buffer-detachment scenario 6\", \"actual\": [\"buf1\"], \"expected\": [\"buf1\"], \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 1\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 2\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 3\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 4\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 5\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"unknown-result-no-settlement scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"cancelled-job-pruning scenario 1\", \"actual\": [[\"a\", 1], [\"b\", 2]], \"expected\": [[\"a\", 1], [\"b\", 2]], \"passed\": true}, {\"check\": \"cancelled-job-pruning scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"cancelled-job-pruning scenario 3\", \"actual\": [[\"a\", 0]], \"expected\": [[\"a\", 0]], \"passed\": true}, {\"check\": \"cancelled-job-pruning scenario 4\", \"actual\": [[\"b\", 3]], \"expected\": [[\"b\", 3]], \"passed\": true}, {\"check\": \"cancelled-job-pruning scenario 5\", \"actual\": [[\"a\", 1]], \"expected\": [[\"a\", 1]], \"passed\": true}, {\"check\": \"cancelled-job-pruning scenario 6\", \"actual\": [[\"a\", 2], [\"b\", 3]], \"expected\": [[\"a\", 2], [\"b\", 3]], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 4\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 5\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"termination-rejects-pending scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 1\", \"actual\": [\"buf1\"], \"expected\": [\"buf1\"], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 4\", \"actual\": [\"buf1\"], \"expected\": [\"buf1\"], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"transfer-list-valid-intersection scenario 6\", \"actual\": [\"buf2\"], \"expected\": [\"buf2\"], \"passed\": true}, {\"check\": \"remaining-worker-load scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"remaining-worker-load scenario 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-worker-load scenario 3\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-worker-load scenario 4\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"remaining-worker-load scenario 5\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-worker-load scenario 6\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 3\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 5\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"main-thread-readable-buffer-count scenario 6\", \"actual\": 1, \"expected\": 1, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}