@justjoshn/pi-pstack 0.0.0-stage → 0.15.36-pi.7

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 (641) hide show
  1. package/CHANGELOG.md +39 -0
  2. package/LICENSE +21 -0
  3. package/README.md +98 -2
  4. package/agents/ci-watcher.md +27 -0
  5. package/agents/comment-sicko.md +32 -0
  6. package/agents/poteto-agent.md +9 -0
  7. package/agents/thermo-nuclear-code-quality-review.md +23 -0
  8. package/assets/logo.png +0 -0
  9. package/automations/benny/FOR_AGENTS.md +82 -0
  10. package/automations/benny/README.md +20 -0
  11. package/automations/benny/skills/reproduce-and-fix-issues/SKILL.md +310 -0
  12. package/automations/benny/skills/reproduce-and-fix-issues/references/control-adapter.md +169 -0
  13. package/automations/benny/skills/reproduce-and-fix-issues/references/feature-map.example.md +205 -0
  14. package/automations/benny/skills/reproduce-and-fix-issues/references/verify-existing-fix.md +93 -0
  15. package/automations/benny/skills/setup-benny/SKILL.md +253 -0
  16. package/automations/benny/skills/triage-issue-reports/SKILL.md +240 -0
  17. package/automations/benny/skills/triage-issue-reports/references/routing.example.md +61 -0
  18. package/automations/benny/templates/configuration.example.yaml +113 -0
  19. package/automations/benny/templates/reproduce-automation-prompt.md +49 -0
  20. package/automations/benny/templates/triage-automation-prompt.md +53 -0
  21. package/bin/pstack-routines-supervisor +9 -0
  22. package/docs/guide/01-setup.md +67 -0
  23. package/docs/guide/02-poteto-mode.md +139 -0
  24. package/docs/guide/03-understand.md +79 -0
  25. package/docs/guide/04-design.md +133 -0
  26. package/docs/guide/05-build-and-clean.md +83 -0
  27. package/docs/guide/06-verify-and-ship.md +162 -0
  28. package/docs/guide/07-overnight.md +122 -0
  29. package/docs/guide/08-principles.md +72 -0
  30. package/docs/guide/09-make-it-yours.md +100 -0
  31. package/docs/guide/10-recipes-and-pitfalls.md +182 -0
  32. package/docs/guide/README.md +38 -0
  33. package/docs/guide/images/design.jpg +0 -0
  34. package/docs/guide/images/overnight.jpg +0 -0
  35. package/docs/guide/images/recipes.jpg +0 -0
  36. package/docs/guide/images/router.jpg +0 -0
  37. package/docs/guide/images/understanding.jpg +0 -0
  38. package/docs/guide/images/verification.jpg +0 -0
  39. package/docs/native-gaps.md +73 -0
  40. package/docs/parity-reverse-engineering.md +94 -0
  41. package/licenses/cursor-team-kit.LICENSE +21 -0
  42. package/licenses/pstack.LICENSE +21 -0
  43. package/package.json +86 -4
  44. package/packaging/install-supervisor-unit.sh +164 -0
  45. package/packaging/launchd/com.pstack.routines-supervisor.plist.example +24 -0
  46. package/packaging/systemd/pstack-routines-supervisor.service.example +15 -0
  47. package/skills/architect/SKILL.md +79 -0
  48. package/skills/architect/references/design-red-flags.md +57 -0
  49. package/skills/architect/references/rationale-template.md +35 -0
  50. package/skills/architect/references/runner-prompt.md +20 -0
  51. package/skills/arena/SKILL.md +48 -0
  52. package/skills/automate-me/SKILL.md +104 -0
  53. package/skills/benchmark-checklist/SKILL.md +39 -0
  54. package/skills/blast-radius/SKILL.md +50 -0
  55. package/skills/bro/SKILL.md +7 -0
  56. package/skills/check-compiler-errors/SKILL.md +23 -0
  57. package/skills/control-cli/SKILL.md +109 -0
  58. package/skills/control-ui/SKILL.md +109 -0
  59. package/skills/correct/SKILL.md +32 -0
  60. package/skills/create-formal-verification-skill/SKILL.md +43 -0
  61. package/skills/create-skill/SKILL.md +548 -0
  62. package/skills/create-verification-skill/SKILL.md +44 -0
  63. package/skills/create-verification-skill/references/feature-map-example/README.md +47 -0
  64. package/skills/create-verification-skill/references/feature-map-example/create-note.md +39 -0
  65. package/skills/create-verification-skill/references/feature-map-example/search.md +45 -0
  66. package/skills/deslop/SKILL.md +22 -0
  67. package/skills/figure-it-out/SKILL.md +52 -0
  68. package/skills/fix-ci/SKILL.md +29 -0
  69. package/skills/fix-merge-conflicts/SKILL.md +32 -0
  70. package/skills/get-pr-comments/SKILL.md +23 -0
  71. package/skills/how/SKILL.md +36 -0
  72. package/skills/how/references/explainer-prompt.md +55 -0
  73. package/skills/how/references/explorer-prompt.md +35 -0
  74. package/skills/in-your-own-words/SKILL.md +7 -0
  75. package/skills/interrogate/SKILL.md +31 -0
  76. package/skills/ketchup/SKILL.md +43 -0
  77. package/skills/ketchup-video/SKILL.md +29 -0
  78. package/skills/loop-on-ci/SKILL.md +50 -0
  79. package/skills/maintain-formal-verification-skill/SKILL.md +58 -0
  80. package/skills/maintain-verification-skill/SKILL.md +39 -0
  81. package/skills/make-bot-ui/SKILL.md +104 -0
  82. package/skills/make-pr-easy-to-review/SKILL.md +59 -0
  83. package/skills/new-branch-and-pr/SKILL.md +29 -0
  84. package/skills/no-comments/SKILL.md +24 -0
  85. package/skills/no-inline-imports/SKILL.md +12 -0
  86. package/skills/poteto-help/SKILL.md +161 -0
  87. package/skills/poteto-help/references/prompting.md +51 -0
  88. package/skills/poteto-help/references/recipes.md +51 -0
  89. package/skills/poteto-mode/SKILL.md +151 -0
  90. package/skills/poteto-mode/playbooks/authoring-a-skill.md +12 -0
  91. package/skills/poteto-mode/playbooks/autonomous-run.md +13 -0
  92. package/skills/poteto-mode/playbooks/autopilot-full.md +25 -0
  93. package/skills/poteto-mode/playbooks/autopilot-stack.md +8 -0
  94. package/skills/poteto-mode/playbooks/babysit.md +23 -0
  95. package/skills/poteto-mode/playbooks/bug-fix.md +15 -0
  96. package/skills/poteto-mode/playbooks/eval.md +25 -0
  97. package/skills/poteto-mode/playbooks/feature.md +21 -0
  98. package/skills/poteto-mode/playbooks/hillclimb.md +21 -0
  99. package/skills/poteto-mode/playbooks/investigation.md +14 -0
  100. package/skills/poteto-mode/playbooks/multi-phase-plan.md +155 -0
  101. package/skills/poteto-mode/playbooks/opening-a-pr.md +34 -0
  102. package/skills/poteto-mode/playbooks/orchestrate.md +25 -0
  103. package/skills/poteto-mode/playbooks/pause-safely.md +10 -0
  104. package/skills/poteto-mode/playbooks/perf-issue.md +25 -0
  105. package/skills/poteto-mode/playbooks/prototype.md +14 -0
  106. package/skills/poteto-mode/playbooks/refactoring.md +16 -0
  107. package/skills/poteto-mode/playbooks/runtime-forensics.md +11 -0
  108. package/skills/poteto-mode/playbooks/session-pickup.md +11 -0
  109. package/skills/poteto-mode/playbooks/shipping.md +12 -0
  110. package/skills/poteto-mode/playbooks/trace-forensics.md +14 -0
  111. package/skills/poteto-mode/playbooks/visual-parity.md +11 -0
  112. package/skills/poteto-mode/playbooks/worktree-cleanup.md +12 -0
  113. package/skills/poteto-mode/references/bugbot-triage.md +142 -0
  114. package/skills/poteto-mode/scripts/bootstrap.ts +62 -0
  115. package/skills/poteto-mode/scripts/bun.lock +67 -0
  116. package/skills/poteto-mode/scripts/check-plan.mjs +205 -0
  117. package/skills/poteto-mode/scripts/check-plan.test.ts +110 -0
  118. package/skills/poteto-mode/scripts/package.json +16 -0
  119. package/skills/poteto-mode/scripts/watch-pr/cli.test.ts +224 -0
  120. package/skills/poteto-mode/scripts/watch-pr/cli.ts +223 -0
  121. package/skills/poteto-mode/scripts/watch-pr/fakes.test-helper.ts +129 -0
  122. package/skills/poteto-mode/scripts/watch-pr/github.test.ts +498 -0
  123. package/skills/poteto-mode/scripts/watch-pr/github.ts +726 -0
  124. package/skills/poteto-mode/scripts/watch-pr/policy.test.ts +482 -0
  125. package/skills/poteto-mode/scripts/watch-pr/policy.ts +842 -0
  126. package/skills/poteto-mode/scripts/watch-pr/render.ts +169 -0
  127. package/skills/poteto-mode/scripts/watch-pr/tsconfig.json +13 -0
  128. package/skills/poteto-mode/scripts/watch-pr/types.compile.ts +93 -0
  129. package/skills/poteto-mode/scripts/watch-pr/types.ts +414 -0
  130. package/skills/poteto-mode/scripts/watch-pr/watch-pr +6 -0
  131. package/skills/poteto-mode/scripts/worktree-audit.sh +156 -0
  132. package/skills/pr-review-canvas/SKILL.md +176 -0
  133. package/skills/pr-review-canvas/renderer.js +170 -0
  134. package/skills/pr-review-canvas/styles.css +96 -0
  135. package/skills/pr-review-canvas/template.html +18 -0
  136. package/skills/principle-attack-the-premise/SKILL.md +21 -0
  137. package/skills/principle-boundary-discipline/SKILL.md +34 -0
  138. package/skills/principle-build-the-lever/SKILL.md +23 -0
  139. package/skills/principle-encode-lessons-in-structure/SKILL.md +11 -0
  140. package/skills/principle-exhaust-the-design-space/SKILL.md +9 -0
  141. package/skills/principle-experience-first/SKILL.md +19 -0
  142. package/skills/principle-explain-the-number/SKILL.md +18 -0
  143. package/skills/principle-fix-root-causes/SKILL.md +21 -0
  144. package/skills/principle-foundational-thinking/SKILL.md +21 -0
  145. package/skills/principle-guard-the-context-window/SKILL.md +12 -0
  146. package/skills/principle-laziness-protocol/SKILL.md +10 -0
  147. package/skills/principle-make-operations-idempotent/SKILL.md +22 -0
  148. package/skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +14 -0
  149. package/skills/principle-minimize-reader-load/SKILL.md +18 -0
  150. package/skills/principle-model-the-domain/SKILL.md +24 -0
  151. package/skills/principle-never-block-on-the-human/SKILL.md +15 -0
  152. package/skills/principle-outcome-oriented-execution/SKILL.md +21 -0
  153. package/skills/principle-prove-it-works/SKILL.md +22 -0
  154. package/skills/principle-redesign-from-first-principles/SKILL.md +16 -0
  155. package/skills/principle-separate-before-serializing-shared-state/SKILL.md +16 -0
  156. package/skills/principle-sequence-verifiable-units/SKILL.md +17 -0
  157. package/skills/principle-subtract-before-you-add/SKILL.md +18 -0
  158. package/skills/principle-test-behavior-not-implementation/SKILL.md +20 -0
  159. package/skills/principle-type-system-discipline/SKILL.md +13 -0
  160. package/skills/recall/SKILL.md +35 -0
  161. package/skills/reflect/SKILL.md +69 -0
  162. package/skills/reflect/references/divergent-reviewer.md +38 -0
  163. package/skills/reflect/references/judgment-reviewer.md +37 -0
  164. package/skills/reflect/references/synthesizer.md +56 -0
  165. package/skills/reflect/references/tooling-reviewer.md +48 -0
  166. package/skills/review-and-ship/SKILL.md +41 -0
  167. package/skills/run-smoke-tests/SKILL.md +42 -0
  168. package/skills/setup-pstack/SKILL.md +74 -0
  169. package/skills/sharpen/SKILL.md +16 -0
  170. package/skills/show-me-your-work/SKILL.md +82 -0
  171. package/skills/show-me-your-work/references/decision-log-template.tsv +1 -0
  172. package/skills/show-me-your-work/scripts/log.sh +42 -0
  173. package/skills/statechart/SKILL.md +82 -0
  174. package/skills/statechart/references/render.md +93 -0
  175. package/skills/statechart/scripts/backends/cfg.ts +33 -0
  176. package/skills/statechart/scripts/backends/mermaid.ts +201 -0
  177. package/skills/statechart/scripts/backends/plain-text.ts +72 -0
  178. package/skills/statechart/scripts/backends/report.ts +177 -0
  179. package/skills/statechart/scripts/frontends/config.ts +276 -0
  180. package/skills/statechart/scripts/frontends/dot.ts +74 -0
  181. package/skills/statechart/scripts/frontends/marks.ts +93 -0
  182. package/skills/statechart/scripts/frontends/messages.ts +52 -0
  183. package/skills/statechart/scripts/frontends/spec.ts +114 -0
  184. package/skills/statechart/scripts/frontends/trace.ts +24 -0
  185. package/skills/statechart/scripts/frontends/value.ts +166 -0
  186. package/skills/statechart/scripts/frontends/verdict.ts +40 -0
  187. package/skills/statechart/scripts/frontends/view.ts +119 -0
  188. package/skills/statechart/scripts/ir.ts +547 -0
  189. package/skills/statechart/scripts/package.json +11 -0
  190. package/skills/statechart/scripts/passes/annotate.ts +128 -0
  191. package/skills/statechart/scripts/passes/label.ts +269 -0
  192. package/skills/statechart/scripts/passes/lift.ts +85 -0
  193. package/skills/statechart/scripts/passes/loop-check.ts +68 -0
  194. package/skills/statechart/scripts/passes/paths.ts +60 -0
  195. package/skills/statechart/scripts/passes/reach.ts +135 -0
  196. package/skills/statechart/scripts/passes/region-check.ts +97 -0
  197. package/skills/statechart/scripts/passes/regions.ts +295 -0
  198. package/skills/statechart/scripts/pipeline.ts +76 -0
  199. package/skills/statechart/scripts/run.ts +481 -0
  200. package/skills/statechart/scripts/statechart +29 -0
  201. package/skills/statechart/scripts/statechart.ts +164 -0
  202. package/skills/statechart/scripts/test/ConfigOracle.java +63 -0
  203. package/skills/statechart/scripts/test/chart.test.ts +1210 -0
  204. package/skills/statechart/scripts/test/charts/Braces.mmd +7 -0
  205. package/skills/statechart/scripts/test/charts/Escapes.mmd +11 -0
  206. package/skills/statechart/scripts/test/charts/Phases.mmd +29 -0
  207. package/skills/statechart/scripts/test/cli.test.ts +1314 -0
  208. package/skills/statechart/scripts/test/config-fuzz.test.ts +263 -0
  209. package/skills/statechart/scripts/test/corpus/Counter/ChartRun.out +57 -0
  210. package/skills/statechart/scripts/test/corpus/Counter/Counter.cfg +3 -0
  211. package/skills/statechart/scripts/test/corpus/Counter/Counter.tla +10 -0
  212. package/skills/statechart/scripts/test/corpus/Counter/chart.mmd +9 -0
  213. package/skills/statechart/scripts/test/corpus/Counter/graph.dot +16 -0
  214. package/skills/statechart/scripts/test/corpus/Counter/report.md +7 -0
  215. package/skills/statechart/scripts/test/corpus/Counter/sany.out +2 -0
  216. package/skills/statechart/scripts/test/corpus/Counter/verdict-1.out +49 -0
  217. package/skills/statechart/scripts/test/corpus/CounterAction/ChartRun.out +60 -0
  218. package/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg +4 -0
  219. package/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.tla +22 -0
  220. package/skills/statechart/scripts/test/corpus/CounterAction/chart.mmd +26 -0
  221. package/skills/statechart/scripts/test/corpus/CounterAction/graph.dot +19 -0
  222. package/skills/statechart/scripts/test/corpus/CounterAction/report.md +20 -0
  223. package/skills/statechart/scripts/test/corpus/CounterAction/sany.out +2 -0
  224. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.exit +1 -0
  225. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.out +56 -0
  226. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.exit +1 -0
  227. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.out +82 -0
  228. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-3.out +57 -0
  229. package/skills/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out +59 -0
  230. package/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg +3 -0
  231. package/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla +11 -0
  232. package/skills/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd +22 -0
  233. package/skills/statechart/scripts/test/corpus/CounterDeadlock/graph.dot +16 -0
  234. package/skills/statechart/scripts/test/corpus/CounterDeadlock/report.md +17 -0
  235. package/skills/statechart/scripts/test/corpus/CounterDeadlock/sany.out +2 -0
  236. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit +1 -0
  237. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out +56 -0
  238. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit +1 -0
  239. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out +77 -0
  240. package/skills/statechart/scripts/test/corpus/CounterFan/ChartRun.out +69 -0
  241. package/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg +2 -0
  242. package/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.tla +11 -0
  243. package/skills/statechart/scripts/test/corpus/CounterFan/chart.mmd +85 -0
  244. package/skills/statechart/scripts/test/corpus/CounterFan/graph.dot +70 -0
  245. package/skills/statechart/scripts/test/corpus/CounterFan/report.md +12 -0
  246. package/skills/statechart/scripts/test/corpus/CounterFan/sany.out +2 -0
  247. package/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.exit +1 -0
  248. package/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.out +67 -0
  249. package/skills/statechart/scripts/test/corpus/CounterFan/verdict-2.out +57 -0
  250. package/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit +1 -0
  251. package/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.out +85 -0
  252. package/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg +6 -0
  253. package/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla +13 -0
  254. package/skills/statechart/scripts/test/corpus/CounterGuard/chart.mmd +5 -0
  255. package/skills/statechart/scripts/test/corpus/CounterGuard/graph.dot +10 -0
  256. package/skills/statechart/scripts/test/corpus/CounterGuard/report.md +31 -0
  257. package/skills/statechart/scripts/test/corpus/CounterGuard/sany.out +2 -0
  258. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit +1 -0
  259. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.out +64 -0
  260. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit +1 -0
  261. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.out +77 -0
  262. package/skills/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out +55 -0
  263. package/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg +3 -0
  264. package/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla +10 -0
  265. package/skills/statechart/scripts/test/corpus/CounterInitPast/chart.mmd +12 -0
  266. package/skills/statechart/scripts/test/corpus/CounterInitPast/graph.dot +6 -0
  267. package/skills/statechart/scripts/test/corpus/CounterInitPast/report.md +12 -0
  268. package/skills/statechart/scripts/test/corpus/CounterInitPast/sany.out +2 -0
  269. package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit +1 -0
  270. package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out +33 -0
  271. package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out +54 -0
  272. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out +54 -0
  273. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg +3 -0
  274. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla +10 -0
  275. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd +1 -0
  276. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot +6 -0
  277. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/report.md +7 -0
  278. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out +2 -0
  279. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out +46 -0
  280. package/skills/statechart/scripts/test/corpus/CounterInstance/ChartRun.out +59 -0
  281. package/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg +2 -0
  282. package/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla +10 -0
  283. package/skills/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla +6 -0
  284. package/skills/statechart/scripts/test/corpus/CounterInstance/chart.mmd +17 -0
  285. package/skills/statechart/scripts/test/corpus/CounterInstance/graph.dot +15 -0
  286. package/skills/statechart/scripts/test/corpus/CounterInstance/report.md +14 -0
  287. package/skills/statechart/scripts/test/corpus/CounterInstance/sany.out +3 -0
  288. package/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit +1 -0
  289. package/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.out +78 -0
  290. package/skills/statechart/scripts/test/corpus/CounterJump/ChartRun.out +59 -0
  291. package/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg +3 -0
  292. package/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.tla +19 -0
  293. package/skills/statechart/scripts/test/corpus/CounterJump/chart.mmd +26 -0
  294. package/skills/statechart/scripts/test/corpus/CounterJump/graph.dot +22 -0
  295. package/skills/statechart/scripts/test/corpus/CounterJump/report.md +12 -0
  296. package/skills/statechart/scripts/test/corpus/CounterJump/sany.out +2 -0
  297. package/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.exit +1 -0
  298. package/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.out +58 -0
  299. package/skills/statechart/scripts/test/corpus/CounterJump/verdict-2.out +57 -0
  300. package/skills/statechart/scripts/test/corpus/CounterLoop/ChartRun.out +57 -0
  301. package/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg +2 -0
  302. package/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla +11 -0
  303. package/skills/statechart/scripts/test/corpus/CounterLoop/chart.mmd +17 -0
  304. package/skills/statechart/scripts/test/corpus/CounterLoop/graph.dot +15 -0
  305. package/skills/statechart/scripts/test/corpus/CounterLoop/report.md +14 -0
  306. package/skills/statechart/scripts/test/corpus/CounterLoop/sany.out +2 -0
  307. package/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit +1 -0
  308. package/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.out +76 -0
  309. package/skills/statechart/scripts/test/corpus/CounterOrder/ChartRun.out +59 -0
  310. package/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg +3 -0
  311. package/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla +11 -0
  312. package/skills/statechart/scripts/test/corpus/CounterOrder/chart.mmd +19 -0
  313. package/skills/statechart/scripts/test/corpus/CounterOrder/graph.dot +10 -0
  314. package/skills/statechart/scripts/test/corpus/CounterOrder/report.md +15 -0
  315. package/skills/statechart/scripts/test/corpus/CounterOrder/sany.out +2 -0
  316. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit +1 -0
  317. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.out +56 -0
  318. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit +1 -0
  319. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.out +67 -0
  320. package/skills/statechart/scripts/test/corpus/CounterRules/ChartRun.out +62 -0
  321. package/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg +6 -0
  322. package/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.tla +24 -0
  323. package/skills/statechart/scripts/test/corpus/CounterRules/Moves.tla +5 -0
  324. package/skills/statechart/scripts/test/corpus/CounterRules/chart.mmd +22 -0
  325. package/skills/statechart/scripts/test/corpus/CounterRules/graph.dot +10 -0
  326. package/skills/statechart/scripts/test/corpus/CounterRules/report.md +23 -0
  327. package/skills/statechart/scripts/test/corpus/CounterRules/sany.out +3 -0
  328. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.exit +1 -0
  329. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.out +58 -0
  330. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.exit +1 -0
  331. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.out +66 -0
  332. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.exit +1 -0
  333. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.out +74 -0
  334. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-4.out +59 -0
  335. package/skills/statechart/scripts/test/corpus/CounterStart/ChartRun.out +58 -0
  336. package/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg +3 -0
  337. package/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.tla +15 -0
  338. package/skills/statechart/scripts/test/corpus/CounterStart/chart.mmd +18 -0
  339. package/skills/statechart/scripts/test/corpus/CounterStart/graph.dot +13 -0
  340. package/skills/statechart/scripts/test/corpus/CounterStart/report.md +11 -0
  341. package/skills/statechart/scripts/test/corpus/CounterStart/sany.out +2 -0
  342. package/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.exit +1 -0
  343. package/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.out +33 -0
  344. package/skills/statechart/scripts/test/corpus/CounterStart/verdict-2.out +57 -0
  345. package/skills/statechart/scripts/test/corpus/CounterStop/ChartRun.out +57 -0
  346. package/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg +3 -0
  347. package/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.tla +15 -0
  348. package/skills/statechart/scripts/test/corpus/CounterStop/chart.mmd +7 -0
  349. package/skills/statechart/scripts/test/corpus/CounterStop/graph.dot +13 -0
  350. package/skills/statechart/scripts/test/corpus/CounterStop/report.md +6 -0
  351. package/skills/statechart/scripts/test/corpus/CounterStop/sany.out +2 -0
  352. package/skills/statechart/scripts/test/corpus/CounterStop/verdict-1.out +49 -0
  353. package/skills/statechart/scripts/test/corpus/CounterTie/ChartRun.out +61 -0
  354. package/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg +4 -0
  355. package/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.tla +14 -0
  356. package/skills/statechart/scripts/test/corpus/CounterTie/chart.mmd +30 -0
  357. package/skills/statechart/scripts/test/corpus/CounterTie/graph.dot +19 -0
  358. package/skills/statechart/scripts/test/corpus/CounterTie/report.md +27 -0
  359. package/skills/statechart/scripts/test/corpus/CounterTie/sany.out +2 -0
  360. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.exit +1 -0
  361. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.out +56 -0
  362. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.exit +1 -0
  363. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.out +64 -0
  364. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.exit +1 -0
  365. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.out +87 -0
  366. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-4.out +57 -0
  367. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out +60 -0
  368. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg +3 -0
  369. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla +12 -0
  370. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd +23 -0
  371. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot +19 -0
  372. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/report.md +11 -0
  373. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/sany.out +2 -0
  374. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit +1 -0
  375. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out +56 -0
  376. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out +57 -0
  377. package/skills/statechart/scripts/test/corpus/CounterView/ChartRun.out +61 -0
  378. package/skills/statechart/scripts/test/corpus/CounterView/CounterView.cfg +4 -0
  379. package/skills/statechart/scripts/test/corpus/CounterView/CounterView.tla +14 -0
  380. package/skills/statechart/scripts/test/corpus/CounterView/chart.mmd +23 -0
  381. package/skills/statechart/scripts/test/corpus/CounterView/graph.dot +19 -0
  382. package/skills/statechart/scripts/test/corpus/CounterView/report.md +27 -0
  383. package/skills/statechart/scripts/test/corpus/CounterView/sany.out +2 -0
  384. package/skills/statechart/scripts/test/corpus/CounterView/verdict-1.exit +1 -0
  385. package/skills/statechart/scripts/test/corpus/CounterView/verdict-1.out +56 -0
  386. package/skills/statechart/scripts/test/corpus/CounterView/verdict-2.exit +1 -0
  387. package/skills/statechart/scripts/test/corpus/CounterView/verdict-2.out +64 -0
  388. package/skills/statechart/scripts/test/corpus/CounterView/verdict-3.exit +1 -0
  389. package/skills/statechart/scripts/test/corpus/CounterView/verdict-3.out +87 -0
  390. package/skills/statechart/scripts/test/corpus/CounterView/verdict-4.out +57 -0
  391. package/skills/statechart/scripts/test/corpus/CounterView/view.mjs +1 -0
  392. package/skills/statechart/scripts/test/corpus/DieHard/ChartRun.out +59 -0
  393. package/skills/statechart/scripts/test/corpus/DieHard/DieHard.cfg +4 -0
  394. package/skills/statechart/scripts/test/corpus/DieHard/DieHard.tla +38 -0
  395. package/skills/statechart/scripts/test/corpus/DieHard/chart.mmd +92 -0
  396. package/skills/statechart/scripts/test/corpus/DieHard/graph.dot +126 -0
  397. package/skills/statechart/scripts/test/corpus/DieHard/report.md +17 -0
  398. package/skills/statechart/scripts/test/corpus/DieHard/sany.out +2 -0
  399. package/skills/statechart/scripts/test/corpus/DieHard/verdict-1.exit +1 -0
  400. package/skills/statechart/scripts/test/corpus/DieHard/verdict-1.out +91 -0
  401. package/skills/statechart/scripts/test/corpus/DieHard/verdict-2.out +57 -0
  402. package/skills/statechart/scripts/test/corpus/FirstRule/ChartRun.out +61 -0
  403. package/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg +6 -0
  404. package/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.tla +11 -0
  405. package/skills/statechart/scripts/test/corpus/FirstRule/chart.mmd +22 -0
  406. package/skills/statechart/scripts/test/corpus/FirstRule/graph.dot +16 -0
  407. package/skills/statechart/scripts/test/corpus/FirstRule/report.md +25 -0
  408. package/skills/statechart/scripts/test/corpus/FirstRule/sany.out +2 -0
  409. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.exit +1 -0
  410. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.out +56 -0
  411. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.exit +1 -0
  412. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.out +64 -0
  413. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.exit +1 -0
  414. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.out +64 -0
  415. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.exit +1 -0
  416. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.out +77 -0
  417. package/skills/statechart/scripts/test/corpus/HiddenClock/ChartRun.out +57 -0
  418. package/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg +4 -0
  419. package/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla +11 -0
  420. package/skills/statechart/scripts/test/corpus/HiddenClock/chart.mmd +13 -0
  421. package/skills/statechart/scripts/test/corpus/HiddenClock/graph.dot +12 -0
  422. package/skills/statechart/scripts/test/corpus/HiddenClock/report.md +11 -0
  423. package/skills/statechart/scripts/test/corpus/HiddenClock/sany.out +2 -0
  424. package/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit +1 -0
  425. package/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.out +72 -0
  426. package/skills/statechart/scripts/test/corpus/Login/ChartRun.out +57 -0
  427. package/skills/statechart/scripts/test/corpus/Login/Login.cfg +3 -0
  428. package/skills/statechart/scripts/test/corpus/Login/Login.tla +62 -0
  429. package/skills/statechart/scripts/test/corpus/Login/chart.mmd +27 -0
  430. package/skills/statechart/scripts/test/corpus/Login/graph.dot +40 -0
  431. package/skills/statechart/scripts/test/corpus/Login/report.md +7 -0
  432. package/skills/statechart/scripts/test/corpus/Login/sany.out +1 -0
  433. package/skills/statechart/scripts/test/corpus/Login/verdict-1.out +47 -0
  434. package/skills/statechart/scripts/test/corpus/Login/view.mjs +1 -0
  435. package/skills/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out +57 -0
  436. package/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg +2 -0
  437. package/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla +64 -0
  438. package/skills/statechart/scripts/test/corpus/LoginGuarded/chart.mmd +28 -0
  439. package/skills/statechart/scripts/test/corpus/LoginGuarded/graph.dot +37 -0
  440. package/skills/statechart/scripts/test/corpus/LoginGuarded/report.md +8 -0
  441. package/skills/statechart/scripts/test/corpus/LoginGuarded/sany.out +1 -0
  442. package/skills/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out +47 -0
  443. package/skills/statechart/scripts/test/corpus/LoginGuarded/view.mjs +1 -0
  444. package/skills/statechart/scripts/test/corpus/LoginParallel/ChartRun.out +60 -0
  445. package/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg +3 -0
  446. package/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla +64 -0
  447. package/skills/statechart/scripts/test/corpus/LoginParallel/chart.mmd +44 -0
  448. package/skills/statechart/scripts/test/corpus/LoginParallel/graph.dot +58 -0
  449. package/skills/statechart/scripts/test/corpus/LoginParallel/report.md +17 -0
  450. package/skills/statechart/scripts/test/corpus/LoginParallel/sany.out +1 -0
  451. package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit +1 -0
  452. package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.out +83 -0
  453. package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-2.out +57 -0
  454. package/skills/statechart/scripts/test/corpus/LoginParallel/view.mjs +1 -0
  455. package/skills/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out +60 -0
  456. package/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg +3 -0
  457. package/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla +103 -0
  458. package/skills/statechart/scripts/test/corpus/MediaPlayer/chart.mmd +43 -0
  459. package/skills/statechart/scripts/test/corpus/MediaPlayer/graph.dot +93 -0
  460. package/skills/statechart/scripts/test/corpus/MediaPlayer/report.md +14 -0
  461. package/skills/statechart/scripts/test/corpus/MediaPlayer/sany.out +1 -0
  462. package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit +1 -0
  463. package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out +59 -0
  464. package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out +72 -0
  465. package/skills/statechart/scripts/test/corpus/MediaPlayer/view.mjs +3 -0
  466. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out +57 -0
  467. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg +2 -0
  468. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla +100 -0
  469. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd +31 -0
  470. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot +85 -0
  471. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/report.md +9 -0
  472. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out +1 -0
  473. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out +47 -0
  474. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs +3 -0
  475. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out +59 -0
  476. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla +103 -0
  477. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg +3 -0
  478. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla +6 -0
  479. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd +42 -0
  480. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot +93 -0
  481. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/report.md +19 -0
  482. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/sany.out +2 -0
  483. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit +1 -0
  484. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out +61 -0
  485. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out +59 -0
  486. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out +61 -0
  487. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit +1 -0
  488. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out +66 -0
  489. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit +1 -0
  490. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out +58 -0
  491. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out +49 -0
  492. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs +3 -0
  493. package/skills/statechart/scripts/test/corpus/PickWorker/ChartRun.out +57 -0
  494. package/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg +6 -0
  495. package/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.tla +11 -0
  496. package/skills/statechart/scripts/test/corpus/PickWorker/chart.mmd +5 -0
  497. package/skills/statechart/scripts/test/corpus/PickWorker/graph.dot +11 -0
  498. package/skills/statechart/scripts/test/corpus/PickWorker/report.md +7 -0
  499. package/skills/statechart/scripts/test/corpus/PickWorker/sany.out +5 -0
  500. package/skills/statechart/scripts/test/corpus/PickWorker/verdict-1.out +70 -0
  501. package/skills/statechart/scripts/test/corpus/Shadow/ChartRun.out +61 -0
  502. package/skills/statechart/scripts/test/corpus/Shadow/Shadow.cfg +4 -0
  503. package/skills/statechart/scripts/test/corpus/Shadow/Shadow.tla +11 -0
  504. package/skills/statechart/scripts/test/corpus/Shadow/ShadowLib.tla +6 -0
  505. package/skills/statechart/scripts/test/corpus/Shadow/ShadowSub.tla +3 -0
  506. package/skills/statechart/scripts/test/corpus/Shadow/chart.mmd +9 -0
  507. package/skills/statechart/scripts/test/corpus/Shadow/graph.dot +16 -0
  508. package/skills/statechart/scripts/test/corpus/Shadow/report.md +8 -0
  509. package/skills/statechart/scripts/test/corpus/Shadow/sany.out +4 -0
  510. package/skills/statechart/scripts/test/corpus/Shadow/verdict-1.out +65 -0
  511. package/skills/statechart/scripts/test/corpus/SpacedNames/ChartRun.out +59 -0
  512. package/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg +2 -0
  513. package/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla +9 -0
  514. package/skills/statechart/scripts/test/corpus/SpacedNames/chart.mmd +23 -0
  515. package/skills/statechart/scripts/test/corpus/SpacedNames/graph.dot +17 -0
  516. package/skills/statechart/scripts/test/corpus/SpacedNames/report.md +15 -0
  517. package/skills/statechart/scripts/test/corpus/SpacedNames/sany.out +1 -0
  518. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit +1 -0
  519. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.out +65 -0
  520. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit +1 -0
  521. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.out +75 -0
  522. package/skills/statechart/scripts/test/corpus/TwoPhase/ChartRun.out +69 -0
  523. package/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg +3 -0
  524. package/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla +75 -0
  525. package/skills/statechart/scripts/test/corpus/TwoPhase/chart.mmd +60 -0
  526. package/skills/statechart/scripts/test/corpus/TwoPhase/graph.dot +297 -0
  527. package/skills/statechart/scripts/test/corpus/TwoPhase/report.md +20 -0
  528. package/skills/statechart/scripts/test/corpus/TwoPhase/sany.out +1 -0
  529. package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit +1 -0
  530. package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.out +95 -0
  531. package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-2.out +57 -0
  532. package/skills/statechart/scripts/test/corpus/TwoPhase/view.mjs +1 -0
  533. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out +57 -0
  534. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg +3 -0
  535. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla +75 -0
  536. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd +37 -0
  537. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot +223 -0
  538. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/report.md +11 -0
  539. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out +1 -0
  540. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out +47 -0
  541. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs +1 -0
  542. package/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit +1 -0
  543. package/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.out +75 -0
  544. package/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg +5 -0
  545. package/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla +11 -0
  546. package/skills/statechart/scripts/test/corpus/TypeGuard/chart.mmd +18 -0
  547. package/skills/statechart/scripts/test/corpus/TypeGuard/graph.dot +14 -0
  548. package/skills/statechart/scripts/test/corpus/TypeGuard/report.md +29 -0
  549. package/skills/statechart/scripts/test/corpus/TypeGuard/sany.out +2 -0
  550. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit +1 -0
  551. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.out +64 -0
  552. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit +1 -0
  553. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.out +75 -0
  554. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out +58 -0
  555. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg +2 -0
  556. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla +8 -0
  557. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd +22 -0
  558. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot +16 -0
  559. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/report.md +15 -0
  560. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/sany.out +2 -0
  561. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit +1 -0
  562. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out +56 -0
  563. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit +1 -0
  564. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out +77 -0
  565. package/skills/statechart/scripts/test/corpus.test.ts +403 -0
  566. package/skills/statechart/scripts/test/differential.test.ts +565 -0
  567. package/skills/statechart/scripts/test/grid/Grid.cfg +2 -0
  568. package/skills/statechart/scripts/test/grid/Grid.tla +9 -0
  569. package/skills/statechart/scripts/test/grid/sany.out +2 -0
  570. package/skills/statechart/scripts/test/java.ts +63 -0
  571. package/skills/statechart/scripts/test/labels.ts +643 -0
  572. package/skills/statechart/scripts/test/messages.test.ts +212 -0
  573. package/skills/statechart/scripts/test/pipeline.test.ts +270 -0
  574. package/skills/statechart/scripts/test/plain-tlc.test.ts +255 -0
  575. package/skills/statechart/scripts/test/render.test.ts +81 -0
  576. package/skills/statechart/scripts/test/tlc-out.test.ts +90 -0
  577. package/skills/statechart/scripts/test/tlc.ts +158 -0
  578. package/skills/statechart/scripts/tsconfig.json +11 -0
  579. package/skills/statechart/scripts/worker.ts +35 -0
  580. package/skills/swarm/SKILL.md +41 -0
  581. package/skills/tdd/SKILL.md +42 -0
  582. package/skills/teach/SKILL.md +21 -0
  583. package/skills/technical-writing/SKILL.md +106 -0
  584. package/skills/thermo-nuclear-code-quality-review/SKILL.md +192 -0
  585. package/skills/typescript-best-practices/SKILL.md +32 -0
  586. package/skills/typescript-best-practices/references/patterns.md +328 -0
  587. package/skills/typescript-exhaustive-switch/SKILL.md +10 -0
  588. package/skills/unslop/SKILL.md +62 -0
  589. package/skills/verify-this/SKILL.md +74 -0
  590. package/skills/weekly-review/SKILL.md +32 -0
  591. package/skills/what-did-i-get-done/SKILL.md +31 -0
  592. package/skills/why/SKILL.md +98 -0
  593. package/skills/why/references/epistemics.md +71 -0
  594. package/skills/why/references/investigator-prompt.md +84 -0
  595. package/skills/why/references/source-playbook.md +17 -0
  596. package/skills/why/references/sources/code-archaeology.md +51 -0
  597. package/skills/why/references/sources/databricks.md +70 -0
  598. package/skills/why/references/sources/datadog.md +97 -0
  599. package/skills/why/references/sources/incident-postmortem.md +5 -0
  600. package/skills/why/references/sources/linear.md +48 -0
  601. package/skills/why/references/sources/notion.md +55 -0
  602. package/skills/why/references/sources/sentry.md +66 -0
  603. package/skills/why/references/sources/slack.md +17 -0
  604. package/skills/why/references/synthesizer-prompt.md +129 -0
  605. package/skills/workflow-from-chats/SKILL.md +50 -0
  606. package/src/aliases.ts +64 -0
  607. package/src/ask.ts +131 -0
  608. package/src/autocomplete.ts +21 -0
  609. package/src/child-env.ts +44 -0
  610. package/src/index.ts +123 -0
  611. package/src/loop.ts +189 -0
  612. package/src/mode.ts +156 -0
  613. package/src/modes.ts +8 -0
  614. package/src/paths.ts +85 -0
  615. package/src/pi-command.ts +12 -0
  616. package/src/plan.ts +141 -0
  617. package/src/readonly-shell.ts +107 -0
  618. package/src/rule.ts +56 -0
  619. package/src/sections.ts +118 -0
  620. package/src/subscriptions/cron.ts +75 -0
  621. package/src/subscriptions/durable-store.ts +482 -0
  622. package/src/subscriptions/durable-types.ts +41 -0
  623. package/src/subscriptions/ensure-supervisor.ts +67 -0
  624. package/src/subscriptions/github.ts +149 -0
  625. package/src/subscriptions/index.ts +507 -0
  626. package/src/subscriptions/supervisor-main.ts +88 -0
  627. package/src/subscriptions/supervisor.ts +271 -0
  628. package/src/subscriptions/webhook.ts +222 -0
  629. package/src/task/agents.ts +55 -0
  630. package/src/task/card.ts +61 -0
  631. package/src/task/format.ts +88 -0
  632. package/src/task/models.ts +140 -0
  633. package/src/task/records.ts +227 -0
  634. package/src/task/registry.ts +77 -0
  635. package/src/task/runner.ts +365 -0
  636. package/src/task/status.ts +170 -0
  637. package/src/task/stop.ts +100 -0
  638. package/src/task/tool.ts +488 -0
  639. package/src/task/worktree.ts +67 -0
  640. package/src/todo.ts +121 -0
  641. package/src/visualize.ts +244 -0
@@ -0,0 +1,182 @@
1
+ # Recipes and pitfalls
2
+
3
+ Prompts worth copying, then the mistakes everyone makes once. Swap in your own paths and finish conditions. The recipes are deliberately informal. That's how they get typed in practice, and the skills read intent fine.
4
+
5
+ ![She tastes a finished dish while robots cook from a recipe box, with pinned cards reading /how, /tdd, and /loop above the counter.](./images/recipes.jpg)
6
+
7
+ ## Understand an unfamiliar subsystem
8
+
9
+ ```text
10
+ use /how first to understand how this initialization works. then use /why to figure out why it broke recently.
11
+ ```
12
+
13
+ Mechanics first, history second. Each skill's report tells you which sources it searched, so you know what the answer is grounded in.
14
+
15
+ ## Restate a noisy report before touching code
16
+
17
+ ```text
18
+ /poteto-mode read this thread. restate the underlying issue in your own words, in plain english. don't change any code yet.
19
+ ```
20
+
21
+ A misreading shows up in the restatement, where it costs one message to correct. Keep your own theory to yourself until the agent has stated its own. `/in-your-own-words` asks for the restatement alone, with no playbook.
22
+
23
+ ## Sharpen a prompt before you send it
24
+
25
+ ```text
26
+ /sharpen write the onboarding doc for the new billing service.
27
+ ```
28
+
29
+ The agent names what an expert would do that you didn't ask for, the raw material they'd start from, their methods and tools, and an outside check that the result is right. It hands back your prompt rewritten to ask for that and doesn't do the task. Send the rewrite when it reads right.
30
+
31
+ ## Prototype before you pick
32
+
33
+ ```text
34
+ /poteto-mode prototype a few options for the settings layout. put them behind a switcher and send me screenshots of each.
35
+ ```
36
+
37
+ You pick from things that run, not from descriptions. The agent answers its own layout and timing questions along the way.
38
+
39
+ ## Turn a settled design into a plan
40
+
41
+ ```text
42
+ /poteto-mode turn this design into a plan. small verifiable PRs, each with its own proof.
43
+ ```
44
+
45
+ Ask only after the design settles. The plan is the deliverable, and it names the playbook that will execute it.
46
+
47
+ ## Get a second opinion on a design
48
+
49
+ ```text
50
+ ask /arena for a second opinion on this thread and our approach
51
+ ```
52
+
53
+ Your current design becomes one candidate among several, and the synthesis tells you whether the panel found something better or confirmed what you had. It costs little next to a design that is expensive to reverse.
54
+
55
+ ## Check independent slices in parallel
56
+
57
+ ```text
58
+ /swarm check every package under packages/ against its check.sh. one worker per package. one report.
59
+ ```
60
+
61
+ Each worker owns one package. The parent waits for every slice and returns one `PASS`, `ISSUES`, or `BLOCKED` report instead of raw worker dumps.
62
+
63
+ ## Review a branch skeptically
64
+
65
+ ```text
66
+ /interrogate the whole branch, but skeptically. don't change anything yet. no nitpicks unless it's an actual bug or regression in behavior.
67
+ ```
68
+
69
+ The qualifiers do real work. "don't change anything yet" keeps it read-only, and the nitpick rule pre-filters the noise so the verified findings are worth your time.
70
+
71
+ ## Fix a bug through a failing test
72
+
73
+ ```text
74
+ /poteto-mode repro the duplicate write first. if there's a cheap test path, /tdd it. then fix and rerun.
75
+ ```
76
+
77
+ "if there's a cheap test path" matters. Forcing a test through brittle mocks proves less than running the real command, and the playbook is allowed to say so.
78
+
79
+ ## Repro and fix a report with proof
80
+
81
+ ```text
82
+ /poteto-mode repro this with /verify-<app>. if it repros on main, fix it and show me a video as proof.
83
+ ```
84
+
85
+ "if it repros on main" lets the run stop early when the bug is already gone. The video lets you check the fix before you read the diff.
86
+
87
+ ## Prove a property tests rarely reach
88
+
89
+ ```text
90
+ /create-formal-verification-skill the retry queue. a message must never be delivered twice.
91
+ ```
92
+
93
+ You get one property checked in every case within a stated scope, a counterexample in your code's terms if the code already breaks it, and a project skill the next agent runs on any change to that code.
94
+
95
+ ## Vet a number before you post it
96
+
97
+ ```text
98
+ /benchmark-checklist vet this 40% speedup before it goes in the pr description
99
+ ```
100
+
101
+ You get faster, slower, no measurable difference, or inconclusive, with the run count, the range, and what limits the number.
102
+
103
+ ## Stop correcting the same mistake
104
+
105
+ ```text
106
+ /correct agents keep adding new config flags without registering them in the schema
107
+ ```
108
+
109
+ The fix lands in the repo as architecture, a type, a lint, or a test, so the next agent can't make the mistake.
110
+
111
+ ## Ask how without starting the work
112
+
113
+ ```text
114
+ /poteto-help how do i get poteto-mode to stay on every turn?
115
+ ```
116
+
117
+ You get an answer, a prompt to send, and a link to the source. Nothing runs until you send that prompt.
118
+
119
+ ## Keep a run honest while you're away
120
+
121
+ ```text
122
+ im going to bed, keep going autonomously until every fixture passes. do not stop. keep a decision log i can audit in the morning.
123
+ ```
124
+
125
+ The full contract is on the [overnight page](./07-overnight.md). The short form works once the task and finish condition are already in the conversation.
126
+
127
+ ## Redirect a drifting run
128
+
129
+ Steering prompts are one line:
130
+
131
+ ```text
132
+ i said the goal is to repro. i did not ask for a fix yet.
133
+ ```
134
+
135
+ ```text
136
+ apply prove it works. show me the real output, not the build log.
137
+ ```
138
+
139
+ ```text
140
+ /unslop that, no emdashes
141
+ ```
142
+
143
+ You rarely need more words. You need the right name, and [the principles page](./08-principles.md) is the vocabulary.
144
+
145
+ ## Get the reply in plain words
146
+
147
+ ```text
148
+ /bro
149
+ ```
150
+
151
+ That's the whole prompt. [`/bro`](../../skills/bro/SKILL.md) restates the last message like one human talking to another, no jargon, shorter. Use it when a reply is technically thorough and you still don't know what it said.
152
+
153
+ ## Catch up on a chat you left running
154
+
155
+ ```text
156
+ /ketchup
157
+ ```
158
+
159
+ [`/ketchup`](../../skills/ketchup/SKILL.md) tells you in plain words what changed since your last message, then lists each call waiting on you with its pick, evidence, and risk. It changes nothing while it reports.
160
+
161
+ To watch the catch-up instead, run [`/ketchup-video`](../../skills/ketchup-video/SKILL.md). It opens a short subtitled video of slides in the system player, shows one frame per slide in chat, and lists the calls waiting on you as text under it.
162
+
163
+ ## The pitfalls
164
+
165
+ - **Enumerating skills in the prompt.** "use /how then /architect then /arena" reorders steps the playbook already sequences. State the goal and constraints. Name a skill only to override a default.
166
+ - **A vague finish condition.** "make it better" gives `/loop` nothing to check. Give a command or artifact that can pass or fail.
167
+ - **Leading with your theory of the cause.** The agent searches wherever you pointed. Ask it to restate the problem first, then share your hunch.
168
+ - **Taking the first design.** One attempt locks in the first shape the model thought of. Ask for prototypes or `/architect` and pick from evidence.
169
+ - **Polishing an abstract plan.** Adversarial review of a plan with no code behind it invents risks that will never happen. Settle the open questions with prototypes, then review what got built.
170
+ - **Parallel agents in one worktree.** They overwrite each other, and nobody can tell which agent changed what. Run them as isolated workers (`environment: "cloud"`), or say "own worktree per attempt".
171
+ - **Looping before you trust the loop.** A loop that can't verify its own work only makes unchecked work faster. Get the verification skill working first.
172
+ - **Trusting an unvetted number.** A warm cache or a skipped code path can fake a speedup. Run `/benchmark-checklist` before the number goes anywhere.
173
+ - **Correcting the same mistake by hand.** A correction in chat helps one run. `/correct` fixes the repo so no later run repeats it.
174
+ - **Using `/arena` for coverage.** `/arena` repeats one design or code brief, then picks a base and grafts the best parts. `/swarm` partitions slices or declared race arms and aggregates one report.
175
+ - **Accepting every review comment.** Bots and humans both file real catches and noise in one list. `/interrogate` keeps only the findings a rerun proves and lists what it dropped and why, and you can override either way.
176
+ - **Treating `auto` as a model.** `auto` and `inherit-parent` mean "omit the model field so the subagent inherits the parent chat model." [Setup](./01-setup.md) covers the roles.
177
+ - **Reporting success off a green build.** A build proves it compiles. Ask for the real command, flow, stored value, or profile, and expect the evidence in the reply.
178
+ - **Writing a `SKILL.md` freehand.** Route it through the [Authoring or modifying a skill playbook](../../skills/poteto-mode/playbooks/authoring-a-skill.md) so validation and review happen.
179
+
180
+ That's the guide. If you skipped ahead, go back to [setup](./01-setup.md) and run one real task. The habits stick from use, not from reading.
181
+
182
+ Back to the [guide index](./README.md).
@@ -0,0 +1,38 @@
1
+ # The pstack guide
2
+
3
+ pstack works best when you stop micromanaging the agent. You describe what you want and how you'll know it's done. `/poteto-mode` picks the playbook, runs the other skills as the steps need them, and shows you the evidence. This guide teaches that habit with realistic prompts.
4
+
5
+ Here's what you'll learn:
6
+
7
+ 1. [Set up pstack](./01-setup.md). Install the package and pick your models.
8
+ 2. [Route work through `/poteto-mode`](./02-poteto-mode.md). Give it a goal and watch it pick a playbook.
9
+ 3. [Understand the code](./03-understand.md). A read-only investigation, then `/how`, `/why`, `/teach`, and `/recall` before you edit anything.
10
+ 4. [Design the change](./04-design.md). `/architect`, `/arena`, `/swarm`, `/interrogate`, prototypes, and plans before code locks in a shape.
11
+ 5. [Build and clean the change](./05-build-and-clean.md). The build playbooks, `/tdd`, `/unslop`, and `/no-comments`.
12
+ 6. [Verify and ship](./06-verify-and-ship.md). Prove behavior on the real app, formally verify what tests rarely reach, vet numbers with `/benchmark-checklist`, then open a focused PR and drive it to merged.
13
+ 7. [Run work while you sleep](./07-overnight.md). Trust before loops, an overnight contract, a decision log you can audit, and Projects and automations that scale past one agent.
14
+ 8. [Steer with principle names](./08-principles.md). The 24 names that redirect an agent mid-task.
15
+ 9. [Make it yours](./09-make-it-yours.md). Your own mode, `/correct` for repeated mistakes, and how to test a skill change.
16
+ 10. [Recipes and pitfalls](./10-recipes-and-pitfalls.md). Prompts to copy and mistakes to skip.
17
+
18
+ Read the pages in order the first time. After that, each page stands alone.
19
+
20
+ When you're stuck, or can't tell which skill fits, type [`/poteto-help`](../../skills/poteto-help/SKILL.md) with your question:
21
+
22
+ ```text
23
+ /poteto-help which skill should i use to review this branch?
24
+ ```
25
+
26
+ It answers, hands you a prompt to send, and links the skill or guide page the answer came from. It doesn't start the work, because a pstack run spends real tokens, so you send the prompt when you're ready. It runs only when you type it.
27
+
28
+ ## If you only remember one thing
29
+
30
+ Give the agent a goal and a way to check it, in your own words:
31
+
32
+ ```text
33
+ /poteto-mode the export writes duplicate rows when a retry lands mid-run. repro first, then fix and verify.
34
+ ```
35
+
36
+ You don't need to name a playbook or list skills. "repro first" and a checkable outcome are all the routing signal `/poteto-mode` needs. It matches the Bug fix playbook, copies the steps into a todo list, and calls the right skills as each step fires.
37
+
38
+ Next: [Set up pstack](./01-setup.md).
Binary file
Binary file
Binary file
Binary file
@@ -0,0 +1,73 @@
1
+ # Pi native gaps
2
+
3
+ pi-pstack uses Pi's public extension API. Four mechanisms have no public equivalent in Pi 1.5.0, so the package
4
+ implements them itself against documented lower-level APIs. Each entry names what Pi lacks, what the package does
5
+ instead, and what would let the copy go.
6
+
7
+ The Pi 1.5.0 audit checked `docs/extensions.md`, `docs/rpc.md`, `docs/rpc-extension-ui.md`,
8
+ `dist/index.d.ts`, `dist/modes/rpc/rpc-client.d.ts`, and the corresponding installed implementations.
9
+ Pi paths below refer to `@earendil-works/pi-coding-agent@1.5.0`. Legacy line coordinates are retained
10
+ as search hints from the 1.4.0 audit, not as 1.5.0 line references. This is a contract audit, not a new runtime-test receipt.
11
+
12
+ ## 1. The subagent process
13
+
14
+ `RpcClient` (`dist/index.d.ts:36`, `dist/modes/rpc/rpc-client.d.ts:14-27`) is Pi's supported subprocess client, and
15
+ `docs/rpc.md` prefers it for a TypeScript host. It cannot host a subagent, for five reasons verified in
16
+ `dist/modes/rpc/rpc-client.js`:
17
+
18
+ - **Spawn shape.** `start()` runs `spawn("node", [cliPath, ...args], { cwd, env, stdio })` (`:42`) with no spawn
19
+ options and a single script path. pi-pstack starts `[process.execPath, script]`, `[process.execPath]`, or `pi` from
20
+ `PATH` (`src/task/tool.ts:105-109`), and `RpcClientOptions` accepts none of those.
21
+ - **Process-group kill.** The runner spawns with `detached: true` (`src/task/runner.ts:253`) and signals `-pid`
22
+ (`signalGroup`, `:202-210`), so abort and session shutdown stop the child and everything it started. `stop()` signals
23
+ the direct child pid only, SIGTERM then SIGKILL after 1 s (`rpc-client.js:94`), and there is no `detached` option.
24
+ - **Graceful exit.** When a run settles with nothing outstanding the runner ends the child's stdin (`close()`,
25
+ `:266-270`), and Pi's RPC mode disposes the runtime and exits on stdin `end` (`dist/modes/rpc/rpc-mode.js:642`,
26
+ `shutdown` at `:579-597`). `RpcClient` has no method that ends stdin; `stop()` is its only exit.
27
+ - **Dialogs.** The runner answers `extension_ui_request` with `extension_ui_response` and `cancelled: true`
28
+ (`src/task/runner.ts:320-321`), the record `docs/rpc-extension-ui.md` defines. `RpcClient` passes the request to event
29
+ listeners and offers no way to send the response; its `send` is private.
30
+ - **stderr and exit.** The runner keeps the last 8 KiB of stderr and reports the child's exit code in the outcome
31
+ (`outcomeOf`, `:226-234`). `RpcClient` appends stderr without a bound and mirrors it into the parent's stderr
32
+ (`rpc-client.js:49-52`), and exposes neither an exit promise nor a code. Pi 1.5.0 does reject pending requests on process exit and startup errors, but that does not expose a successful exit outcome.
33
+
34
+ `RpcClient` does cover the rest of what the runner sends: `prompt(message, images, "steer")`, `abort`, `clearQueue`,
35
+ `followUp`, and the event stream. The runner speaks the JSONL protocol from `docs/rpc.md` directly and keeps its own
36
+ response correlation so it can also do the five things above.
37
+
38
+ **When this goes away.** `RpcClientOptions` grows a spawn override (detached process group, command array), a method
39
+ that ends stdin and awaits exit with a code, and an `extension_ui_response` method. Then `src/task/runner.ts` becomes a
40
+ thin adapter over `RpcClient`.
41
+
42
+ ## 2. The skill block `/mode` sends
43
+
44
+ `modeSection` (`src/mode.ts:52-58`) strips frontmatter with Pi's exported `stripFrontmatter` (`dist/index.d.ts:50`) and
45
+ wraps the body in the `<skill name="..." location="...">` block Pi's own `/skill:name` expansion builds
46
+ (`AgentSession._expandSkillCommand`, `dist/core/agent-session.js:1739`). Pi exports `parseSkillBlock` and
47
+ `formatSkillsForPrompt` (`dist/index.d.ts:3,23`), which parse a block and format the skills catalog; neither formats
48
+ one skill block. **When this goes away.** Pi exports the block formatter and `mode.ts` calls it.
49
+
50
+ ## 3. The `fork_turns` truncation
51
+
52
+ `keepFirstTurns` (`src/task/records.ts:110-121`) rewrites the forked transcript file by hand.
53
+ `SessionManager.createBranchedSession(leafId)` (`dist/core/session-manager.d.ts:365`) always mints a new session ID and
54
+ file name (`dist/core/session-manager.js:1205-1264`), so it cannot produce the `<timestamp>_<agentId>.jsonl` that
55
+ `SessionManager.forkFrom(..., { id: agentId })` just created. No export truncates an existing session file at an entry.
56
+ **When this goes away.** A session API that branches to a named session ID, or truncates at an entry id.
57
+
58
+ ## 4. The workspace folder name
59
+
60
+ `workspaceSlug` (`src/paths.ts:26-35`) repeats Pi's session-folder rule (`getDefaultSessionDirPath`,
61
+ `dist/core/session-manager.js:290-295`). The only public accessor is `ctx.sessionManager.getSessionDir()`
62
+ (`ReadonlySessionManager`, `dist/core/session-manager.d.ts:178`), and it is not a substitute:
63
+
64
+ - It needs a live session and names the current session directory. pi-pstack's workspace state is keyed by working
65
+ directory and spans sessions, so `agent_status` lists every agent in the workspace, not only this session's.
66
+ - A subagent's session directory is `<workspace>/subagents`, so in a child the accessor answers `subagents` rather
67
+ than the workspace folder.
68
+ - `getDefaultSessionDir` is exported only from `dist/core/session-manager.js:296`, not from the package root, and
69
+ constructing a `SessionManager` to read the rule would create a session directory on every path lookup.
70
+
71
+ `test/records.test.ts` fails if Pi changes the rule: it compares `workspaceSlug(cwd)` with
72
+ `basename(SessionManager.create(cwd).getSessionDir())`. **When this goes away.** Pi exports the default session-folder
73
+ name for a working directory as a pure function.
@@ -0,0 +1,94 @@
1
+ # Software architecture reconstruction: pstack 0.15.36 and dependencies
2
+
3
+ This is a historical static-analysis record, not proof of current full parity. The repository's `parity/pi-pstack-sar/requirements.md` maps the later SAR report to implementations and checks. Source provenance is published in `package.json.pstackSource`. A passing resource inventory does not prove workflow execution or remote-service behavior.
4
+
5
+ ## Goal
6
+
7
+ Reconstruct the software architecture of `pstack` `0.15.36` and all of its dependencies with the REA MCP server, then map every upstream capability and dependency to Pi's native extension mechanisms in `pi-pstack` with zero dependencies on the upstream `pstack` plugin.
8
+
9
+ ## Sources and REA evidence ledger
10
+
11
+ Every executable package in `pstack` `0.15.36`, its sibling `team-kit` `1.2.0` plugin, and `pi-pstack` `src/` was analyzed in this session with `rea-javascript-application` v1, `rea-analysis-view` v1, and `rea-javascript-application-workflows` v1.
12
+
13
+ | Target | Format | Root SHA-256 | Parent Evidence ID | Summary / View Evidence ID | Files / JS parsed |
14
+ | --- | --- | --- | --- | --- | --- |
15
+ | `pstack/skills/poteto-mode/scripts` (clean cache) | directory | `ab08fdd851002bfdd61fcc3c902bf0e6bb2bbd4b0229b5443e30626e3a788e07` | `ev_bf12ac9c3d463df579c1009ce80a874431c3cc14c168a783114077161d704139` | `ev_5cb366a2d252413ad6fc6350f1644aab7f751bfcfdd86e8af41a18851c99ac29`, `ev_f9e9795252c5470742dd90329b7bc1198882f4f5138e369cadb6a0397a0f5ee0`, `ev_5935daf21a6e6160681b399f1cc7482596cfedd3a7494c859a0e369fa6b0a946` | 15 relevant, 13 JS/TS parsed, 0 failures |
16
+ | `pstack/skills/poteto-mode/scripts` (with `node_modules`) | directory | `5b92deccc760dacf7f0f5278c2c4ecff34b98d87fc70f04fecc2210fcc52980c` | `ev_d6ff54533e36b7719f1b6e18031ee2521ff4368bdabe87f34372f46a1760c3e8` | retained in session bundle | Includes `commander@14.0.0` and `typescript@7.0.2` |
17
+ | `pstack/skills/statechart/scripts` | directory | `2193bf21071d9a8d176d142c5aa0d3257c98de4689e948e21b20957f83616e33` | `ev_5068b39b821b4f8848661475ed4d4e141343d183785cd0d1f48cc4c560700b24` | `ev_ce9ee247f111b881d6c100242cfa0560623e65b11248377553e053fb8b6f62f3`, `ev_bd7036ccd42e670602201871d0feba62dfffde58a1e942edcf879019555c25d2` | 50 relevant, 48 JS/TS parsed, 0 failures |
18
+ | `team-kit/skills/pr-review-canvas` | directory | `2666f69c5a27cb4256a403747f8606c55d68b7ab28556d7f0d3fe6fe359f9b3a` | `ev_2c98abedf7c1c05212d64174a87f0039f79218f72f4b0f1def35f6f3c2327ac9` | `ev_d63a021f7e544b9403b2a48e25bebe7ad59220b82aa1378ffed159e559c2da19`, `ev_2c3f2ede73725fa0fa715e3992b851b3e526d2df85d8e1ef1de50752d04bf93d` | 2 relevant, 1 JS parsed (`renderer.js`), 0 failures |
19
+ | `pi-pstack/src` | directory | `ebb60ef861603834b12d5f9a45f4108759d8c29d0605b38e07560456c0605ce8` | `ev_6fe43d2bbfab36c6763a2d1e940ee728fdbbe2ad2abb9162f70c102ccab8860f` | `ev_f5ea22bb2d470f8108ea52961fdbd0f8411142176ac7db78b0bdeca4c0f0e37e`, `ev_16b3d7080fa763f288e7e5a8291873a3bb1130fd1ad6be06070d51e7d753b71b` | 36 relevant, 36 TS parsed, 0 failures |
20
+ | `pi-pstack/skills/statechart/scripts` | directory | `9b47d92dbdc42204b53f020bdc7f802b6f5fff6220ecbe164dcf263906f2f914` | `ev_a8c8d7db63d2519d306e47d6d724a5119b28a1049a9eddbd73ea6f29dbc94caf` | `ev_1091007aca08202f865c78a8dd7452fa09d54fa0dcb807428f4d5c38732cb39f` | 50 relevant, 48 JS/TS parsed, 0 failures |
21
+ | `pi-pstack/skills/pr-review-canvas` | directory | `2666f69c5a27cb4256a403747f8606c55d68b7ab28556d7f0d3fe6fe359f9b3a` | `ev_e2dd5f48359956b83e32cdf0ac784c770cb97673cf712a4aaf490a27ecc1e8db` | `ev_12653e2b69c57038367443acf5635729793344211a0a13ef80a5c3dfdb1c376f` | 2 relevant, 1 JS parsed, 0 failures |
22
+
23
+ ### Focused module item and trace Evidence IDs
24
+
25
+ - `bootstrap.ts` module item view: `ev_76dece32cf003cb0c2ba0994d5c886d5ff51b2c4dbeabc63e1b01fd5f4df0f42`
26
+ - `check-plan.mjs` module item view: `ev_d8b696f0eebbd0ee8619cb4a70bcfcec7d85d8f7c397a717799db1217e7ec99b`
27
+ - `statechart/scripts/run.ts` module item view: `ev_e43256ff8736be8e4ab9dc0a065c5acc134048f557bf3a9bd0b78ce537a1bc1b`
28
+ - `pr-review-canvas/renderer.js` module item view: `ev_161a445223f452c7cc7f3104399476f625137fc93a3fc5fe4b9bd485742185c4`
29
+ - Outgoing feature trace on `watch-pr/github.ts`: `ev_47b1b4f41568acc919b7b99f7b18014ab564745436bfc493d9bf88ad56f15f29` (18 matched seeds, 27 traced nodes, 28 traced edges)
30
+ - Outgoing feature trace on `statechart/scripts/run.ts`: `ev_b2c06c4cca93538bcb8b18f0570627f9149c127b69b3055b7a4d174dca19e6fd` (7 matched seeds, 115 traced nodes, 194 traced edges)
31
+ - Outgoing feature trace on `pi-pstack/src/index.ts`: `ev_22556088c77e2fa9073d079a7ed0796b2545e2f36a6223d130b2df64a8b04d12` (3 matched seeds, 372 traced nodes, 558 traced edges)
32
+ - Version comparison for `statechart/scripts`: `ev_a220a808b81c474aaaa62752f324f54976d47a43ccc4e7100da1cff2b4c470a4` (`changed: 1`, `added: 0`, `removed: 0`, only `package.json` package name differs)
33
+ - Version comparison for `pr-review-canvas`: `ev_1066025d4b0edd77d4d50a798a4cd11b3581a601509962224fa04546d55d549d` (`changed: 0`, `added: 0`, `removed: 0`, byte-identical SHA-256)
34
+
35
+ ## Architecture of pstack 0.15.36 and its dependency graph
36
+
37
+ ```
38
+ pstack 0.15.36
39
+ ├── skills/ (58 workflow, principle, research, and verification skill directories)
40
+ ├── agents/ (poteto-agent, comment-sicko)
41
+ ├── automations/benny/ (setup-benny, triage-issue-reports, reproduce-and-fix-issues)
42
+ ├── docs/guide/ (10 guide chapters + README)
43
+ └── soft dependencies (vendored into pi-pstack)
44
+ ├── team-kit 1.2.0
45
+ │ ├── skills/ (18 skills, including deslop, control-cli, control-ui, pr-review-canvas)
46
+ │ ├── agents/ (ci-watcher, thermo-nuclear-code-quality-review)
47
+ │ └── rules/ (no-inline-imports, typescript-exhaustive-switch)
48
+ └── create-skill (host built-in skill for authoring and tuning SKILL.md files)
49
+ ```
50
+
51
+ ### Executable script packages inside the skill tree
52
+
53
+ 1. **`skills/poteto-mode/scripts/` (`ev_bf12ac9c3d463df579c1009ce80a874431c3cc14c168a783114077161d704139`)**:
54
+ - `bootstrap.ts` (`ev_76dece32cf003cb0c2ba0994d5c886d5ff51b2c4dbeabc63e1b01fd5f4df0f42`): verifies `node_modules/commander` and runs `bun install --frozen-lockfile` via `Bun.spawnSync` on first run before re-executing the target script.
55
+ - `watch-pr/` (`cli.ts`, `github.ts`, `policy.ts`, `render.ts`, `types.ts`): CLI built on `commander@14.0.0` that polls GitHub PR status, review threads (`REVIEW_THREADS_QUERY`), check runs, and mergeability by spawning `gh` (`ev_47b1b4f41568acc919b7b99f7b18014ab564745436bfc493d9bf88ad56f15f29`).
56
+ - `check-plan.mjs` (`ev_d8b696f0eebbd0ee8619cb4a70bcfcec7d85d8f7c397a717799db1217e7ec99b`): standalone Node script (`node:fs`, `node:process`) that validates multi-phase plan Markdown structure.
57
+ - `worktree-audit.sh`: bash script using `git`, `rg`, `jq`, and BSD or GNU `stat` and `date` to classify git worktrees against Pi session and subagent transcript activity.
58
+ 2. **`skills/statechart/scripts/` (`ev_5068b39b821b4f8848661475ed4d4e141343d183785cd0d1f48cc4c560700b24`)**:
59
+ - `statechart` wrapper, `statechart.ts`, `worker.ts`, `pipeline.ts`, `ir.ts`, `run.ts` (`ev_e43256ff8736be8e4ab9dc0a065c5acc134048f557bf3a9bd0b78ce537a1bc1b`), `frontends/`, `passes/`, and `backends/`.
60
+ - `run.ts` (`ev_b2c06c4cca93538bcb8b18f0570627f9149c127b69b3055b7a4d174dca19e6fd`) resolves Java (`java@temurin-25` through `mise` or `JAVA`) and `tla2tools.jar` (`TLA2TOOLS`), invokes `tlc2.TLC`, parses state graphs and counterexample traces into `ir.ts`, and produces Mermaid charts, reports, and plain-text TLC output. The separate rendering guide and tests use Pele and Mermaid.
61
+ 3. **`skills/pr-review-canvas/` (`ev_2c98abedf7c1c05212d64174a87f0039f79218f72f4b0f1def35f6f3c2327ac9`)**:
62
+ - `renderer.js` (`ev_161a445223f452c7cc7f3104399476f625137fc93a3fc5fe4b9bd485742185c4`), `template.html`, and `styles.css` render an interactive diff review canvas in the browser with zero npm dependencies.
63
+ 4. **`skills/show-me-your-work/scripts/log.sh`**:
64
+ - Appends ISO-8601 timestamped rows to a TSV decision trail while sanitizing tabs, newlines, and spreadsheet-formula prefix characters.
65
+
66
+ ## Pi-native mechanism architecture in pi-pstack
67
+
68
+ REA analysis of `pi-pstack/src` (`ev_6fe43d2bbfab36c6763a2d1e940ee728fdbbe2ad2abb9162f70c102ccab8860f`, trace `ev_22556088c77e2fa9073d079a7ed0796b2545e2f36a6223d130b2df64a8b04d12`) maps each host feature to Pi 1.4.0 native extension mechanisms (`native-gaps.md` documents the remaining lower-level surfaces):
69
+
70
+ | Host capability | `pi-pstack` module | Pi 1.4.0 native mechanism |
71
+ | --- | --- | --- |
72
+ | `/name` skill aliases and completions | `src/aliases.ts`, `src/autocomplete.ts` | `pi.on('input')` rewriting `/name` to `/skill:name`, `ctx.ui.addAutocompleteProvider`, `pi.getCommands()` |
73
+ | Sticky mode (`/mode <skill>`) | `src/mode.ts` | `pi.registerCommand('mode')`, `pi.appendEntry('pstack/mode')`, `ctx.sessionManager.getBranch()`, `stripFrontmatter`, `ctx.ui.setStatus`, `before_agent_start` `systemPromptOptions.sections.pstack_mode` |
74
+ | Plan mode (`/plan`) | `src/plan.ts`, `src/readonly-shell.ts` | `pi.registerCommand('plan')`, `pi.setActiveTools`, `pi.on('tool_call')`, `createBashTool` with `spawnHook` and `@anthropic-ai/sandbox-runtime` |
75
+ | Model rule (`pstack-models.md`) | `src/rule.ts`, `src/sections.ts` | `stripFrontmatter`, `before_agent_start` `systemPromptOptions.sections.pstack_models` and `pstack_host` |
76
+ | `Task` subagents (`fresh`, `resume`, `steer`, `fork`, `fork_turns`, `cloud` worktree, `readonly`, `file_attachments`) | `src/task/tool.ts`, `src/task/runner.ts`, `src/task/records.ts`, `src/task/registry.ts`, `src/task/worktree.ts` | `pi.registerTool`, `parseSessionEntries`, `SessionManager.open`, `SessionManager.forkFrom`, `detectSupportedImageMimeTypeFromFile`, `truncateHead`, `pi --mode rpc`, `pi.on('agent_before_settle')`, `pi.sendMessage` with `pi.registerMessageRenderer('pstack/task')` |
77
+ | `stop_agent` and `agent_status` | `src/task/stop.ts`, `src/task/status.ts` | `pi.registerTool` with MCP `annotations`, process-group signaling (`-pid`), run-lock inspection |
78
+ | `TodoWrite` checklist and widget | `src/todo.ts` | `pi.registerTool` (`executionMode: 'sequential'`), tool-result `details.todos` reconstructed from `ctx.sessionManager.getBranch()`, `ctx.ui.setWidget('pstack-todos')` |
79
+ | `AskQuestion` structured questions | `src/ask.ts` | `pi.registerTool` (`exposure: 'model-only'`, `executionMode: 'sequential'`), `ctx.ui.select`, `ctx.ui.input` |
80
+ | `/loop` and `Loop` tool | `src/loop.ts` | `pi.registerCommand('loop')`, `pi.registerTool`, `pi.on('agent_settled')`, `pi.sendUserMessage(..., { expandPromptTemplates: true })` |
81
+ | Subscriptions and webhook routines (`subscribe_github_pr`, `subscribe_timer`, `subscribe_webhook`, `list_subscriptions`, `unsubscribe`, `/routines`) | `src/subscriptions/*` | `pi.registerTool`, `pi.registerCommand('routines')`, `pi.appendEntry('pstack/subscriptions')`, `pi.sendMessage` with `pi.registerMessageRenderer('pstack/subscription')`, durable supervisor (`pstack-routines-supervisor`) with live-session wake delivery |
82
+ | `visualize` charts | `src/visualize.ts` | `pi.registerTool` rendering Unicode bar and line charts and writing standalone SVG files to the session artifacts directory |
83
+
84
+ ## Parity predicate
85
+
86
+ 1. Every `pstack` `0.15.36` skill (58) and agent (2) exists under `pi-pstack`.
87
+ 2. Every `team-kit` `1.2.0` skill (18), agent (2), and rule (2, as skills plus always-applied host prompt rules) plus `create-skill` (1) exists under `pi-pstack` (79 total skills, 4 agent files).
88
+ 3. `pi-pstack` has no runtime dependency or synchronization against an upstream plugin checkout or cache. Normal package checks need no upstream installation. Passive provenance and optional source-comparison audits do not load upstream code.
89
+ 4. Every host mechanism named in playbooks runs on Pi's native extension APIs (`ExtensionAPI`, `parseSessionEntries`, `SessionManager`, `stripFrontmatter`, `detectSupportedImageMimeTypeFromFile`, `truncateHead`, `createBashTool`, `registerMessageRenderer`, `registerTool`, `registerCommand`).
90
+ 5. Package checks run with `bun run typecheck` and `bun run test` from the package directory. `bun run test:statechart` additionally runs the bundled statechart suite. Set `TLA2TOOLS` and `JAVA` to run real TLC cases. Repository-only checks such as `node scripts/check-pi-mechanisms.mjs` run from the repository root and are not shipped package commands.
91
+
92
+ ## REA coverage notes
93
+
94
+ Static JavaScript and TypeScript semantic graphs report bounded unknowns for dynamic property lookups and cross-function value flows (3,303 in `poteto-mode/scripts`, 12,803 in `statechart/scripts`, 356 in `pr-review-canvas`, and 7,204 in `pi-pstack/src`), and 1 unanalyzed inline script in `pr-review-canvas/template.html`. The Vitest tests cover their asserted extension contracts. They do not prove all runtime behavior, external services, or the separately executed statechart suite. See [`native-gaps.md`](native-gaps.md) for the remaining lower-level Pi 1.4.0 surfaces.
@@ -0,0 +1,21 @@
1
+ MIT License
2
+
3
+ Copyright (c) 2026 Cursor
4
+
5
+ Permission is hereby granted, free of charge, to any person obtaining a copy
6
+ of this software and associated documentation files (the "Software"), to deal
7
+ in the Software without restriction, including without limitation the rights
8
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9
+ copies of the Software, and to permit persons to whom the Software is
10
+ furnished to do so, subject to the following conditions:
11
+
12
+ The above copyright notice and this permission notice shall be included in all
13
+ copies or substantial portions of the Software.
14
+
15
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21
+ SOFTWARE.
@@ -0,0 +1,21 @@
1
+ MIT License
2
+
3
+ Copyright (c) 2026 Lauren Tan
4
+
5
+ Permission is hereby granted, free of charge, to any person obtaining a copy
6
+ of this software and associated documentation files (the "Software"), to deal
7
+ in the Software without restriction, including without limitation the rights
8
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9
+ copies of the Software, and to permit persons to whom the Software is
10
+ furnished to do so, subject to the following conditions:
11
+
12
+ The above copyright notice and this permission notice shall be included in all
13
+ copies or substantial portions of the Software.
14
+
15
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21
+ SOFTWARE.
package/package.json CHANGED
@@ -1,6 +1,88 @@
1
1
  {
2
2
  "name": "@justjoshn/pi-pstack",
3
- "version": "0.0.0-stage",
4
- "stub": true,
5
- "description": "Temporary package placeholder for staged publishing"
6
- }
3
+ "version": "0.15.36-pi.7",
4
+ "description": "pstack 0.15.36 for Pi with its soft-dependency team-kit skills vendored in: rigorous agent workflows and principles as Pi skills, with the host features they use: subagents, todos, modes, plan mode, the model rule, /loop, subscriptions and routines, AskQuestion, and visualize",
5
+ "type": "module",
6
+ "license": "MIT",
7
+ "pstackSource": {
8
+ "repository": "https://github.com/cursor/plugins",
9
+ "revision": "ae5650febf4320793844c12c4adaa937f417f8da",
10
+ "path": "pstack",
11
+ "version": "0.15.36",
12
+ "lastChange": "c742dd61706fbacc1b95f1a20b7b988cf096ce6c"
13
+ },
14
+ "repository": {
15
+ "type": "git",
16
+ "url": "git+https://github.com/just-joshn/pi-customizations.git",
17
+ "directory": "extensions/pi-pstack"
18
+ },
19
+ "homepage": "https://github.com/just-joshn/pi-customizations/tree/main/extensions/pi-pstack#readme",
20
+ "bugs": {
21
+ "url": "https://github.com/just-joshn/pi-customizations/issues"
22
+ },
23
+ "keywords": [
24
+ "pi-package",
25
+ "pstack"
26
+ ],
27
+ "bin": {
28
+ "pstack-routines-supervisor": "./bin/pstack-routines-supervisor"
29
+ },
30
+ "engines": {
31
+ "node": ">=22.19.0"
32
+ },
33
+ "publishConfig": {
34
+ "access": "public",
35
+ "tag": "latest"
36
+ },
37
+ "pi": {
38
+ "extensions": [
39
+ "./src/index.ts"
40
+ ],
41
+ "skills": [
42
+ "./skills"
43
+ ]
44
+ },
45
+ "files": [
46
+ "src",
47
+ "skills",
48
+ "agents",
49
+ "automations",
50
+ "bin",
51
+ "docs",
52
+ "assets",
53
+ "licenses",
54
+ "packaging",
55
+ "README.md",
56
+ "CHANGELOG.md",
57
+ "LICENSE"
58
+ ],
59
+ "scripts": {
60
+ "typecheck": "tsc --noEmit -p tsconfig.json",
61
+ "test": "vitest run",
62
+ "test:coverage": "vitest run --coverage",
63
+ "test:statechart": "node --disable-warning=ExperimentalWarning --test skills/statechart/scripts/test/*.test.ts",
64
+ "live:e2e": "node scripts/live-e2e.mjs"
65
+ },
66
+ "dependencies": {
67
+ "@anthropic-ai/sandbox-runtime": "0.0.79"
68
+ },
69
+ "peerDependencies": {
70
+ "@earendil-works/pi-ai": "*",
71
+ "@earendil-works/pi-agent-core": "*",
72
+ "@earendil-works/pi-coding-agent": "*",
73
+ "@earendil-works/pi-tui": "*",
74
+ "typebox": "*"
75
+ },
76
+ "devDependencies": {
77
+ "@earendil-works/pi-ai": "1.5.0",
78
+ "@earendil-works/pi-agent-core": "1.5.0",
79
+ "@earendil-works/pi-coding-agent": "1.5.0",
80
+ "@earendil-works/pi-tui": "1.5.0",
81
+ "@types/node": "^22.19.0",
82
+ "@vitest/coverage-v8": "^5.0.2",
83
+ "fast-check": "4.5.3",
84
+ "typebox": "1.3.27",
85
+ "typescript": "^7.0.2",
86
+ "vitest": "^5.0.2"
87
+ }
88
+ }