{"abstract":"Resume catchup coalescing.","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 resume-catchup-coalescing has the six explicit input/output oracles below.","contract_signature":"operation, s","evaluation_group":"s3-client-state-visibility-poll","failed_approach":"The partial repair `0` still violates the explicit fixture contract.","family":"s3-client-state-visibility-poll-resume-catchup-coalescing","id":"FA-24151","implementations":{"attempt":{"sha256":"e4ff12d928b6946baa94cbc5524039d619156770307c6336fd9977e3fea275f0","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 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":"75bbfe9982acf21e7f3d6d8710f05f5c894bed916048a2b48dd8a8b1cdf74bbe","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 queued\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-resume-catchup-coalescing","generated_at":"2026-09-29T14:40:54.912009+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.","root_cause":"The resume-catchup-coalescing client decision evaluates `queued` instead of `int(queued>0)`.","sha256":"fc13358a86a8f09b388f88f649e05e0f5f9edae9f2978c380b6ad182ebf58e9a","title":"Visibility-aware client polling: Resume catchup coalescing · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":43.169,"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":true,"check":"foreground-tick-admission scenario 5","expected":true,"passed":true},{"actual":false,"check":"foreground-tick-admission scenario 6","expected":false,"passed":true},{"actual":0,"check":"resume-catchup-coalescing scenario 1","expected":1,"passed":false},{"actual":0,"check":"resume-catchup-coalescing scenario 2","expected":1,"passed":false},{"actual":0,"check":"resume-catchup-coalescing scenario 3","expected":1,"passed":false},{"actual":0,"check":"resume-catchup-coalescing scenario 4","expected":0,"passed":true},{"actual":0,"check":"resume-catchup-coalescing scenario 5","expected":1,"passed":false},{"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\": true, \"expected\": true, \"passed\": true}, {\"check\": \"foreground-tick-admission scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 1\", \"actual\": 0, \"expected\": 1, \"passed\": false}, {\"check\": \"resume-catchup-coalescing scenario 2\", \"actual\": 0, \"expected\": 1, \"passed\": false}, {\"check\": \"resume-catchup-coalescing scenario 3\", \"actual\": 0, \"expected\": 1, \"passed\": false}, {\"check\": \"resume-catchup-coalescing scenario 4\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 5\", \"actual\": 0, \"expected\": 1, \"passed\": false}, {\"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":42.395,"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":true,"check":"foreground-tick-admission scenario 5","expected":true,"passed":true},{"actual":false,"check":"foreground-tick-admission scenario 6","expected":false,"passed":true},{"actual":3,"check":"resume-catchup-coalescing scenario 1","expected":1,"passed":false},{"actual":2,"check":"resume-catchup-coalescing scenario 2","expected":1,"passed":false},{"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":2,"check":"resume-catchup-coalescing scenario 5","expected":1,"passed":false},{"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\": true, \"expected\": true, \"passed\": true}, {\"check\": \"foreground-tick-admission scenario 6\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"resume-catchup-coalescing scenario 1\", \"actual\": 3, \"expected\": 1, \"passed\": false}, {\"check\": \"resume-catchup-coalescing scenario 2\", \"actual\": 2, \"expected\": 1, \"passed\": false}, {\"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\": 2, \"expected\": 1, \"passed\": false}, {\"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"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}