FA-23106 / Autocomplete interactions / Open access

Autocomplete query activation policy: browse activation under composition discards the pending browse intent · case 01

The deferred-browse completion transition produces an incorrect observable state.

Verified by executionVariant 1 · 22 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

At activation-policy/deferred-browse, the implementation evaluates `{'defer_browse':False,'query':d['draft']}` instead of preserving the specified completion transition.

VERIFIED REPAIR

Implement the deferred-browse contract using `{'defer_browse':d['browse'] and d['composing'],'query':None if d['composing'] else d['draft']}`.

Unsuccessful approach: The attempted repair uses `{'defer_browse':d['browse'],'query':None}`, which still violates a normal or boundary completion fixture.

Case contract

This stipulated picker searches only after minimum draft length unless explicit browse is requested. Empty-query browse uses recent suggestions, composition blocks query emission, and disabled/read-only interaction suppresses new requests. Draft erasure cancels pending search and clears query-bound results.

Why this case matters

Autocomplete couples draft text, suggestion identity and asynchronous presentation; this bounded lifecycle model isolates one observable interaction defect.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(event, d):
    if event == 'threshold': return len(d['draft'])>=d['minimum']
    if event == 'browse': return d['browse']
    if event == 'recent': return d['recent'] if not d['draft'] else []
    if event == 'deferred-browse': return {'defer_browse':False,'query':d['draft']}
    if event == 'disabled': return not d['disabled']
    if event == 'readonly': return not d['readonly']
    if event == 'erase-pending': return None
    if event == 'erase-results': return []
    if event == 'empty-query-mode': return 'recent' if not d['draft'] and d['browse'] else 'type-more' if len(d['draft'])<d['minimum'] else 'results'
    if event == 'browse-descriptor': return {'mode':'browse' if d['browse'] else 'query','text':d['draft']}
    return {'unchanged': True}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
normal = {'draft':'p','minimum':2,'browse':False,'recent':['a'],'composing':True,'disabled':True,'readonly':True,'pending':'pe','rows':['p1'],'epoch':N}
boundary = {'draft':'','minimum':0,'browse':True,'recent':[],'composing':False,'disabled':False,'readonly':False,'pending':None,'rows':[],'epoch':N}
check('normal threshold', solve('threshold', normal), False)
check('boundary threshold', solve('threshold', boundary), True)
check('normal browse', solve('browse', normal), False)
check('boundary browse', solve('browse', boundary), True)
check('normal recent', solve('recent', normal), [])
check('boundary recent', solve('recent', boundary), [])
check('normal deferred-browse', solve('deferred-browse', normal), {'defer_browse':False,'query':None})
check('boundary deferred-browse', solve('deferred-browse', boundary), {'defer_browse':False,'query':''})
check('normal disabled', solve('disabled', normal), False)
check('boundary disabled', solve('disabled', boundary), True)
check('normal readonly', solve('readonly', normal), False)
check('boundary readonly', solve('readonly', boundary), True)
check('normal erase-pending', solve('erase-pending', normal), None)
check('boundary erase-pending', solve('erase-pending', boundary), None)
check('normal erase-results', solve('erase-results', normal), [])
check('boundary erase-results', solve('erase-results', boundary), [])
check('normal empty-query-mode', solve('empty-query-mode', normal), 'type-more')
check('boundary empty-query-mode', solve('empty-query-mode', boundary), 'recent')
check('normal browse-descriptor', solve('browse-descriptor', normal), {'mode':'query','text':'p'})
check('boundary browse-descriptor', solve('browse-descriptor', boundary), {'mode':'browse','text':''})
variant = dict(normal, **{'draft':'x'*N,'minimum':N})
check('variant query or selection payload', solve('threshold', variant), True)
check('unknown completion event', solve('unrecognized', normal), {'unchanged': True})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
normal threshold	`False`	`False`	Passed
boundary threshold	`True`	`True`	Passed
normal browse	`False`	`False`	Passed
boundary browse	`True`	`True`	Passed
normal recent	`[]`	`[]`	Passed
boundary recent	`[]`	`[]`	Passed
normal deferred-browse	`{'defer_browse': False, 'query': 'p'}`	`{'defer_browse': False, 'query': None}`	Failed
boundary deferred-browse	`{'defer_browse': False, 'query': ''}`	`{'defer_browse': False, 'query': ''}`	Passed
normal disabled	`False`	`False`	Passed
boundary disabled	`True`	`True`	Passed
normal readonly	`False`	`False`	Passed
boundary readonly	`True`	`True`	Passed
normal erase-pending	`None`	`None`	Passed
boundary erase-pending	`None`	`None`	Passed
normal erase-results	`[]`	`[]`	Passed
boundary erase-results	`[]`	`[]`	Passed
normal empty-query-mode	`type-more`	`type-more`	Passed
boundary empty-query-mode	`recent`	`recent`	Passed
normal browse-descriptor	`{'mode': 'query', 'text': 'p'}`	`{'mode': 'query', 'text': 'p'}`	Passed
boundary browse-descriptor	`{'mode': 'browse', 'text': ''}`	`{'mode': 'browse', 'text': ''}`	Passed
variant query or selection payload	`True`	`True`	Passed
unknown completion event	`{'unchanged': True}`	`{'unchanged': True}`	Passed

SHA-256 / 669b2d1e292d7460a37bfd426af3472db97f0571c88006571c7d406421550f6a

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(event, d):
    if event == 'threshold': return len(d['draft'])>=d['minimum']
    if event == 'browse': return d['browse']
    if event == 'recent': return d['recent'] if not d['draft'] else []
    if event == 'deferred-browse': return {'defer_browse':d['browse'],'query':None}
    if event == 'disabled': return not d['disabled']
    if event == 'readonly': return not d['readonly']
    if event == 'erase-pending': return None
    if event == 'erase-results': return []
    if event == 'empty-query-mode': return 'recent' if not d['draft'] and d['browse'] else 'type-more' if len(d['draft'])<d['minimum'] else 'results'
    if event == 'browse-descriptor': return {'mode':'browse' if d['browse'] else 'query','text':d['draft']}
    return {'unchanged': True}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
normal = {'draft':'p','minimum':2,'browse':False,'recent':['a'],'composing':True,'disabled':True,'readonly':True,'pending':'pe','rows':['p1'],'epoch':N}
boundary = {'draft':'','minimum':0,'browse':True,'recent':[],'composing':False,'disabled':False,'readonly':False,'pending':None,'rows':[],'epoch':N}
check('normal threshold', solve('threshold', normal), False)
check('boundary threshold', solve('threshold', boundary), True)
check('normal browse', solve('browse', normal), False)
check('boundary browse', solve('browse', boundary), True)
check('normal recent', solve('recent', normal), [])
check('boundary recent', solve('recent', boundary), [])
check('normal deferred-browse', solve('deferred-browse', normal), {'defer_browse':False,'query':None})
check('boundary deferred-browse', solve('deferred-browse', boundary), {'defer_browse':False,'query':''})
check('normal disabled', solve('disabled', normal), False)
check('boundary disabled', solve('disabled', boundary), True)
check('normal readonly', solve('readonly', normal), False)
check('boundary readonly', solve('readonly', boundary), True)
check('normal erase-pending', solve('erase-pending', normal), None)
check('boundary erase-pending', solve('erase-pending', boundary), None)
check('normal erase-results', solve('erase-results', normal), [])
check('boundary erase-results', solve('erase-results', boundary), [])
check('normal empty-query-mode', solve('empty-query-mode', normal), 'type-more')
check('boundary empty-query-mode', solve('empty-query-mode', boundary), 'recent')
check('normal browse-descriptor', solve('browse-descriptor', normal), {'mode':'query','text':'p'})
check('boundary browse-descriptor', solve('browse-descriptor', boundary), {'mode':'browse','text':''})
variant = dict(normal, **{'draft':'x'*N,'minimum':N})
check('variant query or selection payload', solve('threshold', variant), True)
check('unknown completion event', solve('unrecognized', normal), {'unchanged': True})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
normal threshold	`False`	`False`	Passed
boundary threshold	`True`	`True`	Passed
normal browse	`False`	`False`	Passed
boundary browse	`True`	`True`	Passed
normal recent	`[]`	`[]`	Passed
boundary recent	`[]`	`[]`	Passed
normal deferred-browse	`{'defer_browse': False, 'query': None}`	`{'defer_browse': False, 'query': None}`	Passed
boundary deferred-browse	`{'defer_browse': True, 'query': None}`	`{'defer_browse': False, 'query': ''}`	Failed
normal disabled	`False`	`False`	Passed
boundary disabled	`True`	`True`	Passed
normal readonly	`False`	`False`	Passed
boundary readonly	`True`	`True`	Passed
normal erase-pending	`None`	`None`	Passed
boundary erase-pending	`None`	`None`	Passed
normal erase-results	`[]`	`[]`	Passed
boundary erase-results	`[]`	`[]`	Passed
normal empty-query-mode	`type-more`	`type-more`	Passed
boundary empty-query-mode	`recent`	`recent`	Passed
normal browse-descriptor	`{'mode': 'query', 'text': 'p'}`	`{'mode': 'query', 'text': 'p'}`	Passed
boundary browse-descriptor	`{'mode': 'browse', 'text': ''}`	`{'mode': 'browse', 'text': ''}`	Passed
variant query or selection payload	`True`	`True`	Passed
unknown completion event	`{'unchanged': True}`	`{'unchanged': True}`	Passed

SHA-256 / 83e8c16b08133cd2d2112b0f02b479158e02eff52756018d18a78383c1a73297

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(event, d):
    if event == 'threshold': return len(d['draft'])>=d['minimum']
    if event == 'browse': return d['browse']
    if event == 'recent': return d['recent'] if not d['draft'] else []
    if event == 'deferred-browse': return {'defer_browse':d['browse'] and d['composing'],'query':None if d['composing'] else d['draft']}
    if event == 'disabled': return not d['disabled']
    if event == 'readonly': return not d['readonly']
    if event == 'erase-pending': return None
    if event == 'erase-results': return []
    if event == 'empty-query-mode': return 'recent' if not d['draft'] and d['browse'] else 'type-more' if len(d['draft'])<d['minimum'] else 'results'
    if event == 'browse-descriptor': return {'mode':'browse' if d['browse'] else 'query','text':d['draft']}
    return {'unchanged': True}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
normal = {'draft':'p','minimum':2,'browse':False,'recent':['a'],'composing':True,'disabled':True,'readonly':True,'pending':'pe','rows':['p1'],'epoch':N}
boundary = {'draft':'','minimum':0,'browse':True,'recent':[],'composing':False,'disabled':False,'readonly':False,'pending':None,'rows':[],'epoch':N}
check('normal threshold', solve('threshold', normal), False)
check('boundary threshold', solve('threshold', boundary), True)
check('normal browse', solve('browse', normal), False)
check('boundary browse', solve('browse', boundary), True)
check('normal recent', solve('recent', normal), [])
check('boundary recent', solve('recent', boundary), [])
check('normal deferred-browse', solve('deferred-browse', normal), {'defer_browse':False,'query':None})
check('boundary deferred-browse', solve('deferred-browse', boundary), {'defer_browse':False,'query':''})
check('normal disabled', solve('disabled', normal), False)
check('boundary disabled', solve('disabled', boundary), True)
check('normal readonly', solve('readonly', normal), False)
check('boundary readonly', solve('readonly', boundary), True)
check('normal erase-pending', solve('erase-pending', normal), None)
check('boundary erase-pending', solve('erase-pending', boundary), None)
check('normal erase-results', solve('erase-results', normal), [])
check('boundary erase-results', solve('erase-results', boundary), [])
check('normal empty-query-mode', solve('empty-query-mode', normal), 'type-more')
check('boundary empty-query-mode', solve('empty-query-mode', boundary), 'recent')
check('normal browse-descriptor', solve('browse-descriptor', normal), {'mode':'query','text':'p'})
check('boundary browse-descriptor', solve('browse-descriptor', boundary), {'mode':'browse','text':''})
variant = dict(normal, **{'draft':'x'*N,'minimum':N})
check('variant query or selection payload', solve('threshold', variant), True)
check('unknown completion event', solve('unrecognized', normal), {'unchanged': True})
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
normal threshold	`False`	`False`	Passed
boundary threshold	`True`	`True`	Passed
normal browse	`False`	`False`	Passed
boundary browse	`True`	`True`	Passed
normal recent	`[]`	`[]`	Passed
boundary recent	`[]`	`[]`	Passed
normal deferred-browse	`{'defer_browse': False, 'query': None}`	`{'defer_browse': False, 'query': None}`	Passed
boundary deferred-browse	`{'defer_browse': False, 'query': ''}`	`{'defer_browse': False, 'query': ''}`	Passed
normal disabled	`False`	`False`	Passed
boundary disabled	`True`	`True`	Passed
normal readonly	`False`	`False`	Passed
boundary readonly	`True`	`True`	Passed
normal erase-pending	`None`	`None`	Passed
boundary erase-pending	`None`	`None`	Passed
normal erase-results	`[]`	`[]`	Passed
boundary erase-results	`[]`	`[]`	Passed
normal empty-query-mode	`type-more`	`type-more`	Passed
boundary empty-query-mode	`recent`	`recent`	Passed
normal browse-descriptor	`{'mode': 'query', 'text': 'p'}`	`{'mode': 'query', 'text': 'p'}`	Passed
boundary browse-descriptor	`{'mode': 'browse', 'text': ''}`	`{'mode': 'browse', 'text': ''}`	Passed
variant query or selection payload	`True`	`True`	Passed
unknown completion event	`{'unchanged': True}`	`{'unchanged': True}`	Passed

SHA-256 / 75b09fb0bba0850df55fe097809c062d4ba1606ac138c248e3865c13cb6dc32e

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:40:44.598454+00:00.

Case digest / d257477f189a33cbd0c8a0ea49f5b214116fcbad7c6b7bf19fdf0ddd53943860