pi-pstack-native 0.0.0-stage → 1.0.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (1318) hide show
  1. package/ACCEPTANCE.md +40 -0
  2. package/CHANGELOG.md +75 -0
  3. package/CONTRIBUTING.md +29 -0
  4. package/IMPLEMENTATION.md +38 -0
  5. package/INSTALLATION-CHECK.md +13 -0
  6. package/LICENSE +21 -0
  7. package/NOTICE.md +14 -0
  8. package/PARITY.json +133 -0
  9. package/PARITY.md +156 -0
  10. package/PRD.md +2131 -0
  11. package/README.md +103 -2
  12. package/README.zh-CN.md +137 -0
  13. package/REVIEW.md +24 -0
  14. package/SECURITY.md +17 -0
  15. package/SEMANTICS.json +2852 -0
  16. package/UPSTREAM.json +32 -0
  17. package/agents/architect.md +3 -0
  18. package/agents/comment-sicko.md +3 -0
  19. package/agents/integrator.md +6 -0
  20. package/agents/poteto-agent.md +3 -0
  21. package/agents/reviewer.md +3 -0
  22. package/agents/scout.md +3 -0
  23. package/agents/synthesizer.md +3 -0
  24. package/agents/verifier.md +3 -0
  25. package/agents/worker.md +3 -0
  26. package/benchmarks/cases.json +354 -0
  27. package/dist/agent/candidates.d.ts +13 -0
  28. package/dist/agent/candidates.js +50 -0
  29. package/dist/agent/grep-worker.mjs +46 -0
  30. package/dist/agent/host.d.ts +47 -0
  31. package/dist/agent/host.js +480 -0
  32. package/dist/agent/isolation.d.ts +3 -0
  33. package/dist/agent/isolation.js +12 -0
  34. package/dist/agent/outcome.d.ts +8 -0
  35. package/dist/agent/outcome.js +15 -0
  36. package/dist/agent/profiles.d.ts +5 -0
  37. package/dist/agent/profiles.js +128 -0
  38. package/dist/agent/read-only-tools.d.ts +1 -0
  39. package/dist/agent/read-only-tools.js +150 -0
  40. package/dist/agent/resources.d.ts +15 -0
  41. package/dist/agent/resources.js +77 -0
  42. package/dist/api.d.ts +18 -0
  43. package/dist/api.js +18 -0
  44. package/dist/artifacts/fingerprint.d.ts +29 -0
  45. package/dist/artifacts/fingerprint.js +75 -0
  46. package/dist/compatibility/adapter.d.ts +66 -0
  47. package/dist/compatibility/adapter.js +110 -0
  48. package/dist/compatibility/source.d.ts +2 -0
  49. package/dist/compatibility/source.js +38 -0
  50. package/dist/compatibility/tool.d.ts +2 -0
  51. package/dist/compatibility/tool.js +59 -0
  52. package/dist/context/snapshot.d.ts +37 -0
  53. package/dist/context/snapshot.js +12 -0
  54. package/dist/contracts/brief.d.ts +19 -0
  55. package/dist/contracts/brief.js +198 -0
  56. package/dist/contracts/types.d.ts +192 -0
  57. package/dist/contracts/types.js +1 -0
  58. package/dist/delivery/frontier.d.ts +61 -0
  59. package/dist/delivery/frontier.js +123 -0
  60. package/dist/delivery/git.d.ts +2 -0
  61. package/dist/delivery/git.js +12 -0
  62. package/dist/delivery/prepare.d.ts +18 -0
  63. package/dist/delivery/prepare.js +30 -0
  64. package/dist/delivery/provider.d.ts +31 -0
  65. package/dist/delivery/provider.js +42 -0
  66. package/dist/delivery/review-threads.d.ts +18 -0
  67. package/dist/delivery/review-threads.js +39 -0
  68. package/dist/delivery/stack.d.ts +32 -0
  69. package/dist/delivery/stack.js +91 -0
  70. package/dist/extension.d.ts +2 -0
  71. package/dist/extension.js +320 -0
  72. package/dist/loop/scheduler.d.ts +53 -0
  73. package/dist/loop/scheduler.js +334 -0
  74. package/dist/loop/store.d.ts +16 -0
  75. package/dist/loop/store.js +66 -0
  76. package/dist/models/router.d.ts +25 -0
  77. package/dist/models/router.js +183 -0
  78. package/dist/program/coordinator.d.ts +75 -0
  79. package/dist/program/coordinator.js +169 -0
  80. package/dist/program/dispatch.d.ts +20 -0
  81. package/dist/program/dispatch.js +82 -0
  82. package/dist/runner/cli.mjs +46 -0
  83. package/dist/runner/lease.d.ts +10 -0
  84. package/dist/runner/lease.js +24 -0
  85. package/dist/runner/service.d.ts +8 -0
  86. package/dist/runner/service.js +66 -0
  87. package/dist/runtime/checkout.d.ts +3 -0
  88. package/dist/runtime/checkout.js +20 -0
  89. package/dist/runtime/config.d.ts +7 -0
  90. package/dist/runtime/config.js +46 -0
  91. package/dist/runtime/errors.d.ts +2 -0
  92. package/dist/runtime/errors.js +10 -0
  93. package/dist/runtime/home.d.ts +11 -0
  94. package/dist/runtime/home.js +15 -0
  95. package/dist/runtime/lock.d.ts +12 -0
  96. package/dist/runtime/lock.js +123 -0
  97. package/dist/runtime/migrate.d.ts +9 -0
  98. package/dist/runtime/migrate.js +44 -0
  99. package/dist/runtime/ownership.d.ts +4 -0
  100. package/dist/runtime/ownership.js +6 -0
  101. package/dist/runtime/protocol.d.ts +24 -0
  102. package/dist/runtime/protocol.js +35 -0
  103. package/dist/runtime/redact.d.ts +3 -0
  104. package/dist/runtime/redact.js +32 -0
  105. package/dist/runtime/store.d.ts +6 -0
  106. package/dist/runtime/store.js +75 -0
  107. package/dist/runtime/transaction.d.ts +4 -0
  108. package/dist/runtime/transaction.js +44 -0
  109. package/dist/runtime/types.d.ts +202 -0
  110. package/dist/runtime/types.js +1 -0
  111. package/dist/runtime/upstream.d.ts +2 -0
  112. package/dist/runtime/upstream.js +8 -0
  113. package/dist/setup/command.d.ts +2 -0
  114. package/dist/setup/command.js +423 -0
  115. package/dist/statechart/backends/cfg.js +31 -0
  116. package/dist/statechart/backends/mermaid.js +223 -0
  117. package/dist/statechart/backends/plain-text.js +68 -0
  118. package/dist/statechart/backends/report.js +123 -0
  119. package/dist/statechart/frontends/config.js +258 -0
  120. package/dist/statechart/frontends/dot.js +68 -0
  121. package/dist/statechart/frontends/marks.js +102 -0
  122. package/dist/statechart/frontends/messages.js +53 -0
  123. package/dist/statechart/frontends/spec.js +89 -0
  124. package/dist/statechart/frontends/trace.js +24 -0
  125. package/dist/statechart/frontends/value.js +181 -0
  126. package/dist/statechart/frontends/verdict.js +38 -0
  127. package/dist/statechart/frontends/view.js +107 -0
  128. package/dist/statechart/ir.js +317 -0
  129. package/dist/statechart/passes/annotate.js +102 -0
  130. package/dist/statechart/passes/label.js +217 -0
  131. package/dist/statechart/passes/lift.js +89 -0
  132. package/dist/statechart/passes/loop-check.js +57 -0
  133. package/dist/statechart/passes/paths.js +50 -0
  134. package/dist/statechart/passes/reach.js +134 -0
  135. package/dist/statechart/passes/region-check.js +94 -0
  136. package/dist/statechart/passes/regions.js +296 -0
  137. package/dist/statechart/pipeline.js +63 -0
  138. package/dist/statechart/run.js +432 -0
  139. package/dist/statechart/statechart.js +149 -0
  140. package/dist/statechart/worker.js +40 -0
  141. package/dist/telemetry/metrics.d.ts +13 -0
  142. package/dist/telemetry/metrics.js +11 -0
  143. package/dist/templates/build.d.ts +35 -0
  144. package/dist/templates/build.js +172 -0
  145. package/dist/tools/agents.d.ts +3 -0
  146. package/dist/tools/agents.js +74 -0
  147. package/dist/tools/graph.d.ts +3 -0
  148. package/dist/tools/graph.js +35 -0
  149. package/dist/tools/protocol.d.ts +3 -0
  150. package/dist/tools/protocol.js +77 -0
  151. package/dist/tools/schema.d.ts +7 -0
  152. package/dist/tools/schema.js +6 -0
  153. package/dist/tools/workflow.d.ts +3 -0
  154. package/dist/tools/workflow.js +137 -0
  155. package/dist/tools/worktrees.d.ts +3 -0
  156. package/dist/tools/worktrees.js +35 -0
  157. package/dist/verification/process.mjs +9 -0
  158. package/dist/verification/runner.d.ts +23 -0
  159. package/dist/verification/runner.js +259 -0
  160. package/dist/workflow/artifacts.d.ts +10 -0
  161. package/dist/workflow/artifacts.js +102 -0
  162. package/dist/workflow/engine.d.ts +58 -0
  163. package/dist/workflow/engine.js +725 -0
  164. package/dist/workflow/graph.d.ts +10 -0
  165. package/dist/workflow/graph.js +60 -0
  166. package/dist/worktree/manager.d.ts +20 -0
  167. package/dist/worktree/manager.js +68 -0
  168. package/dist/worktree/snapshot.d.ts +2 -0
  169. package/dist/worktree/snapshot.js +43 -0
  170. package/docs/DEPENDENCIES.md +35 -0
  171. package/docs/LIVE-TEST-PLAN.zh-CN.md +161 -0
  172. package/docs/ML-WORKFLOWS.zh-CN.md +49 -0
  173. package/docs/PI-SEMANTIC-ADAPTER.md +34 -0
  174. package/docs/PR-41-ALIGNMENT-PLAN.zh-CN.md +30 -0
  175. package/docs/PR-PROTOCOL.md +48 -0
  176. package/docs/PUBLISHING.md +61 -0
  177. package/docs/README.md +30 -0
  178. package/docs/REFERENCE.md +357 -0
  179. package/docs/SEMANTIC-COMPATIBILITY.md +135 -0
  180. package/docs/STATECHART.md +13 -0
  181. package/docs/UPSTREAM-0.15.17.md +51 -0
  182. package/docs/VALIDATION.md +59 -0
  183. package/docs/WINDOWS-MODEL-TEST.zh-CN.md +27 -0
  184. package/docs/evidence/live-github-5deb723.json +44 -0
  185. package/docs/evidence/semantic-smoke-5deb723.json +49 -0
  186. package/docs/parity.test.mjs +84 -0
  187. package/docs/registry-records-0.15.32.json +2161 -0
  188. package/docs/registry-records-0.15.36.json +2161 -0
  189. package/docs/stacked-pr-body.md +23 -0
  190. package/docs/upstream-dispositions-0.15.36.json +2408 -0
  191. package/docs/upstream-inventory-0.15.36.json +15754 -0
  192. package/docs/upstream-provenance-0.15.17.json +62 -0
  193. package/docs/upstream-provenance-0.15.32.json +11 -0
  194. package/docs/upstream-provenance-0.15.36.json +11 -0
  195. package/docs/upstream-sync/IMPLEMENTATION.md +114 -0
  196. package/docs/upstream-sync/PORT-0.15.23.md +142 -0
  197. package/docs/upstream-sync/PR-PORT-0.15.23.md +28 -0
  198. package/docs/upstream-sync/VALIDATION.md +76 -0
  199. package/docs/upstream-sync/candidate-0.15.23.json +632 -0
  200. package/docs/upstream-sync/reports/978ca6e9c0e0_837067b75aa2-e928d281378110a3.json +2166 -0
  201. package/docs/upstream-sync/reports/978ca6e9c0e0_837067b75aa2-e928d281378110a3.md +440 -0
  202. package/docs/upstream-sync/reports/978ca6e9c0e0_837067b75aa2.json +2161 -0
  203. package/docs/upstream-sync/reports/978ca6e9c0e0_837067b75aa2.md +440 -0
  204. package/docs/upstream-sync/tasks/978ca6e9c0e0_837067b75aa2-e928d281378110a3.md +440 -0
  205. package/docs/upstream-sync/tasks/978ca6e9c0e0_837067b75aa2.md +440 -0
  206. package/docs/upstream-sync-0.15.17.json +521 -0
  207. package/docs/upstream-sync-0.15.32.json +106 -0
  208. package/docs/upstream-sync-0.15.36.json +106 -0
  209. package/docs/upstream-target-0.15.36.json +3456 -0
  210. package/docs/upstream-upgrade-0.15.32.json +12140 -0
  211. package/docs/upstream-upgrade-0.15.32.md +23 -0
  212. package/docs/upstream-upgrade-0.15.36.md +7 -0
  213. package/docs/validate-pr.mjs +74 -0
  214. package/examples/README.md +45 -0
  215. package/examples/strict-brief.json +14 -0
  216. package/examples/verification-policy.json +8 -0
  217. package/package.json +152 -4
  218. package/scripts/benchmark.mjs +39 -0
  219. package/scripts/build-statechart.mjs +30 -0
  220. package/scripts/build.mjs +11 -0
  221. package/scripts/check-benchmark.mjs +27 -0
  222. package/scripts/check-contracts.mjs +15 -0
  223. package/scripts/check-e2e.mjs +86 -0
  224. package/scripts/check-inventory.mjs +24 -0
  225. package/scripts/check-package.mjs +17 -0
  226. package/scripts/check-parity.mjs +4 -0
  227. package/scripts/check-plan.mjs +206 -0
  228. package/scripts/check-records.mjs +35 -0
  229. package/scripts/check-semantics.mjs +7 -0
  230. package/scripts/check-statechart.mjs +13 -0
  231. package/scripts/check-syntax.mjs +9 -0
  232. package/scripts/check-windows-build.mjs +12 -0
  233. package/scripts/e2e-live.mjs +58 -0
  234. package/scripts/e2e-reporter.mjs +17 -0
  235. package/scripts/review.mjs +26 -0
  236. package/scripts/semantics/core.mjs +101 -0
  237. package/scripts/semantics/generate.mjs +47 -0
  238. package/scripts/semantics/real-pi-smoke.mjs +46 -0
  239. package/scripts/smoke-host.mjs +10 -0
  240. package/scripts/smoke-install.mjs +37 -0
  241. package/scripts/sync-upstream.mjs +4 -0
  242. package/scripts/upstream/cli.mjs +140 -0
  243. package/scripts/upstream/core.mjs +178 -0
  244. package/scripts/upstream/core.test.mjs +137 -0
  245. package/scripts/upstream/inventory.mjs +229 -0
  246. package/scripts/upstream/inventory.test.mjs +417 -0
  247. package/scripts/upstream/notify.cjs +17 -0
  248. package/scripts/upstream/notify.test.mjs +12 -0
  249. package/scripts/upstream/parity.mjs +45 -0
  250. package/scripts/upstream/playbook-contract.test.mjs +80 -0
  251. package/scripts/upstream/playbooks.mjs +143 -0
  252. package/scripts/upstream/records.mjs +113 -0
  253. package/scripts/upstream/records.test.mjs +116 -0
  254. package/scripts/upstream/report.d.ts +30 -0
  255. package/skills/architect/SKILL.md +133 -0
  256. package/skills/architect/references/design-red-flags.md +57 -0
  257. package/skills/architect/references/rationale-template.md +35 -0
  258. package/skills/architect/references/runner-prompt.md +20 -0
  259. package/skills/arena/SKILL.md +102 -0
  260. package/skills/automate-me/SKILL.md +158 -0
  261. package/skills/benchmark-checklist/SKILL.md +89 -0
  262. package/skills/blast-radius/SKILL.md +100 -0
  263. package/skills/bro/SKILL.md +57 -0
  264. package/skills/correct/SKILL.md +82 -0
  265. package/skills/create-formal-verification-skill/SKILL.md +93 -0
  266. package/skills/create-verification-skill/SKILL.md +94 -0
  267. package/skills/create-verification-skill/references/feature-map-example/README.md +47 -0
  268. package/skills/create-verification-skill/references/feature-map-example/create-note.md +39 -0
  269. package/skills/create-verification-skill/references/feature-map-example/search.md +45 -0
  270. package/skills/figure-it-out/SKILL.md +102 -0
  271. package/skills/how/SKILL.md +86 -0
  272. package/skills/how/references/explainer-prompt.md +55 -0
  273. package/skills/how/references/explorer-prompt.md +35 -0
  274. package/skills/in-your-own-words/SKILL.md +57 -0
  275. package/skills/interrogate/SKILL.md +85 -0
  276. package/skills/ketchup/SKILL.md +93 -0
  277. package/skills/ketchup-video/SKILL.md +79 -0
  278. package/skills/maintain-formal-verification-skill/SKILL.md +108 -0
  279. package/skills/maintain-verification-skill/SKILL.md +89 -0
  280. package/skills/make-bot-ui/SKILL.md +8 -0
  281. package/skills/ml-development/SKILL.md +38 -0
  282. package/skills/ml-development/playbooks/01-scope.md +14 -0
  283. package/skills/ml-development/playbooks/02-data.md +14 -0
  284. package/skills/ml-development/playbooks/03-baseline.md +14 -0
  285. package/skills/ml-development/playbooks/04-experiments.md +14 -0
  286. package/skills/ml-development/playbooks/05-evaluation.md +14 -0
  287. package/skills/ml-development/playbooks/06-reproducibility.md +13 -0
  288. package/skills/ml-development/references/experiment-matrix.md +11 -0
  289. package/skills/ml-development/references/run-record.md +19 -0
  290. package/skills/no-comments/SKILL.md +74 -0
  291. package/skills/poteto-help/SKILL.md +217 -0
  292. package/skills/poteto-help/references/prompting.md +51 -0
  293. package/skills/poteto-help/references/recipes.md +51 -0
  294. package/skills/poteto-mode/SKILL.md +214 -0
  295. package/skills/poteto-mode/playbooks/authoring-a-skill.md +64 -0
  296. package/skills/poteto-mode/playbooks/autonomous-run.md +65 -0
  297. package/skills/poteto-mode/playbooks/autopilot-full.md +77 -0
  298. package/skills/poteto-mode/playbooks/autopilot-stack.md +60 -0
  299. package/skills/poteto-mode/playbooks/babysit.md +75 -0
  300. package/skills/poteto-mode/playbooks/bug-fix.md +67 -0
  301. package/skills/poteto-mode/playbooks/eval.md +77 -0
  302. package/skills/poteto-mode/playbooks/feature.md +73 -0
  303. package/skills/poteto-mode/playbooks/hillclimb.md +73 -0
  304. package/skills/poteto-mode/playbooks/investigation.md +66 -0
  305. package/skills/poteto-mode/playbooks/multi-phase-plan.md +207 -0
  306. package/skills/poteto-mode/playbooks/opening-a-pr.md +86 -0
  307. package/skills/poteto-mode/playbooks/orchestrate.md +77 -0
  308. package/skills/poteto-mode/playbooks/pause-safely.md +62 -0
  309. package/skills/poteto-mode/playbooks/perf-issue.md +77 -0
  310. package/skills/poteto-mode/playbooks/prototype.md +66 -0
  311. package/skills/poteto-mode/playbooks/refactoring.md +68 -0
  312. package/skills/poteto-mode/playbooks/runtime-forensics.md +63 -0
  313. package/skills/poteto-mode/playbooks/session-pickup.md +63 -0
  314. package/skills/poteto-mode/playbooks/shipping.md +64 -0
  315. package/skills/poteto-mode/playbooks/trace-forensics.md +66 -0
  316. package/skills/poteto-mode/playbooks/visual-parity.md +63 -0
  317. package/skills/poteto-mode/playbooks/worktree-cleanup.md +64 -0
  318. package/skills/poteto-mode/references/bugbot-triage.md +142 -0
  319. package/skills/poteto-mode/references/runtime-mapping.md +10 -0
  320. package/skills/principle-attack-the-premise/SKILL.md +71 -0
  321. package/skills/principle-boundary-discipline/SKILL.md +84 -0
  322. package/skills/principle-build-the-lever/SKILL.md +73 -0
  323. package/skills/principle-encode-lessons-in-structure/SKILL.md +61 -0
  324. package/skills/principle-exhaust-the-design-space/SKILL.md +59 -0
  325. package/skills/principle-experience-first/SKILL.md +69 -0
  326. package/skills/principle-explain-the-number/SKILL.md +68 -0
  327. package/skills/principle-fix-root-causes/SKILL.md +71 -0
  328. package/skills/principle-foundational-thinking/SKILL.md +71 -0
  329. package/skills/principle-guard-the-context-window/SKILL.md +62 -0
  330. package/skills/principle-laziness-protocol/SKILL.md +60 -0
  331. package/skills/principle-make-operations-idempotent/SKILL.md +72 -0
  332. package/skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +64 -0
  333. package/skills/principle-minimize-reader-load/SKILL.md +68 -0
  334. package/skills/principle-model-the-domain/SKILL.md +74 -0
  335. package/skills/principle-never-block-on-the-human/SKILL.md +65 -0
  336. package/skills/principle-outcome-oriented-execution/SKILL.md +71 -0
  337. package/skills/principle-prove-it-works/SKILL.md +72 -0
  338. package/skills/principle-redesign-from-first-principles/SKILL.md +66 -0
  339. package/skills/principle-separate-before-serializing-shared-state/SKILL.md +66 -0
  340. package/skills/principle-sequence-verifiable-units/SKILL.md +67 -0
  341. package/skills/principle-subtract-before-you-add/SKILL.md +68 -0
  342. package/skills/principle-test-behavior-not-implementation/SKILL.md +70 -0
  343. package/skills/principle-type-system-discipline/SKILL.md +63 -0
  344. package/skills/pstack-runtime/SKILL.md +8 -0
  345. package/skills/recall/SKILL.md +85 -0
  346. package/skills/reflect/SKILL.md +119 -0
  347. package/skills/reflect/references/divergent-reviewer.md +38 -0
  348. package/skills/reflect/references/judgment-reviewer.md +37 -0
  349. package/skills/reflect/references/synthesizer.md +56 -0
  350. package/skills/reflect/references/tooling-reviewer.md +48 -0
  351. package/skills/setup-pstack/SKILL.md +132 -0
  352. package/skills/sharpen/SKILL.md +66 -0
  353. package/skills/show-me-your-work/SKILL.md +132 -0
  354. package/skills/statechart/SKILL.md +132 -0
  355. package/skills/statechart/references/render.md +93 -0
  356. package/skills/statechart/scripts/backends/cfg.ts +33 -0
  357. package/skills/statechart/scripts/backends/mermaid.ts +201 -0
  358. package/skills/statechart/scripts/backends/plain-text.ts +72 -0
  359. package/skills/statechart/scripts/backends/report.ts +177 -0
  360. package/skills/statechart/scripts/bug-states.mjs +81 -0
  361. package/skills/statechart/scripts/chart-edges.mjs +68 -0
  362. package/skills/statechart/scripts/chart-parts.mjs +21 -0
  363. package/skills/statechart/scripts/chart-to-tla.mjs +205 -0
  364. package/skills/statechart/scripts/compare-charts.mjs +74 -0
  365. package/skills/statechart/scripts/frontends/config.ts +276 -0
  366. package/skills/statechart/scripts/frontends/dot.ts +74 -0
  367. package/skills/statechart/scripts/frontends/marks.ts +93 -0
  368. package/skills/statechart/scripts/frontends/messages.ts +52 -0
  369. package/skills/statechart/scripts/frontends/spec.ts +114 -0
  370. package/skills/statechart/scripts/frontends/trace.ts +24 -0
  371. package/skills/statechart/scripts/frontends/value.ts +166 -0
  372. package/skills/statechart/scripts/frontends/verdict.ts +40 -0
  373. package/skills/statechart/scripts/frontends/view.ts +119 -0
  374. package/skills/statechart/scripts/ir.ts +547 -0
  375. package/skills/statechart/scripts/lib.mjs +970 -0
  376. package/skills/statechart/scripts/map-view.mjs +92 -0
  377. package/skills/statechart/scripts/package.json +11 -0
  378. package/skills/statechart/scripts/passes/annotate.ts +128 -0
  379. package/skills/statechart/scripts/passes/label.ts +269 -0
  380. package/skills/statechart/scripts/passes/lift.ts +85 -0
  381. package/skills/statechart/scripts/passes/loop-check.ts +68 -0
  382. package/skills/statechart/scripts/passes/paths.ts +60 -0
  383. package/skills/statechart/scripts/passes/reach.ts +135 -0
  384. package/skills/statechart/scripts/passes/region-check.ts +97 -0
  385. package/skills/statechart/scripts/passes/regions.ts +295 -0
  386. package/skills/statechart/scripts/pipeline.ts +76 -0
  387. package/skills/statechart/scripts/property-loop.mjs +60 -0
  388. package/skills/statechart/scripts/read-check.mjs +79 -0
  389. package/skills/statechart/scripts/regions-chart.mjs +307 -0
  390. package/skills/statechart/scripts/render.mjs +531 -0
  391. package/skills/statechart/scripts/rule-book.mjs +84 -0
  392. package/skills/statechart/scripts/run.ts +481 -0
  393. package/skills/statechart/scripts/second-replay.mjs +122 -0
  394. package/skills/statechart/scripts/snapshot.mjs +74 -0
  395. package/skills/statechart/scripts/spec-text.mjs +126 -0
  396. package/skills/statechart/scripts/statechart +29 -0
  397. package/skills/statechart/scripts/statechart-help.mjs +350 -0
  398. package/skills/statechart/scripts/statechart.mjs +903 -0
  399. package/skills/statechart/scripts/statechart.ts +164 -0
  400. package/skills/statechart/scripts/test/ConfigOracle.java +63 -0
  401. package/skills/statechart/scripts/test/band.mmd +15 -0
  402. package/skills/statechart/scripts/test/chart.test.ts +1210 -0
  403. package/skills/statechart/scripts/test/charts/Braces.mmd +7 -0
  404. package/skills/statechart/scripts/test/charts/Escapes.mmd +11 -0
  405. package/skills/statechart/scripts/test/charts/Phases.mmd +29 -0
  406. package/skills/statechart/scripts/test/cli.test.ts +1314 -0
  407. package/skills/statechart/scripts/test/config-fuzz.test.ts +263 -0
  408. package/skills/statechart/scripts/test/corpus/Counter/ChartRun.out +57 -0
  409. package/skills/statechart/scripts/test/corpus/Counter/Counter.cfg +3 -0
  410. package/skills/statechart/scripts/test/corpus/Counter/Counter.tla +10 -0
  411. package/skills/statechart/scripts/test/corpus/Counter/chart.mmd +9 -0
  412. package/skills/statechart/scripts/test/corpus/Counter/graph.dot +16 -0
  413. package/skills/statechart/scripts/test/corpus/Counter/report.md +7 -0
  414. package/skills/statechart/scripts/test/corpus/Counter/sany.out +2 -0
  415. package/skills/statechart/scripts/test/corpus/Counter/verdict-1.out +49 -0
  416. package/skills/statechart/scripts/test/corpus/CounterAction/ChartRun.out +60 -0
  417. package/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg +4 -0
  418. package/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.tla +22 -0
  419. package/skills/statechart/scripts/test/corpus/CounterAction/chart.mmd +26 -0
  420. package/skills/statechart/scripts/test/corpus/CounterAction/graph.dot +19 -0
  421. package/skills/statechart/scripts/test/corpus/CounterAction/report.md +20 -0
  422. package/skills/statechart/scripts/test/corpus/CounterAction/sany.out +2 -0
  423. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.exit +1 -0
  424. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.out +56 -0
  425. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.exit +1 -0
  426. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.out +82 -0
  427. package/skills/statechart/scripts/test/corpus/CounterAction/verdict-3.out +57 -0
  428. package/skills/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out +59 -0
  429. package/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg +3 -0
  430. package/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla +11 -0
  431. package/skills/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd +22 -0
  432. package/skills/statechart/scripts/test/corpus/CounterDeadlock/graph.dot +16 -0
  433. package/skills/statechart/scripts/test/corpus/CounterDeadlock/report.md +17 -0
  434. package/skills/statechart/scripts/test/corpus/CounterDeadlock/sany.out +2 -0
  435. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit +1 -0
  436. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out +56 -0
  437. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit +1 -0
  438. package/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out +77 -0
  439. package/skills/statechart/scripts/test/corpus/CounterFan/ChartRun.out +69 -0
  440. package/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg +2 -0
  441. package/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.tla +11 -0
  442. package/skills/statechart/scripts/test/corpus/CounterFan/chart.mmd +85 -0
  443. package/skills/statechart/scripts/test/corpus/CounterFan/graph.dot +70 -0
  444. package/skills/statechart/scripts/test/corpus/CounterFan/report.md +12 -0
  445. package/skills/statechart/scripts/test/corpus/CounterFan/sany.out +2 -0
  446. package/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.exit +1 -0
  447. package/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.out +67 -0
  448. package/skills/statechart/scripts/test/corpus/CounterFan/verdict-2.out +57 -0
  449. package/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit +1 -0
  450. package/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.out +85 -0
  451. package/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg +6 -0
  452. package/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla +13 -0
  453. package/skills/statechart/scripts/test/corpus/CounterGuard/chart.mmd +5 -0
  454. package/skills/statechart/scripts/test/corpus/CounterGuard/graph.dot +10 -0
  455. package/skills/statechart/scripts/test/corpus/CounterGuard/report.md +31 -0
  456. package/skills/statechart/scripts/test/corpus/CounterGuard/sany.out +2 -0
  457. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit +1 -0
  458. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.out +64 -0
  459. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit +1 -0
  460. package/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.out +77 -0
  461. package/skills/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out +55 -0
  462. package/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg +3 -0
  463. package/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla +10 -0
  464. package/skills/statechart/scripts/test/corpus/CounterInitPast/chart.mmd +12 -0
  465. package/skills/statechart/scripts/test/corpus/CounterInitPast/graph.dot +6 -0
  466. package/skills/statechart/scripts/test/corpus/CounterInitPast/report.md +12 -0
  467. package/skills/statechart/scripts/test/corpus/CounterInitPast/sany.out +2 -0
  468. package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit +1 -0
  469. package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out +33 -0
  470. package/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out +54 -0
  471. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out +54 -0
  472. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg +3 -0
  473. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla +10 -0
  474. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd +1 -0
  475. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot +6 -0
  476. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/report.md +7 -0
  477. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out +2 -0
  478. package/skills/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out +46 -0
  479. package/skills/statechart/scripts/test/corpus/CounterInstance/ChartRun.out +59 -0
  480. package/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg +2 -0
  481. package/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla +10 -0
  482. package/skills/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla +6 -0
  483. package/skills/statechart/scripts/test/corpus/CounterInstance/chart.mmd +17 -0
  484. package/skills/statechart/scripts/test/corpus/CounterInstance/graph.dot +15 -0
  485. package/skills/statechart/scripts/test/corpus/CounterInstance/report.md +14 -0
  486. package/skills/statechart/scripts/test/corpus/CounterInstance/sany.out +3 -0
  487. package/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit +1 -0
  488. package/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.out +78 -0
  489. package/skills/statechart/scripts/test/corpus/CounterJump/ChartRun.out +59 -0
  490. package/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg +3 -0
  491. package/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.tla +19 -0
  492. package/skills/statechart/scripts/test/corpus/CounterJump/chart.mmd +26 -0
  493. package/skills/statechart/scripts/test/corpus/CounterJump/graph.dot +22 -0
  494. package/skills/statechart/scripts/test/corpus/CounterJump/report.md +12 -0
  495. package/skills/statechart/scripts/test/corpus/CounterJump/sany.out +2 -0
  496. package/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.exit +1 -0
  497. package/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.out +58 -0
  498. package/skills/statechart/scripts/test/corpus/CounterJump/verdict-2.out +57 -0
  499. package/skills/statechart/scripts/test/corpus/CounterLoop/ChartRun.out +57 -0
  500. package/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg +2 -0
  501. package/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla +11 -0
  502. package/skills/statechart/scripts/test/corpus/CounterLoop/chart.mmd +17 -0
  503. package/skills/statechart/scripts/test/corpus/CounterLoop/graph.dot +15 -0
  504. package/skills/statechart/scripts/test/corpus/CounterLoop/report.md +14 -0
  505. package/skills/statechart/scripts/test/corpus/CounterLoop/sany.out +2 -0
  506. package/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit +1 -0
  507. package/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.out +76 -0
  508. package/skills/statechart/scripts/test/corpus/CounterOrder/ChartRun.out +59 -0
  509. package/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg +3 -0
  510. package/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla +11 -0
  511. package/skills/statechart/scripts/test/corpus/CounterOrder/chart.mmd +19 -0
  512. package/skills/statechart/scripts/test/corpus/CounterOrder/graph.dot +10 -0
  513. package/skills/statechart/scripts/test/corpus/CounterOrder/report.md +15 -0
  514. package/skills/statechart/scripts/test/corpus/CounterOrder/sany.out +2 -0
  515. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit +1 -0
  516. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.out +56 -0
  517. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit +1 -0
  518. package/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.out +67 -0
  519. package/skills/statechart/scripts/test/corpus/CounterRules/ChartRun.out +62 -0
  520. package/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg +6 -0
  521. package/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.tla +24 -0
  522. package/skills/statechart/scripts/test/corpus/CounterRules/Moves.tla +5 -0
  523. package/skills/statechart/scripts/test/corpus/CounterRules/chart.mmd +22 -0
  524. package/skills/statechart/scripts/test/corpus/CounterRules/graph.dot +10 -0
  525. package/skills/statechart/scripts/test/corpus/CounterRules/report.md +23 -0
  526. package/skills/statechart/scripts/test/corpus/CounterRules/sany.out +3 -0
  527. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.exit +1 -0
  528. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.out +58 -0
  529. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.exit +1 -0
  530. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.out +66 -0
  531. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.exit +1 -0
  532. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.out +74 -0
  533. package/skills/statechart/scripts/test/corpus/CounterRules/verdict-4.out +59 -0
  534. package/skills/statechart/scripts/test/corpus/CounterStart/ChartRun.out +58 -0
  535. package/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg +3 -0
  536. package/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.tla +15 -0
  537. package/skills/statechart/scripts/test/corpus/CounterStart/chart.mmd +18 -0
  538. package/skills/statechart/scripts/test/corpus/CounterStart/graph.dot +13 -0
  539. package/skills/statechart/scripts/test/corpus/CounterStart/report.md +11 -0
  540. package/skills/statechart/scripts/test/corpus/CounterStart/sany.out +2 -0
  541. package/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.exit +1 -0
  542. package/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.out +33 -0
  543. package/skills/statechart/scripts/test/corpus/CounterStart/verdict-2.out +57 -0
  544. package/skills/statechart/scripts/test/corpus/CounterStop/ChartRun.out +57 -0
  545. package/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg +3 -0
  546. package/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.tla +15 -0
  547. package/skills/statechart/scripts/test/corpus/CounterStop/chart.mmd +7 -0
  548. package/skills/statechart/scripts/test/corpus/CounterStop/graph.dot +13 -0
  549. package/skills/statechart/scripts/test/corpus/CounterStop/report.md +6 -0
  550. package/skills/statechart/scripts/test/corpus/CounterStop/sany.out +2 -0
  551. package/skills/statechart/scripts/test/corpus/CounterStop/verdict-1.out +49 -0
  552. package/skills/statechart/scripts/test/corpus/CounterTie/ChartRun.out +61 -0
  553. package/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg +4 -0
  554. package/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.tla +14 -0
  555. package/skills/statechart/scripts/test/corpus/CounterTie/chart.mmd +30 -0
  556. package/skills/statechart/scripts/test/corpus/CounterTie/graph.dot +19 -0
  557. package/skills/statechart/scripts/test/corpus/CounterTie/report.md +27 -0
  558. package/skills/statechart/scripts/test/corpus/CounterTie/sany.out +2 -0
  559. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.exit +1 -0
  560. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.out +56 -0
  561. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.exit +1 -0
  562. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.out +64 -0
  563. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.exit +1 -0
  564. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.out +87 -0
  565. package/skills/statechart/scripts/test/corpus/CounterTie/verdict-4.out +57 -0
  566. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out +60 -0
  567. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg +3 -0
  568. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla +12 -0
  569. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd +23 -0
  570. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot +19 -0
  571. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/report.md +11 -0
  572. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/sany.out +2 -0
  573. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit +1 -0
  574. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out +56 -0
  575. package/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out +57 -0
  576. package/skills/statechart/scripts/test/corpus/CounterView/ChartRun.out +61 -0
  577. package/skills/statechart/scripts/test/corpus/CounterView/CounterView.cfg +4 -0
  578. package/skills/statechart/scripts/test/corpus/CounterView/CounterView.tla +14 -0
  579. package/skills/statechart/scripts/test/corpus/CounterView/chart.mmd +23 -0
  580. package/skills/statechart/scripts/test/corpus/CounterView/graph.dot +19 -0
  581. package/skills/statechart/scripts/test/corpus/CounterView/report.md +27 -0
  582. package/skills/statechart/scripts/test/corpus/CounterView/sany.out +2 -0
  583. package/skills/statechart/scripts/test/corpus/CounterView/verdict-1.exit +1 -0
  584. package/skills/statechart/scripts/test/corpus/CounterView/verdict-1.out +56 -0
  585. package/skills/statechart/scripts/test/corpus/CounterView/verdict-2.exit +1 -0
  586. package/skills/statechart/scripts/test/corpus/CounterView/verdict-2.out +64 -0
  587. package/skills/statechart/scripts/test/corpus/CounterView/verdict-3.exit +1 -0
  588. package/skills/statechart/scripts/test/corpus/CounterView/verdict-3.out +87 -0
  589. package/skills/statechart/scripts/test/corpus/CounterView/verdict-4.out +57 -0
  590. package/skills/statechart/scripts/test/corpus/CounterView/view.mjs +1 -0
  591. package/skills/statechart/scripts/test/corpus/DieHard/ChartRun.out +59 -0
  592. package/skills/statechart/scripts/test/corpus/DieHard/DieHard.cfg +4 -0
  593. package/skills/statechart/scripts/test/corpus/DieHard/DieHard.tla +38 -0
  594. package/skills/statechart/scripts/test/corpus/DieHard/chart.mmd +92 -0
  595. package/skills/statechart/scripts/test/corpus/DieHard/graph.dot +126 -0
  596. package/skills/statechart/scripts/test/corpus/DieHard/report.md +17 -0
  597. package/skills/statechart/scripts/test/corpus/DieHard/sany.out +2 -0
  598. package/skills/statechart/scripts/test/corpus/DieHard/verdict-1.exit +1 -0
  599. package/skills/statechart/scripts/test/corpus/DieHard/verdict-1.out +91 -0
  600. package/skills/statechart/scripts/test/corpus/DieHard/verdict-2.out +57 -0
  601. package/skills/statechart/scripts/test/corpus/FirstRule/ChartRun.out +61 -0
  602. package/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg +6 -0
  603. package/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.tla +11 -0
  604. package/skills/statechart/scripts/test/corpus/FirstRule/chart.mmd +22 -0
  605. package/skills/statechart/scripts/test/corpus/FirstRule/graph.dot +16 -0
  606. package/skills/statechart/scripts/test/corpus/FirstRule/report.md +25 -0
  607. package/skills/statechart/scripts/test/corpus/FirstRule/sany.out +2 -0
  608. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.exit +1 -0
  609. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.out +56 -0
  610. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.exit +1 -0
  611. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.out +64 -0
  612. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.exit +1 -0
  613. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.out +64 -0
  614. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.exit +1 -0
  615. package/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.out +77 -0
  616. package/skills/statechart/scripts/test/corpus/HiddenClock/ChartRun.out +57 -0
  617. package/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg +4 -0
  618. package/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla +11 -0
  619. package/skills/statechart/scripts/test/corpus/HiddenClock/chart.mmd +13 -0
  620. package/skills/statechart/scripts/test/corpus/HiddenClock/graph.dot +12 -0
  621. package/skills/statechart/scripts/test/corpus/HiddenClock/report.md +11 -0
  622. package/skills/statechart/scripts/test/corpus/HiddenClock/sany.out +2 -0
  623. package/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit +1 -0
  624. package/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.out +72 -0
  625. package/skills/statechart/scripts/test/corpus/Login/ChartRun.out +57 -0
  626. package/skills/statechart/scripts/test/corpus/Login/Login.cfg +3 -0
  627. package/skills/statechart/scripts/test/corpus/Login/Login.tla +62 -0
  628. package/skills/statechart/scripts/test/corpus/Login/chart.mmd +27 -0
  629. package/skills/statechart/scripts/test/corpus/Login/graph.dot +40 -0
  630. package/skills/statechart/scripts/test/corpus/Login/report.md +7 -0
  631. package/skills/statechart/scripts/test/corpus/Login/sany.out +1 -0
  632. package/skills/statechart/scripts/test/corpus/Login/verdict-1.out +47 -0
  633. package/skills/statechart/scripts/test/corpus/Login/view.mjs +1 -0
  634. package/skills/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out +57 -0
  635. package/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg +2 -0
  636. package/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla +64 -0
  637. package/skills/statechart/scripts/test/corpus/LoginGuarded/chart.mmd +28 -0
  638. package/skills/statechart/scripts/test/corpus/LoginGuarded/graph.dot +37 -0
  639. package/skills/statechart/scripts/test/corpus/LoginGuarded/report.md +8 -0
  640. package/skills/statechart/scripts/test/corpus/LoginGuarded/sany.out +1 -0
  641. package/skills/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out +47 -0
  642. package/skills/statechart/scripts/test/corpus/LoginGuarded/view.mjs +1 -0
  643. package/skills/statechart/scripts/test/corpus/LoginParallel/ChartRun.out +60 -0
  644. package/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg +3 -0
  645. package/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla +64 -0
  646. package/skills/statechart/scripts/test/corpus/LoginParallel/chart.mmd +44 -0
  647. package/skills/statechart/scripts/test/corpus/LoginParallel/graph.dot +58 -0
  648. package/skills/statechart/scripts/test/corpus/LoginParallel/report.md +17 -0
  649. package/skills/statechart/scripts/test/corpus/LoginParallel/sany.out +1 -0
  650. package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit +1 -0
  651. package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.out +83 -0
  652. package/skills/statechart/scripts/test/corpus/LoginParallel/verdict-2.out +57 -0
  653. package/skills/statechart/scripts/test/corpus/LoginParallel/view.mjs +1 -0
  654. package/skills/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out +60 -0
  655. package/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg +3 -0
  656. package/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla +103 -0
  657. package/skills/statechart/scripts/test/corpus/MediaPlayer/chart.mmd +43 -0
  658. package/skills/statechart/scripts/test/corpus/MediaPlayer/graph.dot +93 -0
  659. package/skills/statechart/scripts/test/corpus/MediaPlayer/report.md +14 -0
  660. package/skills/statechart/scripts/test/corpus/MediaPlayer/sany.out +1 -0
  661. package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit +1 -0
  662. package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out +59 -0
  663. package/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out +72 -0
  664. package/skills/statechart/scripts/test/corpus/MediaPlayer/view.mjs +3 -0
  665. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out +57 -0
  666. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg +2 -0
  667. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla +100 -0
  668. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd +31 -0
  669. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot +85 -0
  670. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/report.md +9 -0
  671. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out +1 -0
  672. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out +47 -0
  673. package/skills/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs +3 -0
  674. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out +59 -0
  675. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla +103 -0
  676. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg +3 -0
  677. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla +6 -0
  678. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd +42 -0
  679. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot +93 -0
  680. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/report.md +19 -0
  681. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/sany.out +2 -0
  682. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit +1 -0
  683. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out +61 -0
  684. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out +59 -0
  685. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out +61 -0
  686. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit +1 -0
  687. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out +66 -0
  688. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit +1 -0
  689. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out +58 -0
  690. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out +49 -0
  691. package/skills/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs +3 -0
  692. package/skills/statechart/scripts/test/corpus/PickWorker/ChartRun.out +57 -0
  693. package/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg +6 -0
  694. package/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.tla +11 -0
  695. package/skills/statechart/scripts/test/corpus/PickWorker/chart.mmd +5 -0
  696. package/skills/statechart/scripts/test/corpus/PickWorker/graph.dot +11 -0
  697. package/skills/statechart/scripts/test/corpus/PickWorker/report.md +7 -0
  698. package/skills/statechart/scripts/test/corpus/PickWorker/sany.out +5 -0
  699. package/skills/statechart/scripts/test/corpus/PickWorker/verdict-1.out +70 -0
  700. package/skills/statechart/scripts/test/corpus/Shadow/ChartRun.out +61 -0
  701. package/skills/statechart/scripts/test/corpus/Shadow/Shadow.cfg +4 -0
  702. package/skills/statechart/scripts/test/corpus/Shadow/Shadow.tla +11 -0
  703. package/skills/statechart/scripts/test/corpus/Shadow/ShadowLib.tla +6 -0
  704. package/skills/statechart/scripts/test/corpus/Shadow/ShadowSub.tla +3 -0
  705. package/skills/statechart/scripts/test/corpus/Shadow/chart.mmd +9 -0
  706. package/skills/statechart/scripts/test/corpus/Shadow/graph.dot +16 -0
  707. package/skills/statechart/scripts/test/corpus/Shadow/report.md +8 -0
  708. package/skills/statechart/scripts/test/corpus/Shadow/sany.out +4 -0
  709. package/skills/statechart/scripts/test/corpus/Shadow/verdict-1.out +65 -0
  710. package/skills/statechart/scripts/test/corpus/SpacedNames/ChartRun.out +59 -0
  711. package/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg +2 -0
  712. package/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla +9 -0
  713. package/skills/statechart/scripts/test/corpus/SpacedNames/chart.mmd +23 -0
  714. package/skills/statechart/scripts/test/corpus/SpacedNames/graph.dot +17 -0
  715. package/skills/statechart/scripts/test/corpus/SpacedNames/report.md +15 -0
  716. package/skills/statechart/scripts/test/corpus/SpacedNames/sany.out +1 -0
  717. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit +1 -0
  718. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.out +65 -0
  719. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit +1 -0
  720. package/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.out +75 -0
  721. package/skills/statechart/scripts/test/corpus/TwoPhase/ChartRun.out +69 -0
  722. package/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg +3 -0
  723. package/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla +75 -0
  724. package/skills/statechart/scripts/test/corpus/TwoPhase/chart.mmd +60 -0
  725. package/skills/statechart/scripts/test/corpus/TwoPhase/graph.dot +297 -0
  726. package/skills/statechart/scripts/test/corpus/TwoPhase/report.md +20 -0
  727. package/skills/statechart/scripts/test/corpus/TwoPhase/sany.out +1 -0
  728. package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit +1 -0
  729. package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.out +95 -0
  730. package/skills/statechart/scripts/test/corpus/TwoPhase/verdict-2.out +57 -0
  731. package/skills/statechart/scripts/test/corpus/TwoPhase/view.mjs +1 -0
  732. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out +57 -0
  733. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg +3 -0
  734. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla +75 -0
  735. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd +37 -0
  736. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot +223 -0
  737. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/report.md +11 -0
  738. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out +1 -0
  739. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out +47 -0
  740. package/skills/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs +1 -0
  741. package/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit +1 -0
  742. package/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.out +75 -0
  743. package/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg +5 -0
  744. package/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla +11 -0
  745. package/skills/statechart/scripts/test/corpus/TypeGuard/chart.mmd +18 -0
  746. package/skills/statechart/scripts/test/corpus/TypeGuard/graph.dot +14 -0
  747. package/skills/statechart/scripts/test/corpus/TypeGuard/report.md +29 -0
  748. package/skills/statechart/scripts/test/corpus/TypeGuard/sany.out +2 -0
  749. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit +1 -0
  750. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.out +64 -0
  751. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit +1 -0
  752. package/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.out +75 -0
  753. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out +58 -0
  754. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg +2 -0
  755. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla +8 -0
  756. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd +22 -0
  757. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot +16 -0
  758. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/report.md +15 -0
  759. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/sany.out +2 -0
  760. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit +1 -0
  761. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out +56 -0
  762. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit +1 -0
  763. package/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out +77 -0
  764. package/skills/statechart/scripts/test/corpus.test.ts +403 -0
  765. package/skills/statechart/scripts/test/differential.test.ts +565 -0
  766. package/skills/statechart/scripts/test/grid/Grid.cfg +2 -0
  767. package/skills/statechart/scripts/test/grid/Grid.tla +9 -0
  768. package/skills/statechart/scripts/test/grid/sany.out +2 -0
  769. package/skills/statechart/scripts/test/java.ts +63 -0
  770. package/skills/statechart/scripts/test/labels.ts +643 -0
  771. package/skills/statechart/scripts/test/messages.test.ts +212 -0
  772. package/skills/statechart/scripts/test/pipeline.test.ts +270 -0
  773. package/skills/statechart/scripts/test/plain-tlc.test.ts +255 -0
  774. package/skills/statechart/scripts/test/regions.mmd +62 -0
  775. package/skills/statechart/scripts/test/render.test.ts +81 -0
  776. package/skills/statechart/scripts/test/statechart.test.mjs +6854 -0
  777. package/skills/statechart/scripts/test/sync.mmd +19 -0
  778. package/skills/statechart/scripts/test/tlc-out.test.ts +90 -0
  779. package/skills/statechart/scripts/test/tlc.ts +158 -0
  780. package/skills/statechart/scripts/test/upload.mmd +16 -0
  781. package/skills/statechart/scripts/tlc-to-chart-args.mjs +52 -0
  782. package/skills/statechart/scripts/tlc-to-chart.mjs +802 -0
  783. package/skills/statechart/scripts/tlc-tools.mjs +69 -0
  784. package/skills/statechart/scripts/tsconfig.json +11 -0
  785. package/skills/statechart/scripts/ways-in.mjs +69 -0
  786. package/skills/statechart/scripts/worker.ts +35 -0
  787. package/skills/swarm/SKILL.md +91 -0
  788. package/skills/tdd/SKILL.md +92 -0
  789. package/skills/teach/SKILL.md +71 -0
  790. package/skills/technical-writing/SKILL.md +156 -0
  791. package/skills/typescript-best-practices/SKILL.md +81 -0
  792. package/skills/typescript-best-practices/references/patterns.md +328 -0
  793. package/skills/unslop/SKILL.md +112 -0
  794. package/skills/why/SKILL.md +148 -0
  795. package/skills/why/references/epistemics.md +71 -0
  796. package/skills/why/references/investigator-prompt.md +84 -0
  797. package/skills/why/references/source-playbook.md +17 -0
  798. package/skills/why/references/sources/analytics.md +5 -0
  799. package/skills/why/references/sources/code-archaeology.md +51 -0
  800. package/skills/why/references/sources/databricks.md +70 -0
  801. package/skills/why/references/sources/datadog.md +97 -0
  802. package/skills/why/references/sources/documents.md +5 -0
  803. package/skills/why/references/sources/errors.md +5 -0
  804. package/skills/why/references/sources/incident-postmortem.md +5 -0
  805. package/skills/why/references/sources/issues.md +5 -0
  806. package/skills/why/references/sources/linear.md +48 -0
  807. package/skills/why/references/sources/notion.md +55 -0
  808. package/skills/why/references/sources/observability.md +5 -0
  809. package/skills/why/references/sources/sentry.md +66 -0
  810. package/skills/why/references/sources/slack.md +17 -0
  811. package/skills/why/references/sources/source-control.md +5 -0
  812. package/skills/why/references/sources/team-chat.md +5 -0
  813. package/skills/why/references/synthesizer-prompt.md +129 -0
  814. package/src/agent/candidates.ts +60 -0
  815. package/src/agent/grep-worker.mjs +46 -0
  816. package/src/agent/host.ts +455 -0
  817. package/src/agent/isolation.ts +14 -0
  818. package/src/agent/outcome.ts +18 -0
  819. package/src/agent/profiles.ts +133 -0
  820. package/src/agent/read-only-tools.ts +129 -0
  821. package/src/agent/resources.ts +66 -0
  822. package/src/api.ts +19 -0
  823. package/src/artifacts/fingerprint.ts +58 -0
  824. package/src/compatibility/adapter.ts +94 -0
  825. package/src/compatibility/source.ts +30 -0
  826. package/src/compatibility/tool.ts +47 -0
  827. package/src/context/snapshot.ts +12 -0
  828. package/src/contracts/brief.ts +144 -0
  829. package/src/contracts/types.ts +57 -0
  830. package/src/delivery/frontier.ts +87 -0
  831. package/src/delivery/git.ts +9 -0
  832. package/src/delivery/prepare.ts +23 -0
  833. package/src/delivery/provider.ts +41 -0
  834. package/src/delivery/review-threads.ts +28 -0
  835. package/src/delivery/stack.ts +76 -0
  836. package/src/extension.ts +281 -0
  837. package/src/loop/scheduler.ts +334 -0
  838. package/src/loop/store.ts +66 -0
  839. package/src/models/router.ts +171 -0
  840. package/src/program/coordinator.ts +122 -0
  841. package/src/program/dispatch.ts +83 -0
  842. package/src/runner/cli.mjs +46 -0
  843. package/src/runner/lease.ts +17 -0
  844. package/src/runner/service.ts +37 -0
  845. package/src/runtime/checkout.ts +19 -0
  846. package/src/runtime/config.ts +49 -0
  847. package/src/runtime/errors.ts +12 -0
  848. package/src/runtime/home.ts +17 -0
  849. package/src/runtime/lock.ts +101 -0
  850. package/src/runtime/migrate.ts +29 -0
  851. package/src/runtime/ownership.ts +6 -0
  852. package/src/runtime/protocol.ts +35 -0
  853. package/src/runtime/redact.ts +34 -0
  854. package/src/runtime/store.ts +50 -0
  855. package/src/runtime/transaction.ts +41 -0
  856. package/src/runtime/types.ts +203 -0
  857. package/src/runtime/upstream.ts +7 -0
  858. package/src/setup/command.ts +331 -0
  859. package/src/telemetry/metrics.ts +11 -0
  860. package/src/templates/build.ts +172 -0
  861. package/src/tools/agents.ts +62 -0
  862. package/src/tools/graph.ts +37 -0
  863. package/src/tools/protocol.ts +53 -0
  864. package/src/tools/schema.ts +9 -0
  865. package/src/tools/workflow.ts +103 -0
  866. package/src/tools/worktrees.ts +39 -0
  867. package/src/verification/process.mjs +9 -0
  868. package/src/verification/runner.ts +148 -0
  869. package/src/workflow/artifacts.ts +97 -0
  870. package/src/workflow/engine.ts +631 -0
  871. package/src/workflow/graph.ts +53 -0
  872. package/src/worktree/manager.ts +60 -0
  873. package/src/worktree/snapshot.ts +35 -0
  874. package/test/baseline-owner.test.ts +122 -0
  875. package/test/benchmark.test.ts +81 -0
  876. package/test/cancellation.test.ts +92 -0
  877. package/test/candidate-port.test.ts +18 -0
  878. package/test/check-plan.test.ts +99 -0
  879. package/test/checkout.test.ts +19 -0
  880. package/test/delivery-stack.test.ts +106 -0
  881. package/test/dispatch.test.ts +171 -0
  882. package/test/e2e/fixture-child.mjs +33 -0
  883. package/test/e2e/harness.ts +282 -0
  884. package/test/e2e/offline.test.ts +153 -0
  885. package/test/e2e/parent-context.ts +66 -0
  886. package/test/e2e/reported-defects.test.ts +85 -0
  887. package/test/e2e/shipping.test.ts +204 -0
  888. package/test/e2e/workflow.test.ts +408 -0
  889. package/test/fixtures/loop-execution-lock-holder.mjs +38 -0
  890. package/test/fixtures/loop-lock-holder.mjs +31 -0
  891. package/test/fixtures/loop-scheduler-worker.mjs +95 -0
  892. package/test/fixtures/semantics/scenarios.json +18 -0
  893. package/test/fixtures/verification-crash-worker.mjs +5 -0
  894. package/test/graph.test.ts +23 -0
  895. package/test/isolation.test.ts +21 -0
  896. package/test/latest-upstream.test.ts +41 -0
  897. package/test/live/command-probe-child.mjs +22 -0
  898. package/test/live/command-probe-loader.mjs +8 -0
  899. package/test/live/command-probe-register.mjs +12 -0
  900. package/test/live/github-live.test.ts +107 -0
  901. package/test/live/guard.ts +70 -0
  902. package/test/lock.test.ts +76 -0
  903. package/test/loop-scheduler.test.ts +460 -0
  904. package/test/loop.test.ts +60 -0
  905. package/test/ml-development.test.ts +65 -0
  906. package/test/model-panels.test.ts +237 -0
  907. package/test/model-router.test.ts +124 -0
  908. package/test/outcome.test.ts +31 -0
  909. package/test/protocol.test.ts +350 -0
  910. package/test/read-only-tools.test.ts +86 -0
  911. package/test/real-sdk-integration.test.ts +183 -0
  912. package/test/redaction.test.ts +66 -0
  913. package/test/resources.test.ts +42 -0
  914. package/test/review-snapshot.test.ts +48 -0
  915. package/test/semantic-compatibility.test.ts +121 -0
  916. package/test/setup-command.test.ts +212 -0
  917. package/test/setup-rpc.test.ts +68 -0
  918. package/test/smoke-installed-package.mjs +119 -0
  919. package/test/statechart.test.ts +25 -0
  920. package/test/store.test.ts +35 -0
  921. package/test/swarm-race.test.ts +50 -0
  922. package/test/tool-ownership.test.ts +59 -0
  923. package/test/transaction.test.ts +89 -0
  924. package/test/verification.test.ts +295 -0
  925. package/test/workflow.test.ts +408 -0
  926. package/test/worktree.test.ts +39 -0
  927. package/tsconfig.build.json +12 -0
  928. package/tsconfig.json +17 -0
  929. package/vendor/upstream/0.15.17/pstack/LICENSE +21 -0
  930. package/vendor/upstream/0.15.17/pstack/skills/architect/SKILL.md +79 -0
  931. package/vendor/upstream/0.15.17/pstack/skills/architect/references/design-red-flags.md +57 -0
  932. package/vendor/upstream/0.15.17/pstack/skills/architect/references/rationale-template.md +35 -0
  933. package/vendor/upstream/0.15.17/pstack/skills/architect/references/runner-prompt.md +20 -0
  934. package/vendor/upstream/0.15.17/pstack/skills/arena/SKILL.md +48 -0
  935. package/vendor/upstream/0.15.17/pstack/skills/automate-me/SKILL.md +104 -0
  936. package/vendor/upstream/0.15.17/pstack/skills/benchmark-checklist/SKILL.md +39 -0
  937. package/vendor/upstream/0.15.17/pstack/skills/blast-radius/SKILL.md +50 -0
  938. package/vendor/upstream/0.15.17/pstack/skills/bro/SKILL.md +7 -0
  939. package/vendor/upstream/0.15.17/pstack/skills/correct/SKILL.md +32 -0
  940. package/vendor/upstream/0.15.17/pstack/skills/create-verification-skill/SKILL.md +44 -0
  941. package/vendor/upstream/0.15.17/pstack/skills/create-verification-skill/references/feature-map-example/README.md +47 -0
  942. package/vendor/upstream/0.15.17/pstack/skills/create-verification-skill/references/feature-map-example/create-note.md +39 -0
  943. package/vendor/upstream/0.15.17/pstack/skills/create-verification-skill/references/feature-map-example/search.md +45 -0
  944. package/vendor/upstream/0.15.17/pstack/skills/figure-it-out/SKILL.md +52 -0
  945. package/vendor/upstream/0.15.17/pstack/skills/how/SKILL.md +36 -0
  946. package/vendor/upstream/0.15.17/pstack/skills/how/references/explainer-prompt.md +55 -0
  947. package/vendor/upstream/0.15.17/pstack/skills/how/references/explorer-prompt.md +52 -0
  948. package/vendor/upstream/0.15.17/pstack/skills/interrogate/SKILL.md +74 -0
  949. package/vendor/upstream/0.15.17/pstack/skills/interrogate/references/code-quality-review.md +47 -0
  950. package/vendor/upstream/0.15.17/pstack/skills/interrogate/references/lead-judgment.md +58 -0
  951. package/vendor/upstream/0.15.17/pstack/skills/interrogate/references/reviewer-prompt.md +62 -0
  952. package/vendor/upstream/0.15.17/pstack/skills/interrogate/references/rubric.md +77 -0
  953. package/vendor/upstream/0.15.17/pstack/skills/ketchup/SKILL.md +23 -0
  954. package/vendor/upstream/0.15.17/pstack/skills/maintain-verification-skill/SKILL.md +39 -0
  955. package/vendor/upstream/0.15.17/pstack/skills/make-bot-ui/SKILL.md +115 -0
  956. package/vendor/upstream/0.15.17/pstack/skills/no-comments/SKILL.md +24 -0
  957. package/vendor/upstream/0.15.17/pstack/skills/poteto-help/SKILL.md +154 -0
  958. package/vendor/upstream/0.15.17/pstack/skills/poteto-help/references/prompting.md +51 -0
  959. package/vendor/upstream/0.15.17/pstack/skills/poteto-help/references/recipes.md +47 -0
  960. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/SKILL.md +147 -0
  961. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/authoring-a-skill.md +12 -0
  962. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/autonomous-run.md +13 -0
  963. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/autopilot-full.md +13 -0
  964. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/autopilot-stack.md +16 -0
  965. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/babysit.md +27 -0
  966. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/bug-fix.md +15 -0
  967. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/eval.md +25 -0
  968. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/feature.md +21 -0
  969. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/hillclimb.md +21 -0
  970. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/investigation.md +14 -0
  971. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/multi-phase-plan.md +155 -0
  972. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/opening-a-pr.md +34 -0
  973. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/orchestrate.md +111 -0
  974. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/pause-safely.md +10 -0
  975. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/perf-issue.md +25 -0
  976. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/prototype.md +14 -0
  977. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/refactoring.md +16 -0
  978. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/runtime-forensics.md +11 -0
  979. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/session-pickup.md +11 -0
  980. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/shipping.md +17 -0
  981. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/trace-forensics.md +14 -0
  982. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/visual-parity.md +11 -0
  983. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/playbooks/worktree-cleanup.md +14 -0
  984. package/vendor/upstream/0.15.17/pstack/skills/poteto-mode/references/bugbot-triage.md +142 -0
  985. package/vendor/upstream/0.15.17/pstack/skills/principle-attack-the-premise/SKILL.md +23 -0
  986. package/vendor/upstream/0.15.17/pstack/skills/principle-boundary-discipline/SKILL.md +34 -0
  987. package/vendor/upstream/0.15.17/pstack/skills/principle-build-the-lever/SKILL.md +23 -0
  988. package/vendor/upstream/0.15.17/pstack/skills/principle-encode-lessons-in-structure/SKILL.md +28 -0
  989. package/vendor/upstream/0.15.17/pstack/skills/principle-exhaust-the-design-space/SKILL.md +21 -0
  990. package/vendor/upstream/0.15.17/pstack/skills/principle-experience-first/SKILL.md +19 -0
  991. package/vendor/upstream/0.15.17/pstack/skills/principle-explain-the-number/SKILL.md +17 -0
  992. package/vendor/upstream/0.15.17/pstack/skills/principle-fix-root-causes/SKILL.md +23 -0
  993. package/vendor/upstream/0.15.17/pstack/skills/principle-foundational-thinking/SKILL.md +21 -0
  994. package/vendor/upstream/0.15.17/pstack/skills/principle-guard-the-context-window/SKILL.md +16 -0
  995. package/vendor/upstream/0.15.17/pstack/skills/principle-laziness-protocol/SKILL.md +18 -0
  996. package/vendor/upstream/0.15.17/pstack/skills/principle-make-operations-idempotent/SKILL.md +24 -0
  997. package/vendor/upstream/0.15.17/pstack/skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +22 -0
  998. package/vendor/upstream/0.15.17/pstack/skills/principle-minimize-reader-load/SKILL.md +18 -0
  999. package/vendor/upstream/0.15.17/pstack/skills/principle-model-the-domain/SKILL.md +24 -0
  1000. package/vendor/upstream/0.15.17/pstack/skills/principle-never-block-on-the-human/SKILL.md +15 -0
  1001. package/vendor/upstream/0.15.17/pstack/skills/principle-outcome-oriented-execution/SKILL.md +21 -0
  1002. package/vendor/upstream/0.15.17/pstack/skills/principle-prove-it-works/SKILL.md +22 -0
  1003. package/vendor/upstream/0.15.17/pstack/skills/principle-redesign-from-first-principles/SKILL.md +16 -0
  1004. package/vendor/upstream/0.15.17/pstack/skills/principle-separate-before-serializing-shared-state/SKILL.md +16 -0
  1005. package/vendor/upstream/0.15.17/pstack/skills/principle-sequence-verifiable-units/SKILL.md +17 -0
  1006. package/vendor/upstream/0.15.17/pstack/skills/principle-subtract-before-you-add/SKILL.md +18 -0
  1007. package/vendor/upstream/0.15.17/pstack/skills/principle-test-behavior-not-implementation/SKILL.md +21 -0
  1008. package/vendor/upstream/0.15.17/pstack/skills/principle-type-system-discipline/SKILL.md +18 -0
  1009. package/vendor/upstream/0.15.17/pstack/skills/recall/SKILL.md +35 -0
  1010. package/vendor/upstream/0.15.17/pstack/skills/reflect/SKILL.md +67 -0
  1011. package/vendor/upstream/0.15.17/pstack/skills/reflect/references/divergent-reviewer.md +38 -0
  1012. package/vendor/upstream/0.15.17/pstack/skills/reflect/references/judgment-reviewer.md +37 -0
  1013. package/vendor/upstream/0.15.17/pstack/skills/reflect/references/synthesizer.md +56 -0
  1014. package/vendor/upstream/0.15.17/pstack/skills/reflect/references/tooling-reviewer.md +48 -0
  1015. package/vendor/upstream/0.15.17/pstack/skills/setup-pstack/SKILL.md +74 -0
  1016. package/vendor/upstream/0.15.17/pstack/skills/show-me-your-work/SKILL.md +82 -0
  1017. package/vendor/upstream/0.15.17/pstack/skills/swarm/SKILL.md +46 -0
  1018. package/vendor/upstream/0.15.17/pstack/skills/tdd/SKILL.md +42 -0
  1019. package/vendor/upstream/0.15.17/pstack/skills/teach/SKILL.md +21 -0
  1020. package/vendor/upstream/0.15.17/pstack/skills/technical-writing/SKILL.md +106 -0
  1021. package/vendor/upstream/0.15.17/pstack/skills/typescript-best-practices/SKILL.md +31 -0
  1022. package/vendor/upstream/0.15.17/pstack/skills/typescript-best-practices/references/patterns.md +324 -0
  1023. package/vendor/upstream/0.15.17/pstack/skills/unslop/SKILL.md +62 -0
  1024. package/vendor/upstream/0.15.17/pstack/skills/why/SKILL.md +98 -0
  1025. package/vendor/upstream/0.15.17/pstack/skills/why/references/epistemics.md +71 -0
  1026. package/vendor/upstream/0.15.17/pstack/skills/why/references/investigator-prompt.md +84 -0
  1027. package/vendor/upstream/0.15.17/pstack/skills/why/references/source-playbook.md +17 -0
  1028. package/vendor/upstream/0.15.17/pstack/skills/why/references/sources/code-archaeology.md +86 -0
  1029. package/vendor/upstream/0.15.17/pstack/skills/why/references/sources/databricks.md +70 -0
  1030. package/vendor/upstream/0.15.17/pstack/skills/why/references/sources/datadog.md +97 -0
  1031. package/vendor/upstream/0.15.17/pstack/skills/why/references/sources/incident-postmortem.md +15 -0
  1032. package/vendor/upstream/0.15.17/pstack/skills/why/references/sources/linear.md +48 -0
  1033. package/vendor/upstream/0.15.17/pstack/skills/why/references/sources/notion.md +55 -0
  1034. package/vendor/upstream/0.15.17/pstack/skills/why/references/sources/sentry.md +96 -0
  1035. package/vendor/upstream/0.15.17/pstack/skills/why/references/sources/slack.md +54 -0
  1036. package/vendor/upstream/0.15.17/pstack/skills/why/references/synthesizer-prompt.md +129 -0
  1037. package/vendor/upstream/0.15.32/pstack/.cursor-plugin/plugin.json +31 -0
  1038. package/vendor/upstream/0.15.32/pstack/LICENSE +21 -0
  1039. package/vendor/upstream/0.15.32/pstack/skills/architect/SKILL.md +79 -0
  1040. package/vendor/upstream/0.15.32/pstack/skills/architect/references/design-red-flags.md +57 -0
  1041. package/vendor/upstream/0.15.32/pstack/skills/architect/references/rationale-template.md +35 -0
  1042. package/vendor/upstream/0.15.32/pstack/skills/architect/references/runner-prompt.md +20 -0
  1043. package/vendor/upstream/0.15.32/pstack/skills/arena/SKILL.md +48 -0
  1044. package/vendor/upstream/0.15.32/pstack/skills/automate-me/SKILL.md +104 -0
  1045. package/vendor/upstream/0.15.32/pstack/skills/benchmark-checklist/SKILL.md +39 -0
  1046. package/vendor/upstream/0.15.32/pstack/skills/blast-radius/SKILL.md +50 -0
  1047. package/vendor/upstream/0.15.32/pstack/skills/bro/SKILL.md +7 -0
  1048. package/vendor/upstream/0.15.32/pstack/skills/correct/SKILL.md +32 -0
  1049. package/vendor/upstream/0.15.32/pstack/skills/create-formal-verification-skill/SKILL.md +43 -0
  1050. package/vendor/upstream/0.15.32/pstack/skills/create-verification-skill/SKILL.md +44 -0
  1051. package/vendor/upstream/0.15.32/pstack/skills/create-verification-skill/references/feature-map-example/README.md +47 -0
  1052. package/vendor/upstream/0.15.32/pstack/skills/create-verification-skill/references/feature-map-example/create-note.md +39 -0
  1053. package/vendor/upstream/0.15.32/pstack/skills/create-verification-skill/references/feature-map-example/search.md +45 -0
  1054. package/vendor/upstream/0.15.32/pstack/skills/figure-it-out/SKILL.md +52 -0
  1055. package/vendor/upstream/0.15.32/pstack/skills/how/SKILL.md +36 -0
  1056. package/vendor/upstream/0.15.32/pstack/skills/how/references/explainer-prompt.md +55 -0
  1057. package/vendor/upstream/0.15.32/pstack/skills/how/references/explorer-prompt.md +35 -0
  1058. package/vendor/upstream/0.15.32/pstack/skills/in-your-own-words/SKILL.md +7 -0
  1059. package/vendor/upstream/0.15.32/pstack/skills/interrogate/SKILL.md +74 -0
  1060. package/vendor/upstream/0.15.32/pstack/skills/interrogate/references/code-quality-review.md +47 -0
  1061. package/vendor/upstream/0.15.32/pstack/skills/interrogate/references/lead-judgment.md +39 -0
  1062. package/vendor/upstream/0.15.32/pstack/skills/interrogate/references/reviewer-prompt.md +62 -0
  1063. package/vendor/upstream/0.15.32/pstack/skills/interrogate/references/rubric.md +77 -0
  1064. package/vendor/upstream/0.15.32/pstack/skills/ketchup/SKILL.md +43 -0
  1065. package/vendor/upstream/0.15.32/pstack/skills/ketchup-video/SKILL.md +23 -0
  1066. package/vendor/upstream/0.15.32/pstack/skills/maintain-formal-verification-skill/SKILL.md +58 -0
  1067. package/vendor/upstream/0.15.32/pstack/skills/maintain-verification-skill/SKILL.md +39 -0
  1068. package/vendor/upstream/0.15.32/pstack/skills/make-bot-ui/SKILL.md +115 -0
  1069. package/vendor/upstream/0.15.32/pstack/skills/no-comments/SKILL.md +24 -0
  1070. package/vendor/upstream/0.15.32/pstack/skills/poteto-help/SKILL.md +163 -0
  1071. package/vendor/upstream/0.15.32/pstack/skills/poteto-help/references/prompting.md +51 -0
  1072. package/vendor/upstream/0.15.32/pstack/skills/poteto-help/references/recipes.md +51 -0
  1073. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/SKILL.md +149 -0
  1074. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/authoring-a-skill.md +12 -0
  1075. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/autonomous-run.md +13 -0
  1076. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/autopilot-full.md +25 -0
  1077. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/autopilot-stack.md +12 -0
  1078. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/babysit.md +23 -0
  1079. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/bug-fix.md +15 -0
  1080. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/eval.md +25 -0
  1081. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/feature.md +21 -0
  1082. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/hillclimb.md +21 -0
  1083. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/investigation.md +14 -0
  1084. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/multi-phase-plan.md +155 -0
  1085. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/opening-a-pr.md +34 -0
  1086. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/orchestrate.md +112 -0
  1087. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/pause-safely.md +10 -0
  1088. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/perf-issue.md +25 -0
  1089. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/prototype.md +14 -0
  1090. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/refactoring.md +16 -0
  1091. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/runtime-forensics.md +11 -0
  1092. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/session-pickup.md +11 -0
  1093. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/shipping.md +12 -0
  1094. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/trace-forensics.md +14 -0
  1095. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/visual-parity.md +11 -0
  1096. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/playbooks/worktree-cleanup.md +12 -0
  1097. package/vendor/upstream/0.15.32/pstack/skills/poteto-mode/references/bugbot-triage.md +142 -0
  1098. package/vendor/upstream/0.15.32/pstack/skills/principle-attack-the-premise/SKILL.md +21 -0
  1099. package/vendor/upstream/0.15.32/pstack/skills/principle-boundary-discipline/SKILL.md +34 -0
  1100. package/vendor/upstream/0.15.32/pstack/skills/principle-build-the-lever/SKILL.md +23 -0
  1101. package/vendor/upstream/0.15.32/pstack/skills/principle-encode-lessons-in-structure/SKILL.md +11 -0
  1102. package/vendor/upstream/0.15.32/pstack/skills/principle-exhaust-the-design-space/SKILL.md +9 -0
  1103. package/vendor/upstream/0.15.32/pstack/skills/principle-experience-first/SKILL.md +19 -0
  1104. package/vendor/upstream/0.15.32/pstack/skills/principle-explain-the-number/SKILL.md +17 -0
  1105. package/vendor/upstream/0.15.32/pstack/skills/principle-fix-root-causes/SKILL.md +21 -0
  1106. package/vendor/upstream/0.15.32/pstack/skills/principle-foundational-thinking/SKILL.md +21 -0
  1107. package/vendor/upstream/0.15.32/pstack/skills/principle-guard-the-context-window/SKILL.md +12 -0
  1108. package/vendor/upstream/0.15.32/pstack/skills/principle-laziness-protocol/SKILL.md +10 -0
  1109. package/vendor/upstream/0.15.32/pstack/skills/principle-make-operations-idempotent/SKILL.md +22 -0
  1110. package/vendor/upstream/0.15.32/pstack/skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +14 -0
  1111. package/vendor/upstream/0.15.32/pstack/skills/principle-minimize-reader-load/SKILL.md +18 -0
  1112. package/vendor/upstream/0.15.32/pstack/skills/principle-model-the-domain/SKILL.md +24 -0
  1113. package/vendor/upstream/0.15.32/pstack/skills/principle-never-block-on-the-human/SKILL.md +15 -0
  1114. package/vendor/upstream/0.15.32/pstack/skills/principle-outcome-oriented-execution/SKILL.md +21 -0
  1115. package/vendor/upstream/0.15.32/pstack/skills/principle-prove-it-works/SKILL.md +22 -0
  1116. package/vendor/upstream/0.15.32/pstack/skills/principle-redesign-from-first-principles/SKILL.md +16 -0
  1117. package/vendor/upstream/0.15.32/pstack/skills/principle-separate-before-serializing-shared-state/SKILL.md +16 -0
  1118. package/vendor/upstream/0.15.32/pstack/skills/principle-sequence-verifiable-units/SKILL.md +17 -0
  1119. package/vendor/upstream/0.15.32/pstack/skills/principle-subtract-before-you-add/SKILL.md +18 -0
  1120. package/vendor/upstream/0.15.32/pstack/skills/principle-test-behavior-not-implementation/SKILL.md +20 -0
  1121. package/vendor/upstream/0.15.32/pstack/skills/principle-type-system-discipline/SKILL.md +13 -0
  1122. package/vendor/upstream/0.15.32/pstack/skills/recall/SKILL.md +35 -0
  1123. package/vendor/upstream/0.15.32/pstack/skills/reflect/SKILL.md +69 -0
  1124. package/vendor/upstream/0.15.32/pstack/skills/reflect/references/divergent-reviewer.md +38 -0
  1125. package/vendor/upstream/0.15.32/pstack/skills/reflect/references/judgment-reviewer.md +37 -0
  1126. package/vendor/upstream/0.15.32/pstack/skills/reflect/references/synthesizer.md +56 -0
  1127. package/vendor/upstream/0.15.32/pstack/skills/reflect/references/tooling-reviewer.md +48 -0
  1128. package/vendor/upstream/0.15.32/pstack/skills/setup-pstack/SKILL.md +78 -0
  1129. package/vendor/upstream/0.15.32/pstack/skills/sharpen/SKILL.md +16 -0
  1130. package/vendor/upstream/0.15.32/pstack/skills/show-me-your-work/SKILL.md +82 -0
  1131. package/vendor/upstream/0.15.32/pstack/skills/statechart/SKILL.md +36 -0
  1132. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/bug-states.mjs +81 -0
  1133. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/chart-edges.mjs +68 -0
  1134. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/chart-parts.mjs +21 -0
  1135. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/chart-to-tla.mjs +205 -0
  1136. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/compare-charts.mjs +74 -0
  1137. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/lib.mjs +970 -0
  1138. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/map-view.mjs +92 -0
  1139. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/property-loop.mjs +60 -0
  1140. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/read-check.mjs +79 -0
  1141. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/regions-chart.mjs +307 -0
  1142. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/render.mjs +531 -0
  1143. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/rule-book.mjs +84 -0
  1144. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/second-replay.mjs +122 -0
  1145. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/snapshot.mjs +74 -0
  1146. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/spec-text.mjs +126 -0
  1147. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/statechart-help.mjs +350 -0
  1148. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/statechart.mjs +903 -0
  1149. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/test/band.mmd +15 -0
  1150. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/test/regions.mmd +62 -0
  1151. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/test/statechart.test.mjs +6854 -0
  1152. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/test/sync.mmd +19 -0
  1153. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/test/upload.mmd +16 -0
  1154. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/tlc-to-chart-args.mjs +52 -0
  1155. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/tlc-to-chart.mjs +802 -0
  1156. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/tlc-tools.mjs +69 -0
  1157. package/vendor/upstream/0.15.32/pstack/skills/statechart/scripts/ways-in.mjs +69 -0
  1158. package/vendor/upstream/0.15.32/pstack/skills/swarm/SKILL.md +41 -0
  1159. package/vendor/upstream/0.15.32/pstack/skills/tdd/SKILL.md +42 -0
  1160. package/vendor/upstream/0.15.32/pstack/skills/teach/SKILL.md +21 -0
  1161. package/vendor/upstream/0.15.32/pstack/skills/technical-writing/SKILL.md +106 -0
  1162. package/vendor/upstream/0.15.32/pstack/skills/typescript-best-practices/SKILL.md +31 -0
  1163. package/vendor/upstream/0.15.32/pstack/skills/typescript-best-practices/references/patterns.md +328 -0
  1164. package/vendor/upstream/0.15.32/pstack/skills/unslop/SKILL.md +62 -0
  1165. package/vendor/upstream/0.15.32/pstack/skills/why/SKILL.md +98 -0
  1166. package/vendor/upstream/0.15.32/pstack/skills/why/references/epistemics.md +71 -0
  1167. package/vendor/upstream/0.15.32/pstack/skills/why/references/investigator-prompt.md +84 -0
  1168. package/vendor/upstream/0.15.32/pstack/skills/why/references/source-playbook.md +17 -0
  1169. package/vendor/upstream/0.15.32/pstack/skills/why/references/sources/code-archaeology.md +51 -0
  1170. package/vendor/upstream/0.15.32/pstack/skills/why/references/sources/databricks.md +70 -0
  1171. package/vendor/upstream/0.15.32/pstack/skills/why/references/sources/datadog.md +97 -0
  1172. package/vendor/upstream/0.15.32/pstack/skills/why/references/sources/incident-postmortem.md +5 -0
  1173. package/vendor/upstream/0.15.32/pstack/skills/why/references/sources/linear.md +48 -0
  1174. package/vendor/upstream/0.15.32/pstack/skills/why/references/sources/notion.md +55 -0
  1175. package/vendor/upstream/0.15.32/pstack/skills/why/references/sources/sentry.md +66 -0
  1176. package/vendor/upstream/0.15.32/pstack/skills/why/references/sources/slack.md +17 -0
  1177. package/vendor/upstream/0.15.32/pstack/skills/why/references/synthesizer-prompt.md +129 -0
  1178. package/vendor/upstream/0.15.36/pstack/.cursor-plugin/plugin.json +31 -0
  1179. package/vendor/upstream/0.15.36/pstack/LICENSE +21 -0
  1180. package/vendor/upstream/0.15.36/pstack/skills/architect/SKILL.md +79 -0
  1181. package/vendor/upstream/0.15.36/pstack/skills/architect/references/design-red-flags.md +57 -0
  1182. package/vendor/upstream/0.15.36/pstack/skills/architect/references/rationale-template.md +35 -0
  1183. package/vendor/upstream/0.15.36/pstack/skills/architect/references/runner-prompt.md +20 -0
  1184. package/vendor/upstream/0.15.36/pstack/skills/arena/SKILL.md +48 -0
  1185. package/vendor/upstream/0.15.36/pstack/skills/automate-me/SKILL.md +104 -0
  1186. package/vendor/upstream/0.15.36/pstack/skills/benchmark-checklist/SKILL.md +39 -0
  1187. package/vendor/upstream/0.15.36/pstack/skills/blast-radius/SKILL.md +50 -0
  1188. package/vendor/upstream/0.15.36/pstack/skills/bro/SKILL.md +7 -0
  1189. package/vendor/upstream/0.15.36/pstack/skills/correct/SKILL.md +32 -0
  1190. package/vendor/upstream/0.15.36/pstack/skills/create-formal-verification-skill/SKILL.md +43 -0
  1191. package/vendor/upstream/0.15.36/pstack/skills/create-verification-skill/SKILL.md +44 -0
  1192. package/vendor/upstream/0.15.36/pstack/skills/create-verification-skill/references/feature-map-example/README.md +47 -0
  1193. package/vendor/upstream/0.15.36/pstack/skills/create-verification-skill/references/feature-map-example/create-note.md +39 -0
  1194. package/vendor/upstream/0.15.36/pstack/skills/create-verification-skill/references/feature-map-example/search.md +45 -0
  1195. package/vendor/upstream/0.15.36/pstack/skills/figure-it-out/SKILL.md +52 -0
  1196. package/vendor/upstream/0.15.36/pstack/skills/how/SKILL.md +36 -0
  1197. package/vendor/upstream/0.15.36/pstack/skills/how/references/explainer-prompt.md +55 -0
  1198. package/vendor/upstream/0.15.36/pstack/skills/how/references/explorer-prompt.md +35 -0
  1199. package/vendor/upstream/0.15.36/pstack/skills/in-your-own-words/SKILL.md +7 -0
  1200. package/vendor/upstream/0.15.36/pstack/skills/interrogate/SKILL.md +31 -0
  1201. package/vendor/upstream/0.15.36/pstack/skills/ketchup/SKILL.md +43 -0
  1202. package/vendor/upstream/0.15.36/pstack/skills/ketchup-video/SKILL.md +29 -0
  1203. package/vendor/upstream/0.15.36/pstack/skills/maintain-formal-verification-skill/SKILL.md +58 -0
  1204. package/vendor/upstream/0.15.36/pstack/skills/maintain-verification-skill/SKILL.md +39 -0
  1205. package/vendor/upstream/0.15.36/pstack/skills/make-bot-ui/SKILL.md +115 -0
  1206. package/vendor/upstream/0.15.36/pstack/skills/no-comments/SKILL.md +24 -0
  1207. package/vendor/upstream/0.15.36/pstack/skills/poteto-help/SKILL.md +163 -0
  1208. package/vendor/upstream/0.15.36/pstack/skills/poteto-help/references/prompting.md +51 -0
  1209. package/vendor/upstream/0.15.36/pstack/skills/poteto-help/references/recipes.md +51 -0
  1210. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/SKILL.md +150 -0
  1211. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/authoring-a-skill.md +12 -0
  1212. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/autonomous-run.md +13 -0
  1213. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/autopilot-full.md +25 -0
  1214. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/autopilot-stack.md +8 -0
  1215. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/babysit.md +23 -0
  1216. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/bug-fix.md +15 -0
  1217. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/eval.md +25 -0
  1218. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/feature.md +21 -0
  1219. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/hillclimb.md +21 -0
  1220. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/investigation.md +14 -0
  1221. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/multi-phase-plan.md +155 -0
  1222. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/opening-a-pr.md +34 -0
  1223. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/orchestrate.md +25 -0
  1224. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/pause-safely.md +10 -0
  1225. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/perf-issue.md +25 -0
  1226. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/prototype.md +14 -0
  1227. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/refactoring.md +16 -0
  1228. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/runtime-forensics.md +11 -0
  1229. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/session-pickup.md +11 -0
  1230. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/shipping.md +12 -0
  1231. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/trace-forensics.md +14 -0
  1232. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/visual-parity.md +11 -0
  1233. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/playbooks/worktree-cleanup.md +12 -0
  1234. package/vendor/upstream/0.15.36/pstack/skills/poteto-mode/references/bugbot-triage.md +142 -0
  1235. package/vendor/upstream/0.15.36/pstack/skills/principle-attack-the-premise/SKILL.md +21 -0
  1236. package/vendor/upstream/0.15.36/pstack/skills/principle-boundary-discipline/SKILL.md +34 -0
  1237. package/vendor/upstream/0.15.36/pstack/skills/principle-build-the-lever/SKILL.md +23 -0
  1238. package/vendor/upstream/0.15.36/pstack/skills/principle-encode-lessons-in-structure/SKILL.md +11 -0
  1239. package/vendor/upstream/0.15.36/pstack/skills/principle-exhaust-the-design-space/SKILL.md +9 -0
  1240. package/vendor/upstream/0.15.36/pstack/skills/principle-experience-first/SKILL.md +19 -0
  1241. package/vendor/upstream/0.15.36/pstack/skills/principle-explain-the-number/SKILL.md +18 -0
  1242. package/vendor/upstream/0.15.36/pstack/skills/principle-fix-root-causes/SKILL.md +21 -0
  1243. package/vendor/upstream/0.15.36/pstack/skills/principle-foundational-thinking/SKILL.md +21 -0
  1244. package/vendor/upstream/0.15.36/pstack/skills/principle-guard-the-context-window/SKILL.md +12 -0
  1245. package/vendor/upstream/0.15.36/pstack/skills/principle-laziness-protocol/SKILL.md +10 -0
  1246. package/vendor/upstream/0.15.36/pstack/skills/principle-make-operations-idempotent/SKILL.md +22 -0
  1247. package/vendor/upstream/0.15.36/pstack/skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +14 -0
  1248. package/vendor/upstream/0.15.36/pstack/skills/principle-minimize-reader-load/SKILL.md +18 -0
  1249. package/vendor/upstream/0.15.36/pstack/skills/principle-model-the-domain/SKILL.md +24 -0
  1250. package/vendor/upstream/0.15.36/pstack/skills/principle-never-block-on-the-human/SKILL.md +15 -0
  1251. package/vendor/upstream/0.15.36/pstack/skills/principle-outcome-oriented-execution/SKILL.md +21 -0
  1252. package/vendor/upstream/0.15.36/pstack/skills/principle-prove-it-works/SKILL.md +22 -0
  1253. package/vendor/upstream/0.15.36/pstack/skills/principle-redesign-from-first-principles/SKILL.md +16 -0
  1254. package/vendor/upstream/0.15.36/pstack/skills/principle-separate-before-serializing-shared-state/SKILL.md +16 -0
  1255. package/vendor/upstream/0.15.36/pstack/skills/principle-sequence-verifiable-units/SKILL.md +17 -0
  1256. package/vendor/upstream/0.15.36/pstack/skills/principle-subtract-before-you-add/SKILL.md +18 -0
  1257. package/vendor/upstream/0.15.36/pstack/skills/principle-test-behavior-not-implementation/SKILL.md +20 -0
  1258. package/vendor/upstream/0.15.36/pstack/skills/principle-type-system-discipline/SKILL.md +13 -0
  1259. package/vendor/upstream/0.15.36/pstack/skills/recall/SKILL.md +35 -0
  1260. package/vendor/upstream/0.15.36/pstack/skills/reflect/SKILL.md +69 -0
  1261. package/vendor/upstream/0.15.36/pstack/skills/reflect/references/divergent-reviewer.md +38 -0
  1262. package/vendor/upstream/0.15.36/pstack/skills/reflect/references/judgment-reviewer.md +37 -0
  1263. package/vendor/upstream/0.15.36/pstack/skills/reflect/references/synthesizer.md +56 -0
  1264. package/vendor/upstream/0.15.36/pstack/skills/reflect/references/tooling-reviewer.md +48 -0
  1265. package/vendor/upstream/0.15.36/pstack/skills/setup-pstack/SKILL.md +78 -0
  1266. package/vendor/upstream/0.15.36/pstack/skills/sharpen/SKILL.md +16 -0
  1267. package/vendor/upstream/0.15.36/pstack/skills/show-me-your-work/SKILL.md +82 -0
  1268. package/vendor/upstream/0.15.36/pstack/skills/statechart/SKILL.md +82 -0
  1269. package/vendor/upstream/0.15.36/pstack/skills/statechart/references/render.md +93 -0
  1270. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/backends/cfg.ts +33 -0
  1271. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/backends/mermaid.ts +201 -0
  1272. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/backends/plain-text.ts +72 -0
  1273. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/backends/report.ts +177 -0
  1274. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/frontends/config.ts +276 -0
  1275. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/frontends/dot.ts +74 -0
  1276. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/frontends/marks.ts +93 -0
  1277. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/frontends/messages.ts +52 -0
  1278. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/frontends/spec.ts +114 -0
  1279. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/frontends/trace.ts +24 -0
  1280. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/frontends/value.ts +166 -0
  1281. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/frontends/verdict.ts +40 -0
  1282. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/frontends/view.ts +119 -0
  1283. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/ir.ts +547 -0
  1284. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/package.json +11 -0
  1285. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/passes/annotate.ts +128 -0
  1286. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/passes/label.ts +269 -0
  1287. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/passes/lift.ts +85 -0
  1288. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/passes/loop-check.ts +68 -0
  1289. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/passes/paths.ts +60 -0
  1290. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/passes/reach.ts +135 -0
  1291. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/passes/region-check.ts +97 -0
  1292. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/passes/regions.ts +295 -0
  1293. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/pipeline.ts +76 -0
  1294. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/run.ts +481 -0
  1295. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/statechart +29 -0
  1296. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/statechart.ts +164 -0
  1297. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/tsconfig.json +11 -0
  1298. package/vendor/upstream/0.15.36/pstack/skills/statechart/scripts/worker.ts +35 -0
  1299. package/vendor/upstream/0.15.36/pstack/skills/swarm/SKILL.md +41 -0
  1300. package/vendor/upstream/0.15.36/pstack/skills/tdd/SKILL.md +42 -0
  1301. package/vendor/upstream/0.15.36/pstack/skills/teach/SKILL.md +21 -0
  1302. package/vendor/upstream/0.15.36/pstack/skills/technical-writing/SKILL.md +106 -0
  1303. package/vendor/upstream/0.15.36/pstack/skills/typescript-best-practices/SKILL.md +31 -0
  1304. package/vendor/upstream/0.15.36/pstack/skills/typescript-best-practices/references/patterns.md +328 -0
  1305. package/vendor/upstream/0.15.36/pstack/skills/unslop/SKILL.md +62 -0
  1306. package/vendor/upstream/0.15.36/pstack/skills/why/SKILL.md +98 -0
  1307. package/vendor/upstream/0.15.36/pstack/skills/why/references/epistemics.md +71 -0
  1308. package/vendor/upstream/0.15.36/pstack/skills/why/references/investigator-prompt.md +84 -0
  1309. package/vendor/upstream/0.15.36/pstack/skills/why/references/source-playbook.md +17 -0
  1310. package/vendor/upstream/0.15.36/pstack/skills/why/references/sources/code-archaeology.md +51 -0
  1311. package/vendor/upstream/0.15.36/pstack/skills/why/references/sources/databricks.md +70 -0
  1312. package/vendor/upstream/0.15.36/pstack/skills/why/references/sources/datadog.md +97 -0
  1313. package/vendor/upstream/0.15.36/pstack/skills/why/references/sources/incident-postmortem.md +5 -0
  1314. package/vendor/upstream/0.15.36/pstack/skills/why/references/sources/linear.md +48 -0
  1315. package/vendor/upstream/0.15.36/pstack/skills/why/references/sources/notion.md +55 -0
  1316. package/vendor/upstream/0.15.36/pstack/skills/why/references/sources/sentry.md +66 -0
  1317. package/vendor/upstream/0.15.36/pstack/skills/why/references/sources/slack.md +17 -0
  1318. package/vendor/upstream/0.15.36/pstack/skills/why/references/synthesizer-prompt.md +129 -0
@@ -0,0 +1,123 @@
1
+ import { closeSync, fstatSync, lstatSync, mkdirSync, openSync, readFileSync, statSync, unlinkSync, writeFileSync } from "node:fs";
2
+ import { randomUUID } from "node:crypto";
3
+ import { dirname } from "node:path";
4
+ const DEFAULT_STALE_MS = 15 * 60_000;
5
+ function identity(path) {
6
+ try {
7
+ const st = lstatSync(path);
8
+ return { dev: st.dev, ino: st.ino };
9
+ }
10
+ catch (error) {
11
+ if (error.code === "ENOENT")
12
+ return undefined;
13
+ throw error;
14
+ }
15
+ }
16
+ function sameIdentity(a, b) {
17
+ return Boolean(b && a.dev === b.dev && a.ino === b.ino);
18
+ }
19
+ export class FileLock {
20
+ fd;
21
+ owner;
22
+ heldIdentity;
23
+ path;
24
+ staleMs;
25
+ constructor(path, staleMs = DEFAULT_STALE_MS) { this.path = path; this.staleMs = staleMs; }
26
+ acquire() {
27
+ if (this.fd !== undefined)
28
+ return true;
29
+ mkdirSync(dirname(this.path), { recursive: true });
30
+ this.clearStale();
31
+ let fd;
32
+ try {
33
+ fd = openSync(this.path, "wx", 0o600);
34
+ }
35
+ catch (error) {
36
+ const code = error.code;
37
+ // Windows can report EPERM while another process's deleted lock is still pending removal.
38
+ // Treat it as contention; callers already impose a bounded retry or return busy.
39
+ if (code === "EEXIST" || (process.platform === "win32" && code === "EPERM"))
40
+ return false;
41
+ throw error;
42
+ }
43
+ const owner = randomUUID();
44
+ const stat = fstatSync(fd);
45
+ const held = { dev: stat.dev, ino: stat.ino };
46
+ try {
47
+ writeFileSync(fd, JSON.stringify({ pid: process.pid, owner, at: new Date().toISOString() }));
48
+ this.fd = fd;
49
+ this.owner = owner;
50
+ this.heldIdentity = held;
51
+ return true;
52
+ }
53
+ catch (error) {
54
+ closeSync(fd);
55
+ if (sameIdentity(held, identity(this.path)))
56
+ unlinkSync(this.path);
57
+ throw error;
58
+ }
59
+ }
60
+ release() {
61
+ // A failed contender never owns the lock, and must not unlink another owner's file.
62
+ if (this.fd === undefined || !this.owner || !this.heldIdentity)
63
+ return;
64
+ const held = this.heldIdentity;
65
+ const owner = this.owner;
66
+ try {
67
+ if (sameIdentity(held, identity(this.path))) {
68
+ const onDisk = JSON.parse(readFileSync(this.path, "utf8"));
69
+ if (onDisk.owner === owner && sameIdentity(held, identity(this.path)))
70
+ unlinkSync(this.path);
71
+ }
72
+ }
73
+ catch (error) {
74
+ if (error.code !== "ENOENT")
75
+ throw error;
76
+ }
77
+ finally {
78
+ closeSync(this.fd);
79
+ this.fd = undefined;
80
+ this.owner = undefined;
81
+ this.heldIdentity = undefined;
82
+ }
83
+ }
84
+ clearStale() {
85
+ const initial = identity(this.path);
86
+ if (!initial)
87
+ return;
88
+ try {
89
+ const raw = readFileSync(this.path, "utf8");
90
+ const pid = Number(JSON.parse(raw).pid);
91
+ if (Number.isSafeInteger(pid) && pid > 0) {
92
+ try {
93
+ process.kill(pid, 0);
94
+ return; // Live owner, even when older than the stale threshold.
95
+ }
96
+ catch (error) {
97
+ const code = error.code;
98
+ if (code !== "ESRCH")
99
+ return; // EPERM and unknown failures do not prove death.
100
+ if (sameIdentity(initial, identity(this.path)))
101
+ unlinkSync(this.path); // Dead owner.
102
+ return;
103
+ }
104
+ }
105
+ // Incomplete lock creation or a malformed legacy lock: apply a conservative age limit.
106
+ const age = Date.now() - statSync(this.path).mtimeMs;
107
+ if (age >= this.staleMs && sameIdentity(initial, identity(this.path)))
108
+ unlinkSync(this.path);
109
+ }
110
+ catch { /* Concurrent lock modification: fail closed. */ }
111
+ }
112
+ }
113
+ export async function withFileLock(path, fn) {
114
+ const lock = new FileLock(path);
115
+ if (!lock.acquire())
116
+ throw new Error(`Resource is locked: ${path}`);
117
+ try {
118
+ return await fn();
119
+ }
120
+ finally {
121
+ lock.release();
122
+ }
123
+ }
@@ -0,0 +1,9 @@
1
+ export declare function migrate(dryRun?: boolean): {
2
+ dryRun: boolean;
3
+ records: {
4
+ id: string;
5
+ path: string;
6
+ needsMigration: boolean;
7
+ }[];
8
+ backup?: string;
9
+ };
@@ -0,0 +1,44 @@
1
+ import { FileLock } from "./lock.js";
2
+ import { lockPath } from "./home.js";
3
+ import { copyFileSync, mkdirSync, readdirSync, readFileSync, existsSync } from 'node:fs';
4
+ import { homePath } from "./home.js";
5
+ import { writeJsonAtomic } from "./store.js";
6
+ export function migrate(dryRun = true) {
7
+ const records = [];
8
+ for (const kind of ['workflows', 'agents']) {
9
+ const dir = homePath(kind);
10
+ if (!existsSync(dir))
11
+ continue;
12
+ for (const file of readdirSync(dir).filter(f => f.endsWith('.json'))) {
13
+ const path = homePath(kind, file);
14
+ const r = JSON.parse(readFileSync(path, 'utf8'));
15
+ if (!r.id)
16
+ throw new Error(`STATE_UNCERTAIN: ${file}`);
17
+ records.push({ id: r.id, path, needsMigration: r.schemaVersion !== 2 });
18
+ }
19
+ }
20
+ if (dryRun)
21
+ return { dryRun, records };
22
+ const backup = homePath('backups', String(Date.now()));
23
+ mkdirSync(backup, { recursive: true });
24
+ for (const r of records.filter(r => r.needsMigration)) {
25
+ const kind = r.path.includes('/workflows/') ? 'workflow' : 'agent';
26
+ const lock = new FileLock(lockPath(`state-${kind}-${r.id}`));
27
+ if (!lock.acquire())
28
+ throw new Error('MIGRATION_BUSY');
29
+ try {
30
+ const value = JSON.parse(readFileSync(r.path, 'utf8'));
31
+ if (['running', 'cancelling'].includes(value.state))
32
+ throw new Error('MIGRATION_REQUIRES_QUIESCENT_STORE');
33
+ copyFileSync(r.path, `${backup}/${r.id}.json`);
34
+ value.schemaVersion = 2;
35
+ if (value.calls)
36
+ value.verification = 'unknown';
37
+ writeJsonAtomic(r.path, value);
38
+ }
39
+ finally {
40
+ lock.release();
41
+ }
42
+ }
43
+ return { dryRun, records, backup };
44
+ }
@@ -0,0 +1,4 @@
1
+ /** Tool and command entrypoints must not expose another Pi session's durable records. */
2
+ export declare function assertSessionOwner(record: {
3
+ parentSessionId?: string;
4
+ } | undefined, sessionId: string): void;
@@ -0,0 +1,6 @@
1
+ /** Tool and command entrypoints must not expose another Pi session's durable records. */
2
+ export function assertSessionOwner(record, sessionId) {
3
+ if (!record || !record.parentSessionId || record.parentSessionId !== sessionId) {
4
+ throw new Error("Record not found in this Pi session.");
5
+ }
6
+ }
@@ -0,0 +1,24 @@
1
+ import type { Artifact, Evidence, Ledger, TaskBrief, Event } from '../contracts/types.js';
2
+ import type { DispatchRecord } from './types.js';
3
+ export declare const hash: (value: unknown) => string;
4
+ export declare const uid: (prefix: string) => string;
5
+ export interface ProtocolState {
6
+ schemaVersion: 1;
7
+ revision: number;
8
+ artifacts: Record<string, Artifact>;
9
+ evidence: Record<string, Evidence>;
10
+ ledgers: Record<string, Ledger>;
11
+ briefs: Record<string, TaskBrief[]>;
12
+ invalidations: Record<string, {
13
+ at: string;
14
+ reason: string;
15
+ }>;
16
+ programs: Record<string, any>;
17
+ frontiers: Record<string, any>;
18
+ approvals: Record<string, any>;
19
+ leases: Record<string, any>;
20
+ events: Event[];
21
+ dispatches: Record<string, DispatchRecord>;
22
+ }
23
+ export declare function protocol(): ProtocolState;
24
+ export declare function transact<T>(type: string, subject: string, actor: string, fn: (state: ProtocolState) => T): T;
@@ -0,0 +1,35 @@
1
+ import { randomUUID, createHash } from 'node:crypto';
2
+ import { readFileSync, existsSync } from 'node:fs';
3
+ import { homePath, lockPath } from "./home.js";
4
+ import { FileLock } from "./lock.js";
5
+ import { writeJsonAtomic } from "./store.js";
6
+ export const hash = (value) => createHash('sha256').update(typeof value === 'string' ? value : JSON.stringify(value)).digest('hex');
7
+ export const uid = (prefix) => `${prefix}_${randomUUID().replaceAll('-', '')}`;
8
+ const empty = () => ({ schemaVersion: 1, revision: 0, artifacts: {}, evidence: {}, ledgers: {}, briefs: {}, invalidations: {}, programs: {}, frontiers: {}, approvals: {}, leases: {}, events: [], dispatches: {} });
9
+ export function protocol() {
10
+ const path = homePath('protocol.json');
11
+ if (!existsSync(path))
12
+ return empty();
13
+ const state = JSON.parse(readFileSync(path, 'utf8'));
14
+ if (state.schemaVersion !== 1 || !state.ledgers || !state.artifacts || !Array.isArray(state.events))
15
+ throw new Error('STATE_UNCERTAIN: invalid protocol store');
16
+ state.dispatches ??= {};
17
+ return state;
18
+ }
19
+ // State and audit events commit in one atomic envelope. No cross-file journal transaction claims.
20
+ export function transact(type, subject, actor, fn) {
21
+ const lock = new FileLock(lockPath('protocol-state'));
22
+ if (!lock.acquire())
23
+ throw new Error('STATE_BUSY: retry protocol operation');
24
+ try {
25
+ const state = protocol();
26
+ const result = fn(state);
27
+ state.revision++;
28
+ state.events.push({ id: uid('evt'), at: new Date().toISOString(), actor, type, subject, data: result ?? null });
29
+ writeJsonAtomic(homePath('protocol.json'), state);
30
+ return result;
31
+ }
32
+ finally {
33
+ lock.release();
34
+ }
35
+ }
@@ -0,0 +1,3 @@
1
+ export declare function redactSecrets(text: string): string;
2
+ /** Redacts the whole buffer first, so a secret split across chunks is still whole when matched. */
3
+ export declare function redactLogTail(raw: string, cap: number): string;
@@ -0,0 +1,32 @@
1
+ const LABELS = [
2
+ "authorization", "proxy-authorization", "api[_-]?key", "apikey",
3
+ "access[_-]?token", "auth[_-]?token", "refresh[_-]?token", "id[_-]?token",
4
+ "token", "password", "passwd", "secret", "client[_-]?secret", "private[_-]?key",
5
+ ].join("|");
6
+ const PREFIXES = [
7
+ "github_pat_", "ghp_", "gho_", "ghu_", "ghs_", "ghr_",
8
+ "glpat-", "glsa_", "gldt-", "npm_", "pypi-", "hf_",
9
+ "xoxb-", "xoxp-", "xoxa-", "xoxr-", "xoxs-", "xapp-",
10
+ "shpat_", "shpss_", "sk-ant-", "sk_live_", "sk_test_", "sk-", "AIza", "AKIA", "ASIA",
11
+ ].join("|");
12
+ const RULES = [
13
+ { pattern: new RegExp(`((?:${LABELS})\\s*[:=]\\s*(?:[Bb]earer\\s+)?)("[^"]*"|'[^']*'|[^\\s,"'}]+)`, "gi"), replace: "$1[REDACTED]" },
14
+ { pattern: /([A-Za-z][A-Za-z0-9+.-]*:\/\/)[^\s/@]+@/g, replace: "$1[REDACTED]@" },
15
+ { pattern: new RegExp(`(?:${PREFIXES})[A-Za-z0-9_-]{8,}`, "g"), replace: "[REDACTED]" },
16
+ { pattern: /\bBearer\s+[A-Za-z0-9._~+/-]{8,}=*/g, replace: "Bearer [REDACTED]" },
17
+ ];
18
+ export function redactSecrets(text) {
19
+ let result = text;
20
+ for (const rule of RULES)
21
+ result = result.replace(rule.pattern, rule.replace);
22
+ return result;
23
+ }
24
+ /** Redacts the whole buffer first, so a secret split across chunks is still whole when matched. */
25
+ export function redactLogTail(raw, cap) {
26
+ const redacted = redactSecrets(raw);
27
+ if (raw.length <= cap)
28
+ return redacted;
29
+ const tail = redacted.slice(-cap);
30
+ const firstBreak = tail.indexOf("\n");
31
+ return firstBreak >= 0 ? tail.slice(firstBreak + 1) : tail;
32
+ }
@@ -0,0 +1,6 @@
1
+ export declare function ensureHome(): void;
2
+ export declare function readJson<T>(path: string, fallback: T): T;
3
+ export declare function writeJsonAtomic(path: string, value: unknown): void;
4
+ export declare function appendJournal(path: string, event: unknown): void;
5
+ export declare function listJson<T>(dir: string): T[];
6
+ export declare function removeFile(path: string): void;
@@ -0,0 +1,75 @@
1
+ import { closeSync, fsyncSync, openSync, appendFileSync, existsSync, mkdirSync, readFileSync, readdirSync, renameSync, rmSync, writeFileSync } from "node:fs";
2
+ import { dirname, join } from "node:path";
3
+ import { pstackHome } from "./home.js";
4
+ export function ensureHome() {
5
+ for (const dir of ["workflows", "agents", "journals", "locks", "worktrees", "sessions", "loops", "receipts"]) {
6
+ mkdirSync(join(pstackHome(), dir), { recursive: true });
7
+ }
8
+ }
9
+ export function readJson(path, fallback) {
10
+ if (!existsSync(path))
11
+ return structuredClone(fallback);
12
+ try {
13
+ return JSON.parse(readFileSync(path, "utf8"));
14
+ }
15
+ catch {
16
+ return structuredClone(fallback);
17
+ }
18
+ }
19
+ export function writeJsonAtomic(path, value) {
20
+ mkdirSync(dirname(path), { recursive: true });
21
+ const temp = `${path}.${process.pid}.${Date.now()}.${Math.random().toString(16).slice(2)}.tmp`;
22
+ try {
23
+ writeFileSync(temp, `${JSON.stringify(value, null, 2)}\n`, { encoding: "utf8", mode: 0o600 });
24
+ const fd = openSync(temp, "r+");
25
+ try {
26
+ fsyncSync(fd);
27
+ }
28
+ finally {
29
+ closeSync(fd);
30
+ }
31
+ renameSync(temp, path);
32
+ }
33
+ catch (error) {
34
+ try {
35
+ rmSync(temp, { force: true });
36
+ }
37
+ catch { /* Preserve the original write error. */ }
38
+ throw error;
39
+ }
40
+ // Persist the rename on filesystems supporting directory fsync.
41
+ try {
42
+ const dirFd = openSync(dirname(path), "r");
43
+ try {
44
+ fsyncSync(dirFd);
45
+ }
46
+ finally {
47
+ closeSync(dirFd);
48
+ }
49
+ }
50
+ catch (error) {
51
+ if (!["EINVAL", "ENOTSUP", "EBADF", "EPERM"].includes(error.code ?? ""))
52
+ throw error;
53
+ }
54
+ }
55
+ export function appendJournal(path, event) {
56
+ mkdirSync(dirname(path), { recursive: true });
57
+ appendFileSync(path, `${JSON.stringify({ at: new Date().toISOString(), ...event })}\n`, { encoding: "utf8", mode: 0o600 });
58
+ }
59
+ export function listJson(dir) {
60
+ if (!existsSync(dir))
61
+ return [];
62
+ const result = [];
63
+ for (const name of readdirSync(dir)) {
64
+ if (!name.endsWith(".json"))
65
+ continue;
66
+ try {
67
+ result.push(JSON.parse(readFileSync(join(dir, name), "utf8")));
68
+ }
69
+ catch { /* corrupted records are surfaced by higher-level validation */ }
70
+ }
71
+ return result;
72
+ }
73
+ export function removeFile(path) {
74
+ rmSync(path, { force: true });
75
+ }
@@ -0,0 +1,4 @@
1
+ export declare function updateRecord<T extends {
2
+ id: string;
3
+ revision?: number;
4
+ }>(kind: "workflow" | "agent", id: string, path: string, change: (record: T) => void, afterSave?: (record: T) => void): T;
@@ -0,0 +1,44 @@
1
+ import { FileLock } from "./lock.js";
2
+ import { lockPath } from "./home.js";
3
+ import { readJson, writeJsonAtomic } from "./store.js";
4
+ // Short-lived state locks are distinct from long-lived execution/checkout locks.
5
+ // Every read-modify-write participates in the same cross-process critical section.
6
+ const sleepArray = new Int32Array(new SharedArrayBuffer(4));
7
+ const DEFAULT_BUDGET_MS = 20_000;
8
+ // One uncontended update costs about 16 ms here (read, mutate, fsync, rename), so a
9
+ // 70-update contested burst needs about 1.1 s on an idle machine and several times
10
+ // that under load. The default budget keeps real contention retryable; only an owner
11
+ // that keeps renewing the lock for this long surfaces STATE_BUSY.
12
+ function budgetMs() {
13
+ const raw = process.env.PSTACK_STATE_LOCK_BUDGET_MS;
14
+ if (raw === undefined)
15
+ return DEFAULT_BUDGET_MS;
16
+ const value = Number(raw);
17
+ if (!Number.isSafeInteger(value) || value < 1 || value > 300_000)
18
+ throw new Error("PSTACK_STATE_LOCK_BUDGET_MS must be an integer between 1 and 300000");
19
+ return value;
20
+ }
21
+ export function updateRecord(kind, id, path, change, afterSave) {
22
+ const budget = budgetMs();
23
+ const lock = new FileLock(lockPath(`state-${kind}-${id}`), Math.max(15_000, budget));
24
+ const deadline = Date.now() + budget;
25
+ while (!lock.acquire()) {
26
+ if (Date.now() >= deadline)
27
+ throw new Error(`State for ${kind} ${id} is busy after ${budget} ms of contention; retry the operation.`);
28
+ Atomics.wait(sleepArray, 0, 0, 10);
29
+ }
30
+ try {
31
+ const record = readJson(path, undefined);
32
+ if (!record)
33
+ throw new Error(`Unknown ${kind}: ${id}`);
34
+ const previous = record.revision ?? 0;
35
+ change(record);
36
+ record.revision = previous + 1;
37
+ writeJsonAtomic(path, record);
38
+ afterSave?.(record);
39
+ return record;
40
+ }
41
+ finally {
42
+ lock.release();
43
+ }
44
+ }
@@ -0,0 +1,202 @@
1
+ import type { EvidencePacket } from "../agent/resources.js";
2
+ import type { CandidateInput } from "../agent/candidates.js";
3
+ import type { TaskBrief, TaskReport, Fingerprint, Usage, Budget, GateStatus } from "../contracts/types.js";
4
+ export type WorkflowState = "created" | "running" | "blocked" | "paused" | "completed" | "failed" | "cancelling" | "cancelled";
5
+ export type CallState = "pending" | "ready" | "running" | "waiting" | "completed" | "failed" | "cancelled" | "skipped";
6
+ export type IsolationMode = "shared" | "worktree" | "readonly";
7
+ export type AgentProfileName = "worker" | "reviewer" | "adversary" | "repro-verifier" | "cross-judge" | "scout" | "architect" | "verifier" | "synthesizer" | "integrator" | "poteto-agent" | "comment-sicko";
8
+ export interface DurableError {
9
+ code: string;
10
+ message: string;
11
+ retryable: boolean;
12
+ cause?: string;
13
+ occurredAt: string;
14
+ }
15
+ export interface AgentRecord {
16
+ evidencePackets?: EvidencePacket[];
17
+ candidateInputs?: CandidateInput[];
18
+ brief?: TaskBrief;
19
+ baseline?: Fingerprint;
20
+ report?: TaskReport;
21
+ reportError?: string;
22
+ usage?: Usage;
23
+ thinkingLevel?: ThinkingLevelName;
24
+ budget?: Budget;
25
+ id: string;
26
+ revision?: number;
27
+ parentSessionId?: string;
28
+ workflowId?: string;
29
+ callKey?: string;
30
+ profile: AgentProfileName | string;
31
+ task: string;
32
+ state: "created" | "running" | "completed" | "failed" | "cancelling" | "cancelled";
33
+ model?: string;
34
+ modelSelection?: {
35
+ requested: string;
36
+ effective: string;
37
+ notes: string[];
38
+ };
39
+ cwd: string;
40
+ isolation: IsolationMode;
41
+ worktree?: string;
42
+ branch?: string;
43
+ worktreeRepoRoot?: string;
44
+ worktreeBaseRef?: string;
45
+ sessionFile?: string;
46
+ sessionDir?: string;
47
+ createdAt: string;
48
+ startedAt?: string;
49
+ finishedAt?: string;
50
+ result?: string;
51
+ error?: DurableError;
52
+ attempt: number;
53
+ depth: number;
54
+ }
55
+ export interface WorkflowCall {
56
+ /** A failed candidate excluded before a comparison, never an accepted artifact. */
57
+ excludedFromSelection?: boolean;
58
+ evidencePackets?: EvidencePacket[];
59
+ brief?: TaskBrief;
60
+ thinkingLevel?: ThinkingLevelName;
61
+ budget?: Budget;
62
+ verification?: {
63
+ status: GateStatus;
64
+ ledgerId?: string;
65
+ reason?: string;
66
+ };
67
+ artifactId?: string;
68
+ report?: TaskReport;
69
+ reportError?: string;
70
+ usage?: Usage;
71
+ key: string;
72
+ profile: AgentProfileName | string;
73
+ task: string;
74
+ state: CallState;
75
+ dependsOn: string[];
76
+ attempt: number;
77
+ model?: string;
78
+ modelSelection?: {
79
+ requested: string;
80
+ effective: string;
81
+ notes: string[];
82
+ };
83
+ isolation?: IsolationMode;
84
+ cwd?: string;
85
+ agentId?: string;
86
+ startedAt?: string;
87
+ finishedAt?: string;
88
+ result?: string;
89
+ error?: DurableError;
90
+ }
91
+ export interface WorkflowEdge {
92
+ from: string;
93
+ to: string;
94
+ }
95
+ export interface WorkflowRecord {
96
+ completionPolicy?: 'first-pass';
97
+ firstPassWinner?: string;
98
+ modelNotes?: string[];
99
+ deliveryContract?: "local-dag" | "candidate-only" | "remote-stack-required";
100
+ schemaVersion?: 2;
101
+ reviewFingerprint?: Fingerprint;
102
+ budget?: Budget;
103
+ verification?: "unknown" | "verified" | "blocked" | "stale";
104
+ id: string;
105
+ revision?: number;
106
+ name?: string;
107
+ type: "single" | "parallel" | "chain" | "graph" | "swarm" | "arena" | "orchestrate" | "review" | "loop";
108
+ state: WorkflowState;
109
+ createdAt: string;
110
+ updatedAt: string;
111
+ parentSessionId?: string;
112
+ parentCwd: string;
113
+ calls: Record<string, WorkflowCall>;
114
+ edges: WorkflowEdge[];
115
+ maxConcurrency: number;
116
+ result?: string;
117
+ error?: DurableError;
118
+ cancelledAt?: string;
119
+ upstreamContext?: {
120
+ pstackVersion: string;
121
+ skill?: string;
122
+ playbook?: string;
123
+ };
124
+ }
125
+ export interface DispatchRecord {
126
+ id: string;
127
+ owner: string;
128
+ programId: string;
129
+ unitKey: string;
130
+ workflowId: string;
131
+ briefDigest: string;
132
+ ordersRevision?: number;
133
+ state: "committed" | "materialized";
134
+ workflow: WorkflowRecord;
135
+ createdAt: string;
136
+ materializedAt?: string;
137
+ }
138
+ export interface LoopRecord {
139
+ id: string;
140
+ sessionId: string;
141
+ intervalMs: number;
142
+ task: string;
143
+ enabled: boolean;
144
+ createdAt: string;
145
+ nextRunAt: string;
146
+ lastRunAt?: string;
147
+ missedPolicy: "run-once" | "skip";
148
+ }
149
+ export interface RuntimeConfig {
150
+ version: 1;
151
+ skillsEnabled: boolean;
152
+ defaultConcurrency: number;
153
+ loopMissedPolicy: "run-once" | "skip";
154
+ }
155
+ export type ThinkingLevelName = "off" | "minimal" | "low" | "medium" | "high" | "xhigh" | "max";
156
+ export interface ModelConfig {
157
+ panels?: Record<string, string[]>;
158
+ workflows?: Record<string, Record<string, string>>;
159
+ version: 1;
160
+ roles: Record<string, string>;
161
+ thinkingLevel: "inherit-parent" | ThinkingLevelName;
162
+ fallbackPolicy?: "disabled" | "same-family";
163
+ }
164
+ export interface AgentProfile {
165
+ name: AgentProfileName | string;
166
+ description: string;
167
+ tools: string[];
168
+ writable: boolean;
169
+ defaultIsolation: IsolationMode;
170
+ defaultRole: string;
171
+ systemPrompt: string;
172
+ }
173
+ export interface WorkflowNodeSpec {
174
+ evidencePackets?: EvidencePacket[];
175
+ brief?: TaskBrief;
176
+ thinkingLevel?: ThinkingLevelName;
177
+ budget?: Budget;
178
+ key: string;
179
+ profile?: AgentProfileName | string;
180
+ task: string;
181
+ dependsOn?: string[];
182
+ model?: string;
183
+ /** Named task role, distinct from the tool-permission profile. */
184
+ modelRole?: string;
185
+ isolation?: IsolationMode;
186
+ }
187
+ export interface WorkflowRunSpec {
188
+ completionPolicy?: 'first-pass';
189
+ modelNotes?: string[];
190
+ deliveryContract?: "local-dag" | "candidate-only" | "remote-stack-required";
191
+ contractLevel?: "strict" | "minimal";
192
+ budget?: Budget;
193
+ name?: string;
194
+ type?: WorkflowRecord["type"];
195
+ nodes: WorkflowNodeSpec[];
196
+ maxConcurrency?: number;
197
+ parentSessionId?: string;
198
+ cwd: string;
199
+ pstackVersion?: string;
200
+ skill?: string;
201
+ playbook?: string;
202
+ }
@@ -0,0 +1 @@
1
+ export {};
@@ -0,0 +1,2 @@
1
+ /** The active source pin; semantic approval is recorded separately from source availability. */
2
+ export declare function upstreamVersion(): string;
@@ -0,0 +1,8 @@
1
+ import { readFileSync } from 'node:fs';
2
+ /** The active source pin; semantic approval is recorded separately from source availability. */
3
+ export function upstreamVersion() {
4
+ const metadata = JSON.parse(readFileSync(new URL('../../UPSTREAM.json', import.meta.url), 'utf8'));
5
+ if (typeof metadata.version !== 'string' || !/^[\w.+-]+$/.test(metadata.version))
6
+ throw new Error('UPSTREAM_METADATA_INVALID');
7
+ return metadata.version;
8
+ }
@@ -0,0 +1,2 @@
1
+ import type { ExtensionAPI, ExtensionContext } from "@earendil-works/pi-coding-agent";
2
+ export declare function runSetup(pi: ExtensionAPI, ctx: ExtensionContext): Promise<void>;