{"abstract":"Discard restores server.","category":"Client state","checks":60,"contract":"A saved draft holds explicit dirty fields and tombstones. Restore untouched server fields, retain local null values, flag dirty fields changed against newer server data, and export only surviving dirty fields. Operation discard-restores-server has the six explicit input/output oracles below.","evaluation_group":"s3-client-state-draft-restore","failed_approach":"The partial repair `{**draft,**server}` still violates the explicit fixture contract.","family":"s3-client-state-draft-restore-discard-restores-server","id":"FA-23656","implementations":{"attempt":{"sha256":"8c14b9c48e7e85ecd76f3afbd9769f6a91ae7f484a217e5b0061e1ad107f5f20","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    draft, server, dirty, saved_revision, server_revision, deleted = s\n    if operation == 'restore-dirty-fields':\n        return {**server,**{k:v for k,v in draft.items() if k in dirty}}\n    if operation == 'deletion-overlay':\n        return {k:v for k,v in draft.items() if k not in deleted}\n    if operation == 'conflict-fields':\n        return [k for k in dirty if k in server and draft.get(k)!=server[k]]\n    if operation == 'server-advance-warning':\n        return server_revision>saved_revision and bool(dirty)\n    if operation == 'clean-draft-expiry':\n        return not dirty and not deleted\n    if operation == 'restore-added-fields':\n        return {k:v for k,v in draft.items() if k not in server}\n    if operation == 'discard-restores-server':\n        return {**draft,**server}\n    if operation == 'edited-field-export':\n        return {k:draft[k] for k in dirty if k in draft and k not in deleted}\n    if operation == 'restoration-review':\n        return 'review' if dirty and server_revision>saved_revision else 'restore'\n    if operation == 'known-deletion-list':\n        return [k for k in deleted if k in server]\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('restore-dirty-fields scenario 1', solve('restore-dirty-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N,'b':3})\ncheck('restore-dirty-fields scenario 2', solve('restore-dirty-fields', ({}, {'a':N},[],2,2,[])), {'a':N})\ncheck('restore-dirty-fields scenario 3', solve('restore-dirty-fields', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})\ncheck('restore-dirty-fields scenario 4', solve('restore-dirty-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0,'b':N})\ncheck('restore-dirty-fields scenario 5', solve('restore-dirty-fields', ({'a':N},{},['a'],0,0,[])), {'a':N})\ncheck('restore-dirty-fields scenario 6', solve('restore-dirty-fields', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})\ncheck('deletion-overlay scenario 1', solve('deletion-overlay', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N,'b':2})\ncheck('deletion-overlay scenario 2', solve('deletion-overlay', ({}, {'a':N},[],2,2,[])), {})\ncheck('deletion-overlay scenario 3', solve('deletion-overlay', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})\ncheck('deletion-overlay scenario 4', solve('deletion-overlay', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0})\ncheck('deletion-overlay scenario 5', solve('deletion-overlay', ({'a':N},{},['a'],0,0,[])), {'a':N})\ncheck('deletion-overlay scenario 6', solve('deletion-overlay', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})\ncheck('conflict-fields scenario 1', solve('conflict-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), ['a'])\ncheck('conflict-fields scenario 2', solve('conflict-fields', ({}, {'a':N},[],2,2,[])), [])\ncheck('conflict-fields scenario 3', solve('conflict-fields', ({'a':None},{'a':0},['a'],2,1,[])), ['a'])\ncheck('conflict-fields scenario 4', solve('conflict-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), (['a'] if N==2 else ['a','b']))\ncheck('conflict-fields scenario 5', solve('conflict-fields', ({'a':N},{},['a'],0,0,[])), [])\ncheck('conflict-fields scenario 6', solve('conflict-fields', ({'a':N},{'a':N},[],1,1,['x'])), [])\ncheck('server-advance-warning scenario 1', solve('server-advance-warning', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), True)\ncheck('server-advance-warning scenario 2', solve('server-advance-warning', ({}, {'a':N},[],2,2,[])), False)\ncheck('server-advance-warning scenario 3', solve('server-advance-warning', ({'a':None},{'a':0},['a'],2,1,[])), False)\ncheck('server-advance-warning scenario 4', solve('server-advance-warning', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), True)\ncheck('server-advance-warning scenario 5', solve('server-advance-warning', ({'a':N},{},['a'],0,0,[])), False)\ncheck('server-advance-warning scenario 6', solve('server-advance-warning', ({'a':N},{'a':N},[],1,1,['x'])), False)\ncheck('clean-draft-expiry scenario 1', solve('clean-draft-expiry', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), False)\ncheck('clean-draft-expiry scenario 2', solve('clean-draft-expiry', ({}, {'a':N},[],2,2,[])), True)\ncheck('clean-draft-expiry scenario 3', solve('clean-draft-expiry', ({'a':None},{'a':0},['a'],2,1,[])), False)\ncheck('clean-draft-expiry scenario 4', solve('clean-draft-expiry', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), False)\ncheck('clean-draft-expiry scenario 5', solve('clean-draft-expiry', ({'a':N},{},['a'],0,0,[])), False)\ncheck('clean-draft-expiry scenario 6', solve('clean-draft-expiry', ({'a':N},{'a':N},[],1,1,['x'])), False)\ncheck('restore-added-fields scenario 1', solve('restore-added-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {})\ncheck('restore-added-fields scenario 2', solve('restore-added-fields', ({}, {'a':N},[],2,2,[])), {})\ncheck('restore-added-fields scenario 3', solve('restore-added-fields', ({'a':None},{'a':0},['a'],2,1,[])), {})\ncheck('restore-added-fields scenario 4', solve('restore-added-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {})\ncheck('restore-added-fields scenario 5', solve('restore-added-fields', ({'a':N},{},['a'],0,0,[])), {'a':N})\ncheck('restore-added-fields scenario 6', solve('restore-added-fields', ({'a':N},{'a':N},[],1,1,['x'])), {})\ncheck('discard-restores-server scenario 1', solve('discard-restores-server', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':0,'b':3})\ncheck('discard-restores-server scenario 2', solve('discard-restores-server', ({}, {'a':N},[],2,2,[])), {'a':N})\ncheck('discard-restores-server scenario 3', solve('discard-restores-server', ({'a':None},{'a':0},['a'],2,1,[])), {'a':0})\ncheck('discard-restores-server scenario 4', solve('discard-restores-server', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':1,'b':2})\ncheck('discard-restores-server scenario 5', solve('discard-restores-server', ({'a':N},{},['a'],0,0,[])), {})\ncheck('discard-restores-server scenario 6', solve('discard-restores-server', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})\ncheck('edited-field-export scenario 1', solve('edited-field-export', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N})\ncheck('edited-field-export scenario 2', solve('edited-field-export', ({}, {'a':N},[],2,2,[])), {})\ncheck('edited-field-export scenario 3', solve('edited-field-export', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})\ncheck('edited-field-export scenario 4', solve('edited-field-export', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0})\ncheck('edited-field-export scenario 5', solve('edited-field-export', ({'a':N},{},['a'],0,0,[])), {'a':N})\ncheck('edited-field-export scenario 6', solve('edited-field-export', ({'a':N},{'a':N},[],1,1,['x'])), {})\ncheck('restoration-review scenario 1', solve('restoration-review', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), 'review')\ncheck('restoration-review scenario 2', solve('restoration-review', ({}, {'a':N},[],2,2,[])), 'restore')\ncheck('restoration-review scenario 3', solve('restoration-review', ({'a':None},{'a':0},['a'],2,1,[])), 'restore')\ncheck('restoration-review scenario 4', solve('restoration-review', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), 'review')\ncheck('restoration-review scenario 5', solve('restoration-review', ({'a':N},{},['a'],0,0,[])), 'restore')\ncheck('restoration-review scenario 6', solve('restoration-review', ({'a':N},{'a':N},[],1,1,['x'])), 'restore')\ncheck('known-deletion-list scenario 1', solve('known-deletion-list', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), [])\ncheck('known-deletion-list scenario 2', solve('known-deletion-list', ({}, {'a':N},[],2,2,[])), [])\ncheck('known-deletion-list scenario 3', solve('known-deletion-list', ({'a':None},{'a':0},['a'],2,1,[])), [])\ncheck('known-deletion-list scenario 4', solve('known-deletion-list', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), ['b'])\ncheck('known-deletion-list scenario 5', solve('known-deletion-list', ({'a':N},{},['a'],0,0,[])), [])\ncheck('known-deletion-list scenario 6', solve('known-deletion-list', ({'a':N},{'a':N},[],1,1,['x'])), [])\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":"9e98c239d0442a469b12613763c573f47a7ff242e33fd32bc88d862716002637","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    draft, server, dirty, saved_revision, server_revision, deleted = s\n    if operation == 'restore-dirty-fields':\n        return {**server,**{k:v for k,v in draft.items() if k in dirty}}\n    if operation == 'deletion-overlay':\n        return {k:v for k,v in draft.items() if k not in deleted}\n    if operation == 'conflict-fields':\n        return [k for k in dirty if k in server and draft.get(k)!=server[k]]\n    if operation == 'server-advance-warning':\n        return server_revision>saved_revision and bool(dirty)\n    if operation == 'clean-draft-expiry':\n        return not dirty and not deleted\n    if operation == 'restore-added-fields':\n        return {k:v for k,v in draft.items() if k not in server}\n    if operation == 'discard-restores-server':\n        return dict(draft)\n    if operation == 'edited-field-export':\n        return {k:draft[k] for k in dirty if k in draft and k not in deleted}\n    if operation == 'restoration-review':\n        return 'review' if dirty and server_revision>saved_revision else 'restore'\n    if operation == 'known-deletion-list':\n        return [k for k in deleted if k in server]\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('restore-dirty-fields scenario 1', solve('restore-dirty-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N,'b':3})\ncheck('restore-dirty-fields scenario 2', solve('restore-dirty-fields', ({}, {'a':N},[],2,2,[])), {'a':N})\ncheck('restore-dirty-fields scenario 3', solve('restore-dirty-fields', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})\ncheck('restore-dirty-fields scenario 4', solve('restore-dirty-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0,'b':N})\ncheck('restore-dirty-fields scenario 5', solve('restore-dirty-fields', ({'a':N},{},['a'],0,0,[])), {'a':N})\ncheck('restore-dirty-fields scenario 6', solve('restore-dirty-fields', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})\ncheck('deletion-overlay scenario 1', solve('deletion-overlay', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N,'b':2})\ncheck('deletion-overlay scenario 2', solve('deletion-overlay', ({}, {'a':N},[],2,2,[])), {})\ncheck('deletion-overlay scenario 3', solve('deletion-overlay', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})\ncheck('deletion-overlay scenario 4', solve('deletion-overlay', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0})\ncheck('deletion-overlay scenario 5', solve('deletion-overlay', ({'a':N},{},['a'],0,0,[])), {'a':N})\ncheck('deletion-overlay scenario 6', solve('deletion-overlay', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})\ncheck('conflict-fields scenario 1', solve('conflict-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), ['a'])\ncheck('conflict-fields scenario 2', solve('conflict-fields', ({}, {'a':N},[],2,2,[])), [])\ncheck('conflict-fields scenario 3', solve('conflict-fields', ({'a':None},{'a':0},['a'],2,1,[])), ['a'])\ncheck('conflict-fields scenario 4', solve('conflict-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), (['a'] if N==2 else ['a','b']))\ncheck('conflict-fields scenario 5', solve('conflict-fields', ({'a':N},{},['a'],0,0,[])), [])\ncheck('conflict-fields scenario 6', solve('conflict-fields', ({'a':N},{'a':N},[],1,1,['x'])), [])\ncheck('server-advance-warning scenario 1', solve('server-advance-warning', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), True)\ncheck('server-advance-warning scenario 2', solve('server-advance-warning', ({}, {'a':N},[],2,2,[])), False)\ncheck('server-advance-warning scenario 3', solve('server-advance-warning', ({'a':None},{'a':0},['a'],2,1,[])), False)\ncheck('server-advance-warning scenario 4', solve('server-advance-warning', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), True)\ncheck('server-advance-warning scenario 5', solve('server-advance-warning', ({'a':N},{},['a'],0,0,[])), False)\ncheck('server-advance-warning scenario 6', solve('server-advance-warning', ({'a':N},{'a':N},[],1,1,['x'])), False)\ncheck('clean-draft-expiry scenario 1', solve('clean-draft-expiry', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), False)\ncheck('clean-draft-expiry scenario 2', solve('clean-draft-expiry', ({}, {'a':N},[],2,2,[])), True)\ncheck('clean-draft-expiry scenario 3', solve('clean-draft-expiry', ({'a':None},{'a':0},['a'],2,1,[])), False)\ncheck('clean-draft-expiry scenario 4', solve('clean-draft-expiry', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), False)\ncheck('clean-draft-expiry scenario 5', solve('clean-draft-expiry', ({'a':N},{},['a'],0,0,[])), False)\ncheck('clean-draft-expiry scenario 6', solve('clean-draft-expiry', ({'a':N},{'a':N},[],1,1,['x'])), False)\ncheck('restore-added-fields scenario 1', solve('restore-added-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {})\ncheck('restore-added-fields scenario 2', solve('restore-added-fields', ({}, {'a':N},[],2,2,[])), {})\ncheck('restore-added-fields scenario 3', solve('restore-added-fields', ({'a':None},{'a':0},['a'],2,1,[])), {})\ncheck('restore-added-fields scenario 4', solve('restore-added-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {})\ncheck('restore-added-fields scenario 5', solve('restore-added-fields', ({'a':N},{},['a'],0,0,[])), {'a':N})\ncheck('restore-added-fields scenario 6', solve('restore-added-fields', ({'a':N},{'a':N},[],1,1,['x'])), {})\ncheck('discard-restores-server scenario 1', solve('discard-restores-server', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':0,'b':3})\ncheck('discard-restores-server scenario 2', solve('discard-restores-server', ({}, {'a':N},[],2,2,[])), {'a':N})\ncheck('discard-restores-server scenario 3', solve('discard-restores-server', ({'a':None},{'a':0},['a'],2,1,[])), {'a':0})\ncheck('discard-restores-server scenario 4', solve('discard-restores-server', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':1,'b':2})\ncheck('discard-restores-server scenario 5', solve('discard-restores-server', ({'a':N},{},['a'],0,0,[])), {})\ncheck('discard-restores-server scenario 6', solve('discard-restores-server', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})\ncheck('edited-field-export scenario 1', solve('edited-field-export', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N})\ncheck('edited-field-export scenario 2', solve('edited-field-export', ({}, {'a':N},[],2,2,[])), {})\ncheck('edited-field-export scenario 3', solve('edited-field-export', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})\ncheck('edited-field-export scenario 4', solve('edited-field-export', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0})\ncheck('edited-field-export scenario 5', solve('edited-field-export', ({'a':N},{},['a'],0,0,[])), {'a':N})\ncheck('edited-field-export scenario 6', solve('edited-field-export', ({'a':N},{'a':N},[],1,1,['x'])), {})\ncheck('restoration-review scenario 1', solve('restoration-review', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), 'review')\ncheck('restoration-review scenario 2', solve('restoration-review', ({}, {'a':N},[],2,2,[])), 'restore')\ncheck('restoration-review scenario 3', solve('restoration-review', ({'a':None},{'a':0},['a'],2,1,[])), 'restore')\ncheck('restoration-review scenario 4', solve('restoration-review', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), 'review')\ncheck('restoration-review scenario 5', solve('restoration-review', ({'a':N},{},['a'],0,0,[])), 'restore')\ncheck('restoration-review scenario 6', solve('restoration-review', ({'a':N},{'a':N},[],1,1,['x'])), 'restore')\ncheck('known-deletion-list scenario 1', solve('known-deletion-list', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), [])\ncheck('known-deletion-list scenario 2', solve('known-deletion-list', ({}, {'a':N},[],2,2,[])), [])\ncheck('known-deletion-list scenario 3', solve('known-deletion-list', ({'a':None},{'a':0},['a'],2,1,[])), [])\ncheck('known-deletion-list scenario 4', solve('known-deletion-list', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), ['b'])\ncheck('known-deletion-list scenario 5', solve('known-deletion-list', ({'a':N},{},['a'],0,0,[])), [])\ncheck('known-deletion-list scenario 6', solve('known-deletion-list', ({'a':N},{'a':N},[],1,1,['x'])), [])\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":"4ceab38a6562a1efee8534c6afb104dc925cdf7262053a9c543a3c0bc6031e7e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    draft, server, dirty, saved_revision, server_revision, deleted = s\n    if operation == 'restore-dirty-fields':\n        return {**server,**{k:v for k,v in draft.items() if k in dirty}}\n    if operation == 'deletion-overlay':\n        return {k:v for k,v in draft.items() if k not in deleted}\n    if operation == 'conflict-fields':\n        return [k for k in dirty if k in server and draft.get(k)!=server[k]]\n    if operation == 'server-advance-warning':\n        return server_revision>saved_revision and bool(dirty)\n    if operation == 'clean-draft-expiry':\n        return not dirty and not deleted\n    if operation == 'restore-added-fields':\n        return {k:v for k,v in draft.items() if k not in server}\n    if operation == 'discard-restores-server':\n        return dict(server)\n    if operation == 'edited-field-export':\n        return {k:draft[k] for k in dirty if k in draft and k not in deleted}\n    if operation == 'restoration-review':\n        return 'review' if dirty and server_revision>saved_revision else 'restore'\n    if operation == 'known-deletion-list':\n        return [k for k in deleted if k in server]\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('restore-dirty-fields scenario 1', solve('restore-dirty-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N,'b':3})\ncheck('restore-dirty-fields scenario 2', solve('restore-dirty-fields', ({}, {'a':N},[],2,2,[])), {'a':N})\ncheck('restore-dirty-fields scenario 3', solve('restore-dirty-fields', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})\ncheck('restore-dirty-fields scenario 4', solve('restore-dirty-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0,'b':N})\ncheck('restore-dirty-fields scenario 5', solve('restore-dirty-fields', ({'a':N},{},['a'],0,0,[])), {'a':N})\ncheck('restore-dirty-fields scenario 6', solve('restore-dirty-fields', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})\ncheck('deletion-overlay scenario 1', solve('deletion-overlay', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N,'b':2})\ncheck('deletion-overlay scenario 2', solve('deletion-overlay', ({}, {'a':N},[],2,2,[])), {})\ncheck('deletion-overlay scenario 3', solve('deletion-overlay', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})\ncheck('deletion-overlay scenario 4', solve('deletion-overlay', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0})\ncheck('deletion-overlay scenario 5', solve('deletion-overlay', ({'a':N},{},['a'],0,0,[])), {'a':N})\ncheck('deletion-overlay scenario 6', solve('deletion-overlay', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})\ncheck('conflict-fields scenario 1', solve('conflict-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), ['a'])\ncheck('conflict-fields scenario 2', solve('conflict-fields', ({}, {'a':N},[],2,2,[])), [])\ncheck('conflict-fields scenario 3', solve('conflict-fields', ({'a':None},{'a':0},['a'],2,1,[])), ['a'])\ncheck('conflict-fields scenario 4', solve('conflict-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), (['a'] if N==2 else ['a','b']))\ncheck('conflict-fields scenario 5', solve('conflict-fields', ({'a':N},{},['a'],0,0,[])), [])\ncheck('conflict-fields scenario 6', solve('conflict-fields', ({'a':N},{'a':N},[],1,1,['x'])), [])\ncheck('server-advance-warning scenario 1', solve('server-advance-warning', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), True)\ncheck('server-advance-warning scenario 2', solve('server-advance-warning', ({}, {'a':N},[],2,2,[])), False)\ncheck('server-advance-warning scenario 3', solve('server-advance-warning', ({'a':None},{'a':0},['a'],2,1,[])), False)\ncheck('server-advance-warning scenario 4', solve('server-advance-warning', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), True)\ncheck('server-advance-warning scenario 5', solve('server-advance-warning', ({'a':N},{},['a'],0,0,[])), False)\ncheck('server-advance-warning scenario 6', solve('server-advance-warning', ({'a':N},{'a':N},[],1,1,['x'])), False)\ncheck('clean-draft-expiry scenario 1', solve('clean-draft-expiry', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), False)\ncheck('clean-draft-expiry scenario 2', solve('clean-draft-expiry', ({}, {'a':N},[],2,2,[])), True)\ncheck('clean-draft-expiry scenario 3', solve('clean-draft-expiry', ({'a':None},{'a':0},['a'],2,1,[])), False)\ncheck('clean-draft-expiry scenario 4', solve('clean-draft-expiry', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), False)\ncheck('clean-draft-expiry scenario 5', solve('clean-draft-expiry', ({'a':N},{},['a'],0,0,[])), False)\ncheck('clean-draft-expiry scenario 6', solve('clean-draft-expiry', ({'a':N},{'a':N},[],1,1,['x'])), False)\ncheck('restore-added-fields scenario 1', solve('restore-added-fields', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {})\ncheck('restore-added-fields scenario 2', solve('restore-added-fields', ({}, {'a':N},[],2,2,[])), {})\ncheck('restore-added-fields scenario 3', solve('restore-added-fields', ({'a':None},{'a':0},['a'],2,1,[])), {})\ncheck('restore-added-fields scenario 4', solve('restore-added-fields', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {})\ncheck('restore-added-fields scenario 5', solve('restore-added-fields', ({'a':N},{},['a'],0,0,[])), {'a':N})\ncheck('restore-added-fields scenario 6', solve('restore-added-fields', ({'a':N},{'a':N},[],1,1,['x'])), {})\ncheck('discard-restores-server scenario 1', solve('discard-restores-server', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':0,'b':3})\ncheck('discard-restores-server scenario 2', solve('discard-restores-server', ({}, {'a':N},[],2,2,[])), {'a':N})\ncheck('discard-restores-server scenario 3', solve('discard-restores-server', ({'a':None},{'a':0},['a'],2,1,[])), {'a':0})\ncheck('discard-restores-server scenario 4', solve('discard-restores-server', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':1,'b':2})\ncheck('discard-restores-server scenario 5', solve('discard-restores-server', ({'a':N},{},['a'],0,0,[])), {})\ncheck('discard-restores-server scenario 6', solve('discard-restores-server', ({'a':N},{'a':N},[],1,1,['x'])), {'a':N})\ncheck('edited-field-export scenario 1', solve('edited-field-export', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), {'a':N})\ncheck('edited-field-export scenario 2', solve('edited-field-export', ({}, {'a':N},[],2,2,[])), {})\ncheck('edited-field-export scenario 3', solve('edited-field-export', ({'a':None},{'a':0},['a'],2,1,[])), {'a':None})\ncheck('edited-field-export scenario 4', solve('edited-field-export', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), {'a':0})\ncheck('edited-field-export scenario 5', solve('edited-field-export', ({'a':N},{},['a'],0,0,[])), {'a':N})\ncheck('edited-field-export scenario 6', solve('edited-field-export', ({'a':N},{'a':N},[],1,1,['x'])), {})\ncheck('restoration-review scenario 1', solve('restoration-review', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), 'review')\ncheck('restoration-review scenario 2', solve('restoration-review', ({}, {'a':N},[],2,2,[])), 'restore')\ncheck('restoration-review scenario 3', solve('restoration-review', ({'a':None},{'a':0},['a'],2,1,[])), 'restore')\ncheck('restoration-review scenario 4', solve('restoration-review', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), 'review')\ncheck('restoration-review scenario 5', solve('restoration-review', ({'a':N},{},['a'],0,0,[])), 'restore')\ncheck('restoration-review scenario 6', solve('restoration-review', ({'a':N},{'a':N},[],1,1,['x'])), 'restore')\ncheck('known-deletion-list scenario 1', solve('known-deletion-list', ({'a':N,'b':2},{'a':0,'b':3},['a'],1,2,[])), [])\ncheck('known-deletion-list scenario 2', solve('known-deletion-list', ({}, {'a':N},[],2,2,[])), [])\ncheck('known-deletion-list scenario 3', solve('known-deletion-list', ({'a':None},{'a':0},['a'],2,1,[])), [])\ncheck('known-deletion-list scenario 4', solve('known-deletion-list', ({'a':0,'b':N},{'a':1,'b':2},['a','b'],1,3,['b'])), ['b'])\ncheck('known-deletion-list scenario 5', solve('known-deletion-list', ({'a':N},{},['a'],0,0,[])), [])\ncheck('known-deletion-list scenario 6', solve('known-deletion-list', ({'a':N},{'a':N},[],1,1,['x'])), [])\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-draft-restore-discard-restores-server","generated_at":"2026-09-29T14:40:49.776750+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 discard-restores-server rule: `dict(server)`.","root_cause":"The discard-restores-server client decision evaluates `dict(draft)` instead of `dict(server)`.","sha256":"9533ef2aa6646d5882fc59a05d50693feb2f866228d6718bcf80950c94e1185a","title":"Unsaved draft restoration: Discard restores server · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.66,"exit_code":1,"observations":[{"actual":{"a":1,"b":3},"check":"restore-dirty-fields scenario 1","expected":{"a":1,"b":3},"passed":true},{"actual":{"a":1},"check":"restore-dirty-fields scenario 2","expected":{"a":1},"passed":true},{"actual":{"a":null},"check":"restore-dirty-fields scenario 3","expected":{"a":null},"passed":true},{"actual":{"a":0,"b":1},"check":"restore-dirty-fields scenario 4","expected":{"a":0,"b":1},"passed":true},{"actual":{"a":1},"check":"restore-dirty-fields scenario 5","expected":{"a":1},"passed":true},{"actual":{"a":1},"check":"restore-dirty-fields scenario 6","expected":{"a":1},"passed":true},{"actual":{"a":1,"b":2},"check":"deletion-overlay scenario 1","expected":{"a":1,"b":2},"passed":true},{"actual":{},"check":"deletion-overlay scenario 2","expected":{},"passed":true},{"actual":{"a":null},"check":"deletion-overlay scenario 3","expected":{"a":null},"passed":true},{"actual":{"a":0},"check":"deletion-overlay scenario 4","expected":{"a":0},"passed":true},{"actual":{"a":1},"check":"deletion-overlay scenario 5","expected":{"a":1},"passed":true},{"actual":{"a":1},"check":"deletion-overlay scenario 6","expected":{"a":1},"passed":true},{"actual":["a"],"check":"conflict-fields scenario 1","expected":["a"],"passed":true},{"actual":[],"check":"conflict-fields scenario 2","expected":[],"passed":true},{"actual":["a"],"check":"conflict-fields scenario 3","expected":["a"],"passed":true},{"actual":["a","b"],"check":"conflict-fields scenario 4","expected":["a","b"],"passed":true},{"actual":[],"check":"conflict-fields scenario 5","expected":[],"passed":true},{"actual":[],"check":"conflict-fields scenario 6","expected":[],"passed":true},{"actual":true,"check":"server-advance-warning scenario 1","expected":true,"passed":true},{"actual":false,"check":"server-advance-warning scenario 2","expected":false,"passed":true},{"actual":false,"check":"server-advance-warning scenario 3","expected":false,"passed":true},{"actual":true,"check":"server-advance-warning scenario 4","expected":true,"passed":true},{"actual":false,"check":"server-advance-warning scenario 5","expected":false,"passed":true},{"actual":false,"check":"server-advance-warning scenario 6","expected":false,"passed":true},{"actual":false,"check":"clean-draft-expiry scenario 1","expected":false,"passed":true},{"actual":true,"check":"clean-draft-expiry scenario 2","expected":true,"passed":true},{"actual":false,"check":"clean-draft-expiry scenario 3","expected":false,"passed":true},{"actual":false,"check":"clean-draft-expiry scenario 4","expected":false,"passed":true},{"actual":false,"check":"clean-draft-expiry scenario 5","expected":false,"passed":true},{"actual":false,"check":"clean-draft-expiry scenario 6","expected":false,"passed":true},{"actual":{},"check":"restore-added-fields scenario 1","expected":{},"passed":true},{"actual":{},"check":"restore-added-fields scenario 2","expected":{},"passed":true},{"actual":{},"check":"restore-added-fields scenario 3","expected":{},"passed":true},{"actual":{},"check":"restore-added-fields scenario 4","expected":{},"passed":true},{"actual":{"a":1},"check":"restore-added-fields scenario 5","expected":{"a":1},"passed":true},{"actual":{},"check":"restore-added-fields scenario 6","expected":{},"passed":true},{"actual":{"a":0,"b":3},"check":"discard-restores-server scenario 1","expected":{"a":0,"b":3},"passed":true},{"actual":{"a":1},"check":"discard-restores-server scenario 2","expected":{"a":1},"passed":true},{"actual":{"a":0},"check":"discard-restores-server scenario 3","expected":{"a":0},"passed":true},{"actual":{"a":1,"b":2},"check":"discard-restores-server scenario 4","expected":{"a":1,"b":2},"passed":true},{"actual":{"a":1},"check":"discard-restores-server scenario 5","expected":{},"passed":false},{"actual":{"a":1},"check":"discard-restores-server scenario 6","expected":{"a":1},"passed":true},{"actual":{"a":1},"check":"edited-field-export scenario 1","expected":{"a":1},"passed":true},{"actual":{},"check":"edited-field-export scenario 2","expected":{},"passed":true},{"actual":{"a":null},"check":"edited-field-export scenario 3","expected":{"a":null},"passed":true},{"actual":{"a":0},"check":"edited-field-export scenario 4","expected":{"a":0},"passed":true},{"actual":{"a":1},"check":"edited-field-export scenario 5","expected":{"a":1},"passed":true},{"actual":{},"check":"edited-field-export scenario 6","expected":{},"passed":true},{"actual":"review","check":"restoration-review scenario 1","expected":"review","passed":true},{"actual":"restore","check":"restoration-review scenario 2","expected":"restore","passed":true},{"actual":"restore","check":"restoration-review scenario 3","expected":"restore","passed":true},{"actual":"review","check":"restoration-review scenario 4","expected":"review","passed":true},{"actual":"restore","check":"restoration-review scenario 5","expected":"restore","passed":true},{"actual":"restore","check":"restoration-review scenario 6","expected":"restore","passed":true},{"actual":[],"check":"known-deletion-list scenario 1","expected":[],"passed":true},{"actual":[],"check":"known-deletion-list scenario 2","expected":[],"passed":true},{"actual":[],"check":"known-deletion-list scenario 3","expected":[],"passed":true},{"actual":["b"],"check":"known-deletion-list scenario 4","expected":["b"],"passed":true},{"actual":[],"check":"known-deletion-list scenario 5","expected":[],"passed":true},{"actual":[],"check":"known-deletion-list scenario 6","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"restore-dirty-fields scenario 1\", \"actual\": {\"a\": 1, \"b\": 3}, \"expected\": {\"a\": 1, \"b\": 3}, \"passed\": true}, {\"check\": \"restore-dirty-fields scenario 2\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"restore-dirty-fields scenario 3\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"restore-dirty-fields scenario 4\", \"actual\": {\"a\": 0, \"b\": 1}, \"expected\": {\"a\": 0, \"b\": 1}, \"passed\": true}, {\"check\": \"restore-dirty-fields scenario 5\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"restore-dirty-fields scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 1\", \"actual\": {\"a\": 1, \"b\": 2}, \"expected\": {\"a\": 1, \"b\": 2}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 3\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 4\", \"actual\": {\"a\": 0}, \"expected\": {\"a\": 0}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 5\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"conflict-fields scenario 1\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"conflict-fields scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"conflict-fields scenario 3\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"conflict-fields scenario 4\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"conflict-fields scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"conflict-fields scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"server-advance-warning scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"server-advance-warning scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"server-advance-warning scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"server-advance-warning scenario 4\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"server-advance-warning scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"server-advance-warning scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"restore-added-fields scenario 1\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"restore-added-fields scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"restore-added-fields scenario 3\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"restore-added-fields scenario 4\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"restore-added-fields scenario 5\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"restore-added-fields scenario 6\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"discard-restores-server scenario 1\", \"actual\": {\"a\": 0, \"b\": 3}, \"expected\": {\"a\": 0, \"b\": 3}, \"passed\": true}, {\"check\": \"discard-restores-server scenario 2\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"discard-restores-server scenario 3\", \"actual\": {\"a\": 0}, \"expected\": {\"a\": 0}, \"passed\": true}, {\"check\": \"discard-restores-server scenario 4\", \"actual\": {\"a\": 1, \"b\": 2}, \"expected\": {\"a\": 1, \"b\": 2}, \"passed\": true}, {\"check\": \"discard-restores-server scenario 5\", \"actual\": {\"a\": 1}, \"expected\": {}, \"passed\": false}, {\"check\": \"discard-restores-server scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"edited-field-export scenario 1\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"edited-field-export scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"edited-field-export scenario 3\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"edited-field-export scenario 4\", \"actual\": {\"a\": 0}, \"expected\": {\"a\": 0}, \"passed\": true}, {\"check\": \"edited-field-export scenario 5\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"edited-field-export scenario 6\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"restoration-review scenario 1\", \"actual\": \"review\", \"expected\": \"review\", \"passed\": true}, {\"check\": \"restoration-review scenario 2\", \"actual\": \"restore\", \"expected\": \"restore\", \"passed\": true}, {\"check\": \"restoration-review scenario 3\", \"actual\": \"restore\", \"expected\": \"restore\", \"passed\": true}, {\"check\": \"restoration-review scenario 4\", \"actual\": \"review\", \"expected\": \"review\", \"passed\": true}, {\"check\": \"restoration-review scenario 5\", \"actual\": \"restore\", \"expected\": \"restore\", \"passed\": true}, {\"check\": \"restoration-review scenario 6\", \"actual\": \"restore\", \"expected\": \"restore\", \"passed\": true}, {\"check\": \"known-deletion-list scenario 1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"known-deletion-list scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"known-deletion-list scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"known-deletion-list scenario 4\", \"actual\": [\"b\"], \"expected\": [\"b\"], \"passed\": true}, {\"check\": \"known-deletion-list scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"known-deletion-list scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.361,"exit_code":1,"observations":[{"actual":{"a":1,"b":3},"check":"restore-dirty-fields scenario 1","expected":{"a":1,"b":3},"passed":true},{"actual":{"a":1},"check":"restore-dirty-fields scenario 2","expected":{"a":1},"passed":true},{"actual":{"a":null},"check":"restore-dirty-fields scenario 3","expected":{"a":null},"passed":true},{"actual":{"a":0,"b":1},"check":"restore-dirty-fields scenario 4","expected":{"a":0,"b":1},"passed":true},{"actual":{"a":1},"check":"restore-dirty-fields scenario 5","expected":{"a":1},"passed":true},{"actual":{"a":1},"check":"restore-dirty-fields scenario 6","expected":{"a":1},"passed":true},{"actual":{"a":1,"b":2},"check":"deletion-overlay scenario 1","expected":{"a":1,"b":2},"passed":true},{"actual":{},"check":"deletion-overlay scenario 2","expected":{},"passed":true},{"actual":{"a":null},"check":"deletion-overlay scenario 3","expected":{"a":null},"passed":true},{"actual":{"a":0},"check":"deletion-overlay scenario 4","expected":{"a":0},"passed":true},{"actual":{"a":1},"check":"deletion-overlay scenario 5","expected":{"a":1},"passed":true},{"actual":{"a":1},"check":"deletion-overlay scenario 6","expected":{"a":1},"passed":true},{"actual":["a"],"check":"conflict-fields scenario 1","expected":["a"],"passed":true},{"actual":[],"check":"conflict-fields scenario 2","expected":[],"passed":true},{"actual":["a"],"check":"conflict-fields scenario 3","expected":["a"],"passed":true},{"actual":["a","b"],"check":"conflict-fields scenario 4","expected":["a","b"],"passed":true},{"actual":[],"check":"conflict-fields scenario 5","expected":[],"passed":true},{"actual":[],"check":"conflict-fields scenario 6","expected":[],"passed":true},{"actual":true,"check":"server-advance-warning scenario 1","expected":true,"passed":true},{"actual":false,"check":"server-advance-warning scenario 2","expected":false,"passed":true},{"actual":false,"check":"server-advance-warning scenario 3","expected":false,"passed":true},{"actual":true,"check":"server-advance-warning scenario 4","expected":true,"passed":true},{"actual":false,"check":"server-advance-warning scenario 5","expected":false,"passed":true},{"actual":false,"check":"server-advance-warning scenario 6","expected":false,"passed":true},{"actual":false,"check":"clean-draft-expiry scenario 1","expected":false,"passed":true},{"actual":true,"check":"clean-draft-expiry scenario 2","expected":true,"passed":true},{"actual":false,"check":"clean-draft-expiry scenario 3","expected":false,"passed":true},{"actual":false,"check":"clean-draft-expiry scenario 4","expected":false,"passed":true},{"actual":false,"check":"clean-draft-expiry scenario 5","expected":false,"passed":true},{"actual":false,"check":"clean-draft-expiry scenario 6","expected":false,"passed":true},{"actual":{},"check":"restore-added-fields scenario 1","expected":{},"passed":true},{"actual":{},"check":"restore-added-fields scenario 2","expected":{},"passed":true},{"actual":{},"check":"restore-added-fields scenario 3","expected":{},"passed":true},{"actual":{},"check":"restore-added-fields scenario 4","expected":{},"passed":true},{"actual":{"a":1},"check":"restore-added-fields scenario 5","expected":{"a":1},"passed":true},{"actual":{},"check":"restore-added-fields scenario 6","expected":{},"passed":true},{"actual":{"a":1,"b":2},"check":"discard-restores-server scenario 1","expected":{"a":0,"b":3},"passed":false},{"actual":{},"check":"discard-restores-server scenario 2","expected":{"a":1},"passed":false},{"actual":{"a":null},"check":"discard-restores-server scenario 3","expected":{"a":0},"passed":false},{"actual":{"a":0,"b":1},"check":"discard-restores-server scenario 4","expected":{"a":1,"b":2},"passed":false},{"actual":{"a":1},"check":"discard-restores-server scenario 5","expected":{},"passed":false},{"actual":{"a":1},"check":"discard-restores-server scenario 6","expected":{"a":1},"passed":true},{"actual":{"a":1},"check":"edited-field-export scenario 1","expected":{"a":1},"passed":true},{"actual":{},"check":"edited-field-export scenario 2","expected":{},"passed":true},{"actual":{"a":null},"check":"edited-field-export scenario 3","expected":{"a":null},"passed":true},{"actual":{"a":0},"check":"edited-field-export scenario 4","expected":{"a":0},"passed":true},{"actual":{"a":1},"check":"edited-field-export scenario 5","expected":{"a":1},"passed":true},{"actual":{},"check":"edited-field-export scenario 6","expected":{},"passed":true},{"actual":"review","check":"restoration-review scenario 1","expected":"review","passed":true},{"actual":"restore","check":"restoration-review scenario 2","expected":"restore","passed":true},{"actual":"restore","check":"restoration-review scenario 3","expected":"restore","passed":true},{"actual":"review","check":"restoration-review scenario 4","expected":"review","passed":true},{"actual":"restore","check":"restoration-review scenario 5","expected":"restore","passed":true},{"actual":"restore","check":"restoration-review scenario 6","expected":"restore","passed":true},{"actual":[],"check":"known-deletion-list scenario 1","expected":[],"passed":true},{"actual":[],"check":"known-deletion-list scenario 2","expected":[],"passed":true},{"actual":[],"check":"known-deletion-list scenario 3","expected":[],"passed":true},{"actual":["b"],"check":"known-deletion-list scenario 4","expected":["b"],"passed":true},{"actual":[],"check":"known-deletion-list scenario 5","expected":[],"passed":true},{"actual":[],"check":"known-deletion-list scenario 6","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"restore-dirty-fields scenario 1\", \"actual\": {\"a\": 1, \"b\": 3}, \"expected\": {\"a\": 1, \"b\": 3}, \"passed\": true}, {\"check\": \"restore-dirty-fields scenario 2\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"restore-dirty-fields scenario 3\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"restore-dirty-fields scenario 4\", \"actual\": {\"a\": 0, \"b\": 1}, \"expected\": {\"a\": 0, \"b\": 1}, \"passed\": true}, {\"check\": \"restore-dirty-fields scenario 5\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"restore-dirty-fields scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 1\", \"actual\": {\"a\": 1, \"b\": 2}, \"expected\": {\"a\": 1, \"b\": 2}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 3\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 4\", \"actual\": {\"a\": 0}, \"expected\": {\"a\": 0}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 5\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"conflict-fields scenario 1\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"conflict-fields scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"conflict-fields scenario 3\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"conflict-fields scenario 4\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"conflict-fields scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"conflict-fields scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"server-advance-warning scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"server-advance-warning scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"server-advance-warning scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"server-advance-warning scenario 4\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"server-advance-warning scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"server-advance-warning scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"restore-added-fields scenario 1\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"restore-added-fields scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"restore-added-fields scenario 3\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"restore-added-fields scenario 4\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"restore-added-fields scenario 5\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"restore-added-fields scenario 6\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"discard-restores-server scenario 1\", \"actual\": {\"a\": 1, \"b\": 2}, \"expected\": {\"a\": 0, \"b\": 3}, \"passed\": false}, {\"check\": \"discard-restores-server scenario 2\", \"actual\": {}, \"expected\": {\"a\": 1}, \"passed\": false}, {\"check\": \"discard-restores-server scenario 3\", \"actual\": {\"a\": null}, \"expected\": {\"a\": 0}, \"passed\": false}, {\"check\": \"discard-restores-server scenario 4\", \"actual\": {\"a\": 0, \"b\": 1}, \"expected\": {\"a\": 1, \"b\": 2}, \"passed\": false}, {\"check\": \"discard-restores-server scenario 5\", \"actual\": {\"a\": 1}, \"expected\": {}, \"passed\": false}, {\"check\": \"discard-restores-server scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"edited-field-export scenario 1\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"edited-field-export scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"edited-field-export scenario 3\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"edited-field-export scenario 4\", \"actual\": {\"a\": 0}, \"expected\": {\"a\": 0}, \"passed\": true}, {\"check\": \"edited-field-export scenario 5\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"edited-field-export scenario 6\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"restoration-review scenario 1\", \"actual\": \"review\", \"expected\": \"review\", \"passed\": true}, {\"check\": \"restoration-review scenario 2\", \"actual\": \"restore\", \"expected\": \"restore\", \"passed\": true}, {\"check\": \"restoration-review scenario 3\", \"actual\": \"restore\", \"expected\": \"restore\", \"passed\": true}, {\"check\": \"restoration-review scenario 4\", \"actual\": \"review\", \"expected\": \"review\", \"passed\": true}, {\"check\": \"restoration-review scenario 5\", \"actual\": \"restore\", \"expected\": \"restore\", \"passed\": true}, {\"check\": \"restoration-review scenario 6\", \"actual\": \"restore\", \"expected\": \"restore\", \"passed\": true}, {\"check\": \"known-deletion-list scenario 1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"known-deletion-list scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"known-deletion-list scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"known-deletion-list scenario 4\", \"actual\": [\"b\"], \"expected\": [\"b\"], \"passed\": true}, {\"check\": \"known-deletion-list scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"known-deletion-list scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.64,"exit_code":0,"observations":[{"actual":{"a":1,"b":3},"check":"restore-dirty-fields scenario 1","expected":{"a":1,"b":3},"passed":true},{"actual":{"a":1},"check":"restore-dirty-fields scenario 2","expected":{"a":1},"passed":true},{"actual":{"a":null},"check":"restore-dirty-fields scenario 3","expected":{"a":null},"passed":true},{"actual":{"a":0,"b":1},"check":"restore-dirty-fields scenario 4","expected":{"a":0,"b":1},"passed":true},{"actual":{"a":1},"check":"restore-dirty-fields scenario 5","expected":{"a":1},"passed":true},{"actual":{"a":1},"check":"restore-dirty-fields scenario 6","expected":{"a":1},"passed":true},{"actual":{"a":1,"b":2},"check":"deletion-overlay scenario 1","expected":{"a":1,"b":2},"passed":true},{"actual":{},"check":"deletion-overlay scenario 2","expected":{},"passed":true},{"actual":{"a":null},"check":"deletion-overlay scenario 3","expected":{"a":null},"passed":true},{"actual":{"a":0},"check":"deletion-overlay scenario 4","expected":{"a":0},"passed":true},{"actual":{"a":1},"check":"deletion-overlay scenario 5","expected":{"a":1},"passed":true},{"actual":{"a":1},"check":"deletion-overlay scenario 6","expected":{"a":1},"passed":true},{"actual":["a"],"check":"conflict-fields scenario 1","expected":["a"],"passed":true},{"actual":[],"check":"conflict-fields scenario 2","expected":[],"passed":true},{"actual":["a"],"check":"conflict-fields scenario 3","expected":["a"],"passed":true},{"actual":["a","b"],"check":"conflict-fields scenario 4","expected":["a","b"],"passed":true},{"actual":[],"check":"conflict-fields scenario 5","expected":[],"passed":true},{"actual":[],"check":"conflict-fields scenario 6","expected":[],"passed":true},{"actual":true,"check":"server-advance-warning scenario 1","expected":true,"passed":true},{"actual":false,"check":"server-advance-warning scenario 2","expected":false,"passed":true},{"actual":false,"check":"server-advance-warning scenario 3","expected":false,"passed":true},{"actual":true,"check":"server-advance-warning scenario 4","expected":true,"passed":true},{"actual":false,"check":"server-advance-warning scenario 5","expected":false,"passed":true},{"actual":false,"check":"server-advance-warning scenario 6","expected":false,"passed":true},{"actual":false,"check":"clean-draft-expiry scenario 1","expected":false,"passed":true},{"actual":true,"check":"clean-draft-expiry scenario 2","expected":true,"passed":true},{"actual":false,"check":"clean-draft-expiry scenario 3","expected":false,"passed":true},{"actual":false,"check":"clean-draft-expiry scenario 4","expected":false,"passed":true},{"actual":false,"check":"clean-draft-expiry scenario 5","expected":false,"passed":true},{"actual":false,"check":"clean-draft-expiry scenario 6","expected":false,"passed":true},{"actual":{},"check":"restore-added-fields scenario 1","expected":{},"passed":true},{"actual":{},"check":"restore-added-fields scenario 2","expected":{},"passed":true},{"actual":{},"check":"restore-added-fields scenario 3","expected":{},"passed":true},{"actual":{},"check":"restore-added-fields scenario 4","expected":{},"passed":true},{"actual":{"a":1},"check":"restore-added-fields scenario 5","expected":{"a":1},"passed":true},{"actual":{},"check":"restore-added-fields scenario 6","expected":{},"passed":true},{"actual":{"a":0,"b":3},"check":"discard-restores-server scenario 1","expected":{"a":0,"b":3},"passed":true},{"actual":{"a":1},"check":"discard-restores-server scenario 2","expected":{"a":1},"passed":true},{"actual":{"a":0},"check":"discard-restores-server scenario 3","expected":{"a":0},"passed":true},{"actual":{"a":1,"b":2},"check":"discard-restores-server scenario 4","expected":{"a":1,"b":2},"passed":true},{"actual":{},"check":"discard-restores-server scenario 5","expected":{},"passed":true},{"actual":{"a":1},"check":"discard-restores-server scenario 6","expected":{"a":1},"passed":true},{"actual":{"a":1},"check":"edited-field-export scenario 1","expected":{"a":1},"passed":true},{"actual":{},"check":"edited-field-export scenario 2","expected":{},"passed":true},{"actual":{"a":null},"check":"edited-field-export scenario 3","expected":{"a":null},"passed":true},{"actual":{"a":0},"check":"edited-field-export scenario 4","expected":{"a":0},"passed":true},{"actual":{"a":1},"check":"edited-field-export scenario 5","expected":{"a":1},"passed":true},{"actual":{},"check":"edited-field-export scenario 6","expected":{},"passed":true},{"actual":"review","check":"restoration-review scenario 1","expected":"review","passed":true},{"actual":"restore","check":"restoration-review scenario 2","expected":"restore","passed":true},{"actual":"restore","check":"restoration-review scenario 3","expected":"restore","passed":true},{"actual":"review","check":"restoration-review scenario 4","expected":"review","passed":true},{"actual":"restore","check":"restoration-review scenario 5","expected":"restore","passed":true},{"actual":"restore","check":"restoration-review scenario 6","expected":"restore","passed":true},{"actual":[],"check":"known-deletion-list scenario 1","expected":[],"passed":true},{"actual":[],"check":"known-deletion-list scenario 2","expected":[],"passed":true},{"actual":[],"check":"known-deletion-list scenario 3","expected":[],"passed":true},{"actual":["b"],"check":"known-deletion-list scenario 4","expected":["b"],"passed":true},{"actual":[],"check":"known-deletion-list scenario 5","expected":[],"passed":true},{"actual":[],"check":"known-deletion-list scenario 6","expected":[],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"restore-dirty-fields scenario 1\", \"actual\": {\"a\": 1, \"b\": 3}, \"expected\": {\"a\": 1, \"b\": 3}, \"passed\": true}, {\"check\": \"restore-dirty-fields scenario 2\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"restore-dirty-fields scenario 3\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"restore-dirty-fields scenario 4\", \"actual\": {\"a\": 0, \"b\": 1}, \"expected\": {\"a\": 0, \"b\": 1}, \"passed\": true}, {\"check\": \"restore-dirty-fields scenario 5\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"restore-dirty-fields scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 1\", \"actual\": {\"a\": 1, \"b\": 2}, \"expected\": {\"a\": 1, \"b\": 2}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 3\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 4\", \"actual\": {\"a\": 0}, \"expected\": {\"a\": 0}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 5\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"deletion-overlay scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"conflict-fields scenario 1\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"conflict-fields scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"conflict-fields scenario 3\", \"actual\": [\"a\"], \"expected\": [\"a\"], \"passed\": true}, {\"check\": \"conflict-fields scenario 4\", \"actual\": [\"a\", \"b\"], \"expected\": [\"a\", \"b\"], \"passed\": true}, {\"check\": \"conflict-fields scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"conflict-fields scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"server-advance-warning scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"server-advance-warning scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"server-advance-warning scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"server-advance-warning scenario 4\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"server-advance-warning scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"server-advance-warning scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"clean-draft-expiry scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"restore-added-fields scenario 1\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"restore-added-fields scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"restore-added-fields scenario 3\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"restore-added-fields scenario 4\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"restore-added-fields scenario 5\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"restore-added-fields scenario 6\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"discard-restores-server scenario 1\", \"actual\": {\"a\": 0, \"b\": 3}, \"expected\": {\"a\": 0, \"b\": 3}, \"passed\": true}, {\"check\": \"discard-restores-server scenario 2\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"discard-restores-server scenario 3\", \"actual\": {\"a\": 0}, \"expected\": {\"a\": 0}, \"passed\": true}, {\"check\": \"discard-restores-server scenario 4\", \"actual\": {\"a\": 1, \"b\": 2}, \"expected\": {\"a\": 1, \"b\": 2}, \"passed\": true}, {\"check\": \"discard-restores-server scenario 5\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"discard-restores-server scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"edited-field-export scenario 1\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"edited-field-export scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"edited-field-export scenario 3\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"edited-field-export scenario 4\", \"actual\": {\"a\": 0}, \"expected\": {\"a\": 0}, \"passed\": true}, {\"check\": \"edited-field-export scenario 5\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"edited-field-export scenario 6\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"restoration-review scenario 1\", \"actual\": \"review\", \"expected\": \"review\", \"passed\": true}, {\"check\": \"restoration-review scenario 2\", \"actual\": \"restore\", \"expected\": \"restore\", \"passed\": true}, {\"check\": \"restoration-review scenario 3\", \"actual\": \"restore\", \"expected\": \"restore\", \"passed\": true}, {\"check\": \"restoration-review scenario 4\", \"actual\": \"review\", \"expected\": \"review\", \"passed\": true}, {\"check\": \"restoration-review scenario 5\", \"actual\": \"restore\", \"expected\": \"restore\", \"passed\": true}, {\"check\": \"restoration-review scenario 6\", \"actual\": \"restore\", \"expected\": \"restore\", \"passed\": true}, {\"check\": \"known-deletion-list scenario 1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"known-deletion-list scenario 2\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"known-deletion-list scenario 3\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"known-deletion-list scenario 4\", \"actual\": [\"b\"], \"expected\": [\"b\"], \"passed\": true}, {\"check\": \"known-deletion-list scenario 5\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"known-deletion-list scenario 6\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}