FA-33077 / Menu interactions / Member archive
Undo menu label changes retroactively after command relabeling · case 02
Undo menu label changes retroactively after command relabeling.
Case contract
Menu command receipts retain committed effects, invocation identity and reversible scope; receipt generation does not imply successful mutation.
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 |
|---|---|---|---|
| description contract | "Copy" | "Move 2" | 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 ↗