statechart
Draw how any system moves between states, such as a product flow, a protocol, or a service, as a Mermaid statechart from a TLA+ model. Each bug is a numbered path with blue borders to a state that breaks a rule. Use for /statechart, to show a bug as a path through states, or to turn an agreed chart into a TLA+ skeleton.
Pinned to revision bdc9e0476694, so it is the text this page describes rather than whatever the author pushed since.
Files
- skills/statechart/SKILL.md
- skills/statechart/scripts/bug-states.mjs
- skills/statechart/scripts/chart-edges.mjs
- skills/statechart/scripts/chart-parts.mjs
- skills/statechart/scripts/chart-to-tla.mjs
- skills/statechart/scripts/compare-charts.mjs
- skills/statechart/scripts/lib.mjs
- skills/statechart/scripts/map-view.mjs
- skills/statechart/scripts/property-loop.mjs
- skills/statechart/scripts/read-check.mjs
- skills/statechart/scripts/regions-chart.mjs
- skills/statechart/scripts/render.mjs
- skills/statechart/scripts/rule-book.mjs
- skills/statechart/scripts/second-replay.mjs
- skills/statechart/scripts/snapshot.mjs
- skills/statechart/scripts/spec-text.mjs
- skills/statechart/scripts/statechart-help.mjs
- skills/statechart/scripts/statechart.mjs
- skills/statechart/scripts/test/band.mmd
- skills/statechart/scripts/test/regions.mmd
- 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-args.mjs
- skills/statechart/scripts/tlc-to-chart.mjs
- skills/statechart/scripts/tlc-tools.mjs
- skills/statechart/scripts/ways-in.mjs
Every link opens the file at its source, pinned to the revision this page describes.