{"abstract":"The limit completion transition produces an incorrect observable state.","category":"Autocomplete interactions","checks":22,"contract":"A suggestion request is bound to draft, field identity, selection range, locale and dependency scope. Each outgoing descriptor carries those values from the initiating snapshot; accepting a response requires the same query epoch and field instance. No transport behavior is modeled.","evaluation_group":"s3-autocomplete-request-context","failed_approach":"The attempted repair uses `d['limit'] or 10`, which still violates a normal or boundary completion fixture.","family":"s3-autocomplete-interactions-request-context-limit","id":"FA-21931","implementations":{"attempt":{"sha256":"f508c0b4c0aecd75032f4685bba8aa8a0731b18ce30e51acb065a7bd45e2161b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(event, d):\n    if event == 'query': return {'text':d['query']}\n    if event == 'epoch': return d['epoch']\n    if event == 'field': return d['field']\n    if event == 'instance': return d['instance']\n    if event == 'locale': return d['locale']\n    if event == 'scope': return d['scope']\n    if event == 'range': return [d['start'],d['end']]\n    if event == 'exclusions': return d['selected']\n    if event == 'limit': return d['limit'] or 10\n    if event == 'accept': return d['response_epoch']==d['epoch'] and d['response_field']==d['field']\n    return {'unchanged': True}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nnormal = {'query':'pear','epoch':N,'field':'billing','instance':N+2,'locale':'fr','scope':'fruit','start':1,'end':3,'selected':['p1'],'limit':7,'response_epoch':N-1,'response_field':'shipping'}\nboundary = {'query':'','epoch':N,'field':'billing','instance':N,'locale':'en','scope':'all','start':0,'end':0,'selected':[],'limit':0,'response_epoch':N,'response_field':'billing'}\ncheck('normal query', solve('query', normal), {'text':'pear'})\ncheck('boundary query', solve('query', boundary), {'text':''})\ncheck('normal epoch', solve('epoch', normal), N)\ncheck('boundary epoch', solve('epoch', boundary), N)\ncheck('normal field', solve('field', normal), 'billing')\ncheck('boundary field', solve('field', boundary), 'billing')\ncheck('normal instance', solve('instance', normal), N+2)\ncheck('boundary instance', solve('instance', boundary), N)\ncheck('normal locale', solve('locale', normal), 'fr')\ncheck('boundary locale', solve('locale', boundary), 'en')\ncheck('normal scope', solve('scope', normal), 'fruit')\ncheck('boundary scope', solve('scope', boundary), 'all')\ncheck('normal range', solve('range', normal), [1,3])\ncheck('boundary range', solve('range', boundary), [0,0])\ncheck('normal exclusions', solve('exclusions', normal), ['p1'])\ncheck('boundary exclusions', solve('exclusions', boundary), [])\ncheck('normal limit', solve('limit', normal), 7)\ncheck('boundary limit', solve('limit', boundary), 0)\ncheck('normal accept', solve('accept', normal), False)\ncheck('boundary accept', solve('accept', boundary), True)\nvariant = dict(normal, **{'query':'q'*N})\ncheck('variant query or selection payload', solve('query', variant), {'text':'q'*N})\ncheck('unknown completion event', solve('unrecognized', normal), {'unchanged': True})\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":"03b9dd735e4db2648f0c907b2490f93edb93d40dec1404f6378c3af6bde06084","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(event, d):\n    if event == 'query': return {'text':d['query']}\n    if event == 'epoch': return d['epoch']\n    if event == 'field': return d['field']\n    if event == 'instance': return d['instance']\n    if event == 'locale': return d['locale']\n    if event == 'scope': return d['scope']\n    if event == 'range': return [d['start'],d['end']]\n    if event == 'exclusions': return d['selected']\n    if event == 'limit': return max(1,d['limit'])\n    if event == 'accept': return d['response_epoch']==d['epoch'] and d['response_field']==d['field']\n    return {'unchanged': True}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nnormal = {'query':'pear','epoch':N,'field':'billing','instance':N+2,'locale':'fr','scope':'fruit','start':1,'end':3,'selected':['p1'],'limit':7,'response_epoch':N-1,'response_field':'shipping'}\nboundary = {'query':'','epoch':N,'field':'billing','instance':N,'locale':'en','scope':'all','start':0,'end':0,'selected':[],'limit':0,'response_epoch':N,'response_field':'billing'}\ncheck('normal query', solve('query', normal), {'text':'pear'})\ncheck('boundary query', solve('query', boundary), {'text':''})\ncheck('normal epoch', solve('epoch', normal), N)\ncheck('boundary epoch', solve('epoch', boundary), N)\ncheck('normal field', solve('field', normal), 'billing')\ncheck('boundary field', solve('field', boundary), 'billing')\ncheck('normal instance', solve('instance', normal), N+2)\ncheck('boundary instance', solve('instance', boundary), N)\ncheck('normal locale', solve('locale', normal), 'fr')\ncheck('boundary locale', solve('locale', boundary), 'en')\ncheck('normal scope', solve('scope', normal), 'fruit')\ncheck('boundary scope', solve('scope', boundary), 'all')\ncheck('normal range', solve('range', normal), [1,3])\ncheck('boundary range', solve('range', boundary), [0,0])\ncheck('normal exclusions', solve('exclusions', normal), ['p1'])\ncheck('boundary exclusions', solve('exclusions', boundary), [])\ncheck('normal limit', solve('limit', normal), 7)\ncheck('boundary limit', solve('limit', boundary), 0)\ncheck('normal accept', solve('accept', normal), False)\ncheck('boundary accept', solve('accept', boundary), True)\nvariant = dict(normal, **{'query':'q'*N})\ncheck('variant query or selection payload', solve('query', variant), {'text':'q'*N})\ncheck('unknown completion event', solve('unrecognized', normal), {'unchanged': True})\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":"c3c68e5e6973fbdc7b476dc3add9a355786b193fc26e977adbbe2acaa21a233a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(event, d):\n    if event == 'query': return {'text':d['query']}\n    if event == 'epoch': return d['epoch']\n    if event == 'field': return d['field']\n    if event == 'instance': return d['instance']\n    if event == 'locale': return d['locale']\n    if event == 'scope': return d['scope']\n    if event == 'range': return [d['start'],d['end']]\n    if event == 'exclusions': return d['selected']\n    if event == 'limit': return d['limit']\n    if event == 'accept': return d['response_epoch']==d['epoch'] and d['response_field']==d['field']\n    return {'unchanged': True}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nnormal = {'query':'pear','epoch':N,'field':'billing','instance':N+2,'locale':'fr','scope':'fruit','start':1,'end':3,'selected':['p1'],'limit':7,'response_epoch':N-1,'response_field':'shipping'}\nboundary = {'query':'','epoch':N,'field':'billing','instance':N,'locale':'en','scope':'all','start':0,'end':0,'selected':[],'limit':0,'response_epoch':N,'response_field':'billing'}\ncheck('normal query', solve('query', normal), {'text':'pear'})\ncheck('boundary query', solve('query', boundary), {'text':''})\ncheck('normal epoch', solve('epoch', normal), N)\ncheck('boundary epoch', solve('epoch', boundary), N)\ncheck('normal field', solve('field', normal), 'billing')\ncheck('boundary field', solve('field', boundary), 'billing')\ncheck('normal instance', solve('instance', normal), N+2)\ncheck('boundary instance', solve('instance', boundary), N)\ncheck('normal locale', solve('locale', normal), 'fr')\ncheck('boundary locale', solve('locale', boundary), 'en')\ncheck('normal scope', solve('scope', normal), 'fruit')\ncheck('boundary scope', solve('scope', boundary), 'all')\ncheck('normal range', solve('range', normal), [1,3])\ncheck('boundary range', solve('range', boundary), [0,0])\ncheck('normal exclusions', solve('exclusions', normal), ['p1'])\ncheck('boundary exclusions', solve('exclusions', boundary), [])\ncheck('normal limit', solve('limit', normal), 7)\ncheck('boundary limit', solve('limit', boundary), 0)\ncheck('normal accept', solve('accept', normal), False)\ncheck('boundary accept', solve('accept', boundary), True)\nvariant = dict(normal, **{'query':'q'*N})\ncheck('variant query or selection payload', solve('query', variant), {'text':'q'*N})\ncheck('unknown completion event', solve('unrecognized', normal), {'unchanged': True})\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":"Stipulated deterministic widget transition model; inputs are validated snapshots. It does not model browser event dispatch, network transport, or linguistic standards. 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-autocomplete-interactions-request-context-limit","generated_at":"2026-09-29T14:40:33.617791+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Autocomplete couples draft text, suggestion identity and asynchronous presentation; this bounded lifecycle model isolates one observable interaction defect.","repair":"Implement the limit contract using `d['limit']`.","root_cause":"At request-context/limit, the implementation evaluates `max(1,d['limit'])` instead of preserving the specified completion transition.","sha256":"2ce334471b8f1c5bf71c340c39adaaeae7624ba3b6a3fd82860d41dc591f9e0e","title":"Suggestion request context: zero-capacity completion still asks for results · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.92,"exit_code":1,"observations":[{"actual":{"text":"pear"},"check":"normal query","expected":{"text":"pear"},"passed":true},{"actual":{"text":""},"check":"boundary query","expected":{"text":""},"passed":true},{"actual":1,"check":"normal epoch","expected":1,"passed":true},{"actual":1,"check":"boundary epoch","expected":1,"passed":true},{"actual":"billing","check":"normal field","expected":"billing","passed":true},{"actual":"billing","check":"boundary field","expected":"billing","passed":true},{"actual":3,"check":"normal instance","expected":3,"passed":true},{"actual":1,"check":"boundary instance","expected":1,"passed":true},{"actual":"fr","check":"normal locale","expected":"fr","passed":true},{"actual":"en","check":"boundary locale","expected":"en","passed":true},{"actual":"fruit","check":"normal scope","expected":"fruit","passed":true},{"actual":"all","check":"boundary scope","expected":"all","passed":true},{"actual":[1,3],"check":"normal range","expected":[1,3],"passed":true},{"actual":[0,0],"check":"boundary range","expected":[0,0],"passed":true},{"actual":["p1"],"check":"normal exclusions","expected":["p1"],"passed":true},{"actual":[],"check":"boundary exclusions","expected":[],"passed":true},{"actual":7,"check":"normal limit","expected":7,"passed":true},{"actual":10,"check":"boundary limit","expected":0,"passed":false},{"actual":false,"check":"normal accept","expected":false,"passed":true},{"actual":true,"check":"boundary accept","expected":true,"passed":true},{"actual":{"text":"q"},"check":"variant query or selection payload","expected":{"text":"q"},"passed":true},{"actual":{"unchanged":true},"check":"unknown completion event","expected":{"unchanged":true},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"normal query\", \"actual\": {\"text\": \"pear\"}, \"expected\": {\"text\": \"pear\"}, \"passed\": true}, {\"check\": \"boundary query\", \"actual\": {\"text\": \"\"}, \"expected\": {\"text\": \"\"}, \"passed\": true}, {\"check\": \"normal epoch\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"boundary epoch\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"normal field\", \"actual\": \"billing\", \"expected\": \"billing\", \"passed\": true}, {\"check\": \"boundary field\", \"actual\": \"billing\", \"expected\": \"billing\", \"passed\": true}, {\"check\": \"normal instance\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"boundary instance\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"normal locale\", \"actual\": \"fr\", \"expected\": \"fr\", \"passed\": true}, {\"check\": \"boundary locale\", \"actual\": \"en\", \"expected\": \"en\", \"passed\": true}, {\"check\": \"normal scope\", \"actual\": \"fruit\", \"expected\": \"fruit\", \"passed\": true}, {\"check\": \"boundary scope\", \"actual\": \"all\", \"expected\": \"all\", \"passed\": true}, {\"check\": \"normal range\", \"actual\": [1, 3], \"expected\": [1, 3], \"passed\": true}, {\"check\": \"boundary range\", \"actual\": [0, 0], \"expected\": [0, 0], \"passed\": true}, {\"check\": \"normal exclusions\", \"actual\": [\"p1\"], \"expected\": [\"p1\"], \"passed\": true}, {\"check\": \"boundary exclusions\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"normal limit\", \"actual\": 7, \"expected\": 7, \"passed\": true}, {\"check\": \"boundary limit\", \"actual\": 10, \"expected\": 0, \"passed\": false}, {\"check\": \"normal accept\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary accept\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"variant query or selection payload\", \"actual\": {\"text\": \"q\"}, \"expected\": {\"text\": \"q\"}, \"passed\": true}, {\"check\": \"unknown completion event\", \"actual\": {\"unchanged\": true}, \"expected\": {\"unchanged\": true}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":46.87,"exit_code":1,"observations":[{"actual":{"text":"pear"},"check":"normal query","expected":{"text":"pear"},"passed":true},{"actual":{"text":""},"check":"boundary query","expected":{"text":""},"passed":true},{"actual":1,"check":"normal epoch","expected":1,"passed":true},{"actual":1,"check":"boundary epoch","expected":1,"passed":true},{"actual":"billing","check":"normal field","expected":"billing","passed":true},{"actual":"billing","check":"boundary field","expected":"billing","passed":true},{"actual":3,"check":"normal instance","expected":3,"passed":true},{"actual":1,"check":"boundary instance","expected":1,"passed":true},{"actual":"fr","check":"normal locale","expected":"fr","passed":true},{"actual":"en","check":"boundary locale","expected":"en","passed":true},{"actual":"fruit","check":"normal scope","expected":"fruit","passed":true},{"actual":"all","check":"boundary scope","expected":"all","passed":true},{"actual":[1,3],"check":"normal range","expected":[1,3],"passed":true},{"actual":[0,0],"check":"boundary range","expected":[0,0],"passed":true},{"actual":["p1"],"check":"normal exclusions","expected":["p1"],"passed":true},{"actual":[],"check":"boundary exclusions","expected":[],"passed":true},{"actual":7,"check":"normal limit","expected":7,"passed":true},{"actual":1,"check":"boundary limit","expected":0,"passed":false},{"actual":false,"check":"normal accept","expected":false,"passed":true},{"actual":true,"check":"boundary accept","expected":true,"passed":true},{"actual":{"text":"q"},"check":"variant query or selection payload","expected":{"text":"q"},"passed":true},{"actual":{"unchanged":true},"check":"unknown completion event","expected":{"unchanged":true},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"normal query\", \"actual\": {\"text\": \"pear\"}, \"expected\": {\"text\": \"pear\"}, \"passed\": true}, {\"check\": \"boundary query\", \"actual\": {\"text\": \"\"}, \"expected\": {\"text\": \"\"}, \"passed\": true}, {\"check\": \"normal epoch\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"boundary epoch\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"normal field\", \"actual\": \"billing\", \"expected\": \"billing\", \"passed\": true}, {\"check\": \"boundary field\", \"actual\": \"billing\", \"expected\": \"billing\", \"passed\": true}, {\"check\": \"normal instance\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"boundary instance\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"normal locale\", \"actual\": \"fr\", \"expected\": \"fr\", \"passed\": true}, {\"check\": \"boundary locale\", \"actual\": \"en\", \"expected\": \"en\", \"passed\": true}, {\"check\": \"normal scope\", \"actual\": \"fruit\", \"expected\": \"fruit\", \"passed\": true}, {\"check\": \"boundary scope\", \"actual\": \"all\", \"expected\": \"all\", \"passed\": true}, {\"check\": \"normal range\", \"actual\": [1, 3], \"expected\": [1, 3], \"passed\": true}, {\"check\": \"boundary range\", \"actual\": [0, 0], \"expected\": [0, 0], \"passed\": true}, {\"check\": \"normal exclusions\", \"actual\": [\"p1\"], \"expected\": [\"p1\"], \"passed\": true}, {\"check\": \"boundary exclusions\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"normal limit\", \"actual\": 7, \"expected\": 7, \"passed\": true}, {\"check\": \"boundary limit\", \"actual\": 1, \"expected\": 0, \"passed\": false}, {\"check\": \"normal accept\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary accept\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"variant query or selection payload\", \"actual\": {\"text\": \"q\"}, \"expected\": {\"text\": \"q\"}, \"passed\": true}, {\"check\": \"unknown completion event\", \"actual\": {\"unchanged\": true}, \"expected\": {\"unchanged\": true}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.784,"exit_code":0,"observations":[{"actual":{"text":"pear"},"check":"normal query","expected":{"text":"pear"},"passed":true},{"actual":{"text":""},"check":"boundary query","expected":{"text":""},"passed":true},{"actual":1,"check":"normal epoch","expected":1,"passed":true},{"actual":1,"check":"boundary epoch","expected":1,"passed":true},{"actual":"billing","check":"normal field","expected":"billing","passed":true},{"actual":"billing","check":"boundary field","expected":"billing","passed":true},{"actual":3,"check":"normal instance","expected":3,"passed":true},{"actual":1,"check":"boundary instance","expected":1,"passed":true},{"actual":"fr","check":"normal locale","expected":"fr","passed":true},{"actual":"en","check":"boundary locale","expected":"en","passed":true},{"actual":"fruit","check":"normal scope","expected":"fruit","passed":true},{"actual":"all","check":"boundary scope","expected":"all","passed":true},{"actual":[1,3],"check":"normal range","expected":[1,3],"passed":true},{"actual":[0,0],"check":"boundary range","expected":[0,0],"passed":true},{"actual":["p1"],"check":"normal exclusions","expected":["p1"],"passed":true},{"actual":[],"check":"boundary exclusions","expected":[],"passed":true},{"actual":7,"check":"normal limit","expected":7,"passed":true},{"actual":0,"check":"boundary limit","expected":0,"passed":true},{"actual":false,"check":"normal accept","expected":false,"passed":true},{"actual":true,"check":"boundary accept","expected":true,"passed":true},{"actual":{"text":"q"},"check":"variant query or selection payload","expected":{"text":"q"},"passed":true},{"actual":{"unchanged":true},"check":"unknown completion event","expected":{"unchanged":true},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"normal query\", \"actual\": {\"text\": \"pear\"}, \"expected\": {\"text\": \"pear\"}, \"passed\": true}, {\"check\": \"boundary query\", \"actual\": {\"text\": \"\"}, \"expected\": {\"text\": \"\"}, \"passed\": true}, {\"check\": \"normal epoch\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"boundary epoch\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"normal field\", \"actual\": \"billing\", \"expected\": \"billing\", \"passed\": true}, {\"check\": \"boundary field\", \"actual\": \"billing\", \"expected\": \"billing\", \"passed\": true}, {\"check\": \"normal instance\", \"actual\": 3, \"expected\": 3, \"passed\": true}, {\"check\": \"boundary instance\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"normal locale\", \"actual\": \"fr\", \"expected\": \"fr\", \"passed\": true}, {\"check\": \"boundary locale\", \"actual\": \"en\", \"expected\": \"en\", \"passed\": true}, {\"check\": \"normal scope\", \"actual\": \"fruit\", \"expected\": \"fruit\", \"passed\": true}, {\"check\": \"boundary scope\", \"actual\": \"all\", \"expected\": \"all\", \"passed\": true}, {\"check\": \"normal range\", \"actual\": [1, 3], \"expected\": [1, 3], \"passed\": true}, {\"check\": \"boundary range\", \"actual\": [0, 0], \"expected\": [0, 0], \"passed\": true}, {\"check\": \"normal exclusions\", \"actual\": [\"p1\"], \"expected\": [\"p1\"], \"passed\": true}, {\"check\": \"boundary exclusions\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"normal limit\", \"actual\": 7, \"expected\": 7, \"passed\": true}, {\"check\": \"boundary limit\", \"actual\": 0, \"expected\": 0, \"passed\": true}, {\"check\": \"normal accept\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary accept\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"variant query or selection payload\", \"actual\": {\"text\": \"q\"}, \"expected\": {\"text\": \"q\"}, \"passed\": true}, {\"check\": \"unknown completion event\", \"actual\": {\"unchanged\": true}, \"expected\": {\"unchanged\": true}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}