@needfspeed/skills-library 0.2.0 → 0.3.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (548) hide show
  1. package/CATALOG.md +38 -13
  2. package/README.md +1 -1
  3. package/docs/pstack/README.md +27 -14
  4. package/docs/pstack/agents/comment-sicko.md +32 -0
  5. package/docs/pstack/agents/poteto-agent.md +9 -0
  6. package/package.json +1 -1
  7. package/skills/pstack/architect/SKILL.md +17 -17
  8. package/skills/pstack/architect/references/design-red-flags.md +57 -0
  9. package/skills/pstack/architect/references/rationale-template.md +3 -3
  10. package/skills/pstack/architect/references/runner-prompt.md +7 -6
  11. package/skills/pstack/arena/SKILL.md +14 -37
  12. package/skills/pstack/automate-me/SKILL.md +20 -25
  13. package/skills/pstack/benchmark-checklist/SKILL.md +39 -0
  14. package/skills/pstack/blast-radius/SKILL.md +50 -0
  15. package/skills/pstack/bro/SKILL.md +7 -0
  16. package/skills/pstack/correct/SKILL.md +32 -0
  17. package/skills/pstack/create-formal-verification-skill/SKILL.md +43 -0
  18. package/skills/pstack/create-verification-skill/SKILL.md +44 -0
  19. package/skills/pstack/create-verification-skill/references/feature-map-example/README.md +47 -0
  20. package/skills/pstack/create-verification-skill/references/feature-map-example/create-note.md +39 -0
  21. package/skills/pstack/create-verification-skill/references/feature-map-example/search.md +45 -0
  22. package/skills/pstack/figure-it-out/SKILL.md +14 -17
  23. package/skills/pstack/how/SKILL.md +17 -115
  24. package/skills/pstack/how/references/explainer-prompt.md +6 -6
  25. package/skills/pstack/how/references/explorer-prompt.md +1 -18
  26. package/skills/pstack/in-your-own-words/SKILL.md +7 -0
  27. package/skills/pstack/interrogate/SKILL.md +14 -89
  28. package/skills/pstack/ketchup/SKILL.md +43 -0
  29. package/skills/pstack/ketchup-video/SKILL.md +29 -0
  30. package/skills/pstack/maintain-formal-verification-skill/SKILL.md +58 -0
  31. package/skills/pstack/maintain-verification-skill/SKILL.md +39 -0
  32. package/skills/pstack/make-bot-ui/SKILL.md +115 -0
  33. package/skills/pstack/no-comments/SKILL.md +24 -0
  34. package/skills/pstack/poteto-help/SKILL.md +163 -0
  35. package/skills/pstack/poteto-help/references/prompting.md +51 -0
  36. package/skills/pstack/poteto-help/references/recipes.md +51 -0
  37. package/skills/pstack/poteto-mode/SKILL.md +82 -56
  38. package/skills/pstack/poteto-mode/playbooks/authoring-a-skill.md +3 -3
  39. package/skills/pstack/poteto-mode/playbooks/autonomous-run.md +5 -4
  40. package/skills/pstack/poteto-mode/playbooks/autopilot-full.md +25 -0
  41. package/skills/pstack/poteto-mode/playbooks/autopilot-stack.md +8 -0
  42. package/skills/pstack/poteto-mode/playbooks/babysit.md +23 -0
  43. package/skills/pstack/poteto-mode/playbooks/bug-fix.md +6 -8
  44. package/skills/pstack/poteto-mode/playbooks/eval.md +6 -8
  45. package/skills/pstack/poteto-mode/playbooks/feature.md +7 -7
  46. package/skills/pstack/poteto-mode/playbooks/hillclimb.md +21 -0
  47. package/skills/pstack/poteto-mode/playbooks/investigation.md +3 -3
  48. package/skills/pstack/poteto-mode/playbooks/multi-phase-plan.md +153 -1
  49. package/skills/pstack/poteto-mode/playbooks/opening-a-pr.md +27 -4
  50. package/skills/pstack/poteto-mode/playbooks/orchestrate.md +25 -0
  51. package/skills/pstack/poteto-mode/playbooks/pause-safely.md +5 -5
  52. package/skills/pstack/poteto-mode/playbooks/perf-issue.md +16 -4
  53. package/skills/pstack/poteto-mode/playbooks/prototype.md +5 -5
  54. package/skills/pstack/poteto-mode/playbooks/refactoring.md +10 -9
  55. package/skills/pstack/poteto-mode/playbooks/runtime-forensics.md +3 -3
  56. package/skills/pstack/poteto-mode/playbooks/session-pickup.md +4 -6
  57. package/skills/pstack/poteto-mode/playbooks/shipping.md +12 -0
  58. package/skills/pstack/poteto-mode/playbooks/trace-forensics.md +5 -5
  59. package/skills/pstack/poteto-mode/playbooks/visual-parity.md +3 -3
  60. package/skills/pstack/poteto-mode/playbooks/worktree-cleanup.md +12 -0
  61. package/skills/pstack/poteto-mode/references/bugbot-triage.md +142 -0
  62. package/skills/pstack/poteto-mode/scripts/bootstrap.ts +62 -0
  63. package/skills/pstack/poteto-mode/scripts/bun.lock +67 -0
  64. package/skills/pstack/poteto-mode/scripts/check-plan.mjs +205 -0
  65. package/skills/pstack/poteto-mode/scripts/check-plan.test.ts +110 -0
  66. package/skills/pstack/poteto-mode/scripts/package.json +16 -0
  67. package/skills/pstack/poteto-mode/scripts/watch-pr/cli.test.ts +224 -0
  68. package/skills/pstack/poteto-mode/scripts/watch-pr/cli.ts +223 -0
  69. package/skills/pstack/poteto-mode/scripts/watch-pr/fakes.test-helper.ts +129 -0
  70. package/skills/pstack/poteto-mode/scripts/watch-pr/github.test.ts +498 -0
  71. package/skills/pstack/poteto-mode/scripts/watch-pr/github.ts +726 -0
  72. package/skills/pstack/poteto-mode/scripts/watch-pr/policy.test.ts +482 -0
  73. package/skills/pstack/poteto-mode/scripts/watch-pr/policy.ts +842 -0
  74. package/skills/pstack/poteto-mode/scripts/watch-pr/render.ts +169 -0
  75. package/skills/pstack/poteto-mode/scripts/watch-pr/tsconfig.json +13 -0
  76. package/skills/pstack/poteto-mode/scripts/watch-pr/types.compile.ts +93 -0
  77. package/skills/pstack/poteto-mode/scripts/watch-pr/types.ts +414 -0
  78. package/skills/pstack/poteto-mode/scripts/watch-pr/watch-pr +6 -0
  79. package/skills/pstack/poteto-mode/scripts/worktree-audit.sh +134 -0
  80. package/skills/pstack/principle-attack-the-premise/SKILL.md +21 -0
  81. package/skills/pstack/principle-boundary-discipline/SKILL.md +5 -3
  82. package/skills/pstack/principle-build-the-lever/SKILL.md +7 -7
  83. package/skills/pstack/principle-encode-lessons-in-structure/SKILL.md +2 -22
  84. package/skills/pstack/principle-exhaust-the-design-space/SKILL.md +1 -13
  85. package/skills/pstack/principle-experience-first/SKILL.md +5 -5
  86. package/skills/pstack/principle-explain-the-number/SKILL.md +18 -0
  87. package/skills/pstack/principle-fix-root-causes/SKILL.md +11 -12
  88. package/skills/pstack/principle-foundational-thinking/SKILL.md +5 -3
  89. package/skills/pstack/principle-guard-the-context-window/SKILL.md +1 -6
  90. package/skills/pstack/principle-laziness-protocol/SKILL.md +0 -7
  91. package/skills/pstack/principle-make-operations-idempotent/SKILL.md +4 -6
  92. package/skills/pstack/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +0 -8
  93. package/skills/pstack/principle-minimize-reader-load/SKILL.md +6 -9
  94. package/skills/pstack/principle-model-the-domain/SKILL.md +24 -0
  95. package/skills/pstack/principle-never-block-on-the-human/SKILL.md +7 -15
  96. package/skills/pstack/principle-outcome-oriented-execution/SKILL.md +0 -1
  97. package/skills/pstack/principle-prove-it-works/SKILL.md +2 -13
  98. package/skills/pstack/principle-redesign-from-first-principles/SKILL.md +4 -4
  99. package/skills/pstack/principle-separate-before-serializing-shared-state/SKILL.md +3 -3
  100. package/skills/pstack/principle-sequence-verifiable-units/SKILL.md +3 -8
  101. package/skills/pstack/principle-subtract-before-you-add/SKILL.md +3 -5
  102. package/skills/pstack/principle-test-behavior-not-implementation/SKILL.md +20 -0
  103. package/skills/pstack/principle-type-system-discipline/SKILL.md +5 -21
  104. package/skills/pstack/recall/SKILL.md +35 -0
  105. package/skills/pstack/reflect/SKILL.md +25 -33
  106. package/skills/pstack/reflect/references/divergent-reviewer.md +8 -13
  107. package/skills/pstack/reflect/references/judgment-reviewer.md +8 -13
  108. package/skills/pstack/reflect/references/synthesizer.md +4 -4
  109. package/skills/pstack/reflect/references/tooling-reviewer.md +9 -18
  110. package/skills/pstack/setup-pstack/SKILL.md +44 -21
  111. package/skills/pstack/sharpen/SKILL.md +16 -0
  112. package/skills/pstack/show-me-your-work/SKILL.md +20 -20
  113. package/skills/pstack/show-me-your-work/scripts/log.sh +4 -2
  114. package/skills/pstack/statechart/SKILL.md +82 -0
  115. package/skills/pstack/statechart/references/render.md +93 -0
  116. package/skills/pstack/statechart/scripts/backends/cfg.ts +33 -0
  117. package/skills/pstack/statechart/scripts/backends/mermaid.ts +201 -0
  118. package/skills/pstack/statechart/scripts/backends/plain-text.ts +72 -0
  119. package/skills/pstack/statechart/scripts/backends/report.ts +177 -0
  120. package/skills/pstack/statechart/scripts/frontends/config.ts +276 -0
  121. package/skills/pstack/statechart/scripts/frontends/dot.ts +74 -0
  122. package/skills/pstack/statechart/scripts/frontends/marks.ts +93 -0
  123. package/skills/pstack/statechart/scripts/frontends/messages.ts +52 -0
  124. package/skills/pstack/statechart/scripts/frontends/spec.ts +114 -0
  125. package/skills/pstack/statechart/scripts/frontends/trace.ts +24 -0
  126. package/skills/pstack/statechart/scripts/frontends/value.ts +166 -0
  127. package/skills/pstack/statechart/scripts/frontends/verdict.ts +40 -0
  128. package/skills/pstack/statechart/scripts/frontends/view.ts +119 -0
  129. package/skills/pstack/statechart/scripts/ir.ts +547 -0
  130. package/skills/pstack/statechart/scripts/package.json +11 -0
  131. package/skills/pstack/statechart/scripts/passes/annotate.ts +128 -0
  132. package/skills/pstack/statechart/scripts/passes/label.ts +269 -0
  133. package/skills/pstack/statechart/scripts/passes/lift.ts +85 -0
  134. package/skills/pstack/statechart/scripts/passes/loop-check.ts +68 -0
  135. package/skills/pstack/statechart/scripts/passes/paths.ts +60 -0
  136. package/skills/pstack/statechart/scripts/passes/reach.ts +135 -0
  137. package/skills/pstack/statechart/scripts/passes/region-check.ts +97 -0
  138. package/skills/pstack/statechart/scripts/passes/regions.ts +295 -0
  139. package/skills/pstack/statechart/scripts/pipeline.ts +76 -0
  140. package/skills/pstack/statechart/scripts/run.ts +481 -0
  141. package/skills/pstack/statechart/scripts/statechart +29 -0
  142. package/skills/pstack/statechart/scripts/statechart.ts +164 -0
  143. package/skills/pstack/statechart/scripts/test/ConfigOracle.java +63 -0
  144. package/skills/pstack/statechart/scripts/test/chart.test.ts +1210 -0
  145. package/skills/pstack/statechart/scripts/test/charts/Braces.mmd +7 -0
  146. package/skills/pstack/statechart/scripts/test/charts/Escapes.mmd +11 -0
  147. package/skills/pstack/statechart/scripts/test/charts/Phases.mmd +29 -0
  148. package/skills/pstack/statechart/scripts/test/cli.test.ts +1314 -0
  149. package/skills/pstack/statechart/scripts/test/config-fuzz.test.ts +263 -0
  150. package/skills/pstack/statechart/scripts/test/corpus/Counter/ChartRun.out +57 -0
  151. package/skills/pstack/statechart/scripts/test/corpus/Counter/Counter.cfg +3 -0
  152. package/skills/pstack/statechart/scripts/test/corpus/Counter/Counter.tla +10 -0
  153. package/skills/pstack/statechart/scripts/test/corpus/Counter/chart.mmd +9 -0
  154. package/skills/pstack/statechart/scripts/test/corpus/Counter/graph.dot +16 -0
  155. package/skills/pstack/statechart/scripts/test/corpus/Counter/report.md +7 -0
  156. package/skills/pstack/statechart/scripts/test/corpus/Counter/sany.out +2 -0
  157. package/skills/pstack/statechart/scripts/test/corpus/Counter/verdict-1.out +49 -0
  158. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/ChartRun.out +60 -0
  159. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg +4 -0
  160. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/CounterAction.tla +22 -0
  161. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/chart.mmd +26 -0
  162. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/graph.dot +19 -0
  163. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/report.md +20 -0
  164. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/sany.out +2 -0
  165. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/verdict-1.exit +1 -0
  166. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/verdict-1.out +56 -0
  167. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/verdict-2.exit +1 -0
  168. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/verdict-2.out +82 -0
  169. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/verdict-3.out +57 -0
  170. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out +59 -0
  171. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg +3 -0
  172. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla +11 -0
  173. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd +22 -0
  174. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/graph.dot +16 -0
  175. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/report.md +17 -0
  176. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/sany.out +2 -0
  177. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit +1 -0
  178. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out +56 -0
  179. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit +1 -0
  180. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out +77 -0
  181. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/ChartRun.out +69 -0
  182. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg +2 -0
  183. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/CounterFan.tla +11 -0
  184. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/chart.mmd +85 -0
  185. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/graph.dot +70 -0
  186. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/report.md +12 -0
  187. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/sany.out +2 -0
  188. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/verdict-1.exit +1 -0
  189. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/verdict-1.out +67 -0
  190. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/verdict-2.out +57 -0
  191. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit +1 -0
  192. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/ChartRun.out +85 -0
  193. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg +6 -0
  194. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla +13 -0
  195. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/chart.mmd +5 -0
  196. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/graph.dot +10 -0
  197. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/report.md +31 -0
  198. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/sany.out +2 -0
  199. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit +1 -0
  200. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/verdict-1.out +64 -0
  201. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit +1 -0
  202. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/verdict-2.out +77 -0
  203. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out +55 -0
  204. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg +3 -0
  205. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla +10 -0
  206. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/chart.mmd +12 -0
  207. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/graph.dot +6 -0
  208. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/report.md +12 -0
  209. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/sany.out +2 -0
  210. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit +1 -0
  211. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out +33 -0
  212. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out +54 -0
  213. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out +54 -0
  214. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg +3 -0
  215. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla +10 -0
  216. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd +1 -0
  217. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot +6 -0
  218. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/report.md +7 -0
  219. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out +2 -0
  220. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out +46 -0
  221. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/ChartRun.out +59 -0
  222. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg +2 -0
  223. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla +10 -0
  224. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla +6 -0
  225. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/chart.mmd +17 -0
  226. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/graph.dot +15 -0
  227. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/report.md +14 -0
  228. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/sany.out +3 -0
  229. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit +1 -0
  230. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/verdict-1.out +78 -0
  231. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/ChartRun.out +59 -0
  232. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg +3 -0
  233. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/CounterJump.tla +19 -0
  234. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/chart.mmd +26 -0
  235. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/graph.dot +22 -0
  236. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/report.md +12 -0
  237. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/sany.out +2 -0
  238. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/verdict-1.exit +1 -0
  239. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/verdict-1.out +58 -0
  240. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/verdict-2.out +57 -0
  241. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/ChartRun.out +57 -0
  242. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg +2 -0
  243. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla +11 -0
  244. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/chart.mmd +17 -0
  245. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/graph.dot +15 -0
  246. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/report.md +14 -0
  247. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/sany.out +2 -0
  248. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit +1 -0
  249. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/verdict-1.out +76 -0
  250. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/ChartRun.out +59 -0
  251. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg +3 -0
  252. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla +11 -0
  253. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/chart.mmd +19 -0
  254. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/graph.dot +10 -0
  255. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/report.md +15 -0
  256. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/sany.out +2 -0
  257. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit +1 -0
  258. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/verdict-1.out +56 -0
  259. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit +1 -0
  260. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/verdict-2.out +67 -0
  261. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/ChartRun.out +62 -0
  262. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg +6 -0
  263. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/CounterRules.tla +24 -0
  264. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/Moves.tla +5 -0
  265. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/chart.mmd +22 -0
  266. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/graph.dot +10 -0
  267. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/report.md +23 -0
  268. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/sany.out +3 -0
  269. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-1.exit +1 -0
  270. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-1.out +58 -0
  271. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-2.exit +1 -0
  272. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-2.out +66 -0
  273. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-3.exit +1 -0
  274. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-3.out +74 -0
  275. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-4.out +59 -0
  276. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/ChartRun.out +58 -0
  277. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg +3 -0
  278. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/CounterStart.tla +15 -0
  279. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/chart.mmd +18 -0
  280. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/graph.dot +13 -0
  281. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/report.md +11 -0
  282. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/sany.out +2 -0
  283. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/verdict-1.exit +1 -0
  284. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/verdict-1.out +33 -0
  285. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/verdict-2.out +57 -0
  286. package/skills/pstack/statechart/scripts/test/corpus/CounterStop/ChartRun.out +57 -0
  287. package/skills/pstack/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg +3 -0
  288. package/skills/pstack/statechart/scripts/test/corpus/CounterStop/CounterStop.tla +15 -0
  289. package/skills/pstack/statechart/scripts/test/corpus/CounterStop/chart.mmd +7 -0
  290. package/skills/pstack/statechart/scripts/test/corpus/CounterStop/graph.dot +13 -0
  291. package/skills/pstack/statechart/scripts/test/corpus/CounterStop/report.md +6 -0
  292. package/skills/pstack/statechart/scripts/test/corpus/CounterStop/sany.out +2 -0
  293. package/skills/pstack/statechart/scripts/test/corpus/CounterStop/verdict-1.out +49 -0
  294. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/ChartRun.out +61 -0
  295. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg +4 -0
  296. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/CounterTie.tla +14 -0
  297. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/chart.mmd +30 -0
  298. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/graph.dot +19 -0
  299. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/report.md +27 -0
  300. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/sany.out +2 -0
  301. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-1.exit +1 -0
  302. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-1.out +56 -0
  303. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-2.exit +1 -0
  304. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-2.out +64 -0
  305. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-3.exit +1 -0
  306. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-3.out +87 -0
  307. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-4.out +57 -0
  308. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out +60 -0
  309. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg +3 -0
  310. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla +12 -0
  311. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd +23 -0
  312. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot +19 -0
  313. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/report.md +11 -0
  314. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/sany.out +2 -0
  315. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit +1 -0
  316. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out +56 -0
  317. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out +57 -0
  318. package/skills/pstack/statechart/scripts/test/corpus/CounterView/ChartRun.out +61 -0
  319. package/skills/pstack/statechart/scripts/test/corpus/CounterView/CounterView.cfg +4 -0
  320. package/skills/pstack/statechart/scripts/test/corpus/CounterView/CounterView.tla +14 -0
  321. package/skills/pstack/statechart/scripts/test/corpus/CounterView/chart.mmd +23 -0
  322. package/skills/pstack/statechart/scripts/test/corpus/CounterView/graph.dot +19 -0
  323. package/skills/pstack/statechart/scripts/test/corpus/CounterView/report.md +27 -0
  324. package/skills/pstack/statechart/scripts/test/corpus/CounterView/sany.out +2 -0
  325. package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-1.exit +1 -0
  326. package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-1.out +56 -0
  327. package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-2.exit +1 -0
  328. package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-2.out +64 -0
  329. package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-3.exit +1 -0
  330. package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-3.out +87 -0
  331. package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-4.out +57 -0
  332. package/skills/pstack/statechart/scripts/test/corpus/CounterView/view.mjs +1 -0
  333. package/skills/pstack/statechart/scripts/test/corpus/DieHard/ChartRun.out +59 -0
  334. package/skills/pstack/statechart/scripts/test/corpus/DieHard/DieHard.cfg +4 -0
  335. package/skills/pstack/statechart/scripts/test/corpus/DieHard/DieHard.tla +38 -0
  336. package/skills/pstack/statechart/scripts/test/corpus/DieHard/chart.mmd +92 -0
  337. package/skills/pstack/statechart/scripts/test/corpus/DieHard/graph.dot +126 -0
  338. package/skills/pstack/statechart/scripts/test/corpus/DieHard/report.md +17 -0
  339. package/skills/pstack/statechart/scripts/test/corpus/DieHard/sany.out +2 -0
  340. package/skills/pstack/statechart/scripts/test/corpus/DieHard/verdict-1.exit +1 -0
  341. package/skills/pstack/statechart/scripts/test/corpus/DieHard/verdict-1.out +91 -0
  342. package/skills/pstack/statechart/scripts/test/corpus/DieHard/verdict-2.out +57 -0
  343. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/ChartRun.out +61 -0
  344. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg +6 -0
  345. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/FirstRule.tla +11 -0
  346. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/chart.mmd +22 -0
  347. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/graph.dot +16 -0
  348. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/report.md +25 -0
  349. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/sany.out +2 -0
  350. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-1.exit +1 -0
  351. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-1.out +56 -0
  352. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-2.exit +1 -0
  353. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-2.out +64 -0
  354. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-3.exit +1 -0
  355. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-3.out +64 -0
  356. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-4.exit +1 -0
  357. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-4.out +77 -0
  358. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/ChartRun.out +57 -0
  359. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg +4 -0
  360. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla +11 -0
  361. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/chart.mmd +13 -0
  362. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/graph.dot +12 -0
  363. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/report.md +11 -0
  364. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/sany.out +2 -0
  365. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit +1 -0
  366. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/verdict-1.out +72 -0
  367. package/skills/pstack/statechart/scripts/test/corpus/Login/ChartRun.out +57 -0
  368. package/skills/pstack/statechart/scripts/test/corpus/Login/Login.cfg +3 -0
  369. package/skills/pstack/statechart/scripts/test/corpus/Login/Login.tla +62 -0
  370. package/skills/pstack/statechart/scripts/test/corpus/Login/chart.mmd +27 -0
  371. package/skills/pstack/statechart/scripts/test/corpus/Login/graph.dot +40 -0
  372. package/skills/pstack/statechart/scripts/test/corpus/Login/report.md +7 -0
  373. package/skills/pstack/statechart/scripts/test/corpus/Login/sany.out +1 -0
  374. package/skills/pstack/statechart/scripts/test/corpus/Login/verdict-1.out +47 -0
  375. package/skills/pstack/statechart/scripts/test/corpus/Login/view.mjs +1 -0
  376. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out +57 -0
  377. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg +2 -0
  378. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla +64 -0
  379. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/chart.mmd +28 -0
  380. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/graph.dot +37 -0
  381. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/report.md +8 -0
  382. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/sany.out +1 -0
  383. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out +47 -0
  384. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/view.mjs +1 -0
  385. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/ChartRun.out +60 -0
  386. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg +3 -0
  387. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla +64 -0
  388. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/chart.mmd +44 -0
  389. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/graph.dot +58 -0
  390. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/report.md +17 -0
  391. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/sany.out +1 -0
  392. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit +1 -0
  393. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/verdict-1.out +83 -0
  394. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/verdict-2.out +57 -0
  395. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/view.mjs +1 -0
  396. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out +60 -0
  397. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg +3 -0
  398. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla +103 -0
  399. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/chart.mmd +43 -0
  400. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/graph.dot +93 -0
  401. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/report.md +14 -0
  402. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/sany.out +1 -0
  403. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit +1 -0
  404. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out +59 -0
  405. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out +72 -0
  406. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/view.mjs +3 -0
  407. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out +57 -0
  408. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg +2 -0
  409. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla +100 -0
  410. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd +31 -0
  411. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot +85 -0
  412. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/report.md +9 -0
  413. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out +1 -0
  414. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out +47 -0
  415. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs +3 -0
  416. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out +59 -0
  417. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla +103 -0
  418. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg +3 -0
  419. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla +6 -0
  420. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd +42 -0
  421. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot +93 -0
  422. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/report.md +19 -0
  423. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/sany.out +2 -0
  424. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit +1 -0
  425. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out +61 -0
  426. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out +59 -0
  427. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out +61 -0
  428. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit +1 -0
  429. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out +66 -0
  430. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit +1 -0
  431. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out +58 -0
  432. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out +49 -0
  433. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs +3 -0
  434. package/skills/pstack/statechart/scripts/test/corpus/PickWorker/ChartRun.out +57 -0
  435. package/skills/pstack/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg +6 -0
  436. package/skills/pstack/statechart/scripts/test/corpus/PickWorker/PickWorker.tla +11 -0
  437. package/skills/pstack/statechart/scripts/test/corpus/PickWorker/chart.mmd +5 -0
  438. package/skills/pstack/statechart/scripts/test/corpus/PickWorker/graph.dot +11 -0
  439. package/skills/pstack/statechart/scripts/test/corpus/PickWorker/report.md +7 -0
  440. package/skills/pstack/statechart/scripts/test/corpus/PickWorker/sany.out +5 -0
  441. package/skills/pstack/statechart/scripts/test/corpus/PickWorker/verdict-1.out +70 -0
  442. package/skills/pstack/statechart/scripts/test/corpus/Shadow/ChartRun.out +61 -0
  443. package/skills/pstack/statechart/scripts/test/corpus/Shadow/Shadow.cfg +4 -0
  444. package/skills/pstack/statechart/scripts/test/corpus/Shadow/Shadow.tla +11 -0
  445. package/skills/pstack/statechart/scripts/test/corpus/Shadow/ShadowLib.tla +6 -0
  446. package/skills/pstack/statechart/scripts/test/corpus/Shadow/ShadowSub.tla +3 -0
  447. package/skills/pstack/statechart/scripts/test/corpus/Shadow/chart.mmd +9 -0
  448. package/skills/pstack/statechart/scripts/test/corpus/Shadow/graph.dot +16 -0
  449. package/skills/pstack/statechart/scripts/test/corpus/Shadow/report.md +8 -0
  450. package/skills/pstack/statechart/scripts/test/corpus/Shadow/sany.out +4 -0
  451. package/skills/pstack/statechart/scripts/test/corpus/Shadow/verdict-1.out +65 -0
  452. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/ChartRun.out +59 -0
  453. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg +2 -0
  454. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla +9 -0
  455. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/chart.mmd +23 -0
  456. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/graph.dot +17 -0
  457. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/report.md +15 -0
  458. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/sany.out +1 -0
  459. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit +1 -0
  460. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/verdict-1.out +65 -0
  461. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit +1 -0
  462. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/verdict-2.out +75 -0
  463. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/ChartRun.out +69 -0
  464. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg +3 -0
  465. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla +75 -0
  466. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/chart.mmd +60 -0
  467. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/graph.dot +297 -0
  468. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/report.md +20 -0
  469. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/sany.out +1 -0
  470. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit +1 -0
  471. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/verdict-1.out +95 -0
  472. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/verdict-2.out +57 -0
  473. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/view.mjs +1 -0
  474. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out +57 -0
  475. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg +3 -0
  476. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla +75 -0
  477. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd +37 -0
  478. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot +223 -0
  479. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/report.md +11 -0
  480. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out +1 -0
  481. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out +47 -0
  482. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs +1 -0
  483. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit +1 -0
  484. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/ChartRun.out +75 -0
  485. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg +5 -0
  486. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla +11 -0
  487. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/chart.mmd +18 -0
  488. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/graph.dot +14 -0
  489. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/report.md +29 -0
  490. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/sany.out +2 -0
  491. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit +1 -0
  492. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/verdict-1.out +64 -0
  493. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit +1 -0
  494. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/verdict-2.out +75 -0
  495. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out +58 -0
  496. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg +2 -0
  497. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla +8 -0
  498. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd +22 -0
  499. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot +16 -0
  500. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/report.md +15 -0
  501. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/sany.out +2 -0
  502. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit +1 -0
  503. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out +56 -0
  504. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit +1 -0
  505. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out +77 -0
  506. package/skills/pstack/statechart/scripts/test/corpus.test.ts +403 -0
  507. package/skills/pstack/statechart/scripts/test/differential.test.ts +565 -0
  508. package/skills/pstack/statechart/scripts/test/grid/Grid.cfg +2 -0
  509. package/skills/pstack/statechart/scripts/test/grid/Grid.tla +9 -0
  510. package/skills/pstack/statechart/scripts/test/grid/sany.out +2 -0
  511. package/skills/pstack/statechart/scripts/test/java.ts +63 -0
  512. package/skills/pstack/statechart/scripts/test/labels.ts +643 -0
  513. package/skills/pstack/statechart/scripts/test/messages.test.ts +212 -0
  514. package/skills/pstack/statechart/scripts/test/pipeline.test.ts +270 -0
  515. package/skills/pstack/statechart/scripts/test/plain-tlc.test.ts +255 -0
  516. package/skills/pstack/statechart/scripts/test/render.test.ts +81 -0
  517. package/skills/pstack/statechart/scripts/test/tlc-out.test.ts +90 -0
  518. package/skills/pstack/statechart/scripts/test/tlc.ts +158 -0
  519. package/skills/pstack/statechart/scripts/tsconfig.json +11 -0
  520. package/skills/pstack/statechart/scripts/worker.ts +35 -0
  521. package/skills/pstack/swarm/SKILL.md +41 -0
  522. package/skills/pstack/tdd/SKILL.md +2 -4
  523. package/skills/pstack/teach/SKILL.md +21 -0
  524. package/skills/pstack/technical-writing/SKILL.md +106 -0
  525. package/skills/pstack/typescript-best-practices/SKILL.md +11 -4
  526. package/skills/pstack/typescript-best-practices/references/patterns.md +127 -22
  527. package/skills/pstack/unslop/SKILL.md +18 -36
  528. package/skills/pstack/why/SKILL.md +31 -162
  529. package/skills/pstack/why/references/epistemics.md +22 -95
  530. package/skills/pstack/why/references/investigator-prompt.md +23 -42
  531. package/skills/pstack/why/references/source-playbook.md +1 -1
  532. package/skills/pstack/why/references/sources/code-archaeology.md +6 -43
  533. package/skills/pstack/why/references/sources/databricks.md +7 -7
  534. package/skills/pstack/why/references/sources/datadog.md +13 -15
  535. package/skills/pstack/why/references/sources/incident-postmortem.md +0 -10
  536. package/skills/pstack/why/references/sources/linear.md +2 -2
  537. package/skills/pstack/why/references/sources/notion.md +3 -3
  538. package/skills/pstack/why/references/sources/sentry.md +3 -37
  539. package/skills/pstack/why/references/sources/slack.md +1 -38
  540. package/skills/pstack/why/references/synthesizer-prompt.md +35 -41
  541. package/docs/pstack/poteto-agent.md +0 -8
  542. package/skills/pstack/how/references/critic-prompt.md +0 -59
  543. package/skills/pstack/how/references/critique-rubric.md +0 -58
  544. package/skills/pstack/interrogate/references/code-quality-review.md +0 -47
  545. package/skills/pstack/interrogate/references/lead-judgment.md +0 -58
  546. package/skills/pstack/interrogate/references/reviewer-prompt.md +0 -72
  547. package/skills/pstack/interrogate/references/rubric.md +0 -77
  548. package/skills/pstack/poteto-mode/references/plan.md +0 -105
@@ -1,58 +0,0 @@
1
- # Architectural Critique Rubric
2
-
3
- Review through whichever of these lenses are relevant. Not every lens applies to every subsystem.
4
-
5
- ## Abstraction Fit
6
-
7
- Are the abstractions pulling their weight?
8
-
9
- - Does each abstraction represent a real concept, or is it an indirection layer "in case we need it"?
10
- - Are the boundaries in the right place? Do they separate things that change independently?
11
- - Is there accidental coupling where components share implementation details they shouldn't need to know about?
12
- - Is business logic entangled with framework wiring, or cleanly separated?
13
-
14
- Over-abstraction is as much a problem as under-abstraction. A flat, simple design is fine when the domain is simple.
15
-
16
- ## Data Model
17
-
18
- Do the data structures fit the actual usage patterns?
19
-
20
- - Are the data models designed for how data is actually accessed, or for how it was conceptually modeled?
21
- - Are there impedance mismatches, places where code constantly reshapes data because the model doesn't match the access pattern?
22
- - Are types honest? Do they represent what data actually looks like at runtime, or claim more structure than exists?
23
-
24
- ## Boundary Discipline
25
-
26
- Are system boundaries clean and well-placed?
27
-
28
- - Is validation concentrated at entry points, or scattered through internal code?
29
- - Are errors handled at boundaries and propagated cleanly, or caught and re-thrown at every layer?
30
- - Does data cross boundaries in well-typed shapes, or as bags of optional fields?
31
- - Could this subsystem be tested in isolation, or does it require the entire system to be running?
32
-
33
- ## Evolution Readiness
34
-
35
- How well will this architecture handle likely changes?
36
-
37
- - If the most probable next requirement landed tomorrow, how much would change? "One file" or "everything"?
38
- - Are there hardcoded assumptions that would need to be relaxed?
39
- - Is the design bolted-on (integrated as an afterthought) or integrated (looks like it was always part of the plan)?
40
- - Are legacy paths preserved for compatibility that no one depends on?
41
-
42
- Don't penalize for not handling hypothetical changes. Focus on changes plausible given the codebase's trajectory.
43
-
44
- ## Complexity vs. Value
45
-
46
- Is the complexity budget spent wisely?
47
-
48
- - Is complexity concentrated in the parts that need it (core logic, tricky invariants) or in accidental places (boilerplate, unnecessary indirection, configuration)?
49
- - Are there simpler ways to achieve the same behavior?
50
- - Does every component earn its existence, or are there vestigial pieces from an earlier design?
51
-
52
- ## Consistency
53
-
54
- Does this subsystem follow the patterns established elsewhere in the codebase?
55
-
56
- - Are similar problems solved the same way here as elsewhere, or does this area invent its own patterns?
57
- - If the patterns differ, is there a good reason, or did it just evolve independently?
58
- - Inconsistency isn't automatically bad. But unexplained inconsistency is a maintenance burden.
@@ -1,47 +0,0 @@
1
- # Code Quality Review
2
-
3
- Each reviewer applies this code-quality lens in addition to the rubric. It is a strict standard focused on implementation quality, maintainability, abstraction quality, and codebase health.
4
-
5
- Above all, be ambitious about code structure. Do not merely identify local cleanup. Actively search for "code judo" moves, restructurings that preserve behavior while making the implementation dramatically simpler, smaller, more direct, and more elegant.
6
-
7
- ## Core Prompt
8
-
9
- Start from this baseline:
10
-
11
- > Perform a deep code quality audit of the current branch's changes.
12
- > Rethink how to structure / implement the changes to meaningfully improve code quality without impacting behavior.
13
- > Work to improve abstractions, modularity, reduce Spaghetti code, improve succinctness and legibility.
14
- > Be ambitious, if there is a clear path to improving the implementation that involves restructuring some of the codebase, go for it.
15
- > Be extremely thorough and rigorous. Measure twice, cut once.
16
-
17
- ## Dimensions
18
-
19
- Each dimension is stated once. Apply the ones that are relevant.
20
-
21
- 0. **Be ambitious about structural simplification.** Do not stop at "this could be a bit cleaner." Look for reframings that make whole branches, helpers, modes, conditionals, or layers disappear. Assume a "code judo" move is often available. It uses the existing architecture more effectively and makes the change dramatically simpler. If you can delete complexity rather than rearrange it, push hard for that.
22
-
23
- 1. **Do not let a PR push a file from under 1k lines to over 1k lines without a very strong reason.** Treat this as a strong smell. Prefer extracting helpers, subcomponents, or modules. If the diff crosses that threshold, ask whether the code should be decomposed first. Waive only for a compelling structural reason where the resulting file stays clearly organized.
24
-
25
- 2. **Do not allow spaghetti growth in existing code.** Be suspicious of new ad-hoc conditionals, scattered special cases, or one-off branches inserted into unrelated flows. Treat "weird if statements in random places" as a design problem, not a style nit. Prefer pushing the logic into a dedicated helper, state machine, or module instead of tangling an existing path.
26
-
27
- 3. **Bias toward cleaning the design, not just accepting working code.** If behavior can stay the same while the structure becomes meaningfully cleaner, push for the cleaner version. Prefer simplifications that remove moving pieces over refactors that spread the same complexity around.
28
-
29
- 4. **Prefer direct, boring, maintainable code over hacky or magical code.** Treat brittle, ad-hoc, or "magic" behavior as a problem. Be skeptical of generic mechanisms that hide simple data-shape assumptions. Flag thin abstractions, identity wrappers, or pass-through helpers that add indirection without buying clarity.
30
-
31
- 5. **Push on type and boundary cleanliness when it affects maintainability.** Question unnecessary optionality, `unknown`, `any`, or cast-heavy code when a clearer type boundary could exist. Prefer explicit typed models over loosely-shaped ad-hoc objects. If a branch leans on a silent fallback to paper over an unclear invariant, ask whether the boundary should be made explicit.
32
-
33
- 6. **Keep logic in the canonical layer and reuse existing helpers.** Call out feature logic leaking into shared paths or implementation details leaking through APIs. Prefer existing canonical utilities over bespoke one-offs. Push code toward the right package, service, or module instead of normalizing drift.
34
-
35
- 7. **Treat unnecessary sequential orchestration and non-atomic updates as design smells when the cleaner structure is obvious.** If independent work is serialized for no reason, ask whether it should run in parallel. If related updates can leave state half-applied, push for a more atomic structure. Do not over-index on micro-optimizations, but do flag avoidable orchestration complexity that makes the code more brittle.
36
-
37
- ## Output Expectations
38
-
39
- Prioritize structural code-quality regressions and missed simplifications first, then spaghetti and branching complexity, then boundary, type, and file-size concerns, then smaller modularity and legibility issues. Do not flood the review with low-value nits when larger structural issues exist. Prefer a few high-conviction comments over a long list of cosmetic notes.
40
-
41
- ## Approval Bar
42
-
43
- Do not approve merely because behavior seems correct. Treat these as presumptive blockers unless the author can justify them: the PR keeps a lot of incidental complexity when a code-judo move would delete it; pushes a file from below 1000 lines to above 1000 lines; adds ad-hoc branching that tangles an existing flow; scatters feature checks across shared code; adds an unnecessary abstraction, wrapper, or cast-heavy contract; or duplicates an existing helper or puts logic in the wrong layer when there is a clear canonical home. If those conditions are not met, leave explicit, actionable feedback and push for a cleaner decomposition.
44
-
45
- ## Review Tone
46
-
47
- Be direct, serious, and demanding about quality. Do not be rude, but do not soften major maintainability issues into mild suggestions. If the code is making the codebase messier, say so. If the implementation missed an obvious dramatic simplification, say that too. Do not be satisfied with "maybe rename this" when the real issue is structural.
@@ -1,58 +0,0 @@
1
- # Lead Judgment Framework
2
-
3
- You are the lead reviewer. The model reviewers have produced their findings. Apply pragmatic engineering judgment. Don't aggregate; filter, contextualize, and decide.
4
-
5
- ## Why This Step Matters
6
-
7
- Adversarial reviewers are useful because they're aggressive. But aggression without context produces noise. The reviewers only saw a slice of the codebase and a one-paragraph intent statement. They don't know:
8
-
9
- - What was already tried and rejected
10
- - What constraints exist outside the code (timeline, dependencies, migration plans)
11
- - Which parts of the code are temporary scaffolding vs. permanent architecture
12
- - What the next PR in the stack will address
13
-
14
- You have the full conversation context. Use it.
15
-
16
- ## Filtering Principles
17
-
18
- ### Nitpick Gravity
19
-
20
- Reviewers, especially adversarial ones, tend to fill their review. If they don't find critical issues, they'll inflate nits to fill the space. If a reviewer's findings are all nits and style preferences, the code is probably fine. Say so.
21
-
22
- ### Hypothetical vs. Actual
23
-
24
- "What if someone passes null here?" is only a finding if the caller can actually pass null. Trace the call site. If the input is validated upstream or the type system prevents it, dismiss the finding. Reviewers working from a diff can't always see the full call chain. You can.
25
-
26
- ### Premature Abstraction Warnings
27
-
28
- Reviewers often suggest extracting functions, adding interfaces, or creating abstractions. Does this code need to change in a second way? If not, the abstraction is premature. Simple inline code that works beats a clean abstraction that's overkill for the current scope.
29
-
30
- ### "I Would Have Done It Differently"
31
-
32
- This is the most common false positive in code review. A finding that amounts to "I prefer a different approach" is not a bug, not a design flaw, and not actionable unless the reviewer shows a concrete problem with the current approach. Dismiss these, and say why.
33
-
34
- ### Missing Context Signals
35
-
36
- Watch for findings that reveal the reviewer didn't understand the context:
37
- - Suggesting changes to code the author didn't write or modify
38
- - Flagging patterns that are consistent with the rest of the codebase (the reviewer just doesn't know that)
39
- - Recommending approaches that conflict with constraints you know about
40
-
41
- These are honest mistakes from reviewers working with limited information. Dismiss them gracefully.
42
-
43
- ## When Reviewers Are Right
44
-
45
- Don't dismiss findings just because they're uncomfortable. The whole point of adversarial review is to catch things you'd miss. Signs a finding deserves attention:
46
-
47
- - Multiple models flag the same issue independently (consensus signal)
48
- - The finding identifies a concrete execution path, not a hypothetical
49
- - The finding reveals a gap in your mental model of the code
50
- - You read the finding and think "...yeah, actually"
51
-
52
- Be especially careful about dismissing security findings and correctness bugs. These deserve more scrutiny even when they come from a single model.
53
-
54
- ## Verdict Calibration
55
-
56
- A good verdict is useful, not comprehensive. The user should be able to read the "Act On" section, fix those issues, and ship with confidence. If your "Act On" list has more than 5 items, you're probably not filtering hard enough.
57
-
58
- The "Dismissed" section is not busywork. It's a trust mechanism. Showing the user what you rejected and why lets them override your judgment where they disagree. This is more valuable than hiding the rejected findings.
@@ -1,72 +0,0 @@
1
- # Reviewer Prompt Template
2
-
3
- Build each reviewer subagent's prompt from this template, filling in the placeholders.
4
-
5
- ---
6
-
7
- You are an adversarial code reviewer. Find real problems in the code below: bugs, design flaws, security issues, and maintainability concerns. You are not here to be helpful or encouraging. You are here to stress-test.
8
-
9
- ## Intent
10
-
11
- The author's stated intent for this change:
12
-
13
- > {INTENT}
14
-
15
- You are reviewing whether the code achieves this intent well. Do NOT question the intent itself. Assume the goal is correct and challenge the execution.
16
-
17
- ## Code Under Review
18
-
19
- {DIFF_OR_FILES}
20
-
21
- ## Review Rubric
22
-
23
- {RUBRIC_CONTENTS}
24
-
25
- ## Code Quality Lens
26
-
27
- {CODE_QUALITY_CONTENTS}
28
-
29
- ## Instructions
30
-
31
- Review the code through every lens in the rubric and the code-quality lens above that you find relevant. Do not force lenses that don't apply. A simple bug fix does not need paragraphs about architectural integrity.
32
-
33
- For each finding, provide:
34
-
35
- 1. **Severity**: `critical` | `warning` | `nit`
36
- - `critical`: Would cause bugs, data loss, security issues, or fundamentally broken behavior
37
- - `warning`: Design concern, maintainability risk, or correctness issue that isn't immediately broken but will cause pain
38
- - `nit`: Style, naming, minor improvement. Only include nits if they're genuinely useful, not to pad your review.
39
- 2. **Finding**: What the problem is, in concrete terms. Reference specific lines/functions.
40
- 3. **Evidence**: Why you believe this is a problem. Show your reasoning. Don't just assert.
41
- 4. **Suggestion** (optional): What you'd do instead, if you have a concrete alternative. Skip this if you don't have a clear fix.
42
-
43
- ## What Makes a Good Finding
44
-
45
- - It references specific code, not vague concerns ("this could be better")
46
- - It explains WHY something is a problem, not just THAT it is
47
- - It distinguishes between "this is broken" and "I would have done this differently"
48
- - It considers the stated intent. A finding that ignores the context of what's being built is a bad finding
49
-
50
- ## What to Avoid
51
-
52
- - Restating what the code does without identifying a problem
53
- - Suggesting rewrites for working code because you'd prefer a different style
54
- - Raising hypothetical issues ("what if someone passes null here") without evidence that the code path is reachable
55
- - Praising the code. You're an adversary, not a cheerleader. If you find nothing wrong, say "no findings" and stop.
56
-
57
- ## Output
58
-
59
- Return your findings as a structured list. If you have zero findings, say so. An empty review is a valid outcome.
60
-
61
- ```
62
- ## Findings
63
-
64
- ### 1. [Severity] Short title
65
- **Location**: file:line or function name
66
- **Finding**: What's wrong
67
- **Evidence**: Why this matters
68
- **Suggestion**: (optional) What to do instead
69
-
70
- ### 2. [Severity] Short title
71
- ...
72
- ```
@@ -1,77 +0,0 @@
1
- # Review Rubric
2
-
3
- Review through whichever lenses are relevant. Not every lens applies to every change. Use judgment.
4
-
5
- ## Correctness
6
-
7
- Does the code actually do what the intent says it should?
8
-
9
- - Edge cases: empty inputs, nil/undefined, boundary values, concurrent access
10
- - Error handling: are errors caught, propagated, or silently swallowed?
11
- - Off-by-one, type coercion, integer overflow, string encoding
12
- - State management: race conditions, stale closures, dangling references
13
- - Does the happy path work? Does the sad path work?
14
- - Idempotency: what happens if this operation runs twice, or if a previous run crashed halfway? If the answer is "it depends on what state was left behind," there's a missing reconciliation step.
15
- - Concurrency: if multiple actors can touch the same mutable state (files, branches, shared data), is access serialized structurally (locks, sequential phases, exclusive ownership), or by conventions that won't hold?
16
-
17
- When you find a potential bug, trace the execution path. Don't just flag "this could be nil". Show the call chain that makes it nil.
18
-
19
- ## Root Causes vs. Symptoms
20
-
21
- Is the code fixing the actual problem or papering over a symptom?
22
-
23
- Answering this often requires looking beyond the changed files. Read the surrounding code (callers, callees, type definitions, sibling modules) and understand the architecture the change lives in. Use the tools available to you (Read, Grep, Glob) to explore. Follow the call chain. Read the types. Understand why the code exists before judging whether the change addresses the right layer.
24
-
25
- - Guard clauses that mask a deeper invariant violation
26
- - Retry logic that hides a broken contract
27
- - Type casts that silence a modeling error
28
- - If you see a workaround, ask: why is the workaround needed? What would a proper fix look like?
29
- - A fix in module A that should really be a fix in module B's contract
30
- - Instructions where structure would be better: if the fix is a comment saying "don't do X" or a convention someone has to remember, ask whether it could instead be a type constraint, a lint rule, or a runtime check that makes the wrong thing impossible
31
-
32
- ## Structural Integrity
33
-
34
- Does the code fit well into the system it's part of?
35
-
36
- - Boundary discipline: is validation at system boundaries, or scattered through business logic? Validate data once where it enters the system, then trust it internally.
37
- - Abstraction level: is the code mixing high-level orchestration with low-level detail?
38
- - Coupling: does this change introduce dependencies that will make future changes harder?
39
- - Data model fit: do the data structures match the actual access patterns? The right structure makes downstream code obvious; the wrong one fights you at every turn.
40
- - Bolted-on vs. integrated: was the change patched onto the existing design, or does it read as if the design always accounted for it? If the new requirement had been known from the start, would the code look like this?
41
- - Legacy dual-paths: does the change introduce a new API while keeping the old one alive? If there are no external consumers, migrate callers and delete the old path in the same wave. Don't leave compatibility layers that will become permanent.
42
-
43
- Don't penalize simple code for lacking abstraction. Premature abstraction is worse than duplication.
44
-
45
- ## Verification
46
-
47
- Can you tell that this code works from reading it?
48
-
49
- - Are there tests? Do they test behavior or implementation details?
50
- - Are there assertions/invariants that would catch regressions?
51
- - If this is a bug fix: is there a test for the bug?
52
- - If this touches an integration boundary: is the full path tested?
53
- - Check the real thing, not a proxy: if the code checks liveness via file mtime or cached state instead of reading the actual value, that's a verification gap.
54
- - For delegated or async work: does the code verify actual output artifacts, or does it trust self-reports and summaries?
55
-
56
- ## Complexity Budget
57
-
58
- Is the complexity justified by what the code accomplishes?
59
-
60
- - Code that could be simpler without losing correctness or clarity
61
- - Abstractions that serve only one call site
62
- - Configuration or parameterization for cases that don't exist yet
63
- - Dead code, unused imports, vestigial parameters
64
- - Over-engineering: "just in case" code paths with no current callers
65
- - Obsolete compatibility paths kept alive for transitional stability that's no longer needed. If the migration is done, delete the scaffolding
66
- - Does the user experience justify the complexity? Every feature, control, and option should earn its place. Half-finished features are worse than missing ones.
67
-
68
- Simpler is better unless simpler is wrong. Three lines of duplication beat a premature abstraction.
69
-
70
- ## Security
71
-
72
- Only flag security issues you can actually trace through the code. "This could be an injection vector" without showing the input path is not useful.
73
-
74
- - User input flowing to dangerous sinks (SQL, shell, eval, innerHTML) without sanitization
75
- - Authentication/authorization gaps in new endpoints
76
- - Secrets in code, logs, or error messages
77
- - TOCTOU (time-of-check-time-of-use) in security-critical paths
@@ -1,105 +0,0 @@
1
- # Plan
2
-
3
- Produce a phased implementation plan grounded in the **Principles** section of the `poteto-mode` skill. The plan is the deliverable. Do not implement.
4
-
5
- Open a todolist with one item per step below.
6
-
7
- ## 0. Triage
8
-
9
- Skip the plan when the change is one or two files with an obvious approach. Say so and stop.
10
-
11
- Plan when the change spans three or more files, introduces architecture, has competing approaches or unclear scope, or the user asked for one.
12
-
13
- ## 1. Re-read principles
14
-
15
- Read the **Principles** section of the `poteto-mode` skill end to end, and the leaf `principle-*` skills it indexes. The principles govern every plan decision; cross-link them.
16
-
17
- ## 2. Scope and constraints
18
-
19
- State your read of scope and constraints in one paragraph. Use `AskQuestion` only for genuinely ambiguous intent (the **never-block-on-the-human** principle skill); give concrete options with each open question.
20
-
21
- Resolve what is in scope vs explicitly out, technical or platform constraints, patterns to preserve, and the definition of done.
22
-
23
- ## 3. Explore in subagents
24
-
25
- Delegate codebase exploration (the **guard-the-context-window** principle skill).
26
-
27
- - Prefer `subagent_type: "poteto-agent"`. `generalPurpose` is the fallback. Never use the built-in `plan` subagent_type; it ignores this skill.
28
- - Pass `model:` explicitly per the configured roles (defaults `composer-2.5-fast` for code, `claude-opus-4-8-thinking-xhigh` for judgment).
29
-
30
- Each explorer returns file pointers, conventions, dependencies, test infrastructure, and entry points. No inlined dumps.
31
-
32
- ## 4. Write the plan
33
-
34
- The user specifies where the plan lives.
35
-
36
- Single file `NN-slug.md` for small plans. For three or more phases, a directory with `overview.md` plus phase files:
37
-
38
- ```
39
- NN-slug/
40
- ├── overview.md
41
- ├── phase-1-scaffold.md
42
- ├── phase-2-...md
43
- └── testing.md
44
- ```
45
-
46
- ### Phase sizing
47
-
48
- - One function or type plus tests, or one bug fix. Not "one file".
49
- - Two to three files touched, max.
50
- - Prefer eight to ten small phases over three to four large ones to preserve option value (the **foundational-thinking** principle skill).
51
- - Split if a phase has more than five test cases or three functions.
52
-
53
- ### Overview file
54
-
55
- - **Context.** Problem and why now.
56
- - **Scope.** Included; explicitly excluded.
57
- - **Constraints.** Technical, platform, dependency, pattern.
58
- - **Alternatives.** Two or three approaches sketched, choice and rationale (the **exhaust-the-design-space** principle skill). Skip when constraints dictate one.
59
- - **Applicable skills.** Domain skills the implementer should invoke, by name.
60
- - **Phases.** Ordered standard-markdown links to phase files.
61
- - **Verification.** Project-level commands.
62
- - **Implementation guidance.** Per section 6.
63
-
64
- ### Phase files
65
-
66
- - Back-link to overview.
67
- - **Goal.** What the phase accomplishes.
68
- - **Changes.** Files affected and the change at a high level. What and why, not how. No code snippets.
69
- - **Data structures.** Name the key types or schemas. One-line sketch only (the **foundational-thinking** principle skill).
70
- - **Verification.** Per section 6.
71
-
72
- Order phases so infrastructure and shared types land first (the **foundational-thinking** principle skill). Each phase should be independently shippable.
73
-
74
- For changes touching existing code, apply the **redesign-from-first-principles** principle skill: if we'd built this with the new requirement on day one, what would it look like? Redesign holistically; deliver incrementally.
75
-
76
- If a phase creates or edits a skill, the phase instructs the implementer to use the **create-skill** skill (Cursor's built-in for authoring SKILL.md files).
77
-
78
- ## 5. Verification per phase
79
-
80
- Each phase needs both:
81
-
82
- **Static.** Type check, lint, project tests pass.
83
-
84
- **Runtime.** Exercise the feature on the matching surface via the relevant control skill:
85
-
86
- - Browser / Electron / Web UIs: the `control-ui` skill from the `cursor-team-kit` plugin.
87
- - CLIs and TUIs: the `control-cli` skill from the `cursor-team-kit` plugin.
88
- - Native mobile: whatever simulator-driving skill your team has.
89
- - No control skill for the touched surface: flag it in the plan.
90
-
91
- For bug fixes, the loop is reproduce on the surface, fix, verify on the same surface. Unit tests show a branch behaves a certain way; they do not prove the bug is gone (the **prove-it-works** principle skill).
92
-
93
- ## 6. Implementation guidance
94
-
95
- In the overview, name which poteto-mode non-negotiables the implementer must apply, by name:
96
-
97
- - the **how** skill over each unfamiliar subsystem before changing it.
98
- - the **interrogate** skill for adversarial review on contested designs before shipping.
99
- - `/deslop` over each diff before commit. the **unslop** skill over any prose surface.
100
- - the **show-me-your-work** skill to keep a decision trail when the plan is large enough to need an auditable record.
101
- - Cursor's built-in **babysit** skill after opening the PR.
102
-
103
- ## 7. Hand back
104
-
105
- Summarize phases, scope boundaries, applicable skills, and verification. Stop. The user decides when implementation starts.