statechart
Draw what an app's user sees as a Mermaid statechart from a TLA+ model. States are gray if they work, red if still wrong, and green if fixed. Each bug TLC finds is a numbered path. Use for /statechart, "show the PM the bug", or to turn an agreed chart into a TLA+ skeleton.
Pinned to revision aedb8c796eea, so it is the text this page describes rather than whatever the author pushed since.
Files
- skills/statechart/SKILL.md
- skills/statechart/scripts/chart-to-tla.mjs
- skills/statechart/scripts/compare-charts.mjs
- skills/statechart/scripts/lib.mjs
- skills/statechart/scripts/model/OutputFolder.cfg
- skills/statechart/scripts/model/OutputFolder.map.mjs
- skills/statechart/scripts/model/OutputFolder.tla
- skills/statechart/scripts/statechart.mjs
- skills/statechart/scripts/test/statechart.test.mjs
- skills/statechart/scripts/test/sync.mmd
- skills/statechart/scripts/test/upload.mmd
- skills/statechart/scripts/tlc-to-chart.mjs
Every link opens the file at its source, pinned to the revision this page describes.