@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,21 @@
1
+ ### Feature
2
+
3
+ **You own the design. Plan, review, verify.** Delegate implementation. Stay in the lead.
4
+
5
+ 1. `how` over the affected subsystem.
6
+ 2. `architect` for parallel design exploration.
7
+ 3. Write the throughput checkpoint as four todo items. A dimension that genuinely does not apply (single file, no fan-out) keeps its item with `n/a: <reason>` rather than being dropped:
8
+ - **Blocking first steps.** Gates run before fan-out.
9
+ - **Independent workstreams.** Disjoint files, services, or layers parallelize. Shared writes serialize.
10
+ - **Shared mutable state.** Default to splitting the target (the **separate-before-serializing-shared-state** principle skill). Serialize only for real invariants.
11
+ - **Smallest safe decomposition.** If one worker is best, name why.
12
+ 4. Delegate code-writing to a subagent using your configured feature model (default `grok-4.7:xhigh`) with a specific scope (file paths, named data shape and its organizing structure per **principle-model-the-domain**, a state machine over scattered booleans, a table/registry over branching, a typed model over repeated shape assumptions, chosen before the delegate writes logic, and success criteria). Pick each subagent's reasoning level (the `:<level>` suffix), and fast or standard speed when the model has a `-fast` variant, for the job, per the Subagents section. When the implementation admits multiple valid shapes (error handling, abstraction layer, test structure), delegate via the **arena** skill instead so the runners surface the alternatives and the cross-judge guards the pick. Mandatory: no skip-with-reason escape, and Laziness Protocol does not override it (the gain is review separation, not lines saved). A subagent forbidden to spawn satisfies this by owning the diff directly with the same review separation. No "standing by" reply that waits on a nested agent. Comments per **Comments**. Surgical edits, re-ground against the source for upstream-derived files. Port shared-primitive improvements to all consumers and verify each. Commit liberally.
13
+ 5. Verify on the matching surface. "Inconclusive" or wrong-surface is not a pass. Flag it.
14
+ 6. Rebase into small, ordered commits. Stack follow-ups.
15
+ Use the **sequence-verifiable-units** principle skill, building, verifying, and committing each small unit before the next.
16
+ 7. If the design is contested, `interrogate` before shipping.
17
+ 8. Run **Opening a PR**.
18
+
19
+ Code-coupled work (one feature, one migration) goes to a single owner with the checkpoint inline. That owner fans out internally after the blocking phase. Parent-level fan-out is for slices that produce independent artifacts (audits, cross-subsystem investigations, competing experiments). Rewrite the checkpoint at phase boundaries. Spawn a fresh owner rather than chaining interrupts.
20
+
21
+ **Reply:** what you built, what you chose and why, the throughput checkpoint, open decisions. Tables for design alternatives.
@@ -0,0 +1,21 @@
1
+ ### Hillclimb
2
+
3
+ **You own the metric and the experiment's integrity. Supervise and review. Delegate the attempts.** For sustained, iterative improvement of one measurable thing against a target. A one-off fix is Bug fix or Perf issue. This is the loop.
4
+
5
+ Core discipline: one change, one measurement, keep or revert. Never stack untested changes, and never claim a win from code inspection (the **prove-it-works** principle skill).
6
+
7
+ 1. Ground the workload and architecture before choosing the metric. Run the **how** skill over the target, name the realistic workload dimensions that can move the result (data size, history, state, concurrency), and select a case that reproduces the user's complaint. If no case reproduces it, fix the repro instead of hillclimbing. Then fix one metric, the direction that counts as better, and a checkable stop predicate that pairs a target with a floor on attempts so a lucky early win can't end the run (the example "at least 50% better than baseline and at least 10 iterations" is this shape). Use the user's numbers when given, otherwise agree them.
8
+ 2. Build the measurement harness, prove its sensitivity, then freeze it (the **build-the-lever** principle skill). Run contrasting realistic workloads and confirm the target case reproduces the symptom while easier cases separate as expected. If the harness cannot distinguish them, revise the workload or metric. Vet the harness with the **benchmark-checklist** skill before you freeze it, and make it print its error count and a count of the work done. Once frozen, one repeatable command emits the metric, sampled enough to clear the noise (median of N, not a single run). Record the baseline metric and a green run of the regression gate (the tests that must keep passing) before any change.
9
+ 3. Open the decision log via the **show-me-your-work** skill. A `decision.tsv`, one row per attempt: id, hypothesis, change, before, after, delta, tests, verdict (kept or reverted), note. Read it before each attempt. Keep it out of the tree (gitignored).
10
+ 4. Ground each hypothesis in the architecture model from step 1, so it names a specific mechanism ("defer X off the boot path because it blocks first paint"), not "try memoizing something". For a perf metric, order hypotheses by the performance mantras in step 2 of the Perf issue playbook (`playbooks/perf-issue.md`). Borrow only their order, not that step's stop rule.
11
+ 5. Loop, one hypothesis per iteration:
12
+ - Hand the change to a subagent using your configured hillclimb model (default `grok-4.7:xhigh`) with a tight scope. Pick each subagent's reasoning level (the `:<level>` suffix), and fast or standard speed when the model has a `-fast` variant, for the job, per the Subagents section. Supervise and review the diff rather than typing it (the **guard-the-context-window** principle skill). When several independent hypotheses are live, fan them to parallel subagents, each in its own worktree (the **separate-before-serializing-shared-state** principle skill).
13
+ - Measure before and after with the frozen harness, and run the regression gate.
14
+ - Accept only when the metric moves past noise and the gate stays green. Otherwise revert the change in full. A tweak that "might help" is not kept.
15
+ - One commit per accepted fix, staging only the files you changed (`git add <files>`, never `-A`). Log the row either way, kept or reverted.
16
+ Each iteration ends in a check before the next begins (the **sequence-verifiable-units** principle skill). If the run is unattended, borrow only the wake mechanism from the Autonomous run playbook (`playbooks/autonomous-run.md`), not its stop rule.
17
+ 6. Push past the first plateau. On a stall, several rejects in a row, pivot category, combine near-misses, re-read the source, or try something more radical before concluding the hill is climbed. Correctness and simplicity outrank the number. Revert a win that breaks behavior, and keep a simplification that holds the number (the **laziness-protocol** principle skill).
18
+ 7. Stop when the predicate is met, or when the remaining ideas are marginal and not worth their cost. Don't relax the predicate to meet it, and don't quit while cheap untried hypotheses remain. If you are stuck, surface it instead of spinning.
19
+ 8. Run **Opening a PR** with the accepted commits stacked in the order they landed.
20
+
21
+ **Reply:** the metric and target, baseline to final with the percent delta, iterations run (kept vs reverted), each accepted fix on one line, the `decision.tsv` path, and the best idea you would try next if pushed further.
@@ -0,0 +1,14 @@
1
+ ### Investigation
2
+
3
+ **You own the answer. Plan, route, write.**
4
+
5
+ Investigation requests are read-only. They produce a cited explanation or a recommendation, not a code change.
6
+
7
+ 1. Route through the **how** skill. For motivation questions, also route through the **why** skill.
8
+ 2. Throughput checkpoint stays one line: `throughput checkpoint: n/a, read-only investigation`.
9
+ 3. Produce the `how`-shaped output (Overview / Key Concepts / How It Works / Where Things Live / Gotchas), or a recommendation with a tradeoffs table if the request is a decision between alternatives.
10
+ 4. Apply the **unslop** skill to the reply.
11
+
12
+ No PR, no babysit, no `architect` unless the investigation precedes a code change. If it does, hand back to the user and re-route to Bug fix or Feature.
13
+
14
+ **Reply:** the investigation output. For "are we sure?" answers, include your real judgment with reasons. Push back if the premise is wrong (see Autonomy).
@@ -0,0 +1,155 @@
1
+ ### Multi-phase or multi-PR plan
2
+
3
+ **You own the plan, not the code. The plan is a checklist an owner runs box by box and the operator audits from the evidence.** The plan is the deliverable. Do not implement.
4
+
5
+ 1. When the change is one or two files with an obvious approach, skip the plan. Say so and stop.
6
+ 2. Settle open questions by prototype before you write. Run `playbooks/prototype.md` for each. Keep the branch, the SHA, and the screenshots for Appendix A. Ask the operator only about a product or preference call that no run can settle. Give options (the **never-block-on-the-human** principle skill).
7
+ 3. Explore in subagents with `subagent_type: "poteto-agent"` and an explicit model per the Subagents section (the **guard-the-context-window** principle skill). Pick each subagent's reasoning level (the `:<level>` suffix), and fast or standard speed when the model has a `-fast` variant, for the job, per the Subagents section. Each returns file pointers, conventions, test commands, and entry points. No inlined dumps.
8
+ 4. Copy the skeleton below into the plan file and fill every placeholder. `<SKILLS>` is the pi-pstack skills directory the system prompt names. Fill `<pi-pstack path>` with the program repository's path to its pi-pstack copy. If the repository has none, write each `git show origin/main:<pi-pstack path>/...` box as a `read` of the same file under `<SKILLS>`. Unless the operator names a path, write the file under the agent store's `docs/`. Keep every heading and every sub-block in the order shown. One section per PR. One PR is one change with its own evidence (the **sequence-verifiable-units** principle skill). Name the execution playbook in **How to read this**. Pick `playbooks/autopilot-full.md` when the run may merge. Pick `playbooks/autopilot-stack.md` when the operator lands the PRs. A standing program takes `playbooks/orchestrate.md`.
9
+ 5. Write under `/technical-writing` in full, then `/unslop`. The body is one Diátaxis mode, how-to. Appendices hold explanation and reference. Each heading states the task or the finding. No long dashes. No mid-sentence colons.
10
+ 6. Run `node <SKILLS>/poteto-mode/scripts/check-plan.mjs <plan.md>` and fix every line it prints (the **encode-lessons-in-structure** principle skill).
11
+ 7. Hand back. Post the plan path and the script's output, then stop. Execution starts on the operator's explicit go, under the execution playbook the plan names.
12
+
13
+ **Verification.** Tests alone are not sufficient verification. A PR is verified only when its unit, live, and perf boxes are all checked (the **prove-it-works** principle skill). That sentence is the verification rule. Every verification block opens with it. The live block is mandatory. Ten lanes at the PR head drive the real surface through its control skill, per the **swarm** skill, on the `swarm workers` model (default `grok-4.7:xhigh`). Each lane is one box with a concrete scenario, the screenshot it saves, and its pass predicate. One lane is the **Regression lane against trunk.** It runs the same load-bearing scenario on trunk and head. If trunk does not have the feature, the lane records that fact and gates the behavior the diff adds plus the end state the user waits for instead of inventing a trunk result. The perf gate is dual-sided. Trunk and head must both produce the named metric. If trunk lacks the feature, also isolate the work the diff adds and set an absolute budget for that work plus the end-to-end state the user waits for. Do not claim a ratio between unlike scenarios. The perf block names the metric, the interleaved probe, the trunk baseline measured first, and the rule with the number that fails. A PR that changes an interaction is review-gated. The operator reviews it in chat with screenshots and a video before merge. A PR that changes no interaction writes `**Review gate.** None. <PR id> is not review-gated.` and no boxes under it.
14
+
15
+ **Control skill.** Pick it by surface. Browser, Electron, and web UIs use `control-ui`, shipped with pi-pstack. CLIs and TUIs use `control-cli`, shipped with pi-pstack. Native mobile uses whatever simulator-driving skill the repo has. A PR that touches two surfaces gets lanes on both. A surface with no control skill is a risk in Appendix C, and its live block still names how each lane drives it.
16
+
17
+ ````markdown
18
+ # <Program> plan
19
+
20
+ <Under ten lines. What changes, for whom, the rule the program enforces, and the PR ids in order.>
21
+
22
+ ## How to read this
23
+
24
+ One box is one unit of work. Every box names the evidence that checks it. A nested box is a sub-step of the box above it. Check a box only when its evidence exists, a file, a log line, a screenshot, a test run, or a SHA. The body is a how-to. The appendices explain and record.
25
+
26
+ The program runs `<SKILLS>/poteto-mode/playbooks/<execution playbook>.md`. <Who merges, and which PR ids are the operator's items that stop at merge-ready.>
27
+
28
+ Tests alone are not sufficient verification. A PR is verified only when its unit, live, and perf boxes are all checked.
29
+
30
+ ## Program checklist
31
+
32
+ ### Arm the program
33
+
34
+ - [ ] State the protocol and this plan to the operator, then stop. Start execution only on the operator's explicit go.
35
+ - [ ] Read these from trunk at program start. Re-read them at every tick.
36
+ - [ ] `git show origin/main:<pi-pstack path>/skills/poteto-mode/playbooks/<execution playbook>.md`
37
+ - [ ] `git show origin/main:<pi-pstack path>/skills/swarm/SKILL.md`
38
+ - [ ] `git show origin/main:<control skill path>`
39
+ - [ ] `git show origin/main:<pi-pstack path>/skills/poteto-mode/playbooks/opening-a-pr.md`
40
+ - [ ] `git show origin/main:<pi-pstack path>/skills/<each other leaf skill the program uses>`
41
+ - [ ] On the operator's go, arm the audit tick as `/loop 1h` with the tick prompt below. Never leave the cadence to memory.
42
+ - [ ] Use this tick prompt, verbatim. "Re-read the execution playbook from trunk. Audit the operation against it and fix drift in this tick. Probe every active lane and judge progress by side effects only. Stand down a stuck lane with `stop_agent` and dispatch its replacement now. Then post a short status message to the operator in chat only when the audit found a tracked change that no earlier status message reported, such as a PR opened, a code-ready head, a round launched or closed, a verdict, a merge, a stuck agent and the action taken, a blocker added or cleared, or a decision only the operator can make. Name every such change and nothing else. Do not repeat a table, the merged list, or an unchanged blocker. If the audit found none, end the turn with no reply text. Either way, log this tick's row in your decision trail. The row names the items reported, or none."
43
+ - [ ] On the operator's hold or stand-down, send every owner a zero-writes order at once, as a `Task resume` steer.
44
+
45
+ ### Spawn owners
46
+
47
+ - [ ] Spawn one owner per PR with the full lifecycle the execution playbook names.
48
+ - [ ] Follow this dependency graph. Start dependent work only after its parent merges, or base it on the parent branch when the execution playbook stacks.
49
+ - [ ] <PR id> and <PR id> are independent and first. Both branch from `main`.
50
+ - [ ] <PR id> after <PR id>.
51
+ - [ ] Hold the file boundaries. <PR id or class> touches only `<glob>`.
52
+ - [ ] Hold the review gate. <PR ids> change an interaction. They wait for the operator's review in chat with screenshots and a video before merge.
53
+
54
+ ### PR mechanics, for every PR
55
+
56
+ - [ ] Resolve the forge once. Default to `gh`; if `command -v origin` succeeds and Origin can resolve the repository, use `origin pr` for every PR operation. Record any fallback to `gh`. Never require `gt`.
57
+ - [ ] Open the PR ready, never draft, per **Opening a PR**. Use the run's built-in PR tool when it has one, else `origin pr create --status open --base <base-branch>` or `gh pr create --base <base-branch>` according to the resolved forge. A stack child targets its parent branch.
58
+ - [ ] Run the repo's lint and typecheck once before the PR-facing push. Push with hooks on.
59
+ - [ ] Run `/deslop` before each commit and `/no-comments` before review.
60
+ - [ ] Triage every Bugbot and security-reviewer comment per `../references/bugbot-triage.md`.
61
+ - [ ] Rebase onto current trunk before the code-ready report and babysit. Keep that merge base in fix rounds. Rebase again only at merge prep, on a `git merge-tree` conflict with trunk, on a CI failure that comes from a change on trunk, or when a known concurrent change to the same files lands.
62
+
63
+ ### Verdict and merge, for every PR
64
+
65
+ - [ ] A full swarm runs once, at the code-ready head. Another full swarm runs only for new behavior, a redesign, or a large new diff. A rebase, a merge-conflict resolution, or a minor fix gets a single verifier at the new head, and a wording-only change gets none. Run each full swarm per `<SKILLS>/swarm/SKILL.md`. One gates lane. The ten live lanes from the PR's **Verify, live** block. The perf lane from its **Verify, perf** block. Two or more audit lanes, each with its own focus, that read the diff and the receipts and distrust the PR body. The root audits the receipts in the merge-ready report before the verdict.
66
+ - [ ] Judge every finding by the execution playbook's blocking rule. The verdict is clean when none blocks. A failure on trunk behavior in a lane marked `Regression lane against trunk.` is recorded against trunk and does not block the PR. A new head gets a fresh verdict, except for results that stay valid under the patch-id rule in `playbooks/shipping.md`.
67
+ - [ ] <The merge or handoff rule from the execution playbook, with the patch-id rule from `playbooks/shipping.md`.>
68
+
69
+ ### Boot recipe, for every live lane
70
+
71
+ Each live lane runs as its own isolated worker (`environment: "cloud"`) at the PR head. Drive through `control-ui` or `control-cli`, shipped with pi-pstack.
72
+
73
+ - [ ] `git fetch origin <head-branch> && git checkout <head SHA>`.
74
+ - [ ] <Start the backend and the surface. Wait for ready.>
75
+ - [ ] <Deliver input only through the control skill's commands. Name the read-only diagnostics.>
76
+ - [ ] Save every screenshot to `/tmp/swarm-<pr-id>/worker-<n>/<slug>.png` and return the paths with the report.
77
+
78
+ ## <Task as a verb phrase> (<PR id>)
79
+
80
+ **Depends on.** <PR id, or None.>
81
+
82
+ **Files.**
83
+
84
+ - [ ] Edit `<path>`.
85
+ - [ ] Create `<path>`.
86
+ - [ ] Delete `<path>`.
87
+
88
+ **Build.**
89
+
90
+ - [ ] <One change. Name the symbol and the file.>
91
+
92
+ **You see.**
93
+
94
+ - [ ] <One observable result, with the exact log line or screen state.>
95
+
96
+ **Verify, unit.** Tests alone are not sufficient verification. A PR is verified only when its unit, live, and perf boxes are all checked.
97
+
98
+ - [ ] <Test file and the case it gains.> Run `<command>`.
99
+
100
+ **Verify, live.** Tests alone are not sufficient verification. A PR is verified only when its unit, live, and perf boxes are all checked. Ten lanes on `<swarm workers model>` at the PR head, per the boot recipe.
101
+
102
+ - [ ] Lane 1. Regression lane against trunk. Run <the same load-bearing scenario> at trunk and head. If trunk lacks the feature, record that and gate <the behavior the diff adds plus the end state the user waits for>. Save `<slug>.png`. Pass when <predicate>.
103
+ - [ ] Lane 2. <Scenario.> Save `<slug>.png`. Pass when <predicate>.
104
+ - [ ] Lane 3. <Scenario.> Save `<slug>.png`. Pass when <predicate>.
105
+ - [ ] Lane 4. <Scenario.> Save `<slug>.png`. Pass when <predicate>.
106
+ - [ ] Lane 5. <Scenario.> Save `<slug>.png`. Pass when <predicate>.
107
+ - [ ] Lane 6. <Scenario.> Save `<slug>.png`. Pass when <predicate>.
108
+ - [ ] Lane 7. <Scenario.> Save `<slug>.png`. Pass when <predicate>.
109
+ - [ ] Lane 8. <Scenario.> Save `<slug>.png`. Pass when <predicate>.
110
+ - [ ] Lane 9. <Scenario.> Save `<slug>.png`. Pass when <predicate>.
111
+ - [ ] Lane 10. <Scenario.> Save `<slug>.png`. Pass when <predicate>.
112
+
113
+ **Verify, perf.** Tests alone are not sufficient verification. A PR is verified only when its unit, live, and perf boxes are all checked.
114
+
115
+ - [ ] Metric. <What is measured at both trunk and head. If trunk lacks the feature, also name the diff-added work and the end-to-end state the user waits for.>
116
+ - [ ] Probe. <The command or procedure, run at trunk and at the head, interleaved. Both sides must produce the metric.>
117
+ - [ ] Baseline. Record the trunk <value> first.
118
+ - [ ] Rule. <Head against trunk, with the number that fails. If the scenarios differ, add absolute budgets for the diff-added work and the user-visible end state instead of an invalid ratio.>
119
+
120
+ **Review gate.** The operator reviews before merge.
121
+
122
+ - [ ] Copy lane <n> screenshots into `<media path>/<pr-id>-review-<slug>.png`.
123
+ - [ ] Record a 30 to 60 second video of the change in a lane worktree. Save it as `<media path>/<pr-id>-review.mp4`.
124
+ - [ ] Post the screenshots and the video in chat. Stop at merge-ready. Wait for the operator's click.
125
+
126
+ **Merge.**
127
+
128
+ - [ ] Root's clean verdict at the exact head SHA.
129
+ - [ ] Bugbot triage done.
130
+ - [ ] Rebased onto current trunk after the verdict, patch-id unchanged.
131
+ - [ ] <The owner squash-merges its own PR, or the root appends it to the base-branch stack and the operator lands it bottom-up.>
132
+
133
+ ## Close the program
134
+
135
+ - [ ] Every box above is checked with its evidence.
136
+ - [ ] Reply to the operator with the report the execution playbook names.
137
+
138
+ ## Appendix A. Prototype evidence
139
+
140
+ <Each open question a prototype answered, with the branch, the SHA, and the artifact links. Each question that stays unproven.>
141
+
142
+ ## Appendix B. Alternatives rejected
143
+
144
+ <Each approach weighed and why it lost.>
145
+
146
+ ## Appendix C. Risks
147
+
148
+ <Each risk with the PR it lands in and what the owner watches.>
149
+
150
+ ## Appendix D. Links and reading list
151
+
152
+ <Docs to read before editing. Which PRs get `<SKILLS>/how/SKILL.md` and `<SKILLS>/interrogate/SKILL.md`. The trail per `<SKILLS>/show-me-your-work/SKILL.md`.>
153
+ ````
154
+
155
+ **Reply:** the plan path, the PR ids with their dependencies and the review-gated set, what the prototypes proved and what stays unproven, and the check script's output.
@@ -0,0 +1,34 @@
1
+ ### Opening a PR
2
+
3
+ Invoked at the end of every other playbook.
4
+
5
+ **Worktree.** Work from a git worktree off main. Subagents inherit it. Multiple `Task` calls on the same branch each get their own worktree, or `git fetch && git reset --hard origin/<branch>` between them. Dirty branch with unrelated work: patch out, fresh worktree, apply. Snarled worktree: reset from main, redo minimally.
6
+
7
+ **Commits.** Commit liberally. Rebase into small, ordered commits before opening PRs. Each commit is a future PR: landable, ordered to tell the story. Amend when the fix belongs in a just-made commit. New commit when separable. Commit bodies don't restate the subject.
8
+
9
+ **PRs.** Run `/deslop` (shipped with pi-pstack) over the diff before commit and `/no-comments` before review. Write every PR title, description, and commit body with `/technical-writing` (every layer except Diátaxis, and apply the STE vocabulary rules: one word per action, keep articles, a plain verb over `-ing` where one works), then apply `/unslop`.
10
+
11
+ **Titles.** Conventional Commits `type(scope): subject`, no trailing period. Type such as `feat`, `fix`, `docs`, `refactor`, `test`, `chore`, or `perf`. Scope is the area, such as `pstack` or `poteto-mode`. Subject is short, imperative, and names a real symbol when one carries the change, for example `fix(pstack): retarget opening-a-pr babysit trigger`.
12
+
13
+ **Descriptions.** The PR body is a one-minute briefing, not a lab notebook, for a reviewer who has the diff. It says why the change exists, what it leaves out, what it could break, and how you proved it works. Write short, simple sentences with few identifiers, no walls of text. The body becomes the squash commit body, so keep that commit under about 40 lines. Use `##` headings, not bold lead-ins, in this order, and drop a section with nothing to say:
14
+
15
+ - `## Why`: the problem and approach, 1–3 short sentences. No SHAs, rebase genealogy, or "based on main" preamble.
16
+ - `## What changed`: 1–3 short bullets. Name a real symbol or path only when it carries the change. Name both sides of a rename or retarget.
17
+ - `## Scope`: always. 1–3 short items on what it covers and what it deliberately leaves out (a follow-up, a known gap). No symbols, paths, or file-by-file essay.
18
+ - `## Tradeoffs`: only rejected alternatives a reviewer would otherwise ask about. Skip when there was no real choice.
19
+ - `## Blast Radius`: 1–2 sentences on who or what it touches and why that is safe or risky. If main is red, state the cost of leaving it red.
20
+ - `## Verification`: 1–3 bullets, each a real run path and its outcome. Perf: one primary number with its unit, `before → after`, and a link to the arena or swarm directory for the rest. No sample-size methodology, swarm recitals, or metric tables.
21
+
22
+ After the sections, attach videos or screenshots when they prove a claim. Full SHAs, swarm or arena lane recitals, lever-correction essays, file-by-file checklists, and "CLEAN" verdicts go in a linked artifact, not the body.
23
+
24
+ **Forge.** Resolve the forge before the first PR operation and keep that choice for create, edit, view, watch, and merge. GitHub CLI (`gh`) is the default. If `command -v origin` succeeds and Origin can resolve the repository, prefer `origin pr ...`. If Origin is absent or cannot resolve the repository, stay on `gh` and record the fallback. Do not require Graphite (`gt`).
25
+
26
+ **Built-in PR tool.** When the run provides a built-in PR tool, create, edit, retarget, and mark ready through it, never through a forge CLI. A CLI-made PR misses what the tool tracks. Use the resolved forge for everything the tool does not cover, and for every PR operation when the run has no such tool.
27
+
28
+ **Size and stacks.** Prefer five narrow PRs to one large PR. A stack is a base-branch chain. The root PR targets trunk. Each child branch rebases onto its parent's exact tip and its PR targets the parent branch. As a parent merges, move its child onto trunk per `playbooks/shipping.md` step 4. Without a built-in PR tool, per the resolved forge, create a child with `origin pr create --status open --base <parent-branch>` or `gh pr create --base <parent-branch>`, and retarget one with `origin pr edit <pr> --base <parent-branch>` or `gh pr edit <pr> --base <parent-branch>`. Branch from trunk only for independent work. Rebase on trunk before substantial stack work.
29
+
30
+ **Readiness.** Open every PR ready, never as a draft. A built-in PR tool can default to draft, so set `draft: false` on every creation call through it. With Origin, pass `--status open`. With `gh`, omit `--draft`. If a PR still opens as a draft, mark it ready through the PR tool, or run `origin pr ready <number>` or `gh pr ready <number>` according to the resolved forge. Run `origin pr view <number>` or `gh pr view <number>` before you refer to PR status.
31
+
32
+ **Babysit.** Opening a PR does not start a babysit. Post the URL and keep building. Finish the phase or stack first. Run a separate babysit pass only when the user asks for one after the whole stack exists. A babysit for each new PR stalls the build and spends checks on commits later waves restart. Push back when feedback drifts from intent.
33
+
34
+ A subagent that opens a PR runs `/deslop` and `/no-comments`, and posts the URL. It returns to the parent without babysitting, unless it is an Autopilot-full or Autopilot-stack owner. That owner's brief assigns the babysit loop and is the ask `playbooks/babysit.md` waits for. The owner starts the loop after its code-ready report, reports merge-ready, and is exempt from the rules here and in `playbooks/babysit.md` that hold babysitting until a whole stack is built.
@@ -0,0 +1,25 @@
1
+ ### Orchestrate
2
+
3
+ **You run the program, never the code. Decide which agent does each piece of work, then check what each one produces.** For a standing project handed to one coordinator chat: multi-day, many stacked PRs, dozens to hundreds of subagents, few human turns. One task driven to a predicate is Autonomous run. One ambitious run that needs a bespoke workflow is figure-it-out. Work that one agent could finish inside the session's budget is not a program.
4
+
5
+ Run it with your own tools. Spawn workers with `Task`. Keep the program's state in the Project folder the system prompt names: its tracker `projects/<project-slug>/notes.md` and its store `projects/<project-slug>/store/`. Watch each PR with `subscribe_github_pr` (it covers checks), and manage those subscriptions with `list_subscriptions` and `unsubscribe`. Call no scripts, run no polling loops, and never relay messages or status between agents.
6
+
7
+ #### Topology
8
+
9
+ - **One owner per PR.** The owner is the only writer of its branch and carries the PR from build to merge. Only the owner pushes, rebases, or retargets it. Closing or retargeting a base PR orphans every PR above it, so the owner does that only on your call. You never author or edit code. Conflicted merges, chain rebases, and fixes go to owners.
10
+ - **A fresh worker for each independent task.** Its kickoff carries everything it needs, including each upstream report it depends on, pasted in full. Workers can't see their siblings. Run workers as a new isolated worktree worker (`environment: "cloud"`) unless the work needs this machine: a `control-ui` or `control-cli` runtime check (shipped with pi-pstack), local transcripts, a simulator, or auth that exists only here. Pick each subagent's reasoning level (the `:<level>` suffix), and fast or standard speed when the model has a `-fast` variant, for the job, per the Subagents section.
11
+ - **A sub-coordinator only when one area has many parallel workers.** It owns that area's workers and kickoffs and sends you one rollup, never raw worker reports. Stop at three levels: you, sub-coordinators, and workers. Keep about ten workers in flight per coordinator, and start the next one as each finishes instead of waiting on a whole batch.
12
+ - **Fork with Task `fork` when new work needs a worker's built state,** such as its checkout, uncommitted changes, or a running process. Message a worker with Task `resume` only for a follow-up on the same work. Never message one to check on it, because a message restarts an idle agent.
13
+ - **Each PR gets a verifier that isn't its author,** on a different model family. The owner merges only on that verifier's pass at the current head.
14
+ - **Start with one unit.** Take it through kickoff, owner, verifier, and merge before you fan out, so a flaw in the kickoff costs one agent instead of fifty. On near-identical cheap units, the first unit is that test.
15
+
16
+ #### Supervision
17
+
18
+ - **Each kickoff names the evidence that proves the work is done,** such as a command and its expected output, a control-skill check, or an artifact. It also names the goal, the paths the worker may and may not write, and the actions it must not take. If you can't name the evidence, the unit isn't scoped yet.
19
+ - **Read the diff or the artifact, not only the worker's summary.** Green CI is an input to a verdict, not a verdict. Behavioral work needs more than a type check. A verdict covers one head SHA, so a new push needs a new verdict. Read a sample of each sub-coordinator's kickoffs while its workers run, and fix its instructions when one fails.
20
+ - **Send back work that drifts from scope or grows past what was asked.** Keep only the fixes that block the program, and park the rest as follow-ups.
21
+ - **Check a PR's live state before you report on it,** with `gh pr view` and `gh pr checks` or your forge's equivalents, not the worker's last report. Account for every worker you spawned as done, replaced, or absorbed into another worker's scope.
22
+ - **Stop (`stop_agent`) or replace a worker that stalls or loops.** Judge it by its pushes and PR activity, not its status text. Retry by cause: a smaller scope after a context or memory limit, the same kickoff after a dropped connection, and a different model after a tool error. After two retries, drop the unit and replan around it. When a stopped worker returns late, check its result against the PR's current state, and hand any unique findings to a fresh worker.
23
+ - **Ask the user only for a real decision or a blocker,** such as an irreversible action, a product or preference call that no experiment settles, or a dead end that survived a replan. Rebase mechanics, retries, CI flakes, review triage, and "should I keep going" never reach the user.
24
+
25
+ **Reply:** what landed against the goal, each PR's live state and verdict with its link, what was dropped and why, and the decisions waiting on the user.
@@ -0,0 +1,10 @@
1
+ ### Pause safely
2
+
3
+ **You own a clean stop. Leave a checkpoint a cold-start agent can resume from.** This is explicit only. On "keep going", "going to bed, keep going", or "don't stop", do not pause.
4
+
5
+ 1. Stop at a safe boundary. Finish the current atomic step or back out of it. Start nothing new, and cancel any nested subagents.
6
+ 2. Take no irreversible action to pause. No PR and no push unless you already had one out.
7
+ 3. Make the work durable. Commit uncommitted edits as one clear `wip:` commit on the current branch so nothing is lost. If the tree is broken, say so in the commit body in one line.
8
+ 4. Write the resume note off-context. Capture intent, what you were doing, progress and what's verified, current state, next steps, key files, and gotchas. For the compaction trigger write it to a file like `/tmp/<slug>-resume.md`. If a show-me-your-work trail exists, point at it instead of duplicating it.
9
+
10
+ **Reply:** where you are in the loop, what's on disk versus still in your head (paths, no diff dumps), the commits you made and whether the tree is clean, and the first action on resume. This is a pause, not a final report.
@@ -0,0 +1,25 @@
1
+ ### Perf issue
2
+
3
+ **You own the measurement story. Plan, review, verify the numbers.** Tie every fix to a measurement, don't read source instead of measuring.
4
+
5
+ 1. Capture a baseline trace via the matching control skill. Vet the baseline, and each later number, with the **benchmark-checklist** skill.
6
+ 2. `how` to ground hypotheses. Don't claim a perf ceiling without running it first.
7
+ Try the performance mantras in order, cheapest first:
8
+ 1. Don't do it. Stop work whose result nothing uses rather than cheapening it.
9
+ 2. Do it, but don't do it again.
10
+ 3. Do it less.
11
+ 4. Do it later.
12
+ 5. Do it when they're not looking.
13
+ 6. Do it concurrently.
14
+ 7. Do it cheaper.
15
+
16
+ When an earlier mantra meets the target, stop.
17
+ 3. Plan the fix from the trace. If it crosses a function boundary, `architect` first. Delegate implementation to a subagent using your configured perf-issue model (default `grok-4.7:xhigh`). Pick each subagent's reasoning level (the `:<level>` suffix), and fast or standard speed when the model has a `-fast` variant, for the job, per the Subagents section. Review the diff. Capture a post-fix trace.
18
+ Apply the **sequence-verifiable-units** principle skill, verifying each attempt before trying the next.
19
+ 4. Parse and compare the artifacts (JSON to sqlite, diff). "Inconclusive" or wrong-surface is not a pass. Flag it.
20
+ 5. Cite the measurement in the PR.
21
+ 6. Run **Opening a PR**.
22
+
23
+ For sustained improvement against a metric rather than a one-off fix, use the Hillclimb playbook (`playbooks/hillclimb.md`).
24
+
25
+ **Reply:** baseline number, post-fix number, delta, artifact path.
@@ -0,0 +1,14 @@
1
+ ### Prototype
2
+
3
+ **You own the design decision, not the code. The prototype is a throwaway instrument. The real build follows Feature.**
4
+
5
+ The one playbook where the Laziness Protocol's "smallest change" and the verification bar invert. Speed over polish, code quality does not matter, no planning. The rigor is in picking the right design cheaply. Propose variations the user didn't ask for, throw an approach away and try another.
6
+
7
+ 1. Scope the decision the prototype exists to make: which layout, which interaction, which density, or for an empirical fork which behavior, timing, or approach. No decision means no prototype. Route to Feature.
8
+ 2. Gather references when the design space is open. Search for prior art, summarize a moodboard of themes, palettes, and layouts, let the user pick directions before building. Skip when the direction is set.
9
+ 3. Build throwaway in an isolated scratch dir, separate from production source. For a visual decision, vanilla HTML/CSS/JS or the lightest stack that renders the idea, CDN deps, a dev server with hot reload. For a behavioral or timing decision, the smallest script that exercises the question. No production framework, no tests, no abstractions.
10
+ 4. When comparing alternatives, build them behind one switcher (buttons or a keypress), each variant labeled. This is the **exhaust-the-design-space** principle skill made cheap.
11
+ 5. Verify on the matching surface. For a visual decision, screenshot each variant via the control skill and drive the interaction. For a behavioral or timing decision, observe the thing you are deciding by logging the timing, printing the output, or watching the render. The observation is the test here, not an assertion.
12
+ 6. Present alternatives, tradeoffs, and a recommendation. The output is the decision plus the throwaway artifact, not shippable code. Hand the chosen direction to **Feature** (or `architect` for the shape) for the real build.
13
+
14
+ **Reply:** the variants explored, the evidence (screenshots for a visual decision, the observed output or timing for a behavioral one), tradeoffs, your recommendation, and the scratch path. Say plainly that the prototype is throwaway.
@@ -0,0 +1,16 @@
1
+ ### Refactoring
2
+
3
+ **You own the contract. The structure changes. The behavior does not.** Distinct from Feature, which adds behavior, and Bug fix, which corrects it.
4
+
5
+ If the cleanup reveals a missing feature or a real bug, split it out and ship the structural change first against the pinned contract. A redesign is allowed, but name it and route to Feature. Large or cross-cutting structural work belongs to the **figure-it-out** skill. This playbook is the focused-to-medium change.
6
+
7
+ 1. Pin the behavior contract first. Run the **how** skill over the affected subsystem to learn the contract, then write a characterization test, snapshot, or equivalence harness that captures current behavior before any structure moves. If the area has no coverage, write the pin before touching structure. Type check and lint are not a pin.
8
+ 2. Name the structure the code is missing per **principle-model-the-domain**. Boring code stays when the shape is already clear and local. The reshape must delete branches or invalid states, not add indirection.
9
+ 3. Name the target shape. State what the module layout, types, and call graph should be if built today (**principle-foundational-thinking**, **principle-redesign-from-first-principles**). If the target crosses a function boundary, run the **architect** skill for parallel design exploration of the shape before the move.
10
+ 4. Subtract before you add. Delete dead code, collapse one-caller wrappers, drop redundant validators, and remove orphan references before introducing the new shape (**principle-subtract-before-you-add**). The smallest change that reaches the target shape ships (**principle-laziness-protocol**). A speculative cleanup that "might help" gets reverted.
11
+ 5. Move in small behavior-preserving steps, each keeping the pin green. For API reshapes, migrate every caller and delete the old API in the same wave (**principle-migrate-callers-then-delete-legacy-apis**). No compatibility shims, no parallel old-and-new paths. Spot-check every rename against the actual files. Renames silently miss usages in strings, prose, and back-references. Delegate the mechanical edits to a subagent using your configured refactoring model (default `grok-4.7:xhigh`) with a specific scope (file paths, the names being moved, the behavior to hold). Pick each subagent's reasoning level (the `:<level>` suffix), and fast or standard speed when the model has a `-fast` variant, for the job, per the Subagents section.
12
+ 6. Prove behavior is unchanged on the real artifact, not "it compiles" (**principle-prove-it-works**). For larger reshapes, run an equivalence check: a script that diffs old-vs-new outputs, a recorded baseline replayed against the new code, or a smoke run on the matching surface via the relevant control skill.
13
+ 7. Confirm the change is worth keeping. The success measure is reduced reader load (**principle-minimize-reader-load**). If the diff does not lower reader load somewhere, revert it.
14
+ 8. Rebase into small ordered commits. A subtraction commit, then the reshape, then any follow-on cleanup. Shape them with the **sequence-verifiable-units** principle skill, so each behavior-preserving slice stays green before the next. Run **Opening a PR**.
15
+
16
+ **Reply:** the structure that changed, the pin you held it against, the equivalence proof, the reader-load delta, what shipped and what got reverted. No new behavior.
@@ -0,0 +1,11 @@
1
+ ### Runtime forensics
2
+
3
+ **You own the diagnosis. Instrument the live process, don't theorize from source.** The deliverable is a cited diagnosis, not a fix.
4
+
5
+ 1. Capture the live signal on the matching surface via the control skill: a CPU profile for a spinning process, a heap snapshot for a leak, a CDP trace for a visual glitch. A real artifact, not a guess.
6
+ 2. Reduce the artifact to the smoking gun: the function on the hot path, the retainer chain from the leaked object to a GC root, the loop firing without input. Parse large artifacts in a subagent (the **guard-the-context-window** principle skill), keep the reduced finding in the main thread. Pick each subagent's reasoning level (the `:<level>` suffix), and fast or standard speed when the model has a `-fast` variant, for the job, per the Subagents section.
7
+ 3. Prove the mechanism before believing it. Inject instrumentation via CDP eval on the running process, or hotfix the live code without reloading, to confirm the hypothesis cheaply.
8
+ 4. Map the finding back to source: file, symbol, the line that allocates or schedules.
9
+ 5. Throughput checkpoint stays one line: `throughput checkpoint: n/a, read-only forensics`.
10
+
11
+ **Reply:** the signal captured, the reduced finding, how you proved the mechanism, the source location, artifact paths. No fix unless asked. Hand back to Bug fix or Perf once the cause is known.
@@ -0,0 +1,11 @@
1
+ ### Session pickup
2
+
3
+ **You own the resume point. Read the prior trail, don't redo it.**
4
+
5
+ 1. Locate the prior trail. A local transcript in this workspace's Pi session files and subagent transcripts (paths in the system prompt. Do not glob across `~/.pi/agent/sessions/*/` or `~/.pi/agent/pstack/workspaces/*/`, that crosses workspace boundaries and reads private chats from unrelated projects), an isolated worker's agent ID, or a pushed branch. Read the session header (the first line) and last `type: "message"` entries first, then scan back for the decision points. Parse a long transcript in a subagent and keep the reduced timeline in the main thread (the **principle-guard-the-context-window** skill). Pick each subagent's reasoning level (the `:<level>` suffix), and fast or standard speed when the model has a `-fast` variant, for the job, per the Subagents section.
6
+ 2. Reconstruct operational state. The branch and worktree, what already landed (`git log`, `git diff` against the base), the open todos, the decisions made. The prior trail is authoritative input. Resist the bias to re-derive it.
7
+ 3. Diff done vs pending. Compare what shipped against what was planned, name the resume point, do not re-run the prior repro or redo completed work. A "let me verify from scratch" pass means you're treating the trail as untrustworthy when it's authoritative.
8
+ 4. Route the remaining work to the matching playbook and pick the verdict: continue the execution, ship a finished recommendation, ratify or override a prior conclusion, or postmortem a failed run. The pickup playbook ends here. The routed playbook owns the rest.
9
+ 5. Verify the inherited claims against the original goal on the real artifact (the **principle-prove-it-works** skill). A passing prior self-report is not the proof.
10
+
11
+ **Reply:** where the prior agent stopped, what you inherited vs redid (ideally nothing redone), the resume point, and the outcome.
@@ -0,0 +1,12 @@
1
+ ### Shipping
2
+
3
+ **You own what lands. Verify each PR independently, land only the verified run from the root, then keep your hands off the stack.**
4
+
5
+ 1. **Resolve the forge, then verify each PR independently before it lands.** GitHub CLI (`gh`) is the default. If `command -v origin` succeeds and Origin can resolve the repository, use `origin pr` for every PR operation. Otherwise stay on `gh` and record the fallback. Never require Graphite (`gt`). One verifier per PR, each an isolated worker in its own git worktree, runs the change the way a user would with the matching control skill (such as `control-ui` or `control-cli`, shipped with pi-pstack), parent against head, and posts `PASS`, `PASS+NOTES`, or `FAIL` on that PR. Only a verdict from an agent that did not write the code counts, because an author checks what it meant to build. Green CI and an approving bot review are not verdicts, because neither runs the change as a user would.
6
+ 2. **Land only the contiguous verified run rooted at the bottom.** Walk up from the lowest unmerged PR and stop at the first one without `PASS` or `PASS+NOTES`. The PRs below it are the run, and the top one is the ceiling. A verified PR above an unverified one waits, because it cannot land without the code below it. One whose branch neither holds nor needs that code can move onto trunk and land on its own. It needs a fresh verdict first, because its old one ran with that code beneath it and trunk does not have it.
7
+ 3. **Re-check that the verdicts still describe the code.** A verdict covers a patch, and a chain rebase moves every PR above it to a new SHA without failing any check. Compare `git patch-id` at the verdict SHA with the current head before trusting an older verdict. When the patches differ only in tests, docs, or lint config, a lane's result stands if what it ran builds the same at both SHAs apart from noise. Noise is a difference that also shows up between two builds of the verdict SHA, or an embedded commit SHA. Report each kind of noise with its files, so a reader can check the call. The change itself still gets fresh checks and a review, because the old verdict never saw it. A lane with no build output, such as a dev server, cannot show this, so rerun it, and re-verify anything else that drifted.
8
+ 4. **Land bottom-up, one PR at a time.** Always merge the run's lowest unmerged PR, with `origin pr merge <pr>` or `gh pr merge <pr> --squash`. On Origin the plain command also merges every PR below the one you name, and on GitHub a PR whose base is still its parent's branch merges into that branch, not trunk. Read the PR back for the result (`origin pr view <pr>` or `gh pr view <pr> --json state,mergedAt,baseRefName`), because a merge command can report success when a merge queue only queued the PR, and a requested auto-merge is not a merge. A landed PR reads merged with trunk as its base, not its parent's branch. Arm `--auto` (Origin merge-when-ready or GitHub auto-merge) only on a PR whose verdict covers its current head, because it lands whatever head is ready. After a merge lands, retarget the PR whose base was the merged branch to trunk (`origin pr edit <pr> --base <trunk>` or `gh pr edit <pr> --base <trunk>`), move its patch onto the merge result, and push with `--force-with-lease`. The verdict covers the patch, not its commits, so step 3's patch-id rule decides whether the verdict survives. Merge it once its checks pass and its verdict survives.
9
+ 5. **Leave the stack alone while it lands.** Step 4's move of the next PR is the only change to a branch or base, because a merge lands whatever its branch and base hold at that moment, verdict or not. On GitHub, watch the run with the queued watcher from `playbooks/babysit.md` (`scripts/watch-pr/watch-pr --queued-stack --stack-prs <bottom-to-top>`) under `/loop` until it reports `COMPLETE` at the ceiling. On Origin, re-read the current PR with `origin pr view <pr> --checks` each time `origin pr checks <pr> --watch` returns, until the ceiling reads merged. A base that moves to trunk when its parent merges is expected, not damage to repair. If a merge stalls, find out why before you change anything.
10
+ 6. **Stop at the ceiling.** Extending the run takes new verdicts, so it is a new pass through step 1.
11
+
12
+ **Reply:** the verified run and its ceiling, each PR's verdict and who produced it, what landed and how you confirmed it, and what the next gap needs.
@@ -0,0 +1,14 @@
1
+ ### Trace forensics
2
+
3
+ **You own the diagnosis from the artifact.**
4
+
5
+ Distinct from **Runtime forensics**, which instruments the live process. Here the capture already exists. The artifact is a fixed dataset, read it, don't re-run it. Keep tooling generic: a DevTools or trace parser for cpuprofile and `.json.gz`, a text editor for a spindump, your heap tooling for a heapsnapshot.
6
+
7
+ 1. Identify the format and load it with the right tool. Parse large artifacts in a subagent (the **principle-guard-the-context-window** skill) and keep the reduced finding in the main thread. Pick each subagent's reasoning level (the `:<level>` suffix), and fast or standard speed when the model has a `-fast` variant, for the job, per the Subagents section.
8
+ 2. Transform the raw artifact into a form you can query. Dump the trace or heap snapshot into sqlite, one row per sample, frame, or node. Reach the queryable shape before you read.
9
+ 3. Narrow to the cause. Query for the frames that hold the most time and walk the call tree to the hot path. For a leak, follow the retainer chain from the leaked object to a GC root. For a spindump, find the thread stuck on-CPU or blocked and its wait reason.
10
+ 4. Attribute to source. Map the hot frame to file, symbol, and line via the artifact's own symbols. A frame with no source mapping is not yet a diagnosis. Resolve the symbols, or say plainly the artifact does not carry them.
11
+ 5. If you have a paired capture, diff the before and after artifacts to confirm. Otherwise, mark the finding as the strongest hypothesis the artifact supports, not a confirmed cause.
12
+ 6. Hand back a cited diagnosis, no fix unless asked. Route to Bug fix or Perf issue once the cause is known. Throughput checkpoint stays one line: `throughput checkpoint: n/a, read-only forensics`.
13
+
14
+ **Reply:** the artifact and format, the reduced finding, the source location, the artifact paths, and whether a paired capture confirmed it.
@@ -0,0 +1,11 @@
1
+ ### Visual parity
2
+
3
+ **You own pixel-exact equivalence. The baseline is the spec. You do not touch it.** Equivalence is verified by image diff, not by eye.
4
+
5
+ 1. Establish the baseline first, before any migration: a visual regression harness that screenshots the current component across its states, plus the target when matching two implementations. No baseline, no parity claim. A blocking prerequisite, not a follow-up.
6
+ 2. Anti-shortcut clauses, stated and held: no harness modifications, no baseline tampering, no component restructuring to make a diff pass. If the baseline looks wrong, stop and ask, don't edit it.
7
+ 3. Migrate one component at a time. Parallelize across worktrees, one owner per component (the **separate-before-serializing-shared-state** principle skill). Shared primitives migrate first as a blocking phase.
8
+ 4. Verify each component against its baseline via image diff on the matching surface via the control skill. A nonzero diff is a fail. Investigate the pixel delta. `/loop` per component until the diff is zero.
9
+ 5. Run **Opening a PR** per component or per safe batch.
10
+
11
+ **Reply:** components migrated, the diff result for each, the baseline harness location, what's left.
@@ -0,0 +1,12 @@
1
+ ### Worktree and simulator cleanup
2
+
3
+ 1. Snapshot and audit. Record `df -h /`, then run `scripts/worktree-audit.sh [-b <pr-base-ref>] [repo-path]` (principle-build-the-lever). Without `-b` it checks `MERGED` against `origin/HEAD`, so pass `-b origin/<branch>` when PRs target another branch. It reads paths from `git worktree list`, never hand-typed, since a hand-typed `myrepo-worktrees/x` misses one that lives at `~/.pi/agent/pstack/workspaces/<workspace>/worktrees/x` (principle-encode-lessons-in-structure). It classifies each worktree by size, age, merge state, uncommitted work, PR state, and the newest chat that touched it, then suggests a bucket. The transcript scan is slow, so background it.
4
+ 2. The bucket is advice, not permission. The pinned and active chats are the real artifact (principle-prove-it-works). Get that set from the user or `/resume` and cross-check every candidate. The lever has marked `safe` a worktree the user had pinned, so the pinned set wins.
5
+ 3. Verify usage before deleting. For every `verify-recent-chat` row, or anything you doubt, fan subagents out to read the transcripts and report whether the chat is pinned or ongoing and which worktrees it touches (principle-guard-the-context-window, transcripts are bulk). A pinned chat spawns arena and repro trees into sibling worktrees via background subagents, and those are in use even when their names never show up in `/resume`. Pick each subagent's reasoning level (the `:<level>` suffix), and fast or standard speed when the model has a `-fast` variant, for the job, per the Subagents section.
6
+ 4. Pause on irreversible loss. `wip:N` is N tracked uncommitted edits. Show the diff and get a decision first, since removing a clean worktree is recoverable from its branch but uncommitted work is gone. `scratch:N` is untracked throwaway, safe to drop, but name the files. Per Autonomy, clean and merged and not-in-use proceeds. `wip` and in-use pause.
7
+ 5. Prune the confirmed set. Per path, `git worktree remove --force <path>`. If the dir survives on ignored build artifacts, `rm -rf` it, then `git worktree prune`. Branch refs survive, so no commits are lost. Confirm with `df -h /` and re-list.
8
+ 6. Simulators and other reclaimers. Simulators are usually the next-biggest win. `xcrun simctl --set testing delete all` (XCTestDevices clones), `xcrun simctl delete unavailable`, and `xcrun simctl runtime list` then `runtime delete <id>` for old runtimes. More when needed: Xcode `DerivedData` and `iOS DeviceSupport`, `~/.pi/agent` (old session files under `sessions/`, and `pstack/workspaces/<workspace>/artifacts/` where a workspace's generated files balloon), package caches (pnpm, uv, brew, yarn). Clear only caches the user has not said to keep.
9
+
10
+ This is the one playbook that deletes user state with no code review to catch a slip, so the gates above are the review.
11
+
12
+ **Reply:** `df -h /` before and after with space reclaimed, the worktrees pruned, and a one-line reason for each held back (in-use by which chat, or uncommitted work).