FA-32958 / Menu interactions / Member archive
Filtered menu retains headings for groups with no surviving commands · case 03
Filtered menu retains headings for groups with no surviving commands.
Case contract
Menu filtering retains matching leaves and required ancestor headers, counts only commands, and discards decorations orphaned by filtering.
Why this case matters
Cascading and context menus require coherent command and session state as content changes.
One recorded failure
Sample boundary fixtureThis sample comes from the broken implementation of a controlled reproducer.
| Boundary fixture | Actual | Expected | Outcome |
|---|---|---|---|
| group-header contract | ["a", "b"] | ["b"] | Failed |
MEMBER ARCHIVE
The complete case is available to members.
This record includes three runnable implementations, regression fixtures, execution results, and source hashes.
Member access is invitation-based. Sign in with your invited account to inspect the sources.
Sign in to the archive ↗