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 7b96218df63e, so it is the text this page describes rather than whatever the author pushed since.
Files
- skills/statechart/SKILL.md
- skills/statechart/references/execution.md
- skills/statechart/scripts/chart-to-tla.mjs
- skills/statechart/scripts/compare-charts.mjs
- skills/statechart/scripts/host-runtime.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/host-runtime.test.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.