The pstack guide

Guide

01Set up pstack 02Route work through /poteto-mode 03Understand the code before changing it 04Design before you write code 05Build the change and clean the diff 06Verify the result and open a PR 07Run work while you sleep 08Steer with principle names 09Make it yours 10Recipes and pitfalls

Reference library

SkillsStatechartScriptsTestCorpusCounterinstance

CounterInstance

pstack/skills/statechart/scripts/test/corpus/CounterInstance/report.md ↗

TLC reached 3 states and 3 steps. The chart draws 3 states and 3 arrows.

ReachesThree breaks

TLC's counterexample is in tlc-ReachesThree.out. It has 3 steps: 0. 0

C!Up: 1
C!Up: 2
C!Back: 1 The run loops through "1" and "2" forever.

Rules that hold

NoDeadlock

An unofficial reader for poteto's pstack plugin. All content comes from the cursor/plugins GitHub repo. Not affiliated with poteto or Cursor.

On this page

ReachesThree breaks Rules that hold