{"abstract":"Retain dirty on quota.","category":"Client state","checks":60,"contract":"A debounced local snapshot write commits saved data only after a permitted successful write. Failures retain dirty edits, no-op snapshots avoid writes, and timer deadlines include equality. Operation retain-dirty-on-quota has the six explicit input/output oracles below.","evaluation_group":"s3-client-state-storage-write","failed_approach":"The partial repair `dirty and outcome=='quota'` still violates the explicit fixture contract.","family":"s3-client-state-storage-write-retain-dirty-on-quota","id":"FA-23581","implementations":{"attempt":{"sha256":"d979ba2ae9eb6740d253e31535d203bf84500f9cb5f5a8e0e272f935d0731ff8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    saved, draft, dirty, writable, outcome, scheduled, now, debounce = s\n    if operation == 'commit-only-on-success':\n        return draft if outcome=='ok' and writable else saved\n    if operation == 'retain-dirty-on-quota':\n        return dirty and outcome=='quota'\n    if operation == 'schedule-debounce':\n        return None if not dirty else (now+debounce if scheduled is None else scheduled)\n    if operation == 'flush-deadline-inclusive':\n        return scheduled is not None and now>=scheduled+debounce\n    if operation == 'write-permission-gate':\n        return dirty and writable\n    if operation == 'success-cancels-timer':\n        return None if outcome=='ok' else scheduled\n    if operation == 'quota-error-classification':\n        return 'storage-full' if outcome=='quota' else ('unavailable' if not writable else None)\n    if operation == 'unchanged-write-suppression':\n        return draft!=saved\n    if operation == 'failed-write-retry-buffer':\n        return draft if outcome!='ok' else None\n    if operation == 'timer-delay-remaining':\n        return max(0,scheduled+debounce-now) if scheduled is not None else None\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('commit-only-on-success scenario 1', solve('commit-only-on-success', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), {'a':N+2})\ncheck('commit-only-on-success scenario 2', solve('commit-only-on-success', ({'a':N},{'a':0},True,True,'quota',3,4,2)), {'a':N})\ncheck('commit-only-on-success scenario 3', solve('commit-only-on-success', ({}, {},False,True,'ok',None,5,2)), {})\ncheck('commit-only-on-success scenario 4', solve('commit-only-on-success', ({'a':1},{'a':N},True,False,'denied',None,5,0)), {'a':1})\ncheck('commit-only-on-success scenario 5', solve('commit-only-on-success', ({'a':0},{'a':None},True,True,'ok',3,5,2)), {'a':None})\ncheck('commit-only-on-success scenario 6', solve('commit-only-on-success', ({'a':N},{'a':N},False,False,'ok',2,9,2)), {'a':N})\ncheck('retain-dirty-on-quota scenario 1', solve('retain-dirty-on-quota', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), False)\ncheck('retain-dirty-on-quota scenario 2', solve('retain-dirty-on-quota', ({'a':N},{'a':0},True,True,'quota',3,4,2)), True)\ncheck('retain-dirty-on-quota scenario 3', solve('retain-dirty-on-quota', ({}, {},False,True,'ok',None,5,2)), False)\ncheck('retain-dirty-on-quota scenario 4', solve('retain-dirty-on-quota', ({'a':1},{'a':N},True,False,'denied',None,5,0)), True)\ncheck('retain-dirty-on-quota scenario 5', solve('retain-dirty-on-quota', ({'a':0},{'a':None},True,True,'ok',3,5,2)), False)\ncheck('retain-dirty-on-quota scenario 6', solve('retain-dirty-on-quota', ({'a':N},{'a':N},False,False,'ok',2,9,2)), False)\ncheck('schedule-debounce scenario 1', solve('schedule-debounce', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), 2)\ncheck('schedule-debounce scenario 2', solve('schedule-debounce', ({'a':N},{'a':0},True,True,'quota',3,4,2)), 3)\ncheck('schedule-debounce scenario 3', solve('schedule-debounce', ({}, {},False,True,'ok',None,5,2)), None)\ncheck('schedule-debounce scenario 4', solve('schedule-debounce', ({'a':1},{'a':N},True,False,'denied',None,5,0)), 5)\ncheck('schedule-debounce scenario 5', solve('schedule-debounce', ({'a':0},{'a':None},True,True,'ok',3,5,2)), 3)\ncheck('schedule-debounce scenario 6', solve('schedule-debounce', ({'a':N},{'a':N},False,False,'ok',2,9,2)), None)\ncheck('flush-deadline-inclusive scenario 1', solve('flush-deadline-inclusive', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), True)\ncheck('flush-deadline-inclusive scenario 2', solve('flush-deadline-inclusive', ({'a':N},{'a':0},True,True,'quota',3,4,2)), False)\ncheck('flush-deadline-inclusive scenario 3', solve('flush-deadline-inclusive', ({}, {},False,True,'ok',None,5,2)), False)\ncheck('flush-deadline-inclusive scenario 4', solve('flush-deadline-inclusive', ({'a':1},{'a':N},True,False,'denied',None,5,0)), False)\ncheck('flush-deadline-inclusive scenario 5', solve('flush-deadline-inclusive', ({'a':0},{'a':None},True,True,'ok',3,5,2)), True)\ncheck('flush-deadline-inclusive scenario 6', solve('flush-deadline-inclusive', ({'a':N},{'a':N},False,False,'ok',2,9,2)), True)\ncheck('write-permission-gate scenario 1', solve('write-permission-gate', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), True)\ncheck('write-permission-gate scenario 2', solve('write-permission-gate', ({'a':N},{'a':0},True,True,'quota',3,4,2)), True)\ncheck('write-permission-gate scenario 3', solve('write-permission-gate', ({}, {},False,True,'ok',None,5,2)), False)\ncheck('write-permission-gate scenario 4', solve('write-permission-gate', ({'a':1},{'a':N},True,False,'denied',None,5,0)), False)\ncheck('write-permission-gate scenario 5', solve('write-permission-gate', ({'a':0},{'a':None},True,True,'ok',3,5,2)), True)\ncheck('write-permission-gate scenario 6', solve('write-permission-gate', ({'a':N},{'a':N},False,False,'ok',2,9,2)), False)\ncheck('success-cancels-timer scenario 1', solve('success-cancels-timer', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), None)\ncheck('success-cancels-timer scenario 2', solve('success-cancels-timer', ({'a':N},{'a':0},True,True,'quota',3,4,2)), 3)\ncheck('success-cancels-timer scenario 3', solve('success-cancels-timer', ({}, {},False,True,'ok',None,5,2)), None)\ncheck('success-cancels-timer scenario 4', solve('success-cancels-timer', ({'a':1},{'a':N},True,False,'denied',None,5,0)), None)\ncheck('success-cancels-timer scenario 5', solve('success-cancels-timer', ({'a':0},{'a':None},True,True,'ok',3,5,2)), None)\ncheck('success-cancels-timer scenario 6', solve('success-cancels-timer', ({'a':N},{'a':N},False,False,'ok',2,9,2)), None)\ncheck('quota-error-classification scenario 1', solve('quota-error-classification', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), None)\ncheck('quota-error-classification scenario 2', solve('quota-error-classification', ({'a':N},{'a':0},True,True,'quota',3,4,2)), 'storage-full')\ncheck('quota-error-classification scenario 3', solve('quota-error-classification', ({}, {},False,True,'ok',None,5,2)), None)\ncheck('quota-error-classification scenario 4', solve('quota-error-classification', ({'a':1},{'a':N},True,False,'denied',None,5,0)), 'unavailable')\ncheck('quota-error-classification scenario 5', solve('quota-error-classification', ({'a':0},{'a':None},True,True,'ok',3,5,2)), None)\ncheck('quota-error-classification scenario 6', solve('quota-error-classification', ({'a':N},{'a':N},False,False,'ok',2,9,2)), 'unavailable')\ncheck('unchanged-write-suppression scenario 1', solve('unchanged-write-suppression', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), True)\ncheck('unchanged-write-suppression scenario 2', solve('unchanged-write-suppression', ({'a':N},{'a':0},True,True,'quota',3,4,2)), True)\ncheck('unchanged-write-suppression scenario 3', solve('unchanged-write-suppression', ({}, {},False,True,'ok',None,5,2)), False)\ncheck('unchanged-write-suppression scenario 4', solve('unchanged-write-suppression', ({'a':1},{'a':N},True,False,'denied',None,5,0)), N!=1)\ncheck('unchanged-write-suppression scenario 5', solve('unchanged-write-suppression', ({'a':0},{'a':None},True,True,'ok',3,5,2)), True)\ncheck('unchanged-write-suppression scenario 6', solve('unchanged-write-suppression', ({'a':N},{'a':N},False,False,'ok',2,9,2)), False)\ncheck('failed-write-retry-buffer scenario 1', solve('failed-write-retry-buffer', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), None)\ncheck('failed-write-retry-buffer scenario 2', solve('failed-write-retry-buffer', ({'a':N},{'a':0},True,True,'quota',3,4,2)), {'a':0})\ncheck('failed-write-retry-buffer scenario 3', solve('failed-write-retry-buffer', ({}, {},False,True,'ok',None,5,2)), None)\ncheck('failed-write-retry-buffer scenario 4', solve('failed-write-retry-buffer', ({'a':1},{'a':N},True,False,'denied',None,5,0)), {'a':N})\ncheck('failed-write-retry-buffer scenario 5', solve('failed-write-retry-buffer', ({'a':0},{'a':None},True,True,'ok',3,5,2)), None)\ncheck('failed-write-retry-buffer scenario 6', solve('failed-write-retry-buffer', ({'a':N},{'a':N},False,False,'ok',2,9,2)), None)\ncheck('timer-delay-remaining scenario 1', solve('timer-delay-remaining', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), 0)\ncheck('timer-delay-remaining scenario 2', solve('timer-delay-remaining', ({'a':N},{'a':0},True,True,'quota',3,4,2)), 1)\ncheck('timer-delay-remaining scenario 3', solve('timer-delay-remaining', ({}, {},False,True,'ok',None,5,2)), None)\ncheck('timer-delay-remaining scenario 4', solve('timer-delay-remaining', ({'a':1},{'a':N},True,False,'denied',None,5,0)), None)\ncheck('timer-delay-remaining scenario 5', solve('timer-delay-remaining', ({'a':0},{'a':None},True,True,'ok',3,5,2)), 0)\ncheck('timer-delay-remaining scenario 6', solve('timer-delay-remaining', ({'a':N},{'a':N},False,False,'ok',2,9,2)), 0)\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":"3791554881f9124c2e235d0db9d7dd72220ce92738a067cefa4b579595290a29","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    saved, draft, dirty, writable, outcome, scheduled, now, debounce = s\n    if operation == 'commit-only-on-success':\n        return draft if outcome=='ok' and writable else saved\n    if operation == 'retain-dirty-on-quota':\n        return False\n    if operation == 'schedule-debounce':\n        return None if not dirty else (now+debounce if scheduled is None else scheduled)\n    if operation == 'flush-deadline-inclusive':\n        return scheduled is not None and now>=scheduled+debounce\n    if operation == 'write-permission-gate':\n        return dirty and writable\n    if operation == 'success-cancels-timer':\n        return None if outcome=='ok' else scheduled\n    if operation == 'quota-error-classification':\n        return 'storage-full' if outcome=='quota' else ('unavailable' if not writable else None)\n    if operation == 'unchanged-write-suppression':\n        return draft!=saved\n    if operation == 'failed-write-retry-buffer':\n        return draft if outcome!='ok' else None\n    if operation == 'timer-delay-remaining':\n        return max(0,scheduled+debounce-now) if scheduled is not None else None\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('commit-only-on-success scenario 1', solve('commit-only-on-success', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), {'a':N+2})\ncheck('commit-only-on-success scenario 2', solve('commit-only-on-success', ({'a':N},{'a':0},True,True,'quota',3,4,2)), {'a':N})\ncheck('commit-only-on-success scenario 3', solve('commit-only-on-success', ({}, {},False,True,'ok',None,5,2)), {})\ncheck('commit-only-on-success scenario 4', solve('commit-only-on-success', ({'a':1},{'a':N},True,False,'denied',None,5,0)), {'a':1})\ncheck('commit-only-on-success scenario 5', solve('commit-only-on-success', ({'a':0},{'a':None},True,True,'ok',3,5,2)), {'a':None})\ncheck('commit-only-on-success scenario 6', solve('commit-only-on-success', ({'a':N},{'a':N},False,False,'ok',2,9,2)), {'a':N})\ncheck('retain-dirty-on-quota scenario 1', solve('retain-dirty-on-quota', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), False)\ncheck('retain-dirty-on-quota scenario 2', solve('retain-dirty-on-quota', ({'a':N},{'a':0},True,True,'quota',3,4,2)), True)\ncheck('retain-dirty-on-quota scenario 3', solve('retain-dirty-on-quota', ({}, {},False,True,'ok',None,5,2)), False)\ncheck('retain-dirty-on-quota scenario 4', solve('retain-dirty-on-quota', ({'a':1},{'a':N},True,False,'denied',None,5,0)), True)\ncheck('retain-dirty-on-quota scenario 5', solve('retain-dirty-on-quota', ({'a':0},{'a':None},True,True,'ok',3,5,2)), False)\ncheck('retain-dirty-on-quota scenario 6', solve('retain-dirty-on-quota', ({'a':N},{'a':N},False,False,'ok',2,9,2)), False)\ncheck('schedule-debounce scenario 1', solve('schedule-debounce', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), 2)\ncheck('schedule-debounce scenario 2', solve('schedule-debounce', ({'a':N},{'a':0},True,True,'quota',3,4,2)), 3)\ncheck('schedule-debounce scenario 3', solve('schedule-debounce', ({}, {},False,True,'ok',None,5,2)), None)\ncheck('schedule-debounce scenario 4', solve('schedule-debounce', ({'a':1},{'a':N},True,False,'denied',None,5,0)), 5)\ncheck('schedule-debounce scenario 5', solve('schedule-debounce', ({'a':0},{'a':None},True,True,'ok',3,5,2)), 3)\ncheck('schedule-debounce scenario 6', solve('schedule-debounce', ({'a':N},{'a':N},False,False,'ok',2,9,2)), None)\ncheck('flush-deadline-inclusive scenario 1', solve('flush-deadline-inclusive', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), True)\ncheck('flush-deadline-inclusive scenario 2', solve('flush-deadline-inclusive', ({'a':N},{'a':0},True,True,'quota',3,4,2)), False)\ncheck('flush-deadline-inclusive scenario 3', solve('flush-deadline-inclusive', ({}, {},False,True,'ok',None,5,2)), False)\ncheck('flush-deadline-inclusive scenario 4', solve('flush-deadline-inclusive', ({'a':1},{'a':N},True,False,'denied',None,5,0)), False)\ncheck('flush-deadline-inclusive scenario 5', solve('flush-deadline-inclusive', ({'a':0},{'a':None},True,True,'ok',3,5,2)), True)\ncheck('flush-deadline-inclusive scenario 6', solve('flush-deadline-inclusive', ({'a':N},{'a':N},False,False,'ok',2,9,2)), True)\ncheck('write-permission-gate scenario 1', solve('write-permission-gate', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), True)\ncheck('write-permission-gate scenario 2', solve('write-permission-gate', ({'a':N},{'a':0},True,True,'quota',3,4,2)), True)\ncheck('write-permission-gate scenario 3', solve('write-permission-gate', ({}, {},False,True,'ok',None,5,2)), False)\ncheck('write-permission-gate scenario 4', solve('write-permission-gate', ({'a':1},{'a':N},True,False,'denied',None,5,0)), False)\ncheck('write-permission-gate scenario 5', solve('write-permission-gate', ({'a':0},{'a':None},True,True,'ok',3,5,2)), True)\ncheck('write-permission-gate scenario 6', solve('write-permission-gate', ({'a':N},{'a':N},False,False,'ok',2,9,2)), False)\ncheck('success-cancels-timer scenario 1', solve('success-cancels-timer', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), None)\ncheck('success-cancels-timer scenario 2', solve('success-cancels-timer', ({'a':N},{'a':0},True,True,'quota',3,4,2)), 3)\ncheck('success-cancels-timer scenario 3', solve('success-cancels-timer', ({}, {},False,True,'ok',None,5,2)), None)\ncheck('success-cancels-timer scenario 4', solve('success-cancels-timer', ({'a':1},{'a':N},True,False,'denied',None,5,0)), None)\ncheck('success-cancels-timer scenario 5', solve('success-cancels-timer', ({'a':0},{'a':None},True,True,'ok',3,5,2)), None)\ncheck('success-cancels-timer scenario 6', solve('success-cancels-timer', ({'a':N},{'a':N},False,False,'ok',2,9,2)), None)\ncheck('quota-error-classification scenario 1', solve('quota-error-classification', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), None)\ncheck('quota-error-classification scenario 2', solve('quota-error-classification', ({'a':N},{'a':0},True,True,'quota',3,4,2)), 'storage-full')\ncheck('quota-error-classification scenario 3', solve('quota-error-classification', ({}, {},False,True,'ok',None,5,2)), None)\ncheck('quota-error-classification scenario 4', solve('quota-error-classification', ({'a':1},{'a':N},True,False,'denied',None,5,0)), 'unavailable')\ncheck('quota-error-classification scenario 5', solve('quota-error-classification', ({'a':0},{'a':None},True,True,'ok',3,5,2)), None)\ncheck('quota-error-classification scenario 6', solve('quota-error-classification', ({'a':N},{'a':N},False,False,'ok',2,9,2)), 'unavailable')\ncheck('unchanged-write-suppression scenario 1', solve('unchanged-write-suppression', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), True)\ncheck('unchanged-write-suppression scenario 2', solve('unchanged-write-suppression', ({'a':N},{'a':0},True,True,'quota',3,4,2)), True)\ncheck('unchanged-write-suppression scenario 3', solve('unchanged-write-suppression', ({}, {},False,True,'ok',None,5,2)), False)\ncheck('unchanged-write-suppression scenario 4', solve('unchanged-write-suppression', ({'a':1},{'a':N},True,False,'denied',None,5,0)), N!=1)\ncheck('unchanged-write-suppression scenario 5', solve('unchanged-write-suppression', ({'a':0},{'a':None},True,True,'ok',3,5,2)), True)\ncheck('unchanged-write-suppression scenario 6', solve('unchanged-write-suppression', ({'a':N},{'a':N},False,False,'ok',2,9,2)), False)\ncheck('failed-write-retry-buffer scenario 1', solve('failed-write-retry-buffer', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), None)\ncheck('failed-write-retry-buffer scenario 2', solve('failed-write-retry-buffer', ({'a':N},{'a':0},True,True,'quota',3,4,2)), {'a':0})\ncheck('failed-write-retry-buffer scenario 3', solve('failed-write-retry-buffer', ({}, {},False,True,'ok',None,5,2)), None)\ncheck('failed-write-retry-buffer scenario 4', solve('failed-write-retry-buffer', ({'a':1},{'a':N},True,False,'denied',None,5,0)), {'a':N})\ncheck('failed-write-retry-buffer scenario 5', solve('failed-write-retry-buffer', ({'a':0},{'a':None},True,True,'ok',3,5,2)), None)\ncheck('failed-write-retry-buffer scenario 6', solve('failed-write-retry-buffer', ({'a':N},{'a':N},False,False,'ok',2,9,2)), None)\ncheck('timer-delay-remaining scenario 1', solve('timer-delay-remaining', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), 0)\ncheck('timer-delay-remaining scenario 2', solve('timer-delay-remaining', ({'a':N},{'a':0},True,True,'quota',3,4,2)), 1)\ncheck('timer-delay-remaining scenario 3', solve('timer-delay-remaining', ({}, {},False,True,'ok',None,5,2)), None)\ncheck('timer-delay-remaining scenario 4', solve('timer-delay-remaining', ({'a':1},{'a':N},True,False,'denied',None,5,0)), None)\ncheck('timer-delay-remaining scenario 5', solve('timer-delay-remaining', ({'a':0},{'a':None},True,True,'ok',3,5,2)), 0)\ncheck('timer-delay-remaining scenario 6', solve('timer-delay-remaining', ({'a':N},{'a':N},False,False,'ok',2,9,2)), 0)\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":"d25c0a854c6c11db00ce8b47ec83dac7fde8c56f17559cabea7e398fcd787e65","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    saved, draft, dirty, writable, outcome, scheduled, now, debounce = s\n    if operation == 'commit-only-on-success':\n        return draft if outcome=='ok' and writable else saved\n    if operation == 'retain-dirty-on-quota':\n        return dirty and (not writable or outcome!='ok')\n    if operation == 'schedule-debounce':\n        return None if not dirty else (now+debounce if scheduled is None else scheduled)\n    if operation == 'flush-deadline-inclusive':\n        return scheduled is not None and now>=scheduled+debounce\n    if operation == 'write-permission-gate':\n        return dirty and writable\n    if operation == 'success-cancels-timer':\n        return None if outcome=='ok' else scheduled\n    if operation == 'quota-error-classification':\n        return 'storage-full' if outcome=='quota' else ('unavailable' if not writable else None)\n    if operation == 'unchanged-write-suppression':\n        return draft!=saved\n    if operation == 'failed-write-retry-buffer':\n        return draft if outcome!='ok' else None\n    if operation == 'timer-delay-remaining':\n        return max(0,scheduled+debounce-now) if scheduled is not None else None\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('commit-only-on-success scenario 1', solve('commit-only-on-success', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), {'a':N+2})\ncheck('commit-only-on-success scenario 2', solve('commit-only-on-success', ({'a':N},{'a':0},True,True,'quota',3,4,2)), {'a':N})\ncheck('commit-only-on-success scenario 3', solve('commit-only-on-success', ({}, {},False,True,'ok',None,5,2)), {})\ncheck('commit-only-on-success scenario 4', solve('commit-only-on-success', ({'a':1},{'a':N},True,False,'denied',None,5,0)), {'a':1})\ncheck('commit-only-on-success scenario 5', solve('commit-only-on-success', ({'a':0},{'a':None},True,True,'ok',3,5,2)), {'a':None})\ncheck('commit-only-on-success scenario 6', solve('commit-only-on-success', ({'a':N},{'a':N},False,False,'ok',2,9,2)), {'a':N})\ncheck('retain-dirty-on-quota scenario 1', solve('retain-dirty-on-quota', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), False)\ncheck('retain-dirty-on-quota scenario 2', solve('retain-dirty-on-quota', ({'a':N},{'a':0},True,True,'quota',3,4,2)), True)\ncheck('retain-dirty-on-quota scenario 3', solve('retain-dirty-on-quota', ({}, {},False,True,'ok',None,5,2)), False)\ncheck('retain-dirty-on-quota scenario 4', solve('retain-dirty-on-quota', ({'a':1},{'a':N},True,False,'denied',None,5,0)), True)\ncheck('retain-dirty-on-quota scenario 5', solve('retain-dirty-on-quota', ({'a':0},{'a':None},True,True,'ok',3,5,2)), False)\ncheck('retain-dirty-on-quota scenario 6', solve('retain-dirty-on-quota', ({'a':N},{'a':N},False,False,'ok',2,9,2)), False)\ncheck('schedule-debounce scenario 1', solve('schedule-debounce', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), 2)\ncheck('schedule-debounce scenario 2', solve('schedule-debounce', ({'a':N},{'a':0},True,True,'quota',3,4,2)), 3)\ncheck('schedule-debounce scenario 3', solve('schedule-debounce', ({}, {},False,True,'ok',None,5,2)), None)\ncheck('schedule-debounce scenario 4', solve('schedule-debounce', ({'a':1},{'a':N},True,False,'denied',None,5,0)), 5)\ncheck('schedule-debounce scenario 5', solve('schedule-debounce', ({'a':0},{'a':None},True,True,'ok',3,5,2)), 3)\ncheck('schedule-debounce scenario 6', solve('schedule-debounce', ({'a':N},{'a':N},False,False,'ok',2,9,2)), None)\ncheck('flush-deadline-inclusive scenario 1', solve('flush-deadline-inclusive', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), True)\ncheck('flush-deadline-inclusive scenario 2', solve('flush-deadline-inclusive', ({'a':N},{'a':0},True,True,'quota',3,4,2)), False)\ncheck('flush-deadline-inclusive scenario 3', solve('flush-deadline-inclusive', ({}, {},False,True,'ok',None,5,2)), False)\ncheck('flush-deadline-inclusive scenario 4', solve('flush-deadline-inclusive', ({'a':1},{'a':N},True,False,'denied',None,5,0)), False)\ncheck('flush-deadline-inclusive scenario 5', solve('flush-deadline-inclusive', ({'a':0},{'a':None},True,True,'ok',3,5,2)), True)\ncheck('flush-deadline-inclusive scenario 6', solve('flush-deadline-inclusive', ({'a':N},{'a':N},False,False,'ok',2,9,2)), True)\ncheck('write-permission-gate scenario 1', solve('write-permission-gate', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), True)\ncheck('write-permission-gate scenario 2', solve('write-permission-gate', ({'a':N},{'a':0},True,True,'quota',3,4,2)), True)\ncheck('write-permission-gate scenario 3', solve('write-permission-gate', ({}, {},False,True,'ok',None,5,2)), False)\ncheck('write-permission-gate scenario 4', solve('write-permission-gate', ({'a':1},{'a':N},True,False,'denied',None,5,0)), False)\ncheck('write-permission-gate scenario 5', solve('write-permission-gate', ({'a':0},{'a':None},True,True,'ok',3,5,2)), True)\ncheck('write-permission-gate scenario 6', solve('write-permission-gate', ({'a':N},{'a':N},False,False,'ok',2,9,2)), False)\ncheck('success-cancels-timer scenario 1', solve('success-cancels-timer', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), None)\ncheck('success-cancels-timer scenario 2', solve('success-cancels-timer', ({'a':N},{'a':0},True,True,'quota',3,4,2)), 3)\ncheck('success-cancels-timer scenario 3', solve('success-cancels-timer', ({}, {},False,True,'ok',None,5,2)), None)\ncheck('success-cancels-timer scenario 4', solve('success-cancels-timer', ({'a':1},{'a':N},True,False,'denied',None,5,0)), None)\ncheck('success-cancels-timer scenario 5', solve('success-cancels-timer', ({'a':0},{'a':None},True,True,'ok',3,5,2)), None)\ncheck('success-cancels-timer scenario 6', solve('success-cancels-timer', ({'a':N},{'a':N},False,False,'ok',2,9,2)), None)\ncheck('quota-error-classification scenario 1', solve('quota-error-classification', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), None)\ncheck('quota-error-classification scenario 2', solve('quota-error-classification', ({'a':N},{'a':0},True,True,'quota',3,4,2)), 'storage-full')\ncheck('quota-error-classification scenario 3', solve('quota-error-classification', ({}, {},False,True,'ok',None,5,2)), None)\ncheck('quota-error-classification scenario 4', solve('quota-error-classification', ({'a':1},{'a':N},True,False,'denied',None,5,0)), 'unavailable')\ncheck('quota-error-classification scenario 5', solve('quota-error-classification', ({'a':0},{'a':None},True,True,'ok',3,5,2)), None)\ncheck('quota-error-classification scenario 6', solve('quota-error-classification', ({'a':N},{'a':N},False,False,'ok',2,9,2)), 'unavailable')\ncheck('unchanged-write-suppression scenario 1', solve('unchanged-write-suppression', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), True)\ncheck('unchanged-write-suppression scenario 2', solve('unchanged-write-suppression', ({'a':N},{'a':0},True,True,'quota',3,4,2)), True)\ncheck('unchanged-write-suppression scenario 3', solve('unchanged-write-suppression', ({}, {},False,True,'ok',None,5,2)), False)\ncheck('unchanged-write-suppression scenario 4', solve('unchanged-write-suppression', ({'a':1},{'a':N},True,False,'denied',None,5,0)), N!=1)\ncheck('unchanged-write-suppression scenario 5', solve('unchanged-write-suppression', ({'a':0},{'a':None},True,True,'ok',3,5,2)), True)\ncheck('unchanged-write-suppression scenario 6', solve('unchanged-write-suppression', ({'a':N},{'a':N},False,False,'ok',2,9,2)), False)\ncheck('failed-write-retry-buffer scenario 1', solve('failed-write-retry-buffer', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), None)\ncheck('failed-write-retry-buffer scenario 2', solve('failed-write-retry-buffer', ({'a':N},{'a':0},True,True,'quota',3,4,2)), {'a':0})\ncheck('failed-write-retry-buffer scenario 3', solve('failed-write-retry-buffer', ({}, {},False,True,'ok',None,5,2)), None)\ncheck('failed-write-retry-buffer scenario 4', solve('failed-write-retry-buffer', ({'a':1},{'a':N},True,False,'denied',None,5,0)), {'a':N})\ncheck('failed-write-retry-buffer scenario 5', solve('failed-write-retry-buffer', ({'a':0},{'a':None},True,True,'ok',3,5,2)), None)\ncheck('failed-write-retry-buffer scenario 6', solve('failed-write-retry-buffer', ({'a':N},{'a':N},False,False,'ok',2,9,2)), None)\ncheck('timer-delay-remaining scenario 1', solve('timer-delay-remaining', ({'a':1},{'a':N+2},True,True,'ok',2,5,2)), 0)\ncheck('timer-delay-remaining scenario 2', solve('timer-delay-remaining', ({'a':N},{'a':0},True,True,'quota',3,4,2)), 1)\ncheck('timer-delay-remaining scenario 3', solve('timer-delay-remaining', ({}, {},False,True,'ok',None,5,2)), None)\ncheck('timer-delay-remaining scenario 4', solve('timer-delay-remaining', ({'a':1},{'a':N},True,False,'denied',None,5,0)), None)\ncheck('timer-delay-remaining scenario 5', solve('timer-delay-remaining', ({'a':0},{'a':None},True,True,'ok',3,5,2)), 0)\ncheck('timer-delay-remaining scenario 6', solve('timer-delay-remaining', ({'a':N},{'a':N},False,False,'ok',2,9,2)), 0)\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-storage-write-retain-dirty-on-quota","generated_at":"2026-09-29T14:40:49.044015+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 retain-dirty-on-quota rule: `dirty and (not writable or outcome!='ok')`.","root_cause":"The retain-dirty-on-quota client decision evaluates `False` instead of `dirty and (not writable or outcome!='ok')`.","sha256":"bd616646433c412656bf463a1a9b1fdb0f54da162c7ca1b91daf04ce57fc1fbb","title":"Client persistence write transaction: Retain dirty on quota · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.253,"exit_code":1,"observations":[{"actual":{"a":3},"check":"commit-only-on-success scenario 1","expected":{"a":3},"passed":true},{"actual":{"a":1},"check":"commit-only-on-success scenario 2","expected":{"a":1},"passed":true},{"actual":{},"check":"commit-only-on-success scenario 3","expected":{},"passed":true},{"actual":{"a":1},"check":"commit-only-on-success scenario 4","expected":{"a":1},"passed":true},{"actual":{"a":null},"check":"commit-only-on-success scenario 5","expected":{"a":null},"passed":true},{"actual":{"a":1},"check":"commit-only-on-success scenario 6","expected":{"a":1},"passed":true},{"actual":false,"check":"retain-dirty-on-quota scenario 1","expected":false,"passed":true},{"actual":true,"check":"retain-dirty-on-quota scenario 2","expected":true,"passed":true},{"actual":false,"check":"retain-dirty-on-quota scenario 3","expected":false,"passed":true},{"actual":false,"check":"retain-dirty-on-quota scenario 4","expected":true,"passed":false},{"actual":false,"check":"retain-dirty-on-quota scenario 5","expected":false,"passed":true},{"actual":false,"check":"retain-dirty-on-quota scenario 6","expected":false,"passed":true},{"actual":2,"check":"schedule-debounce scenario 1","expected":2,"passed":true},{"actual":3,"check":"schedule-debounce scenario 2","expected":3,"passed":true},{"actual":null,"check":"schedule-debounce scenario 3","expected":null,"passed":true},{"actual":5,"check":"schedule-debounce scenario 4","expected":5,"passed":true},{"actual":3,"check":"schedule-debounce scenario 5","expected":3,"passed":true},{"actual":null,"check":"schedule-debounce scenario 6","expected":null,"passed":true},{"actual":true,"check":"flush-deadline-inclusive scenario 1","expected":true,"passed":true},{"actual":false,"check":"flush-deadline-inclusive scenario 2","expected":false,"passed":true},{"actual":false,"check":"flush-deadline-inclusive scenario 3","expected":false,"passed":true},{"actual":false,"check":"flush-deadline-inclusive scenario 4","expected":false,"passed":true},{"actual":true,"check":"flush-deadline-inclusive scenario 5","expected":true,"passed":true},{"actual":true,"check":"flush-deadline-inclusive scenario 6","expected":true,"passed":true},{"actual":true,"check":"write-permission-gate scenario 1","expected":true,"passed":true},{"actual":true,"check":"write-permission-gate scenario 2","expected":true,"passed":true},{"actual":false,"check":"write-permission-gate scenario 3","expected":false,"passed":true},{"actual":false,"check":"write-permission-gate scenario 4","expected":false,"passed":true},{"actual":true,"check":"write-permission-gate scenario 5","expected":true,"passed":true},{"actual":false,"check":"write-permission-gate scenario 6","expected":false,"passed":true},{"actual":null,"check":"success-cancels-timer scenario 1","expected":null,"passed":true},{"actual":3,"check":"success-cancels-timer scenario 2","expected":3,"passed":true},{"actual":null,"check":"success-cancels-timer scenario 3","expected":null,"passed":true},{"actual":null,"check":"success-cancels-timer scenario 4","expected":null,"passed":true},{"actual":null,"check":"success-cancels-timer scenario 5","expected":null,"passed":true},{"actual":null,"check":"success-cancels-timer scenario 6","expected":null,"passed":true},{"actual":null,"check":"quota-error-classification scenario 1","expected":null,"passed":true},{"actual":"storage-full","check":"quota-error-classification scenario 2","expected":"storage-full","passed":true},{"actual":null,"check":"quota-error-classification scenario 3","expected":null,"passed":true},{"actual":"unavailable","check":"quota-error-classification scenario 4","expected":"unavailable","passed":true},{"actual":null,"check":"quota-error-classification scenario 5","expected":null,"passed":true},{"actual":"unavailable","check":"quota-error-classification scenario 6","expected":"unavailable","passed":true},{"actual":true,"check":"unchanged-write-suppression scenario 1","expected":true,"passed":true},{"actual":true,"check":"unchanged-write-suppression scenario 2","expected":true,"passed":true},{"actual":false,"check":"unchanged-write-suppression scenario 3","expected":false,"passed":true},{"actual":false,"check":"unchanged-write-suppression scenario 4","expected":false,"passed":true},{"actual":true,"check":"unchanged-write-suppression scenario 5","expected":true,"passed":true},{"actual":false,"check":"unchanged-write-suppression scenario 6","expected":false,"passed":true},{"actual":null,"check":"failed-write-retry-buffer scenario 1","expected":null,"passed":true},{"actual":{"a":0},"check":"failed-write-retry-buffer scenario 2","expected":{"a":0},"passed":true},{"actual":null,"check":"failed-write-retry-buffer scenario 3","expected":null,"passed":true},{"actual":{"a":1},"check":"failed-write-retry-buffer scenario 4","expected":{"a":1},"passed":true},{"actual":null,"check":"failed-write-retry-buffer scenario 5","expected":null,"passed":true},{"actual":null,"check":"failed-write-retry-buffer scenario 6","expected":null,"passed":true},{"actual":0,"check":"timer-delay-remaining scenario 1","expected":0,"passed":true},{"actual":1,"check":"timer-delay-remaining scenario 2","expected":1,"passed":true},{"actual":null,"check":"timer-delay-remaining scenario 3","expected":null,"passed":true},{"actual":null,"check":"timer-delay-remaining scenario 4","expected":null,"passed":true},{"actual":0,"check":"timer-delay-remaining scenario 5","expected":0,"passed":true},{"actual":0,"check":"timer-delay-remaining scenario 6","expected":0,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"commit-only-on-success scenario 1\", \"actual\": {\"a\": 3}, \"expected\": {\"a\": 3}, \"passed\": true}, {\"check\": \"commit-only-on-success scenario 2\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"commit-only-on-success scenario 3\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"commit-only-on-success scenario 4\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"commit-only-on-success scenario 5\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"commit-only-on-success scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"retain-dirty-on-quota scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"retain-dirty-on-quota scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"retain-dirty-on-quota scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"retain-dirty-on-quota scenario 4\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"retain-dirty-on-quota scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"retain-dirty-on-quota scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"schedule-debounce scenario 1\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"schedule-debounce scenario 2\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"schedule-debounce scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"schedule-debounce scenario 4\", \"actual\": 5, \"expected\": 5, \"passed\": true}, {\"check\": \"schedule-debounce scenario 5\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"schedule-debounce scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 6\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"write-permission-gate scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"write-permission-gate scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"write-permission-gate scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"write-permission-gate scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"write-permission-gate scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"write-permission-gate scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 1\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 2\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 4\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"quota-error-classification scenario 1\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"quota-error-classification scenario 2\", \"actual\": \"storage-full\", \"expected\": \"storage-full\", \"passed\": true}, {\"check\": \"quota-error-classification scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"quota-error-classification scenario 4\", \"actual\": \"unavailable\", \"expected\": \"unavailable\", \"passed\": true}, {\"check\": \"quota-error-classification scenario 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"quota-error-classification scenario 6\", \"actual\": \"unavailable\", \"expected\": \"unavailable\", \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 1\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 2\", \"actual\": {\"a\": 0}, \"expected\": {\"a\": 0}, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 4\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 1\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 2\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 4\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 5\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 6\", \"actual\": 0, \"expected\": 0, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.649,"exit_code":1,"observations":[{"actual":{"a":3},"check":"commit-only-on-success scenario 1","expected":{"a":3},"passed":true},{"actual":{"a":1},"check":"commit-only-on-success scenario 2","expected":{"a":1},"passed":true},{"actual":{},"check":"commit-only-on-success scenario 3","expected":{},"passed":true},{"actual":{"a":1},"check":"commit-only-on-success scenario 4","expected":{"a":1},"passed":true},{"actual":{"a":null},"check":"commit-only-on-success scenario 5","expected":{"a":null},"passed":true},{"actual":{"a":1},"check":"commit-only-on-success scenario 6","expected":{"a":1},"passed":true},{"actual":false,"check":"retain-dirty-on-quota scenario 1","expected":false,"passed":true},{"actual":false,"check":"retain-dirty-on-quota scenario 2","expected":true,"passed":false},{"actual":false,"check":"retain-dirty-on-quota scenario 3","expected":false,"passed":true},{"actual":false,"check":"retain-dirty-on-quota scenario 4","expected":true,"passed":false},{"actual":false,"check":"retain-dirty-on-quota scenario 5","expected":false,"passed":true},{"actual":false,"check":"retain-dirty-on-quota scenario 6","expected":false,"passed":true},{"actual":2,"check":"schedule-debounce scenario 1","expected":2,"passed":true},{"actual":3,"check":"schedule-debounce scenario 2","expected":3,"passed":true},{"actual":null,"check":"schedule-debounce scenario 3","expected":null,"passed":true},{"actual":5,"check":"schedule-debounce scenario 4","expected":5,"passed":true},{"actual":3,"check":"schedule-debounce scenario 5","expected":3,"passed":true},{"actual":null,"check":"schedule-debounce scenario 6","expected":null,"passed":true},{"actual":true,"check":"flush-deadline-inclusive scenario 1","expected":true,"passed":true},{"actual":false,"check":"flush-deadline-inclusive scenario 2","expected":false,"passed":true},{"actual":false,"check":"flush-deadline-inclusive scenario 3","expected":false,"passed":true},{"actual":false,"check":"flush-deadline-inclusive scenario 4","expected":false,"passed":true},{"actual":true,"check":"flush-deadline-inclusive scenario 5","expected":true,"passed":true},{"actual":true,"check":"flush-deadline-inclusive scenario 6","expected":true,"passed":true},{"actual":true,"check":"write-permission-gate scenario 1","expected":true,"passed":true},{"actual":true,"check":"write-permission-gate scenario 2","expected":true,"passed":true},{"actual":false,"check":"write-permission-gate scenario 3","expected":false,"passed":true},{"actual":false,"check":"write-permission-gate scenario 4","expected":false,"passed":true},{"actual":true,"check":"write-permission-gate scenario 5","expected":true,"passed":true},{"actual":false,"check":"write-permission-gate scenario 6","expected":false,"passed":true},{"actual":null,"check":"success-cancels-timer scenario 1","expected":null,"passed":true},{"actual":3,"check":"success-cancels-timer scenario 2","expected":3,"passed":true},{"actual":null,"check":"success-cancels-timer scenario 3","expected":null,"passed":true},{"actual":null,"check":"success-cancels-timer scenario 4","expected":null,"passed":true},{"actual":null,"check":"success-cancels-timer scenario 5","expected":null,"passed":true},{"actual":null,"check":"success-cancels-timer scenario 6","expected":null,"passed":true},{"actual":null,"check":"quota-error-classification scenario 1","expected":null,"passed":true},{"actual":"storage-full","check":"quota-error-classification scenario 2","expected":"storage-full","passed":true},{"actual":null,"check":"quota-error-classification scenario 3","expected":null,"passed":true},{"actual":"unavailable","check":"quota-error-classification scenario 4","expected":"unavailable","passed":true},{"actual":null,"check":"quota-error-classification scenario 5","expected":null,"passed":true},{"actual":"unavailable","check":"quota-error-classification scenario 6","expected":"unavailable","passed":true},{"actual":true,"check":"unchanged-write-suppression scenario 1","expected":true,"passed":true},{"actual":true,"check":"unchanged-write-suppression scenario 2","expected":true,"passed":true},{"actual":false,"check":"unchanged-write-suppression scenario 3","expected":false,"passed":true},{"actual":false,"check":"unchanged-write-suppression scenario 4","expected":false,"passed":true},{"actual":true,"check":"unchanged-write-suppression scenario 5","expected":true,"passed":true},{"actual":false,"check":"unchanged-write-suppression scenario 6","expected":false,"passed":true},{"actual":null,"check":"failed-write-retry-buffer scenario 1","expected":null,"passed":true},{"actual":{"a":0},"check":"failed-write-retry-buffer scenario 2","expected":{"a":0},"passed":true},{"actual":null,"check":"failed-write-retry-buffer scenario 3","expected":null,"passed":true},{"actual":{"a":1},"check":"failed-write-retry-buffer scenario 4","expected":{"a":1},"passed":true},{"actual":null,"check":"failed-write-retry-buffer scenario 5","expected":null,"passed":true},{"actual":null,"check":"failed-write-retry-buffer scenario 6","expected":null,"passed":true},{"actual":0,"check":"timer-delay-remaining scenario 1","expected":0,"passed":true},{"actual":1,"check":"timer-delay-remaining scenario 2","expected":1,"passed":true},{"actual":null,"check":"timer-delay-remaining scenario 3","expected":null,"passed":true},{"actual":null,"check":"timer-delay-remaining scenario 4","expected":null,"passed":true},{"actual":0,"check":"timer-delay-remaining scenario 5","expected":0,"passed":true},{"actual":0,"check":"timer-delay-remaining scenario 6","expected":0,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"commit-only-on-success scenario 1\", \"actual\": {\"a\": 3}, \"expected\": {\"a\": 3}, \"passed\": true}, {\"check\": \"commit-only-on-success scenario 2\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"commit-only-on-success scenario 3\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"commit-only-on-success scenario 4\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"commit-only-on-success scenario 5\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"commit-only-on-success scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"retain-dirty-on-quota scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"retain-dirty-on-quota scenario 2\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"retain-dirty-on-quota scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"retain-dirty-on-quota scenario 4\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"retain-dirty-on-quota scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"retain-dirty-on-quota scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"schedule-debounce scenario 1\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"schedule-debounce scenario 2\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"schedule-debounce scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"schedule-debounce scenario 4\", \"actual\": 5, \"expected\": 5, \"passed\": true}, {\"check\": \"schedule-debounce scenario 5\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"schedule-debounce scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 6\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"write-permission-gate scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"write-permission-gate scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"write-permission-gate scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"write-permission-gate scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"write-permission-gate scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"write-permission-gate scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 1\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 2\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 4\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"quota-error-classification scenario 1\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"quota-error-classification scenario 2\", \"actual\": \"storage-full\", \"expected\": \"storage-full\", \"passed\": true}, {\"check\": \"quota-error-classification scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"quota-error-classification scenario 4\", \"actual\": \"unavailable\", \"expected\": \"unavailable\", \"passed\": true}, {\"check\": \"quota-error-classification scenario 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"quota-error-classification scenario 6\", \"actual\": \"unavailable\", \"expected\": \"unavailable\", \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 1\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 2\", \"actual\": {\"a\": 0}, \"expected\": {\"a\": 0}, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 4\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 1\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 2\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 4\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 5\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 6\", \"actual\": 0, \"expected\": 0, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.402,"exit_code":0,"observations":[{"actual":{"a":3},"check":"commit-only-on-success scenario 1","expected":{"a":3},"passed":true},{"actual":{"a":1},"check":"commit-only-on-success scenario 2","expected":{"a":1},"passed":true},{"actual":{},"check":"commit-only-on-success scenario 3","expected":{},"passed":true},{"actual":{"a":1},"check":"commit-only-on-success scenario 4","expected":{"a":1},"passed":true},{"actual":{"a":null},"check":"commit-only-on-success scenario 5","expected":{"a":null},"passed":true},{"actual":{"a":1},"check":"commit-only-on-success scenario 6","expected":{"a":1},"passed":true},{"actual":false,"check":"retain-dirty-on-quota scenario 1","expected":false,"passed":true},{"actual":true,"check":"retain-dirty-on-quota scenario 2","expected":true,"passed":true},{"actual":false,"check":"retain-dirty-on-quota scenario 3","expected":false,"passed":true},{"actual":true,"check":"retain-dirty-on-quota scenario 4","expected":true,"passed":true},{"actual":false,"check":"retain-dirty-on-quota scenario 5","expected":false,"passed":true},{"actual":false,"check":"retain-dirty-on-quota scenario 6","expected":false,"passed":true},{"actual":2,"check":"schedule-debounce scenario 1","expected":2,"passed":true},{"actual":3,"check":"schedule-debounce scenario 2","expected":3,"passed":true},{"actual":null,"check":"schedule-debounce scenario 3","expected":null,"passed":true},{"actual":5,"check":"schedule-debounce scenario 4","expected":5,"passed":true},{"actual":3,"check":"schedule-debounce scenario 5","expected":3,"passed":true},{"actual":null,"check":"schedule-debounce scenario 6","expected":null,"passed":true},{"actual":true,"check":"flush-deadline-inclusive scenario 1","expected":true,"passed":true},{"actual":false,"check":"flush-deadline-inclusive scenario 2","expected":false,"passed":true},{"actual":false,"check":"flush-deadline-inclusive scenario 3","expected":false,"passed":true},{"actual":false,"check":"flush-deadline-inclusive scenario 4","expected":false,"passed":true},{"actual":true,"check":"flush-deadline-inclusive scenario 5","expected":true,"passed":true},{"actual":true,"check":"flush-deadline-inclusive scenario 6","expected":true,"passed":true},{"actual":true,"check":"write-permission-gate scenario 1","expected":true,"passed":true},{"actual":true,"check":"write-permission-gate scenario 2","expected":true,"passed":true},{"actual":false,"check":"write-permission-gate scenario 3","expected":false,"passed":true},{"actual":false,"check":"write-permission-gate scenario 4","expected":false,"passed":true},{"actual":true,"check":"write-permission-gate scenario 5","expected":true,"passed":true},{"actual":false,"check":"write-permission-gate scenario 6","expected":false,"passed":true},{"actual":null,"check":"success-cancels-timer scenario 1","expected":null,"passed":true},{"actual":3,"check":"success-cancels-timer scenario 2","expected":3,"passed":true},{"actual":null,"check":"success-cancels-timer scenario 3","expected":null,"passed":true},{"actual":null,"check":"success-cancels-timer scenario 4","expected":null,"passed":true},{"actual":null,"check":"success-cancels-timer scenario 5","expected":null,"passed":true},{"actual":null,"check":"success-cancels-timer scenario 6","expected":null,"passed":true},{"actual":null,"check":"quota-error-classification scenario 1","expected":null,"passed":true},{"actual":"storage-full","check":"quota-error-classification scenario 2","expected":"storage-full","passed":true},{"actual":null,"check":"quota-error-classification scenario 3","expected":null,"passed":true},{"actual":"unavailable","check":"quota-error-classification scenario 4","expected":"unavailable","passed":true},{"actual":null,"check":"quota-error-classification scenario 5","expected":null,"passed":true},{"actual":"unavailable","check":"quota-error-classification scenario 6","expected":"unavailable","passed":true},{"actual":true,"check":"unchanged-write-suppression scenario 1","expected":true,"passed":true},{"actual":true,"check":"unchanged-write-suppression scenario 2","expected":true,"passed":true},{"actual":false,"check":"unchanged-write-suppression scenario 3","expected":false,"passed":true},{"actual":false,"check":"unchanged-write-suppression scenario 4","expected":false,"passed":true},{"actual":true,"check":"unchanged-write-suppression scenario 5","expected":true,"passed":true},{"actual":false,"check":"unchanged-write-suppression scenario 6","expected":false,"passed":true},{"actual":null,"check":"failed-write-retry-buffer scenario 1","expected":null,"passed":true},{"actual":{"a":0},"check":"failed-write-retry-buffer scenario 2","expected":{"a":0},"passed":true},{"actual":null,"check":"failed-write-retry-buffer scenario 3","expected":null,"passed":true},{"actual":{"a":1},"check":"failed-write-retry-buffer scenario 4","expected":{"a":1},"passed":true},{"actual":null,"check":"failed-write-retry-buffer scenario 5","expected":null,"passed":true},{"actual":null,"check":"failed-write-retry-buffer scenario 6","expected":null,"passed":true},{"actual":0,"check":"timer-delay-remaining scenario 1","expected":0,"passed":true},{"actual":1,"check":"timer-delay-remaining scenario 2","expected":1,"passed":true},{"actual":null,"check":"timer-delay-remaining scenario 3","expected":null,"passed":true},{"actual":null,"check":"timer-delay-remaining scenario 4","expected":null,"passed":true},{"actual":0,"check":"timer-delay-remaining scenario 5","expected":0,"passed":true},{"actual":0,"check":"timer-delay-remaining scenario 6","expected":0,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"commit-only-on-success scenario 1\", \"actual\": {\"a\": 3}, \"expected\": {\"a\": 3}, \"passed\": true}, {\"check\": \"commit-only-on-success scenario 2\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"commit-only-on-success scenario 3\", \"actual\": {}, \"expected\": {}, \"passed\": true}, {\"check\": \"commit-only-on-success scenario 4\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"commit-only-on-success scenario 5\", \"actual\": {\"a\": null}, \"expected\": {\"a\": null}, \"passed\": true}, {\"check\": \"commit-only-on-success scenario 6\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"retain-dirty-on-quota scenario 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"retain-dirty-on-quota scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"retain-dirty-on-quota scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"retain-dirty-on-quota scenario 4\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"retain-dirty-on-quota scenario 5\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"retain-dirty-on-quota scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"schedule-debounce scenario 1\", \"actual\": 2, \"expected\": 2, \"passed\": true}, {\"check\": \"schedule-debounce scenario 2\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"schedule-debounce scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"schedule-debounce scenario 4\", \"actual\": 5, \"expected\": 5, \"passed\": true}, {\"check\": \"schedule-debounce scenario 5\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"schedule-debounce scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"flush-deadline-inclusive scenario 6\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"write-permission-gate scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"write-permission-gate scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"write-permission-gate scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"write-permission-gate scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"write-permission-gate scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"write-permission-gate scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 1\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 2\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 4\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"success-cancels-timer scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"quota-error-classification scenario 1\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"quota-error-classification scenario 2\", \"actual\": \"storage-full\", \"expected\": \"storage-full\", \"passed\": true}, {\"check\": \"quota-error-classification scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"quota-error-classification scenario 4\", \"actual\": \"unavailable\", \"expected\": \"unavailable\", \"passed\": true}, {\"check\": \"quota-error-classification scenario 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"quota-error-classification scenario 6\", \"actual\": \"unavailable\", \"expected\": \"unavailable\", \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"unchanged-write-suppression scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 1\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 2\", \"actual\": {\"a\": 0}, \"expected\": {\"a\": 0}, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 4\", \"actual\": {\"a\": 1}, \"expected\": {\"a\": 1}, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"failed-write-retry-buffer scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 1\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 2\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 4\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 5\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"timer-delay-remaining scenario 6\", \"actual\": 0, \"expected\": 0, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}