{"abstract":"Retained data on error.","category":"Client state","checks":60,"contract":"A mounted route owns only its current route key and request generation. Empty mappings are successful data; null is no data; even an empty error string is an error. Old requests cannot settle current loading. Operation retained-data-on-error has the six explicit input/output oracles below.","evaluation_group":"s3-client-state-route-load","failed_approach":"The partial repair `prior if error else data` still violates the explicit fixture contract.","family":"s3-client-state-route-load-retained-data-on-error","id":"FA-23511","implementations":{"attempt":{"sha256":"5b35f489bd59466d4b07eb7b27dad344c7a82176953aeea617313fc30c331259","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    active, result, request, latest, mounted, data, error, prior = s\n    if operation == 'route-and-request-admission':\n        return mounted and active==result and request==latest\n    if operation == 'unmount-write-suppression':\n        return data if mounted else prior\n    if operation == 'error-null-distinction':\n        return error is not None\n    if operation == 'empty-loader-result':\n        return data if data is not None else prior\n    if operation == 'stale-error-isolation':\n        return error if active==result and request==latest else None\n    if operation == 'loading-settlement':\n        return request!=latest\n    if operation == 'retained-data-on-error':\n        return prior if error else data\n    if operation == 'route-transition-clear':\n        return prior if active==result else {}\n    if operation == 'error-boundary-reset-key':\n        return (active,latest)\n    if operation == 'resource-disposition':\n        return 'discard' if not mounted else ('commit' if active==result and request==latest else 'stale')\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('route-and-request-admission scenario 1', solve('route-and-request-admission', ('a','a',1,1,True,{'v':N},None,{'old':1})), True)\ncheck('route-and-request-admission scenario 2', solve('route-and-request-admission', ('a','b',1,2,True,{},'bad',{'old':N})), False)\ncheck('route-and-request-admission scenario 3', solve('route-and-request-admission', ('a','a',1,2,True,None,'bad',{'old':N})), False)\ncheck('route-and-request-admission scenario 4', solve('route-and-request-admission', ('a','a',2,2,False,{'v':N},None,{})), False)\ncheck('route-and-request-admission scenario 5', solve('route-and-request-admission', ('b','b',2,2,True,{},None,{'old':N})), True)\ncheck('route-and-request-admission scenario 6', solve('route-and-request-admission', ('a','a',3,3,True,None,'',{'old':N})), True)\ncheck('unmount-write-suppression scenario 1', solve('unmount-write-suppression', ('a','a',1,1,True,{'v':N},None,{'old':1})), {'v':N})\ncheck('unmount-write-suppression scenario 2', solve('unmount-write-suppression', ('a','b',1,2,True,{},'bad',{'old':N})), {})\ncheck('unmount-write-suppression scenario 3', solve('unmount-write-suppression', ('a','a',1,2,True,None,'bad',{'old':N})), None)\ncheck('unmount-write-suppression scenario 4', solve('unmount-write-suppression', ('a','a',2,2,False,{'v':N},None,{})), {})\ncheck('unmount-write-suppression scenario 5', solve('unmount-write-suppression', ('b','b',2,2,True,{},None,{'old':N})), {})\ncheck('unmount-write-suppression scenario 6', solve('unmount-write-suppression', ('a','a',3,3,True,None,'',{'old':N})), None)\ncheck('error-null-distinction scenario 1', solve('error-null-distinction', ('a','a',1,1,True,{'v':N},None,{'old':1})), False)\ncheck('error-null-distinction scenario 2', solve('error-null-distinction', ('a','b',1,2,True,{},'bad',{'old':N})), True)\ncheck('error-null-distinction scenario 3', solve('error-null-distinction', ('a','a',1,2,True,None,'bad',{'old':N})), True)\ncheck('error-null-distinction scenario 4', solve('error-null-distinction', ('a','a',2,2,False,{'v':N},None,{})), False)\ncheck('error-null-distinction scenario 5', solve('error-null-distinction', ('b','b',2,2,True,{},None,{'old':N})), False)\ncheck('error-null-distinction scenario 6', solve('error-null-distinction', ('a','a',3,3,True,None,'',{'old':N})), True)\ncheck('empty-loader-result scenario 1', solve('empty-loader-result', ('a','a',1,1,True,{'v':N},None,{'old':1})), {'v':N})\ncheck('empty-loader-result scenario 2', solve('empty-loader-result', ('a','b',1,2,True,{},'bad',{'old':N})), {})\ncheck('empty-loader-result scenario 3', solve('empty-loader-result', ('a','a',1,2,True,None,'bad',{'old':N})), {'old':N})\ncheck('empty-loader-result scenario 4', solve('empty-loader-result', ('a','a',2,2,False,{'v':N},None,{})), {'v':N})\ncheck('empty-loader-result scenario 5', solve('empty-loader-result', ('b','b',2,2,True,{},None,{'old':N})), {})\ncheck('empty-loader-result scenario 6', solve('empty-loader-result', ('a','a',3,3,True,None,'',{'old':N})), {'old':N})\ncheck('stale-error-isolation scenario 1', solve('stale-error-isolation', ('a','a',1,1,True,{'v':N},None,{'old':1})), None)\ncheck('stale-error-isolation scenario 2', solve('stale-error-isolation', ('a','b',1,2,True,{},'bad',{'old':N})), None)\ncheck('stale-error-isolation scenario 3', solve('stale-error-isolation', ('a','a',1,2,True,None,'bad',{'old':N})), None)\ncheck('stale-error-isolation scenario 4', solve('stale-error-isolation', ('a','a',2,2,False,{'v':N},None,{})), None)\ncheck('stale-error-isolation scenario 5', solve('stale-error-isolation', ('b','b',2,2,True,{},None,{'old':N})), None)\ncheck('stale-error-isolation scenario 6', solve('stale-error-isolation', ('a','a',3,3,True,None,'',{'old':N})), '')\ncheck('loading-settlement scenario 1', solve('loading-settlement', ('a','a',1,1,True,{'v':N},None,{'old':1})), False)\ncheck('loading-settlement scenario 2', solve('loading-settlement', ('a','b',1,2,True,{},'bad',{'old':N})), True)\ncheck('loading-settlement scenario 3', solve('loading-settlement', ('a','a',1,2,True,None,'bad',{'old':N})), True)\ncheck('loading-settlement scenario 4', solve('loading-settlement', ('a','a',2,2,False,{'v':N},None,{})), False)\ncheck('loading-settlement scenario 5', solve('loading-settlement', ('b','b',2,2,True,{},None,{'old':N})), False)\ncheck('loading-settlement scenario 6', solve('loading-settlement', ('a','a',3,3,True,None,'',{'old':N})), False)\ncheck('retained-data-on-error scenario 1', solve('retained-data-on-error', ('a','a',1,1,True,{'v':N},None,{'old':1})), {'v':N})\ncheck('retained-data-on-error scenario 2', solve('retained-data-on-error', ('a','b',1,2,True,{},'bad',{'old':N})), {'old':N})\ncheck('retained-data-on-error scenario 3', solve('retained-data-on-error', ('a','a',1,2,True,None,'bad',{'old':N})), {'old':N})\ncheck('retained-data-on-error scenario 4', solve('retained-data-on-error', ('a','a',2,2,False,{'v':N},None,{})), {'v':N})\ncheck('retained-data-on-error scenario 5', solve('retained-data-on-error', ('b','b',2,2,True,{},None,{'old':N})), {})\ncheck('retained-data-on-error scenario 6', solve('retained-data-on-error', ('a','a',3,3,True,None,'',{'old':N})), {'old':N})\ncheck('route-transition-clear scenario 1', solve('route-transition-clear', ('a','a',1,1,True,{'v':N},None,{'old':1})), {'old':1})\ncheck('route-transition-clear scenario 2', solve('route-transition-clear', ('a','b',1,2,True,{},'bad',{'old':N})), {})\ncheck('route-transition-clear scenario 3', solve('route-transition-clear', ('a','a',1,2,True,None,'bad',{'old':N})), {'old':N})\ncheck('route-transition-clear scenario 4', solve('route-transition-clear', ('a','a',2,2,False,{'v':N},None,{})), {})\ncheck('route-transition-clear scenario 5', solve('route-transition-clear', ('b','b',2,2,True,{},None,{'old':N})), {'old':N})\ncheck('route-transition-clear scenario 6', solve('route-transition-clear', ('a','a',3,3,True,None,'',{'old':N})), {'old':N})\ncheck('error-boundary-reset-key scenario 1', solve('error-boundary-reset-key', ('a','a',1,1,True,{'v':N},None,{'old':1})), ('a',1))\ncheck('error-boundary-reset-key scenario 2', solve('error-boundary-reset-key', ('a','b',1,2,True,{},'bad',{'old':N})), ('a',2))\ncheck('error-boundary-reset-key scenario 3', solve('error-boundary-reset-key', ('a','a',1,2,True,None,'bad',{'old':N})), ('a',2))\ncheck('error-boundary-reset-key scenario 4', solve('error-boundary-reset-key', ('a','a',2,2,False,{'v':N},None,{})), ('a',2))\ncheck('error-boundary-reset-key scenario 5', solve('error-boundary-reset-key', ('b','b',2,2,True,{},None,{'old':N})), ('b',2))\ncheck('error-boundary-reset-key scenario 6', solve('error-boundary-reset-key', ('a','a',3,3,True,None,'',{'old':N})), ('a',3))\ncheck('resource-disposition scenario 1', solve('resource-disposition', ('a','a',1,1,True,{'v':N},None,{'old':1})), 'commit')\ncheck('resource-disposition scenario 2', solve('resource-disposition', ('a','b',1,2,True,{},'bad',{'old':N})), 'stale')\ncheck('resource-disposition scenario 3', solve('resource-disposition', ('a','a',1,2,True,None,'bad',{'old':N})), 'stale')\ncheck('resource-disposition scenario 4', solve('resource-disposition', ('a','a',2,2,False,{'v':N},None,{})), 'discard')\ncheck('resource-disposition scenario 5', solve('resource-disposition', ('b','b',2,2,True,{},None,{'old':N})), 'commit')\ncheck('resource-disposition scenario 6', solve('resource-disposition', ('a','a',3,3,True,None,'',{'old':N})), 'commit')\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":"7844d649ad78328b1c5c302aa0ba3b030cd35741fa69f3862c0bec65465c8742","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    active, result, request, latest, mounted, data, error, prior = s\n    if operation == 'route-and-request-admission':\n        return mounted and active==result and request==latest\n    if operation == 'unmount-write-suppression':\n        return data if mounted else prior\n    if operation == 'error-null-distinction':\n        return error is not None\n    if operation == 'empty-loader-result':\n        return data if data is not None else prior\n    if operation == 'stale-error-isolation':\n        return error if active==result and request==latest else None\n    if operation == 'loading-settlement':\n        return request!=latest\n    if operation == 'retained-data-on-error':\n        return data\n    if operation == 'route-transition-clear':\n        return prior if active==result else {}\n    if operation == 'error-boundary-reset-key':\n        return (active,latest)\n    if operation == 'resource-disposition':\n        return 'discard' if not mounted else ('commit' if active==result and request==latest else 'stale')\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('route-and-request-admission scenario 1', solve('route-and-request-admission', ('a','a',1,1,True,{'v':N},None,{'old':1})), True)\ncheck('route-and-request-admission scenario 2', solve('route-and-request-admission', ('a','b',1,2,True,{},'bad',{'old':N})), False)\ncheck('route-and-request-admission scenario 3', solve('route-and-request-admission', ('a','a',1,2,True,None,'bad',{'old':N})), False)\ncheck('route-and-request-admission scenario 4', solve('route-and-request-admission', ('a','a',2,2,False,{'v':N},None,{})), False)\ncheck('route-and-request-admission scenario 5', solve('route-and-request-admission', ('b','b',2,2,True,{},None,{'old':N})), True)\ncheck('route-and-request-admission scenario 6', solve('route-and-request-admission', ('a','a',3,3,True,None,'',{'old':N})), True)\ncheck('unmount-write-suppression scenario 1', solve('unmount-write-suppression', ('a','a',1,1,True,{'v':N},None,{'old':1})), {'v':N})\ncheck('unmount-write-suppression scenario 2', solve('unmount-write-suppression', ('a','b',1,2,True,{},'bad',{'old':N})), {})\ncheck('unmount-write-suppression scenario 3', solve('unmount-write-suppression', ('a','a',1,2,True,None,'bad',{'old':N})), None)\ncheck('unmount-write-suppression scenario 4', solve('unmount-write-suppression', ('a','a',2,2,False,{'v':N},None,{})), {})\ncheck('unmount-write-suppression scenario 5', solve('unmount-write-suppression', ('b','b',2,2,True,{},None,{'old':N})), {})\ncheck('unmount-write-suppression scenario 6', solve('unmount-write-suppression', ('a','a',3,3,True,None,'',{'old':N})), None)\ncheck('error-null-distinction scenario 1', solve('error-null-distinction', ('a','a',1,1,True,{'v':N},None,{'old':1})), False)\ncheck('error-null-distinction scenario 2', solve('error-null-distinction', ('a','b',1,2,True,{},'bad',{'old':N})), True)\ncheck('error-null-distinction scenario 3', solve('error-null-distinction', ('a','a',1,2,True,None,'bad',{'old':N})), True)\ncheck('error-null-distinction scenario 4', solve('error-null-distinction', ('a','a',2,2,False,{'v':N},None,{})), False)\ncheck('error-null-distinction scenario 5', solve('error-null-distinction', ('b','b',2,2,True,{},None,{'old':N})), False)\ncheck('error-null-distinction scenario 6', solve('error-null-distinction', ('a','a',3,3,True,None,'',{'old':N})), True)\ncheck('empty-loader-result scenario 1', solve('empty-loader-result', ('a','a',1,1,True,{'v':N},None,{'old':1})), {'v':N})\ncheck('empty-loader-result scenario 2', solve('empty-loader-result', ('a','b',1,2,True,{},'bad',{'old':N})), {})\ncheck('empty-loader-result scenario 3', solve('empty-loader-result', ('a','a',1,2,True,None,'bad',{'old':N})), {'old':N})\ncheck('empty-loader-result scenario 4', solve('empty-loader-result', ('a','a',2,2,False,{'v':N},None,{})), {'v':N})\ncheck('empty-loader-result scenario 5', solve('empty-loader-result', ('b','b',2,2,True,{},None,{'old':N})), {})\ncheck('empty-loader-result scenario 6', solve('empty-loader-result', ('a','a',3,3,True,None,'',{'old':N})), {'old':N})\ncheck('stale-error-isolation scenario 1', solve('stale-error-isolation', ('a','a',1,1,True,{'v':N},None,{'old':1})), None)\ncheck('stale-error-isolation scenario 2', solve('stale-error-isolation', ('a','b',1,2,True,{},'bad',{'old':N})), None)\ncheck('stale-error-isolation scenario 3', solve('stale-error-isolation', ('a','a',1,2,True,None,'bad',{'old':N})), None)\ncheck('stale-error-isolation scenario 4', solve('stale-error-isolation', ('a','a',2,2,False,{'v':N},None,{})), None)\ncheck('stale-error-isolation scenario 5', solve('stale-error-isolation', ('b','b',2,2,True,{},None,{'old':N})), None)\ncheck('stale-error-isolation scenario 6', solve('stale-error-isolation', ('a','a',3,3,True,None,'',{'old':N})), '')\ncheck('loading-settlement scenario 1', solve('loading-settlement', ('a','a',1,1,True,{'v':N},None,{'old':1})), False)\ncheck('loading-settlement scenario 2', solve('loading-settlement', ('a','b',1,2,True,{},'bad',{'old':N})), True)\ncheck('loading-settlement scenario 3', solve('loading-settlement', ('a','a',1,2,True,None,'bad',{'old':N})), True)\ncheck('loading-settlement scenario 4', solve('loading-settlement', ('a','a',2,2,False,{'v':N},None,{})), False)\ncheck('loading-settlement scenario 5', solve('loading-settlement', ('b','b',2,2,True,{},None,{'old':N})), False)\ncheck('loading-settlement scenario 6', solve('loading-settlement', ('a','a',3,3,True,None,'',{'old':N})), False)\ncheck('retained-data-on-error scenario 1', solve('retained-data-on-error', ('a','a',1,1,True,{'v':N},None,{'old':1})), {'v':N})\ncheck('retained-data-on-error scenario 2', solve('retained-data-on-error', ('a','b',1,2,True,{},'bad',{'old':N})), {'old':N})\ncheck('retained-data-on-error scenario 3', solve('retained-data-on-error', ('a','a',1,2,True,None,'bad',{'old':N})), {'old':N})\ncheck('retained-data-on-error scenario 4', solve('retained-data-on-error', ('a','a',2,2,False,{'v':N},None,{})), {'v':N})\ncheck('retained-data-on-error scenario 5', solve('retained-data-on-error', ('b','b',2,2,True,{},None,{'old':N})), {})\ncheck('retained-data-on-error scenario 6', solve('retained-data-on-error', ('a','a',3,3,True,None,'',{'old':N})), {'old':N})\ncheck('route-transition-clear scenario 1', solve('route-transition-clear', ('a','a',1,1,True,{'v':N},None,{'old':1})), {'old':1})\ncheck('route-transition-clear scenario 2', solve('route-transition-clear', ('a','b',1,2,True,{},'bad',{'old':N})), {})\ncheck('route-transition-clear scenario 3', solve('route-transition-clear', ('a','a',1,2,True,None,'bad',{'old':N})), {'old':N})\ncheck('route-transition-clear scenario 4', solve('route-transition-clear', ('a','a',2,2,False,{'v':N},None,{})), {})\ncheck('route-transition-clear scenario 5', solve('route-transition-clear', ('b','b',2,2,True,{},None,{'old':N})), {'old':N})\ncheck('route-transition-clear scenario 6', solve('route-transition-clear', ('a','a',3,3,True,None,'',{'old':N})), {'old':N})\ncheck('error-boundary-reset-key scenario 1', solve('error-boundary-reset-key', ('a','a',1,1,True,{'v':N},None,{'old':1})), ('a',1))\ncheck('error-boundary-reset-key scenario 2', solve('error-boundary-reset-key', ('a','b',1,2,True,{},'bad',{'old':N})), ('a',2))\ncheck('error-boundary-reset-key scenario 3', solve('error-boundary-reset-key', ('a','a',1,2,True,None,'bad',{'old':N})), ('a',2))\ncheck('error-boundary-reset-key scenario 4', solve('error-boundary-reset-key', ('a','a',2,2,False,{'v':N},None,{})), ('a',2))\ncheck('error-boundary-reset-key scenario 5', solve('error-boundary-reset-key', ('b','b',2,2,True,{},None,{'old':N})), ('b',2))\ncheck('error-boundary-reset-key scenario 6', solve('error-boundary-reset-key', ('a','a',3,3,True,None,'',{'old':N})), ('a',3))\ncheck('resource-disposition scenario 1', solve('resource-disposition', ('a','a',1,1,True,{'v':N},None,{'old':1})), 'commit')\ncheck('resource-disposition scenario 2', solve('resource-disposition', ('a','b',1,2,True,{},'bad',{'old':N})), 'stale')\ncheck('resource-disposition scenario 3', solve('resource-disposition', ('a','a',1,2,True,None,'bad',{'old':N})), 'stale')\ncheck('resource-disposition scenario 4', solve('resource-disposition', ('a','a',2,2,False,{'v':N},None,{})), 'discard')\ncheck('resource-disposition scenario 5', solve('resource-disposition', ('b','b',2,2,True,{},None,{'old':N})), 'commit')\ncheck('resource-disposition scenario 6', solve('resource-disposition', ('a','a',3,3,True,None,'',{'old':N})), 'commit')\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":"3f54551ea8e1ef2603851147d111658b17620dc33a36dd632aba479a5767c776","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    active, result, request, latest, mounted, data, error, prior = s\n    if operation == 'route-and-request-admission':\n        return mounted and active==result and request==latest\n    if operation == 'unmount-write-suppression':\n        return data if mounted else prior\n    if operation == 'error-null-distinction':\n        return error is not None\n    if operation == 'empty-loader-result':\n        return data if data is not None else prior\n    if operation == 'stale-error-isolation':\n        return error if active==result and request==latest else None\n    if operation == 'loading-settlement':\n        return request!=latest\n    if operation == 'retained-data-on-error':\n        return prior if error is not None else data\n    if operation == 'route-transition-clear':\n        return prior if active==result else {}\n    if operation == 'error-boundary-reset-key':\n        return (active,latest)\n    if operation == 'resource-disposition':\n        return 'discard' if not mounted else ('commit' if active==result and request==latest else 'stale')\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('route-and-request-admission scenario 1', solve('route-and-request-admission', ('a','a',1,1,True,{'v':N},None,{'old':1})), True)\ncheck('route-and-request-admission scenario 2', solve('route-and-request-admission', ('a','b',1,2,True,{},'bad',{'old':N})), False)\ncheck('route-and-request-admission scenario 3', solve('route-and-request-admission', ('a','a',1,2,True,None,'bad',{'old':N})), False)\ncheck('route-and-request-admission scenario 4', solve('route-and-request-admission', ('a','a',2,2,False,{'v':N},None,{})), False)\ncheck('route-and-request-admission scenario 5', solve('route-and-request-admission', ('b','b',2,2,True,{},None,{'old':N})), True)\ncheck('route-and-request-admission scenario 6', solve('route-and-request-admission', ('a','a',3,3,True,None,'',{'old':N})), True)\ncheck('unmount-write-suppression scenario 1', solve('unmount-write-suppression', ('a','a',1,1,True,{'v':N},None,{'old':1})), {'v':N})\ncheck('unmount-write-suppression scenario 2', solve('unmount-write-suppression', ('a','b',1,2,True,{},'bad',{'old':N})), {})\ncheck('unmount-write-suppression scenario 3', solve('unmount-write-suppression', ('a','a',1,2,True,None,'bad',{'old':N})), None)\ncheck('unmount-write-suppression scenario 4', solve('unmount-write-suppression', ('a','a',2,2,False,{'v':N},None,{})), {})\ncheck('unmount-write-suppression scenario 5', solve('unmount-write-suppression', ('b','b',2,2,True,{},None,{'old':N})), {})\ncheck('unmount-write-suppression scenario 6', solve('unmount-write-suppression', ('a','a',3,3,True,None,'',{'old':N})), None)\ncheck('error-null-distinction scenario 1', solve('error-null-distinction', ('a','a',1,1,True,{'v':N},None,{'old':1})), False)\ncheck('error-null-distinction scenario 2', solve('error-null-distinction', ('a','b',1,2,True,{},'bad',{'old':N})), True)\ncheck('error-null-distinction scenario 3', solve('error-null-distinction', ('a','a',1,2,True,None,'bad',{'old':N})), True)\ncheck('error-null-distinction scenario 4', solve('error-null-distinction', ('a','a',2,2,False,{'v':N},None,{})), False)\ncheck('error-null-distinction scenario 5', solve('error-null-distinction', ('b','b',2,2,True,{},None,{'old':N})), False)\ncheck('error-null-distinction scenario 6', solve('error-null-distinction', ('a','a',3,3,True,None,'',{'old':N})), True)\ncheck('empty-loader-result scenario 1', solve('empty-loader-result', ('a','a',1,1,True,{'v':N},None,{'old':1})), {'v':N})\ncheck('empty-loader-result scenario 2', solve('empty-loader-result', ('a','b',1,2,True,{},'bad',{'old':N})), {})\ncheck('empty-loader-result scenario 3', solve('empty-loader-result', ('a','a',1,2,True,None,'bad',{'old':N})), {'old':N})\ncheck('empty-loader-result scenario 4', solve('empty-loader-result', ('a','a',2,2,False,{'v':N},None,{})), {'v':N})\ncheck('empty-loader-result scenario 5', solve('empty-loader-result', ('b','b',2,2,True,{},None,{'old':N})), {})\ncheck('empty-loader-result scenario 6', solve('empty-loader-result', ('a','a',3,3,True,None,'',{'old':N})), {'old':N})\ncheck('stale-error-isolation scenario 1', solve('stale-error-isolation', ('a','a',1,1,True,{'v':N},None,{'old':1})), None)\ncheck('stale-error-isolation scenario 2', solve('stale-error-isolation', ('a','b',1,2,True,{},'bad',{'old':N})), None)\ncheck('stale-error-isolation scenario 3', solve('stale-error-isolation', ('a','a',1,2,True,None,'bad',{'old':N})), None)\ncheck('stale-error-isolation scenario 4', solve('stale-error-isolation', ('a','a',2,2,False,{'v':N},None,{})), None)\ncheck('stale-error-isolation scenario 5', solve('stale-error-isolation', ('b','b',2,2,True,{},None,{'old':N})), None)\ncheck('stale-error-isolation scenario 6', solve('stale-error-isolation', ('a','a',3,3,True,None,'',{'old':N})), '')\ncheck('loading-settlement scenario 1', solve('loading-settlement', ('a','a',1,1,True,{'v':N},None,{'old':1})), False)\ncheck('loading-settlement scenario 2', solve('loading-settlement', ('a','b',1,2,True,{},'bad',{'old':N})), True)\ncheck('loading-settlement scenario 3', solve('loading-settlement', ('a','a',1,2,True,None,'bad',{'old':N})), True)\ncheck('loading-settlement scenario 4', solve('loading-settlement', ('a','a',2,2,False,{'v':N},None,{})), False)\ncheck('loading-settlement scenario 5', solve('loading-settlement', ('b','b',2,2,True,{},None,{'old':N})), False)\ncheck('loading-settlement scenario 6', solve('loading-settlement', ('a','a',3,3,True,None,'',{'old':N})), False)\ncheck('retained-data-on-error scenario 1', solve('retained-data-on-error', ('a','a',1,1,True,{'v':N},None,{'old':1})), {'v':N})\ncheck('retained-data-on-error scenario 2', solve('retained-data-on-error', ('a','b',1,2,True,{},'bad',{'old':N})), {'old':N})\ncheck('retained-data-on-error scenario 3', solve('retained-data-on-error', ('a','a',1,2,True,None,'bad',{'old':N})), {'old':N})\ncheck('retained-data-on-error scenario 4', solve('retained-data-on-error', ('a','a',2,2,False,{'v':N},None,{})), {'v':N})\ncheck('retained-data-on-error scenario 5', solve('retained-data-on-error', ('b','b',2,2,True,{},None,{'old':N})), {})\ncheck('retained-data-on-error scenario 6', solve('retained-data-on-error', ('a','a',3,3,True,None,'',{'old':N})), {'old':N})\ncheck('route-transition-clear scenario 1', solve('route-transition-clear', ('a','a',1,1,True,{'v':N},None,{'old':1})), {'old':1})\ncheck('route-transition-clear scenario 2', solve('route-transition-clear', ('a','b',1,2,True,{},'bad',{'old':N})), {})\ncheck('route-transition-clear scenario 3', solve('route-transition-clear', ('a','a',1,2,True,None,'bad',{'old':N})), {'old':N})\ncheck('route-transition-clear scenario 4', solve('route-transition-clear', ('a','a',2,2,False,{'v':N},None,{})), {})\ncheck('route-transition-clear scenario 5', solve('route-transition-clear', ('b','b',2,2,True,{},None,{'old':N})), {'old':N})\ncheck('route-transition-clear scenario 6', solve('route-transition-clear', ('a','a',3,3,True,None,'',{'old':N})), {'old':N})\ncheck('error-boundary-reset-key scenario 1', solve('error-boundary-reset-key', ('a','a',1,1,True,{'v':N},None,{'old':1})), ('a',1))\ncheck('error-boundary-reset-key scenario 2', solve('error-boundary-reset-key', ('a','b',1,2,True,{},'bad',{'old':N})), ('a',2))\ncheck('error-boundary-reset-key scenario 3', solve('error-boundary-reset-key', ('a','a',1,2,True,None,'bad',{'old':N})), ('a',2))\ncheck('error-boundary-reset-key scenario 4', solve('error-boundary-reset-key', ('a','a',2,2,False,{'v':N},None,{})), ('a',2))\ncheck('error-boundary-reset-key scenario 5', solve('error-boundary-reset-key', ('b','b',2,2,True,{},None,{'old':N})), ('b',2))\ncheck('error-boundary-reset-key scenario 6', solve('error-boundary-reset-key', ('a','a',3,3,True,None,'',{'old':N})), ('a',3))\ncheck('resource-disposition scenario 1', solve('resource-disposition', ('a','a',1,1,True,{'v':N},None,{'old':1})), 'commit')\ncheck('resource-disposition scenario 2', solve('resource-disposition', ('a','b',1,2,True,{},'bad',{'old':N})), 'stale')\ncheck('resource-disposition scenario 3', solve('resource-disposition', ('a','a',1,2,True,None,'bad',{'old':N})), 'stale')\ncheck('resource-disposition scenario 4', solve('resource-disposition', ('a','a',2,2,False,{'v':N},None,{})), 'discard')\ncheck('resource-disposition scenario 5', solve('resource-disposition', ('b','b',2,2,True,{},None,{'old':N})), 'commit')\ncheck('resource-disposition scenario 6', solve('resource-disposition', ('a','a',3,3,True,None,'',{'old':N})), 'commit')\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-route-load-retained-data-on-error","generated_at":"2026-09-29T14:40:48.349482+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 retained-data-on-error rule: `prior if error is not None else data`.","root_cause":"The retained-data-on-error client decision evaluates `data` instead of `prior if error is not None else data`.","sha256":"65c27792127b250be283ccf7afc791afc0b4f5ed261c6774dfa10935f3d204bf","title":"Route loader ownership: Retained data on error · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":46.365,"exit_code":1,"observations":[{"actual":true,"check":"route-and-request-admission scenario 1","expected":true,"passed":true},{"actual":false,"check":"route-and-request-admission scenario 2","expected":false,"passed":true},{"actual":false,"check":"route-and-request-admission scenario 3","expected":false,"passed":true},{"actual":false,"check":"route-and-request-admission scenario 4","expected":false,"passed":true},{"actual":true,"check":"route-and-request-admission scenario 5","expected":true,"passed":true},{"actual":true,"check":"route-and-request-admission scenario 6","expected":true,"passed":true},{"actual":{"v":1},"check":"unmount-write-suppression scenario 1","expected":{"v":1},"passed":true},{"actual":{},"check":"unmount-write-suppression scenario 2","expected":{},"passed":true},{"actual":null,"check":"unmount-write-suppression scenario 3","expected":null,"passed":true},{"actual":{},"check":"unmount-write-suppression scenario 4","expected":{},"passed":true},{"actual":{},"check":"unmount-write-suppression scenario 5","expected":{},"passed":true},{"actual":null,"check":"unmount-write-suppression scenario 6","expected":null,"passed":true},{"actual":false,"check":"error-null-distinction scenario 1","expected":false,"passed":true},{"actual":true,"check":"error-null-distinction scenario 2","expected":true,"passed":true},{"actual":true,"check":"error-null-distinction scenario 3","expected":true,"passed":true},{"actual":false,"check":"error-null-distinction scenario 4","expected":false,"passed":true},{"actual":false,"check":"error-null-distinction scenario 5","expected":false,"passed":true},{"actual":true,"check":"error-null-distinction scenario 6","expected":true,"passed":true},{"actual":{"v":1},"check":"empty-loader-result scenario 1","expected":{"v":1},"passed":true},{"actual":{},"check":"empty-loader-result scenario 2","expected":{},"passed":true},{"actual":{"old":1},"check":"empty-loader-result scenario 3","expected":{"old":1},"passed":true},{"actual":{"v":1},"check":"empty-loader-result scenario 4","expected":{"v":1},"passed":true},{"actual":{},"check":"empty-loader-result scenario 5","expected":{},"passed":true},{"actual":{"old":1},"check":"empty-loader-result scenario 6","expected":{"old":1},"passed":true},{"actual":null,"check":"stale-error-isolation scenario 1","expected":null,"passed":true},{"actual":null,"check":"stale-error-isolation scenario 2","expected":null,"passed":true},{"actual":null,"check":"stale-error-isolation scenario 3","expected":null,"passed":true},{"actual":null,"check":"stale-error-isolation scenario 4","expected":null,"passed":true},{"actual":null,"check":"stale-error-isolation scenario 5","expected":null,"passed":true},{"actual":"","check":"stale-error-isolation scenario 6","expected":"","passed":true},{"actual":false,"check":"loading-settlement scenario 1","expected":false,"passed":true},{"actual":true,"check":"loading-settlement scenario 2","expected":true,"passed":true},{"actual":true,"check":"loading-settlement scenario 3","expected":true,"passed":true},{"actual":false,"check":"loading-settlement scenario 4","expected":false,"passed":true},{"actual":false,"check":"loading-settlement scenario 5","expected":false,"passed":true},{"actual":false,"check":"loading-settlement scenario 6","expected":false,"passed":true},{"actual":{"v":1},"check":"retained-data-on-error scenario 1","expected":{"v":1},"passed":true},{"actual":{"old":1},"check":"retained-data-on-error scenario 2","expected":{"old":1},"passed":true},{"actual":{"old":1},"check":"retained-data-on-error scenario 3","expected":{"old":1},"passed":true},{"actual":{"v":1},"check":"retained-data-on-error scenario 4","expected":{"v":1},"passed":true},{"actual":{},"check":"retained-data-on-error scenario 5","expected":{},"passed":true},{"actual":null,"check":"retained-data-on-error scenario 6","expected":{"old":1},"passed":false},{"actual":{"old":1},"check":"route-transition-clear scenario 1","expected":{"old":1},"passed":true},{"actual":{},"check":"route-transition-clear scenario 2","expected":{},"passed":true},{"actual":{"old":1},"check":"route-transition-clear scenario 3","expected":{"old":1},"passed":true},{"actual":{},"check":"route-transition-clear scenario 4","expected":{},"passed":true},{"actual":{"old":1},"check":"route-transition-clear scenario 5","expected":{"old":1},"passed":true},{"actual":{"old":1},"check":"route-transition-clear scenario 6","expected":{"old":1},"passed":true},{"actual":["a",1],"check":"error-boundary-reset-key scenario 1","expected":["a",1],"passed":true},{"actual":["a",2],"check":"error-boundary-reset-key scenario 2","expected":["a",2],"passed":true},{"actual":["a",2],"check":"error-boundary-reset-key scenario 3","expected":["a",2],"passed":true},{"actual":["a",2],"check":"error-boundary-reset-key scenario 4","expected":["a",2],"passed":true},{"actual":["b",2],"check":"error-boundary-reset-key scenario 5","expected":["b",2],"passed":true},{"actual":["a",3],"check":"error-boundary-reset-key scenario 6","expected":["a",3],"passed":true},{"actual":"commit","check":"resource-disposition scenario 1","expected":"commit","passed":true},{"actual":"stale","check":"resource-disposition scenario 2","expected":"stale","passed":true},{"actual":"stale","check":"resource-disposition scenario 3","expected":"stale","passed":true},{"actual":"discard","check":"resource-disposition scenario 4","expected":"discard","passed":true},{"actual":"commit","check":"resource-disposition scenario 5","expected":"commit","passed":true},{"actual":"commit","check":"resource-disposition scenario 6","expected":"commit","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"route-and-request-admission scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"route-and-request-admission scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"route-and-request-admission scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"route-and-request-admission scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"route-and-request-admission scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"route-and-request-admission scenario 6\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 1\", \"actual\": {\"v\": 1}, \"expected\": {\"v\": 1}, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 4\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 5\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"error-null-distinction scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"error-null-distinction scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"error-null-distinction scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"error-null-distinction scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"error-null-distinction scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"error-null-distinction scenario 6\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"empty-loader-result scenario 1\", \"actual\": {\"v\": 1}, \"expected\": {\"v\": 1}, \"passed\": true}, {\"check\": \"empty-loader-result scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"empty-loader-result scenario 3\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"empty-loader-result scenario 4\", \"actual\": {\"v\": 1}, \"expected\": {\"v\": 1}, \"passed\": true}, {\"check\": \"empty-loader-result scenario 5\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"empty-loader-result scenario 6\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 1\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 2\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 4\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 6\", \"actual\": \"\", \"expected\": \"\", \"passed\": true}, {\"check\": \"loading-settlement scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"loading-settlement scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"loading-settlement scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"loading-settlement scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"loading-settlement scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"loading-settlement scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"retained-data-on-error scenario 1\", \"actual\": {\"v\": 1}, \"expected\": {\"v\": 1}, \"passed\": true}, {\"check\": \"retained-data-on-error scenario 2\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"retained-data-on-error scenario 3\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"retained-data-on-error scenario 4\", \"actual\": {\"v\": 1}, \"expected\": {\"v\": 1}, \"passed\": true}, {\"check\": \"retained-data-on-error scenario 5\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"retained-data-on-error scenario 6\", \"actual\": null, \"expected\": {\"old\": 1}, \"passed\": false}, {\"check\": \"route-transition-clear scenario 1\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"route-transition-clear scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"route-transition-clear scenario 3\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"route-transition-clear scenario 4\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"route-transition-clear scenario 5\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"route-transition-clear scenario 6\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 1\", \"actual\": [\"a\", 1], \"expected\": [\"a\", 1], \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 2\", \"actual\": [\"a\", 2], \"expected\": [\"a\", 2], \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 3\", \"actual\": [\"a\", 2], \"expected\": [\"a\", 2], \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 4\", \"actual\": [\"a\", 2], \"expected\": [\"a\", 2], \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 5\", \"actual\": [\"b\", 2], \"expected\": [\"b\", 2], \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 6\", \"actual\": [\"a\", 3], \"expected\": [\"a\", 3], \"passed\": true}, {\"check\": \"resource-disposition scenario 1\", \"actual\": \"commit\", \"expected\": \"commit\", \"passed\": true}, {\"check\": \"resource-disposition scenario 2\", \"actual\": \"stale\", \"expected\": \"stale\", \"passed\": true}, {\"check\": \"resource-disposition scenario 3\", \"actual\": \"stale\", \"expected\": \"stale\", \"passed\": true}, {\"check\": \"resource-disposition scenario 4\", \"actual\": \"discard\", \"expected\": \"discard\", \"passed\": true}, {\"check\": \"resource-disposition scenario 5\", \"actual\": \"commit\", \"expected\": \"commit\", \"passed\": true}, {\"check\": \"resource-disposition scenario 6\", \"actual\": \"commit\", \"expected\": \"commit\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.655,"exit_code":1,"observations":[{"actual":true,"check":"route-and-request-admission scenario 1","expected":true,"passed":true},{"actual":false,"check":"route-and-request-admission scenario 2","expected":false,"passed":true},{"actual":false,"check":"route-and-request-admission scenario 3","expected":false,"passed":true},{"actual":false,"check":"route-and-request-admission scenario 4","expected":false,"passed":true},{"actual":true,"check":"route-and-request-admission scenario 5","expected":true,"passed":true},{"actual":true,"check":"route-and-request-admission scenario 6","expected":true,"passed":true},{"actual":{"v":1},"check":"unmount-write-suppression scenario 1","expected":{"v":1},"passed":true},{"actual":{},"check":"unmount-write-suppression scenario 2","expected":{},"passed":true},{"actual":null,"check":"unmount-write-suppression scenario 3","expected":null,"passed":true},{"actual":{},"check":"unmount-write-suppression scenario 4","expected":{},"passed":true},{"actual":{},"check":"unmount-write-suppression scenario 5","expected":{},"passed":true},{"actual":null,"check":"unmount-write-suppression scenario 6","expected":null,"passed":true},{"actual":false,"check":"error-null-distinction scenario 1","expected":false,"passed":true},{"actual":true,"check":"error-null-distinction scenario 2","expected":true,"passed":true},{"actual":true,"check":"error-null-distinction scenario 3","expected":true,"passed":true},{"actual":false,"check":"error-null-distinction scenario 4","expected":false,"passed":true},{"actual":false,"check":"error-null-distinction scenario 5","expected":false,"passed":true},{"actual":true,"check":"error-null-distinction scenario 6","expected":true,"passed":true},{"actual":{"v":1},"check":"empty-loader-result scenario 1","expected":{"v":1},"passed":true},{"actual":{},"check":"empty-loader-result scenario 2","expected":{},"passed":true},{"actual":{"old":1},"check":"empty-loader-result scenario 3","expected":{"old":1},"passed":true},{"actual":{"v":1},"check":"empty-loader-result scenario 4","expected":{"v":1},"passed":true},{"actual":{},"check":"empty-loader-result scenario 5","expected":{},"passed":true},{"actual":{"old":1},"check":"empty-loader-result scenario 6","expected":{"old":1},"passed":true},{"actual":null,"check":"stale-error-isolation scenario 1","expected":null,"passed":true},{"actual":null,"check":"stale-error-isolation scenario 2","expected":null,"passed":true},{"actual":null,"check":"stale-error-isolation scenario 3","expected":null,"passed":true},{"actual":null,"check":"stale-error-isolation scenario 4","expected":null,"passed":true},{"actual":null,"check":"stale-error-isolation scenario 5","expected":null,"passed":true},{"actual":"","check":"stale-error-isolation scenario 6","expected":"","passed":true},{"actual":false,"check":"loading-settlement scenario 1","expected":false,"passed":true},{"actual":true,"check":"loading-settlement scenario 2","expected":true,"passed":true},{"actual":true,"check":"loading-settlement scenario 3","expected":true,"passed":true},{"actual":false,"check":"loading-settlement scenario 4","expected":false,"passed":true},{"actual":false,"check":"loading-settlement scenario 5","expected":false,"passed":true},{"actual":false,"check":"loading-settlement scenario 6","expected":false,"passed":true},{"actual":{"v":1},"check":"retained-data-on-error scenario 1","expected":{"v":1},"passed":true},{"actual":{},"check":"retained-data-on-error scenario 2","expected":{"old":1},"passed":false},{"actual":null,"check":"retained-data-on-error scenario 3","expected":{"old":1},"passed":false},{"actual":{"v":1},"check":"retained-data-on-error scenario 4","expected":{"v":1},"passed":true},{"actual":{},"check":"retained-data-on-error scenario 5","expected":{},"passed":true},{"actual":null,"check":"retained-data-on-error scenario 6","expected":{"old":1},"passed":false},{"actual":{"old":1},"check":"route-transition-clear scenario 1","expected":{"old":1},"passed":true},{"actual":{},"check":"route-transition-clear scenario 2","expected":{},"passed":true},{"actual":{"old":1},"check":"route-transition-clear scenario 3","expected":{"old":1},"passed":true},{"actual":{},"check":"route-transition-clear scenario 4","expected":{},"passed":true},{"actual":{"old":1},"check":"route-transition-clear scenario 5","expected":{"old":1},"passed":true},{"actual":{"old":1},"check":"route-transition-clear scenario 6","expected":{"old":1},"passed":true},{"actual":["a",1],"check":"error-boundary-reset-key scenario 1","expected":["a",1],"passed":true},{"actual":["a",2],"check":"error-boundary-reset-key scenario 2","expected":["a",2],"passed":true},{"actual":["a",2],"check":"error-boundary-reset-key scenario 3","expected":["a",2],"passed":true},{"actual":["a",2],"check":"error-boundary-reset-key scenario 4","expected":["a",2],"passed":true},{"actual":["b",2],"check":"error-boundary-reset-key scenario 5","expected":["b",2],"passed":true},{"actual":["a",3],"check":"error-boundary-reset-key scenario 6","expected":["a",3],"passed":true},{"actual":"commit","check":"resource-disposition scenario 1","expected":"commit","passed":true},{"actual":"stale","check":"resource-disposition scenario 2","expected":"stale","passed":true},{"actual":"stale","check":"resource-disposition scenario 3","expected":"stale","passed":true},{"actual":"discard","check":"resource-disposition scenario 4","expected":"discard","passed":true},{"actual":"commit","check":"resource-disposition scenario 5","expected":"commit","passed":true},{"actual":"commit","check":"resource-disposition scenario 6","expected":"commit","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"route-and-request-admission scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"route-and-request-admission scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"route-and-request-admission scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"route-and-request-admission scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"route-and-request-admission scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"route-and-request-admission scenario 6\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 1\", \"actual\": {\"v\": 1}, \"expected\": {\"v\": 1}, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 4\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 5\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"error-null-distinction scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"error-null-distinction scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"error-null-distinction scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"error-null-distinction scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"error-null-distinction scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"error-null-distinction scenario 6\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"empty-loader-result scenario 1\", \"actual\": {\"v\": 1}, \"expected\": {\"v\": 1}, \"passed\": true}, {\"check\": \"empty-loader-result scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"empty-loader-result scenario 3\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"empty-loader-result scenario 4\", \"actual\": {\"v\": 1}, \"expected\": {\"v\": 1}, \"passed\": true}, {\"check\": \"empty-loader-result scenario 5\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"empty-loader-result scenario 6\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 1\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 2\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 4\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 6\", \"actual\": \"\", \"expected\": \"\", \"passed\": true}, {\"check\": \"loading-settlement scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"loading-settlement scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"loading-settlement scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"loading-settlement scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"loading-settlement scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"loading-settlement scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"retained-data-on-error scenario 1\", \"actual\": {\"v\": 1}, \"expected\": {\"v\": 1}, \"passed\": true}, {\"check\": \"retained-data-on-error scenario 2\", \"actual\": {}, \"expected\": {\"old\": 1}, \"passed\": false}, {\"check\": \"retained-data-on-error scenario 3\", \"actual\": null, \"expected\": {\"old\": 1}, \"passed\": false}, {\"check\": \"retained-data-on-error scenario 4\", \"actual\": {\"v\": 1}, \"expected\": {\"v\": 1}, \"passed\": true}, {\"check\": \"retained-data-on-error scenario 5\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"retained-data-on-error scenario 6\", \"actual\": null, \"expected\": {\"old\": 1}, \"passed\": false}, {\"check\": \"route-transition-clear scenario 1\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"route-transition-clear scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"route-transition-clear scenario 3\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"route-transition-clear scenario 4\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"route-transition-clear scenario 5\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"route-transition-clear scenario 6\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 1\", \"actual\": [\"a\", 1], \"expected\": [\"a\", 1], \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 2\", \"actual\": [\"a\", 2], \"expected\": [\"a\", 2], \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 3\", \"actual\": [\"a\", 2], \"expected\": [\"a\", 2], \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 4\", \"actual\": [\"a\", 2], \"expected\": [\"a\", 2], \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 5\", \"actual\": [\"b\", 2], \"expected\": [\"b\", 2], \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 6\", \"actual\": [\"a\", 3], \"expected\": [\"a\", 3], \"passed\": true}, {\"check\": \"resource-disposition scenario 1\", \"actual\": \"commit\", \"expected\": \"commit\", \"passed\": true}, {\"check\": \"resource-disposition scenario 2\", \"actual\": \"stale\", \"expected\": \"stale\", \"passed\": true}, {\"check\": \"resource-disposition scenario 3\", \"actual\": \"stale\", \"expected\": \"stale\", \"passed\": true}, {\"check\": \"resource-disposition scenario 4\", \"actual\": \"discard\", \"expected\": \"discard\", \"passed\": true}, {\"check\": \"resource-disposition scenario 5\", \"actual\": \"commit\", \"expected\": \"commit\", \"passed\": true}, {\"check\": \"resource-disposition scenario 6\", \"actual\": \"commit\", \"expected\": \"commit\", \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.984,"exit_code":0,"observations":[{"actual":true,"check":"route-and-request-admission scenario 1","expected":true,"passed":true},{"actual":false,"check":"route-and-request-admission scenario 2","expected":false,"passed":true},{"actual":false,"check":"route-and-request-admission scenario 3","expected":false,"passed":true},{"actual":false,"check":"route-and-request-admission scenario 4","expected":false,"passed":true},{"actual":true,"check":"route-and-request-admission scenario 5","expected":true,"passed":true},{"actual":true,"check":"route-and-request-admission scenario 6","expected":true,"passed":true},{"actual":{"v":1},"check":"unmount-write-suppression scenario 1","expected":{"v":1},"passed":true},{"actual":{},"check":"unmount-write-suppression scenario 2","expected":{},"passed":true},{"actual":null,"check":"unmount-write-suppression scenario 3","expected":null,"passed":true},{"actual":{},"check":"unmount-write-suppression scenario 4","expected":{},"passed":true},{"actual":{},"check":"unmount-write-suppression scenario 5","expected":{},"passed":true},{"actual":null,"check":"unmount-write-suppression scenario 6","expected":null,"passed":true},{"actual":false,"check":"error-null-distinction scenario 1","expected":false,"passed":true},{"actual":true,"check":"error-null-distinction scenario 2","expected":true,"passed":true},{"actual":true,"check":"error-null-distinction scenario 3","expected":true,"passed":true},{"actual":false,"check":"error-null-distinction scenario 4","expected":false,"passed":true},{"actual":false,"check":"error-null-distinction scenario 5","expected":false,"passed":true},{"actual":true,"check":"error-null-distinction scenario 6","expected":true,"passed":true},{"actual":{"v":1},"check":"empty-loader-result scenario 1","expected":{"v":1},"passed":true},{"actual":{},"check":"empty-loader-result scenario 2","expected":{},"passed":true},{"actual":{"old":1},"check":"empty-loader-result scenario 3","expected":{"old":1},"passed":true},{"actual":{"v":1},"check":"empty-loader-result scenario 4","expected":{"v":1},"passed":true},{"actual":{},"check":"empty-loader-result scenario 5","expected":{},"passed":true},{"actual":{"old":1},"check":"empty-loader-result scenario 6","expected":{"old":1},"passed":true},{"actual":null,"check":"stale-error-isolation scenario 1","expected":null,"passed":true},{"actual":null,"check":"stale-error-isolation scenario 2","expected":null,"passed":true},{"actual":null,"check":"stale-error-isolation scenario 3","expected":null,"passed":true},{"actual":null,"check":"stale-error-isolation scenario 4","expected":null,"passed":true},{"actual":null,"check":"stale-error-isolation scenario 5","expected":null,"passed":true},{"actual":"","check":"stale-error-isolation scenario 6","expected":"","passed":true},{"actual":false,"check":"loading-settlement scenario 1","expected":false,"passed":true},{"actual":true,"check":"loading-settlement scenario 2","expected":true,"passed":true},{"actual":true,"check":"loading-settlement scenario 3","expected":true,"passed":true},{"actual":false,"check":"loading-settlement scenario 4","expected":false,"passed":true},{"actual":false,"check":"loading-settlement scenario 5","expected":false,"passed":true},{"actual":false,"check":"loading-settlement scenario 6","expected":false,"passed":true},{"actual":{"v":1},"check":"retained-data-on-error scenario 1","expected":{"v":1},"passed":true},{"actual":{"old":1},"check":"retained-data-on-error scenario 2","expected":{"old":1},"passed":true},{"actual":{"old":1},"check":"retained-data-on-error scenario 3","expected":{"old":1},"passed":true},{"actual":{"v":1},"check":"retained-data-on-error scenario 4","expected":{"v":1},"passed":true},{"actual":{},"check":"retained-data-on-error scenario 5","expected":{},"passed":true},{"actual":{"old":1},"check":"retained-data-on-error scenario 6","expected":{"old":1},"passed":true},{"actual":{"old":1},"check":"route-transition-clear scenario 1","expected":{"old":1},"passed":true},{"actual":{},"check":"route-transition-clear scenario 2","expected":{},"passed":true},{"actual":{"old":1},"check":"route-transition-clear scenario 3","expected":{"old":1},"passed":true},{"actual":{},"check":"route-transition-clear scenario 4","expected":{},"passed":true},{"actual":{"old":1},"check":"route-transition-clear scenario 5","expected":{"old":1},"passed":true},{"actual":{"old":1},"check":"route-transition-clear scenario 6","expected":{"old":1},"passed":true},{"actual":["a",1],"check":"error-boundary-reset-key scenario 1","expected":["a",1],"passed":true},{"actual":["a",2],"check":"error-boundary-reset-key scenario 2","expected":["a",2],"passed":true},{"actual":["a",2],"check":"error-boundary-reset-key scenario 3","expected":["a",2],"passed":true},{"actual":["a",2],"check":"error-boundary-reset-key scenario 4","expected":["a",2],"passed":true},{"actual":["b",2],"check":"error-boundary-reset-key scenario 5","expected":["b",2],"passed":true},{"actual":["a",3],"check":"error-boundary-reset-key scenario 6","expected":["a",3],"passed":true},{"actual":"commit","check":"resource-disposition scenario 1","expected":"commit","passed":true},{"actual":"stale","check":"resource-disposition scenario 2","expected":"stale","passed":true},{"actual":"stale","check":"resource-disposition scenario 3","expected":"stale","passed":true},{"actual":"discard","check":"resource-disposition scenario 4","expected":"discard","passed":true},{"actual":"commit","check":"resource-disposition scenario 5","expected":"commit","passed":true},{"actual":"commit","check":"resource-disposition scenario 6","expected":"commit","passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"route-and-request-admission scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"route-and-request-admission scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"route-and-request-admission scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"route-and-request-admission scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"route-and-request-admission scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"route-and-request-admission scenario 6\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 1\", \"actual\": {\"v\": 1}, \"expected\": {\"v\": 1}, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 4\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 5\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"unmount-write-suppression scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"error-null-distinction scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"error-null-distinction scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"error-null-distinction scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"error-null-distinction scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"error-null-distinction scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"error-null-distinction scenario 6\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"empty-loader-result scenario 1\", \"actual\": {\"v\": 1}, \"expected\": {\"v\": 1}, \"passed\": true}, {\"check\": \"empty-loader-result scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"empty-loader-result scenario 3\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"empty-loader-result scenario 4\", \"actual\": {\"v\": 1}, \"expected\": {\"v\": 1}, \"passed\": true}, {\"check\": \"empty-loader-result scenario 5\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"empty-loader-result scenario 6\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 1\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 2\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 4\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"stale-error-isolation scenario 6\", \"actual\": \"\", \"expected\": \"\", \"passed\": true}, {\"check\": \"loading-settlement scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"loading-settlement scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"loading-settlement scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"loading-settlement scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"loading-settlement scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"loading-settlement scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"retained-data-on-error scenario 1\", \"actual\": {\"v\": 1}, \"expected\": {\"v\": 1}, \"passed\": true}, {\"check\": \"retained-data-on-error scenario 2\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"retained-data-on-error scenario 3\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"retained-data-on-error scenario 4\", \"actual\": {\"v\": 1}, \"expected\": {\"v\": 1}, \"passed\": true}, {\"check\": \"retained-data-on-error scenario 5\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"retained-data-on-error scenario 6\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"route-transition-clear scenario 1\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"route-transition-clear scenario 2\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"route-transition-clear scenario 3\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"route-transition-clear scenario 4\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"route-transition-clear scenario 5\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"route-transition-clear scenario 6\", \"actual\": {\"old\": 1}, \"expected\": {\"old\": 1}, \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 1\", \"actual\": [\"a\", 1], \"expected\": [\"a\", 1], \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 2\", \"actual\": [\"a\", 2], \"expected\": [\"a\", 2], \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 3\", \"actual\": [\"a\", 2], \"expected\": [\"a\", 2], \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 4\", \"actual\": [\"a\", 2], \"expected\": [\"a\", 2], \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 5\", \"actual\": [\"b\", 2], \"expected\": [\"b\", 2], \"passed\": true}, {\"check\": \"error-boundary-reset-key scenario 6\", \"actual\": [\"a\", 3], \"expected\": [\"a\", 3], \"passed\": true}, {\"check\": \"resource-disposition scenario 1\", \"actual\": \"commit\", \"expected\": \"commit\", \"passed\": true}, {\"check\": \"resource-disposition scenario 2\", \"actual\": \"stale\", \"expected\": \"stale\", \"passed\": true}, {\"check\": \"resource-disposition scenario 3\", \"actual\": \"stale\", \"expected\": \"stale\", \"passed\": true}, {\"check\": \"resource-disposition scenario 4\", \"actual\": \"discard\", \"expected\": \"discard\", \"passed\": true}, {\"check\": \"resource-disposition scenario 5\", \"actual\": \"commit\", \"expected\": \"commit\", \"passed\": true}, {\"check\": \"resource-disposition scenario 6\", \"actual\": \"commit\", \"expected\": \"commit\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}