{"abstract":"Continuous client edits postpone a debounced effect forever.","category":"Client state","checks":6,"contract":"A debounced effect deadline is the earlier of latest edit plus quiet delay and first edit plus maximum wait; execution is eligible at the deadline, including zero durations.","evaluation_group":"s3-client-state-effect-debounce-maxwait","failed_approach":"The partial repair still violates at least one explicit regression oracle.","family":"s3-client-state-effect-debounce-maxwait","id":"FA-24821","implementations":{"attempt":{"sha256":"b1e76557443ef8272d85b631ca3c073da494eef1042816126b9119c74e284832","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(first, latest, delay, maximum, now):\n    deadline=first+maximum\n    return deadline,now>deadline\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('max wait caps chatter', solve(0,N+5,3,5,5), (5,True))\ncheck('quiet delay first', solve(0,1,2,10,2), (3,False))\ncheck('inclusive deadline', solve(0,1,2,10,3), (3,True))\ncheck('zero delay', solve(1,2,0,10,2), (2,True))\ncheck('zero max wait', solve(3,3,2,0,3), (3,True))\ncheck('shifted origin', solve(N,N+1,2,10,N+2), (N+3,False))\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":"e1ea15a66c2ed7e7fcfea858691b4f0809ddd8e2d3d29e96f31b97b0e8b8c700","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(first, latest, delay, maximum, now):\n    deadline=latest+delay\n    return deadline,now>=deadline\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('max wait caps chatter', solve(0,N+5,3,5,5), (5,True))\ncheck('quiet delay first', solve(0,1,2,10,2), (3,False))\ncheck('inclusive deadline', solve(0,1,2,10,3), (3,True))\ncheck('zero delay', solve(1,2,0,10,2), (2,True))\ncheck('zero max wait', solve(3,3,2,0,3), (3,True))\ncheck('shifted origin', solve(N,N+1,2,10,N+2), (N+3,False))\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":"52b7fbd6434617677329c796edf5803d967ad7eb3fa25ab647bf06fa8f0fb54e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(first, latest, delay, maximum, now):\n    deadline=min(latest+delay,first+maximum)\n    return deadline,now>=deadline\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('max wait caps chatter', solve(0,N+5,3,5,5), (5,True))\ncheck('quiet delay first', solve(0,1,2,10,2), (3,False))\ncheck('inclusive deadline', solve(0,1,2,10,3), (3,True))\ncheck('zero delay', solve(1,2,0,10,2), (2,True))\ncheck('zero max wait', solve(3,3,2,0,3), (3,True))\ncheck('shifted origin', solve(N,N+1,2,10,N+2), (N+3,False))\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":"This models the stated application policy only; 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-effect-debounce-maxwait","generated_at":"2026-09-29T14:41:01.037207+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A bounded offline client-state transition with explicit lifecycle inputs.","repair":"A debounced effect deadline is the earlier of latest edit plus quiet delay and first edit plus maximum wait; execution is eligible at the deadline, including zero durations.","root_cause":"The faulty implementation violates A debounced effect deadline is the earlier of latest edit plus quiet delay and first edit plus maximum wait; execution is eligible at the deadline, including zero durations.","sha256":"1fb62146a9517797787f4887775da82a5292ff1f61e1ec8fa9f86ecb8acb6ae9","title":"Continuous client edits postpone a debounced effect forever · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.408,"exit_code":1,"observations":[{"actual":[5,false],"check":"max wait caps chatter","expected":[5,true],"passed":false},{"actual":[10,false],"check":"quiet delay first","expected":[3,false],"passed":false},{"actual":[10,false],"check":"inclusive deadline","expected":[3,true],"passed":false},{"actual":[11,false],"check":"zero delay","expected":[2,true],"passed":false},{"actual":[3,false],"check":"zero max wait","expected":[3,true],"passed":false},{"actual":[11,false],"check":"shifted origin","expected":[4,false],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"max wait caps chatter\", \"actual\": [5, false], \"expected\": [5, true], \"passed\": false}, {\"check\": \"quiet delay first\", \"actual\": [10, false], \"expected\": [3, false], \"passed\": false}, {\"check\": \"inclusive deadline\", \"actual\": [10, false], \"expected\": [3, true], \"passed\": false}, {\"check\": \"zero delay\", \"actual\": [11, false], \"expected\": [2, true], \"passed\": false}, {\"check\": \"zero max wait\", \"actual\": [3, false], \"expected\": [3, true], \"passed\": false}, {\"check\": \"shifted origin\", \"actual\": [11, false], \"expected\": [4, false], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.266,"exit_code":1,"observations":[{"actual":[9,false],"check":"max wait caps chatter","expected":[5,true],"passed":false},{"actual":[3,false],"check":"quiet delay first","expected":[3,false],"passed":true},{"actual":[3,true],"check":"inclusive deadline","expected":[3,true],"passed":true},{"actual":[2,true],"check":"zero delay","expected":[2,true],"passed":true},{"actual":[5,false],"check":"zero max wait","expected":[3,true],"passed":false},{"actual":[4,false],"check":"shifted origin","expected":[4,false],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"max wait caps chatter\", \"actual\": [9, false], \"expected\": [5, true], \"passed\": false}, {\"check\": \"quiet delay first\", \"actual\": [3, false], \"expected\": [3, false], \"passed\": true}, {\"check\": \"inclusive deadline\", \"actual\": [3, true], \"expected\": [3, true], \"passed\": true}, {\"check\": \"zero delay\", \"actual\": [2, true], \"expected\": [2, true], \"passed\": true}, {\"check\": \"zero max wait\", \"actual\": [5, false], \"expected\": [3, true], \"passed\": false}, {\"check\": \"shifted origin\", \"actual\": [4, false], \"expected\": [4, false], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.665,"exit_code":0,"observations":[{"actual":[5,true],"check":"max wait caps chatter","expected":[5,true],"passed":true},{"actual":[3,false],"check":"quiet delay first","expected":[3,false],"passed":true},{"actual":[3,true],"check":"inclusive deadline","expected":[3,true],"passed":true},{"actual":[2,true],"check":"zero delay","expected":[2,true],"passed":true},{"actual":[3,true],"check":"zero max wait","expected":[3,true],"passed":true},{"actual":[4,false],"check":"shifted origin","expected":[4,false],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"max wait caps chatter\", \"actual\": [5, true], \"expected\": [5, true], \"passed\": true}, {\"check\": \"quiet delay first\", \"actual\": [3, false], \"expected\": [3, false], \"passed\": true}, {\"check\": \"inclusive deadline\", \"actual\": [3, true], \"expected\": [3, true], \"passed\": true}, {\"check\": \"zero delay\", \"actual\": [2, true], \"expected\": [2, true], \"passed\": true}, {\"check\": \"zero max wait\", \"actual\": [3, true], \"expected\": [3, true], \"passed\": true}, {\"check\": \"shifted origin\", \"actual\": [4, false], \"expected\": [4, false], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}