Repository navigation

Accept a state written as a value of its set: phase(this) == open - #510

Merged

CatarinaGamboa merged 5 commits into

mainfrom

feat/502-state-values

Nov 9, 2026

Merged

Accept a state written as a value of its set: phase(this) == open#510
CatarinaGamboa merged 5 commits into
mainfrom
feat/502-state-values

Commits on Nov 9, 2026
- Accept a state written as a value of its set: phase(this) == open
  
  CatarinaGamboa
  and
  claude
  committed
  4affb6d
- Name a state written as a value of its set as the shorthand written in the same place
  
  CatarinaGamboa
  and
  claude
  committed
  f176bb4
- Read a state value only against the sets that apply to the argument's type
  
  CatarinaGamboa
  and
  claude
  committed
  e18e676
- Read a state value from any set of the argument's type that has it, as the shorthand does
  
  CatarinaGamboa
  and
  claude
  committed
  a4d52e3
- Test the set applied as a method of this, and with this left out
  
  CatarinaGamboa
  and
  claude
  committed
  90ddc55