Repository navigation

Named state sets: optional name on @StateSet - #498

Merged

CatarinaGamboa merged 7 commits into

mainfrom

feat/435-named-state-sets

Nov 9, 2026

Merged

Named state sets: optional name on @StateSet#498
CatarinaGamboa merged 7 commits into
mainfrom
feat/435-named-state-sets

Commits on Nov 9, 2026
- Allow an optional name on @StateSet
  
  CatarinaGamboa
  and
  claude
  committed
  6a52577
- Report a state set name that is not a string literal
  
  CatarinaGamboa
  and
  claude
  committed
  3f8c132
- Keep canUndo()'s known-undoable refinement in the named-sets fixture
  
  CatarinaGamboa
  and
  claude
  committed
  68d2fcd
- Accept only a plain string literal as a state set name
  
  CatarinaGamboa
  and
  claude
  committed
  93a3759
- Read a state set's name in its own method
  
  CatarinaGamboa
  and
  claude
  committed
  3704886
- Name both state sets in ErrorStateHintMultipleSets
  
  CatarinaGamboa
  and
  claude
  committed
  6272851
- Expect the Found of ErrorStateHintMultipleSets without the unrelated lock set
  
  CatarinaGamboa
  and
  claude
  committed
  1d67db4