Repository navigation

State Machine view: show a multi-set state error in the set that is wrong - #182

Merged

CatarinaGamboa merged 9 commits into

mainfrom

feat/state-error-in-set

Nov 11, 2026

Merged

State Machine view: show a multi-set state error in the set that is wrong#182
CatarinaGamboa merged 9 commits into
mainfrom
feat/state-error-in-set

Commits on Nov 10, 2026
- Show a multi-set state error in the state set that is wrong
  
  CatarinaGamboa
  and
  claude
  committed
  056675a
- Keep the rejected call marked unless its condition names the state set in a wrong state
  
  CatarinaGamboa
  and
  claude
  committed
  a00337d
- Mark only the clauses the actual state does not meet, and keep round loops as far out as the curl
  
  CatarinaGamboa
  and
  claude
  committed
  b532387
- Keep the rejected call marked on each transition without an unmet condition
  
  CatarinaGamboa
  and
  claude
  committed
  5a5ec09
- Leave a state set that allows the call in every state out of both sides of the summary
  
  CatarinaGamboa
  and
  claude
  committed
  1d4d893
- Keep hasWrongState private to diagram-focus
  
  CatarinaGamboa
  and
  claude
  committed
  18a984a
- State Machine view: write conditions as in the spec, before and after the method
  
  CatarinaGamboa
  and
  claude
  committed
  eab4566
- State Machine view: read the state clauses of a condition next to a parenthesised ||
  
  CatarinaGamboa
  and
  claude
  committed
  b51cc60
- State Machine view: name every state set when a combination of states rejects the call
  
  CatarinaGamboa
  and
  claude
  committed
  9831b86