{"abstract":"The selected completion transition produces an incorrect observable state.","category":"Autocomplete interactions","checks":22,"contract":"Unavailable options remain visible with reasons but cannot be committed or auto-selected. Availability is attached to identity, not display text. A committed unavailable value remains represented for correction. Disabled-only responses are distinct from empty results.","contract_signature":"event, d","evaluation_group":"s3-autocomplete-unavailable-options","failed_approach":"The attempted repair uses `d['active']`, which still violates a normal or boundary completion fixture.","family":"s3-autocomplete-interactions-unavailable-options-selected","id":"FA-22411","implementations":{"attempt":{"sha256":"e13847871edab7024ffe9450215b1425600d238d4885955543ede6bdd049e9a6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(event, d):\n    if event == 'visible': return d['ids']\n    if event == 'eligible': return [x for x in d['ids'] if x not in d['disabled']]\n    if event == 'commit': return d['active'] if d['active'] in d['ids'] and d['active'] not in d['disabled'] else None\n    if event == 'reason': return d['reason'].get(d['active'])\n    if event == 'selected': return d['active']\n    if event == 'row-flags': return [x in d['disabled'] for x in d['ids']]\n    if event == 'first-enabled': return next((x for x in d['ids'] if x not in d['disabled']),None)\n    if event == 'status': return 'empty' if not d['ids'] else 'available' if any(x not in d['disabled'] for x in d['ids']) else 'unavailable'\n    if event == 'validation': return d['value'] is None or d['value'] not in d['disabled']\n    if event == 'revalidate': return {'active':None if d['active'] in d['disabled'] else d['active'],'epoch':d['epoch']}\n    return {'unchanged': True}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nnormal = {'ids':['a','b','c'],'disabled':['a','c'],'labels':['Same','Same','See'],'active':'a','value':'c','reason':{'a':'retired','c':'restricted'},'epoch':N}\nboundary = {'ids':[],'disabled':[],'labels':[],'active':None,'value':None,'reason':{},'epoch':N}\ncheck('normal visible', solve('visible', normal), ['a','b','c'])\ncheck('boundary visible', solve('visible', boundary), [])\ncheck('normal eligible', solve('eligible', normal), ['b'])\ncheck('boundary eligible', solve('eligible', boundary), [])\ncheck('normal commit', solve('commit', normal), None)\ncheck('boundary commit', solve('commit', boundary), None)\ncheck('normal reason', solve('reason', normal), 'retired')\ncheck('boundary reason', solve('reason', boundary), None)\ncheck('normal selected', solve('selected', normal), 'c')\ncheck('boundary selected', solve('selected', boundary), None)\ncheck('normal row-flags', solve('row-flags', normal), [True,False,True])\ncheck('boundary row-flags', solve('row-flags', boundary), [])\ncheck('normal first-enabled', solve('first-enabled', normal), 'b')\ncheck('boundary first-enabled', solve('first-enabled', boundary), None)\ncheck('normal status', solve('status', normal), 'available')\ncheck('boundary status', solve('status', boundary), 'empty')\ncheck('normal validation', solve('validation', normal), False)\ncheck('boundary validation', solve('validation', boundary), True)\ncheck('normal revalidate', solve('revalidate', normal), {'active':None,'epoch':N})\ncheck('boundary revalidate', solve('revalidate', boundary), {'active':None,'epoch':N})\nvariant = dict(normal, **{'value':'id'+str(N)})\ncheck('variant query or selection payload', solve('selected', 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":"e31e594d2c5c3f92704d1252207c7d311e8cfbd55ccb4d6b964dff6d280e50dd","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(event, d):\n    if event == 'visible': return d['ids']\n    if event == 'eligible': return [x for x in d['ids'] if x not in d['disabled']]\n    if event == 'commit': return d['active'] if d['active'] in d['ids'] and d['active'] not in d['disabled'] else None\n    if event == 'reason': return d['reason'].get(d['active'])\n    if event == 'selected': return None if d['value'] in d['disabled'] else d['value']\n    if event == 'row-flags': return [x in d['disabled'] for x in d['ids']]\n    if event == 'first-enabled': return next((x for x in d['ids'] if x not in d['disabled']),None)\n    if event == 'status': return 'empty' if not d['ids'] else 'available' if any(x not in d['disabled'] for x in d['ids']) else 'unavailable'\n    if event == 'validation': return d['value'] is None or d['value'] not in d['disabled']\n    if event == 'revalidate': return {'active':None if d['active'] in d['disabled'] else d['active'],'epoch':d['epoch']}\n    return {'unchanged': True}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nnormal = {'ids':['a','b','c'],'disabled':['a','c'],'labels':['Same','Same','See'],'active':'a','value':'c','reason':{'a':'retired','c':'restricted'},'epoch':N}\nboundary = {'ids':[],'disabled':[],'labels':[],'active':None,'value':None,'reason':{},'epoch':N}\ncheck('normal visible', solve('visible', normal), ['a','b','c'])\ncheck('boundary visible', solve('visible', boundary), [])\ncheck('normal eligible', solve('eligible', normal), ['b'])\ncheck('boundary eligible', solve('eligible', boundary), [])\ncheck('normal commit', solve('commit', normal), None)\ncheck('boundary commit', solve('commit', boundary), None)\ncheck('normal reason', solve('reason', normal), 'retired')\ncheck('boundary reason', solve('reason', boundary), None)\ncheck('normal selected', solve('selected', normal), 'c')\ncheck('boundary selected', solve('selected', boundary), None)\ncheck('normal row-flags', solve('row-flags', normal), [True,False,True])\ncheck('boundary row-flags', solve('row-flags', boundary), [])\ncheck('normal first-enabled', solve('first-enabled', normal), 'b')\ncheck('boundary first-enabled', solve('first-enabled', boundary), None)\ncheck('normal status', solve('status', normal), 'available')\ncheck('boundary status', solve('status', boundary), 'empty')\ncheck('normal validation', solve('validation', normal), False)\ncheck('boundary validation', solve('validation', boundary), True)\ncheck('normal revalidate', solve('revalidate', normal), {'active':None,'epoch':N})\ncheck('boundary revalidate', solve('revalidate', boundary), {'active':None,'epoch':N})\nvariant = dict(normal, **{'value':'id'+str(N)})\ncheck('variant query or selection payload', solve('selected', 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-unavailable-options-selected","generated_at":"2026-09-29T14:40:38.338314+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.","root_cause":"At unavailable-options/selected, the implementation evaluates `None if d['value'] in d['disabled'] else d['value']` instead of preserving the specified completion transition.","sha256":"68021e0f4c34c04c9a2e8e0698b96d4abdce2d8d7f6e5c9246dc0d2dd9b63574","title":"Unavailable suggestion presentation: unavailable committed value is silently cleared · 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":39.592,"exit_code":1,"observations":[{"actual":["a","b","c"],"check":"normal visible","expected":["a","b","c"],"passed":true},{"actual":[],"check":"boundary visible","expected":[],"passed":true},{"actual":["b"],"check":"normal eligible","expected":["b"],"passed":true},{"actual":[],"check":"boundary eligible","expected":[],"passed":true},{"actual":null,"check":"normal commit","expected":null,"passed":true},{"actual":null,"check":"boundary commit","expected":null,"passed":true},{"actual":"retired","check":"normal reason","expected":"retired","passed":true},{"actual":null,"check":"boundary reason","expected":null,"passed":true},{"actual":"a","check":"normal selected","expected":"c","passed":false},{"actual":null,"check":"boundary selected","expected":null,"passed":true},{"actual":[true,false,true],"check":"normal row-flags","expected":[true,false,true],"passed":true},{"actual":[],"check":"boundary row-flags","expected":[],"passed":true},{"actual":"b","check":"normal first-enabled","expected":"b","passed":true},{"actual":null,"check":"boundary first-enabled","expected":null,"passed":true},{"actual":"available","check":"normal status","expected":"available","passed":true},{"actual":"empty","check":"boundary status","expected":"empty","passed":true},{"actual":false,"check":"normal validation","expected":false,"passed":true},{"actual":true,"check":"boundary validation","expected":true,"passed":true},{"actual":{"active":null,"epoch":1},"check":"normal revalidate","expected":{"active":null,"epoch":1},"passed":true},{"actual":{"active":null,"epoch":1},"check":"boundary revalidate","expected":{"active":null,"epoch":1},"passed":true},{"actual":"a","check":"variant query or selection payload","expected":"id1","passed":false},{"actual":{"unchanged":true},"check":"unknown completion event","expected":{"unchanged":true},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"normal visible\", \"actual\": [\"a\", \"b\", \"c\"], \"expected\": [\"a\", \"b\", \"c\"], \"passed\": true}, {\"check\": \"boundary visible\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"normal eligible\", \"actual\": [\"b\"], \"expected\": [\"b\"], \"passed\": true}, {\"check\": \"boundary eligible\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"normal commit\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"boundary commit\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal reason\", \"actual\": \"retired\", \"expected\": \"retired\", \"passed\": true}, {\"check\": \"boundary reason\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal selected\", \"actual\": \"a\", \"expected\": \"c\", \"passed\": false}, {\"check\": \"boundary selected\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal row-flags\", \"actual\": [true, false, true], \"expected\": [true, false, true], \"passed\": true}, {\"check\": \"boundary row-flags\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"normal first-enabled\", \"actual\": \"b\", \"expected\": \"b\", \"passed\": true}, {\"check\": \"boundary first-enabled\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal status\", \"actual\": \"available\", \"expected\": \"available\", \"passed\": true}, {\"check\": \"boundary status\", \"actual\": \"empty\", \"expected\": \"empty\", \"passed\": true}, {\"check\": \"normal validation\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary validation\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"normal revalidate\", \"actual\": {\"active\": null, \"epoch\": 1}, \"expected\": {\"active\": null, \"epoch\": 1}, \"passed\": true}, {\"check\": \"boundary revalidate\", \"actual\": {\"active\": null, \"epoch\": 1}, \"expected\": {\"active\": null, \"epoch\": 1}, \"passed\": true}, {\"check\": \"variant query or selection payload\", \"actual\": \"a\", \"expected\": \"id1\", \"passed\": false}, {\"check\": \"unknown completion event\", \"actual\": {\"unchanged\": true}, \"expected\": {\"unchanged\": true}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.063,"exit_code":1,"observations":[{"actual":["a","b","c"],"check":"normal visible","expected":["a","b","c"],"passed":true},{"actual":[],"check":"boundary visible","expected":[],"passed":true},{"actual":["b"],"check":"normal eligible","expected":["b"],"passed":true},{"actual":[],"check":"boundary eligible","expected":[],"passed":true},{"actual":null,"check":"normal commit","expected":null,"passed":true},{"actual":null,"check":"boundary commit","expected":null,"passed":true},{"actual":"retired","check":"normal reason","expected":"retired","passed":true},{"actual":null,"check":"boundary reason","expected":null,"passed":true},{"actual":null,"check":"normal selected","expected":"c","passed":false},{"actual":null,"check":"boundary selected","expected":null,"passed":true},{"actual":[true,false,true],"check":"normal row-flags","expected":[true,false,true],"passed":true},{"actual":[],"check":"boundary row-flags","expected":[],"passed":true},{"actual":"b","check":"normal first-enabled","expected":"b","passed":true},{"actual":null,"check":"boundary first-enabled","expected":null,"passed":true},{"actual":"available","check":"normal status","expected":"available","passed":true},{"actual":"empty","check":"boundary status","expected":"empty","passed":true},{"actual":false,"check":"normal validation","expected":false,"passed":true},{"actual":true,"check":"boundary validation","expected":true,"passed":true},{"actual":{"active":null,"epoch":1},"check":"normal revalidate","expected":{"active":null,"epoch":1},"passed":true},{"actual":{"active":null,"epoch":1},"check":"boundary revalidate","expected":{"active":null,"epoch":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 visible\", \"actual\": [\"a\", \"b\", \"c\"], \"expected\": [\"a\", \"b\", \"c\"], \"passed\": true}, {\"check\": \"boundary visible\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"normal eligible\", \"actual\": [\"b\"], \"expected\": [\"b\"], \"passed\": true}, {\"check\": \"boundary eligible\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"normal commit\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"boundary commit\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal reason\", \"actual\": \"retired\", \"expected\": \"retired\", \"passed\": true}, {\"check\": \"boundary reason\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal selected\", \"actual\": null, \"expected\": \"c\", \"passed\": false}, {\"check\": \"boundary selected\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal row-flags\", \"actual\": [true, false, true], \"expected\": [true, false, true], \"passed\": true}, {\"check\": \"boundary row-flags\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"normal first-enabled\", \"actual\": \"b\", \"expected\": \"b\", \"passed\": true}, {\"check\": \"boundary first-enabled\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"normal status\", \"actual\": \"available\", \"expected\": \"available\", \"passed\": true}, {\"check\": \"boundary status\", \"actual\": \"empty\", \"expected\": \"empty\", \"passed\": true}, {\"check\": \"normal validation\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"boundary validation\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"normal revalidate\", \"actual\": {\"active\": null, \"epoch\": 1}, \"expected\": {\"active\": null, \"epoch\": 1}, \"passed\": true}, {\"check\": \"boundary revalidate\", \"actual\": {\"active\": null, \"epoch\": 1}, \"expected\": {\"active\": null, \"epoch\": 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"}},"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."}}