statechart
Check a TLA+ model of a system that moves between states, such as a product flow, a protocol, or a service, and draw it as a Mermaid statechart. The report gives the shortest path to each state that breaks a rule. Use for /statechart, or to show a bug as a path through states.
Pinned to revision cb10d1cac799, so it is the text this page describes rather than whatever the author pushed since.
Files
- skills/statechart/SKILL.md
- skills/statechart/references/render.md
- skills/statechart/scripts/backends/cfg.ts
- skills/statechart/scripts/backends/mermaid.ts
- skills/statechart/scripts/backends/plain-text.ts
- skills/statechart/scripts/backends/report.ts
- skills/statechart/scripts/frontends/config.ts
- skills/statechart/scripts/frontends/dot.ts
- skills/statechart/scripts/frontends/marks.ts
- skills/statechart/scripts/frontends/messages.ts
- skills/statechart/scripts/frontends/spec.ts
- skills/statechart/scripts/frontends/trace.ts
- skills/statechart/scripts/frontends/value.ts
- skills/statechart/scripts/frontends/verdict.ts
- skills/statechart/scripts/frontends/view.ts
- skills/statechart/scripts/ir.ts
- skills/statechart/scripts/package.json
- skills/statechart/scripts/passes/annotate.ts
- skills/statechart/scripts/passes/label.ts
- skills/statechart/scripts/passes/lift.ts
- skills/statechart/scripts/passes/loop-check.ts
- skills/statechart/scripts/passes/paths.ts
- skills/statechart/scripts/passes/reach.ts
- skills/statechart/scripts/passes/region-check.ts
- skills/statechart/scripts/passes/regions.ts
- skills/statechart/scripts/pipeline.ts
- skills/statechart/scripts/run.ts
- skills/statechart/scripts/statechart
- skills/statechart/scripts/statechart.ts
- skills/statechart/scripts/tsconfig.json
- skills/statechart/scripts/worker.ts
Every link opens the file at its source, pinned to the revision this page describes.