@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,806 @@
1
+ {
2
+ "source": "Cursor IDE agent-transcripts under ~/.cursor/projects (tool_use parts named AskQuestion), captured 2026-10-12",
3
+ "calls": [
4
+ {
5
+ "transcript": "5cfe441e-efb2-4f62-8eea-c050ab05fb91.jsonl",
6
+ "input": {
7
+ "questions": [
8
+ {
9
+ "allow_multiple": false,
10
+ "id": "budget",
11
+ "options": [
12
+ {
13
+ "id": "unlimited",
14
+ "label": "unlimited \u2014 max reasoning"
15
+ },
16
+ {
17
+ "id": "large",
18
+ "label": "large \u2014 xhigh reasoning"
19
+ },
20
+ {
21
+ "id": "medium",
22
+ "label": "medium \u2014 high reasoning"
23
+ },
24
+ {
25
+ "id": "small",
26
+ "label": "small \u2014 medium reasoning (current)"
27
+ }
28
+ ],
29
+ "prompt": "Which reasoning budget should pstack use? Your current rule records `small (medium)`. With every role on `inherit-parent`, the budget only matters as a recorded baseline for when you later pick real models \u2014 aliases themselves never change."
30
+ }
31
+ ]
32
+ }
33
+ },
34
+ {
35
+ "transcript": "b7a3a717-95ba-476e-b1f1-248206a0f2d6.jsonl",
36
+ "input": {
37
+ "questions": [
38
+ {
39
+ "allow_multiple": false,
40
+ "id": "budget",
41
+ "options": [
42
+ {
43
+ "id": "unlimited",
44
+ "label": "unlimited \u2014 max reasoning"
45
+ },
46
+ {
47
+ "id": "large",
48
+ "label": "large \u2014 xhigh reasoning"
49
+ },
50
+ {
51
+ "id": "medium",
52
+ "label": "medium \u2014 high reasoning"
53
+ },
54
+ {
55
+ "id": "small",
56
+ "label": "small \u2014 medium reasoning (current)"
57
+ }
58
+ ],
59
+ "prompt": "Which reasoning budget should pstack use? (Current rule: small (medium). Note: all your roles are set to `inherit-parent`, so the budget only changes the recorded line unless you switch roles to real model slugs.)"
60
+ }
61
+ ]
62
+ }
63
+ },
64
+ {
65
+ "transcript": "b7a3a717-95ba-476e-b1f1-248206a0f2d6.jsonl",
66
+ "input": {
67
+ "questions": [
68
+ {
69
+ "allow_multiple": false,
70
+ "id": "confirm",
71
+ "options": [
72
+ {
73
+ "description": "Keep all 17 roles on inherit-parent; update the budget line to unlimited (max).",
74
+ "id": "accept",
75
+ "label": "Accept as-is (Recommended)"
76
+ },
77
+ {
78
+ "description": "Tell me which role(s) to change and to what model \u2014 use the free-text option to list them.",
79
+ "id": "change",
80
+ "label": "Change specific roles"
81
+ }
82
+ ],
83
+ "prompt": "Write the rule with this table?"
84
+ }
85
+ ]
86
+ }
87
+ },
88
+ {
89
+ "transcript": "9412da11-2e4a-4ecc-83fd-bf902dd0a5be.jsonl",
90
+ "input": {
91
+ "questions": [
92
+ {
93
+ "allow_multiple": false,
94
+ "id": "budget",
95
+ "options": [
96
+ {
97
+ "id": "unlimited",
98
+ "label": "unlimited \u2014 max reasoning"
99
+ },
100
+ {
101
+ "id": "large",
102
+ "label": "large \u2014 xhigh reasoning"
103
+ },
104
+ {
105
+ "id": "medium",
106
+ "label": "medium \u2014 high reasoning"
107
+ },
108
+ {
109
+ "id": "small",
110
+ "label": "small \u2014 medium reasoning (current)"
111
+ }
112
+ ],
113
+ "prompt": "Which reasoning budget should pstack use? (current: small)"
114
+ },
115
+ {
116
+ "allow_multiple": false,
117
+ "id": "roles",
118
+ "options": [
119
+ {
120
+ "id": "keep",
121
+ "label": "Accept as-is (Recommended) \u2014 all roles stay on the parent chat model"
122
+ },
123
+ {
124
+ "id": "one-model",
125
+ "label": "Point all roles at one detected model (I'll ask which)"
126
+ }
127
+ ],
128
+ "prompt": "All roles currently run on the parent chat model (inherit-parent). Accept as-is, or change specific roles?"
129
+ }
130
+ ]
131
+ }
132
+ },
133
+ {
134
+ "transcript": "d70d6fad-5067-40d9-bb94-4db26fa9f531.jsonl",
135
+ "input": {
136
+ "questions": [
137
+ {
138
+ "id": "budget",
139
+ "options": [
140
+ {
141
+ "id": "unlimited",
142
+ "label": "unlimited \u2014 max reasoning"
143
+ },
144
+ {
145
+ "id": "large",
146
+ "label": "large \u2014 xhigh reasoning"
147
+ },
148
+ {
149
+ "id": "medium",
150
+ "label": "medium \u2014 high reasoning"
151
+ },
152
+ {
153
+ "id": "small",
154
+ "label": "small \u2014 medium reasoning (current)"
155
+ }
156
+ ],
157
+ "prompt": "What reasoning budget should pstack target? Your current rule records `small \u2014 medium reasoning`."
158
+ }
159
+ ]
160
+ }
161
+ },
162
+ {
163
+ "transcript": "d70d6fad-5067-40d9-bb94-4db26fa9f531.jsonl",
164
+ "input": {
165
+ "questions": [
166
+ {
167
+ "id": "confirm",
168
+ "options": [
169
+ {
170
+ "description": "Write budget: unlimited (max), keep every role on inherit-parent",
171
+ "id": "accept",
172
+ "label": "Accept as-is (Recommended)"
173
+ },
174
+ {
175
+ "description": "Tell me which roles to change and to what \u2014 I'll ask per role",
176
+ "id": "change",
177
+ "label": "Change specific roles"
178
+ }
179
+ ],
180
+ "prompt": "Accept this rule (unlimited budget, all roles inherit-parent)?"
181
+ }
182
+ ]
183
+ }
184
+ },
185
+ {
186
+ "transcript": "c48b508a-ef6f-48ad-b20e-9e651fad2e86.jsonl",
187
+ "input": {
188
+ "questions": [
189
+ {
190
+ "id": "budget",
191
+ "options": [
192
+ {
193
+ "description": "Target effort: max. No detected slug reaches max, so real slugs fall back to their family's highest (high).",
194
+ "id": "unlimited",
195
+ "label": "unlimited \u2014 max reasoning"
196
+ },
197
+ {
198
+ "description": "Target effort: xhigh. No detected slug reaches xhigh, so real slugs fall back to high.",
199
+ "id": "large",
200
+ "label": "large \u2014 xhigh reasoning"
201
+ },
202
+ {
203
+ "description": "Target effort: high. Matches detected high-effort slugs directly.",
204
+ "id": "medium",
205
+ "label": "medium \u2014 high reasoning"
206
+ },
207
+ {
208
+ "description": "Target effort: medium. Only opus/sonnet/gpt sol are detected at medium; grok has no medium-effort slug.",
209
+ "id": "small",
210
+ "label": "small \u2014 medium reasoning (current)"
211
+ }
212
+ ],
213
+ "prompt": "Which reasoning budget? Current: small (medium)."
214
+ },
215
+ {
216
+ "id": "roles",
217
+ "options": [
218
+ {
219
+ "description": "Budget line updates only; every role keeps running on the parent chat model.",
220
+ "id": "keep",
221
+ "label": "Keep all roles on inherit-parent"
222
+ },
223
+ {
224
+ "description": "I map the skill defaults onto detected models per your budget, show the table, and confirm before writing.",
225
+ "id": "defaults",
226
+ "label": "Switch to detected models (skill defaults, mapped to budget)"
227
+ },
228
+ {
229
+ "description": "Tell me which roles get which slug or alias (inherit-parent / auto also allowed).",
230
+ "id": "specific",
231
+ "label": "I'll pick per-role"
232
+ }
233
+ ],
234
+ "prompt": "How should the roles be set?"
235
+ }
236
+ ]
237
+ }
238
+ },
239
+ {
240
+ "transcript": "8aede2aa-a6ce-4800-9336-6181833afdf0.jsonl",
241
+ "input": {
242
+ "title": "pstack reasoning budget",
243
+ "questions": [
244
+ {
245
+ "id": "budget",
246
+ "options": [
247
+ {
248
+ "id": "unlimited",
249
+ "label": "unlimited \u2014 max reasoning"
250
+ },
251
+ {
252
+ "id": "large",
253
+ "label": "large \u2014 xhigh reasoning"
254
+ },
255
+ {
256
+ "id": "medium",
257
+ "label": "medium \u2014 high reasoning"
258
+ },
259
+ {
260
+ "id": "small",
261
+ "label": "small \u2014 medium reasoning (current)"
262
+ }
263
+ ],
264
+ "prompt": "Which reasoning budget should pstack run at? Current rule records: small (medium). All roles are on inherit-parent, so this only updates the recorded budget unless you also pin real models to roles."
265
+ }
266
+ ]
267
+ }
268
+ },
269
+ {
270
+ "transcript": "8aede2aa-a6ce-4800-9336-6181833afdf0.jsonl",
271
+ "input": {
272
+ "questions": [
273
+ {
274
+ "id": "confirm",
275
+ "options": [
276
+ {
277
+ "id": "accept",
278
+ "label": "Accept as-is (all inherit-parent, budget unlimited)"
279
+ },
280
+ {
281
+ "id": "change",
282
+ "label": "Change specific roles (pick real models for some)"
283
+ }
284
+ ],
285
+ "prompt": "Write the rule with every role on inherit-parent and budget unlimited (max)? Or pin specific roles to detected models like claude-opus-5-5-medium or grok-4.7-high?"
286
+ }
287
+ ]
288
+ }
289
+ },
290
+ {
291
+ "transcript": "1344d19b-07d9-4f23-84d6-e638bc78e70e.jsonl",
292
+ "input": {
293
+ "title": "pstack budget",
294
+ "questions": [
295
+ {
296
+ "id": "budget",
297
+ "prompt": "Which reasoning budget should pstack record? (Current: small \u2014 medium reasoning)",
298
+ "options": [
299
+ {
300
+ "id": "small",
301
+ "label": "small \u2014 medium reasoning"
302
+ },
303
+ {
304
+ "id": "medium",
305
+ "label": "medium \u2014 high reasoning"
306
+ },
307
+ {
308
+ "id": "large",
309
+ "label": "large \u2014 xhigh reasoning"
310
+ },
311
+ {
312
+ "id": "unlimited",
313
+ "label": "unlimited \u2014 max reasoning"
314
+ }
315
+ ]
316
+ }
317
+ ]
318
+ }
319
+ },
320
+ {
321
+ "transcript": "bba9fbb7-5f3e-4ac7-a075-f5e7bcbd81c7.jsonl",
322
+ "input": {
323
+ "questions": [
324
+ {
325
+ "id": "target",
326
+ "options": [
327
+ {
328
+ "id": "cursor",
329
+ "label": "Cursor rule only (Recommended)"
330
+ },
331
+ {
332
+ "id": "claude",
333
+ "label": "Claude rule only"
334
+ },
335
+ {
336
+ "id": "both",
337
+ "label": "Both, kept in sync"
338
+ }
339
+ ],
340
+ "prompt": "Which rule file should this run update? (Cursor rule: ~/.cursor/rules/pstack-models.mdc \u2014 all roles inherit-parent, budget `small (medium)`. Claude rule: ~/.claude/rules/pstack-models.md \u2014 skill defaults, budget `unlimited`.)"
341
+ },
342
+ {
343
+ "id": "budget",
344
+ "options": [
345
+ {
346
+ "id": "unlimited",
347
+ "label": "unlimited \u2014 keep defaults"
348
+ },
349
+ {
350
+ "id": "large",
351
+ "label": "large \u2014 no effect beyond unlimited here (effort is set per skill or subagent, not per Task call)"
352
+ },
353
+ {
354
+ "id": "medium",
355
+ "label": "medium \u2014 selective step-down"
356
+ },
357
+ {
358
+ "id": "small",
359
+ "label": "small \u2014 nothing preserved"
360
+ }
361
+ ],
362
+ "prompt": "Which reasoning budget? (Cursor rule currently records `small (medium)`; Claude rule records `unlimited`.)"
363
+ }
364
+ ]
365
+ }
366
+ },
367
+ {
368
+ "transcript": "bba9fbb7-5f3e-4ac7-a075-f5e7bcbd81c7.jsonl",
369
+ "input": {
370
+ "questions": [
371
+ {
372
+ "id": "confirm",
373
+ "options": [
374
+ {
375
+ "id": "accept",
376
+ "label": "Accept as-is (Recommended)"
377
+ },
378
+ {
379
+ "id": "reset",
380
+ "label": "Reset roles to the unlimited default mapping"
381
+ },
382
+ {
383
+ "id": "change",
384
+ "label": "Change specific roles (tell me which)"
385
+ }
386
+ ],
387
+ "prompt": "Write the table above as-is, or change something?"
388
+ }
389
+ ]
390
+ }
391
+ },
392
+ {
393
+ "transcript": "e4214f4e-c6b0-4993-a80d-e15cfdeb651a.jsonl",
394
+ "input": {
395
+ "questions": [
396
+ {
397
+ "id": "budget",
398
+ "options": [
399
+ {
400
+ "description": "Restore skill defaults: opus/fable/sonnet tiers per role, 3-wide panels.",
401
+ "id": "unlimited",
402
+ "label": "unlimited \u2014 keep defaults"
403
+ },
404
+ {
405
+ "description": "No effect beyond unlimited here; effort is set per skill or subagent, not per Agent call.",
406
+ "id": "large",
407
+ "label": "large \u2014 no effect beyond unlimited here"
408
+ },
409
+ {
410
+ "description": "Single-model roles drop to sonnet except judgment/hardest/explainer/synthesizer roles; panels keep length with non-opus entries on sonnet.",
411
+ "id": "medium",
412
+ "label": "medium \u2014 selective step-down"
413
+ },
414
+ {
415
+ "description": "opus/fable roles land on sonnet, sonnet roles land on haiku \u2014 everywhere, lists included.",
416
+ "id": "small",
417
+ "label": "small \u2014 nothing preserved"
418
+ }
419
+ ],
420
+ "prompt": "Which reasoning budget should pstack use? (Claude rule records `small`; Cursor rule records `small (medium)`. Note: both files' current role values differ from what any budget would compute, so your existing per-role picks are preserved as hand-picked unless you change them in the next step.)"
421
+ },
422
+ {
423
+ "id": "scope",
424
+ "options": [
425
+ {
426
+ "description": "Write both files with the same values so the two environments agree.",
427
+ "id": "both",
428
+ "label": "Both \u2014 sync Cursor and Claude Code (Recommended)"
429
+ },
430
+ {
431
+ "description": "~/.cursor/rules/pstack-models.mdc \u2014 the rule actually applied in this session.",
432
+ "id": "cursor",
433
+ "label": "Cursor rule only"
434
+ },
435
+ {
436
+ "description": "~/.claude/rules/pstack-models.md \u2014 the skill's default target.",
437
+ "id": "claude",
438
+ "label": "Claude Code rule only"
439
+ }
440
+ ],
441
+ "prompt": "Which rule file should I write? The two currently disagree (Claude: all sonnet; Cursor: all inherit-parent)."
442
+ }
443
+ ]
444
+ }
445
+ },
446
+ {
447
+ "transcript": "e4214f4e-c6b0-4993-a80d-e15cfdeb651a.jsonl",
448
+ "input": {
449
+ "questions": [
450
+ {
451
+ "id": "confirm",
452
+ "options": [
453
+ {
454
+ "description": "Write the unlimited defaults table to both files.",
455
+ "id": "accept",
456
+ "label": "Accept as-is (Recommended)"
457
+ },
458
+ {
459
+ "description": "Tell me which roles to change and to what (free text) \u2014 e.g. `hardest tasks: inherit-parent`.",
460
+ "id": "change",
461
+ "label": "Change specific roles"
462
+ },
463
+ {
464
+ "description": "Every role on the parent chat model, matching your previous Cursor rule.",
465
+ "id": "all-inherit",
466
+ "label": "Pin everything to inherit-parent instead"
467
+ }
468
+ ],
469
+ "prompt": "Accept this role table as-is, or change specific roles?"
470
+ }
471
+ ]
472
+ }
473
+ },
474
+ {
475
+ "transcript": "1df68baf-fe24-4fea-a253-af2f0caf75af.jsonl",
476
+ "input": {
477
+ "title": "pstack budget",
478
+ "questions": [
479
+ {
480
+ "id": "budget",
481
+ "prompt": "What reasoning budget should pstack roles use? Your current rule is `small (medium)`. With no rule, `large` matches the skill defaults.",
482
+ "options": [
483
+ {
484
+ "id": "unlimited",
485
+ "label": "unlimited \u2014 max reasoning"
486
+ },
487
+ {
488
+ "id": "large",
489
+ "label": "large \u2014 xhigh reasoning"
490
+ },
491
+ {
492
+ "id": "medium",
493
+ "label": "medium \u2014 high reasoning"
494
+ },
495
+ {
496
+ "id": "small",
497
+ "label": "small \u2014 medium reasoning (current)"
498
+ }
499
+ ]
500
+ }
501
+ ]
502
+ }
503
+ },
504
+ {
505
+ "transcript": "1df68baf-fe24-4fea-a253-af2f0caf75af.jsonl",
506
+ "input": {
507
+ "questions": [
508
+ {
509
+ "id": "confirm",
510
+ "options": [
511
+ {
512
+ "id": "as-is",
513
+ "label": "Accept as-is \u2014 all roles stay on inherit-parent"
514
+ },
515
+ {
516
+ "id": "promote",
517
+ "label": "Promote roles to detected slugs at max effort"
518
+ },
519
+ {
520
+ "id": "change-some",
521
+ "label": "Change specific roles"
522
+ }
523
+ ],
524
+ "prompt": "Accept this rule as-is, or adjust roles? (If promoting: judgment-heavy roles \u2192 claude-fable-5-1-thinking-high, fast roles \u2192 grok-4.7-high-fast.)"
525
+ }
526
+ ],
527
+ "title": "Confirm pstack rule"
528
+ }
529
+ },
530
+ {
531
+ "transcript": "d7ba2cd8-364a-46dd-a00e-27e689ac6e51.jsonl",
532
+ "input": {
533
+ "title": "pstack budget",
534
+ "questions": [
535
+ {
536
+ "allow_multiple": false,
537
+ "id": "budget",
538
+ "options": [
539
+ {
540
+ "id": "unlimited",
541
+ "label": "unlimited \u2014 max reasoning"
542
+ },
543
+ {
544
+ "id": "large",
545
+ "label": "large \u2014 xhigh reasoning"
546
+ },
547
+ {
548
+ "id": "medium",
549
+ "label": "medium \u2014 high reasoning"
550
+ },
551
+ {
552
+ "id": "small",
553
+ "label": "small \u2014 medium reasoning (current)"
554
+ }
555
+ ],
556
+ "prompt": "Which reasoning budget should pstack use? Your current rule records `small`."
557
+ }
558
+ ]
559
+ }
560
+ },
561
+ {
562
+ "transcript": "424af199-a7c0-4101-8c13-fe81a6e3cb22.jsonl",
563
+ "input": {
564
+ "questions": [
565
+ {
566
+ "allow_multiple": false,
567
+ "id": "budget",
568
+ "options": [
569
+ {
570
+ "id": "unlimited",
571
+ "label": "unlimited \u2014 max reasoning"
572
+ },
573
+ {
574
+ "id": "large",
575
+ "label": "large \u2014 xhigh reasoning"
576
+ },
577
+ {
578
+ "id": "medium",
579
+ "label": "medium \u2014 high reasoning"
580
+ },
581
+ {
582
+ "id": "small",
583
+ "label": "small \u2014 medium reasoning (current)"
584
+ }
585
+ ],
586
+ "prompt": "Which reasoning budget should pstack roles use? Your current rule records `small`. Note: every role in your rule is `inherit-parent`, so this choice updates the recorded budget line only \u2014 alias roles stay on the parent chat model either way."
587
+ }
588
+ ]
589
+ }
590
+ },
591
+ {
592
+ "transcript": "424af199-a7c0-4101-8c13-fe81a6e3cb22.jsonl",
593
+ "input": {
594
+ "questions": [
595
+ {
596
+ "allow_multiple": false,
597
+ "id": "confirm",
598
+ "options": [
599
+ {
600
+ "id": "accept",
601
+ "label": "Accept as-is \u2014 write the rule"
602
+ },
603
+ {
604
+ "id": "change",
605
+ "label": "Change specific roles"
606
+ }
607
+ ],
608
+ "prompt": "Accept this configuration? \"Change specific roles\" lets you pick a role and set it to one of the detected models, or `inherit-parent` / `auto`."
609
+ }
610
+ ]
611
+ }
612
+ },
613
+ {
614
+ "transcript": "7abb196d-0981-4a43-9bb4-1fdc29a2e74f.jsonl",
615
+ "input": {
616
+ "questions": [
617
+ {
618
+ "id": "budget",
619
+ "options": [
620
+ {
621
+ "id": "unlimited",
622
+ "label": "unlimited \u2014 keep defaults"
623
+ },
624
+ {
625
+ "id": "large",
626
+ "label": "large \u2014 no effect beyond unlimited here; the harness sets effort per skill or subagent, not per Task call"
627
+ },
628
+ {
629
+ "id": "medium",
630
+ "label": "medium \u2014 selective step-down"
631
+ },
632
+ {
633
+ "id": "small",
634
+ "label": "small \u2014 nothing preserved"
635
+ }
636
+ ],
637
+ "prompt": "Which reasoning budget should pstack record? (Currently the Claude rule says `small`, the Cursor rule says `small (medium)`.)"
638
+ },
639
+ {
640
+ "id": "destination",
641
+ "options": [
642
+ {
643
+ "id": "cursor",
644
+ "label": "~/.cursor/rules/pstack-models.mdc (Recommended) \u2014 the rule loaded in this Cursor session"
645
+ },
646
+ {
647
+ "id": "claude",
648
+ "label": "~/.claude/rules/pstack-models.md \u2014 the path the skill names (Claude Code)"
649
+ },
650
+ {
651
+ "id": "both",
652
+ "label": "Both files"
653
+ }
654
+ ],
655
+ "prompt": "Which rule file should I write? The skill names ~/.claude/rules/pstack-models.md, but this session is Cursor and loads ~/.cursor/rules/pstack-models.mdc as an always-applied rule."
656
+ },
657
+ {
658
+ "id": "roles",
659
+ "options": [
660
+ {
661
+ "id": "keep",
662
+ "label": "Keep pins (Recommended) \u2014 Cursor file stays all-inherit-parent, Claude file stays all-sonnet"
663
+ },
664
+ {
665
+ "id": "reset",
666
+ "label": "Reset to defaults \u2014 drop the pins and write the skill-default table with the chosen budget applied"
667
+ }
668
+ ],
669
+ "prompt": "Keep the hand-pinned role values, or let the budget govern?"
670
+ }
671
+ ]
672
+ }
673
+ },
674
+ {
675
+ "transcript": "5dbfe6fb-b496-487d-b671-4e959c83b6dc.jsonl",
676
+ "input": {
677
+ "title": "pstack budget",
678
+ "questions": [
679
+ {
680
+ "id": "budget",
681
+ "prompt": "Which reasoning budget should pstack roles use? Your rule currently records `small (medium)`, with every role pinned to `inherit-parent` \u2014 a new budget only changes the recorded line unless you also move roles off the alias.",
682
+ "options": [
683
+ {
684
+ "id": "unlimited",
685
+ "label": "unlimited \u2014 max reasoning"
686
+ },
687
+ {
688
+ "id": "large",
689
+ "label": "large \u2014 xhigh reasoning"
690
+ },
691
+ {
692
+ "id": "medium",
693
+ "label": "medium \u2014 high reasoning"
694
+ },
695
+ {
696
+ "id": "small",
697
+ "label": "small \u2014 medium reasoning"
698
+ }
699
+ ]
700
+ }
701
+ ]
702
+ }
703
+ },
704
+ {
705
+ "transcript": "f3833fe3-d0cb-42ac-a44b-e898444a9908.jsonl",
706
+ "input": {
707
+ "questions": [
708
+ {
709
+ "id": "budget",
710
+ "prompt": "Which reasoning budget should pstack roles use? (Current rule records: small (medium). Since all roles are `inherit-parent`, this only sets the budget label unless you also pin specific models.)",
711
+ "options": [
712
+ {
713
+ "id": "unlimited",
714
+ "label": "unlimited \u2014 max reasoning"
715
+ },
716
+ {
717
+ "id": "large",
718
+ "label": "large \u2014 xhigh reasoning"
719
+ },
720
+ {
721
+ "id": "medium",
722
+ "label": "medium \u2014 high reasoning"
723
+ },
724
+ {
725
+ "id": "small",
726
+ "label": "small \u2014 medium reasoning"
727
+ }
728
+ ]
729
+ },
730
+ {
731
+ "id": "roles",
732
+ "prompt": "Keep every role on `inherit-parent` (each role runs on the parent chat model)?",
733
+ "options": [
734
+ {
735
+ "id": "keep",
736
+ "label": "Keep all on inherit-parent (Recommended)"
737
+ },
738
+ {
739
+ "id": "change",
740
+ "label": "Change specific roles to pinned models"
741
+ }
742
+ ]
743
+ }
744
+ ]
745
+ }
746
+ },
747
+ {
748
+ "transcript": "1ebdc4b6-c3e4-49bb-8acc-e252c8b30b14.jsonl",
749
+ "input": {
750
+ "questions": [
751
+ {
752
+ "id": "budget",
753
+ "options": [
754
+ {
755
+ "id": "unlimited",
756
+ "label": "unlimited \u2014 max reasoning"
757
+ },
758
+ {
759
+ "id": "large",
760
+ "label": "large \u2014 xhigh reasoning"
761
+ },
762
+ {
763
+ "id": "medium",
764
+ "label": "medium \u2014 high reasoning"
765
+ },
766
+ {
767
+ "id": "small",
768
+ "label": "small \u2014 medium reasoning (current)"
769
+ }
770
+ ],
771
+ "prompt": "Which reasoning budget should pstack roles use? Current rule records `small` (medium reasoning). Note: all roles are currently `inherit-parent`, so the budget line is the only thing that will change unless you adjust roles."
772
+ }
773
+ ]
774
+ }
775
+ },
776
+ {
777
+ "transcript": "1ebdc4b6-c3e4-49bb-8acc-e252c8b30b14.jsonl",
778
+ "input": {
779
+ "questions": [
780
+ {
781
+ "id": "roles",
782
+ "options": [
783
+ {
784
+ "id": "accept",
785
+ "label": "Accept as-is \u2014 all 17 roles stay inherit-parent"
786
+ },
787
+ {
788
+ "id": "opus",
789
+ "label": "Set all roles to claude-opus-5-5-medium"
790
+ },
791
+ {
792
+ "id": "grok",
793
+ "label": "Set all roles to grok-4.7-high"
794
+ },
795
+ {
796
+ "id": "auto",
797
+ "label": "Set all roles to auto"
798
+ }
799
+ ],
800
+ "prompt": "Keep every role on `inherit-parent` (runs on the parent chat model \u2014 how Auto users stay on Auto), or change specific roles? Pick Other to assign per-role."
801
+ }
802
+ ]
803
+ }
804
+ }
805
+ ]
806
+ }