dsh-super-code 0.3.10 → 0.4.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 (926) hide show
  1. package/LICENSE +1 -1
  2. package/README.en.md +51 -19
  3. package/README.md +51 -19
  4. package/builtin/README.md +22 -0
  5. package/builtin/skills/mattpocock/LICENSE +21 -0
  6. package/builtin/skills/mattpocock/UPSTREAM.md +11 -0
  7. package/builtin/skills/mattpocock/distribution.json +352 -0
  8. package/builtin/skills/mattpocock/skills/ask-matt/PHASE-BOUNDARIES.md +55 -0
  9. package/builtin/skills/mattpocock/skills/ask-matt/SKILL.md +97 -0
  10. package/builtin/skills/mattpocock/skills/ask-matt/agents/openai.yaml +5 -0
  11. package/builtin/skills/mattpocock/skills/code-review/SKILL.md +89 -0
  12. package/builtin/skills/mattpocock/skills/code-review/agents/openai.yaml +3 -0
  13. package/builtin/skills/mattpocock/skills/codebase-design/DEEPENING.md +37 -0
  14. package/builtin/skills/mattpocock/skills/codebase-design/DESIGN-IT-TWICE.md +44 -0
  15. package/builtin/skills/mattpocock/skills/codebase-design/SKILL.md +114 -0
  16. package/builtin/skills/mattpocock/skills/codebase-design/agents/openai.yaml +3 -0
  17. package/builtin/skills/mattpocock/skills/diagnosing-bugs/SKILL.md +138 -0
  18. package/builtin/skills/mattpocock/skills/diagnosing-bugs/agents/openai.yaml +3 -0
  19. package/builtin/skills/mattpocock/skills/diagnosing-bugs/scripts/hitl-loop.template.sh +44 -0
  20. package/builtin/skills/mattpocock/skills/domain-modeling/ADR-FORMAT.md +47 -0
  21. package/builtin/skills/mattpocock/skills/domain-modeling/GLOSSARY-FORMAT.md +60 -0
  22. package/builtin/skills/mattpocock/skills/domain-modeling/SKILL.md +74 -0
  23. package/builtin/skills/mattpocock/skills/domain-modeling/agents/openai.yaml +3 -0
  24. package/builtin/skills/mattpocock/skills/grill-me/SKILL.md +7 -0
  25. package/builtin/skills/mattpocock/skills/grill-me/agents/openai.yaml +5 -0
  26. package/builtin/skills/mattpocock/skills/grill-with-docs/SKILL.md +7 -0
  27. package/builtin/skills/mattpocock/skills/grill-with-docs/agents/openai.yaml +5 -0
  28. package/builtin/skills/mattpocock/skills/grilling/SKILL.md +30 -0
  29. package/builtin/skills/mattpocock/skills/grilling/agents/openai.yaml +3 -0
  30. package/builtin/skills/mattpocock/skills/handoff/SKILL.md +16 -0
  31. package/builtin/skills/mattpocock/skills/handoff/agents/openai.yaml +5 -0
  32. package/builtin/skills/mattpocock/skills/implement/SKILL.md +17 -0
  33. package/builtin/skills/mattpocock/skills/implement/agents/openai.yaml +5 -0
  34. package/builtin/skills/mattpocock/skills/implement-spec/SKILL.md +42 -0
  35. package/builtin/skills/mattpocock/skills/implement-spec/agents/openai.yaml +5 -0
  36. package/builtin/skills/mattpocock/skills/improve-codebase-architecture/HTML-REPORT.md +123 -0
  37. package/builtin/skills/mattpocock/skills/improve-codebase-architecture/SKILL.md +71 -0
  38. package/builtin/skills/mattpocock/skills/improve-codebase-architecture/agents/openai.yaml +5 -0
  39. package/builtin/skills/mattpocock/skills/pr/CREDITS.md +3 -0
  40. package/builtin/skills/mattpocock/skills/pr/SKILL.md +170 -0
  41. package/builtin/skills/mattpocock/skills/pr/agents/openai.yaml +3 -0
  42. package/builtin/skills/mattpocock/skills/prototype/LOGIC.md +67 -0
  43. package/builtin/skills/mattpocock/skills/prototype/SKILL.md +26 -0
  44. package/builtin/skills/mattpocock/skills/prototype/UI.md +112 -0
  45. package/builtin/skills/mattpocock/skills/prototype/agents/openai.yaml +3 -0
  46. package/builtin/skills/mattpocock/skills/research/SKILL.md +12 -0
  47. package/builtin/skills/mattpocock/skills/research/agents/openai.yaml +3 -0
  48. package/builtin/skills/mattpocock/skills/retro/SKILL.md +44 -0
  49. package/builtin/skills/mattpocock/skills/retro/agents/openai.yaml +5 -0
  50. package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/SKILL.md +120 -0
  51. package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/agents/openai.yaml +5 -0
  52. package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/domain.md +51 -0
  53. package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/issue-tracker-github.md +50 -0
  54. package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/issue-tracker-gitlab.md +46 -0
  55. package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/issue-tracker-local.md +30 -0
  56. package/builtin/skills/mattpocock/skills/setup-matt-pocock-skills/triage-labels.md +15 -0
  57. package/builtin/skills/mattpocock/skills/tdd/SKILL.md +38 -0
  58. package/builtin/skills/mattpocock/skills/tdd/agents/openai.yaml +3 -0
  59. package/builtin/skills/mattpocock/skills/tdd/mocking.md +59 -0
  60. package/builtin/skills/mattpocock/skills/tdd/tests.md +77 -0
  61. package/builtin/skills/mattpocock/skills/teach/GLOSSARY-FORMAT.md +35 -0
  62. package/builtin/skills/mattpocock/skills/teach/LEARNING-RECORD-FORMAT.md +46 -0
  63. package/builtin/skills/mattpocock/skills/teach/MISSION-FORMAT.md +31 -0
  64. package/builtin/skills/mattpocock/skills/teach/RESOURCES-FORMAT.md +32 -0
  65. package/builtin/skills/mattpocock/skills/teach/SKILL.md +140 -0
  66. package/builtin/skills/mattpocock/skills/teach/agents/openai.yaml +5 -0
  67. package/builtin/skills/mattpocock/skills/to-questionnaire/SKILL.md +54 -0
  68. package/builtin/skills/mattpocock/skills/to-questionnaire/agents/openai.yaml +5 -0
  69. package/builtin/skills/mattpocock/skills/to-spec/SKILL.md +75 -0
  70. package/builtin/skills/mattpocock/skills/to-spec/agents/openai.yaml +5 -0
  71. package/builtin/skills/mattpocock/skills/to-tickets/SKILL.md +105 -0
  72. package/builtin/skills/mattpocock/skills/to-tickets/agents/openai.yaml +5 -0
  73. package/builtin/skills/mattpocock/skills/triage/AGENT-BRIEF.md +207 -0
  74. package/builtin/skills/mattpocock/skills/triage/OUT-OF-SCOPE.md +105 -0
  75. package/builtin/skills/mattpocock/skills/triage/SKILL.md +112 -0
  76. package/builtin/skills/mattpocock/skills/triage/agents/openai.yaml +5 -0
  77. package/builtin/skills/mattpocock/skills/wait-what/SKILL.md +7 -0
  78. package/builtin/skills/mattpocock/skills/wait-what/agents/openai.yaml +5 -0
  79. package/builtin/skills/mattpocock/skills/wayfinder/SKILL.md +128 -0
  80. package/builtin/skills/mattpocock/skills/wayfinder/agents/openai.yaml +5 -0
  81. package/builtin/skills/mattpocock/skills/wizard/SKILL.md +44 -0
  82. package/builtin/skills/mattpocock/skills/wizard/agents/openai.yaml +3 -0
  83. package/builtin/skills/mattpocock/skills/wizard/template.sh +223 -0
  84. package/builtin/skills/mattpocock/skills/writing-for-agents/SKILL-MECHANICS.md +22 -0
  85. package/builtin/skills/mattpocock/skills/writing-for-agents/SKILL.md +81 -0
  86. package/builtin/skills/mattpocock/skills/writing-for-agents/agents/openai.yaml +3 -0
  87. package/builtin/skills/oil-ui/LICENSE +21 -0
  88. package/builtin/skills/oil-ui/SKILL.md +163 -0
  89. package/builtin/skills/oil-ui/UPSTREAM.md +14 -0
  90. package/builtin/skills/oil-ui/assets/fonts/instrument-serif/InstrumentSerif-Regular.ttf +0 -0
  91. package/builtin/skills/oil-ui/assets/fonts/instrument-serif/OFL.txt +93 -0
  92. package/builtin/skills/oil-ui/assets/logo.png +0 -0
  93. package/builtin/skills/oil-ui/assets/style-explorer.html +433 -0
  94. package/builtin/skills/oil-ui/distribution.json +5 -0
  95. package/builtin/skills/oil-ui/references/design-direction.md +233 -0
  96. package/builtin/skills/oil-ui/references/direction-persuasion.md +25 -0
  97. package/builtin/skills/oil-ui/references/image-ideation.md +130 -0
  98. package/builtin/skills/oil-ui/references/layout-and-viewport.md +24 -0
  99. package/builtin/skills/oil-ui/references/media.md +158 -0
  100. package/builtin/skills/oil-ui/references/motion.md +123 -0
  101. package/builtin/skills/oil-ui/references/play.md +29 -0
  102. package/builtin/skills/oil-ui/references/reviewer-manual.md +73 -0
  103. package/builtin/skills/oil-ui/references/scroll-narrative.md +97 -0
  104. package/builtin/skills/oil-ui/references/style-explorer.md +48 -0
  105. package/builtin/skills/oil-ui/references/task-explore.md +28 -0
  106. package/builtin/skills/oil-ui/references/task-review.md +8 -0
  107. package/builtin/skills/oil-ui/references/tools.md +75 -0
  108. package/builtin/skills/oil-ui/references/ux-review.md +23 -0
  109. package/builtin/skills/oil-ui/references/ux-reviewer.md +10 -0
  110. package/builtin/skills/oil-ui/references/visual-language.md +103 -0
  111. package/builtin/skills/oil-ui/references/visual-review.md +35 -0
  112. package/builtin/skills/oil-ui/references/workdir.md +64 -0
  113. package/builtin/skills/oil-ui/scripts/build_explorer.py +958 -0
  114. package/builtin/skills/oil-ui/scripts/chrome.mjs +115 -0
  115. package/builtin/skills/oil-ui/scripts/curate-media.mjs +726 -0
  116. package/builtin/skills/oil-ui/scripts/measure_reference.py +543 -0
  117. package/builtin/skills/oil-ui/scripts/oiloil-image.mjs +388 -0
  118. package/builtin/skills/oil-ui/scripts/prep-image.mjs +287 -0
  119. package/builtin/skills/oil-ui/scripts/recommend_once.py +65 -0
  120. package/builtin/skills/oil-ui/scripts/shoot.mjs +2067 -0
  121. package/builtin/skills/openspec/LICENSE +22 -0
  122. package/builtin/skills/openspec/UPSTREAM.md +11 -0
  123. package/builtin/skills/openspec/distribution.json +73 -0
  124. package/builtin/skills/openspec/skills/README.md +19 -0
  125. package/builtin/skills/openspec/skills/openspec-apply-change/SKILL.md +205 -0
  126. package/builtin/skills/openspec/skills/openspec-archive-change/SKILL.md +220 -0
  127. package/builtin/skills/openspec/skills/openspec-bulk-archive-change/SKILL.md +376 -0
  128. package/builtin/skills/openspec/skills/openspec-continue-change/SKILL.md +137 -0
  129. package/builtin/skills/openspec/skills/openspec-explore/SKILL.md +355 -0
  130. package/builtin/skills/openspec/skills/openspec-ff-change/SKILL.md +128 -0
  131. package/builtin/skills/openspec/skills/openspec-new-change/SKILL.md +87 -0
  132. package/builtin/skills/openspec/skills/openspec-onboard/SKILL.md +574 -0
  133. package/builtin/skills/openspec/skills/openspec-propose/SKILL.md +174 -0
  134. package/builtin/skills/openspec/skills/openspec-sync-specs/SKILL.md +289 -0
  135. package/builtin/skills/openspec/skills/openspec-update-change/SKILL.md +108 -0
  136. package/builtin/skills/openspec/skills/openspec-verify-change/SKILL.md +222 -0
  137. package/builtin/skills/pstack/LICENSE +21 -0
  138. package/builtin/skills/pstack/UPSTREAM.md +17 -0
  139. package/builtin/skills/pstack/distribution.json +2299 -0
  140. package/builtin/skills/pstack/dsh/DSH.md +59 -0
  141. package/builtin/skills/pstack/dsh/LICENSE +21 -0
  142. package/builtin/skills/pstack/dsh/README.md +9 -0
  143. package/builtin/skills/pstack/dsh/adaptation.json +2930 -0
  144. package/builtin/skills/pstack/dsh/agents/comment-sicko.md +32 -0
  145. package/builtin/skills/pstack/dsh/agents/poteto-agent.md +5 -0
  146. package/builtin/skills/pstack/dsh/assets/logo.png +0 -0
  147. package/builtin/skills/pstack/dsh/authoring.md +7 -0
  148. package/builtin/skills/pstack/dsh/docs/guide/01-setup.md +68 -0
  149. package/builtin/skills/pstack/dsh/docs/guide/02-poteto-mode.md +141 -0
  150. package/builtin/skills/pstack/dsh/docs/guide/03-understand.md +81 -0
  151. package/builtin/skills/pstack/dsh/docs/guide/04-design.md +135 -0
  152. package/builtin/skills/pstack/dsh/docs/guide/05-build-and-clean.md +85 -0
  153. package/builtin/skills/pstack/dsh/docs/guide/06-verify-and-ship.md +164 -0
  154. package/builtin/skills/pstack/dsh/docs/guide/07-overnight.md +124 -0
  155. package/builtin/skills/pstack/dsh/docs/guide/08-principles.md +74 -0
  156. package/builtin/skills/pstack/dsh/docs/guide/09-make-it-yours.md +102 -0
  157. package/builtin/skills/pstack/dsh/docs/guide/10-recipes-and-pitfalls.md +184 -0
  158. package/builtin/skills/pstack/dsh/docs/guide/README.md +40 -0
  159. package/builtin/skills/pstack/dsh/docs/guide/images/design.jpg +0 -0
  160. package/builtin/skills/pstack/dsh/docs/guide/images/overnight.jpg +0 -0
  161. package/builtin/skills/pstack/dsh/docs/guide/images/recipes.jpg +0 -0
  162. package/builtin/skills/pstack/dsh/docs/guide/images/router.jpg +0 -0
  163. package/builtin/skills/pstack/dsh/docs/guide/images/understanding.jpg +0 -0
  164. package/builtin/skills/pstack/dsh/docs/guide/images/verification.jpg +0 -0
  165. package/builtin/skills/pstack/dsh/docs/harness/claude-code.md +69 -0
  166. package/builtin/skills/pstack/dsh/scripts/capture.mjs +80 -0
  167. package/builtin/skills/pstack/dsh/skills/architect/SKILL.md +82 -0
  168. package/builtin/skills/pstack/dsh/skills/architect/references/design-red-flags.md +57 -0
  169. package/builtin/skills/pstack/dsh/skills/architect/references/rationale-template.md +35 -0
  170. package/builtin/skills/pstack/dsh/skills/architect/references/runner-prompt.md +20 -0
  171. package/builtin/skills/pstack/dsh/skills/arena/SKILL.md +51 -0
  172. package/builtin/skills/pstack/dsh/skills/automate-me/SKILL.md +19 -0
  173. package/builtin/skills/pstack/dsh/skills/benchmark-checklist/SKILL.md +42 -0
  174. package/builtin/skills/pstack/dsh/skills/blast-radius/SKILL.md +53 -0
  175. package/builtin/skills/pstack/dsh/skills/bro/SKILL.md +10 -0
  176. package/builtin/skills/pstack/dsh/skills/correct/SKILL.md +35 -0
  177. package/builtin/skills/pstack/dsh/skills/create-formal-verification-skill/SKILL.md +46 -0
  178. package/builtin/skills/pstack/dsh/skills/create-verification-skill/SKILL.md +47 -0
  179. package/builtin/skills/pstack/dsh/skills/create-verification-skill/references/feature-map-example/README.md +47 -0
  180. package/builtin/skills/pstack/dsh/skills/create-verification-skill/references/feature-map-example/create-note.md +39 -0
  181. package/builtin/skills/pstack/dsh/skills/create-verification-skill/references/feature-map-example/search.md +45 -0
  182. package/builtin/skills/pstack/dsh/skills/figure-it-out/SKILL.md +55 -0
  183. package/builtin/skills/pstack/dsh/skills/how/SKILL.md +39 -0
  184. package/builtin/skills/pstack/dsh/skills/how/references/explainer-prompt.md +55 -0
  185. package/builtin/skills/pstack/dsh/skills/how/references/explorer-prompt.md +35 -0
  186. package/builtin/skills/pstack/dsh/skills/in-your-own-words/SKILL.md +10 -0
  187. package/builtin/skills/pstack/dsh/skills/interrogate/SKILL.md +34 -0
  188. package/builtin/skills/pstack/dsh/skills/ketchup/SKILL.md +46 -0
  189. package/builtin/skills/pstack/dsh/skills/ketchup-video/SKILL.md +32 -0
  190. package/builtin/skills/pstack/dsh/skills/maintain-formal-verification-skill/SKILL.md +61 -0
  191. package/builtin/skills/pstack/dsh/skills/maintain-verification-skill/SKILL.md +42 -0
  192. package/builtin/skills/pstack/dsh/skills/make-bot-ui/SKILL.md +22 -0
  193. package/builtin/skills/pstack/dsh/skills/make-bot-ui/references/submissions.md +44 -0
  194. package/builtin/skills/pstack/dsh/skills/make-bot-ui/scripts/submissions.mjs +86 -0
  195. package/builtin/skills/pstack/dsh/skills/no-comments/SKILL.md +27 -0
  196. package/builtin/skills/pstack/dsh/skills/poteto-help/SKILL.md +42 -0
  197. package/builtin/skills/pstack/dsh/skills/poteto-help/references/prompting.md +51 -0
  198. package/builtin/skills/pstack/dsh/skills/poteto-help/references/recipes.md +51 -0
  199. package/builtin/skills/pstack/dsh/skills/poteto-mode/SKILL.md +153 -0
  200. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/authoring-a-skill.md +8 -0
  201. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/autonomous-run.md +12 -0
  202. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/autopilot-full.md +25 -0
  203. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/autopilot-stack.md +8 -0
  204. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/babysit.md +23 -0
  205. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/bug-fix.md +15 -0
  206. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/eval.md +25 -0
  207. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/feature.md +21 -0
  208. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/hillclimb.md +21 -0
  209. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/investigation.md +14 -0
  210. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/multi-phase-plan.md +155 -0
  211. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/opening-a-pr.md +34 -0
  212. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/orchestrate.md +14 -0
  213. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/pause-safely.md +8 -0
  214. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/perf-issue.md +25 -0
  215. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/prototype.md +14 -0
  216. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/refactoring.md +16 -0
  217. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/runtime-forensics.md +11 -0
  218. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/session-pickup.md +9 -0
  219. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/shipping.md +12 -0
  220. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/trace-forensics.md +14 -0
  221. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/visual-parity.md +11 -0
  222. package/builtin/skills/pstack/dsh/skills/poteto-mode/playbooks/worktree-cleanup.md +9 -0
  223. package/builtin/skills/pstack/dsh/skills/poteto-mode/references/bugbot-triage.md +142 -0
  224. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/bootstrap.ts +62 -0
  225. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/bun.lock +67 -0
  226. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/check-plan.mjs +205 -0
  227. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/check-plan.test.ts +110 -0
  228. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/package.json +16 -0
  229. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/cli.test.ts +224 -0
  230. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/cli.ts +223 -0
  231. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/fakes.test-helper.ts +129 -0
  232. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/github.test.ts +498 -0
  233. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/github.ts +726 -0
  234. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/policy.test.ts +482 -0
  235. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/policy.ts +842 -0
  236. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/render.ts +169 -0
  237. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/tsconfig.json +13 -0
  238. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/types.compile.ts +93 -0
  239. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/types.ts +414 -0
  240. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/watch-pr/watch-pr +6 -0
  241. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/worktree-audit.mjs +52 -0
  242. package/builtin/skills/pstack/dsh/skills/poteto-mode/scripts/worktree-audit.sh +4 -0
  243. package/builtin/skills/pstack/dsh/skills/principle-attack-the-premise/SKILL.md +24 -0
  244. package/builtin/skills/pstack/dsh/skills/principle-boundary-discipline/SKILL.md +37 -0
  245. package/builtin/skills/pstack/dsh/skills/principle-build-the-lever/SKILL.md +26 -0
  246. package/builtin/skills/pstack/dsh/skills/principle-encode-lessons-in-structure/SKILL.md +14 -0
  247. package/builtin/skills/pstack/dsh/skills/principle-exhaust-the-design-space/SKILL.md +12 -0
  248. package/builtin/skills/pstack/dsh/skills/principle-experience-first/SKILL.md +22 -0
  249. package/builtin/skills/pstack/dsh/skills/principle-explain-the-number/SKILL.md +21 -0
  250. package/builtin/skills/pstack/dsh/skills/principle-fix-root-causes/SKILL.md +24 -0
  251. package/builtin/skills/pstack/dsh/skills/principle-foundational-thinking/SKILL.md +24 -0
  252. package/builtin/skills/pstack/dsh/skills/principle-guard-the-context-window/SKILL.md +15 -0
  253. package/builtin/skills/pstack/dsh/skills/principle-laziness-protocol/SKILL.md +13 -0
  254. package/builtin/skills/pstack/dsh/skills/principle-make-operations-idempotent/SKILL.md +25 -0
  255. package/builtin/skills/pstack/dsh/skills/principle-migrate-callers-then-delete-legacy-apis/SKILL.md +17 -0
  256. package/builtin/skills/pstack/dsh/skills/principle-minimize-reader-load/SKILL.md +21 -0
  257. package/builtin/skills/pstack/dsh/skills/principle-model-the-domain/SKILL.md +27 -0
  258. package/builtin/skills/pstack/dsh/skills/principle-never-block-on-the-human/SKILL.md +18 -0
  259. package/builtin/skills/pstack/dsh/skills/principle-outcome-oriented-execution/SKILL.md +24 -0
  260. package/builtin/skills/pstack/dsh/skills/principle-prove-it-works/SKILL.md +25 -0
  261. package/builtin/skills/pstack/dsh/skills/principle-redesign-from-first-principles/SKILL.md +19 -0
  262. package/builtin/skills/pstack/dsh/skills/principle-separate-before-serializing-shared-state/SKILL.md +19 -0
  263. package/builtin/skills/pstack/dsh/skills/principle-sequence-verifiable-units/SKILL.md +20 -0
  264. package/builtin/skills/pstack/dsh/skills/principle-subtract-before-you-add/SKILL.md +21 -0
  265. package/builtin/skills/pstack/dsh/skills/principle-test-behavior-not-implementation/SKILL.md +23 -0
  266. package/builtin/skills/pstack/dsh/skills/principle-type-system-discipline/SKILL.md +16 -0
  267. package/builtin/skills/pstack/dsh/skills/recall/SKILL.md +19 -0
  268. package/builtin/skills/pstack/dsh/skills/reflect/SKILL.md +19 -0
  269. package/builtin/skills/pstack/dsh/skills/reflect/references/divergent-reviewer.md +38 -0
  270. package/builtin/skills/pstack/dsh/skills/reflect/references/judgment-reviewer.md +37 -0
  271. package/builtin/skills/pstack/dsh/skills/reflect/references/synthesizer.md +56 -0
  272. package/builtin/skills/pstack/dsh/skills/reflect/references/tooling-reviewer.md +48 -0
  273. package/builtin/skills/pstack/dsh/skills/setup-pstack/SKILL.md +80 -0
  274. package/builtin/skills/pstack/dsh/skills/sharpen/SKILL.md +19 -0
  275. package/builtin/skills/pstack/dsh/skills/show-me-your-work/SKILL.md +85 -0
  276. package/builtin/skills/pstack/dsh/skills/show-me-your-work/references/decision-log-template.tsv +1 -0
  277. package/builtin/skills/pstack/dsh/skills/show-me-your-work/scripts/audit-log.mjs +43 -0
  278. package/builtin/skills/pstack/dsh/skills/show-me-your-work/scripts/log.sh +42 -0
  279. package/builtin/skills/pstack/dsh/skills/statechart/SKILL.md +85 -0
  280. package/builtin/skills/pstack/dsh/skills/statechart/references/render.md +93 -0
  281. package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/cfg.mjs +31 -0
  282. package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/cfg.ts +33 -0
  283. package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/mermaid.mjs +223 -0
  284. package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/mermaid.ts +201 -0
  285. package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/plain-text.mjs +68 -0
  286. package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/plain-text.ts +72 -0
  287. package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/report.mjs +123 -0
  288. package/builtin/skills/pstack/dsh/skills/statechart/scripts/backends/report.ts +177 -0
  289. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/config.mjs +258 -0
  290. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/config.ts +276 -0
  291. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/dot.mjs +68 -0
  292. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/dot.ts +74 -0
  293. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/marks.mjs +102 -0
  294. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/marks.ts +93 -0
  295. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/messages.mjs +53 -0
  296. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/messages.ts +52 -0
  297. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/spec.mjs +89 -0
  298. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/spec.ts +114 -0
  299. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/trace.mjs +24 -0
  300. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/trace.ts +24 -0
  301. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/value.mjs +181 -0
  302. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/value.ts +166 -0
  303. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/verdict.mjs +38 -0
  304. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/verdict.ts +40 -0
  305. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/view.mjs +107 -0
  306. package/builtin/skills/pstack/dsh/skills/statechart/scripts/frontends/view.ts +119 -0
  307. package/builtin/skills/pstack/dsh/skills/statechart/scripts/ir.mjs +317 -0
  308. package/builtin/skills/pstack/dsh/skills/statechart/scripts/ir.ts +547 -0
  309. package/builtin/skills/pstack/dsh/skills/statechart/scripts/package.json +11 -0
  310. package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/annotate.mjs +102 -0
  311. package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/annotate.ts +128 -0
  312. package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/label.mjs +217 -0
  313. package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/label.ts +269 -0
  314. package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/lift.mjs +89 -0
  315. package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/lift.ts +85 -0
  316. package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/loop-check.mjs +57 -0
  317. package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/loop-check.ts +68 -0
  318. package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/paths.mjs +50 -0
  319. package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/paths.ts +60 -0
  320. package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/reach.mjs +134 -0
  321. package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/reach.ts +135 -0
  322. package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/region-check.mjs +94 -0
  323. package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/region-check.ts +97 -0
  324. package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/regions.mjs +296 -0
  325. package/builtin/skills/pstack/dsh/skills/statechart/scripts/passes/regions.ts +295 -0
  326. package/builtin/skills/pstack/dsh/skills/statechart/scripts/pipeline.mjs +63 -0
  327. package/builtin/skills/pstack/dsh/skills/statechart/scripts/pipeline.ts +76 -0
  328. package/builtin/skills/pstack/dsh/skills/statechart/scripts/run.mjs +432 -0
  329. package/builtin/skills/pstack/dsh/skills/statechart/scripts/run.ts +481 -0
  330. package/builtin/skills/pstack/dsh/skills/statechart/scripts/statechart +29 -0
  331. package/builtin/skills/pstack/dsh/skills/statechart/scripts/statechart.mjs +149 -0
  332. package/builtin/skills/pstack/dsh/skills/statechart/scripts/statechart.ts +164 -0
  333. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/ConfigOracle.java +63 -0
  334. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/chart.test.ts +1210 -0
  335. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/charts/Braces.mmd +7 -0
  336. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/charts/Escapes.mmd +11 -0
  337. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/charts/Phases.mmd +29 -0
  338. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/cli.test.ts +1314 -0
  339. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/config-fuzz.test.ts +263 -0
  340. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/ChartRun.out +57 -0
  341. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/Counter.cfg +3 -0
  342. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/Counter.tla +10 -0
  343. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/chart.mmd +9 -0
  344. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/graph.dot +16 -0
  345. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/report.md +7 -0
  346. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/sany.out +2 -0
  347. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Counter/verdict-1.out +49 -0
  348. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/ChartRun.out +60 -0
  349. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.cfg +4 -0
  350. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/CounterAction.tla +22 -0
  351. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/chart.mmd +26 -0
  352. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/graph.dot +19 -0
  353. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/report.md +20 -0
  354. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/sany.out +2 -0
  355. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.exit +1 -0
  356. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/verdict-1.out +56 -0
  357. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.exit +1 -0
  358. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/verdict-2.out +82 -0
  359. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterAction/verdict-3.out +57 -0
  360. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/ChartRun.out +59 -0
  361. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.cfg +3 -0
  362. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/CounterDeadlock.tla +11 -0
  363. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/chart.mmd +22 -0
  364. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/graph.dot +16 -0
  365. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/report.md +17 -0
  366. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/sany.out +2 -0
  367. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.exit +1 -0
  368. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-1.out +56 -0
  369. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.exit +1 -0
  370. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterDeadlock/verdict-2.out +77 -0
  371. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/ChartRun.out +69 -0
  372. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.cfg +2 -0
  373. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/CounterFan.tla +11 -0
  374. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/chart.mmd +85 -0
  375. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/graph.dot +70 -0
  376. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/report.md +12 -0
  377. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/sany.out +2 -0
  378. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.exit +1 -0
  379. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/verdict-1.out +67 -0
  380. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterFan/verdict-2.out +57 -0
  381. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.exit +1 -0
  382. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/ChartRun.out +85 -0
  383. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.cfg +6 -0
  384. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/CounterGuard.tla +13 -0
  385. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/chart.mmd +5 -0
  386. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/graph.dot +10 -0
  387. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/report.md +31 -0
  388. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/sany.out +2 -0
  389. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.exit +1 -0
  390. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/verdict-1.out +64 -0
  391. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.exit +1 -0
  392. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterGuard/verdict-2.out +77 -0
  393. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/ChartRun.out +55 -0
  394. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.cfg +3 -0
  395. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/CounterInitPast.tla +10 -0
  396. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/chart.mmd +12 -0
  397. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/graph.dot +6 -0
  398. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/report.md +12 -0
  399. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/sany.out +2 -0
  400. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.exit +1 -0
  401. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-1.out +33 -0
  402. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPast/verdict-2.out +54 -0
  403. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/ChartRun.out +54 -0
  404. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfg +3 -0
  405. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tla +10 -0
  406. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/chart.mmd +1 -0
  407. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/graph.dot +6 -0
  408. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/report.md +7 -0
  409. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/sany.out +2 -0
  410. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInitPastHolds/verdict-1.out +46 -0
  411. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/ChartRun.out +59 -0
  412. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.cfg +2 -0
  413. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/CounterInstance.tla +10 -0
  414. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/CounterSteps.tla +6 -0
  415. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/chart.mmd +17 -0
  416. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/graph.dot +15 -0
  417. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/report.md +14 -0
  418. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/sany.out +3 -0
  419. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.exit +1 -0
  420. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterInstance/verdict-1.out +78 -0
  421. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/ChartRun.out +59 -0
  422. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.cfg +3 -0
  423. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/CounterJump.tla +19 -0
  424. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/chart.mmd +26 -0
  425. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/graph.dot +22 -0
  426. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/report.md +12 -0
  427. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/sany.out +2 -0
  428. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.exit +1 -0
  429. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/verdict-1.out +58 -0
  430. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterJump/verdict-2.out +57 -0
  431. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/ChartRun.out +57 -0
  432. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.cfg +2 -0
  433. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/CounterLoop.tla +11 -0
  434. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/chart.mmd +17 -0
  435. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/graph.dot +15 -0
  436. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/report.md +14 -0
  437. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/sany.out +2 -0
  438. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.exit +1 -0
  439. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterLoop/verdict-1.out +76 -0
  440. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/ChartRun.out +59 -0
  441. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.cfg +3 -0
  442. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/CounterOrder.tla +11 -0
  443. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/chart.mmd +19 -0
  444. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/graph.dot +10 -0
  445. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/report.md +15 -0
  446. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/sany.out +2 -0
  447. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.exit +1 -0
  448. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/verdict-1.out +56 -0
  449. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.exit +1 -0
  450. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterOrder/verdict-2.out +67 -0
  451. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/ChartRun.out +62 -0
  452. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.cfg +6 -0
  453. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/CounterRules.tla +24 -0
  454. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/Moves.tla +5 -0
  455. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/chart.mmd +22 -0
  456. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/graph.dot +10 -0
  457. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/report.md +23 -0
  458. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/sany.out +3 -0
  459. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.exit +1 -0
  460. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-1.out +58 -0
  461. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.exit +1 -0
  462. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-2.out +66 -0
  463. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.exit +1 -0
  464. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-3.out +74 -0
  465. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterRules/verdict-4.out +59 -0
  466. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/ChartRun.out +58 -0
  467. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.cfg +3 -0
  468. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/CounterStart.tla +15 -0
  469. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/chart.mmd +18 -0
  470. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/graph.dot +13 -0
  471. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/report.md +11 -0
  472. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/sany.out +2 -0
  473. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.exit +1 -0
  474. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/verdict-1.out +33 -0
  475. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStart/verdict-2.out +57 -0
  476. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/ChartRun.out +57 -0
  477. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.cfg +3 -0
  478. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/CounterStop.tla +15 -0
  479. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/chart.mmd +7 -0
  480. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/graph.dot +13 -0
  481. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/report.md +6 -0
  482. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/sany.out +2 -0
  483. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterStop/verdict-1.out +49 -0
  484. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/ChartRun.out +61 -0
  485. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.cfg +4 -0
  486. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/CounterTie.tla +14 -0
  487. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/chart.mmd +30 -0
  488. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/graph.dot +19 -0
  489. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/report.md +27 -0
  490. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/sany.out +2 -0
  491. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.exit +1 -0
  492. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-1.out +56 -0
  493. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.exit +1 -0
  494. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-2.out +64 -0
  495. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.exit +1 -0
  496. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-3.out +87 -0
  497. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTie/verdict-4.out +57 -0
  498. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/ChartRun.out +60 -0
  499. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.cfg +3 -0
  500. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/CounterTieInGraph.tla +12 -0
  501. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/chart.mmd +23 -0
  502. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/graph.dot +19 -0
  503. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/report.md +11 -0
  504. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/sany.out +2 -0
  505. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.exit +1 -0
  506. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-1.out +56 -0
  507. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterTieInGraph/verdict-2.out +57 -0
  508. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/ChartRun.out +61 -0
  509. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/CounterView.cfg +4 -0
  510. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/CounterView.tla +14 -0
  511. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/chart.mmd +23 -0
  512. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/graph.dot +19 -0
  513. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/report.md +27 -0
  514. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/sany.out +2 -0
  515. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-1.exit +1 -0
  516. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-1.out +56 -0
  517. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-2.exit +1 -0
  518. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-2.out +64 -0
  519. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-3.exit +1 -0
  520. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-3.out +87 -0
  521. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/verdict-4.out +57 -0
  522. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/CounterView/view.mjs +1 -0
  523. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/ChartRun.out +59 -0
  524. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/DieHard.cfg +4 -0
  525. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/DieHard.tla +38 -0
  526. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/chart.mmd +92 -0
  527. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/graph.dot +126 -0
  528. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/report.md +17 -0
  529. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/sany.out +2 -0
  530. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/verdict-1.exit +1 -0
  531. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/verdict-1.out +91 -0
  532. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/DieHard/verdict-2.out +57 -0
  533. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/ChartRun.out +61 -0
  534. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.cfg +6 -0
  535. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/FirstRule.tla +11 -0
  536. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/chart.mmd +22 -0
  537. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/graph.dot +16 -0
  538. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/report.md +25 -0
  539. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/sany.out +2 -0
  540. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.exit +1 -0
  541. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-1.out +56 -0
  542. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.exit +1 -0
  543. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-2.out +64 -0
  544. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.exit +1 -0
  545. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-3.out +64 -0
  546. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.exit +1 -0
  547. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/FirstRule/verdict-4.out +77 -0
  548. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/ChartRun.out +57 -0
  549. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.cfg +4 -0
  550. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/HiddenClock.tla +11 -0
  551. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/chart.mmd +13 -0
  552. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/graph.dot +12 -0
  553. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/report.md +11 -0
  554. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/sany.out +2 -0
  555. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.exit +1 -0
  556. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/HiddenClock/verdict-1.out +72 -0
  557. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/ChartRun.out +57 -0
  558. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/Login.cfg +3 -0
  559. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/Login.tla +62 -0
  560. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/chart.mmd +27 -0
  561. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/graph.dot +40 -0
  562. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/report.md +7 -0
  563. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/sany.out +1 -0
  564. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/verdict-1.out +47 -0
  565. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Login/view.mjs +1 -0
  566. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/ChartRun.out +57 -0
  567. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.cfg +2 -0
  568. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/LoginGuarded.tla +64 -0
  569. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/chart.mmd +28 -0
  570. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/graph.dot +37 -0
  571. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/report.md +8 -0
  572. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/sany.out +1 -0
  573. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/verdict-1.out +47 -0
  574. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginGuarded/view.mjs +1 -0
  575. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/ChartRun.out +60 -0
  576. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.cfg +3 -0
  577. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/LoginParallel.tla +64 -0
  578. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/chart.mmd +44 -0
  579. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/graph.dot +58 -0
  580. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/report.md +17 -0
  581. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/sany.out +1 -0
  582. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.exit +1 -0
  583. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/verdict-1.out +83 -0
  584. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/verdict-2.out +57 -0
  585. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/LoginParallel/view.mjs +1 -0
  586. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/ChartRun.out +60 -0
  587. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.cfg +3 -0
  588. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/MediaPlayer.tla +103 -0
  589. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/chart.mmd +43 -0
  590. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/graph.dot +93 -0
  591. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/report.md +14 -0
  592. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/sany.out +1 -0
  593. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.exit +1 -0
  594. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-1.out +59 -0
  595. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/verdict-2.out +72 -0
  596. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayer/view.mjs +3 -0
  597. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/ChartRun.out +57 -0
  598. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfg +2 -0
  599. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tla +100 -0
  600. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/chart.mmd +31 -0
  601. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/graph.dot +85 -0
  602. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/report.md +9 -0
  603. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/sany.out +1 -0
  604. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/verdict-1.out +47 -0
  605. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerFixed/view.mjs +3 -0
  606. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/ChartRun.out +59 -0
  607. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayer.tla +103 -0
  608. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.cfg +3 -0
  609. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/MediaPlayerProps.tla +6 -0
  610. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/chart.mmd +42 -0
  611. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/graph.dot +93 -0
  612. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/report.md +19 -0
  613. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/sany.out +2 -0
  614. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.exit +1 -0
  615. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-1.out +61 -0
  616. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-2.out +59 -0
  617. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-3.out +61 -0
  618. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.exit +1 -0
  619. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-4.out +66 -0
  620. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.exit +1 -0
  621. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-5.out +58 -0
  622. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/verdict-6.out +49 -0
  623. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/MediaPlayerProps/view.mjs +3 -0
  624. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/ChartRun.out +57 -0
  625. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.cfg +6 -0
  626. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/PickWorker.tla +11 -0
  627. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/chart.mmd +5 -0
  628. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/graph.dot +11 -0
  629. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/report.md +7 -0
  630. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/sany.out +5 -0
  631. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/PickWorker/verdict-1.out +70 -0
  632. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/ChartRun.out +61 -0
  633. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/Shadow.cfg +4 -0
  634. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/Shadow.tla +11 -0
  635. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/ShadowLib.tla +6 -0
  636. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/ShadowSub.tla +3 -0
  637. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/chart.mmd +9 -0
  638. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/graph.dot +16 -0
  639. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/report.md +8 -0
  640. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/sany.out +4 -0
  641. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/Shadow/verdict-1.out +65 -0
  642. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/ChartRun.out +59 -0
  643. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.cfg +2 -0
  644. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/SpacedNames.tla +9 -0
  645. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/chart.mmd +23 -0
  646. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/graph.dot +17 -0
  647. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/report.md +15 -0
  648. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/sany.out +1 -0
  649. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.exit +1 -0
  650. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/verdict-1.out +65 -0
  651. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.exit +1 -0
  652. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/SpacedNames/verdict-2.out +75 -0
  653. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/ChartRun.out +69 -0
  654. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.cfg +3 -0
  655. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/TwoPhase.tla +75 -0
  656. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/chart.mmd +60 -0
  657. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/graph.dot +297 -0
  658. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/report.md +20 -0
  659. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/sany.out +1 -0
  660. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.exit +1 -0
  661. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/verdict-1.out +95 -0
  662. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/verdict-2.out +57 -0
  663. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhase/view.mjs +1 -0
  664. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/ChartRun.out +57 -0
  665. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfg +3 -0
  666. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tla +75 -0
  667. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/chart.mmd +37 -0
  668. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/graph.dot +223 -0
  669. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/report.md +11 -0
  670. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/sany.out +1 -0
  671. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/verdict-1.out +47 -0
  672. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TwoPhaseFixed/view.mjs +1 -0
  673. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.exit +1 -0
  674. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/ChartRun.out +75 -0
  675. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.cfg +5 -0
  676. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/TypeGuard.tla +11 -0
  677. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/chart.mmd +18 -0
  678. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/graph.dot +14 -0
  679. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/report.md +29 -0
  680. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/sany.out +2 -0
  681. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.exit +1 -0
  682. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/verdict-1.out +64 -0
  683. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.exit +1 -0
  684. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/TypeGuard/verdict-2.out +75 -0
  685. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/ChartRun.out +58 -0
  686. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.cfg +2 -0
  687. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/UserNoDeadlock.tla +8 -0
  688. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/chart.mmd +22 -0
  689. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/graph.dot +16 -0
  690. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/report.md +15 -0
  691. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/sany.out +2 -0
  692. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.exit +1 -0
  693. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-1.out +56 -0
  694. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.exit +1 -0
  695. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus/UserNoDeadlock/verdict-2.out +77 -0
  696. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/corpus.test.ts +403 -0
  697. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/differential.test.ts +565 -0
  698. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/grid/Grid.cfg +2 -0
  699. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/grid/Grid.tla +9 -0
  700. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/grid/sany.out +2 -0
  701. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/java.ts +63 -0
  702. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/labels.ts +643 -0
  703. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/messages.test.ts +212 -0
  704. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/pipeline.test.ts +270 -0
  705. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/plain-tlc.test.ts +255 -0
  706. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/render.test.ts +81 -0
  707. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/tlc-out.test.ts +90 -0
  708. package/builtin/skills/pstack/dsh/skills/statechart/scripts/test/tlc.ts +158 -0
  709. package/builtin/skills/pstack/dsh/skills/statechart/scripts/tsconfig.json +11 -0
  710. package/builtin/skills/pstack/dsh/skills/statechart/scripts/worker.mjs +32 -0
  711. package/builtin/skills/pstack/dsh/skills/statechart/scripts/worker.ts +35 -0
  712. package/builtin/skills/pstack/dsh/skills/swarm/SKILL.md +44 -0
  713. package/builtin/skills/pstack/dsh/skills/tdd/SKILL.md +45 -0
  714. package/builtin/skills/pstack/dsh/skills/teach/SKILL.md +24 -0
  715. package/builtin/skills/pstack/dsh/skills/technical-writing/SKILL.md +109 -0
  716. package/builtin/skills/pstack/dsh/skills/typescript-best-practices/SKILL.md +34 -0
  717. package/builtin/skills/pstack/dsh/skills/typescript-best-practices/references/patterns.md +328 -0
  718. package/builtin/skills/pstack/dsh/skills/unslop/SKILL.md +65 -0
  719. package/builtin/skills/pstack/dsh/skills/why/SKILL.md +99 -0
  720. package/builtin/skills/pstack/dsh/skills/why/references/epistemics.md +71 -0
  721. package/builtin/skills/pstack/dsh/skills/why/references/investigator-prompt.md +84 -0
  722. package/builtin/skills/pstack/dsh/skills/why/references/source-playbook.md +17 -0
  723. package/builtin/skills/pstack/dsh/skills/why/references/sources/code-archaeology.md +51 -0
  724. package/builtin/skills/pstack/dsh/skills/why/references/sources/databricks.md +70 -0
  725. package/builtin/skills/pstack/dsh/skills/why/references/sources/datadog.md +97 -0
  726. package/builtin/skills/pstack/dsh/skills/why/references/sources/incident-postmortem.md +5 -0
  727. package/builtin/skills/pstack/dsh/skills/why/references/sources/linear.md +48 -0
  728. package/builtin/skills/pstack/dsh/skills/why/references/sources/notion.md +55 -0
  729. package/builtin/skills/pstack/dsh/skills/why/references/sources/sentry.md +66 -0
  730. package/builtin/skills/pstack/dsh/skills/why/references/sources/slack.md +17 -0
  731. package/builtin/skills/pstack/dsh/skills/why/references/synthesizer-prompt.md +129 -0
  732. package/client/index.js +453 -129
  733. package/cordis.patch.yml +5 -13
  734. package/docs/Acknowledgements.md +24 -12
  735. package/docs/Changelog.md +70 -0
  736. package/docs/Compatibility.md +78 -2
  737. package/docs/EvaluationResults.md +8 -6
  738. package/docs/UsageGuide.md +91 -15
  739. package/docs/en/Acknowledgements.md +24 -12
  740. package/docs/en/Changelog.md +70 -0
  741. package/docs/en/Compatibility.md +78 -2
  742. package/docs/en/EvaluationResults.md +8 -6
  743. package/docs/en/UsageGuide.md +91 -15
  744. package/docs/images/agent-tree-preview.png +0 -0
  745. package/docs/images/agent-tree.png +0 -0
  746. package/docs/images/install-tgz-preview.png +0 -0
  747. package/docs/images/install-tgz.png +0 -0
  748. package/docs/images/npm-downloads-dark.svg +22 -0
  749. package/docs/images/npm-downloads.svg +22 -0
  750. package/docs/images/preset-settings-preview.png +0 -0
  751. package/docs/images/star-history-dark.svg +22 -0
  752. package/docs/images/star-history.svg +22 -0
  753. package/docs/images/task-status-preview.png +0 -0
  754. package/docs/images/task-status.png +0 -0
  755. package/lib/connection/approvals.d.ts +4 -0
  756. package/lib/connection/approvals.d.ts.map +1 -1
  757. package/lib/connection/approvals.js.map +1 -1
  758. package/lib/connection/client.d.ts.map +1 -1
  759. package/lib/connection/client.js +20 -3
  760. package/lib/connection/client.js.map +1 -1
  761. package/lib/connection/directories.d.ts.map +1 -1
  762. package/lib/connection/directories.js +14 -5
  763. package/lib/connection/directories.js.map +1 -1
  764. package/lib/connection/git.d.ts.map +1 -1
  765. package/lib/connection/git.js +17 -12
  766. package/lib/connection/git.js.map +1 -1
  767. package/lib/connection/guidance.d.ts.map +1 -1
  768. package/lib/connection/guidance.js +7 -0
  769. package/lib/connection/guidance.js.map +1 -1
  770. package/lib/connection/http.d.ts.map +1 -1
  771. package/lib/connection/http.js +79 -31
  772. package/lib/connection/http.js.map +1 -1
  773. package/lib/connection/service.d.ts +6 -2
  774. package/lib/connection/service.d.ts.map +1 -1
  775. package/lib/connection/service.js +87 -33
  776. package/lib/connection/service.js.map +1 -1
  777. package/lib/connection/store.d.ts +3 -0
  778. package/lib/connection/store.d.ts.map +1 -1
  779. package/lib/connection/store.js +151 -37
  780. package/lib/connection/store.js.map +1 -1
  781. package/lib/connection/tasks.d.ts +10 -5
  782. package/lib/connection/tasks.d.ts.map +1 -1
  783. package/lib/connection/tasks.js +158 -81
  784. package/lib/connection/tasks.js.map +1 -1
  785. package/lib/connection/types.d.ts +2 -0
  786. package/lib/connection/types.d.ts.map +1 -1
  787. package/lib/connection/types.js.map +1 -1
  788. package/lib/core/batch-policy.js +2 -2
  789. package/lib/core/batch-policy.js.map +1 -1
  790. package/lib/core/delegation.d.ts +3 -0
  791. package/lib/core/delegation.d.ts.map +1 -1
  792. package/lib/core/delegation.js +2 -2
  793. package/lib/core/delegation.js.map +1 -1
  794. package/lib/core/deletion-command.d.ts.map +1 -1
  795. package/lib/core/deletion-command.js +271 -38
  796. package/lib/core/deletion-command.js.map +1 -1
  797. package/lib/core/tool-evidence.d.ts.map +1 -1
  798. package/lib/core/tool-evidence.js +9 -2
  799. package/lib/core/tool-evidence.js.map +1 -1
  800. package/lib/dsh/budget-settings.d.ts +11 -0
  801. package/lib/dsh/budget-settings.d.ts.map +1 -1
  802. package/lib/dsh/budget-settings.js +43 -9
  803. package/lib/dsh/budget-settings.js.map +1 -1
  804. package/lib/dsh/budgets.d.ts +5 -0
  805. package/lib/dsh/budgets.d.ts.map +1 -1
  806. package/lib/dsh/budgets.js +15 -0
  807. package/lib/dsh/budgets.js.map +1 -1
  808. package/lib/dsh/bundled-skills.d.ts +17 -0
  809. package/lib/dsh/bundled-skills.d.ts.map +1 -0
  810. package/lib/dsh/bundled-skills.js +94 -0
  811. package/lib/dsh/bundled-skills.js.map +1 -0
  812. package/lib/dsh/compaction.d.ts.map +1 -1
  813. package/lib/dsh/compaction.js +1 -0
  814. package/lib/dsh/compaction.js.map +1 -1
  815. package/lib/dsh/connection-approval.d.ts.map +1 -1
  816. package/lib/dsh/connection-approval.js +24 -2
  817. package/lib/dsh/connection-approval.js.map +1 -1
  818. package/lib/dsh/connection-history.d.ts +2 -1
  819. package/lib/dsh/connection-history.d.ts.map +1 -1
  820. package/lib/dsh/connection-history.js +25 -4
  821. package/lib/dsh/connection-history.js.map +1 -1
  822. package/lib/dsh/connection-host.d.ts +0 -1
  823. package/lib/dsh/connection-host.d.ts.map +1 -1
  824. package/lib/dsh/connection-host.js +59 -26
  825. package/lib/dsh/connection-host.js.map +1 -1
  826. package/lib/dsh/connection.d.ts.map +1 -1
  827. package/lib/dsh/connection.js +34 -8
  828. package/lib/dsh/connection.js.map +1 -1
  829. package/lib/dsh/deletion-protection.d.ts.map +1 -1
  830. package/lib/dsh/deletion-protection.js +18 -10
  831. package/lib/dsh/deletion-protection.js.map +1 -1
  832. package/lib/dsh/directory-metadata.d.ts +4 -0
  833. package/lib/dsh/directory-metadata.d.ts.map +1 -0
  834. package/lib/dsh/directory-metadata.js +4 -0
  835. package/lib/dsh/directory-metadata.js.map +1 -0
  836. package/lib/dsh/index.d.ts.map +1 -1
  837. package/lib/dsh/index.js +4 -0
  838. package/lib/dsh/index.js.map +1 -1
  839. package/lib/dsh/memory-library.d.ts.map +1 -1
  840. package/lib/dsh/memory-library.js +8 -4
  841. package/lib/dsh/memory-library.js.map +1 -1
  842. package/lib/dsh/official-budgets.d.ts.map +1 -1
  843. package/lib/dsh/official-budgets.js +16 -3
  844. package/lib/dsh/official-budgets.js.map +1 -1
  845. package/lib/dsh/openspec-shell.d.ts +3 -0
  846. package/lib/dsh/openspec-shell.d.ts.map +1 -0
  847. package/lib/dsh/openspec-shell.js +25 -0
  848. package/lib/dsh/openspec-shell.js.map +1 -0
  849. package/lib/dsh/preset-declaration.d.ts +6 -0
  850. package/lib/dsh/preset-declaration.d.ts.map +1 -1
  851. package/lib/dsh/preset-declaration.js +91 -65
  852. package/lib/dsh/preset-declaration.js.map +1 -1
  853. package/lib/dsh/preset-files.d.ts.map +1 -1
  854. package/lib/dsh/preset-files.js +16 -1
  855. package/lib/dsh/preset-files.js.map +1 -1
  856. package/lib/dsh/preset-installation.d.ts +11 -7
  857. package/lib/dsh/preset-installation.d.ts.map +1 -1
  858. package/lib/dsh/preset-installation.js +71 -33
  859. package/lib/dsh/preset-installation.js.map +1 -1
  860. package/lib/dsh/preset-metadata.d.ts.map +1 -1
  861. package/lib/dsh/preset-metadata.js +20 -7
  862. package/lib/dsh/preset-metadata.js.map +1 -1
  863. package/lib/dsh/preset-recovery-runtime.d.ts +76 -0
  864. package/lib/dsh/preset-recovery-runtime.d.ts.map +1 -0
  865. package/lib/dsh/preset-recovery-runtime.js +344 -0
  866. package/lib/dsh/preset-recovery-runtime.js.map +1 -0
  867. package/lib/dsh/preset-recovery.d.ts +14 -0
  868. package/lib/dsh/preset-recovery.d.ts.map +1 -0
  869. package/lib/dsh/preset-recovery.js +206 -0
  870. package/lib/dsh/preset-recovery.js.map +1 -0
  871. package/lib/dsh/preset-version.d.ts +1 -0
  872. package/lib/dsh/preset-version.d.ts.map +1 -1
  873. package/lib/dsh/preset-version.js +1 -1
  874. package/lib/dsh/preset-version.js.map +1 -1
  875. package/lib/dsh/ptc-budget.d.ts.map +1 -1
  876. package/lib/dsh/ptc-budget.js +24 -12
  877. package/lib/dsh/ptc-budget.js.map +1 -1
  878. package/lib/dsh/skill-directory.d.ts +45 -0
  879. package/lib/dsh/skill-directory.d.ts.map +1 -0
  880. package/lib/dsh/skill-directory.js +113 -0
  881. package/lib/dsh/skill-directory.js.map +1 -0
  882. package/lib/dsh/skill-installation.d.ts +8 -0
  883. package/lib/dsh/skill-installation.d.ts.map +1 -0
  884. package/lib/dsh/skill-installation.js +131 -0
  885. package/lib/dsh/skill-installation.js.map +1 -0
  886. package/lib/dsh/skill-packages.d.ts +6 -0
  887. package/lib/dsh/skill-packages.d.ts.map +1 -0
  888. package/lib/dsh/skill-packages.js +8 -0
  889. package/lib/dsh/skill-packages.js.map +1 -0
  890. package/lib/dsh/super-code.d.ts.map +1 -1
  891. package/lib/dsh/super-code.js +143 -166
  892. package/lib/dsh/super-code.js.map +1 -1
  893. package/lib/dsh/tool-contracts.d.ts +53 -0
  894. package/lib/dsh/tool-contracts.d.ts.map +1 -0
  895. package/lib/dsh/tool-contracts.js +129 -0
  896. package/lib/dsh/tool-contracts.js.map +1 -0
  897. package/lib/dsh/windows-shell.d.ts +2 -2
  898. package/lib/dsh/windows-shell.d.ts.map +1 -1
  899. package/lib/dsh/windows-shell.js +29 -5
  900. package/lib/dsh/windows-shell.js.map +1 -1
  901. package/lib/long-memory.d.ts +2 -2
  902. package/lib/long-memory.d.ts.map +1 -1
  903. package/lib/long-memory.js +19 -11
  904. package/lib/long-memory.js.map +1 -1
  905. package/lib/memory-usage-projection.d.ts.map +1 -1
  906. package/lib/memory-usage-projection.js +13 -9
  907. package/lib/memory-usage-projection.js.map +1 -1
  908. package/lib/super-agent-usage.d.ts +2 -0
  909. package/lib/super-agent-usage.d.ts.map +1 -1
  910. package/lib/super-agent-usage.js +16 -11
  911. package/lib/super-agent-usage.js.map +1 -1
  912. package/lib/task-feedback-projection.d.ts +12 -0
  913. package/lib/task-feedback-projection.d.ts.map +1 -1
  914. package/lib/task-feedback-projection.js +96 -27
  915. package/lib/task-feedback-projection.js.map +1 -1
  916. package/lib/task-memory-store.d.ts.map +1 -1
  917. package/lib/task-memory-store.js +7 -1
  918. package/lib/task-memory-store.js.map +1 -1
  919. package/package.json +24 -4
  920. package/presets/super-code/agent.cordis.yml +4 -6
  921. package/runtime/skills/openspec/bin/openspec +2 -0
  922. package/runtime/skills/openspec/bin/openspec.cmd +6 -0
  923. package/presets/super-code/skills/super-code-frontend/SKILL.md +0 -33
  924. package/presets/super-code/skills/super-code-frontend/references/browser-validation.md +0 -59
  925. package/presets/super-code/skills/super-code-frontend/references/interaction-states.md +0 -51
  926. package/presets/super-code/skills/super-code-frontend/references/visual-design.md +0 -43
package/cordis.patch.yml CHANGED
@@ -4,10 +4,7 @@
4
4
  - id: preset-super-code
5
5
  name: '@deepseek-ai/dsh-agent-preset'
6
6
  disabled: !!js >-
7
- (() => { try {
8
- process.getBuiltinModule('node:module').createRequire(process.argv[1]).resolve('@deepseek-ai/dsh-agent-preset')
9
- return false
10
- } catch { return true } })()
7
+ !get('pluginPackages')?.packageOf('@deepseek-ai/dsh-agent-preset', baseUrl)
11
8
  config:
12
9
  id: super-code
13
10
  name: Super Code
@@ -17,7 +14,7 @@
17
14
  - id: super-code
18
15
  name: dsh-super-code/super-code
19
16
  config:
20
- presetVersion: 0.3.10
17
+ presetVersion: 0.4.0
21
18
  presetInstallation: bundle:dsh-super-code
22
19
  - id: compaction
23
20
  name: cordis:group
@@ -61,16 +58,11 @@
61
58
  # Declarations may be persisted in a profile patch. Resolve the
62
59
  # installed package instead of treating that patch as a skill root.
63
60
  - id: skill-super-code-bundled
64
- name: '@deepseek-ai/dsh-skill-filesystem'
61
+ name: dsh-super-code/skills
65
62
  config:
66
- providerName: super-code-bundled
67
- includeDefaultRoots: false
68
- watch: false
63
+ layout: builtin
69
64
  bundledSkillDir: !!js >-
70
- (() => {
71
- const require = process.getBuiltinModule('node:module').createRequire(new URL('package.json', baseUrl))
72
- return require('node:path').join(require('node:path').dirname(require.resolve('dsh-super-code/package.json')), 'presets/super-code/skills')
73
- })()
65
+ get('pluginPackages').packageOf('dsh-super-code', baseUrl).dir + '/builtin/skills'
74
66
  - id: tool-skill
75
67
  name: '@deepseek-ai/dsh-tool-skill'
76
68
  - id: tool-presentation
@@ -31,23 +31,17 @@
31
31
 
32
32
  内置前端 Skill 按该规范组织:`SKILL.md`、YAML 元数据和 `references/` 目录。平时仅向模型提供名称和简介,需要时才加载正文和参考资料,可与项目及用户自有的 Skill 共存。解析和加载使用 Harness 原生能力。
33
33
 
34
- 对应实现:[super-code-frontend](../presets/super-code/skills/super-code-frontend/SKILL.md)
34
+ 对应实现:[oil-ui](../builtin/skills/oil-ui/SKILL.md)
35
35
 
36
- ## Apple Human Interface Guidelines
36
+ ## oil-ui
37
37
 
38
- [布局](https://developer.apple.com/design/human-interface-guidelines/layout) · [无障碍](https://developer.apple.com/design/human-interface-guidelines/accessibility) · [按钮](https://developer.apple.com/design/human-interface-guidelines/buttons) · [反馈](https://developer.apple.com/design/human-interface-guidelines/feedback) · [条款](https://developer.apple.com/support/terms/)
38
+ [源码](https://github.com/oil-oil/oil-ui) · [MIT](../builtin/skills/oil-ui/LICENSE) · [固定版本与改动](../builtin/skills/oil-ui/UPSTREAM.md)
39
39
 
40
- 前端 Skill 采纳了其中的原则:以对齐表达关系、布局适应容器和字号、通过控件尺寸和间距降低操作负担、交互可预测、反馈就近且适度。上述原则整理为视觉设计、交互状态和浏览器验证三份参考文档。
40
+ 感谢 oil-oil 提供开源前端设计 Skill。本插件内置 oil-ui 0.32.0 的设计流程、参考资料、风格对比页及辅助脚本,通过 Harness 原生 Skill 机制按需加载,替代原来自写的前端 Skill。
41
41
 
42
- 仅借鉴原则,产品仍保持自身视觉风格。原生平台的尺寸单位不直接作为 CSS 像素使用,材质、字体和图标也不作为模板。
42
+ 内置副本固定到上游 commit `0d64a00f3a5c45bf7a30d35bded9b7c0fdff2128`,仅将独立版本检查和更新入口改为随插件升级,未引入上游安装器或付费插件。MIT 许可证与原作者版权声明随包保留。
43
43
 
44
- ## W3C WCAG 2.2
45
-
46
- [WCAG 2.2](https://www.w3.org/TR/WCAG22/) · [2.5.8 目标尺寸(最小)](https://www.w3.org/WAI/WCAG22/Understanding/target-size-minimum.html)
47
-
48
- 前端 Skill 检查 Web 控件时,采用 2.5.8 的 24 × 24 CSS 像素标准及其间距例外,并结合实际点击、键盘和内容检查。尺寸达标不代表整个界面满足无障碍要求。
49
-
50
- 对应实现:[交互状态](../presets/super-code/skills/super-code-frontend/references/interaction-states.md)、[浏览器验证](../presets/super-code/skills/super-code-frontend/references/browser-validation.md)
44
+ 风格对比页还包含 [Instrument Serif](https://github.com/Instrument/instrument-serif),采用 [SIL OFL 1.1](../builtin/skills/oil-ui/assets/fonts/instrument-serif/OFL.txt),用于对比页字体。
51
45
 
52
46
  ## SWE-bench
53
47
 
@@ -74,3 +68,21 @@
74
68
  ## 许可证
75
69
 
76
70
  本项目采用 [Apache-2.0](../LICENSE) 许可证。上述项目、规范、设计资料和数据各自保留版权与许可证,以上游的 LICENSE、NOTICE 和说明为准。设计参考不代表依赖关系、上游背书或功能等价。
71
+
72
+ ## OpenSpec
73
+
74
+ [Source](https://github.com/Fission-AI/OpenSpec) · [MIT](../builtin/skills/openspec/LICENSE) · [Upstream](../builtin/skills/openspec/UPSTREAM.md)
75
+
76
+ 感谢 OpenSpec 贡献者提供完整的规范驱动工作流 Skill。插件保留上游正文和许可证,通过 DSH 原生机制按需加载,不自动安装其 CLI。
77
+
78
+ ## Matt Pocock Skills
79
+
80
+ [Source](https://github.com/mattpocock/skills) · [MIT](../builtin/skills/mattpocock/LICENSE) · [Upstream](../builtin/skills/mattpocock/UPSTREAM.md)
81
+
82
+ 感谢 Matt Pocock 及贡献者提供完整的工程与生产力 Skill 包。插件内置正式插件清单及其配套参考、模板和调用规则,不在启用时运行 setup。
83
+
84
+ ## PStack
85
+
86
+ [Source](https://github.com/cursor/plugins/tree/main/pstack) · [MIT](../builtin/skills/pstack/LICENSE) · [Upstream](../builtin/skills/pstack/UPSTREAM.md)
87
+
88
+ 感谢 Lauren Tan 与 Cursor 插件贡献者提供 PStack。插件保留其58个标准 Skill 的正文、调用规则、配套参考与脚本,通过 DSH 原生 Skill 和斜杠命令按需加载;不注册 Cursor 自动化,也不在开启时运行安装或全局配置。部分流程仍依赖 Cursor 或外部工具,详见上游说明。
package/docs/Changelog.md CHANGED
@@ -4,6 +4,76 @@
4
4
 
5
5
  版本号格式为「主版本.效果版本.维护版本」。第二位变化表示编码效果或效率有提升;第三位表示修复、界面和兼容性更新。各版本的验证范围见[兼容性](Compatibility.md)。
6
6
 
7
+ ## 0.4.0 · 2026-11-12
8
+
9
+ **任务与记忆工具**
10
+
11
+ - 简化 `super_code_task` 和 `super_code_memory` 的调用结构,按具体操作提供字段说明、调用示例和错误后的处理方法,减少试错。
12
+ - 支持不创建或切换当前任务,直接读取指定主题的项目记忆;写入仍保留来源核对和并发修改检查,历史信息不代替当前代码验证。
13
+
14
+ **预置 Skill 与工作流**
15
+
16
+ - 新增独立的 grill-me,以及 OpenSpec、oil-ui、Matt Pocock Skills、PStack,分为 Skill 和工作流两组;五项默认全部关闭,保留用户已保存的选择。
17
+ - 开启后将完整资源同步到 DSH 的 Skill 目录,已有对话实时生效;每项显示版本和一句使用介绍,提供打开目录的快捷按钮。保护用户已有文件和修改,冲突时提示并支持重试。
18
+ - 沿用原生 `/` 菜单和真实 Skill 名称,支持通过 `/pstack`、`/mattpocock` 等包名搜索并选择具体命令;关闭后不再提供该包的命令和正文,已经加载到上下文的内容不会被撤回。
19
+ - OpenSpec 随插件准备命令环境;开关不会初始化项目、安装项目依赖或修改项目文件,只有用户要求初始化时才执行。
20
+ - PStack 保留上游工作流与资源,并针对 DSH 的工具、子 Agent、审批和图片处理方式进行适配;流程适配面向 Harness `0.2.1-alpha.1` 及之后版本。
21
+ - 内置及适配后的源码统一公开于 `builtin/skills`,保留上游版本、来源和许可证。
22
+
23
+ **界面、兼容与修复**
24
+
25
+ - 完善设置自动保存、跨标签草稿保留、服务重连、并发修改和保存失败后的提示与恢复。
26
+ - 改进任务、执行记录、工具状态和文件变更的展示,保留圆圈 Agent 执行树及旧版记忆页面。
27
+ - 修复预设安装与卸载恢复、MCP 连接与审批、删除保护、Windows 命令环境等功能在取消、重连和多次启停下的问题。
28
+ - 更新新版 Harness 的兼容记录;各版本、平台、SDK 检查与完整宿主验收范围分别见[兼容性记录](Compatibility.md),不将接口测试等同于全部工作流或全平台验收。
29
+
30
+ - README 增加版本、许可证、npm 总下载量徽章,以及每日自动刷新的 Star 与 npm 下载趋势图。
31
+
32
+ 效果对比及统计限制见 [README](../README.md) 和[评测说明](EvaluationResults.md);不将 Skill 安装、界面或兼容性测试当作编码效果证明。
33
+
34
+ ## 0.3.11 · 2026-11-06
35
+
36
+ **卸载恢复与预设管理**
37
+
38
+ - 修复卸载插件后 Super Code 历史会话无法续聊的问题:已登记且归属匹配的会话改用官方标准预设继续,并显示一次切换提示;保留原会话与子任务历史、模型、目录和权限。
39
+ - 修复官方 minimal 在关闭删除保护、取消官方适用范围或停用、卸载插件后仍沿用旧规则的问题;切换保护等级不再重复叠加规则。旧摘要保留原文,并在后面补充明确的撤销说明。
40
+ - 修复预设恢复在异步读取、用户改选、插件重新启用及模块换代时使用旧状态的问题;旧实例不再迟到覆盖新记录或重复接管服务。
41
+ - 修复安装、重装失败回滚及语言同步可能覆盖外部变更、丢失归属记录的问题;保留用户修改及符号链接,拒绝无效记录,冲突时停止写入。
42
+
43
+ **任务侧栏、执行记录与用量**
44
+
45
+ - 修复任务侧栏只显示本轮要求的问题,保留最近 20 条历史要求及对应的已记录步骤;超过显示上限时明确提示。
46
+ - 修复执行详情缺少渲染的问题,复用宿主 Markdown 和代码组件,保留用户与工具输出原文,支持展开长内容。
47
+ - 补齐 PTC 子工具的调用、结果、失败及回合终止错误记录,崩溃恢复时正确显示中断状态;慢工具超出最近活动窗口后,成功的文件变更证据仍能保留。
48
+ - 修复执行记录分页与断线重连之间的重复读取、边界变化和阅读位置丢失;历史读取失败后可重试,关闭页面后不再回填。
49
+ - 修复 fork 继承历史被重复计入子 Agent 和执行树用量,以及模型标识含特殊分隔符时统计合并错误的问题;旧缓存会重建。
50
+ - 修复侧栏可全部收起的问题,任务、协作执行和记忆始终只展开一项,默认任务;切换保留阅读位置和草稿。
51
+
52
+ **设置、预算与记忆**
53
+
54
+ - 修复首页保存成功但随后刷新失败时显示旧设置的问题;修复自动保存尚未结束时可重复确认“恢复默认”、造成重复提交和版本冲突的问题。
55
+ - 修复自动压缩等待模型信息期间取消,之后仍裁剪工具记录或忽略取消的问题;保留原有压缩策略和预算默认值。
56
+ - 修复旧版记忆草稿在接口重连后继续使用旧接口的问题;保留草稿,主动重试使用当前接口,不自动重发进行中的写入。
57
+ - 修复删除最后一条记忆后,空主题仍占满 200 个主题额度的问题;额度按非空主题计算,同时保留并发修改检查,不增加内容版本记录。
58
+
59
+ **MCP 连接**
60
+
61
+ - 修复异步准备后仍使用已撤销目录授权或已关闭开关的问题;创建会话、选择模型和发送请求前重新核对当前授权与取消状态。
62
+ - 修复 `newConversation: false` 未指定 `taskId` 时仍创建对话的问题;现在要求先选择具体会话。
63
+ - 修复新建、续聊或取消的保存失败后,内存状态仍提前变更、错误占用额度或迟到取消的问题;准备期间保留上一轮跟踪,重启和重连不自动重发已保存请求。
64
+ - 修复审批等待取消后仍接受迟到批准的问题;单次审批重新核对取消、目录与开关状态,未决定的请求可交回 DSH 处理。
65
+ - 修复目录申请在路径被替换、校验期间过期或撤回后仍可批准的问题;已撤销的旧授权不会因复用申请而重新生效。
66
+ - 修复符号链接别名造成允许目录重复、移除后再次出现的问题;同一实际目录只保留一项,不可用目录仍可移除。
67
+ - 补齐 `dsh_read` 的 PTC 子调用公开记录;子工具活动计入进度观察,不再被误判为长时间没有进展。
68
+ - 修复初始化、凭据轮换、关闭和卸载竞态导致连接额度、端口或锁残留的问题;保存已成功时返回实际设置,清理失败明确提示并允许重试,不重新发送任务。
69
+
70
+ **命令与运行时**
71
+
72
+ - 修复部分 Shell 包装命令、`find`、`xargs` 及 PowerShell 启动参数的删除识别漏报和误报;仍由现有保护等级和宿主审批决定是否执行。
73
+ - 修复 Windows Shell 过滤、官方预算和 PTC 包装在卸载后残留或覆盖其他包装的问题;异步初始化落定后释放本插件资源,保留宿主与其他插件的状态。
74
+
75
+ 各项修复按对应范围完成回归,版本契约、前端检查和完整宿主验收分别记录,不代表所有版本、所有平台均完成完整进程测试。本版未重新运行 100 题效果评测。
76
+
7
77
  ## 0.3.10 · 2026-11-03
8
78
 
9
79
  **Windows 命令环境**
@@ -2,9 +2,13 @@
2
2
 
3
3
  中文 · [English](en/Compatibility.md)
4
4
 
5
- Web 已验证 Harness `0.1.5-alpha.1` ~ `0.2.1-rc.4`,其中 `rc.4` 为下述增量验收;官方桌面已验证至 `0.2.1-rc.4`(x64 包在 Rosetta 下),NEXT 已验证 `2.0.19-next`(内置 `0.2.1-rc.2`)。
5
+ 支持 Harness `0.1.5-alpha.1` ~ `0.2.2-rc.2`,包括 `0.2.2-alpha.3`。0.4.0 已逐版验证这一区间的 27 个完整 Web 宿主,并补验官方 macOS arm64 Desktop `0.2.2-rc.2` 和 NEXT `2.0.22-next`(内置 `0.2.2-rc.1`),本轮范围和限制见下文。
6
6
 
7
- 0.3.10 的内置 Windows Bash 另在官方 Desktop `0.2.1-rc.5` 和 NEXT `2.0.21-next`(内置 `0.2.1-rc.4`)完成 Windows 完整进程专项验收,范围见下文。
7
+ Windows 的完整进程验证目前至官方 Desktop `0.2.1-rc.5`、NEXT `2.0.21-next`(内置 `0.2.1-rc.4`);最新 macOS/Web 结果不扩大 Windows 的已验证范围。
8
+
9
+ 以下按批次记录实际代码和测试层级,不将组件、静态前端夹具或早期开发包的结果视为所有版本与平台的完整复验。
10
+
11
+ 新增 PStack 流程适配以 `0.2.1-alpha.1` 为最低版本,不再适配更早宿主。下列旧版本记录属于此前插件功能的历史验证范围。
8
12
 
9
13
  ## 已验证的宿主
10
14
 
@@ -53,6 +57,78 @@ Web 已验证 Harness `0.1.5-alpha.1` ~ `0.2.1-rc.4`,其中 `rc.4` 为下述
53
57
 
54
58
  `zod`、`js-yaml`、`@modelcontextprotocol/sdk` 为运行依赖,不打包进插件。Windows Shell 另随包携带独立进程运行的第三方程序,其来源、许可证和对应源码见[运行时说明](../runtime/windows/README.md)。
55
59
 
60
+ ## 2026-11-12 · 0.4.0 兼容复验
61
+
62
+ 保持原有 peer 依赖范围和 `0.1.5-alpha.1` 兼容下限,使用同一个 0.4.0 候选包逐版复验,未为通过测试修改插件运行代码。
63
+
64
+ | 验证层级 | 范围 | 结果 |
65
+ |---|---|---|
66
+ | 完整 Web 宿主 | 27 个精确发布版本,`0.1.5-alpha.1` ~ `0.2.2-rc.2` | 每版 12 组,共 324 组通过 |
67
+ | 真实 SDK 与磁盘存储 | 同上 27 版 | 每版 6 组,共 162 组通过 |
68
+ | 原生 Skill 加载 | 同上 27 版 | 每版 24 项、98 次正文加载通过;同名 Skill 按优先级去重 |
69
+ | 原生菜单契约 | 同上 27 版 | 通过;`0.1.5` 原生接口不支持按包名扩展搜索,仍可按具体 Skill 名称选择 |
70
+ | 浏览器交互 | 同上 27 版的官方 React、控件和主题,Remote 服务使用夹具 | 每版 15 组,共 405 组通过,无页面脚本错误 |
71
+ | 官方 macOS arm64 Desktop | `0.2.2-rc.2` | 13 组完整宿主检查、4 组实际界面操作通过 |
72
+ | DSH NEXT · macOS arm64 | `2.0.22-next`,内置 `0.2.2-rc.1` | 13 组完整宿主检查、4 组实际界面操作通过 |
73
+
74
+ - **完整宿主检查**:实际安装候选包,验证预设版本、预算和删除保护设置互不覆盖、五项默认关闭的 Skill 在已有对话实时启停、MCP 默认配置、手动记忆增删与并发冲突、通过原生工具或 PTC 调用任务与记忆工具,以及完整进程冷重启、原对话续用和记忆恢复。
75
+ - **界面检查**:覆盖六个设置标签、Skill 版本与开关、保存失败、预算校验、连接设置、中英文、深浅主题、窄布局、万条任务虚拟滚动、执行树动画和旧记忆维护。两款真实桌面另验证设置加载、版本一致、五项 Skill 默认关闭、点击自动保存,以及 macOS 上命令环境开关禁用。
76
+ - **来源与基础检查**:官方桌面安装包通过更新源 SHA-512 和深度签名校验,333 个 DSH 组件均为 rc.2;NEXT 签名有效,330 个 DSH 组件均为 rc.1。1154 项单元测试、类型检查和构建打包通过。修正测试脚本对并发完成顺序、上游主题打包格式和实际页面结构的假设,原失败记录保留。
77
+ - **边界**:完整宿主使用本地确定性模型适配器,外部模型调用为零;不代表模型效果、58 个 PStack 工作流或每项功能所有分支均通过。本轮未重跑 Windows、Linux 或所有历史原生桌面版本,也未重测原生目录选择器和物理卸载恢复;这些结果仍按各历史批次单列。PStack 完整流程的适配下限仍为 `0.2.1-alpha.1`。
78
+
79
+ ## 2026-11-11 · PStack DSH 适配
80
+
81
+ - 第六批移除适配层自行追加的禁命令、强制API检查和快照复审流程,四份角色模板恢复为上游原文,并修复委派段转换丢失上游只读语义的问题。只读角色可用无副作用的命令,仍不得写文件或修改外部状态。命令取证另修复稀疏argv漏检和提交后参数变动;925项回归、13版143项资源检查通过,最低/最新Web真实取证专项各9项独立检查通过。真实流程仍观察到只读子任务重定向写临时文件,不能宣称只读范围问题已解决。
82
+ - 适配范围为 `0.2.1-alpha.1` 起的13个 npm 已发布版本,至当前最新 `0.2.2-rc.1`(含 `0.2.2-alpha.3`)。逐版通过原生 Skill 目录、58项正文加载、斜杠注入、调用权限及同名优先级检查;第五批加入命令取证资源加载,共143项通过;任务工具枚举诊断另39项通过。原生子 Agent 参数契约65项、浏览器已有对话实时开关169项通过。浏览器使用真实前端模块,外部服务边界使用夹具,不是13个完整桌面进程。
83
+ - 2026-11-11 在隔离的 macOS arm64 Web `0.2.2-rc.1`、`tokenhub/deepseek/评测模型 A` 上逐项实跑58个入口,每项一个独立场景,均确认原生斜杠注入及真实模型调用。另对12项重跑原场景,并对两项追加澄清;不把重复运行累计到58项分母。
84
+ - 综合实际产物、必需阶段和范围约束,首轮最终36项通过、17项附说明通过、4项失败、1项部分完成。`how`、`teach`、`create-formal-verification-skill` 的只读子任务仍写入全局临时文件;`principle-outcome-oriented-execution` 两次保留了 `add`,明确目标为 `sum({left,right})` 后才通过,原题措辞与验收契约的歧义需单独核对。`ketchup-video` 生成并解码真实视频,但测试路由漏配图片输入声明,未完成其自身视觉复核。不能将58项运行结束写成58项全部通过。
85
+ - 图片归因更正:这不是模型不支持图片。补齐隔离测试路由的 `input: ["text", "image"]` 后,`0.2.1-alpha.1` 与 `0.2.2-rc.1` 的直接图片附件和原生 `read_image` 均让真实模型读出仅存在于图中的随机验证码和图形数量,提供方请求确认包含图片内容。文本模型配置负对照在发送前拒绝图片。rc.1 中文 Web 另通过原生选图、预览、移除、粘贴、拖放及历史回显;本轮未实跑各平台原生桌面的图片交互。
86
+ - 后续对22个非完整通过入口逐项复测。视频流程这次完成14次实际读图,包含每页成片解码帧,独立复核8组 CLI 输出及四页画面;`statechart` 完整流程也通过真实 TLC 与代码重放。基础独立检查56/57通过,唯一失败为原 API 题与固定目标契约的歧义,另5项扩展检查通过。仍观察到只读子任务写全局临时文件、清理使用 `rm` 和按进程名终止编码器;这些问题未被传图成功或基础检查覆盖,不能宣布58项全部验收通过。
87
+ - 再对只读与审计相关3项补测,7条基础检查通过;形式验证独立副本的正常、错误参数、负变异/恢复另3项通过。审计工作流本次reviewer无写入,实际独立评审通过并披露快照覆盖范围;`teach` 的调查员和合成员仍写全局临时文件。因此提示规则尚不构成只读硬隔离,未宣称相关问题全部解决。
88
+ - 本轮修正了三处全局临时路径示例和子任务范围传递指南,并修复 `statechart` 安装于 `node_modules` 后 Node 拒绝执行 TypeScript 的问题:构建时生成 JavaScript,保留上游原件;含中文和空格的安装路径已直接运行真实 TLC、授权反例和代码重放。MCP 网页真实验证新建/复用会话、稳定请求ID、重启、拒绝分支、分页历史及连接清理;审批等待和远程部署分支未实跑。
89
+ - 转换发行保留58个入口、23个 playbook 和558份原件,当前生成592个文件(含审计快照、稳定请求接纳及项目内命令取证helper);原件哈希、生成物和脚本权限经过校验。第五批全量919项测试、类型检查和构建通过;此前第四批909项及后补19项定向回归记录保留。首次58项场景另有155条独立检查,其中 API 迁移断言失败,其余154条通过,不能用这些检查替代阶段与范围验收。
90
+ - 第三批再跑8个重点入口,20条基础独立检查通过;修复 `why` 转换器误删代码锚点,将只读契约放进实际角色模板。视频重新解码3页及2个转场并亲看,16条独立检查通过,本批无永久 shell 清理或共享进程名终止。新增审计脚本的追加/篡改/CRLF/中文路径等8项通过,完整23行记录另有12项来源与行为检查及逐行语义复核;不把结构校验当作claim为真的证明。
91
+ - MCP后补真实审批等待与取消,6项检查通过,浏览器实际显示 `waiting_confirmation → cancelling → cancelled`;探针命令未获执行。另发现生成示例后端的同ID变更缓存问题,验收者手工修后13项通过,产品工作流补入指纹、串行接纳和原始请求重试要求。这不是底层服务新发现的bug,也不是模型一次自主通过;远程部署及全部错误状态的实时注入未测。
92
+ - 最低版 `0.2.1-alpha.1` 用最终运行候选重新执行7文件how场景,14条独立检查通过;根节点直接取原生命令结果,源码和工作树未变,两个子任务仅read/glob/grep/send_message。本批仍有模型遵循偏差:teach/show各有只读cat/ls;最低版重复派一次explainer且尝试写捕获文件,因ENOENT未写成,最终文字还少报一个child。随后使用包含这条指引的最终包在最低版补测受管与同步两条返回分支,15项检查通过:每例一次委派、无捕获文件/写入尝试或重复派发;同步结果在同一工具调用提取最终文本。早期重复与少报记录保留;同步回复仍超出要求字数。不宣称硬隔离或所有提示规则均已遵守。
93
+ - 第四批为 `make-bot-ui` 提供无依赖的稳定请求接纳helper,覆盖同ID并发、内容冲突、重启、持久化失败及返回值隔离,避免重新实现缓存。真实从零生成的示例完成92项自测;独立发现 `interrupted` 误作结束及故障transport未DELETE,原模型会话收到诊断后修复,91项确定性夹具检查、13项界面及2项连接恢复检查通过。原会话随后触发验收器累计100次模型请求上限,未完成最终交接,不能写成一次自主完整通过。最终打包helper另在真实MCP/模型上通过18项独立复验,包含新建、显式复用、每请求旧/新结果、拒绝与连接释放;夹具状态不冒充真实网络故障。
94
+ - 第四批审计补审全部1–28行工作及更正决策,最终30行中29–30仅记录评审元数据,25项快照、实际CLI及来源检查通过;原证据曾被覆盖、计数和因果叙述有误,独立reviewer仍为PASS WITH FLAGS,历史问题保留。teach的4child无写入但仍有一次禁shell契约下的ls。bot早期曾写4个全局临时响应并使用含rm的备用清理命令,分支是否执行无法判定;追加项目内取证指引后的窄场景中,3个真实HTTP拒绝响应正确,但状态探针仍写全局临时文件,范围检查失败保留。不能把功能检查通过当作范围遵循通过。
95
+ - 第五批使用项目内唯一取证目录,最新Web审计的34组输出均可复验,14项独立来源/CLI检查通过;手抄哈希和行数错误经原会话追加更正,审阅角色仍执行只读shell,现有禁shell契约失败保留。MCP示例从修后checkpoint完成96项真实链路检查、91项明确故障夹具及最终交接,两份命令证据不再覆盖或写全局临时路径;综合20项独立检查19通过,唯一失败即上述角色契约。最低版另跑真实how/取证专项,16项通过:中文空格路径、字面argv、0/7退出、原始输出、证据复验、源码不变及独立角色仅read/search。未把这些专项写成58项全部通过。
96
+ - 本轮58项只在上述 macOS Web 和单一模型上执行,未重跑 Windows/Linux、全部桌面进程或23个 playbook 的所有分支。更早的最低版配置、委派和回传记录仍单独保留;本批how验证不覆盖该版本的所有流程。GitHub 发布、可选 Bun watcher、跨模型比较和远程部署不在本轮验证范围;结果不代表效果或性能提升。
97
+
98
+ - 完整性复核补回 setup 的8阶段与17类角色、reflect 独立合成、增量历史、模拟器/缓存分支,以及按原因重试/迟到结果处理。推理预算、候选席位与并发数分别处理;无公开模型发现能力时继承宿主,不扫描私有配置。长任务不假定存在定时器或私有 Agent store。
99
+
100
+ - 复核后真实模型补验:最新版 setup 完成完整角色配置并遵守公开能力发现边界;reflect 实际运行三位独立评审和第四位合成,结构化提案移入 Backlog,审批前不改 Skill。最低版 `0.2.1-alpha.1` 再次验证新 setup 的17类角色、预算/席位/并发分离和原备注保留。保留首轮越界探测、分类未落实及验收脚本格式假设的失败记录;不把完成标记当作验收证据。
101
+
102
+ ## 2026-11-09 · 最新宿主复验
103
+
104
+ 本轮使用 `main@8d28e47`,包含已替换的 oil-ui `0.32.0`。固定测试包 SHA-256 为 `3b19a6c04b960202d87e13bb17e59085f7378503aaf8316a9c0d78220f6c50d5`;它不是 v0.3.11 Release 的原始发布包,未重新发布或变更版本号。
105
+
106
+ 查询时官方 [npm](https://www.npmjs.com/package/@deepseek-ai/dsh) 的 `latest`、`next` 与 [GitHub 最近 Release](https://github.com/deepseek-ai/deepseek-harness/releases/tag/dsh-v0.2.2-rc.1) 均为 `0.2.2-rc.1`(2026-11-04 发布),`alpha` 为 `0.2.2-alpha.3`,没有查到更晚版本。rc.1 调整了 Loader、工具执行和会话投影接口,但仍保留插件使用的旧投影注册入口;在以下实测范围内无需修改插件运行代码。
107
+
108
+ | 完整宿主 | 实际版本 | 结果 |
109
+ |---|---|---|
110
+ | 官方 Web | `0.2.2-rc.1` | 通过 |
111
+ | 官方 Web · alpha 渠道 | `0.2.2-alpha.3` | 通过 |
112
+ | 官方 Desktop · macOS arm64 | `0.2.2-rc.1` | 通过 |
113
+ | DSH NEXT · macOS universal 包 | `2.0.22-next`,内置 `0.2.2-rc.1` | 通过 |
114
+
115
+ - **完整链路**:同一测试包通过真实 Loader、Agent、工具、PTC 与会话存储,检查 standard/PTC/minimal/Super Code/改名副本、安装与重装备份、预算和删除保护设置、主子会话、压缩、旧记忆增改删与冲突/隔离、冷重启、插件禁用/恢复,以及物理卸载后历史保留和官方标准续聊。Super Code 的续聊提示只出现一次,minimal 不再带入已撤销的插件规则。oil-ui 通过真实 Skill 工具按需加载,并核对其正文、提供方、相对资源路径和已安装版本。
116
+ - **MCP 边界**:各已通过的完整宿主另检查端口冲突、凭证轮换、目录授权,以及任务接纳、持久化失败、审批生命周期、目录变更和存储锁共 39 项边界;包含取消、断连、撤销、幂等与重启后不重放。
117
+ - **前端与基础检查**:`0.1.5-alpha.1`、`0.2.2-rc.1`、`0.2.2-alpha.3` 的官方 React、控件和主题配合夹具服务,各通过 14 组交互检查,覆盖五个设置页、自动保存与失败、自定义下拉、中英文、主题、440px 设置布局、万条虚拟列表、圆圈动画、恰好一项展开和旧记忆 CRUD,无页面脚本错误。这不是三个完整宿主。560 项单元测试、类型检查和构建均通过。
118
+ - **来源与版本**:官方 arm64 ZIP 匹配其 nightly 更新源 SHA-512,并通过原始应用的深度签名验证;实际 321 个 DSH 组件均为 rc.1。NEXT 下载频道指向 `2.0.22-next`,实际 330 个 DSH 组件均为 rc.1,原始应用深度签名验证通过;下载 API 未提供公开摘要,本地 SHA-256 只用于固定本轮样本。Web 两个依赖图各有 320 个 DSH 组件,均为目标版本。
119
+ - **验证边界**:宿主使用本地确定性模型适配器,未调用外部模型,不是模型效果评测。本轮没有重跑全部历史完整宿主、最新 Windows/Linux 原生进程或原生目录选择器。rc.1 宿主本身要求 Node `>=24.9`,更新 Web 宿主时需满足;插件为旧宿主保留的 Node 兼容范围没有因此提高。
120
+
121
+ ## 0.3.11 · 2026-11-06
122
+
123
+ 本版包含 11 月 4–6 日多轮修复。以下结果对应各轮实际测试的代码,不将早期开发包的完整宿主结果视为最终发布包的全部平台复验。
124
+
125
+ - **发布候选**:560 项全量测试、类型检查、构建及客户端语法检查通过;包、锁文件、目录预设和声明式预设版本统一为 0.3.11。
126
+ - **逐版契约与前端**:26 个精确发布的 Harness 版本,从 `0.1.5-alpha.1` 至 `0.2.2-alpha.3`,涵盖 0.1.5、0.1.6、0.1.7、0.2.0、0.2.1 各已列 alpha/rc,以及 `0.2.2-alpha.2`、`0.2.2-rc.1`、`0.2.2-alpha.3`。按变更分别验证 Session/LLM 恢复、任务投影、用量、压缩取消及旧记忆;官方前端使用实际 React 和插件组件,Remote 等外部边界使用夹具,不等同于 26 个完整宿主。
127
+ - **最近变更的定向证据**:PTC 历史读取为 26 版契约与前端检查;fork 用量为 26 版 157 项契约检查;压缩取消为 26 版 170 项检查;目录别名为 26 版 156 项前端检查;旧记忆额度为 26 版 156 项存储契约检查及最早/最新两版前端交互;设置重置为 26 版 182 项前端检查,均通过。不同批次数量不合计为独立宿主数。
128
+ - **Web 与 macOS 完整宿主**:卸载恢复、MCP 生命周期等修复阶段验收了 Web `0.1.5-alpha.1`、`0.2.1-rc.5`、`0.2.2-rc.1`、`0.2.2-alpha.3`,官方 macOS Desktop `0.2.1-rc.5` 和 NEXT `2.0.19-next`(内置 `0.2.1-rc.2`)。后续任务历史和渲染修复另在最低/最新两版 Web、官方 macOS rc.5 检查了真实工具、三轮记录与冷启动;较晚的用量、压缩、目录、记忆额度和重置修复未再次跑完整桌面矩阵。
129
+ - **Windows 与 Linux**:本批较早阶段在 Windows 11 ARM64 VM 运行官方 x64 Desktop rc.5 和 NEXT `2.0.21-next`(内置 rc.4),覆盖 MCP、Bash、PowerShell、删除保护、物理卸载、冷启及历史续聊,两款各 37 组通过;118 项 Windows 回归通过,3 项 POSIX 专有场景跳过,另有 22 项 PowerShell 5/7 对照。Linux ARM64 非 root 的阶段性全量 527 项通过。后续修复未重新执行上述操作系统完整套件。
130
+ - **保留与限制**:已验收范围内,原主/子会话历史保留,Super Code 卸载后使用官方标准续聊并显示一次说明;minimal 撤销旧插件规则。公开记忆仍为旧版 CRUD。所有宿主模型来自确定性适配器,无外部模型调用;没有新增 100 题效果评测、Safari 专项或历史原生 Windows 桌面逐版验收。
131
+
56
132
  ## 0.3.10 · 2026-11-03
57
133
 
58
134
  以下为 2026-11-02 ~ 03 各阶段的 Windows Bash 验证,保留各批次的代码基线与验收范围,不改变下方历史版本记录。
@@ -1,10 +1,12 @@
1
1
  # 评测结果
2
2
 
3
+ 模型名称已脱敏,字母标签用于区分不同的评测模型。
4
+
3
5
  中文 · [English](en/EvaluationResults.md)
4
6
 
5
7
  ## Pro100:连续复用环境对比
6
8
 
7
- 统一使用 Harness `0.2.1-rc.2`、`deepseek-v4.1-flash-1017`、high、旧预算,各组内部连续复用环境。以下为完整 100 题汇总,按通过数量降序排列。
9
+ 统一使用 Harness `0.2.1-rc.2`、`评测模型 B`、high、旧预算,各组内部连续复用环境。以下为完整 100 题汇总,按通过数量降序排列。
8
10
 
9
11
  | 方案 | 通过/有效 | 平均总 Token(M) | 平均耗时(分钟) | 平均模型调用 | 平均工具调用 | 缓存率 |
10
12
  |---|---:|---:|---:|---:|---:|---:|
@@ -38,8 +40,8 @@ SWE-bench Pro hard-100(固定标识 `swebench-pro-hard-100-ddd22492f1c38839`
38
40
 
39
41
  ### 历史评测过程
40
42
 
41
- 1. **旧宿主基线**:在 DSH `0.1.5-rc.2` 与 `deepseek-v4.1-flash` 上评测官方各预设和插件各版本,Super Code `0.3.0` 候选通过 56 题,高于官方最好的标准 + high(51 题)。
42
- 2. **宿主升级后效果下降**:升级至 DSH `0.2.1-rc.2` 与 `deepseek-v4.1-flash-1017` 后,默认预算下标准降至 46 题,Super Code `0.3.4` 降至 41 题,低于标准。
43
+ 1. **旧宿主基线**:在 DSH `0.1.5-rc.2` 与 `评测模型 B` 上评测官方各预设和插件各版本,Super Code `0.3.0` 候选通过 56 题,高于官方最好的标准 + high(51 题)。
44
+ 2. **宿主升级后效果下降**:升级至 DSH `0.2.1-rc.2` 与 `评测模型 B` 后,默认预算下标准降至 46 题,Super Code `0.3.4` 降至 41 题,低于标准。
43
45
  3. **定位原因**:宿主探针显示新版收紧了上下文预算(见[旧预算的内容](#旧预算的内容)),由此判断预算是退化原因之一。
44
46
  4. **恢复旧预算后复测**:双方均改用旧预算。标准仍为 46 题;Super Code `0.3.5` 提升至 49 题。据此,`0.3.6` 起插件默认使用旧预算。
45
47
  5. **跨模型验证**:在 `glm-5.3-flash` 上与原生 ZCode 对比,检验方案是否依赖特定模型。
@@ -56,7 +58,7 @@ SWE-bench Pro hard-100(固定标识 `swebench-pro-hard-100-ddd22492f1c38839`
56
58
 
57
59
  ## 新版 DSH 与预算
58
60
 
59
- DSH `0.2.1-rc.2` · 模型 `deepseek-v4.1-flash-1017`(调用标识 `deepseek/deepseek-flash`)· high。
61
+ DSH `0.2.1-rc.2` · 模型 `评测模型 B`(调用标识 `deepseek/评测模型 A`)· high。
60
62
 
61
63
  | 指标(每题平均) | 标准 · 默认预算 | Super Code 0.3.4 · 默认预算 | 标准 · 旧预算 | Super Code 0.3.5 · 旧预算 |
62
64
  |---|---:|---:|---:|---:|
@@ -99,7 +101,7 @@ DSH `0.2.1-rc.2` · 模型 `deepseek-v4.1-flash-1017`(调用标识 `deepseek/d
99
101
 
100
102
  ## 官方预设
101
103
 
102
- DSH `0.1.5-rc.2` · `deepseek-v4.1-flash`。
104
+ DSH `0.1.5-rc.2` · `评测模型 B`。
103
105
 
104
106
  | 指标(每题平均) | minimal + high | minimal + max | 标准 + high | 标准 + max | PTC + high | 创造 + high |
105
107
  |---|---:|---:|---:|---:|---:|---:|
@@ -126,7 +128,7 @@ DSH `0.1.5-rc.2` · `deepseek-v4.1-flash`。
126
128
 
127
129
  ## 历史版本
128
130
 
129
- DSH `0.1.5-rc.2` · `deepseek-v4.1-flash` · high。耗时采用历史原始口径(见[口径](#口径)),不能与上文净耗时直接比较。
131
+ DSH `0.1.5-rc.2` · `评测模型 B` · high。耗时采用历史原始口径(见[口径](#口径)),不能与上文净耗时直接比较。
130
132
 
131
133
  | 指标(每题平均) | minimal + high | 0.0.9 | 0.1.2 | 0.2.0 分层记忆 | 0.3.0 Batch.3 |
132
134
  |---|---:|---:|---:|---:|---:|
@@ -22,6 +22,12 @@
22
22
 
23
23
  子 Agent 默认使用父 Agent 的模型。权限和工具由 Harness 管理。
24
24
 
25
+ ### 图片输入
26
+
27
+ 在 Harness「设置 → 模型」中,为确实支持识图的模型在「输入类型」勾选「图片」,然后在对话中选择该模型。可从输入框的「+」添加图片,也可粘贴截图或拖入图片;发送前可预览、移除。Super Code 复用宿主的附件、缩放和发送流程。
28
+
29
+ 模型查看项目中的图片时使用原生 `read_image`,支持 PNG、JPEG、WebP、GIF。截图和视频帧必须实际读图,文本路径或文字摘要不代表完成视觉检查。若提示模型未声明图片输入,请先核对所选模型的能力配置;该提示不代表底层模型一定不支持图片。勿为纯文本模型勾选图片能力。
30
+
25
31
  ## 找不到预设
26
32
 
27
33
  请先确认插件已启用,再对照[兼容性](Compatibility.md)核实宿主版本,然后按宿主版本处理:
@@ -74,13 +80,27 @@
74
80
 
75
81
  **安全措施**:
76
82
 
77
- - 只替换能够核实由本插件安装的预设(目录式核对安装记录、UUID、路径和目录身份;声明式核对来源标记或安装记录)。未标记的旧副本和同名声明不会被改动。
83
+ - 目录式预设的状态、语言同步与重装均核对安装记录、UUID、路径和目录身份;声明式核对来源标记或安装记录。无法核实归属的旧副本和同名声明不会被改动,仍可读取。
78
84
  - 旧内容备份在 `.super-code-backup-*`:目录式位于用户预设根目录下,声明式位于当前 profile 下(安装记录为 `.super-code-presets.json`)。
79
- - 安装失败时自动恢复;进程意外中断时,可从备份手动恢复。
85
+ - 安装失败时回滚本轮写入,清理前核对目录身份;已被替换的目录保留。原配置恢复后会尝试重新加载,原本不存在的配置文件仍保持不存在。进程意外中断或归属记录仍不可写时,可检查备份后手动恢复。
86
+
87
+ ### 卸载后继续对话
88
+
89
+ 更新并加载支持恢复的插件后,卸载 Super Code 不影响已有历史的阅读。原 Super Code 会话续聊时自动改用官方标准预设,并显示「Super Code 插件已卸载,本对话将使用官方标准预设继续。已有历史记录保留。」同一会话只提示一次;原模型、工作目录和宿主权限保留。使用官方预设的会话继续使用原预设。
90
+
91
+ 关闭删除保护、取消「应用到官方预设」、停用或卸载插件后,下一次续聊会撤销插件先前写入的删除保护规则,包括官方 minimal 的规则。严格与宽松模式切换时会撤销旧规则;冷重启不会重复添加同一条规则。原始历史和用户自己的删除要求保留。若旧规则已被压缩进摘要,会追加明确的撤销说明,保留摘要中的其他上下文。
92
+
93
+ 停用或卸载插件也会释放插件添加的命令过滤、预算适配和 MCP 服务;宿主自身的权限限制及其他插件的有效改动保留。
94
+
95
+ 恢复过程中重新安装插件或切换预设时,会按当前安装状态和最新选择处理,避免把会话错误切回官方标准。恢复模块更新会保留已有会话登记,并停止旧模块的迟到写入。
96
+
97
+ 若本地恢复或预设归属记录在运行期间被其他程序修改,插件会停止写入,保留现有文件;检查文件后重启 DSH 可重新读取。无关的损坏预设不会阻止其他可用会话登记。
98
+
99
+ 为支持卸载后的冷启动,当前 profile 会保留 `.super-code-recovery` 及对应的配置入口。它负责已登记会话的预设恢复和插件旧删除保护规则的撤销,不包含 Super Code 工具或模型配置。升级时会登记仍有对应预设定义的旧会话。若旧预设在登记前就已被删除或改名,需先从安装备份恢复对应定义,再重新安装并加载插件以登记。官方标准预设也不可用时会保留原错误,不静默换用其他预设。
80
100
 
81
101
  ## 侧边栏
82
102
 
83
- 在右侧边栏选择「Super Code」,三个部分互斥展开,默认展开任务;点击当前标题可全部收起。切换后保留阅读位置、筛选条件和草稿。界面跟随 Harness 的中英文设置。
103
+ 在右侧边栏选择「Super Code」,三个部分始终只展开一项,默认展开任务;再次点击当前标题会保持展开。切换后保留阅读位置、筛选条件和草稿。界面跟随 Harness 的中英文设置。
84
104
 
85
105
  ### 任务
86
106
 
@@ -88,6 +108,7 @@
88
108
 
89
109
  - **目标**:已记录的任务目标;未记录时显示用户原话。
90
110
  - **步骤**:模型记录的待办事项,显示「已完成/总数」。没有步骤时不会生成计划或进度。
111
+ - **此前要求**:保留较早的用户要求和当时记录的步骤,单独标为历史记录,不计入本轮进度。
91
112
  - **工具调用**:按工具汇总成功、失败与运行状态。
92
113
  - **文件**:已成功执行、且能从工具参数或 diff 确认的文件改动,包括 PTC 中的嵌套调用。
93
114
 
@@ -100,11 +121,11 @@
100
121
 
101
122
  ### 协作执行
102
123
 
103
- Agent 执行树,显示每个 Agent 的状态、用量和缓存率。
124
+ Agent 执行树,显示每个 Agent 的状态、用量和缓存率。用量只计入该 Agent 自身的调用;fork 继承的历史不会重复计入子 Agent 或执行树汇总。
104
125
 
105
126
  - 拖动空白处可平移,使用滚轮或按钮可缩放。
106
127
  - 点击节点会在侧边栏新标签页中打开详情,主对话不切换。
107
- - 详情按对话展示:用户任务、Agent 回复、可展开的工具调用及结果。顶部显示状态、Token 和缓存,展开「详情」可查看更多用量、任务记录和记忆使用记录。
128
+ - 详情按对话展示:用户任务、Agent 回复、可展开的工具调用及结果,包括 PTC 子工具与运行失败原因。复用 Harness 的 Markdown 和代码块组件,回复支持列表、表格和代码高亮,工具参数与输出保留原文。顶部显示状态、Token 和缓存,展开「详情」可查看更多用量、任务记录和记忆使用记录。
108
129
  - 运行动画遵循系统的「减少动态效果」设置。
109
130
 
110
131
  [任务](images/task-status.png)和[执行树截图](images/agent-tree.png)使用当前插件、官方前端组件及演示数据渲染,仅展示界面,不代表模型效果。
@@ -181,6 +202,7 @@ maxContextBytes: 32768 # Super Code:任务记忆上下文字节数
181
202
  ```
182
203
 
183
204
  - 调用中显式指定的更短时限仍然有效。
205
+ - 停用或卸载后,尚未解析执行参数的 PTC 调用恢复宿主时限;已启动的调用保留启动时的时限,不会为恢复配置而重启。
184
206
  - 旧宿主的 PTC 按 CPU 忙碌时间计时,新宿主按总耗时计时,两者不可直接比较。
185
207
  - 调大 `maxTasks`、`maxContextBytes` 会占用更多上下文,一般保持默认即可。
186
208
 
@@ -240,10 +262,13 @@ Windows 宿主默认在 Super Code 预设中使用内置 GNU Bash、BusyBox 和
240
262
 
241
263
  「允许调用方审批」默认关闭。开启后,指定 MCP 任务的一次工具审批可交给调用方,通过交互表单或 `dsh_approve` 决定;宿主权限策略和目录申请的用户确认保持有效。
242
264
 
265
+ MCP 的任务和连接设置保存在 DSH 配置目录中。该目录应位于支持原子硬链接的本机文件系统(如 APFS、NTFS、ext4),不能跨机器共享;exFAT、FAT 不支持此锁机制,启动日志会提示迁移配置目录。此要求针对配置目录,允许访问的工作目录不受此文件系统限制。
266
+
243
267
  目录说明:
244
268
 
245
269
  - 每次进入连接页都会重新读取 DSH 工作区。首次配置时会预选已有工作区,之后新增的工作区**不会**自动获得授权。
246
270
  - 可通过目录选择器添加目录。取消勾选即撤销授权;取消最后一个目录会同时关闭 MCP。
271
+ - 撤销后,旧目录申请会显示为已拒绝;调用方需提交新的申请,才能再次请求授权。
247
272
 
248
273
  连接数说明:
249
274
 
@@ -251,7 +276,7 @@ Windows 宿主默认在 Super Code 预设中使用内置 GNU Bash、BusyBox 和
251
276
  - 可在连接页断开客户端;空闲 10 分钟后自动断开。断开不会取消已接收的任务。
252
277
  - 首页的「在线对话」表示关联的 MCP 连接仍在线,与任务是否完成无关;断开后计为历史对话。
253
278
 
254
- 端口冲突时会直接报错。地址以页面显示为准。
279
+ 端口冲突时会直接报错。可更换端口,或排除冲突后点击「重试」。设置已保存但连接清理失败时,也可点击「重试」恢复;保存失败的草稿会保留,重试不会丢失修改。地址以页面显示为准。
255
280
 
256
281
  ### 配置客户端
257
282
 
@@ -267,10 +292,10 @@ Windows 宿主默认在 Super Code 预设中使用内置 GNU Bash、BusyBox 和
267
292
  |---|---|
268
293
  | `dsh_status` | 查看允许目录、开关、连接与任务额度、阻塞任务和恢复提示 |
269
294
  | `dsh_models` | 查询模型与思考强度 ID,供 `dsh_run`、`dsh_send` 指定;省略时沿用会话当前或默认选择 |
270
- | `dsh_read` | 分页读取所属会话及受管子会话的公开消息、工具结果与失败详情,不返回推理和私有配置 |
295
+ | `dsh_read` | 分页读取所属会话及受管子会话的公开消息、工具调用与结果(含 PTC 子调用)及失败详情,不返回推理和私有配置 |
271
296
  | `dsh_approve` | 仅在允许调用方审批时,批准或拒绝一个精确的待审批操作,仅生效一次 |
272
297
  | `dsh_sessions` | 连接后应首先调用:按目录列出最近的对话、状态、是否可复用,以及连接额度和任务并发占用 |
273
- | `dsh_run` | 发起任务。传入 `taskId` 复用指定对话;传入 `newConversation: true` 新建对话(两者均未传入时也新建)。**不会**自动复用最新对话。同一 `requestId` 搭配相同输入不会重复提交,输入不同则报冲突 |
298
+ | `dsh_run` | 发起任务。传入 `taskId` 复用指定对话;传入 `newConversation: true` 新建对话(两者均未传入时也新建)。`newConversation: false` 必须同时指定 `taskId`,不会新建或自动选择最新对话。同一 `requestId` 搭配相同输入不会重复提交,输入不同则报冲突 |
274
299
  | `dsh_wait` | 查询任务状态、输出、工作区变化和新事件,最多等待 30 秒。未传入任务 ID 时分页列出所有任务 |
275
300
  | `dsh_send` | 在同一对话中补充要求或继续执行,需使用新的 `requestId`。不会代为批准权限 |
276
301
  | `dsh_request_directory` | 申请新的工作目录,需用户在 DSH 中批准 |
@@ -280,6 +305,8 @@ Windows 宿主默认在 Super Code 预设中使用内置 GNU Bash、BusyBox 和
280
305
 
281
306
  客户端调用 `dsh_request_directory`,并提供 `requestId`、已存在的绝对路径 `path` 和理由 `reason`。DSH 会弹出全局确认框(无需打开设置),显示客户端名称、目录和理由。
282
307
 
308
+ 批准前会重新核对申请时的目录身份和申请状态。同一路径被另一目录替换、申请过期或撤回后,旧申请不能授予访问;需要新的 `requestId` 重新申请。目录内普通文件变化不影响批准。
309
+
283
310
  - 只有用户点击「允许访问」后才会授权,模型的自动审批无法替代。
284
311
  - 使用相同输入重复调用可查询状态:`pending` / `approved` / `rejected` / `expired`。
285
312
  - 批准前不能在该目录发起任务。
@@ -295,6 +322,9 @@ Windows 宿主默认在 Super Code 预设中使用内置 GNU Bash、BusyBox 和
295
322
  - `finished`:执行已结束,但 `acceptance` 始终为 `not-verified`,结果是否正确需由调用方自行验证。
296
323
  - 返回的文件信息是对 Git 工作区的观察结果,包括任务开始前已有的改动,不能证明全部由本任务产生。非 Git 目录或超出观察上限时标记为不可用。
297
324
  - 等待超时或客户端断线均不会取消任务。关闭连接仅表示不再接收新请求。
325
+ - 正在准备的请求会在建会话、选模型和发送提示词前重新检查授权。关闭服务、撤销目录或断开连接后,尚未发送的提示词会停止;已提交的任务继续运行。已保存的请求不会因重连而自动重发,未发送的续聊也不会覆盖上一轮的状态。
326
+ - 创建、续聊和取消的意图保存失败时,不会继续执行对应操作。续聊准备期间重启仍保留上一轮跟踪;无法确认新提示词是否已发送时,不会把上一轮结束当作新请求完成。任务记录的读写使用同一 64 MiB 上限,超限会拒绝写入并保留已有文件。
327
+ - 取消 MCP 等待或审批请求后,迟到的表单回答不会放行操作。审批决定前会重新检查服务、目录和审批开关;已经决定的单次审批不因后续取消而撤回,也不会重复放行。
298
328
  - 重启后不会自动重新发送提示词。请通过 `dsh_sessions` 或任务列表找回任务 ID,确认状态后再明确继续。无法确认状态时显示 `interrupted` 或 `unavailable`;未确认停止的任务会继续占用并发额度。
299
329
 
300
330
  遇到上限时,保留原 `requestId` 和输入,通过 `dsh_status`、`dsh_wait` 等待空位,不要取消其他客户端的任务或改动提供服务的 DSH 应用。结束 SDK 会话时,先调用 `transport.terminateSession()` 发送 DELETE,再关闭客户端;仅 `client.close()` 不会释放服务端额度。没有原生 MCP 工具时可使用包内 `super-code-mcp` 命令,JSON 参数从标准输入读取,凭证由私密环境变量 `DSH_MCP_TOKEN` 提供。
@@ -305,17 +335,63 @@ Windows 宿主默认在 Super Code 预设中使用内置 GNU Bash、BusyBox 和
305
335
  - 上限:200 条任务记录、每个任务 128 次补充、最近 200 条事件、输出保留最后 12,000 字符。目录申请历史最多 100 条,仅保存在内存中。
306
336
  - 任务记录已满时会明确拒绝新任务,不会自动删除旧记录。
307
337
 
338
+ ## 预设 Skill 包
339
+
340
+ 在「设置 → Super Code 模式 → 预设 Skill」中,按 Skill 和工作流分组控制,默认全部关闭,已有的手动选择保持不变,无需逐项勾选工作流内的内容:
341
+
342
+ | 分类 | 名称 | 用途 | 默认 |
343
+ |---|---|---|---|
344
+ | Skill | grill-me | 逐轮追问,梳理需求、检验方案与明确决策。 | 关闭 |
345
+ | Skill | OpenSpec | 用规范组织需求、方案、任务、实现与验收。 | 关闭 |
346
+ | Skill | oil-ui | 设计、改进与评审前端界面。 | 关闭 |
347
+ | 工作流 | Matt Pocock Skills | 覆盖需求追问、规划、开发、测试、排错与代码评审的工程工作流。 | 关闭 |
348
+ | 工作流 | PStack | 架构、开发、验证与评审的协作工作流。 | 关闭 |
349
+
350
+ grill-me 独立开关复用 Matt Pocock 1.3.2 中的原始 `grill-me` 入口和配套 `grilling` 正文,无需开启全套工作流。开启 Matt Pocock Skills 后,其完整内容仍包含这两项;同时开启不会重复注册。
351
+
352
+ Matt 包内置上游正式插件的完整发行内容(1.3.2,共27项),不按部分清单裁剪;OpenSpec 内置官方 skills.sh 静态发行的完整12项。PStack 是 Cursor 插件包,内含58个标准 `SKILL.md`(0.15.36),这里接入其全部 Skill、参考资料和辅助脚本,不注册 Cursor 插件、Agent 或自动化。各包的固定来源、文件清单和许可证见 `builtin/skills/` 中的 `UPSTREAM.md` 与 `distribution.json`。
353
+
354
+ 修改自动保存,保存成功后已有对话中的 Skill 目录、后续读取和原生斜杠菜单实时更新,无需刷新页面、新建对话或切换预设。关闭不会撤回已经加载进对话的指令;需要干净上下文时请新建对话。项目和用户自有 Skill 不受开关影响,同名优先级保持不变。保留上游调用规则:Matt 的部分 Skill 需要用户明确调用,不由模型自动选择。
355
+
356
+ 开启的包完整同步到 DSH 用户目录下的 `skills/dsh-super-code/`,保留参考资料和脚本的目录关系;使用自定义 `DSH_HOME` 时跟随该目录。页面上的「打开 Skill 目录」可在 DSH 所在设备的文件管理器中打开 `skills/`。无桌面环境时按钮不可用。关闭会移除未修改的插件副本;用户修改过的内容或已有同名目录会保留并提示,检查后可重试同步。插件卸载后这些嵌套资源不再注册到 Skill 目录。
357
+
358
+ 在使用 Super Code 预设的主对话输入 `/`,即可从 DSH 原生菜单选择 Skill;也可以输入 `/oil-ui`、`/grill-me`、`/openspec-propose` 或 `/poteto-mode` 等命令,再加任务内容。关闭的包不再提供命令和正文。输入 `/pstack`、`/mattpocock` 等包名可查找包内已启用的 Skill,选中后插入真实的 `/skill-name`。包名只用于菜单搜索,不能作为独立命令发送。插件通过 DSH 公开接口补充包名搜索并刷新原生菜单,不重启宿主,不修改草稿或模型调用。正在生成的模型请求及已经加载的上下文不会被撤回。
359
+
360
+ 保留原生同名优先级:项目/用户 Skill 优先;Matt 与 PStack 同时开启时,`/tdd`、`/teach` 使用先注册的 Matt 版本,关闭 Matt 后可使用 PStack 版本。
361
+
362
+ PStack 使用针对 **DSH `0.2.1-alpha.1` 及之后版本**的转换发行版,保留58个入口和23个 playbook。转换层处理子 Agent 调度、模型选择、历史读取、Skill 路径与长任务检查点;`/setup-pstack` 只写项目内可选的 `.dsh/pstack.md`,`/make-bot-ui` 使用插件的 MCP 连接。默认继承宿主模型,依赖阶段由主 Agent 调度;缺少历史接口时使用明确提供的交接或项目资料,不读取宿主私有记录。原上游文件保留,便于升级核对,不改全局提示词。
363
+
364
+ 配置保留上游全部17类角色。推理预算、评审席位数与并发数分别设置;不支持逐次选择模型或思考强度时,明确继承宿主。reflect 保留三位评审与独立合成阶段。没有定时唤醒能力的宿主只能保存检查点,不能保证离开对话后继续定时运行。
365
+
366
+ 浏览器、Git/GitHub、模型检查器等流程仍需实际工具。辅助脚本可能需要 Bun、已登录的 gh、mise/Java/TLC 或 Pele,应按实际环境与用户授权使用;开启开关不运行脚本或安装工具。缺少能力会明确说明,不会把顺序自查当作独立 Agent 或跨模型验证。
367
+
368
+ 目录同步由插件统一管理,不需要重装预设。各预设仍须提供宿主原生 Skill 工具,才能在该对话中加载和调用;Super Code 预设已包含这些工具。
369
+
370
+ 每个预置包旁展示随插件内置的独立版本号。OpenSpec CLI 与 Skill 固定为匹配的版本,随插件安装准备好;启用后可在 Super Code 命令环境直接使用 `openspec`,无需全局安装。开关、列举和加载 Skill 均不运行命令,不改项目文件、依赖或配置;只有用户明确要求后才执行 `openspec init`。Matt 的工单流程可能需要已登录的 `gh`/`glab`,其 setup 也只在用户明确要求时运行。开关不会授予命令执行、提交、远程写入或付费服务权限;资源随插件更新。
371
+
308
372
  ## 前端 Skill
309
373
 
310
- 插件内置 `super-code-frontend`,用于页面、组件、视觉调整、响应式布局、交互状态和浏览器验证。重点检查:
374
+ 插件内置 [oil-ui](https://github.com/oil-oil/oil-ui) **0.32.0**,替代原来的 `super-code-frontend`,用于页面、App、后台和组件的设计、改进与评审。主要包括:
311
375
 
312
- - 元素是否对齐到同一基准线
313
- - 可见范围与可点击范围是否一致
314
- - 控件位置是否稳定,操作距离和输入负担是否合理
376
+ - 梳理用户任务、设计方向、视觉层级和关键交互
377
+ - 按需制作多风格对比页,保留本地资源以供离线查看
378
+ - 根据真实截图和交互结果评审、打磨页面
315
379
 
316
- 它沿用项目自身的视觉风格,不限定框架,也不新增工具。平时只向模型提供名称和简介,任务匹配时才加载正文和相关参考。也可在请求中直接说明「用 super-code-frontend」。
380
+ 先在「预设 Skill」设置中开启 oil-ui,再通过 Harness 原生 Skill 机制按需加载,沿用项目的框架与实现约定。平时只向模型提供名称和简介,任务匹配时才加载正文和相关参考。也可在请求中直接说明「用 oil-ui」。
317
381
 
318
- - 0.3.3 起新安装或重装的预设才包含该 Skill。已有预设请先备份自定义内容,再重新安装。
382
+ - 已安装的目录预设不会被自动覆盖。更新到包含 oil-ui 的插件后,请备份自定义内容,再在设置中重新安装预设;声明式预设直接读取当前插件包中的资源。
319
383
  - 项目或用户目录中存在同名 Skill 时,按宿主优先级覆盖内置版本。
320
- - 浏览器验证部分仅为方法指导,不强制防止循环,也不会自动写入长期记忆。
384
+ - 内置副本随插件升级,不单独检查更新或运行上游安装器。来源、改动和许可证见 [来源说明](../builtin/skills/oil-ui/UPSTREAM.md)。
385
+ - 设计指引不要求额外依赖。可选的风格对比生成器需要 Python 3.10+;截图和图片处理脚本需要 Node.js 22+ 及 Chrome、Chromium 或 Edge,部分素材操作还需要 ffmpeg/ffprobe。缺少这些环境时可使用宿主已有工具,并说明未完成的验证。
386
+ - 可选素材检索会访问相应提供方;oiloil 生图需要账户和明确的积分消费授权,不会因插件启动而调用。上游 Pro 推荐脚本仅在使用 Skill 时按其说明写入一次本地提示标记。
321
387
  - 能否提升前端成品质量需通过单独的实际任务评测验证,安装测试和 SWE 成绩无法证明这一点。
388
+
389
+ ## 直接调用与按动作帮助
390
+
391
+ 两个状态工具均支持 `{"action":"help","forAction":"read"}`;一次帮助返回字段合同、完整示例、结果与恢复说明,不读取状态或重试持久化。示例来源、身份和版本必须替换为实际看到的值。
392
+
393
+ `super_code_task {"action":"read"}` 读取当前聚焦任务;没有焦点时明确报错,不猜最新任务。更新仍必须提供已观察的 expectedRevision。纯输入格式在进入写屏障前校验,错误给出简短修复例子;不自动修改别名、类型、来源或 revision。
394
+
395
+ `super_code_memory {"action":"read","topic":"build"}` 可在没有 task 时直接读取项目主题,不改变焦点和自动注入主题。省略 topic 仍使用原聚焦主题;显式读另一个主题不借用当前任务的代码版本。返回 details 保留 scope/topic,补 id 即可读取该主题的条目。topic 仅用于 project read,remember/forget 继续要求原聚焦主题、来源和并发检查。所有记忆仍是历史信息。
396
+
397
+ 纯格式拒绝不会追加本次业务变更;持久化失败可能已追加事件,应根据错误 list/read 确认,不能自动重放写入。旧记录与工具名不变。接口验证不代表模型效果或 Token 改善。