FA-33731 / Menu interactions / Open access
Cached submenu commands bypass the menu presentation row budget · case 01
Cached submenu commands bypass the menu presentation row budget.
ROOT CAUSE
The nested-provider-budgets model applies `len(p['fresh'])` at its charge-cache operation instead of the stipulated transformation.
VERIFIED REPAIR
Apply `len(p['fresh'])+len(p['cached'])` at charge-cache.
Unsuccessful approach: The attempted repair `len(p['cached'])` still violates the charge-cache oracle.
Case contract
Nested menu providers consume shared row and depth budgets and charge visible descendants exactly once; cached rows still occupy presentation budget.
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 == 'remaining-rows':
return max(0,p['budget']-p['ancestor_rows'])
if action == 'remaining-depth':
return max(0,p['maximum']-p['depth'])
if action == 'charge-cache':
return len(p['fresh'])
if action == 'truncate-signal':
return {'rows':p['rows'][:p['limit']],'truncated':len(p['rows'])>p['limit']}
if action == 'reservation':
return max(0,p['available']-sum(p['reservations'].values()))
if action == 'release-reservation':
return {k:v for k,v in p['reservations'].items() if k!=p['provider']}
return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('remaining-rows contract', solve('remaining-rows', {'budget':N+10,'ancestor_rows':4,'local_rows':1}), N+6)
check('remaining-depth contract', solve('remaining-depth', {'maximum':N+6,'depth':2}), N+4)
check('charge-cache contract', solve('charge-cache', {'fresh':[N],'cached':[N+1,N+2]}), 3)
check('truncate-signal contract', solve('truncate-signal', {'rows':list(range(N+3)),'limit':2}), {'rows':[0,1],'truncated':True})
check('reservation contract', solve('reservation', {'available':N+10,'reservations':{'a':2,'b':3}}), N+5)
check('release-reservation contract', solve('release-reservation', {'reservations':{'a':N,'b':N+1},'provider':'a','used':1}), {'b':N+1})
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 |
|---|---|---|---|
| remaining-rows contract | 7 | 7 | Passed |
| remaining-depth contract | 5 | 5 | Passed |
| charge-cache contract | 1 | 3 | Failed |
| truncate-signal contract | {'rows': [0, 1], 'truncated': True} | {'rows': [0, 1], 'truncated': True} | Passed |
| reservation contract | 6 | 6 | Passed |
| release-reservation contract | {'b': 2} | {'b': 2} | Passed |
| unknown operation | {'error': 'unsupported menu operation'} | {'error': 'unsupported menu operation'} | Passed |
SHA-256 / c7a51c772fd827d494daa11aadcc2d0f3b0338565e5e0b89af57c1a20d92ea39
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 == 'remaining-rows':
return max(0,p['budget']-p['ancestor_rows'])
if action == 'remaining-depth':
return max(0,p['maximum']-p['depth'])
if action == 'charge-cache':
return len(p['cached'])
if action == 'truncate-signal':
return {'rows':p['rows'][:p['limit']],'truncated':len(p['rows'])>p['limit']}
if action == 'reservation':
return max(0,p['available']-sum(p['reservations'].values()))
if action == 'release-reservation':
return {k:v for k,v in p['reservations'].items() if k!=p['provider']}
return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('remaining-rows contract', solve('remaining-rows', {'budget':N+10,'ancestor_rows':4,'local_rows':1}), N+6)
check('remaining-depth contract', solve('remaining-depth', {'maximum':N+6,'depth':2}), N+4)
check('charge-cache contract', solve('charge-cache', {'fresh':[N],'cached':[N+1,N+2]}), 3)
check('truncate-signal contract', solve('truncate-signal', {'rows':list(range(N+3)),'limit':2}), {'rows':[0,1],'truncated':True})
check('reservation contract', solve('reservation', {'available':N+10,'reservations':{'a':2,'b':3}}), N+5)
check('release-reservation contract', solve('release-reservation', {'reservations':{'a':N,'b':N+1},'provider':'a','used':1}), {'b':N+1})
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 |
|---|---|---|---|
| remaining-rows contract | 7 | 7 | Passed |
| remaining-depth contract | 5 | 5 | Passed |
| charge-cache contract | 2 | 3 | Failed |
| truncate-signal contract | {'rows': [0, 1], 'truncated': True} | {'rows': [0, 1], 'truncated': True} | Passed |
| reservation contract | 6 | 6 | Passed |
| release-reservation contract | {'b': 2} | {'b': 2} | Passed |
| unknown operation | {'error': 'unsupported menu operation'} | {'error': 'unsupported menu operation'} | Passed |
SHA-256 / bc30e498418ceb8c0792fdb5133f91c6469eb6130afee93075672bcf6e682776
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 == 'remaining-rows':
return max(0,p['budget']-p['ancestor_rows'])
if action == 'remaining-depth':
return max(0,p['maximum']-p['depth'])
if action == 'charge-cache':
return len(p['fresh'])+len(p['cached'])
if action == 'truncate-signal':
return {'rows':p['rows'][:p['limit']],'truncated':len(p['rows'])>p['limit']}
if action == 'reservation':
return max(0,p['available']-sum(p['reservations'].values()))
if action == 'release-reservation':
return {k:v for k,v in p['reservations'].items() if k!=p['provider']}
return {'error': 'unsupported menu operation'}
def check(label, actual, expected):
observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('remaining-rows contract', solve('remaining-rows', {'budget':N+10,'ancestor_rows':4,'local_rows':1}), N+6)
check('remaining-depth contract', solve('remaining-depth', {'maximum':N+6,'depth':2}), N+4)
check('charge-cache contract', solve('charge-cache', {'fresh':[N],'cached':[N+1,N+2]}), 3)
check('truncate-signal contract', solve('truncate-signal', {'rows':list(range(N+3)),'limit':2}), {'rows':[0,1],'truncated':True})
check('reservation contract', solve('reservation', {'available':N+10,'reservations':{'a':2,'b':3}}), N+5)
check('release-reservation contract', solve('release-reservation', {'reservations':{'a':N,'b':N+1},'provider':'a','used':1}), {'b':N+1})
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 |
|---|---|---|---|
| remaining-rows contract | 7 | 7 | Passed |
| remaining-depth contract | 5 | 5 | Passed |
| charge-cache contract | 3 | 3 | Passed |
| truncate-signal contract | {'rows': [0, 1], 'truncated': True} | {'rows': [0, 1], 'truncated': True} | Passed |
| reservation contract | 6 | 6 | Passed |
| release-reservation contract | {'b': 2} | {'b': 2} | Passed |
| unknown operation | {'error': 'unsupported menu operation'} | {'error': 'unsupported menu operation'} | Passed |
SHA-256 / b3e284b11b10e409929dbd22d71db5db36d57b0acc2c055a031e5d24ddde9813
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:25.119127+00:00.
Case digest / d3601c1cdd81268a5fc86716dad3a3e8b05445f559112173d48532a7a86d4d29