{"abstract":"The inside completion transition produces an incorrect observable state.","category":"Autocomplete interactions","checks":22,"contract":"Pointer acceptance captures option identity on press; release must match the captured pointer and row, remain inside, and exceed neither drag slop nor query epoch. Blur defers while a valid option press is pending. Hover is only preview and never a value commit.","evaluation_group":"s3-autocomplete-pointer-acceptance","failed_approach":"The attempted repair uses `d['pressed'] is not None`, which still violates a normal or boundary completion fixture.","family":"s3-autocomplete-interactions-pointer-acceptance-inside","id":"FA-22556","implementations":{"attempt":{"sha256":"00a91158c26ba1f8ee8cc15c2c189a4b7122dae474bc916b1f21dcf1b0ba1e8b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(event, d):\n    if event == 'capture': return d['pressed']\n    if event == 'same-row': return d['pressed'] is not None and d['pressed']==d['released']\n    if event == 'same-pointer': return d['pointer']==d['release_pointer']\n    if event == 'inside': return d['pressed'] is not None\n    if event == 'slop': return d['distance']<=d['slop']\n    if event == 'fresh': return d['press_epoch']==d['epoch']\n    if event == 'blur-defer': return d['pressed'] is not None\n    if event == 'hover-value': return d['value']\n    if event == 'cancel': return {'pressed':None,'pointer':None}\n    if event == 'press-epoch': return d['epoch']\n    return {'unchanged': True}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nnormal = {'pressed':'a','released':'b','pointer':N,'release_pointer':N+1,'inside':False,'distance':8,'slop':3,'epoch':N,'press_epoch':N-1,'hover':'c','value':'v'}\nboundary = {'pressed':None,'released':None,'pointer':N,'release_pointer':N,'inside':True,'distance':0,'slop':0,'epoch':N,'press_epoch':N,'hover':None,'value':None}\ncheck('normal capture', solve('capture', normal), 'a')\ncheck('boundary capture', solve('capture', boundary), None)\ncheck('normal same-row', solve('same-row', normal), False)\ncheck('boundary same-row', solve('same-row', boundary), False)\ncheck('normal same-pointer', solve('same-pointer', normal), False)\ncheck('boundary same-pointer', solve('same-pointer', boundary), True)\ncheck('normal inside', solve('inside', normal), False)\ncheck('boundary inside', solve('inside', boundary), True)\ncheck('normal slop', solve('slop', normal), False)\ncheck('boundary slop', solve('slop', boundary), True)\ncheck('normal fresh', solve('fresh', normal), False)\ncheck('boundary fresh', solve('fresh', boundary), True)\ncheck('normal blur-defer', solve('blur-defer', normal), True)\ncheck('boundary blur-defer', solve('blur-defer', boundary), False)\ncheck('normal hover-value', solve('hover-value', normal), 'v')\ncheck('boundary hover-value', solve('hover-value', boundary), None)\ncheck('normal cancel', solve('cancel', normal), {'pressed':None,'pointer':None})\ncheck('boundary cancel', solve('cancel', boundary), {'pressed':None,'pointer':None})\ncheck('normal press-epoch', solve('press-epoch', normal), N)\ncheck('boundary press-epoch', solve('press-epoch', boundary), N)\nvariant = dict(normal, **{'pressed':'id'+str(N)})\ncheck('variant query or selection payload', solve('capture', variant), 'id'+str(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":"58ffd2edd06b6344f12594725828c940623465612a413ad5f6459d6a6d9ea5d9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(event, d):\n    if event == 'capture': return d['pressed']\n    if event == 'same-row': return d['pressed'] is not None and d['pressed']==d['released']\n    if event == 'same-pointer': return d['pointer']==d['release_pointer']\n    if event == 'inside': return True\n    if event == 'slop': return d['distance']<=d['slop']\n    if event == 'fresh': return d['press_epoch']==d['epoch']\n    if event == 'blur-defer': return d['pressed'] is not None\n    if event == 'hover-value': return d['value']\n    if event == 'cancel': return {'pressed':None,'pointer':None}\n    if event == 'press-epoch': return d['epoch']\n    return {'unchanged': True}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nnormal = {'pressed':'a','released':'b','pointer':N,'release_pointer':N+1,'inside':False,'distance':8,'slop':3,'epoch':N,'press_epoch':N-1,'hover':'c','value':'v'}\nboundary = {'pressed':None,'released':None,'pointer':N,'release_pointer':N,'inside':True,'distance':0,'slop':0,'epoch':N,'press_epoch':N,'hover':None,'value':None}\ncheck('normal capture', solve('capture', normal), 'a')\ncheck('boundary capture', solve('capture', boundary), None)\ncheck('normal same-row', solve('same-row', normal), False)\ncheck('boundary same-row', solve('same-row', boundary), False)\ncheck('normal same-pointer', solve('same-pointer', normal), False)\ncheck('boundary same-pointer', solve('same-pointer', boundary), True)\ncheck('normal inside', solve('inside', normal), False)\ncheck('boundary inside', solve('inside', boundary), True)\ncheck('normal slop', solve('slop', normal), False)\ncheck('boundary slop', solve('slop', boundary), True)\ncheck('normal fresh', solve('fresh', normal), False)\ncheck('boundary fresh', solve('fresh', boundary), True)\ncheck('normal blur-defer', solve('blur-defer', normal), True)\ncheck('boundary blur-defer', solve('blur-defer', boundary), False)\ncheck('normal hover-value', solve('hover-value', normal), 'v')\ncheck('boundary hover-value', solve('hover-value', boundary), None)\ncheck('normal cancel', solve('cancel', normal), {'pressed':None,'pointer':None})\ncheck('boundary cancel', solve('cancel', boundary), {'pressed':None,'pointer':None})\ncheck('normal press-epoch', solve('press-epoch', normal), N)\ncheck('boundary press-epoch', solve('press-epoch', boundary), N)\nvariant = dict(normal, **{'pressed':'id'+str(N)})\ncheck('variant query or selection payload', solve('capture', variant), 'id'+str(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":"52ac3cd93717db8abf2112d83e623d7b77c761d4ab0a8454b3e592707793dc4d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(event, d):\n    if event == 'capture': return d['pressed']\n    if event == 'same-row': return d['pressed'] is not None and d['pressed']==d['released']\n    if event == 'same-pointer': return d['pointer']==d['release_pointer']\n    if event == 'inside': return d['inside']\n    if event == 'slop': return d['distance']<=d['slop']\n    if event == 'fresh': return d['press_epoch']==d['epoch']\n    if event == 'blur-defer': return d['pressed'] is not None\n    if event == 'hover-value': return d['value']\n    if event == 'cancel': return {'pressed':None,'pointer':None}\n    if event == 'press-epoch': return d['epoch']\n    return {'unchanged': True}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nnormal = {'pressed':'a','released':'b','pointer':N,'release_pointer':N+1,'inside':False,'distance':8,'slop':3,'epoch':N,'press_epoch':N-1,'hover':'c','value':'v'}\nboundary = {'pressed':None,'released':None,'pointer':N,'release_pointer':N,'inside':True,'distance':0,'slop':0,'epoch':N,'press_epoch':N,'hover':None,'value':None}\ncheck('normal capture', solve('capture', normal), 'a')\ncheck('boundary capture', solve('capture', boundary), None)\ncheck('normal same-row', solve('same-row', normal), False)\ncheck('boundary same-row', solve('same-row', boundary), False)\ncheck('normal same-pointer', solve('same-pointer', normal), False)\ncheck('boundary same-pointer', solve('same-pointer', boundary), True)\ncheck('normal inside', solve('inside', normal), False)\ncheck('boundary inside', solve('inside', boundary), True)\ncheck('normal slop', solve('slop', normal), False)\ncheck('boundary slop', solve('slop', boundary), True)\ncheck('normal fresh', solve('fresh', normal), False)\ncheck('boundary fresh', solve('fresh', boundary), True)\ncheck('normal blur-defer', solve('blur-defer', normal), True)\ncheck('boundary blur-defer', solve('blur-defer', boundary), False)\ncheck('normal hover-value', solve('hover-value', normal), 'v')\ncheck('boundary hover-value', solve('hover-value', boundary), None)\ncheck('normal cancel', solve('cancel', normal), {'pressed':None,'pointer':None})\ncheck('boundary cancel', solve('cancel', boundary), {'pressed':None,'pointer':None})\ncheck('normal press-epoch', solve('press-epoch', normal), N)\ncheck('boundary press-epoch', solve('press-epoch', boundary), N)\nvariant = dict(normal, **{'pressed':'id'+str(N)})\ncheck('variant query or selection payload', solve('capture', variant), 'id'+str(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-pointer-acceptance-inside","generated_at":"2026-09-29T14:40:39.531177+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 inside contract using `d['inside']`.","root_cause":"At pointer-acceptance/inside, the implementation evaluates `True` instead of preserving the specified completion transition.","sha256":"a0b53734a88a9c2cc194cfb61097c3a237972ca26b42f267e3ffbc878c7a1625","title":"Suggestion pointer acceptance transaction: release outside suggestions still accepts a captured option · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.607,"exit_code":1,"observations":[{"actual":"a","check":"normal capture","expected":"a","passed":true},{"actual":null,"check":"boundary capture","expected":null,"passed":true},{"actual":false,"check":"normal same-row","expected":false,"passed":true},{"actual":false,"check":"boundary same-row","expected":false,"passed":true},{"actual":false,"check":"normal same-pointer","expected":false,"passed":true},{"actual":true,"check":"boundary same-pointer","expected":true,"passed":true},{"actual":true,"check":"normal inside","expected":false,"passed":false},{"actual":false,"check":"boundary inside","expected":true,"passed":false},{"actual":false,"check":"normal slop","expected":false,"passed":true},{"actual":true,"check":"boundary slop","expected":true,"passed":true},{"actual":false,"check":"normal fresh","expected":false,"passed":true},{"actual":true,"check":"boundary fresh","expected":true,"passed":true},{"actual":true,"check":"normal blur-defer","expected":true,"passed":true},{"actual":false,"check":"boundary blur-defer","expected":false,"passed":true},{"actual":"v","check":"normal hover-value","expected":"v","passed":true},{"actual":null,"check":"boundary hover-value","expected":null,"passed":true},{"actual":{"pointer":null,"pressed":null},"check":"normal cancel","expected":{"pointer":null,"pressed":null},"passed":true},{"actual":{"pointer":null,"pressed":null},"check":"boundary cancel","expected":{"pointer":null,"pressed":null},"passed":true},{"actual":1,"check":"normal press-epoch","expected":1,"passed":true},{"actual":1,"check":"boundary press-epoch","expected":1,"passed":true},{"actual":"id1","check":"variant query or selection payload","expected":"id1","passed":true},{"actual":{"unchanged":true},"check":"unknown completion event","expected":{"unchanged":true},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"normal capture\", \"actual\": \"a\", \"expected\": \"a\", \"passed\": true}, {\"check\": \"boundary capture\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal same-row\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary same-row\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"normal same-pointer\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary same-pointer\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"normal inside\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"boundary inside\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"normal slop\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary slop\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"normal fresh\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary fresh\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"normal blur-defer\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"boundary blur-defer\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"normal hover-value\", \"actual\": \"v\", \"expected\": \"v\", \"passed\": true}, {\"check\": \"boundary hover-value\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal cancel\", \"actual\": {\"pressed\": null, \"pointer\": null}, \"expected\": {\"pressed\": null, \"pointer\": null}, \"passed\": true}, {\"check\": \"boundary cancel\", \"actual\": {\"pressed\": null, \"pointer\": null}, \"expected\": {\"pressed\": null, \"pointer\": null}, \"passed\": true}, {\"check\": \"normal press-epoch\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"boundary press-epoch\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"variant query or selection payload\", \"actual\": \"id1\", \"expected\": \"id1\", \"passed\": true}, {\"check\": \"unknown completion event\", \"actual\": {\"unchanged\": true}, \"expected\": {\"unchanged\": true}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.505,"exit_code":1,"observations":[{"actual":"a","check":"normal capture","expected":"a","passed":true},{"actual":null,"check":"boundary capture","expected":null,"passed":true},{"actual":false,"check":"normal same-row","expected":false,"passed":true},{"actual":false,"check":"boundary same-row","expected":false,"passed":true},{"actual":false,"check":"normal same-pointer","expected":false,"passed":true},{"actual":true,"check":"boundary same-pointer","expected":true,"passed":true},{"actual":true,"check":"normal inside","expected":false,"passed":false},{"actual":true,"check":"boundary inside","expected":true,"passed":true},{"actual":false,"check":"normal slop","expected":false,"passed":true},{"actual":true,"check":"boundary slop","expected":true,"passed":true},{"actual":false,"check":"normal fresh","expected":false,"passed":true},{"actual":true,"check":"boundary fresh","expected":true,"passed":true},{"actual":true,"check":"normal blur-defer","expected":true,"passed":true},{"actual":false,"check":"boundary blur-defer","expected":false,"passed":true},{"actual":"v","check":"normal hover-value","expected":"v","passed":true},{"actual":null,"check":"boundary hover-value","expected":null,"passed":true},{"actual":{"pointer":null,"pressed":null},"check":"normal cancel","expected":{"pointer":null,"pressed":null},"passed":true},{"actual":{"pointer":null,"pressed":null},"check":"boundary cancel","expected":{"pointer":null,"pressed":null},"passed":true},{"actual":1,"check":"normal press-epoch","expected":1,"passed":true},{"actual":1,"check":"boundary press-epoch","expected":1,"passed":true},{"actual":"id1","check":"variant query or selection payload","expected":"id1","passed":true},{"actual":{"unchanged":true},"check":"unknown completion event","expected":{"unchanged":true},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"normal capture\", \"actual\": \"a\", \"expected\": \"a\", \"passed\": true}, {\"check\": \"boundary capture\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal same-row\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary same-row\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"normal same-pointer\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary same-pointer\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"normal inside\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"boundary inside\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"normal slop\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary slop\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"normal fresh\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary fresh\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"normal blur-defer\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"boundary blur-defer\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"normal hover-value\", \"actual\": \"v\", \"expected\": \"v\", \"passed\": true}, {\"check\": \"boundary hover-value\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal cancel\", \"actual\": {\"pressed\": null, \"pointer\": null}, \"expected\": {\"pressed\": null, \"pointer\": null}, \"passed\": true}, {\"check\": \"boundary cancel\", \"actual\": {\"pressed\": null, \"pointer\": null}, \"expected\": {\"pressed\": null, \"pointer\": null}, \"passed\": true}, {\"check\": \"normal press-epoch\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"boundary press-epoch\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"variant query or selection payload\", \"actual\": \"id1\", \"expected\": \"id1\", \"passed\": true}, {\"check\": \"unknown completion event\", \"actual\": {\"unchanged\": true}, \"expected\": {\"unchanged\": true}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.238,"exit_code":0,"observations":[{"actual":"a","check":"normal capture","expected":"a","passed":true},{"actual":null,"check":"boundary capture","expected":null,"passed":true},{"actual":false,"check":"normal same-row","expected":false,"passed":true},{"actual":false,"check":"boundary same-row","expected":false,"passed":true},{"actual":false,"check":"normal same-pointer","expected":false,"passed":true},{"actual":true,"check":"boundary same-pointer","expected":true,"passed":true},{"actual":false,"check":"normal inside","expected":false,"passed":true},{"actual":true,"check":"boundary inside","expected":true,"passed":true},{"actual":false,"check":"normal slop","expected":false,"passed":true},{"actual":true,"check":"boundary slop","expected":true,"passed":true},{"actual":false,"check":"normal fresh","expected":false,"passed":true},{"actual":true,"check":"boundary fresh","expected":true,"passed":true},{"actual":true,"check":"normal blur-defer","expected":true,"passed":true},{"actual":false,"check":"boundary blur-defer","expected":false,"passed":true},{"actual":"v","check":"normal hover-value","expected":"v","passed":true},{"actual":null,"check":"boundary hover-value","expected":null,"passed":true},{"actual":{"pointer":null,"pressed":null},"check":"normal cancel","expected":{"pointer":null,"pressed":null},"passed":true},{"actual":{"pointer":null,"pressed":null},"check":"boundary cancel","expected":{"pointer":null,"pressed":null},"passed":true},{"actual":1,"check":"normal press-epoch","expected":1,"passed":true},{"actual":1,"check":"boundary press-epoch","expected":1,"passed":true},{"actual":"id1","check":"variant query or selection payload","expected":"id1","passed":true},{"actual":{"unchanged":true},"check":"unknown completion event","expected":{"unchanged":true},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"normal capture\", \"actual\": \"a\", \"expected\": \"a\", \"passed\": true}, {\"check\": \"boundary capture\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal same-row\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary same-row\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"normal same-pointer\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary same-pointer\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"normal inside\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary inside\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"normal slop\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary slop\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"normal fresh\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary fresh\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"normal blur-defer\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"boundary blur-defer\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"normal hover-value\", \"actual\": \"v\", \"expected\": \"v\", \"passed\": true}, {\"check\": \"boundary hover-value\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal cancel\", \"actual\": {\"pressed\": null, \"pointer\": null}, \"expected\": {\"pressed\": null, \"pointer\": null}, \"passed\": true}, {\"check\": \"boundary cancel\", \"actual\": {\"pressed\": null, \"pointer\": null}, \"expected\": {\"pressed\": null, \"pointer\": null}, \"passed\": true}, {\"check\": \"normal press-epoch\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"boundary press-epoch\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"variant query or selection payload\", \"actual\": \"id1\", \"expected\": \"id1\", \"passed\": true}, {\"check\": \"unknown completion event\", \"actual\": {\"unchanged\": true}, \"expected\": {\"unchanged\": true}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}