@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
@@ -1,99 +1,34 @@
1
1
  ---
2
2
  name: why
3
3
  description: "Use for 'why does X work this way', 'why we picked Y', design rationale, regressions, postmortems, or data-backed thresholds. Discovers available MCPs and queries each evidence category (source control, issue tracker, long-form docs, real-time chat, infrastructure observability, error tracking, product analytics warehouse) in parallel, then returns a cited read on decisions and tradeoffs. Use how for runtime behavior."
4
+ disable-model-invocation: true
4
5
  ---
5
6
 
6
7
  # Why
7
8
 
8
- Investigate the motivation and intent behind code. Why was it built this way? What edge cases were considered? What product, business, or operational constraints shaped the design? What alternatives were rejected, and why?
9
+ Investigate the motivation and intent behind code. The companion `how` skill answers what the code does and how it works. `why` answers what forces led to its shape.
9
10
 
10
- Companion to the `how` skill. `how` answers what the code does and how it works. `why` answers what forces led to its shape.
11
+ Each spawn below names a role line in the `pstack-models.mdc` rule and a default. Set `model` to that line's value, or to the default if the rule or the line is missing. Leave `model` unset when the value is `auto` or `inherit-parent`. If the Task tool rejects a slug, use the default and say so. If it rejects the default, use the closest valid slug of the same family from its error message. Pick each subagent's reasoning level and fast or standard speed for the job, per the Subagents section of the **poteto-mode** skill.
11
12
 
12
- ## How this skill works
13
-
14
- Historical context spreads across seven evidence categories: source control history, issue or ticket tracking, long-form documents, real-time team chat, infrastructure observability, error or exception tracking, and product analytics warehouses. You cannot predict from the question alone which one holds the answer, so the skill enumerates available MCPs at run time, maps each to a category, queries all seven in parallel, then synthesizes with explicit confidence calibration. Null results from searched categories are first-class evidence about how the decision was made; report them alongside positive findings. The default is coverage, not minimalism.
13
+ Every spawn is `generalPurpose` with `readonly: false` (agent mode). **Do not use readonly/Ask mode.** It strips MCP access, which disables the MCP-backed investigators and the synthesizer's citation spot-checks. Investigators still shouldn't write anything.
15
14
 
16
15
  ## Operating Posture
17
16
 
18
- Operate as a careful, cautious, precise investigator. Think like a detective piecing together a historical case from fragmentary records. When the record is thin, say so.
19
-
20
- Concretely:
21
-
22
- - **Evidence before narrative.** Collect the pieces first, then see what story they support. Never pick a story and recruit the evidence that fits it.
23
- - **Precision over polish.** Prefer the exact quote and citation over a smooth paraphrase. A reader should be able to follow any claim back to its source and verify it in under a minute.
24
- - **Consider what you haven't seen.** The evidence you find is a sample, not the whole truth. Before concluding, ask what you would expect to see if an alternative explanation were true, and whether you looked for it.
25
- - **Name the gaps.** If a thread goes cold, a source isn't searchable, or a question has no answer, document the gap. Don't paper it over with an authoritative-sounding guess.
26
- - **Hedge on purpose.** When evidence is indirect, your language should signal it ("appears to", "likely", "suggests"). Confidence-matching phrasing is a feature of the output, not a stylistic choice the synthesizer may override.
27
- - **No shortcut by code-reading.** The code tells you what it does, rarely why it exists. Resist inferring intent from code shape.
28
-
29
- This posture is the working method, not a disclaimer.
30
-
31
- ## Core Epistemics
32
-
33
- This skill builds a **patchwork understanding** from fragmented historical evidence. Tickets go stale. Chat threads get deleted. Commit messages lie. People change their minds between the PR description and the implementation. The original author may have left the company.
34
-
35
- Be ruthlessly honest about what you know versus what you're inferring. The goal is not a satisfying story; it is to surface evidence, calibrate confidence, and let the user decide.
36
-
37
- Principles:
38
-
39
- - **Cite everything.** Every claim about intent should reference a specific commit hash, PR number, ticket ID, doc URL, chat permalink, or code comment. If you can't cite it, it's inference, not fact, and must be labeled as such.
40
- - **Prefer "appears to" over "because".** Hedge when evidence is indirect. Reserve confident language for direct, explicit evidence.
41
- - **Surface contradictions.** If two sources disagree, show both. Don't quietly pick the one that fits your narrative.
42
- - **Acknowledge gaps.** If a question has no answer in any source you searched, say so. An honest "we couldn't find out why" beats a confident guess.
43
- - **Multiple hypotheses are valid.** When the evidence fits several stories, present them all with the evidence for each. Let the user triangulate.
44
- - **Beware rationalization.** Code that makes sense today may have been written for reasons that no longer apply, or for no good reason at all. Don't retrofit intent.
45
-
46
- Read `references/epistemics.md` for the full confidence framework and phrasing guide. The synthesizer must follow it.
17
+ Operate as a **careful, cautious, and precise investigator**. Be honest about what you know vs what you're inferring. Read `references/epistemics.md` for the full confidence framework and phrasing guide. The synthesizer must follow it.
47
18
 
48
19
  ## Step 1. Understand the Target and the Question
49
20
 
50
- Parse what the user is asking. The **target** is usually a chunk of code, a pattern, a feature, or a named design decision. The **question** is usually one of:
51
-
52
- - "Why was X designed this way?" Design rationale.
53
- - "Why do we do X instead of Y?" Tradeoff or alternatives.
54
- - "What edge cases motivated this?" Defensive reasoning.
55
- - "What business or product constraint led to this?" External forcing function.
56
- - "Why does this code still exist?" Dead-code territory.
57
- - "What's the history of X?" Broad archaeological sweep.
21
+ The **target** is usually a chunk of code, a pattern, a feature, or a named design decision. The **question** is usually a design rationale, a tradeoff, a motivating edge case, an external constraint, dead code, or a broad history sweep.
58
22
 
59
23
  If the target is vague ("why do we do it this way?" with no clear referent), make your best guess from conversation context (open files, recent edits, cursor location, what was just discussed). State your interpretation briefly so the user can redirect if you're off, then proceed.
60
24
 
61
25
  ## Step 2. Establish the Code Anchor
62
26
 
63
- Before spawning investigators, anchor the investigation in concrete code. You need:
27
+ Before spawning investigators, build the seed context inline: file paths and line ranges, key symbols (functions, classes, constants), the last few commits touching the target, PR numbers from merge commits (pattern `(#1234)` in the subject line), and any linked ticket IDs. Run `git blame -L <start>,<end> <file>` for last-touch commits, `git log --follow -p -- <file>` for full history with patches through renames, `git log --oneline -20 -- <file>` for recent commits with PR numbers visible, and `git log -1 --format=%B <commit>` to extract PR numbers. Then pull the PR bodies and discussion for any substantive commit: `gh pr view <number> --json title,body,author,createdAt,mergedAt,labels,closingIssuesReferences,comments,reviews`. This anchor goes to every investigator and to the synthesizer.
64
28
 
65
- - The relevant file path(s) and line range(s)
66
- - The key symbols (function names, class names, constants)
67
- - An initial commit list. The last few commits touching the target.
68
- - PR numbers from merge commits (pattern `(#1234)` in the subject line)
29
+ ## Step 3. Spawn Parallel Investigators
69
30
 
70
- Build this inline. It's cheap, and every investigator needs it.
71
-
72
- ```bash
73
- # Blame target lines for last-touch commits
74
- git blame -L <start>,<end> <file>
75
-
76
- # Full file history, with patches, through renames
77
- git log --follow -p -- <file>
78
-
79
- # Last N commits touching the file, PR numbers visible
80
- git log --oneline -20 -- <file>
81
-
82
- # Extract PR numbers from a commit message
83
- git log -1 --format=%B <commit>
84
- ```
85
-
86
- Pull PR bodies and discussion via `gh` for any substantive commits:
87
-
88
- ```bash
89
- gh pr view <number> --json title,body,author,createdAt,mergedAt,labels,closingIssuesReferences,comments,reviews
90
- ```
91
-
92
- Capture this as seed context (file paths, symbols, commits, PR numbers, linked ticket IDs). Pass it to the investigators so they don't rediscover it.
93
-
94
- ## Step 3. Spawn Parallel Investigators (default posture)
95
-
96
- **Default to the full parallel investigation.** Each evidence category lives in a different kind of system, and you cannot tell from the question alone which one holds the answer without looking. So look across every available category, in parallel, by default.
31
+ **Default to the full parallel investigation.** The goal is a complete coverage map, not a minimal one. Document the null, don't skip the search.
97
32
 
98
33
  ### Discovery
99
34
 
@@ -111,119 +46,53 @@ Map each available MCP to one evidence category:
111
46
 
112
47
  Source control is always available through git and `gh`. For the other six, classify using the MCP name, server instructions, tool names, and resource descriptors. If an MCP could fit more than one category, choose the one matching its primary evidence. Record ambiguous cases in the coverage map.
113
48
 
114
- Aim for a complete **coverage map**, not a minimal one. A null result from an issue tracker is evidence the decision was not ticketed, a useful fact in itself. Document the null, don't skip the search.
115
-
116
- Launch all matching investigators in a single message so they run concurrently. One investigator per category lets each specialize in one tool's query vocabulary and result shape. Don't ask one agent to cover multiple MCPs.
49
+ Spawn one investigator per category that has a matching MCP, all in a single message so they run concurrently, each owning exactly one tool or MCP. Don't ask one agent to cover multiple MCPs. `model`: the `why investigators` line, default `grok-4.7-xhigh-fast`.
117
50
 
118
- Subagent config (each):
119
- - `subagent_type`: `generalPurpose`
120
- - `model`: your configured why-investigators model (default `composer-2.5-fast`)
121
- - `readonly`: `false` (agent mode). **Do not use readonly/Ask mode.** It strips MCP access, which disables MCP-backed investigators entirely. The source control investigator would be safe in readonly, but keep modes uniform. Investigators still shouldn't write anything. That's a posture, not a sandbox.
51
+ Each investigator's prompt is `references/investigator-prompt.md` filled in, plus:
52
+ - the category playbook `references/sources/<source>.md` for the selected MCP, adapted from the examples in `references/source-playbook.md`
53
+ - `references/sources/incident-postmortem.md` **if the target code looks defensive** (null checks, retry logic, timeout handling, rate limiting, feature flags, egress guards, OOM handlers)
54
+ - the code anchor and the user's original question
122
55
 
123
- Each investigator gets:
124
- 1. The base prompt from `references/investigator-prompt.md`
125
- 2. The category playbook `references/sources/<source>.md` for the selected MCP, adapted from the examples in `references/source-playbook.md`
126
- 3. The cross-cutting `references/sources/incident-postmortem.md` **if the target code looks defensive** (null checks, retry logic, timeout handling, rate limiting, feature flags, egress guards, OOM handlers)
127
- 4. The code anchor from Step 2 (file paths, symbols, commit hashes, PR numbers, ticket IDs)
128
- 5. The user's original question
56
+ ### Investigator roster, one per available evidence category
129
57
 
130
- ### Investigator roster. One per available evidence category
58
+ Each category below is uniquely positioned to surface one shape of "why", shown after "Best at". Use it to know what to expect back, to name a gap when a category returns empty, and, only in the rare provably-irrelevant case, to justify a skip.
131
59
 
132
- Spawn one investigator per category that has a matching MCP. Each owns exactly one tool or MCP.
133
-
134
- Each entry lists what the category physically contains and the kind of "why" it uniquely surfaces. Use it to know what to expect back, how to name a gap when a category returns empty, and (only in the rare provably-irrelevant case) to justify a skip. Every category overlaps, but each owns a kind of evidence the others cannot recover.
135
-
136
- 1. **Source control investigator**. Git history, `gh` for PRs, code comments, tests. Always spawn; the only guaranteed source. Best at surfacing *implementation-time rationale captured during review*. PR descriptions stating the problem, review threads debating alternatives, inline comments encoding non-obvious constraints, test names that encode motivating edge cases, and commit messages linking tickets or incidents. Most trustworthy because it ties directly to the diff that shipped.
137
-
138
- 2. **Issue / ticket tracker investigator** (e.g. Linear, Jira, GitHub Issues, Plane, Shortcut MCP). Tickets, project docs, status updates, spec attachments. Best at surfacing *the product or business forcing function*. Customer requests ("Acme needs X for their SOC2 audit"), compliance deadlines, parent-initiative framing ("Q3 enterprise readiness"), ticket-level scope changes, and labels that categorize the motivation (`customer:*`, `incident-followup`, `compliance`, `perf-regression`). Strongest when the why is external to engineering.
139
-
140
- 3. **Long-form documents investigator** (e.g. Notion, Confluence, Google Docs, Coda MCP). PRDs, specs, RFCs, design docs, ADRs, postmortems, team pages, meeting notes. Best at surfacing *long-form design rationale*. Problem statements, explicit "alternatives considered" and "rejected approaches" sections, strategy documents that set priorities, ADRs with finalized decisions, and postmortem action items that tie directly to code. Where the why is written out before it becomes code.
141
-
142
- 4. **Real-time team chat investigator** (e.g. Slack, Discord, Microsoft Teams, Mattermost MCP). Feature-name and symbol searches, PR URL mentions, incident channels (`#sev-*`, `#incident-*`), author-handle activity around the ship date. Best at surfacing *real-time deliberation that never reached a doc*. Fire-drill decisions during incidents, Q&A between the PR author and reviewers, casual "we decided X because Y" threads, and rationale for small changes that didn't warrant a PRD. Especially important when the source control, ticket, and doc paper trail is thin.
143
-
144
- 5. **Infrastructure observability investigator** (e.g. Datadog, New Relic, Honeycomb, Grafana, Splunk MCP). Metrics, monitors, dashboards, logs, APM traces, formal incidents. Infra/runtime view. Best at surfacing *infrastructure and runtime reality that motivated the code*. Monitor thresholds whose numbers match code constants, metric spikes in the window right before a PR merge, dashboards created as postmortem action items, incident timelines that reference the target. Strongest when the target reacts to an infra signal (timeouts, retries, rate limits, circuit breakers).
145
-
146
- 6. **Error / exception tracking investigator** (e.g. Sentry, Rollbar, Bugsnag, Airbrake MCP). Issues, events, stack traces, releases. Best at surfacing *the specific exceptions and error trajectories that motivated defensive or corrective code*. Stack traces that pass through the target function, issues whose first-seen/last-seen windows bracket the PR ship date, release correlations that show an error stopping at a specific version. Strongest for catch blocks, null guards, type checks, retries, and other defenses.
147
-
148
- 7. **Product analytics warehouse investigator** (e.g. Databricks, Snowflake, BigQuery, ClickHouse, dbt, Redshift MCP). Product-analytics events, experiment and feature-flag exposure tables, usage and billing events, query history, warehouse telemetry. Product/data view. Complements infrastructure observability by covering *user behavior and data reality* around the ship date rather than infra metrics. Best at surfacing *product and data reality that shaped the code*. Feature-usage trajectories (a step-function ramp from zero is strong evidence that this PR launched it), experiment/flag exposure data tied to ship decisions, pre-ship distributions that reveal where a threshold constant came from (e.g., `limit = 128 * 1024` matching the p99 of an upload-size column), and data-pipeline scale evidence for migrations/backfills. Strongest for flag-gated code, experiment-driven ships, data migrations, and "where did this number come from" questions.
60
+ 1. **Source control** (git history, `gh` for PRs, code comments, tests). Always spawn, the only guaranteed source. Best at *implementation-time rationale captured during review*.
61
+ 2. **Issue / ticket tracker** (e.g. Linear, Jira, GitHub Issues, Plane, Shortcut MCP). Best at *the product or business forcing function*. Strongest when the why is external to engineering.
62
+ 3. **Long-form documents** (e.g. Notion, Confluence, Google Docs, Coda MCP). Best at *long-form design rationale*, written out before it becomes code.
63
+ 4. **Real-time team chat** (e.g. Slack, Discord, Microsoft Teams, Mattermost MCP). Best at *real-time deliberation that never reached a doc*. Especially important when the source control, ticket, and doc paper trail is thin.
64
+ 5. **Infrastructure observability** (e.g. Datadog, New Relic, Honeycomb, Grafana, Splunk MCP). Best at *infrastructure and runtime reality that motivated the code*. Strongest when the target reacts to an infra signal (timeouts, retries, rate limits, circuit breakers).
65
+ 6. **Error / exception tracking** (e.g. Sentry, Rollbar, Bugsnag, Airbrake MCP). Best at *the specific exceptions and error trajectories that motivated defensive or corrective code*. Strongest for catch blocks, null guards, type checks, retries, and other defenses.
66
+ 7. **Product analytics warehouse** (e.g. Databricks, Snowflake, BigQuery, ClickHouse, dbt, Redshift MCP). Best at *product and data reality that shaped the code*. Strongest for flag-gated code, experiment-driven ships, data migrations, and "where did this number come from" questions.
149
67
 
150
68
  ### When to skip an investigator
151
69
 
152
- Only skip with an **explicit, written justification** that goes in the final "Sources Consulted" section. Two valid reasons:
153
-
154
- - **No MCP is available for that category** in this environment. Flag this as a gap, not a choice. Example: "Real-time team chat skipped. No matching MCP available, so the conversational record was not searchable."
155
- - **The source is provably irrelevant**, not just "probably irrelevant." A high bar. Example: "Error / exception tracking skipped. Target is a build-time script with no runtime code path." Not "probably not in error tracking, it's a feature not an error."
70
+ Only with an **explicit, written justification** that goes in the final Sources Consulted. Two valid reasons:
156
71
 
157
- "It's pure feature code, error tracking won't have anything" is **not** sufficient, and neither is "I doubt long-form docs would have this." Run the search; let the null result speak. The cost of an investigator returning empty is one subagent. The cost of missing a design doc that actually exists is a wrong answer.
72
+ - **No MCP is available for that category** in this environment. Flag it as a gap, not a choice: "Real-time team chat skipped. No matching MCP available, so the conversational record was not searchable."
73
+ - **The source is provably irrelevant**, not just "probably irrelevant." A high bar: "Error / exception tracking skipped. Target is a build-time script with no runtime code path."
158
74
 
159
75
  If your scope assessment suggests a single-commit trivial target where the PR description already contains the complete answer, you may answer inline **only after** confirming all seven available category searches would be redundant. Say so explicitly. This should be rare.
160
76
 
161
77
  ## Step 4. Synthesize
162
78
 
163
- Spawn one synthesizer subagent:
164
-
165
- - `subagent_type`: `generalPurpose`
166
- - `model`: your configured why-synthesizer model (default `claude-opus-4-8-thinking-xhigh`)
167
- - `readonly`: `false` (agent mode). The synthesizer's quality check spot-verifies citations, which can require MCP access. Readonly/Ask mode strips MCPs and defeats that.
168
-
169
- The synthesizer gets:
79
+ Spawn one synthesizer. `model`: the `why synthesizer` line, default `claude-opus-5-5-xhigh`. It gets:
170
80
  1. The investigator findings, including any null results and any categories skipped with justification
171
- 2. The code anchor from Step 2 (file paths, symbols, commit hashes, PR numbers, ticket IDs)
81
+ 2. The code anchor
172
82
  3. The user's original question
173
83
  4. The epistemics framework from `references/epistemics.md`
174
84
  5. The synthesizer prompt template from `references/synthesizer-prompt.md`
175
85
 
176
- Its job is the final output: a confidence-weighted, evidence-cited narrative with clearly separated "what we know" and "what we're inferring" sections, plus honest acknowledgment of gaps and null-result sources.
177
-
178
86
  ## Step 5. Present
179
87
 
180
- Take the synthesizer's output and present it to the user. You may lightly edit for clarity or add context from the conversation, but **do not rewrite the confidence language**. The epistemic framing is the product. Dropping the hedges to sound more authoritative is the exact failure mode this skill exists to prevent.
88
+ Present the synthesizer's output to the user. You may lightly edit for clarity or add context from the conversation, but **do not rewrite the confidence language**.
181
89
 
182
90
  ## Output Format
183
91
 
184
- The final output uses this structure. Adapt as needed, but keep the confidence separation intact.
185
-
186
- **The Question**. Restate what the user asked, concisely.
187
-
188
- **The Code in Question**. File paths, line ranges, and key symbols. One or two lines so the reader is anchored.
189
-
190
- **What We Found (direct evidence)**. Claims with explicit citations (PR #, ticket ID, doc URL, chat permalink, commit hash, code comment with file:line). Each bullet is a thing we have textual evidence for. Use present tense and quote or paraphrase the source.
191
-
192
- **What We Can Reasonably Infer**. Claims well-supported by indirect evidence or combinations of signals, but not explicitly stated anywhere. Each bullet must explain the inference chain: "Given A and B, it's likely that C." Use hedged language ("appears to", "likely", "suggests").
193
-
194
- **Competing Hypotheses**. If the evidence fits multiple stories, list them. For each, give the hypothesis, the evidence for it, and the evidence against it. Don't force a winner when the record doesn't support one. (Skip this section if there's a clear answer.)
195
-
196
- **What We Don't Know**. Explicit gaps. Questions the user asked that the evidence didn't answer. Sources we searched and came up empty. Be specific. "We searched the issue tracker for 'rate limit' and found no ticket discussing this specific threshold" is more useful than "we don't know why."
197
-
198
- **Sources Consulted**. One line per investigator, including the ones that returned nothing. The reader should see at a glance (a) which MCPs were queried, (b) which came back empty, and (c) which were skipped and why. This coverage map lets the user judge breadth and redirect if something obvious was missed.
199
-
200
- Format each line as: `- <Source>: <what was searched>. <what was found, or "no relevant results," or "skipped. reason">.`
201
-
202
- Example:
203
- - Source control (git/gh): `git log --follow backend/retry.ts`, PRs #49074, #47812. Found PR #49074 introduced exponential backoff and linked ENG-4421.
204
- - Issue tracker (Linear): searched for "retry" and ENG-4421. Found ENG-4421 parent issue but no discussion of backoff parameters.
205
- - Long-form docs (Notion): searched for "retry policy," "backend retries," "ENG-4421." No relevant results.
206
- - Real-time team chat (Slack): skipped. No matching MCP available in this environment. Gap: conversational record not searched.
207
- - Infrastructure observability (Datadog): searched for `retry_count` metric and monitors around 2024-08-14. Found monitor "Upstream 5xx rate > 1%" created same day as PR #49074.
208
- - Error / exception tracking (Sentry): searched for issues first-seen in Aug 2024 with stack through `retry.ts`. Found issue SENTRY-3821 spiking in the week before the PR.
209
- - Product analytics warehouse (Databricks): queried `<your_analytics_db>.<schema>.stg_backend_upstream_retry` for the 30-day window around 2024-08-14. Daily failure-classified event count fell from ~1.2k/day pre-PR to <50/day post-PR. Also checked `system.query.history` for relevant migration queries. None found.
92
+ The structure is the one in `references/synthesizer-prompt.md`: The Question, The Code in Question, What We Found, What We Can Reasonably Infer, Competing Hypotheses, What We Don't Know, Sources Consulted, Confidence Summary. Adapt as needed, but keep the confidence separation intact, and keep Sources Consulted as one line per investigator, including the ones that returned nothing or were skipped, with the reason.
210
93
 
211
- After the Sources Consulted block, if the user's `why` question is a precursor to actually changing this code, convert the lineage findings into a Preserve / Change / Avoid / Risk constraint set suitable for planning the change.
94
+ After Sources Consulted, if the user's `why` question is a precursor to changing this code, convert the lineage findings into a Preserve / Change / Avoid / Risk constraint set for planning the change.
212
95
 
213
96
  ## Common Failure Modes to Avoid
214
97
 
215
- - **Confident storytelling**. A plausible narrative built from thin evidence. A bullet with no citation goes in "inferred" or "hypotheses," not "what we found."
216
- - **Citing the code as evidence for its own intent**. "Handles the null case because it checks for null" is mechanics, not motivation. Motivation comes from an external source (PR discussion, ticket, comment, conversation) or is labeled as inference.
217
98
  - **Recency bias**. Assuming the most recent commit is authoritative. The current shape is often the accretion of many earlier decisions. Trace back.
218
- - **Sycophantic agreement**. If the user suggests a reason ("I assume this is for performance?"), treat it as a hypothesis and check the evidence independently, don't just confirm it.
219
- - **Skipping the gaps section**. An honest accounting of what you couldn't find out is part of the value.
220
- - **Skipping investigators by anticipation**. Deciding up front that "long-form docs probably don't have this" or "this isn't an error tracking thing" without searching. The default-to-all-seven posture prevents this. A null result is a data point; a skipped search is a blind spot.
221
- - **Collapsing investigators into one agent**. Each MCP has its own query vocabulary, result shape, and pitfalls; pooling them dilutes specialization and makes coverage harder to reason about. Always one investigator per category.
222
-
223
- ## Reference Files
224
-
225
- - `references/epistemics.md`. Confidence tiers and phrasing guide. The synthesizer must follow it.
226
- - `references/investigator-prompt.md`. Base prompt template for investigator subagents.
227
- - `references/source-playbook.md`. Index pointing at the category playbooks below.
228
- - `references/sources/*.md`. One self-contained example playbook per category, plus cross-cutting `incident-postmortem.md`. Give an investigator the single file that matches its category and adapt it to the available MCP.
229
- - `references/synthesizer-prompt.md`. Prompt template for the synthesizer subagent, including the output format.
@@ -1,92 +1,48 @@
1
1
  # Epistemics
2
2
 
3
- How to reason about confidence when evidence is historical, fragmentary, and sometimes contradictory, and how to communicate it without flattening it into false certainty.
4
-
5
- Code doesn't carry its own motivation. You can read what code does; you can't read *why it exists*. That lives in commits, PRs, tickets, docs, and conversations, all incomplete, biased, and sometimes missing entirely. Pretending otherwise produces confident-sounding guesses that mislead the user.
3
+ How to reason about confidence when evidence is historical, fragmentary, and sometimes contradictory, and how to tell the user without flattening it into false certainty. Code shows what it does, not *why it exists*. The why lives in commits, PRs, tickets, docs, and conversations, all incomplete, biased, and sometimes missing. Pretending otherwise produces confident-sounding guesses that mislead the user.
6
4
 
7
5
  ## Confidence Tiers
8
6
 
9
- Every claim in the final output must sit in one of these tiers. The tier determines which output section the claim goes in and how it's phrased.
7
+ Every claim in the output must sit in one tier. The tier sets its section and its phrasing.
10
8
 
11
9
  ### 1. Direct
12
10
 
13
- An explicit, textual citation that answers the question. Not "the code does X so the author must have wanted X." Something an author actually *wrote* that says why.
14
-
15
- Examples:
16
- - A PR description that says "this fixes the bug where users with >1000 items couldn't paginate"
17
- - A ticket that says "we're adding this because customer Acme requested it in their security review"
18
- - A code comment that says "// clamp to 100 because the upstream API rejects larger values"
19
- - A design doc that says "we chose option A over option B because we need persistence across restarts"
20
- - A chat message from the author saying "switching to this approach since the old one was flaky in tests"
11
+ An explicit, textual citation answers the question: something an author actually *wrote* that says why, not "the code does X so the author must have wanted X." For example, a PR description "this fixes the bug where users with >1000 items couldn't paginate", a ticket "we're adding this because customer Acme requested it in their security review", a code comment "// clamp to 100 because the upstream API rejects larger values", a design doc "we chose option A over option B because we need persistence across restarts", or a chat message from the author "switching to this approach since the old one was flaky in tests".
21
12
 
22
- Phrasing: confident, present tense. "This exists because X." Cite the source.
13
+ Phrasing: confident, present tense, cited. "This exists because X."
23
14
 
24
15
  ### 2. Supported
25
16
 
26
- Multiple pieces of indirect evidence converge. No single source states it explicitly, but the pattern across sources makes it likely.
27
-
28
- Examples:
29
- - The PR title says "improve performance," the ticket is labeled "perf," and the surrounding commits all touch the same hot path
30
- - Multiple tests were added alongside the change, all exercising edge cases with very large inputs
31
- - The author's other PRs from the same week all mention the same incident in their descriptions
17
+ Multiple pieces of indirect evidence converge on one conclusion. No single source states it explicitly, but the pattern across sources makes it likely. For example, the PR title says "improve performance", the ticket is labeled "perf", and the surrounding commits all touch the same hot path. Or several tests added with the change all exercise very large inputs. Or the author's other PRs from the same week all name the same incident.
32
18
 
33
- Phrasing: confident but clearly derived. "The evidence points strongly to X: [the specific pieces]." Cite multiple sources.
19
+ Phrasing: confident but clearly derived, citing each item. "The evidence points strongly to X: [the specific pieces]."
34
20
 
35
21
  ### 3. Inferred
36
22
 
37
- A reasonable reading of the context, but nothing explicitly supports it. The reader should understand this is *your interpretation*, not a fact from the record.
23
+ A reasonable reading of the context that nothing explicitly supports. It is *your interpretation*, not a fact from the record. For example, the PR doesn't say why, but the error was happening in production (per the incident channel timing) and the fix was rushed (merged the same day), so it was likely a hotfix. Or the function name suggests retry logic, and its retry count of 3 matches the team's 3-retry convention elsewhere in the codebase.
38
24
 
39
- Examples:
40
- - The PR doesn't say why, but given the error was happening in production (per the incident channel timing) and the fix was rushed (merged the same day), it was likely a hotfix.
41
- - The function name suggests retry logic; the retry count is 3; this matches the team's general convention of "3 retries" seen elsewhere in the codebase.
42
-
43
- Phrasing: hedged. "It appears", "likely", "suggests", "is consistent with", "one reading is". Make the inference chain explicit: "Given A and B, C seems likely because D."
25
+ Phrasing: hedged, with the chain explicit. "Given A and B, C seems likely because D."
44
26
 
45
27
  ### 4. Speculative
46
28
 
47
- A plausible hypothesis, but the evidence is thin and other explanations fit equally well. Presenting these is valuable, but mark them clearly as guesses.
48
-
49
- Examples:
50
- - "This might be a workaround for a browser bug that's since been fixed, but we found no contemporary evidence of that."
51
- - "It's possible this threshold was chosen to match an SLA commitment, but no SLA doc references it."
29
+ A plausible hypothesis on thin evidence, where other explanations fit equally well. Worth presenting, since the user may know which is right, but mark it as a guess. For example, "This might be a workaround for a browser bug that's since been fixed, but we found no contemporary evidence of that", or "It's possible this threshold was chosen to match an SLA commitment, but no SLA doc references it."
52
30
 
53
- Phrasing: explicitly speculative. "One possibility is X, but we have no direct evidence." Usually lives in the "Competing Hypotheses" section alongside other possibilities.
31
+ Phrasing: "One possibility is X, but we have no direct evidence." Usually lives in Competing Hypotheses, alongside other possibilities.
54
32
 
55
33
  ### 5. Unknown
56
34
 
57
- You looked and couldn't find out. A valid and important outcome. Document it.
35
+ You looked and couldn't find out. A valid, important outcome. Document it.
58
36
 
59
- Phrasing: "We searched X, Y, and Z and found no evidence of why." Be specific about *what* you searched. "We couldn't find out" is less useful than "we searched the ticket tracker with keywords A and B, scanned the 6 PRs that touched this file since 2023, and grep'd the repo for string literals matching the threshold; none surfaced a rationale."
37
+ Phrasing: "We searched X, Y, and Z and found no evidence of why." Be specific about *what* you searched. "We couldn't find out" is less useful than "We searched the ticket tracker with keywords A and B, scanned the 6 PRs that touched this file since 2023, and grep'd the repo for string literals matching the threshold. None surfaced a rationale."
60
38
 
61
39
  ## Phrasing Guide
62
40
 
63
- ### Words that carry confidence. Use carefully
64
-
65
- These imply **Direct** or **Supported** confidence. Don't use them for inferences.
66
-
67
- - "because". Implies a causal claim with evidence
68
- - "the reason is". Same
69
- - "was designed to". Claims author intent
70
- - "fixes", "addresses", "solves". Claims the change achieved its goal
71
- - "the team decided". Claims a group decision happened
72
-
73
- If you're using these, you should have a citation immediately adjacent.
74
-
75
- ### Words that hedge. Use for inferences
41
+ **Confidence words** imply Direct or Supported evidence and need a citation immediately adjacent. Never use them for inferences: "because", "the reason is", "was designed to" (claims author intent), "fixes" / "addresses" / "solves" (claims the change achieved its goal), "the team decided" (claims a group decision happened).
76
42
 
77
- - "appears to"
78
- - "seems to"
79
- - "likely"
80
- - "suggests"
81
- - "is consistent with"
82
- - "one reading is"
83
- - "plausibly"
84
- - "may have been"
85
- - "the evidence points toward"
43
+ **Hedges** signal interpretation, not report. Use them liberally in What We Can Reasonably Infer: "appears to", "seems to", "likely", "suggests", "is consistent with", "one reading is", "plausibly", "may have been", "the evidence points toward".
86
44
 
87
- These signal that you're interpreting, not reporting. Use them liberally in the "What We Can Reasonably Infer" section.
88
-
89
- ### Words to avoid
45
+ **Words to avoid:**
90
46
 
91
47
  - "obviously". If it were obvious, the user wouldn't be asking
92
48
  - "clearly". Almost always precedes a claim that isn't clear
@@ -94,51 +50,22 @@ These signal that you're interpreting, not reporting. Use them liberally in the
94
50
  - "just" (as in "it's just X for performance"). Dismissive and usually hides uncertainty
95
51
  - "I think" / "I believe". You're synthesizing evidence, not giving a personal opinion. Use "the evidence suggests" instead.
96
52
 
97
- ### Avoid rationalization
98
-
99
- Code that "makes sense" today may have been written for reasons that no longer apply, or that were wrong when they were written. Don't retrofit a clean rationale onto messy history.
53
+ ## Avoid Rationalization
100
54
 
101
- Resist the urge to:
102
- - Assume the author did the "right" thing and work backward to justify it
103
- - Assume a consistent pattern across the codebase was intentional when it might be copy-paste
104
- - Turn an absence of evidence into evidence of absence ("no one mentioned security concerns, so it must not have been a concern")
55
+ Code that "makes sense" today may have been written for reasons that no longer apply, or that were wrong at the time. Don't retrofit a clean rationale onto messy history. Don't assume the author did the "right" thing and work backward to justify it. Don't assume a consistent pattern was intentional when it might be copy-paste. Don't turn an absence of evidence into evidence of absence ("no one mentioned security concerns, so it must not have been a concern").
105
56
 
106
57
  ## The Sycophancy Trap
107
58
 
108
- Users often phrase `why` questions with an embedded hypothesis: "Why do we do it this way, I assume it's for performance?" Don't simply confirm it. Treat it as one candidate among others and check the evidence independently. If the evidence supports it, say so with citations; if not, say so and present what the evidence *does* support.
109
-
110
- The user's guess is a prompt for investigation, not a conclusion to validate.
59
+ Users often embed a hypothesis: "Why do we do it this way, I assume it's for performance?" Don't simply confirm it. The guess is a prompt for investigation, not a conclusion to validate. Treat it as one candidate among others and check the evidence independently. If the evidence supports it, say so with citations. If not, say so, and present what the evidence *does* support.
111
60
 
112
61
  ## When Evidence Contradicts
113
62
 
114
- If two sources disagree (the PR description says one thing, the ticket says another), surface both. Don't pick the one that fits a tidier narrative. A typical pattern:
115
-
116
- - **The ticket says** "we need this for customer X's compliance requirement"
117
- - **The PR says** "cleaning up tech debt in this area"
118
-
119
- Both may be true (the ticket motivated the work, the PR is the author's framing of it), or one may be wrong. Present both with their citations and let the user make the call.
63
+ Surface both sources in the output, with citations. Don't pick the one that fits a tidier narrative. For example, the ticket says "we need this for customer X's compliance requirement" and the PR says "cleaning up tech debt in this area". Both may be true (the ticket motivated the work, the PR gave the author's framing), or one may be wrong. Let the user make the call.
120
64
 
121
65
  ## When Evidence Is Missing
122
66
 
123
- An honest "we don't know" is one of the most valuable outputs this skill can produce. The user now knows:
124
-
125
- - The answer isn't in the obvious places
126
- - They'll need to ask a human (the original author, the product owner, the team lead) to find out
127
- - Or they can decide the question isn't worth pursuing further
128
-
129
- Failing to mark a gap and filling it with a confident guess actively harms the user; they'll act on the guess.
130
-
131
- When you hit a gap, name it concretely:
132
- - What question you were trying to answer
133
- - What sources you searched
134
- - What you searched for in each
135
- - What you found (nothing, or only tangentially related material)
136
-
137
- ## Calibration Check Before Finalizing
67
+ An honest "we don't know" is one of the most valuable outputs. The user learns the answer isn't in the obvious places, that they'll need to ask a human (the original author, the product owner, the team lead), or that they can decide the question isn't worth pursuing further. Failing to mark a gap, and instead filling it with a confident guess, actively harms the user, because they'll act on the guess. Name each gap concretely: the question, the sources searched, what you searched for in each, and what you found (nothing, or only tangential material).
138
68
 
139
- Before delivering the output, the synthesizer should review every claim in "What We Found" and "What We Can Reasonably Infer" and ask:
69
+ ## Before Finalizing
140
70
 
141
- 1. Does this claim have a citation? If not, either add one or move it to "Inferred" / "Hypotheses".
142
- 2. Is the phrasing calibrated to the tier? (A Direct claim can use "because"; an Inferred claim cannot.)
143
- 3. Am I treating the code itself as evidence for its own intent? If so, that's not evidence. Remove or reclassify.
144
- 4. Does the output include a "What We Don't Know" section? If no gaps are mentioned, that's suspicious. Either the evidence was unusually complete or something is being swept under the rug.
71
+ Before the synthesizer delivers the output, it checks every claim in "What We Found" and "What We Can Reasonably Infer". Each claim has a citation or moves to Inferred or Hypotheses. Its phrasing matches its tier. It doesn't treat code as evidence for its own intent (if it does, remove or reclassify it). The output has a "What We Don't Know" section. If no gaps are mentioned, that's suspicious. Either the evidence was unusually complete or something is being swept under the rug.
@@ -1,23 +1,12 @@
1
1
  # Investigator Prompt Template
2
2
 
3
- Build each investigator's prompt from this template; fill in the placeholders. Append the single category playbook `sources/<source>.md` matching this investigator's evidence category (see `source-playbook.md` for the index). If the target code looks defensive (null checks, retry logic, timeout handling, rate limiting, feature flags, egress guards, OOM handlers), also append `sources/incident-postmortem.md` for the incident-flavored queries to run inside its own source.
3
+ Fill in the placeholders. Append the one category playbook `sources/<source>.md` for this investigator's evidence category (index: `source-playbook.md`). If the target code looks defensive (null checks, retry logic, timeout handling, rate limiting, feature flags, egress guards, OOM handlers), also append `sources/incident-postmortem.md` so the investigator runs incident-flavored queries inside its own source.
4
4
 
5
5
  ---
6
6
 
7
- You are investigating the historical context and motivation behind a piece of code. A separate synthesizer combines your findings with other investigators' into a final answer, so gather evidence accurately rather than writing prose.
7
+ You are investigating the historical context and motivation behind a piece of code. Other investigators search other sources in parallel, and a separate synthesizer combines all findings into the final answer. Go deep on your assigned source only. Gather evidence accurately rather than writing prose.
8
8
 
9
- Other investigators search different sources in parallel. Don't try to cover everything. Focus on your assigned source and go deep.
10
-
11
- ## Operating Posture
12
-
13
- Work like a careful, cautious, precise investigator. Don't produce a narrative; surface evidence and describe it accurately, including the parts that don't fit a tidy story. The more boring and exact your output, the more useful it is. A single verbatim quote with a precise citation beats a paragraph of plausible-sounding summary.
14
-
15
- - **Quote, don't paraphrase** when the exact wording matters. Citations should let the reader jump to the source and confirm the claim in seconds.
16
- - **Go wide before going deep.** Cast a broad first net so you don't miss related context. Only then narrow in.
17
- - **Track what you searched, not just what you found.** An absence is only useful if the reader knows what was looked for. Record queries verbatim.
18
- - **Resist the story.** If three pieces of evidence line up neatly and a fourth contradicts them, the contradiction is the most interesting finding. Don't file it away.
19
- - **Consider the counterfactual.** Before reporting a finding as strong, ask whether you would expect to find it if your current reading were wrong, and how the evidence would differ.
20
- - **Never invent.** If you're tempted to round a partial finding up into a confident statement, stop and label it partial. The synthesizer is counting on your output being accurate.
9
+ Work like a **careful, cautious, and precise investigator**. Surface evidence and describe it accurately, including the parts that don't fit a tidy story. Boring and exact beats plausible. One verbatim quote with a precise citation is worth more than a paragraph of summary.
21
10
 
22
11
  ## The Question
23
12
 
@@ -42,62 +31,54 @@ Work like a careful, cautious, precise investigator. Don't produce a narrative;
42
31
 
43
32
  {SOURCE_PLAYBOOK_SECTION}
44
33
 
45
- ## Investigation Instructions
34
+ ## Investigation Loop
46
35
 
47
- Gather **evidence**; don't answer the question directly. The synthesizer weighs the evidence and forms conclusions. Follow this loop:
36
+ 1. **Cast a wide net first** so you don't miss related context. Only then narrow in on specific items.
37
+ 2. **Read the whole thing.** Read each PR, ticket, doc, or thread fully, not just the title or summary. The key evidence is often in a comment, a subtask, or a follow-up.
38
+ 3. **Follow links within your source only.** Pull the PR or commit a PR references, the parent or sibling of a ticket, the doc a doc links. Do NOT chase a cross-source reference. Record it under Additional Leads for that source's investigator. The one-investigator-per-category design depends on this. Chasing it duplicates work and confuses scope.
39
+ 4. **Quote verbatim**, with the exact location (PR number, ticket ID, URL, commit hash, file:line), so the reader can confirm the claim in seconds.
40
+ 5. **Record what you searched, not just what you found.** Write queries verbatim. An empty search is a finding.
41
+ 6. **Resist the story.** If two items in your source disagree, record both. Don't suppress the inconvenient one. If three items line up and a fourth contradicts them, the contradiction is the most interesting finding.
48
42
 
49
- 1. **Cast a wide net first.** Start broad so you don't miss related context, then narrow in on specific items.
50
- 2. **Read the whole thing.** Read any PR, ticket, doc, or thread fully, not just the title or summary. The key evidence is often buried in a comment, a subtask, or a follow-up.
51
- 3. **Follow links within your assigned source.** If a PR references another PR or commit, pull it. If a ticket links a parent or sibling, pull it. If a doc links another doc, pull it. Stay inside your assigned source. When you spot a cross-source reference, do NOT chase it yourself. Record it under "Additional Leads" so the investigator assigned to that source can pick it up. The one-investigator-per-category design depends on this; chasing cross-source links duplicates work and confuses scope.
52
- 4. **Capture quotes verbatim** with their location (PR number, ticket ID, URL, commit hash, file:line). The synthesizer needs to cite this precisely.
53
- 5. **Note absences.** If you searched for something and came up empty, that's also a finding. Record what you searched for and what you didn't find.
54
- 6. **Watch for contradictions.** If two items in your source disagree, record both. Don't suppress the inconvenient one.
55
-
56
- Don't synthesize or form a final opinion on "the why." Collect the raw material honestly and completely; the synthesizer does the reasoning.
43
+ Before reporting a finding as strong, ask whether you would expect to find it if your current reading were wrong, and how the evidence would differ. **Never invent.** If you're tempted to round a partial finding up into a confident statement, stop and label it partial. The synthesizer counts on your output being accurate.
57
44
 
58
45
  ## Epistemic Discipline
59
46
 
60
- - **Don't confuse mechanics with motivation.** A commit changing `limit = 50` to `limit = 100` shows the change, not necessarily why. Look for the explanation in the commit message, PR description, linked ticket, or review comments.
61
- - **Don't infer intent from code style.** "The author chose a functional approach" is an observation about code, not evidence of intent. Claim intent only when the author stated it.
62
- - **Preserve uncertainty.** If the evidence is ambiguous, say so. If one reading is more plausible but not certain, say that. Don't collapse ambiguity to look decisive.
47
+ - **Mechanics are not motivation.** A commit changing `limit = 50` to `limit = 100` shows the change, not necessarily why. Look for the reason in the commit message, PR description, linked ticket, or review comments.
48
+ - **No intent from code behavior or style.** You may read code to learn what the target *is*. "The author chose a functional approach" is an observation about code, not evidence of intent. Claim intent only where the author stated it.
49
+ - **Preserve uncertainty.** Say when evidence is ambiguous, or when one reading is more plausible but not certain. Don't collapse ambiguity to look decisive.
63
50
  - **No silent substitutions.** If the question is about feature X and you only find evidence about feature Y, don't present Y's evidence as if it answers X.
51
+ - **Gather, don't conclude.** Collect the raw material honestly and completely. Don't answer the question, form a final opinion on "the why", or pick sides in contradictions. Don't speculate beyond what the evidence supports. A hunch with no evidence isn't evidence. The synthesizer does the reasoning.
64
52
 
65
53
  ## Output Format
66
54
 
67
- Return your findings in this structure. The synthesizer will read it directly.
55
+ Return your findings in this structure. The synthesizer reads it directly.
68
56
 
69
57
  ### Source
70
58
  Which source you investigated (source control, issue / ticket tracker, long-form documents, real-time team chat, infrastructure observability, error / exception tracking, product analytics warehouse, code comments, etc.).
71
59
 
72
60
  ### What I Searched
73
- The queries you ran, the items you opened, the places you looked. Be specific. This tells the synthesizer how thorough the investigation was and what might still be unsearched.
61
+ The queries you ran, items you opened, and places you looked. Be specific. This shows how thorough the search was and what is still unsearched.
74
62
 
75
63
  ### Direct Evidence Found
76
- For each piece that explicitly addresses the question:
64
+ For each item that explicitly addresses the question:
77
65
  - **What it says**: verbatim quote or accurate paraphrase
78
66
  - **Where it's from**: PR #123, ticket ID, doc URL, chat permalink, commit hash, or file:line
79
67
  - **Author and date** (if available)
80
68
  - **Relevance**: one sentence on how it bears on the question
81
69
 
82
70
  ### Indirect / Circumstantial Evidence
83
- Items that don't explicitly answer the question but bear on it. For each:
71
+ For each item that bears on the question without answering it:
84
72
  - **What it is**: brief description
85
73
  - **Where it's from**: location
86
- - **What it suggests**: what a careful reader might infer, and why. Name the inference chain.
74
+ - **What it suggests**: what a careful reader might infer, and the inference chain
87
75
  - **Alternative readings**: if the same evidence could support a different interpretation, note it
88
76
 
89
77
  ### Contradictions
90
- Two items that disagree with each other, with both citations.
78
+ Items that disagree with each other, with both citations.
91
79
 
92
80
  ### Gaps
93
- What you searched for and didn't find. Be specific: "Searched the issue tracker for [query] across [time range]. No matching issues." These absences are valuable data.
81
+ What you searched for and didn't find, specifically: "Searched the issue tracker for [query] across [time range]. No matching issues."
94
82
 
95
83
  ### Additional Leads
96
- Anything that suggests further investigation in a different source. For example, if a PR references a chat thread that wasn't in your source, note it so the real-time team chat investigator or a follow-up pass can pursue it.
97
-
98
- ## What You're Not Doing
99
-
100
- - Writing the final answer. The synthesizer does that.
101
- - Picking sides in contradictions. Surface them.
102
- - Speculating beyond what the evidence supports. A hunch with no evidence isn't evidence.
103
- - Reading the code itself to figure out intent. You may read the code to understand what the target *is*, but don't confuse "what the code does" with "why."
84
+ Anything that suggests further investigation in a different source, for its investigator or a follow-up pass. For example, a chat thread that a PR mentions.
@@ -1,6 +1,6 @@
1
1
  # Source playbooks
2
2
 
3
- The why skill spawns one investigator per available evidence category, each reading a single source-specific playbook below. The playbooks are concrete examples for common MCPs; adapt them for a different MCP in the same category.
3
+ The why skill spawns one investigator per available evidence category, each reading a single source-specific playbook below. The playbooks are concrete examples for common MCPs. Adapt them for a different MCP in the same category.
4
4
 
5
5
  | Category | Playbook | Example MCP it documents |
6
6
  |---|---|---|