@needfspeed/skills-library 0.2.0 → 0.3.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (548) hide show
  1. package/CATALOG.md +38 -13
  2. package/README.md +1 -1
  3. package/docs/pstack/README.md +27 -14
  4. package/docs/pstack/agents/comment-sicko.md +32 -0
  5. package/docs/pstack/agents/poteto-agent.md +9 -0
  6. package/package.json +1 -1
  7. package/skills/pstack/architect/SKILL.md +17 -17
  8. package/skills/pstack/architect/references/design-red-flags.md +57 -0
  9. package/skills/pstack/architect/references/rationale-template.md +3 -3
  10. package/skills/pstack/architect/references/runner-prompt.md +7 -6
  11. package/skills/pstack/arena/SKILL.md +14 -37
  12. package/skills/pstack/automate-me/SKILL.md +20 -25
  13. package/skills/pstack/benchmark-checklist/SKILL.md +39 -0
  14. package/skills/pstack/blast-radius/SKILL.md +50 -0
  15. package/skills/pstack/bro/SKILL.md +7 -0
  16. package/skills/pstack/correct/SKILL.md +32 -0
  17. package/skills/pstack/create-formal-verification-skill/SKILL.md +43 -0
  18. package/skills/pstack/create-verification-skill/SKILL.md +44 -0
  19. package/skills/pstack/create-verification-skill/references/feature-map-example/README.md +47 -0
  20. package/skills/pstack/create-verification-skill/references/feature-map-example/create-note.md +39 -0
  21. package/skills/pstack/create-verification-skill/references/feature-map-example/search.md +45 -0
  22. package/skills/pstack/figure-it-out/SKILL.md +14 -17
  23. package/skills/pstack/how/SKILL.md +17 -115
  24. package/skills/pstack/how/references/explainer-prompt.md +6 -6
  25. package/skills/pstack/how/references/explorer-prompt.md +1 -18
  26. package/skills/pstack/in-your-own-words/SKILL.md +7 -0
  27. package/skills/pstack/interrogate/SKILL.md +14 -89
  28. package/skills/pstack/ketchup/SKILL.md +43 -0
  29. package/skills/pstack/ketchup-video/SKILL.md +29 -0
  30. package/skills/pstack/maintain-formal-verification-skill/SKILL.md +58 -0
  31. package/skills/pstack/maintain-verification-skill/SKILL.md +39 -0
  32. package/skills/pstack/make-bot-ui/SKILL.md +115 -0
  33. package/skills/pstack/no-comments/SKILL.md +24 -0
  34. package/skills/pstack/poteto-help/SKILL.md +163 -0
  35. package/skills/pstack/poteto-help/references/prompting.md +51 -0
  36. package/skills/pstack/poteto-help/references/recipes.md +51 -0
  37. package/skills/pstack/poteto-mode/SKILL.md +82 -56
  38. package/skills/pstack/poteto-mode/playbooks/authoring-a-skill.md +3 -3
  39. package/skills/pstack/poteto-mode/playbooks/autonomous-run.md +5 -4
  40. package/skills/pstack/poteto-mode/playbooks/autopilot-full.md +25 -0
  41. package/skills/pstack/poteto-mode/playbooks/autopilot-stack.md +8 -0
  42. package/skills/pstack/poteto-mode/playbooks/babysit.md +23 -0
  43. package/skills/pstack/poteto-mode/playbooks/bug-fix.md +6 -8
  44. package/skills/pstack/poteto-mode/playbooks/eval.md +6 -8
  45. package/skills/pstack/poteto-mode/playbooks/feature.md +7 -7
  46. package/skills/pstack/poteto-mode/playbooks/hillclimb.md +21 -0
  47. package/skills/pstack/poteto-mode/playbooks/investigation.md +3 -3
  48. package/skills/pstack/poteto-mode/playbooks/multi-phase-plan.md +153 -1
  49. package/skills/pstack/poteto-mode/playbooks/opening-a-pr.md +27 -4
  50. package/skills/pstack/poteto-mode/playbooks/orchestrate.md +25 -0
  51. package/skills/pstack/poteto-mode/playbooks/pause-safely.md +5 -5
  52. package/skills/pstack/poteto-mode/playbooks/perf-issue.md +16 -4
  53. package/skills/pstack/poteto-mode/playbooks/prototype.md +5 -5
  54. package/skills/pstack/poteto-mode/playbooks/refactoring.md +10 -9
  55. package/skills/pstack/poteto-mode/playbooks/runtime-forensics.md +3 -3
  56. package/skills/pstack/poteto-mode/playbooks/session-pickup.md +4 -6
  57. package/skills/pstack/poteto-mode/playbooks/shipping.md +12 -0
  58. package/skills/pstack/poteto-mode/playbooks/trace-forensics.md +5 -5
  59. package/skills/pstack/poteto-mode/playbooks/visual-parity.md +3 -3
  60. package/skills/pstack/poteto-mode/playbooks/worktree-cleanup.md +12 -0
  61. package/skills/pstack/poteto-mode/references/bugbot-triage.md +142 -0
  62. package/skills/pstack/poteto-mode/scripts/bootstrap.ts +62 -0
  63. package/skills/pstack/poteto-mode/scripts/bun.lock +67 -0
  64. package/skills/pstack/poteto-mode/scripts/check-plan.mjs +205 -0
  65. package/skills/pstack/poteto-mode/scripts/check-plan.test.ts +110 -0
  66. package/skills/pstack/poteto-mode/scripts/package.json +16 -0
  67. package/skills/pstack/poteto-mode/scripts/watch-pr/cli.test.ts +224 -0
  68. package/skills/pstack/poteto-mode/scripts/watch-pr/cli.ts +223 -0
  69. package/skills/pstack/poteto-mode/scripts/watch-pr/fakes.test-helper.ts +129 -0
  70. package/skills/pstack/poteto-mode/scripts/watch-pr/github.test.ts +498 -0
  71. package/skills/pstack/poteto-mode/scripts/watch-pr/github.ts +726 -0
  72. package/skills/pstack/poteto-mode/scripts/watch-pr/policy.test.ts +482 -0
  73. package/skills/pstack/poteto-mode/scripts/watch-pr/policy.ts +842 -0
  74. package/skills/pstack/poteto-mode/scripts/watch-pr/render.ts +169 -0
  75. package/skills/pstack/poteto-mode/scripts/watch-pr/tsconfig.json +13 -0
  76. package/skills/pstack/poteto-mode/scripts/watch-pr/types.compile.ts +93 -0
  77. package/skills/pstack/poteto-mode/scripts/watch-pr/types.ts +414 -0
  78. package/skills/pstack/poteto-mode/scripts/watch-pr/watch-pr +6 -0
  79. package/skills/pstack/poteto-mode/scripts/worktree-audit.sh +134 -0
  80. package/skills/pstack/principle-attack-the-premise/SKILL.md +21 -0
  81. package/skills/pstack/principle-boundary-discipline/SKILL.md +5 -3
  82. package/skills/pstack/principle-build-the-lever/SKILL.md +7 -7
  83. package/skills/pstack/principle-encode-lessons-in-structure/SKILL.md +2 -22
  84. package/skills/pstack/principle-exhaust-the-design-space/SKILL.md +1 -13
  85. package/skills/pstack/principle-experience-first/SKILL.md +5 -5
  86. package/skills/pstack/principle-explain-the-number/SKILL.md +18 -0
  87. package/skills/pstack/principle-fix-root-causes/SKILL.md +11 -12
  88. package/skills/pstack/principle-foundational-thinking/SKILL.md +5 -3
  89. package/skills/pstack/principle-guard-the-context-window/SKILL.md +1 -6
  90. package/skills/pstack/principle-laziness-protocol/SKILL.md +0 -7
  91. package/skills/pstack/principle-make-operations-idempotent/SKILL.md +4 -6
  92. package/skills/pstack/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +0 -8
  93. package/skills/pstack/principle-minimize-reader-load/SKILL.md +6 -9
  94. package/skills/pstack/principle-model-the-domain/SKILL.md +24 -0
  95. package/skills/pstack/principle-never-block-on-the-human/SKILL.md +7 -15
  96. package/skills/pstack/principle-outcome-oriented-execution/SKILL.md +0 -1
  97. package/skills/pstack/principle-prove-it-works/SKILL.md +2 -13
  98. package/skills/pstack/principle-redesign-from-first-principles/SKILL.md +4 -4
  99. package/skills/pstack/principle-separate-before-serializing-shared-state/SKILL.md +3 -3
  100. package/skills/pstack/principle-sequence-verifiable-units/SKILL.md +3 -8
  101. package/skills/pstack/principle-subtract-before-you-add/SKILL.md +3 -5
  102. package/skills/pstack/principle-test-behavior-not-implementation/SKILL.md +20 -0
  103. package/skills/pstack/principle-type-system-discipline/SKILL.md +5 -21
  104. package/skills/pstack/recall/SKILL.md +35 -0
  105. package/skills/pstack/reflect/SKILL.md +25 -33
  106. package/skills/pstack/reflect/references/divergent-reviewer.md +8 -13
  107. package/skills/pstack/reflect/references/judgment-reviewer.md +8 -13
  108. package/skills/pstack/reflect/references/synthesizer.md +4 -4
  109. package/skills/pstack/reflect/references/tooling-reviewer.md +9 -18
  110. package/skills/pstack/setup-pstack/SKILL.md +44 -21
  111. package/skills/pstack/sharpen/SKILL.md +16 -0
  112. package/skills/pstack/show-me-your-work/SKILL.md +20 -20
  113. package/skills/pstack/show-me-your-work/scripts/log.sh +4 -2
  114. package/skills/pstack/statechart/SKILL.md +82 -0
  115. package/skills/pstack/statechart/references/render.md +93 -0
  116. package/skills/pstack/statechart/scripts/backends/cfg.ts +33 -0
  117. package/skills/pstack/statechart/scripts/backends/mermaid.ts +201 -0
  118. package/skills/pstack/statechart/scripts/backends/plain-text.ts +72 -0
  119. package/skills/pstack/statechart/scripts/backends/report.ts +177 -0
  120. package/skills/pstack/statechart/scripts/frontends/config.ts +276 -0
  121. package/skills/pstack/statechart/scripts/frontends/dot.ts +74 -0
  122. package/skills/pstack/statechart/scripts/frontends/marks.ts +93 -0
  123. package/skills/pstack/statechart/scripts/frontends/messages.ts +52 -0
  124. package/skills/pstack/statechart/scripts/frontends/spec.ts +114 -0
  125. package/skills/pstack/statechart/scripts/frontends/trace.ts +24 -0
  126. package/skills/pstack/statechart/scripts/frontends/value.ts +166 -0
  127. package/skills/pstack/statechart/scripts/frontends/verdict.ts +40 -0
  128. package/skills/pstack/statechart/scripts/frontends/view.ts +119 -0
  129. package/skills/pstack/statechart/scripts/ir.ts +547 -0
  130. package/skills/pstack/statechart/scripts/package.json +11 -0
  131. package/skills/pstack/statechart/scripts/passes/annotate.ts +128 -0
  132. package/skills/pstack/statechart/scripts/passes/label.ts +269 -0
  133. package/skills/pstack/statechart/scripts/passes/lift.ts +85 -0
  134. package/skills/pstack/statechart/scripts/passes/loop-check.ts +68 -0
  135. package/skills/pstack/statechart/scripts/passes/paths.ts +60 -0
  136. package/skills/pstack/statechart/scripts/passes/reach.ts +135 -0
  137. package/skills/pstack/statechart/scripts/passes/region-check.ts +97 -0
  138. package/skills/pstack/statechart/scripts/passes/regions.ts +295 -0
  139. package/skills/pstack/statechart/scripts/pipeline.ts +76 -0
  140. package/skills/pstack/statechart/scripts/run.ts +481 -0
  141. package/skills/pstack/statechart/scripts/statechart +29 -0
  142. package/skills/pstack/statechart/scripts/statechart.ts +164 -0
  143. package/skills/pstack/statechart/scripts/test/ConfigOracle.java +63 -0
  144. package/skills/pstack/statechart/scripts/test/chart.test.ts +1210 -0
  145. package/skills/pstack/statechart/scripts/test/charts/Braces.mmd +7 -0
  146. package/skills/pstack/statechart/scripts/test/charts/Escapes.mmd +11 -0
  147. package/skills/pstack/statechart/scripts/test/charts/Phases.mmd +29 -0
  148. package/skills/pstack/statechart/scripts/test/cli.test.ts +1314 -0
  149. package/skills/pstack/statechart/scripts/test/config-fuzz.test.ts +263 -0
  150. package/skills/pstack/statechart/scripts/test/corpus/Counter/ChartRun.out +57 -0
  151. package/skills/pstack/statechart/scripts/test/corpus/Counter/Counter.cfg +3 -0
  152. package/skills/pstack/statechart/scripts/test/corpus/Counter/Counter.tla +10 -0
  153. package/skills/pstack/statechart/scripts/test/corpus/Counter/chart.mmd +9 -0
  154. package/skills/pstack/statechart/scripts/test/corpus/Counter/graph.dot +16 -0
  155. package/skills/pstack/statechart/scripts/test/corpus/Counter/report.md +7 -0
  156. package/skills/pstack/statechart/scripts/test/corpus/Counter/sany.out +2 -0
  157. package/skills/pstack/statechart/scripts/test/corpus/Counter/verdict-1.out +49 -0
  158. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/ChartRun.out +60 -0
  159. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg +4 -0
  160. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/CounterAction.tla +22 -0
  161. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/chart.mmd +26 -0
  162. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/graph.dot +19 -0
  163. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/report.md +20 -0
  164. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/sany.out +2 -0
  165. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/verdict-1.exit +1 -0
  166. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/verdict-1.out +56 -0
  167. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/verdict-2.exit +1 -0
  168. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/verdict-2.out +82 -0
  169. package/skills/pstack/statechart/scripts/test/corpus/CounterAction/verdict-3.out +57 -0
  170. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out +59 -0
  171. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg +3 -0
  172. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla +11 -0
  173. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd +22 -0
  174. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/graph.dot +16 -0
  175. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/report.md +17 -0
  176. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/sany.out +2 -0
  177. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit +1 -0
  178. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out +56 -0
  179. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit +1 -0
  180. package/skills/pstack/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out +77 -0
  181. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/ChartRun.out +69 -0
  182. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg +2 -0
  183. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/CounterFan.tla +11 -0
  184. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/chart.mmd +85 -0
  185. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/graph.dot +70 -0
  186. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/report.md +12 -0
  187. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/sany.out +2 -0
  188. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/verdict-1.exit +1 -0
  189. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/verdict-1.out +67 -0
  190. package/skills/pstack/statechart/scripts/test/corpus/CounterFan/verdict-2.out +57 -0
  191. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit +1 -0
  192. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/ChartRun.out +85 -0
  193. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg +6 -0
  194. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla +13 -0
  195. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/chart.mmd +5 -0
  196. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/graph.dot +10 -0
  197. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/report.md +31 -0
  198. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/sany.out +2 -0
  199. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit +1 -0
  200. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/verdict-1.out +64 -0
  201. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit +1 -0
  202. package/skills/pstack/statechart/scripts/test/corpus/CounterGuard/verdict-2.out +77 -0
  203. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out +55 -0
  204. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg +3 -0
  205. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla +10 -0
  206. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/chart.mmd +12 -0
  207. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/graph.dot +6 -0
  208. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/report.md +12 -0
  209. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/sany.out +2 -0
  210. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit +1 -0
  211. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out +33 -0
  212. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out +54 -0
  213. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out +54 -0
  214. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg +3 -0
  215. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla +10 -0
  216. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd +1 -0
  217. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot +6 -0
  218. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/report.md +7 -0
  219. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out +2 -0
  220. package/skills/pstack/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out +46 -0
  221. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/ChartRun.out +59 -0
  222. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg +2 -0
  223. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla +10 -0
  224. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla +6 -0
  225. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/chart.mmd +17 -0
  226. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/graph.dot +15 -0
  227. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/report.md +14 -0
  228. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/sany.out +3 -0
  229. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit +1 -0
  230. package/skills/pstack/statechart/scripts/test/corpus/CounterInstance/verdict-1.out +78 -0
  231. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/ChartRun.out +59 -0
  232. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg +3 -0
  233. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/CounterJump.tla +19 -0
  234. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/chart.mmd +26 -0
  235. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/graph.dot +22 -0
  236. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/report.md +12 -0
  237. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/sany.out +2 -0
  238. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/verdict-1.exit +1 -0
  239. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/verdict-1.out +58 -0
  240. package/skills/pstack/statechart/scripts/test/corpus/CounterJump/verdict-2.out +57 -0
  241. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/ChartRun.out +57 -0
  242. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg +2 -0
  243. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla +11 -0
  244. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/chart.mmd +17 -0
  245. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/graph.dot +15 -0
  246. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/report.md +14 -0
  247. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/sany.out +2 -0
  248. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit +1 -0
  249. package/skills/pstack/statechart/scripts/test/corpus/CounterLoop/verdict-1.out +76 -0
  250. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/ChartRun.out +59 -0
  251. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg +3 -0
  252. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla +11 -0
  253. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/chart.mmd +19 -0
  254. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/graph.dot +10 -0
  255. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/report.md +15 -0
  256. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/sany.out +2 -0
  257. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit +1 -0
  258. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/verdict-1.out +56 -0
  259. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit +1 -0
  260. package/skills/pstack/statechart/scripts/test/corpus/CounterOrder/verdict-2.out +67 -0
  261. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/ChartRun.out +62 -0
  262. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg +6 -0
  263. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/CounterRules.tla +24 -0
  264. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/Moves.tla +5 -0
  265. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/chart.mmd +22 -0
  266. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/graph.dot +10 -0
  267. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/report.md +23 -0
  268. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/sany.out +3 -0
  269. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-1.exit +1 -0
  270. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-1.out +58 -0
  271. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-2.exit +1 -0
  272. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-2.out +66 -0
  273. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-3.exit +1 -0
  274. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-3.out +74 -0
  275. package/skills/pstack/statechart/scripts/test/corpus/CounterRules/verdict-4.out +59 -0
  276. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/ChartRun.out +58 -0
  277. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg +3 -0
  278. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/CounterStart.tla +15 -0
  279. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/chart.mmd +18 -0
  280. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/graph.dot +13 -0
  281. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/report.md +11 -0
  282. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/sany.out +2 -0
  283. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/verdict-1.exit +1 -0
  284. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/verdict-1.out +33 -0
  285. package/skills/pstack/statechart/scripts/test/corpus/CounterStart/verdict-2.out +57 -0
  286. package/skills/pstack/statechart/scripts/test/corpus/CounterStop/ChartRun.out +57 -0
  287. package/skills/pstack/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg +3 -0
  288. package/skills/pstack/statechart/scripts/test/corpus/CounterStop/CounterStop.tla +15 -0
  289. package/skills/pstack/statechart/scripts/test/corpus/CounterStop/chart.mmd +7 -0
  290. package/skills/pstack/statechart/scripts/test/corpus/CounterStop/graph.dot +13 -0
  291. package/skills/pstack/statechart/scripts/test/corpus/CounterStop/report.md +6 -0
  292. package/skills/pstack/statechart/scripts/test/corpus/CounterStop/sany.out +2 -0
  293. package/skills/pstack/statechart/scripts/test/corpus/CounterStop/verdict-1.out +49 -0
  294. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/ChartRun.out +61 -0
  295. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg +4 -0
  296. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/CounterTie.tla +14 -0
  297. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/chart.mmd +30 -0
  298. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/graph.dot +19 -0
  299. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/report.md +27 -0
  300. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/sany.out +2 -0
  301. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-1.exit +1 -0
  302. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-1.out +56 -0
  303. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-2.exit +1 -0
  304. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-2.out +64 -0
  305. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-3.exit +1 -0
  306. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-3.out +87 -0
  307. package/skills/pstack/statechart/scripts/test/corpus/CounterTie/verdict-4.out +57 -0
  308. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out +60 -0
  309. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg +3 -0
  310. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla +12 -0
  311. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd +23 -0
  312. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot +19 -0
  313. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/report.md +11 -0
  314. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/sany.out +2 -0
  315. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit +1 -0
  316. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out +56 -0
  317. package/skills/pstack/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out +57 -0
  318. package/skills/pstack/statechart/scripts/test/corpus/CounterView/ChartRun.out +61 -0
  319. package/skills/pstack/statechart/scripts/test/corpus/CounterView/CounterView.cfg +4 -0
  320. package/skills/pstack/statechart/scripts/test/corpus/CounterView/CounterView.tla +14 -0
  321. package/skills/pstack/statechart/scripts/test/corpus/CounterView/chart.mmd +23 -0
  322. package/skills/pstack/statechart/scripts/test/corpus/CounterView/graph.dot +19 -0
  323. package/skills/pstack/statechart/scripts/test/corpus/CounterView/report.md +27 -0
  324. package/skills/pstack/statechart/scripts/test/corpus/CounterView/sany.out +2 -0
  325. package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-1.exit +1 -0
  326. package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-1.out +56 -0
  327. package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-2.exit +1 -0
  328. package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-2.out +64 -0
  329. package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-3.exit +1 -0
  330. package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-3.out +87 -0
  331. package/skills/pstack/statechart/scripts/test/corpus/CounterView/verdict-4.out +57 -0
  332. package/skills/pstack/statechart/scripts/test/corpus/CounterView/view.mjs +1 -0
  333. package/skills/pstack/statechart/scripts/test/corpus/DieHard/ChartRun.out +59 -0
  334. package/skills/pstack/statechart/scripts/test/corpus/DieHard/DieHard.cfg +4 -0
  335. package/skills/pstack/statechart/scripts/test/corpus/DieHard/DieHard.tla +38 -0
  336. package/skills/pstack/statechart/scripts/test/corpus/DieHard/chart.mmd +92 -0
  337. package/skills/pstack/statechart/scripts/test/corpus/DieHard/graph.dot +126 -0
  338. package/skills/pstack/statechart/scripts/test/corpus/DieHard/report.md +17 -0
  339. package/skills/pstack/statechart/scripts/test/corpus/DieHard/sany.out +2 -0
  340. package/skills/pstack/statechart/scripts/test/corpus/DieHard/verdict-1.exit +1 -0
  341. package/skills/pstack/statechart/scripts/test/corpus/DieHard/verdict-1.out +91 -0
  342. package/skills/pstack/statechart/scripts/test/corpus/DieHard/verdict-2.out +57 -0
  343. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/ChartRun.out +61 -0
  344. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg +6 -0
  345. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/FirstRule.tla +11 -0
  346. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/chart.mmd +22 -0
  347. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/graph.dot +16 -0
  348. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/report.md +25 -0
  349. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/sany.out +2 -0
  350. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-1.exit +1 -0
  351. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-1.out +56 -0
  352. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-2.exit +1 -0
  353. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-2.out +64 -0
  354. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-3.exit +1 -0
  355. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-3.out +64 -0
  356. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-4.exit +1 -0
  357. package/skills/pstack/statechart/scripts/test/corpus/FirstRule/verdict-4.out +77 -0
  358. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/ChartRun.out +57 -0
  359. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg +4 -0
  360. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla +11 -0
  361. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/chart.mmd +13 -0
  362. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/graph.dot +12 -0
  363. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/report.md +11 -0
  364. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/sany.out +2 -0
  365. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit +1 -0
  366. package/skills/pstack/statechart/scripts/test/corpus/HiddenClock/verdict-1.out +72 -0
  367. package/skills/pstack/statechart/scripts/test/corpus/Login/ChartRun.out +57 -0
  368. package/skills/pstack/statechart/scripts/test/corpus/Login/Login.cfg +3 -0
  369. package/skills/pstack/statechart/scripts/test/corpus/Login/Login.tla +62 -0
  370. package/skills/pstack/statechart/scripts/test/corpus/Login/chart.mmd +27 -0
  371. package/skills/pstack/statechart/scripts/test/corpus/Login/graph.dot +40 -0
  372. package/skills/pstack/statechart/scripts/test/corpus/Login/report.md +7 -0
  373. package/skills/pstack/statechart/scripts/test/corpus/Login/sany.out +1 -0
  374. package/skills/pstack/statechart/scripts/test/corpus/Login/verdict-1.out +47 -0
  375. package/skills/pstack/statechart/scripts/test/corpus/Login/view.mjs +1 -0
  376. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out +57 -0
  377. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg +2 -0
  378. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla +64 -0
  379. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/chart.mmd +28 -0
  380. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/graph.dot +37 -0
  381. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/report.md +8 -0
  382. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/sany.out +1 -0
  383. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out +47 -0
  384. package/skills/pstack/statechart/scripts/test/corpus/LoginGuarded/view.mjs +1 -0
  385. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/ChartRun.out +60 -0
  386. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg +3 -0
  387. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla +64 -0
  388. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/chart.mmd +44 -0
  389. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/graph.dot +58 -0
  390. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/report.md +17 -0
  391. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/sany.out +1 -0
  392. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit +1 -0
  393. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/verdict-1.out +83 -0
  394. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/verdict-2.out +57 -0
  395. package/skills/pstack/statechart/scripts/test/corpus/LoginParallel/view.mjs +1 -0
  396. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out +60 -0
  397. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg +3 -0
  398. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla +103 -0
  399. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/chart.mmd +43 -0
  400. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/graph.dot +93 -0
  401. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/report.md +14 -0
  402. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/sany.out +1 -0
  403. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit +1 -0
  404. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out +59 -0
  405. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out +72 -0
  406. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayer/view.mjs +3 -0
  407. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out +57 -0
  408. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg +2 -0
  409. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla +100 -0
  410. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd +31 -0
  411. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot +85 -0
  412. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/report.md +9 -0
  413. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out +1 -0
  414. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out +47 -0
  415. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs +3 -0
  416. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out +59 -0
  417. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla +103 -0
  418. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg +3 -0
  419. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla +6 -0
  420. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd +42 -0
  421. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot +93 -0
  422. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/report.md +19 -0
  423. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/sany.out +2 -0
  424. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit +1 -0
  425. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out +61 -0
  426. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out +59 -0
  427. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out +61 -0
  428. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit +1 -0
  429. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out +66 -0
  430. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit +1 -0
  431. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out +58 -0
  432. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out +49 -0
  433. package/skills/pstack/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs +3 -0
  434. package/skills/pstack/statechart/scripts/test/corpus/PickWorker/ChartRun.out +57 -0
  435. package/skills/pstack/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg +6 -0
  436. package/skills/pstack/statechart/scripts/test/corpus/PickWorker/PickWorker.tla +11 -0
  437. package/skills/pstack/statechart/scripts/test/corpus/PickWorker/chart.mmd +5 -0
  438. package/skills/pstack/statechart/scripts/test/corpus/PickWorker/graph.dot +11 -0
  439. package/skills/pstack/statechart/scripts/test/corpus/PickWorker/report.md +7 -0
  440. package/skills/pstack/statechart/scripts/test/corpus/PickWorker/sany.out +5 -0
  441. package/skills/pstack/statechart/scripts/test/corpus/PickWorker/verdict-1.out +70 -0
  442. package/skills/pstack/statechart/scripts/test/corpus/Shadow/ChartRun.out +61 -0
  443. package/skills/pstack/statechart/scripts/test/corpus/Shadow/Shadow.cfg +4 -0
  444. package/skills/pstack/statechart/scripts/test/corpus/Shadow/Shadow.tla +11 -0
  445. package/skills/pstack/statechart/scripts/test/corpus/Shadow/ShadowLib.tla +6 -0
  446. package/skills/pstack/statechart/scripts/test/corpus/Shadow/ShadowSub.tla +3 -0
  447. package/skills/pstack/statechart/scripts/test/corpus/Shadow/chart.mmd +9 -0
  448. package/skills/pstack/statechart/scripts/test/corpus/Shadow/graph.dot +16 -0
  449. package/skills/pstack/statechart/scripts/test/corpus/Shadow/report.md +8 -0
  450. package/skills/pstack/statechart/scripts/test/corpus/Shadow/sany.out +4 -0
  451. package/skills/pstack/statechart/scripts/test/corpus/Shadow/verdict-1.out +65 -0
  452. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/ChartRun.out +59 -0
  453. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg +2 -0
  454. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla +9 -0
  455. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/chart.mmd +23 -0
  456. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/graph.dot +17 -0
  457. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/report.md +15 -0
  458. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/sany.out +1 -0
  459. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit +1 -0
  460. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/verdict-1.out +65 -0
  461. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit +1 -0
  462. package/skills/pstack/statechart/scripts/test/corpus/SpacedNames/verdict-2.out +75 -0
  463. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/ChartRun.out +69 -0
  464. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg +3 -0
  465. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla +75 -0
  466. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/chart.mmd +60 -0
  467. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/graph.dot +297 -0
  468. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/report.md +20 -0
  469. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/sany.out +1 -0
  470. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit +1 -0
  471. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/verdict-1.out +95 -0
  472. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/verdict-2.out +57 -0
  473. package/skills/pstack/statechart/scripts/test/corpus/TwoPhase/view.mjs +1 -0
  474. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out +57 -0
  475. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg +3 -0
  476. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla +75 -0
  477. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd +37 -0
  478. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot +223 -0
  479. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/report.md +11 -0
  480. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out +1 -0
  481. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out +47 -0
  482. package/skills/pstack/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs +1 -0
  483. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit +1 -0
  484. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/ChartRun.out +75 -0
  485. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg +5 -0
  486. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla +11 -0
  487. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/chart.mmd +18 -0
  488. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/graph.dot +14 -0
  489. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/report.md +29 -0
  490. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/sany.out +2 -0
  491. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit +1 -0
  492. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/verdict-1.out +64 -0
  493. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit +1 -0
  494. package/skills/pstack/statechart/scripts/test/corpus/TypeGuard/verdict-2.out +75 -0
  495. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out +58 -0
  496. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg +2 -0
  497. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla +8 -0
  498. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd +22 -0
  499. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot +16 -0
  500. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/report.md +15 -0
  501. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/sany.out +2 -0
  502. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit +1 -0
  503. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out +56 -0
  504. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit +1 -0
  505. package/skills/pstack/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out +77 -0
  506. package/skills/pstack/statechart/scripts/test/corpus.test.ts +403 -0
  507. package/skills/pstack/statechart/scripts/test/differential.test.ts +565 -0
  508. package/skills/pstack/statechart/scripts/test/grid/Grid.cfg +2 -0
  509. package/skills/pstack/statechart/scripts/test/grid/Grid.tla +9 -0
  510. package/skills/pstack/statechart/scripts/test/grid/sany.out +2 -0
  511. package/skills/pstack/statechart/scripts/test/java.ts +63 -0
  512. package/skills/pstack/statechart/scripts/test/labels.ts +643 -0
  513. package/skills/pstack/statechart/scripts/test/messages.test.ts +212 -0
  514. package/skills/pstack/statechart/scripts/test/pipeline.test.ts +270 -0
  515. package/skills/pstack/statechart/scripts/test/plain-tlc.test.ts +255 -0
  516. package/skills/pstack/statechart/scripts/test/render.test.ts +81 -0
  517. package/skills/pstack/statechart/scripts/test/tlc-out.test.ts +90 -0
  518. package/skills/pstack/statechart/scripts/test/tlc.ts +158 -0
  519. package/skills/pstack/statechart/scripts/tsconfig.json +11 -0
  520. package/skills/pstack/statechart/scripts/worker.ts +35 -0
  521. package/skills/pstack/swarm/SKILL.md +41 -0
  522. package/skills/pstack/tdd/SKILL.md +2 -4
  523. package/skills/pstack/teach/SKILL.md +21 -0
  524. package/skills/pstack/technical-writing/SKILL.md +106 -0
  525. package/skills/pstack/typescript-best-practices/SKILL.md +11 -4
  526. package/skills/pstack/typescript-best-practices/references/patterns.md +127 -22
  527. package/skills/pstack/unslop/SKILL.md +18 -36
  528. package/skills/pstack/why/SKILL.md +31 -162
  529. package/skills/pstack/why/references/epistemics.md +22 -95
  530. package/skills/pstack/why/references/investigator-prompt.md +23 -42
  531. package/skills/pstack/why/references/source-playbook.md +1 -1
  532. package/skills/pstack/why/references/sources/code-archaeology.md +6 -43
  533. package/skills/pstack/why/references/sources/databricks.md +7 -7
  534. package/skills/pstack/why/references/sources/datadog.md +13 -15
  535. package/skills/pstack/why/references/sources/incident-postmortem.md +0 -10
  536. package/skills/pstack/why/references/sources/linear.md +2 -2
  537. package/skills/pstack/why/references/sources/notion.md +3 -3
  538. package/skills/pstack/why/references/sources/sentry.md +3 -37
  539. package/skills/pstack/why/references/sources/slack.md +1 -38
  540. package/skills/pstack/why/references/synthesizer-prompt.md +35 -41
  541. package/docs/pstack/poteto-agent.md +0 -8
  542. package/skills/pstack/how/references/critic-prompt.md +0 -59
  543. package/skills/pstack/how/references/critique-rubric.md +0 -58
  544. package/skills/pstack/interrogate/references/code-quality-review.md +0 -47
  545. package/skills/pstack/interrogate/references/lead-judgment.md +0 -58
  546. package/skills/pstack/interrogate/references/reviewer-prompt.md +0 -72
  547. package/skills/pstack/interrogate/references/rubric.md +0 -77
  548. package/skills/pstack/poteto-mode/references/plan.md +0 -105
@@ -6,10 +6,10 @@
6
6
  - PR descriptions, review comments, and discussion threads (via `gh`)
7
7
  - Inline code comments, TODOs, FIXMEs, deprecation notes
8
8
  - ADRs (architectural decision records) if the repo keeps them
9
- - Tests. Names and assertions often encode the edge cases that motivated a change
9
+ - Tests, whose names and assertions often encode the edge cases that motivated a change
10
10
  - Related files modified in the same commits (co-change signal)
11
- - CHANGELOG entries, release notes in the repo
12
- - Issue/ticket IDs mentioned in commit messages and PR bodies
11
+ - CHANGELOG entries and release notes in the repo
12
+ - Issue/ticket IDs in commit messages and PR bodies
13
13
 
14
14
  The most trustworthy source, tied directly to the code, and the most complete. Everything that went through the repo should be here.
15
15
 
@@ -18,7 +18,7 @@ The most trustworthy source, tied directly to the code, and the most complete. E
18
18
  Expand the seed commit list:
19
19
 
20
20
  ```bash
21
- # Full history of the file through renames
21
+ # History through renames
22
22
  git log --follow --oneline -- <file>
23
23
 
24
24
  # Pickaxe: commits that added or removed this exact text
@@ -30,25 +30,13 @@ git log -G '<regex>' -- <file>
30
30
  # Who wrote each line and when
31
31
  git blame -L <start>,<end> <file>
32
32
 
33
- # The full diff of a specific commit
33
+ # One commit's full diff
34
34
  git show <hash>
35
35
 
36
36
  # Commits between two points affecting this file
37
37
  git log <old>..<new> -p -- <file>
38
38
  ```
39
39
 
40
- For each substantive commit, pull the PR context:
41
-
42
- ```bash
43
- # Find the PR number from the merge commit or branch
44
- git log -1 --format=%B <hash>
45
-
46
- # Full PR context: body, review comments, linked issues
47
- gh pr view <number> --json title,body,author,createdAt,mergedAt,labels,closingIssuesReferences,comments,reviews,files
48
-
49
- # The --json reviews and comments fields are where the real signal is
50
- ```
51
-
52
40
  Look for out-of-band docs:
53
41
 
54
42
  ```bash
@@ -58,31 +46,6 @@ rg -l -i 'architecture.decision' --glob '*.md'
58
46
  # TODOs and FIXMEs near the target
59
47
  rg -n -C2 '(TODO|FIXME|HACK|XXX|NOTE)' <target_file>
60
48
 
61
- # Related tests. Names often encode the "why"
49
+ # Related tests
62
50
  rg -l '<symbol>' --glob '*test*'
63
51
  ```
64
-
65
- ## What good evidence looks like here
66
-
67
- - A PR description that explains the problem being solved, not just the change ("This fixes the pagination bug that caused X")
68
- - A long review thread where alternatives were debated
69
- - An inline comment near the target line that explains a non-obvious constraint
70
- - A test named `test_handles_edge_case_when_X` that reveals an edge case motivating the code
71
- - A commit message that references a ticket or incident ID
72
- - A CHANGELOG entry that summarizes the user-visible rationale
73
-
74
- ## Common pitfalls
75
-
76
- - **Squash-merge flatlands.** If the repo squashes PRs, individual commits in the branch history are lost. Fall back to PR body and comments.
77
- - **Misleading commit messages.** "Small refactor" sometimes hides an intentional behavior change. Look at the diff, not the message.
78
- - **Cargo-culted patterns.** The author may have copied a pattern without understanding why. Check if the pattern originated earlier in the codebase and investigate *that* commit.
79
- - **Bot commits and auto-merges.** Dependabot, Renovate, and automated backports usually don't carry motivation. Skip them when trying to find intent.
80
- - **Treating code as evidence of intent.** The code itself isn't evidence for why it exists. Evidence comes from commit messages, PRs, comments, tests, docs. Don't cite "the function is named X" as evidence of intent.
81
-
82
- ## What to return
83
-
84
- Every commit/PR/comment that bears on the question, with:
85
- - The exact text (quoted)
86
- - The hash / PR number / file:line
87
- - Author and date
88
- - Whether it's direct (explicitly addresses the question) or circumstantial
@@ -2,20 +2,20 @@
2
2
 
3
3
  ## What this source contains
4
4
 
5
- Databricks is the product-analytics, data-pipeline, and warehouse-telemetry layer. It complements Datadog: Datadog is the *infra/runtime* view, Databricks is the *product/data* view (what users did, which experiments ran, how feature usage evolved, where a threshold constant came from).
5
+ Databricks is the product-analytics, data-pipeline, and warehouse-telemetry layer. It complements Datadog. Datadog is the *infra/runtime* view, Databricks is the *product/data* view (what users did, which experiments ran, how feature usage evolved, where a threshold constant came from).
6
6
 
7
7
  - **Product analytics events.** `your_warehouse.events.analytics_track_event` (raw) and typed, deduplicated per-event dbt models in `<your_analytics_db>.<schema>.<table>`. User behavior: feature invocations, clicks, accepts/rejects, submissions, client-reported errors.
8
- - **Usage & billing events.** `your_warehouse.events.usage_event` / `<your_analytics_db>.<schema>.stg_usage_events`; `your_warehouse.events.raw_model_event` / `<your_analytics_db>.<schema>.stg_raw_model_events`. For cost- or volume-driven decisions.
8
+ - **Usage & billing events.** `your_warehouse.events.usage_event` / `<your_analytics_db>.<schema>.stg_usage_events`, `your_warehouse.events.raw_model_event` / `<your_analytics_db>.<schema>.stg_raw_model_events`. For cost- or volume-driven decisions.
9
9
  - **Experiment / feature-flag data.** Exposure and outcome tables. **Schema is company-specific.** Probe with `SHOW TABLES` before assuming names.
10
10
  - **System tables.** `system.query.history`, `system.compute.warehouses`, `system.billing.*`, `system.access.audit`. Answer "was this query expensive?", "how often did anyone run this?", "when did warehouse load spike?"
11
- - **dbt lineage.** Models in `<your_analytics_db>.<schema>` reveal what pipelines depend on a table/field; upstream changes frequently motivate consumer-code changes.
11
+ - **dbt lineage.** Models in `<your_analytics_db>.<schema>` reveal what pipelines depend on a table/field. Upstream changes frequently motivate consumer-code changes.
12
12
  - **Databricks notebooks.** Exploratory analyses engineers wrote before code changes. **Not queryable via the SQL MCP.** If you suspect the rationale lives in a notebook, name it as a gap.
13
13
 
14
14
  ## How to search it
15
15
 
16
16
  Use the Databricks SQL MCP. Primary tool: `execute_sql_read_only`. If it returns a `statement_id`, poll with `poll_sql_result` rather than re-running.
17
17
 
18
- **Orient before querying.** Schemas are company-specific; probe before trusting a table name:
18
+ **Orient before querying.** Schemas are company-specific. Probe before trusting a table name:
19
19
 
20
20
  ```sql
21
21
  SHOW TABLES IN <your_analytics_db>.<schema> LIKE '*<keyword>*';
@@ -24,7 +24,7 @@ DESCRIBE TABLE <your_analytics_db>.<schema>.stg_<event>;
24
24
 
25
25
  **Time-bound every query.** These tables are huge and unconstrained scans time out. Filter on `_timestamp` (events) or `start_time` (`system.query.history`) with a window bracketing the ship date, typically ~30 days before and after, wider only for strong reason.
26
26
 
27
- **Prefer typed dbt models over the raw table.** `<your_analytics_db>.<schema>.<table>` is deduplicated, typed, and liquid-clustered; `your_warehouse.events.analytics_track_event` has duplicates and untyped `properties_json`. Model-name pattern: `stg_<source>_<event_name_with_underscores>`, where `<source>` is `app`, `backend`, `website`, or `cli`. See the `databricks-use-dbt-models` skill for the full mapping. Drop to the raw table only when there's no dbt model yet, or you need events from inside the dbt refresh lag.
27
+ **Prefer typed dbt models over the raw table.** `<your_analytics_db>.<schema>.<table>` is deduplicated, typed, and liquid-clustered. `your_warehouse.events.analytics_track_event` has duplicates and untyped `properties_json`. Model-name pattern: `stg_<source>_<event_name_with_underscores>`, where `<source>` is `app`, `backend`, `website`, or `cli`. Confirm the exact model name with `SHOW TABLES` when the pattern alone doesn't resolve it. Drop to the raw table only when there's no dbt model yet, or you need events from inside the dbt refresh lag.
28
28
 
29
29
  **Column conventions on the typed dbt models** (knowing these avoids a `DESCRIBE` round-trip):
30
30
 
@@ -53,7 +53,7 @@ Beyond the pattern shapes above:
53
53
 
54
54
  - **Instrumented ≠ caused.** An event's existence means someone cared enough to log it, not that the target code exists *because* of it. Pair with a PR/commit citation from the git investigator before claiming causation.
55
55
  - **Silent instrumentation changes.** A step function in event volume may mean a new event started being logged, not that user behavior changed. Check for instrumentation PRs in the same window before reading the ramp as a feature-launch signal.
56
- - **Schema drift.** Event properties evolve; a column on the typed dbt model today may not have existed when the target was written. Older data may carry the property only inside raw `properties_json`.
56
+ - **Schema drift.** Event properties evolve. A column on the typed dbt model today may not have existed when the target was written. Older data may carry the property only inside raw `properties_json`.
57
57
  - **dbt refresh lag.** `<your_analytics_db>.<schema>.*` is rebuilt on a schedule (often hourly/daily). For events from the last few hours, fall back to `your_warehouse.events.*` and deduplicate by `_id`.
58
58
  - **Company-specific tables.** Experiment, feature-flag, billing, and usage tables vary. Reporting a result from a table whose existence you never confirmed is a classic failure mode. Probe with `SHOW TABLES` / `DESCRIBE TABLE` first.
59
59
  - **Retention cliff.** If the relevant window predates the table's retention or the dbt model's creation date, that's a *gap*, not a null result. Name it explicitly so the synthesizer doesn't read "no results" as "no activity."
@@ -66,5 +66,5 @@ For each relevant finding:
66
66
  - Fully-qualified table name and the exact query you ran
67
67
  - Time window queried
68
68
  - Compact numeric summary (counts, percentiles, first/last-seen timestamps). **Don't dump raw rows.**
69
- - Temporal correlation with the target's ship date (e.g., "first row 2024-08-15; PR #49074 merged 2024-08-14")
69
+ - Temporal correlation with the target's ship date (e.g., "first row 2024-08-15, PR #49074 merged 2024-08-14")
70
70
  - Relevance + strength: direct / circumstantial / weak
@@ -2,17 +2,15 @@
2
2
 
3
3
  ## What this source contains
4
4
 
5
- Datadog holds the runtime record: what actually happened in production, as opposed to what was planned or discussed.
5
+ Datadog holds the runtime record, what actually happened in production, as opposed to what was planned or discussed.
6
6
 
7
- - **Metrics.** Counters, gauges, histograms instrumented by the team. A metric's *presence* is itself evidence: someone thought this number worth watching.
7
+ - **Metrics.** Counters, gauges, histograms instrumented by the team. A metric's *presence* is itself evidence that someone thought the number worth watching.
8
8
  - **Monitors & alerts.** Conditions the team decided warranted waking someone up. A monitor firing on `rate_limit_hit > 10/min` is direct evidence the team worried about that threshold.
9
- - **Dashboards.** Curated views. The charts tell you what the team considers important for a subsystem.
10
- - **APM traces & spans.** Request-level runtime data. Useful for "why is this slow" / "why is there a timeout here" questions.
11
- - **Logs.** High-volume event records. Often contain the error conditions that motivated defensive code.
9
+ - **Dashboards.** Curated views of what the team considers important for a subsystem.
10
+ - **APM traces & spans.** Request-level runtime data, for "why is this slow" / "why is there a timeout here" questions.
11
+ - **Logs.** High-volume event records, often holding the error conditions that motivated defensive code.
12
12
  - **Incidents.** Formal incident records with timelines and linked postmortems.
13
- - **Notebooks.** Exploratory investigations; often contain hypotheses and analyses.
14
-
15
- Datadog answers "what was the production reality around the time this code was written?", which often explains the code's shape.
13
+ - **Notebooks.** The team's exploratory investigations, often with hypotheses and analyses.
16
14
 
17
15
  ## How to search it
18
16
 
@@ -25,7 +23,7 @@ Use the Datadog MCP. Start broad, then narrow.
25
23
  search_datadog_service_dependencies (see upstream/downstream)
26
24
  ```
27
25
 
28
- 2. **Dashboards and monitors first. They tell you what the team cares about.**
26
+ 2. **Dashboards and monitors first.**
29
27
 
30
28
  ```
31
29
  search_datadog_dashboards (query: feature name, service name, symbol)
@@ -51,7 +49,7 @@ Use the Datadog MCP. Start broad, then narrow.
51
49
  analyze_datadog_logs (SQL-style aggregations, only when you need counts)
52
50
  ```
53
51
 
54
- Search with symbols, error strings, or feature names. **Strongly prefer time-bounded queries** (e.g., 30 days before/after the change). Log volume is huge; unconstrained searches waste time and may time out.
52
+ Search with symbols, error strings, or feature names. **Strongly prefer time-bounded queries** (e.g., 30 days before/after the change).
55
53
 
56
54
  5. **APM spans and traces.**
57
55
 
@@ -74,7 +72,7 @@ Use the Datadog MCP. Start broad, then narrow.
74
72
 
75
73
  ## What good evidence looks like here
76
74
 
77
- - A monitor whose query and threshold match the constraint the code enforces (code clamps to 100; monitor alerts when requests exceed 100/min)
75
+ - A monitor whose query and threshold match the constraint the code enforces (code clamps to 100, monitor alerts when requests exceed 100/min)
78
76
  - A dashboard created by the target's author, with widgets that correspond to what the code measures or guards against
79
77
  - A metric showing a production spike immediately before the code was merged, and stable values after
80
78
  - An incident record referencing the target code, the same symbols, or the same error strings
@@ -82,11 +80,11 @@ Use the Datadog MCP. Start broad, then narrow.
82
80
 
83
81
  ## Common pitfalls
84
82
 
85
- - **Correlation is not causation.** A spike before a PR and stabilization after is suggestive, not definitive. Other changes may have landed in the same window. Check neighboring PRs.
86
- - **Overfitting to the chart you found.** Datadog visualizations are *made* by humans and reflect that human's framing. A chart named "retry success rate" is evidence the team cared about retry success, not that it's why a specific line of code exists.
83
+ - **Correlation is not causation.** A spike before a PR and stabilization after is suggestive, not definitive, since other changes may have landed in the same window. Check neighboring PRs.
84
+ - **Overfitting to the chart you found.** A chart reflects its maker's framing. A chart named "retry success rate" is evidence the team cared about retry success, not that it's why a specific line of code exists.
87
85
  - **Vanished telemetry.** Metrics can be renamed, deleted, or have short retention. If you can't find data from the relevant window, that's a gap, not a null result.
88
- - **Noise at scale.** Searching logs for a common string returns thousands of matches. Narrow by service, tag, and time aggressively. Use `analyze_datadog_logs` to aggregate rather than dumping raw logs.
89
- - **Instrumented != caused.** A metric's existence tells you someone cared enough to measure something, not that the code was added *because* of it. Cross-reference with commit/PR dates.
86
+ - **Noise at scale.** Narrow log searches by service, tag, and time window aggressively. Use `analyze_datadog_logs` to aggregate rather than dumping raw logs.
87
+ - **Instrumented != caused.** A metric shows someone cared enough to measure something, not that the code was added *because* of it. Cross-reference with commit/PR dates.
90
88
 
91
89
  ## What to return
92
90
 
@@ -1,15 +1,5 @@
1
1
  # Incident & Postmortem Context
2
2
 
3
- Not a separate source, a **cross-cutting angle**. Incidents often motivate defensive code ("we added this check after the X outage"), so if the target looks defensive (null checks, retry logic, timeout handling, rate limiting, feature flags), specifically hunt for incident history across every available source:
4
-
5
- - **Notion**: search for postmortems mentioning the target file, feature, or error string
6
3
  - **Linear**: look for tickets labeled `incident`, `sev-*`, `postmortem-action-item`, `reliability`
7
4
  - **Slack**: search `#sev-*` and `#incident-*` channels around the dates the target code was added
8
5
  - **Git**: commits with messages like "fix for incident", "add defensive check", "revert" followed by "re-apply with..." are strong signals
9
- - **Datadog**: `search_datadog_incidents` for formal incident records with timelines; dashboards and monitors created as postmortem action items
10
- - **Sentry**: issues whose first-seen/last-seen window aligns with the target's PR ship date; stack traces through the target
11
- - **Databricks**: product-analytics events that classify an error condition (client-reported failures, user-visible retry events, etc.) often spike during an incident window. A drop in that event count after the target PR ships is circumstantial support that the target code resolved the user-visible symptom, even when Datadog/Sentry signal is noisy.
12
-
13
- If you find an incident link, fetch the full postmortem. Postmortems typically have an "Action Items" section that ties directly to code changes. When multiple sources corroborate (a Datadog incident ID appears in a Linear ticket, which appears in a Notion postmortem, which appears in a Slack thread that links to the target PR, and the Databricks error-event count drops after the fix), the evidence is especially strong.
14
-
15
- Worth spending time on when the code's defensive character makes an incident-driven origin plausible. Skip it for code that doesn't look defensive.
@@ -18,7 +18,7 @@ Use the Linear MCP.
18
18
 
19
19
  1. **Start with linked tickets.** If the seed commits or PRs reference ticket IDs (e.g., `ENG-1234`, `[BUG-567]`), fetch those first with `get_issue`. Read the full issue including comments.
20
20
  2. **List related issues by keyword.** Use `list_issues` with text search for the feature name, key symbol, or business term. Try multiple phrasings.
21
- 3. **Walk the issue tree.** If you land on a sub-issue, fetch its parent. Sub-issues are tactical; parents often carry the "why."
21
+ 3. **Walk the issue tree.** If you land on a sub-issue, fetch its parent. Sub-issues are tactical. Parents often carry the "why."
22
22
  4. **Read project docs.** If the issue belongs to a project, use `get_project` and check attached docs. Project-level documents are where specs and rationale are most often captured.
23
23
  5. **Check labels and milestones.** Labels hint at the category of motivation (customer-request, incident-followup, compliance). Milestones tie work to deadlines, which often reveal motivation.
24
24
 
@@ -42,7 +42,7 @@ Use the Linear MCP.
42
42
 
43
43
  For each relevant ticket:
44
44
  - Ticket ID and title
45
- - The problem/motivation quoted from the description or comments (not paraphrased; the synthesizer needs the exact text to cite)
45
+ - The problem/motivation quoted from the description or comments (not paraphrased. The synthesizer needs the exact text to cite)
46
46
  - Labels, parent issue, project
47
47
  - Author, created date, closed date
48
48
  - Link to the ticket if available
@@ -23,7 +23,7 @@ Use the Notion MCP.
23
23
  - Author handles (design docs are often authored before the code lands)
24
24
  - Error strings or user-visible terms
25
25
  - Time-bounded queries if you know when the code shipped
26
- 2. **Fetch candidate pages with `notion-fetch`.** Read the full content, not the preview; rationale is often buried mid-document.
26
+ 2. **Fetch candidate pages with `notion-fetch`.** Read the full content, not the preview. Rationale is often buried mid-document.
27
27
  3. **Follow backlinks and child pages.** Design docs often have sub-pages for alternatives considered, appendices, or implementation notes.
28
28
  4. **Check related databases.** `notion-query-data-sources` and `notion-query-meeting-notes` can surface meeting notes that discussed the decision.
29
29
  5. **Search author-specific spaces.** If the PR author has a personal notebook (common at some companies), it may hold exploratory thinking that preceded the code.
@@ -38,8 +38,8 @@ Use the Notion MCP.
38
38
 
39
39
  ## Common pitfalls
40
40
 
41
- - **Outdated docs.** Specs are often written before implementation and not updated; the doc may describe a plan that changed. Cross-check against the actual PR.
42
- - **Doc vs. reality drift.** A spec may say "we'll do X" but the code actually does Y. Flag the divergence; the synthesizer will surface the contradiction.
41
+ - **Outdated docs.** Specs are often written before implementation and not updated. The doc may describe a plan that changed. Cross-check against the actual PR.
42
+ - **Doc vs. reality drift.** A spec may say "we'll do X" but the code actually does Y. Flag the divergence. The synthesizer will surface the contradiction.
43
43
  - **Boilerplate templates.** Some orgs require a "Why" section that gets filled with fluff. Look for specificity.
44
44
  - **Unlinked docs.** The most relevant doc may not be linked from anywhere. Broad keyword searches help.
45
45
  - **Multiple drafts.** If a topic has multiple docs, find the one that was finalized or most recently updated. Check dates.
@@ -1,18 +1,5 @@
1
1
  # Sentry Error History
2
2
 
3
- ## What this source contains
4
-
5
- Sentry is the archive of things that went wrong. For defensive, corrective, or error-handling code, it often holds the direct motivation: the specific exceptions, stack traces, and frequencies that pushed someone to add a check, catch, retry, or fallback.
6
-
7
- - **Issues.** Grouped errors with counts, first/last seen timestamps, affected releases, and comments
8
- - **Events.** Individual error instances within an issue (stack traces, tags, user context)
9
- - **Releases.** Deployment records with associated issues (useful for "which version fixed this?")
10
- - **Replays.** Session recordings of user-facing errors (if enabled)
11
- - **Profiles.** Performance profiling data (less useful for "why"; more for "how slow")
12
- - **Issue comments & assignments.** Sometimes contain engineer notes on root cause
13
-
14
- The most valuable thing Sentry provides is **temporal correlation**: "issue X was created 2024-01-02, peaked at 500 events/day, stopped appearing after release v2.14.0 on 2024-01-15, the release that shipped the defensive check."
15
-
16
3
  ## How to search it
17
4
 
18
5
  Use the Sentry MCP.
@@ -30,7 +17,7 @@ Use the Sentry MCP.
30
17
  search_issues (natural language, e.g., "errors in PaymentService timeout", "unhandled exceptions in uploadFile")
31
18
  ```
32
19
 
33
- Good query components: exception class names the target handles, the function or class name of the target, error message strings the target checks for, the file path of the target.
20
+ Build queries from the exception class names the target handles, its function or class name, the error message strings it checks for, and its file path.
34
21
 
35
22
  3. **Narrow by release and time window.**
36
23
 
@@ -39,11 +26,7 @@ Use the Sentry MCP.
39
26
  get_issue_tag_values (for an issue, see distribution across versions, users, environments)
40
27
  ```
41
28
 
42
- For a suspected issue, check:
43
- - **First seen.** When did the error start appearing?
44
- - **Last seen.** When did it stop? Does it line up with the target's ship date?
45
- - **Affected releases.** Which versions saw it? Which was the fix?
46
- - **Frequency trajectory.** Did it spike, then get resolved?
29
+ For a suspected issue, check **first seen** and **last seen** (does the stop line up with the target's ship date?), the **affected releases** (which saw it, and which was the fix?), and the **frequency trajectory** (did it spike, then get resolved?).
47
30
 
48
31
  4. **Pull the full event for context.**
49
32
 
@@ -67,24 +50,7 @@ Use the Sentry MCP.
67
50
  analyze_issue_with_seer
68
51
  ```
69
52
 
70
- Seer produces AI root-cause analyses. Useful as a hypothesis generator, but treat them as inference, not authoritative. The actual events and stack traces are the primary evidence; Seer's narrative is secondary.
71
-
72
- ## What good evidence looks like here
73
-
74
- - An issue whose **first seen** is shortly before the target's PR and **last seen** shortly after, suggesting the target addressed this error
75
- - Stack traces that pass through or land on the target function, showing the exact failure mode being defended against
76
- - A comment on the issue from the PR author describing the fix
77
- - The target's PR description or commit message referencing a Sentry issue URL or ID
78
- - An issue with high event counts that stops after the release containing the target
79
-
80
- ## Common pitfalls
81
-
82
- - **Grouping drift.** Sentry groups errors by fingerprint. Refactors or renames can track the "same" error under a new issue ID. If an issue ends abruptly, the error may have just been regrouped. Check for new issues immediately after.
83
- - **Release correlation is noisy.** A release contains many commits. An issue stopping at v2.14.0 doesn't prove the target fixed it; another change in the same release might have. Cross-reference with the target's exact commit.
84
- - **Silent fixes.** Sometimes the error stops because upstream changed, not because of the defensive code. The correlation suggests the fix; it doesn't prove authorship.
85
- - **Resolved != fixed.** Issues can be marked "resolved" manually without any code change. Treat `resolved` as a human marker, not evidence that code fixed it.
86
- - **Seer hallucinations.** Seer can generate confident-sounding explanations that aren't right. Fall back to the actual events, stack traces, and timestamps when making claims.
87
- - **Sampling.** Some projects sample events aggressively. A low event count may just mean high sampling, not a rare error. If in doubt, note the gap.
53
+ Seer's AI root-cause analyses are a hypothesis generator. Treat them as inference, not authoritative. The actual events and stack traces are the primary evidence.
88
54
 
89
55
  ## What to return
90
56
 
@@ -1,54 +1,17 @@
1
1
  # Slack Conversations
2
2
 
3
- ## What this source contains
4
-
5
- - Real-time discussions of problems and decisions
6
- - Incident channels where fire-drill decisions were made
7
- - Design discussion threads where tradeoffs were debated
8
- - Questions answered by senior engineers that didn't make it into docs
9
- - Post-merge discussions that explain why something was revisited
10
- - DMs (usually not searchable, scope accordingly)
11
-
12
- Slack is frequently where the *real* decisions got made, especially for smaller changes that didn't warrant a doc. It's also the most ephemeral source: threads get deleted, channels get archived, and search quality degrades over time.
13
-
14
3
  ## How to search it
15
4
 
16
5
  Slack MCP tools vary. Check which Slack MCP is available and inspect its tool schema first. It may require `mcp_auth`. If authentication fails, stop and report the gap.
17
6
 
18
7
  1. **Author-bounded search.** Messages from the PR author around the PR merge date. Limits scope dramatically and often hits gold.
19
- 2. **Keyword search for the feature name and key symbols.** Include misspellings and casual phrasings.
20
8
  3. **PR URL search.** Slack often links PRs when they're reviewed or discussed. Search for the PR URL (or just `/pull/<number>`).
21
9
  4. **Error string search.** If the code handles a specific error, search for the error string. Incident threads often surface.
22
- 5. **Channel-scoped search.** Narrow to likely channels:
23
- - `#eng-*`. Engineering discussions
24
- - `#proj-*`. Project channels
25
- - `#incident-*` / `#sev-*`. Incident channels
26
- - Team-specific channels for the owning team
27
- - Design review channels
28
- 6. **Thread traversal.** When you find a relevant message, fetch the whole thread. The decision often lives in the replies.
29
-
30
- ## What good evidence looks like here
31
-
32
- - A thread where tradeoffs were explicitly debated ("I was going to use A but B is better because...")
33
- - An incident channel message describing the bug the code prevents
34
- - A question from a reviewer and an authoritative answer from the author or lead
35
- - A reference to a meeting where a decision was made
36
- - A message from a product manager or customer-facing engineer explaining a customer ask
37
10
 
38
11
  ## Common pitfalls
39
12
 
40
13
  - **Channel archaeology limits.** Very old messages may be gone due to retention policies. If you can't find anything before a certain date, note the retention cliff.
41
- - **Unsearched DMs.** Many decisions happen in DMs that aren't searchable. You'll miss them; that's a known limitation.
14
+ - **Unsearched DMs.** Many decisions happen in DMs that aren't searchable. You'll miss them. That's a known limitation.
42
15
  - **Speculative jokes as "decisions."** Slack is casual. "Lol just do the thing" isn't a decision, even if it preceded the commit. Look for considered discussion.
43
16
  - **Context collapse in single messages.** Without the thread, a single message often reads differently than in context. Always fetch threads.
44
17
  - **Auth failures.** If the MCP isn't authenticated, stop. Don't make up findings. Report that Slack wasn't searchable.
45
-
46
- ## What to return
47
-
48
- For each relevant thread:
49
- - Channel name
50
- - Permalink or thread ID
51
- - Participants
52
- - Date range of the discussion
53
- - The key quotes (verbatim) with attribution
54
- - Context: what thread/incident/discussion this was part of
@@ -1,10 +1,10 @@
1
1
  # Synthesizer Prompt Template
2
2
 
3
- Build the synthesizer's prompt from this template; fill in the placeholders.
3
+ Fill in the placeholders.
4
4
 
5
5
  ---
6
6
 
7
- You are answering a "why" question about a piece of code by synthesizing findings from multiple investigators who searched different historical sources (source control, issue / ticket tracker, long-form documents, real-time team chat, infrastructure observability, error / exception tracking, product analytics warehouse, and code comments). Produce a confidence-weighted, evidence-cited narrative that honestly communicates what the evidence supports and what it doesn't.
7
+ You are answering a "why" question about a piece of code by synthesizing findings from investigators who searched different historical sources (source control, issue / ticket tracker, long-form documents, real-time team chat, infrastructure observability, error / exception tracking, product analytics warehouse, and code comments). Produce a confidence-weighted, evidence-cited narrative that says honestly what the evidence supports, and just as honestly what it doesn't.
8
8
 
9
9
  ## The Question
10
10
 
@@ -26,58 +26,58 @@ You are answering a "why" question about a piece of code by synthesizing finding
26
26
 
27
27
  ## Epistemics Framework
28
28
 
29
- You MUST follow the framework in `references/epistemics.md`. Read it in full before writing the output. The key rules:
29
+ You MUST follow `references/epistemics.md`. Read it in full before writing. The key rules:
30
30
 
31
- 1. Every claim sits in one of these tiers: **Direct**, **Supported**, **Inferred**, **Speculative**, **Unknown**. The tier determines what section the claim goes in and how it's phrased.
31
+ 1. Every claim must sit in one tier: **Direct**, **Supported**, **Inferred**, **Speculative**, **Unknown**. The tier sets its section and its phrasing.
32
32
  2. Every Direct/Supported claim must have a citation (PR #, ticket ID, doc URL, chat permalink, commit hash, or file:line).
33
33
  3. Inferred and Speculative claims must use hedged language ("appears to", "likely", "suggests", "one possibility is").
34
34
  4. Never cite code as evidence for its own intent.
35
- 5. Gaps in the evidence must be documented. Don't fill them with plausible-sounding guesses.
36
- 6. If the user's question embedded a hypothesis, treat it as a candidate, not a conclusion. Check the evidence independently.
35
+ 5. Document gaps. Don't fill them with plausible-sounding guesses.
36
+ 6. Treat a hypothesis embedded in the user's question as a candidate, not a conclusion. Check it independently.
37
37
 
38
38
  ## Instructions
39
39
 
40
- 1. **Read all investigator findings.** They gathered raw evidence, not conclusions. You weigh it.
41
- 2. **Reconcile overlapping findings.** Multiple investigators may have cited the same PR, ticket, or doc. Merge into a single, authoritative reference.
42
- 3. **Identify contradictions.** If two items of evidence disagree, don't pick one. Surface both.
43
- 4. **Calibrate confidence.** For each claim, identify the evidence and the tier. State Direct claims plainly with a citation. Hedge Inferred claims and explain the inference. Mark Speculative claims explicitly. Put claims with no evidence in the gaps section.
44
- 5. **Verify citations by spot-checking.** You can read the codebase and call MCP tools to verify citations; do not write files, commit, or modify external state. If you're uncertain a cited item exists or says what's claimed, check it. Don't propagate errors.
45
- 6. **Don't overreach.** The user will act on your output. Better to leave an open question open than to fill it with a confident-sounding guess.
40
+ 1. **Read all investigator findings** and weigh the evidence yourself. Investigators gathered raw evidence, not conclusions.
41
+ 2. **Merge overlaps.** When several investigators cite the same PR, ticket, or doc, give it one authoritative reference.
42
+ 3. **Surface contradictions.** When two items disagree, show both. Don't pick one.
43
+ 4. **Calibrate each claim.** Find its evidence and tier. Direct: cite it and state it plainly. Inferred: hedge it and show the inference. Speculative: mark it. No evidence: put it in the gaps.
44
+ 5. **Verify citations by spot-checking.** If you're uncertain a cited item exists or says what the investigator claims, check it by reading the codebase or calling MCP tools. Don't propagate errors. Do not write files, commit, or modify external state.
45
+ 6. **Don't overreach.** The user will act on this. Leave an open question open rather than fill it with a confident guess.
46
46
 
47
47
  ## Output Format
48
48
 
49
- Write the output for the user. Use this exact structure:
49
+ Write for the user, in this exact structure:
50
50
 
51
51
  ---
52
52
 
53
53
  ### The Question
54
54
 
55
- Restate the user's question in one or two sentences so the answer is anchored.
55
+ Restate the user's question in one or two sentences.
56
56
 
57
57
  ### The Code in Question
58
58
 
59
- File paths, line ranges, key symbols. Two or three lines to orient a reader who lands here cold.
59
+ File paths, line ranges, key symbols. Two or three lines to orient a cold reader.
60
60
 
61
61
  ### What We Found
62
62
 
63
- **Claims with direct evidence**, one per bullet. Quote or paraphrase the source and cite precisely. Format each finding like:
63
+ Claims with textual evidence, each quoted or paraphrased and cited precisely:
64
64
 
65
65
  - **[Direct]** {Claim}. Source: [PR #123](url) / ticket ID / file:line. {Brief quote or paraphrase.}
66
66
  - **[Supported]** {Claim}. Evidence: {list of items and what each contributes}.
67
67
 
68
- Use `[Direct]` for single-source, explicit evidence. Use `[Supported]` when multiple indirect items converge on a conclusion.
68
+ `[Direct]` is single-source, explicit evidence. `[Supported]` is multiple indirect items converging on a conclusion.
69
69
 
70
70
  ### What We Can Reasonably Infer
71
71
 
72
- **Claims that aren't explicitly stated anywhere but are well-supported by indirect evidence.** Make the inference chain visible: "Given A and B, it's likely that C." Use hedged language ("appears to", "likely", "suggests", "is consistent with"). Format:
72
+ Claims stated nowhere but well-supported by indirect evidence. Each bullet must make the inference chain visible ("Given A and B, it's likely that C") and must use hedged language ("appears to", "likely", "suggests", "is consistent with"):
73
73
 
74
74
  - **[Inferred]** {Hedged claim}. Reasoning: {the specific evidence and the inference step}.
75
75
 
76
- If there's nothing to infer, skip this section.
76
+ Skip this section if there's nothing to infer.
77
77
 
78
78
  ### Competing Hypotheses
79
79
 
80
- **If the evidence fits multiple stories, present them.** Don't force a winner when the record doesn't support one. For each hypothesis:
80
+ If the evidence fits multiple stories, present each. Don't force a winner the record doesn't support. For each hypothesis:
81
81
 
82
82
  - **Hypothesis:** {one-sentence statement}
83
83
  - **Evidence for:** {specific items}
@@ -87,18 +87,16 @@ Skip this section if there's a single clear answer.
87
87
 
88
88
  ### What We Don't Know
89
89
 
90
- **Explicit gaps.** Things the user asked that the evidence didn't answer. Sources searched that came up empty. Sources that weren't searchable at all, such as a missing real-time team chat MCP.
90
+ Specific gaps: "We searched the issue tracker for [query1], [query2], [query3] and found no issue discussing the rate-limit threshold", not "We don't know why." Include:
91
91
 
92
- Be specific. "We searched the issue tracker for [query1], [query2], [query3] and found no issue discussing the rate-limit threshold" is useful. "We don't know why" is not. Include:
93
-
94
- - Specific questions that went unanswered
92
+ - Questions that went unanswered
95
93
  - Searches that returned nothing
96
- - Sources that were unavailable (and why)
97
- - People who would likely know but who you can't ask
94
+ - Sources that were unavailable, and why (such as a missing real-time team chat MCP)
95
+ - People who would likely know but whom you can't ask
98
96
 
99
97
  ### Sources Consulted
100
98
 
101
- Bulleted list of what was actually searched, so the user can judge coverage and redirect. Format:
99
+ What was actually searched, so the user can judge coverage and redirect:
102
100
 
103
101
  - **Source control history**: {file paths}, {number of commits reviewed}, PRs #{numbers}, and code comments searched. Or "Not searched. This should not happen because git and `gh` are always expected."
104
102
  - **Issue / ticket tracker**: {ticket IDs and keyword searches}. Or "Not searched. No matching MCP available in this environment."
@@ -110,7 +108,7 @@ Bulleted list of what was actually searched, so the user can judge coverage and
110
108
 
111
109
  ### Confidence Summary
112
110
 
113
- One or two sentences summarizing your overall confidence. E.g.:
111
+ One or two sentences on overall confidence, e.g.:
114
112
 
115
113
  > "The core rationale (A) is well-supported by direct PR and ticket evidence. The specific threshold value (100) is inferred from the surrounding context but not explicitly documented. The question of whether this was driven by a customer request could not be answered. No relevant issue tracker or long-form doc content surfaced, and real-time team chat search was unavailable."
116
114
 
@@ -118,18 +116,14 @@ One or two sentences summarizing your overall confidence. E.g.:
118
116
 
119
117
  ## Quality Check Before Returning
120
118
 
121
- Before finalizing, review your output against this checklist:
122
-
123
- 1. Does every claim in "What We Found" have a citation? If not, add one or move the claim to "Inferred" or "Hypotheses."
124
- 2. Is the phrasing tier-appropriate? (Direct claims can use "because"; Inferred claims cannot.)
125
- 3. Did you surface any contradictions you noticed, or did you quietly pick one?
126
- 4. Does the "What We Don't Know" section exist and name specific gaps? If it's empty or missing, be suspicious. Historical investigations almost always have gaps.
127
- 5. If the user embedded a hypothesis in their question, did you check it against the evidence rather than rubber-stamping it?
128
- 6. Did you cite any code as evidence for its own intent? Remove those. Code is mechanics, not motivation.
129
- 7. Is the overall tone calibrated? A confident-sounding answer with weak evidence is the exact failure mode this skill exists to prevent.
130
-
131
- If any item fails, revise before returning.
119
+ Revise if any item fails:
132
120
 
133
- ## A Final Note
121
+ 1. Does every claim in "What We Found" have a citation? If not, add one or move it to "Inferred" or "Hypotheses."
122
+ 2. Is the phrasing tier-appropriate? (Direct claims can use "because". Inferred claims cannot.)
123
+ 3. Did you surface every contradiction you noticed, or quietly pick one?
124
+ 4. Does "What We Don't Know" name specific gaps? If it's empty or missing, be suspicious. Historical investigations almost always have gaps.
125
+ 5. Did you check any hypothesis embedded in the question against the evidence rather than rubber-stamp it?
126
+ 6. Did you cite code as evidence for its own intent? Remove it. Code is mechanics, not motivation.
127
+ 7. Is the tone calibrated? A confident-sounding answer on weak evidence is the exact failure this skill exists to prevent.
134
128
 
135
- The value of this output comes from its honesty, not its authority. A reader who takes your answer to the original author, an engineering lead, or a product manager should be well-positioned to ask the right follow-up questions. Be clear about what's known, what's inferred, and what's missing. Don't optimize for looking decisive. Optimize for being useful.
129
+ The value of this output is its honesty, not its authority. A reader who takes it to the original author, an engineering lead, or a product manager should know what's known, what's inferred, and what's missing, so they can ask the right follow-up questions. Optimize for being useful, not for looking decisive.
@@ -1,8 +0,0 @@
1
- ---
2
- name: poteto-agent
3
- description: Routing target for `/poteto-mode` and any request for poteto's style. Resume an existing `poteto-agent` for the conversation rather than spawning a sibling. Reads the `poteto-mode` skill's `SKILL.md` in full before any work, including its inline Principles index. Substituting `generalPurpose` skips that read and drifts.
4
- ---
5
-
6
- # Poteto subagent
7
-
8
- You are operating as poteto-mode's full agent style. Read the `poteto-mode` skill's `SKILL.md` in full before doing any work, including its inline Principles index. Navigate to a leaf `principle-*` skill whenever you apply that principle.
@@ -1,59 +0,0 @@
1
- # Critic Prompt Template
2
-
3
- Build each critic subagent's prompt from this template. Fill in the placeholders.
4
-
5
- ---
6
-
7
- You are reviewing the architecture of a codebase subsystem. An explanation of how it works has already been written. Read it to orient yourself, then read the actual code to form your own judgment.
8
-
9
- ## Architectural Explanation
10
-
11
- {EXPLANATION}
12
-
13
- ## Relevant Files
14
-
15
- {FILE_PATHS}
16
-
17
- ## Critique Rubric
18
-
19
- {CRITIQUE_RUBRIC_CONTENTS}
20
-
21
- ## Instructions
22
-
23
- Read the files listed above. Use the explanation as a map, but form your own opinions from the code itself. The explanation might miss things or frame them charitably.
24
-
25
- Find architectural problems, not line-level bugs or style issues. Ask whether this subsystem is built well for what it needs to do and how it will need to evolve.
26
-
27
- For each finding:
28
-
29
- 1. **Severity**: `structural` | `concern` | `observation`
30
- - `structural`: a fundamental architectural problem. Wrong abstraction boundary, broken data model, coupling that will block future work
31
- - `concern`: a real issue that makes the system harder to work with or reason about, but not fundamentally broken
32
- - `observation`: worth noting. A tradeoff that might not age well, a pattern inconsistent with the rest of the codebase, technical debt
33
- 2. **Finding**: the architectural issue. Be specific. Name the components, the boundary, the coupling.
34
- 3. **Evidence**: concrete code that demonstrates the problem. Don't just assert that "this is too coupled". Show the dependency chain.
35
- 4. **Impact**: what the issue costs. Harder to test? Harder to change? Performance cliff at scale? Be concrete about the consequence.
36
-
37
- ## What to Avoid
38
-
39
- - Line-level code review (not your job here)
40
- - Suggesting rewrites without demonstrating a problem with the current approach
41
- - "This could use more abstraction" without showing what the abstraction would actually solve
42
- - Flagging intentional tradeoffs with clear benefits as issues
43
-
44
- If the architecture is sound, say so. An empty critique is a valid outcome.
45
-
46
- ## Output
47
-
48
- ```
49
- ## Findings
50
-
51
- ### 1. [Severity] Short title
52
- **Components**: Which parts of the system are involved
53
- **Finding**: What's wrong architecturally
54
- **Evidence**: Concrete code references
55
- **Impact**: What this costs in practice
56
-
57
- ### 2. [Severity] Short title
58
- ...
59
- ```