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

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 (651) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +95 -2
  3. package/agents/comment-sicko.md +32 -0
  4. package/agents/poteto-agent.md +9 -0
  5. package/automations/benny/FOR_AGENTS.md +82 -0
  6. package/automations/benny/README.md +20 -0
  7. package/automations/benny/skills/reproduce-and-fix-issues/SKILL.md +310 -0
  8. package/automations/benny/skills/reproduce-and-fix-issues/references/control-adapter.md +169 -0
  9. package/automations/benny/skills/reproduce-and-fix-issues/references/feature-map.example.md +205 -0
  10. package/automations/benny/skills/reproduce-and-fix-issues/references/verify-existing-fix.md +93 -0
  11. package/automations/benny/skills/setup-benny/SKILL.md +253 -0
  12. package/automations/benny/skills/triage-issue-reports/SKILL.md +240 -0
  13. package/automations/benny/skills/triage-issue-reports/references/routing.example.md +61 -0
  14. package/automations/benny/templates/configuration.example.yaml +113 -0
  15. package/automations/benny/templates/reproduce-automation-prompt.md +49 -0
  16. package/automations/benny/templates/triage-automation-prompt.md +53 -0
  17. package/docs/guide/01-setup.md +67 -0
  18. package/docs/guide/02-poteto-mode.md +139 -0
  19. package/docs/guide/03-understand.md +79 -0
  20. package/docs/guide/04-design.md +133 -0
  21. package/docs/guide/05-build-and-clean.md +83 -0
  22. package/docs/guide/06-verify-and-ship.md +162 -0
  23. package/docs/guide/07-overnight.md +122 -0
  24. package/docs/guide/08-principles.md +72 -0
  25. package/docs/guide/09-make-it-yours.md +100 -0
  26. package/docs/guide/10-recipes-and-pitfalls.md +182 -0
  27. package/docs/guide/README.md +38 -0
  28. package/docs/guide/images/design.jpg +0 -0
  29. package/docs/guide/images/overnight.jpg +0 -0
  30. package/docs/guide/images/recipes.jpg +0 -0
  31. package/docs/guide/images/router.jpg +0 -0
  32. package/docs/guide/images/understanding.jpg +0 -0
  33. package/docs/guide/images/verification.jpg +0 -0
  34. package/docs/native-gaps.md +67 -0
  35. package/licenses/cursor-team-kit.LICENSE +21 -0
  36. package/licenses/pstack.LICENSE +21 -0
  37. package/package.json +51 -4
  38. package/scripts/live-e2e.mjs +257 -0
  39. package/skills/architect/SKILL.md +79 -0
  40. package/skills/architect/references/design-red-flags.md +57 -0
  41. package/skills/architect/references/rationale-template.md +35 -0
  42. package/skills/architect/references/runner-prompt.md +20 -0
  43. package/skills/arena/SKILL.md +48 -0
  44. package/skills/automate-me/SKILL.md +104 -0
  45. package/skills/benchmark-checklist/SKILL.md +39 -0
  46. package/skills/blast-radius/SKILL.md +50 -0
  47. package/skills/bro/SKILL.md +7 -0
  48. package/skills/control-cli/SKILL.md +109 -0
  49. package/skills/control-ui/SKILL.md +109 -0
  50. package/skills/correct/SKILL.md +32 -0
  51. package/skills/create-formal-verification-skill/SKILL.md +43 -0
  52. package/skills/create-skill/SKILL.md +62 -0
  53. package/skills/create-verification-skill/SKILL.md +44 -0
  54. package/skills/create-verification-skill/references/feature-map-example/README.md +47 -0
  55. package/skills/create-verification-skill/references/feature-map-example/create-note.md +39 -0
  56. package/skills/create-verification-skill/references/feature-map-example/search.md +45 -0
  57. package/skills/deslop/SKILL.md +22 -0
  58. package/skills/figure-it-out/SKILL.md +52 -0
  59. package/skills/how/SKILL.md +36 -0
  60. package/skills/how/references/explainer-prompt.md +55 -0
  61. package/skills/how/references/explorer-prompt.md +35 -0
  62. package/skills/in-your-own-words/SKILL.md +7 -0
  63. package/skills/interrogate/SKILL.md +31 -0
  64. package/skills/ketchup/SKILL.md +43 -0
  65. package/skills/ketchup-video/SKILL.md +29 -0
  66. package/skills/maintain-formal-verification-skill/SKILL.md +58 -0
  67. package/skills/maintain-verification-skill/SKILL.md +39 -0
  68. package/skills/make-bot-ui/SKILL.md +104 -0
  69. package/skills/no-comments/SKILL.md +24 -0
  70. package/skills/poteto-help/SKILL.md +161 -0
  71. package/skills/poteto-help/references/prompting.md +51 -0
  72. package/skills/poteto-help/references/recipes.md +51 -0
  73. package/skills/poteto-mode/SKILL.md +151 -0
  74. package/skills/poteto-mode/playbooks/authoring-a-skill.md +12 -0
  75. package/skills/poteto-mode/playbooks/autonomous-run.md +13 -0
  76. package/skills/poteto-mode/playbooks/autopilot-full.md +25 -0
  77. package/skills/poteto-mode/playbooks/autopilot-stack.md +8 -0
  78. package/skills/poteto-mode/playbooks/babysit.md +23 -0
  79. package/skills/poteto-mode/playbooks/bug-fix.md +15 -0
  80. package/skills/poteto-mode/playbooks/eval.md +25 -0
  81. package/skills/poteto-mode/playbooks/feature.md +21 -0
  82. package/skills/poteto-mode/playbooks/hillclimb.md +21 -0
  83. package/skills/poteto-mode/playbooks/investigation.md +14 -0
  84. package/skills/poteto-mode/playbooks/multi-phase-plan.md +155 -0
  85. package/skills/poteto-mode/playbooks/opening-a-pr.md +34 -0
  86. package/skills/poteto-mode/playbooks/orchestrate.md +25 -0
  87. package/skills/poteto-mode/playbooks/pause-safely.md +10 -0
  88. package/skills/poteto-mode/playbooks/perf-issue.md +25 -0
  89. package/skills/poteto-mode/playbooks/prototype.md +14 -0
  90. package/skills/poteto-mode/playbooks/refactoring.md +16 -0
  91. package/skills/poteto-mode/playbooks/runtime-forensics.md +11 -0
  92. package/skills/poteto-mode/playbooks/session-pickup.md +11 -0
  93. package/skills/poteto-mode/playbooks/shipping.md +12 -0
  94. package/skills/poteto-mode/playbooks/trace-forensics.md +14 -0
  95. package/skills/poteto-mode/playbooks/visual-parity.md +11 -0
  96. package/skills/poteto-mode/playbooks/worktree-cleanup.md +12 -0
  97. package/skills/poteto-mode/references/bugbot-triage.md +142 -0
  98. package/skills/poteto-mode/scripts/bootstrap.ts +62 -0
  99. package/skills/poteto-mode/scripts/bun.lock +67 -0
  100. package/skills/poteto-mode/scripts/check-plan.mjs +205 -0
  101. package/skills/poteto-mode/scripts/check-plan.test.ts +110 -0
  102. package/skills/poteto-mode/scripts/package.json +16 -0
  103. package/skills/poteto-mode/scripts/watch-pr/cli.test.ts +224 -0
  104. package/skills/poteto-mode/scripts/watch-pr/cli.ts +223 -0
  105. package/skills/poteto-mode/scripts/watch-pr/fakes.test-helper.ts +129 -0
  106. package/skills/poteto-mode/scripts/watch-pr/github.test.ts +498 -0
  107. package/skills/poteto-mode/scripts/watch-pr/github.ts +726 -0
  108. package/skills/poteto-mode/scripts/watch-pr/policy.test.ts +482 -0
  109. package/skills/poteto-mode/scripts/watch-pr/policy.ts +842 -0
  110. package/skills/poteto-mode/scripts/watch-pr/render.ts +169 -0
  111. package/skills/poteto-mode/scripts/watch-pr/tsconfig.json +13 -0
  112. package/skills/poteto-mode/scripts/watch-pr/types.compile.ts +93 -0
  113. package/skills/poteto-mode/scripts/watch-pr/types.ts +414 -0
  114. package/skills/poteto-mode/scripts/watch-pr/watch-pr +6 -0
  115. package/skills/poteto-mode/scripts/worktree-audit.sh +156 -0
  116. package/skills/principle-attack-the-premise/SKILL.md +21 -0
  117. package/skills/principle-boundary-discipline/SKILL.md +34 -0
  118. package/skills/principle-build-the-lever/SKILL.md +23 -0
  119. package/skills/principle-encode-lessons-in-structure/SKILL.md +11 -0
  120. package/skills/principle-exhaust-the-design-space/SKILL.md +9 -0
  121. package/skills/principle-experience-first/SKILL.md +19 -0
  122. package/skills/principle-explain-the-number/SKILL.md +18 -0
  123. package/skills/principle-fix-root-causes/SKILL.md +21 -0
  124. package/skills/principle-foundational-thinking/SKILL.md +21 -0
  125. package/skills/principle-guard-the-context-window/SKILL.md +12 -0
  126. package/skills/principle-laziness-protocol/SKILL.md +10 -0
  127. package/skills/principle-make-operations-idempotent/SKILL.md +22 -0
  128. package/skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +14 -0
  129. package/skills/principle-minimize-reader-load/SKILL.md +18 -0
  130. package/skills/principle-model-the-domain/SKILL.md +24 -0
  131. package/skills/principle-never-block-on-the-human/SKILL.md +15 -0
  132. package/skills/principle-outcome-oriented-execution/SKILL.md +21 -0
  133. package/skills/principle-prove-it-works/SKILL.md +22 -0
  134. package/skills/principle-redesign-from-first-principles/SKILL.md +16 -0
  135. package/skills/principle-separate-before-serializing-shared-state/SKILL.md +16 -0
  136. package/skills/principle-sequence-verifiable-units/SKILL.md +17 -0
  137. package/skills/principle-subtract-before-you-add/SKILL.md +18 -0
  138. package/skills/principle-test-behavior-not-implementation/SKILL.md +20 -0
  139. package/skills/principle-type-system-discipline/SKILL.md +13 -0
  140. package/skills/recall/SKILL.md +35 -0
  141. package/skills/reflect/SKILL.md +69 -0
  142. package/skills/reflect/references/divergent-reviewer.md +38 -0
  143. package/skills/reflect/references/judgment-reviewer.md +37 -0
  144. package/skills/reflect/references/synthesizer.md +56 -0
  145. package/skills/reflect/references/tooling-reviewer.md +48 -0
  146. package/skills/setup-pstack/SKILL.md +74 -0
  147. package/skills/sharpen/SKILL.md +16 -0
  148. package/skills/show-me-your-work/SKILL.md +82 -0
  149. package/skills/show-me-your-work/references/decision-log-template.tsv +1 -0
  150. package/skills/show-me-your-work/scripts/log.sh +42 -0
  151. package/skills/statechart/SKILL.md +82 -0
  152. package/skills/statechart/references/render.md +93 -0
  153. package/skills/statechart/scripts/backends/cfg.ts +33 -0
  154. package/skills/statechart/scripts/backends/mermaid.ts +201 -0
  155. package/skills/statechart/scripts/backends/plain-text.ts +72 -0
  156. package/skills/statechart/scripts/backends/report.ts +177 -0
  157. package/skills/statechart/scripts/frontends/config.ts +276 -0
  158. package/skills/statechart/scripts/frontends/dot.ts +74 -0
  159. package/skills/statechart/scripts/frontends/marks.ts +93 -0
  160. package/skills/statechart/scripts/frontends/messages.ts +52 -0
  161. package/skills/statechart/scripts/frontends/spec.ts +114 -0
  162. package/skills/statechart/scripts/frontends/trace.ts +24 -0
  163. package/skills/statechart/scripts/frontends/value.ts +166 -0
  164. package/skills/statechart/scripts/frontends/verdict.ts +40 -0
  165. package/skills/statechart/scripts/frontends/view.ts +119 -0
  166. package/skills/statechart/scripts/ir.ts +547 -0
  167. package/skills/statechart/scripts/package.json +11 -0
  168. package/skills/statechart/scripts/passes/annotate.ts +128 -0
  169. package/skills/statechart/scripts/passes/label.ts +269 -0
  170. package/skills/statechart/scripts/passes/lift.ts +85 -0
  171. package/skills/statechart/scripts/passes/loop-check.ts +68 -0
  172. package/skills/statechart/scripts/passes/paths.ts +60 -0
  173. package/skills/statechart/scripts/passes/reach.ts +135 -0
  174. package/skills/statechart/scripts/passes/region-check.ts +97 -0
  175. package/skills/statechart/scripts/passes/regions.ts +295 -0
  176. package/skills/statechart/scripts/pipeline.ts +76 -0
  177. package/skills/statechart/scripts/run.ts +481 -0
  178. package/skills/statechart/scripts/statechart +29 -0
  179. package/skills/statechart/scripts/statechart.ts +164 -0
  180. package/skills/statechart/scripts/test/ConfigOracle.java +63 -0
  181. package/skills/statechart/scripts/test/chart.test.ts +1210 -0
  182. package/skills/statechart/scripts/test/charts/Braces.mmd +7 -0
  183. package/skills/statechart/scripts/test/charts/Escapes.mmd +11 -0
  184. package/skills/statechart/scripts/test/charts/Phases.mmd +29 -0
  185. package/skills/statechart/scripts/test/cli.test.ts +1314 -0
  186. package/skills/statechart/scripts/test/config-fuzz.test.ts +263 -0
  187. package/skills/statechart/scripts/test/corpus/Counter/ChartRun.out +57 -0
  188. package/skills/statechart/scripts/test/corpus/Counter/Counter.cfg +3 -0
  189. package/skills/statechart/scripts/test/corpus/Counter/Counter.tla +10 -0
  190. package/skills/statechart/scripts/test/corpus/Counter/chart.mmd +9 -0
  191. package/skills/statechart/scripts/test/corpus/Counter/graph.dot +16 -0
  192. package/skills/statechart/scripts/test/corpus/Counter/report.md +7 -0
  193. package/skills/statechart/scripts/test/corpus/Counter/sany.out +2 -0
  194. package/skills/statechart/scripts/test/corpus/Counter/verdict-1.out +49 -0
  195. package/skills/statechart/scripts/test/corpus/CounterAction/ChartRun.out +60 -0
  196. package/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg +4 -0
  197. package/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.tla +22 -0
  198. package/skills/statechart/scripts/test/corpus/CounterAction/chart.mmd +26 -0
  199. package/skills/statechart/scripts/test/corpus/CounterAction/graph.dot +19 -0
  200. package/skills/statechart/scripts/test/corpus/CounterAction/report.md +20 -0
  201. package/skills/statechart/scripts/test/corpus/CounterAction/sany.out +2 -0
  202. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.exit +1 -0
  203. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.out +56 -0
  204. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.exit +1 -0
  205. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.out +82 -0
  206. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-3.out +57 -0
  207. package/skills/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out +59 -0
  208. package/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg +3 -0
  209. package/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla +11 -0
  210. package/skills/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd +22 -0
  211. package/skills/statechart/scripts/test/corpus/CounterDeadlock/graph.dot +16 -0
  212. package/skills/statechart/scripts/test/corpus/CounterDeadlock/report.md +17 -0
  213. package/skills/statechart/scripts/test/corpus/CounterDeadlock/sany.out +2 -0
  214. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit +1 -0
  215. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out +56 -0
  216. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit +1 -0
  217. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out +77 -0
  218. package/skills/statechart/scripts/test/corpus/CounterFan/ChartRun.out +69 -0
  219. package/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg +2 -0
  220. package/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.tla +11 -0
  221. package/skills/statechart/scripts/test/corpus/CounterFan/chart.mmd +85 -0
  222. package/skills/statechart/scripts/test/corpus/CounterFan/graph.dot +70 -0
  223. package/skills/statechart/scripts/test/corpus/CounterFan/report.md +12 -0
  224. package/skills/statechart/scripts/test/corpus/CounterFan/sany.out +2 -0
  225. package/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.exit +1 -0
  226. package/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.out +67 -0
  227. package/skills/statechart/scripts/test/corpus/CounterFan/verdict-2.out +57 -0
  228. package/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit +1 -0
  229. package/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.out +85 -0
  230. package/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg +6 -0
  231. package/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla +13 -0
  232. package/skills/statechart/scripts/test/corpus/CounterGuard/chart.mmd +5 -0
  233. package/skills/statechart/scripts/test/corpus/CounterGuard/graph.dot +10 -0
  234. package/skills/statechart/scripts/test/corpus/CounterGuard/report.md +31 -0
  235. package/skills/statechart/scripts/test/corpus/CounterGuard/sany.out +2 -0
  236. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit +1 -0
  237. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.out +64 -0
  238. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit +1 -0
  239. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.out +77 -0
  240. package/skills/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out +55 -0
  241. package/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg +3 -0
  242. package/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla +10 -0
  243. package/skills/statechart/scripts/test/corpus/CounterInitPast/chart.mmd +12 -0
  244. package/skills/statechart/scripts/test/corpus/CounterInitPast/graph.dot +6 -0
  245. package/skills/statechart/scripts/test/corpus/CounterInitPast/report.md +12 -0
  246. package/skills/statechart/scripts/test/corpus/CounterInitPast/sany.out +2 -0
  247. package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit +1 -0
  248. package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out +33 -0
  249. package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out +54 -0
  250. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out +54 -0
  251. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg +3 -0
  252. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla +10 -0
  253. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd +1 -0
  254. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot +6 -0
  255. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/report.md +7 -0
  256. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out +2 -0
  257. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out +46 -0
  258. package/skills/statechart/scripts/test/corpus/CounterInstance/ChartRun.out +59 -0
  259. package/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg +2 -0
  260. package/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla +10 -0
  261. package/skills/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla +6 -0
  262. package/skills/statechart/scripts/test/corpus/CounterInstance/chart.mmd +17 -0
  263. package/skills/statechart/scripts/test/corpus/CounterInstance/graph.dot +15 -0
  264. package/skills/statechart/scripts/test/corpus/CounterInstance/report.md +14 -0
  265. package/skills/statechart/scripts/test/corpus/CounterInstance/sany.out +3 -0
  266. package/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit +1 -0
  267. package/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.out +78 -0
  268. package/skills/statechart/scripts/test/corpus/CounterJump/ChartRun.out +59 -0
  269. package/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg +3 -0
  270. package/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.tla +19 -0
  271. package/skills/statechart/scripts/test/corpus/CounterJump/chart.mmd +26 -0
  272. package/skills/statechart/scripts/test/corpus/CounterJump/graph.dot +22 -0
  273. package/skills/statechart/scripts/test/corpus/CounterJump/report.md +12 -0
  274. package/skills/statechart/scripts/test/corpus/CounterJump/sany.out +2 -0
  275. package/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.exit +1 -0
  276. package/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.out +58 -0
  277. package/skills/statechart/scripts/test/corpus/CounterJump/verdict-2.out +57 -0
  278. package/skills/statechart/scripts/test/corpus/CounterLoop/ChartRun.out +57 -0
  279. package/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg +2 -0
  280. package/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla +11 -0
  281. package/skills/statechart/scripts/test/corpus/CounterLoop/chart.mmd +17 -0
  282. package/skills/statechart/scripts/test/corpus/CounterLoop/graph.dot +15 -0
  283. package/skills/statechart/scripts/test/corpus/CounterLoop/report.md +14 -0
  284. package/skills/statechart/scripts/test/corpus/CounterLoop/sany.out +2 -0
  285. package/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit +1 -0
  286. package/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.out +76 -0
  287. package/skills/statechart/scripts/test/corpus/CounterOrder/ChartRun.out +59 -0
  288. package/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg +3 -0
  289. package/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla +11 -0
  290. package/skills/statechart/scripts/test/corpus/CounterOrder/chart.mmd +19 -0
  291. package/skills/statechart/scripts/test/corpus/CounterOrder/graph.dot +10 -0
  292. package/skills/statechart/scripts/test/corpus/CounterOrder/report.md +15 -0
  293. package/skills/statechart/scripts/test/corpus/CounterOrder/sany.out +2 -0
  294. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit +1 -0
  295. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.out +56 -0
  296. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit +1 -0
  297. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.out +67 -0
  298. package/skills/statechart/scripts/test/corpus/CounterRules/ChartRun.out +62 -0
  299. package/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg +6 -0
  300. package/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.tla +24 -0
  301. package/skills/statechart/scripts/test/corpus/CounterRules/Moves.tla +5 -0
  302. package/skills/statechart/scripts/test/corpus/CounterRules/chart.mmd +22 -0
  303. package/skills/statechart/scripts/test/corpus/CounterRules/graph.dot +10 -0
  304. package/skills/statechart/scripts/test/corpus/CounterRules/report.md +23 -0
  305. package/skills/statechart/scripts/test/corpus/CounterRules/sany.out +3 -0
  306. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.exit +1 -0
  307. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.out +58 -0
  308. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.exit +1 -0
  309. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.out +66 -0
  310. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.exit +1 -0
  311. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.out +74 -0
  312. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-4.out +59 -0
  313. package/skills/statechart/scripts/test/corpus/CounterStart/ChartRun.out +58 -0
  314. package/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg +3 -0
  315. package/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.tla +15 -0
  316. package/skills/statechart/scripts/test/corpus/CounterStart/chart.mmd +18 -0
  317. package/skills/statechart/scripts/test/corpus/CounterStart/graph.dot +13 -0
  318. package/skills/statechart/scripts/test/corpus/CounterStart/report.md +11 -0
  319. package/skills/statechart/scripts/test/corpus/CounterStart/sany.out +2 -0
  320. package/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.exit +1 -0
  321. package/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.out +33 -0
  322. package/skills/statechart/scripts/test/corpus/CounterStart/verdict-2.out +57 -0
  323. package/skills/statechart/scripts/test/corpus/CounterStop/ChartRun.out +57 -0
  324. package/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg +3 -0
  325. package/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.tla +15 -0
  326. package/skills/statechart/scripts/test/corpus/CounterStop/chart.mmd +7 -0
  327. package/skills/statechart/scripts/test/corpus/CounterStop/graph.dot +13 -0
  328. package/skills/statechart/scripts/test/corpus/CounterStop/report.md +6 -0
  329. package/skills/statechart/scripts/test/corpus/CounterStop/sany.out +2 -0
  330. package/skills/statechart/scripts/test/corpus/CounterStop/verdict-1.out +49 -0
  331. package/skills/statechart/scripts/test/corpus/CounterTie/ChartRun.out +61 -0
  332. package/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg +4 -0
  333. package/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.tla +14 -0
  334. package/skills/statechart/scripts/test/corpus/CounterTie/chart.mmd +30 -0
  335. package/skills/statechart/scripts/test/corpus/CounterTie/graph.dot +19 -0
  336. package/skills/statechart/scripts/test/corpus/CounterTie/report.md +27 -0
  337. package/skills/statechart/scripts/test/corpus/CounterTie/sany.out +2 -0
  338. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.exit +1 -0
  339. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.out +56 -0
  340. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.exit +1 -0
  341. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.out +64 -0
  342. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.exit +1 -0
  343. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.out +87 -0
  344. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-4.out +57 -0
  345. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out +60 -0
  346. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg +3 -0
  347. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla +12 -0
  348. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd +23 -0
  349. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot +19 -0
  350. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/report.md +11 -0
  351. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/sany.out +2 -0
  352. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit +1 -0
  353. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out +56 -0
  354. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out +57 -0
  355. package/skills/statechart/scripts/test/corpus/CounterView/ChartRun.out +61 -0
  356. package/skills/statechart/scripts/test/corpus/CounterView/CounterView.cfg +4 -0
  357. package/skills/statechart/scripts/test/corpus/CounterView/CounterView.tla +14 -0
  358. package/skills/statechart/scripts/test/corpus/CounterView/chart.mmd +23 -0
  359. package/skills/statechart/scripts/test/corpus/CounterView/graph.dot +19 -0
  360. package/skills/statechart/scripts/test/corpus/CounterView/report.md +27 -0
  361. package/skills/statechart/scripts/test/corpus/CounterView/sany.out +2 -0
  362. package/skills/statechart/scripts/test/corpus/CounterView/verdict-1.exit +1 -0
  363. package/skills/statechart/scripts/test/corpus/CounterView/verdict-1.out +56 -0
  364. package/skills/statechart/scripts/test/corpus/CounterView/verdict-2.exit +1 -0
  365. package/skills/statechart/scripts/test/corpus/CounterView/verdict-2.out +64 -0
  366. package/skills/statechart/scripts/test/corpus/CounterView/verdict-3.exit +1 -0
  367. package/skills/statechart/scripts/test/corpus/CounterView/verdict-3.out +87 -0
  368. package/skills/statechart/scripts/test/corpus/CounterView/verdict-4.out +57 -0
  369. package/skills/statechart/scripts/test/corpus/CounterView/view.mjs +1 -0
  370. package/skills/statechart/scripts/test/corpus/DieHard/ChartRun.out +59 -0
  371. package/skills/statechart/scripts/test/corpus/DieHard/DieHard.cfg +4 -0
  372. package/skills/statechart/scripts/test/corpus/DieHard/DieHard.tla +38 -0
  373. package/skills/statechart/scripts/test/corpus/DieHard/chart.mmd +92 -0
  374. package/skills/statechart/scripts/test/corpus/DieHard/graph.dot +126 -0
  375. package/skills/statechart/scripts/test/corpus/DieHard/report.md +17 -0
  376. package/skills/statechart/scripts/test/corpus/DieHard/sany.out +2 -0
  377. package/skills/statechart/scripts/test/corpus/DieHard/verdict-1.exit +1 -0
  378. package/skills/statechart/scripts/test/corpus/DieHard/verdict-1.out +91 -0
  379. package/skills/statechart/scripts/test/corpus/DieHard/verdict-2.out +57 -0
  380. package/skills/statechart/scripts/test/corpus/FirstRule/ChartRun.out +61 -0
  381. package/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg +6 -0
  382. package/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.tla +11 -0
  383. package/skills/statechart/scripts/test/corpus/FirstRule/chart.mmd +22 -0
  384. package/skills/statechart/scripts/test/corpus/FirstRule/graph.dot +16 -0
  385. package/skills/statechart/scripts/test/corpus/FirstRule/report.md +25 -0
  386. package/skills/statechart/scripts/test/corpus/FirstRule/sany.out +2 -0
  387. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.exit +1 -0
  388. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.out +56 -0
  389. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.exit +1 -0
  390. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.out +64 -0
  391. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.exit +1 -0
  392. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.out +64 -0
  393. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.exit +1 -0
  394. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.out +77 -0
  395. package/skills/statechart/scripts/test/corpus/HiddenClock/ChartRun.out +57 -0
  396. package/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg +4 -0
  397. package/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla +11 -0
  398. package/skills/statechart/scripts/test/corpus/HiddenClock/chart.mmd +13 -0
  399. package/skills/statechart/scripts/test/corpus/HiddenClock/graph.dot +12 -0
  400. package/skills/statechart/scripts/test/corpus/HiddenClock/report.md +11 -0
  401. package/skills/statechart/scripts/test/corpus/HiddenClock/sany.out +2 -0
  402. package/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit +1 -0
  403. package/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.out +72 -0
  404. package/skills/statechart/scripts/test/corpus/Login/ChartRun.out +57 -0
  405. package/skills/statechart/scripts/test/corpus/Login/Login.cfg +3 -0
  406. package/skills/statechart/scripts/test/corpus/Login/Login.tla +62 -0
  407. package/skills/statechart/scripts/test/corpus/Login/chart.mmd +27 -0
  408. package/skills/statechart/scripts/test/corpus/Login/graph.dot +40 -0
  409. package/skills/statechart/scripts/test/corpus/Login/report.md +7 -0
  410. package/skills/statechart/scripts/test/corpus/Login/sany.out +1 -0
  411. package/skills/statechart/scripts/test/corpus/Login/verdict-1.out +47 -0
  412. package/skills/statechart/scripts/test/corpus/Login/view.mjs +1 -0
  413. package/skills/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out +57 -0
  414. package/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg +2 -0
  415. package/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla +64 -0
  416. package/skills/statechart/scripts/test/corpus/LoginGuarded/chart.mmd +28 -0
  417. package/skills/statechart/scripts/test/corpus/LoginGuarded/graph.dot +37 -0
  418. package/skills/statechart/scripts/test/corpus/LoginGuarded/report.md +8 -0
  419. package/skills/statechart/scripts/test/corpus/LoginGuarded/sany.out +1 -0
  420. package/skills/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out +47 -0
  421. package/skills/statechart/scripts/test/corpus/LoginGuarded/view.mjs +1 -0
  422. package/skills/statechart/scripts/test/corpus/LoginParallel/ChartRun.out +60 -0
  423. package/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg +3 -0
  424. package/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla +64 -0
  425. package/skills/statechart/scripts/test/corpus/LoginParallel/chart.mmd +44 -0
  426. package/skills/statechart/scripts/test/corpus/LoginParallel/graph.dot +58 -0
  427. package/skills/statechart/scripts/test/corpus/LoginParallel/report.md +17 -0
  428. package/skills/statechart/scripts/test/corpus/LoginParallel/sany.out +1 -0
  429. package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit +1 -0
  430. package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.out +83 -0
  431. package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-2.out +57 -0
  432. package/skills/statechart/scripts/test/corpus/LoginParallel/view.mjs +1 -0
  433. package/skills/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out +60 -0
  434. package/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg +3 -0
  435. package/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla +103 -0
  436. package/skills/statechart/scripts/test/corpus/MediaPlayer/chart.mmd +43 -0
  437. package/skills/statechart/scripts/test/corpus/MediaPlayer/graph.dot +93 -0
  438. package/skills/statechart/scripts/test/corpus/MediaPlayer/report.md +14 -0
  439. package/skills/statechart/scripts/test/corpus/MediaPlayer/sany.out +1 -0
  440. package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit +1 -0
  441. package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out +59 -0
  442. package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out +72 -0
  443. package/skills/statechart/scripts/test/corpus/MediaPlayer/view.mjs +3 -0
  444. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out +57 -0
  445. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg +2 -0
  446. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla +100 -0
  447. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd +31 -0
  448. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot +85 -0
  449. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/report.md +9 -0
  450. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out +1 -0
  451. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out +47 -0
  452. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs +3 -0
  453. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out +59 -0
  454. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla +103 -0
  455. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg +3 -0
  456. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla +6 -0
  457. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd +42 -0
  458. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot +93 -0
  459. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/report.md +19 -0
  460. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/sany.out +2 -0
  461. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit +1 -0
  462. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out +61 -0
  463. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out +59 -0
  464. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out +61 -0
  465. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit +1 -0
  466. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out +66 -0
  467. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit +1 -0
  468. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out +58 -0
  469. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out +49 -0
  470. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs +3 -0
  471. package/skills/statechart/scripts/test/corpus/PickWorker/ChartRun.out +57 -0
  472. package/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg +6 -0
  473. package/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.tla +11 -0
  474. package/skills/statechart/scripts/test/corpus/PickWorker/chart.mmd +5 -0
  475. package/skills/statechart/scripts/test/corpus/PickWorker/graph.dot +11 -0
  476. package/skills/statechart/scripts/test/corpus/PickWorker/report.md +7 -0
  477. package/skills/statechart/scripts/test/corpus/PickWorker/sany.out +5 -0
  478. package/skills/statechart/scripts/test/corpus/PickWorker/verdict-1.out +70 -0
  479. package/skills/statechart/scripts/test/corpus/Shadow/ChartRun.out +61 -0
  480. package/skills/statechart/scripts/test/corpus/Shadow/Shadow.cfg +4 -0
  481. package/skills/statechart/scripts/test/corpus/Shadow/Shadow.tla +11 -0
  482. package/skills/statechart/scripts/test/corpus/Shadow/ShadowLib.tla +6 -0
  483. package/skills/statechart/scripts/test/corpus/Shadow/ShadowSub.tla +3 -0
  484. package/skills/statechart/scripts/test/corpus/Shadow/chart.mmd +9 -0
  485. package/skills/statechart/scripts/test/corpus/Shadow/graph.dot +16 -0
  486. package/skills/statechart/scripts/test/corpus/Shadow/report.md +8 -0
  487. package/skills/statechart/scripts/test/corpus/Shadow/sany.out +4 -0
  488. package/skills/statechart/scripts/test/corpus/Shadow/verdict-1.out +65 -0
  489. package/skills/statechart/scripts/test/corpus/SpacedNames/ChartRun.out +59 -0
  490. package/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg +2 -0
  491. package/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla +9 -0
  492. package/skills/statechart/scripts/test/corpus/SpacedNames/chart.mmd +23 -0
  493. package/skills/statechart/scripts/test/corpus/SpacedNames/graph.dot +17 -0
  494. package/skills/statechart/scripts/test/corpus/SpacedNames/report.md +15 -0
  495. package/skills/statechart/scripts/test/corpus/SpacedNames/sany.out +1 -0
  496. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit +1 -0
  497. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.out +65 -0
  498. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit +1 -0
  499. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.out +75 -0
  500. package/skills/statechart/scripts/test/corpus/TwoPhase/ChartRun.out +69 -0
  501. package/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg +3 -0
  502. package/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla +75 -0
  503. package/skills/statechart/scripts/test/corpus/TwoPhase/chart.mmd +60 -0
  504. package/skills/statechart/scripts/test/corpus/TwoPhase/graph.dot +297 -0
  505. package/skills/statechart/scripts/test/corpus/TwoPhase/report.md +20 -0
  506. package/skills/statechart/scripts/test/corpus/TwoPhase/sany.out +1 -0
  507. package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit +1 -0
  508. package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.out +95 -0
  509. package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-2.out +57 -0
  510. package/skills/statechart/scripts/test/corpus/TwoPhase/view.mjs +1 -0
  511. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out +57 -0
  512. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg +3 -0
  513. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla +75 -0
  514. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd +37 -0
  515. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot +223 -0
  516. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/report.md +11 -0
  517. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out +1 -0
  518. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out +47 -0
  519. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs +1 -0
  520. package/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit +1 -0
  521. package/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.out +75 -0
  522. package/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg +5 -0
  523. package/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla +11 -0
  524. package/skills/statechart/scripts/test/corpus/TypeGuard/chart.mmd +18 -0
  525. package/skills/statechart/scripts/test/corpus/TypeGuard/graph.dot +14 -0
  526. package/skills/statechart/scripts/test/corpus/TypeGuard/report.md +29 -0
  527. package/skills/statechart/scripts/test/corpus/TypeGuard/sany.out +2 -0
  528. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit +1 -0
  529. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.out +64 -0
  530. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit +1 -0
  531. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.out +75 -0
  532. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out +58 -0
  533. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg +2 -0
  534. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla +8 -0
  535. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd +22 -0
  536. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot +16 -0
  537. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/report.md +15 -0
  538. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/sany.out +2 -0
  539. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit +1 -0
  540. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out +56 -0
  541. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit +1 -0
  542. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out +77 -0
  543. package/skills/statechart/scripts/test/corpus.test.ts +403 -0
  544. package/skills/statechart/scripts/test/differential.test.ts +565 -0
  545. package/skills/statechart/scripts/test/grid/Grid.cfg +2 -0
  546. package/skills/statechart/scripts/test/grid/Grid.tla +9 -0
  547. package/skills/statechart/scripts/test/grid/sany.out +2 -0
  548. package/skills/statechart/scripts/test/java.ts +63 -0
  549. package/skills/statechart/scripts/test/labels.ts +643 -0
  550. package/skills/statechart/scripts/test/messages.test.ts +212 -0
  551. package/skills/statechart/scripts/test/pipeline.test.ts +270 -0
  552. package/skills/statechart/scripts/test/plain-tlc.test.ts +255 -0
  553. package/skills/statechart/scripts/test/render.test.ts +81 -0
  554. package/skills/statechart/scripts/test/tlc-out.test.ts +90 -0
  555. package/skills/statechart/scripts/test/tlc.ts +158 -0
  556. package/skills/statechart/scripts/tsconfig.json +11 -0
  557. package/skills/statechart/scripts/worker.ts +35 -0
  558. package/skills/swarm/SKILL.md +41 -0
  559. package/skills/tdd/SKILL.md +42 -0
  560. package/skills/teach/SKILL.md +21 -0
  561. package/skills/technical-writing/SKILL.md +106 -0
  562. package/skills/typescript-best-practices/SKILL.md +32 -0
  563. package/skills/typescript-best-practices/references/patterns.md +328 -0
  564. package/skills/unslop/SKILL.md +62 -0
  565. package/skills/why/SKILL.md +98 -0
  566. package/skills/why/references/epistemics.md +71 -0
  567. package/skills/why/references/investigator-prompt.md +84 -0
  568. package/skills/why/references/source-playbook.md +17 -0
  569. package/skills/why/references/sources/code-archaeology.md +51 -0
  570. package/skills/why/references/sources/databricks.md +70 -0
  571. package/skills/why/references/sources/datadog.md +97 -0
  572. package/skills/why/references/sources/incident-postmortem.md +5 -0
  573. package/skills/why/references/sources/linear.md +48 -0
  574. package/skills/why/references/sources/notion.md +55 -0
  575. package/skills/why/references/sources/sentry.md +66 -0
  576. package/skills/why/references/sources/slack.md +17 -0
  577. package/skills/why/references/synthesizer-prompt.md +129 -0
  578. package/src/aliases.ts +64 -0
  579. package/src/ask.ts +131 -0
  580. package/src/autocomplete.ts +21 -0
  581. package/src/child-env.ts +44 -0
  582. package/src/index.ts +123 -0
  583. package/src/loop.ts +189 -0
  584. package/src/mode.ts +156 -0
  585. package/src/modes.ts +8 -0
  586. package/src/paths.ts +72 -0
  587. package/src/plan.ts +141 -0
  588. package/src/readonly-shell.ts +107 -0
  589. package/src/rule.ts +56 -0
  590. package/src/sections.ts +117 -0
  591. package/src/subscriptions/cron.ts +75 -0
  592. package/src/subscriptions/github.ts +149 -0
  593. package/src/subscriptions/index.ts +547 -0
  594. package/src/subscriptions/webhook.ts +209 -0
  595. package/src/task/agents.ts +55 -0
  596. package/src/task/card.ts +32 -0
  597. package/src/task/format.ts +88 -0
  598. package/src/task/models.ts +140 -0
  599. package/src/task/records.ts +232 -0
  600. package/src/task/registry.ts +77 -0
  601. package/src/task/runner.ts +370 -0
  602. package/src/task/status.ts +170 -0
  603. package/src/task/stop.ts +100 -0
  604. package/src/task/tool.ts +491 -0
  605. package/src/task/worktree.ts +67 -0
  606. package/src/todo.ts +122 -0
  607. package/src/visualize.ts +244 -0
  608. package/test/aliases.test.ts +57 -0
  609. package/test/ask.test.ts +85 -0
  610. package/test/autocomplete.test.ts +39 -0
  611. package/test/e2e/aliases.e2e.test.ts +81 -0
  612. package/test/e2e/ask.e2e.test.ts +135 -0
  613. package/test/e2e/harness.ts +179 -0
  614. package/test/e2e/host.e2e.test.ts +193 -0
  615. package/test/e2e/lifecycle.e2e.test.ts +99 -0
  616. package/test/e2e/mode.e2e.test.ts +160 -0
  617. package/test/e2e/package.e2e.test.ts +67 -0
  618. package/test/e2e/task.e2e.test.ts +734 -0
  619. package/test/e2e/todo.e2e.test.ts +59 -0
  620. package/test/fixtures/cursor-askquestion-calls.json +806 -0
  621. package/test/fixtures/fake-pi.mjs +96 -0
  622. package/test/fixtures/image-model.ts +16 -0
  623. package/test/fixtures/list-models.ts +15 -0
  624. package/test/fixtures/readonly-shell-exit.ts +17 -0
  625. package/test/fixtures/scripted-model.ts +113 -0
  626. package/test/loop.test.ts +209 -0
  627. package/test/mode.test.ts +143 -0
  628. package/test/plan.test.ts +126 -0
  629. package/test/readonly-shell-security.test.ts +84 -0
  630. package/test/readonly-shell.test.ts +44 -0
  631. package/test/records.test.ts +143 -0
  632. package/test/registry.test.ts +18 -0
  633. package/test/resources.test.ts +162 -0
  634. package/test/rule.test.ts +92 -0
  635. package/test/scripts.test.ts +182 -0
  636. package/test/sections.test.ts +56 -0
  637. package/test/subscriptions-cron.test.ts +60 -0
  638. package/test/subscriptions.test.ts +598 -0
  639. package/test/task-agents.test.ts +49 -0
  640. package/test/task-card.test.ts +34 -0
  641. package/test/task-fork.test.ts +233 -0
  642. package/test/task-format.test.ts +65 -0
  643. package/test/task-model.test.ts +141 -0
  644. package/test/task-runner.test.ts +259 -0
  645. package/test/task-schema.test.ts +50 -0
  646. package/test/task-status.test.ts +155 -0
  647. package/test/task-worktree.test.ts +106 -0
  648. package/test/todo.test.ts +74 -0
  649. package/test/visualize.test.ts +152 -0
  650. package/tsconfig.json +5 -0
  651. package/vitest.config.ts +16 -0
@@ -0,0 +1,259 @@
1
+ import { mkdirSync, mkdtempSync, rmSync, writeFileSync } from 'node:fs';
2
+ import { tmpdir } from 'node:os';
3
+ import { join } from 'node:path';
4
+
5
+ import { afterEach, beforeEach, describe, expect, test } from 'vitest';
6
+ import { PACKAGE_ROOT } from '../src/paths.ts';
7
+ import { childArgs, resolveAttachments, startChild, validateAgentId, withAttachments } from '../src/task/runner.ts';
8
+
9
+ const FAKE_PI = join(PACKAGE_ROOT, 'test/fixtures/fake-pi.mjs');
10
+ const base = { sessionDir: '/state/subagents', agentId: '11111111-2222-4333-8444-555555555555' };
11
+
12
+ describe('childArgs (SEC-001, TASK-008)', () => {
13
+ test('always runs one RPC session per agent ID with this package loaded, so its owner can steer and stop it (C-H4)', () => {
14
+ expect(childArgs(base)).toEqual(['--mode', 'rpc', '--session-dir', '/state/subagents', '--session-id', base.agentId, '-e', PACKAGE_ROOT]);
15
+ });
16
+
17
+ test('adds trust, model, thinking, and readonly tools in that order', () => {
18
+ expect(childArgs({ ...base, trusted: true, model: { provider: 'p', id: 'm', thinking: 'high' }, readonly: true })).toEqual([
19
+ '--mode',
20
+ 'rpc',
21
+ '--session-dir',
22
+ '/state/subagents',
23
+ '--session-id',
24
+ base.agentId,
25
+ '-e',
26
+ PACKAGE_ROOT,
27
+ '--approve',
28
+ '--model',
29
+ 'p/m',
30
+ '--thinking',
31
+ 'high',
32
+ '--tools',
33
+ 'read,grep,find,ls,bash,TodoWrite',
34
+ '--no-mcp',
35
+ ]);
36
+ });
37
+ });
38
+
39
+ test('a writable launch adds back the tools a plan-mode launch took; a readonly one never does (C-M1)', () => {
40
+ expect([childArgs({ ...base, restoreTools: ['edit', 'write'] }).slice(-2), childArgs({ ...base, readonly: true, restoreTools: ['edit'] }).includes('+edit')]).toEqual([['--tools', '+edit,+write'], false]);
41
+ });
42
+
43
+ describe('attachments (TASK-016)', () => {
44
+ let dir = '';
45
+ beforeEach(() => {
46
+ dir = mkdtempSync(join(tmpdir(), 'attach-'));
47
+ });
48
+ afterEach(() => rmSync(dir, { recursive: true, force: true }));
49
+
50
+ test('builds the message Pi builds from @file arguments: the prompt, each text file in a <file> block, images as attachments', () => {
51
+ const png = Buffer.from('89504e470d0a1a0a0000000d49484452000000010000000108060000001f15c489', 'hex');
52
+ writeFileSync(join(dir, 'note.txt'), '\uFEFFhello\n');
53
+ writeFileSync(join(dir, 'empty.txt'), '');
54
+ writeFileSync(join(dir, 'shot.png'), png);
55
+ const input = withAttachments(' look at these\n', [join(dir, 'note.txt'), join(dir, 'empty.txt'), join(dir, 'shot.png')]);
56
+ expect(input).toEqual({
57
+ text: `look at these<file name="${join(dir, 'note.txt')}">\nhello\n\n</file>\n<file name="${join(dir, 'shot.png')}"></file>\n`,
58
+ images: [{ type: 'image', mimeType: 'image/png', data: png.toString('base64') }],
59
+ });
60
+ expect(withAttachments('plain', [])).toEqual({ text: 'plain', images: [] });
61
+ });
62
+ });
63
+
64
+ describe('input validation (SEC-001, TASK-016)', () => {
65
+ let dir = '';
66
+ beforeEach(() => {
67
+ dir = mkdtempSync(join(tmpdir(), 'attach-'));
68
+ });
69
+ afterEach(() => rmSync(dir, { recursive: true, force: true }));
70
+
71
+ test.for(['../escape', '', 'a/b', '-flag', 'x'.repeat(200)])('rejects the agent ID %j', (id) => {
72
+ expect(() => validateAgentId(id)).toThrow('is not a valid agent ID');
73
+ });
74
+
75
+ test('accepts a UUID agent ID', () => {
76
+ expect(validateAgentId(base.agentId)).toBe(base.agentId);
77
+ });
78
+
79
+ test('passes the parent project trust decision on (review r2: security)', () => {
80
+ expect([childArgs({ ...base, trusted: true }).includes('--approve'), childArgs({ ...base, trusted: false }).includes('--no-approve')]).toEqual([true, true]);
81
+ });
82
+
83
+ test('rejects a directory attachment and expands ~ as Pi read paths do (review r2: security 4)', () => {
84
+ mkdirSync(join(dir, 'adir'));
85
+ mkdirSync(join(dir, 'home'));
86
+ writeFileSync(join(dir, 'home/x.txt'), 'x');
87
+ expect(() => resolveAttachments(['adir'], dir)).toThrow(`file_attachments: ${join(dir, 'adir')} is not a file`);
88
+ expect(resolveAttachments(['~/x.txt'], dir, join(dir, 'home'))).toEqual([join(dir, 'home/x.txt')]);
89
+ });
90
+
91
+ test('resolves attachments against the working directory and rejects missing files', () => {
92
+ writeFileSync(join(dir, 'shot.png'), 'png');
93
+ expect(resolveAttachments(['shot.png', join(dir, 'shot.png')], dir)).toEqual([join(dir, 'shot.png'), join(dir, 'shot.png')]);
94
+ expect(() => resolveAttachments(['missing.png'], dir)).toThrow(`file_attachments: ${join(dir, 'missing.png')} does not exist`);
95
+ });
96
+ });
97
+
98
+ function run(mode: string, prompt = 'hello', signal?: AbortSignal, onEvent?: (event: { type: string }) => void) {
99
+ return startChild({ command: [process.execPath, FAKE_PI], args: ['--x', 'y'], prompt, cwd: tmpdir(), env: { ...process.env, FAKE_PI_MODE: mode }, ...(signal ? { signal } : {}), ...(onEvent ? { onEvent } : {}) });
100
+ }
101
+
102
+ const alive = (pid: number) => {
103
+ try {
104
+ process.kill(pid, 0);
105
+ return true;
106
+ } catch {
107
+ return false;
108
+ }
109
+ };
110
+
111
+ async function eventually(check: () => boolean, timeoutMs = 8_000): Promise<boolean> {
112
+ const deadline = Date.now() + timeoutMs;
113
+ while (Date.now() < deadline) {
114
+ if (check()) return true;
115
+ await new Promise<void>((resolve) => setImmediate(resolve));
116
+ }
117
+ return check();
118
+ }
119
+
120
+ describe('startChild', () => {
121
+ test('sends the prompt as an RPC prompt and returns the final assistant text with summed usage', async () => {
122
+ const outcome = await run('echo', 'line one\n"quoted" $HOME').done;
123
+ expect(outcome.finalText).toBe('GOT:line one\n"quoted" $HOME|ARGS:--x y');
124
+ expect(outcome.usage).toEqual({ input: 20, output: 10, cacheRead: 2, cacheWrite: 4, totalTokens: 36, cost: { input: 0.2, output: 0.4, cacheRead: 0, cacheWrite: 0, total: 0.6 } });
125
+ expect(outcome.failure).toBeUndefined();
126
+ });
127
+
128
+ test('a command that cannot start has no pid and fails clearly (review recheck: no record for a child that never ran)', async () => {
129
+ const handle = startChild({ command: [join(tmpdir(), 'no-such-pi-binary')], args: [], prompt: 'x', cwd: tmpdir(), env: process.env });
130
+ expect(handle.pid).toBeUndefined();
131
+ expect((await handle.done).failure).toBe(`could not start pi: spawn ${join(tmpdir(), 'no-such-pi-binary')} ENOENT`);
132
+ });
133
+
134
+ test('a child that exits without reading a large prompt fails cleanly instead of crashing Pi (review r2: security 1)', async () => {
135
+ const handle = startChild({ command: [process.execPath, '-e', 'process.exit(3)'], args: [], prompt: 'x'.repeat(4 * 1024 * 1024), cwd: tmpdir(), env: process.env });
136
+ expect((await handle.done).failure).toBe('pi exited with code 3:');
137
+ });
138
+
139
+ test('an abort before the child reads its prompt does not crash Pi (review r2: security 1)', async () => {
140
+ const controller = new AbortController();
141
+ controller.abort();
142
+ const handle = startChild({ command: [process.execPath, FAKE_PI], args: [], prompt: 'x'.repeat(4 * 1024 * 1024), cwd: tmpdir(), env: { ...process.env, FAKE_PI_MODE: 'hang' }, signal: controller.signal });
143
+ expect((await handle.done).failure).toBe('Subagent was aborted');
144
+ });
145
+
146
+ test("counts the child's tool-result and compaction usage, as Pi's session totals do (review r2: architecture 2)", async () => {
147
+ const { usage } = await run('nested').done;
148
+ expect([usage.input, usage.output, usage.cacheRead, usage.cacheWrite, usage.totalTokens]).toEqual([40, 20, 4, 8, 72]);
149
+ expect(usage.cost.total).toBeCloseTo(1.2);
150
+ });
151
+
152
+ test('ignores a stdout line that is not JSON instead of crashing the parent (SEC-001)', async () => {
153
+ const outcome = await run('noise').done;
154
+ expect([outcome.finalText, outcome.failure]).toEqual(['after noise', undefined]);
155
+ });
156
+
157
+ test('reports an error stop reason as a failure (TASK-015)', async () => {
158
+ const outcome = await run('error').done;
159
+ expect(outcome.failure).toBe('provider exploded');
160
+ });
161
+
162
+ test('reports a nonzero exit with stderr as a failure (TASK-015)', async () => {
163
+ const outcome = await run('crash').done;
164
+ expect(outcome.failure).toBe('pi exited with code 3: fatal: no model');
165
+ });
166
+
167
+ test('abort kills the child and its descendants (TASK-013)', async () => {
168
+ const controller = new AbortController();
169
+ const pids: number[] = [];
170
+ const handle = startChild({
171
+ command: [process.execPath, FAKE_PI],
172
+ args: [],
173
+ prompt: 'x',
174
+ cwd: tmpdir(),
175
+ env: { ...process.env, FAKE_PI_MODE: 'hang' },
176
+ signal: controller.signal,
177
+ onEvent: (event) => {
178
+ if (event.type === 'fake_pids') pids.push(...(event['pids'] as number[]));
179
+ },
180
+ });
181
+ expect(await eventually(() => pids.length === 2)).toBe(true);
182
+ controller.abort();
183
+ const outcome = await handle.done;
184
+ expect(outcome.failure).toBe('Subagent was aborted');
185
+ expect(await eventually(() => pids.every((pid) => !alive(pid)))).toBe(true);
186
+ });
187
+
188
+ test('kill() stops a running child for session shutdown (TASK-013)', async () => {
189
+ const pids: number[] = [];
190
+ const handle = startChild({
191
+ command: [process.execPath, FAKE_PI],
192
+ args: [],
193
+ prompt: 'x',
194
+ cwd: tmpdir(),
195
+ env: { ...process.env, FAKE_PI_MODE: 'hang' },
196
+ onEvent: (event) => {
197
+ if (event.type === 'fake_pids') pids.push(...(event['pids'] as number[]));
198
+ },
199
+ });
200
+ expect(await eventually(() => pids.length === 2)).toBe(true);
201
+ handle.kill();
202
+ expect((await handle.done).failure).toBe('Subagent was aborted');
203
+ expect(await eventually(() => pids.every((pid) => !alive(pid)))).toBe(true);
204
+ });
205
+
206
+ test('sends attachment images with the prompt', async () => {
207
+ const outcome = await startChild({ command: [process.execPath, FAKE_PI], args: [], prompt: 'see', images: [{ type: 'image', mimeType: 'image/png', data: 'AA==' }], cwd: tmpdir(), env: { ...process.env, FAKE_PI_MODE: 'echo' } }).done;
208
+ expect(outcome.finalText).toBe('GOT:see|IMAGES:image/png|ARGS:');
209
+ });
210
+
211
+ test('answers a dialog request as dismissed, since nobody can answer a subagent (HOST-005)', async () => {
212
+ const outcome = await run('dialog').done;
213
+ expect(JSON.parse(outcome.finalText.slice('ANSWER:'.length))).toEqual({ type: 'extension_ui_response', id: 'dialog-1', cancelled: true });
214
+ });
215
+ });
216
+
217
+ describe('steer and stop (C-H4)', () => {
218
+ const started = (mode: string) => {
219
+ let begun: () => void = () => undefined;
220
+ const running = new Promise<void>((resolve) => {
221
+ begun = resolve;
222
+ });
223
+ const handle = run(mode, 'first', undefined, (event) => {
224
+ if (event.type === 'agent_start') begun();
225
+ });
226
+ return { handle, running };
227
+ };
228
+
229
+ test('steer delivers a message into the running turn, and the agent finishes with it', async () => {
230
+ const { handle, running } = started('wait');
231
+ await running;
232
+ await handle.steer('change course', []);
233
+ const outcome = await handle.done;
234
+ expect([outcome.finalText, outcome.failure]).toEqual(['STEERED:change course|steer', undefined]);
235
+ });
236
+
237
+ test('steer refuses once the agent has finished', async () => {
238
+ const handle = run('echo');
239
+ await handle.done;
240
+ await expect(handle.steer('too late', [])).rejects.toThrow('has finished');
241
+ });
242
+
243
+ test('stop aborts the run over RPC and the child exits', async () => {
244
+ const { handle, running } = started('wait');
245
+ await running;
246
+ handle.stop();
247
+ const outcome = await handle.done;
248
+ expect(outcome.failure).toBe('Subagent was stopped with stop_agent');
249
+ });
250
+
251
+ test('stop kills a child that ignores the abort after the grace period', async () => {
252
+ const { handle, running } = started('deaf');
253
+ await running;
254
+ const before = Date.now();
255
+ handle.stop();
256
+ const outcome = await handle.done;
257
+ expect([outcome.failure, Date.now() - before >= 2_500]).toEqual(['Subagent was stopped with stop_agent', true]);
258
+ });
259
+ });
@@ -0,0 +1,50 @@
1
+ import { describe, expect, test } from 'vitest';
2
+ import { effectiveReadonly, TaskParams, taskPreflight } from '../src/task/tool.ts';
3
+
4
+ describe('Task parameters (TASK-001)', () => {
5
+ test('requires description and prompt, like Cursor', () => {
6
+ expect(TaskParams.required).toEqual(['description', 'prompt']);
7
+ });
8
+
9
+ test('accepts Cursor parameters plus the readonly and environment fields pstack passes', () => {
10
+ const schema = JSON.parse(JSON.stringify(TaskParams)) as { properties: Record<string, { type?: string; enum?: string[] }> };
11
+ expect(Object.keys(schema.properties).toSorted()).toEqual(['cloud_base_branch', 'description', 'environment', 'file_attachments', 'fork', 'fork_turns', 'model', 'prompt', 'readonly', 'resume', 'run_in_background', 'subagent_type']);
12
+ expect(schema.properties['environment']?.enum).toEqual(['local', 'cloud']);
13
+ expect(schema.properties['run_in_background']?.type).toBe('boolean');
14
+ expect(schema.properties['fork_turns']).toMatchObject({ type: 'integer', minimum: 1 });
15
+ });
16
+ });
17
+
18
+ describe('Task preflight', () => {
19
+ const ok = { description: 'probe', prompt: 'p' };
20
+
21
+ test.for([{ cloud_base_branch: 'feature/x' }, { cloud_base_branch: 'feature/x', environment: 'local' as const }])('refuses cloud_base_branch without environment cloud: %j (TASK-010)', (extra) => {
22
+ expect(() => taskPreflight({ ...ok, ...extra }, 0)).toThrow('cloud_base_branch needs environment "cloud": it names the branch the subagent\'s worktree starts from.');
23
+ });
24
+
25
+ test('allows environment cloud with or without a base branch (TASK-010)', () => {
26
+ expect([taskPreflight({ ...ok, environment: 'cloud' }, 0), taskPreflight({ ...ok, environment: 'cloud', cloud_base_branch: 'main' }, 1)]).toEqual([undefined, undefined]);
27
+ });
28
+
29
+ test('refuses a grandchild launch (TASK-011)', () => {
30
+ expect(() => taskPreflight(ok, 2)).toThrow('A subagent launched by another subagent cannot launch further subagents.');
31
+ });
32
+
33
+ test('allows the main agent and direct subagents (TASK-011)', () => {
34
+ const outcome = (depth: number, environment?: 'local') => {
35
+ try {
36
+ taskPreflight(environment === undefined ? ok : { ...ok, environment }, depth);
37
+ return 'allowed';
38
+ } catch (error) {
39
+ return (error as Error).message;
40
+ }
41
+ };
42
+ expect([outcome(0, 'local'), outcome(1), outcome(2)]).toEqual(['allowed', 'allowed', 'A subagent launched by another subagent cannot launch further subagents.']);
43
+ });
44
+ });
45
+
46
+ describe('readonly (TASK-008; review: security)', () => {
47
+ test('a readonly agent type stays readonly whatever the call asks', () => {
48
+ expect([effectiveReadonly(true, false), effectiveReadonly(true, undefined), effectiveReadonly(false, true), effectiveReadonly(false, undefined)]).toEqual([true, true, true, false]);
49
+ });
50
+ });
@@ -0,0 +1,155 @@
1
+ import { spawnSync } from 'node:child_process';
2
+ import { mkdtempSync, rmSync, writeFileSync } from 'node:fs';
3
+ import { tmpdir } from 'node:os';
4
+ import { join } from 'node:path';
5
+
6
+ import { afterEach, beforeEach, describe, expect, test } from 'vitest';
7
+ import { subagentDir } from '../src/paths.ts';
8
+ import { writeRecord } from '../src/task/records.ts';
9
+ import { agentStatus, lastAssistantText, listAgentStatuses, registerAgentStatus, statusText } from '../src/task/status.ts';
10
+
11
+ const idOf = (n: number) => `${String(n).padStart(8, '0')}-2222-4333-8444-555555555555`;
12
+ let dir = '';
13
+
14
+ function addAgent(n: number, extra: Record<string, unknown> = {}): string {
15
+ const agentId = idOf(n);
16
+ writeRecord(dir, { agentId, type: 'generalPurpose', readonly: false, cwd: '/w/app', createdAt: new Date(Date.UTC(2026, 9, 28, 10, n)).toISOString(), depth: 1, ...extra });
17
+ return agentId;
18
+ }
19
+
20
+ function addTranscript(agentId: string, texts: string[]): string {
21
+ const header = { type: 'session', version: 3, id: agentId, timestamp: '2026-10-28T10:00:00.000Z', cwd: '/w/app' };
22
+ const messages = texts.map((text, index) => ({
23
+ type: 'message',
24
+ id: `e${index}`,
25
+ parentId: index === 0 ? null : `e${index - 1}`,
26
+ timestamp: '2026-10-28T10:00:01.000Z',
27
+ message: { role: index % 2 === 0 ? 'user' : 'assistant', content: [{ type: 'text', text }] },
28
+ }));
29
+ const path = join(dir, `2026-10-28T10-00-00-000Z_${agentId}.jsonl`);
30
+ writeFileSync(path, `${[header, ...messages].map((entry) => JSON.stringify(entry)).join('\n')}\n`);
31
+ return path;
32
+ }
33
+
34
+ const deadPid = () => spawnSync(process.execPath, ['-e', 'process.stdout.write(String(process.pid))'], { encoding: 'utf8' }).stdout;
35
+
36
+ beforeEach(() => {
37
+ dir = mkdtempSync(join(tmpdir(), 'status-'));
38
+ });
39
+ afterEach(() => rmSync(dir, { recursive: true, force: true }));
40
+
41
+ describe('agent_status: one agent', () => {
42
+ test('running while the run lock names a live pid', () => {
43
+ const agentId = addAgent(1, { model: { provider: 'p', id: 'm', thinking: 'high' } });
44
+ addTranscript(agentId, ['task', 'working on it']);
45
+ writeFileSync(join(dir, `${agentId}.lock`), String(process.pid));
46
+ expect(agentStatus(dir, agentId)).toMatchObject({ agentId, state: 'running', pid: process.pid, type: 'generalPurpose', model: 'p/m:high', directory: '/w/app', createdAt: '2026-10-28T10:01:00.000Z', lastText: 'working on it' });
47
+ });
48
+
49
+ test('idle with no lock or a lock whose pid is dead', () => {
50
+ const agentId = addAgent(1);
51
+ addTranscript(agentId, ['task', 'done']);
52
+ expect(agentStatus(dir, agentId).state).toBe('idle');
53
+ writeFileSync(join(dir, `${agentId}.lock`), deadPid());
54
+ expect(agentStatus(dir, agentId).state).toBe('idle');
55
+ });
56
+
57
+ test('missing without a record or transcript', () => {
58
+ expect(agentStatus(dir, idOf(7))).toEqual({ agentId: idOf(7), state: 'missing' });
59
+ expect(statusText(agentStatus(dir, idOf(7)))).toContain('missing');
60
+ });
61
+
62
+ test('names the worktree directory and branch, and the fork source', () => {
63
+ const worktree = { path: '/wt/a', cwd: '/wt/a/pkg', branch: 'pstack/a', base: 'HEAD', commit: 'abc' };
64
+ const agentId = addAgent(1, { worktree, forkedFrom: idOf(9) });
65
+ const status = agentStatus(dir, agentId);
66
+ expect(status).toMatchObject({ directory: '/wt/a/pkg', branch: 'pstack/a', forkedFrom: idOf(9), model: "Pi's default model" });
67
+ expect(status.updatedAt).toBeDefined();
68
+ expect(statusText(status)).toContain('branch: pstack/a');
69
+ });
70
+
71
+ test('the last assistant text is the latest non-empty one, truncated to 500 characters', () => {
72
+ const agentId = addAgent(1);
73
+ const path = addTranscript(agentId, ['task', 'x'.repeat(800), 'more', '']);
74
+ expect(lastAssistantText(path)).toBe(`${'x'.repeat(500)}…`);
75
+ });
76
+ });
77
+
78
+ describe('agent_status: bounded transcript read (C-L3)', () => {
79
+ const line = (entry: unknown) => `${JSON.stringify(entry)}\n`;
80
+ const message = (role: string, text: string) => ({ type: 'message', message: { role, content: [{ type: 'text', text }] } });
81
+ const header = { type: 'session', version: 3, id: idOf(1), cwd: '/w/app' };
82
+
83
+ test('finds the last response behind a tool result larger than one read', () => {
84
+ const path = join(dir, 'big.jsonl');
85
+ writeFileSync(path, [line(header), line(message('assistant', 'early')), line(message('assistant', 'LAST-RESPONSE')), line(message('toolResult', 'x'.repeat(300_000)))].join(''));
86
+ expect(lastAssistantText(path)).toBe('LAST-RESPONSE');
87
+ });
88
+
89
+ test('reads at most the transcript tail, so a response buried under megabytes of tool output is not shown', () => {
90
+ const path = join(dir, 'huge.jsonl');
91
+ writeFileSync(path, [line(header), line(message('assistant', 'BURIED')), line(message('toolResult', 'x'.repeat(5 * 1024 * 1024)))].join(''));
92
+ expect({ last: lastAssistantText(path) }).toEqual({ last: undefined });
93
+ });
94
+ });
95
+
96
+ describe('agent_status: listing', () => {
97
+ test('lists agents newest first', () => {
98
+ for (const n of [2, 5, 3]) addAgent(n);
99
+ expect(listAgentStatuses(dir).agents.map((status) => status.agentId)).toEqual([idOf(5), idOf(3), idOf(2)]);
100
+ });
101
+
102
+ test('is bounded, reporting the total', () => {
103
+ for (let n = 1; n <= 25; n += 1) addAgent(n);
104
+ const { agents, total } = listAgentStatuses(dir);
105
+ expect([agents.length, total, agents[0]?.agentId]).toEqual([20, 25, idOf(25)]);
106
+ expect(listAgentStatuses(dir, 2).agents.map((status) => status.agentId)).toEqual([idOf(25), idOf(24)]);
107
+ });
108
+
109
+ test('skips a record without a creation time instead of failing the whole list (C-L3)', () => {
110
+ addAgent(2);
111
+ writeFileSync(join(dir, `${idOf(3)}.json`), JSON.stringify({ agentId: idOf(3), type: 'generalPurpose', readonly: false, cwd: '/w/app' }));
112
+ expect(listAgentStatuses(dir)).toMatchObject({ agents: [{ agentId: idOf(2) }], total: 1 });
113
+ });
114
+
115
+ test('an empty or absent directory lists nothing', () => {
116
+ expect(listAgentStatuses(join(dir, 'none'))).toEqual({ agents: [], total: 0 });
117
+ });
118
+ });
119
+
120
+ describe('agent_status tool', () => {
121
+ type Tool = { name: string; execute: (id: string, params: { agent_id?: string }, signal: undefined, onUpdate: undefined, ctx: { cwd: string }) => Promise<{ content: { text: string }[] }> };
122
+ const register = () => {
123
+ const tools: Tool[] = [];
124
+ registerAgentStatus({ registerTool: (tool: Tool) => tools.push(tool) } as never);
125
+ return tools[0] as Tool;
126
+ };
127
+
128
+ test('is annotated read-only and closed-world (C-L6)', () => {
129
+ const tools: { annotations?: unknown }[] = [];
130
+ registerAgentStatus({ registerTool: (tool: { annotations?: unknown }) => tools.push(tool) } as never);
131
+ expect(tools[0]?.annotations).toEqual({ readOnlyHint: true, openWorldHint: false });
132
+ });
133
+
134
+ test('reads the workspace subagent directory and never takes a run lock', async () => {
135
+ const previous = process.env['PI_CODING_AGENT_DIR'];
136
+ process.env['PI_CODING_AGENT_DIR'] = join(dir, 'agent');
137
+ try {
138
+ const tool = register();
139
+ expect(tool.name).toBe('agent_status');
140
+ const workspace = join(dir, 'w');
141
+ expect((await tool.execute('t', {}, undefined, undefined, { cwd: workspace })).content[0]?.text).toBe('No subagents in this workspace yet.');
142
+ dir = subagentDir(workspace);
143
+ const agentId = addAgent(1);
144
+ addTranscript(agentId, ['task', 'all done']);
145
+ const text = (await tool.execute('t', { agent_id: agentId }, undefined, undefined, { cwd: workspace })).content[0]?.text ?? '';
146
+ expect(text).toContain('state: idle');
147
+ expect(text).toContain('all done');
148
+ expect(listAgentStatuses(dir).agents[0]?.state).toBe('idle');
149
+ await expect(tool.execute('t', { agent_id: '../x' }, undefined, undefined, { cwd: workspace })).rejects.toThrow('is not a valid agent ID');
150
+ } finally {
151
+ if (previous === undefined) delete process.env['PI_CODING_AGENT_DIR'];
152
+ else process.env['PI_CODING_AGENT_DIR'] = previous;
153
+ }
154
+ });
155
+ });
@@ -0,0 +1,106 @@
1
+ import { execFileSync } from 'node:child_process';
2
+ import { mkdirSync, mkdtempSync, readFileSync, realpathSync, rmSync, writeFileSync } from 'node:fs';
3
+ import { tmpdir } from 'node:os';
4
+ import { join } from 'node:path';
5
+
6
+ import { afterEach, beforeEach, describe, expect, test } from 'vitest';
7
+ import { addWorktree, planWorktree } from '../src/task/worktree.ts';
8
+
9
+ const id = '11111111-2222-4333-8444-555555555555';
10
+ let root = '';
11
+ let repo = '';
12
+ let worktrees = '';
13
+
14
+ const git = (...args: string[]) => execFileSync('git', ['-C', repo, '-c', 'user.email=t@t', '-c', 'user.name=t', ...args], { encoding: 'utf8' }).trim();
15
+ const commitFile = (name: string, text: string, message: string) => {
16
+ writeFileSync(join(repo, name), text);
17
+ git('add', name);
18
+ git('commit', '-qm', message);
19
+ return git('rev-parse', 'HEAD');
20
+ };
21
+
22
+ beforeEach(() => {
23
+ root = realpathSync(mkdtempSync(join(tmpdir(), 'worktree-')));
24
+ repo = join(root, 'repo');
25
+ worktrees = join(root, 'worktrees');
26
+ mkdirSync(repo);
27
+ git('init', '-q', '-b', 'main');
28
+ });
29
+ afterEach(() => rmSync(root, { recursive: true, force: true }));
30
+
31
+ describe('planWorktree', () => {
32
+ test('without a base branch, branches from the parent HEAD commit', () => {
33
+ const head = commitFile('a.txt', 'A', 'first');
34
+ expect(planWorktree(repo, worktrees, id)).toEqual({ path: join(worktrees, id), cwd: join(worktrees, id), branch: `pstack/${id}`, base: 'HEAD', commit: head });
35
+ });
36
+
37
+ test('a parent inside a tracked subdirectory runs the child in the same subdirectory of the worktree', () => {
38
+ mkdirSync(join(repo, 'pkg/inner'), { recursive: true });
39
+ writeFileSync(join(repo, 'pkg/inner/x.txt'), 'X');
40
+ git('add', '.');
41
+ git('commit', '-qm', 'pkg');
42
+ expect(planWorktree(join(repo, 'pkg/inner'), worktrees, id).cwd).toBe(join(worktrees, id, 'pkg/inner'));
43
+ });
44
+
45
+ test('a subdirectory the base commit lacks runs the child at the worktree root', () => {
46
+ commitFile('a.txt', 'A', 'first');
47
+ mkdirSync(join(repo, 'untracked'));
48
+ expect(planWorktree(join(repo, 'untracked'), worktrees, id).cwd).toBe(join(worktrees, id));
49
+ });
50
+
51
+ test('a cloud_base_branch that names a local branch is the base', () => {
52
+ commitFile('a.txt', 'A', 'first');
53
+ git('checkout', '-qb', 'feature');
54
+ const feature = commitFile('a.txt', 'F', 'feature');
55
+ git('checkout', '-q', 'main');
56
+ expect(planWorktree(repo, worktrees, id, 'feature')).toMatchObject({ base: 'feature', commit: feature });
57
+ });
58
+
59
+ test('a cloud_base_branch that only exists on origin falls back to origin/<branch>', () => {
60
+ const first = commitFile('a.txt', 'A', 'first');
61
+ git('update-ref', 'refs/remotes/origin/remote-only', first);
62
+ commitFile('a.txt', 'B', 'second');
63
+ expect(planWorktree(repo, worktrees, id, 'remote-only')).toMatchObject({ base: 'origin/remote-only', commit: first });
64
+ });
65
+
66
+ test('a cloud_base_branch that resolves nowhere fails, naming both refs it tried', () => {
67
+ commitFile('a.txt', 'A', 'first');
68
+ expect(() => planWorktree(repo, worktrees, id, 'nope')).toThrow(`cloud_base_branch "nope" names no commit in ${repo}: neither nope nor origin/nope exists. Pass an existing branch or omit cloud_base_branch to start from HEAD.`);
69
+ });
70
+
71
+ test('a directory outside any git repository fails', () => {
72
+ const plain = join(root, 'plain');
73
+ mkdirSync(plain);
74
+ expect(() => planWorktree(plain, worktrees, id)).toThrow(`environment "cloud" runs the subagent in its own git worktree, but ${plain} is not inside a git repository. Omit environment to run the subagent here.`);
75
+ });
76
+
77
+ test('a repository without commits fails, because HEAD names no commit to branch from', () => {
78
+ expect(() => planWorktree(repo, worktrees, id)).toThrow(`environment "cloud" branches the subagent's worktree from HEAD, but ${repo} has no commits yet.`);
79
+ });
80
+ });
81
+
82
+ describe('addWorktree', () => {
83
+ test('creates the branch at the base commit with only committed files, leaving the parent checkout alone', async () => {
84
+ const head = commitFile('a.txt', 'COMMITTED', 'first');
85
+ writeFileSync(join(repo, 'a.txt'), 'DIRTY');
86
+ const worktree = planWorktree(repo, worktrees, id);
87
+ await addWorktree(repo, worktree, undefined);
88
+ expect([git('rev-parse', `pstack/${id}`), readFileSync(join(worktree.path, 'a.txt'), 'utf8'), readFileSync(join(repo, 'a.txt'), 'utf8'), git('branch', '--show-current')]).toEqual([head, 'COMMITTED', 'DIRTY', 'main']);
89
+ });
90
+
91
+ test('reports git failure, such as a branch that already exists', async () => {
92
+ commitFile('a.txt', 'A', 'first');
93
+ git('branch', `pstack/${id}`);
94
+ await expect(addWorktree(repo, planWorktree(repo, worktrees, id), undefined)).rejects.toThrow(`Could not create the subagent's worktree at ${join(worktrees, id)}: fatal: a branch named 'pstack/${id}' already exists`);
95
+ });
96
+
97
+ test('an abort stops a slow checkout instead of blocking until it ends', async () => {
98
+ commitFile('a.txt', 'A', 'first');
99
+ writeFileSync(join(repo, '.git/hooks/post-checkout'), '#!/bin/sh\nsleep 30\n', { mode: 0o755 });
100
+ const controller = new AbortController();
101
+ setTimeout(() => controller.abort(), 200);
102
+ const started = Date.now();
103
+ await expect(addWorktree(repo, planWorktree(repo, worktrees, id), controller.signal)).rejects.toThrow(`Stopped creating the subagent's worktree at ${join(worktrees, id)}.`);
104
+ expect(Date.now() - started).toBeLessThan(5000);
105
+ });
106
+ });
@@ -0,0 +1,74 @@
1
+ import { describe, expect, test } from 'vitest';
2
+ import { applyTodoWrite, formatTodos, type TodoItem, todosFromBranch } from '../src/todo.ts';
3
+
4
+ const list: TodoItem[] = [
5
+ { id: 'frame', content: 'Frame', status: 'completed' },
6
+ { id: 'fan-out', content: 'Fan out', status: 'in_progress' },
7
+ ];
8
+
9
+ describe('applyTodoWrite (TODO-001)', () => {
10
+ test('replaces the list when merge is false', () => {
11
+ expect(applyTodoWrite(list, [{ id: 'x', content: 'Only', status: 'pending' }], false)).toEqual([{ id: 'x', content: 'Only', status: 'pending' }]);
12
+ });
13
+
14
+ test('merges by id, keeps order, fills omitted fields, and appends new ids', () => {
15
+ expect(
16
+ applyTodoWrite(
17
+ list,
18
+ [
19
+ { id: 'fan-out', status: 'completed' },
20
+ { id: 'report', content: 'Report', status: 'pending' },
21
+ ],
22
+ true,
23
+ ),
24
+ ).toEqual([
25
+ { id: 'frame', content: 'Frame', status: 'completed' },
26
+ { id: 'fan-out', content: 'Fan out', status: 'completed' },
27
+ { id: 'report', content: 'Report', status: 'pending' },
28
+ ]);
29
+ });
30
+
31
+ test('rejects a new item without content or status', () => {
32
+ expect(() => applyTodoWrite(list, [{ id: 'new', status: 'pending' }], true)).toThrow('Todo "new" is new, so it needs both content and status.');
33
+ expect(() => applyTodoWrite([], [{ id: 'a', content: 'A' }], false)).toThrow('Todo "a" is new, so it needs both content and status.');
34
+ });
35
+
36
+ test('rejects duplicate ids in one call', () => {
37
+ expect(() =>
38
+ applyTodoWrite(
39
+ [],
40
+ [
41
+ { id: 'a', content: 'A', status: 'pending' },
42
+ { id: 'a', content: 'B', status: 'pending' },
43
+ ],
44
+ false,
45
+ ),
46
+ ).toThrow('Todo id "a" appears more than once in this call.');
47
+ });
48
+ });
49
+
50
+ describe('formatTodos', () => {
51
+ test('summarizes counts and marks each status', () => {
52
+ const text = formatTodos([...list, { id: 'skip', content: 'skip: not needed', status: 'cancelled' }, { id: 'later', content: 'Later', status: 'pending' }]);
53
+ expect(text).toBe('Todos (1/4 completed, 1 in progress):\n[x] frame: Frame\n[>] fan-out: Fan out\n[-] skip: skip: not needed\n[ ] later: Later');
54
+ });
55
+
56
+ test('reports an empty list', () => {
57
+ expect(formatTodos([])).toBe('Todos: none.');
58
+ });
59
+ });
60
+
61
+ describe('todosFromBranch (TODO-002)', () => {
62
+ test('takes the last TodoWrite result on the branch and ignores other tools', () => {
63
+ const entry = (toolName: string, todos: TodoItem[]) => ({ type: 'message', message: { role: 'toolResult', toolName, details: { todos } } });
64
+ const branch = [entry('TodoWrite', list), entry('read', []), entry('TodoWrite', [list[0] as TodoItem]), { type: 'custom', customType: 'x' }];
65
+ expect(todosFromBranch(branch)).toEqual([list[0]]);
66
+ expect(todosFromBranch([])).toEqual([]);
67
+ });
68
+
69
+ test('skips a failed TodoWrite, whose details Pi stores as {} (reviews: parity 2, architecture 1)', () => {
70
+ const ok = { type: 'message', message: { role: 'toolResult', toolName: 'TodoWrite', details: { todos: list } } };
71
+ const failed = { type: 'message', message: { role: 'toolResult', toolName: 'TodoWrite', isError: true, details: {} } };
72
+ expect(todosFromBranch([ok, failed])).toEqual(list);
73
+ });
74
+ });