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

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 (641) hide show
  1. package/CHANGELOG.md +39 -0
  2. package/LICENSE +21 -0
  3. package/README.md +98 -2
  4. package/agents/ci-watcher.md +27 -0
  5. package/agents/comment-sicko.md +32 -0
  6. package/agents/poteto-agent.md +9 -0
  7. package/agents/thermo-nuclear-code-quality-review.md +23 -0
  8. package/assets/logo.png +0 -0
  9. package/automations/benny/FOR_AGENTS.md +82 -0
  10. package/automations/benny/README.md +20 -0
  11. package/automations/benny/skills/reproduce-and-fix-issues/SKILL.md +310 -0
  12. package/automations/benny/skills/reproduce-and-fix-issues/references/control-adapter.md +169 -0
  13. package/automations/benny/skills/reproduce-and-fix-issues/references/feature-map.example.md +205 -0
  14. package/automations/benny/skills/reproduce-and-fix-issues/references/verify-existing-fix.md +93 -0
  15. package/automations/benny/skills/setup-benny/SKILL.md +253 -0
  16. package/automations/benny/skills/triage-issue-reports/SKILL.md +240 -0
  17. package/automations/benny/skills/triage-issue-reports/references/routing.example.md +61 -0
  18. package/automations/benny/templates/configuration.example.yaml +113 -0
  19. package/automations/benny/templates/reproduce-automation-prompt.md +49 -0
  20. package/automations/benny/templates/triage-automation-prompt.md +53 -0
  21. package/bin/pstack-routines-supervisor +9 -0
  22. package/docs/guide/01-setup.md +67 -0
  23. package/docs/guide/02-poteto-mode.md +139 -0
  24. package/docs/guide/03-understand.md +79 -0
  25. package/docs/guide/04-design.md +133 -0
  26. package/docs/guide/05-build-and-clean.md +83 -0
  27. package/docs/guide/06-verify-and-ship.md +162 -0
  28. package/docs/guide/07-overnight.md +122 -0
  29. package/docs/guide/08-principles.md +72 -0
  30. package/docs/guide/09-make-it-yours.md +100 -0
  31. package/docs/guide/10-recipes-and-pitfalls.md +182 -0
  32. package/docs/guide/README.md +38 -0
  33. package/docs/guide/images/design.jpg +0 -0
  34. package/docs/guide/images/overnight.jpg +0 -0
  35. package/docs/guide/images/recipes.jpg +0 -0
  36. package/docs/guide/images/router.jpg +0 -0
  37. package/docs/guide/images/understanding.jpg +0 -0
  38. package/docs/guide/images/verification.jpg +0 -0
  39. package/docs/native-gaps.md +73 -0
  40. package/docs/parity-reverse-engineering.md +94 -0
  41. package/licenses/cursor-team-kit.LICENSE +21 -0
  42. package/licenses/pstack.LICENSE +21 -0
  43. package/package.json +86 -4
  44. package/packaging/install-supervisor-unit.sh +164 -0
  45. package/packaging/launchd/com.pstack.routines-supervisor.plist.example +24 -0
  46. package/packaging/systemd/pstack-routines-supervisor.service.example +15 -0
  47. package/skills/architect/SKILL.md +79 -0
  48. package/skills/architect/references/design-red-flags.md +57 -0
  49. package/skills/architect/references/rationale-template.md +35 -0
  50. package/skills/architect/references/runner-prompt.md +20 -0
  51. package/skills/arena/SKILL.md +48 -0
  52. package/skills/automate-me/SKILL.md +104 -0
  53. package/skills/benchmark-checklist/SKILL.md +39 -0
  54. package/skills/blast-radius/SKILL.md +50 -0
  55. package/skills/bro/SKILL.md +7 -0
  56. package/skills/check-compiler-errors/SKILL.md +23 -0
  57. package/skills/control-cli/SKILL.md +109 -0
  58. package/skills/control-ui/SKILL.md +109 -0
  59. package/skills/correct/SKILL.md +32 -0
  60. package/skills/create-formal-verification-skill/SKILL.md +43 -0
  61. package/skills/create-skill/SKILL.md +548 -0
  62. package/skills/create-verification-skill/SKILL.md +44 -0
  63. package/skills/create-verification-skill/references/feature-map-example/README.md +47 -0
  64. package/skills/create-verification-skill/references/feature-map-example/create-note.md +39 -0
  65. package/skills/create-verification-skill/references/feature-map-example/search.md +45 -0
  66. package/skills/deslop/SKILL.md +22 -0
  67. package/skills/figure-it-out/SKILL.md +52 -0
  68. package/skills/fix-ci/SKILL.md +29 -0
  69. package/skills/fix-merge-conflicts/SKILL.md +32 -0
  70. package/skills/get-pr-comments/SKILL.md +23 -0
  71. package/skills/how/SKILL.md +36 -0
  72. package/skills/how/references/explainer-prompt.md +55 -0
  73. package/skills/how/references/explorer-prompt.md +35 -0
  74. package/skills/in-your-own-words/SKILL.md +7 -0
  75. package/skills/interrogate/SKILL.md +31 -0
  76. package/skills/ketchup/SKILL.md +43 -0
  77. package/skills/ketchup-video/SKILL.md +29 -0
  78. package/skills/loop-on-ci/SKILL.md +50 -0
  79. package/skills/maintain-formal-verification-skill/SKILL.md +58 -0
  80. package/skills/maintain-verification-skill/SKILL.md +39 -0
  81. package/skills/make-bot-ui/SKILL.md +104 -0
  82. package/skills/make-pr-easy-to-review/SKILL.md +59 -0
  83. package/skills/new-branch-and-pr/SKILL.md +29 -0
  84. package/skills/no-comments/SKILL.md +24 -0
  85. package/skills/no-inline-imports/SKILL.md +12 -0
  86. package/skills/poteto-help/SKILL.md +161 -0
  87. package/skills/poteto-help/references/prompting.md +51 -0
  88. package/skills/poteto-help/references/recipes.md +51 -0
  89. package/skills/poteto-mode/SKILL.md +151 -0
  90. package/skills/poteto-mode/playbooks/authoring-a-skill.md +12 -0
  91. package/skills/poteto-mode/playbooks/autonomous-run.md +13 -0
  92. package/skills/poteto-mode/playbooks/autopilot-full.md +25 -0
  93. package/skills/poteto-mode/playbooks/autopilot-stack.md +8 -0
  94. package/skills/poteto-mode/playbooks/babysit.md +23 -0
  95. package/skills/poteto-mode/playbooks/bug-fix.md +15 -0
  96. package/skills/poteto-mode/playbooks/eval.md +25 -0
  97. package/skills/poteto-mode/playbooks/feature.md +21 -0
  98. package/skills/poteto-mode/playbooks/hillclimb.md +21 -0
  99. package/skills/poteto-mode/playbooks/investigation.md +14 -0
  100. package/skills/poteto-mode/playbooks/multi-phase-plan.md +155 -0
  101. package/skills/poteto-mode/playbooks/opening-a-pr.md +34 -0
  102. package/skills/poteto-mode/playbooks/orchestrate.md +25 -0
  103. package/skills/poteto-mode/playbooks/pause-safely.md +10 -0
  104. package/skills/poteto-mode/playbooks/perf-issue.md +25 -0
  105. package/skills/poteto-mode/playbooks/prototype.md +14 -0
  106. package/skills/poteto-mode/playbooks/refactoring.md +16 -0
  107. package/skills/poteto-mode/playbooks/runtime-forensics.md +11 -0
  108. package/skills/poteto-mode/playbooks/session-pickup.md +11 -0
  109. package/skills/poteto-mode/playbooks/shipping.md +12 -0
  110. package/skills/poteto-mode/playbooks/trace-forensics.md +14 -0
  111. package/skills/poteto-mode/playbooks/visual-parity.md +11 -0
  112. package/skills/poteto-mode/playbooks/worktree-cleanup.md +12 -0
  113. package/skills/poteto-mode/references/bugbot-triage.md +142 -0
  114. package/skills/poteto-mode/scripts/bootstrap.ts +62 -0
  115. package/skills/poteto-mode/scripts/bun.lock +67 -0
  116. package/skills/poteto-mode/scripts/check-plan.mjs +205 -0
  117. package/skills/poteto-mode/scripts/check-plan.test.ts +110 -0
  118. package/skills/poteto-mode/scripts/package.json +16 -0
  119. package/skills/poteto-mode/scripts/watch-pr/cli.test.ts +224 -0
  120. package/skills/poteto-mode/scripts/watch-pr/cli.ts +223 -0
  121. package/skills/poteto-mode/scripts/watch-pr/fakes.test-helper.ts +129 -0
  122. package/skills/poteto-mode/scripts/watch-pr/github.test.ts +498 -0
  123. package/skills/poteto-mode/scripts/watch-pr/github.ts +726 -0
  124. package/skills/poteto-mode/scripts/watch-pr/policy.test.ts +482 -0
  125. package/skills/poteto-mode/scripts/watch-pr/policy.ts +842 -0
  126. package/skills/poteto-mode/scripts/watch-pr/render.ts +169 -0
  127. package/skills/poteto-mode/scripts/watch-pr/tsconfig.json +13 -0
  128. package/skills/poteto-mode/scripts/watch-pr/types.compile.ts +93 -0
  129. package/skills/poteto-mode/scripts/watch-pr/types.ts +414 -0
  130. package/skills/poteto-mode/scripts/watch-pr/watch-pr +6 -0
  131. package/skills/poteto-mode/scripts/worktree-audit.sh +156 -0
  132. package/skills/pr-review-canvas/SKILL.md +176 -0
  133. package/skills/pr-review-canvas/renderer.js +170 -0
  134. package/skills/pr-review-canvas/styles.css +96 -0
  135. package/skills/pr-review-canvas/template.html +18 -0
  136. package/skills/principle-attack-the-premise/SKILL.md +21 -0
  137. package/skills/principle-boundary-discipline/SKILL.md +34 -0
  138. package/skills/principle-build-the-lever/SKILL.md +23 -0
  139. package/skills/principle-encode-lessons-in-structure/SKILL.md +11 -0
  140. package/skills/principle-exhaust-the-design-space/SKILL.md +9 -0
  141. package/skills/principle-experience-first/SKILL.md +19 -0
  142. package/skills/principle-explain-the-number/SKILL.md +18 -0
  143. package/skills/principle-fix-root-causes/SKILL.md +21 -0
  144. package/skills/principle-foundational-thinking/SKILL.md +21 -0
  145. package/skills/principle-guard-the-context-window/SKILL.md +12 -0
  146. package/skills/principle-laziness-protocol/SKILL.md +10 -0
  147. package/skills/principle-make-operations-idempotent/SKILL.md +22 -0
  148. package/skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +14 -0
  149. package/skills/principle-minimize-reader-load/SKILL.md +18 -0
  150. package/skills/principle-model-the-domain/SKILL.md +24 -0
  151. package/skills/principle-never-block-on-the-human/SKILL.md +15 -0
  152. package/skills/principle-outcome-oriented-execution/SKILL.md +21 -0
  153. package/skills/principle-prove-it-works/SKILL.md +22 -0
  154. package/skills/principle-redesign-from-first-principles/SKILL.md +16 -0
  155. package/skills/principle-separate-before-serializing-shared-state/SKILL.md +16 -0
  156. package/skills/principle-sequence-verifiable-units/SKILL.md +17 -0
  157. package/skills/principle-subtract-before-you-add/SKILL.md +18 -0
  158. package/skills/principle-test-behavior-not-implementation/SKILL.md +20 -0
  159. package/skills/principle-type-system-discipline/SKILL.md +13 -0
  160. package/skills/recall/SKILL.md +35 -0
  161. package/skills/reflect/SKILL.md +69 -0
  162. package/skills/reflect/references/divergent-reviewer.md +38 -0
  163. package/skills/reflect/references/judgment-reviewer.md +37 -0
  164. package/skills/reflect/references/synthesizer.md +56 -0
  165. package/skills/reflect/references/tooling-reviewer.md +48 -0
  166. package/skills/review-and-ship/SKILL.md +41 -0
  167. package/skills/run-smoke-tests/SKILL.md +42 -0
  168. package/skills/setup-pstack/SKILL.md +74 -0
  169. package/skills/sharpen/SKILL.md +16 -0
  170. package/skills/show-me-your-work/SKILL.md +82 -0
  171. package/skills/show-me-your-work/references/decision-log-template.tsv +1 -0
  172. package/skills/show-me-your-work/scripts/log.sh +42 -0
  173. package/skills/statechart/SKILL.md +82 -0
  174. package/skills/statechart/references/render.md +93 -0
  175. package/skills/statechart/scripts/backends/cfg.ts +33 -0
  176. package/skills/statechart/scripts/backends/mermaid.ts +201 -0
  177. package/skills/statechart/scripts/backends/plain-text.ts +72 -0
  178. package/skills/statechart/scripts/backends/report.ts +177 -0
  179. package/skills/statechart/scripts/frontends/config.ts +276 -0
  180. package/skills/statechart/scripts/frontends/dot.ts +74 -0
  181. package/skills/statechart/scripts/frontends/marks.ts +93 -0
  182. package/skills/statechart/scripts/frontends/messages.ts +52 -0
  183. package/skills/statechart/scripts/frontends/spec.ts +114 -0
  184. package/skills/statechart/scripts/frontends/trace.ts +24 -0
  185. package/skills/statechart/scripts/frontends/value.ts +166 -0
  186. package/skills/statechart/scripts/frontends/verdict.ts +40 -0
  187. package/skills/statechart/scripts/frontends/view.ts +119 -0
  188. package/skills/statechart/scripts/ir.ts +547 -0
  189. package/skills/statechart/scripts/package.json +11 -0
  190. package/skills/statechart/scripts/passes/annotate.ts +128 -0
  191. package/skills/statechart/scripts/passes/label.ts +269 -0
  192. package/skills/statechart/scripts/passes/lift.ts +85 -0
  193. package/skills/statechart/scripts/passes/loop-check.ts +68 -0
  194. package/skills/statechart/scripts/passes/paths.ts +60 -0
  195. package/skills/statechart/scripts/passes/reach.ts +135 -0
  196. package/skills/statechart/scripts/passes/region-check.ts +97 -0
  197. package/skills/statechart/scripts/passes/regions.ts +295 -0
  198. package/skills/statechart/scripts/pipeline.ts +76 -0
  199. package/skills/statechart/scripts/run.ts +481 -0
  200. package/skills/statechart/scripts/statechart +29 -0
  201. package/skills/statechart/scripts/statechart.ts +164 -0
  202. package/skills/statechart/scripts/test/ConfigOracle.java +63 -0
  203. package/skills/statechart/scripts/test/chart.test.ts +1210 -0
  204. package/skills/statechart/scripts/test/charts/Braces.mmd +7 -0
  205. package/skills/statechart/scripts/test/charts/Escapes.mmd +11 -0
  206. package/skills/statechart/scripts/test/charts/Phases.mmd +29 -0
  207. package/skills/statechart/scripts/test/cli.test.ts +1314 -0
  208. package/skills/statechart/scripts/test/config-fuzz.test.ts +263 -0
  209. package/skills/statechart/scripts/test/corpus/Counter/ChartRun.out +57 -0
  210. package/skills/statechart/scripts/test/corpus/Counter/Counter.cfg +3 -0
  211. package/skills/statechart/scripts/test/corpus/Counter/Counter.tla +10 -0
  212. package/skills/statechart/scripts/test/corpus/Counter/chart.mmd +9 -0
  213. package/skills/statechart/scripts/test/corpus/Counter/graph.dot +16 -0
  214. package/skills/statechart/scripts/test/corpus/Counter/report.md +7 -0
  215. package/skills/statechart/scripts/test/corpus/Counter/sany.out +2 -0
  216. package/skills/statechart/scripts/test/corpus/Counter/verdict-1.out +49 -0
  217. package/skills/statechart/scripts/test/corpus/CounterAction/ChartRun.out +60 -0
  218. package/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg +4 -0
  219. package/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.tla +22 -0
  220. package/skills/statechart/scripts/test/corpus/CounterAction/chart.mmd +26 -0
  221. package/skills/statechart/scripts/test/corpus/CounterAction/graph.dot +19 -0
  222. package/skills/statechart/scripts/test/corpus/CounterAction/report.md +20 -0
  223. package/skills/statechart/scripts/test/corpus/CounterAction/sany.out +2 -0
  224. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.exit +1 -0
  225. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.out +56 -0
  226. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.exit +1 -0
  227. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.out +82 -0
  228. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-3.out +57 -0
  229. package/skills/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out +59 -0
  230. package/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg +3 -0
  231. package/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla +11 -0
  232. package/skills/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd +22 -0
  233. package/skills/statechart/scripts/test/corpus/CounterDeadlock/graph.dot +16 -0
  234. package/skills/statechart/scripts/test/corpus/CounterDeadlock/report.md +17 -0
  235. package/skills/statechart/scripts/test/corpus/CounterDeadlock/sany.out +2 -0
  236. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit +1 -0
  237. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out +56 -0
  238. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit +1 -0
  239. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out +77 -0
  240. package/skills/statechart/scripts/test/corpus/CounterFan/ChartRun.out +69 -0
  241. package/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg +2 -0
  242. package/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.tla +11 -0
  243. package/skills/statechart/scripts/test/corpus/CounterFan/chart.mmd +85 -0
  244. package/skills/statechart/scripts/test/corpus/CounterFan/graph.dot +70 -0
  245. package/skills/statechart/scripts/test/corpus/CounterFan/report.md +12 -0
  246. package/skills/statechart/scripts/test/corpus/CounterFan/sany.out +2 -0
  247. package/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.exit +1 -0
  248. package/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.out +67 -0
  249. package/skills/statechart/scripts/test/corpus/CounterFan/verdict-2.out +57 -0
  250. package/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit +1 -0
  251. package/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.out +85 -0
  252. package/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg +6 -0
  253. package/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla +13 -0
  254. package/skills/statechart/scripts/test/corpus/CounterGuard/chart.mmd +5 -0
  255. package/skills/statechart/scripts/test/corpus/CounterGuard/graph.dot +10 -0
  256. package/skills/statechart/scripts/test/corpus/CounterGuard/report.md +31 -0
  257. package/skills/statechart/scripts/test/corpus/CounterGuard/sany.out +2 -0
  258. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit +1 -0
  259. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.out +64 -0
  260. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit +1 -0
  261. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.out +77 -0
  262. package/skills/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out +55 -0
  263. package/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg +3 -0
  264. package/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla +10 -0
  265. package/skills/statechart/scripts/test/corpus/CounterInitPast/chart.mmd +12 -0
  266. package/skills/statechart/scripts/test/corpus/CounterInitPast/graph.dot +6 -0
  267. package/skills/statechart/scripts/test/corpus/CounterInitPast/report.md +12 -0
  268. package/skills/statechart/scripts/test/corpus/CounterInitPast/sany.out +2 -0
  269. package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit +1 -0
  270. package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out +33 -0
  271. package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out +54 -0
  272. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out +54 -0
  273. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg +3 -0
  274. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla +10 -0
  275. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd +1 -0
  276. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot +6 -0
  277. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/report.md +7 -0
  278. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out +2 -0
  279. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out +46 -0
  280. package/skills/statechart/scripts/test/corpus/CounterInstance/ChartRun.out +59 -0
  281. package/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg +2 -0
  282. package/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla +10 -0
  283. package/skills/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla +6 -0
  284. package/skills/statechart/scripts/test/corpus/CounterInstance/chart.mmd +17 -0
  285. package/skills/statechart/scripts/test/corpus/CounterInstance/graph.dot +15 -0
  286. package/skills/statechart/scripts/test/corpus/CounterInstance/report.md +14 -0
  287. package/skills/statechart/scripts/test/corpus/CounterInstance/sany.out +3 -0
  288. package/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit +1 -0
  289. package/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.out +78 -0
  290. package/skills/statechart/scripts/test/corpus/CounterJump/ChartRun.out +59 -0
  291. package/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg +3 -0
  292. package/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.tla +19 -0
  293. package/skills/statechart/scripts/test/corpus/CounterJump/chart.mmd +26 -0
  294. package/skills/statechart/scripts/test/corpus/CounterJump/graph.dot +22 -0
  295. package/skills/statechart/scripts/test/corpus/CounterJump/report.md +12 -0
  296. package/skills/statechart/scripts/test/corpus/CounterJump/sany.out +2 -0
  297. package/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.exit +1 -0
  298. package/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.out +58 -0
  299. package/skills/statechart/scripts/test/corpus/CounterJump/verdict-2.out +57 -0
  300. package/skills/statechart/scripts/test/corpus/CounterLoop/ChartRun.out +57 -0
  301. package/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg +2 -0
  302. package/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla +11 -0
  303. package/skills/statechart/scripts/test/corpus/CounterLoop/chart.mmd +17 -0
  304. package/skills/statechart/scripts/test/corpus/CounterLoop/graph.dot +15 -0
  305. package/skills/statechart/scripts/test/corpus/CounterLoop/report.md +14 -0
  306. package/skills/statechart/scripts/test/corpus/CounterLoop/sany.out +2 -0
  307. package/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit +1 -0
  308. package/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.out +76 -0
  309. package/skills/statechart/scripts/test/corpus/CounterOrder/ChartRun.out +59 -0
  310. package/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg +3 -0
  311. package/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla +11 -0
  312. package/skills/statechart/scripts/test/corpus/CounterOrder/chart.mmd +19 -0
  313. package/skills/statechart/scripts/test/corpus/CounterOrder/graph.dot +10 -0
  314. package/skills/statechart/scripts/test/corpus/CounterOrder/report.md +15 -0
  315. package/skills/statechart/scripts/test/corpus/CounterOrder/sany.out +2 -0
  316. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit +1 -0
  317. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.out +56 -0
  318. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit +1 -0
  319. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.out +67 -0
  320. package/skills/statechart/scripts/test/corpus/CounterRules/ChartRun.out +62 -0
  321. package/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg +6 -0
  322. package/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.tla +24 -0
  323. package/skills/statechart/scripts/test/corpus/CounterRules/Moves.tla +5 -0
  324. package/skills/statechart/scripts/test/corpus/CounterRules/chart.mmd +22 -0
  325. package/skills/statechart/scripts/test/corpus/CounterRules/graph.dot +10 -0
  326. package/skills/statechart/scripts/test/corpus/CounterRules/report.md +23 -0
  327. package/skills/statechart/scripts/test/corpus/CounterRules/sany.out +3 -0
  328. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.exit +1 -0
  329. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.out +58 -0
  330. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.exit +1 -0
  331. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.out +66 -0
  332. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.exit +1 -0
  333. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.out +74 -0
  334. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-4.out +59 -0
  335. package/skills/statechart/scripts/test/corpus/CounterStart/ChartRun.out +58 -0
  336. package/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg +3 -0
  337. package/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.tla +15 -0
  338. package/skills/statechart/scripts/test/corpus/CounterStart/chart.mmd +18 -0
  339. package/skills/statechart/scripts/test/corpus/CounterStart/graph.dot +13 -0
  340. package/skills/statechart/scripts/test/corpus/CounterStart/report.md +11 -0
  341. package/skills/statechart/scripts/test/corpus/CounterStart/sany.out +2 -0
  342. package/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.exit +1 -0
  343. package/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.out +33 -0
  344. package/skills/statechart/scripts/test/corpus/CounterStart/verdict-2.out +57 -0
  345. package/skills/statechart/scripts/test/corpus/CounterStop/ChartRun.out +57 -0
  346. package/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg +3 -0
  347. package/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.tla +15 -0
  348. package/skills/statechart/scripts/test/corpus/CounterStop/chart.mmd +7 -0
  349. package/skills/statechart/scripts/test/corpus/CounterStop/graph.dot +13 -0
  350. package/skills/statechart/scripts/test/corpus/CounterStop/report.md +6 -0
  351. package/skills/statechart/scripts/test/corpus/CounterStop/sany.out +2 -0
  352. package/skills/statechart/scripts/test/corpus/CounterStop/verdict-1.out +49 -0
  353. package/skills/statechart/scripts/test/corpus/CounterTie/ChartRun.out +61 -0
  354. package/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg +4 -0
  355. package/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.tla +14 -0
  356. package/skills/statechart/scripts/test/corpus/CounterTie/chart.mmd +30 -0
  357. package/skills/statechart/scripts/test/corpus/CounterTie/graph.dot +19 -0
  358. package/skills/statechart/scripts/test/corpus/CounterTie/report.md +27 -0
  359. package/skills/statechart/scripts/test/corpus/CounterTie/sany.out +2 -0
  360. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.exit +1 -0
  361. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.out +56 -0
  362. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.exit +1 -0
  363. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.out +64 -0
  364. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.exit +1 -0
  365. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.out +87 -0
  366. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-4.out +57 -0
  367. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out +60 -0
  368. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg +3 -0
  369. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla +12 -0
  370. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd +23 -0
  371. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot +19 -0
  372. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/report.md +11 -0
  373. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/sany.out +2 -0
  374. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit +1 -0
  375. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out +56 -0
  376. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out +57 -0
  377. package/skills/statechart/scripts/test/corpus/CounterView/ChartRun.out +61 -0
  378. package/skills/statechart/scripts/test/corpus/CounterView/CounterView.cfg +4 -0
  379. package/skills/statechart/scripts/test/corpus/CounterView/CounterView.tla +14 -0
  380. package/skills/statechart/scripts/test/corpus/CounterView/chart.mmd +23 -0
  381. package/skills/statechart/scripts/test/corpus/CounterView/graph.dot +19 -0
  382. package/skills/statechart/scripts/test/corpus/CounterView/report.md +27 -0
  383. package/skills/statechart/scripts/test/corpus/CounterView/sany.out +2 -0
  384. package/skills/statechart/scripts/test/corpus/CounterView/verdict-1.exit +1 -0
  385. package/skills/statechart/scripts/test/corpus/CounterView/verdict-1.out +56 -0
  386. package/skills/statechart/scripts/test/corpus/CounterView/verdict-2.exit +1 -0
  387. package/skills/statechart/scripts/test/corpus/CounterView/verdict-2.out +64 -0
  388. package/skills/statechart/scripts/test/corpus/CounterView/verdict-3.exit +1 -0
  389. package/skills/statechart/scripts/test/corpus/CounterView/verdict-3.out +87 -0
  390. package/skills/statechart/scripts/test/corpus/CounterView/verdict-4.out +57 -0
  391. package/skills/statechart/scripts/test/corpus/CounterView/view.mjs +1 -0
  392. package/skills/statechart/scripts/test/corpus/DieHard/ChartRun.out +59 -0
  393. package/skills/statechart/scripts/test/corpus/DieHard/DieHard.cfg +4 -0
  394. package/skills/statechart/scripts/test/corpus/DieHard/DieHard.tla +38 -0
  395. package/skills/statechart/scripts/test/corpus/DieHard/chart.mmd +92 -0
  396. package/skills/statechart/scripts/test/corpus/DieHard/graph.dot +126 -0
  397. package/skills/statechart/scripts/test/corpus/DieHard/report.md +17 -0
  398. package/skills/statechart/scripts/test/corpus/DieHard/sany.out +2 -0
  399. package/skills/statechart/scripts/test/corpus/DieHard/verdict-1.exit +1 -0
  400. package/skills/statechart/scripts/test/corpus/DieHard/verdict-1.out +91 -0
  401. package/skills/statechart/scripts/test/corpus/DieHard/verdict-2.out +57 -0
  402. package/skills/statechart/scripts/test/corpus/FirstRule/ChartRun.out +61 -0
  403. package/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg +6 -0
  404. package/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.tla +11 -0
  405. package/skills/statechart/scripts/test/corpus/FirstRule/chart.mmd +22 -0
  406. package/skills/statechart/scripts/test/corpus/FirstRule/graph.dot +16 -0
  407. package/skills/statechart/scripts/test/corpus/FirstRule/report.md +25 -0
  408. package/skills/statechart/scripts/test/corpus/FirstRule/sany.out +2 -0
  409. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.exit +1 -0
  410. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.out +56 -0
  411. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.exit +1 -0
  412. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.out +64 -0
  413. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.exit +1 -0
  414. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.out +64 -0
  415. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.exit +1 -0
  416. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.out +77 -0
  417. package/skills/statechart/scripts/test/corpus/HiddenClock/ChartRun.out +57 -0
  418. package/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg +4 -0
  419. package/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla +11 -0
  420. package/skills/statechart/scripts/test/corpus/HiddenClock/chart.mmd +13 -0
  421. package/skills/statechart/scripts/test/corpus/HiddenClock/graph.dot +12 -0
  422. package/skills/statechart/scripts/test/corpus/HiddenClock/report.md +11 -0
  423. package/skills/statechart/scripts/test/corpus/HiddenClock/sany.out +2 -0
  424. package/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit +1 -0
  425. package/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.out +72 -0
  426. package/skills/statechart/scripts/test/corpus/Login/ChartRun.out +57 -0
  427. package/skills/statechart/scripts/test/corpus/Login/Login.cfg +3 -0
  428. package/skills/statechart/scripts/test/corpus/Login/Login.tla +62 -0
  429. package/skills/statechart/scripts/test/corpus/Login/chart.mmd +27 -0
  430. package/skills/statechart/scripts/test/corpus/Login/graph.dot +40 -0
  431. package/skills/statechart/scripts/test/corpus/Login/report.md +7 -0
  432. package/skills/statechart/scripts/test/corpus/Login/sany.out +1 -0
  433. package/skills/statechart/scripts/test/corpus/Login/verdict-1.out +47 -0
  434. package/skills/statechart/scripts/test/corpus/Login/view.mjs +1 -0
  435. package/skills/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out +57 -0
  436. package/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg +2 -0
  437. package/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla +64 -0
  438. package/skills/statechart/scripts/test/corpus/LoginGuarded/chart.mmd +28 -0
  439. package/skills/statechart/scripts/test/corpus/LoginGuarded/graph.dot +37 -0
  440. package/skills/statechart/scripts/test/corpus/LoginGuarded/report.md +8 -0
  441. package/skills/statechart/scripts/test/corpus/LoginGuarded/sany.out +1 -0
  442. package/skills/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out +47 -0
  443. package/skills/statechart/scripts/test/corpus/LoginGuarded/view.mjs +1 -0
  444. package/skills/statechart/scripts/test/corpus/LoginParallel/ChartRun.out +60 -0
  445. package/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg +3 -0
  446. package/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla +64 -0
  447. package/skills/statechart/scripts/test/corpus/LoginParallel/chart.mmd +44 -0
  448. package/skills/statechart/scripts/test/corpus/LoginParallel/graph.dot +58 -0
  449. package/skills/statechart/scripts/test/corpus/LoginParallel/report.md +17 -0
  450. package/skills/statechart/scripts/test/corpus/LoginParallel/sany.out +1 -0
  451. package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit +1 -0
  452. package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.out +83 -0
  453. package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-2.out +57 -0
  454. package/skills/statechart/scripts/test/corpus/LoginParallel/view.mjs +1 -0
  455. package/skills/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out +60 -0
  456. package/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg +3 -0
  457. package/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla +103 -0
  458. package/skills/statechart/scripts/test/corpus/MediaPlayer/chart.mmd +43 -0
  459. package/skills/statechart/scripts/test/corpus/MediaPlayer/graph.dot +93 -0
  460. package/skills/statechart/scripts/test/corpus/MediaPlayer/report.md +14 -0
  461. package/skills/statechart/scripts/test/corpus/MediaPlayer/sany.out +1 -0
  462. package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit +1 -0
  463. package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out +59 -0
  464. package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out +72 -0
  465. package/skills/statechart/scripts/test/corpus/MediaPlayer/view.mjs +3 -0
  466. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out +57 -0
  467. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg +2 -0
  468. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla +100 -0
  469. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd +31 -0
  470. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot +85 -0
  471. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/report.md +9 -0
  472. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out +1 -0
  473. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out +47 -0
  474. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs +3 -0
  475. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out +59 -0
  476. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla +103 -0
  477. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg +3 -0
  478. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla +6 -0
  479. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd +42 -0
  480. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot +93 -0
  481. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/report.md +19 -0
  482. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/sany.out +2 -0
  483. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit +1 -0
  484. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out +61 -0
  485. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out +59 -0
  486. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out +61 -0
  487. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit +1 -0
  488. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out +66 -0
  489. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit +1 -0
  490. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out +58 -0
  491. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out +49 -0
  492. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs +3 -0
  493. package/skills/statechart/scripts/test/corpus/PickWorker/ChartRun.out +57 -0
  494. package/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg +6 -0
  495. package/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.tla +11 -0
  496. package/skills/statechart/scripts/test/corpus/PickWorker/chart.mmd +5 -0
  497. package/skills/statechart/scripts/test/corpus/PickWorker/graph.dot +11 -0
  498. package/skills/statechart/scripts/test/corpus/PickWorker/report.md +7 -0
  499. package/skills/statechart/scripts/test/corpus/PickWorker/sany.out +5 -0
  500. package/skills/statechart/scripts/test/corpus/PickWorker/verdict-1.out +70 -0
  501. package/skills/statechart/scripts/test/corpus/Shadow/ChartRun.out +61 -0
  502. package/skills/statechart/scripts/test/corpus/Shadow/Shadow.cfg +4 -0
  503. package/skills/statechart/scripts/test/corpus/Shadow/Shadow.tla +11 -0
  504. package/skills/statechart/scripts/test/corpus/Shadow/ShadowLib.tla +6 -0
  505. package/skills/statechart/scripts/test/corpus/Shadow/ShadowSub.tla +3 -0
  506. package/skills/statechart/scripts/test/corpus/Shadow/chart.mmd +9 -0
  507. package/skills/statechart/scripts/test/corpus/Shadow/graph.dot +16 -0
  508. package/skills/statechart/scripts/test/corpus/Shadow/report.md +8 -0
  509. package/skills/statechart/scripts/test/corpus/Shadow/sany.out +4 -0
  510. package/skills/statechart/scripts/test/corpus/Shadow/verdict-1.out +65 -0
  511. package/skills/statechart/scripts/test/corpus/SpacedNames/ChartRun.out +59 -0
  512. package/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg +2 -0
  513. package/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla +9 -0
  514. package/skills/statechart/scripts/test/corpus/SpacedNames/chart.mmd +23 -0
  515. package/skills/statechart/scripts/test/corpus/SpacedNames/graph.dot +17 -0
  516. package/skills/statechart/scripts/test/corpus/SpacedNames/report.md +15 -0
  517. package/skills/statechart/scripts/test/corpus/SpacedNames/sany.out +1 -0
  518. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit +1 -0
  519. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.out +65 -0
  520. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit +1 -0
  521. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.out +75 -0
  522. package/skills/statechart/scripts/test/corpus/TwoPhase/ChartRun.out +69 -0
  523. package/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg +3 -0
  524. package/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla +75 -0
  525. package/skills/statechart/scripts/test/corpus/TwoPhase/chart.mmd +60 -0
  526. package/skills/statechart/scripts/test/corpus/TwoPhase/graph.dot +297 -0
  527. package/skills/statechart/scripts/test/corpus/TwoPhase/report.md +20 -0
  528. package/skills/statechart/scripts/test/corpus/TwoPhase/sany.out +1 -0
  529. package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit +1 -0
  530. package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.out +95 -0
  531. package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-2.out +57 -0
  532. package/skills/statechart/scripts/test/corpus/TwoPhase/view.mjs +1 -0
  533. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out +57 -0
  534. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg +3 -0
  535. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla +75 -0
  536. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd +37 -0
  537. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot +223 -0
  538. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/report.md +11 -0
  539. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out +1 -0
  540. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out +47 -0
  541. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs +1 -0
  542. package/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit +1 -0
  543. package/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.out +75 -0
  544. package/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg +5 -0
  545. package/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla +11 -0
  546. package/skills/statechart/scripts/test/corpus/TypeGuard/chart.mmd +18 -0
  547. package/skills/statechart/scripts/test/corpus/TypeGuard/graph.dot +14 -0
  548. package/skills/statechart/scripts/test/corpus/TypeGuard/report.md +29 -0
  549. package/skills/statechart/scripts/test/corpus/TypeGuard/sany.out +2 -0
  550. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit +1 -0
  551. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.out +64 -0
  552. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit +1 -0
  553. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.out +75 -0
  554. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out +58 -0
  555. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg +2 -0
  556. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla +8 -0
  557. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd +22 -0
  558. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot +16 -0
  559. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/report.md +15 -0
  560. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/sany.out +2 -0
  561. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit +1 -0
  562. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out +56 -0
  563. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit +1 -0
  564. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out +77 -0
  565. package/skills/statechart/scripts/test/corpus.test.ts +403 -0
  566. package/skills/statechart/scripts/test/differential.test.ts +565 -0
  567. package/skills/statechart/scripts/test/grid/Grid.cfg +2 -0
  568. package/skills/statechart/scripts/test/grid/Grid.tla +9 -0
  569. package/skills/statechart/scripts/test/grid/sany.out +2 -0
  570. package/skills/statechart/scripts/test/java.ts +63 -0
  571. package/skills/statechart/scripts/test/labels.ts +643 -0
  572. package/skills/statechart/scripts/test/messages.test.ts +212 -0
  573. package/skills/statechart/scripts/test/pipeline.test.ts +270 -0
  574. package/skills/statechart/scripts/test/plain-tlc.test.ts +255 -0
  575. package/skills/statechart/scripts/test/render.test.ts +81 -0
  576. package/skills/statechart/scripts/test/tlc-out.test.ts +90 -0
  577. package/skills/statechart/scripts/test/tlc.ts +158 -0
  578. package/skills/statechart/scripts/tsconfig.json +11 -0
  579. package/skills/statechart/scripts/worker.ts +35 -0
  580. package/skills/swarm/SKILL.md +41 -0
  581. package/skills/tdd/SKILL.md +42 -0
  582. package/skills/teach/SKILL.md +21 -0
  583. package/skills/technical-writing/SKILL.md +106 -0
  584. package/skills/thermo-nuclear-code-quality-review/SKILL.md +192 -0
  585. package/skills/typescript-best-practices/SKILL.md +32 -0
  586. package/skills/typescript-best-practices/references/patterns.md +328 -0
  587. package/skills/typescript-exhaustive-switch/SKILL.md +10 -0
  588. package/skills/unslop/SKILL.md +62 -0
  589. package/skills/verify-this/SKILL.md +74 -0
  590. package/skills/weekly-review/SKILL.md +32 -0
  591. package/skills/what-did-i-get-done/SKILL.md +31 -0
  592. package/skills/why/SKILL.md +98 -0
  593. package/skills/why/references/epistemics.md +71 -0
  594. package/skills/why/references/investigator-prompt.md +84 -0
  595. package/skills/why/references/source-playbook.md +17 -0
  596. package/skills/why/references/sources/code-archaeology.md +51 -0
  597. package/skills/why/references/sources/databricks.md +70 -0
  598. package/skills/why/references/sources/datadog.md +97 -0
  599. package/skills/why/references/sources/incident-postmortem.md +5 -0
  600. package/skills/why/references/sources/linear.md +48 -0
  601. package/skills/why/references/sources/notion.md +55 -0
  602. package/skills/why/references/sources/sentry.md +66 -0
  603. package/skills/why/references/sources/slack.md +17 -0
  604. package/skills/why/references/synthesizer-prompt.md +129 -0
  605. package/skills/workflow-from-chats/SKILL.md +50 -0
  606. package/src/aliases.ts +64 -0
  607. package/src/ask.ts +131 -0
  608. package/src/autocomplete.ts +21 -0
  609. package/src/child-env.ts +44 -0
  610. package/src/index.ts +123 -0
  611. package/src/loop.ts +189 -0
  612. package/src/mode.ts +156 -0
  613. package/src/modes.ts +8 -0
  614. package/src/paths.ts +85 -0
  615. package/src/pi-command.ts +12 -0
  616. package/src/plan.ts +141 -0
  617. package/src/readonly-shell.ts +107 -0
  618. package/src/rule.ts +56 -0
  619. package/src/sections.ts +118 -0
  620. package/src/subscriptions/cron.ts +75 -0
  621. package/src/subscriptions/durable-store.ts +482 -0
  622. package/src/subscriptions/durable-types.ts +41 -0
  623. package/src/subscriptions/ensure-supervisor.ts +67 -0
  624. package/src/subscriptions/github.ts +149 -0
  625. package/src/subscriptions/index.ts +507 -0
  626. package/src/subscriptions/supervisor-main.ts +88 -0
  627. package/src/subscriptions/supervisor.ts +271 -0
  628. package/src/subscriptions/webhook.ts +222 -0
  629. package/src/task/agents.ts +55 -0
  630. package/src/task/card.ts +61 -0
  631. package/src/task/format.ts +88 -0
  632. package/src/task/models.ts +140 -0
  633. package/src/task/records.ts +227 -0
  634. package/src/task/registry.ts +77 -0
  635. package/src/task/runner.ts +365 -0
  636. package/src/task/status.ts +170 -0
  637. package/src/task/stop.ts +100 -0
  638. package/src/task/tool.ts +488 -0
  639. package/src/task/worktree.ts +67 -0
  640. package/src/todo.ts +121 -0
  641. package/src/visualize.ts +244 -0
@@ -0,0 +1,71 @@
1
+ # Epistemics
2
+
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.
4
+
5
+ ## Confidence Tiers
6
+
7
+ Every claim in the output must sit in one tier. The tier sets its section and its phrasing.
8
+
9
+ ### 1. Direct
10
+
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".
12
+
13
+ Phrasing: confident, present tense, cited. "This exists because X."
14
+
15
+ ### 2. Supported
16
+
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.
18
+
19
+ Phrasing: confident but clearly derived, citing each item. "The evidence points strongly to X: [the specific pieces]."
20
+
21
+ ### 3. Inferred
22
+
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.
24
+
25
+ Phrasing: hedged, with the chain explicit. "Given A and B, C seems likely because D."
26
+
27
+ ### 4. Speculative
28
+
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."
30
+
31
+ Phrasing: "One possibility is X, but we have no direct evidence." Usually lives in Competing Hypotheses, alongside other possibilities.
32
+
33
+ ### 5. Unknown
34
+
35
+ You looked and couldn't find out. A valid, important outcome. Document it.
36
+
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."
38
+
39
+ ## Phrasing Guide
40
+
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).
42
+
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".
44
+
45
+ **Words to avoid:**
46
+
47
+ - "obviously". If it were obvious, the user wouldn't be asking
48
+ - "clearly". Almost always precedes a claim that isn't clear
49
+ - "of course". Same
50
+ - "just" (as in "it's just X for performance"). Dismissive and usually hides uncertainty
51
+ - "I think" / "I believe". You're synthesizing evidence, not giving a personal opinion. Use "the evidence suggests" instead.
52
+
53
+ ## Avoid Rationalization
54
+
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").
56
+
57
+ ## The Sycophancy Trap
58
+
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.
60
+
61
+ ## When Evidence Contradicts
62
+
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.
64
+
65
+ ## When Evidence Is Missing
66
+
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).
68
+
69
+ ## Before Finalizing
70
+
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.
@@ -0,0 +1,84 @@
1
+ # Investigator Prompt Template
2
+
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
+
5
+ ---
6
+
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
+
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.
10
+
11
+ ## The Question
12
+
13
+ > {QUESTION}
14
+
15
+ ## The Code Anchor
16
+
17
+ **Target files:** {FILES_WITH_LINE_RANGES}
18
+
19
+ **Key symbols:** {SYMBOLS}
20
+
21
+ **Initial commits touching this code (most recent first):**
22
+ {COMMIT_LIST}
23
+
24
+ **PR numbers extracted from commit messages:** {PR_NUMBERS}
25
+
26
+ **Ticket IDs mentioned in commits or PR bodies (if any):** {TICKET_IDS}
27
+
28
+ ## Your Assigned Source
29
+
30
+ {SOURCE_NAME}
31
+
32
+ {SOURCE_PLAYBOOK_SECTION}
33
+
34
+ ## Investigation Loop
35
+
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.
42
+
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.
44
+
45
+ ## Epistemic Discipline
46
+
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.
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.
52
+
53
+ ## Output Format
54
+
55
+ Return your findings in this structure. The synthesizer reads it directly.
56
+
57
+ ### Source
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.).
59
+
60
+ ### What I Searched
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.
62
+
63
+ ### Direct Evidence Found
64
+ For each item that explicitly addresses the question:
65
+ - **What it says**: verbatim quote or accurate paraphrase
66
+ - **Where it's from**: PR #123, ticket ID, doc URL, chat permalink, commit hash, or file:line
67
+ - **Author and date** (if available)
68
+ - **Relevance**: one sentence on how it bears on the question
69
+
70
+ ### Indirect / Circumstantial Evidence
71
+ For each item that bears on the question without answering it:
72
+ - **What it is**: brief description
73
+ - **Where it's from**: location
74
+ - **What it suggests**: what a careful reader might infer, and the inference chain
75
+ - **Alternative readings**: if the same evidence could support a different interpretation, note it
76
+
77
+ ### Contradictions
78
+ Items that disagree with each other, with both citations.
79
+
80
+ ### Gaps
81
+ What you searched for and didn't find, specifically: "Searched the issue tracker for [query] across [time range]. No matching issues."
82
+
83
+ ### Additional Leads
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.
@@ -0,0 +1,17 @@
1
+ # Source playbooks
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.
4
+
5
+ | Category | Playbook | Example MCP it documents |
6
+ |---|---|---|
7
+ | Source control history | [`code-archaeology.md`](./sources/code-archaeology.md) | git, `gh` |
8
+ | Issue / ticket tracker | [`linear.md`](./sources/linear.md) | Linear (adapt for Jira, GitHub Issues, Plane, Shortcut) |
9
+ | Long-form documents | [`notion.md`](./sources/notion.md) | Notion (adapt for Confluence, Google Docs, Coda) |
10
+ | Real-time team chat | [`slack.md`](./sources/slack.md) | Slack (adapt for Discord, Microsoft Teams, Mattermost) |
11
+ | Infrastructure observability | [`datadog.md`](./sources/datadog.md) | Datadog (adapt for New Relic, Honeycomb, Grafana, Splunk) |
12
+ | Error / exception tracking | [`sentry.md`](./sources/sentry.md) | Sentry (adapt for Rollbar, Bugsnag, Airbrake) |
13
+ | Product analytics warehouse | [`databricks.md`](./sources/databricks.md) | Databricks SQL (adapt for Snowflake, BigQuery, ClickHouse, dbt) |
14
+
15
+ Cross-cutting:
16
+
17
+ - [`incident-postmortem.md`](./sources/incident-postmortem.md). Add this if the target code looks defensive (null checks, retry, timeout, rate limit, feature flag, egress guard, OOM handler).
@@ -0,0 +1,51 @@
1
+ # Code Archaeology (git + in-repo)
2
+
3
+ ## What this source contains
4
+
5
+ - Commit history (messages, dates, authors, diffs)
6
+ - PR descriptions, review comments, and discussion threads (via `gh`)
7
+ - Inline code comments, TODOs, FIXMEs, deprecation notes
8
+ - ADRs (architectural decision records) if the repo keeps them
9
+ - Tests, whose names and assertions often encode the edge cases that motivated a change
10
+ - Related files modified in the same commits (co-change signal)
11
+ - CHANGELOG entries and release notes in the repo
12
+ - Issue/ticket IDs in commit messages and PR bodies
13
+
14
+ The most trustworthy source, tied directly to the code, and the most complete. Everything that went through the repo should be here.
15
+
16
+ ## How to search it
17
+
18
+ Expand the seed commit list:
19
+
20
+ ```bash
21
+ # History through renames
22
+ git log --follow --oneline -- <file>
23
+
24
+ # Pickaxe: commits that added or removed this exact text
25
+ git log -S '<exact_string_from_code>' -- <file>
26
+
27
+ # Or for patterns:
28
+ git log -G '<regex>' -- <file>
29
+
30
+ # Who wrote each line and when
31
+ git blame -L <start>,<end> <file>
32
+
33
+ # One commit's full diff
34
+ git show <hash>
35
+
36
+ # Commits between two points affecting this file
37
+ git log <old>..<new> -p -- <file>
38
+ ```
39
+
40
+ Look for out-of-band docs:
41
+
42
+ ```bash
43
+ # ADRs often live in docs/adr/ or similar
44
+ rg -l -i 'architecture.decision' --glob '*.md'
45
+
46
+ # TODOs and FIXMEs near the target
47
+ rg -n -C2 '(TODO|FIXME|HACK|XXX|NOTE)' <target_file>
48
+
49
+ # Related tests
50
+ rg -l '<symbol>' --glob '*test*'
51
+ ```
@@ -0,0 +1,70 @@
1
+ # Databricks Analytics & System Tables
2
+
3
+ ## What this source contains
4
+
5
+ Databricks is the product-analytics, data-pipeline, and warehouse-telemetry layer. It complements Datadog. Datadog is the *infra/runtime* view, Databricks is the *product/data* view (what users did, which experiments ran, how feature usage evolved, where a threshold constant came from).
6
+
7
+ - **Product analytics events.** `your_warehouse.events.analytics_track_event` (raw) and typed, deduplicated per-event dbt models in `<your_analytics_db>.<schema>.<table>`. User behavior: feature invocations, clicks, accepts/rejects, submissions, client-reported errors.
8
+ - **Usage & billing events.** `your_warehouse.events.usage_event` / `<your_analytics_db>.<schema>.stg_usage_events`, `your_warehouse.events.raw_model_event` / `<your_analytics_db>.<schema>.stg_raw_model_events`. For cost- or volume-driven decisions.
9
+ - **Experiment / feature-flag data.** Exposure and outcome tables. **Schema is company-specific.** Probe with `SHOW TABLES` before assuming names.
10
+ - **System tables.** `system.query.history`, `system.compute.warehouses`, `system.billing.*`, `system.access.audit`. Answer "was this query expensive?", "how often did anyone run this?", "when did warehouse load spike?"
11
+ - **dbt lineage.** Models in `<your_analytics_db>.<schema>` reveal what pipelines depend on a table/field. Upstream changes frequently motivate consumer-code changes.
12
+ - **Databricks notebooks.** Exploratory analyses engineers wrote before code changes. **Not queryable via the SQL MCP.** If you suspect the rationale lives in a notebook, name it as a gap.
13
+
14
+ ## How to search it
15
+
16
+ Use the Databricks SQL MCP. Primary tool: `execute_sql_read_only`. If it returns a `statement_id`, poll with `poll_sql_result` rather than re-running.
17
+
18
+ **Orient before querying.** Schemas are company-specific. Probe before trusting a table name:
19
+
20
+ ```sql
21
+ SHOW TABLES IN <your_analytics_db>.<schema> LIKE '*<keyword>*';
22
+ DESCRIBE TABLE <your_analytics_db>.<schema>.stg_<event>;
23
+ ```
24
+
25
+ **Time-bound every query.** These tables are huge and unconstrained scans time out. Filter on `_timestamp` (events) or `start_time` (`system.query.history`) with a window bracketing the ship date, typically ~30 days before and after, wider only for strong reason.
26
+
27
+ **Prefer typed dbt models over the raw table.** `<your_analytics_db>.<schema>.<table>` is deduplicated, typed, and liquid-clustered. `your_warehouse.events.analytics_track_event` has duplicates and untyped `properties_json`. Model-name pattern: `stg_<source>_<event_name_with_underscores>`, where `<source>` is `app`, `backend`, `website`, or `cli`. Confirm the exact model name with `SHOW TABLES` when the pattern alone doesn't resolve it. Drop to the raw table only when there's no dbt model yet, or you need events from inside the dbt refresh lag.
28
+
29
+ **Column conventions on the typed dbt models** (knowing these avoids a `DESCRIBE` round-trip):
30
+
31
+ - `_timestamp`, `_id`, `_auth_id`, `_request_id`, `event_name`. Standard on every model
32
+ - `properties_<name>`. Typed, underscore-cased event properties (`properties_entrypoint`, `properties_size_bytes`, …)
33
+ - `context_team_id`, `context_client_version`, `context_country`, `context_client_os`. Pre-extracted client context
34
+
35
+ ### Investigation patterns that tend to pay off
36
+
37
+ Pick the table + column combination that matches the target:
38
+
39
+ 1. **Event usage trajectory.** Daily counts on the relevant `stg_*` model across a ±30d window around the PR merge. A step function from zero to steady volume within a day or two of the merge is strong circumstantial evidence the PR launched the feature. A decay to zero suggests a deprecation or deletion.
40
+ 2. **Guard-rail / defensive-check origin.** Distribution (median / p99 / max) of the relevant `properties_<name>` column in the 14 days *before* the PR. A p99 that matches the target's threshold constant suggests the number was chosen from data.
41
+ 3. **Experiment / feature-flag lookup.** `SHOW TABLES ... LIKE '*experiment*'` to find the exposure table, then pull exposure counts by variant for the relevant flag key near the PR date.
42
+ 4. **Query-history evidence for migrations, backfills, or perf rewrites.** `system.query.history` filtered by `statement_text ILIKE '%<table_or_symbol>%'` with a tight `start_time` window surfaces the expensive queries that likely motivated the change (sort by `total_duration_ms` or aggregate `SUM(read_bytes)`, `COUNT(*)`).
43
+ 5. **dbt lineage.** If the target reads from or writes into a `<your_analytics_db>.<schema>` model, the model's own git history (in this repo) often carries the rationale. Hand that lead back to the git investigator rather than chasing it yourself.
44
+
45
+ ## What good evidence looks like here
46
+
47
+ Beyond the pattern shapes above:
48
+
49
+ - An error-classifying event's count drops to near zero in the days after a defensive-code PR. Suggests the PR resolved that error class
50
+ - An exposure table row names the target's feature-flag key with a "shipped" / "concluded" decision around the PR ship date
51
+
52
+ ## Common pitfalls
53
+
54
+ - **Instrumented ≠ caused.** An event's existence means someone cared enough to log it, not that the target code exists *because* of it. Pair with a PR/commit citation from the git investigator before claiming causation.
55
+ - **Silent instrumentation changes.** A step function in event volume may mean a new event started being logged, not that user behavior changed. Check for instrumentation PRs in the same window before reading the ramp as a feature-launch signal.
56
+ - **Schema drift.** Event properties evolve. A column on the typed dbt model today may not have existed when the target was written. Older data may carry the property only inside raw `properties_json`.
57
+ - **dbt refresh lag.** `<your_analytics_db>.<schema>.*` is rebuilt on a schedule (often hourly/daily). For events from the last few hours, fall back to `your_warehouse.events.*` and deduplicate by `_id`.
58
+ - **Company-specific tables.** Experiment, feature-flag, billing, and usage tables vary. Reporting a result from a table whose existence you never confirmed is a classic failure mode. Probe with `SHOW TABLES` / `DESCRIBE TABLE` first.
59
+ - **Retention cliff.** If the relevant window predates the table's retention or the dbt model's creation date, that's a *gap*, not a null result. Name it explicitly so the synthesizer doesn't read "no results" as "no activity."
60
+ - **Notebooks aren't queryable.** The SQL MCP can't see Databricks notebooks. If you suspect the rationale lives in one, return a gap.
61
+
62
+ ## What to return
63
+
64
+ For each relevant finding:
65
+ - Type (product event / experiment exposure / usage or billing event / system-table row / dbt model)
66
+ - Fully-qualified table name and the exact query you ran
67
+ - Time window queried
68
+ - Compact numeric summary (counts, percentiles, first/last-seen timestamps). **Don't dump raw rows.**
69
+ - Temporal correlation with the target's ship date (e.g., "first row 2024-08-15, PR #49074 merged 2024-08-14")
70
+ - Relevance + strength: direct / circumstantial / weak
@@ -0,0 +1,97 @@
1
+ # Datadog Telemetry
2
+
3
+ ## What this source contains
4
+
5
+ Datadog holds the runtime record, what actually happened in production, as opposed to what was planned or discussed.
6
+
7
+ - **Metrics.** Counters, gauges, histograms instrumented by the team. A metric's *presence* is itself evidence that someone thought the number worth watching.
8
+ - **Monitors & alerts.** Conditions the team decided warranted waking someone up. A monitor firing on `rate_limit_hit > 10/min` is direct evidence the team worried about that threshold.
9
+ - **Dashboards.** Curated views of what the team considers important for a subsystem.
10
+ - **APM traces & spans.** Request-level runtime data, for "why is this slow" / "why is there a timeout here" questions.
11
+ - **Logs.** High-volume event records, often holding the error conditions that motivated defensive code.
12
+ - **Incidents.** Formal incident records with timelines and linked postmortems.
13
+ - **Notebooks.** The team's exploratory investigations, often with hypotheses and analyses.
14
+
15
+ ## How to search it
16
+
17
+ Use the Datadog MCP. Start broad, then narrow.
18
+
19
+ 1. **Identify the owning service(s).**
20
+
21
+ ```
22
+ search_datadog_services (filter by name or team)
23
+ search_datadog_service_dependencies (see upstream/downstream)
24
+ ```
25
+
26
+ 2. **Dashboards and monitors first.**
27
+
28
+ ```
29
+ search_datadog_dashboards (query: feature name, service name, symbol)
30
+ search_datadog_monitors (same queries)
31
+ ```
32
+
33
+ When a dashboard or monitor covers the target, note its queries and watched thresholds. The threshold is frequently the answer to "why is this clamped at N?"
34
+
35
+ 3. **Metrics around the target.**
36
+
37
+ ```
38
+ search_datadog_metrics (by name pattern, e.g., the feature or symbol)
39
+ get_datadog_metric_context (metadata: description, units, tags)
40
+ get_datadog_metric (timeseries; "was there a spike around the PR date?")
41
+ ```
42
+
43
+ Correlating a metric's trajectory with the target's add/change date is strong supporting evidence: "the `payment_timeout` metric spiked 2023-11-03, and the retry logic merged 2023-11-06."
44
+
45
+ 4. **Logs. Narrow, don't dump.**
46
+
47
+ ```
48
+ search_datadog_logs (raw log patterns near the target, set use_log_patterns=true)
49
+ analyze_datadog_logs (SQL-style aggregations, only when you need counts)
50
+ ```
51
+
52
+ Search with symbols, error strings, or feature names. **Strongly prefer time-bounded queries** (e.g., 30 days before/after the change).
53
+
54
+ 5. **APM spans and traces.**
55
+
56
+ ```
57
+ aggregate_spans (stats: "how often does this endpoint fail?")
58
+ search_datadog_spans (inspect individual spans)
59
+ get_datadog_trace (a specific trace ID)
60
+ ```
61
+
62
+ Useful for timeouts, retries, slow paths, and cross-service behavior.
63
+
64
+ 6. **Incidents.**
65
+
66
+ ```
67
+ search_datadog_incidents (by title, team, date range)
68
+ get_datadog_incident (full detail for a specific incident)
69
+ ```
70
+
71
+ If the target looks defensive, search for incidents around the time it was added. An incident whose timeline includes "added defensive check for X" is near-direct evidence.
72
+
73
+ ## What good evidence looks like here
74
+
75
+ - A monitor whose query and threshold match the constraint the code enforces (code clamps to 100, monitor alerts when requests exceed 100/min)
76
+ - A dashboard created by the target's author, with widgets that correspond to what the code measures or guards against
77
+ - A metric showing a production spike immediately before the code was merged, and stable values after
78
+ - An incident record referencing the target code, the same symbols, or the same error strings
79
+ - Logs showing a specific error pattern the defensive code would prevent, timestamped in the window before the change
80
+
81
+ ## Common pitfalls
82
+
83
+ - **Correlation is not causation.** A spike before a PR and stabilization after is suggestive, not definitive, since other changes may have landed in the same window. Check neighboring PRs.
84
+ - **Overfitting to the chart you found.** A chart reflects its maker's framing. A chart named "retry success rate" is evidence the team cared about retry success, not that it's why a specific line of code exists.
85
+ - **Vanished telemetry.** Metrics can be renamed, deleted, or have short retention. If you can't find data from the relevant window, that's a gap, not a null result.
86
+ - **Noise at scale.** Narrow log searches by service, tag, and time window aggressively. Use `analyze_datadog_logs` to aggregate rather than dumping raw logs.
87
+ - **Instrumented != caused.** A metric shows someone cared enough to measure something, not that the code was added *because* of it. Cross-reference with commit/PR dates.
88
+
89
+ ## What to return
90
+
91
+ For each relevant item:
92
+ - Type (dashboard / monitor / metric / log pattern / trace / incident / notebook)
93
+ - Title or name
94
+ - Link or identifier (dashboard ID, monitor ID, metric name, incident ID)
95
+ - Owner/author and created/modified date
96
+ - The specific condition, query, or quote that bears on the question (verbatim where possible)
97
+ - Relevance: what this suggests about the target code, and how strong the connection is
@@ -0,0 +1,5 @@
1
+ # Incident & Postmortem Context
2
+
3
+ - **Linear**: look for tickets labeled `incident`, `sev-*`, `postmortem-action-item`, `reliability`
4
+ - **Slack**: search `#sev-*` and `#incident-*` channels around the dates the target code was added
5
+ - **Git**: commits with messages like "fix for incident", "add defensive check", "revert" followed by "re-apply with..." are strong signals
@@ -0,0 +1,48 @@
1
+ # Linear Tickets
2
+
3
+ ## What this source contains
4
+
5
+ - Issues describing features, bugs, and their motivation
6
+ - Project docs attached to issues (often PRDs or specs)
7
+ - Parent/sub-issue relationships (broader initiative → specific tickets)
8
+ - Comments on issues (clarifications, scope changes, "why we're doing this" rationale)
9
+ - Labels (e.g., `compliance`, `customer-request`, `perf`) that signal the type of motivation
10
+ - Status updates that explain scope changes
11
+ - Attachments and linked GitHub PRs
12
+
13
+ Linear is where the product/business context often lives: the "we're doing this because customer X asked" or "this is for the Q3 compliance initiative" layer.
14
+
15
+ ## How to search it
16
+
17
+ Use the Linear MCP.
18
+
19
+ 1. **Start with linked tickets.** If the seed commits or PRs reference ticket IDs (e.g., `ENG-1234`, `[BUG-567]`), fetch those first with `get_issue`. Read the full issue including comments.
20
+ 2. **List related issues by keyword.** Use `list_issues` with text search for the feature name, key symbol, or business term. Try multiple phrasings.
21
+ 3. **Walk the issue tree.** If you land on a sub-issue, fetch its parent. Sub-issues are tactical. Parents often carry the "why."
22
+ 4. **Read project docs.** If the issue belongs to a project, use `get_project` and check attached docs. Project-level documents are where specs and rationale are most often captured.
23
+ 5. **Check labels and milestones.** Labels hint at the category of motivation (customer-request, incident-followup, compliance). Milestones tie work to deadlines, which often reveal motivation.
24
+
25
+ ## What good evidence looks like here
26
+
27
+ - An issue description stating the business problem: "Customer Acme needs X because of their SOC2 audit"
28
+ - A comment recording a decision: "We decided to go with approach B because approach A would require touching the billing service"
29
+ - A parent issue titled like an initiative: "Q3 Enterprise Readiness" or "Reduce Payment Failures"
30
+ - An attached PRD or spec
31
+ - Labels like `customer:acme`, `incident-followup`, `compliance`, `perf-regression`
32
+
33
+ ## Common pitfalls
34
+
35
+ - **Scope drift.** The ticket the PR references may have been closed and reopened with a different scope. Read the whole history.
36
+ - **Mechanical templates.** Some teams require "Why" sections but fill them with boilerplate. Generic text ("improve user experience") is probably not a real answer.
37
+ - **Stale tickets.** Old tickets often reflect a version of the plan that changed. Check dates and cross-reference with the code's ship date.
38
+ - **Closed-as-duplicate chains.** Follow the duplicate-of relationships back to the canonical ticket.
39
+ - **Private workspace content.** If you can't access an issue, note that as a gap rather than guessing.
40
+
41
+ ## What to return
42
+
43
+ For each relevant ticket:
44
+ - Ticket ID and title
45
+ - The problem/motivation quoted from the description or comments (not paraphrased. The synthesizer needs the exact text to cite)
46
+ - Labels, parent issue, project
47
+ - Author, created date, closed date
48
+ - Link to the ticket if available
@@ -0,0 +1,55 @@
1
+ # Notion Docs
2
+
3
+ ## What this source contains
4
+
5
+ - PRDs (product requirement documents)
6
+ - Technical specs and RFCs
7
+ - Architectural decision records (ADRs)
8
+ - Meeting notes from design reviews
9
+ - Team pages with domain context
10
+ - Postmortems from incidents
11
+ - Runbooks that may explain defensive code
12
+ - Strategy documents that set priorities
13
+
14
+ Notion is where "why" often lives in long-form before it becomes code. A significant feature usually has a doc.
15
+
16
+ ## How to search it
17
+
18
+ Use the Notion MCP.
19
+
20
+ 1. **Keyword searches with `notion-search`.** Try:
21
+ - The feature name
22
+ - Key symbols / class names from the target code
23
+ - Author handles (design docs are often authored before the code lands)
24
+ - Error strings or user-visible terms
25
+ - Time-bounded queries if you know when the code shipped
26
+ 2. **Fetch candidate pages with `notion-fetch`.** Read the full content, not the preview. Rationale is often buried mid-document.
27
+ 3. **Follow backlinks and child pages.** Design docs often have sub-pages for alternatives considered, appendices, or implementation notes.
28
+ 4. **Check related databases.** `notion-query-data-sources` and `notion-query-meeting-notes` can surface meeting notes that discussed the decision.
29
+ 5. **Search author-specific spaces.** If the PR author has a personal notebook (common at some companies), it may hold exploratory thinking that preceded the code.
30
+
31
+ ## What good evidence looks like here
32
+
33
+ - A PRD with a "Problem statement" or "Motivation" section that matches the target code's purpose
34
+ - An "Alternatives considered" or "Rejected approaches" section
35
+ - A postmortem that names the target code as the fix for a specific incident
36
+ - Meeting notes that record "we decided X because Y" and tie to the same author/date range as the PR
37
+ - An ADR template filled out non-trivially (status, context, decision, consequences)
38
+
39
+ ## Common pitfalls
40
+
41
+ - **Outdated docs.** Specs are often written before implementation and not updated. The doc may describe a plan that changed. Cross-check against the actual PR.
42
+ - **Doc vs. reality drift.** A spec may say "we'll do X" but the code actually does Y. Flag the divergence. The synthesizer will surface the contradiction.
43
+ - **Boilerplate templates.** Some orgs require a "Why" section that gets filled with fluff. Look for specificity.
44
+ - **Unlinked docs.** The most relevant doc may not be linked from anywhere. Broad keyword searches help.
45
+ - **Multiple drafts.** If a topic has multiple docs, find the one that was finalized or most recently updated. Check dates.
46
+ - **Access-restricted pages.** If you can't access a page, note it as a gap.
47
+
48
+ ## What to return
49
+
50
+ For each relevant doc:
51
+ - Title and URL
52
+ - Authors and last-updated date
53
+ - The motivation text (verbatim quote), with page/section location
54
+ - Relevant linked pages (so the synthesizer can cite them)
55
+ - Whether the doc was finalized or draft
@@ -0,0 +1,66 @@
1
+ # Sentry Error History
2
+
3
+ ## How to search it
4
+
5
+ Use the Sentry MCP.
6
+
7
+ 1. **Orient.** If you don't know the project slug and organization:
8
+
9
+ ```
10
+ find_organizations
11
+ find_projects
12
+ ```
13
+
14
+ 2. **Search for issues related to the target.**
15
+
16
+ ```
17
+ search_issues (natural language, e.g., "errors in PaymentService timeout", "unhandled exceptions in uploadFile")
18
+ ```
19
+
20
+ Build queries from the exception class names the target handles, its function or class name, the error message strings it checks for, and its file path.
21
+
22
+ 3. **Narrow by release and time window.**
23
+
24
+ ```
25
+ search_issue_events (filter by release, time, environment, trace ID, tags)
26
+ get_issue_tag_values (for an issue, see distribution across versions, users, environments)
27
+ ```
28
+
29
+ For a suspected issue, check **first seen** and **last seen** (does the stop line up with the target's ship date?), the **affected releases** (which saw it, and which was the fix?), and the **frequency trajectory** (did it spike, then get resolved?).
30
+
31
+ 4. **Pull the full event for context.**
32
+
33
+ ```
34
+ get_sentry_resource (pass a Sentry URL or type+ID)
35
+ ```
36
+
37
+ Does the stack trace pass through the target code? Do the tags and breadcrumbs match the conditions the target defends against?
38
+
39
+ 5. **Check releases that landed near the target.**
40
+
41
+ ```
42
+ find_releases (around the commit date of the target)
43
+ ```
44
+
45
+ Cross-reference release version with the PR's merge date.
46
+
47
+ 6. **Use Seer sparingly.**
48
+
49
+ ```
50
+ analyze_issue_with_seer
51
+ ```
52
+
53
+ Seer's AI root-cause analyses are a hypothesis generator. Treat them as inference, not authoritative. The actual events and stack traces are the primary evidence.
54
+
55
+ ## What to return
56
+
57
+ For each relevant issue:
58
+ - Issue ID and title
59
+ - Project and organization
60
+ - First seen / last seen timestamps
61
+ - Event count (and sampling rate if known)
62
+ - Affected releases
63
+ - A representative stack trace snippet showing relevance to the target (verbatim excerpt, not summary)
64
+ - First/last-seen correlation with the target's ship date
65
+ - Link to the issue
66
+ - Any author comments or resolution notes
@@ -0,0 +1,17 @@
1
+ # Slack Conversations
2
+
3
+ ## How to search it
4
+
5
+ Slack MCP tools vary. Check which Slack MCP is available and inspect its tool schema first. It may require `mcp_auth`. If authentication fails, stop and report the gap.
6
+
7
+ 1. **Author-bounded search.** Messages from the PR author around the PR merge date. Limits scope dramatically and often hits gold.
8
+ 3. **PR URL search.** Slack often links PRs when they're reviewed or discussed. Search for the PR URL (or just `/pull/<number>`).
9
+ 4. **Error string search.** If the code handles a specific error, search for the error string. Incident threads often surface.
10
+
11
+ ## Common pitfalls
12
+
13
+ - **Channel archaeology limits.** Very old messages may be gone due to retention policies. If you can't find anything before a certain date, note the retention cliff.
14
+ - **Unsearched DMs.** Many decisions happen in DMs that aren't searchable. You'll miss them. That's a known limitation.
15
+ - **Speculative jokes as "decisions."** Slack is casual. "Lol just do the thing" isn't a decision, even if it preceded the commit. Look for considered discussion.
16
+ - **Context collapse in single messages.** Without the thread, a single message often reads differently than in context. Always fetch threads.
17
+ - **Auth failures.** If the MCP isn't authenticated, stop. Don't make up findings. Report that Slack wasn't searchable.