FA-32806 / Menu interactions / Open access

Detached context target retains an actionable menu owner · case 01

Detached context target retains an actionable menu owner.

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

ROOT CAUSE

The context-target-resolution model applies `p['owner_exists']` at its detached operation instead of the stipulated transformation.

VERIFIED REPAIR

Apply `p['connected'] and p['owner_exists']` at detached.

Unsuccessful approach: The attempted repair `p['connected'] or p['owner_exists']` still violates the detached oracle.

Case contract

Context invocations choose the nearest eligible context owner from a composed target path; nested ownership, exclusions and document boundaries are explicit.

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 == 'nearest':
        return next((x['id'] for x in p if x['context']),None)
    if action == 'exclude':
        return next((x['id'] for x in p if x['context'] and not x['excluded']),None)
    if action == 'document':
        return [x for x in p['path'] if x['document']==p['document']]
    if action == 'detached':
        return p['owner_exists']
    if action == 'fallback':
        return p['local'] if p['local'] is not None else p['document']
    if action == 'hit-target':
        return p['captured'] if p['capture_valid'] else p['hit']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('nearest contract', solve('nearest', [{'id':N,'context':True},{'id':N+1,'context':True}]), N)
check('exclude contract', solve('exclude', [{'id':N,'context':True,'excluded':True},{'id':N+1,'context':False,'excluded':False},{'id':N+2,'context':True,'excluded':False}]), N+2)
check('document contract', solve('document', {'document':'a','path':[{'id':N,'document':'a'},{'id':N+1,'document':'b'}]}), [{'id':N,'document':'a'}])
check('detached contract', solve('detached', {'connected':False,'owner_exists':True,'id':N}), False)
check('fallback contract', solve('fallback', {'local':0,'document':N+1}), 0)
check('hit-target contract', solve('hit-target', {'captured':N,'capture_valid':True,'hit':N+1,'capture_owner':'canvas'}), N)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
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
nearest contract	`1`	`1`	Passed
exclude contract	`3`	`3`	Passed
document contract	`[{'document': 'a', 'id': 1}]`	`[{'document': 'a', 'id': 1}]`	Passed
detached contract	`True`	`False`	Failed
fallback contract	`0`	`0`	Passed
hit-target contract	`1`	`1`	Passed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed

SHA-256 / 349cf3597ea9698a3b1bbed4ffd0e8751562eb0931110b266eace548e54c7732

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 == 'nearest':
        return next((x['id'] for x in p if x['context']),None)
    if action == 'exclude':
        return next((x['id'] for x in p if x['context'] and not x['excluded']),None)
    if action == 'document':
        return [x for x in p['path'] if x['document']==p['document']]
    if action == 'detached':
        return p['connected'] or p['owner_exists']
    if action == 'fallback':
        return p['local'] if p['local'] is not None else p['document']
    if action == 'hit-target':
        return p['captured'] if p['capture_valid'] else p['hit']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('nearest contract', solve('nearest', [{'id':N,'context':True},{'id':N+1,'context':True}]), N)
check('exclude contract', solve('exclude', [{'id':N,'context':True,'excluded':True},{'id':N+1,'context':False,'excluded':False},{'id':N+2,'context':True,'excluded':False}]), N+2)
check('document contract', solve('document', {'document':'a','path':[{'id':N,'document':'a'},{'id':N+1,'document':'b'}]}), [{'id':N,'document':'a'}])
check('detached contract', solve('detached', {'connected':False,'owner_exists':True,'id':N}), False)
check('fallback contract', solve('fallback', {'local':0,'document':N+1}), 0)
check('hit-target contract', solve('hit-target', {'captured':N,'capture_valid':True,'hit':N+1,'capture_owner':'canvas'}), N)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
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
nearest contract	`1`	`1`	Passed
exclude contract	`3`	`3`	Passed
document contract	`[{'document': 'a', 'id': 1}]`	`[{'document': 'a', 'id': 1}]`	Passed
detached contract	`True`	`False`	Failed
fallback contract	`0`	`0`	Passed
hit-target contract	`1`	`1`	Passed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed

SHA-256 / 4f256a51bde239b827d9ff831ce19384ffe37931b1953e527ffcfa89e3a6be42

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json
import math
import unicodedata
N = 1
observations = []
def solve(action, p):
    if action == 'nearest':
        return next((x['id'] for x in p if x['context']),None)
    if action == 'exclude':
        return next((x['id'] for x in p if x['context'] and not x['excluded']),None)
    if action == 'document':
        return [x for x in p['path'] if x['document']==p['document']]
    if action == 'detached':
        return p['connected'] and p['owner_exists']
    if action == 'fallback':
        return p['local'] if p['local'] is not None else p['document']
    if action == 'hit-target':
        return p['captured'] if p['capture_valid'] else p['hit']
    return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('nearest contract', solve('nearest', [{'id':N,'context':True},{'id':N+1,'context':True}]), N)
check('exclude contract', solve('exclude', [{'id':N,'context':True,'excluded':True},{'id':N+1,'context':False,'excluded':False},{'id':N+2,'context':True,'excluded':False}]), N+2)
check('document contract', solve('document', {'document':'a','path':[{'id':N,'document':'a'},{'id':N+1,'document':'b'}]}), [{'id':N,'document':'a'}])
check('detached contract', solve('detached', {'connected':False,'owner_exists':True,'id':N}), False)
check('fallback contract', solve('fallback', {'local':0,'document':N+1}), 0)
check('hit-target contract', solve('hit-target', {'captured':N,'capture_valid':True,'hit':N+1,'capture_owner':'canvas'}), N)
check('unknown operation', solve('unknown', {}), {'error': 'unsupported menu operation'})
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
nearest contract	`1`	`1`	Passed
exclude contract	`3`	`3`	Passed
document contract	`[{'document': 'a', 'id': 1}]`	`[{'document': 'a', 'id': 1}]`	Passed
detached contract	`False`	`False`	Passed
fallback contract	`0`	`0`	Passed
hit-target contract	`1`	`1`	Passed
unknown operation	`{'error': 'unsupported menu operation'}`	`{'error': 'unsupported menu operation'}`	Passed

SHA-256 / 28b79fd8a0387bbcae7b6edb581aa2b97886e29db0c664846c0810564c809652

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:16.020760+00:00.

Case digest / c41e4529eccb37d510f27e8bb8b6173a20b36e751d128034b91321ebc42be2e4