Repository navigation

Correctness review and refactor (0.3.0) - #22

Merged

Autoplectic merged 9 commits into

mainfrom

Oct 7, 2026

Commits on Oct 6, 2026
- Fix confirmed correctness bugs: bits everywhere, TMC multiplicity, exact Fischer/Krieger covers
  
  Ryan James
  and
  cursoragent
  committed
  bf637c7
- Resolve suspected issues: sliding block images, Baum-Welch zero-probability data, Buchi empty loops
  
  Ryan James
  and
  cursoragent
  committed
  9248860
- Update topological-entropy doctests and prose for bits
  
  Ryan James
  and
  cursoragent
  committed
  8687e1c
- Implement canonical RFSA, maximized prime atomaton, exact residuals/atoms, and NL*
  
  Ryan James
  and
  cursoragent
  committed
  59039db
- Concrete VPA constructions, decision procedures, modular conversion, and a correct canonical VPA
  
  Ryan James
  and
  cursoragent
  committed
  d109643
- Document NestedWordAutomaton operations delegated through VPAs
  
  Ryan James
  and
  cursoragent
  committed
  7ea187a
- Remove duplicated code across generators, CSSR, automata, viz, and examples; fix stack CSSR history loss
  
  Ryan James
  and
  cursoragent
  committed
  1db9609
- Restructure: inference moves to sofic.inference; automata split into learning, vpa, enumeration, canonical packages
  
  Ryan James
  and
  cursoragent
  committed
  5b7023b
- Rename public API for clarity and add CHANGELOG for 0.3.0
  
  Ryan James
  and
  cursoragent
  committed
  2590b39