{"abstract":"Server advance warning.","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 server-advance-warning has the six explicit input/output oracles below.","evaluation_group":"s3-client-state-draft-restore","failed_approach":"The partial repair `server_revision>=saved_revision and bool(dirty)` still violates the explicit fixture contract.","family":"s3-client-state-draft-restore-server-advance-warning","id":"FA-23641","implementations":{"attempt":{"sha256":"e4b3991f1680d98d838d28ec10bba88e270e5f97d43d0f14b069d481223fbf2c","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"},"broken":{"sha256":"7b940b3a19e5c35a90d8758fbb028bed78eb31bbf1efe603a182ef6a2ddddcce","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\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"},"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-server-advance-warning","generated_at":"2026-09-29T14:40:49.727416+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 server-advance-warning rule: `server_revision>saved_revision and bool(dirty)`.","root_cause":"The server-advance-warning client decision evaluates `server_revision!=saved_revision` instead of `server_revision>saved_revision and bool(dirty)`.","sha256":"346c02ac9f88391236a4341f01007c2cc817dbab0f43cd3df4ec0c4f22a7a68a","title":"Unsaved draft restoration: Server advance warning · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":44.098,"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":true,"check":"server-advance-warning scenario 5","expected":false,"passed":false},{"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":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\": true, \"expected\": false, \"passed\": false}, {\"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\": false}\n"},"broken":{"elapsed_ms":40.941,"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":true,"check":"server-advance-warning scenario 3","expected":false,"passed":false},{"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":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\": true, \"expected\": false, \"passed\": false}, {\"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\": false}\n"},"fixed":{"elapsed_ms":40.252,"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"}