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,75 @@
1
+ import type { ExtensionContext } from '@earendil-works/pi-coding-agent';
2
+ import type { WorkflowRunSpec } from '../runtime/types.js';
3
+ import type { WorkflowEngine } from '../workflow/engine.js';
4
+ export interface Unit {
5
+ key: string;
6
+ spec: WorkflowRunSpec;
7
+ workflowId?: string;
8
+ ordersRevision?: number;
9
+ ordersAcknowledgement?: {
10
+ revision: number;
11
+ actor: string;
12
+ reason: string;
13
+ at: string;
14
+ };
15
+ state: 'pending' | 'running' | 'needs-verify' | 'blocked' | 'failed' | 'ready-to-integrate' | 'reconciled';
16
+ ledgerRefs: string[];
17
+ }
18
+ export interface OrdersDrift {
19
+ key: string;
20
+ dispatchedRevision: number | null;
21
+ currentRevision: number;
22
+ message: string;
23
+ }
24
+ export interface Program {
25
+ id: string;
26
+ owner: string;
27
+ revision: number;
28
+ state: 'pilot' | 'scaling' | 'paused' | 'blocked' | 'completed';
29
+ maxConcurrency: number;
30
+ units: Unit[];
31
+ inbox: {
32
+ id: string;
33
+ key: string;
34
+ state: Unit['state'];
35
+ processed: boolean;
36
+ }[];
37
+ orders?: {
38
+ revision: number;
39
+ instructions: string[];
40
+ digest: string;
41
+ };
42
+ blockedReason?: {
43
+ code: 'ORDERS_STALE';
44
+ units: {
45
+ key: string;
46
+ dispatchedRevision: number | null;
47
+ }[];
48
+ currentRevision: number;
49
+ message: string;
50
+ };
51
+ completionPredicate: 'all-units-verified';
52
+ createdAt: string;
53
+ }
54
+ export declare function ordersDrift(program: Program, unit: Unit): OrdersDrift | undefined;
55
+ export declare class ProgramCoordinator {
56
+ private workflows;
57
+ constructor(workflows: WorkflowEngine);
58
+ create(owner: string, specs: {
59
+ key: string;
60
+ spec: WorkflowRunSpec;
61
+ }[], maxConcurrency?: number): Program;
62
+ get(id: string, owner: string): Program;
63
+ private drift;
64
+ private assertOrdersDigest;
65
+ private blockOrders;
66
+ run(id: string, ctx: ExtensionContext): Promise<Program>;
67
+ drain(id: string, owner: string): Program;
68
+ close(id: string, owner: string): Program;
69
+ updateOrders(id: string, owner: string, instructions: string[], reason: string): Program;
70
+ acknowledgeOrders(id: string, owner: string, key: string, revision: number, reason: string): Program;
71
+ resume(id: string, owner: string): Program & {
72
+ staleUnits: OrdersDrift[];
73
+ };
74
+ pause(id: string, owner: string): Program;
75
+ }
@@ -0,0 +1,169 @@
1
+ import { protocol, transact, uid, hash } from "../runtime/protocol.js";
2
+ import { buildDispatch, commitDispatch, materializeDispatch, requireDispatch } from "./dispatch.js";
3
+ export function ordersDrift(program, unit) {
4
+ if (!program.orders || !unit.workflowId)
5
+ return undefined;
6
+ if (unit.ordersRevision === program.orders.revision || unit.ordersAcknowledgement?.revision === program.orders.revision)
7
+ return undefined;
8
+ const dispatchedRevision = unit.ordersRevision ?? null;
9
+ return { key: unit.key, dispatchedRevision, currentRevision: program.orders.revision, message: `STALE_ORDERS: unit ${unit.key} was dispatched under orders revision ${dispatchedRevision ?? 'none'}, current revision ${program.orders.revision}` };
10
+ }
11
+ export class ProgramCoordinator {
12
+ workflows;
13
+ constructor(workflows) { this.workflows = workflows; }
14
+ create(owner, specs, maxConcurrency = 4) {
15
+ if (!specs.length || new Set(specs.map(s => s.key)).size !== specs.length)
16
+ throw new Error('INVALID_UNITS');
17
+ if (specs.some(s => s.spec.nodes.some(n => !n.brief || n.brief.contractLevel !== 'strict')))
18
+ throw new Error('PROGRAM_REQUIRES_STRICT_BRIEFS');
19
+ const p = { id: uid('program'), owner, revision: 0, state: 'pilot', maxConcurrency: Math.max(1, Math.min(16, maxConcurrency)), units: specs.map(s => ({ ...s, state: 'pending', ledgerRefs: [] })), inbox: [], completionPredicate: 'all-units-verified', createdAt: new Date().toISOString() };
20
+ return transact('program-created', p.id, owner, s => { s.programs[p.id] = p; return p; });
21
+ }
22
+ get(id, owner) { const p = protocol().programs[id]; if (!p || p.owner !== owner)
23
+ throw new Error('PROGRAM_NOT_FOUND'); return p; }
24
+ drift(program) { return program.units.flatMap(unit => { const found = ordersDrift(program, unit); return found ? [found] : []; }); }
25
+ assertOrdersDigest(program) { if (program.orders && program.orders.digest !== hash(program.orders.instructions))
26
+ throw new Error('ORDERS_INTEGRITY_MISMATCH: stored standing orders do not match their digest'); }
27
+ blockOrders(id, owner, drift) {
28
+ return transact('program-orders-stale', id, owner, s => { const p = s.programs[id]; p.state = 'blocked'; p.blockedReason = { code: 'ORDERS_STALE', units: drift.map(d => ({ key: d.key, dispatchedRevision: d.dispatchedRevision })), currentRevision: drift[0].currentRevision, message: drift.map(d => d.message).join('; ') }; p.revision++; return p; });
29
+ }
30
+ async run(id, ctx) {
31
+ const owner = ctx.sessionManager.getSessionId();
32
+ const p = this.get(id, owner);
33
+ if (p.state === 'paused' || p.state === 'completed')
34
+ return p;
35
+ this.assertOrdersDigest(p);
36
+ const stale = this.drift(p);
37
+ if (stale.length)
38
+ return this.blockOrders(id, owner, stale);
39
+ const runUnit = async (key) => {
40
+ let unit = this.get(id, owner).units.find(u => u.key === key);
41
+ if (!unit.workflowId) {
42
+ const currentProgram = this.get(id, owner);
43
+ const orders = currentProgram.orders;
44
+ this.assertOrdersDigest(currentProgram);
45
+ const workflow = this.workflows.build({ ...unit.spec, nodes: unit.spec.nodes.map(n => ({ ...n, brief: n.brief && orders ? { ...n.brief, id: `${n.brief.id}.${currentProgram.id}.${unit.key}`, revision: 1, standingOrders: orders.instructions } : n.brief })), parentSessionId: owner, contractLevel: 'strict' });
46
+ const dispatch = buildDispatch({ programId: id, unitKey: key, owner, workflow, ordersRevision: orders?.revision });
47
+ transact('unit-dispatched', id, owner, s => {
48
+ const u = s.programs[id].units.find((x) => x.key === key);
49
+ if (u.workflowId && u.workflowId !== dispatch.workflowId)
50
+ throw new Error('UNIT_ALREADY_DISPATCHED');
51
+ u.workflowId = dispatch.workflowId;
52
+ u.state = 'running';
53
+ if (orders)
54
+ u.ordersRevision = orders.revision;
55
+ commitDispatch(s, dispatch);
56
+ return { key, workflowId: dispatch.workflowId, dispatchId: dispatch.id };
57
+ });
58
+ unit = this.get(id, owner).units.find(u => u.key === key);
59
+ }
60
+ materializeDispatch(requireDispatch(unit.workflowId), (record) => this.workflows.materialize(record));
61
+ const wf = await this.workflows.run(unit.workflowId, ctx);
62
+ transact('unit-completion', id, owner, s => {
63
+ const program = s.programs[id];
64
+ const u = program.units.find(x => x.key === key);
65
+ u.ledgerRefs = Object.values(wf.calls).flatMap(c => c.verification?.ledgerId ?? []);
66
+ u.state = wf.state === 'failed' || wf.state === 'cancelled' ? 'failed' : this.workflows.acceptedWorkflow(wf) ? 'ready-to-integrate' : 'blocked';
67
+ program.inbox.push({ id: uid('inbox'), key, state: u.state, processed: false });
68
+ program.revision++;
69
+ return { key, state: u.state };
70
+ });
71
+ };
72
+ if (p.state === 'pilot') {
73
+ await runUnit(p.units[0].key);
74
+ const pilot = this.get(id, owner).units[0];
75
+ transact('pilot-settled', id, owner, s => { s.programs[id].state = pilot.state === 'ready-to-integrate' ? 'scaling' : 'blocked'; return { state: s.programs[id].state }; });
76
+ const stalled = this.drift(this.get(id, owner));
77
+ if (stalled.length)
78
+ return this.blockOrders(id, owner, stalled);
79
+ if (pilot.state !== 'ready-to-integrate')
80
+ return this.get(id, owner);
81
+ }
82
+ const active = new Map();
83
+ while (true) {
84
+ const current = this.get(id, owner);
85
+ if (current.state === 'paused') {
86
+ await Promise.all(active.values());
87
+ return this.get(id, owner);
88
+ }
89
+ const drift = this.drift(current);
90
+ if (drift.length) {
91
+ await Promise.all(active.values());
92
+ return this.blockOrders(id, owner, drift);
93
+ }
94
+ for (const unit of current.units) {
95
+ if (active.size >= current.maxConcurrency)
96
+ break;
97
+ if (!['pending', 'running', 'blocked'].includes(unit.state) || active.has(unit.key))
98
+ continue;
99
+ const promise = runUnit(unit.key).finally(() => active.delete(unit.key));
100
+ active.set(unit.key, promise);
101
+ }
102
+ if (!active.size)
103
+ break;
104
+ await Promise.race(active.values());
105
+ if (this.get(id, owner).units.some(u => u.state === 'blocked' || u.state === 'failed')) {
106
+ await Promise.all(active.values());
107
+ break;
108
+ }
109
+ }
110
+ const late = this.drift(this.get(id, owner));
111
+ return late.length ? this.blockOrders(id, owner, late) : this.drain(id, owner);
112
+ }
113
+ drain(id, owner) {
114
+ this.get(id, owner);
115
+ return transact('inbox-drained', id, owner, s => { const p = s.programs[id]; for (const e of p.inbox) {
116
+ if (e.processed)
117
+ continue;
118
+ e.processed = true;
119
+ const u = p.units.find(u => u.key === e.key);
120
+ if (u.state === 'ready-to-integrate')
121
+ u.state = 'reconciled';
122
+ } p.revision++; return p; });
123
+ }
124
+ close(id, owner) {
125
+ const p = this.get(id, owner);
126
+ const failures = p.units.filter(u => { const wf = u.workflowId ? this.workflows.get(u.workflowId) : undefined; return u.state !== 'reconciled' || !wf || !this.workflows.acceptedWorkflow(wf); });
127
+ if (failures.length)
128
+ throw new Error(`PROGRAM_CLOSE_BLOCKED: ${failures.map(u => u.key).join(',')}`);
129
+ return transact('program-closed', id, owner, s => { s.programs[id].state = 'completed'; return s.programs[id]; });
130
+ }
131
+ updateOrders(id, owner, instructions, reason) {
132
+ this.get(id, owner);
133
+ if (!reason.trim() || !instructions.length || instructions.some(x => typeof x !== 'string'))
134
+ throw new Error('INVALID_STANDING_ORDERS');
135
+ return transact('program-orders-revised', id, owner, s => { const p = s.programs[id]; p.orders = { revision: (p.orders?.revision ?? 0) + 1, instructions, digest: hash(instructions) }; p.revision++; return { ...p, reason }; });
136
+ }
137
+ acknowledgeOrders(id, owner, key, revision, reason) {
138
+ const p = this.get(id, owner);
139
+ if (!reason.trim())
140
+ throw new Error('INVALID_STANDING_ORDERS_ACKNOWLEDGEMENT');
141
+ this.assertOrdersDigest(p);
142
+ if (!p.orders)
143
+ throw new Error('NO_STANDING_ORDERS');
144
+ if (p.orders.revision !== revision)
145
+ throw new Error(`ORDERS_REVISION_MISMATCH: acknowledgement names revision ${revision}, current revision ${p.orders.revision}`);
146
+ const unit = p.units.find(u => u.key === key);
147
+ if (!unit)
148
+ throw new Error('UNKNOWN_UNIT');
149
+ if (!unit.workflowId)
150
+ throw new Error('UNIT_NOT_DISPATCHED');
151
+ return transact('unit-orders-acknowledged', id, owner, s => {
152
+ const current = s.programs[id];
153
+ if (current.orders?.revision !== revision)
154
+ throw new Error(`ORDERS_REVISION_MISMATCH: acknowledgement names revision ${revision}, current revision ${current.orders?.revision ?? 'none'}`);
155
+ this.assertOrdersDigest(current);
156
+ current.units.find(u => u.key === key).ordersAcknowledgement = { revision, actor: owner, reason, at: new Date().toISOString() };
157
+ current.revision++;
158
+ return current;
159
+ });
160
+ }
161
+ resume(id, owner) {
162
+ const p = this.get(id, owner);
163
+ if (!['paused', 'blocked'].includes(p.state))
164
+ throw new Error('PROGRAM_NOT_RESUMABLE');
165
+ const resumed = transact('program-resumed', id, owner, s => { const p = s.programs[id]; p.state = ['ready-to-integrate', 'reconciled'].includes(p.units[0].state) ? 'scaling' : 'pilot'; return p; });
166
+ return { ...resumed, staleUnits: this.drift(resumed) };
167
+ }
168
+ pause(id, owner) { this.get(id, owner); return transact('program-paused', id, owner, s => { s.programs[id].state = 'paused'; return s.programs[id]; }); }
169
+ }
@@ -0,0 +1,20 @@
1
+ import type { DispatchRecord, WorkflowRecord } from '../runtime/types.js';
2
+ type DispatchStore = {
3
+ dispatches: Record<string, DispatchRecord>;
4
+ };
5
+ export declare function briefDigest(workflow: WorkflowRecord): string;
6
+ export declare function dispatchKey(programId: string, unitKey: string): string;
7
+ export declare function buildDispatch(input: {
8
+ programId: string;
9
+ unitKey: string;
10
+ owner: string;
11
+ workflow: WorkflowRecord;
12
+ ordersRevision?: number;
13
+ }): DispatchRecord;
14
+ export declare function commitDispatch(store: DispatchStore, dispatch: DispatchRecord): DispatchRecord;
15
+ export declare function findDispatch(workflowId: string): DispatchRecord | undefined;
16
+ export declare function requireDispatch(workflowId: string): DispatchRecord;
17
+ /** Committed intent is the truth. The workflow file is rebuilt from it, never edited into agreement. */
18
+ export declare function materializeDispatch(dispatch: DispatchRecord, write: (record: WorkflowRecord) => void): DispatchRecord;
19
+ export declare function dispatchVeto(workflowId: string, file: WorkflowRecord | undefined): string | undefined;
20
+ export {};
@@ -0,0 +1,82 @@
1
+ import { hash, protocol, transact } from "../runtime/protocol.js";
2
+ import { workflowPath } from "../runtime/home.js";
3
+ import { readJson } from "../runtime/store.js";
4
+ export function briefDigest(workflow) {
5
+ return hash(Object.keys(workflow.calls).sort().map((key) => [key, workflow.calls[key].brief ? hash(workflow.calls[key].brief) : null]));
6
+ }
7
+ export function dispatchKey(programId, unitKey) {
8
+ return `dsp_${hash({ programId, unitKey }).slice(0, 24)}`;
9
+ }
10
+ export function buildDispatch(input) {
11
+ return {
12
+ id: dispatchKey(input.programId, input.unitKey),
13
+ owner: input.owner,
14
+ programId: input.programId,
15
+ unitKey: input.unitKey,
16
+ workflowId: input.workflow.id,
17
+ briefDigest: briefDigest(input.workflow),
18
+ ...(input.ordersRevision === undefined ? {} : { ordersRevision: input.ordersRevision }),
19
+ state: 'committed',
20
+ workflow: input.workflow,
21
+ createdAt: new Date().toISOString(),
22
+ };
23
+ }
24
+ function sameIntent(a, b) {
25
+ return a.programId === b.programId && a.unitKey === b.unitKey && a.owner === b.owner && a.workflowId === b.workflowId &&
26
+ a.briefDigest === b.briefDigest && a.ordersRevision === b.ordersRevision && hash(a.workflow) === hash(b.workflow);
27
+ }
28
+ export function commitDispatch(store, dispatch) {
29
+ const existing = store.dispatches[dispatch.id];
30
+ if (!existing) {
31
+ store.dispatches[dispatch.id] = dispatch;
32
+ return dispatch;
33
+ }
34
+ if (!sameIntent(existing, dispatch))
35
+ throw new Error(`DISPATCH_CONFLICT: ${dispatch.id} was already committed with a different description`);
36
+ return existing;
37
+ }
38
+ export function findDispatch(workflowId) {
39
+ return Object.values(protocol().dispatches).find((dispatch) => dispatch.workflowId === workflowId);
40
+ }
41
+ export function requireDispatch(workflowId) {
42
+ const dispatch = findDispatch(workflowId);
43
+ if (!dispatch)
44
+ throw new Error(`ORPHAN_WORKFLOW: ${workflowId} has no committed dispatch record`);
45
+ return dispatch;
46
+ }
47
+ /** Committed intent is the truth. The workflow file is rebuilt from it, never edited into agreement. */
48
+ export function materializeDispatch(dispatch, write) {
49
+ const existing = readJson(workflowPath(dispatch.workflowId), undefined);
50
+ if (!existing)
51
+ write(dispatch.workflow);
52
+ else if (hash(existing) !== hash(dispatch.workflow))
53
+ throw new Error(`DISPATCH_MATERIALIZE_CONFLICT: ${dispatch.workflowId} on disk differs from the committed dispatch`);
54
+ if (dispatch.state === 'materialized')
55
+ return dispatch;
56
+ return transact('dispatch-materialized', dispatch.id, dispatch.owner, (state) => {
57
+ const current = state.dispatches[dispatch.id];
58
+ if (!current || current.state === 'materialized')
59
+ return current ?? dispatch;
60
+ current.state = 'materialized';
61
+ current.materializedAt = new Date().toISOString();
62
+ return current;
63
+ });
64
+ }
65
+ export function dispatchVeto(workflowId, file) {
66
+ const state = protocol();
67
+ const units = Object.values(state.programs)
68
+ .flatMap((program) => (program.units ?? []).map((unit) => ({ program, unit })));
69
+ const references = units.find(({ unit }) => unit.workflowId === workflowId);
70
+ const dispatch = Object.values(state.dispatches).find((candidate) => candidate.workflowId === workflowId);
71
+ if (!references && !dispatch)
72
+ return undefined;
73
+ if (!references || !dispatch)
74
+ return 'ORPHAN_WORKFLOW';
75
+ if (dispatch.programId !== references.program.id || dispatch.unitKey !== references.unit.key)
76
+ return 'DISPATCH_MISMATCH';
77
+ if (!file)
78
+ return 'DISPATCH_NOT_MATERIALIZED';
79
+ if (briefDigest(file) !== dispatch.briefDigest)
80
+ return 'DISPATCH_DRIFT';
81
+ return undefined;
82
+ }
@@ -0,0 +1,46 @@
1
+ #!/usr/bin/env node
2
+ import { auditWorktree } from '../worktree/manager.js';
3
+ import { prepareStack, openStack } from '../delivery/stack.js';
4
+ import { preparePR, openPreparedPR } from '../delivery/prepare.js';
5
+ // Node >=22.19 executes the shipped TypeScript sources natively.
6
+ import { readFileSync, writeFileSync } from 'node:fs';
7
+ import { runService } from './service.js';
8
+ import { migrate } from '../runtime/migrate.js';
9
+ import { protocol, hash, transact } from '../runtime/protocol.js';
10
+ import { fingerprint } from '../artifacts/fingerprint.js';
11
+ import { authorizeMerge, ship, refresh } from '../delivery/frontier.js';
12
+ import { GitHubCLI } from '../delivery/provider.js';
13
+ const [action,...args]=process.argv.slice(2);
14
+ try {
15
+ if(action==='migrate')console.log(JSON.stringify(migrate(!args.includes('--apply')),null,2));
16
+ else if(action==='run') {
17
+ if(!args[0])throw new Error('run requires runner configuration JSON');
18
+ const controller=new AbortController();process.on('SIGTERM',()=>controller.abort());process.on('SIGINT',()=>controller.abort());
19
+ await runService(args[0],args.includes('--once'),controller.signal);
20
+ } else if(action==='approve-gate') {
21
+ const [cwd,briefPath,gateId]=args;const brief=JSON.parse(readFileSync(briefPath,'utf8'));const gate=brief.verification.find(g=>g.id===gateId);
22
+ if(gate?.kind!=='human-approval' || !args.includes('--approve'))throw new Error('Requires human-approval gate and explicit --approve');
23
+ const fp=fingerprint(cwd,args.includes('--committed')?'committed':'working');
24
+ transact('human-gate-approved',gateId,'human-cli',s=>{s.approvals[hash({fingerprint:fp,gate:hash(gate)})]={actor:'human-cli',at:new Date().toISOString(),briefId:brief.id};return {gateId};});
25
+ console.log('Human approval recorded for this exact fingerprint.');
26
+ } else if(action==='worktree-audit') {
27
+ const info=JSON.parse(readFileSync(args[0],'utf8'));console.log(JSON.stringify(await auditWorktree(info,args[1] ?? info.baseRef),null,2));
28
+ } else if(action==='stack-plan') {
29
+ const input=JSON.parse(readFileSync(args[0],'utf8'));const plan=await prepareStack(input,new GitHubCLI());
30
+ if(args[1])writeFileSync(args[1],JSON.stringify(plan,null,2)+'\n',{mode:0o600});
31
+ console.log(JSON.stringify(plan,null,2));
32
+ } else if(action==='stack-open') {
33
+ const plan=JSON.parse(readFileSync(args[0],'utf8'));console.log(JSON.stringify(await openStack(plan,new GitHubCLI(),args.includes('--approve')),null,2));
34
+ } else if(action==='ship') {
35
+ const spec=JSON.parse(readFileSync(args[0],'utf8'));const provider=new GitHubCLI();
36
+ if(!args.includes('--approve'))console.log(JSON.stringify(await ship(spec,provider),null,2));
37
+ else {
38
+ const n=Number(args[args.indexOf('--pr')+1]);const f=await refresh(spec,provider);const token=authorizeMerge(f,n,'human-cli');
39
+ console.log(JSON.stringify(await ship(spec,provider,{token,dryRun:false}),null,2));
40
+ }
41
+ } else if(action==='open-pr') {
42
+ const [cwd,ledgerId,detailsPath]=args;const details=JSON.parse(readFileSync(detailsPath,'utf8'));
43
+ const plan=preparePR(cwd,ledgerId,details);console.log(JSON.stringify(await openPreparedPR(cwd,plan,new GitHubCLI(),args.includes('--approve')),null,2));
44
+ } else if(action==='export') {writeFileSync(args[0],JSON.stringify(protocol(),null,2));console.log('Audit exported.');}
45
+ else throw new Error('Usage: pstack-runner run CONFIG [--once] | migrate [--apply] | approve-gate CWD BRIEF GATE --approve [--committed] | worktree-audit INFO [BASE] | stack-plan INPUT [OUTPUT] | stack-open PLAN [--approve] | ship STACK [--approve --pr NUMBER] | export FILE');
46
+ } catch(error) {console.error(String(error));process.exitCode=1;}
@@ -0,0 +1,10 @@
1
+ export interface Lease {
2
+ subject: string;
3
+ owner: string;
4
+ token: number;
5
+ expiresAt: number;
6
+ }
7
+ export declare function claimLease(subject: string, owner: string, ttlMs?: number): Lease;
8
+ export declare function renewLease(lease: Lease, ttlMs?: number): Lease;
9
+ export declare function assertLease(lease: Lease): void;
10
+ export declare function releaseLease(lease: Lease): void;
@@ -0,0 +1,24 @@
1
+ import { protocol, transact } from "../runtime/protocol.js";
2
+ export function claimLease(subject, owner, ttlMs = 30000) {
3
+ return transact('lease-claimed', subject, owner, s => {
4
+ const prior = s.leases[subject];
5
+ if (prior && prior.expiresAt > Date.now() && prior.owner !== owner)
6
+ throw new Error('LEASE_BUSY');
7
+ const lease = { subject, owner, token: (prior?.token ?? 0) + 1, expiresAt: Date.now() + ttlMs };
8
+ s.leases[subject] = lease;
9
+ return lease;
10
+ });
11
+ }
12
+ export function renewLease(lease, ttlMs = 30000) {
13
+ return transact('lease-renewed', lease.subject, lease.owner, s => {
14
+ const prior = s.leases[lease.subject];
15
+ if (!prior || prior.owner !== lease.owner || prior.token !== lease.token || prior.expiresAt <= Date.now())
16
+ throw new Error('LEASE_LOST');
17
+ prior.expiresAt = Date.now() + ttlMs;
18
+ return prior;
19
+ });
20
+ }
21
+ export function assertLease(lease) { const current = protocol().leases[lease.subject]; if (!current || current.owner !== lease.owner || current.token !== lease.token || current.expiresAt <= Date.now())
22
+ throw new Error('LEASE_LOST'); }
23
+ export function releaseLease(lease) { transact('lease-released', lease.subject, lease.owner, s => { const current = s.leases[lease.subject]; if (current?.token === lease.token && current.owner === lease.owner)
24
+ current.expiresAt = 0; return { token: lease.token }; }); }
@@ -0,0 +1,8 @@
1
+ export interface RunnerConfig {
2
+ agentDir: string;
3
+ model: string;
4
+ workflowIds: string[];
5
+ pollMs?: number;
6
+ }
7
+ export declare function runnerOnce(config: RunnerConfig): Promise<unknown[]>;
8
+ export declare function runService(configPath: string, once?: boolean, signal?: AbortSignal): Promise<void>;
@@ -0,0 +1,66 @@
1
+ import { readFileSync } from 'node:fs';
2
+ import { join, isAbsolute } from 'node:path';
3
+ import { AgentHost } from "../agent/host.js";
4
+ import { WorkflowEngine } from "../workflow/engine.js";
5
+ import { uid, transact } from "../runtime/protocol.js";
6
+ import { claimLease, renewLease, releaseLease, assertLease } from "./lease.js";
7
+ export async function runnerOnce(config) {
8
+ if (!isAbsolute(config.agentDir) || !config.model?.includes('/') || !Array.isArray(config.workflowIds))
9
+ throw new Error('RUNNER_REQUIRES_EXPLICIT_AGENT_DIR_MODEL_WORKFLOWS');
10
+ const { ModelRuntime, ModelRegistry } = await import('@earendil-works/pi-coding-agent');
11
+ const runtime = await ModelRuntime.create({ authPath: join(config.agentDir, 'auth.json'), modelsPath: join(config.agentDir, 'models.json'), allowModelNetwork: false });
12
+ const slash = config.model.indexOf('/');
13
+ const provider = config.model.slice(0, slash);
14
+ const model = runtime.getModel(provider, config.model.slice(slash + 1));
15
+ if (!model || !runtime.hasConfiguredAuth(provider)) {
16
+ transact('runner-blocked', 'runner', 'standalone', () => ({ reason: 'AUTHENTICATION_UNAVAILABLE', workflowIds: config.workflowIds }));
17
+ return [{ status: 'blocked', reason: 'AUTHENTICATION_UNAVAILABLE' }];
18
+ }
19
+ const host = new AgentHost({ agentDir: config.agentDir, modelRuntime: runtime });
20
+ const engine = new WorkflowEngine(host);
21
+ const output = [];
22
+ for (const id of config.workflowIds) {
23
+ const wf = engine.get(id);
24
+ if (!wf || ['completed', 'failed', 'cancelled', 'paused'].includes(wf.state))
25
+ continue;
26
+ const owner = uid('runner');
27
+ const lease = claimLease(id, owner);
28
+ let lost = false;
29
+ const timer = setInterval(() => { try {
30
+ renewLease(lease);
31
+ }
32
+ catch {
33
+ lost = true;
34
+ void engine.pause(id);
35
+ for (const a of host.list().filter(a => a.workflowId === id && a.state === 'running'))
36
+ void host.stop(a.id);
37
+ } }, 5000);
38
+ try {
39
+ assertLease(lease);
40
+ const ctx = { cwd: wf.parentCwd, model, thinkingLevel: 'medium', scopedModels: [], modelRegistry: new ModelRegistry(runtime), sessionManager: { getSessionId: () => wf.parentSessionId ?? `runner-${id}`, getSessionFile: () => undefined } };
41
+ output.push(await engine.run(id, ctx));
42
+ assertLease(lease);
43
+ if (lost)
44
+ throw new Error('LEASE_LOST');
45
+ }
46
+ finally {
47
+ clearInterval(timer);
48
+ releaseLease(lease);
49
+ }
50
+ }
51
+ return output;
52
+ }
53
+ export async function runService(configPath, once = false, signal) {
54
+ const config = JSON.parse(readFileSync(configPath, 'utf8'));
55
+ do {
56
+ try {
57
+ await runnerOnce(config);
58
+ }
59
+ catch (error) {
60
+ transact('runner-error', 'runner', 'standalone', () => ({ reason: String(error) }));
61
+ }
62
+ if (once || signal?.aborted)
63
+ return;
64
+ await new Promise(resolve => { const done = () => { clearTimeout(timer); signal?.removeEventListener('abort', done); resolve(); }; const timer = setTimeout(done, Math.max(1000, Math.min(config.pollMs ?? 5000, 30000))); signal?.addEventListener('abort', done, { once: true }); });
65
+ } while (!signal?.aborted);
66
+ }
@@ -0,0 +1,3 @@
1
+ /** Canonicalize aliases (symlinks, subdirectories) to their individual checkout, not the shared Git common dir. */
2
+ export declare function checkoutIdentity(cwd: string): string;
3
+ export declare function writerLockKey(cwd: string): string;
@@ -0,0 +1,20 @@
1
+ import { createHash } from "node:crypto";
2
+ import { realpathSync } from "node:fs";
3
+ import { resolve } from "node:path";
4
+ import { execFileSync } from "node:child_process";
5
+ /** Canonicalize aliases (symlinks, subdirectories) to their individual checkout, not the shared Git common dir. */
6
+ export function checkoutIdentity(cwd) {
7
+ const canonical = realpathSync(resolve(cwd));
8
+ try {
9
+ const root = execFileSync("git", ["rev-parse", "--show-toplevel"], {
10
+ cwd: canonical, encoding: "utf8", stdio: ["ignore", "pipe", "ignore"],
11
+ }).trim();
12
+ return realpathSync(root);
13
+ }
14
+ catch {
15
+ return canonical;
16
+ }
17
+ }
18
+ export function writerLockKey(cwd) {
19
+ return createHash("sha256").update(checkoutIdentity(cwd)).digest("hex").slice(0, 20);
20
+ }
@@ -0,0 +1,7 @@
1
+ import type { ModelConfig, RuntimeConfig } from "./types.js";
2
+ export declare const DEFAULT_CONFIG: RuntimeConfig;
3
+ export declare const DEFAULT_MODELS: ModelConfig;
4
+ export declare function loadConfig(): RuntimeConfig;
5
+ export declare function saveConfig(config: RuntimeConfig): void;
6
+ export declare function loadModels(): ModelConfig;
7
+ export declare function saveModels(config: ModelConfig): void;
@@ -0,0 +1,46 @@
1
+ import { configPath, modelConfigPath } from "./home.js";
2
+ import { readJson, writeJsonAtomic } from "./store.js";
3
+ export const DEFAULT_CONFIG = {
4
+ version: 1,
5
+ skillsEnabled: true,
6
+ defaultConcurrency: 4,
7
+ loopMissedPolicy: "run-once",
8
+ };
9
+ export const DEFAULT_MODELS = {
10
+ version: 1,
11
+ thinkingLevel: "inherit-parent",
12
+ fallbackPolicy: "same-family",
13
+ roles: {
14
+ worker: "inherit-parent",
15
+ reviewer: "inherit-parent",
16
+ scout: "inherit-parent",
17
+ architect: "inherit-parent",
18
+ verifier: "inherit-parent",
19
+ synthesizer: "inherit-parent",
20
+ integrator: "inherit-parent",
21
+ "poteto-agent": "inherit-parent",
22
+ "comment-sicko": "inherit-parent",
23
+ },
24
+ };
25
+ export function loadConfig() {
26
+ const raw = readJson(configPath(), DEFAULT_CONFIG);
27
+ return {
28
+ ...DEFAULT_CONFIG,
29
+ ...raw,
30
+ version: 1,
31
+ defaultConcurrency: Math.max(1, Math.min(16, Number(raw.defaultConcurrency) || DEFAULT_CONFIG.defaultConcurrency)),
32
+ };
33
+ }
34
+ export function saveConfig(config) { writeJsonAtomic(configPath(), config); }
35
+ export function loadModels() {
36
+ const raw = readJson(modelConfigPath(), DEFAULT_MODELS);
37
+ const level = raw.thinkingLevel === undefined ? DEFAULT_MODELS.thinkingLevel : raw.thinkingLevel;
38
+ if (typeof level !== "string" || !["inherit-parent", "off", "minimal", "low", "medium", "high", "xhigh", "max"].includes(level)) {
39
+ throw new Error(`Invalid thinkingLevel in ${modelConfigPath()}; edit it to inherit-parent, off, minimal, low, medium, high, xhigh, or max.`);
40
+ }
41
+ const fallbackPolicy = raw.fallbackPolicy ?? "disabled";
42
+ if (fallbackPolicy !== "disabled" && fallbackPolicy !== "same-family")
43
+ throw new Error(`Invalid fallbackPolicy in ${modelConfigPath()}; use disabled or same-family.`);
44
+ return { panels: raw.panels, workflows: raw.workflows, version: 1, roles: { ...DEFAULT_MODELS.roles, ...(raw.roles ?? {}) }, thinkingLevel: level, fallbackPolicy };
45
+ }
46
+ export function saveModels(config) { writeJsonAtomic(modelConfigPath(), config); }
@@ -0,0 +1,2 @@
1
+ import type { DurableError } from "./types.js";
2
+ export declare function durableError(code: string, error: unknown, retryable?: boolean): DurableError;
@@ -0,0 +1,10 @@
1
+ export function durableError(code, error, retryable = false) {
2
+ const message = error instanceof Error ? error.message : String(error);
3
+ return {
4
+ code,
5
+ message,
6
+ retryable,
7
+ ...(error instanceof Error && error.cause ? { cause: String(error.cause) } : {}),
8
+ occurredAt: new Date().toISOString(),
9
+ };
10
+ }
@@ -0,0 +1,11 @@
1
+ export declare function pstackHome(): string;
2
+ export declare const homePath: (...parts: string[]) => string;
3
+ export declare const workflowPath: (id: string) => string;
4
+ export declare const agentPath: (id: string) => string;
5
+ export declare const journalPath: (id: string) => string;
6
+ export declare const lockPath: (name: string) => string;
7
+ export declare const worktreeRoot: () => string;
8
+ export declare const childSessionRoot: () => string;
9
+ export declare const configPath: () => string;
10
+ export declare const modelConfigPath: () => string;
11
+ export declare const loopsPath: () => string;
@@ -0,0 +1,15 @@
1
+ import { homedir } from "node:os";
2
+ import { join } from "node:path";
3
+ export function pstackHome() {
4
+ return process.env.PSTACK_NATIVE_HOME || join(homedir(), ".pi", "agent", "pstack-native");
5
+ }
6
+ export const homePath = (...parts) => join(pstackHome(), ...parts);
7
+ export const workflowPath = (id) => homePath("workflows", `${id}.json`);
8
+ export const agentPath = (id) => homePath("agents", `${id}.json`);
9
+ export const journalPath = (id) => homePath("journals", `${id}.jsonl`);
10
+ export const lockPath = (name) => homePath("locks", `${name}.lock`);
11
+ export const worktreeRoot = () => homePath("worktrees");
12
+ export const childSessionRoot = () => homePath("sessions");
13
+ export const configPath = () => homePath("config.json");
14
+ export const modelConfigPath = () => homePath("models.json");
15
+ export const loopsPath = () => homePath("loops", "loops.json");
@@ -0,0 +1,12 @@
1
+ export declare class FileLock {
2
+ private fd;
3
+ private owner;
4
+ private heldIdentity;
5
+ readonly path: string;
6
+ readonly staleMs: number;
7
+ constructor(path: string, staleMs?: number);
8
+ acquire(): boolean;
9
+ release(): void;
10
+ private clearStale;
11
+ }
12
+ export declare function withFileLock<T>(path: string, fn: () => Promise<T> | T): Promise<T>;