{"abstract":"Foreground tick admission.","category":"Client state","checks":60,"contract":"Only one poll may be in flight. Foreground polling pauses offline or hidden; a background policy permits hidden work. Missed ticks coalesce into one catch-up request and scheduling restarts relative to the current clock. Operation foreground-tick-admission has the six explicit input/output oracles below.","evaluation_group":"s3-client-state-visibility-poll","failed_approach":"The partial repair `visible and online and not in_flight and now>=due` still violates the explicit fixture contract.","family":"s3-client-state-visibility-poll-foreground-tick-admission","id":"FA-24146","implementations":{"attempt":{"sha256":"db43c521b2f74d69962bde1cccfa4a9218a544cdc3a83fa4c614524f874e4a8d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    visible, online, interval, due, now, in_flight, queued, policy = s\n    if operation == 'foreground-tick-admission':\n        return visible and online and not in_flight and now>=due\n    if operation == 'resume-catchup-coalescing':\n        return int(queued>0)\n    if operation == 'next-tick-from-now':\n        return now+interval\n    if operation == 'remaining-delay-clamp':\n        return max(0,due-now)\n    if operation == 'offline-poll-reason':\n        return 'offline' if not online else ('hidden' if not visible and policy!='background' else None)\n    if operation == 'inflight-reconnect-dedup':\n        return online and not in_flight and queued>0\n    if operation == 'hidden-backlog-cap':\n        return min(queued,1) if not visible else queued\n    if operation == 'background-policy-override':\n        return visible or policy=='background'\n    if operation == 'timer-install-when-online':\n        return interval if online and (visible or policy=='background') else None\n    if operation == 'poll-transition-state':\n        return 'running' if in_flight else ('waiting' if online and (visible or policy=='background') else 'paused')\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('foreground-tick-admission scenario 1', solve('foreground-tick-admission', (True,True,N+2,5,5,False,3,'foreground')), True)\ncheck('foreground-tick-admission scenario 2', solve('foreground-tick-admission', (False,True,3,5,9,False,2,'foreground')), False)\ncheck('foreground-tick-admission scenario 3', solve('foreground-tick-admission', (True,False,3,5,9,False,1,'foreground')), False)\ncheck('foreground-tick-admission scenario 4', solve('foreground-tick-admission', (True,True,3,5,9,True,0,'foreground')), False)\ncheck('foreground-tick-admission scenario 5', solve('foreground-tick-admission', (False,True,3,5,9,False,2,'background')), True)\ncheck('foreground-tick-admission scenario 6', solve('foreground-tick-admission', (True,True,3,12,9,False,0,'foreground')), False)\ncheck('resume-catchup-coalescing scenario 1', solve('resume-catchup-coalescing', (True,True,N+2,5,5,False,3,'foreground')), 1)\ncheck('resume-catchup-coalescing scenario 2', solve('resume-catchup-coalescing', (False,True,3,5,9,False,2,'foreground')), 1)\ncheck('resume-catchup-coalescing scenario 3', solve('resume-catchup-coalescing', (True,False,3,5,9,False,1,'foreground')), 1)\ncheck('resume-catchup-coalescing scenario 4', solve('resume-catchup-coalescing', (True,True,3,5,9,True,0,'foreground')), 0)\ncheck('resume-catchup-coalescing scenario 5', solve('resume-catchup-coalescing', (False,True,3,5,9,False,2,'background')), 1)\ncheck('resume-catchup-coalescing scenario 6', solve('resume-catchup-coalescing', (True,True,3,12,9,False,0,'foreground')), 0)\ncheck('next-tick-from-now scenario 1', solve('next-tick-from-now', (True,True,N+2,5,5,False,3,'foreground')), N+7)\ncheck('next-tick-from-now scenario 2', solve('next-tick-from-now', (False,True,3,5,9,False,2,'foreground')), 12)\ncheck('next-tick-from-now scenario 3', solve('next-tick-from-now', (True,False,3,5,9,False,1,'foreground')), 12)\ncheck('next-tick-from-now scenario 4', solve('next-tick-from-now', (True,True,3,5,9,True,0,'foreground')), 12)\ncheck('next-tick-from-now scenario 5', solve('next-tick-from-now', (False,True,3,5,9,False,2,'background')), 12)\ncheck('next-tick-from-now scenario 6', solve('next-tick-from-now', (True,True,3,12,9,False,0,'foreground')), 12)\ncheck('remaining-delay-clamp scenario 1', solve('remaining-delay-clamp', (True,True,N+2,5,5,False,3,'foreground')), 0)\ncheck('remaining-delay-clamp scenario 2', solve('remaining-delay-clamp', (False,True,3,5,9,False,2,'foreground')), 0)\ncheck('remaining-delay-clamp scenario 3', solve('remaining-delay-clamp', (True,False,3,5,9,False,1,'foreground')), 0)\ncheck('remaining-delay-clamp scenario 4', solve('remaining-delay-clamp', (True,True,3,5,9,True,0,'foreground')), 0)\ncheck('remaining-delay-clamp scenario 5', solve('remaining-delay-clamp', (False,True,3,5,9,False,2,'background')), 0)\ncheck('remaining-delay-clamp scenario 6', solve('remaining-delay-clamp', (True,True,3,12,9,False,0,'foreground')), 3)\ncheck('offline-poll-reason scenario 1', solve('offline-poll-reason', (True,True,N+2,5,5,False,3,'foreground')), None)\ncheck('offline-poll-reason scenario 2', solve('offline-poll-reason', (False,True,3,5,9,False,2,'foreground')), 'hidden')\ncheck('offline-poll-reason scenario 3', solve('offline-poll-reason', (True,False,3,5,9,False,1,'foreground')), 'offline')\ncheck('offline-poll-reason scenario 4', solve('offline-poll-reason', (True,True,3,5,9,True,0,'foreground')), None)\ncheck('offline-poll-reason scenario 5', solve('offline-poll-reason', (False,True,3,5,9,False,2,'background')), None)\ncheck('offline-poll-reason scenario 6', solve('offline-poll-reason', (True,True,3,12,9,False,0,'foreground')), None)\ncheck('inflight-reconnect-dedup scenario 1', solve('inflight-reconnect-dedup', (True,True,N+2,5,5,False,3,'foreground')), True)\ncheck('inflight-reconnect-dedup scenario 2', solve('inflight-reconnect-dedup', (False,True,3,5,9,False,2,'foreground')), True)\ncheck('inflight-reconnect-dedup scenario 3', solve('inflight-reconnect-dedup', (True,False,3,5,9,False,1,'foreground')), False)\ncheck('inflight-reconnect-dedup scenario 4', solve('inflight-reconnect-dedup', (True,True,3,5,9,True,0,'foreground')), False)\ncheck('inflight-reconnect-dedup scenario 5', solve('inflight-reconnect-dedup', (False,True,3,5,9,False,2,'background')), True)\ncheck('inflight-reconnect-dedup scenario 6', solve('inflight-reconnect-dedup', (True,True,3,12,9,False,0,'foreground')), False)\ncheck('hidden-backlog-cap scenario 1', solve('hidden-backlog-cap', (True,True,N+2,5,5,False,3,'foreground')), 3)\ncheck('hidden-backlog-cap scenario 2', solve('hidden-backlog-cap', (False,True,3,5,9,False,2,'foreground')), 1)\ncheck('hidden-backlog-cap scenario 3', solve('hidden-backlog-cap', (True,False,3,5,9,False,1,'foreground')), 1)\ncheck('hidden-backlog-cap scenario 4', solve('hidden-backlog-cap', (True,True,3,5,9,True,0,'foreground')), 0)\ncheck('hidden-backlog-cap scenario 5', solve('hidden-backlog-cap', (False,True,3,5,9,False,2,'background')), 1)\ncheck('hidden-backlog-cap scenario 6', solve('hidden-backlog-cap', (True,True,3,12,9,False,0,'foreground')), 0)\ncheck('background-policy-override scenario 1', solve('background-policy-override', (True,True,N+2,5,5,False,3,'foreground')), True)\ncheck('background-policy-override scenario 2', solve('background-policy-override', (False,True,3,5,9,False,2,'foreground')), False)\ncheck('background-policy-override scenario 3', solve('background-policy-override', (True,False,3,5,9,False,1,'foreground')), True)\ncheck('background-policy-override scenario 4', solve('background-policy-override', (True,True,3,5,9,True,0,'foreground')), True)\ncheck('background-policy-override scenario 5', solve('background-policy-override', (False,True,3,5,9,False,2,'background')), True)\ncheck('background-policy-override scenario 6', solve('background-policy-override', (True,True,3,12,9,False,0,'foreground')), True)\ncheck('timer-install-when-online scenario 1', solve('timer-install-when-online', (True,True,N+2,5,5,False,3,'foreground')), N+2)\ncheck('timer-install-when-online scenario 2', solve('timer-install-when-online', (False,True,3,5,9,False,2,'foreground')), None)\ncheck('timer-install-when-online scenario 3', solve('timer-install-when-online', (True,False,3,5,9,False,1,'foreground')), None)\ncheck('timer-install-when-online scenario 4', solve('timer-install-when-online', (True,True,3,5,9,True,0,'foreground')), 3)\ncheck('timer-install-when-online scenario 5', solve('timer-install-when-online', (False,True,3,5,9,False,2,'background')), 3)\ncheck('timer-install-when-online scenario 6', solve('timer-install-when-online', (True,True,3,12,9,False,0,'foreground')), 3)\ncheck('poll-transition-state scenario 1', solve('poll-transition-state', (True,True,N+2,5,5,False,3,'foreground')), 'waiting')\ncheck('poll-transition-state scenario 2', solve('poll-transition-state', (False,True,3,5,9,False,2,'foreground')), 'paused')\ncheck('poll-transition-state scenario 3', solve('poll-transition-state', (True,False,3,5,9,False,1,'foreground')), 'paused')\ncheck('poll-transition-state scenario 4', solve('poll-transition-state', (True,True,3,5,9,True,0,'foreground')), 'running')\ncheck('poll-transition-state scenario 5', solve('poll-transition-state', (False,True,3,5,9,False,2,'background')), 'waiting')\ncheck('poll-transition-state scenario 6', solve('poll-transition-state', (True,True,3,12,9,False,0,'foreground')), 'waiting')\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":"baf8fc54443f0d024cdfb793849307351a4bb352d8bac8df51d9b749cbc925b8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    visible, online, interval, due, now, in_flight, queued, policy = s\n    if operation == 'foreground-tick-admission':\n        return online and now>=due\n    if operation == 'resume-catchup-coalescing':\n        return int(queued>0)\n    if operation == 'next-tick-from-now':\n        return now+interval\n    if operation == 'remaining-delay-clamp':\n        return max(0,due-now)\n    if operation == 'offline-poll-reason':\n        return 'offline' if not online else ('hidden' if not visible and policy!='background' else None)\n    if operation == 'inflight-reconnect-dedup':\n        return online and not in_flight and queued>0\n    if operation == 'hidden-backlog-cap':\n        return min(queued,1) if not visible else queued\n    if operation == 'background-policy-override':\n        return visible or policy=='background'\n    if operation == 'timer-install-when-online':\n        return interval if online and (visible or policy=='background') else None\n    if operation == 'poll-transition-state':\n        return 'running' if in_flight else ('waiting' if online and (visible or policy=='background') else 'paused')\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('foreground-tick-admission scenario 1', solve('foreground-tick-admission', (True,True,N+2,5,5,False,3,'foreground')), True)\ncheck('foreground-tick-admission scenario 2', solve('foreground-tick-admission', (False,True,3,5,9,False,2,'foreground')), False)\ncheck('foreground-tick-admission scenario 3', solve('foreground-tick-admission', (True,False,3,5,9,False,1,'foreground')), False)\ncheck('foreground-tick-admission scenario 4', solve('foreground-tick-admission', (True,True,3,5,9,True,0,'foreground')), False)\ncheck('foreground-tick-admission scenario 5', solve('foreground-tick-admission', (False,True,3,5,9,False,2,'background')), True)\ncheck('foreground-tick-admission scenario 6', solve('foreground-tick-admission', (True,True,3,12,9,False,0,'foreground')), False)\ncheck('resume-catchup-coalescing scenario 1', solve('resume-catchup-coalescing', (True,True,N+2,5,5,False,3,'foreground')), 1)\ncheck('resume-catchup-coalescing scenario 2', solve('resume-catchup-coalescing', (False,True,3,5,9,False,2,'foreground')), 1)\ncheck('resume-catchup-coalescing scenario 3', solve('resume-catchup-coalescing', (True,False,3,5,9,False,1,'foreground')), 1)\ncheck('resume-catchup-coalescing scenario 4', solve('resume-catchup-coalescing', (True,True,3,5,9,True,0,'foreground')), 0)\ncheck('resume-catchup-coalescing scenario 5', solve('resume-catchup-coalescing', (False,True,3,5,9,False,2,'background')), 1)\ncheck('resume-catchup-coalescing scenario 6', solve('resume-catchup-coalescing', (True,True,3,12,9,False,0,'foreground')), 0)\ncheck('next-tick-from-now scenario 1', solve('next-tick-from-now', (True,True,N+2,5,5,False,3,'foreground')), N+7)\ncheck('next-tick-from-now scenario 2', solve('next-tick-from-now', (False,True,3,5,9,False,2,'foreground')), 12)\ncheck('next-tick-from-now scenario 3', solve('next-tick-from-now', (True,False,3,5,9,False,1,'foreground')), 12)\ncheck('next-tick-from-now scenario 4', solve('next-tick-from-now', (True,True,3,5,9,True,0,'foreground')), 12)\ncheck('next-tick-from-now scenario 5', solve('next-tick-from-now', (False,True,3,5,9,False,2,'background')), 12)\ncheck('next-tick-from-now scenario 6', solve('next-tick-from-now', (True,True,3,12,9,False,0,'foreground')), 12)\ncheck('remaining-delay-clamp scenario 1', solve('remaining-delay-clamp', (True,True,N+2,5,5,False,3,'foreground')), 0)\ncheck('remaining-delay-clamp scenario 2', solve('remaining-delay-clamp', (False,True,3,5,9,False,2,'foreground')), 0)\ncheck('remaining-delay-clamp scenario 3', solve('remaining-delay-clamp', (True,False,3,5,9,False,1,'foreground')), 0)\ncheck('remaining-delay-clamp scenario 4', solve('remaining-delay-clamp', (True,True,3,5,9,True,0,'foreground')), 0)\ncheck('remaining-delay-clamp scenario 5', solve('remaining-delay-clamp', (False,True,3,5,9,False,2,'background')), 0)\ncheck('remaining-delay-clamp scenario 6', solve('remaining-delay-clamp', (True,True,3,12,9,False,0,'foreground')), 3)\ncheck('offline-poll-reason scenario 1', solve('offline-poll-reason', (True,True,N+2,5,5,False,3,'foreground')), None)\ncheck('offline-poll-reason scenario 2', solve('offline-poll-reason', (False,True,3,5,9,False,2,'foreground')), 'hidden')\ncheck('offline-poll-reason scenario 3', solve('offline-poll-reason', (True,False,3,5,9,False,1,'foreground')), 'offline')\ncheck('offline-poll-reason scenario 4', solve('offline-poll-reason', (True,True,3,5,9,True,0,'foreground')), None)\ncheck('offline-poll-reason scenario 5', solve('offline-poll-reason', (False,True,3,5,9,False,2,'background')), None)\ncheck('offline-poll-reason scenario 6', solve('offline-poll-reason', (True,True,3,12,9,False,0,'foreground')), None)\ncheck('inflight-reconnect-dedup scenario 1', solve('inflight-reconnect-dedup', (True,True,N+2,5,5,False,3,'foreground')), True)\ncheck('inflight-reconnect-dedup scenario 2', solve('inflight-reconnect-dedup', (False,True,3,5,9,False,2,'foreground')), True)\ncheck('inflight-reconnect-dedup scenario 3', solve('inflight-reconnect-dedup', (True,False,3,5,9,False,1,'foreground')), False)\ncheck('inflight-reconnect-dedup scenario 4', solve('inflight-reconnect-dedup', (True,True,3,5,9,True,0,'foreground')), False)\ncheck('inflight-reconnect-dedup scenario 5', solve('inflight-reconnect-dedup', (False,True,3,5,9,False,2,'background')), True)\ncheck('inflight-reconnect-dedup scenario 6', solve('inflight-reconnect-dedup', (True,True,3,12,9,False,0,'foreground')), False)\ncheck('hidden-backlog-cap scenario 1', solve('hidden-backlog-cap', (True,True,N+2,5,5,False,3,'foreground')), 3)\ncheck('hidden-backlog-cap scenario 2', solve('hidden-backlog-cap', (False,True,3,5,9,False,2,'foreground')), 1)\ncheck('hidden-backlog-cap scenario 3', solve('hidden-backlog-cap', (True,False,3,5,9,False,1,'foreground')), 1)\ncheck('hidden-backlog-cap scenario 4', solve('hidden-backlog-cap', (True,True,3,5,9,True,0,'foreground')), 0)\ncheck('hidden-backlog-cap scenario 5', solve('hidden-backlog-cap', (False,True,3,5,9,False,2,'background')), 1)\ncheck('hidden-backlog-cap scenario 6', solve('hidden-backlog-cap', (True,True,3,12,9,False,0,'foreground')), 0)\ncheck('background-policy-override scenario 1', solve('background-policy-override', (True,True,N+2,5,5,False,3,'foreground')), True)\ncheck('background-policy-override scenario 2', solve('background-policy-override', (False,True,3,5,9,False,2,'foreground')), False)\ncheck('background-policy-override scenario 3', solve('background-policy-override', (True,False,3,5,9,False,1,'foreground')), True)\ncheck('background-policy-override scenario 4', solve('background-policy-override', (True,True,3,5,9,True,0,'foreground')), True)\ncheck('background-policy-override scenario 5', solve('background-policy-override', (False,True,3,5,9,False,2,'background')), True)\ncheck('background-policy-override scenario 6', solve('background-policy-override', (True,True,3,12,9,False,0,'foreground')), True)\ncheck('timer-install-when-online scenario 1', solve('timer-install-when-online', (True,True,N+2,5,5,False,3,'foreground')), N+2)\ncheck('timer-install-when-online scenario 2', solve('timer-install-when-online', (False,True,3,5,9,False,2,'foreground')), None)\ncheck('timer-install-when-online scenario 3', solve('timer-install-when-online', (True,False,3,5,9,False,1,'foreground')), None)\ncheck('timer-install-when-online scenario 4', solve('timer-install-when-online', (True,True,3,5,9,True,0,'foreground')), 3)\ncheck('timer-install-when-online scenario 5', solve('timer-install-when-online', (False,True,3,5,9,False,2,'background')), 3)\ncheck('timer-install-when-online scenario 6', solve('timer-install-when-online', (True,True,3,12,9,False,0,'foreground')), 3)\ncheck('poll-transition-state scenario 1', solve('poll-transition-state', (True,True,N+2,5,5,False,3,'foreground')), 'waiting')\ncheck('poll-transition-state scenario 2', solve('poll-transition-state', (False,True,3,5,9,False,2,'foreground')), 'paused')\ncheck('poll-transition-state scenario 3', solve('poll-transition-state', (True,False,3,5,9,False,1,'foreground')), 'paused')\ncheck('poll-transition-state scenario 4', solve('poll-transition-state', (True,True,3,5,9,True,0,'foreground')), 'running')\ncheck('poll-transition-state scenario 5', solve('poll-transition-state', (False,True,3,5,9,False,2,'background')), 'waiting')\ncheck('poll-transition-state scenario 6', solve('poll-transition-state', (True,True,3,12,9,False,0,'foreground')), 'waiting')\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":"ba9d5f3d70d9da61e2b87133d4b4679650e5176bf30106c112706a2cc6175fe2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(operation, s):\n    visible, online, interval, due, now, in_flight, queued, policy = s\n    if operation == 'foreground-tick-admission':\n        return online and (visible or policy=='background') and not in_flight and now>=due\n    if operation == 'resume-catchup-coalescing':\n        return int(queued>0)\n    if operation == 'next-tick-from-now':\n        return now+interval\n    if operation == 'remaining-delay-clamp':\n        return max(0,due-now)\n    if operation == 'offline-poll-reason':\n        return 'offline' if not online else ('hidden' if not visible and policy!='background' else None)\n    if operation == 'inflight-reconnect-dedup':\n        return online and not in_flight and queued>0\n    if operation == 'hidden-backlog-cap':\n        return min(queued,1) if not visible else queued\n    if operation == 'background-policy-override':\n        return visible or policy=='background'\n    if operation == 'timer-install-when-online':\n        return interval if online and (visible or policy=='background') else None\n    if operation == 'poll-transition-state':\n        return 'running' if in_flight else ('waiting' if online and (visible or policy=='background') else 'paused')\n    raise ValueError('unknown modeled operation')\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('foreground-tick-admission scenario 1', solve('foreground-tick-admission', (True,True,N+2,5,5,False,3,'foreground')), True)\ncheck('foreground-tick-admission scenario 2', solve('foreground-tick-admission', (False,True,3,5,9,False,2,'foreground')), False)\ncheck('foreground-tick-admission scenario 3', solve('foreground-tick-admission', (True,False,3,5,9,False,1,'foreground')), False)\ncheck('foreground-tick-admission scenario 4', solve('foreground-tick-admission', (True,True,3,5,9,True,0,'foreground')), False)\ncheck('foreground-tick-admission scenario 5', solve('foreground-tick-admission', (False,True,3,5,9,False,2,'background')), True)\ncheck('foreground-tick-admission scenario 6', solve('foreground-tick-admission', (True,True,3,12,9,False,0,'foreground')), False)\ncheck('resume-catchup-coalescing scenario 1', solve('resume-catchup-coalescing', (True,True,N+2,5,5,False,3,'foreground')), 1)\ncheck('resume-catchup-coalescing scenario 2', solve('resume-catchup-coalescing', (False,True,3,5,9,False,2,'foreground')), 1)\ncheck('resume-catchup-coalescing scenario 3', solve('resume-catchup-coalescing', (True,False,3,5,9,False,1,'foreground')), 1)\ncheck('resume-catchup-coalescing scenario 4', solve('resume-catchup-coalescing', (True,True,3,5,9,True,0,'foreground')), 0)\ncheck('resume-catchup-coalescing scenario 5', solve('resume-catchup-coalescing', (False,True,3,5,9,False,2,'background')), 1)\ncheck('resume-catchup-coalescing scenario 6', solve('resume-catchup-coalescing', (True,True,3,12,9,False,0,'foreground')), 0)\ncheck('next-tick-from-now scenario 1', solve('next-tick-from-now', (True,True,N+2,5,5,False,3,'foreground')), N+7)\ncheck('next-tick-from-now scenario 2', solve('next-tick-from-now', (False,True,3,5,9,False,2,'foreground')), 12)\ncheck('next-tick-from-now scenario 3', solve('next-tick-from-now', (True,False,3,5,9,False,1,'foreground')), 12)\ncheck('next-tick-from-now scenario 4', solve('next-tick-from-now', (True,True,3,5,9,True,0,'foreground')), 12)\ncheck('next-tick-from-now scenario 5', solve('next-tick-from-now', (False,True,3,5,9,False,2,'background')), 12)\ncheck('next-tick-from-now scenario 6', solve('next-tick-from-now', (True,True,3,12,9,False,0,'foreground')), 12)\ncheck('remaining-delay-clamp scenario 1', solve('remaining-delay-clamp', (True,True,N+2,5,5,False,3,'foreground')), 0)\ncheck('remaining-delay-clamp scenario 2', solve('remaining-delay-clamp', (False,True,3,5,9,False,2,'foreground')), 0)\ncheck('remaining-delay-clamp scenario 3', solve('remaining-delay-clamp', (True,False,3,5,9,False,1,'foreground')), 0)\ncheck('remaining-delay-clamp scenario 4', solve('remaining-delay-clamp', (True,True,3,5,9,True,0,'foreground')), 0)\ncheck('remaining-delay-clamp scenario 5', solve('remaining-delay-clamp', (False,True,3,5,9,False,2,'background')), 0)\ncheck('remaining-delay-clamp scenario 6', solve('remaining-delay-clamp', (True,True,3,12,9,False,0,'foreground')), 3)\ncheck('offline-poll-reason scenario 1', solve('offline-poll-reason', (True,True,N+2,5,5,False,3,'foreground')), None)\ncheck('offline-poll-reason scenario 2', solve('offline-poll-reason', (False,True,3,5,9,False,2,'foreground')), 'hidden')\ncheck('offline-poll-reason scenario 3', solve('offline-poll-reason', (True,False,3,5,9,False,1,'foreground')), 'offline')\ncheck('offline-poll-reason scenario 4', solve('offline-poll-reason', (True,True,3,5,9,True,0,'foreground')), None)\ncheck('offline-poll-reason scenario 5', solve('offline-poll-reason', (False,True,3,5,9,False,2,'background')), None)\ncheck('offline-poll-reason scenario 6', solve('offline-poll-reason', (True,True,3,12,9,False,0,'foreground')), None)\ncheck('inflight-reconnect-dedup scenario 1', solve('inflight-reconnect-dedup', (True,True,N+2,5,5,False,3,'foreground')), True)\ncheck('inflight-reconnect-dedup scenario 2', solve('inflight-reconnect-dedup', (False,True,3,5,9,False,2,'foreground')), True)\ncheck('inflight-reconnect-dedup scenario 3', solve('inflight-reconnect-dedup', (True,False,3,5,9,False,1,'foreground')), False)\ncheck('inflight-reconnect-dedup scenario 4', solve('inflight-reconnect-dedup', (True,True,3,5,9,True,0,'foreground')), False)\ncheck('inflight-reconnect-dedup scenario 5', solve('inflight-reconnect-dedup', (False,True,3,5,9,False,2,'background')), True)\ncheck('inflight-reconnect-dedup scenario 6', solve('inflight-reconnect-dedup', (True,True,3,12,9,False,0,'foreground')), False)\ncheck('hidden-backlog-cap scenario 1', solve('hidden-backlog-cap', (True,True,N+2,5,5,False,3,'foreground')), 3)\ncheck('hidden-backlog-cap scenario 2', solve('hidden-backlog-cap', (False,True,3,5,9,False,2,'foreground')), 1)\ncheck('hidden-backlog-cap scenario 3', solve('hidden-backlog-cap', (True,False,3,5,9,False,1,'foreground')), 1)\ncheck('hidden-backlog-cap scenario 4', solve('hidden-backlog-cap', (True,True,3,5,9,True,0,'foreground')), 0)\ncheck('hidden-backlog-cap scenario 5', solve('hidden-backlog-cap', (False,True,3,5,9,False,2,'background')), 1)\ncheck('hidden-backlog-cap scenario 6', solve('hidden-backlog-cap', (True,True,3,12,9,False,0,'foreground')), 0)\ncheck('background-policy-override scenario 1', solve('background-policy-override', (True,True,N+2,5,5,False,3,'foreground')), True)\ncheck('background-policy-override scenario 2', solve('background-policy-override', (False,True,3,5,9,False,2,'foreground')), False)\ncheck('background-policy-override scenario 3', solve('background-policy-override', (True,False,3,5,9,False,1,'foreground')), True)\ncheck('background-policy-override scenario 4', solve('background-policy-override', (True,True,3,5,9,True,0,'foreground')), True)\ncheck('background-policy-override scenario 5', solve('background-policy-override', (False,True,3,5,9,False,2,'background')), True)\ncheck('background-policy-override scenario 6', solve('background-policy-override', (True,True,3,12,9,False,0,'foreground')), True)\ncheck('timer-install-when-online scenario 1', solve('timer-install-when-online', (True,True,N+2,5,5,False,3,'foreground')), N+2)\ncheck('timer-install-when-online scenario 2', solve('timer-install-when-online', (False,True,3,5,9,False,2,'foreground')), None)\ncheck('timer-install-when-online scenario 3', solve('timer-install-when-online', (True,False,3,5,9,False,1,'foreground')), None)\ncheck('timer-install-when-online scenario 4', solve('timer-install-when-online', (True,True,3,5,9,True,0,'foreground')), 3)\ncheck('timer-install-when-online scenario 5', solve('timer-install-when-online', (False,True,3,5,9,False,2,'background')), 3)\ncheck('timer-install-when-online scenario 6', solve('timer-install-when-online', (True,True,3,12,9,False,0,'foreground')), 3)\ncheck('poll-transition-state scenario 1', solve('poll-transition-state', (True,True,N+2,5,5,False,3,'foreground')), 'waiting')\ncheck('poll-transition-state scenario 2', solve('poll-transition-state', (False,True,3,5,9,False,2,'foreground')), 'paused')\ncheck('poll-transition-state scenario 3', solve('poll-transition-state', (True,False,3,5,9,False,1,'foreground')), 'paused')\ncheck('poll-transition-state scenario 4', solve('poll-transition-state', (True,True,3,5,9,True,0,'foreground')), 'running')\ncheck('poll-transition-state scenario 5', solve('poll-transition-state', (False,True,3,5,9,False,2,'background')), 'waiting')\ncheck('poll-transition-state scenario 6', solve('poll-transition-state', (True,True,3,12,9,False,0,'foreground')), 'waiting')\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-visibility-poll-foreground-tick-admission","generated_at":"2026-09-29T14:40:54.486158+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 foreground-tick-admission rule: `online and (visible or policy=='background') and not in_flight and now>=due`.","root_cause":"The foreground-tick-admission client decision evaluates `online and now>=due` instead of `online and (visible or policy=='background') and not in_flight and now>=due`.","sha256":"7b12825ce872ba9e090b3c1ce7be800562d5eca0cf321709de085b79f5fca5de","title":"Visibility-aware client polling: Foreground tick admission · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":43.716,"exit_code":1,"observations":[{"actual":true,"check":"foreground-tick-admission scenario 1","expected":true,"passed":true},{"actual":false,"check":"foreground-tick-admission scenario 2","expected":false,"passed":true},{"actual":false,"check":"foreground-tick-admission scenario 3","expected":false,"passed":true},{"actual":false,"check":"foreground-tick-admission scenario 4","expected":false,"passed":true},{"actual":false,"check":"foreground-tick-admission scenario 5","expected":true,"passed":false},{"actual":false,"check":"foreground-tick-admission scenario 6","expected":false,"passed":true},{"actual":1,"check":"resume-catchup-coalescing scenario 1","expected":1,"passed":true},{"actual":1,"check":"resume-catchup-coalescing scenario 2","expected":1,"passed":true},{"actual":1,"check":"resume-catchup-coalescing scenario 3","expected":1,"passed":true},{"actual":0,"check":"resume-catchup-coalescing scenario 4","expected":0,"passed":true},{"actual":1,"check":"resume-catchup-coalescing scenario 5","expected":1,"passed":true},{"actual":0,"check":"resume-catchup-coalescing scenario 6","expected":0,"passed":true},{"actual":8,"check":"next-tick-from-now scenario 1","expected":8,"passed":true},{"actual":12,"check":"next-tick-from-now scenario 2","expected":12,"passed":true},{"actual":12,"check":"next-tick-from-now scenario 3","expected":12,"passed":true},{"actual":12,"check":"next-tick-from-now scenario 4","expected":12,"passed":true},{"actual":12,"check":"next-tick-from-now scenario 5","expected":12,"passed":true},{"actual":12,"check":"next-tick-from-now scenario 6","expected":12,"passed":true},{"actual":0,"check":"remaining-delay-clamp scenario 1","expected":0,"passed":true},{"actual":0,"check":"remaining-delay-clamp scenario 2","expected":0,"passed":true},{"actual":0,"check":"remaining-delay-clamp scenario 3","expected":0,"passed":true},{"actual":0,"check":"remaining-delay-clamp scenario 4","expected":0,"passed":true},{"actual":0,"check":"remaining-delay-clamp scenario 5","expected":0,"passed":true},{"actual":3,"check":"remaining-delay-clamp scenario 6","expected":3,"passed":true},{"actual":null,"check":"offline-poll-reason scenario 1","expected":null,"passed":true},{"actual":"hidden","check":"offline-poll-reason scenario 2","expected":"hidden","passed":true},{"actual":"offline","check":"offline-poll-reason scenario 3","expected":"offline","passed":true},{"actual":null,"check":"offline-poll-reason scenario 4","expected":null,"passed":true},{"actual":null,"check":"offline-poll-reason scenario 5","expected":null,"passed":true},{"actual":null,"check":"offline-poll-reason scenario 6","expected":null,"passed":true},{"actual":true,"check":"inflight-reconnect-dedup scenario 1","expected":true,"passed":true},{"actual":true,"check":"inflight-reconnect-dedup scenario 2","expected":true,"passed":true},{"actual":false,"check":"inflight-reconnect-dedup scenario 3","expected":false,"passed":true},{"actual":false,"check":"inflight-reconnect-dedup scenario 4","expected":false,"passed":true},{"actual":true,"check":"inflight-reconnect-dedup scenario 5","expected":true,"passed":true},{"actual":false,"check":"inflight-reconnect-dedup scenario 6","expected":false,"passed":true},{"actual":3,"check":"hidden-backlog-cap scenario 1","expected":3,"passed":true},{"actual":1,"check":"hidden-backlog-cap scenario 2","expected":1,"passed":true},{"actual":1,"check":"hidden-backlog-cap scenario 3","expected":1,"passed":true},{"actual":0,"check":"hidden-backlog-cap scenario 4","expected":0,"passed":true},{"actual":1,"check":"hidden-backlog-cap scenario 5","expected":1,"passed":true},{"actual":0,"check":"hidden-backlog-cap scenario 6","expected":0,"passed":true},{"actual":true,"check":"background-policy-override scenario 1","expected":true,"passed":true},{"actual":false,"check":"background-policy-override scenario 2","expected":false,"passed":true},{"actual":true,"check":"background-policy-override scenario 3","expected":true,"passed":true},{"actual":true,"check":"background-policy-override scenario 4","expected":true,"passed":true},{"actual":true,"check":"background-policy-override scenario 5","expected":true,"passed":true},{"actual":true,"check":"background-policy-override scenario 6","expected":true,"passed":true},{"actual":3,"check":"timer-install-when-online scenario 1","expected":3,"passed":true},{"actual":null,"check":"timer-install-when-online scenario 2","expected":null,"passed":true},{"actual":null,"check":"timer-install-when-online scenario 3","expected":null,"passed":true},{"actual":3,"check":"timer-install-when-online scenario 4","expected":3,"passed":true},{"actual":3,"check":"timer-install-when-online scenario 5","expected":3,"passed":true},{"actual":3,"check":"timer-install-when-online scenario 6","expected":3,"passed":true},{"actual":"waiting","check":"poll-transition-state scenario 1","expected":"waiting","passed":true},{"actual":"paused","check":"poll-transition-state scenario 2","expected":"paused","passed":true},{"actual":"paused","check":"poll-transition-state scenario 3","expected":"paused","passed":true},{"actual":"running","check":"poll-transition-state scenario 4","expected":"running","passed":true},{"actual":"waiting","check":"poll-transition-state scenario 5","expected":"waiting","passed":true},{"actual":"waiting","check":"poll-transition-state scenario 6","expected":"waiting","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"foreground-tick-admission scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"foreground-tick-admission scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"foreground-tick-admission scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"foreground-tick-admission scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"foreground-tick-admission scenario 5\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"foreground-tick-admission scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 2\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 3\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 5\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 6\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 1\", \"actual\": 8, \"expected\": 8, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 2\", \"actual\": 12, \"expected\": 12, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 3\", \"actual\": 12, \"expected\": 12, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 4\", \"actual\": 12, \"expected\": 12, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 5\", \"actual\": 12, \"expected\": 12, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 6\", \"actual\": 12, \"expected\": 12, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 1\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 3\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 5\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 6\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"offline-poll-reason scenario 1\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"offline-poll-reason scenario 2\", \"actual\": \"hidden\", \"expected\": \"hidden\", \"passed\": true}, {\"check\": \"offline-poll-reason scenario 3\", \"actual\": \"offline\", \"expected\": \"offline\", \"passed\": true}, {\"check\": \"offline-poll-reason scenario 4\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"offline-poll-reason scenario 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"offline-poll-reason scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 1\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 2\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 3\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 5\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 6\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"background-policy-override scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"background-policy-override scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"background-policy-override scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"background-policy-override scenario 4\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"background-policy-override scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"background-policy-override scenario 6\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 1\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 2\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 4\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 5\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 6\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"poll-transition-state scenario 1\", \"actual\": \"waiting\", \"expected\": \"waiting\", \"passed\": true}, {\"check\": \"poll-transition-state scenario 2\", \"actual\": \"paused\", \"expected\": \"paused\", \"passed\": true}, {\"check\": \"poll-transition-state scenario 3\", \"actual\": \"paused\", \"expected\": \"paused\", \"passed\": true}, {\"check\": \"poll-transition-state scenario 4\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"poll-transition-state scenario 5\", \"actual\": \"waiting\", \"expected\": \"waiting\", \"passed\": true}, {\"check\": \"poll-transition-state scenario 6\", \"actual\": \"waiting\", \"expected\": \"waiting\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.053,"exit_code":1,"observations":[{"actual":true,"check":"foreground-tick-admission scenario 1","expected":true,"passed":true},{"actual":true,"check":"foreground-tick-admission scenario 2","expected":false,"passed":false},{"actual":false,"check":"foreground-tick-admission scenario 3","expected":false,"passed":true},{"actual":true,"check":"foreground-tick-admission scenario 4","expected":false,"passed":false},{"actual":true,"check":"foreground-tick-admission scenario 5","expected":true,"passed":true},{"actual":false,"check":"foreground-tick-admission scenario 6","expected":false,"passed":true},{"actual":1,"check":"resume-catchup-coalescing scenario 1","expected":1,"passed":true},{"actual":1,"check":"resume-catchup-coalescing scenario 2","expected":1,"passed":true},{"actual":1,"check":"resume-catchup-coalescing scenario 3","expected":1,"passed":true},{"actual":0,"check":"resume-catchup-coalescing scenario 4","expected":0,"passed":true},{"actual":1,"check":"resume-catchup-coalescing scenario 5","expected":1,"passed":true},{"actual":0,"check":"resume-catchup-coalescing scenario 6","expected":0,"passed":true},{"actual":8,"check":"next-tick-from-now scenario 1","expected":8,"passed":true},{"actual":12,"check":"next-tick-from-now scenario 2","expected":12,"passed":true},{"actual":12,"check":"next-tick-from-now scenario 3","expected":12,"passed":true},{"actual":12,"check":"next-tick-from-now scenario 4","expected":12,"passed":true},{"actual":12,"check":"next-tick-from-now scenario 5","expected":12,"passed":true},{"actual":12,"check":"next-tick-from-now scenario 6","expected":12,"passed":true},{"actual":0,"check":"remaining-delay-clamp scenario 1","expected":0,"passed":true},{"actual":0,"check":"remaining-delay-clamp scenario 2","expected":0,"passed":true},{"actual":0,"check":"remaining-delay-clamp scenario 3","expected":0,"passed":true},{"actual":0,"check":"remaining-delay-clamp scenario 4","expected":0,"passed":true},{"actual":0,"check":"remaining-delay-clamp scenario 5","expected":0,"passed":true},{"actual":3,"check":"remaining-delay-clamp scenario 6","expected":3,"passed":true},{"actual":null,"check":"offline-poll-reason scenario 1","expected":null,"passed":true},{"actual":"hidden","check":"offline-poll-reason scenario 2","expected":"hidden","passed":true},{"actual":"offline","check":"offline-poll-reason scenario 3","expected":"offline","passed":true},{"actual":null,"check":"offline-poll-reason scenario 4","expected":null,"passed":true},{"actual":null,"check":"offline-poll-reason scenario 5","expected":null,"passed":true},{"actual":null,"check":"offline-poll-reason scenario 6","expected":null,"passed":true},{"actual":true,"check":"inflight-reconnect-dedup scenario 1","expected":true,"passed":true},{"actual":true,"check":"inflight-reconnect-dedup scenario 2","expected":true,"passed":true},{"actual":false,"check":"inflight-reconnect-dedup scenario 3","expected":false,"passed":true},{"actual":false,"check":"inflight-reconnect-dedup scenario 4","expected":false,"passed":true},{"actual":true,"check":"inflight-reconnect-dedup scenario 5","expected":true,"passed":true},{"actual":false,"check":"inflight-reconnect-dedup scenario 6","expected":false,"passed":true},{"actual":3,"check":"hidden-backlog-cap scenario 1","expected":3,"passed":true},{"actual":1,"check":"hidden-backlog-cap scenario 2","expected":1,"passed":true},{"actual":1,"check":"hidden-backlog-cap scenario 3","expected":1,"passed":true},{"actual":0,"check":"hidden-backlog-cap scenario 4","expected":0,"passed":true},{"actual":1,"check":"hidden-backlog-cap scenario 5","expected":1,"passed":true},{"actual":0,"check":"hidden-backlog-cap scenario 6","expected":0,"passed":true},{"actual":true,"check":"background-policy-override scenario 1","expected":true,"passed":true},{"actual":false,"check":"background-policy-override scenario 2","expected":false,"passed":true},{"actual":true,"check":"background-policy-override scenario 3","expected":true,"passed":true},{"actual":true,"check":"background-policy-override scenario 4","expected":true,"passed":true},{"actual":true,"check":"background-policy-override scenario 5","expected":true,"passed":true},{"actual":true,"check":"background-policy-override scenario 6","expected":true,"passed":true},{"actual":3,"check":"timer-install-when-online scenario 1","expected":3,"passed":true},{"actual":null,"check":"timer-install-when-online scenario 2","expected":null,"passed":true},{"actual":null,"check":"timer-install-when-online scenario 3","expected":null,"passed":true},{"actual":3,"check":"timer-install-when-online scenario 4","expected":3,"passed":true},{"actual":3,"check":"timer-install-when-online scenario 5","expected":3,"passed":true},{"actual":3,"check":"timer-install-when-online scenario 6","expected":3,"passed":true},{"actual":"waiting","check":"poll-transition-state scenario 1","expected":"waiting","passed":true},{"actual":"paused","check":"poll-transition-state scenario 2","expected":"paused","passed":true},{"actual":"paused","check":"poll-transition-state scenario 3","expected":"paused","passed":true},{"actual":"running","check":"poll-transition-state scenario 4","expected":"running","passed":true},{"actual":"waiting","check":"poll-transition-state scenario 5","expected":"waiting","passed":true},{"actual":"waiting","check":"poll-transition-state scenario 6","expected":"waiting","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"foreground-tick-admission scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"foreground-tick-admission scenario 2\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"foreground-tick-admission scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"foreground-tick-admission scenario 4\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"foreground-tick-admission scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"foreground-tick-admission scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 2\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 3\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 5\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 6\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 1\", \"actual\": 8, \"expected\": 8, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 2\", \"actual\": 12, \"expected\": 12, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 3\", \"actual\": 12, \"expected\": 12, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 4\", \"actual\": 12, \"expected\": 12, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 5\", \"actual\": 12, \"expected\": 12, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 6\", \"actual\": 12, \"expected\": 12, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 1\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 3\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 5\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 6\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"offline-poll-reason scenario 1\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"offline-poll-reason scenario 2\", \"actual\": \"hidden\", \"expected\": \"hidden\", \"passed\": true}, {\"check\": \"offline-poll-reason scenario 3\", \"actual\": \"offline\", \"expected\": \"offline\", \"passed\": true}, {\"check\": \"offline-poll-reason scenario 4\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"offline-poll-reason scenario 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"offline-poll-reason scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 1\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 2\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 3\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 5\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 6\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"background-policy-override scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"background-policy-override scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"background-policy-override scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"background-policy-override scenario 4\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"background-policy-override scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"background-policy-override scenario 6\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 1\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 2\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 4\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 5\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 6\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"poll-transition-state scenario 1\", \"actual\": \"waiting\", \"expected\": \"waiting\", \"passed\": true}, {\"check\": \"poll-transition-state scenario 2\", \"actual\": \"paused\", \"expected\": \"paused\", \"passed\": true}, {\"check\": \"poll-transition-state scenario 3\", \"actual\": \"paused\", \"expected\": \"paused\", \"passed\": true}, {\"check\": \"poll-transition-state scenario 4\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"poll-transition-state scenario 5\", \"actual\": \"waiting\", \"expected\": \"waiting\", \"passed\": true}, {\"check\": \"poll-transition-state scenario 6\", \"actual\": \"waiting\", \"expected\": \"waiting\", \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.886,"exit_code":0,"observations":[{"actual":true,"check":"foreground-tick-admission scenario 1","expected":true,"passed":true},{"actual":false,"check":"foreground-tick-admission scenario 2","expected":false,"passed":true},{"actual":false,"check":"foreground-tick-admission scenario 3","expected":false,"passed":true},{"actual":false,"check":"foreground-tick-admission scenario 4","expected":false,"passed":true},{"actual":true,"check":"foreground-tick-admission scenario 5","expected":true,"passed":true},{"actual":false,"check":"foreground-tick-admission scenario 6","expected":false,"passed":true},{"actual":1,"check":"resume-catchup-coalescing scenario 1","expected":1,"passed":true},{"actual":1,"check":"resume-catchup-coalescing scenario 2","expected":1,"passed":true},{"actual":1,"check":"resume-catchup-coalescing scenario 3","expected":1,"passed":true},{"actual":0,"check":"resume-catchup-coalescing scenario 4","expected":0,"passed":true},{"actual":1,"check":"resume-catchup-coalescing scenario 5","expected":1,"passed":true},{"actual":0,"check":"resume-catchup-coalescing scenario 6","expected":0,"passed":true},{"actual":8,"check":"next-tick-from-now scenario 1","expected":8,"passed":true},{"actual":12,"check":"next-tick-from-now scenario 2","expected":12,"passed":true},{"actual":12,"check":"next-tick-from-now scenario 3","expected":12,"passed":true},{"actual":12,"check":"next-tick-from-now scenario 4","expected":12,"passed":true},{"actual":12,"check":"next-tick-from-now scenario 5","expected":12,"passed":true},{"actual":12,"check":"next-tick-from-now scenario 6","expected":12,"passed":true},{"actual":0,"check":"remaining-delay-clamp scenario 1","expected":0,"passed":true},{"actual":0,"check":"remaining-delay-clamp scenario 2","expected":0,"passed":true},{"actual":0,"check":"remaining-delay-clamp scenario 3","expected":0,"passed":true},{"actual":0,"check":"remaining-delay-clamp scenario 4","expected":0,"passed":true},{"actual":0,"check":"remaining-delay-clamp scenario 5","expected":0,"passed":true},{"actual":3,"check":"remaining-delay-clamp scenario 6","expected":3,"passed":true},{"actual":null,"check":"offline-poll-reason scenario 1","expected":null,"passed":true},{"actual":"hidden","check":"offline-poll-reason scenario 2","expected":"hidden","passed":true},{"actual":"offline","check":"offline-poll-reason scenario 3","expected":"offline","passed":true},{"actual":null,"check":"offline-poll-reason scenario 4","expected":null,"passed":true},{"actual":null,"check":"offline-poll-reason scenario 5","expected":null,"passed":true},{"actual":null,"check":"offline-poll-reason scenario 6","expected":null,"passed":true},{"actual":true,"check":"inflight-reconnect-dedup scenario 1","expected":true,"passed":true},{"actual":true,"check":"inflight-reconnect-dedup scenario 2","expected":true,"passed":true},{"actual":false,"check":"inflight-reconnect-dedup scenario 3","expected":false,"passed":true},{"actual":false,"check":"inflight-reconnect-dedup scenario 4","expected":false,"passed":true},{"actual":true,"check":"inflight-reconnect-dedup scenario 5","expected":true,"passed":true},{"actual":false,"check":"inflight-reconnect-dedup scenario 6","expected":false,"passed":true},{"actual":3,"check":"hidden-backlog-cap scenario 1","expected":3,"passed":true},{"actual":1,"check":"hidden-backlog-cap scenario 2","expected":1,"passed":true},{"actual":1,"check":"hidden-backlog-cap scenario 3","expected":1,"passed":true},{"actual":0,"check":"hidden-backlog-cap scenario 4","expected":0,"passed":true},{"actual":1,"check":"hidden-backlog-cap scenario 5","expected":1,"passed":true},{"actual":0,"check":"hidden-backlog-cap scenario 6","expected":0,"passed":true},{"actual":true,"check":"background-policy-override scenario 1","expected":true,"passed":true},{"actual":false,"check":"background-policy-override scenario 2","expected":false,"passed":true},{"actual":true,"check":"background-policy-override scenario 3","expected":true,"passed":true},{"actual":true,"check":"background-policy-override scenario 4","expected":true,"passed":true},{"actual":true,"check":"background-policy-override scenario 5","expected":true,"passed":true},{"actual":true,"check":"background-policy-override scenario 6","expected":true,"passed":true},{"actual":3,"check":"timer-install-when-online scenario 1","expected":3,"passed":true},{"actual":null,"check":"timer-install-when-online scenario 2","expected":null,"passed":true},{"actual":null,"check":"timer-install-when-online scenario 3","expected":null,"passed":true},{"actual":3,"check":"timer-install-when-online scenario 4","expected":3,"passed":true},{"actual":3,"check":"timer-install-when-online scenario 5","expected":3,"passed":true},{"actual":3,"check":"timer-install-when-online scenario 6","expected":3,"passed":true},{"actual":"waiting","check":"poll-transition-state scenario 1","expected":"waiting","passed":true},{"actual":"paused","check":"poll-transition-state scenario 2","expected":"paused","passed":true},{"actual":"paused","check":"poll-transition-state scenario 3","expected":"paused","passed":true},{"actual":"running","check":"poll-transition-state scenario 4","expected":"running","passed":true},{"actual":"waiting","check":"poll-transition-state scenario 5","expected":"waiting","passed":true},{"actual":"waiting","check":"poll-transition-state scenario 6","expected":"waiting","passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"foreground-tick-admission scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"foreground-tick-admission scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"foreground-tick-admission scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"foreground-tick-admission scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"foreground-tick-admission scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"foreground-tick-admission scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 1\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 2\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 3\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 5\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 6\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 1\", \"actual\": 8, \"expected\": 8, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 2\", \"actual\": 12, \"expected\": 12, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 3\", \"actual\": 12, \"expected\": 12, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 4\", \"actual\": 12, \"expected\": 12, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 5\", \"actual\": 12, \"expected\": 12, \"passed\": true}, {\"check\": \"next-tick-from-now scenario 6\", \"actual\": 12, \"expected\": 12, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 1\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 2\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 3\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 5\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"remaining-delay-clamp scenario 6\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"offline-poll-reason scenario 1\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"offline-poll-reason scenario 2\", \"actual\": \"hidden\", \"expected\": \"hidden\", \"passed\": true}, {\"check\": \"offline-poll-reason scenario 3\", \"actual\": \"offline\", \"expected\": \"offline\", \"passed\": true}, {\"check\": \"offline-poll-reason scenario 4\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"offline-poll-reason scenario 5\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"offline-poll-reason scenario 6\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 3\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"inflight-reconnect-dedup scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 1\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 2\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 3\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 5\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"hidden-backlog-cap scenario 6\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"background-policy-override scenario 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"background-policy-override scenario 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"background-policy-override scenario 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"background-policy-override scenario 4\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"background-policy-override scenario 5\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"background-policy-override scenario 6\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 1\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 2\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 3\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 4\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 5\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"timer-install-when-online scenario 6\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"poll-transition-state scenario 1\", \"actual\": \"waiting\", \"expected\": \"waiting\", \"passed\": true}, {\"check\": \"poll-transition-state scenario 2\", \"actual\": \"paused\", \"expected\": \"paused\", \"passed\": true}, {\"check\": \"poll-transition-state scenario 3\", \"actual\": \"paused\", \"expected\": \"paused\", \"passed\": true}, {\"check\": \"poll-transition-state scenario 4\", \"actual\": \"running\", \"expected\": \"running\", \"passed\": true}, {\"check\": \"poll-transition-state scenario 5\", \"actual\": \"waiting\", \"expected\": \"waiting\", \"passed\": true}, {\"check\": \"poll-transition-state scenario 6\", \"actual\": \"waiting\", \"expected\": \"waiting\", \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}