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

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 (644) hide show
  1. package/CHANGELOG.md +79 -0
  2. package/LICENSE +21 -0
  3. package/README.md +100 -2
  4. package/agents/ci-watcher.md +28 -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 +83 -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 +254 -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/docs/parity-status.md +113 -0
  42. package/licenses/cursor-team-kit.LICENSE +21 -0
  43. package/licenses/pstack.LICENSE +21 -0
  44. package/package.json +86 -4
  45. package/packaging/install-supervisor-unit.sh +164 -0
  46. package/packaging/launchd/com.pstack.routines-supervisor.plist.example +24 -0
  47. package/packaging/systemd/pstack-routines-supervisor.service.example +15 -0
  48. package/skills/architect/SKILL.md +79 -0
  49. package/skills/architect/references/design-red-flags.md +57 -0
  50. package/skills/architect/references/rationale-template.md +35 -0
  51. package/skills/architect/references/runner-prompt.md +20 -0
  52. package/skills/arena/SKILL.md +48 -0
  53. package/skills/automate-me/SKILL.md +104 -0
  54. package/skills/benchmark-checklist/SKILL.md +39 -0
  55. package/skills/blast-radius/SKILL.md +50 -0
  56. package/skills/bro/SKILL.md +7 -0
  57. package/skills/check-compiler-errors/SKILL.md +23 -0
  58. package/skills/control-cli/SKILL.md +109 -0
  59. package/skills/control-ui/SKILL.md +109 -0
  60. package/skills/correct/SKILL.md +32 -0
  61. package/skills/create-formal-verification-skill/SKILL.md +43 -0
  62. package/skills/create-skill/SKILL.md +548 -0
  63. package/skills/create-verification-skill/SKILL.md +44 -0
  64. package/skills/create-verification-skill/references/feature-map-example/README.md +47 -0
  65. package/skills/create-verification-skill/references/feature-map-example/create-note.md +39 -0
  66. package/skills/create-verification-skill/references/feature-map-example/search.md +45 -0
  67. package/skills/deslop/SKILL.md +22 -0
  68. package/skills/figure-it-out/SKILL.md +52 -0
  69. package/skills/fix-ci/SKILL.md +29 -0
  70. package/skills/fix-merge-conflicts/SKILL.md +32 -0
  71. package/skills/get-pr-comments/SKILL.md +23 -0
  72. package/skills/how/SKILL.md +36 -0
  73. package/skills/how/references/explainer-prompt.md +55 -0
  74. package/skills/how/references/explorer-prompt.md +35 -0
  75. package/skills/in-your-own-words/SKILL.md +7 -0
  76. package/skills/interrogate/SKILL.md +31 -0
  77. package/skills/ketchup/SKILL.md +43 -0
  78. package/skills/ketchup-video/SKILL.md +29 -0
  79. package/skills/loop-on-ci/SKILL.md +50 -0
  80. package/skills/maintain-formal-verification-skill/SKILL.md +58 -0
  81. package/skills/maintain-verification-skill/SKILL.md +39 -0
  82. package/skills/make-bot-ui/SKILL.md +104 -0
  83. package/skills/make-pr-easy-to-review/SKILL.md +59 -0
  84. package/skills/new-branch-and-pr/SKILL.md +29 -0
  85. package/skills/no-comments/SKILL.md +24 -0
  86. package/skills/no-inline-imports/SKILL.md +12 -0
  87. package/skills/poteto-help/SKILL.md +161 -0
  88. package/skills/poteto-help/references/prompting.md +51 -0
  89. package/skills/poteto-help/references/recipes.md +51 -0
  90. package/skills/poteto-mode/SKILL.md +151 -0
  91. package/skills/poteto-mode/playbooks/authoring-a-skill.md +12 -0
  92. package/skills/poteto-mode/playbooks/autonomous-run.md +13 -0
  93. package/skills/poteto-mode/playbooks/autopilot-full.md +25 -0
  94. package/skills/poteto-mode/playbooks/autopilot-stack.md +8 -0
  95. package/skills/poteto-mode/playbooks/babysit.md +23 -0
  96. package/skills/poteto-mode/playbooks/bug-fix.md +15 -0
  97. package/skills/poteto-mode/playbooks/eval.md +25 -0
  98. package/skills/poteto-mode/playbooks/feature.md +21 -0
  99. package/skills/poteto-mode/playbooks/hillclimb.md +21 -0
  100. package/skills/poteto-mode/playbooks/investigation.md +14 -0
  101. package/skills/poteto-mode/playbooks/multi-phase-plan.md +155 -0
  102. package/skills/poteto-mode/playbooks/opening-a-pr.md +34 -0
  103. package/skills/poteto-mode/playbooks/orchestrate.md +25 -0
  104. package/skills/poteto-mode/playbooks/pause-safely.md +10 -0
  105. package/skills/poteto-mode/playbooks/perf-issue.md +25 -0
  106. package/skills/poteto-mode/playbooks/prototype.md +14 -0
  107. package/skills/poteto-mode/playbooks/refactoring.md +16 -0
  108. package/skills/poteto-mode/playbooks/runtime-forensics.md +11 -0
  109. package/skills/poteto-mode/playbooks/session-pickup.md +11 -0
  110. package/skills/poteto-mode/playbooks/shipping.md +12 -0
  111. package/skills/poteto-mode/playbooks/trace-forensics.md +14 -0
  112. package/skills/poteto-mode/playbooks/visual-parity.md +11 -0
  113. package/skills/poteto-mode/playbooks/worktree-cleanup.md +12 -0
  114. package/skills/poteto-mode/references/bugbot-triage.md +142 -0
  115. package/skills/poteto-mode/scripts/bootstrap.ts +62 -0
  116. package/skills/poteto-mode/scripts/bun.lock +67 -0
  117. package/skills/poteto-mode/scripts/check-plan.mjs +205 -0
  118. package/skills/poteto-mode/scripts/check-plan.test.ts +110 -0
  119. package/skills/poteto-mode/scripts/package.json +16 -0
  120. package/skills/poteto-mode/scripts/watch-pr/cli.test.ts +224 -0
  121. package/skills/poteto-mode/scripts/watch-pr/cli.ts +223 -0
  122. package/skills/poteto-mode/scripts/watch-pr/fakes.test-helper.ts +129 -0
  123. package/skills/poteto-mode/scripts/watch-pr/github.test.ts +498 -0
  124. package/skills/poteto-mode/scripts/watch-pr/github.ts +726 -0
  125. package/skills/poteto-mode/scripts/watch-pr/policy.test.ts +482 -0
  126. package/skills/poteto-mode/scripts/watch-pr/policy.ts +842 -0
  127. package/skills/poteto-mode/scripts/watch-pr/render.ts +169 -0
  128. package/skills/poteto-mode/scripts/watch-pr/tsconfig.json +13 -0
  129. package/skills/poteto-mode/scripts/watch-pr/types.compile.ts +93 -0
  130. package/skills/poteto-mode/scripts/watch-pr/types.ts +414 -0
  131. package/skills/poteto-mode/scripts/watch-pr/watch-pr +6 -0
  132. package/skills/poteto-mode/scripts/worktree-audit.sh +156 -0
  133. package/skills/pr-review-canvas/SKILL.md +176 -0
  134. package/skills/pr-review-canvas/renderer.js +170 -0
  135. package/skills/pr-review-canvas/styles.css +96 -0
  136. package/skills/pr-review-canvas/template.html +18 -0
  137. package/skills/principle-attack-the-premise/SKILL.md +21 -0
  138. package/skills/principle-boundary-discipline/SKILL.md +34 -0
  139. package/skills/principle-build-the-lever/SKILL.md +23 -0
  140. package/skills/principle-encode-lessons-in-structure/SKILL.md +11 -0
  141. package/skills/principle-exhaust-the-design-space/SKILL.md +9 -0
  142. package/skills/principle-experience-first/SKILL.md +19 -0
  143. package/skills/principle-explain-the-number/SKILL.md +18 -0
  144. package/skills/principle-fix-root-causes/SKILL.md +21 -0
  145. package/skills/principle-foundational-thinking/SKILL.md +21 -0
  146. package/skills/principle-guard-the-context-window/SKILL.md +12 -0
  147. package/skills/principle-laziness-protocol/SKILL.md +10 -0
  148. package/skills/principle-make-operations-idempotent/SKILL.md +22 -0
  149. package/skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +14 -0
  150. package/skills/principle-minimize-reader-load/SKILL.md +18 -0
  151. package/skills/principle-model-the-domain/SKILL.md +24 -0
  152. package/skills/principle-never-block-on-the-human/SKILL.md +15 -0
  153. package/skills/principle-outcome-oriented-execution/SKILL.md +21 -0
  154. package/skills/principle-prove-it-works/SKILL.md +22 -0
  155. package/skills/principle-redesign-from-first-principles/SKILL.md +16 -0
  156. package/skills/principle-separate-before-serializing-shared-state/SKILL.md +16 -0
  157. package/skills/principle-sequence-verifiable-units/SKILL.md +17 -0
  158. package/skills/principle-subtract-before-you-add/SKILL.md +18 -0
  159. package/skills/principle-test-behavior-not-implementation/SKILL.md +20 -0
  160. package/skills/principle-type-system-discipline/SKILL.md +13 -0
  161. package/skills/recall/SKILL.md +35 -0
  162. package/skills/reflect/SKILL.md +69 -0
  163. package/skills/reflect/references/divergent-reviewer.md +38 -0
  164. package/skills/reflect/references/judgment-reviewer.md +37 -0
  165. package/skills/reflect/references/synthesizer.md +56 -0
  166. package/skills/reflect/references/tooling-reviewer.md +48 -0
  167. package/skills/review-and-ship/SKILL.md +41 -0
  168. package/skills/run-smoke-tests/SKILL.md +42 -0
  169. package/skills/setup-pstack/SKILL.md +74 -0
  170. package/skills/sharpen/SKILL.md +16 -0
  171. package/skills/show-me-your-work/SKILL.md +82 -0
  172. package/skills/show-me-your-work/references/decision-log-template.tsv +1 -0
  173. package/skills/show-me-your-work/scripts/log.sh +42 -0
  174. package/skills/statechart/SKILL.md +82 -0
  175. package/skills/statechart/references/render.md +93 -0
  176. package/skills/statechart/scripts/backends/cfg.ts +33 -0
  177. package/skills/statechart/scripts/backends/mermaid.ts +201 -0
  178. package/skills/statechart/scripts/backends/plain-text.ts +72 -0
  179. package/skills/statechart/scripts/backends/report.ts +177 -0
  180. package/skills/statechart/scripts/frontends/config.ts +276 -0
  181. package/skills/statechart/scripts/frontends/dot.ts +74 -0
  182. package/skills/statechart/scripts/frontends/marks.ts +93 -0
  183. package/skills/statechart/scripts/frontends/messages.ts +52 -0
  184. package/skills/statechart/scripts/frontends/spec.ts +114 -0
  185. package/skills/statechart/scripts/frontends/trace.ts +24 -0
  186. package/skills/statechart/scripts/frontends/value.ts +166 -0
  187. package/skills/statechart/scripts/frontends/verdict.ts +40 -0
  188. package/skills/statechart/scripts/frontends/view.ts +119 -0
  189. package/skills/statechart/scripts/ir.ts +547 -0
  190. package/skills/statechart/scripts/package.json +11 -0
  191. package/skills/statechart/scripts/passes/annotate.ts +128 -0
  192. package/skills/statechart/scripts/passes/label.ts +269 -0
  193. package/skills/statechart/scripts/passes/lift.ts +85 -0
  194. package/skills/statechart/scripts/passes/loop-check.ts +68 -0
  195. package/skills/statechart/scripts/passes/paths.ts +60 -0
  196. package/skills/statechart/scripts/passes/reach.ts +135 -0
  197. package/skills/statechart/scripts/passes/region-check.ts +97 -0
  198. package/skills/statechart/scripts/passes/regions.ts +295 -0
  199. package/skills/statechart/scripts/pipeline.ts +76 -0
  200. package/skills/statechart/scripts/run.ts +481 -0
  201. package/skills/statechart/scripts/statechart +29 -0
  202. package/skills/statechart/scripts/statechart.ts +164 -0
  203. package/skills/statechart/scripts/test/ConfigOracle.java +63 -0
  204. package/skills/statechart/scripts/test/chart.test.ts +1210 -0
  205. package/skills/statechart/scripts/test/charts/Braces.mmd +7 -0
  206. package/skills/statechart/scripts/test/charts/Escapes.mmd +11 -0
  207. package/skills/statechart/scripts/test/charts/Phases.mmd +29 -0
  208. package/skills/statechart/scripts/test/cli.test.ts +1314 -0
  209. package/skills/statechart/scripts/test/config-fuzz.test.ts +263 -0
  210. package/skills/statechart/scripts/test/corpus/Counter/ChartRun.out +57 -0
  211. package/skills/statechart/scripts/test/corpus/Counter/Counter.cfg +3 -0
  212. package/skills/statechart/scripts/test/corpus/Counter/Counter.tla +10 -0
  213. package/skills/statechart/scripts/test/corpus/Counter/chart.mmd +9 -0
  214. package/skills/statechart/scripts/test/corpus/Counter/graph.dot +16 -0
  215. package/skills/statechart/scripts/test/corpus/Counter/report.md +7 -0
  216. package/skills/statechart/scripts/test/corpus/Counter/sany.out +2 -0
  217. package/skills/statechart/scripts/test/corpus/Counter/verdict-1.out +49 -0
  218. package/skills/statechart/scripts/test/corpus/CounterAction/ChartRun.out +60 -0
  219. package/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg +4 -0
  220. package/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.tla +22 -0
  221. package/skills/statechart/scripts/test/corpus/CounterAction/chart.mmd +26 -0
  222. package/skills/statechart/scripts/test/corpus/CounterAction/graph.dot +19 -0
  223. package/skills/statechart/scripts/test/corpus/CounterAction/report.md +20 -0
  224. package/skills/statechart/scripts/test/corpus/CounterAction/sany.out +2 -0
  225. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.exit +1 -0
  226. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.out +56 -0
  227. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.exit +1 -0
  228. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.out +82 -0
  229. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-3.out +57 -0
  230. package/skills/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out +59 -0
  231. package/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg +3 -0
  232. package/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla +11 -0
  233. package/skills/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd +22 -0
  234. package/skills/statechart/scripts/test/corpus/CounterDeadlock/graph.dot +16 -0
  235. package/skills/statechart/scripts/test/corpus/CounterDeadlock/report.md +17 -0
  236. package/skills/statechart/scripts/test/corpus/CounterDeadlock/sany.out +2 -0
  237. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit +1 -0
  238. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out +56 -0
  239. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit +1 -0
  240. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out +77 -0
  241. package/skills/statechart/scripts/test/corpus/CounterFan/ChartRun.out +69 -0
  242. package/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg +2 -0
  243. package/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.tla +11 -0
  244. package/skills/statechart/scripts/test/corpus/CounterFan/chart.mmd +85 -0
  245. package/skills/statechart/scripts/test/corpus/CounterFan/graph.dot +70 -0
  246. package/skills/statechart/scripts/test/corpus/CounterFan/report.md +12 -0
  247. package/skills/statechart/scripts/test/corpus/CounterFan/sany.out +2 -0
  248. package/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.exit +1 -0
  249. package/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.out +67 -0
  250. package/skills/statechart/scripts/test/corpus/CounterFan/verdict-2.out +57 -0
  251. package/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit +1 -0
  252. package/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.out +85 -0
  253. package/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg +6 -0
  254. package/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla +13 -0
  255. package/skills/statechart/scripts/test/corpus/CounterGuard/chart.mmd +5 -0
  256. package/skills/statechart/scripts/test/corpus/CounterGuard/graph.dot +10 -0
  257. package/skills/statechart/scripts/test/corpus/CounterGuard/report.md +31 -0
  258. package/skills/statechart/scripts/test/corpus/CounterGuard/sany.out +2 -0
  259. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit +1 -0
  260. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.out +64 -0
  261. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit +1 -0
  262. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.out +77 -0
  263. package/skills/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out +55 -0
  264. package/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg +3 -0
  265. package/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla +10 -0
  266. package/skills/statechart/scripts/test/corpus/CounterInitPast/chart.mmd +12 -0
  267. package/skills/statechart/scripts/test/corpus/CounterInitPast/graph.dot +6 -0
  268. package/skills/statechart/scripts/test/corpus/CounterInitPast/report.md +12 -0
  269. package/skills/statechart/scripts/test/corpus/CounterInitPast/sany.out +2 -0
  270. package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit +1 -0
  271. package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out +33 -0
  272. package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out +54 -0
  273. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out +54 -0
  274. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg +3 -0
  275. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla +10 -0
  276. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd +1 -0
  277. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot +6 -0
  278. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/report.md +7 -0
  279. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out +2 -0
  280. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out +46 -0
  281. package/skills/statechart/scripts/test/corpus/CounterInstance/ChartRun.out +59 -0
  282. package/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg +2 -0
  283. package/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla +10 -0
  284. package/skills/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla +6 -0
  285. package/skills/statechart/scripts/test/corpus/CounterInstance/chart.mmd +17 -0
  286. package/skills/statechart/scripts/test/corpus/CounterInstance/graph.dot +15 -0
  287. package/skills/statechart/scripts/test/corpus/CounterInstance/report.md +14 -0
  288. package/skills/statechart/scripts/test/corpus/CounterInstance/sany.out +3 -0
  289. package/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit +1 -0
  290. package/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.out +78 -0
  291. package/skills/statechart/scripts/test/corpus/CounterJump/ChartRun.out +59 -0
  292. package/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg +3 -0
  293. package/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.tla +19 -0
  294. package/skills/statechart/scripts/test/corpus/CounterJump/chart.mmd +26 -0
  295. package/skills/statechart/scripts/test/corpus/CounterJump/graph.dot +22 -0
  296. package/skills/statechart/scripts/test/corpus/CounterJump/report.md +12 -0
  297. package/skills/statechart/scripts/test/corpus/CounterJump/sany.out +2 -0
  298. package/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.exit +1 -0
  299. package/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.out +58 -0
  300. package/skills/statechart/scripts/test/corpus/CounterJump/verdict-2.out +57 -0
  301. package/skills/statechart/scripts/test/corpus/CounterLoop/ChartRun.out +57 -0
  302. package/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg +2 -0
  303. package/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla +11 -0
  304. package/skills/statechart/scripts/test/corpus/CounterLoop/chart.mmd +17 -0
  305. package/skills/statechart/scripts/test/corpus/CounterLoop/graph.dot +15 -0
  306. package/skills/statechart/scripts/test/corpus/CounterLoop/report.md +14 -0
  307. package/skills/statechart/scripts/test/corpus/CounterLoop/sany.out +2 -0
  308. package/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit +1 -0
  309. package/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.out +76 -0
  310. package/skills/statechart/scripts/test/corpus/CounterOrder/ChartRun.out +59 -0
  311. package/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg +3 -0
  312. package/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla +11 -0
  313. package/skills/statechart/scripts/test/corpus/CounterOrder/chart.mmd +19 -0
  314. package/skills/statechart/scripts/test/corpus/CounterOrder/graph.dot +10 -0
  315. package/skills/statechart/scripts/test/corpus/CounterOrder/report.md +15 -0
  316. package/skills/statechart/scripts/test/corpus/CounterOrder/sany.out +2 -0
  317. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit +1 -0
  318. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.out +56 -0
  319. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit +1 -0
  320. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.out +67 -0
  321. package/skills/statechart/scripts/test/corpus/CounterRules/ChartRun.out +62 -0
  322. package/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg +6 -0
  323. package/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.tla +24 -0
  324. package/skills/statechart/scripts/test/corpus/CounterRules/Moves.tla +5 -0
  325. package/skills/statechart/scripts/test/corpus/CounterRules/chart.mmd +22 -0
  326. package/skills/statechart/scripts/test/corpus/CounterRules/graph.dot +10 -0
  327. package/skills/statechart/scripts/test/corpus/CounterRules/report.md +23 -0
  328. package/skills/statechart/scripts/test/corpus/CounterRules/sany.out +3 -0
  329. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.exit +1 -0
  330. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.out +58 -0
  331. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.exit +1 -0
  332. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.out +66 -0
  333. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.exit +1 -0
  334. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.out +74 -0
  335. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-4.out +59 -0
  336. package/skills/statechart/scripts/test/corpus/CounterStart/ChartRun.out +58 -0
  337. package/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg +3 -0
  338. package/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.tla +15 -0
  339. package/skills/statechart/scripts/test/corpus/CounterStart/chart.mmd +18 -0
  340. package/skills/statechart/scripts/test/corpus/CounterStart/graph.dot +13 -0
  341. package/skills/statechart/scripts/test/corpus/CounterStart/report.md +11 -0
  342. package/skills/statechart/scripts/test/corpus/CounterStart/sany.out +2 -0
  343. package/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.exit +1 -0
  344. package/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.out +33 -0
  345. package/skills/statechart/scripts/test/corpus/CounterStart/verdict-2.out +57 -0
  346. package/skills/statechart/scripts/test/corpus/CounterStop/ChartRun.out +57 -0
  347. package/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg +3 -0
  348. package/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.tla +15 -0
  349. package/skills/statechart/scripts/test/corpus/CounterStop/chart.mmd +7 -0
  350. package/skills/statechart/scripts/test/corpus/CounterStop/graph.dot +13 -0
  351. package/skills/statechart/scripts/test/corpus/CounterStop/report.md +6 -0
  352. package/skills/statechart/scripts/test/corpus/CounterStop/sany.out +2 -0
  353. package/skills/statechart/scripts/test/corpus/CounterStop/verdict-1.out +49 -0
  354. package/skills/statechart/scripts/test/corpus/CounterTie/ChartRun.out +61 -0
  355. package/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg +4 -0
  356. package/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.tla +14 -0
  357. package/skills/statechart/scripts/test/corpus/CounterTie/chart.mmd +30 -0
  358. package/skills/statechart/scripts/test/corpus/CounterTie/graph.dot +19 -0
  359. package/skills/statechart/scripts/test/corpus/CounterTie/report.md +27 -0
  360. package/skills/statechart/scripts/test/corpus/CounterTie/sany.out +2 -0
  361. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.exit +1 -0
  362. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.out +56 -0
  363. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.exit +1 -0
  364. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.out +64 -0
  365. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.exit +1 -0
  366. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.out +87 -0
  367. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-4.out +57 -0
  368. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out +60 -0
  369. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg +3 -0
  370. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla +12 -0
  371. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd +23 -0
  372. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot +19 -0
  373. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/report.md +11 -0
  374. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/sany.out +2 -0
  375. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit +1 -0
  376. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out +56 -0
  377. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out +57 -0
  378. package/skills/statechart/scripts/test/corpus/CounterView/ChartRun.out +61 -0
  379. package/skills/statechart/scripts/test/corpus/CounterView/CounterView.cfg +4 -0
  380. package/skills/statechart/scripts/test/corpus/CounterView/CounterView.tla +14 -0
  381. package/skills/statechart/scripts/test/corpus/CounterView/chart.mmd +23 -0
  382. package/skills/statechart/scripts/test/corpus/CounterView/graph.dot +19 -0
  383. package/skills/statechart/scripts/test/corpus/CounterView/report.md +27 -0
  384. package/skills/statechart/scripts/test/corpus/CounterView/sany.out +2 -0
  385. package/skills/statechart/scripts/test/corpus/CounterView/verdict-1.exit +1 -0
  386. package/skills/statechart/scripts/test/corpus/CounterView/verdict-1.out +56 -0
  387. package/skills/statechart/scripts/test/corpus/CounterView/verdict-2.exit +1 -0
  388. package/skills/statechart/scripts/test/corpus/CounterView/verdict-2.out +64 -0
  389. package/skills/statechart/scripts/test/corpus/CounterView/verdict-3.exit +1 -0
  390. package/skills/statechart/scripts/test/corpus/CounterView/verdict-3.out +87 -0
  391. package/skills/statechart/scripts/test/corpus/CounterView/verdict-4.out +57 -0
  392. package/skills/statechart/scripts/test/corpus/CounterView/view.mjs +1 -0
  393. package/skills/statechart/scripts/test/corpus/DieHard/ChartRun.out +59 -0
  394. package/skills/statechart/scripts/test/corpus/DieHard/DieHard.cfg +4 -0
  395. package/skills/statechart/scripts/test/corpus/DieHard/DieHard.tla +38 -0
  396. package/skills/statechart/scripts/test/corpus/DieHard/chart.mmd +92 -0
  397. package/skills/statechart/scripts/test/corpus/DieHard/graph.dot +126 -0
  398. package/skills/statechart/scripts/test/corpus/DieHard/report.md +17 -0
  399. package/skills/statechart/scripts/test/corpus/DieHard/sany.out +2 -0
  400. package/skills/statechart/scripts/test/corpus/DieHard/verdict-1.exit +1 -0
  401. package/skills/statechart/scripts/test/corpus/DieHard/verdict-1.out +91 -0
  402. package/skills/statechart/scripts/test/corpus/DieHard/verdict-2.out +57 -0
  403. package/skills/statechart/scripts/test/corpus/FirstRule/ChartRun.out +61 -0
  404. package/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg +6 -0
  405. package/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.tla +11 -0
  406. package/skills/statechart/scripts/test/corpus/FirstRule/chart.mmd +22 -0
  407. package/skills/statechart/scripts/test/corpus/FirstRule/graph.dot +16 -0
  408. package/skills/statechart/scripts/test/corpus/FirstRule/report.md +25 -0
  409. package/skills/statechart/scripts/test/corpus/FirstRule/sany.out +2 -0
  410. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.exit +1 -0
  411. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.out +56 -0
  412. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.exit +1 -0
  413. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.out +64 -0
  414. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.exit +1 -0
  415. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.out +64 -0
  416. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.exit +1 -0
  417. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.out +77 -0
  418. package/skills/statechart/scripts/test/corpus/HiddenClock/ChartRun.out +57 -0
  419. package/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg +4 -0
  420. package/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla +11 -0
  421. package/skills/statechart/scripts/test/corpus/HiddenClock/chart.mmd +13 -0
  422. package/skills/statechart/scripts/test/corpus/HiddenClock/graph.dot +12 -0
  423. package/skills/statechart/scripts/test/corpus/HiddenClock/report.md +11 -0
  424. package/skills/statechart/scripts/test/corpus/HiddenClock/sany.out +2 -0
  425. package/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit +1 -0
  426. package/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.out +72 -0
  427. package/skills/statechart/scripts/test/corpus/Login/ChartRun.out +57 -0
  428. package/skills/statechart/scripts/test/corpus/Login/Login.cfg +3 -0
  429. package/skills/statechart/scripts/test/corpus/Login/Login.tla +62 -0
  430. package/skills/statechart/scripts/test/corpus/Login/chart.mmd +27 -0
  431. package/skills/statechart/scripts/test/corpus/Login/graph.dot +40 -0
  432. package/skills/statechart/scripts/test/corpus/Login/report.md +7 -0
  433. package/skills/statechart/scripts/test/corpus/Login/sany.out +1 -0
  434. package/skills/statechart/scripts/test/corpus/Login/verdict-1.out +47 -0
  435. package/skills/statechart/scripts/test/corpus/Login/view.mjs +1 -0
  436. package/skills/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out +57 -0
  437. package/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg +2 -0
  438. package/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla +64 -0
  439. package/skills/statechart/scripts/test/corpus/LoginGuarded/chart.mmd +28 -0
  440. package/skills/statechart/scripts/test/corpus/LoginGuarded/graph.dot +37 -0
  441. package/skills/statechart/scripts/test/corpus/LoginGuarded/report.md +8 -0
  442. package/skills/statechart/scripts/test/corpus/LoginGuarded/sany.out +1 -0
  443. package/skills/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out +47 -0
  444. package/skills/statechart/scripts/test/corpus/LoginGuarded/view.mjs +1 -0
  445. package/skills/statechart/scripts/test/corpus/LoginParallel/ChartRun.out +60 -0
  446. package/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg +3 -0
  447. package/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla +64 -0
  448. package/skills/statechart/scripts/test/corpus/LoginParallel/chart.mmd +44 -0
  449. package/skills/statechart/scripts/test/corpus/LoginParallel/graph.dot +58 -0
  450. package/skills/statechart/scripts/test/corpus/LoginParallel/report.md +17 -0
  451. package/skills/statechart/scripts/test/corpus/LoginParallel/sany.out +1 -0
  452. package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit +1 -0
  453. package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.out +83 -0
  454. package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-2.out +57 -0
  455. package/skills/statechart/scripts/test/corpus/LoginParallel/view.mjs +1 -0
  456. package/skills/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out +60 -0
  457. package/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg +3 -0
  458. package/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla +103 -0
  459. package/skills/statechart/scripts/test/corpus/MediaPlayer/chart.mmd +43 -0
  460. package/skills/statechart/scripts/test/corpus/MediaPlayer/graph.dot +93 -0
  461. package/skills/statechart/scripts/test/corpus/MediaPlayer/report.md +14 -0
  462. package/skills/statechart/scripts/test/corpus/MediaPlayer/sany.out +1 -0
  463. package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit +1 -0
  464. package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out +59 -0
  465. package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out +72 -0
  466. package/skills/statechart/scripts/test/corpus/MediaPlayer/view.mjs +3 -0
  467. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out +57 -0
  468. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg +2 -0
  469. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla +100 -0
  470. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd +31 -0
  471. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot +85 -0
  472. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/report.md +9 -0
  473. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out +1 -0
  474. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out +47 -0
  475. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs +3 -0
  476. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out +59 -0
  477. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla +103 -0
  478. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg +3 -0
  479. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla +6 -0
  480. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd +42 -0
  481. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot +93 -0
  482. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/report.md +19 -0
  483. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/sany.out +2 -0
  484. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit +1 -0
  485. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out +61 -0
  486. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out +59 -0
  487. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out +61 -0
  488. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit +1 -0
  489. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out +66 -0
  490. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit +1 -0
  491. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out +58 -0
  492. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out +49 -0
  493. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs +3 -0
  494. package/skills/statechart/scripts/test/corpus/PickWorker/ChartRun.out +57 -0
  495. package/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg +6 -0
  496. package/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.tla +11 -0
  497. package/skills/statechart/scripts/test/corpus/PickWorker/chart.mmd +5 -0
  498. package/skills/statechart/scripts/test/corpus/PickWorker/graph.dot +11 -0
  499. package/skills/statechart/scripts/test/corpus/PickWorker/report.md +7 -0
  500. package/skills/statechart/scripts/test/corpus/PickWorker/sany.out +5 -0
  501. package/skills/statechart/scripts/test/corpus/PickWorker/verdict-1.out +70 -0
  502. package/skills/statechart/scripts/test/corpus/Shadow/ChartRun.out +61 -0
  503. package/skills/statechart/scripts/test/corpus/Shadow/Shadow.cfg +4 -0
  504. package/skills/statechart/scripts/test/corpus/Shadow/Shadow.tla +11 -0
  505. package/skills/statechart/scripts/test/corpus/Shadow/ShadowLib.tla +6 -0
  506. package/skills/statechart/scripts/test/corpus/Shadow/ShadowSub.tla +3 -0
  507. package/skills/statechart/scripts/test/corpus/Shadow/chart.mmd +9 -0
  508. package/skills/statechart/scripts/test/corpus/Shadow/graph.dot +16 -0
  509. package/skills/statechart/scripts/test/corpus/Shadow/report.md +8 -0
  510. package/skills/statechart/scripts/test/corpus/Shadow/sany.out +4 -0
  511. package/skills/statechart/scripts/test/corpus/Shadow/verdict-1.out +65 -0
  512. package/skills/statechart/scripts/test/corpus/SpacedNames/ChartRun.out +59 -0
  513. package/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg +2 -0
  514. package/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla +9 -0
  515. package/skills/statechart/scripts/test/corpus/SpacedNames/chart.mmd +23 -0
  516. package/skills/statechart/scripts/test/corpus/SpacedNames/graph.dot +17 -0
  517. package/skills/statechart/scripts/test/corpus/SpacedNames/report.md +15 -0
  518. package/skills/statechart/scripts/test/corpus/SpacedNames/sany.out +1 -0
  519. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit +1 -0
  520. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.out +65 -0
  521. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit +1 -0
  522. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.out +75 -0
  523. package/skills/statechart/scripts/test/corpus/TwoPhase/ChartRun.out +69 -0
  524. package/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg +3 -0
  525. package/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla +75 -0
  526. package/skills/statechart/scripts/test/corpus/TwoPhase/chart.mmd +60 -0
  527. package/skills/statechart/scripts/test/corpus/TwoPhase/graph.dot +297 -0
  528. package/skills/statechart/scripts/test/corpus/TwoPhase/report.md +20 -0
  529. package/skills/statechart/scripts/test/corpus/TwoPhase/sany.out +1 -0
  530. package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit +1 -0
  531. package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.out +95 -0
  532. package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-2.out +57 -0
  533. package/skills/statechart/scripts/test/corpus/TwoPhase/view.mjs +1 -0
  534. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out +57 -0
  535. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg +3 -0
  536. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla +75 -0
  537. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd +37 -0
  538. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot +223 -0
  539. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/report.md +11 -0
  540. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out +1 -0
  541. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out +47 -0
  542. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs +1 -0
  543. package/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit +1 -0
  544. package/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.out +75 -0
  545. package/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg +5 -0
  546. package/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla +11 -0
  547. package/skills/statechart/scripts/test/corpus/TypeGuard/chart.mmd +18 -0
  548. package/skills/statechart/scripts/test/corpus/TypeGuard/graph.dot +14 -0
  549. package/skills/statechart/scripts/test/corpus/TypeGuard/report.md +29 -0
  550. package/skills/statechart/scripts/test/corpus/TypeGuard/sany.out +2 -0
  551. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit +1 -0
  552. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.out +64 -0
  553. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit +1 -0
  554. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.out +75 -0
  555. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out +58 -0
  556. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg +2 -0
  557. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla +8 -0
  558. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd +22 -0
  559. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot +16 -0
  560. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/report.md +15 -0
  561. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/sany.out +2 -0
  562. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit +1 -0
  563. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out +56 -0
  564. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit +1 -0
  565. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out +77 -0
  566. package/skills/statechart/scripts/test/corpus.test.ts +403 -0
  567. package/skills/statechart/scripts/test/differential.test.ts +565 -0
  568. package/skills/statechart/scripts/test/grid/Grid.cfg +2 -0
  569. package/skills/statechart/scripts/test/grid/Grid.tla +9 -0
  570. package/skills/statechart/scripts/test/grid/sany.out +2 -0
  571. package/skills/statechart/scripts/test/java.ts +63 -0
  572. package/skills/statechart/scripts/test/labels.ts +643 -0
  573. package/skills/statechart/scripts/test/messages.test.ts +212 -0
  574. package/skills/statechart/scripts/test/pipeline.test.ts +270 -0
  575. package/skills/statechart/scripts/test/plain-tlc.test.ts +255 -0
  576. package/skills/statechart/scripts/test/render.test.ts +81 -0
  577. package/skills/statechart/scripts/test/tlc-out.test.ts +90 -0
  578. package/skills/statechart/scripts/test/tlc.ts +158 -0
  579. package/skills/statechart/scripts/tsconfig.json +11 -0
  580. package/skills/statechart/scripts/worker.ts +35 -0
  581. package/skills/swarm/SKILL.md +41 -0
  582. package/skills/tdd/SKILL.md +42 -0
  583. package/skills/teach/SKILL.md +21 -0
  584. package/skills/technical-writing/SKILL.md +106 -0
  585. package/skills/thermo-nuclear-code-quality-review/SKILL.md +192 -0
  586. package/skills/typescript-best-practices/SKILL.md +32 -0
  587. package/skills/typescript-best-practices/references/patterns.md +328 -0
  588. package/skills/typescript-exhaustive-switch/SKILL.md +10 -0
  589. package/skills/unslop/SKILL.md +62 -0
  590. package/skills/verify-this/SKILL.md +74 -0
  591. package/skills/weekly-review/SKILL.md +32 -0
  592. package/skills/what-did-i-get-done/SKILL.md +31 -0
  593. package/skills/why/SKILL.md +98 -0
  594. package/skills/why/references/epistemics.md +71 -0
  595. package/skills/why/references/investigator-prompt.md +84 -0
  596. package/skills/why/references/source-playbook.md +17 -0
  597. package/skills/why/references/sources/code-archaeology.md +51 -0
  598. package/skills/why/references/sources/databricks.md +70 -0
  599. package/skills/why/references/sources/datadog.md +97 -0
  600. package/skills/why/references/sources/incident-postmortem.md +5 -0
  601. package/skills/why/references/sources/linear.md +48 -0
  602. package/skills/why/references/sources/notion.md +55 -0
  603. package/skills/why/references/sources/sentry.md +66 -0
  604. package/skills/why/references/sources/slack.md +17 -0
  605. package/skills/why/references/synthesizer-prompt.md +129 -0
  606. package/skills/workflow-from-chats/SKILL.md +50 -0
  607. package/src/aliases.ts +64 -0
  608. package/src/ask.ts +131 -0
  609. package/src/autocomplete.ts +21 -0
  610. package/src/child-env.ts +57 -0
  611. package/src/index.ts +138 -0
  612. package/src/loop.ts +238 -0
  613. package/src/mode.ts +180 -0
  614. package/src/modes.ts +8 -0
  615. package/src/path-skills.ts +104 -0
  616. package/src/paths.ts +90 -0
  617. package/src/pi-command.ts +12 -0
  618. package/src/plan.ts +226 -0
  619. package/src/readonly-shell.ts +107 -0
  620. package/src/rule.ts +56 -0
  621. package/src/sections.ts +136 -0
  622. package/src/subscriptions/cron.ts +75 -0
  623. package/src/subscriptions/durable-store.ts +531 -0
  624. package/src/subscriptions/durable-types.ts +69 -0
  625. package/src/subscriptions/ensure-supervisor.ts +67 -0
  626. package/src/subscriptions/github.ts +149 -0
  627. package/src/subscriptions/index.ts +575 -0
  628. package/src/subscriptions/supervisor-main.ts +134 -0
  629. package/src/subscriptions/supervisor.ts +325 -0
  630. package/src/subscriptions/webhook.ts +270 -0
  631. package/src/task/agents.ts +55 -0
  632. package/src/task/card.ts +61 -0
  633. package/src/task/format.ts +88 -0
  634. package/src/task/models.ts +147 -0
  635. package/src/task/progress.ts +112 -0
  636. package/src/task/records.ts +230 -0
  637. package/src/task/registry.ts +81 -0
  638. package/src/task/runner.ts +459 -0
  639. package/src/task/status.ts +170 -0
  640. package/src/task/stop.ts +100 -0
  641. package/src/task/tool.ts +560 -0
  642. package/src/task/worktree.ts +69 -0
  643. package/src/todo.ts +127 -0
  644. package/src/visualize.ts +244 -0
@@ -0,0 +1,548 @@
1
+ ---
2
+ name: create-skill
3
+ description: >-
4
+ Create or revise a Pi skill (a directory with SKILL.md plus optional scripts,
5
+ references, and assets). Covers the requirements interview, placement,
6
+ frontmatter, agent-facing writing, progressive disclosure, common patterns,
7
+ a draft-test-iterate loop, and tuning the description so the skill triggers
8
+ when it should. Use for /create-skill, "write a skill", "turn this workflow
9
+ into a skill", or editing an existing SKILL.md.
10
+ ---
11
+
12
+ # Create a skill
13
+
14
+ A skill is a directory whose `SKILL.md` holds YAML frontmatter and instructions for an agent. Pi lists a skill's name, description, and path in the system prompt and loads the body only when a task calls for it, or when the user types `/skill:<name>`.
15
+
16
+ ## Before you begin: gather requirements
17
+
18
+ Before creating a skill, gather this from the user:
19
+
20
+ 1. **Purpose and scope.** What specific task or workflow should this skill help with?
21
+ 2. **Target location.** Personal (`~/.pi/agent/skills/`), project (`.pi/skills/`), or packaged (`skills/` inside a Pi package)?
22
+ 3. **Trigger scenarios.** When should the agent automatically apply this skill?
23
+ 4. **Key domain knowledge.** What specialized information does the agent need that it would not already know?
24
+ 5. **Output format preferences.** Are there specific templates, formats, or styles required?
25
+ 6. **Existing patterns.** Are there existing examples or conventions to follow?
26
+
27
+ ### Verbatim text from the user
28
+
29
+ If the user includes exact wording to use in the skill, respect it and use it **verbatim** in `SKILL.md` (same words, same order). Do not paraphrase, soften, or expand their copy, and do not add unrequested headings or commentary around it.
30
+
31
+ ### Inferring from context
32
+
33
+ If you have previous conversation context, infer the skill from what was discussed. You can create skills based on workflows, patterns, or domain knowledge that emerged in the conversation.
34
+
35
+ ### Gathering additional information
36
+
37
+ If you need clarification, use the AskQuestion tool when available:
38
+
39
+ ```
40
+ Example AskQuestion usage:
41
+ - "Where should this skill be stored?" with options like ["Personal (~/.pi/agent/skills/)", "Project (.pi/skills/)"]
42
+ - "Should this skill include executable scripts?" with options like ["Yes", "No"]
43
+ ```
44
+
45
+ If the AskQuestion tool is not available, ask these questions conversationally.
46
+
47
+ ---
48
+
49
+ ## Skill file structure
50
+
51
+ ### Directory layout
52
+
53
+ Skills are stored as directories containing a `SKILL.md` file:
54
+
55
+ ```
56
+ skill-name/
57
+ ├── SKILL.md # Required - main instructions
58
+ ├── references/ # Optional - detailed documentation the agent reads on demand
59
+ │ └── reference.md
60
+ ├── examples.md # Optional - usage examples (or under references/)
61
+ └── scripts/ # Optional - utility scripts
62
+ ├── validate.py
63
+ └── helper.sh
64
+ ```
65
+
66
+ ### Storage locations
67
+
68
+ | Type | Path | Scope |
69
+ |------|------|-------|
70
+ | Personal | `~/.pi/agent/skills/<name>/` (respect `PI_CODING_AGENT_DIR` when set) | Available in every project on this machine |
71
+ | Project | `.pi/skills/<name>/`, or `.agents/skills/<name>/` for other Agent Skills hosts | Shared with anyone using the repository |
72
+ | Packaged | `skills/<name>/` inside a Pi package | Ships with the package (`pi install`) |
73
+
74
+ **IMPORTANT.** Never write personal or project skills into a Pi package's `skills/` tree unless the user is editing that package on purpose. Packaged skills are owned by the package maintainer.
75
+
76
+ Before creating a new skill, search the existing skills for one that already covers the job. Extend it instead of adding an overlap.
77
+
78
+ ### SKILL.md structure
79
+
80
+ Every skill requires a `SKILL.md` file with YAML frontmatter and markdown body:
81
+
82
+ ```markdown
83
+ ---
84
+ name: your-skill-name
85
+ description: Brief description of what this skill does and when to use it
86
+ disable-model-invocation: true
87
+ ---
88
+
89
+ # Your skill name
90
+
91
+ ## Instructions
92
+ Clear, step-by-step guidance for the agent.
93
+
94
+ ## Examples
95
+ Concrete examples of using this skill.
96
+ ```
97
+
98
+ Default `disable-model-invocation: true` so the skill only loads when named explicitly (`/skill:<name>` or an explicit handoff). Omit it only when the agent should auto-invoke from ambient context.
99
+
100
+ ### Required metadata fields
101
+
102
+ | Field | Requirements | Purpose |
103
+ |-------|--------------|---------|
104
+ | `name` | Max 64 chars, lowercase letters/numbers/hyphens only. Must match the directory name. | Unique identifier for the skill |
105
+ | `description` | Max 1024 chars, non-empty. One YAML scalar. | Helps the agent decide when to apply the skill |
106
+
107
+ `name` and `description` are required. Pi skips a skill without a description.
108
+
109
+ Quote the description, or use `description: >-` with indented continuation lines, when it contains `: `, a leading special character, or line breaks.
110
+
111
+ Other Agent Skills fields are `license`, `compatibility`, `metadata` (a key-value map), and `allowed-tools`. Put host-specific fields under `metadata`.
112
+
113
+ ---
114
+
115
+ ## Writing effective descriptions
116
+
117
+ The description is **critical** for skill discovery. The agent uses it to decide when to apply your skill. It is the only text the model sees before deciding to load the body.
118
+
119
+ ### Description best practices
120
+
121
+ 1. **Write in third person** (the description is injected into the system prompt):
122
+ - Good: "Processes Excel files and generates reports"
123
+ - Avoid: "I can help you process Excel files"
124
+ - Avoid: "You can use this to process Excel files"
125
+
126
+ 2. **Be specific and include trigger terms**:
127
+ - Good: "Extract text and tables from PDF files, fill forms, merge documents. Use when working with PDF files or when the user mentions PDFs, forms, or document extraction."
128
+ - Vague: "Helps with documents"
129
+
130
+ 3. **Include both WHAT and WHEN**:
131
+ - WHAT: What the skill does (specific capabilities)
132
+ - WHEN: When the agent should use it (trigger scenarios)
133
+
134
+ ### Description examples
135
+
136
+ ```yaml
137
+ # PDF processing
138
+ description: Extract text and tables from PDF files, fill forms, merge documents. Use when working with PDF files or when the user mentions PDFs, forms, or document extraction.
139
+
140
+ # Excel analysis
141
+ description: Analyze Excel spreadsheets, create pivot tables, generate charts. Use when analyzing Excel files, spreadsheets, tabular data, or .xlsx files.
142
+
143
+ # Git commit helper
144
+ description: Generate descriptive commit messages by analyzing git diffs. Use when the user asks for help writing commit messages or reviewing staged changes.
145
+
146
+ # Code review
147
+ description: Review code for quality, security, and best practices following team standards. Use when reviewing pull requests, code changes, or when the user asks for a code review.
148
+ ```
149
+
150
+ ### Tune the description (trigger loop)
151
+
152
+ Use this loop when a skill exists but does not trigger, or triggers on the wrong requests.
153
+
154
+ 1. Write five prompts that should trigger it and five near misses that should not.
155
+ 2. For each prompt, run a fresh session with the skill discoverable and check whether the agent read the skill's `SKILL.md`.
156
+ 3. Rewrite the description to name the missing triggers and to exclude the near misses. Keep it one scalar.
157
+ 4. Repeat until both sets behave. Skills with `disable-model-invocation: true` never auto-trigger, so this loop does not apply to them.
158
+
159
+ ---
160
+
161
+ ## Core authoring principles
162
+
163
+ ### 1. Concise is key
164
+
165
+ The context window is shared with conversation history, other skills, and requests. Every token competes for space.
166
+
167
+ **Default assumption.** The agent is already very smart. Only add context it does not already have.
168
+
169
+ Challenge each piece of information:
170
+ - "Does the agent really need this explanation?"
171
+ - "Can I assume the agent knows this?"
172
+ - "Does this paragraph justify its token cost?"
173
+
174
+ **Good (concise):**
175
+ ```markdown
176
+ ## Extract PDF text
177
+
178
+ Use pdfplumber for text extraction:
179
+
180
+ \`\`\`python
181
+ import pdfplumber
182
+
183
+ with pdfplumber.open("file.pdf") as pdf:
184
+ text = pdf.pages[0].extract_text()
185
+ \`\`\`
186
+ ```
187
+
188
+ **Bad (verbose):**
189
+ ```markdown
190
+ ## Extract PDF text
191
+
192
+ PDF (Portable Document Format) files are a common file format that contains
193
+ text, images, and other content. To extract text from a PDF, you'll need to
194
+ use a library. There are many libraries available for PDF processing, but we
195
+ recommend pdfplumber because it's easy to use and handles most cases well...
196
+ ```
197
+
198
+ ### 2. Keep SKILL.md under 500 lines
199
+
200
+ For optimal performance, the main SKILL.md file should be concise. Use progressive disclosure for detailed content.
201
+
202
+ ### 3. Progressive disclosure
203
+
204
+ Put essential information in SKILL.md. Put detailed reference material in separate files that the agent reads only when needed.
205
+
206
+ ```markdown
207
+ # PDF processing
208
+
209
+ ## Quick start
210
+ [Essential instructions here]
211
+
212
+ ## Additional resources
213
+ - For complete API details, see \`references/api.md\`
214
+ - For usage examples, see \`examples.md\`
215
+ ```
216
+
217
+ **Keep references one level deep.** Link directly from SKILL.md to reference files. Deeply nested references may result in partial reads.
218
+
219
+ Use paths relative to the skill directory for bundled files. Pi tells the agent where the skill lives.
220
+
221
+ ### 4. Set appropriate degrees of freedom
222
+
223
+ Match specificity to the task's fragility:
224
+
225
+ | Freedom level | When to use | Example |
226
+ |---------------|-------------|---------|
227
+ | **High** (text instructions) | Multiple valid approaches, context-dependent | Code review guidelines |
228
+ | **Medium** (pseudocode/templates) | Preferred pattern with acceptable variation | Report generation |
229
+ | **Low** (specific scripts) | Fragile operations, consistency critical | Database migrations |
230
+
231
+ ### 5. Write the body for an agent reader
232
+
233
+ - Start with what the skill produces, then the steps in order. One instruction per sentence.
234
+ - Give exact commands, paths, and file names.
235
+ - Encode a rule that must always hold as a script, check, or lint the skill runs. Prose alone is a request, not a guarantee.
236
+ - Cut anything the agent already knows. Keep the body short enough to read in full before acting.
237
+
238
+ ---
239
+
240
+ ## Common patterns
241
+
242
+ ### Template pattern
243
+
244
+ Provide output format templates:
245
+
246
+ ```markdown
247
+ ## Report structure
248
+
249
+ Use this template:
250
+
251
+ \`\`\`markdown
252
+ # [Analysis title]
253
+
254
+ ## Executive summary
255
+ [One-paragraph overview of key findings]
256
+
257
+ ## Key findings
258
+ - Finding 1 with supporting data
259
+ - Finding 2 with supporting data
260
+
261
+ ## Recommendations
262
+ 1. Specific actionable recommendation
263
+ 2. Specific actionable recommendation
264
+ \`\`\`
265
+ ```
266
+
267
+ ### Examples pattern
268
+
269
+ For skills where output quality depends on seeing examples:
270
+
271
+ ```markdown
272
+ ## Commit message format
273
+
274
+ **Example 1:**
275
+ Input: Added user authentication with JWT tokens
276
+ Output:
277
+ \`\`\`
278
+ feat(auth): implement JWT-based authentication
279
+
280
+ Add login endpoint and token validation middleware
281
+ \`\`\`
282
+
283
+ **Example 2:**
284
+ Input: Fixed bug where dates displayed incorrectly
285
+ Output:
286
+ \`\`\`
287
+ fix(reports): correct date formatting in timezone conversion
288
+
289
+ Use UTC timestamps consistently across report generation
290
+ \`\`\`
291
+ ```
292
+
293
+ ### Workflow pattern
294
+
295
+ Break complex operations into clear steps with checklists:
296
+
297
+ ```markdown
298
+ ## Form filling workflow
299
+
300
+ Copy this checklist and track progress:
301
+
302
+ \`\`\`
303
+ Task progress:
304
+ - [ ] Step 1: Analyze the form
305
+ - [ ] Step 2: Create field mapping
306
+ - [ ] Step 3: Validate mapping
307
+ - [ ] Step 4: Fill the form
308
+ - [ ] Step 5: Verify output
309
+ \`\`\`
310
+
311
+ **Step 1: Analyze the form**
312
+ Run: \`python scripts/analyze_form.py input.pdf\`
313
+ ...
314
+ ```
315
+
316
+ ### Conditional workflow pattern
317
+
318
+ Guide through decision points:
319
+
320
+ ```markdown
321
+ ## Document modification workflow
322
+
323
+ 1. Determine the modification type:
324
+
325
+ **Creating new content?** Follow "Creation workflow" below.
326
+ **Editing existing content?** Follow "Editing workflow" below.
327
+
328
+ 2. Creation workflow:
329
+ - Use docx-js library
330
+ - Build document from scratch
331
+ ...
332
+ ```
333
+
334
+ ### Feedback loop pattern
335
+
336
+ For quality-critical tasks, implement validation loops:
337
+
338
+ ```markdown
339
+ ## Document editing process
340
+
341
+ 1. Make your edits
342
+ 2. **Validate immediately**: \`python scripts/validate.py output/\`
343
+ 3. If validation fails:
344
+ - Review the error message
345
+ - Fix the issues
346
+ - Run validation again
347
+ 4. **Only proceed when validation passes**
348
+ ```
349
+
350
+ ---
351
+
352
+ ## Utility scripts
353
+
354
+ Pre-made scripts offer advantages over generated code:
355
+ - More reliable than generated code
356
+ - Save tokens (no code in context)
357
+ - Save time (no code generation)
358
+ - Ensure consistency across uses
359
+
360
+ ```markdown
361
+ ## Utility scripts
362
+
363
+ **analyze_form.py**: Extract all form fields from PDF
364
+ \`\`\`bash
365
+ python scripts/analyze_form.py input.pdf > fields.json
366
+ \`\`\`
367
+
368
+ **validate.py**: Check for errors
369
+ \`\`\`bash
370
+ python scripts/validate.py fields.json
371
+ # Returns: "OK" or lists conflicts
372
+ \`\`\`
373
+ ```
374
+
375
+ Make clear whether the agent should **execute** the script (most common) or **read** it as reference. Prefer `bash` for running scripts. Prefer `read`, `grep`, and `find` when inspecting skill files.
376
+
377
+ ---
378
+
379
+ ## Anti-patterns to avoid
380
+
381
+ ### 1. Windows-style paths
382
+ - Use: `scripts/helper.py`
383
+ - Avoid: `scripts\helper.py`
384
+
385
+ ### 2. Too many options
386
+ ```markdown
387
+ # Bad - confusing
388
+ "You can use pypdf, or pdfplumber, or PyMuPDF, or..."
389
+
390
+ # Good - provide a default with escape hatch
391
+ "Use pdfplumber for text extraction.
392
+ For scanned PDFs requiring OCR, use pdf2image with pytesseract instead."
393
+ ```
394
+
395
+ ### 3. Time-sensitive information
396
+ ```markdown
397
+ # Bad - will become outdated
398
+ "If you're doing this before August 2025, use the old API."
399
+
400
+ # Good - use an "old patterns" section
401
+ ## Current method
402
+ Use the v2 API endpoint.
403
+
404
+ ## Old patterns (deprecated)
405
+ <details>
406
+ <summary>Legacy v1 API</summary>
407
+ ...
408
+ </details>
409
+ ```
410
+
411
+ ### 4. Inconsistent terminology
412
+ Choose one term and use it throughout:
413
+ - Always "API endpoint" (not mixing "URL", "route", "path")
414
+ - Always "field" (not mixing "box", "element", "control")
415
+
416
+ ### 5. Vague skill names
417
+ - Good: `processing-pdfs`, `analyzing-spreadsheets`
418
+ - Avoid: `helper`, `utils`, `tools`
419
+
420
+ ---
421
+
422
+ ## Skill creation workflow
423
+
424
+ When helping a user create a skill, follow this process.
425
+
426
+ ### Phase 1: Discovery
427
+
428
+ Gather information about:
429
+ 1. The skill's purpose and primary use case
430
+ 2. Storage location (personal vs project vs packaged)
431
+ 3. Trigger scenarios
432
+ 4. Any specific requirements or constraints
433
+ 5. Existing examples or patterns to follow
434
+
435
+ If you have access to the AskQuestion tool, use it for efficient structured gathering. Otherwise, ask conversationally.
436
+
437
+ ### Phase 2: Design
438
+
439
+ 1. Draft the skill name (lowercase, hyphens, max 64 chars, matches directory)
440
+ 2. Write a specific, third-person description
441
+ 3. Outline the main sections needed
442
+ 4. Identify if supporting files or scripts are needed
443
+
444
+ ### Phase 3: Implementation
445
+
446
+ 1. Create the directory structure
447
+ 2. Write the SKILL.md file with frontmatter (`write` for new files, `edit` for revisions)
448
+ 3. Create any supporting reference files
449
+ 4. Create any utility scripts if needed
450
+
451
+ ### Phase 4: Draft, test, iterate
452
+
453
+ 1. Draft the skill in place.
454
+ 2. Load it: start Pi where the skill is discoverable, or run `pi --skill <dir>`. Fix every startup diagnostic.
455
+ 3. Run it on two or three realistic tasks with `/skill:<name> <task>` in a fresh session, for example `pi -p --no-session "/skill:<name> <task>"`. Read what the agent actually did, not its summary.
456
+ 4. Note each place it skipped a step, guessed, or went off course. Tighten the instruction that allowed it, then rerun the same tasks.
457
+ 5. Stop when the runs follow the skill without help. Run `/reload` in open sessions after edits.
458
+
459
+ ### Phase 5: Verification
460
+
461
+ 1. Verify the SKILL.md is under 500 lines
462
+ 2. Check that the description is specific and includes trigger terms
463
+ 3. Ensure consistent terminology throughout
464
+ 4. Verify all file references are one level deep
465
+ 5. Confirm the skill loads with no diagnostics after `/reload`
466
+ 6. Report the path, the frontmatter, what each run showed, and anything left to tune
467
+
468
+ ---
469
+
470
+ ## Complete example
471
+
472
+ Here's a complete example of a well-structured skill:
473
+
474
+ **Directory structure:**
475
+ ```
476
+ code-review/
477
+ ├── SKILL.md
478
+ ├── references/
479
+ │ └── STANDARDS.md
480
+ └── examples.md
481
+ ```
482
+
483
+ **SKILL.md:**
484
+ ```markdown
485
+ ---
486
+ name: code-review
487
+ description: Review code for quality, security, and maintainability following team standards. Use when reviewing pull requests, examining code changes, or when the user asks for a code review.
488
+ ---
489
+
490
+ # Code review
491
+
492
+ ## Quick start
493
+
494
+ When reviewing code:
495
+
496
+ 1. Check for correctness and potential bugs
497
+ 2. Verify security best practices
498
+ 3. Assess code readability and maintainability
499
+ 4. Ensure tests are adequate
500
+
501
+ ## Review checklist
502
+
503
+ - [ ] Logic is correct and handles edge cases
504
+ - [ ] No security vulnerabilities (SQL injection, XSS, etc.)
505
+ - [ ] Code follows project style conventions
506
+ - [ ] Functions are appropriately sized and focused
507
+ - [ ] Error handling is comprehensive
508
+ - [ ] Tests cover the changes
509
+
510
+ ## Providing feedback
511
+
512
+ Format feedback as:
513
+ - **Critical**: Must fix before merge
514
+ - **Suggestion**: Consider improving
515
+ - **Nice to have**: Optional enhancement
516
+
517
+ ## Additional resources
518
+
519
+ - For detailed coding standards, see \`references/STANDARDS.md\`
520
+ - For example reviews, see \`examples.md\`
521
+ ```
522
+
523
+ ---
524
+
525
+ ## Summary checklist
526
+
527
+ Before finalizing a skill, verify:
528
+
529
+ ### Core quality
530
+ - [ ] Description is specific and includes key terms
531
+ - [ ] Description includes both WHAT and WHEN
532
+ - [ ] Written in third person
533
+ - [ ] SKILL.md body is under 500 lines
534
+ - [ ] Consistent terminology throughout
535
+ - [ ] Examples are concrete, not abstract
536
+
537
+ ### Structure
538
+ - [ ] File references are one level deep
539
+ - [ ] Progressive disclosure used appropriately
540
+ - [ ] Workflows have clear steps
541
+ - [ ] No time-sensitive information
542
+ - [ ] Placement is personal, project, or packaged as intended
543
+
544
+ ### If including scripts
545
+ - [ ] Scripts solve problems rather than punt
546
+ - [ ] Required packages are documented
547
+ - [ ] Error handling is explicit and helpful
548
+ - [ ] No Windows-style paths
@@ -0,0 +1,44 @@
1
+ ---
2
+ name: create-verification-skill
3
+ description: "Generate a project-local verification skill that drives your app the way a user does — any language, framework, or platform. Use for /create-verification-skill, \"make a control skill for this repo\", or when a project has no scripted way to prove UI/CLI/service behavior."
4
+ disable-model-invocation: true
5
+ ---
6
+
7
+ # Create a verification skill
8
+
9
+ Every serious project needs a scripted way to drive the real app and prove behavior: launch it, exercise a feature the way a user would, and capture evidence. This skill generates that as a project-local skill (`.pi/skills/verify-<app>/`) tailored to the repo. You write the generator's output for the next agent, not for a human: it will be read cold, mid-task, by an agent that has never seen the app.
10
+
11
+ ## 1. Interview the repo, not the user
12
+
13
+ Answer these from the codebase and only ask the user what you cannot observe:
14
+
15
+ - **Surface:** what does a user actually touch? A web UI, a CLI/TUI, a desktop app, an API, a mobile app, a library? A repo can have several; pick the primary one and note the rest.
16
+ - **Run:** how does the app start locally? Prefer the repo's own documented dev command (package scripts, Makefile, README quickstart). Note ports, env vars, seed data, auth.
17
+ - **Drive:** how can an agent interact with it programmatically? Existing harnesses first — Playwright/Cypress specs, expect scripts, PTY helpers, curl-able endpoints, a debug port. Only then pick a generic recipe: browser/CDP for web and Electron, a tmux/PTY harness for CLI/TUI, plain HTTP for services.
18
+ - **Observe:** what evidence can be captured? Screenshots, terminal transcripts, response bodies, logs, exit codes, DB state.
19
+ - **Isolate:** can two instances run side by side (ports, data dirs, profiles)? If not, say so in the generated skill: refusing to double-drive a shared instance beats corrupting the user's session.
20
+
21
+ If the checkout doesn't build or start as-is, fix that first (or report it precisely) before generating; a skill written against a broken base teaches wrong steps. When an irrelevant missing asset blocks startup (a static dir the API never serves, a sample config), the generated skill may create it, clearly marked as verification scaffolding, and remove it in cleanup.
22
+
23
+ ## 2. Generate the skill
24
+
25
+ Write `.pi/skills/verify-<app>/SKILL.md` with YAML frontmatter (`name: verify-<app>` and a `description` that names the app, the surface, and when to reach for it — without frontmatter the skill never registers) and these sections, each grounded in what the interview actually found (no placeholders left):
26
+
27
+ - **Launch:** the exact command that starts the app for verification, and how to tell it's ready (a log line, a prompt). Launch must reach a usable state from an empty data dir, including any migrations and seed data. Ready means usable, not just that a process answers. A database health check can pass while its init scripts are still running. Include teardown. For a short-lived CLI or TUI there is no server to keep alive: launch means build the binary (or install deps) once, then start each drive in its own isolated PTY or tmux session.
28
+ - **Doctor:** one read-only check that answers "is this instance worth driving?" — process up, right version/build, port owned by us, auth valid. An agent runs this first whenever anything looks off.
29
+ - **Drive:** the harness recipe with real selectors/commands from this repo, not examples. Prefer stable handles (ARIA labels, data attributes, prompt strings, route paths) over coordinates and tab order.
30
+ - **Evidence:** what to capture for a proof and where it goes. State the proof standards: exercise the real user path, not internal setters or test-only endpoints; capture the action and the resulting state, not just the final screen; verify side effects (files written, rows inserted, messages sent) alongside what's visible; mocks only where a production boundary already isolates the external system. When the safe path is a dry-run or test mode, verify what it actually skips by observing (files, network, git refs) rather than trusting its name: some dry-runs still touch the network or open a browser.
31
+ - **Cleanup:** how to tear down instances the run created. Never kill by process name; kill what you started. Cleanup removes instances and scratch state, never the evidence: proof artifacts survive the teardown, in a location the skill names.
32
+ - **Helpers:** any script the skill ships is executable and its invocation is shown in the skill body. A helper the reader has to reverse-engineer is not a helper.
33
+
34
+ ## 3. Seed the feature map
35
+
36
+ Create `.pi/skills/verify-<app>/features/README.md` plus one file per user-facing feature you can identify (aim for the top 3-5 to start, from routes, commands, menus, or docs). Follow the shape in [`references/feature-map-example/`](references/feature-map-example/), with a README index and one file per feature. Each file answers, from the user's point of view: what the feature is, how to reach it, how to drive it with the harness, and what observable end state proves it works. The four H2s are `Sub-features`, `How to get to it (user POV)`, `Driving it with <harness>`, and `Gotchas`. If the seed data lacks a precondition that a journey needs, the journey reports a failure and the reason goes in that feature's `Gotchas`. Never weaken the journey to make it pass. The map is the repo's maintained verification source; a proof that drives one convenient entry point is incomplete when the map lists others.
37
+
38
+ ## 4. Prove the generated skill before handing it over
39
+
40
+ Run its own instructions end to end once: launch, doctor, drive ONE mapped feature (one is enough; the map exists so later runs can cover the rest), capture evidence, clean up. After cleanup, confirm the evidence still exists at the named location — a cleanup that eats the proof fails this step. Fix what fails, and run the generated cleanup after every failed iteration too, so broken attempts don't strand processes and ports. A generated skill that was never executed is a draft, not a deliverable. If you proved it in a stand-in for the real target (a container in place of a fresh VM, a local stack in place of a remote one), list every setup step the stand-in did that the target will not. Those steps stay unverified until a run on the real target covers them.
41
+
42
+ ## 5. Offer the maintenance loop
43
+
44
+ Point the user at `/maintain-verification-skill` for keeping the map honest as the app changes. Suggest a cadence only if they ask.
@@ -0,0 +1,47 @@
1
+ # Notes verification map
2
+
3
+ This directory is the maintained source for verifying the user-facing behavior of Notes. Read the index before driving the app, then use the matching feature file as the recipe.
4
+
5
+ ## Baseline preconditions
6
+
7
+ - Launch Notes at `http://127.0.0.1:4173` with a disposable data directory.
8
+ - Set `NOTES_DATA_DIR=/tmp/notes-verify-$RUN_ID` so concurrent runs do not share state.
9
+ - Seed notes titled `Quarterly plan` and `Grocery list`.
10
+ - Put `control-notes` and the `notes` CLI on `PATH`.
11
+ - Run `control-notes doctor` and require the expected URL, data directory, and build revision.
12
+ - Never drive an instance that was not started by this verification run.
13
+
14
+ ## Driving conventions
15
+
16
+ - Start every recipe from the baseline state unless its preconditions say otherwise.
17
+ - Prefer ARIA roles and accessible names over CSS selectors or DOM position.
18
+ - Treat every command as literal. Keep quoted names and flags unchanged.
19
+ - Run browser actions through `control-notes browser`.
20
+ - Run terminal actions through `control-notes cli -- <command>`.
21
+ - Restore seeded data after a mutation. Do not remove proof artifacts during cleanup.
22
+
23
+ ## Proof and skip reporting
24
+
25
+ - Capture the user action and the resulting state, not only the final screen.
26
+ - UI proof includes an ARIA snapshot and a screenshot with the app identity visible.
27
+ - CLI proof includes the command, stdout, stderr, and exit code.
28
+ - Mutation proof includes a read-only second view of the stored value.
29
+ - Record the feature ID and entry point used with every artifact.
30
+ - Report an unreachable path with the attempted command and the unmet precondition.
31
+ - Do not report a skipped entry point as verified through a different path.
32
+
33
+ ## Feature entry contract
34
+
35
+ Each feature file starts with an H1 title and one paragraph describing the user-visible behavior. It then uses exactly four H2 sections in this order.
36
+
37
+ 1. `Sub-features` lists short IDs with one line for each behavior.
38
+ 2. `How to get to it (user POV)` lists every user entry point.
39
+ 3. `Driving it with <harness>` starts with `Preconditions:` and uses labeled bullets that pair each user action with an exact command and observable result.
40
+ 4. `Gotchas` lists traps that can waste or invalidate a verification run.
41
+
42
+ Keep implementation details out of the map. Name only user paths, stable handles, required state, commands, and observable proof.
43
+
44
+ ## Features
45
+
46
+ - [Create a note](./create-note.md) covers browser and CLI creation, cancellation, persistence, and cleanup.
47
+ - [Search notes](./search.md) covers toolbar, keyboard, and CLI search with matching, empty, and clear states.
@@ -0,0 +1,39 @@
1
+ # Create a note
2
+
3
+ Create note lets a user save a titled note from the browser or CLI, cancel an unfinished draft, and confirm the saved note from a second user-facing view.
4
+
5
+ ## Sub-features
6
+
7
+ - `create-open` opens a blank editor from each browser entry point.
8
+ - `create-save` persists a title and body.
9
+ - `create-cancel` discards an unfinished browser draft.
10
+ - `create-cli` creates the same note shape from the terminal.
11
+
12
+ ## How to get to it (user POV)
13
+
14
+ - Choose the `New note` button in the browser toolbar.
15
+ - Press `n` in the browser while focus is outside an editable field.
16
+ - Run `notes create --title <title> --body <body>` in a terminal.
17
+
18
+ ## Driving it with control-notes
19
+
20
+ Preconditions:
21
+
22
+ - Notes is healthy at `http://127.0.0.1:4173`.
23
+ - No note is titled `Release checklist`.
24
+ - `control-notes doctor` reports the expected URL and disposable data directory.
25
+
26
+ - **Open editor.** Choose `New note`. Run `control-notes browser click --role button --name "New note"`. A form named `Note editor` appears with focus in the `Title` textbox.
27
+ - **Enter content.** Type the title and body. Run `control-notes browser fill --role textbox --name "Title" --value "Release checklist"` and `control-notes browser fill --role textbox --name "Body" --value "Tag and publish"`. The `Save note` button becomes enabled.
28
+ - **Save note.** Choose `Save note`. Run `control-notes browser click --role button --name "Save note"`. A status named `Note saved` appears and the heading reads `Release checklist`.
29
+ - **Confirm persistence.** Return to the note list and reopen the note. Run `control-notes browser click --role link --name "All notes"` and `control-notes browser click --role link --name "Release checklist"`. The editor shows both saved values.
30
+ - **Cancel draft.** Open a new note, enter `Discard me`, and choose `Cancel`. Run `control-notes browser click --role button --name "New note"`, `control-notes browser fill --role textbox --name "Title" --value "Discard me"`, and `control-notes browser click --role button --name "Cancel"`. The note list returns and has no `Discard me` link.
31
+ - **CLI entry.** Create a second note. Run `control-notes cli -- notes create --title "CLI note" --body "Created from terminal" --format json`. Exit code `0` and stdout contain the new note ID and title.
32
+ - **Proof.** Reopen both saved notes from `All notes`. Run `control-notes browser snapshot --aria --path artifacts/create-note/list.aria.txt` and `control-notes browser screenshot --path artifacts/create-note/list.png`. The artifacts show `Release checklist` and `CLI note`.
33
+
34
+ ## Gotchas
35
+
36
+ - Pressing `n` while a textbox has focus types the character instead of opening a new editor.
37
+ - Titles are trimmed on save. Assert the rendered title, not the draft input value.
38
+ - A save status alone is insufficient proof. Reopen the note from the list.
39
+ - Remove `Release checklist` and `CLI note` during fixture cleanup, but retain their proof artifacts.