FA-32726 / Menu interactions / Open access

Queued hover event opens a submenu after pointer departure · case 01

Queued hover event opens a submenu after pointer departure.

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

ROOT CAUSE

The hover-scheduler model applies `p['owner']==p['current']` at its late-fire operation instead of the stipulated transformation.

THE FAILURE

The hover-scheduler model applies `p['owner']==p['current']` at its late-fire operation instead of the stipulated transformation.

Unsuccessful approach: The attempted repair `p['inside']` still violates the late-fire oracle.

Case contract

Menu hover work is keyed by owner and pointer incarnation; scheduling honors open delays and close grace without retaining superseded jobs.

Why this case matters

Cascading and context menus require coherent command and session state as content changes.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json
import math
import unicodedata
N = 1
observations = []
def solve(action, p):
    if action == 'open-at':
        return p['entered']+p['delay']
    if action == 'replace-job':
        return [x for x in p['jobs'] if x['owner']!=p['new']['owner']]+[p['new']]
    if action == 'entry-cancel':
        return [x for x in p['jobs'] if not (x['owner']==p['owner'] and x['kind']=='close')]
    if action == 'due':
        return [x for x in p['jobs'] if x['at']<=p['now']]
    if action == 'leave-grace':
        return max(p['base'],p['intent'])
    if action == 'late-fire':
        return p['owner']==p['current']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('open-at contract', solve('open-at', {'entered':N,'now':N+3,'delay':10}), N+10)
check('replace-job contract', solve('replace-job', {'jobs':[{'owner':'a','at':N},{'owner':'b','at':N}],'new':{'owner':'a','at':N+1}}), [{'owner':'b','at':N},{'owner':'a','at':N+1}])
check('entry-cancel contract', solve('entry-cancel', {'owner':'a','jobs':[{'owner':'a','kind':'close','at':N},{'owner':'b','kind':'open','at':N}]}), [{'owner':'b','kind':'open','at':N}])
check('due contract', solve('due', {'jobs':[{'at':N},{'at':N+1}],'now':N}), [{'at':N}])
check('leave-grace contract', solve('leave-grace', {'base':N+1,'intent':N+5}), N+5)
check('late-fire contract', solve('late-fire', {'owner':'a'+str(N),'current':'a'+str(N),'inside':False}), False)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
check('inside different owner',solve('late-fire',{'owner':N,'current':N+1,'inside':True}),False)
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
open-at contract	`11`	`11`	Passed
replace-job contract	`[{'at': 1, 'owner': 'b'}, {'at': 2, 'owner': 'a'}]`	`[{'at': 1, 'owner': 'b'}, {'at': 2, 'owner': 'a'}]`	Passed
entry-cancel contract	`[{'at': 1, 'kind': 'open', 'owner': 'b'}]`	`[{'at': 1, 'kind': 'open', 'owner': 'b'}]`	Passed
due contract	`[{'at': 1}]`	`[{'at': 1}]`	Passed
leave-grace contract	`6`	`6`	Passed
late-fire contract	`True`	`False`	Failed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed
inside different owner	`False`	`False`	Passed

SHA-256 / 20218dd4ec1d7c01a9037e45c62a57ae096df7c7166d74df28a7befd9df869a7

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json
import math
import unicodedata
N = 1
observations = []
def solve(action, p):
    if action == 'open-at':
        return p['entered']+p['delay']
    if action == 'replace-job':
        return [x for x in p['jobs'] if x['owner']!=p['new']['owner']]+[p['new']]
    if action == 'entry-cancel':
        return [x for x in p['jobs'] if not (x['owner']==p['owner'] and x['kind']=='close')]
    if action == 'due':
        return [x for x in p['jobs'] if x['at']<=p['now']]
    if action == 'leave-grace':
        return max(p['base'],p['intent'])
    if action == 'late-fire':
        return p['inside']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('open-at contract', solve('open-at', {'entered':N,'now':N+3,'delay':10}), N+10)
check('replace-job contract', solve('replace-job', {'jobs':[{'owner':'a','at':N},{'owner':'b','at':N}],'new':{'owner':'a','at':N+1}}), [{'owner':'b','at':N},{'owner':'a','at':N+1}])
check('entry-cancel contract', solve('entry-cancel', {'owner':'a','jobs':[{'owner':'a','kind':'close','at':N},{'owner':'b','kind':'open','at':N}]}), [{'owner':'b','kind':'open','at':N}])
check('due contract', solve('due', {'jobs':[{'at':N},{'at':N+1}],'now':N}), [{'at':N}])
check('leave-grace contract', solve('leave-grace', {'base':N+1,'intent':N+5}), N+5)
check('late-fire contract', solve('late-fire', {'owner':'a'+str(N),'current':'a'+str(N),'inside':False}), False)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
check('inside different owner',solve('late-fire',{'owner':N,'current':N+1,'inside':True}),False)
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
open-at contract	`11`	`11`	Passed
replace-job contract	`[{'at': 1, 'owner': 'b'}, {'at': 2, 'owner': 'a'}]`	`[{'at': 1, 'owner': 'b'}, {'at': 2, 'owner': 'a'}]`	Passed
entry-cancel contract	`[{'at': 1, 'kind': 'open', 'owner': 'b'}]`	`[{'at': 1, 'kind': 'open', 'owner': 'b'}]`	Passed
due contract	`[{'at': 1}]`	`[{'at': 1}]`	Passed
leave-grace contract	`6`	`6`	Passed
late-fire contract	`False`	`False`	Passed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed
inside different owner	`True`	`False`	Failed

SHA-256 / 12cf22c68494efd896e88a2e7b90edcc3977540cc445ef354989213cc2361ccb

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 8 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Verification & scope

Offline supplied-valid-payload model; excludes DOM, keyboard, focus, selection, announcements and browser conformance. 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:42:15.073828+00:00.

Case digest / 89c72f15ea744ef765a26ae4cae6008bc40bc6761f1315d209d36c08c8c95203