Repository navigation

fix(pstack): bring the statechart skill up to date with six fixes - #776

Merged

poteto merged 6 commits into

mainfrom

lauren/statechart-fixes-port-bf8f

Oct 22, 2026

Merged

fix(pstack): bring the statechart skill up to date with six fixes#776
poteto merged 6 commits into
mainfrom
lauren/statechart-fixes-port-bf8f

Commits on Oct 22, 2026
- test(pstack): accept Naturals.tla anywhere under the run's temp folder
  
  cursoragent
  and
  poteto
  committed
  4de584c
- fix(pstack): stop three silent wrong outputs in statechart
  
  cursoragent
  and
  poteto
  committed
  f804fca
- fix(pstack): keep statechart work when TLC or publishing fails
  
  cursoragent
  and
  poteto
  committed
  86a9a01
- feat(pstack): check every rule with all CPUs, and check PROPERTY rules in statechart
  
  cursoragent
  and
  poteto
  committed
  0c7d29d
- feat(pstack): say whether the agreed spec lists each bug, and flag uncited conditions in statechart
  
  cursoragent
  and
  poteto
  committed
  5be3a64
- fix(pstack): report the bug when a config lists one rule as both INVARIANT and PROPERTY
  
  cursoragent
  and
  poteto
  committed
  52faf12